1
Suppose -4 = -i, 8 = 4*u - 9*u + 2*i. Is 2/615 less than u?
False
Let w = 0.1098 + -6.1098. Which is bigger: -139 or w?
w
Let f = 7977 + -7999. Is 28 greater than or equal to f?
True
Suppose -3*m - 421 = 2*c, 4*c - 9*m + 853 = -4*m. Suppose -6*j = -2*j + 4, -3*r = -5*j + 634. Is c <= r?
False
Let y = -4564 + 4571. Which is bigger: y or 28?
28
Let k be ((-1)/(-8) - 129/(-24))*5. Let u = k - 5. Which is smaller: u or 22?
22
Suppose 4*t - 8 = -2*d, 5*d - 27 = -0*t - 3*t. Let v be d/3 + ((-40)/8 - -3). Which is greater: v or -5/13?
v
Suppose 3*z + 163 = -14. Let o = z + 63. Let f(w) = -w + 4. Let q be f(4). Which is bigger: o or q?
o
Let i = 56.7423 - 0.0423. Let h = 56 - i. Is 0.08 not equal to h?
True
Let i(r) = r**3 - r**2 + 2*r - 5. Let b = -20 + 20. Let l be i(b). Let v be (3/(-6))/(6/(132/l)). Which is greater: v or 1?
v
Let a = -935.7 - -935. Which is smaller: -83 or a?
-83
Let g be (-4)/214*(24/(-16) + 1)*-1. Which is smaller: -3/8 or g?
-3/8
Let k = 90 - 93. Let z(i) = 177*i + 2. Let t be z(k). Let o be t/(-690) - 2/20. Which is smaller: o or 1/7?
1/7
Let t be 13 - (9/9 + 13). Which is smaller: t or -4/555?
t
Let l be 267193953/4485*1/5. Let b = l + -11915. Is -1 at most as big as b?
True
Let j = 468 - 473. Let x be j/5*4/4. Is 23 at most as big as x?
False
Let s = 59 - 57. Suppose -5*v + 1 - 4 = l, s*v + l + 3 = 0. Suppose 2*q + 2*q = 0. Is q >= v?
True
Suppose -16*z - 5 = -17*z. Suppose 39 = -4*r - 3*j, 3*r + 37 = r - z*j. Which is greater: -7 or r?
r
Let z = 110.88 - 111.54. Which is bigger: z or -0.17?
-0.17
Let z = 3465 - 3546. Which is greater: z or -78?
-78
Let h = -0.05 + 0.072. Let q = 1.443 + -1.365. Let j = q + h. Which is smaller: 0.06 or j?
0.06
Let d = -24/889 - 1658/4445. Which is smaller: -295/56 or d?
-295/56
Let v = 76 + -70. Let j = 7 + -9. Let a = v + j. Which is bigger: a or 0.2?
a
Suppose -5*w - 408 - 162 = 0. Let t = 59 + w. Let y = 5 + -60. Is t at most y?
True
Let d = -55 - -170. Suppose 0 = -609*v + 607*v + 226. Does d = v?
False
Let s = 7899/5 + -1647. Which is smaller: s or -1?
s
Let f be (-6 + 2766/474)*1/(-19). Let z = f + -2/711. Suppose -3*r - r = 0. Are r and z unequal?
True
Let q = 112 - 73. Let z be ((-91)/q - 1/6)*-2. Suppose -5*o + y = 3*y + 83, -5*o = -z*y + 90. Which is greater: -16 or o?
-16
Let z = 637 + -639. Are -566 and z non-equal?
True
Let f = -18 - -56/3. Let x = -176 + 63. Let r = x + 112. Which is bigger: r or f?
f
Let o(w) = 2*w**3 + 34*w**2 + 42*w + 25. Let f be o(-16). Let v be 2 + ((-2894)/(-22) - -1). Let n = f + v. Which is greater: 1 or n?
1
Let a = 252 - 251. Suppose -a = 4*o - 5. Which is bigger: o or -6/29?
o
Let w be (83706/(-2709) - -26)*18/(-8). Which is smaller: w or 12?
w
Suppose -4*i + 28 = -3*h, 0*i - 8 = 2*i + 4*h. Suppose -1 - 19 = 2*a + i*n, -25 = 5*n. Suppose a = 6*v - 10*v + 4. Does v = -6/35?
False
Let q(r) = r**3 - 29*r**2 - 28*r - 61. Suppose 0 = 15*b - 11*b - 120. Let i be q(b). Is i smaller than -2/11?
True
Let o be ((-95)/(-57))/(1/3). Suppose -12 + 72 = 3*h. Suppose 0 = o*t + 2*j - 6*j - 16, -5*j - h = -3*t. Is 1/25 at most t?
False
Let i be (-4)/(-15) + (-3362772)/(-22230). Which is greater: 151 or i?
i
Let h(a) be the first derivative of -14*a - 14*a - 14 - 2 + a**2. Let n be h(14). Which is smaller: n or 3/13?
n
Let w be 1254/14 + (-4 - (-31)/7). Suppose 3*h - w = 8*h. Let v be h/45 + 94/35. Do 1 and v have the same value?
False
Let z = 2 + 4. Suppose -z*x = -5*x. Let s = -31.856 - -31.696. Which is smaller: x or s?
s
Let b = -108 - 62. Let f = b + 358. Is 187 at least as big as f?
False
Let x be (-47)/((-32148)/4152)*-54. Which is smaller: -327 or x?
x
Let g = 0.3 - -0.3. Let b = -0.0361 - -594.8361. Let j = 595 - b. Which is smaller: j or g?
j
Let u(t) = -t**2 - 20*t - 85. Let p be u(-14). Let w = 1/3049 + 2608/1344609. Is p at least w?
False
Let r = -29 + 88/3. Suppose -14*h + 44 - 2 = 0. Suppose 2*v - 4*z + 106 = -0*z, 5*v = h*z - 244. Which is greater: r or v?
r
Let z = 1042043/40 + -26051. Let q = 0 + 0. Which is bigger: q or z?
z
Let r be (130/(-80))/((-4)/32). Suppose 2*x - 11*h + r*h = 170, -4*x - h + 337 = 0. Which is smaller: -0.2 or x?
-0.2
Suppose -2*b - 104 = -4*b. Let n = b + -64. Let q be (-22)/(-8) + -3 + (-3)/n. Which is bigger: q or 1/13?
1/13
Let z = 0.28 - 0.21. Let k = -52.56 - -52.86. Is k != z?
True
Let j = 2602 + -2605. Which is smaller: 595 or j?
j
Let n = -51 + 31. Let w = -19 - n. Suppose -1 = 2*k + v - 7, -3*k + 2*v + 16 = 0. Which is smaller: w or k?
w
Let u = -133 - -933/7. Let v(c) = c**3 - 9*c**2 + 9*c - 10. Let b be v(8). Let h(j) = 3*j + 7. Let q be h(b). Which is smaller: q or u?
u
Let y(z) = -z**2 + z + 6. Let s be y(5). Let o(j) = 231*j + 8302. Let r be o(-36). Are s and r non-equal?
False
Suppose -5*h = 4*l - 879, 1887*l = 1884*l + 2*h + 642. Which is smaller: l or -3/26?
-3/26
Let q = 0.3 + 0.3. Let x(j) = 208*j + 16. Let w be x(1). Let k = 220 - w. Do q and k have different values?
True
Let f be (71 + (2 - 0))*1. Suppose -2*n + 5*i = f, 2*i + 3 = 9. Let x(u) = 2*u**3 - 27*u**2 - 17*u + 12. Let d be x(14). Is d equal to n?
False
Suppose 3*b + 73 = 238. Suppose -105 - b = -32*n. Is 1 greater than n?
False
Let c(t) = 3*t - 42. Let q be c(13). Let p be 2*q + 2123/352. Is 1 greater than or equal to p?
True
Suppose -2*t = -2*f - 1 - 1, -f + 1 = -3*t. Let b = -1173 + -62. Let s be ((273/b)/(-7))/((-6)/4). Is s < t?
False
Let m = 1876891204526969/423460 - 4432275078. Let d = m - -8/683. Which is greater: 0 or d?
d
Let x = 23 - -4. Let b = x - -14. Is 41 greater than b?
False
Let s = 323 - 319. Suppose q + s*g + 497 = 144, 12 = 3*g. Which is bigger: -368 or q?
-368
Suppose 60 = 5*q - 3*y - y, -3*q + 49 = -5*y. Let p be (-23442)/45 + -12 + (-2)/5. Let z = 542 + p. Which is smaller: q or z?
q
Let c = 125.51 + -74.51. Which is smaller: c or 68?
c
Let i(j) = -951*j - 5706. Let r be i(-6). Are r and -1/1591 non-equal?
True
Let k = 863 - 921. Which is smaller: -60 or k?
-60
Let i be 1*3/(-12) - 68/(-16). Let z be ((-1)/(i/52))/(42/(-9)). Let t = 513/154 - z. Is -0.5 bigger than t?
False
Suppose 0 = 78*a - 16237 - 22685. Which is smaller: a or 503?
a
Let k be (-15)/3 - (-520042)/103974. Let u(n) = n**2 - 9*n + 7. Let t be u(8). Which is bigger: k or t?
k
Let n(w) = -14*w**2 + 27*w + 52. Let m be n(-2). Let b = m - -46. Is b != -36?
True
Let c(w) = w**3 + 65*w**2 + 307*w + 7. Let q be c(-5). Let p = -7873 + 54921/7. Are p and q non-equal?
True
Let z(f) = -15*f**2 - 65*f - 13. Let g be z(-4). Let b(a) = -a + 1. Suppose -8 = -3*o + 5*o. Let l be b(o). Which is smaller: g or l?
l
Suppose 0 = -r + 2*u + 1715, 14*r - 9*r = u + 8539. Is r bigger than 1707?
False
Let i = 450.01 - 450. Let q be 76/(-14) + 30/5. Is q smaller than i?
False
Let k(o) = 13*o**2 - 8*o + 10. Let d be k(2). Suppose 12 = -3*h, -2*h + 39 = -3*n - d. Is n at least 0?
False
Let p = 3337 + -3336. Suppose 3*s = 2*s + 2. Is p bigger than s?
False
Let g be (-30)/(-9) - 8/(-12). Suppose -2*x = g*x - 18. Let r be (-376)/(-12) - (-2)/x. Is r at least 31?
True
Let d = -9 - -4. Let t be (-7 - -2) + 10 + 9/(-3). Let y be t/d + (-21)/(-15). Is 14/9 greater than or equal to y?
True
Let o be (-12)/15*(-30)/4. Suppose 2*m - 7*z = -o*z + 576, 2*m - 4*z = 576. Is m at most as big as 287?
False
Suppose -143*y + 48 = -135*y. Let z be 0*(-4 - (y + -11)). Which is smaller: 2/1063 or z?
z
Let f = 777 - 529. Let x = 97 - f. Is -150 at least x?
True
Let c be (-6*(-148)/(-1696))/(135/(-6120)). Is c > 24?
False
Suppose -10 = 4*f + 2*i, 3*f + 4*i = 5*f. Let c = -3466.5 + 3486. Is c at most as big as f?
False
Let k = 25/3101 - -55543/34111. Let n(h) = -h**2 - 7*h - 4. Let z be n(-6). Do z and k have the same value?
False
Let c = 3317 + -17772/5. Is -237 bigger than c?
True
Let t be (-104)/(-8) + -141 - -15. Is -119 greater than t?
False
Let b be (-2 - -1)/(-2) + 28/8. Let a be ((-27)/(-6) - b)*(-12)/(-2910). Does a = 0?
False
Suppose -10 = -11*n + 13*n, -5*n = -2*s + 45. Let f be (27 - -3) + (-4 - 0). Suppose -19*v = -21*v + f. Does s = v?
False
Let o = -17 + 41. Suppose 14*i = 8*i + o. Let x be 1 + i - (-5 + 9). Do 0 and x have the same value?
False
Suppose 0 = -3*z - 5*a - 10 + 29, -3*z = 3*a - 15. Suppose -5*x = -z*c - 4, c - 18 = -4*x + 9. Suppose -208*f + 6 = -206*f. Which is greater: c