t(a) be the third derivative of -17*a**4/24 - a**3/3 - 22*a**2. Let i be t(-2). Is i at most 32?
True
Let j = 135 - 186. Let w = j + 51.1. Which is smaller: w or 26?
w
Let o be (-2 + 1)*7/((-7)/2). Suppose -o*g + 31 = 5. Is g bigger than 13?
False
Let m be -1 + 0 + (0/7)/(-5). Let w be (1/105)/((-10)/605). Let s = -9/35 + w. Is m at most s?
True
Suppose -4*p = -12, 0 = -3*a + 5*p - 25 + 7. Let x be 159/(-21) + -2 + a. Are -10 and x non-equal?
True
Let x(q) = 12*q - 157. Let h be x(0). Is -157 != h?
False
Let m be (-20)/80 - (-1 - 6991/(-40)). Let k = 174 + m. Is k at most -1?
False
Let v = -0.61 - 0.53. Let w = -559 - -558.86. Let t = v - w. Which is smaller: t or 0.13?
t
Let d = -0.017 - 24.883. Let n = 4.9 + d. Let a = n - -19. Which is smaller: a or 8?
a
Let q be 70/(-700)*8/10. Let k be (18/27)/(2/(-3)). Which is smaller: q or k?
k
Let m = 403 - 371. Which is greater: -0.1 or m?
m
Suppose 58 = -d - 31. Let r = 120052/5 - 24100. Let q = r - d. Do -3/5 and q have different values?
False
Let z be 12/(-42) - 10/63. Suppose 3*r + 6 = 3. Which is bigger: z or r?
z
Let n = -928 - -10194/11. Is n less than 0?
True
Let s = 0.28 - -14.72. Let j = s + -32. Let a = j + 14. Are a and 1/4 nonequal?
True
Suppose x - d - 11 = 0, x - 9*d = -5*d + 8. Do x and 3 have the same value?
False
Suppose 18*b + 9 = 9*b. Suppose 25 = 4*v - 7. Let w(g) = -g + 10. Let t be w(v). Are b and t equal?
False
Let l = 1574 - 1814. Which is smaller: -242 or l?
-242
Suppose 8882 = 32*x + 1362. Which is smaller: x or 234?
234
Let t(y) = 2*y**3 + 4 - 8*y**2 - 3*y**3 + 2. Let x be t(-8). Let v = x + -20. Is -13 bigger than v?
True
Let x be (-2)/5 + (-36)/10. Let u = -37 - -34. Which is bigger: x or u?
u
Let h(r) = r**3 - 7*r**2 - 18*r + 6. Let i be h(9). Suppose i = 2*m, u = 2*u + 5*m + 65. Does -79 = u?
False
Let s be (-2)/(8/(-125)) + 7 + -12. Let f = 26 - s. Let u be (-2)/(-7) - (-4)/(-14). Which is greater: u or f?
u
Let p be 0/(-1) + 1360/289. Is 6 greater than or equal to p?
True
Let b = -17 + 19. Let i = b + -5. Let f be -1 - i*6/9. Is f >= 1/2?
True
Suppose -10*v + 2*q + 8 = -7*v, -5*q - 20 = -3*v. Is 3/428 at least v?
True
Suppose 2*t + r - 260 = -2*t, 0 = -5*t - 3*r + 325. Let j = 64 - t. Is -2/113 smaller than j?
False
Suppose u + 4*f + 10 = -u, f = -3*u + 5. Let j(i) = u*i**2 + 2*i + 3 + i**3 - i + 3*i. Let o be j(-2). Which is greater: -2/7 or o?
-2/7
Suppose s - 22 = -39. Suppose -7*b + 4*b = -9. Suppose -g - 15 - b = 0. Which is smaller: g or s?
g
Suppose 0 = -c + 4*c - 12. Let n = 168 - 165. Suppose -c*w + 3*j = n, 2 + 1 = -2*w + 3*j. Which is smaller: w or -1/3?
-1/3
Let f(d) = -d**3 + 38*d**2 + 166*d + 48. Let n be f(42). Which is smaller: n or -35?
n
Suppose -3*b - b = -192. Suppose 2*q + b = -2*q. Let o be (-27)/60 - q/(-16). Are o and -1 equal?
False
Suppose n = -14 + 45. Let w(c) = 5*c - 5. Let q be w(7). Which is bigger: n or q?
n
Suppose -3*r = -9, -3 = -3*h - h - r. Suppose d - 3 - 5 = 2*u, 4*d + u + 4 = h. Let w be (-2 - -2)/((-2)/2). Is d less than w?
False
Suppose 3*c = 5*u + 50 - 5, 3*c - 9 = -u. Let a(j) = j**3 + 5*j**2 - 6*j - 4. Let p be a(u). Let x be (-4)/(-12)*(1 + p). Are x and 2/5 non-equal?
True
Let h(q) = -4*q + 5. Suppose -2*u - 3 = -3*u. Suppose -u*c = 2*c - 10. Let w be h(c). Which is bigger: -2 or w?
-2
Let k be (-66)/(-4)*(-1)/18. Suppose -3*m - 28 = 4*l - 0, 0 = -2*m + 3*l + 21. Which is greater: k or m?
m
Let d = -513.95 + 490. Let l = -24 - d. Let u = -0.15 - l. Which is greater: u or -1.6?
u
Let x = -4.5 + -0.6. Let r = 5 + x. Let i be 2/(-6) + 2/4. Which is smaller: r or i?
r
Let t = -86017/66 - -7817/6. Let x be 28/5 + (-4)/(-10). Let d be x/(-4) + (-2)/(-4). Which is smaller: t or d?
d
Suppose 29 = 14*a + 15. Is -284 at least as big as a?
False
Let h = -30 - -62. Suppose j = -j - 4*f + 6, 4*j - 3*f + h = 0. Do j and 0 have the same value?
False
Suppose 4*o - 16 = 3*o. Suppose 2*m + 2 - o = 4*u, 2*m = 2*u + 6. Let v = u + 5. Is v > 1?
False
Suppose -3*b + 5*v = v + 75, -4*v + 96 = -4*b. Let o be ((-7)/b)/(3/18). Is o greater than -3?
True
Suppose -8*z = -6 - 42. Let s = 208 + -610/3. Which is smaller: z or s?
s
Let g be ((-114)/(-1995))/((-2)/10). Is g at most as big as -1.63?
False
Let m = -2792 + 1948. Do 0.1 and m have the same value?
False
Suppose 5097 + 7737 = 18*n. Is 714 at most as big as n?
False
Let k = 6295 - 14056737/2233. Let h = -4604/154077 - k. Let g(t) = t**2 + 6*t. Let x be g(-6). Which is greater: h or x?
x
Let u be ((-32)/36)/(10/45). Suppose 5*c + 23 = -i, -2*i + i = -2. Is c bigger than u?
False
Let c be (7174/4)/(225/30). Let t = c + -239. Which is smaller: 0 or t?
0
Suppose -22*f = -19*f - 6. Suppose -5*y + 6 = -4*y + f*j, -j + 30 = 5*y. Is -1 smaller than y?
True
Suppose 0 = 87*i - 77*i. Which is greater: i or 0.81?
0.81
Let o = 0.189 - 0.589. Which is greater: o or 1/2?
1/2
Let y = -3 - -5. Suppose -1 + y = -u. Let v be u/2*(-20)/(-135). Which is smaller: 0 or v?
v
Let c = -10/67 - -914/737. Which is smaller: c or 2?
c
Let k = 63 + -66. Let s be k/(-6) - (-1)/2. Which is smaller: -3/17 or s?
-3/17
Let b = -124 - -141. Let q be 41/(-3) - (-6)/(-3). Let n = q + b. Which is bigger: 1 or n?
n
Let i be (-9)/18*(0/2)/(-3). Let q be 2*-1 + (3 - 2). Let g be 3/(-2)*q/(-3). Which is bigger: g or i?
i
Suppose -c - 21 - 32 = 4*b, 62 = -4*b + 2*c. Let h = b - -27/2. Is h less than -1?
False
Let l = 20 + -1. Let r = l + -18. Which is bigger: r or 3?
3
Let o = 22 + -18. Suppose o*b - 1 = -25. Suppose -4*c - 32 = -0*c. Which is smaller: c or b?
c
Suppose -305 = 31*v + 36. Is -119/12 bigger than v?
True
Let j(i) = -16*i + 5. Let u be j(-7). Let l be (-52)/u*(0 - -3). Does -1 = l?
False
Let j(o) = o + 5. Let t be j(9). Which is smaller: t or 9?
9
Suppose 3*k - 309 + 48 = 0. Let i be 89*3/k - 3. Which is greater: 1 or i?
1
Suppose 8*b - 178 = -594. Let h = 42 + b. Which is bigger: h or -11?
h
Let p = 7 + -5.2. Let g = 67 + -68.8. Let r = p + g. Which is bigger: r or -0.6?
r
Suppose 1520 = -100*n + 110*n. Which is smaller: n or 155?
n
Let g be (-12)/2 + (1 + 1 - -3). Is g < 135?
True
Let r = -7/2 - -9/14. Let k be -3*(28/(-12) - -3). Is r > k?
False
Let v = -245 + 247. Suppose -3*u = -5*h + 116, -3*h = -u - 0*u - 72. Let p = -18 + h. Which is smaller: p or v?
v
Let a be (-81)/(-372) - (-10)/(-40). Which is smaller: a or -1?
-1
Suppose 3*f + 2*r - 5 = 0, 0 = -5*f + r + 3*r + 23. Let t be (0 - (0 + 0)) + 6. Suppose f*d - t*d = 3. Is -2 less than d?
True
Let q = 37.55 - 39. Which is smaller: -1 or q?
q
Let k be (-33)/30*18/15. Which is smaller: 0 or k?
k
Let m(b) = b**3 - 16*b**2 - 13*b - 54. Let f be m(17). Is 0 at least as big as f?
False
Let v(z) = z**3 + 11*z**2 + 12*z + 17. Let s(x) = -x**2 + 1. Let w(u) = -2*s(u) + v(u). Let r be w(-12). Which is smaller: r or 12?
12
Let k(a) = -3*a - 67. Let p be k(-23). Which is smaller: -1.29 or p?
-1.29
Let p = 15064 - 15235.43. Let a = p - -170. Let q = 1.4 + a. Which is smaller: 2 or q?
q
Suppose 3*i - 4*i = 3. Let p be -3 - 2/(-6)*i. Let r be (-31)/p + (-3)/4. Which is greater: -2/3 or r?
r
Let j = -3/1057 + 3471/105700. Let o = j + -11/700. Is 1 bigger than o?
True
Suppose 3*h + h - 4 = 2*z, 8 = -4*h + 5*z. Let a be 5/(-15)*0 + 26/6. Is a at least as big as h?
True
Let m = 0.575 - 0.475. Is -57 < m?
True
Let i(v) = -3*v**3 - 7*v**2 + 11*v + 7. Let k be i(-4). Which is greater: 40 or k?
k
Suppose 12*f - 16*f = -240. Let z be ((-8)/11)/(10/f). Is z less than -3?
True
Suppose 0 = 5*c + 4*c + 36. Let m(d) = 2*d + 8. Let f be m(c). Let r be (2/4)/((-18)/(-8)). Does f = r?
False
Let q be -1 + (-2)/(0 + 1). Suppose -5*r + 28 = -y - 10, -4*r - 2*y + 36 = 0. Let j be r/2 - (-80)/(-12). Which is greater: q or j?
j
Let k = 4784/29 + -165. Let s = -7/29 - k. Which is smaller: -1 or s?
-1
Let y be -3*5*(-1)/(-3). Let d = -7 - y. Let r be d + -1*7/(-4). Do -0.1 and r have different values?
True
Suppose -11*p + p - 30 = 0. Let s(m) = -m**3 - 2*m**2 + 3*m - 1. Let w be s(p). Which is smaller: w or 0.3?
w
Suppose 14 = 5*i + 54. Let p = 14 + i. Let z be (-3)/p - (-19)/(-2). Are z and -8 unequal?
True
Let l(s) = -7*s**3 + 6*s**2 - 2*s - 3. Let k(r) = 15*r**3 - 13*r**2 + 4*r + 6. Let m(i) = -4*k(i) - 9*l(i). Let z be m(-1). Does -4 = z?
True
Let i(a) = -2*a - 5 + 5. Let d be i(1). Let s be 7 + ((