is greater: d or -19?
d
Let o be 3/(-9) - 10/6. Let u = 3 + o. Suppose t - 2 = 5*g + u, 0 = 4*g + 5*t - 15. Which is smaller: g or 2/5?
g
Suppose -3 = -5*y + 2. Is -1 at least as big as y?
False
Suppose o + 5 = 2*n + 8, -2*o = n + 4. Are o and 1/35 nonequal?
True
Suppose 45 - 5 = -5*q. Is -11 > q?
False
Suppose -10*f - 49 = -3*f. Which is smaller: f or -6?
f
Let k be -2 + 1 + 1 + 1. Which is bigger: 13 or k?
13
Let b = -1 - -0.9. Let c = 0.11 + b. Let g = c - 0.01. Which is greater: -0.04 or g?
g
Let p = -50 - -49. Does 82 = p?
False
Let t = -458/5 - -92. Which is bigger: t or 3?
3
Let o = -0.5 - -2.5. Suppose -3*x = -6*x + 6. Is o != x?
False
Let l(d) = d**3 + 5*d**2 - 3. Let z be l(-5). Let i be ((-60)/36)/((-4)/z). Is -2 < i?
True
Let h be (-5)/(-35) - 2/14. Suppose h*w + 2 = -2*w. Is -7/3 >= w?
False
Suppose 0 = 3*u - 12 + 3. Let h be 1 - -2 - (u + 0). Are h and 1 equal?
False
Suppose 5 = -4*s - 3. Let n be 1*(1 - 0) + -4. Is s less than n?
False
Let d = -60 - -60. Is 4 at least d?
True
Suppose -5*w - 8 = 7. Let c be (3/w)/(5/(-2)). Let s(q) = q**3 - 3*q**2 - q + 3. Let x be s(3). Which is smaller: x or c?
x
Let g(k) = 3*k - 2. Let j(t) = t + 8. Let s be j(-7). Let o be g(s). Is o at most as big as 1/20?
False
Suppose 4*w = -7 + 3. Is -3/2 at least w?
False
Suppose 5*z + 2*u - 58 = 0, 2*z - 4*u = z + 16. Let v be 11/(-6) - 2/z. Let w be -5*(12/(-195))/v. Which is bigger: w or -1?
w
Let x be (2/(-65))/(12/600). Which is smaller: -3 or x?
-3
Let q be 2 - (-4 + 4)/2. Suppose -2*h + 0 + 1 = f, -3*f - 11 = -h. Is h >= q?
True
Let r = 16 + -14. Suppose -4 + 6 = r*l. Which is greater: l or -2/7?
l
Suppose -3*i - 16 = -2*i + 3*d, 13 = 2*i - 3*d. Suppose 2*k - 6 = 2*r, -2*r - 4*k = 5 + 7. Let l be 1 + -1 + r/24. Which is bigger: l or i?
l
Let t = -22 + 13. Suppose 0 = 2*g - 4*i + 14, -2*i = -4*g + 3*i - 16. Is t != g?
True
Let a = 4 + 1. Let x = -4.5 + a. Which is smaller: -2 or x?
-2
Suppose -2*c = -4*d + 2*c, 18 = 5*d + 4*c. Which is smaller: -2 or d?
-2
Let d = -99 - -102. Which is greater: 0 or d?
d
Let c = -9.7 + 0.3. Let u = -5 - c. Let r = -4 + u. Is r at least -0.1?
True
Let m(z) = -z - 3. Let r be m(-5). Let s(g) be the third derivative of g**5/60 - g**4/8 + g**3/3 - 5*g**2. Let v be s(r). Which is smaller: v or 1/3?
v
Suppose 2*l + 156 = 6*l. Suppose -3*t = 4*h - l, 4*t = h - 3*h + 32. Let g be ((-4)/h)/(4/(-6)). Is -2 less than g?
True
Let n = 8.7 + -8. Let d = n + -2.7. Let t = 0.2 + -0.1. Which is bigger: d or t?
t
Let j(p) = -2*p**2 - 32*p - 41. Let d be j(-16). Is -42 equal to d?
False
Let a be (1/(-2))/(12/8). Let d(h) = 2*h - 7. Let l be d(6). Suppose 5*r = -0*r + l. Is r at most as big as a?
False
Let c(y) = y**3 + 4*y**2 + 3*y + 1. Let o be c(-4). Are 0 and o equal?
False
Suppose 4*c + 1 = 5. Let z be c/6 - 38/12. Which is bigger: z or -1?
-1
Let u = -11533 + 402489/35. Let z = -163/5 - u. Which is bigger: 2 or z?
2
Let j be ((-12)/112)/(1/24). Let b = -61/21 - j. Is 0 at least b?
True
Let o(x) = -x. Let v be o(-4). Is v greater than or equal to 3?
True
Suppose -5*c - 98 = -23. Is c != -15?
False
Let s = -11 - -6. Let m be (-91)/(-28) + -2*1. Let n = m + -3/2. Which is greater: s or n?
n
Suppose g = 1 + 1. Suppose 0*p = p - g. Suppose d - p = -d. Are -2/15 and d nonequal?
True
Let a be 1/1*3/15. Which is smaller: 1 or a?
a
Let t(k) = k**2 - 2. Let z be t(-2). Let x be (-3)/(-6) + (-3)/z. Let d be (-1 - 1)/x - -1. Which is smaller: 1 or d?
1
Let y = 18 - 13. Suppose -7*q + 2*q = -3*c - y, -3*q - 4*c - 26 = 0. Which is bigger: -7 or q?
q
Let s = 36 - 24. Suppose 0 = 4*w + 3*d - 4*d + 20, -2*d = -w - s. Let h = 6 + -11. Is w < h?
False
Suppose -2*y = -0*y + 8. Let q(u) = u**2 + 5*u + 3. Let t be q(-5). Suppose -5*g + p - 16 = 0, -4*g + 2*p - t*p = 11. Are g and y unequal?
True
Suppose 0*n = -3*n + 9. Suppose -4 - 11 = -n*g, -w + 2*g = 4. Suppose -6*i - w = 2*m - i, -4*i = m + 6. Is m < 2?
False
Suppose -3*z = z. Let q = 391/6 - 65. Is q not equal to z?
True
Let c = -25 + 26. Which is bigger: 3/4 or c?
c
Let v(y) = y**3 - y**2 + 3. Let a be v(0). Let s be a - (-16)/(-6) - 1. Do s and -2 have different values?
True
Suppose 2*x - 11 = -5*j, 0 = 5*x - 0*x - 3*j - 12. Let n = x + 1. Let w = n - 4. Is w != 0?
False
Let q(o) = -o. Let m be q(0). Suppose -2*k + 6*k - 16 = m. Is 3 < k?
True
Suppose 3 - 5 = 3*u - v, 2*u = -3*v - 16. Let z(b) = b**2 + b**3 - b**2 + 0*b**3 + 2*b**2. Let o be z(-2). Are u and o equal?
False
Let g = -17 + 11. Let w be (4/8)/((-3)/g). Is -1/4 at least w?
False
Let t = -12 + 10. Let d(i) = i - 2. Let b be d(6). Let f(k) = -k**2 + 3*k + 4. Let o be f(b). Is t bigger than o?
False
Let d be 73 + -5 + (-3 - -7). Is d < 72?
False
Let f be 5/(-6) - (-9)/27. Let r = -22.9 + 22. Let b = -0.7 - r. Which is bigger: b or f?
b
Let m = 4056421/31840 + -1/6368. Let j = -128 + m. Which is smaller: 0 or j?
j
Let n(p) = -p**3 + 5*p**2 + 7*p - 8. Let j be n(6). Let l be (-6)/10*j/6. Suppose 1 = 5*r - 4. Is r smaller than l?
False
Suppose -7*i + 3*i = -3*y - 47, -i = -3*y - 41. Is -15 at least as big as y?
False
Let x be 3*((-9)/6)/(9/(-4)). Which is smaller: 3/4 or x?
3/4
Let w be 1 + -2 + 3/1. Let t(l) be the third derivative of l**5/60 - l**4/8 + l**3/3 + 5*l**2. Let a be t(w). Which is smaller: 1/4 or a?
a
Let s(f) = f**3 - 4*f**2 + 3. Let y be s(4). Suppose -7*o + y = 2*a - 4*o, -o + 1 = 0. Let u be (1*2/6)/(-1). Is a at most u?
False
Suppose -4*q = -4*x - 24, 5*x - q = -0*q - 38. Which is smaller: -9 or x?
-9
Let v = -462/5 - -92. Let y be (-1)/((-6 + 7)/(1/(-1))). Is v smaller than y?
True
Let b(x) = -x**3 - 5*x**2 - 5*x - 3. Let h be b(-3). Let a be ((-3)/(-12)*66)/(-3). Which is greater: a or h?
a
Suppose 0*a + 5*a + 10 = 0. Let k be (-2 + 1)/(a/(-6)). Let h = 2 + -3. Which is smaller: h or k?
k
Let x = 0 + -0.1. Let o = 0.4 - x. Let b = o + -0.4. Is -0.2 < b?
True
Let c(s) = -s + 6. Let h be c(9). Let v(r) = -r**2 - 3*r. Let x be v(h). Are x and 1 equal?
False
Let s = -19.98 - -20. Which is bigger: -3 or s?
s
Let f = 177/455 - -1/91. Let x be (-1)/(-8)*6/1. Is x at most as big as f?
False
Suppose -3*q + 11 = -31. Which is smaller: q or -1?
-1
Suppose -3*n = 9, -3*n + 793 = -5*u + n. Let g = u + 4671/29. Suppose -83 = 2*t - 81. Which is smaller: g or t?
t
Let l be ((-2)/6)/(7/(-147)). Is 7 less than l?
False
Let w = 104.05 - 104. Which is smaller: w or 10?
w
Let p = -0.49 + 0.17. Let z = -0.02 - p. Is 0.1 equal to z?
False
Let j be ((-1)/2)/((-2)/48). Let l be (-3)/(-2)*j/(-9). Which is bigger: l or -1?
-1
Let d(p) = p**3 + 4*p**2 + 3*p + 4. Let y be d(-3). Suppose 5*x + w + 17 = y*w, -x - 9 = -2*w. Which is smaller: x or -1/4?
x
Let a be 1/4 + (-113)/4. Which is smaller: 0 or a?
a
Suppose 5*h - 320 = -8*o + 4*o, -4*o = -h + 40. Let w be 36/h*1/(-3). Which is smaller: 1 or w?
w
Let u(x) = x**3 + 5*x**2 - 6*x - 4. Let r be u(-6). Let b be 9/3 + r + -1. Suppose -5 = a - 3. Is b equal to a?
True
Let k = -1 - 1. Let d = k + 1. Is 0.1 <= d?
False
Let z(x) = -x**3 - 6*x**2 - x - 5. Suppose -4*v - 18 - 6 = 0. Let d be z(v). Let b = -12 + 12.2. Are d and b non-equal?
True
Let r = 0.05 - -0.05. Which is bigger: r or -10?
r
Let y = -0.21 + -18.79. Let x = -13 - y. Are 0.1 and x nonequal?
True
Let g = 11 + -17. Let c = 6.2 + g. Which is bigger: c or -2?
c
Let p be 7/42 - 17/30. Let o be (-1 + 0)*(6 + -7). Does p = o?
False
Suppose -2*o = -3*d - 0*d + 13, -15 = -5*d + 2*o. Which is smaller: 0 or d?
0
Let h = 1.32 + -1.52. Which is smaller: 0 or h?
h
Let l = -12.1 - -12. Is -10 at least as big as l?
False
Let v = -20 - -20. Is -1/49 at least as big as v?
False
Let a be 52/8*(-2 + 0). Is a > -12?
False
Suppose l - 2*l = -4. Let z be 6/l + 2 + -3. Is -4/7 <= z?
True
Suppose 0 = -h - 0*h + 4*i - 15, -2*h + 5*i - 21 = 0. Which is smaller: h or -4?
-4
Let k = 3.8 - -1.2. Let h be 3/12 - 2/(-8). Which is smaller: h or k?
h
Let z(j) = -2*j + 30. Let i be z(13). Are 3 and i non-equal?
True
Suppose -l = -2*b - 0*l - 6, 5*b + 6 = -2*l. Let v(y) = -3 - y**3 - 5*y + 0*y**3 - 3*y**2 - 3*y**2. Let s be v(-5). Which is smaller: b or s?
s
Suppose 4*t - k = -25, -3*t - 2*t - 3*k - 27 = 0. Let y = 10 + t. Let i = 11 - 7. Is y at most i?
True
Let y be (-6)/21*3/(-39). Let t be 3490/(-1456) + (1 - -1). Let v = t + y. Which is smaller: v or 1?
v
Let t b