u = -31 + 23. Let q = u - 0. Which is greater: -7 or q?
-7
Suppose p = 165 - 181. Which is greater: -2 or p?
-2
Let x(v) be the third derivative of -v**4/24 + 11*v**3/3 + 10*v**2. Let o be x(10). Is 13 at most o?
False
Let h(k) = -k**3 - 5*k**2 + k + 5. Let a be h(-5). Suppose a = o - 5*o - 2*o. Let t = -123/392 - 3/49. Are o and t non-equal?
True
Let d = -252 + 243. Which is smaller: -2/7 or d?
d
Suppose -5*f = a - 7, 13 = 6*f - f - a. Let i = f - -10. Let s be (-4)/(16/i) + 7. Which is greater: s or 3?
s
Suppose 0 = -3*p + 6, -z - 3*p - 117 = 2*z. Let o = -40 - z. Let y be 2 + 0 + (-27)/13. Is y equal to o?
False
Let m(r) = r**2 + 14*r + 49. Let k be m(-7). Which is bigger: k or 3/58?
3/58
Suppose 15 = -7*u + 148. Is -8 != u?
True
Let a(v) = -v**3 - 4*v**2 - 3. Let n be a(-4). Let w be ((-2)/n)/((-2)/6). Let d = -137404/7 - -19627. Which is bigger: d or w?
w
Let g = -53 - -64. Let w be (3 - -1)*(-10)/(-100). Is w at most as big as g?
True
Suppose 4*m + 4*v = 36, -4*m + 0*m + 2*v = -24. Let h = -7 + m. Let p = h + 3. Which is greater: p or -1/3?
p
Suppose -5*h = -h. Suppose -11 = -4*l - p, 4*p + h*p - 6 = 3*l. Suppose l*i = -i + 6. Which is smaller: -0.1 or i?
-0.1
Let z = -10 - -9.5. Let u = 12.8 - 12. Let d = z + u. Which is bigger: d or 1?
1
Let o = 866 - 866. Which is smaller: -2/1851 or o?
-2/1851
Suppose 0 = 373*a - 387*a + 2450. Is a != 0?
True
Suppose -3*m = 2*h - 11, 0*h + m = 3*h + 11. Let b be h/(-7) - (-16)/(-56). Let g = 25 + -724/29. Which is smaller: g or b?
b
Suppose -4*s = -54 + 46. Let j = 16 + -8. Let n be ((-2)/j)/(5/(-10)). Which is smaller: s or n?
n
Suppose -1598 = -6*c + 4*j, 4*j = 4*c - 0*c - 1068. Is 791/3 != c?
True
Suppose -5*l + 2 = 2. Which is bigger: -1/42 or l?
l
Let a be 6/(-12) + 2295/2. Suppose -c - 575 = -3*c - t, 4*c - a = -5*t. Let s = c + -3170/11. Is s at least -1?
True
Let n be 408/260 + 9/39. Let w = -1 - -1. Suppose w = -4*d - 4*m + 2*m, 0 = -d + 4*m + 9. Is n <= d?
False
Let s = 71 - 74. Let r be -2 - (6/(-1))/s. Let j be 8/(-10)*(-10)/(-2). Are r and j equal?
True
Let g = -135115/596 - -142/149. Is -225 less than or equal to g?
False
Let c(y) = y**2 - y - 3. Let k be c(3). Let r = 5 - k. Suppose r = 3*w + 5. Which is bigger: w or -2/9?
-2/9
Suppose -3*z - 21 = -18. Let a be -2 + -1*(-6)/5. Is a > z?
True
Suppose -3*u = -42 + 45. Which is smaller: u or 7/32?
u
Let a(r) = 11*r - 308. Let j be a(28). Which is smaller: j or 54/37?
j
Let j(m) = -13*m**3 + m**2. Let c be j(1). Suppose 15*y - 11*y = 8. Suppose -4*o - 50 = -y. Is o at least c?
True
Let m be 22/14 - 34/(-357). Which is bigger: m or -2/5?
m
Let q be 4/(-10) + (-48)/(-420). Let i be (-3 + 40)*4/12. Let j = i + -71/6. Which is bigger: q or j?
j
Let j(a) = a**3 + 6*a**2 - 16*a + 1. Let o be j(-8). Which is bigger: o or -1/337?
o
Let i be (-1 - -1)*(-1)/2. Let t = 119577/43 - 2781. Which is smaller: i or t?
t
Let f(b) = -b**3 + 4*b**2 + b - 5. Let x be f(4). Let n = 134642/85 - 1584. Is n at least as big as x?
True
Let y be (-3 + 172/56)/((-2)/(-4)). Which is smaller: -9/4 or y?
-9/4
Let m be (-8)/6*(-4 - 465/(-42)). Let s be (8/(-4))/(2/10). Which is smaller: s or m?
s
Suppose -4*i - 21 = -f, 4*f - i + 4 = 13. Let o = 374 - 9356/25. Do f and o have the same value?
False
Let b(x) = x**2 + 13*x + 15. Let a be b(-12). Let g be ((-7)/(-700))/(-1 - 0). Let c = g + 13/50. Which is smaller: a or c?
c
Let w = -65 + 12. Let q(l) = -3*l + 6. Let p be q(2). Which is greater: p or w?
p
Let a = 63.53 - -1.47. Which is smaller: a or 2/3?
2/3
Let a = -3383/4 - -3913/4. Is a greater than 134?
False
Let x be (-4)/(-15)*(-27)/18. Let v = 19/16 + -55/16. Which is bigger: x or v?
x
Let p = -433 - -380. Is -0.8 bigger than p?
True
Suppose -3*h = -51 - 27. Suppose 2*c = 5*q + h + 44, -4*c = 3*q + 16. Let a = -7 + 15/2. Is q not equal to a?
True
Let k = -7146/19 - -376. Suppose -466*x + 512*x = 46. Is x greater than k?
True
Let i(g) = 2*g**2 + 4*g - 944. Let k be i(35). Is 1646 bigger than k?
False
Suppose 2861 - 2861 = 8*b. Let a be ((-2)/28)/((-3)/(-58)). Let d = -25/21 - a. Is b >= d?
False
Suppose 3*u + 0*w = -3*w - 414, 0 = -3*u + w - 430. Let c = u - -7808/55. Do c and 0.1 have the same value?
False
Let d = 20 - 6. Suppose -19*j = -187 - 98. Which is smaller: d or j?
d
Let p(u) = -u**2 - 3*u - 3. Let w be p(-5). Let c = w + 7. Let m = c + 7. Is m >= 7/5?
False
Let q be (24/(-20))/((-2)/(-5)). Let j(n) = -4*n + n**2 + 0*n + 2*n - 2*n**2 - 4. Let d be j(q). Is -6 smaller than d?
False
Let z = 61 - -1. Let c be 2 + -4*z/116. Let v = -78/145 - c. Is 0.7 bigger than v?
True
Let z be 3 + (1/1 - (0 - 1)). Suppose z*w = 5*w - 4*w. Is -1 equal to w?
False
Let o = -174.2 - -197. Let s = 22 - o. Which is greater: 1/4 or s?
1/4
Let z = 14.75 + 0.25. Let f be (1 + -47)*(-6)/(5 - 7). Let x be (f/(-45) + -3)*-6. Which is bigger: x or z?
z
Suppose 128 = 3*t + 389. Does t = -89?
False
Let c be (-64 - 2)*(3 + 36/24). Which is greater: -298 or c?
c
Let y be 53*((3 - -3) + -5). Which is smaller: y or 52?
52
Let u(l) = -l**2 - 22*l - 12. Let x be u(-9). Let w = x - 30. Is 76 less than or equal to w?
False
Let x(s) = -s**2 - 13*s + 176. Let z be x(-22). Is z < -23?
False
Let f = -555 + 953. Does f = -2?
False
Let y = 499070/97 + -5145. Is y equal to 1?
False
Suppose 5*r + 80 = 6*h - h, -28 = -3*h - 2*r. Suppose -o = -5*k - 5*o - 26, 2*k - h = 4*o. Suppose 2*j = -3*j. Which is smaller: k or j?
k
Let x = -4220/210951 + 1/16227. Is x >= -1?
True
Suppose 10*v - 9 = v. Which is smaller: v or 2/631?
2/631
Suppose -10*o = 4*t - 13*o + 573, -5*t = -2*o + 711. Is t less than or equal to -141?
True
Let o = 8 + -4. Let m(l) = -l**2 + 6*l - 2. Let t = -38 - -43. Let c be m(t). Which is bigger: o or c?
o
Suppose 2*c - 63 = 4*c - u, 44 = -c - 2*u. Let b(j) = -2*j**3 + 2*j**2 + 2. Let g be b(3). Do g and c have the same value?
True
Let v be (-1040)/(-120) + (-9)/1. Which is smaller: -0.85 or v?
-0.85
Let j = -37.063 - -37. Let m = 2.963 + j. Which is smaller: 1 or m?
1
Let s = 839 + -819. Is 20 smaller than s?
False
Let v = 187.3 - 187. Which is greater: v or -14/13?
v
Let f(t) = t**3 + 21*t**2 + 22*t + 27. Let b be f(-20). Let p = -35 - -33. Is p less than or equal to b?
False
Let q be -3 - 0 - 5369/(-1781). Let s be (18/(-36))/((-1)/(-2)). Is s greater than or equal to q?
False
Let s = 55.2552 + -0.2552. Does s = -0.8?
False
Let s = -12017/8728 - -2/1091. Which is smaller: 0 or s?
s
Let q(j) = 15*j**2 - 4 + 12*j**2 - j**3 - 24*j**2 + 3*j. Let n be q(2). Suppose -6 + 0 = n*z. Are z and 5 nonequal?
True
Let d be (-8)/5 - -2 - (-14833)/(-27195). Let o = 5/111 - d. Which is smaller: 0 or o?
0
Let t be (-2)/(-4) - (-2)/4. Let s = -8 - -8. Let j be 10/(-95)*(s + -1). Do j and t have different values?
True
Let r = -4 - -8. Suppose 2*o + 4 = 0, 7 + 5 = -2*a - r*o. Is a >= -2?
True
Let n = 64 - 62. Let y be (-3)/3 - -2 - -2 - n. Do y and -12 have different values?
True
Suppose -3*i + 4*u = -24, -u + 6 = 3*i + u. Suppose 5*v = i*d + 41, 0*v - v = 3*d - 12. Which is smaller: v or -0.2?
-0.2
Suppose 22*r + 18*r = -240. Which is bigger: -85/18 or r?
-85/18
Let g = -832 - -21647/26. Is g at most as big as 2?
True
Let s be -543*(-4)/12*1. Which is smaller: s or 182?
s
Let r(p) = p**2 - 4*p - 1. Let k be r(5). Let z = 2 + 3. Suppose k = s - z*s. Is s >= 1?
False
Let g(z) be the second derivative of z**3/3 + 2*z**2 - 2*z. Let r be g(-3). Suppose -13*f + 15*f = -4. Are f and r nonequal?
False
Let o = 10.7 - 11. Suppose -2*p + 4 + 2 = 0. Is o > p?
False
Let m = 1207 - 541. Which is bigger: 667 or m?
667
Suppose 2*s - 1 = 9. Let n be (48/(-120))/((-1)/s). Is n >= 3?
False
Let i = -2411 + 2412. Which is smaller: -50/3 or i?
-50/3
Let s(y) = y**2 - 9*y + 3*y - 5*y + 11. Let w be s(10). Which is greater: -2/5 or w?
w
Suppose -3*r - w = 400, -3*r - 376 = w - 6*w. Do -131 and r have the same value?
False
Suppose 0 = 4*a - 0*y + 2*y + 2322, 2*y = 4*a + 2318. Is a <= -579?
True
Let o = 31 - 57. Let z = o + 26.14. Let u = z - 3.14. Is 2/23 at least as big as u?
True
Let t = -15 + 15. Suppose t*c - c = -1. Is 3 < c?
False
Let o = 127/2 + -6033/95. Let c = o + 11/190. Which is bigger: c or 0?
c
Let h = -0.005 + -0.285. Let z = h + -3.71. Is z > 1?
False
Let i = -1.17 - -0.17. Is 0.184 less than or equal to i?
False
Let 