t u(c) = -5*c**2 + 3. Let o(s) = -9*s**2 - s + 6. Let r(h) = -6*o(h) + 11*u(h). Let q be r(f). Is 8 != q?
True
Let i be (-4)/(-12) - 2/(-2292)*-166. Let f = 3274/8977 + i. Let x = -570/329 - f. Do x and -1 have the same value?
False
Let r be ((-30)/(-1))/((-11)/11). Suppose 120 = -4*v - 3*c, 0 = -4*v - 0*v - c - 112. Which is smaller: r or v?
r
Let l = -188 - -132. Let h = -26 - l. Let z = -39 + h. Is z smaller than 1/4?
True
Suppose -12130*j = -12102*j. Which is bigger: 17/467 or j?
17/467
Let f be (-135)/105 + 5061/3920. Which is greater: 1 or f?
1
Let u = -8919 - -8919. Let y = -121 - -1576/13. Which is smaller: y or u?
u
Suppose 7*g = 48 - 6. Let o(v) = v**3 - 7*v**2 + 10*v + 6. Let j be o(g). Which is greater: 204/7 or j?
j
Let s = 90712383/83 + -1092933. Which is smaller: s or -14?
-14
Let m(s) = 135*s - 1. Let p be m(1). Suppose 0 = 126*b - 1571 - 15565. Is b smaller than p?
False
Let l = -444.0136 - -444. Let a = 0.1136 + l. Which is greater: a or 23.3?
23.3
Let f = 630 - 277. Let u(a) = a**3 + 25*a**2 + 62*a - 109. Let h be u(-21). Are f and h nonequal?
False
Suppose 145*j - 212830 = -78850. Is j bigger than 922?
True
Let r(a) = -2*a - 3. Let c be r(-10). Suppose 10*z - 13*z = 2*q + c, 0 = 4*q - z - 1. Which is smaller: q or 35/12?
q
Let z(h) = h**3 - 10*h**2 + 8*h + 9. Let b be z(9). Suppose b = -4*q - 3*q - 7. Which is bigger: -16/15 or q?
q
Suppose 0 = 5*p + 12*p - 51. Suppose 0 = -5*c, -6*h + p*h + 147 = -c. Is h less than or equal to 195/4?
False
Let o = -1346 - -63286/47. Which is smaller: o or 2?
o
Let m = -954 - -988.2. Let l = 33.2 - m. Is 21 > l?
True
Suppose 2*j - g - 44 = -5*g, -3*g + 54 = 3*j. Let s = 415 - 803/2. Is j less than or equal to s?
False
Let t be 14*(-53)/3519677*(-1 - -2)*-1. Is 0 < t?
True
Let o = -3 - -2. Suppose 23*p - 168 = 22*p. Suppose 5*c = c + p. Is c != o?
True
Let x be (2 - 3 - 0)*(-1)/((-7)/(-7)). Is 5/7 at most as big as x?
True
Let f = 2131 - 6812809/3197. Are f and 1 nonequal?
True
Suppose 243*h - 484 - 147 = -145. Let u = 2180 - 19591/9. Which is smaller: h or u?
h
Let u be 2432/200 - (-4 - -16). Which is smaller: u or 7?
u
Let y = 978 + -979.1. Which is smaller: y or 115?
y
Let n be (-20)/24*(1710/16)/(-19). Which is smaller: 6 or n?
n
Let b(v) = 44*v**2 - 9*v - 13. Let w be b(-2). Let z(r) = r**3 - 4*r**2 + 33*r - 9. Let p be z(5). Are w and p unequal?
False
Let d = 159 + -792/5. Let u be 6/8 - 36/(-16). Suppose 1 = k + 2*v - u, 5*v - 4 = -k. Do k and d have the same value?
False
Let h = 154 + -154.014. Let b = h + 2.014. Is 0.7 >= b?
False
Suppose -38 = -2*j + 4*b, 5*j + 3*b - 109 = -40. Is j less than 428/27?
True
Let o = 1764 - 1881. Which is smaller: o or -7?
o
Suppose 0 = -2*l + 5*v - 19, 5*l - 5*v - 8 = -48. Let g = -179 + l. Let r = 1298/7 + g. Which is bigger: -1 or r?
r
Let u = -20748 - -19659. Is -1086 at least as big as u?
True
Let w be (78/(-9))/((-1)/(9/6)). Let b = 54 - w. Which is greater: 39 or b?
b
Suppose 5*x - 3*x = -2. Let u be -38*(-6)/(-200) - (-79 + 48 - -30). Which is greater: u or x?
u
Let g = 130 - 458. Is g >= -328?
True
Suppose 19*j = 14*j + 530 - 4825. Is -860 at most as big as j?
True
Let h = 464053/65128 + -2/8141. Let j = h + -293/40. Which is greater: j or 0.04?
0.04
Suppose -248*a + 717654 + 2399954 = 0. Is a bigger than 12570?
True
Let q(i) = i**3 + 32*i**2 + i + 30. Let x be q(-32). Let a be 1/x*(-29 - -27). Which is smaller: a or -5/47?
-5/47
Let g be -3*(-2 - (1100/30)/(-5)). Let t(z) = -z**2 - 4*z + 6. Let o be t(-5). Let c(v) = -v**3 + 2*v**2 - v. Let y be c(o). Which is bigger: y or g?
y
Suppose 2*z = 14 - 4. Suppose 5*m = j + 25, -2*m = 3*m + 5*j + z. Suppose -m*n - 4 + 0 = 0. Which is smaller: n or -2?
-2
Let x = 1267 - 1301. Let i(w) = -9*w**2 - 4*w - 2. Let o be i(-2). Let q = x - o. Is q > -4?
False
Let q(g) = 3*g - 13. Let c be q(6). Suppose -5*t - 30 = c*a - 100, -4*a = 5*t - 70. Let p be (5 - 25)*((-42)/16 - -2). Is p < t?
True
Let b be (-12)/(-8)*(-32)/(-8) - 9174/1533. Which is smaller: 0 or b?
0
Let u = -44 - -44. Let v be ((-7)/(-98))/((-1767)/8430). Let h = v - -11/133. Which is bigger: u or h?
u
Let m(o) = -40*o**3 + 3*o**2 - 22*o + 40. Let a be m(2). Which is smaller: -309 or a?
a
Let v = 2290089/1645 + -9745/7. Let r(a) = -a + 4. Let n be r(5). Which is smaller: v or n?
n
Let g be 1 + 772 + -45 + 53. Is 780 at least as big as g?
False
Suppose 25*n = 12*n + 156. Let o be -4 - -4 - n/(-2). Suppose -a = a - 16. Which is bigger: o or a?
a
Let n = 5050 - 4096. Is n > 954?
False
Suppose 0 = 2*q + 2, r = 2*q - 10. Let p be 9/r*-2 - 1. Let s = 5093/5 + -1019. Which is smaller: s or p?
s
Let w = -38315 + 38314. Which is greater: -595.1 or w?
w
Suppose -2*i + 4*i = 26. Let c = 0.12 - -68.88. Let n = 69 - c. Is i greater than or equal to n?
True
Let s be 5/12 - 2/8. Let g be ((-77)/14 + -1)/(1/(-58)). Let l = g - 378. Which is smaller: s or l?
l
Suppose 0 = -4*k - 3*j + 5 + 13, 5*j = -3*k + 19. Suppose -207 = 2*y + k*i, -y - 5*i + 3*i = 102. Let u = y + 1833/17. Is u less than -1?
False
Let u = 20714/7 + -16136208/5453. Let i = -4006/779 + u. Which is smaller: i or -5?
i
Let x = 520480/19 - 27400. Which is greater: x or -5?
-5
Let k be ((-35)/(-20) + -2)*0. Let o be k/(-1 + 3/1). Let u be 4 + o + 300/(-74). Is u not equal to -1?
True
Let u(i) = -i**3 + 10*i**2 - 5*i + 48. Let y be u(10). Let c be y/3*-3 + (-120)/66. Is c less than -20?
False
Let v(d) = -241*d + 476. Let x be v(-2). Is x at most 959?
True
Let i(c) = -c**3 - 79*c**2 + 60*c - 57. Let l be i(-80). Which is smaller: l or 1544?
l
Let g be 44/924 + 4675/(-151536). Which is smaller: g or 1?
g
Suppose -3*k + 52 = -0*g - g, -g - 14 = -k. Suppose 44*a + 3550 = k*a. Is a greater than or equal to -143?
True
Let d = -548340689/6687 - -82001. Is -1 less than or equal to d?
True
Suppose -v = -6 - 1. Let k be -7 - (-16)/4 - -5. Let r be 6/k - 15/(-3). Are v and r unequal?
True
Let h be (-13)/(-65) - (-52)/(-10). Let w = h + 9. Suppose -w = 3*v + 5. Is 0 not equal to v?
True
Let u(h) = 8*h + 2. Let m be u(-1). Let f(i) = -i**3 - 5*i**2 + 8*i + 3. Let d be f(m). Let a be 9/(-27) + -1 + (-12)/d. Is 2/93 greater than a?
True
Suppose 2*b = 3*p - 51, -p - 18 = -b - 35. Let j = p + 128. Do j and 146 have the same value?
False
Suppose 28*y + 1742 = 15*y. Let b be y/(-20)*(-260)/(-104). Is b at most 16?
False
Let y = -9 + -11. Let v be (-19 - -20) + 1/(y/4954). Let q = -247 - v. Is q greater than 1?
False
Suppose -2*y + a - 807 = 0, 0 = 52*y - 53*y - 2*a - 386. Let i be (-2)/5 + 6009/(-15). Is i greater than or equal to y?
False
Suppose -22 + 62 = -4*c. Which is bigger: c or -6?
-6
Let b = -89 - -74. Let t(o) = -o - 5. Let q be t(b). Suppose -12*s + q*s + 38 = 0. Are s and 18 equal?
False
Let h be 20257/(-846) - 11/198. Which is smaller: h or 4.95?
h
Let o be 72/195 + (-18)/30. Suppose -4*q - 4*r + 8 = 4, 3*q + 4 = 4*r. Which is bigger: q or o?
q
Suppose -4 = 5*b - 14, 5*b - 7 = -3*g. Suppose -5*u + 29 = 4. Let v be g + u + (-207)/6. Which is bigger: -31 or v?
v
Suppose -52*j + 3*a = -57*j - 4562, 3648 = -4*j - 4*a. Is j greater than 3/5?
False
Let h = 214 + -251. Let a = 39 + h. Which is smaller: a or -1?
-1
Suppose -5*h + 4*s = 28, 0 = 3*s - 10 + 4. Let q = -359936/13 - -27687. Are q and h equal?
False
Suppose 15*b = -40*b + 20*b. Let d be (81/48)/((-138)/(-4)). Is d bigger than b?
True
Let m(o) = -o**2 + 5*o + 4. Let t be m(-3). Let v(n) = 6*n + 72. Let u be v(-12). Suppose u = -b + 3*s - 11, 5*b - 6*b + 4*s = 8. Is b greater than t?
False
Suppose -19*g + 16*g = -147. Let u = g + -64. Suppose -2*v = 10, 14 = -5*z + 4*v - 41. Do z and u have the same value?
True
Let l be 4/2*26/4. Let v(i) = -i**3 + 10*i**2 - 7*i - 13. Let q be v(9). Suppose 0 = q*x + 38 - 108. Which is greater: l or x?
x
Let d be 6*(-4)/(-8) - 4. Let o be 208/(-36) + d*10/45. Do o and -26/5 have the same value?
False
Let s = -0.0666 - 0.3164. Let h = 0.274 + s. Which is smaller: 0.1 or h?
h
Suppose -o + 7*o - 144 = 0. Let s be 165/(-12) - 6/o. Which is bigger: -13 or s?
-13
Let b = 0.01041 + -1.01041. Are b and 687 unequal?
True
Let y(b) = -b**3 - 8*b**2 + 3*b + 29. Let d be y(-8). Let t be (d/15 - (-38)/12)*-16. Do t and -56 have the same value?
True
Suppose -10*f = 6*f + 16. Let o be 49/196*(269 + f + 0). Which is bigger: o or 20