 greater: o or x?
x
Suppose -290*z = -294*z. Which is smaller: z or 1/74?
z
Let c be (-6)/(-33) + 31/11. Suppose r - w = -3*r - 120, 2*r + 3*w = -60. Let k = 33 + r. Is c greater than or equal to k?
True
Let w be 74/(-342) - (-130)/1170. Which is greater: 30 or w?
30
Let l = 18 - -18. Let y = 121 + -86. Which is smaller: l or y?
y
Let v = 389/4 - 971/10. Suppose 5*m = -m. Which is bigger: m or v?
v
Let d be (-2)/8 + 12065/70452. Let q = d - 14943853/15759. Let v = -948 - q. Which is greater: -1 or v?
v
Suppose 3*s - 52 = 16*s. Let r be (12 - (-12)/(0 + s))*-1. Which is smaller: -2/5 or r?
r
Let u = 3399 + -57779/17. Let i be (-1 - -3) + (-4 - -3). Which is greater: i or u?
i
Suppose 0 = -5*a + 15. Suppose -2*k - 2 = a*l, 2*l - 4*k = -9*k - 5. Let h = 8801/21 + -419. Which is smaller: h or l?
l
Suppose 4*x - 1 = d - 0*x, -1 = d + 4*x. Let r be (-5)/(-10) - d/22. Which is smaller: 1 or r?
r
Suppose -19*v - 98 = -5*v. Suppose 3*s = 4*f - 4 - 5, 5*s = 2*f - 15. Let n be s*(56/(-30))/v. Is n at most as big as 0?
True
Suppose 3*w - 91 = 221. Is w bigger than 718/7?
True
Let i(s) = -7*s - 57. Let v be i(-6). Do v and -24 have different values?
True
Let d = 8.8 + 0.2. Let v = d + -8. Let i(p) = p**2 - 5*p - 13. Let f be i(9). Is f at most v?
False
Let s be 157/210*208/52 + -3. Which is smaller: 0 or s?
s
Let s = -53.866 - -54. Let k = -5.966 - s. Let v = 0.1 + k. Which is bigger: v or -2?
-2
Suppose 5*p + v - 5 + 7 = 0, -4*v = -5*p + 8. Which is greater: p or -9/37?
p
Suppose -8 + 14 = 3*t. Let w be (5 - (t + 2))/1. Is 3/31 greater than w?
False
Let i = -52.6203 + 0.0203. Let z = 53 + i. Is z equal to 0?
False
Let l(h) = 5*h**2 + 3*h - 15. Let y be l(9). Let k be 0 + -2 - y/18. Let v = k - -49/2. Which is bigger: v or -2?
v
Suppose -8*s + 26 = 3*h - 7*s, 5*h - 2*s = 36. Is 66/7 at most as big as h?
False
Let n be (0 + 2)*((-33)/(-18))/(-11). Suppose 3*x - 1 = 8. Is x > n?
True
Let n be 1890*1 - (3 - -1 - 0). Let b = n - 292328/155. Which is smaller: 0 or b?
0
Let m = -30793/5 - -6137. Are m and -23 nonequal?
True
Suppose o - 2*t = -0*o + 2, -3 = o + 3*t. Suppose 2 + o = p. Let d(b) = -3*b + 5. Let i be d(p). Are -1/13 and i nonequal?
True
Let s = 2 - 19. Let w be (2/6)/(s/51). Is 1/3 > w?
True
Suppose -108 + 30 = -26*t. Which is bigger: -1/33 or t?
t
Let n be (-312)/(-10) - (-2)/(-10). Let z be -6*(8/12 + 44/(-12)). Let u be (-3)/z + n/6. Which is smaller: u or 2?
2
Let o(s) = -s + 4. Let g be o(4). Suppose g = -3*b + 36. Let j = b - 6. Is 6 != j?
False
Let p = -1/1479 + 1622/211497. Is 1 <= p?
False
Let j(x) = x**2 - 86. Let t be j(8). Are -22 and t unequal?
False
Let i = -133/55 - -13/5. Suppose 3*y + 17 = 2*j - 0*y, 0 = 3*j + 3*y + 12. Which is smaller: i or j?
i
Let g = -800 + 799.969. Which is greater: -0.4 or g?
g
Let v be ((-6)/6)/(1/(-5)). Let f(o) = -4*o + 41. Let x(h) = 3*h - 27. Let t(p) = v*f(p) + 7*x(p). Let l be t(-14). Which is bigger: 4/3 or l?
l
Let w = 75.555 + -2.585. Let b = w - 73. Is 0 at least as big as b?
True
Let c(f) = 2*f**2 - 11*f + 5. Let d be c(5). Suppose 3*a + 6 = -4*j, -j - 2*j - 9 = d. Does 3 = a?
False
Suppose 4*n = -12, 4*n = -4*g + 26 + 142. Let x = g + -46. Is x at least as big as 1/109?
False
Let l be (98/(-294))/(((-2)/(-3))/(-2)). Is -7/17 less than or equal to l?
True
Let o = -5.2 + 6. Let t = -158 - -157. Let d = o + t. Which is smaller: -1 or d?
-1
Suppose -21*f + 20*f = -3*o - 146, -4*f - 40 = o. Is -142/3 smaller than o?
False
Let t be (228/(-21))/(10/(-140)). Is 153 smaller than t?
False
Let j(c) = -c**3 - 7*c**2 + 13*c + 16. Let g be j(-8). Let y be (g/(-16))/(6/(-16)). Do -17/5 and y have different values?
True
Let v(r) = -r**2 + r - 6. Let x be v(5). Suppose -5*q - 140 = -2*c, -19*q + 2*c - 114 = -15*q. Is q bigger than x?
False
Let m be 58015/(-369) + (-1)/3. Is -157 greater than m?
True
Suppose 22 + 2 = -8*a. Suppose -4*g + 5 = p, 6*g - 3*g = p - 5. Suppose -4*w + 0*s + 2*s - 2 = 0, 40 = -5*w - p*s. Is w != a?
False
Suppose 2*f = -5*y - 57 - 11, -5*f = -4*y - 28. Let r be y/(-8)*-2*-3. Is r greater than or equal to 28/3?
False
Let v = 3 - 0. Suppose -v*i = -2*i. Suppose i = 4*m + m. Which is smaller: -6 or m?
-6
Let q = 6/11 + -47/66. Let p be (-4)/(-18) - (976/(-36))/4. Which is bigger: q or p?
p
Let y = 57.2 - 57.5. Let t be 2/12 - (-202)/12. Are y and t non-equal?
True
Suppose -6*m + 8 = -2*m. Suppose -m*g = 5*i + 48, -3*i - 3*g = -g + 32. Is -8 at most i?
True
Let j = -2041/23207 - -1/1009. Are -39 and j unequal?
True
Let d = -41 - -41.2. Let r = -4.3 - 0.7. Let p = r - -5.6. Which is smaller: p or d?
d
Suppose 0 = 6*d + 1964 + 7324. Is -1547 greater than d?
True
Suppose 0 = -3*l + 3*q - 2 - 7, -2*l - 9 = -3*q. Suppose 5*x - 22 = 2*r - 127, -5*r = 3*x - 216. Let i be (-96)/r + (-6)/(-45). Which is greater: i or l?
l
Let m = -70/631 - -252119/3155. Which is bigger: m or 81?
81
Let o = 17 + -12. Suppose -2*w - 9 = -4*c - 5*w, 5 = -o*w. Are c and 2 equal?
False
Suppose -4 = 6*o + 2. Let x be o - (-1 - 9/(-6)). Which is bigger: x or -3?
x
Let z(v) = -v**2 - 20*v - 22. Let h be z(-19). Let u = 26 + h. Is 24 <= u?
False
Let b = 945.2 + -945. Is b < -5/17?
False
Let p(j) = -j**2 + j + 3. Let h be p(-5). Let k = h + 28. Are 2/9 and k equal?
False
Let q be (-7 - -1) + 7 + -58. Which is smaller: q or -55?
q
Let p(x) = -5*x**2 + 3*x + 7. Let s(o) = o**2 - 1. Let m(q) = p(q) + 4*s(q). Let c be m(11). Which is smaller: -1 or c?
c
Let f be 8/(-8)*10/(-6)*-21. Which is smaller: -101/3 or f?
f
Let h be 231010/(-28873) + 13 + (-5)/1. Which is smaller: -1 or h?
-1
Suppose -m + 5*d + 12 + 8 = 0, -5*m - 12 = 3*d. Suppose 5*g - 25 = -m*g - 5*f, -4*f + 18 = 2*g. Is -1 bigger than g?
False
Let s = -3.943 - -4. Let i = 0.043 + s. Which is bigger: 0.23 or i?
0.23
Let u = 2/18745 - 6298346/243685. Which is greater: -25 or u?
-25
Suppose -4*k = -2*i - 1 + 3, i + 1 = 4*k. Let h be 21*2/30*i. Which is greater: 3 or h?
h
Let w be ((-10)/5 - -1085)/(-86). Let s = w - -4/43. Which is bigger: s or -12?
-12
Suppose -147*x = -150*x - 36. Let f be -11 + (-76)/(-16) + x/16. Suppose -3*k - k = 20. Is f at most as big as k?
True
Suppose -50*s = 9*s + 590. Let j = -29 - -17. Which is bigger: j or s?
s
Let g(q) = 2*q**2 - 12*q + 5. Let y be g(6). Suppose y*u = 7*u + 10. Let w = -9 - u. Which is greater: w or 1/4?
1/4
Let w(b) = -b**2 + 7*b - 5. Let r be w(5). Suppose r*a = -3 - 12. Let n = 4 + a. Is n > 2?
False
Let i(d) = d**3 - 7*d**2 + 12*d - 92. Let n be i(7). Let x(c) = c**3 + 2*c**2 - 2*c + 4. Let f be x(-3). Let t be 2*4*(-1)/f. Is n < t?
False
Let x = -143.1 + 152. Let r = x + -16.9. Do r and -4 have the same value?
False
Let x = -109.75 - -98. Let o = x - 0.25. Let p = -12.1 - o. Is 6 bigger than p?
True
Suppose 3*t + 2*m + 10 = 4*t, -2*t - 8 = 3*m. Suppose -4*a + 7 = 5*w, 2*a - 5 = -w - t*w. Which is smaller: w or 2?
2
Let n(z) = 3*z + 57. Let t be n(-17). Suppose 0 = -10*w + t*w + 8. Are -9 and w nonequal?
True
Let y = -0.85 + -0.98. Do y and -2 have the same value?
False
Let i(d) = 3*d + 2. Let s be i(6). Let u be s/(-6)*(-3)/2. Suppose 3*h = 3, u = -5*a + 5*h - 5. Is -1/3 greater than a?
True
Suppose -3*m = -2*k - 11, 3*m - 4*k = -3*k + 10. Suppose 3*u + 38 = -2*g, 0 = m*u - g + 4*g + 42. Are -9 and u non-equal?
True
Let g = 37 + -35. Suppose -v - x + 3 = 3*x, 0 = -5*v - 3*x - g. Is v at least as big as 1?
False
Let i = 1.69 - 1.8. Let h = 1.4 + -7.4. Let n = h + 5.9. Is n at most i?
False
Let i(p) = 2*p**3 + p**2 - 4*p - 4. Let g be i(-2). Let c be 17/g - (14 - 16). Let u = c - -5/8. Which is smaller: u or 3/11?
3/11
Let k be (133/4)/(6/24). Do 0 and k have the same value?
False
Let j be 10*((-12)/16 - (-11)/12). Which is bigger: -9 or j?
j
Let i be 1/3 + (-684)/27. Let u be (1 - (2 - 2)) + i. Which is bigger: u or -23?
-23
Let x = -2771 - -2750. Let s = -6 + 4. Which is smaller: s or x?
x
Let q be (3/(-3))/(7/161). Which is smaller: 7 or q?
q
Suppose -z - 3 = o, 0*z + 6 = 5*z - 2*o. Let x be (-43)/20 + (-4 + -6)/(-5). Is z < x?
False
Let c = -33 + 15. Let g be c/(-21) - 6/21. Is g greater than -7?
True
Let o(z) = -z**3 + 9*z**2 - z + 13. Let h be o(9). Is 153 at most as big as h?
False
Let i be -182*(-1 - 25/10). Is i less than 637?
False
Let h = 62.862 + 0.138. Let y = 63 - h. Which is smaller: y or 45?
y
Let m = -1