 1). Let z = p + 284. Is z at least as big as 1?
False
Let d be (-2 + -3 - (-15 + 6)) + -255. Is d less than or equal to -251?
True
Suppose -4*z + 7 + 9 = 0. Suppose -a = z*a - 5. Let i be (0 - 0/(-1))/a. Which is smaller: i or -0.3?
-0.3
Let u = 6860/3 - 2287. Suppose -c + 5*c = -4. Is u less than or equal to c?
False
Let a be (12 - 377/26) + (-116)/6. Which is smaller: a or -22?
-22
Let o = -75 - -64. Which is bigger: 0.1 or o?
0.1
Let w be ((-10 - -4) + 2)*-1. Let q be (-153)/18 + (-2)/w. Let f be (16/(-4) - q)/1. Which is bigger: 6 or f?
6
Let n be (-1)/2*(-27 + -9)/3. Let p = -476/11 + 2223/44. Which is smaller: n or p?
n
Let b(u) = -u**3 - 9*u**2 + 3*u + 118. Let g be b(-7). Suppose -3*s - 5*f = -2*s - 21, 2*s = -2*f + 10. Let d = s + g. Is d > 1/5?
False
Suppose -20 = -w - 0. Suppose w = -5*p, -4*v + 2*v = 3*p - 28. Suppose -2*c = -3*c + v. Which is greater: c or 21?
21
Let p(n) = -113*n**3 + n**2 - n + 1. Let y be p(1). Is y smaller than -113?
False
Let z(p) = -4*p**2 + 20*p - 28. Let h be z(7). Which is greater: -85 or h?
h
Let p be 60/(-125)*2/(-4). Is p at least as big as 0.07?
True
Let y = 909679/245 - 3713. Is y != 1/3?
True
Suppose 2*j + 3*u + 133 = 0, 91*j - 3*u + 311 = 87*j. Is j at most -71?
True
Let s = -2/2203 - -110156/6609. Let p = 2353/141 - s. Which is bigger: p or -1?
p
Let w = -8942/41 + 218. Which is bigger: 0 or w?
0
Suppose u = 4 + 5. Let r(q) = q**2 - 7*q - 26. Let a be r(u). Which is smaller: -9 or a?
-9
Let q = 1581 + -1576. Is -13 greater than q?
False
Let h = -1104 + 1103.2. Which is smaller: 4.9 or h?
h
Let y = 2.84 - 0.54. Let a = -2.51 + y. Is a at most 1?
True
Let q(a) = a**2 - 24*a + 22. Let m be q(23). Which is bigger: -1/17 or m?
-1/17
Suppose -58*o + 8 = -66*o. Let u = 12962/27 + -480. Do u and o have the same value?
False
Let y(a) = 14*a + 2. Let p(t) = t**2 + 8*t + 9. Let r be p(-6). Let z be y(r). Let h be 3*(z/84)/5. Is h not equal to -3?
True
Let g = 50 - 47. Suppose -z = -5*z - 16, g = f + z. Which is greater: f or 1/3?
f
Suppose 3*n + 1 = 49. Let m be n - (-10)/(-2) - 4. Let g be (-15)/(-6)*2/1. Is g at least m?
False
Let g be (-3)/(150/8)*(-50)/20. Is g at least -100?
True
Let m = 32.2 - 24.2. Is -0.4 at least as big as m?
False
Let o(r) = r**3 - 5*r**2. Let f be o(6). Let z(l) = -302*l - 569. Let u be z(-2). Is u bigger than f?
False
Let z = 270 + -269. Is 11/19 < z?
True
Let r(u) = u + 3. Let z be r(0). Suppose -z = -s + 4*k + 11, -5*s = -k + 25. Let d(t) = -t + 1. Let n be d(s). Is 7 not equal to n?
False
Let v(j) be the second derivative of -j**5/20 + j**3/3 + 3*j**2 - 24*j. Let u be v(0). Which is smaller: u or 0.3?
0.3
Let k(i) = 2*i - 6. Let z be k(2). Let r(s) = -s**3 + s**2 + s. Let g be r(0). Suppose -5*c + g*t = t - 5, t = -3*c + 5. Is c at least z?
True
Let x(z) = z + 9. Let o be x(-6). Let i be (-333)/(-27) - 0 - 8. Which is bigger: o or i?
i
Let m(o) = -o**2 + 5*o - 3. Let w be m(5). Let l = -3 - w. Let p = l + -2. Are -4/3 and p nonequal?
True
Let d = -12 + 14. Let i be ((-2)/(-1))/(-1 - d). Is i > -2/11?
False
Let d(p) be the first derivative of -11*p**2/2 - 7*p - 3. Let c be d(3). Let g be (3/(-8))/((-12)/c). Is g > -1?
False
Let m = -44 - -30. Let z = m - -15.1. Let i = -82/7 - -396/35. Which is smaller: z or i?
i
Let l = -59 - -46. Let d be 657/(-468) - 2/l. Which is smaller: 0.2 or d?
d
Let m(s) = -s**2 - 18*s - 55. Let x be m(-14). Which is greater: x or -3/13?
x
Suppose -5*w = 2*h + 8, -5*w = -5*h + 12 + 3. Let k be ((4 - 4)/1)/h. Is k less than -11/8?
False
Let n = -78.06 - -78. Is 0.2 at least as big as n?
True
Let p = -180 + 191. Let k be 6/4*(-4)/(-3). Suppose -k*x - x + 27 = 2*w, 0 = -3*w - 2*x + 38. Which is smaller: p or w?
p
Let k be (4/(-3) - 0) + 42/(-63). Is k at least 0?
False
Suppose -4*l - 20 = 5*u - 2*u, 5*l + 25 = u. Suppose u = 14*k - 10*k + 24. Is k < -5?
True
Let n = 0.051 - -19.949. Let p = 14 - -10. Let g = p - n. Which is greater: -2/3 or g?
g
Let p be ((-3)/12)/((-30)/48). Which is bigger: p or -275?
p
Let b be (-6)/8*2/3. Let q = 11.05 - 11. Which is greater: b or q?
q
Let l(x) = -4*x + 5. Let f be l(4). Let w(h) = -2*h - 15. Let n be w(f). Suppose 3*p + 41 = 4*q, 0 = q - 2*p - 3*p - 23. Which is greater: n or q?
q
Let k(h) be the third derivative of h**5/60 + h**4/4 + 2*h**3/3 + h**2. Let p be k(-4). Let b(n) = 4*n + 23. Let f be b(-7). Which is greater: p or f?
p
Let a(x) = -2*x**3 - 35*x**2 + 12*x - 86. Let q be a(-18). Do 1 and q have the same value?
False
Let n(z) = -2*z**2 + 30*z + 33. Let g be n(17). Is -31 less than or equal to g?
False
Let t = -20407/12 + 1698. Let p = t - -5/4. Is -1 > p?
True
Let r = 0 - -3. Suppose 1 = r*p - 2. Which is bigger: -8/17 or p?
p
Suppose 2*h = 3*h + 12. Let x = h + 40. Let w be 6/x*(-35)/(-40). Which is smaller: 0 or w?
0
Suppose 3*b = 4*b - 2. Suppose 0*l = -5*u - 3*l + 27, -5*l + 5 = -5*u. Suppose 4*z + 20 = -b*g, 0 = -g + u*z + 5 - 0. Is g greater than -4?
False
Let p be -8 - -7 - (-42 + 1). Suppose 0 = -4*j + 79 + 41. Let f = p - j. Which is bigger: f or 9?
f
Let c = 43/8 - 373/56. Suppose -55 = 74*l - 55. Which is bigger: c or l?
l
Let i(u) = -10*u**2. Let v be i(1). Let h = v + 3. Let a be 1 - (h - -1)/2. Which is smaller: 6 or a?
a
Let n be ((-6)/4)/(5 + 1). Let j = -25.58 - 0.42. Let r = j - -27. Which is smaller: r or n?
n
Suppose -71*q = -69*q - 4. Does q = 19/32?
False
Let c = 2084 + -22922/11. Which is greater: 24/19 or c?
24/19
Suppose 0*q = -3*s - q + 55, 4*s = -5*q + 66. Is 0 at most s?
True
Let x = 182 - 777. Which is greater: x or -596?
x
Let r = 136 - 92. Let y = r - 37. Is y at least -0.6?
True
Suppose -5*s = -2*z + 10, 5*s = -2*z - 39 + 9. Let p be ((-2 + s/(-2))/1)/(-3). Are p and 2/65 non-equal?
True
Let j = -29.073 + 0.073. Let s = j - -28. Which is smaller: -0.01 or s?
s
Let y be (32/(-9))/2 + 0. Let r = 5749 + -5750. Which is bigger: r or y?
r
Suppose 8 = -17*a + 13*a, b + 4*a - 82 = 0. Is 93 at most as big as b?
False
Let c be ((-27)/12 + -1)*-20. Let q = -457/7 + c. Which is greater: -0.4 or q?
q
Let x(h) = -h - 7. Let l be x(0). Is l not equal to -39?
True
Let j(y) = -3*y**3 + 43*y**2 - 2*y + 14. Let k be j(15). Is -466 at least k?
True
Let w be 1*4/(-102)*(-60)/20. Which is smaller: -1 or w?
-1
Let t(o) = -o**3 - 3*o**2 + o - 1. Let p be t(-3). Let n be p - (3 - 5 - 1). Let q = -285 + 1985/7. Are n and q nonequal?
True
Let s be 16/24*(2 - (-86)/(-46)). Which is greater: 17.8 or s?
17.8
Suppose -5*v - k + 21 = 0, 52*v - 51*v - 2*k = 13. Let m(a) = a**2 - 2*a - 5. Let n be m(4). Which is bigger: v or n?
v
Let k = 33.8 - 34.4. Which is smaller: k or -0.9?
-0.9
Let k = 180659/3783 - 621/13. Let x = 650/4947 + k. Are 1 and x nonequal?
True
Suppose -a + 2*d = -4, -2*a + 30 = a + 3*d. Let l(w) = w**2 + 3*w - 2. Let z be l(-4). Suppose -9 + 2 = -5*p + 2*x, -3*p + z*x = -5. Which is smaller: p or a?
p
Let a(t) = t**2 + 12*t + 19. Let r be a(13). Is 344 at least r?
True
Let y = -0.9 - 7.1. Suppose -17*f + 34 = 102. Is f less than or equal to y?
False
Suppose 3*x = -7*x + 50. Is x greater than 16?
False
Let c = 0.1 + 0.1. Let d = -160 - -156.8. Let n = c + d. Is n at least as big as 0?
False
Let p(i) = i**3 + 30*i**2 + 26*i - 36. Let y be p(-29). Which is greater: 48 or y?
y
Suppose -i - 19 = -4*t + 7, -3*t + i = -19. Which is bigger: t or -10?
t
Let q = 11 + -8. Suppose -2*x + 13 + 19 = -2*h, q*x - 69 = 4*h. Is h not equal to -22?
True
Suppose 9 = 3*o - 6*o. Let m be (o/9)/((-86)/(-12)). Let i(j) = j**3 + 22*j + 93. Let a be i(-3). Is m greater than or equal to a?
False
Let z = 1 - 7. Let y = z - -13. Let c be (y - 5) + (-32)/18. Is c < -3?
False
Let q be (-2)/(-16) - (1212/240 - 5). Is q at most -1?
False
Let c = 1.55 + -1.7. Let o = c + -0.85. Let b = 4 - 0. Is o at most as big as b?
True
Suppose 15 = -3*j + 3*m, j = -2*j - 3*m + 15. Which is greater: j or -4/73?
j
Let v = -514 - -605.9. Let o = -92 + v. Which is bigger: o or 1.5?
1.5
Let a = -11.99 - -10.99. Which is smaller: -8.4 or a?
-8.4
Let b(x) = x**2 - 6*x - 7. Let q be b(5). Let h = -1147 - -1137. Is q equal to h?
False
Let q = -98 - -98. Let s be 2 - q - 50/18. Is 0 less than or equal to s?
False
Let r(v) = -8*v + 4. Let u be r(-4). Suppose 4*n - u = z, 4*z - 2*n + n + 69 = 0. Is -18 smaller than z?
True
Let q = 191 + -194.3