t c(r) = -r**3 - 4*r**2 + 5*r + 4. Let i be c(-5). Suppose -2*h = i + 2, -5*p = -h - 3. Is -2 at most as big as p?
True
Let n = -5 + 8. Let y(a) = -2*a + 2 - 2*a + 3*a. Let d be y(n). Do d and -4/5 have the same value?
False
Let m = 95 - 50. Let i be (-129)/m + 6/(-45). Let c be i/3 + 15/13. Which is greater: c or 1?
1
Suppose 3*r - 24 + 64 = 5*b, -5*r - 20 = b. Let u be (b/((-60)/9))/3. Is u smaller than 1?
True
Let u be (-255)/(-60) - (-6)/8. Suppose 2*c - q + 2 = 0, 0 = u*c - 3*q - q + 8. Which is bigger: -6/13 or c?
c
Suppose 6*q = 2*q. Suppose 0 = -q*z - 3*z. Is z equal to -1?
False
Let u be ((-2)/(-7))/((-6)/9). Let m = 16 + -16.4. Let p = m - -0.5. Does p = u?
False
Suppose 0 = -4*o + 30 + 46. Is o less than 17?
False
Let o = -31 - -31. Is 5/3 equal to o?
False
Suppose -2*y - 53 = -y. Let w = y + 527/10. Let t be 1 - 0/((2 + -1)*-1). Are t and w non-equal?
True
Let p = 1 + 0. Suppose o = p - 13. Let v be 2 + 0 + o/6. Is -1 <= v?
True
Let h be 4*(-6)/3 + -3. Let x = -15 - h. Is -5 bigger than x?
False
Suppose 3*w = 5*d, -5*w + w - 5*d = 0. Let m = 26/9 + -43/18. Is m at least as big as w?
True
Let r = 2609/220 - 47/4. Is r < 1?
True
Suppose -s - 16 = -19. Which is smaller: 0 or s?
0
Suppose -3*c - c - 16 = -5*v, -3*c + v - 1 = 0. Is c smaller than -1/27?
False
Suppose -2*s + 2*h + 34 = 0, -3*s + 48 = -5*h + 3. Let y be 8/s - 51/240. Is -1 greater than or equal to y?
False
Let a(v) = v**2 + 8*v + 14. Let i be a(-6). Which is smaller: i or -3?
-3
Let h be -1 + 4 + (-200)/16. Which is smaller: h or -9?
h
Let k = -83 + 81. Which is smaller: -37 or k?
-37
Suppose 5*u + 175 = -45. Is -43 at least u?
True
Let u be 0 + 40/(-22) + 2. Let z be 7 - 8 - (-3 + 1). Which is smaller: z or u?
u
Let r be 1 - (0 + 0)/2. Let m be r + (0 - 1/1). Suppose m = l - 0*l + 5. Is -4 equal to l?
False
Let x = 6 - 8. Let w be (-1)/(x - (-3)/6). Are 2 and w equal?
False
Let q be -5*-2*2/4. Suppose -2 = -q*h + 3. Suppose -2*k = -c - h, 6*k = k - 3*c - 14. Is 1/5 bigger than k?
True
Let j(s) = -s**3 - 5*s**2 + 7*s + 6. Let m be j(-6). Let i = -434/555 + -2/111. Which is bigger: m or i?
m
Let m = -0.82 + 7.92. Let x = 7 - m. Which is bigger: x or -1?
x
Suppose u + 3*c = -8, 4 = -3*c - 8. Which is bigger: 6 or u?
6
Let o = 2 - 6. Let w be 8/20 + (-6)/(-10). Suppose k + 5 - w = 0. Is k smaller than o?
False
Let y be 2/4 - 39/(-66). Which is smaller: y or 1?
1
Let d be 27/(-135) + 26/5. Which is smaller: -2/25 or d?
-2/25
Let v = -0.2 + -1.8. Let b be 4/(-16)*(-2 + 0). Which is smaller: v or b?
v
Suppose -2*p + 4*h - 14 = 0, 2*p - 6*h + h = -18. Suppose 2 = 3*w - p. Do 1 and w have the same value?
True
Let i be 1 - (0 - 0)/(-2). Suppose -i = -2*q + 3. Suppose b = -q*b + 6. Which is smaller: 0 or b?
0
Let f be (3/10)/((-2)/(-4)). Suppose -4*d + d = 2*c + 10, 6 = -d - 2*c. Let z be (-2 - d)*(-1)/2. Is z equal to f?
False
Let p be 16/3 + (-4)/12. Suppose i + 1 = -s - 4, 25 = -2*s - p*i. Which is greater: -2/5 or s?
s
Let x be 5*-2*(-15)/25. Is x greater than 6?
False
Let u = 0.075 + -36.075. Is 0.1 > u?
True
Let n = -2 + 3. Let p = 5 + -4.8. Let y = 0.2 - p. Which is bigger: n or y?
n
Let k be (-161)/(-98) + 2/4. Which is bigger: -0.1 or k?
k
Let l be ((-28)/(-10))/(2/10). Suppose 4*q + l = q + 5*j, 3*j = 12. Suppose -c = c - q. Which is bigger: 2/3 or c?
c
Let d(n) = -n + 9. Let w be d(7). Which is smaller: 3 or w?
w
Let b = -0.098 + -1.202. Which is smaller: b or 0?
b
Let c be (39/15 + -2)*-5. Let m be 1*2*c/6. Which is smaller: 1/3 or m?
m
Let d = 763/19 + -40. Is d != 0?
True
Let o be ((-3)/(-12)*-2)/((-1)/2). Which is bigger: o or 26?
26
Let b = -98/3 + 33. Let v = -171/28 + 48/7. Are v and b non-equal?
True
Let h(m) = -m**2 - 12*m + 4. Let y be h(-10). Which is smaller: -2 or y?
-2
Suppose -3*g = g - 16. Suppose 4 = g*m - 28. Suppose 0 = -4*y - 0*y + m. Which is smaller: y or -2/5?
-2/5
Let m be (-20)/24*(-153)/(-210). Let y = -6/7 - m. Which is greater: y or -0.1?
-0.1
Let k(f) be the second derivative of f**4/12 - f**3/6 - f**2/2 - 4*f. Let i be k(0). Is -2/5 less than or equal to i?
False
Suppose 2 = c - 2*r + 6, 4*c + 8 = 4*r. Let n be (-7)/4 - (-2)/(-8). Is n smaller than c?
True
Let b(r) = r**3 - 5*r**2 - 1. Let t be b(5). Let h be (t + 1)*(0 + -1). Are h and 1/4 equal?
False
Let j = 0.62 - -2.38. Are -1.4 and j equal?
False
Let d be (-8)/(-20)*(-3)/((-3)/(-5)). Which is smaller: d or -3?
-3
Let s(y) = -y + 5. Let l be s(4). Is 2/9 greater than l?
False
Let q = 21 + -10. Let a = q + -9. Which is smaller: a or 3/4?
3/4
Let k(w) = w**2 + 15*w - 13. Let g be k(-16). Which is bigger: 15/7 or g?
g
Let k = -20 - -32. Suppose -k = 2*x + 6. Let d(i) = -i**2 - 9*i - 2. Let r be d(x). Are -3 and r non-equal?
True
Suppose 0 = 4*g - 0 + 4. Let z be 2 - 2 - (2 - -64). Let j be 2/10 - z/(-105). Is j not equal to g?
True
Let k = -0.015 + -2.085. Let w = -2.1 - k. Which is greater: w or 6?
6
Let z be (27/75)/((-30)/(-50)). Is z greater than 2?
False
Let c = 75 + -64. Is 15 at least c?
True
Let w be ((-2)/12)/((-50)/(-3)). Let t = w + -197/300. Let c = 3.1 - 3. Is t < c?
True
Let l be 2/4 - 1 - 0. Let x be (-5 - -4 - -2)/(-3). Which is bigger: l or x?
x
Suppose -8 = -2*j + 4. Suppose -4*o - d + 1 = -1, -o - 3*d = -j. Let g be (-18)/14 - -1*1. Is g smaller than o?
True
Let k be -25 + 3*15/9. Which is greater: k or -21?
k
Let z = 2 - -13. Let m = -15.7 + z. Is 2 at most m?
False
Let j = -73 - -74. Which is bigger: -18 or j?
j
Let v(c) = -c**2 + 3*c - 2. Let f be v(2). Suppose f = -0*l - 4*l + 12. Suppose -6 = 3*n + l. Is n at most as big as -4?
False
Let c = 26 - 24. Is c less than or equal to 13/6?
True
Let n(v) = -3 + 0 - 20*v + 2. Let b be n(1). Let s be 4/(-7)*b/18. Is s smaller than 2/3?
False
Let x be ((-10)/4)/((-2)/(-20)). Let f = x - -58. Let v be (-101)/f - (-2 + -1). Which is greater: v or 0?
0
Let w = 162 - 147. Which is greater: w or -0.1?
w
Let x(z) = -z**2 - 12*z - 25. Let s be x(-10). Let a be ((-7)/2)/(s/10). Is a bigger than 7?
False
Let j = -3 + 0. Let b = -2.9 - j. Which is smaller: b or 1?
b
Let k(y) = -10032*y**3 + 2*y**2 + y. Let f be k(-1). Let z = f - 110519/11. Let v = 1004/77 + z. Which is smaller: 0 or v?
v
Let l = 21 + -104/5. Let x = 0 - -1. Which is smaller: l or x?
l
Let t = 3 + -5. Let j(q) = -q + 7. Let l be j(7). Suppose 0*i - i - 3 = l. Is i greater than t?
False
Let t(n) = -n**2 - 23 + n + n**3 + 22 + 3*n**2. Suppose 1 + 5 = -3*j. Let i be t(j). Is i at most -3?
True
Let f(b) = -b**2 + 2. Let w be f(0). Suppose -2*x = 5*h + 9 + 17, w*x - 4*h = -8. Let m = x + 7. Is m greater than or equal to -1?
True
Let x = -104 + 112. Is x smaller than 1/9?
False
Let q = -0.01 + -0.09. Is q greater than 7?
False
Suppose -2*n + 7 + 3 = 0. Suppose -c = 0, 0 = -5*y + 4*c + c. Suppose y = p + p. Which is smaller: n or p?
p
Suppose 3*x - 6 = 2*x. Which is greater: 4 or x?
x
Let a be (8030/26 - -3) + 2. Let o = a + -314. Is 1 at least o?
True
Let s = -2/47 + -137/94. Let u be (0 + (-9)/(-6))*6. Let c(d) = -d**2 + 8*d + 8. Let n be c(u). Which is greater: n or s?
n
Suppose -5*o + v = -67, -3*o + 5*v - 9 + 36 = 0. Let c = o - 7. Which is smaller: 6 or c?
6
Let j = -589 - -116623/198. Is 0 less than j?
True
Let k = -5 - -7. Let s(t) = -t**3 + 2*t**2 + 2. Let z be s(k). Suppose 0 = -z*r - 3*c - 11, 6*r = 2*r + 3*c + 23. Which is bigger: 1 or r?
r
Let o = -16.2 + 15. Let r = o + 1.2. Which is bigger: r or -6?
r
Let g = -23 - -29.1. Let v = g + -7. Let x = v + -0.1. Which is smaller: x or -1/2?
x
Let u = 15 + -17. Which is smaller: -1/2 or u?
u
Suppose 0 = -h + z, z = h - z + 1. Suppose 0 = 2*j + 5*v + 4, -4*v + 2*v = 0. Let k = j + h. Is 1/4 bigger than k?
True
Let g be 2/3*12/(-14). Let z(c) = 3*c**2 + 5*c - 6. Let s(m) = -m**2 + 1. Let l(r) = 4*s(r) + z(r). Let u be l(5). Which is bigger: g or u?
g
Let m = 0 + 1. Let z = -6700/17 - -394. Which is greater: z or m?
m
Let k = -5/3 - -46/27. Which is smaller: 0.1 or k?
k
Let o = 23 + -17. Let s(a) = 2*a + 3. Let p be s(-4). Let n = o + p. Is n < 1?
False
Let a be (2/(-136))/((-6)/(-16)). Which is bigger: 0 or a?
0
Let i = 9 + -6. Which is smaller: 5 or i?
i
Suppose 3*b = 4*q - 346, -3*q + 236 = -2*b + q. Is b smaller than -108?
True
Suppose -c + 58 = 2*i - i, -5*c - 3*i + 280 = 0. Let f = 37 - c. Which is bigger: f or 