3 + 3*a**2 - 8*a - 8. Let d be v(3). Which is smaller: -0.2 or d?
d
Suppose -73 = -37*d + 112. Suppose 0 = -5*h + 8 + 7. Which is smaller: h or d?
h
Suppose 38 = 2*g + 32. Suppose g*t + 5 = -13. Which is bigger: t or -7?
t
Let s(x) = x**2 - 2*x + 5. Let i be s(-3). Suppose 10 = -30*h + i*h. Let q = 192/7 + -27. Which is bigger: h or q?
q
Let p be ((-6)/14)/((4 - 5)/7). Let f(u) = u**3 - 7*u**2 + 5*u - 2. Let x be f(p). Which is bigger: -22 or x?
-22
Let z = -482 + 54465/113. Which is bigger: z or 0?
0
Let f be 3377/11011 - 2/7. Which is bigger: f or -1?
f
Let h(k) be the third derivative of k**5/60 - k**4/8 + 5*k**3/6 - 22*k**2. Let c be h(2). Let s = 0 + 4. Which is smaller: c or s?
c
Let o(d) = d**2 + 17*d + 26. Let l be o(-11). Let j = -23 - l. Is j < 17?
False
Suppose -4*w - 3*n + 21 = -w, -3*w + 21 = -4*n. Suppose 4 - w = -p. Suppose -i = -p*i - 2. Which is bigger: -1/2 or i?
-1/2
Let x be (2 + -5 + 57/(-1))/1. Is -62 equal to x?
False
Let v = -191 + 265. Is v <= 3?
False
Let s be 6*(-9)/(-6) - 3. Let p be ((-2)/4)/((-27)/s). Is -1 greater than p?
False
Let b = 26 + -36. Let g be (-35589)/(-63) + b/(-15). Let u = 567 - g. Does 2 = u?
False
Let l be 5136/100*(-5)/34*-20. Let m = -151 + l. Which is smaller: m or 1?
m
Let h = -235 - -236. Let a be (-891)/(-45) - 1/(-5). Let n be -2 + 2 - a/(-22). Which is greater: h or n?
h
Let o = -68 - -38. Let a be 18/(-7) + -1 + o/70. Let f be -1*(-2 - 0)/2. Which is greater: f or a?
f
Suppose -6*i = -i. Let j be (14/28)/(-1*4). Is i < j?
False
Let c = -48 + 48. Suppose 3*m - 5*n - 33 = 145, m + 3*n - 64 = c. Which is greater: m or 62?
62
Let x be 32/10 + (-2)/1. Let q = 32 - 27. Suppose -s - q = -6. Which is bigger: x or s?
x
Let j be (58/(-5))/((-38)/(-95)). Let r = -41 - j. Which is smaller: r or -11?
r
Let h = -72.4 - -74. Let g = -2.4 - -3. Let l = h - g. Which is bigger: -3 or l?
l
Let v(a) = 3*a**2 - 2*a. Let q be v(2). Let b be ((-44)/18)/(q/12). Is 2 at least as big as b?
True
Suppose 5*k = 4*n + 171, 2*k + 103 = -2*n + k. Let v = -2.5 + 2.6. Which is smaller: v or n?
n
Suppose 2 = -2*s + b + 21, -2*s + 7 = -5*b. Let i be s - (-2)/((-4)/6). Let f = i + -7. Which is bigger: 0.09 or f?
f
Let p(x) = x**3 + 19*x**2 + 2*x + 34. Let g be p(-19). Let z = g - -5. Do z and -3/13 have the same value?
False
Let u = -7 + 2. Let m be 16/4*u/4. Let s = m + 6. Is 1 >= s?
True
Let f be (-9)/(-24) - 185/(-40). Suppose 2*y - 5*o = 68, 4*y = -f*o + 204 - 68. Are y and 33 equal?
False
Let o(f) = 3*f + 20. Let m be o(-6). Let r be -1*(2 + 2 + -5). Which is smaller: r or m?
r
Let c = -105 - -232. Is c smaller than -1/2?
False
Let z be (-11)/(-22) + 10/(-4). Let o be z - 90/55 - -4. Is 1 at least o?
True
Let h(f) be the third derivative of -f**6/120 - f**5/3 + 7*f**4/8 + 4*f**3 + 2*f**2 + 33. Let m be h(-21). Is m > 76/3?
False
Suppose j - 3*g = -0*g - 21, -2*j + 8 = 4*g. Is 6 at least as big as j?
True
Let c = -27.23 + -3.77. Which is smaller: -1 or c?
c
Let y be 12 + -13 - (-2 - 1). Let c(p) = -12 + 0*p**y - 9*p**2 - p - p**3 - p + p. Let x be c(-9). Is -7/4 less than x?
False
Suppose -3*w = -r - 20, -2*w = 4*r + 3*w + 148. Suppose 238 = -9*a - 50. Are r and a equal?
True
Let v(x) = 18*x - 129. Let i be v(7). Which is greater: i or 0?
0
Let k(a) = -a**2 - 5*a. Let s be k(-6). Let b be (s/(-9))/((-8)/42). Is -5 at most b?
True
Suppose -2 = 5*z + 2*d, d = -5*z - 4*d - 5. Let f = -289947/1480 - -839/185. Let j = 191 + f. Is j < z?
True
Let f = 5 + -3. Suppose -4*h + 3*x = -10, -50*x = -h - 47*x - 2. Which is smaller: h or f?
f
Let f(k) = -k - 5. Suppose -x + g - 2 = -2*g, g + 32 = -2*x. Let p be f(x). Which is smaller: 6 or p?
6
Let a = 948 - 943. Which is smaller: -2 or a?
-2
Let o = -111 + 53. Let m = -47 - o. Which is smaller: m or -4?
-4
Let v = -412 + 441. Is v greater than or equal to 31?
False
Let t = -10 - -15. Suppose -t*o + 9*o + 72 = 0. Let v be 21/7 + 58/o. Which is bigger: -1 or v?
v
Let o(j) = -j**3 + 9*j - 9. Let x be o(2). Which is smaller: 2/17 or x?
2/17
Suppose -111 + 3 = 3*c. Let q = 12 + -9. Let x be q*(88/(-6) + 3). Which is greater: x or c?
x
Let i(c) = c + 18. Let n = 7 - 17. Let x be i(n). Is 8 < x?
False
Suppose -2*u + 4*w = -6*u + 4, -u - 8 = 4*w. Suppose 0*t = 3*t - 5*s + 40, u*s + 36 = -t. Is t equal to -20?
True
Let d = -281 - -250. Which is greater: d or -2/17?
-2/17
Let c(v) = v**3 + 11*v**2 - 2*v - 10. Let m be c(-11). Suppose 6*l - 3*l - m = 0. Let s be (7 + (-7 - -4))/l. Which is smaller: 0.02 or s?
0.02
Suppose 1 + 7 = -4*n + 2*c, 5*n - 16 = -4*c. Let s be 10/6 + 13/(-195). Which is smaller: n or s?
n
Let s = 4.4 - 4. Let c = 21 - 15. Let n = 3 - c. Are n and s non-equal?
True
Suppose -9 = g - 5*z, -4*z = -3*g - 9 - 7. Let b = g + 9/2. Which is greater: b or 2?
2
Suppose 5*y - 5*c + 655 = 0, 4*c + 101 + 149 = -2*y. Is y greater than -131?
True
Let t = -1.2 + 1. Suppose 4*r = 28 - 0. Suppose -2*y + r = -1. Is y > t?
True
Let x(m) = 34*m - 41. Let c be x(-3). Which is smaller: c or -142?
c
Let s be (-194698)/126 + ((-22)/(-18) - 1). Which is smaller: 0 or s?
s
Let u = -4 - -7. Let f(l) = -4 + 5 - 7 + 10 - 7*l. Let z be f(u). Which is smaller: 1 or z?
z
Let j = 205.7 - 380.5. Let x = j + 162.67. Let s = -12 - x. Which is smaller: s or 0?
0
Let f be 1548/27 - (2/6 - 0). Let g = f - 57. Which is bigger: g or -2?
g
Suppose 3*w - w = -3*w. Suppose 5*k - 5*a + 8 = -2, k + 5 = -2*a. Which is bigger: w or k?
w
Let j = -237 - -240. Is 1 smaller than j?
True
Let n = 5247 + -445996/85. Let f = 2 - 1. Which is smaller: n or f?
n
Let q(n) be the first derivative of n**4/4 + 7*n**3/3 + 3*n**2 + n + 34. Let m = -12 + 6. Let j be q(m). Is 1 greater than j?
False
Suppose -5*d + 4*l - 1 = -16, 16 = 4*d - 4*l. Suppose 5*r + 2 = -8. Let j be d + 25/(-27) - r. Is 0 >= j?
False
Suppose -5*y - 4*u + 722 = -181, 4*y - 4*u = 708. Which is greater: y or 180?
180
Let m = 342 - 489. Let z = -102 - m. Let d be 28/z + 6/(-15). Is 1 less than or equal to d?
False
Let z = -271.9 - -253. Let c = z + 19. Is c less than -0.2?
False
Suppose 116*s + 50 = 111*s. Suppose 4*q + 15 = 9*q. Suppose -4*r + 40 = -q*b, 2*b + 3*b + 52 = 3*r. Is s at most b?
True
Let s(l) = l**3 + 4*l**2 - 5*l + 4. Let n be s(-5). Suppose 8 = -3*q + n*q. Suppose 3*i - 7*i + q = 0. Is i at most as big as 5/4?
False
Let s be 2 + -9 + (-7 - 1). Is -3 at most s?
False
Let x be 51/119 + ((-6)/14 - 1). Which is smaller: x or 9/112?
x
Suppose -2*b = -6*b + 36. Suppose -5*a + a = 3*q, q - 3*a - 13 = 0. Suppose q*m - b = m. Which is greater: m or 4?
4
Let p = -1.3 + 1.1. Suppose -c + 19 = -5. Suppose c = 4*y - 3*r, 4*y - 2*r = 3*r + 24. Which is bigger: y or p?
y
Let c = 2 + 2. Suppose c = -2*q + a, q + 3*a = 6*a - 7. Let t be (-4)/(-12)*3*q. Is t not equal to 0?
True
Suppose 3*d = 2*w + 18, -4*w - 4*d + 19 = -5*w. Suppose 3*u - 4 = 8. Suppose u*h + 8 = 4. Are h and w non-equal?
True
Let b = -14 - -14.1. Let g be 48/627 + (4/22)/(-1). Are b and g unequal?
True
Let f(b) = -b - 33. Let x be f(-25). Are x and -11 nonequal?
True
Let a be 244/32*(-4 - -6). Let w = a + -1883/124. Is -1 smaller than w?
True
Let s = 281/2 - 141. Is 97 at least s?
True
Suppose 0 = -28*g + 2*g + 26. Is g at most -4/229?
False
Suppose -36*k = -5*k + 31. Do -1/172 and k have different values?
True
Suppose -5*v = 50 - 145. Which is smaller: v or 131/7?
131/7
Let n be 5 - (4 - 20/5). Suppose 2 + 3 = n*u. Is u >= 1?
True
Let s be (-164)/90 - 6/(-27). Let h(p) = 9*p + 12. Let r(u) = u - 1. Let v(t) = -h(t) + 4*r(t). Let k be v(-3). Is k > s?
True
Suppose 5*u - 10 = -m, u + 7 = -5*m + 33. Which is smaller: u or 2/117?
2/117
Let i = 329 - 348. Is i greater than or equal to -19?
True
Let z(k) = -k**3 + 3*k**2 + 10*k. Suppose 5*d = 8 + 17. Let y be z(d). Suppose y = -l - 1, 0 = -2*t - 4*l + 2 - 6. Is t != -2/35?
True
Let k = -27 + 48. Let d = 18.7 - k. Which is smaller: d or -2?
d
Let h be -11 + -2 + (-4268)/(-332). Which is smaller: -1 or h?
-1
Let h = 0 - -19. Suppose 3*n = 4 - h. Suppose 4 = -f - 0*f. Does f = n?
False
Let g(l) = -2*l**2 - 39*l - 98. Let j be g(-3). Which is bigger: 6/121 or j?
j
Let l = 1951 + -1366. Is l at least 2?
True
Let q = 2795.018 - 2795. Let a be (-1)/(1 - 2)*-1. Is a less than q?
True
Let g = 1982 - 1981. Which is bigger: g or 369?
369
Suppose -2*f + 2 = -5*j