 Is o less than -1?
False
Let u(m) be the second derivative of -m**5/20 - m**4/2 + 5*m**3/3 + 5*m**2/2 - 11*m. Let k be u(-7). Which is greater: -17 or k?
k
Let p = -679 + 679. Are -3/301 and p non-equal?
True
Let g = 1671 + -1670.54. Is 1/9 less than or equal to g?
True
Suppose 3*a - 5*w + 206 = 0, a - 4*a - 3*w - 246 = 0. Let m = a - -109. Suppose -4*u + m = 28. Which is smaller: u or 12?
u
Let v = -0.4 + -0.2. Let q = 0.2 - 1.6. Let u = q + v. Which is bigger: u or 0.1?
0.1
Let t(i) = -i**3 + 9*i**2 - 7*i - 19. Let c be 3/(-5) - 301/(-35). Let r be t(c). Which is bigger: r or -9?
-9
Let s be 5/(((-84)/20 + 4)*1). Let v be (65/s)/(2/(-6)). Which is smaller: v or 1/3?
1/3
Suppose -12*p + 310 = -2*p. Suppose -p*v = -36*v. Suppose 3 + 9 = 4*a, a = -4*w - 1. Which is smaller: v or w?
w
Let f = 21147 - 21143. Let z = 2740 - 30169/11. Let d = -181/77 - z. Which is smaller: d or f?
d
Let q(t) be the third derivative of -t**5/60 + 17*t**4/24 + 37*t**3/6 + 9*t**2. Let g be q(19). Which is bigger: 50 or g?
50
Let a be (4 - (2 - 2)) + -1*23. Which is smaller: a or -22?
-22
Suppose -3*z = 2*z - 25. Let q = -13 + z. Let u = q - -2. Which is smaller: u or -7?
-7
Let t be ((-5)/205)/(2/(-45096)). Let p(n) = 62*n**2 - 4*n + 4. Let v be p(3). Let g = t - v. Is g bigger than 0?
False
Let v be 9*(48/9 - 4). Suppose -3*a + a = v. Are a and -2 equal?
False
Let x be 120/(-36)*(-6)/172*1. Is x at most -1?
False
Let f = 7 - 8. Suppose -23 = -0*h + h + 4*t, 3*h + 85 = 4*t. Which is smaller: h or f?
h
Suppose -23 = 1911*t - 1888*t. Is -1/1988 equal to t?
False
Let z be (6/27)/(1/174). Let t = -38 + z. Which is greater: t or 6?
6
Let k = -251 - -250.98. Is k bigger than -38?
True
Let h be -1*(2/(-519))/((-6)/18). Which is bigger: 0 or h?
0
Suppose 9*a + 21 = 6*a. Let r(h) = -5*h. Let q be r(a). Suppose -2*z + 39 = 3*z - 3*g, 5*z - q = 5*g. Which is greater: 10 or z?
10
Let b = -154 + 118. Let u be ((-111)/6)/(1/2). Does b = u?
False
Let i(a) be the third derivative of a**4/24 + a**3/6 + 11*a**2. Let f be i(0). Is 3/2 greater than f?
True
Let p be (-30)/(-12)*154/660. Suppose 3*m = 5*m. Is m at most as big as p?
True
Suppose 0*b - b + y = -24, -128 = -5*b + y. Let t = b - 22. Suppose 0 = 4*c - 5*k + 4, -16 = 2*c + 5*k - 44. Is t greater than or equal to c?
True
Let m be 5/((-30)/8) + 97974/73521. Is m >= 0?
False
Let w = 0.0414 + -720.0414. Is w < 1?
True
Let w = 2239 - 2184. Is 58 < w?
False
Suppose 3*z - 8 = -4*s + 2*s, -s = -3*z + 14. Suppose -15 = -z*y + y. Suppose 3*h - y*x + 2 = 0, -2*h - 3*x + 8 = 3*h. Is h less than 11/6?
True
Let n(z) = -38*z + 5. Let h be n(3). Let a = h - -433/4. Is a bigger than 0?
False
Let s(z) = z**3 + 9*z**2 - 10*z. Let g be s(-10). Let x be ((2 + g)*3)/1. Let f be (2/x)/((-5)/165). Is f > 2/3?
False
Let p(g) = 23 - 11*g + 42*g - 17*g - 12*g. Let t be p(7). Does 36 = t?
False
Let k be 1590/(-130) + (1 - 0). Is k < -12?
False
Let v = 230401/55 - 4189. Which is bigger: 1 or v?
1
Suppose 5*b + 17 = 7. Let l be (-9 - 17/(-2))/(b/(-3)). Is l >= -1/5?
False
Suppose -2*b + 15 = -11. Suppose -11*v = -b*v + 28. Let i be v/105 + (-17)/15. Which is smaller: i or -2/13?
i
Let p = 2 - 7. Let i = -11 - p. Suppose 6 = -4*z - 14. Which is bigger: i or z?
z
Let s(l) be the first derivative of 2*l**2 - 13*l - 3. Let a be s(5). Suppose -o + 2*j + 12 = -0*j, -3*j = o - 2. Is a <= o?
True
Suppose 4 = -3*n + o, -5*n + 5*o + 0*o = -10. Let u be (-1)/(-7) - (-1086)/(-546). Are u and n equal?
False
Let s(q) = q**3 + 6*q**2 - 10*q - 7. Let l be s(-7). Let u = l + -20. Let x = u + 25/4. Which is greater: x or -4/11?
x
Suppose f = 3*w - 33 - 1, 50 = -f - 5*w. Is f not equal to -116/3?
True
Suppose -w - 32 = -5*f - 138, -2*w = 2*f + 40. Suppose -k = 2*y + 2*k + 29, 4*k = -5*y - 90. Which is greater: y or f?
f
Let q = 4 - 8. Suppose -18*i - 240 = 22*i. Which is bigger: i or q?
q
Let x = -17 - -2. Let d = -18 - x. Let g = d - -3. Which is smaller: 1 or g?
g
Suppose -25 = 5*p, 0 = 2*k - 3*p + p - 1510. Suppose 0 = -9*z + k - 156. Are 65 and z equal?
False
Let l = 256.1 + -256. Let p be 4 + -2 - 37 - 2. Which is smaller: l or p?
p
Let s(n) = -n**3 - 7*n**2 - 4*n + 10. Let c be s(-5). Which is greater: -2/13 or c?
-2/13
Let d = 19.3 - 18.8. Is 8 smaller than d?
False
Let i = 0.6 + -2.6. Let f = -30.45 + 2.55. Let p = -28 - f. Which is greater: p or i?
p
Let r be -3 + 13 + (1 - -1). Suppose -r = 10*l - 4*l. Let o = -6 - l. Is -4 at least as big as o?
True
Let p = 60853/37 - 1645. Is -1 < p?
True
Let k = -148 + 96. Let i = k + 17. Which is bigger: -36 or i?
i
Let d(q) = -4*q**3 + 13*q**2 - 20*q + 1. Let v be d(2). Is v greater than -5?
False
Let t = -53 - -38. Let a be t + -3 + 4/2. Is a at most as big as -15?
True
Let n(h) = h**2 - 16*h - 50. Let d be n(-8). Is d at least as big as 143?
False
Let g be (28/6)/((-7)/(-42)). Suppose 10*t - 3*t = g. Suppose -t*u = -0*u. Are u and 2 unequal?
True
Suppose -4*i - 17 - 7 = 0. Let q be i/(-4)*(-40)/(-15). Let c be ((-9)/(-4))/(1/q). Is 9 less than c?
False
Let y = -1131 - -1095. Which is greater: y or -1.4?
-1.4
Suppose 2*x + 4*l - 11 = -x, 4*x + 5*l = 13. Let f be (-2 - (-4 - x))*-1. Which is smaller: 1/4 or f?
1/4
Let y = -3 - -2. Let a = -120 + 125. Suppose -2*j = -2*p + 4, 5*j = -2*p + a*p - 6. Is y less than p?
True
Let j = 0.0496 - 1.0496. Which is greater: 0.61 or j?
0.61
Suppose q + 1 - 3 = 0. Let d be (-5 - -1) + 3 - 7. Let x be -1 - 4/d*q. Which is smaller: -3/13 or x?
-3/13
Let w = 397 + -703. Let n be w/15 - 4/(-10). Let d be (-1)/4 - 13/n. Which is bigger: -1 or d?
d
Suppose 3*a - 21 - 33 = -3*u, 0 = -2*u - 3*a + 39. Which is smaller: -1/5 or u?
-1/5
Suppose 6*l - 1370 + 206 = 0. Let k = -7761/40 + l. Are 0 and k equal?
False
Let m = 0 - 13. Let w = m + 11. Let r be 5 + (-2 - -3)*w. Which is smaller: 5 or r?
r
Suppose 10 - 4 = 2*l. Suppose -4*f + 2*y - 404 = -152, -5*y - 215 = l*f. Is f greater than or equal to -64?
False
Let s = -501 - -498. Are s and -24/11 non-equal?
True
Let x be (7 - (-2 - 69))/(1/1). Which is greater: 313/4 or x?
313/4
Let j = -95303680/249 - -382749. Let m be (-474)/(-664) + 0 + 267/(-356). Let g = j - m. Which is bigger: 3 or g?
g
Let u = -306 - -724. Which is greater: 1 or u?
u
Let i = 9 + -14. Let a = 10 + i. Suppose a*j + 10 = 0, -4*v + 2 = -0*v - 3*j. Is v smaller than -2?
False
Let k be (606/(-18)*-3)/((-2)/6). Let v be (3 - k/(-99))/((-3)/(-9)). Is v bigger than 0?
False
Let h = -8 - -18. Let m = 52 + h. Suppose -5*l - 2*b = 2*b + 78, 5*l = 4*b - m. Is l at most as big as -14?
True
Let u = -89 - -60. Is -28 > u?
True
Let d = -719863268/69 + 10433166. Let i = d + -365. Is -1 equal to i?
False
Let y = 3 - 3. Let x = 29 + -31. Let s = -11 - x. Is y greater than or equal to s?
True
Let b = 11 - 7. Let w = b - 1. Let d = -1 + w. Which is smaller: d or -2/7?
-2/7
Let h = -14 - 1. Does 3 = h?
False
Suppose 5*r + 75 = 3*x - x, 2*x - 68 = -2*r. Which is smaller: x or 3?
3
Let y(t) = 2*t**2 - 7*t + 4. Suppose 0 = -4*l + 10 + 6. Let f be y(l). Suppose -3*w + f*w = 30. Which is greater: w or 1?
w
Let t be -12*(57/(-65) - (-16)/20). Let l = 4 + -4. Are t and l nonequal?
True
Suppose -127 = -5*t - 167. Let s = -24 - t. Is s less than or equal to -14?
True
Let d be 2/(-4) - 104/(-400). Which is bigger: d or -1?
d
Let y(q) = 12*q - 228. Let m be y(17). Which is smaller: 0.2 or m?
m
Let c(p) = 19*p**3 + 2*p - 1. Let n be c(1). Suppose 0 = -2*k - j - 171, 2*j = -2*j - n. Which is greater: k or -82?
-82
Let x be (-3 - 0) + 245/80. Is 1 less than x?
False
Let j = 2.396 + -0.396. Which is greater: -1 or j?
j
Let q(i) = 2*i - 15. Let u be q(7). Let m = 0 - 4. Let n be u - (108/21)/m. Is n less than -2/3?
False
Let f(w) = 3*w**2 - 2*w + 3. Let c be f(-7). Let q be (-3)/(-15) + c/(-120). Is q > -1?
False
Let s(a) = -3*a**2 - 1. Let y be s(1). Suppose q - 14 = -15*h + 13*h, -q + 4 = 0. Let l be (1 + y/h)*-1. Which is greater: l or -1?
l
Suppose -24 = -5*h - 9. Let b be -2 - (-5)/h*2. Which is smaller: 1 or b?
1
Let y be 23/((-322)/(-4648))*(-3)/28. Which is greater: -35 or y?
-35
Let a = 3/15016 - 1105192667/255272. Let h = 4327 + a. Which is greater: -1 or h?
-1
Suppose -3*o = -o - 8. Let s be -2 - (-1 - (o - 4)). Let h be 8/(-45) - (-4)/(-18). Which is bigger: h or s?
h
Suppose -14*c + 9 = 37. Which is g