. Which is bigger: h or 24?
24
Let m(g) = g**3 + 14*g**2 - 18*g - 14. Let y be m(-15). Let q(r) be the second derivative of r**4/6 - 19*r**2/2 + r + 23. Let d be q(5). Is y bigger than d?
False
Let u(j) = -18*j - 22. Let l be u(-3). Suppose -9*c = -l + 5. Is 23/5 at most c?
False
Let z be 20/(-3)*3 - 160. Which is greater: -156 or z?
-156
Let y(i) = i**2 - 5*i. Let z be y(6). Let x be -2*1*z/((-84)/82). Let f = -827/70 + x. Is 0 <= f?
False
Suppose -2*o = -d - 0*d - 8, -3*o = -4*d - 17. Let a be -9*18/39 - d/13. Let w(u) = u**3 + 5*u**2 + 6*u + 1. Let g be w(-4). Which is smaller: a or g?
g
Suppose -65*m + 46*m = 4294. Is m greater than 2?
False
Let p(t) be the third derivative of t**4/8 + 3*t**3 + 1328*t**2. Suppose n + 1 = -4. Let r be p(n). Which is smaller: -4 or r?
-4
Let i = 32 + -9. Let q = i + -11. Let t = q - 0. Is t greater than 12?
False
Let z = 194/47 - 535/141. Which is bigger: -3364/7 or z?
z
Let q be (19/2888)/((-18)/48). Suppose -5*g + 8*g = 0. Which is smaller: q or g?
q
Let z be (-5)/(-2)*((-18)/6 + -3). Let n = 22 - z. Let h = n - 46. Is h at most as big as -9?
True
Let c(m) = 54*m - 209. Let u be c(3). Which is greater: -58 or u?
u
Let k(c) = -6*c - 78. Suppose -3*d = -4*v + 39, -10*v + 8*v = d + 13. Let p be k(d). Which is greater: 17/7 or p?
17/7
Let n = -9572 - -11615. Are n and -2 non-equal?
True
Let a be 2300/(-240)*(-14)/(-5) - -5. Let m = a - -667/30. Do m and 4/3 have different values?
True
Let t = -0.32709 + -3.67291. Is 0.1147 at most t?
False
Let y = -11984 - -83904/7. Which is greater: y or 2.2?
y
Let t = -57436/679915 + 34/421. Which is smaller: t or -1?
-1
Suppose -3*t = -18*t + 285. Suppose 7*w + t - 26 = 0. Is -0.0374 at most as big as w?
True
Let o = -3406 - -3385. Which is smaller: -452/21 or o?
-452/21
Let u = -2.53 + 2.1. Let c = 23.57 - u. Let i = 0.5 + 0.5. Which is greater: c or i?
c
Let j(x) = 4*x + 286. Let s(z) = -3*z - 286. Let m(l) = 2*j(l) + 3*s(l). Let v be m(-8). Are v and -278 non-equal?
False
Let n = -917/44 - -125/6. Let p(j) = 2*j**2 - 11*j + 5. Let u be (-2 + 1 + -4)*-1. Let a be p(u). Does a = n?
False
Let i = 101 - 49. Let p = 6 + i. Let m be (-264)/(-220) + 22/(-10). Which is smaller: m or p?
m
Suppose 41*x = 114*x + 77*x - 484050. Which is smaller: x or -5?
-5
Let j = 1.63 - -62.37. Let h = 63.96 - j. Is h less than -7/5?
False
Let o = -11046/5 - -136973/65. Let p = -102 - o. Which is bigger: -1 or p?
p
Suppose -60 = -49*q + 45*q. Let o(s) = s - 7. Let y be o(q). Let w(z) = -z**3 + 10*z**2 - 14*z - 9. Let j be w(y). Which is smaller: j or 5?
5
Let z = 8.68 + 14.32. Which is smaller: z or -3/4?
-3/4
Let q be 16/(-4) - (-1 + (-7 - -2)). Let w be ((-12)/(-459))/(((-228)/9)/q). Is w less than -1?
False
Let k be (6/30)/((-6)/40)*-1092 - -4. Is 1461 smaller than k?
False
Let c be ((1/(-3))/(-1))/((-20)/(-6900)). Suppose -3*v + 4*v - 115 = 0. Is c > v?
False
Let b = 13.3406 - 0.3406. Is 59 equal to b?
False
Let l = -961 - -291. Let j be (l/(-1788))/((-27)/216) - -3. Which is smaller: 1 or j?
j
Let f = -31 - -178. Suppose -4*q - 2*o + 578 = 0, -o = -2*q + 77 + 214. Is f at most q?
False
Let v = 8525674/305 - 27953. Is 1 not equal to v?
True
Suppose v - 2 = d + 106, 3*d = -4*v - 345. Let y = d - -113. Suppose -f + 8 = 2*c, -y*f + 0*f = 5*c - 20. Which is bigger: 0.16 or f?
0.16
Let z = 20 + -19.42. Let r = z - -0.28. Let l = -0.14 - r. Which is smaller: l or 3?
l
Let q = 92 + -89. Let b(o) = -2*o**2 + 8*o - 34. Let r be b(q). Let c = -86 + 57. Which is smaller: r or c?
c
Suppose -4*f = 5*j - 0*f - 112, -5*j + 2*f + 94 = 0. Suppose -5*b + j = -3*b - 5*u, -b - u = 4. Is 2/205 bigger than b?
True
Let c be (-375)/(-50)*(-2)/(-20) + 490/8. Let u be 20*74/72*3. Which is smaller: u or c?
u
Let o be ((-2180)/80 - -31)/(3/(-12940)). Is -16176 at least o?
False
Let q = -6228 - -6228. Which is smaller: q or -9/538?
-9/538
Let q = -10.10147 + 0.10147. Does 0.0251 = q?
False
Let j be 5*(4/(-50))/(20/(-400)). Suppose 13*z + 55 = j*z. Which is greater: z or -152/13?
z
Suppose 2*m = -3*g - 43, -3*g - 64*m - 65 = 1032. Let o = -5999/3 - -1978. Let f = o - -21. Is g less than or equal to f?
True
Let w(f) = 51*f - 234. Let p be w(20). Which is bigger: 787 or p?
787
Let z be (-220)/36 + 4/36 + 20. Suppose z = 5*b - 156. Which is bigger: b or 9?
b
Let f = -10213 + 10221. Let l be 20/(-4) - (-3 - -1). Which is bigger: l or f?
f
Suppose -491 = -5*n + 3*h, 155*n - 153*n = h + 196. Are n and -0.2 nonequal?
True
Let w be 18/(9720/(-8796)) - 7/(-5). Is w at most -15?
False
Let t be 4/10 - 92/80. Let w(s) be the first derivative of s**4/4 + s**3 + s**2 - 2*s + 59. Let o be w(-2). Is t less than o?
False
Suppose -v = 2*g - 426, 2*g - 426 = 73*v - 72*v. Which is smaller: 214 or g?
g
Let l = -91 + 92. Suppose -4*z - z + 110 = 0. Let n = -246/11 + z. Is n less than l?
True
Let j = 22.6 - 25.6. Let q = -18.5 - 0.5. Let t = q + 19. Do j and t have different values?
True
Let j(m) be the second derivative of -m**4/12 - m**3/6 - 3*m - 13. Let q be j(1). Does q = -30/11?
False
Let v = 32440 - 36686. Which is smaller: v or -4248?
-4248
Suppose 67*d = -241 - 228. Are -146 and d nonequal?
True
Let z be (15 - 14) + (-893)/891. Let w = 1612/75735 - z. Is -1 equal to w?
False
Let m = -167166/103 + 1623. Let a = 302 + -301. Which is smaller: m or a?
m
Suppose 2*f - 6 = -2. Let s = -2239 - -38103/17. Which is bigger: f or s?
s
Let f be (-1)/3 - (12 - (-2450)/(-6)). Let g = -406 + f. Is -87/10 smaller than g?
False
Let g be (-126723)/(-152082)*3 - 75/30. Is -0.1 less than g?
True
Let c = 11519 + -11520. Is 51/241 < c?
False
Suppose -3*i = l - 10, 6*i + 19 = 4*l + 11*i. Let p be (-1)/(l/(-5) + 8/(-10)). Is p != -11?
True
Let b = 231 + -214. Suppose -4 + 21 = -b*c. Which is bigger: -2/9 or c?
-2/9
Suppose 0 = -14*o + 19*o + 2050. Let y = -397 - o. Is y equal to 19?
False
Let g = -525 - -5254. Is 4730 greater than g?
True
Let x = 2/15 - -7/60. Let v = -0.1293 - -0.1893. Which is bigger: v or x?
x
Let q(p) = p**3 - 11*p**2 + 7*p + 36. Let w be q(12). Let d = 295 - w. Let l be 2/14 - (-2828)/98. Do l and d have the same value?
False
Let h = 617.03 + -617. Let v be 76/21 - 2/7. Which is smaller: h or v?
h
Let c = -126 + 125.884. Let t = c - -0.076. Suppose 4*j + 0*j - 11 = 5*u, -17 = 2*j + 5*u. Which is bigger: t or j?
t
Let c = 19/33 + -806/1419. Let a(b) = -63*b - 567. Let n be a(-9). Is c at most n?
False
Let f(m) = -m**2 + 42*m - 215. Let w be f(6). Let q be (w/(-21))/((-1776)/198 - -9). Are q and -2/15 unequal?
True
Suppose 5*c + 2*c - 41*c + 215696 = 0. Which is greater: c or 6345?
6345
Let p = 111560 + -39603764/355. Let h = -13274/123895 + p. Which is smaller: h or -1?
-1
Let a be (-2)/5*1/113. Let j = 7/39737555 + 22721920502/76335843155. Let k = a + j. Which is bigger: 0 or k?
k
Let p = -197 + 39. Let g = p - -180. Is g at most as big as 2?
False
Let j = 1485 - 1484. Is j less than 8/11?
False
Suppose 2*i = 4*a + 52, -112*a - 60 = -109*a - 5*i. Which is greater: -206/19 or a?
a
Let n = -86996 - -3566502/41. Let l = 179985/22099 + n. Is 1 >= l?
True
Suppose 0 = -3*w - 27 + 75. Suppose 2*a = -4*f - w, 2*a + 11 = f - 4*f. Which is smaller: a or -28?
-28
Let l = -22529352140 + 31405906611417/1394. Let h = -312713/34 - l. Let i = 1829 + h. Is 0 equal to i?
False
Let i = -357 - -355. Let z(l) = 2*l**2 - 5*l - 10. Let p be z(i). Let s(h) = 10*h - 1. Let m be s(1). Is p bigger than m?
False
Suppose 0 = -24*b + 261 + 627. Suppose 3*l = 125 + b. Is l < 56?
True
Let m = 334664/51 + -6563. Let r = m + 5/17. Which is bigger: 2 or r?
2
Let f(s) = 10*s**3 - 4*s**2 - 2*s + 3. Let p be f(-2). Let v = p - -87. Let q be ((-35)/(-10))/(11/(-2)). Which is greater: v or q?
q
Suppose -f - 4 = 3*f. Let y be ((-35)/15 + 3)*3. Let c be (-302)/(-196) - (7/(-14) + y). Which is smaller: f or c?
f
Let f = -27 + 22. Let c = 0 - f. Suppose -2*i = d - 4*i - 33, 0 = -d + c*i + 48. Which is greater: d or 24?
24
Let y(j) = 7*j - 10. Let v be y(6). Suppose -12 = -5*l + 2*i, -2*l - i + 7 = -4*i. Suppose l*u = 3*o - 2*u - 89, u = -o + 32. Which is smaller: v or o?
o
Let v = -21215 - -16377. Is -4837 <= v?
False
Let k = 75 - 71. Let y(j) = 377 + 3*j + 3*j**2 - 377 - j**3. Let g be y(k). Which is greater: 1 or g?
1
Let q = 339/4 + -5081/60. Let c = -19 - -17.6. Let m = 1