. Is 24 >= j?
True
Let t be 6 + ((-6)/(-2) - 2). Let m(n) be the third derivative of -n**4/3 + 37*n**3/6 - 2*n**2 + 2*n. Let j be m(4). Which is greater: j or t?
t
Let v be 112/240 + (-2)/3. Suppose 0 = 2*f + 2. Let n be 0*((-4)/f)/16. Are n and v equal?
False
Let b = 7552 - 5723. Which is bigger: 0 or b?
b
Let g be -2 - -1 - (36/(-99) + (-272)/(-22)). Which is smaller: -15 or g?
-15
Suppose 14*t - 3659 - 113 = -4*n, 5*t + 4670 = 5*n. Which is bigger: 938 or n?
938
Let l(g) = g**3 + 15*g**2 + 18*g + 18. Suppose 9*r - 180 = -234. Let u be l(r). Which is greater: -2/7 or u?
u
Suppose 5*b - 11 = -6. Let u be 2 - b - (8 + 76). Which is smaller: u or -84?
-84
Let p = 4762 + -4755. Is -1/924 greater than p?
False
Let t = -3.04 + -222.16. Let n = 151.1 + t. Let a = -74 - n. Is a not equal to 0.17?
True
Suppose 19 + 1261 = 8*m. Let y(r) = 15*r - 21. Let q be y(12). Which is smaller: q or m?
q
Let b(m) = -2003*m**2 - 13*m + 26. Let f be b(2). Which is greater: -8013 or f?
f
Let u = -15 + 28. Let w(j) = 48*j - 34*j - 23*j - 47. Let l be w(-7). Which is smaller: l or u?
u
Let o be 66/(-3) - 3175736/(-144381). Suppose -4*f + 4*x = 4, 0 = -f + 2*f + 4*x - 4. Is o greater than or equal to f?
False
Suppose 4*s + 14 = -2*o, 513*s - 514*s - 5 = 2*o. Is o greater than 2/1451?
False
Let y = 21560 - 21560.2. Let l = -1216857/2735 - 153/547. Let o = 448 + l. Which is smaller: o or y?
y
Let u = -12245 + 12239. Let q = -21 - -14. Which is bigger: u or q?
u
Let t be (5/25)/(1/(-113)). Suppose 10 = 7*q - 11. Suppose d + 18 = -q*z, -4 = -5*z + 6. Is t > d?
True
Let m be (-6)/14 - 12684/(-98). Suppose -4*g - 2 = 6, 134 = f - 2*g. Which is bigger: m or f?
f
Let m be 3*3 + 14/(-14). Suppose 0 = 2*p - m, -4*d + 0*d - 5*p = -28. Let x be (-5 - -4)/(273/(-138) + d). Which is bigger: x or -45?
-45
Let x = 64 + -6. Let w = 56 - x. Let u = -283/4 + 70. Which is greater: w or u?
u
Suppose 98 = 15*a - 6*a - 163. Is 29 > a?
False
Let p be (86/(-14))/(1236/721) + 4 + -1. Which is smaller: 5 or p?
p
Suppose 80*j - 84*j - 48 = 0. Let b be j/6 - 1204/(-609). Is 0 equal to b?
False
Let u = 424 - 72. Let n = u - 258. Is n < 0.1?
False
Let m be 6846/27192 + ((-9)/4 - -2). Let d = -4253549705/670547922 + 2333/197278. Let h = d - m. Are h and -7 equal?
False
Let a(o) = -2*o**2 + 15*o - 6. Let y be a(12). Let s = -132 - y. Which is bigger: -15 or s?
-15
Suppose -9*u - 13947 = -4379 + 3527. Is u < -1450?
True
Let s = -23953/5 - -1844141/385. Which is smaller: -2 or s?
-2
Suppose 3*m - 7*m = 4, -2*u - 4*m + 14 = 0. Suppose 70*g + 45 = 75*g. Let i = u - g. Is i less than 1/21?
True
Let u = 3407 + -3407. Which is greater: u or -2/4219?
u
Let x = 7357 + -10602. Is x bigger than -3244?
False
Suppose -5*z = -187 - 463. Suppose 2*j - 2 - z = 0. Let y = -93 + j. Is y at least -28?
True
Let u = -15/191 - 1067/3438. Let g = 65 + -64. Is u >= g?
False
Let z = -403/2 - -184. Let f = -1 - 18. Let l be f*1 + -9 + 10. Is z >= l?
True
Let k(t) = -2*t**2 + 14*t - 1. Let r be k(7). Let f = -85516/65527 - -2/2849. Which is smaller: r or f?
f
Let u(z) = z**2 + 7*z + 7. Let f be u(-6). Let x = -18 + 16. Let q be (((-18)/21)/(-1))/x. Which is smaller: q or f?
q
Let o = -1.403 + -24.097. Are 2/17 and o equal?
False
Let p = 62 - -15. Let v be (550/p)/(8/7). Is 7 bigger than v?
True
Let n = 29 - 30. Suppose -2*i - 6*i + 160 = 0. Let f be 10/8*i + 3 + -1. Is f smaller than n?
False
Let z(h) = h**3 - 4*h**2 + 5*h - 2. Let g be z(5). Suppose -v - g = 3*v. Let t = 484 - 483. Is v greater than t?
False
Let t be ((-1)/2)/(11/(-154)). Let p be (2 - t) + (-12)/(-3). Which is smaller: p or 2/637?
p
Let h(v) = -8*v - 27. Let q be h(-3). Let o = 41 + q. Are 37 and o equal?
False
Let a = 996 + 2785. Let g = a - 26387/7. Let d be 40/4 - -1*1. Which is greater: d or g?
g
Suppose 39*s - 47*s = -64. Suppose 0 = -22*k + s*k + 42. Which is greater: k or -9?
k
Let i = -800 + 1886. Let f = 7634/7 - i. Suppose 5*q + z = 19, -q = -2*q - 5*z - 1. Which is greater: f or q?
f
Let t = -23183 - -1622807/70. Which is bigger: -1 or t?
t
Let m(c) = -c**3 - 2*c**2 + c - 1. Let j(b) = -42*b**3 - 11*b**2 + 21*b + 22. Let o(f) = j(f) - 5*m(f). Let h be o(-2). Is h less than 285?
False
Let a = -68901 + 68901.05. Let i = 2 - 9. Are a and i nonequal?
True
Suppose -351918 - 407087 = -503*y + 405943. Are y and 0.1 equal?
False
Let m = 80.44 - -308.56. Is 1 bigger than m?
False
Suppose 0 = 2*s - i - 46, -16*s + 2*i - 115 = -21*s. Let z = -22 + s. Which is smaller: -1/234 or z?
-1/234
Let r = 9078 - 63542/7. Let o = 2.2 - 0.2. Is o <= r?
False
Let n(j) = j**3 - 16*j**2 + 13*j + 22. Let l be n(15). Suppose -5*t = -3*t. Suppose 55 = -5*h + 4*k, -45 = 5*h - t*k - 2*k. Which is smaller: h or l?
l
Suppose -7*g - 4730 + 56 + 173 = 0. Is g bigger than -641?
False
Let j = 5073 + -4070. Is 0.4 > j?
False
Suppose -d - 2*j - 3*j - 4 = 0, 5*d = j - 72. Suppose 99*o + 4*b + 10 = 98*o, o = b - 15. Do o and d have the same value?
True
Suppose f - 3*w - 591 = -f, 3*f - 4*w - 884 = 0. Do f and 300 have different values?
True
Let t = 81.01 + -20.01. Let w = 183 - 130. Let p = t - w. Which is greater: -1 or p?
p
Suppose -6*l + 23 = -7. Suppose -22 = -2*a + l*w, -3*a + 3*w + 46 = 2*w. Suppose -v + 3*v = a. Is 3 less than v?
True
Suppose 11*y = -4*f + 13*y - 16434, 0 = -5*f + 4*y - 20541. Do f and -4111 have the same value?
False
Suppose -4*b + 36 = 2*d, -3*b + 88 = 4*d + b. Suppose -15*w + 55 = 5*x, 0 = 3*x + 2*w + 4 - 72. Is d at least x?
True
Let u be 1/(6/4)*36. Suppose 6*i + 36 = 228. Suppose i*m = -3*l + 30*m + 79, -3*l = -4*m - 49. Which is greater: u or l?
u
Let u(q) = -30 - 15*q - 9*q - 15 + 0 + 8*q. Let m be u(-3). Is m > 51?
False
Let q = 2188 + -2187.4. Is 163 > q?
True
Suppose -5 = -3*n - 2*a, 0 = -70*n + 67*n - 3*a + 6. Which is bigger: n or -3/12632?
n
Suppose 4*m + 20 = r, -5*r - 27 = m - 1. Let s be 1*(m/(-3) + 3). Suppose 0 = 5*n - o + 7, -2*n - 1 + s = 3*o. Which is bigger: -2/125 or n?
-2/125
Let u = 113530413/1207 + -94060. Which is bigger: u or -1?
u
Suppose -7*a + 588 + 434 = 0. Let g = a + -190. Which is greater: -40 or g?
-40
Let l = -29932 + 30364. Which is smaller: 447 or l?
l
Let q = 8.61 + -2.71. Let u = -5.49 + q. Which is smaller: u or 2?
u
Let p = -200 + 177.4. Let v = 25 + p. Let r = 2.3 - v. Is r > -5?
True
Let j be (-3123)/(-36) + 3 + -9. Let l = -15185/188 + j. Are l and 1 non-equal?
True
Let m = 0.148 - -0.352. Let j = m + 0.6. Let q = 0.1 - 0. Which is greater: q or j?
j
Let k = -44 + 102. Let r be k/4*(3 - 1). Let j be 3/((-6)/(-58))*1. Is r less than j?
False
Suppose 9*v = 8*v + 3, v + 1 = 2*m. Let q be (-1*m - -1)*84/532. Let r(t) = t**2 - 6*t + 1. Let k be r(6). Which is smaller: k or q?
q
Let l = 45212 + -45203. Let x = 185 - 1293/7. Which is smaller: x or l?
x
Let t be 1/(-2)*57*(-4)/(-6). Let k be (t - -21)*1/(-2). Are 3/13 and k unequal?
True
Let c be (-112)/78 - (-2)/3. Suppose -16*l - 20 = -6*l. Which is smaller: l or c?
l
Let n = -60128/21 - -2863. Let f be (-2)/4*(1 + -1). Which is smaller: n or f?
n
Let n = -43.3233 + 0.0233. Let q = -43 - n. Let r(t) = t**2 - t. Let x be r(1). Is q > x?
True
Suppose -67*a = 75017 - 14583. Is a <= -906?
False
Let i be 4/6*9/24. Let o = -44252 - -88543/2. Which is bigger: i or o?
o
Suppose -6*i = -3*i - 3*x + 2679, -2673 = 3*i - x. Which is smaller: 2 or i?
i
Let x be 142/(-426) + (296/6)/1. Which is smaller: x or 72?
x
Let q = 20 + -8. Suppose 4*z - 35 = 5*g, -706*z + 3*g + 17 = -704*z. Which is bigger: q or z?
q
Let z = 170 - 169.748. Let x = -0.232 + z. Which is smaller: x or -0.08?
-0.08
Let d = -91.863 + -0.137. Let p = -93.06 - d. Let b = -3.06 - p. Which is bigger: -27 or b?
b
Let a(o) = -2*o + 38. Let n(h) = h**2 + 6*h - 2. Let c be n(-8). Let d = c - -2. Let u be a(d). Is u at most 6?
True
Let b be (4 - 17) + (8 - -4). Which is smaller: b or -14/219?
b
Let u(o) = -21*o**2 - 126*o. Let v be u(-6). Let q be v*14/(-35)*2/4. Which is greater: q or 3/103?
3/103
Let f = -6662 - -6661.2. Which is greater: f or -4/351?
-4/351
Suppose o = -o + 1452. Let x = o + -275. Let t be 3/(-6) - x/(-22). Are t and 23 non-equal?
True
Let w = -58 + 157. Let u = w - 98. Which is greater: u or 186?
186
Suppose -5*l - 55 = 5*x, -2*l + 9 = -5*l. Which is bigger: -47 or x?
x
Let x be ((-169)/(-26) + -9)*828