et x = 6/35 + -1/210. Which is bigger: x or b?
b
Suppose -4*i + 19 = 3. Suppose 0*o - i*o = -48. Do 11 and o have the same value?
False
Let y = 13.91 + -14. Let w = -0.09 - y. Does 7 = w?
False
Let f = -56 + 57. Do 2.8 and f have the same value?
False
Let b = 91 - 89. Is b at least 8?
False
Let d be 13 + ((-1)/1 - -4). Suppose d = 5*y + 1. Suppose 2*q = y*s - 2, 0*q + 1 = -q + s. Is q equal to -1?
True
Let k = -2.9599 - -0.0499. Let s = k - 0.09. Which is smaller: 2 or s?
s
Let f = -527 + 284. Let l = -2189/9 - f. Which is greater: l or -1?
l
Let g(s) be the second derivative of -s**5/20 + 5*s**4/12 - s**3/6 + 2*s**2 - 3*s. Let x be 16/3 + 1/(-3). Let y be g(x). Is -1 > y?
False
Let m(v) = -v**2 + 7*v + 2. Let j be m(7). Let l be j/4 + (-3)/14. Are l and 0.7 non-equal?
True
Let b = 56 - 58. Which is smaller: b or 2/31?
b
Suppose -2*v - 18 = -d, -3*d = 5*v - 25 + 92. Do v and -12 have the same value?
False
Let g(x) = x**3 + 3*x**2 + x. Let s(i) = 2*i**3 + 5*i**2 + i + 1. Let a(m) = 5*g(m) - 2*s(m). Let w be a(-4). Let p = 8 + -7. Is p not equal to w?
True
Let j be (-21)/(-12) + (-1)/(-4). Suppose 4*c = j*c + 4*v, -4*v = 5*c. Which is smaller: c or 2/3?
c
Suppose b - 4*o = -9, -o + 4*o - 3 = 2*b. Suppose y - 4 = -b. Let t = 0 + -1. Which is smaller: t or y?
t
Suppose -3*q + 4 - 13 = 0. Let d(u) = -u**2 - 5*u - 4. Let x be d(q). Which is bigger: x or 0.3?
x
Let j = 82 + -903/11. Which is greater: j or 0?
0
Let x be -2 + 0 - (-2 - 0). Suppose x = -2*s - u + 11, -5*s - u + 4 = -16. Which is smaller: 2 or s?
2
Let c be (-2)/(-1)*8/(-48). Which is smaller: 2/31 or c?
c
Let y = -2.3 + 0.3. Let n be 62/10 + -4 + -2. Is y bigger than n?
False
Let r be (4/2)/2 - -2. Suppose 0 = u + r*u - 24. Suppose -2*k + 2*g = -0*k - 6, -3*g - u = 0. Which is bigger: 2 or k?
2
Let m be 20 - 1 - 2/(-1). Suppose 4*f = -5*t - 15, -4*t - 3*f - 2*f = m. Let p be (t - -1) + 8/(-6). Is p at most -2?
False
Let y be ((-12)/15)/(2/20). Which is bigger: y or -9?
y
Suppose -x - 15 = -6*x. Suppose 2*d + x*d - 5 = 0, 3*d = -5*c - 7. Let i be 3 + -3 - (c + -1). Which is smaller: i or 4?
i
Let j = -2 - 3. Let g be j/(-21) - (-1)/(-3). Let b be -3 + 1 - -2 - 0. Do b and g have the same value?
False
Suppose -2*j - 2*y = -4*j + 12, 3*j = 2*y + 14. Suppose 0 = 3*r + j*r. Is r at least 1?
False
Suppose -2*i - 16 = -4*t, 5*t + 3*i - 28 = -8. Suppose 2*y + 2*f = 6*y - 28, -t*f = -3*y + 11. Let u be (y/24*2)/3. Is u less than -1?
False
Suppose u - 2 + 1 = 2*v, v = 2*u - 5. Suppose 0 = 5*k + 7 + 8. Let a = 4 + k. Is v at most as big as a?
True
Let s = 13/10 + -17/10. Let u = -26 - -54. Let p = u - 24. Which is smaller: s or p?
s
Suppose -5 = 2*t - 9. Let d(c) = c**2 + 3*c + 2. Let x be d(-3). Do t and x have the same value?
True
Let i = -20 + 24. Suppose -2*l - i = 2*l. Is 2/25 greater than or equal to l?
True
Let a be ((-3)/(-5))/((-2)/(-20)). Which is smaller: a or 7?
a
Suppose 4*h - 2 = 2. Let z(t) = 2*t - 8. Let l be z(6). Let g be (l/(-2 - 0))/7. Which is greater: h or g?
h
Let r(t) = t**3 + 6*t**2 + 2*t + 7. Let g be r(-6). Let v be (-3)/g - 208/480. Are 0 and v equal?
False
Let g = -1/3 + -5/12. Suppose 5*o = -r - 16, 5 = -2*o + r - 0. Let j be o/6*-2*-1. Which is bigger: j or g?
g
Suppose 5*d + 21 = 186. Is 34 at most as big as d?
False
Let w be 4/(-28) + 1618/(-42). Let a = -40 - w. Which is bigger: a or 0?
0
Let r be (-2)/6 - 219/(-198). Let k = r - 3/11. Do k and 1 have different values?
True
Let r = -0.02 - 3.98. Let i = -1 - r. Which is bigger: -0.1 or i?
i
Let f = -5442/143 + 516/13. Which is bigger: 3 or f?
3
Let d(h) = 2 + 9 + h + 4 + 0. Let o be d(-10). Which is smaller: o or 6?
o
Let h = -340/3 + 112. Let y = -1/5 - -7/10. Which is smaller: h or y?
h
Let l(q) = -2*q**2 + 9*q - 4. Let x be l(6). Let n be (-4 + 0)/(x/3). Is n equal to 1?
False
Let h = 0.2 - 0. Are h and -1/15 unequal?
True
Let c = 0.6 - 0.9. Let r = -0.04 + 1.04. Is c at least as big as r?
False
Let v be (48/468)/((-4)/6). Which is smaller: 0 or v?
v
Let h = 64 + -190/3. Let v(n) = -n**3 + 7*n**2 - n + 9. Let z be v(7). Which is smaller: z or h?
h
Let c = 16 + -22. Let g = -5.8 + 6. Which is smaller: g or c?
c
Let l(d) = d + 1. Let k be l(7). Suppose 5*u - 36 = -4*w - k, 3*u - 10 = w. Let f = 2 - 1. Which is smaller: f or w?
f
Suppose -5*g + 10 = -0*g. Let h be 2 + (-3)/(-3)*1. Is g at most h?
True
Suppose 0*b = -3*c - 5*b + 61, 5*c + b = 65. Which is smaller: c or 13?
c
Let w be 3/(-24) + 69/(-24). Is w smaller than -12/5?
True
Let i = -0.1 - 0.4. Let d = 0.3 + i. Let t = -0.18 - 2.82. Is d > t?
True
Suppose -5*n + b = 3*b - 138, -3*b = n - 25. Let s = 83/3 - n. Which is smaller: 0 or s?
s
Let b(x) = 5*x - 2*x + x - 5*x. Let q be b(-2). Do q and -0.3 have different values?
True
Let x = 8 + -9. Let k(w) = w**3 + 9*w**2 + 9*w + 6. Let i be k(-8). Let b = i - 1. Is x >= b?
True
Let u = -5.59 + -0.01. Let q = 6 + u. Let c = -241/3 + 81. Is c at most q?
False
Suppose -4*p - g = 0, -5*g = -3*p + p. Which is bigger: p or 1/7?
1/7
Suppose -4*w + b = -203, 4*w - 2*b + 5*b = 207. Is w less than 50?
False
Let w = -3 + 3. Is w at least -2/9?
True
Let f = 12 + -8. Is f < 13/3?
True
Let h = -1153/1398 + -2/233. Let m = 7/12 + h. Is m > 0?
False
Let k = 9 + -10. Suppose s - h - 26 = 3*h, 3 = -2*s - 3*h. Let d be 2/3*s/8. Which is smaller: k or d?
k
Let n = -70.95 + 71. Let w be ((-4)/10)/((-1)/5). Let r = 1 - w. Which is smaller: n or r?
r
Let b(i) = -i - 8. Let k be b(-10). Let s = k + -4. Let o be s/3 - 12/(-18). Is -1/3 != o?
True
Let y be 2 - (978/252 - 3/18). Is y smaller than -1?
True
Let v be ((-15)/(-36))/(1/(-4)). Which is smaller: -2 or v?
-2
Let g = -41.6 + 38. Let z = g + 4. Let s = z + -1.4. Is -0.1 less than s?
False
Let x(j) = -j**3 + 2*j**2 + 4*j. Let v be 4/(-18) + 145/45. Let q be x(v). Is q at least as big as 3?
True
Let m be ((-20)/(-75))/((-6)/(-5)). Let l = 15/8 + -37/24. Which is greater: m or l?
l
Suppose 28 - 4 = 2*t. Let o be 1/(-2) - t/24. Is o greater than 1?
False
Let v be (12/(-18))/((-17)/9). Is v at most 2/9?
False
Let f(z) = z**2 - 6*z + 5. Let x be f(6). Which is smaller: -3 or x?
-3
Let z = 1.1 + -1.4. Which is smaller: -1/2 or z?
-1/2
Suppose 58 = -5*v - 122. Is -1 smaller than v?
False
Suppose -2*l + 4*c + 2 = 2*c, -1 = -l + 4*c. Let r be ((-10)/(-125))/(l + 1). Which is smaller: 0 or r?
0
Let c be 0 - -4 - (-31 - -1). Is c greater than -1/2?
True
Let k = 28 + -43. Let b be -1 - (k/(-3))/(-5). Let a = -6 + 8. Is a less than or equal to b?
False
Suppose d - 1 - 1 = 0. Let f = d + -1. Suppose 7 = -5*p + 2. Is p greater than or equal to f?
False
Suppose -8*x + 408 = -2*x. Let m be (-2)/8 + 25/x. Which is bigger: m or -1?
m
Let g = 25/3 + -17/6. Are 7 and g non-equal?
True
Let a = -18/5 - -4. Is 0 < a?
True
Let s be (4/5)/(6/(-30)). Is s at most as big as -3?
True
Let p = -957 - -954. Suppose j + j = 4. Suppose j*m = -0*m. Are m and p unequal?
True
Let g(w) = -4*w + 4*w + 6*w - w**2. Let t be g(5). Let l = t + -3. Do -2/7 and l have the same value?
False
Let m(y) = y**2 - 8*y - 2. Let u be m(9). Is -1 at most u?
True
Suppose 0 = -43*m + 47*m. Is m less than or equal to 1/48?
True
Let k(z) = -2*z + 9. Let w be k(6). Let o be 0/(3/w - -3). Let m = 1/7 + -11/28. Is m greater than or equal to o?
False
Suppose -2*p = -4*p + 4. Suppose -5*z + 0*x - 4*x = 10, -x = -4*z - 8. Let a = 3 + z. Which is smaller: p or a?
a
Suppose r + r = 0. Let d = -6 - -6. Is d at least as big as r?
True
Let m = -72 - -2519/35. Which is greater: -1 or m?
m
Let w be (2/4)/(1/(-8)). Let n be 6/(-4)*(1 + 1). Which is smaller: w or n?
w
Let a be ((-16)/6)/(-7 - 0). Let l = 411/1414 + -1/202. Let g = l + a. Which is smaller: 0.1 or g?
0.1
Let s = -7 + 9. Let a = -7 + 3. Let g be 1/a + -1 + 1. Do s and g have the same value?
False
Suppose k + 2*q = 6, -2*k + 0*k + 4*q = -4. Let g be ((-10)/(-4))/(k/(-8)). Which is smaller: g or -4?
g
Suppose j = -4*j + 2*q + 101, -2*j - q = -35. Suppose -2*z = -2*b + 6*b + 26, -3*b - 2*z - j = 0. Is b bigger than -8?
True
Let p = -128 - -150. Which is smaller: p or 70/3?
p
Let i = 0 + -0.1. Suppose d + 4*d - 15 = -2*n, 2*n + 4*d = 14. Suppose 0*v = n*v. Are v and i equal?
False
Suppose -26 + 4 = -2*p. Are 12 and p unequal?
True
Suppose -7*f - 5*f = -24. Is 10 greater than f?
True
Suppose 