: 0 or o?
o
Suppose 3*q - 4*y + 9 = 4*q, -4*q - 2*y - 34 = 0. Which is smaller: -12 or q?
-12
Let o be (46 - 0)*(-20)/(-40). Which is greater: o or 21?
o
Let f(z) = 9*z**2 + 2*z - 1. Let i be f(1). Let n be ((-8)/(-20))/((-2)/i). Is -3 not equal to n?
True
Let c be ((-1)/41)/((-3)/6). Suppose y = -l + 3, -3*y + 5*l - 7 = -0*y. Which is bigger: c or y?
y
Let k(b) = -b**2 - 4*b + 2. Let r be k(-4). Suppose r*d = d. Suppose d = 5*m - 10. Is 2/5 bigger than m?
False
Let l(w) = 7*w - 11. Let g(h) = -3*h + 5. Let r(t) = -9*g(t) - 4*l(t). Suppose o = -4, -19 = 2*d + 4*o + 1. Let u be r(d). Is u at most as big as 1/3?
False
Let c = 0.4 + 2.6. Which is bigger: -2/5 or c?
c
Let n(c) = c**2 - c - 2. Let s be n(2). Suppose b - 2*b - 4 = 2*f, f + 4 = s. Suppose -3*g + 2*h + 1 + 3 = 0, b*g + 2 = -h. Which is smaller: g or 1/12?
g
Let n = 12 + -8. Let q(c) = -c**2 - 4*c - 1. Let y be q(-2). Is n less than y?
False
Let y(q) = -5*q + 3. Let x be y(2). Let k = 6 + x. Which is smaller: -2 or k?
-2
Suppose -2*j = -4*j + 24. Which is smaller: j or 11?
11
Let l = -0.3 + -0.7. Let b = -53/3 - -233/12. Which is greater: b or l?
b
Let c = 17 + -17. Is -7 greater than c?
False
Let k = 15 + -36. Let h be ((-5)/(-1))/(3/k). Let f be h/(-15) + (-3)/1. Is 0.06 at least f?
True
Let t be (-1)/3*(0 - 8). Suppose 3*q - 9 = 3. Is q at least t?
True
Suppose 5*l = -t + 16, -4*t + 6 = 5*l + 2. Let m(v) = -3*v. Let d be m(t). Which is smaller: -1/4 or d?
-1/4
Let i(z) be the third derivative of 0 + 1/60*z**5 - z**2 + 2/3*z**3 + 0*z + 7/24*z**4. Let n be i(-7). Which is bigger: n or 5?
5
Suppose 0 = 2*g - 0 - 4. Suppose 0*b - 38 = 4*h + 2*b, g*b - 70 = 5*h. Let u be 15/h + 2 + -1. Is u greater than 1?
False
Suppose 3*y = -y + 4. Which is greater: 14/13 or y?
14/13
Let p = 22 - 13. Is p at least as big as 11?
False
Let z = 3 + 5. Which is smaller: z or 5?
5
Let v be 6/2 + -1 - 4. Let m be -1 + (v - (-3)/1). Suppose m*d + 2*d - 2 = 0. Is d less than or equal to 0?
False
Suppose -4*b + 4*o + 16 = -0, -3*b + 2*o = -15. Which is bigger: b or 6?
b
Suppose 6*n - 2 = 8*n. Which is bigger: 4/45 or n?
4/45
Let x = -2225/6 + 370. Is x greater than or equal to -1?
True
Let i = -18 - -4. Are -25/2 and i unequal?
True
Suppose 0 = 3*g - 6*g. Let o = 7 + -20/3. Which is bigger: o or g?
o
Let i = -62 + 44. Let q = 21 + i. Are q and -1 equal?
False
Let a be -3 - -2 - 2 - -8. Suppose 3*g = g + 10. Let y = a - g. Is y <= 0?
True
Suppose -5*g - 3 - 7 = 0. Let x be 8*g/(-72)*-2. Which is greater: x or 0?
0
Let c = -1.1 - 4.9. Let r = c + 4. Suppose 4*d + 8 = 4. Which is smaller: r or d?
r
Let b = -0.4 - -0.7. Let l = 0.4 - b. Let g be 4/6*6/22. Which is greater: g or l?
g
Let v = -5.2 + 5. Let r be ((-9)/6)/(3/(-1)). Which is greater: r or v?
r
Suppose -4*a = a. Let i be 6/21 - (a - 0). Are 0 and i nonequal?
True
Let a = 0.24 + -0.14. Which is greater: 1/3 or a?
1/3
Let l = -1159 + 13889/12. Do l and -3 have different values?
True
Let k = 63 + 11. Which is smaller: k or 1?
1
Let m(b) = 2*b**3 - 3*b**2. Let g be m(2). Suppose -g*u + 2*n = 5*n - 27, 3*n - 3 = 0. Let t = -6 + u. Do 0 and t have the same value?
True
Let f(b) = 2*b**2 - 3*b + 1. Let g be f(-3). Let w be (1 - 0) + (-35)/g. Is w != -2?
True
Let t(d) = 2*d - 6. Let g(w) = -w**3 + 4*w**2 - 3*w + 2. Let j be g(2). Let f be t(j). Do 0 and f have the same value?
False
Suppose b + 5 = 0, -d - 2*b - 13 = -2*d. Which is greater: 4 or d?
4
Let j be 10 + -1 - (-12 - -11). Which is greater: j or 5?
j
Let a be 12 + -10 - 1/(-4)*-7. Let j be (3 - 1 - 1)/1. Does j = a?
False
Suppose 0 = 4*g - g + 3. Suppose -2*q + 0 = -6. Let s be (q/3)/(14/(-4)). Which is smaller: g or s?
g
Let g be 10/(-6) - 1/3. Let v be (-1)/(-1) - (1 + -2). Let w be (0 - 1)*(v + g). Which is smaller: w or -1?
-1
Let h = -11 + 6. Let x be ((-10)/4)/h*-2. Let n be 3 + (x + -3 - -2). Is -1/3 >= n?
False
Let p(n) = -n**3 - 7*n**2 - 6*n - 5. Let s(v) = -v**3 - 7*v**2 - 6*v - 4. Let w(l) = 5*p(l) - 6*s(l). Let g be w(-6). Let b = 658/9 - 73. Are g and b equal?
False
Let u = 20 + -18. Which is smaller: u or -6?
-6
Let x = 2 - 0. Let h = 45 + -28. Let s = 18 - h. Which is greater: x or s?
x
Let b(l) = -l - 7. Let m be b(-6). Let r be (m/3)/(2/6). Are r and 0.2 equal?
False
Let r be (-3437)/(-14) - 1/2. Let j be (-2)/7 - 273/r. Let x be ((-3)/9)/((-1)/(-3)). Do j and x have different values?
True
Suppose -7*g + 12*g + 100 = 0. Which is smaller: -4 or g?
g
Let k(d) = -d + 4. Let w be ((-10)/3)/((-2)/3). Let c be k(w). Let o be (-129)/108 + 6/8. Is o less than or equal to c?
False
Let h = 295 + -1469/5. Which is smaller: 0 or h?
0
Let z(l) = l + 8. Let b be z(-5). Which is smaller: b or 8/5?
8/5
Let c = 19.2 + -13.5. Let d = c - 0.7. Let q = -8 + d. Which is smaller: -0.1 or q?
q
Let h be (6/(-8))/((-3)/12). Suppose 0*s + 5*s + 29 = 3*j, 4*s = -h*j - 7. Is j <= 2?
False
Let x be ((4 - 1) + -2)*2. Suppose 0 = x*a + 2*a + 60. Let w = a + 21. Which is smaller: 7 or w?
w
Suppose u = -2*u + 48. Which is greater: u or 17?
17
Let d(w) be the second derivative of w**4/12 - 2*w**3/3 - w**2/2 + 7*w. Let b be ((-4)/(-3))/((-2)/(-6)). Let p be d(b). Is -2/7 bigger than p?
True
Let l = -3 - -2.5. Let m = -0.3 - l. Let r = m + 0.8. Is 0 less than or equal to r?
True
Suppose 0 = 5*j + g - 95 + 387, j - 5*g = -48. Let p be ((-172)/75)/((-32)/(-80))*-10. Let r = j + p. Which is smaller: r or -2?
-2
Suppose 0 = -3*p + d + 2, 5*d = -4*p + 4*d - 9. Let f be p + ((-9)/(-15) - 0). Is 1 bigger than f?
True
Suppose p + 2*p = 12. Let v = 6 - p. Let g be (2/(-3))/(30/(-45)). Which is greater: g or v?
v
Suppose 4*r + 5*z - 3 = 6, -3*z + 5 = 2*r. Which is greater: 1/9 or r?
r
Let s = 2.5 - 4.7. Let d = s - -2. Which is bigger: d or 2?
2
Let k(j) = -2*j + 2. Let c be k(3). Let h = -11 - -6. Which is greater: h or c?
c
Let w(d) = 7*d**3. Let l be w(1). Suppose l*t = 2*t. Is -1/5 less than t?
True
Let c = 4 - 4. Let x = c - 0. Let s = 1/5 - 13/15. Which is bigger: s or x?
x
Let n = 168 + -669/4. Let o(g) = g**3 - g**2 + g + 2. Let v be o(0). Suppose 0 = -5*r + 4*x + x + 25, -r - 7 = v*x. Which is bigger: n or r?
r
Let p = -4 - -8. Let m = -3.97 + p. Let q = -0.03 + m. Are 4/5 and q unequal?
True
Let z = 137 + -415/3. Suppose o = 7*o + 6. Which is bigger: o or z?
o
Suppose -4*y - g + 11 = 2*g, 0 = y + 4*g + 7. Suppose -y*h - 4*k - 1 = 40, -h + 3*k = 12. Which is greater: 1 or h?
1
Let y be 6/(3/((-3)/(-2))). Let b be ((-6)/(-5))/(6/20). Do y and b have the same value?
False
Let g = 10.8 + -9.2. Is 0.1 != g?
True
Let b be 3/(-21) + 11/(-21). Are -1 and b non-equal?
True
Let s(w) = w**2 + 3*w - 4. Let x be 55/(-15) - 2/6. Let r be s(x). Which is smaller: 1 or r?
r
Let h be ((-8)/6)/((-42)/(-9)). Let f = 5 - 10. Which is greater: h or f?
h
Let i = 10 + 9. Let u = i - 18.98. Which is greater: u or -0.1?
u
Let w be ((-2)/3 + 1)/(2/4). Which is greater: 107 or w?
107
Let j(c) = 2*c**2 - 3*c. Let o be (-4)/3*(-6)/4. Let w be j(o). Let z(g) = -g**3 - 4*g**2 - 5*g - 4. Let n be z(-3). Is n smaller than w?
False
Let j = 989/9492 + 1/339. Is j not equal to 0?
True
Let j = 16 + -5. Is 0.1 >= j?
False
Let l = 0.03 - 0.33. Let t = l - -0.1. Is t < 2?
True
Let h = -17 + 34. Let k = 11 - h. Is k less than or equal to -7?
False
Let c be 2/8 + (-6)/(-72). Which is greater: c or 7?
7
Let h = -5/29 - 14/87. Do h and -1 have different values?
True
Let f(n) = -n - 2. Let m be f(-3). Suppose -3*o + 0*o + 48 = -3*r, -2*r = -3*o + 36. Let w be (r/18)/((-2)/6). Which is smaller: m or w?
m
Suppose t = -g, 5*t + 3*g = 4 + 4. Let r be 1/t - (-3)/12. Which is smaller: 2 or r?
r
Suppose g = -g - 5*n + 10, 3*g = 4*n - 8. Is g at most 3?
True
Let k = 0.1 + -0.5. Which is smaller: -2/23 or k?
k
Suppose -5 = -2*p + 11. Let z = p + -3. Suppose -10 = 2*t - 4*w, -5*t + z*w - 13 = -3*t. Are t and 4/7 nonequal?
True
Let r be (1/(-3))/(1/159). Let v = r + 213/4. Suppose t + 3 = 2. Is v at least as big as t?
True
Let c = -12/161 - 9475/322. Let z = c + 29. Which is smaller: -2 or z?
-2
Let d(o) = 3*o**3 - 7*o**2 + 9*o - 7. Let z(f) = f - 1. Let r(l) = d(l) - 2*z(l). Let g be r(4). Let h = -723/7 + g. Is 1 less than h?
False
Let a(t) = 3*t**2 - t + 1. Let o be a(1). Let i be (2/4)/(o/6). Is 1 > i?
False
Let l(f) = -3*f + 2. Let h be l(-2). Suppose y - w + h = 3*y, 5