 = -898 - -905. Which is bigger: p or t?
t
Let c be 2/22*-2 + 2/11. Let m(z) = -z**2 - 8*z - 5. Let u(k) = -k**3 + 1. Let w be u(2). Let n be m(w). Which is smaller: c or n?
c
Let w(v) = v**2 + 2*v - 1. Let o be w(1). Let r = 71 - 68. Suppose -z + 21 = h - r*h, 5*h + o*z + 48 = 0. Is -9 != h?
True
Let n(t) = 28*t**2 + 7*t - 6. Let v be n(6). Let p be 4/22 + v/66. Let x be 3/(-2)*p/(-24). Is x <= -1/19?
False
Suppose -4*d + 4 = 0, -64*v + 3*d - 33 = -59*v. Let w be -1 - (1 - (0 + 0)). Is w at most as big as v?
False
Suppose 5*i + 4 = 14, -3*i - 309 = -5*c. Which is bigger: 64 or c?
64
Suppose 4*i - 3*x - 5 = -6, 3*i = -2*x - 5. Which is bigger: i or -1/565?
-1/565
Let q be (-2 + 1)/1*-3. Which is bigger: 16/5 or q?
16/5
Let z be (-1)/(1*(8/(-10))/4). Suppose 5*d + 41 + 7 = -3*q, -z*q + 13 = -2*d. Is d less than or equal to -14?
False
Let t = -13155/7 + 262071/140. Let f = -2711/260 - t. Which is bigger: -3 or f?
-3
Let s = -433213 + 640721431/1479. Let h = s + 10/51. Is -1 smaller than h?
True
Let f be (-13)/((-65)/24)*5. Suppose -c + 2*c = f. Let m be (-8)/c - 1/3. Is m less than -0.02?
True
Let s = -900.1 + 900. Let h = -1/31 + 77/465. Which is bigger: h or s?
h
Suppose -2*b - 2 - 4 = 0. Suppose q + 66 = -i, 3*q + 0*i = 2*i - 198. Let x be 55/q*(b - -1). Is 0.1 smaller than x?
True
Let u be (-94)/188 + ((-107)/(-6) - -1). Is 17 at most u?
True
Let t = 66 + -17. Let o = t - 46. Is 2 > o?
False
Let h = -114 - -87. Let w = -27.02 - h. Is w bigger than 0?
False
Let i be 2546/30 + 3/(-15). Let h = 85 - i. Is -8/7 at most as big as h?
True
Let r = 972 - 1091. Do r and -120 have different values?
True
Let k(z) = -z + 20. Let t be k(6). Which is smaller: t or 89/6?
t
Let c be (-4)/(-10) - 208/470. Let b = -22 - -34. Suppose 4*h = -4*a + b, 3 = a - 3*a + h. Which is greater: c or a?
a
Let k = -380/9 + 42. Which is bigger: k or 0.6?
0.6
Let y(t) = t**3 + 12*t**2 + 14*t - 50. Let a be y(-10). Are 28/3 and a unequal?
True
Let t(v) = -v**3 - v**2 + v. Let j(z) = -z**3 + 7*z**2 + z - 16. Let d(a) = j(a) - 2*t(a). Let u be d(-9). Is -7 greater than or equal to u?
True
Suppose -3*v = 4*t - 3, 3*t - 4*v + 3 + 1 = 0. Suppose 2*i + 2*k = -14, -5*k = 3*i + 42 - 11. Let o be 0 + 69/(-34) - i. Which is smaller: o or t?
o
Suppose -2*a - 26 = -0*a. Let t be ((-1)/a)/((-5)/10). Which is smaller: 1 or t?
t
Let s(i) = i + 2. Let y be s(19). Suppose 4*m + 11 = 3*w, -3*w - y = 4*m - 8*w. Are m and 1/6 unequal?
True
Let w(a) = 7*a - 1. Let q(h) = -6*h - 2*h + 9*h. Let c(z) = 6*q(z) - w(z). Let u be c(1). Is u > -2?
True
Let u be (0 - 10)/(((-36)/(-8))/(-9)). Suppose 5*v + 1 - 29 = 2*t, 0 = -3*v - 2*t + u. Which is smaller: v or 36/7?
36/7
Suppose 2*q - 5*j = 20, -30 + 12 = -4*q - j. Suppose 0 = 5*r - 4*r - q. Let i be (-6)/10 - 12/r. Which is smaller: -2 or i?
i
Let s(n) = -n**3 + n**2 - 2*n + 3. Let m be s(0). Is 13/7 greater than m?
False
Let k = -19.8 + 20. Which is smaller: k or 0.01?
0.01
Let q = -4/481 + -3215/18278. Do q and 0 have the same value?
False
Let p = -5 + 14. Let i = p - 8. Which is greater: i or 3/26?
i
Let j = -480 + 625. Which is greater: -1 or j?
j
Suppose -42*m - 3 = -87. Which is smaller: 37/13 or m?
m
Let r be ((-2)/(-20))/(7/(6 - -8)). Let m = -8 - -8. Let q = m - -0.04. Is r greater than q?
True
Let m be ((-5)/(-1270))/((-10)/200). Is m less than or equal to 1?
True
Let o(d) = d**2 - 3*d - 4. Let k be o(5). Let p be (-5)/(-10)*(0 - k). Which is bigger: p or 0?
0
Let i(b) = -b**3 + 6*b**2 - 7*b - 2. Let y be i(4). Let r be y/(-196)*(-20)/10. Let o = 103/245 - r. Is -2/13 less than or equal to o?
True
Suppose 2*r - 35 = -r - 4*w, r = -4*w + 25. Let h be (4/r)/(2/5). Suppose -2 - 2 = h*s. Which is smaller: s or 0?
s
Let m = 9 + -7. Is m != -0.51?
True
Let t = -4/57 - -31/171. Which is smaller: t or 0?
0
Let w be (-280)/(-700) - 784/1985. Which is smaller: -1 or w?
-1
Suppose -23*o - 48 = -15*o. Which is smaller: o or -111/16?
-111/16
Let s(i) be the first derivative of i**3/3 + 3*i**2 - 2*i - 2. Let j(r) = -2*r + 10. Let v be j(8). Let q be s(v). Which is bigger: -4 or q?
q
Suppose 2*h + 50 = -3*h. Let m be -1*137 - h/5. Let g = 951/7 + m. Which is bigger: g or 2?
2
Let x = -1436 - -10070/7. Is 4 at least as big as x?
True
Let t = 219/308 + 3/77. Suppose 0*h = 3*h - 9. Let b = h + -2. Which is smaller: b or t?
t
Let j be (-74)/(-3) + 2/(-3). Let f = j - 117/5. Let o = -247/33 - -23/3. Which is smaller: o or f?
o
Suppose 1591 = 15*k + 6061. Is k > -297?
False
Let p = 76 + -83. Is 9 <= p?
False
Let q = 30 - -77. Let k = q + -107. Is k < 1?
True
Suppose -37 = -3*g - 19. Let f(t) = 2*t - 17. Let w be f(g). Let c = -463/2 - -227. Which is smaller: c or w?
w
Suppose -5*v + 47 = -u, -2*v = -3*u - 6*v - 46. Is u >= -2?
False
Let w be (22/55)/(84/70). Which is smaller: -1481 or w?
-1481
Let h(b) = b**2 - 6*b - 6. Let z be h(7). Let r be 8/(0 - 8) - (-50)/52. Is z != r?
True
Let l(b) = -b**3 - 7*b**2 - 3*b - 13. Let i be l(-7). Suppose -6*c + i*c = 2. Which is smaller: -2/93 or c?
-2/93
Let r(g) = -g**3 + g**2 + g - 1. Let x be r(2). Let p be 35/55*x + 2. Suppose 2 + 18 = -5*c + 5*y, 0 = 4*c + 2*y - 2. Which is greater: c or p?
p
Let u(j) = j**3 - 5*j**2 - 3*j - 2. Let a be u(6). Let d(o) = o**2 - 15*o - 17. Let g be d(a). Which is greater: g or -4/3?
g
Let n = 485/8 - 9383/152. Let y = 386/57 + n. Which is greater: 7 or y?
7
Let m(n) = 6*n + 60. Let z be m(-10). Which is smaller: z or -2/529?
-2/529
Let k be ((-21640)/3135 + -4)/((-8)/12). Let j = k - 177/11. Do 0 and j have the same value?
False
Let u = 24.08 + -27.08. Is -105 greater than u?
False
Let x = -65 - -67. Let u be (x/(-21))/((-4)/12). Which is greater: 2/15 or u?
u
Let z(k) = -2*k**2 + 17*k - 10. Let s be z(10). Is s >= -39?
False
Let q(u) = 3*u + 6. Suppose 0 = 5*c + c - 66. Suppose -16 = -k + 5*i, -4*k = 4*i + 21 + c. Let l be q(k). Which is smaller: -5 or l?
l
Suppose 12 - 2 = 2*w. Suppose -2*d - 25 = j, -5 + 20 = d - w*j. Let c(t) = t**3 + 10*t**2 - t - 7. Let b be c(d). Which is smaller: -1/4 or b?
-1/4
Let i = 20.03 - 20. Let o = -31.7 - -35.67. Let g = o + i. Which is bigger: -1/5 or g?
g
Let l be 3 - (-4 + -1 - 6*(-1)/2). Suppose 5*p - p + 5*u + 13 = 0, 2*p - 4*u - 26 = 0. Which is greater: p or l?
l
Let j = 40 - 61. Let t = j + 21.004. Which is smaller: t or 0?
0
Let r(m) = -m**2 + 2*m + 1. Let z be r(7). Let q = 90 - 125. Are q and z non-equal?
True
Let o = -0.19 + -3.81. Let u = o + 2.8. Let s = u - -1.2. Is 1/2 greater than s?
True
Let h be (-14)/(-4) + 9/(-54). Let i = h + -17/6. Is 12 at least as big as i?
True
Suppose 5*v - 5 = 6*v, 5*g = v + 55. Are g and -26 non-equal?
True
Let g = 1066 - 1065. Is g not equal to 204/7?
True
Let g = -1 + 5. Suppose -h - 5*d + 12 = -3, -4*d = g*h - 12. Which is smaller: 1/16 or h?
h
Let n = 34/77 - 5/22. Suppose -p - 2 = -4. Suppose 0 = -4*t + 2*x - 2, p*t + x + 1 - 2 = 0. Which is smaller: n or t?
t
Let t = 0 - 0. Let l = -417/23 + 21963/1219. Which is smaller: l or t?
l
Let u = -14/87 - -997/5655. Is u greater than or equal to -0.5?
True
Suppose -10 = 2*c - 4*c. Suppose c*b - 3 = -33. Is b greater than or equal to -6?
True
Let b be 6/(-8) + 152/32. Suppose b*q - 10 = 6. Suppose n - 15 = -q*n. Which is greater: 2 or n?
n
Suppose 13 = -2*y - 5*a, a = -2*y - 2*a - 7. Is 2/117 >= y?
False
Let q = 1068 - 1069. Suppose -5*j + 34 - 5 = 2*b, j - 11 = -3*b. Is q less than b?
True
Let j = 0.511 - 0.011. Let z(b) = -b + 3. Let x be z(-3). Which is smaller: j or x?
j
Let q(t) = t**3 + 11*t**2 + 20*t + 12. Suppose 0 = o + 8. Let d be q(o). Which is greater: 43 or d?
d
Let a = -5 + 11. Let u = 29 + -11. Let r be (a/(-9))/(4/u). Is -3 at least as big as r?
True
Suppose 0 = -4*u - 2*n + 168, 2*n - 80 = -2*u - 0*u. Suppose 7*z = 3*z + u. Let b = -5 + 15. Is b less than z?
True
Let r(m) = -m**3 - m + 2. Let g be r(0). Suppose -15 + 30 = -3*h. Let n = h - -6. Which is greater: g or n?
g
Let d be (-524)/261 + (4 - 2). Is d smaller than -1?
False
Let r = 20 - 19. Is r less than -3/320?
False
Let t = 12 + -6. Let n = t + -6.1. Is n bigger than -0.05?
False
Let k = 978.9 - 977. Are 3 and k equal?
False
Let s be 1/(-2) + 7/(483/54). Let x = -1/322 - s. Which is smaller: x or -31?
-31
Suppose 95*o = 32*o. Let m be 7 - 1/((-1)/(-2)). Let q = -8 + m. Which is bigger