 = 0.17 - 0.47. Let z = -431 - -455. Which is greater: b or z?
z
Let i = 10.07 - 6.07. Is 65 smaller than i?
False
Let i be 181062/(-20124) - (-6 - 3). Is i < -1?
False
Let i = 0 - -2. Suppose -2*y = 3*x - 5, 5*y + 3 = -4*x + 5. Let k(r) = -r**3 + 4*r + 2. Let b be k(y). Are i and b nonequal?
False
Let t = 15.6 - -2.4. Let v = -2 - t. Let a = v - -10. Are a and -0.1 equal?
False
Let f = -59/15 - -53/15. Are 564 and f unequal?
True
Let p = -51 + 36. Let t be (28/10)/(3/p). Let r be (-102)/t - (-6)/(-21). Is r < 8?
True
Let m(j) = -j + 2. Let d be m(1). Let b = 83/1562 - 7/71. Is d bigger than b?
True
Let z = -1172 + 1171. Let d = 0.26 + -0.07. Which is smaller: z or d?
z
Let m be 48/(-15)*50/4. Let y be (-2)/(-10) - (-208)/m. Is -5 equal to y?
True
Let m = -188 - -2070/11. Let t = -2/255 + -761/510. Which is greater: m or t?
m
Let h be -3*(-10)/(-45)*(2 + 15). Suppose 17*u - 12*u + 55 = 0. Which is greater: u or h?
u
Let o = -10 + 9.93. Let q(l) = -5*l**3 - 4*l**2 + 6*l - 2. Let f be q(2). Let j = 45 + f. Is o at most j?
False
Suppose 5*a = a. Let p = -14008/5 - -532759/190. Let z = p + -5/2. Is a bigger than z?
True
Let x = -1217 + 970. Which is smaller: -248 or x?
-248
Let y = 55 + -94. Let l be ((-8)/2)/(2*(-2 + y)). Is -1 less than or equal to l?
True
Let b be (3/(-6))/(10/(-52)). Let a = -16075 + 16079. Is a at most b?
False
Let q = -34 + 50. Let c = -17 + q. Is c at least as big as 8?
False
Let r = -126 + 52. Let w = r - -72. Which is bigger: 2/7 or w?
2/7
Let y(i) = i + 2*i + 0*i + 14. Suppose 6*z - 18*z = 60. Let h be y(z). Which is greater: h or -3?
h
Suppose k - 309 = 5*k - h, 0 = 3*h + 9. Is k not equal to -75?
True
Suppose 0 = -5*y + 4*d + 17 + 14, -2*y + 18 = -3*d. Suppose 4*f = -2*h - 278, -f + 2*f + 442 = -y*h. Is -149 at least as big as h?
True
Let s be (8 - 5) + 0 + -1. Let x be (-26805)/(-100) - (-1)/5. Let b = 270 - x. Which is bigger: b or s?
s
Let k = 252 - 252.347. Which is greater: k or 1?
1
Suppose 5*s - m = -109, 4 = 2*m - 6*m. Let w be s/(-2)*(-2 - 12/(-4)). Which is greater: w or 14?
14
Suppose 5 = 4*n + 17. Is n smaller than 244?
True
Let c = 1655 + -8164/5. Is c bigger than 22?
True
Suppose -4*m - 25 = 15. Let v(d) = -2*d - 27. Let r be v(m). Which is bigger: -8 or r?
r
Let m(p) = 3*p**2 + p + 4. Let t be m(-3). Let i be 84 - 36/(-8)*(-4)/(-6). Suppose 4*a - 5*q = 128, i = 4*a + 4*q - 5. Which is smaller: a or t?
a
Suppose 0 = -3*s - d + 31, 5 = s + d - 6. Let n be (-2)/9 + 1000/45. Suppose 0 = -o - o + n. Which is smaller: o or s?
s
Let q be ((-1150)/45)/(-5) + 0/5. Which is bigger: 4 or q?
q
Let k = -631/5207 + 3/127. Which is bigger: k or 0?
0
Suppose -t + 4 = -3*u + 16, -2*u + 12 = -2*t. Let g be 33/22*(-22)/u. Is -11 greater than or equal to g?
True
Let u = -51 + 50. Which is smaller: -0.133 or u?
u
Let c = 0.032 + -1.102. Let g = -1.87 - c. Which is bigger: g or -7?
g
Let v = 15 + -21. Let m be v + 5 + (-1 - -12). Let z be m/(-15) - 1/(-6). Which is greater: z or -2?
z
Suppose 31*v + v = 0. Is v at least as big as 1/92?
False
Let j = -361 - -11911/33. Is -17 bigger than j?
False
Suppose 3*o + 6 - 3 = 0. Let d be (-9)/(o/(-4 + 3)). Which is smaller: -5 or d?
d
Let n be (-1200)/54 - (-4)/18 - -2. Do -21 and n have the same value?
False
Suppose 6 = 4*b + 2*b. Let v(w) = w**2 - 13*w - 14. Let q be v(14). Suppose q*j - 2*j = h + b, -2*j - 4*h = 10. Which is smaller: j or 6/25?
6/25
Let u = -150.03 + 132.1. Let d = 23 + -5. Let g = d + u. Is g smaller than 1?
True
Let l = 36.6 - 39.6. Which is bigger: l or -27?
l
Suppose 0*x - 5*n = -2*x + 31, -5 = n. Let g be (6/(-9))/(3/9). Let o = g + x. Are o and -1 nonequal?
True
Let t = -29/6 - -323/60. Is t smaller than 2?
True
Let s(x) = 4*x + 1. Let t be s(1). Suppose 5*r + 10 = i, -4*i + t*i + 2 = r. Does r = -3?
True
Suppose 5*i + 237 = -4*k, -264 = 4*k - 4*i - 0*i. Let m be ((-2)/4)/(k/(-6))*-6. Which is bigger: m or -1?
m
Let p = 3190/17 - 137816/731. Which is smaller: p or -1?
-1
Let y = 3 + -3. Suppose y - 1 = -o. Which is smaller: o or 12/7?
o
Suppose 0 = 12*r - 2847 - 1029. Which is smaller: r or 324?
r
Let n = 9244/595095 - 14/1227. Are 1 and n unequal?
True
Let d = -4 - -1. Let n be d - -20*((-48)/(-20) - 2). Is -2 at least n?
False
Let r(j) = -6*j + 8*j + j**3 - 3*j**3 - 1. Let t be r(1). Let y = 25.4 + -25.39. Is t at most as big as y?
True
Let q be (-489)/(-1080) + (-102)/272. Is -1 not equal to q?
True
Let n(y) = -3*y**2 - 2*y**2 - y + 2 + y**3 + y**2 + y**2. Let p be n(4). Let i be 3/p*8/(-6). Which is bigger: i or 2?
2
Let k = -59 + 235/4. Let f = 90.6 + -45.9. Let g = f - 45. Is g smaller than k?
True
Let t = -357/2 - -178. Are -0.167 and t unequal?
True
Suppose -10*b = -s - 14*b - 84, -3*s - 3*b = 216. Which is greater: -72 or s?
s
Let g(a) = a**2 + 4*a - 5. Let i be g(-4). Let n = i + 3. Let c(k) = -k. Let j be c(2). Is n <= j?
True
Suppose -q = -2*q + 4. Let f be q + 4/(4 - 2). Suppose -5 + f = i. Which is smaller: i or 1/5?
1/5
Let v = 17.5 - 71.5. Let k = v + 53.8. Which is greater: 1/73 or k?
1/73
Suppose 5 = 3*a + 2*a + 3*w, 5 = -5*a - 5*w. Suppose -4*x - 24 = -o, 5*o - 22 = x + 22. Which is greater: a or o?
o
Let o be 1/4*0/(-2 + 10). Let z(y) be the second derivative of -y**3/6 - 9*y**2/2 + y. Let q be z(-8). Is q bigger than o?
False
Let x be -6*(15/3)/(-15). Suppose 184 = -x*d - 96. Let m = 698/5 + d. Are m and 0 non-equal?
True
Let v be (-1)/((-2)/4 - 1/2). Suppose 3*k = -5*w - 17, -2*k + k - 5*w + v = 0. Suppose -3*z + 5*z + 18 = 0. Are z and k equal?
True
Let w(s) = -s - 13. Suppose 0*a - 155 = -5*a. Let x = 19 - a. Let p be w(x). Is p less than or equal to -1/5?
True
Let y = -16 + 15. Let d be (-4 - y)/3*(1 + -1). Is 2/73 greater than or equal to d?
True
Let s(c) = c**3 + 6*c**2 - 3*c + 5. Let v be s(-7). Let r = v + 23. Which is smaller: r or -1/2?
-1/2
Let v(h) = 0*h**2 + 2*h + 2*h**2 + 6*h - 9*h. Let k be (-3)/(6/4 + -3). Let q be v(k). Which is greater: q or 5?
q
Let r = 44 + -36. Suppose 0 = 2*l - 2*c - r, 0*l - 2*c = 3*l + 13. Which is smaller: l or -2/27?
l
Suppose -44*m + 48*m - 108 = 0. Do 24 and m have different values?
True
Let j = 25 + 1. Let l = 29 - j. Is 3 < l?
False
Let n be 3/(-21) - (-170)/14. Let t = n + -10. Suppose -t*b = 3*b. Is b bigger than -2/11?
True
Let t(z) = -z - 1. Let d be t(-9). Suppose 17*v - 21*v = -28. Is d < v?
False
Let y = 577 + -640. Is y at most as big as -61?
True
Let a = 237664/3 - 7127809/90. Let p = 47/2 - a. Which is bigger: p or 1?
1
Let i = 731 + -187866/257. Which is smaller: -1 or i?
-1
Let c = -198 + 287. Let a = c + -209. Let m be a/42*3/(-6). Which is smaller: 0 or m?
0
Let c = 270 - 269.5. Let q = 27.1 - 27. Is c >= q?
True
Let h = -100.813 + -0.187. Let a = h + 101.1. Is 1 smaller than a?
False
Let d = 410 + -467. Is -167/3 != d?
True
Let u be ((-4)/10)/((-5)/175). Suppose -9*f + u*f = 40. Which is smaller: f or 7?
7
Suppose 5*j - 23 = -x, 4*x + 23 = -4*j + 7*j. Suppose 4*v + 15 = -5*p, -j*p - 1 = -v - 11. Which is smaller: -1/14 or p?
-1/14
Let k = -1491 - -1498. Let x be (-4)/(-14) - 66/(-14). Are k and x equal?
False
Let f = 691 + -145. Let r be 2*(2 - (-13552)/50). Let w = f - r. Is 1 at least w?
True
Let k be 6/14 - 316/(-553). Let q be 2/10*10/68. Is k > q?
True
Let h = -9.9 + -3.4. Which is smaller: h or -0.1?
h
Let m = 1027/20 - 288/5. Is -6 at most as big as m?
False
Let w(n) = -n**3 - 10*n**2 + 10*n - 11. Let p be w(-11). Suppose p*l = -5*o - 5*l - 25, -l = 4. Is o greater than -2/39?
False
Let i(j) = -30 - 8*j + 4*j + 5*j + j**2. Let g be i(0). Let m = 61/2 + g. Which is greater: 2 or m?
2
Let q be ((-16)/(-6))/4 - 0. Let y(v) = v**2 - v - 4. Let n be 1*(-1)/(-5) - 11/5. Let x be y(n). Is x greater than or equal to q?
True
Let n be ((-22)/2266)/((-1)/((-4)/(-2))). Which is smaller: n or 0?
0
Let y be (((-1)/1)/(-3))/((-480)/90). Are -2 and y non-equal?
True
Let i be ((-21)/(-9))/(-7) - 806/(-6). Which is greater: i or 133?
i
Let o = -32.918 + -0.082. Let z = o - -31.96. Let i = z - -0.04. Is -5 <= i?
True
Let c be 3/(-4)*14*(-592)/24. Let v = c + -1274/5. Which is smaller: v or 4?
4
Let x = 181 - 901/5. Let j(b) = b + 3. Let y be j(-3). Do y and x have the same value?
False
Let f be 0 - (1*-39)/(-1). Let l = 6 - f. Suppose 8*y - 3*y = l. Is y less than 9?
False
Let k = -5 +