ve different values?
True
Let n = 4141085 - 1958735000/473. Let d = 1/43 - n. Which is bigger: 5 or d?
5
Let w = -7 - -9. Suppose 5*q + 9 = -w*g, 0*q + 5 = -q. Suppose 4 = -3*r - s - 1, 2*s + g = -5*r. Does -2 = r?
True
Let d be 54/(-9)*4/(-28). Which is greater: 1/3 or d?
d
Let q = 133.4 - 64. Let k = 3.4 - q. Is -1 > k?
True
Let l(r) be the third derivative of -r**6/120 - r**5/6 - 11*r**4/24 - 2*r**3/3 + 37*r**2. Let d be l(-6). Which is smaller: -83 or d?
-83
Let a = 24.2 + 7.7. Let d = -32 + a. Let t be (7/2)/1*2. Are d and t equal?
False
Let h = 2313/13 - 178. Which is smaller: -1 or h?
-1
Let w be (-187)/99 - (0 - 1). Let f = -7 + 16. Suppose t + 11 = f. Which is greater: w or t?
w
Suppose 4*b + b - h + 18 = 0, 4*h = 12. Let z be (-3)/(-2)*(b + 61). Let s = -263/3 + z. Which is bigger: -2 or s?
s
Let q = -832 + 12487/15. Suppose 3*v + 3*x - 18 = 0, -5*x + 48 = v + 22. Are q and v unequal?
True
Let l = -179 + 161.8. Let c = l + -5.3. Let f = 23 + c. Which is smaller: f or 2/5?
2/5
Let a(i) = i**3 - 8*i**2 - 10*i + 9. Let r be a(9). Suppose f = -0*f + 3. Suppose f*p = 2 + 1. Is p greater than r?
True
Let m = -106 + 101. Let i = 14 + -10. Suppose 4*d = -i - 20. Is d bigger than m?
False
Let v(n) = -2*n - 8. Let l be v(-6). Suppose -l*t + 72 = 2*t. Is t at most as big as 12?
True
Let r = -243 + 244. Which is bigger: 172 or r?
172
Let c be (36/(-21))/((-3663)/(-154)). Which is smaller: -1 or c?
-1
Suppose 0*f - r = -f - 8, 5*f + 76 = -4*r. Let t(c) = -c - 15. Let q(m) = -4*m - 61. Let o(l) = 2*q(l) - 9*t(l). Let s be o(f). Is 1 != s?
False
Let b = 693 + -716. Which is smaller: -31 or b?
-31
Let b(v) = v**3 - 9*v**2 - 4*v - 10. Let g be b(10). Suppose -5*z = 5*n + g, -2*z + 10 = -0*n - 4*n. Let a be 1/((-2)/8) - 1. Is a not equal to z?
False
Let g be ((-2)/2)/((-8)/96). Suppose -4*y - 8 + g = 0. Do -1/50 and y have the same value?
False
Suppose 0 = 3*i + m, 0 = 2*i - 7*i - m. Suppose 0 = 2*l + b - i*b - 21, -3*l = -2*b - 35. Let o be -3*l/(-10) + -3. Which is smaller: -1 or o?
-1
Let s = -0.3 + 0.2. Let k = -0.0886 + 41.0886. Is s >= k?
False
Let l = 13 - 22. Let r be (l/6)/((-3)/102). Let j be 1 - (159/r + -2). Which is greater: j or 1?
1
Suppose -496 = 4*z - 4*l, 3*l = 5*z + 760 - 132. Let f be (-2)/7 + z/(-350). Let c = 215 - 214. Is f not equal to c?
True
Let f be ((-2)/(-4))/(-3*6/360). Is -11 bigger than f?
False
Suppose 2686 - 7816 = -18*g. Which is bigger: g or 288?
288
Suppose -3*l + 5*j + 5 = l, -2*j = -2*l + 4. Suppose h - 2*d + l = 3, 0 = 3*h + d - 1. Suppose 4*w + 20 + 8 = h. Which is smaller: -11/2 or w?
w
Suppose 9*j + 2 = 10*j. Suppose 7 = -d + a + 4, j*d + 2*a = 6. Is -1 at most d?
True
Let t = 0.0289 + -4.0289. Is t greater than 3/2?
False
Suppose -3*b + 3 = i - 0, 5*i = 3*b + 15. Let x(c) = -c**3 - 13*c**2 + 33*c + 45. Let k be x(-15). Do b and k have the same value?
True
Let v be 485/(-80)*-4 - -2. Is v greater than 27?
False
Let p = -58 + 146. Let x be p/(-20) + 4 + 22/5. Is x greater than 4?
False
Let a = 20 - 25. Let x = 18.4 + -18. Which is greater: x or a?
x
Let i be 4 + -5*854/18. Let c = -233 - i. Which is smaller: -3 or c?
-3
Suppose 0 = 5*h - 0*h - 4*h. Let m = 1195/52752 - 2/1099. Which is smaller: h or m?
h
Let v = -19 - -25. Let u = v - 5.9. Let n = -1/128 - 239/2176. Which is smaller: n or u?
n
Suppose -g - 4 = 4*l, -4*l - 5*g = -0*g + 20. Suppose 0 = q + 2*b - 6 + 2, q + 31 = 5*b. Let r be 3/52*q/(-9). Which is smaller: r or l?
l
Let c be (1696/8 - -7)/(-1 + 0). Are -221 and c equal?
False
Let w = 11 + -9. Does -11 = w?
False
Let i = 29 - 27. Let h be (-9724)/(-2442) + i*-2. Is 1 less than or equal to h?
False
Let d = -8 - 186. Which is smaller: -193 or d?
d
Let i(h) = 7*h - 24. Let y be i(6). Let r be (-6)/(-27) + (2 - (-14)/y). Is 11/7 > r?
False
Let a(w) = -27*w + 18. Let y be a(2). Let z = y - -60. Is z at least 25?
False
Let r be 22/(-165) + 96/(-630). Is -6/11 >= r?
False
Let z(o) = 5*o + 1. Suppose 4*q + 0 = -8. Let m be z(q). Suppose -2*g - g - 4*b = 32, -3*b = 3*g + 30. Which is bigger: m or g?
g
Let k = 682/35 + -142/7. Is -1 smaller than k?
True
Suppose -31*q + 6 = -29*q. Is q at most as big as -2?
False
Suppose 9*u + 13*u + 2596 = 0. Is -115 greater than or equal to u?
True
Suppose 630*n + 486 = 621*n. Are n and -52 non-equal?
True
Let n be (-2 + 5)/(2 + -3). Let u be -1*(n + (8 - 3)). Let i be 2 - 0*u/6. Which is greater: i or 3?
3
Suppose -4*x - 170 = 4*a - 7*x, 4*a - x + 174 = 0. Let n = -38 - a. Which is smaller: n or 5?
5
Suppose -q = 8 + 91. Is q < -99?
False
Let j(v) = v**3 - 2*v**2 - v + 2. Let r be j(2). Let s = 20 + -20.12. Let b = s - -3.12. Is r greater than b?
False
Let h = 83 - 86. Which is greater: h or -2/5?
-2/5
Let t(l) = -11*l**3 - 29*l**2 + 82*l + 38. Let n(s) = -4*s**3 - 10*s**2 + 27*s + 13. Let r(c) = -8*n(c) + 3*t(c). Let a be r(-10). Is 2/9 less than a?
True
Let b = -82 - -78.1. Let f = b - -4.9. Let u = 1/116 - 235/348. Is u < f?
True
Suppose -3*r = r - 16. Let s be (-2 + r/10)/(42/(-45)). Are s and 1 nonequal?
True
Let w = 114 - 116.43. Let y = w - -0.43. Is y at most as big as 2/33?
True
Suppose 12 = -4*m, 2*t - 59 = 4*m - 21. Is 82/7 >= t?
False
Let c(q) = -q**3 + 10*q**2 + 12*q - 9. Let y be c(11). Let s be y*6/4 - 2. Which is smaller: 6/35 or s?
6/35
Let d be (-80)/(-9) + (-1 - 1). Which is smaller: d or 6?
6
Let k = 96 - 142. Let r be (-4 + 3)*2/k. Let t be 4/(1 - 0) - 3. Which is smaller: t or r?
r
Let y = -14.23 + 0.23. Let u = 14.2 + y. Are u and -0.04 non-equal?
True
Suppose -3*n + 88 + 126 = -5*l, 2*n = 6. Which is smaller: -40 or l?
l
Suppose 4*n = -4*k + 16 + 104, -4*k + 150 = 5*n. Let v = n + -27. Which is bigger: 5 or v?
5
Let f be -2 + (-30 - -2)/(-7). Which is smaller: f or 28/15?
28/15
Let m(v) = -23*v - 400. Let q be m(-18). Let z = -17 - -32. Which is smaller: q or z?
q
Let x = 143811/146 - 985. Does -1 = x?
False
Let b(h) = -h**2 + 5*h + 8. Let s be b(3). Is s < 10?
False
Let x = -0.331 + 2.261. Let u = -4.07 - -4. Let z = x - u. Is z smaller than -1?
False
Suppose 0 = 3*k - 3*m - 4 - 5, 4*k + m = -3. Which is smaller: k or 130?
k
Let p(i) = i + 1. Let m be p(-1). Suppose m = y, 3*w = -8*y + 4*y. Let f = -349 - -10122/29. Which is bigger: w or f?
f
Suppose 69 = -2*x + 3*g, g + 2*g = 15. Let n = x + 31. Suppose -6 - 2 = n*s. Which is greater: -1 or s?
-1
Let f(u) be the first derivative of 4 + 7/2*u**2 - 5*u - 1/3*u**3. Let m be f(5). Which is bigger: 6 or m?
6
Suppose 5*c + 207 + 3 = 0. Let g = c + 63. Let q(v) = 19*v**2 + 1. Let y be q(1). Are y and g non-equal?
True
Let x(t) = t - 1. Let g(b) = -2*b + 3. Let l(w) = -g(w) - 5*x(w). Let c be l(1). Is -16 smaller than c?
True
Suppose -d = -2*k - 3, -k + 4*k - 13 = -2*d. Suppose 66 - 6 = -d*j. Does -13 = j?
False
Let m(a) = a**2 - 10*a + 28. Let b be m(5). Suppose b*x - 2 - 8 = 2*f, 2*f = -2*x. Which is bigger: -16/9 or f?
-16/9
Let r = -3702198 + 918147065/248. Let i = r - 63/8. Do i and 1 have different values?
True
Let k = -0.3 + 0.1. Let r = -8557/11 - -777. Is r bigger than k?
False
Let k be 10/(-254)*4/10. Let x = k + -1129/889. Suppose -1 = 4*m + 3*j - 2, 0 = -4*m + 3*j - 17. Is m >= x?
False
Let r(y) = 4*y**2 + 3*y. Let k be r(-4). Let f be k/20 - 3/5. Suppose 3*t + f + 19 = 0. Are t and -7 equal?
True
Let j = -105.771 + -0.229. Let h = -101 - j. Is h at least -1?
True
Suppose 6*k + 60 = 3*n + 3*k, -4*n + 50 = 2*k. Suppose 2*d - 4*d - 48 = -3*a, -5*a + 80 = d. Let i = a - n. Do -2 and i have the same value?
False
Let m = -0.9247 - 0.0753. Let o = 6 - 4. Which is smaller: o or m?
m
Let q = 102 - 41. Let f = 60.8 - q. Let u = 1 + 1. Which is bigger: f or u?
u
Let z be (-31)/(-255) + 112/(-840). Is z less than or equal to -1?
False
Let d = -61/21 - -18/7. Suppose 0 = -r + 3*q - 23, 4*r = -3*q - 10 - 7. Let k be ((-40)/75 - 0)*2/r. Is d less than k?
True
Let c be (-23716)/(-11781) + 4/(-2). Let n be -2 - 1/(2/(-6)). Is c at most n?
True
Let y = 690 + -28293/41. Let z(c) = 4*c**2 - 20*c - 23. Let b be z(6). Does b = y?
False
Suppose 4*q = -4, 2*b - 2*q + 3*q = -29. Let d = b + 22. Is d at least as big as 2?
True
Let h(x) = 4*x**3 - 60*x**2 + x - 30. Let d be h(15). Is -43/3 not equal to d?
True
Let x(q) be the second derivative of -q**5/20 - 11*q**4/12 - 11*q**3/6 + 4*q**2 - 2*q. Let t be x(-10). 