erent values?
False
Let i = 85 - 84.31. Let z = -0.53 + 1.02. Let u = z - i. Is u greater than -35?
True
Let b = -315292 - -10145781266/32179. Are b and 0 unequal?
True
Let i(q) = -2*q + 3. Let f be i(2). Let k(s) = -s**2 + 10*s - 21. Let v be k(7). Let g be (-1)/((-16)/(-12)) - v. Is f less than g?
True
Let q = 0.77 - -0.03. Let w = 0.2 - q. Let y = -0.7 - w. Is y >= -30?
True
Suppose 0 = -5*q + 2*w - 0*w + 202, -q + w = -41. Let k be (-1790)/q - (3 + 1). Which is bigger: k or -50?
k
Let s = 7991 + -3715817/465. Let r = 31 - 32. Which is smaller: s or r?
r
Suppose -16*x + 8 = -20 - 4. Is 18/23 greater than x?
False
Let a = 113/7 - 128/7. Which is smaller: 0.94 or a?
a
Suppose 5740 = 74*g - 4*g. Is 499/6 at least as big as g?
True
Let x(s) = 15*s**2 + 65*s - 401. Let m be x(-14). Which is smaller: 1638 or m?
m
Let o be (6936/(-1160) + 6)*-10. Let x = -23 + 24. Is x != o?
True
Let t(k) = -223*k**3 - 4*k**2 - 14*k + 17. Let r be t(1). Which is smaller: r or -2478/11?
-2478/11
Let o(n) = -22*n + 22. Let p be o(7). Which is bigger: p or 2?
2
Suppose 2*m + 5*v - 330 = 0, 0 = 19*v - 16*v + 12. Are 10 and m nonequal?
True
Let y = -3.4 + -8.6. Let l = 11.952 + y. Let w = l - -10.048. Is w less than or equal to -1/3?
False
Let n = -20 - -26. Suppose -4*j - n = v, 6 = v - 4*j - 4. Suppose 0*p - v = 4*p - 2*i, -4*i + 4 = p. Is 6/49 < p?
False
Let t = -63 + 62. Let n = -263/31808 - -3/497. Are n and t unequal?
True
Let c = 1940 - 1459. Are c and 481 non-equal?
False
Let m(p) = p - 4. Let y be m(5). Suppose 0 = 3*o - 15406 + 61396. Let l be (-8249)/o - (-2)/(-4). Which is greater: y or l?
y
Suppose -2*w - 3*b + 10 = 0, 0*b + 4 = 2*b. Let v be (w - 5) + (-5 - -3). Let f be (-18)/10 + (-4)/v. Which is smaller: f or -0.1?
f
Let x = -91 - -18. Which is smaller: -62 or x?
x
Suppose 0*g - 36 = -5*g - f, f + 12 = g. Suppose 2*o + g = -2*p - 32, -3*p = 6. Which is bigger: o or -12?
-12
Suppose -186*q + 21 = -183*q. Let m be (-12)/42 + (-46)/(-14). Which is smaller: m or q?
m
Let p = -31 + -243. Let b = -273 - p. Which is greater: b or 3?
3
Let j(i) = i**3 - 5*i**2 - 15*i - 12. Let p be j(11). Suppose -4*h + 5*z = -732, -3*h = 6*z - 7*z - p. Are h and 183 equal?
True
Let i be 2 + (235/(-45) - 1). Let d(c) = 8*c + 55. Let y be d(-13). Let a = -53 - y. Which is greater: a or i?
a
Let k = -16386 - -16107. Is k >= -555/2?
False
Let a = 929 - 3316. Let h be (0 - -4) + 9570/a. Let z = h + -380/5859. Is z at least as big as 0?
False
Let x = 1.2951 + -1.5951. Are -0.018 and x nonequal?
True
Suppose 2*c + 234 = -4*y - 0, -2*c + 2*y = 258. Let g = -57 - -57. Which is smaller: g or c?
c
Let i be (-4)/4 + 1*-1. Let x be -18*-2*4/36*3. Let h be 24/(-9) + 2 + (-28)/x. Which is smaller: i or h?
h
Let m = -3543 - -3531. Let s = 5.7 + -6. Let x = s + 1.3. Is m at most x?
True
Let o(d) = -3*d**2 - 33*d + 4577. Let y be o(58). Is y less than -7429?
False
Let b = -369 + 781. Let u = -417 + b. Is 8 >= u?
True
Let x = 467.18 - 2.18. Let i = -465.5 + x. Which is smaller: i or -58?
-58
Let k(d) = -d**3 + 6*d**2 + 8*d - 8. Let x be k(7). Let v be (-1*(-5)/(-10))/(22/(-14)). Which is smaller: x or v?
x
Let u = -279 - -324. Let d be 22/(-30) + (-342)/u + 8. Is d bigger than 3/2?
False
Let k = 906 - 782. Is k at most 127?
True
Suppose 155 = 4*i + 159. Let h be (-9 - -9)/((-2)/i). Suppose o = -h*o + 64. Which is smaller: o or 63?
63
Let c = 16.454 + -16.154. Which is bigger: 5431 or c?
5431
Suppose i = 5*f - 320, 0 = -5*i - 266*f + 271*f - 1520. Is i not equal to -2?
True
Let h = -32954209/662940 - -32657/508. Let b = h - 3/145. Which is bigger: 15 or b?
15
Let c be -296 - -10*(-56)/(-70). Do c and -2295/8 have the same value?
False
Let c = -242 + 134. Let v = 105 + c. Let h be 3 + -4 + v/(36/(-11)). Which is bigger: h or 0?
0
Let m(k) = k**2 + 1118*k + 2233. Let q be m(-2). Which is smaller: -2/1331 or q?
-2/1331
Let k be (8/(-6))/(((-220)/180)/(-11)). Let i(l) = 5*l - 10 + l**2 + 6*l + 0*l. Let w be i(k). Which is greater: -4 or w?
w
Let b = 41/14 + -17/7. Let d = -3.37 + -81.53. Let i = 85 + d. Which is smaller: b or i?
i
Let l = -351.28 - -357.28. Is -2/3 bigger than l?
False
Suppose -k = 3*p + 6, 3*k + 0*k + 4*p = -8. Suppose -5*z = -0*z + 2*r - 210, 0 = 3*z + 4*r - 112. Suppose 0 = -45*a + z*a - 3. Which is greater: a or k?
k
Suppose -15 = 5*c, i + 6*c + 15 = 2*c. Let g be ((-52)/12)/((-7)/i). Let k be (882/(-5733))/(-2 - 28/(-13)). Are k and g equal?
False
Let s = 348.5 + -350.2. Is -139 bigger than s?
False
Let j = -7511/4 + 1878. Which is smaller: j or -1896?
-1896
Let b be 7 + (6/(-2) - -3). Let t = -613 - -622. Suppose -j - b*x - 29 = -t*x, -3*j - 5*x = 131. Which is smaller: -1 or j?
j
Let i = 49 - 52. Let x be (-7)/(420/16)*2787. Let g = x + 739. Are i and g unequal?
True
Let h(r) = -r**3 - 9*r**2 - 2*r - 8. Let q be h(-9). Suppose -7*u = 3*u + q. Let p be ((6*u)/2 - -3)*1. Is p greater than or equal to 3/4?
False
Suppose x + p - 689 = -2*x, -p = 1. Suppose -f - x = 9*f. Is f at most as big as -19?
True
Suppose -5*u + 0*c = -2*c - 135, 3*c = -3*u + 60. Let i = -47/2 + u. Let a = 1251 + -1249. Which is greater: i or a?
a
Suppose 0 = -4*g - 5*p + 14, -6 = -5*g - 3*p + 5. Suppose 4*f = 1071 - 3419. Let d = f - -22892/39. Which is smaller: d or g?
d
Let d = 160.84 + -0.84. Let h = 82 - d. Let z = h - -78.1. Which is bigger: z or -1/6?
z
Let s = 8921 + -8924. Suppose g + 0*g = 1. Let z be ((-116)/(-176) - g)*8. Are z and s non-equal?
True
Let x be ((-2)/(-6))/(56/(-532) - (-100)/228). Is 3/2440 != x?
True
Let w = 2617/4 + -694. Let m = w + 40. Is m >= 1?
False
Let j be (9 + 124608/(-5200) + 15)/((-2)/(-255)). Which is greater: j or 5?
5
Let s = -235 - -247. Let x be 142/10 + s/15. Which is smaller: 3 or x?
3
Suppose -4*u = -4*b - 56, -4*u - 3*b + 26 = -b. Suppose 12 = u*j - 3*j. Suppose 0 = -4*q - c, -j*c - 3*c + 17 = 3*q. Which is bigger: -18/11 or q?
q
Let j = -241.7 - -259. Let t = -17 + j. Let l = 2/221 - -436/663. Which is smaller: l or t?
t
Let f = 16939/15 - 151253/30. Is 3/4 greater than f?
True
Let o be 45/(((-4)/(-6))/((-4)/(-6))). Suppose -5*w + o = -35. Let f be (-3 - 2) + w/4. Which is greater: 1/19 or f?
1/19
Let n = 33 - 27. Let j = -734.11 + 731. Let z = j - -0.11. Is n bigger than z?
True
Let o = -6298 - -6299. Is o greater than 3/6472?
True
Suppose -4*d - 4*r = 164, d - 4*d - 115 = -5*r. Let z be d/10*(-1)/(-2) - -8. Let b = -10 - -14. Is z less than b?
False
Suppose -4*u + 39145 = -5*g - 9*u, 31328 = -4*g - 2*u. Which is bigger: -7833 or g?
-7833
Let i(y) = 65 + 0*y - 19*y + y**2 + 6*y. Let k be i(15). Is 94 bigger than k?
False
Let y(l) be the first derivative of 2*l**3/3 - 5*l**2 - 10*l - 8. Let w be y(6). Let f be (-20)/(-8) + (-4)/6. Is f >= w?
False
Let v = 69809/15392 + -145/32. Is v <= 0?
False
Suppose 705 = -4*d + 4*s - 1211, 2*s = -5*d - 2395. Let h be 2*d/4230 + 182/819. Are h and 0 nonequal?
True
Let l be ((-109)/(-7) - -1) + (-72)/126. Suppose 281*u = 283*u + l. Which is smaller: u or -6?
u
Let o = 8 + -6. Let i = o - 1. Let q = -47551/15 - -3170. Which is smaller: q or i?
q
Let p = 3/94499 - -86561057/850491. Which is smaller: 2/21 or p?
2/21
Let h be 2/45*5 - (-280)/(-504). Let o be -3 - (0 + 304/(-92)). Which is smaller: h or o?
h
Suppose 0 = -11*j + 4*j + 917. Let x = j + -123. Let q be (20/(-7) - -2)*(x + 13). Is q > -19?
True
Suppose 0 = 5*h - f + 62, -4*h + 0*f - 50 = -f. Suppose -a = 2*a - 27. Let c be (-1*h/(-42))/(a/7). Which is smaller: 6 or c?
c
Let l be ((-6)/(-14))/((-14187)/(-2835) + -5). Let w = -94 + l. Let x = -8 + 15. Is w less than x?
False
Suppose 99*h = 81*h + 23869 + 23111. Is 0.5 < h?
True
Suppose 4*p + 0*p = i + 45, 0 = 3*p - 4*i - 50. Suppose -12*h - p = -13*h. Let u be (8/h)/(5/(-75)*3). Is -6 at most u?
True
Suppose -4*b - 5*x = -3*b + 5, 5*b - 21 = -2*x. Let p(f) = -2*f + 3. Suppose -s + 2 = -4*c - 1, c + 6 = 2*s. Let d be p(c). Are d and b non-equal?
True
Let j be ((-1 + 2 + -1)*(-8)/40)/(-5). Does j = 2/275?
False
Let g(f) = f - 1. Let o(d) = -d + 16. Let b(m) = 2*g(m) + o(m). Let k be b(-9). Suppose -3*a + 62 = -4*p - 6, -2*p - 104 = -k*a. Is a at most 19?
False
Let x = 302 - 137. Let f = x + -168. Is 52 bigger than f?
True
Let f = 398 + -397. Let n be -305*f*(42 - 41). Is n greater than or equal to -306?
True
Suppose 