*z**3 - 14*z**2 - 3*z - 15. Let d be g(-7). Let h be (-13)/11 - d/(-33). Let i be 3*h + 20/(-186)*-27. Is i >= -1?
True
Let h(x) = x**3 + 16*x**2 - 2. Let g be h(-16). Let u be 4 - ((-10)/(-5) + g). Let p be u + (-16)/(-12)*-5. Which is bigger: p or -3?
p
Suppose 0 = d + 5*p - 24, -68*p + 64*p = 0. Is 27 < d?
False
Suppose -c = 3*l - 375, 0 = c + 3. Suppose -3*d = r - 4*r - l, -d + 3*r = -52. Let b = 152 + -115. Is d bigger than b?
False
Let m = 8.94 + 0.06. Let l(n) = 2*n**2 + 75*n + 73. Let h be l(-36). Let y be (-6)/7*(-6)/(-45)*h. Is y at least m?
False
Let d be (-2)/(-4) + (-21)/18. Suppose 3*c = 6, 4*j - 165 = 2*c - 809. Which is greater: d or j?
d
Let k(h) = h**3 - 2*h**2 - h - 1. Let f be k(3). Suppose -2*i - 2*t = -2, 3*i - 3*t - 6 = -f*t. Let u = -16 + 18. Which is smaller: u or i?
u
Suppose -46 = -8*x - 38. Suppose -3*a - 15 = 0, 3*w - x = 2*a + 21. Does w = 41/8?
False
Let q(c) = 72*c + 826. Let v be q(-32). Are -1479 and v nonequal?
True
Let p = 17.784 - 18.984. Is -12/43 at least as big as p?
True
Let v be 12/102 - (-6116)/34. Suppose 2*f - k = -0*k + 113, 3*f = -2*k + v. Let o = -57 + f. Which is greater: o or -2/5?
o
Let d(g) = 13*g**2 + 2*g - 1. Let t be d(1). Suppose -4*u = -u - 180. Suppose -6*y + y = -u. Which is smaller: t or y?
y
Let g = 3474 + -3474.64. Is g smaller than 31/5?
True
Suppose -264 - 2316 = 203*a + 12645. Which is greater: -151/2 or a?
a
Let r be 4*2*(1365/(-52) - -5). Suppose 2*m = -0*m - 338. Is m not equal to r?
True
Suppose 103 - 68 = 7*n. Suppose -n*h = 5*a + 60, -2*a + 6*a = -h - 60. Which is smaller: a or -63/4?
a
Suppose 10122*q + 88 + 74 = 10104*q. Is q greater than 121?
False
Let w(y) = 231*y - 429. Let u be w(-5). Is u greater than -12663/8?
False
Let t = -8979 - -8984. Is 306 > t?
True
Let r = -3.314 + 37.314. Is 1/5 at least r?
False
Let u = 4085 + -4111. Which is bigger: u or -21/5?
-21/5
Let s = -2676 - -2675. Is s smaller than -18/365?
True
Let d(l) = l**3 - 14*l**2 - 20*l + 89. Let v be d(15). Let h be -2 + -4 - (82 - v). Which is greater: -73 or h?
-73
Let g be (-194)/14 - 4/28. Let r = g + 10. Suppose 0 = -2*f - 5*j + 15, -4*f = -3*j + 7*j. Are f and r nonequal?
True
Suppose 47*o - 528 + 575 = 0. Which is bigger: -1/989 or o?
-1/989
Suppose -3*q + 9*q - 12 = 0. Suppose 5*k - 5*w = 235, k - 6*k + q*w + 232 = 0. Suppose 0 = 8*x - k - 18. Is x at least 7?
True
Suppose -7*a + 6*a = -5, 2*a - 80 = 7*t. Which is smaller: -442/41 or t?
-442/41
Suppose -2*q = 0, 3*q + 2 = 5*o + 7. Let p be (1/(o + 0))/9. Let b(j) = j**3 + 1. Let t be b(0). Which is greater: t or p?
t
Suppose -2*v + 4*o = 14, 614*v = 609*v + 3*o - 49. Which is greater: -113/11 or v?
-113/11
Let u(d) = -10*d - 12. Let t be u(-8). Let n = t - 63. Let p be (-2)/n*(-1 - -31). Is -9 > p?
True
Let g = -1045/29 + 1108832/30769. Which is bigger: g or 0?
g
Let d = -1.02399 + -0.97601. Suppose 3*m = 2*i - 54, -5*m - i - 83 - 7 = 0. Which is smaller: m or d?
m
Let g be 1422/(-84) + 16 + (-6)/(-14). Let l = -6 - -4. Let k = l - -1.5. Is g > k?
False
Let r(b) = 8*b + 100. Let m be r(13). Let l be ((-23)/6)/((-68)/m). Which is smaller: l or 11?
11
Let o = -125 - -88. Let z = -34 - o. Let a = z + -3.1. Which is smaller: a or -13?
-13
Suppose 3 = 2*a + 5*u, -2*u - 4 = 2*u. Suppose 0 = -a*m + m + 48. Let w = m + -41. Which is smaller: -24 or w?
w
Suppose 5194 = 44*z + 20154. Which is smaller: z or -1?
z
Let s = -6210725/108 - -57505. Does -1 = s?
False
Let q(f) = -9*f**2 - 2*f - 1. Let w be q(-1). Suppose -1130 = 3*z - 5*p - 26, 4*z + p + 1449 = 0. Let k = 356 + z. Which is bigger: w or k?
k
Suppose -2*f - 1 + 59 = 0. Let y = -28 + f. Suppose 4*i = -2*s + 6*s, -3*s + 2*i + y = 0. Which is smaller: s or 2/9?
2/9
Let i = 157 + -61. Suppose 0*x + i = 4*x. Let q be (2/44)/(1/x). Which is smaller: 1 or q?
1
Let d = 0.018 - -2.982. Let x = 43 - d. Let k = x - 45. Which is greater: -3/7 or k?
-3/7
Suppose 4*b - 6*l - 37 = -l, 2*b = 2*l + 16. Suppose 0 = -b*m + 5 - 38. Let a be (-64)/28 + 2 + m/(-14). Are a and -1.2 unequal?
True
Let b be 2/5*49*(-13)/(624/60). Let n be -23 + 3/(-3) + -1. Which is greater: b or n?
b
Let d be (-1092)/(-16) + 4/(-16). Suppose -4*x + 2*g = -2*g - d, x = 2*g + 20. Let q be (1/(-2))/((-6)/156). Is q at least as big as x?
False
Let r be (14/56)/1*-4. Let q(c) = -5 - 2*c**2 + 2 - 16*c**2 - 3*c. Let j be q(r). Which is bigger: j or -20?
j
Let m(k) = -979*k**2 - 6*k. Let j be m(6). Let h be (7/(-2906))/(-1)*j/(-25). Let b = h + 1/1453. Is b greater than 4?
False
Suppose -66*k + 3930 = -64*k - 2*u, 5919 = 3*k + 5*u. Is k less than 1968?
False
Let b = -0.22 + -3.78. Suppose -65 - 31 = 4*q + 5*r, -4*q - 96 = r. Is q at most b?
True
Let z be (9*18/1863)/(12/(-18)). Is z smaller than -0.27?
False
Let s = 3 + 15. Suppose -s = -l + 14. Let b be (-6)/15 - l/(-130). Which is bigger: b or -1?
b
Let b be 47/2 + (-4)/8. Let g be 3209/144 - (-705)/(-11280). Which is bigger: g or b?
b
Let n = -32 + 34. Suppose -262 = 4*c - n*c. Does c = -132?
False
Let k be (-8 - 249/(-15)) + (-2)/(-5). Suppose 0 = -k*g - 2549 + 416. Is g > -237?
False
Let q = -425 - -431. Suppose -h + q*m = 3*m - 548, 2*m = -5*h + 2825. Are 563 and h nonequal?
False
Suppose 10*o + 32 = 12*o. Suppose 22*v + o = -314. Suppose 0*d - d - 14 = 0. Is d smaller than v?
False
Suppose -4*o - 96 = 3*i, -o = 5*i + 1377 - 1387. Let j(g) = 5*g - 2. Let y be j(-6). Is y smaller than o?
True
Let c = 1579/16 - 14179/144. Which is bigger: c or 449?
449
Let r = 741 - 516. Which is bigger: r or -2?
r
Let m = 34860886/384495 + -2/128165. Which is bigger: 92 or m?
92
Let t be (-7*(-60)/126)/5. Is 1365 bigger than t?
True
Let p be 2*(-9)/(-12) - 33/6. Let g be (2 - 4) + 30 - p. Suppose 18 = -35*d + g*d. Is d greater than -36/7?
False
Let q(c) = 15*c + 1009. Let g be q(-41). Is g at least as big as 2/7?
True
Let c = 4 + 3. Let u = 1080 + -4319/4. Which is smaller: u or c?
u
Let j = 4.175 - 4.8. Let h = 0.64 + j. Let f = 0.125 + h. Are f and 1/3 nonequal?
True
Let f be 55131/334512 - (-1)/(-6). Which is smaller: f or 1?
f
Let z(o) = 7*o**2 - 106*o + 15. Let a be z(15). Let m be -32*(a + 8)*1/(-2). Which is smaller: 129 or m?
m
Let s = 3027 + -33325/11. Let c(q) = 5*q**3 + 27*q**2 + 9*q - 7. Suppose 0 = -5*r + 20, -2*r + 4 = 4*m + 16. Let a be c(m). Which is smaller: s or a?
s
Let p be (181/2)/((-25)/170). Let o = p + 619. Is 3 at most as big as o?
True
Let y be (1 - 4/(-3))/(133/114). Which is bigger: 40/69 or y?
y
Let k = -512.9 + 375. Let f = -138 - k. Are f and -15 non-equal?
True
Let k = 443.098 + -1.098. Let v = k + -442.03. Which is smaller: -15 or v?
-15
Let u be (-42399)/154*(10/(-15))/2. Let j = u + -90. Is 1 at least as big as j?
False
Suppose -2*d = 15 - 145. Suppose 7*g + d = 12*g. Suppose -g + 5 = j. Is -2 equal to j?
False
Let y(d) = -2*d**3 - 7*d**2 + 14*d + 41. Let h be y(-4). Is -12/1123 > h?
False
Suppose -15 - 17 = -4*u. Let d be 208/312 + (-8660)/(-6). Let x be d/(-1083)*(-6)/80*82. Is u > x?
False
Let s(w) = -w**2 - 30*w - 76. Let z be s(-27). Suppose 3 = -z*y + 23. Suppose 4*o = 7 + 13. Are o and y unequal?
True
Let c = -9.45 + 10. Let x = -0.3341 + -0.2269. Let f = c + x. Is f at most as big as -0.1?
False
Let a = -5009 + 5006. Which is smaller: 3/44 or a?
a
Let b = -29 - -21. Suppose 6 + 6 = -3*h, 2*f - 26 = 4*h. Suppose 3*w = f*u - 27, 34*w - 45 = 39*w - 4*u. Which is greater: w or b?
b
Suppose 8*y - 6*y - 16 = 0. Suppose 4*r - 3*b + b = 12, 2*b = -y. Let a be -4 - (54/(-21) + -1). Is r <= a?
False
Suppose -4*x + 253 = -5*d, 7*x - 4 = 5*x. Let r be (-4410)/d - (-6*1 + 1). Is r > 95?
False
Suppose 22 = 4*r - 2*y, -4*y = r - 17 - 11. Let t(a) = 2 + r - 2*a + 3 + 3*a. Let s be t(6). Is s <= 18?
False
Let g be 169645/786 + 1/6. Which is smaller: g or 217?
g
Let v = 61.086 + -61. Let j = v - -1.414. Are 4 and j unequal?
True
Let l = 408887858/51 - 8017053. Let p = l - 1069/3. Let o be 33 - 32 - (-2)/(-2). Which is greater: o or p?
o
Let c be (6548/(-26))/(-1) - (-42)/273. Suppose 5*g - 28 = j + c, 35 = g + 4*j. Does 59 = g?
False
Let p(g) = g**2 + 331*g + 4134. Let k be p(-13). Let t = -61/9 + 13987/2061. Which is greater: t or k?
t
Let l(o) be the first derivative of -11*o**2/2 - 40*o + 7. Let u(v) = 3*v + 3. Let w be u(-3). Let j be l(w). Which is greater: 27 or j?
27
Let z 