uppose -s*b - 4*o = -52, b = 2*b - o - 29. Suppose 4*a = -0*a + b. Is a smaller than 5?
False
Suppose 0 = -3*v + 2*v. Suppose v = -4*g - 16, 2*c - 4*g - 61 = -3*c. Let n be (1/c)/((-8)/(-120)). Is n at most 3?
True
Let q = -2212/71045 - -2/5465. Which is smaller: 0 or q?
q
Let v(r) = 4*r + 146. Let s be v(-49). Are s and -38 non-equal?
True
Suppose 81*p + 93 + 69 = 0. Suppose 0 = -3*c - q - 2, -4*c + 4 = q + 2*q. Is p at least as big as c?
True
Let t = 10.61 - 10.71. Is -75/7 greater than t?
False
Let d be 102/10*50*(-14)/56. Which is smaller: -127 or d?
d
Suppose 4*l - 4*m = 20, -3*m + 6*m - 15 = -3*l. Suppose 0*h + 35 = -5*r + 4*h, 0 = -l*r - h - 10. Is -3 less than r?
False
Let q(p) be the second derivative of p**4/12 - 7*p**3/6 + 5*p**2 + 13*p. Let t be q(6). Which is bigger: t or -3?
t
Suppose -2*v + 22 = -8. Let o = -19 + v. Let b = -30/7 - o. Which is smaller: b or -1/3?
-1/3
Let p = -215393647/354 + 608456. Let m = p - 12/59. Which is greater: m or -1?
m
Let f = 973/450 - -3/50. Let h = f + -256/99. Is h at least as big as 0?
False
Let a(i) = i**3 - 7*i**2 + 2*i - 8. Let u be a(7). Suppose -2*c - 16 = -u. Let z be (-1 - c) + (-7 - -4). Does 7/6 = z?
False
Let a(y) = -y**2 - 8*y - 9. Suppose 5*f + 2*j = -37, 2*f + 5*j + 7 + 12 = 0. Let i be a(f). Is i > -2?
False
Let i = 59.6 + -18.6. Is i at most as big as -0.08?
False
Suppose -3*j + j + 3*k - 1 = 0, 0 = 3*j - 5*k + 3. Suppose 0 = 4*o + j. Let u(r) = r**3 + 6*r**2 + 4*r - 6. Let m be u(-5). Is m > o?
False
Let i = -1 + 0. Let c be (-1*2)/(-3 + -8). Which is smaller: c or i?
i
Suppose -3*v + 1 = -2*v. Let q be v/3*(-12)/2. Let a be (-5)/q*(-2)/(-10). Is a at least 0?
True
Let p = -489 - -4396/9. Which is greater: p or -2/7?
-2/7
Suppose 4*a + 5*o = -147 - 1154, -3*a = 5*o + 982. Do -320 and a have the same value?
False
Let z be 0/((-2)/((-4)/(-2))). Let d(i) = -i**3 + 9*i**2 - 8*i. Let l be d(8). Let x(p) = 3*p + 1. Let r be x(l). Are r and z non-equal?
True
Let k be (-42)/104 + 2/8. Let h be 2*3*(-35)/(-21). Let b = 10 - h. Are b and k equal?
False
Let m be 1785/17 + 0 + 4. Which is smaller: 108 or m?
108
Let n = 64.3 - 64. Let g = 0.6 + -0.4. Which is smaller: g or n?
g
Let g(a) = -12*a - 120. Let d be g(-10). Let w(n) = -n**2 - n + 3. Let s be w(0). Suppose d = s*z + 2*l - 3 + 7, -4*l = -z + 8. Which is greater: z or -1/12?
z
Let t(w) = 5*w + 1. Let h be t(-3). Let p be h/11 + -1 - -2. Let i(j) = 2*j**2 + 11*j - 7. Let r be i(-6). Which is smaller: r or p?
r
Let g be (2/(-4))/(4/(-40)). Suppose u = 2*k, u + 1 + 8 = g*k. Suppose 7*t + u = -120. Are -19 and t equal?
False
Let m = 275 - 419. Let p = m + 579/4. Let f = -6/17 - -81/85. Does f = p?
False
Let h(m) = -m - 5. Let x be h(-4). Let l be (0 + (-9)/216)/(5 - 6). Is x > l?
False
Let s = 993 + -69511/70. Which is smaller: 1 or s?
s
Let o(j) = j - 3. Let d be o(3). Suppose 2 = 2*g - d. Is 0.2 at most g?
True
Let k be 66/(-220) - 2631/30. Is k at most as big as -86?
True
Let q be (6/(-20))/1*24/90. Is q >= -2/51?
False
Let v be 3 + (0 - -1)/1. Let w(f) = f**3 - 26*f**2 - 25*f - 51. Let n be w(27). Let j = n - v. Which is smaller: j or 1/8?
j
Suppose 0 = -6*j - 8 + 38. Let m(x) = -3*x + 17. Let t be m(j). Which is greater: 8/3 or t?
8/3
Let f be 6/(-40) + 4/10. Suppose 2*n = -4*n. Which is greater: n or f?
f
Suppose -3 = 2*d + 9. Let f be ((-6)/d)/((-2)/(-24)). Which is bigger: f or 13?
13
Let j(v) = 3*v**3 + 5*v**2 + 3*v + 10. Let w(a) = -a**3 - a**2. Let q(t) = j(t) + 2*w(t). Let k be q(-3). Are -1/283 and k equal?
False
Let t = 753.2 - -224.8. Let o = t - 990.94. Let b = o + 13. Is -1 smaller than b?
True
Let r be 4/(-24) - 76/(-24). Suppose 0 = -2*z + 2*g + 14, -r*z + 3*g - 63 = -7*z. Which is smaller: 0.2 or z?
0.2
Suppose -103 = l - 6. Let q = l + 96. Let k be 9/7*(-2)/6. Which is smaller: k or q?
q
Let p be ((-6)/(-6) + 0)*1/1. Is 42/19 less than p?
False
Let f(h) = 1. Let v(c) = c**2 - 7*c + 1. Let x(l) = f(l) - v(l). Let y be x(7). Let r = 21 - 22. Is y less than or equal to r?
False
Let t be (-7)/((-63)/(-86)) - -4. Let q be 70*(2/(-36) - 0). Let c = t - q. Which is greater: c or -2?
c
Let j be 2/(-6) - (-16)/12. Let c be (-21)/15*j + 1. Which is bigger: c or -1/21?
-1/21
Let m be (-25653)/4368 + 3 + 3. Let y = m + 3/112. Is -1 <= y?
True
Let p be (-174)/(-21) + (-4)/14. Suppose b = 5*y - 135, -18 = -y + b + 5. Let k = y + -19. Which is bigger: k or p?
k
Let z(i) be the third derivative of -4*i**2 - 1/8*i**4 + 0*i + 1/60*i**5 + 0 + 0*i**3. Let u be z(3). Which is bigger: 5 or u?
5
Let y = 9 - 36. Let g = y - -25. Let t be -4 - g - (-6 + -2). Is t < 1/2?
False
Let q(x) = -x**3 + 6*x**2. Let t be q(6). Let v = 5 - t. Let p be (4/v)/((-84)/360). Which is smaller: -3 or p?
p
Let f = 4.9 - -0.9. Let s = 6 - f. Which is smaller: 2/5 or s?
s
Let p be (-13)/(-10) + -5 + (-252)/(-60). Is -6 bigger than p?
False
Let m(f) = -f**3 - 3*f**2 + 3*f + 1. Let a be m(-2). Let w be -2 - (14/(-42) - (-8)/6). Let v be -4 + w*6/a. Is -2 smaller than v?
False
Let b be 10/(-40)*(-16)/(-2194). Which is smaller: b or -1?
-1
Let v be 8 - (-8)/((-12)/3). Suppose -10 - v = 4*m. Let t be (-3 - 0/(-3)) + m. Which is smaller: -8 or t?
-8
Let v(d) = d**2 - 10*d + 19. Let n be v(8). Suppose 8*m - n*m = -3*j + 23, -4*j - 4*m = -28. Which is greater: 8 or j?
8
Let y be 57/18 + (-7)/42. Suppose 2 = 5*d - o + y*o, -2*d = o - 1. Is -7 >= d?
False
Let y be (-4)/(-3)*5643/57. Which is greater: y or 127?
y
Let y be 294/36 - -2*3/(-36). Let u be -1*(8/12)/(y/6). Which is greater: u or 0?
0
Suppose 105 = 3*q - h - 137, -5*q + 408 = -4*h. Suppose -a - 7*a + q = 0. Is a less than 10?
False
Let m = 0.1949 - 0.1689. Is m >= 20/7?
False
Let b(r) = r**3 - 3*r**2 + r - 1. Let i be b(3). Suppose -3*a = -w - 6, a + i*a - 6 = 4*w. Suppose z = a*s - 8, 5*s = 3*z + 2*s + 18. Is 0.1 equal to z?
False
Let y be (1075/105)/(-5) + 2. Which is smaller: y or 0?
y
Let i be -2 + -13*(-3)/21. Let v be -2 - (-4)/8*2. Is v < i?
True
Let c be (-4 - 7790/15)*6/29. Let w = c - -758/7. Which is bigger: w or 1?
1
Suppose -4*p - 7 = -u - 1, -p - 6 = 2*u. Let d be 322/70 + u/(-5). Let y = -7 - d. Do y and -13 have the same value?
False
Let h = 203/495 - 1/99. Suppose -7*u - 8 = -43. Which is greater: h or u?
u
Let p(r) = 2*r**3 + 5*r**2 - 4*r - 2. Suppose v = -j, 2*v + 0*v = -j + 3. Let x be p(j). Are x and 1/3 unequal?
True
Suppose -2*k - 9 = -5*k. Suppose -24 = -3*z + 3*j, -5*z + k*j = j - 34. Is z at least -1?
True
Suppose 5*r - 3*r = n + 11, -r = -3*n - 18. Suppose -5 = r*x + 52. Is x less than -20?
False
Let q(x) = 31 - 3*x - 43 + 3*x + 6*x. Let a be q(0). Which is smaller: a or -9?
a
Let k = 25 + -27. Let b be (-2 - -6)/(k/(-7)). Is 14 less than or equal to b?
True
Let c = -2596 + 2596.1. Are c and 13/59 unequal?
True
Suppose 26*f = -12*f + 1976. Which is greater: f or 51?
f
Suppose -4*n + 25 = -d - 57, 4*d = -3*n + 52. Let t = n - 20. Which is smaller: -3/16 or t?
-3/16
Let d(t) be the third derivative of -t**6/120 + t**5/6 - t**4/3 - 4*t**3/3 + 8*t**2. Let m be d(9). Which is bigger: 1/47 or m?
m
Let c be -7 + 3 + 23 + -1. Let a be (-4)/(-18) - (-5)/c. Let w = -26 - -15. Does w = a?
False
Let y = 54009 + -6211077/115. Is y < -1?
False
Let j be ((-74)/148)/(1/(-2004)). Which is smaller: 1003 or j?
j
Let g = -0.2 + 0.23. Let o = g - -0.07. Is 4 greater than or equal to o?
True
Suppose -5*s + 30 = 5*q, -59*q - 5 = -64*q. Which is bigger: 156/25 or s?
156/25
Let x(m) = 8*m**2 - 4*m - 17. Let n be x(-4). Is 629/5 greater than n?
False
Let a = 6595618/603 + -10938. Which is smaller: 0 or a?
0
Let t(y) = -2*y - 18. Let c be t(-9). Let q be 3 - (3 + (-2 - -2)). Is c at most as big as q?
True
Let z = -280 - -283. Let b = 0.08 - 0.18. Is z != b?
True
Let v(m) = m**3 - 13*m**2 + 21*m + 16. Let p be v(11). Suppose 20 = -p*l, 2*c = 3*l + 10 + 4. Which is smaller: c or 8?
c
Let n = -56 + 445/8. Let c be (-5)/(-1)*(-26)/(-10). Let o = 12 - c. Which is smaller: o or n?
o
Let b = -3/37 + 1291/16835. Which is smaller: 1 or b?
b
Let b(y) = 3*y**2 - 39*y + 11. Let x be b(12). Let z be (5/(-2) + 3)/x. Which is greater: z or -1?
z
Let j(i) = -4*i**2 + i + 30. Let b be j(4). Which is smaller: b or -1/7?
b
Let x = -7.0205 + 0.0905. Let z = x + -0.07. Let g = z - -7.1. Which is smaller: 10 or g?
g
Let y = 8.76 