 = -292 - -283.85. Let n = -8 - s. Let b = 0.25 - n. Which is smaller: b or -13?
-13
Let q be 4/(16/49) - 8/32. Suppose -2*a = -a - 3. Suppose q = u - a*u. Which is smaller: u or 2/5?
u
Suppose 2*b + 3*p = 1, 3*b + 4*p - 7 = -4. Suppose 12 = -4*m + 3*m - b*v, -v = 2*m + 6. Which is smaller: m or -3?
-3
Let f be (-2)/3 + 89074/6. Let b = 249698/17 - f. Let c = b + 157. Is -1 at least c?
False
Let c = -470 + 523. Is 4 at least c?
False
Let r = -0.14 - 0.46. Let i = 35.2 + -35. Let z = i + r. Which is bigger: z or -1/6?
-1/6
Suppose w - 62 = -61. Do w and 1/63 have the same value?
False
Suppose q + 8 = -5*b + 4, -78 = -3*q + 3*b. Which is greater: 0 or q?
q
Let p = -154 - -62. Let g = p + 74. Is g equal to -4?
False
Let z be (((-20)/(-3))/(-5))/((-22)/1749). Which is bigger: z or 528/5?
z
Suppose 5*a = -2*a + 21. Suppose 22 = 2*m + 5*u, 0*u = 5*m + u - 9. Which is smaller: a or m?
m
Let k = 355/6 - 105/2. Is 7 at least as big as k?
True
Let k be ((-5)/(-10))/((-6)/504). Is -169/4 less than or equal to k?
True
Suppose -5*n + 485 - 125 = 0. Is 70 > n?
False
Let z = -64087/75 + 2557/3. Which is greater: -3 or z?
z
Let d(m) = -3*m**3 + 15*m**2 + 3*m + 19. Let j be d(5). Which is greater: j or 37?
37
Let p = -22.1 - -22. Let h be -1 + -4 + (-29)/(-5). Is p at most h?
True
Let z = -41 - -43. Suppose -c = -i - 5*c + 7, -4*i - 3*c = -z. Which is greater: -15/11 or i?
i
Let w = 9802/731 + -440/43. Is 4 greater than or equal to w?
True
Let l = -332/3 - -2384/21. Let p = l - 79/35. Which is bigger: p or 9?
9
Let o = 0.51 - 0.51. Let d = -0.5 + o. Let g = -1.95 + -0.05. Is g > d?
False
Suppose -664*c = -653*c + 176. Which is smaller: -155/9 or c?
-155/9
Suppose -6*b - 3*s - 405 = 0, 5*s + 171 = -4*b - 90. Which is smaller: b or -65?
b
Let s = -190.9 - -168.2. Is s < 1?
True
Let c = -0.3656 + -65.1944. Let z = c - -67. Let a = z + -1.4. Is 1 greater than or equal to a?
True
Suppose 4 = -5*i + i. Let t be i*0/(-4 + (-6)/(-2)). Which is smaller: t or -11/12?
-11/12
Let q(t) = t**2 + 4*t - 3. Let r be q(2). Suppose -2*u - 1239 = -r*u. Let v = 536/3 - u. Which is smaller: 1 or v?
1
Let a = 56 - 74. Let y be (24/(-528))/((-1)/a). Which is greater: y or -2?
y
Let w = -9 - -8.2. Let g = -0.78 - w. Let y = g - -0.08. Is y bigger than 16?
False
Let v = 16 - 13. Let q = 6 - v. Suppose 3*x = s + 19, -2*x + 3*x - s = 9. Is x equal to q?
False
Suppose -15 - 37 = -4*q. Suppose 6*l + q = -17. Is l greater than -6?
True
Let u(x) = 5*x + 82. Let d be u(-17). Is -58/17 smaller than d?
True
Let l(n) = -2*n - 9. Let g be l(-3). Suppose -p + 5*v + 18 = 0, 4*p - 9*p = 5*v. Let w be 4/p*(-9)/6. Which is smaller: w or g?
g
Let k = 0.014 + 0.019. Is k at least -2/7?
True
Let x = -1218 - -1217. Which is greater: x or -0.727?
-0.727
Suppose 1334*l = 1348*l + 560. Which is greater: l or -69?
l
Let a = -2340 - -95942/41. Are 0.078 and a nonequal?
True
Let s = -37343/27 + 1383. Which is greater: -1.2 or s?
s
Let o be 874/(-209) - (-8)/44. Let n = 2.06 + -2. Which is smaller: o or n?
o
Let q = 1509/4 + -380. Is 1 < q?
False
Let k = 21/8 - 265/104. Suppose 7*q + 20 = 3*q, -36 = -4*b + 4*q. Suppose 0 = 2*y + b*t + 18 - 4, 0 = -4*y + 5*t + 24. Are k and y equal?
False
Let f = 160/43 + -6236/1075. Which is smaller: f or -3?
-3
Let g be (-35)/(-10) + (-2)/(-4). Suppose 0 = x - g*x + 24. Does 8 = x?
True
Let d = 0.592 - 0.192. Which is smaller: -89 or d?
-89
Let j = -2.295 - -0.295. Which is smaller: j or 42?
j
Let w = -39 - -38.9. Let b = -9.23 - -6.3. Let v = 3 + b. Is v less than or equal to w?
False
Let i = -661 + 654. Let k = 104/3 + -34. Is k greater than or equal to i?
True
Let s = 1802/209 - 96/11. Suppose 85 = -3*g - 2*g. Let c = g + 18. Which is smaller: s or c?
s
Let r = 0.1 + 2.9. Let f = -4 + r. Let y = -0.34 - -0.14. Which is smaller: y or f?
f
Let k = 1677 + -1526. Is k >= 454/3?
False
Suppose 2*s + 101 = 3*y - 6*y, 4*y = s + 67. Which is greater: -54 or s?
-54
Let d = -855 - -854. Let h = -3 + 9. Let f be (6/(-9))/((-2)/h). Is d at most f?
True
Let r be 4/5 + 1134/70. Let q = 57 - 43. Is r at least as big as q?
True
Let r be 1/(-5) + -2*(-971)/10. Which is smaller: r or 190?
190
Let l(a) = -a**2 - a + 4. Let t be l(-4). Let q(y) = -y**3 - 7*y**2 + 7*y - 1. Let d be q(t). Let w be (1 - 2) + (5 - -2). Is w less than d?
True
Let g(j) = -11*j**2 - 1 + 2*j**3 + 12*j**2 + 0. Let s be g(1). Suppose 4*v = -2*o - s, 0 = v + 3 + 2. Is o < 9?
False
Suppose p + 4 = k - 6*k, -3*p - 5*k = 2. Let f(h) = 6*h - 2. Let o be f(p). Let d = -5 + 10. Which is smaller: d or o?
o
Let d(p) = 63*p + 316. Let w be d(-5). Let j = 103 + -71. Is w not equal to j?
True
Let g = 1227/5 - 242. Suppose 4*z - 4 = 4*r, 0 = -4*z - 2*r + 10 + 6. Which is greater: z or g?
g
Let n(p) = -2*p**2 - 17*p + 24. Let j be n(-10). Let u = 4 - 2. Suppose -u*q + 0*q = 2. Which is greater: q or j?
q
Let l = -7.121 + 0.121. Do l and 0.15 have the same value?
False
Let p = -468/5 + 61318/655. Let q(a) = -a**3 - 3*a**2 + 4*a. Let f be q(1). Is f >= p?
False
Let a = -72 - -84. Let n be -1 + (-1)/(-3) - 0. Which is bigger: a or n?
a
Suppose 12 = -3*h - 9. Let l(o) = -o**2 - 9*o - 10. Let n be l(h). Suppose -3*b + 3*f = -f - 15, 5*f = -n*b + 20. Is b > 7/2?
True
Let d be -2 - (-30)/(-4)*2. Let b = -48 + 48.1. Which is greater: d or b?
b
Let v = -124 - -72. Which is smaller: -51 or v?
v
Let w(c) = -3*c + 3. Let a be w(-4). Suppose -28*b + 114 = -26*b. Let h = 73 - b. Which is smaller: h or a?
a
Suppose -4*m + 4*f - 1852 = 0, -39*m - f = -43*m - 1852. Are -464 and m equal?
False
Let s(k) = -k**2 - 11*k - 2. Let g be s(-5). Let n = -15 + g. Which is smaller: 11 or n?
11
Let n(f) = -f**3 + 12*f**2 + 13*f + 9. Let k be n(14). Let y = -1410/7 - k. Is y != -2?
True
Let m = 1384 - 42898/31. Is m < 0.02?
False
Let c = -75 + 76. Which is bigger: 2/355 or c?
c
Let u = 5024 + -3444. Which is smaller: 1581 or u?
u
Suppose 0 = 3*i + 4*w + 7, -4*i - i + w = 4. Let m(n) = -5*n**3 - 2*n - 1. Let t be m(i). Let q be 9/6*t/9. Do 4/13 and q have the same value?
False
Suppose 62*j = 63*j - 16. Is j != -10?
True
Let j(g) = -g**3 - 5*g**2 + 7*g + 7. Let x be j(-5). Let h(k) = -57*k + 258. Let m be h(5). Which is bigger: m or x?
m
Let z = 12/7 - 41/28. Let i = 1663 + -1662. Is z < i?
True
Let r be -6 + (-21)/(-7) - (-22 + 1). Do r and 20 have the same value?
False
Suppose 0 = -5*l + 373 + 227. Let v = -122 + l. Is v not equal to -20/9?
True
Let r = 22 - 31. Let x(h) = 14*h**2 + 16*h + 20. Let v(s) = -5*s**2 - 5*s - 7. Let f(o) = 11*v(o) + 4*x(o). Let t be f(r). Is 8/5 < t?
True
Suppose -13*m = -2837 - 4040. Is m <= 1/2?
False
Let v = -1210 + 1209.6. Which is smaller: -11.3 or v?
-11.3
Suppose -4*f + 3 = -9. Let h be 0*(4 - (-114)/(-30)). Suppose -3*k + 0 + f = h. Is 3 greater than k?
True
Let o = 3.5 + 0.5. Let f = o + -8. Let q = -347 + 349. Is q bigger than f?
True
Suppose 16*k = -1289 - 151. Is -90 at least as big as k?
True
Let r = -2.65 - -2.6. Let s = 0.25 - r. Let p = s - 0.2. Which is smaller: p or -13?
-13
Let l = 6502 - 266537/41. Which is bigger: 0 or l?
l
Let y = 1.228 - 1.29. Let k be (-3 + 1)*1/(-7). Is y at most as big as k?
True
Suppose 0 = -4*s + t + 381, 0 = 3*s + 2*t - 4*t - 292. Is s != 94?
False
Suppose -2*p = -5*p - 12, -4*p - 82 = -6*t. Let r(o) = 9*o**2 - o + 1. Let m be r(1). Which is greater: t or m?
t
Suppose 0 = 3*j - 0*j. Let v be -3 - (-570)/1488*6. Let p = -14/31 - v. Which is bigger: j or p?
p
Let h(j) = 2*j - 20. Let l be h(12). Let f be 0/(-8 + l + 2). Is f less than 3?
True
Let q(g) be the third derivative of -g**6/120 - g**5/15 + 3*g**4/8 + 4*g**3/3 - 3*g**2. Let b be q(-6). Suppose 4*z + b = 2*z. Is z > -12?
False
Let s be (-586)/(-936)*-1 + (-42)/(-189). Is 1 != s?
True
Let i be (-8 - -6)*(-422)/(-4). Which is bigger: -210 or i?
-210
Let z(y) = 133*y**2 - 132*y**2 + 5 + y - 5. Let x be z(-1). Which is greater: 8/27 or x?
8/27
Let y be (128/(-112))/(3/(-42)*2). Let x = 1262/3 + -412. Is x at most as big as y?
False
Let z = 40993702/251055 + -1/35865. Let u = -527 + 364. Let v = z + u. Is -1 at least v?
False
Let m(a) = -3*a + 4. Let l = -81 + 89. Let d be m(l). Which is smaller: -18 or d?
d
Let w(a) = 15*a**3 + a**2. Let j be w(1). Let x = 227 - 211. Is x bigger than j?
False
Let t(b) = b**3 + 20*b**2 + 63*b - 17. Let 