f(g) = 10*g**2 + 183*g + 542. Let z be f(-3). Is 87 less than z?
False
Let h(y) = y + 11. Let i be h(-10). Suppose -4 - i = -m. Let d = 14 - m. Is d at least 8?
True
Let k = -38 + 84. Let q = -109 + k. Which is smaller: q or 0?
q
Let k be ((-44 - -1) + 4)*-1. Let q = 67 - k. Let t = 29 - q. Which is smaller: t or 1/49?
1/49
Let u be (-66)/1023 + (-144)/(-310). Is u less than 28.6?
True
Let l(y) = -y**3 - 17*y**2 + 20*y + 11. Let m be l(-18). Suppose k + 2 + 1 = 0, -5*f - 105 = -5*k. Which is smaller: m or f?
m
Suppose 0*s = -7*s + 14. Suppose s = -i + 1. Is -4/19 smaller than i?
False
Let u = -414 + 414. Do u and 6/23 have different values?
True
Let g = -1225/12 + 102. Which is smaller: g or 2/7?
g
Let r = -328724/459833205 + 2/161515. Which is smaller: r or 0?
r
Let l be (-12)/(-24) + (4132/8296 - 1). Which is bigger: l or 1?
1
Let l be 99/(32/40*2/(-8)). Let x = l + 13367/27. Is 1 not equal to x?
True
Suppose 21*z - 57 = 2*z. Is 41/10 less than z?
False
Let f(h) = h + 13. Let l be f(-12). Let n be (1 - l) + (5 - (-9)/(-3)). Which is smaller: n or 3?
n
Let n = -8 + 13. Let p be (-34)/(-12)*(n - 3). Does 5 = p?
False
Suppose -10*g - 207 = -217. Is -71 less than or equal to g?
True
Let y be (-18)/60*(-4)/(-3). Is 1476 <= y?
False
Let k be 33/22 + (39/(-130))/(18/145). Let f be (1/2)/(4/(-16)). Which is greater: f or k?
k
Let f = -0.02 + -15.98. Let v = 9 + f. Let r = -6.7 - v. Is r at most as big as -1/3?
False
Let d be (-385)/(-1275) + (-4)/10. Is 0 >= d?
True
Let u(m) = 12*m - 97. Let v be u(8). Let b(l) = l**2 - 10*l + 12. Let i be b(8). Let o be (1/6)/(i/8). Which is smaller: v or o?
v
Suppose 2*p - 4 = -2. Let o be (((-8)/(-1))/2)/p. Suppose 12 = 3*l + 3*m, -10 = l - o*l - 5*m. Is l less than 5?
False
Let p(d) = -2 - 6 + 0*d**2 - 4*d**2 - d**3 + 3*d**2. Let y be p(0). Let l be 2/5 + y/(-5). Which is smaller: -2/9 or l?
-2/9
Suppose 0 = -4*n - z + 22, 2*z + 3*z + 10 = 0. Let g be (-167)/14 + n/14*1. Which is smaller: g or -12?
-12
Let y = -15.973 - 0.027. Let s = 24 - -1. Let o = y + s. Is 0 at least o?
False
Let b be (-18)/(-234) - -2*3428/104. Let m(k) = 8*k - 15. Let g be m(10). Is b >= g?
True
Suppose -3*x - 1 = 59. Let d = x - -19. Which is bigger: -3/8 or d?
-3/8
Suppose 0 = 2*g - p - 24, -2*g + 2*p = -0*g - 24. Are g and 78/7 non-equal?
True
Suppose -6 + 8 = 2*f. Suppose -16 + f = -5*k. Suppose -3*c + c = -o - 13, -3*c = k*o - 6. Are -2 and o unequal?
True
Suppose 0 = -4*t - 75 + 495. Let i be (t/(-9))/5*1. Suppose s - 10 = 6*s. Is s > i?
True
Let w = 128.3 - 127.3. Which is smaller: w or -3/286?
-3/286
Let g(t) = -t**2 + 19*t + 6. Let l be g(19). Let i be (((-8)/l)/(-2))/(40/(-24)). Which is smaller: -1 or i?
-1
Let n = -143 + 120. Which is smaller: -0.01 or n?
n
Let w = -2157 + 2313. Is 8 greater than w?
False
Let m be 33/(-10725)*(-4)/(-1)*2. Which is smaller: m or 1?
m
Let l = -0.66 + -3.14. Let u = 7.8 + l. Which is greater: -0.4 or u?
u
Let b = 14.5 + -12. Let r be 18/20 - (-298)/(-596). Is b at most r?
False
Suppose -2*s + 5*g - 29 = -s, 5*g = -s - 19. Let j be 1/(-3) + 16/s. Is j greater than -5?
True
Let w(r) = r**3 - 3*r**2 + 2*r - 3. Let y be (6/1)/((-6)/(-3)). Let q be w(y). Suppose q*s + 10 = -2*s. Is s >= -3?
True
Let r = 2819/11 - 256. Let j be (-14)/63 - (-58)/18. Let g be (2/3)/((-2)/j). Do g and r have the same value?
False
Let z be 28/(-13) + (-2)/(-13). Suppose 0 = -5*g - 24 + 9. Let l be (g/(-5 - z))/1. Is l != -2/9?
True
Let u = -5.003 + 0.003. Let a(t) = t**2 - 10*t + 6. Let g be a(9). Let s = 2 + g. Which is bigger: u or s?
s
Let a = 0.27 - -21.73. Let x = a - 22.4. Which is greater: 0.1 or x?
0.1
Let o be (-5)/4 - (-66)/8. Let g = o + -5. Is g not equal to 0?
True
Let a = 211 + -376. Are a and -167 equal?
False
Let q be (0 - 3)/(7*(-2)/8). Which is greater: q or 3?
3
Suppose 94 = -5*t + 14. Let a = t - -23. Is a <= 9?
True
Let j be (-8535)/18 - 1/(-6). Let c be j/(-3432) - 1/4. Let q = c - -5/13. Which is smaller: q or 0?
0
Let h = -79 - -78.8. Is h != 117?
True
Let r = -0.01803 - -22.84803. Let s = r - 23. Let h = -0.1 - s. Which is smaller: h or 0?
0
Let u be (-1 - 0)/((-1)/21). Let c = 54 + -82. Let v = c + 27. Is v greater than u?
False
Let y = 313 - 231. Is 2 not equal to y?
True
Suppose 263 - 95 = 24*p. Which is smaller: p or 2?
2
Let j = -0.0349 - -0.6349. Is 2/41 > j?
False
Let n = 0.727 - -0.843. Which is greater: 0.1 or n?
n
Let j be (-165)/400 - 126/672. Let y = -11/30 + -3/10. Is y at most j?
True
Let y = 3 - 6. Let t = -11 - -11.09. Let h = 0.09 - t. Are y and h equal?
False
Suppose -20 = 5*o, -4*m + 3*o + 4 = 4*o. Let r be (m/5)/(7/210). Is r > 0?
True
Suppose 10 = -5*n - 10. Suppose 2*m = -m - 1656. Let c be (m/30)/4 + (-4)/10. Are n and c non-equal?
True
Let o = 6591/8 + -822. Which is smaller: 3 or o?
o
Suppose 0 = -14*h + 10*h + 20. Suppose -3*v - 10 = 2*v. Let n be (1/v)/((-1)/10). Is n bigger than h?
False
Let l be (24/10)/(2/50). Which is greater: 57 or l?
l
Let p(u) be the first derivative of -u**3/3 + 2*u**2 - 2*u + 6. Let z be p(3). Suppose -2*t - 21 = -z. Does t = -10?
True
Let q = -670 + 755.9. Which is smaller: 1 or q?
1
Suppose -2*a + f + 22 = 0, 0*a - 3*f = 4*a - 44. Let i = 14 - a. Let c be (-4)/2*i/6. Which is smaller: 1/4 or c?
c
Let m be (130/(-6))/((-52)/(-6) + -9). Is m <= 65?
True
Let u = 0.6 + -19.6. Let s = 179.21 + -178. Let t = -1.31 + s. Is t <= u?
False
Let u be ((-3)/6)/((-2)/4). Let p = 24 + -12. Let v = p + -8. Are v and u unequal?
True
Let u be -16*(-6)/24 - 1003/5. Let p = 197 + u. Let n = -5 - -4.85. Is p greater than or equal to n?
True
Let v = -0.188 - -0.228. Is v at most as big as -6?
False
Let x be (-246)/12 + 13 - (-2 + -5). Is -48 smaller than x?
True
Suppose 0 = -5*k - l, 4*l + 14 = 3*k - 9. Suppose 4*d - 3*v + 28 = 2*v, -4*v = 5*d - 6. Let w be d/8*(-6)/(-15). Is w not equal to k?
True
Let g be (-1)/4 + (-210)/(-40). Suppose -g*u - 5 = 30. Let x = 14 + -19. Which is greater: u or x?
x
Let v = 0.337 + -0.237. Let u = -16.2 - -14. Is v smaller than u?
False
Suppose 4*a - 204 = 100. Let p be (2 - a/34)*1/(-2). Are -2 and p equal?
False
Let f(v) = v**2 - 10. Let j be f(-4). Let p be ((j - 3) + -8)*(-3)/18. Which is greater: p or 1?
1
Let r(w) = w**3 + w**2 - w - 2. Let k be r(-2). Let h(d) = d**2 + 2*d - 8. Let x be h(k). Which is smaller: 8/9 or x?
x
Suppose 0*o + 5*q = 4*o - 28, -4 = -q. Suppose 4*l - 3*x + 6 - 1 = 0, x + 15 = -2*l. Let a = 9 - l. Are o and a equal?
False
Let d = 12275 - 871540/71. Which is bigger: d or 1?
1
Let b(m) = 15 + 5 - m - 18. Let n be b(15). Is n equal to -16?
False
Let g be (-4)/6 - 29/(-3). Let n(o) = o**3 + 5*o**2 + 2*o - 1. Let s be n(-4). Suppose -2*t = r - 13, -2*t - 30 + s = -3*r. Is r <= g?
True
Let w = -312 + 598. Which is smaller: w or 1/3?
1/3
Let p = -621 + 621.62. Is 3/2 greater than p?
True
Let u(b) = -2*b**3 + 9*b**2 - 27*b + 8. Let r be u(4). Are -5 and r non-equal?
True
Let b be (36/(-12))/((-9)/3). Which is greater: 4/41 or b?
b
Suppose -5*y - 37*h = -40*h + 4190, -4*y + h = 3352. Is -839 smaller than y?
True
Let a = -0.2 - 0. Let f(p) = -2*p**2 - 25*p - 11. Let q be f(-12). Which is bigger: q or a?
q
Let s = 2746/3 - 960. Is 0 greater than s?
True
Let d = -290 + 2899/10. Which is greater: 10 or d?
10
Let f = -299/1830 - -12/61. Suppose 4*j = 3 - 7. Which is smaller: j or f?
j
Suppose 0 = -3*h - 2*h + 25. Suppose -y + r + h = 2, -1 = -3*y - r. Let f = 5334 + -5333.6. Are y and f nonequal?
True
Let w be ((-27)/(-8))/(3/(-4)). Let c = -5 - w. Which is smaller: -1/3 or c?
c
Let l(i) = 2 - 6*i + 5*i + 25. Let b be l(27). Is 2/83 smaller than b?
False
Let g be (-18)/(-4)*((-364)/39 - -8). Is g smaller than 0.025?
True
Let q be (-29)/28 + 130/10 + -12. Which is greater: 0 or q?
0
Let d = -97 + 98.76. Let r = -0.24 - d. Let n = 1 + -3. Is r != n?
False
Let m = 88 + -102. Let b be ((7/m)/(3/(-6)))/(-1). Let l = 5/57 + -43/1140. Which is greater: b or l?
l
Suppose 3348 = -3*y - 51*y. Is y at least -62?
True
Suppose -5*i + 5*f = 0, f - 8 = -i - 2*f. Let x be (-1 - (-106)/58)/i. Let t = 98/377 - x. Is 1 smaller than t?
False
Let c = 38/23 + -3937/2369. Let i = -1961/412 - c. Is -5 > i?
False
Suppose 4*d = -4*c + 396, -3*c - 184 - 89 = -3*d. Suppose 2*n - d = -2*m + 5*m, 2*m = -4*n - 42. Which is greater: m or 0?
0
Le