
l
Let i be 19 - (-2 + 0/(-3)). Let b = 1 - i. Which is greater: -21 or b?
b
Let o(j) = 6*j + 55. Let p be o(-9). Let g = 5853/1397 + -46/11. Which is bigger: p or g?
p
Let w(a) = -29*a + 87. Let s be w(3). Which is greater: -1/81 or s?
s
Suppose -17 = -t + m, -t - 5*m + 11 = -0*t. Suppose 0 = 2*c - 0*c - t. Which is greater: c or 2?
c
Let r = -227 + 227. Which is greater: r or 10/19?
10/19
Let o = 3.64 + -3.27. Let p = -13.93 + 14. Let t = o - p. Does t = -1?
False
Let s(z) = -z**2 + 3*z - 23. Let m be s(9). Let h = m - -77. Let f be 4/2*(-8)/14. Is f < h?
True
Let b = 3/16 - -21/16. Let t = 1/256 + 2551/2304. Are t and b unequal?
True
Let l = 11 - 6. Suppose 2*u - 23 = -l*d + 192, 4*d = -u + 109. Let z be (-91)/u + 1/5. Which is smaller: z or 0.1?
z
Let k = -2 - -1. Suppose 17*c = 12*c + 5. Let m be (19/(-36))/19 + c/4. Which is bigger: k or m?
m
Let l = -1286.9 + 1370. Let q = -83 + l. Let f = -2 - -3. Which is smaller: f or q?
q
Let g = -317 + 379. Which is bigger: g or 2/9?
g
Let g(p) = 6*p**3 - 5*p**2 - 14*p + 21. Let t be g(6). Let u be t/18 + (-1)/(-2). Do u and 60 have the same value?
False
Let c = -1669/2 - -11677/14. Let d be (2/(-105))/((-3)/15). Which is smaller: c or d?
c
Let s = 0.142 - 0.042. Which is smaller: s or 42/13?
s
Suppose 16 = 5*o + 1. Suppose o*a - 81 + 9 = 0. Do a and 24 have different values?
False
Let w = -6.8 - -7. Let r = 0.052 + 5.348. Let n = 5 - r. Which is greater: w or n?
w
Let f = 5 - 5.03. Let z = -0.2 + 0.07. Let v = z - f. Which is smaller: v or -2/9?
-2/9
Let b = -8 + 23. Let h = -11 + b. Let f be (h/14)/((-185)/(-35)). Which is smaller: f or 1?
f
Let f be 75/125 - 16/10*-14. Which is smaller: f or 25?
f
Let p = -70 - -68.77. Let s = p - -25.23. Is s < -2?
False
Let z = -8 - -2. Suppose -8*y + 3*y - 54 = w, -4*y - 39 = 5*w. Let c = y - z. Does c = -5?
True
Let q be 83/2 + (-12)/(-8). Suppose -3*z + 42 = -57. Suppose 4*v + r = -z, -4*v - q = 2*r + r. Is v greater than or equal to -9?
True
Let f be (3 - 3) + 1/(-56). Suppose 0 = 86*c - 33*c + 39*c. Which is bigger: f or c?
c
Let a = -114.017 - -114. Is 2 bigger than a?
True
Suppose -o - 3*o + 8 = 0. Let h be 3/(-2)*(4/(-12) + -1). Suppose h*z - 9 + 7 = 0. Is z less than or equal to o?
True
Let v = -4487568 + 2714979583/605. Let l = v - -5/121. Which is smaller: 3 or l?
l
Suppose -10*h - 7531 = 7*h. Which is smaller: -444 or h?
-444
Let i be (-435)/10 - 120/(-48). Does -121/3 = i?
False
Let y = 6637/5 + -1336. Let o = -20 - -12. Is o < y?
False
Let s(c) = 23*c - 661. Let f be s(39). Is f <= 234?
False
Suppose -7 = -3*k + 8, 3*k + 108 = 3*x. Do 48 and x have the same value?
False
Suppose 5*u + j - 36 = 204, u + 3*j = 48. Do 39 and u have different values?
True
Let x be 385/(-231)*42/(-10). Which is smaller: x or 43/6?
x
Let h be (1/(-2))/((-6)/8). Which is greater: h or -0.16?
h
Let g = -77.91 - -46.9. Let v = -31 - g. Let r be (9/6)/((-6)/(-8)). Which is greater: r or v?
r
Let b be 6/10 - (-4)/10. Let n = 10 + b. Suppose 0 = 42*y - 31*y - 121. Is y != n?
False
Let r = -2403 + 127353/53. Which is bigger: r or -1/3?
r
Let q be 3438/(-48)*(-1669)/338778. Let y = -5/2832 + q. Let l = y + 3/29. Is l less than 1?
True
Let s be 2620/12 - (-7)/(-21). Let o = -3268/15 + s. Are 1 and o nonequal?
True
Let g = 187 + -95. Suppose 0*o = -2*o + g. Suppose -y + o = 9*t - 4*t, -4*y = 16. Which is bigger: t or 9?
t
Let r be 3509/(-203) + (1 - 4). Suppose -2*f = -3*f - 20. Let z = f - r. Which is smaller: -8/9 or z?
-8/9
Let g = -118 + 122. Is g smaller than 28/11?
False
Let u be (-2)/(-10) - 356/(-20). Let w be 2/((-2)/3) + u. Let a = w - 31/2. Which is bigger: a or -0.2?
-0.2
Let f be (250/9)/(11 - 335/30). Which is bigger: f or -167?
f
Let c be (-1263)/13 + ((-180)/(-130))/9. Which is smaller: c or -98?
-98
Let g(x) = x**2 - 1. Let m(k) = -6*k**2 - 4*k + 6. Let u(h) = 4*g(h) + m(h). Let v be u(-3). Which is smaller: -6 or v?
-6
Let h be 8 + 0 + -1 + -2. Suppose -h*u + 4 - 9 = 0. Are 0 and u unequal?
True
Let d = -1717 + 1716.9. Which is smaller: 1.78 or d?
d
Let n = 125 + -119. Is 6 greater than n?
False
Let y = -48736/7385 + -1/1477. Suppose -5*q + 32 = -4*d, -21*d + 3*q = -17*d + 32. Is d equal to y?
False
Let k(x) be the second derivative of -x**5/20 + 7*x**4/12 - 2*x**3/3 - 5*x**2 + 23*x. Let s be k(6). Which is smaller: 10/13 or s?
10/13
Let f = 4149 - 20622/5. Which is smaller: 25 or f?
f
Suppose 5*j + 3*d - 309 = 2*d, 3*d = -3. Let l = j + -69. Which is greater: -5 or l?
-5
Let t = -0.27 + -18.73. Let c = t + 18.7. Let y = 1 + 0. Is c not equal to y?
True
Let p = -3971/5 + 790. Does p = -3?
False
Let a = -7571 + 688927/91. Let y = 17/9 - 194/117. Let g = a + y. Which is smaller: -2 or g?
-2
Let t(m) = -18*m + 194. Let u be t(29). Does -326 = u?
False
Let i be 4*-1 + 20*(-4)/(-10). Let p(v) = v**2 - 8*v + 15. Let t be p(i). Which is greater: t or 1/5?
1/5
Suppose -3*l - 13 = -2*r, 5*r - 14 - 5 = 3*l. Suppose 0 = a - 3*a - 8. Let g be (a/4)/((-10)/r). Which is greater: g or -0.1?
g
Let u = -0.19 - -0.06. Let l = -125.25 - -125. Let w = u - l. Is -0.1 greater than w?
False
Let l(j) = -2*j - 13. Let i be (4/(-3))/((-2)/(-18)). Let b be l(i). Let r be -1*1 + (10 - -2). Is r < b?
False
Suppose 3*a + 18 = -k, 25*k = a + 27*k + 11. Is a at most -21?
False
Let a be (-100)/(-15) + (-2)/3. Let o(t) = -3*t + 20. Let w be o(a). Suppose -4 - 13 = -2*m - 3*d, -w*d + 10 = 0. Is -1/32 greater than m?
False
Let y(g) = 10*g + 106. Let u be y(-6). Is 48 <= u?
False
Let b = 213 - 208. Which is smaller: 41/8 or b?
b
Let m(n) = n**3 - 6*n**2 + 7*n - 7. Let x be m(5). Let d(b) = -2*b + 5. Let l be d(x). Which is greater: l or -3?
l
Let j be 6/21 - (2496/(-28))/(-4). Is -22 >= j?
True
Let d = -4385/169 - -28697/1352. Let f = d + 39/8. Let s = f + -43/26. Is 1 at most as big as s?
False
Suppose 4*u - 20 = -0*u - 2*r, 4*u - 32 = -5*r. Let m = -65 + 69. Which is smaller: m or u?
u
Let h = 778 - 778. Let u = -816485/2926704 + -1/127248. Let q = -2/69 - u. Is q > h?
True
Let m be (8/12)/((-4)/102). Let d = 18 + m. Let z be 4 - (-5 + 244/26). Is d <= z?
False
Let x = 1525 - 2669. Which is bigger: x or -1145?
x
Let t(c) be the first derivative of c**2 - 21*c - 14. Let f be t(11). Which is greater: 11/5 or f?
11/5
Let p(c) = -c - 25. Suppose -32 = x - 8. Let n be p(x). Are -4 and n equal?
False
Let x(a) = a**3 - 39*a**2 + 6*a - 130. Let y be x(39). Which is bigger: 102 or y?
y
Let h be 42/3822*14/(-4). Let t = -2 - -1. Is t at least as big as h?
False
Let q = -10 - -20. Let x be 2/(-9)*60/q. Suppose 5*b = 4*b - 1. Which is smaller: x or b?
x
Let k be 18 - 20 - (-2494)/8. Which is greater: k or 309?
k
Suppose -3*l - 15 = -6*l. Suppose 0 = 5*b - b + q, l*q - 21 = b. Let g = -4.58 + 4.6. Is g smaller than b?
False
Let p(f) = -f**2 + 6*f + 1. Let j be p(0). Let a be 3/(33/(-26)) - -2. Which is greater: j or a?
j
Let o(f) = f**2 - 3*f + 1. Let l be o(4). Let p(m) = -m**3 + 3 + l*m**2 + 3 - 34*m + 31*m. Let j be p(4). Which is bigger: j or 11?
11
Suppose 0*v - 4*v - 20 = 0, 0 = 4*w - 3*v - 55. Let t be w - (1 + 3 + 0). Which is smaller: t or 7?
t
Let x = 2900/3 - 967. Which is greater: -627 or x?
x
Let v = -1.21 + 1.267. Let b = -0.167 + v. Is -3 not equal to b?
True
Let u = -106 - -157. Let y = u - 53. Which is greater: y or -2/29?
-2/29
Let w = 0 + 1. Let k be -48*5/((-60)/63). Let a = 5294/21 - k. Is w greater than a?
True
Let o(n) = 4*n**3 + 4*n**3 - 2*n**3 + 11*n + 13*n**2 - 12 - 5*n**3. Let c be o(-12). Is -7 not equal to c?
True
Suppose -5*o = -5*x - 70, 2*o - 15 = -3*o. Let h be (-2)/(-10) + (-328)/(-10). Let g be ((-4)/(-2))/((-6)/h). Is x less than g?
False
Let n be 30*(0 - 1)*13/(-26). Suppose 13*r - n*r = -40. Is r smaller than 22?
True
Let t = -15/76 - -433/76. Let f = 10 + -5. Which is smaller: t or f?
f
Let o(u) = -u - 23. Let m be o(12). Let w be 136/(-20)*3/((-3)/(-5)). Which is smaller: w or m?
m
Let h be (0 - -5 - 2) + 53. Is 58 < h?
False
Let i = 14.7 + 0.38. Let d = -15 + i. Is d >= -4/5?
True
Let k be (4 - 0)/(2/(-5)). Suppose 2*g = 0, 6*q - q = 5*g + 170. Let m = q + -45. Which is smaller: k or m?
m
Let s(n) = -6*n**2 + 4*n + 9. Let l be s(4). Which is bigger: l or -80?
l
Let z = -0.5 + 0.2. Let q = z - -0.9. Let y = q + -1.6. Which is smaller: 6/11 or y?
y
Let a = 17.954 + 