ppose -5*z - f - 92 = l, -3*z - 2*z = -f + 98. Let m = z + 20. Which is bigger: -1/34 or m?
m
Let a = -270 + 268. Do a and -0.48 have the same value?
False
Let d = -16241/8010 - -92/45. Which is greater: -1 or d?
d
Let w = -91 - -81. Which is smaller: w or 15?
w
Suppose 0 = 17*v - 2496 - 1006. Is 206 <= v?
True
Let u(b) = -2*b**2 + 75*b - 38. Let g be u(37). Which is smaller: -3/250 or g?
g
Let n be (2335/25)/((-4)/(-12)). Let s = -275 + n. Is 4 smaller than s?
True
Let d = -337.1 - -337. Which is smaller: 13.5 or d?
d
Let n be (12/(-10))/(6/(-80)). Let s(h) = h**3 - 23*h**2 + 24*h - 32. Let b be s(22). Let i be 4 - 4/(n/b). Is i equal to -1/4?
False
Let u(k) = 2*k**3 - k**2 - k - 1. Let w be u(-1). Let h be 1 - (w + 31 + 0). Which is greater: -2 or h?
-2
Let n = -223 - -328. Which is smaller: n or 109?
n
Suppose 0 = -4*q - 0*q - 3*q. Let h be (2 + 10)*1/2. Let r be h/9 - (-13)/(-15). Which is smaller: q or r?
r
Suppose k - 7*k = -2874. Let c = k - 11972/25. Which is bigger: c or -0.1?
c
Suppose -r + 2*q = -89, 3*r = -q - 89 + 335. Is r less than 83?
False
Let z be 108/8*16/6. Suppose 4*r = -2*q + 6*q + z, q = -3*r + 27. Suppose -5*u = 1 + r. Is u greater than 1?
False
Suppose -12 = 5*l - 3*y + 17, -3*y = -4*l - 25. Is -54/11 >= l?
False
Let c = 12 - 9. Let p = 1 - c. Let t be (-6)/(-4)*28/(-7). Which is bigger: t or p?
p
Suppose 0 = 4*i + 5 + 3. Let p be i/7 - (-534)/(-42). Do p and -15 have different values?
True
Let b = 22 - 15. Let m = -13 + b. Let p = m + 1. Is -5 greater than or equal to p?
True
Let x = -0.032 - -25.032. Let r = x + -25.4. Which is greater: 2/15 or r?
2/15
Suppose -2*r = 3*r + 520. Is r equal to -104?
True
Let j(r) = -r**2 + 18*r + 18. Let m be j(19). Let u be m*2 - (-11 - (-3 - 4)). Suppose f = -3*c + 10, 4*c - 20 = -2*f - f. Is c != u?
False
Let b = -1219 + 1218.347. Is 0.2 less than b?
False
Suppose -11 - 16 = 3*o. Let t = o - -11. Suppose 0 = p + 5*b - 13, -p = b - t + 5. Is -5 greater than p?
True
Let p = 2 - 5. Let k = 3.79 + -0.79. Which is greater: k or p?
k
Let l = 116645/177 - 659. Which is smaller: 1 or l?
l
Let w be (4 + 113490/(-28377))*3. Is 2 not equal to w?
True
Suppose -2*r = 5*r. Suppose 4*n - n = 3*u - 27, r = -3*n - 3*u - 9. Which is smaller: -5 or n?
n
Let l = -137 + 687/5. Which is bigger: l or 61?
61
Let u be 24/840 - (-2)/5. Let z = -11 + 6. Let g = z + 4. Which is smaller: u or g?
g
Let n = -59/2 - -29. Let g = -658 - -660. Which is smaller: g or n?
n
Suppose v + 3 = -b - 4*b, -5*b = 5*v + 75. Let t be -3 - (0 + -2) - (-8 - -207). Let m = 183 + t. Is v at least as big as m?
False
Let m = 295 + -286. Which is greater: 7 or m?
m
Let c = -0.37 - -0.47. Let w = c - -7.9. Is w != 1/2?
True
Suppose 1 = 186*g - 187*g. Which is smaller: -4/21 or g?
g
Let r = 132 + -130. Suppose 3*u - 72 = 3*d + u, 2*d = u - 47. Let a be d/(-24) - (-2)/(-3). Which is smaller: r or a?
a
Let x(t) = 3*t + 44. Let y be x(-14). Does -2 = y?
False
Suppose -12 = -2*b - t, -5*b + 4 + 56 = -5*t. Suppose -b - 152 = -2*s. Does s = 80?
True
Let b be (-5 - (-38)/8)*(-4)/119. Which is bigger: 0 or b?
b
Suppose 7*h = 3*h + 52. Let v be ((-3)/2)/(h/(-26)). Suppose -4*q - r = -v, -5*q = -3*r + 2*r - 6. Which is smaller: 6/13 or q?
6/13
Let f = 35.8 - 36. Let n = f + -0.3. Let s = 16.5 + n. Is -1 bigger than s?
False
Let a = 77668342/39 + -1991342. Let b = 154 - a. Suppose -4*h + 2*i = 4*i + 6, -5*h + 12 = -4*i. Which is bigger: h or b?
b
Suppose -1443 = 3*t - h - 177, t + 2*h + 429 = 0. Let o be (-2)/9 + (-1)/t*112. Which is smaller: -1 or o?
-1
Let y be 6433/392 + (-4 - (-52)/14). Which is greater: -2/7 or y?
y
Suppose 6*z - 3*z = 174. Suppose -z = -2*q + 4. Which is smaller: 30 or q?
30
Suppose 2*h + 4*i = 3 + 1, 2*h = -3*i + 6. Suppose 0 = -h*n + 4*n + 24. Suppose u = 5*u + n, -t + 2*u = -8. Which is smaller: t or -2/9?
-2/9
Let p = 37.1 + -35.1. Is p at most as big as -63?
False
Let v be ((-174)/(-812))/((-45)/12). Let a be 1 - (1 + (1 - 1)). Is a equal to v?
False
Let h = -9 - -1. Suppose 6*c + 131 = 95. Do c and h have the same value?
False
Let m = 14.4 - 14. Let x = -2.5 - m. Let n = -3 - x. Is n < 10?
True
Let r = 6 + 23. Let h = -28.9 + r. Which is smaller: 0.02 or h?
0.02
Let x(f) = -11*f**3 + 41*f**2 + 38*f + 40. Let s(b) = 7*b**3 - 27*b**2 - 25*b - 27. Let g(d) = -8*s(d) - 5*x(d). Let v be g(12). Which is bigger: v or -11?
v
Let x(m) = 20 - 20 - 1 + 4*m**2 - 3*m. Let a be x(1). Which is bigger: -7 or a?
a
Let f = -3 + 3.2. Let u = 26/139 + 17714/417. Let c = 43 - u. Which is smaller: f or c?
f
Suppose 22*a + 47 - 135 = 0. Let f = -4 + 8. Are a and f unequal?
False
Let q be 66/77 - (-80)/21. Which is smaller: 4 or q?
4
Let k(b) = 7*b**2 - 7*b - 51. Let i be k(-8). Which is greater: i or 455?
455
Suppose -3*q + 82 = 2*y - 41, -y + 5*q + 29 = 0. Suppose -y*z - 12 = -51*z. Which is smaller: -5 or z?
-5
Suppose 2*r = -2*r + 2*s + 2, 2*r - 3*s = -1. Let z be (3 + (-3 - 1))*1. Let k be (3 + z + -3)/5. Is k < r?
True
Let p(g) be the first derivative of g**4/4 + 4*g**3/3 + 3*g**2/2 - 25. Let r(y) = -3*y. Let s be r(1). Let i be p(s). Is i <= 10/9?
True
Suppose -2*s + 1 + 1 = 0, 0 = -5*b + s - 16. Let m be -1*(b + (-40)/(-18)). Is m <= 1?
True
Let l be 1*(0 + 2) + 9. Suppose -6 = -m - 2*q, -2*m + 0*m + 17 = 3*q. Suppose -r + 5*r - m = 0, 0 = -2*h + 4*r - 14. Is h >= l?
False
Let t(q) = 4*q**2 + 6*q + 2. Let s be t(-2). Suppose s = -2*l + 20. Suppose -h + 6*h = 30. Is h at least l?
False
Let g(q) = 2*q**2 - 5*q - 7. Suppose k + 18 = 3*a, -5*a + 2*k = -k - 34. Let j be g(a). Suppose -35 = 5*b - 5*i, -4*b - j = 2*i - i. Which is bigger: b or -6?
b
Let s(q) be the second derivative of q**5/20 + 7*q**4/4 + 23*q**3/6 + 31*q**2/2 - 16*q. Let d be s(-20). Is -30 greater than or equal to d?
False
Let k be (-1)/(-3) - (-7)/(-12). Let o = -0.888 + 0.851. Is o < k?
False
Let w(o) = o**2 - 25*o + 175. Let c be w(9). Which is bigger: 25 or c?
c
Suppose 84 = -7*r + 13*r. Which is smaller: r or 22?
r
Suppose 2*v = i - 3*i + 10, 3*v - 5*i + 17 = 0. Let a be 5/((-20)/12)*v. Which is bigger: a or -2?
-2
Suppose -3*g = -2*k + 158, 0*g - 209 = 4*g - k. Which is smaller: g or -55?
-55
Suppose 3*y = -0*y. Let b = -9077 - -1815317/200. Let j = -1/25 - b. Which is smaller: y or j?
y
Let c = 46 + -99. Let n = 52 + c. Let l = -1 + 0. Is l at most n?
True
Suppose 2*x = -4*z + 46, 5*z - 6*z + 2*x = -14. Which is greater: 17 or z?
17
Let q(b) = 7*b - 2. Let d be q(3). Suppose -d = -2*s + 1. Let g = s + -14. Is g bigger than -4?
False
Suppose 5*f + 2*h = 1140, -4*f + 3*h + 899 = 2*h. Is f at least 226?
True
Let h be 40*((-9)/6 + 1). Let n = -34 - h. Let o be n/(-245) + (-1)/5. Which is bigger: o or -1?
o
Let y(u) = -3*u**2 - 7*u - 7. Let k be y(-2). Are k and 66 non-equal?
True
Let g be 3 - (1 - 28/(-3)). Let b = -20/3 - g. Which is smaller: 0 or b?
0
Let s = 30 - 38. Let j be 44/7 + (-8)/28. Suppose 5*c + 40 = -5*t, -5*t = -j*t + c - 6. Which is greater: t or s?
t
Let a = -1114/9 + 124. Let f = a + -5/9. Let n = 1 + -2. Which is smaller: n or f?
n
Let o be 0*(18/12)/(-3). Let c = -0.3 + 0.3. Let i = -0.2 + c. Is o less than or equal to i?
False
Let z = 0.2353 - 113.1353. Is 0.1 != z?
True
Let n be 1 + 7227/(-576) + 11. Which is bigger: -1 or n?
n
Let g = 11 - 6. Suppose 4*p + 14 = 8*s + 18, 3*p = -2*s - 21. Is s != g?
True
Let s = 2801 + -1290. Which is smaller: s or -1?
-1
Let m = 3.6 + 9.4. Let n = m - 34. Which is smaller: n or -1?
n
Let p be (71 + -74)*(4/(-3))/4. Which is smaller: 11/48 or p?
11/48
Let s(y) = y**3 - 6*y**2 + 4*y + 4. Let r be s(5). Let x be (-1)/(-12)*(-1 + r). Is x greater than or equal to 0.2?
False
Suppose 4*p - f - 42 = -11, -3*p + 33 = -4*f. Let y be 128/p + (-2)/7. Is y bigger than 18?
False
Let c(z) = z + 4. Let l be c(-4). Let n(i) = -2*i**2 + 12*i + 5. Let k be n(6). Suppose k*a - 2*a - m + 2 = 0, 0 = -2*m + 10. Which is smaller: l or a?
l
Let p be 2/3*(9 + -3). Suppose -p*x + 2*x = -22. Let f = 14 - x. Which is bigger: -3 or f?
f
Let y = -13 - -13.93. Which is greater: 0.5 or y?
y
Let y be (1/1)/((-1)/(-2)). Let c be y + (-2 - (-7 + 3)). Let w be (12/2 - c)/(-1). Is -3 at most w?
True
Let t be ((-5)/(-20))/((-1)/3). Suppose 15*x = 11*x. Which is smaller: t or x?
t
Suppose 23*q + 54 + 84 = 0. Let s = -3 - -2. Are q and s unequal?
