 - 2*k**3 + 16*k**2 - 19 - 22*k. Let l be w(u). Is 33 greater than l?
False
Let o(j) = j + 10. Let l(y) = -y**3 + 7*y**2 + y - 9. Let z be l(0). Let k be o(z). Is k < 52?
True
Suppose 0*r - 3*t + 78 = -3*r, r + 34 = -t. Let m be (r + 42)*1/(-34). Which is smaller: m or 0?
m
Let j(c) = 7*c**2 - 4*c. Let y be j(4). Suppose 25*u - 1159 - 1241 = 0. Is y not equal to u?
False
Let p be -1*(2 + -29 + -1). Let s be (6/p)/((-3)/(-4)). Let h = -68099 - -68099. Which is greater: s or h?
s
Let l(a) = -3*a**3 - 139*a**2 - 15*a - 132. Let b be l(-46). Is b less than -1560?
False
Let z = 0.153405 + 0.046595. Let a = -51 + 20. Which is greater: a or z?
z
Let g = 7 - 6.986. Let i = 0.086 + g. Let d = 2 + -0.7. Is d > i?
True
Suppose 1181*r - 9 = 1172*r. Which is smaller: 18/1435 or r?
18/1435
Let o = -80.25 - -67. Let y = o - -12.9. Which is bigger: 4 or y?
4
Suppose 8*w = 39 - 71. Which is smaller: -94/29 or w?
w
Suppose 0*l + 30 = 10*l. Suppose -6*u - 8 = 4. Let d be 0 - (-6)/(-18)*1*u. Do l and d have different values?
True
Let g = -32 - -63/2. Suppose 0 = 10*t - 7*t + 9. Let y = -3 - t. Which is smaller: g or y?
g
Let f = 603761/555752 + -138/127. Which is bigger: 1 or f?
1
Let a(y) = -y + 15. Let k be a(10). Let u be -1 - (5 - 7 - (2 - -1)). Suppose -6*o = -4*o, -o + 36 = u*m. Which is smaller: k or m?
k
Let s = -907 + -462. Which is smaller: -1370 or s?
-1370
Let r = 376679/121 - 3113. Let i = -666 + 665. Which is greater: i or r?
r
Let u be 15 + (-16)/(-6)*1422/316 + -28. Let s be (1 + -2)*(-1 - 0). Let j be -3*(s - 4/(-6)). Is u smaller than j?
False
Let z be (-1)/2*(-1248)/247. Let t = z + -758/285. Is 11 at most t?
False
Let u(p) = 53*p - 271. Let x(s) = -2*s**3 + 9*s**2 - s - 7. Let w be x(4). Let j be u(w). Which is bigger: j or 41?
41
Let d(c) = c**2 - 34. Let q be d(0). Suppose -4*t + 63*l - 151 = 66*l, t = l - 29. Is q smaller than t?
False
Suppose -4*x = 5*g - 9, -2*g - 2 = -x + 10. Let h = 27516 - 27504. Which is bigger: x or h?
h
Suppose -5*w = 8 - 68. Suppose -95 = -174*p + 169*p - 3*f, -14 = p - 6*f. Is w != p?
True
Let a be 96/36 - 8/12. Suppose -a*j - 4*y - 16 = 0, -4*j + 5*y + 35 = j. Which is smaller: 49 or j?
j
Let a = 10/7533 + 1644625/60264. Let j = a + -29/8. Which is smaller: 24 or j?
j
Suppose -739*g + 647*g - 4232 = 0. Suppose 4*j = j + 9. Suppose -4*k - 4 = 0, -4*k = j*x + 100 + 39. Is x > g?
True
Let h = -132913 + 28044531/211. Let u = h + -135027/422. Let r = -3279/10 - u. Is -8 smaller than r?
True
Let x = -24785 + 24784.9. Which is bigger: x or 18707?
18707
Let w(i) = 43*i + 31. Suppose -2*q - 25 = -21. Let v be w(q). Which is greater: v or -59?
v
Let b be (-3786)/27 + -2*(-3)/27. Let x be b/(-213) - 4/6. Is x less than or equal to -1?
False
Suppose 0 = 237*l + 77*l - 17898. Suppose 127 = 2*y - 3*a, -y = -0*y - 2*a - 66. Is l >= y?
True
Let x = -1237 + 837. Let j = -466017 - -465618. Which is smaller: j or x?
x
Suppose 96 = 4*c + 4. Let u be 1281/70 - 203/(-58). Which is smaller: c or u?
u
Let n = 0.1 + 0. Let j = -2 - n. Let v = -6984 - -6985. Which is greater: j or v?
v
Let z = -101.1 - -101. Suppose 0 = -2*o - m + 3*m + 20, -3*o = 5*m - 38. Suppose 5*n = v + 131, o = -5*n - 2*v + 139. Is n > z?
True
Let z = 1/8154 + 523894/4077. Is 2 < z?
True
Let u = 47 + -85. Let o be (4/(-55)*u)/(252/40). Let w = o - 1/99. Is w less than or equal to -6?
False
Suppose 11*b = -5*b - 1440. Which is smaller: -91 or b?
-91
Let v be (3186/108)/(2/152). Which is bigger: v or 2243?
2243
Let j = -55.99 - -56.13. Is j smaller than 1/63?
False
Let t(d) = -d**3 - 26*d**2 - 83*d + 85. Let n be t(-22). Which is smaller: -166/7 or n?
n
Let m = -153 - -503. Let j = m + -442. Which is smaller: -93 or j?
-93
Let y = -192 - -194. Suppose -y*l - 438 = -5*q, -q - 3*q + l + 351 = 0. Is 88 less than or equal to q?
True
Let t = -36375/11 + 3307. Is -1468 at most as big as t?
True
Let a be (1 + (-19)/4)/(378/1008). Let g be (-92)/a + 9/(-45). Which is greater: g or 18?
18
Let u = 53 - 48. Suppose 11 = 3*p + u*m, 4*m = 5*p + 3*m - 9. Let a be 5 - (-1 - -5) - (p + 32). Is a <= -33?
True
Let c be 2*((-87)/(-2) - 2). Let w = 8304 - 8222. Are w and c non-equal?
True
Let a = 68 + -61. Suppose -3*n - a*u = -2*u + 350, -5*u = 5. Let r = -115 - n. Which is smaller: -2/471 or r?
-2/471
Let i = 0.074 - 139.174. Let a = -139 - i. Which is greater: -8 or a?
a
Let z(p) = p**2 + 5*p + 3. Let t be z(-4). Suppose -5*u + 94 = 2*a - 454, u + a - 112 = 0. Let f be (-114)/(-270) - (-3)/(u/(-8)). Which is greater: f or t?
f
Let j be (3 - (-37238)/(-4))*(-18 + 22). Let n = -75382652/2025 - j. Is 1 >= n?
True
Let d = -22 + 26. Suppose 3*g + 93 = -7*k + 4*k, k + d*g + 46 = 0. Let s be 2/6 - k/3. Which is smaller: 11 or s?
s
Let p be (3/5)/((-2)/(-5)). Let q = 18074 + -18073. Which is smaller: p or q?
q
Suppose -4 = 4*j, 2*j = -5*f + 246 - 593. Let q = -65 - f. Let i = 0.16 - 0.96. Which is bigger: q or i?
q
Let r be (-9)/16*70/(-210). Which is smaller: r or 8/5?
r
Suppose 5*h - 4*g = 193, h - 56 = 2*g - 7*g. Is 7 not equal to h?
True
Suppose 5*c = 5*w - 16529 - 7246, -3*w + 4*c = -14261. Which is smaller: w or 4758?
4758
Let c be 892/455 + (-6)/(-39). Let o = -12/5 + c. Let v = 7 - 7.1. Which is greater: o or v?
v
Let c = 1212 + -1759. Let w = c - -509. Which is bigger: w or -41?
w
Let g = -307787 - -3531240253/11473. Is 1 less than or equal to g?
False
Let q = -45 - -72. Suppose -7*c = 2*c - q. Suppose -2*x + 6 = -d - 4, 3*x - 21 = c*d. Is -4 greater than or equal to d?
True
Let d = 383 + -1134. Let v = d + 749. Which is smaller: v or -3/22?
v
Let m be 1 - (33/69 + 0). Let t(b) = b**2 - 29*b - 95. Let v be t(32). Which is smaller: v or m?
m
Let j = -165 + 146. Let g(i) = -i**3 - 20*i**2 - 18*i + 18. Let q be g(j). Which is greater: q or -20/29?
-20/29
Let u = 35730/634933 + -16/289. Which is greater: 1 or u?
1
Let z = -44856599/740 - -60617. Which is smaller: 0 or z?
z
Suppose 37 + 119 = -3*r. Let b = r - -51. Let o be (b - (-51)/9) + -4. Which is smaller: 0.4 or o?
0.4
Let j = 107 + -388. Let r be -3 + -1 + -4 - j. Is r <= 273?
True
Suppose -2*s + 10*g - 4042 = 0, -4*s - g + 1997 = -5*s. Is s at least -1991?
True
Let g be ((-29)/(-2))/29*5336. Is g smaller than 2667?
False
Let y be 14 + 17 + 0 + 1. Let a = 59 - y. Let x be 0 + 1 + 0 - 48/a. Is x bigger than -2?
True
Let g = 1498/3 + -140831/282. Which is smaller: g or 1?
g
Suppose -50*a + 68*a + 36300 = 381*a. Let l be ((-2)/(-4) + 0)*196. Let j = a - l. Which is smaller: 15/14 or j?
15/14
Suppose 3*u = 3*h - 42, 2*u - 19 = -h + 4*u. Suppose 4*n - h*n = -840. Which is greater: 0 or n?
n
Let g be (13/(-4) + 2)*80/(-20). Suppose -8*m = -g - 3. Is 122 less than m?
False
Suppose -14*g = -7*g + 168. Let h be 1/(-1) - (-47 - g). Suppose -2*c = -18 - 30. Is c greater than h?
True
Let q = -11/196 - -6991/588. Is 2 equal to q?
False
Let a = 8518 + -8268. Which is bigger: 1746/7 or a?
a
Let n = -4.03 - -0.43. Let l = -80.2 + 83.7. Let f = l + n. Which is smaller: 0.04 or f?
f
Let t = -1247.6 - -1247.7. Do t and -497.2 have different values?
True
Let r = 755 + -754. Is -9/125 at most r?
True
Let f = -35868.2477 + 35868. Which is greater: f or -0.2?
-0.2
Let c = 2802 - 1530. Suppose -57*l + 4*l + c = 0. Is 24 smaller than l?
False
Let p(m) = -m**2 + 20. Let h be p(0). Suppose 9*q - h = 11*q. Let i be 76/(-10) + 4/q. Is i at least -12?
True
Let f = 64 + -64.002. Let n = 0.098 - f. Are n and 0.31 non-equal?
True
Let u = -35 - -63. Suppose -n = -p + 2*n + 6, 2*p + 2*n = -u. Let d be -3 - ((0 - -5) + p/3). Which is bigger: -1/4 or d?
-1/4
Suppose -5*o - 9 = 1. Let a = 6 + o. Let s = 20254 - 20250. Do s and a have the same value?
True
Let q be 1449/12 + -1*(-6)/(-8). Let f = -181 + q. Is -62 at least as big as f?
False
Let n = 19 + -15. Suppose 3*q - 2*p + 34 = 0, q + p = -n*p. Let s be (-26)/390*(-30)/9. Do q and s have the same value?
False
Suppose 0 = -192*g + 108 + 84. Is g bigger than -3/98?
True
Let z(j) = -3*j - j**2 + 2*j - 3 + 11 - 2*j. Let i be z(-4). Suppose -5*f = -i - 6. Which is smaller: f or 0?
0
Suppose 12*m = 13*m - 8. Let n be (-83)/3 + m/(16/6). Is -26 bigger than n?
False
Let b(u) = u - 77. Let d be b(78). Is 35/62 greater than or equal to d?
False
Let b(r) = -6*r**3 - 10*r**2 - 8*r - 111. Let x be b(-7). Which is smaller: x