*x - 586 = 3*f, 0 = -2*f + 3*f - 5*x + 212. Let n be 272/f*9/(-12). Does n = 2?
False
Let y = 193 - 192. Is y at least as big as 45/121?
True
Let c(a) = 0*a - 4*a + 41 + 26 - 12. Let k be c(14). Let p be (-2)/(-30) + 9/15. Which is bigger: p or k?
p
Let n = 33510832 - 1909951517/57. Let w = 2911 - n. Is w > 1?
False
Let s(x) = -x**3 + 10*x**2 + 16*x - 11. Let g be s(12). Suppose -236*f + 85*f - 16459 = 0. Is g bigger than f?
True
Let u = -2219 - -1786294/805. Which is greater: 1 or u?
1
Let s be (12/(-7))/(28/(-15974)). Let q = s + -27389/28. Which is smaller: q or -1?
-1
Let x be (16 + -19 - (-6 - 1)) + -10 + 5. Let o(f) = -f**3 - 5*f**2 + 8*f + 3. Let m be o(-7). Suppose 5*q - m = 10. Is x equal to q?
False
Suppose 2 = -p + 3*s - 4, 3*p + 5*s - 24 = 0. Let i = -620 + -15. Let a = 637 + i. Are p and a unequal?
True
Let f be ((-6)/(-45) - (-76)/15)*(37 - -3). Suppose 4*k - 613 = -3*a, -3*a = 2*a - 4*k - 1043. Which is smaller: f or a?
a
Let z = 9074 - 126951/14. Let o = z + -25/7. Is o at most as big as 2?
False
Let x = 1188 - 5904/5. Let y = -15 - -24. Let a = -3 + y. Which is smaller: a or x?
a
Let a be (744/(-4) - 7) + (8 - 10). Is a greater than or equal to -195?
True
Suppose 0*n - 5*n - 89 = 2*f, 5*f = -5*n - 260. Let m = f + 57. Is m less than or equal to 27/20?
True
Let b = 192 - -96. Let p = b + -182. Is p != 105?
True
Let d = -451 + 456. Let o = -0.08 + 0.08. Let i = o + 0.3. Are d and i unequal?
True
Suppose -3*k - 2145 + 283 = -5*q, -5*k + 3*q = 3114. Let p = k - -705. Is 79 <= p?
True
Let r = -93993 - -1409938/15. Let m = -5 + 7. Is r <= m?
False
Let g = 5065 + -5065.1. Is -2200 greater than or equal to g?
False
Let i(n) = -n**3 + 32*n**2 - 104*n - 924. Let w be i(27). Is w greater than -1322/15?
True
Let r(d) = -27*d + 301. Let s be r(11). Let q = 17582 - 51106/3. Let x = q - 542. Do x and s have different values?
True
Suppose -64 = -5*i + 3*i. Let v = -25 + i. Suppose -4 = r + 5*w, -3*r - 2*r = -2*w - v. Which is smaller: r or -10?
-10
Let l = -742 + 744. Let t be l/4*(-3 + 2)*332. Is -166 at most t?
True
Suppose -3*v - 2*d + 43 = 0, 29 + 3 = 2*v - 2*d. Which is smaller: v or 244/15?
v
Let h = -1753 + 1761.59. Let w = h - 1.09. Which is smaller: w or 0?
0
Suppose -5*a + 5 = 5*x, 22 = -x - 5*a + 23. Which is smaller: x or -1/4375?
-1/4375
Suppose 59*i - 213 = -4*i - 8*i. Which is bigger: 12 or i?
12
Let o be 32/(-112) + (-16138)/(-84). Let m = o + -194. Which is greater: -3 or m?
m
Suppose 339*z - 16290 = 369*z. Which is greater: z or -0.07?
-0.07
Suppose -5*m + q + 178 = 0, 0 = 2*m + 2*m + 2*q - 148. Suppose -3*d + c + 2*c = -m, 3*d + 4*c - 8 = 0. Let r be (-36 - 0)*(-2)/9. Is d <= r?
True
Suppose 5*v - 3*q + 12 = 0, 0*v - 4*q + 8 = -4*v. Let y be 5 - 5 - v/16. Let f = -21 - -22. Which is smaller: f or y?
y
Let j = -629 - -627.37. Let x = j - -0.63. Is x >= -16/13?
True
Suppose 17*y = -4*z + 12*y - 5, 4*z - 5*y = 5. Suppose z = 200*l - 216*l - 1376. Is l >= -86?
True
Suppose 24 = 176*s - 152*s. Is 4/1599 <= s?
True
Let j = 4391.68 - 73.68. Which is bigger: j or -0.3?
j
Suppose 0 = -2824*j + 2811*j - 26. Which is bigger: -4/15 or j?
-4/15
Let a(q) = -2*q + 49. Let c be a(23). Suppose c*y + 2*g - 5 = 0, 5*y = -3*g + 8*g. Is -4/27 >= y?
False
Let w = 2792/3 + -1655602/1779. Which is greater: -2 or w?
w
Let g be 826/531*216/84. Let t be -1 - 70/(-22) - -2. Which is smaller: t or g?
g
Let g = -21.473 + 21.573. Which is smaller: -2744 or g?
-2744
Let q = 5222.7 + 17674.3. Which is greater: q or 0?
q
Let u be ((-414)/42 + 7)/(1/(-7)). Suppose 16*j + u - 36 = 0. Is j at most -3/110?
False
Suppose 0 = -8*o + 3*o + 25. Let y be 55 + -49 - (-1 + 0)*-3. Suppose -y*c + c + o*r - 23 = 0, c - 3*r = -14. Which is bigger: 12/7 or c?
12/7
Let p(q) = q**3 - 9*q**2 + 14*q + 11. Let a be p(5). Let o = 2599.89 + -2600. Is a <= o?
True
Let w = 46 + -41. Suppose 76 = -4*v + w*s, -2*v = s - 4*s + 40. Let a be 6/v*(45/(-10) - -1). Is a <= 2?
True
Let u be (21 - 23)*1*-1. Suppose -4*b = j - 176, -u*b - 256 = 3*j - 814. Suppose -5*h - j = -2*k, -140 = 4*h - 0*k + k. Which is bigger: h or -38?
h
Let x(j) = -9*j - 97. Let p be x(-12). Let z(d) = d**2 - 13*d + 23. Let u be z(p). Which is bigger: u or -2/83?
u
Let d be (-6*2/108)/(-4). Is d less than -6/23?
False
Let c = -175 + 179. Suppose -4*v = -5*l + 10 - 115, -c*l + 4*v = 88. Is l > -15?
False
Let n = 364 + -354. Let v be 3/8*(-8)/n. Which is smaller: 4 or v?
v
Let w be 4/((-176)/30) - (-18)/99. Let x = 28.9642 + 0.0358. Is w > x?
False
Suppose -66 = -2*p + 2*w, -3*w = 2*p + 27 - 113. Let h = 60124 - 60087. Do h and p have the same value?
True
Let f be 12 - 2924/289 - 2. Let w = -9.01 + 0.01. Which is smaller: w or f?
w
Let v be 1*(0 + 2 + 1). Let a be -6 + (-18)/(-4) + (-170)/(-68). Suppose 0*l + 7 = l - v*s, 0 = 3*l + 2*s + a. Which is bigger: l or -3?
l
Suppose -1390 = 4*h + h - 2*f, -4*h = 4*f + 1084. Let u = -192 - h. Let n be u/(-180) - 2/(-5). Which is smaller: n or -2?
-2
Let s = 10129 - 9470. Is -2 less than s?
True
Let y be ((-209)/(-4))/11 + 1/4. Suppose y*k = -5*l - 40, -2*k - 16 = -2*l - l. Which is smaller: 1 or k?
k
Let f = -3311 - -3324. Which is greater: f or 3/104?
f
Let c(b) = b**3 - 2*b**2 + 1. Let i(h) = -h**3 + 3*h**2 - 6. Let m(v) = -2*c(v) - i(v). Let q be m(3). Which is greater: q or -11?
-11
Let t(h) = 552*h + 23181. Let w be t(-42). Let n = 321 - 321.149. Is n less than w?
False
Suppose 166 = 14*o - 30. Let l = 19 + 0. Suppose l*h = o*h + 380. Is h > 77?
False
Let w = 44.03822 - 0.03822. Are 13/25 and w equal?
False
Let p = 855.2032 + -0.2032. Let c = p - 859.3. Which is smaller: c or 0.2?
c
Suppose 2*q + 4*v = -34, 4 + 11 = -5*q + 4*v. Let i be 57/72 + ((-28)/12)/q. Let j be (7/7)/((-2)/(-4)). Which is bigger: j or i?
j
Suppose 0*h - 132 = -3*h. Suppose -2*s = 3*g + 39, -2*g - 3119*s + 3118*s = 21. Is g at least h?
False
Let g(r) = -8*r - 196. Let l(f) = 9*f + 240. Let u(o) = -6*g(o) - 5*l(o). Suppose -2*z + 5*h + 21 = 0, 2*h = -z + h + 7. Let v be u(z). Is 12/31 not equal to v?
True
Let h = 117301729/3792 + -30934. Which is greater: h or 1?
1
Let j be (-9)/(-6)*((-1 - -2) + 3). Let p be 3 - 1 - (5 - 16/j). Which is bigger: 1.6 or p?
1.6
Let j = -2350566 + 30571711/13. Let d = -1105 + j. Which is greater: d or -1?
d
Suppose -8 = -4*g + 20. Let f = 26437 - 264313/10. Is g > f?
True
Let u(d) = 28*d + 190. Let b be u(-7). Let l be 27/(-132)*(b/(-27))/(-1). Let y be 2/7 + 1/21. Is y < l?
False
Suppose 4*m - 81 = 5*a, 2*a = 3*m - 5*m + 54. Let r be (6/(-10))/(m/(-50)). Do 1 and r have the same value?
False
Suppose 9*i + 1197 = 1944. Suppose -5*q - 4*m + i = 0, -52 = -3*q - 2*m - 3. Which is greater: 19 or q?
19
Let o = 12/57715 - -668184/117334595. Which is greater: 0 or o?
o
Let u(y) = -4*y**2 - 18*y + 28. Let p(o) = -5*o**2 - 17*o + 28. Let v(m) = -3*p(m) + 4*u(m). Let t be v(-19). Let r be t/20 + 0 + -5. Which is smaller: -1 or r?
r
Let x(a) = -8*a - 136. Let c be x(-17). Which is smaller: c or 1305?
c
Let f = -6610 + 6612. Is -4 smaller than f?
True
Let y(f) = 255*f - 2667. Let n be y(11). Is n >= 975/7?
False
Suppose -4*j - 697 + 93 = -4*x, -5*x = 3*j + 493. Let v be ((-234)/j)/(2/28). Is v less than 21?
False
Let q = -2 + 7. Suppose -3*y + 9 = -q*p, p = 2*y + 2 - 1. Let l = -3/7858 - -7867/23574. Is l < p?
False
Let h be (3 - (-9)/(-2 + -1))/(-1). Suppose 0 = -5*l - 2*v - 13, 2*v = 990 - 998. Which is bigger: l or h?
h
Let i(l) = -239*l - 479. Let z be i(-2). Is z < -2/31681?
True
Let h(a) = -33*a - 78*a**3 + a**2 + 11*a + 16*a - 6. Let u be h(-1). Which is bigger: u or 78?
u
Let b(z) = z**2 - 107*z - 1290. Let u be b(118). Is 425 at least u?
True
Let p = 18.7 + -18.5. Let r = -369 + 386.3. Which is greater: r or p?
r
Let f = 96910494/455 + -212990. Is f at most -1?
False
Let f be (5/31)/(345/(-138)). Is f bigger than -148?
True
Let p = -5.2 - -5.1749. Let i = 0.7549 - p. Which is smaller: i or 0?
0
Let t = 3345 + -3378. Which is greater: 1 or t?
1
Suppose -5*j = 5*w - 25, w - 2*j - 1 = -11. Suppose 2*q = 11*q - 9. Suppose q = m - l + 8, w = 4*m + 5*l + 10. Which is greater: 3 or m?
3
Suppose 0 = -z + 15*z - 70. Let o be z + 0 - 1 - (12 + -22). Let y be (24/240)/(o/(-4)). Do y and -1 have the same value?
False
Let w = 270.989 + -271. Let n = -0.011 - w. Is 38 equal to n?
F