ferent values?
True
Let o = -0.65 + -4.05. Let k = -4.56 - o. Which is greater: k or -3?
k
Let m = 2300 + -2676. Which is greater: -373 or m?
-373
Let b be (-4)/20 + 34/(-5). Let k(g) = g**3 + 6*g**2 - 8*g - 12. Let a be k(b). Which is bigger: a or -4?
-4
Let o = -112 + 100. Which is bigger: o or -246/19?
o
Suppose -61 + 320 = -7*n. Do -110/3 and n have the same value?
False
Let y = 201111/766 + -18/383. Let l = -247 + y. Is l <= 16?
True
Let p = -560 + 1075. Is 515 > p?
False
Suppose -3*k - 4*p + 221 = 0, -4*p + 122 = 2*k - 20. Is -7 greater than or equal to k?
False
Let a = -37 - -36. Let g = 1.06 - 0.16. Let s = g + 0.1. Are s and a equal?
False
Suppose -k - 16 = -7. Let i be (4 - k/(-3))/((-1)/(-18)). Are i and 17 unequal?
True
Let i = -34 - -3. Let x = i - -39. Is x > 8?
False
Let c be (-3)/(-15) + 2/(-10). Suppose 574*n = 582*n + 64. Are c and n nonequal?
True
Suppose 2*q + 3*k = -695, 3*k = 2*q - 329 + 1030. Is q at most -1051/3?
False
Let q(s) = -s**3 - 13. Let t be q(-3). Suppose -z + 4*z = t*z. Which is greater: z or -9/14?
z
Suppose -l + 4*y + 23 = 4*l, 5*l = -2*y + 11. Let f(h) = 15*h + 8*h + 16*h - 9 - 33*h. Let b be f(l). Is 10 smaller than b?
False
Let j be (-8)/48 - (-40957)/(-138). Let l = j + 297. Is -1 smaller than l?
True
Let d be ((-760)/24 - 2) + 1/(-1). Are -34 and d equal?
False
Let p(z) = 2*z**2 + 6*z - 1. Let c be p(-4). Let h(m) = m. Let y(x) = -2*x + 12. Let k(r) = -3*h(r) + y(r). Let v be k(c). Is 1 at least as big as v?
True
Suppose 0 = -6*k + 2*k. Suppose -8*z - 36 = -2*z. Let x be 44/700 + z/(-75). Which is smaller: k or x?
k
Suppose h = -5*m - 20, 0 = -4*h + 2*h + 2*m - 4. Let o be ((-15)/(-6))/((h/4)/5). Suppose -4*v - 46 + 10 = 0. Is o smaller than v?
True
Let m be (-60)/(-18) - (2 - -2). Is m smaller than -3.13?
False
Let y = 49 - 101. Which is bigger: y or -51?
-51
Suppose -5*b - 14 = -7*b. Let j = -7 + b. Which is bigger: j or -12/11?
j
Let f = -77 + 30. Let m = f - -56. Which is smaller: m or 8?
8
Let g = 218795/9 + -24371. Which is smaller: g or -61?
-61
Let d(g) = -2*g**2 - 4*g + 12. Let x be d(-5). Let p = -15 - x. Suppose p*v - 47 + 1 = 5*m, v + 13 = -4*m. Is 6 bigger than v?
False
Let t(n) = 11*n**2 - 14*n - 9. Let w be t(6). Are 303 and w nonequal?
False
Suppose -325 = -11*a - 358. Which is bigger: -26/7 or a?
a
Let s = 14293/29 + -493. Is -1 at most as big as s?
True
Let r(k) = 2*k + 15. Let a = 24 - 35. Let l be r(a). Let n be 114/(-27)*(-3)/(-2). Which is smaller: n or l?
l
Let l be (3/(-21))/((-28)/(-63)). Is l smaller than 0?
True
Let r be (-1)/(-3)*8/(24/27). Suppose 0 = -8*n + 3*n + 4*u + 8, -5*n + r*u + 6 = 0. Suppose 4*t + 9 = -f - 2, 1 = -5*f - 2*t. Is f >= n?
True
Let d be (-1 - -23) + 1 + 0. Which is smaller: d or -4?
-4
Let q be 6/14 + 9/(-21)*-643. Suppose -3*y = 4*m - m + q, -3*m = 3. Is y greater than -91?
False
Let m be (-4296)/288 + (-2)/(-3). Which is smaller: m or -13?
m
Suppose 75*k - 688 = 67*k. Are k and 262/3 unequal?
True
Let n = -26 + 5. Suppose -2*g = 4*f - 12, -5*f - 43 + 53 = 0. Is n less than g?
True
Suppose -4*i = 2*z + 10 + 12, -3*i = -5*z + 10. Which is bigger: z or -1/11?
-1/11
Let q be 84/56 + (1 - 30/8). Is -1 greater than or equal to q?
True
Let r = -68 + 43.4. Let o = r + 23. Which is bigger: 1 or o?
1
Let j = -10 + 18. Let f = -2321 - -2324. Is f smaller than j?
True
Suppose 4*f = v - 15, 2*v + 2*f + 20 = -0*f. Let d be v/5*0/4. Let i = -0.02 + 2.02. Is i at least d?
True
Let q = -5 - -8. Suppose 4*l - p = 1 - 4, -3*p - q = 0. Let n be 9/(6/2) - 4. Is n smaller than l?
False
Let a = 5.42 - 5.1. Let o = a - -0.68. Are o and 0.04 non-equal?
True
Let w = 1 - 0. Let t(k) = k**2 + 4*k + 6. Let p be t(-2). Is w less than or equal to p?
True
Suppose 5*u - 5 = -2*d - 11, -2*u = 0. Let s be (-3)/d*1/5. Which is smaller: s or -5?
-5
Let o be ((-15)/9 + 2)*(24 + -28). Let t(g) be the third derivative of -g**6/120 + g**5/60 + g**4/8 - g**3/2 + g**2. Let p be t(2). Which is bigger: p or o?
p
Let z = 143 - 137. Let d = 2 - -1. Suppose 7*r = d*r + 28. Which is smaller: z or r?
z
Suppose s - 834 = -4*u - 291, -4*u - 5*s = -523. Let l = u - 957/7. Which is smaller: -1 or l?
-1
Let w(k) = -144*k + 34. Let y be w(1). Which is bigger: -111 or y?
y
Suppose -100*s + 99*s = -11. Are 49/4 and s unequal?
True
Let r = 1914643/414 - 41464/9. Let m = r + -3/23. Is 18 <= m?
False
Let m(o) = -12*o + 3. Let i be m(1). Let h be i/(-54) - 110/12. Is -12 < h?
True
Let q be (-89)/267 + 23/(-3). Suppose 5*l - 2 - 13 = 0. Suppose -17 = 3*a + t, 0 = 3*a - 4*t - l + 40. Which is bigger: a or q?
a
Suppose -p + 15 = -3*k, 0 = 8*k - p + 3*p + 26. Which is smaller: k or 22?
k
Suppose -4*m - 12 = 8*m. Do 2/365 and m have different values?
True
Let r be (-10)/(-320)*-4 + (-118)/80. Suppose 5*i - 21 = -71. Let n = 7 + i. Is n greater than r?
False
Let g = -0.28 + 0.18. Let p = -40 - -40.02. Is g > p?
False
Let y be 0 + 2 + -1 + -16. Let l = y + 9. Let j be 1*-3*l/(-63). Is 2/27 > j?
True
Suppose 4*g + 195*j = 198*j + 1327, 3*g - 994 = 2*j. Is 328 smaller than g?
False
Let k(n) = -4*n**2 - 25*n + 36. Let y be k(-9). Which is smaller: y or -0.2?
y
Let b(i) = -2*i**3 - i**2 + 2*i + 3. Let p be b(-2). Suppose 0 = 6*d - p*d + 30. Suppose d*o = o. Which is bigger: -8/7 or o?
o
Suppose 206*n - 188*n + 2484 = 0. Which is greater: 0.1 or n?
0.1
Let a = 914 + -1158. Which is smaller: -3 or a?
a
Suppose 0 = -2*c - 2*q - 2, 5*c - 17 + 8 = 2*q. Which is smaller: c or 1/522?
1/522
Let h be (-105)/(-33) + 4/(-22). Let b(c) = c**3 - 6*c**2 + 7*c - 5. Let i be b(5). Let p = i + -5. Is h >= p?
True
Suppose 31*z = 31 + 62. Is z at most as big as -6/17?
False
Let p = 13 + -4. Let f = -166 - -171.9. Let k = f - 5.9. Which is bigger: k or p?
p
Let d = -208/235 - -4/47. Which is smaller: d or 11?
d
Let c = 1 - 2. Suppose -6*s + 165 = 21. Let y be 1/11*(-12)/s. Is c at most y?
True
Suppose -11 = 5*f + 2*j + 2, -4*f - 2*j = 10. Is f smaller than -18/5?
False
Suppose -11*f - 247 = 39. Is -27 equal to f?
False
Let m(q) = 2*q**2 - q - 1. Suppose 5*h = 1 - 6. Let w be m(h). Suppose w*k = -0*k. Which is smaller: k or -1?
-1
Suppose -f = -4*z + 3*f - 4, 0 = 3*z + f - 9. Let t be z/7 - 96/(-56). Do 1 and t have the same value?
False
Let c(j) = -3*j + 30. Let b be c(10). Let v = -2 + 1. Let d = b - v. Is d at least as big as 1?
True
Suppose 2*u - 13 = -11*u. Is 6 equal to u?
False
Suppose 0 = -5*x + 5*a + 30, a - 2 = -x + 6*a. Suppose 4*f + 8 = 0, 4*t + 2 = 3*f - 4*f. Let m be (1 + t)*0 + 7. Is m not equal to x?
False
Let q be ((-2)/3)/(20/(-3)). Let d = -1.9571 - 0.0429. Which is smaller: q or d?
d
Suppose 5 = o - 15. Suppose 5*k = 5*r - 30 - o, -3*k - 58 = 4*r. Is -13 < k?
False
Let x = 5162/7 + -739. Let q = 21351/1484 - 666/53. Let y = q + x. Is y > -0.4?
True
Let u = -8.33 + 9. Let m = -0.77 + u. Let p be 30/(-16) - 1*-2. Which is bigger: p or m?
p
Let j = -0.2 + 0.4. Is 112 greater than or equal to j?
True
Let d = 635/6 - 3191/30. Let z(k) = -5*k**2 + 29*k + 284. Let v be z(11). Which is bigger: d or v?
d
Suppose -2*j - r + 3*r - 28 = 0, 5*j + 5*r = -120. Suppose -2 = 2*p - 4*t, -t + 51 - 12 = -4*p. Let o = p - j. Which is smaller: o or 7?
7
Let b = 121 - 123. Which is bigger: b or -29/16?
-29/16
Suppose -5*w = -3*p + 43, 0 = p + w - 3*w - 15. Is 15 smaller than p?
False
Let p = 3163/6 - 527. Let s = -10 - -9. Which is bigger: s or p?
p
Let k = 641 - 623. Do k and 26 have different values?
True
Let y be 12 + -7 + 1132/8. Is y > 146?
True
Let c = -0.5 + 5. Let g = 5.5 - c. Is -29 < g?
True
Let y(f) be the second derivative of -f**4/12 - f**3/3 - f**2 - f. Suppose 5*k = -4*c - 19, 5*k + 6 = -c - 10. Let a be y(k). Do a and -6 have the same value?
False
Let r = 93.4 + -8.4. Let f = r - 118. Which is bigger: -0.1 or f?
-0.1
Let d = -6 + 6. Suppose d = -3*a - a. Which is smaller: a or -3/44?
-3/44
Suppose -55*h + 96163 - 27138 = 0. Do 1253 and h have the same value?
False
Let j(c) = 4*c + 23. Let x be j(-5). Let a = -20 - -14. Which is smaller: x or a?
a
Let j = 307.1 - 244. Let p = j - 63. Is p >= 111?
False
Let s = 1331/4 + -333. Is s less than 18?
True
Suppose 43*o = 42*o + 3. Suppose -2 + 2 = o*v. Which is bigger: -1/72 or v?
v
Let v = 1 + -1. Suppose v = j + c + 4, 2*c - 5*c = -j + 12. Let r be j/2 + 24/(-40). Is -2 >= r?
False