 6*h - 2. Let b be z(-6). Which is smaller: t or b?
b
Let o(p) = -2*p**2 + 16*p + 9. Let c be o(15). Do c and 1/3 have different values?
True
Let c = -723 - -926. Which is smaller: c or 196?
196
Suppose -7*k + 2*k = -155. Let j be 6 + -3 - 2/2. Suppose -3 = -j*x - k. Is -14 != x?
False
Let u = 3779 - 3773. Let c be 3*(-2)/((-12)/14). Which is bigger: c or u?
c
Let x be (-15)/(-4) - (1 + -1). Suppose -j + 0*j + 4 = -4*d, 2*j + 3*d - 8 = 0. Is j > x?
True
Let g = -24/271 - -12284/4065. Which is bigger: g or 3?
3
Suppose 4*j = r - 63, 0 = -34*j + 39*j + 3*r + 83. Is j less than -27?
False
Let q = -78 + 77. Let l be 8/(-12)*(-3)/32. Is q less than l?
True
Let u(l) = -l**2 + 6*l - 2. Let h be u(5). Let z = -3 + 7. Let g be (12/z)/((12/(-20))/(-1)). Is g > h?
True
Let b = 8 - -15. Let y = 18 - b. Is 5 greater than y?
True
Let g(q) be the first derivative of -q**3/3 - 9*q**2/2 - 14*q + 30. Let n be g(-7). Which is greater: n or -0.33?
n
Suppose 5*x - 9*x + 20 = 0. Suppose 0*i - 9 = -o - 3*i, -3*o - 5*i = -23. Suppose -v - 17 = -5*m, 5*v + o = 2*v. Is x at least as big as m?
True
Let g = 5363193/140 + -38304. Let c = g + -32/7. Is c <= -1?
False
Let w(j) = 5*j**2 + 4*j - 1. Let z be w(-1). Which is smaller: z or -5?
-5
Suppose 0 = 6*o - o - 3*h - 3, h = -2*o + 10. Let y be o - (-6)/(-2*9/12). Which is smaller: 2/9 or y?
y
Suppose 0 = -5*u + 3 + 7. Suppose 0 = 886*v - 887*v + 8. Suppose 0 = -0*n - 2*n + v, 0 = u*o - 2*n - 32. Is o at least 20?
True
Let n(m) = -m**3 + 4*m**2 - 3*m + 1. Let d be n(1). Which is greater: -118 or d?
d
Let c = 0.072 + -0.079. Which is smaller: 0.1 or c?
c
Suppose i - 3*i - 8 = 0, 16 = -2*k - 4*i. Let h = k + 1. Let d be (16/6)/4 + h. Which is smaller: 2 or d?
d
Let j be (-4)/(-2)*-2*-2. Let w = j + -13. Suppose -263*m + 252*m - 44 = 0. Is m equal to w?
False
Suppose 4*w + 813 = -5*f, -75*f + 79*f - w = -642. Does f = -161?
True
Let d = 77 + -79.8. Which is smaller: d or -1/9?
d
Let z(j) = 3*j**2 + 2*j + 11. Let g be z(-4). Let l = g + -205/4. Is l greater than 0.1?
False
Let a(t) = -52*t - 317. Let f be a(-6). Which is smaller: f or -23?
-23
Suppose -l - 7 = -q + 4*q, 5*q + 4*l + 7 = 0. Let o be (-1 + 1)/(-2 - q). Is o not equal to -1/26?
True
Suppose -37 + 49 = 6*c. Which is greater: 9/8 or c?
c
Let o be (-190)/8 + (-1)/4. Suppose 4*x = 3*l - 94, 0*l = -4*l - 8. Is x smaller than o?
True
Let m = 8.8 + -8.855. Let w = -0.115 + m. Which is greater: 1 or w?
1
Let c = -27 - -8. Let y(j) = -48*j + 28. Let x be y(1). Does c = x?
False
Suppose 2*c + 4*p + 16 = 0, 2*p = 4*c + 4*p + 2. Let h be (-1)/2 + 5/c. Let q be (20/(-15))/(h/3). Is -3/4 equal to q?
False
Suppose k = -3*q + 10, -10 = -2*k + 4*k. Suppose 5*x = -q*z + 80, 4*z = -0*z - 3*x + 62. Suppose -37 = c - 52. Which is bigger: z or c?
c
Let r be 6/(-9) + (-4)/(-6). Let y = 5 - 13. Let c be 2 + r - 20/y. Which is smaller: c or 5?
c
Let p = 409 - 815/2. Suppose 5 = -n, 0 = -5*q + q + n + 21. Which is greater: q or p?
q
Let n be (-14)/4 - (-15)/30. Let m be 3/(2*n/16). Which is smaller: m or -7?
m
Let s be ((-3)/(-18))/((-6)/16). Let q(f) = f**3 - 2*f**2 - 8*f + 1. Suppose 4*l - 23 = -7. Let v be q(l). Is s at most as big as v?
True
Let q = -66 - -42. Which is smaller: 0.1 or q?
q
Let j(g) = g**2 + 33*g - 11. Let d be j(-33). Is d <= -12?
False
Suppose -4*l = -5*d + 36, 4*d + d = -3*l - 27. Let t = -19 + 29. Let x = t + l. Is 0 smaller than x?
True
Let i = 10 - 6. Let k be ((-84)/(-39))/i - 1. Suppose t = 2*r - 2, 0 = -5*r + 2*t + 5 - 0. Which is greater: k or r?
r
Let x be -3*8/60 - 2046/10. Let l = -207 - x. Let i be (-2)/4 + 1/2. Which is smaller: i or l?
l
Suppose -2*d + 1 = -4*s + 3*s, d - 2*s - 8 = 0. Suppose -36 + 11 = -5*i. Is d < i?
True
Suppose 5*f = -5*p + f + 2243, 884 = 2*p - 5*f. Which is smaller: 448 or p?
p
Let w = -0.16 - -0.59. Let a = -0.23 + w. Which is smaller: a or 0?
0
Let l = -3.2 + -22.8. Let m = -0.002 - 27.998. Let t = m - l. Are t and 3 non-equal?
True
Suppose 2*z = 5*z. Let r be 7/((-5 + 1)/(-8)). Let b = r + -10. Do z and b have different values?
True
Suppose -6*h = -50 + 14. Suppose -4 = -5*o + h. Let g be (12/(-5) - -2)*-10. Is g bigger than o?
True
Let l(u) = -5*u - 4. Let g be l(-4). Suppose 16*k = 14*k - g*k. Is k <= -1/45?
False
Let p = -96.2 - 11.8. Which is greater: p or 2?
2
Suppose t - 114 = -2*n, 6*t = t + 5*n + 615. Is t smaller than 119?
False
Suppose 3*j = -j. Suppose 4*d + 16 = -4*w, 108*d = 109*d - 2*w - 11. Is j at most as big as d?
True
Let g = 3 + 0. Let t = 1944.96 - 1945. Which is greater: t or g?
g
Let u(g) = -6*g - 2. Let h(i) = 5*i + 2. Let w(l) = -7*h(l) - 6*u(l). Let v = -7 + 9. Let q be w(v). Do 1/4 and q have the same value?
False
Let b = -1.78 - 4.12. Which is smaller: b or 2/3?
b
Let l = -0.307 + -1.363. Let g = l + 0.67. Which is bigger: -0.6 or g?
-0.6
Suppose 3*r = -3*m + 51, 3*m - 32 = -r + 23. Suppose 0 = -5*a + 24 - m. Which is greater: a or -2?
a
Let u(c) = -9*c**2 + c - 1. Let w be u(1). Let n = 12 + w. Let r be (-106)/150 + 2/n. Which is smaller: 0 or r?
r
Let y be -2*(-10)/(-8)*(-474)/(-395). Let p = -90 + 428/5. Which is bigger: p or y?
y
Suppose 3*k - 408 - 1266 = 0. Suppose -3*t - 3*t - k = 0. Let r = 469/5 + t. Do 0 and r have the same value?
False
Let d(n) = 0 + 1 + 2*n - 5*n + 6. Let v be d(7). Which is greater: v or -13?
-13
Suppose -5*z = -3*g + 239, 0 = 7*z - 9*z + 3*g - 101. Are -45 and z unequal?
True
Let h = -3002 - -3041. Let p be 2/(-4) - (-158)/4. Is p greater than or equal to h?
True
Let z be (-2364)/(-70) + (-12)/(-28) - 1. Which is greater: z or 32?
z
Let m = -154.92 - -161. Let j = m - 0.08. Let f = -6 + j. Which is bigger: f or -8?
f
Let m = -2.5 + 2.9. Let j = -0.37 + m. Is j greater than or equal to 0.2?
False
Let i(h) = h**3 - 3*h**2 + h - 1. Let x be i(3). Let n be (-9)/x*(-16)/(-132). Which is smaller: n or 5?
n
Let q = -96.117 - -0.117. Let a = -95.06 - q. Let l = 0.14 - a. Is l at least as big as 0.2?
False
Let y be 6/8*61/(-3). Let c = -31/2 - y. Which is bigger: -25 or c?
c
Suppose 0 = 15*a - 6*a - 10*a + 17. Suppose -3*m + z = -43, 0*m - 4*m + z + 59 = 0. Which is smaller: a or m?
m
Let o be 1/1 - (9 + -2). Let z(b) = -245*b + 1221. Let m be z(5). Is o != m?
True
Let v = -0.93 - -52.93. Let z = -50 + v. Let x = -2 + 0. Which is bigger: x or z?
z
Let j be (-1)/9 - (-2)/12. Suppose 5*u - 4*u = 5. Let m = -6 + u. Which is smaller: j or m?
m
Let s(b) = 5*b - 95. Let t be s(19). Which is bigger: t or 1184?
1184
Let m(u) = u**3 - 31*u**2 - 38*u + 192. Let k be m(32). Which is greater: k or -36/59?
k
Let r = -157 - -187. Which is greater: 59/2 or r?
r
Let i = -35.15 - -0.15. Let k = i + 33. Is k <= 1?
True
Let g be ((-3)/(24/68))/((-14)/(-28)). Is -22 at least g?
False
Let u(h) = 3*h**3 + 34*h**2 + 5*h - 58. Let q be u(-11). Which is smaller: 18 or q?
q
Let f = -1/5835 + -69949/414285. Is f > -1?
True
Suppose j = -2*j + 2844. Let t be j/238 + -6 + 2. Is t less than or equal to -1?
False
Let u be (3/9)/(5/60). Let x be 1/(185/45 - u). Which is smaller: 66/7 or x?
x
Let j = -0.727 - -0.67. Let o = j + 0.367. Let i = 13.31 - o. Is 1 < i?
True
Let h(b) = -b + 1. Let m be h(-1). Let z = 2 - m. Let u = 2/87 + 421/609. Which is smaller: z or u?
z
Let y = 575 + -574. Which is bigger: 138 or y?
138
Suppose -8 = -2*r - 2*r, 0 = -2*f + r + 44. Suppose -6 = 3*v + 2*b + f, b - 57 = 5*v. Which is greater: -6 or v?
-6
Let v(k) = k**2 + 9. Let r be v(6). Let c(q) = -4*q - 32. Let z be c(-19). Are r and z unequal?
True
Let d = 735 + -718. Suppose w + 3*y - 24 = 0, w + 2*w - 3*y = 48. Do d and w have the same value?
False
Suppose 4*c = -4*u + 8 - 0, u = -3*c + 10. Let g = -17 + 17.18. Let m = -2.18 + g. Is u equal to m?
True
Let c(a) = a**3 - a**2. Let m be c(3). Let h be (-4)/m - (-21)/(-27). Let p be 6/27 + (-48)/378. Is h > p?
False
Let g be (24/(-16))/((-3)/20). Suppose 27 = -g*i - 213. Is i bigger than -24?
False
Let f = -6740/17 - -394. Let c = 1942/731 + f. Which is smaller: 1 or c?
c
Let p = 0 - -4. Suppose p = 5*q + 19. Let f = 40 - 169/4. Is f less than q?
False
Let u = 1150.97 - 1151. Which is smaller: -11 or u?
-11
Let i be (-160)/1560*(-9)/(-46). Is i >= 1?
False
Let v = 4 - 4.05. Let u be 27/(-21) + -2*(-3)/6. Is v smaller than u?
False
Let z(m) = -m**3 + 11*m**2 - 15*m - 18. Let o be