or m?
m
Let l = 4 - 3. Let h be 92/28 - (2 + l). Which is smaller: h or 0.2?
0.2
Let h be (60/(-10))/(-1 - 3). Which is bigger: 2 or h?
2
Suppose 5*k - 20 = 3*n - 6, 16 = -3*n + 4*k. Let p be ((-28)/n)/(-7)*0. Which is bigger: p or -2/7?
p
Let h be (6/63)/(5/(-15)). Does -1 = h?
False
Let w = -8 + 10. Is w smaller than -1?
False
Let w = -13 - -15. Let b(f) = -f**3 + f**2 + 4*f - 3. Let p be b(w). Which is smaller: -2/5 or p?
-2/5
Let c(u) = 3*u - 1. Let n be c(-1). Let z be 10/21 + n/28. Is z < 0?
False
Suppose -q + 2 = -8. Let v = -6 + q. Suppose 0 = o + v*u - 6, -3*o + 3*u - 10 = u. Is -2 greater than or equal to o?
True
Let v = -5 - -2. Let k be (-3)/(-3) - 2 - v. Which is greater: 4 or k?
4
Let j(p) = p + 2. Let t be j(4). Suppose t*z = z + 15. Suppose 3*s - 3 = 0, 4 = -5*x + z*s + s. Which is bigger: 1 or x?
1
Let u = -2 - -4. Let a(r) = u*r + r - 2*r. Let z be a(0). Are -3/5 and z equal?
False
Suppose 4*y = -0*h - h + 4, 0 = 3*h - y + 1. Suppose -u = -4*n - 18, 5*u + 3*n + 6 = -n. Which is greater: u or h?
u
Let r = -26 - -46. Suppose 2*c - 4*z - 4 = -3*c, -2*z + r = 3*c. Is 4 > c?
False
Let z be (4/106)/(-2 - 0). Let t = z + 56/159. Let d(g) = -g**3 + 9*g**2 + g - 12. Let k be d(9). Is k at least t?
False
Let q be ((-253)/15)/((-1)/(-3)). Let r = -51 - q. Which is smaller: r or 1?
r
Let q be 36/(-126) - (0 + 362/(-42)). Let c be -18*(1 + 1/(-2)). Let h = c + q. Does -1 = h?
False
Let x = -3 - -6. Suppose x*g + g = 24. Let l be ((-4)/(-14))/(g/14). Is l <= 2?
True
Let n(y) = y**2 + 5*y - 8. Suppose 0 = l + 9 - 3. Let x be n(l). Let q be (x - -1)*(-5)/1. Is 5 greater than or equal to q?
True
Let w be 28/(-12) - 2/3. Is w not equal to -8/5?
True
Let d be (-11)/(55/(-6)) - 2. Which is greater: d or -1/2?
-1/2
Suppose 4*p = 2*p - 4. Suppose -2*s = 4*v + 22, 4*s + v = 3*v + 6. Which is smaller: p or s?
p
Let t = 11 - 10. Which is bigger: 2 or t?
2
Let y be 84/(-20)*(-3)/(6/(-10)). Is -19 <= y?
False
Let f = -0.09 - 0.01. Let c = -1.1 - f. Are c and -1 unequal?
False
Let l = -9 - -5. Let o = l + 6. Which is smaller: 0.2 or o?
0.2
Let x(q) = q**2. Let m be x(3). Let w(r) = -r**3 - 6*r**2 + r + 14. Let t be w(-6). Which is bigger: t or m?
m
Suppose 5*l = -1 - 29. Is -4 bigger than l?
True
Let q(d) = -d**2 - 7*d - 12. Let x be q(-7). Is x > -11?
False
Let w be 3/(-9) + (-6)/9. Suppose x = 5*x. Is x > w?
True
Let j(a) = 2*a + 11. Let g be j(-6). Let y be (-12)/16*(-32)/52. Which is smaller: g or y?
g
Let w be -2*(2 + 6/(-4)). Let p be (w/(3/(-24)))/(-1). Let v = p - -12. Do 3 and v have different values?
True
Let u(a) = a**2 - 7*a + 5. Let f be u(4). Let p = 8 + f. Do p and -2/15 have different values?
True
Suppose -5*y + 2 = -3*y. Suppose -5*q = 6 - y. Which is greater: 0 or q?
0
Suppose -4*h = 20, -m + 3*h = -7 - 7. Suppose 0 = -5*g + 2*i + 82, -3*g + 5*g - 2*i = 34. Let n be g/(-28)*(-9)/(-6). Which is smaller: n or m?
m
Let j be 29/5 + (-96)/(-30) + -3. Are 6 and j equal?
True
Let b be 26/(-39)*21/(-11). Is b >= 2?
False
Let f = 3.5 - 3. Let g = -0.132 + 0.032. Are g and f equal?
False
Let y be (-19)/(-3) + 18/27. Which is greater: y or -1?
y
Suppose h - 127 = 175. Let v = 5736/19 - h. Is v greater than or equal to 0?
False
Let k = -5.53 + -0.77. Let v = -0.3 - k. Let f = 0.2 + -0.1. Is v equal to f?
False
Suppose -11*u - 1 = -10*u. Is u at least as big as -11/5?
True
Let s(f) = -f**2 - 3. Let y be s(-3). Let x = 11 + y. Which is smaller: 0 or x?
x
Let l = 14 + -14. Let a = -1.1 + -2.9. Let u = a - -3. Which is smaller: u or l?
u
Let k = 79 + -83. Suppose -4*c - 4*y + 6 - 22 = 0, -4*y - 7 = c. Is k less than or equal to c?
True
Suppose r + 2*r = 0. Suppose r = -g - 3*g. Let l(k) = 2*k + 6. Let u be l(-4). Which is greater: u or g?
g
Let a = -5.6 - 0.3. Let i = -0.83 - 5.17. Let k = a - i. Do k and -0.01 have the same value?
False
Let i = -107/348 - -24205/55332. Let h = 1/53 - i. Is h smaller than 2/7?
True
Suppose -27 = o - 3. Let s be 0/(-1) + o/(-20). Which is bigger: s or 1?
s
Suppose 0 = -12*n + 7*n - 5. Which is smaller: 2/179 or n?
n
Suppose 5 = -2*l + 3*l. Let p(i) = 0*i**2 + i**2 - 8 - 1 + l*i + 3. Let q be p(-6). Does q = -4/5?
False
Let u(d) = -d**3 - 10*d**2 - d - 10. Let n be u(-10). Suppose 5*q = -5*i + 15, n = -i - 0*q + q - 1. Is 9/4 greater than i?
True
Let z = -37 + 30. Do z and -0.2 have different values?
True
Let z = 817/459 + -29/17. Which is greater: z or -1?
z
Suppose 0*i = 2*i - 2. Suppose -f + 0*f = i. Let s = 69 + -348/5. Which is greater: f or s?
s
Let b be (-6)/(-14) + 1251/21. Are b and 61 equal?
False
Suppose -2*f + 2 = -4*f. Let q be ((-5)/15)/((-1)/9). Let v be -3 - (-10)/q - 1. Is v <= f?
False
Suppose m + 2 = -2*b, 2*m = -4*b + 3*m + 2. Is b < -1?
False
Suppose 3 = 5*v - 2. Which is greater: v or 3/4?
v
Suppose 4*z = -4*y - z + 20, -4*y + 5*z + 60 = 0. Is 10 less than or equal to y?
True
Let z = -0.6 + 1.6. Which is greater: z or -1/7?
z
Let x(a) = a + 7. Let m be x(-3). Suppose m*s - 24 = -0*s. Let t be 9/s*(-4)/(-6). Which is greater: t or 2?
2
Let g = -0.4 - -0.3. Let l be (40/(-25))/(3*(-4)/(-90)). Which is greater: l or g?
g
Let p = -89/48 + 3/16. Which is bigger: p or 2?
2
Suppose -3*o - 3*h + 0 = -21, -3*h - 67 = -5*o. Let r = 25 - 14. Is o at most r?
True
Let y = -3 - -6. Suppose -5 + 2 = y*s - 5*g, -4*s + 4*g + 4 = 0. Which is smaller: s or 0.1?
0.1
Let p = 13 - -10. Let o = 10 - p. Which is greater: o or -12?
-12
Let l be 0 + 1 - (-2)/(-2). Let o = 26 + -20. Which is greater: o or l?
o
Suppose -2*r - 14 = -4*q, 4 = -q - 0*q - 2*r. Let x(y) = -1 - y - 3*y**q - y + 2*y**2. Let a be x(-2). Which is smaller: 1/4 or a?
a
Suppose -o = -2*o + 25. Is o greater than 27?
False
Let t = -0.01 + 8.01. Let k = -8.06 + t. Let b = k + 0.06. Which is smaller: b or 4?
b
Let g = -2 + 1. Let a = -11 + 10.95. Which is smaller: g or a?
g
Let v(x) = 5*x**2 + 2*x + 6. Let i(q) = -14*q**2 - 7*q - 18. Let h(y) = -4*i(y) - 11*v(y). Let g be h(-5). Is 1/3 greater than g?
False
Let h = 26 + -38. Are h and 2/5 equal?
False
Let i = 12 - 9. Which is smaller: i or 13/5?
13/5
Let m(o) = -4*o**3 - 4*o**2 + 21*o - 13. Let u(x) = x**3 + x**2 - 5*x + 3. Let l(y) = 2*m(y) + 9*u(y). Let j be l(-3). Let c = j - -8. Is 2 > c?
True
Suppose 3*k + 4 - 7 = 0. Let z be (-1)/2*2/(-1). Do k and z have the same value?
True
Let z(a) be the third derivative of 0*a**5 + 0*a**4 + 0*a + 1/30*a**6 + 2*a**2 + 0 + 1/6*a**3. Let j be z(-1). Are j and -3 unequal?
False
Let s be (-196)/21*12/(-14). Suppose 5*f - 3*o - s = 2, 0 = -2*f + o + 3. Which is smaller: 3/14 or f?
f
Let j = 3/140 - -333/140. Let u = -2 + 3. Is j equal to u?
False
Suppose 0 = -3*w + m + 2, -5*m + 1 = 5*w + 11. Which is greater: w or -3/19?
w
Let c(k) = -k + 1. Let f(x) = -x - 12. Let b be f(-11). Let d be c(b). Which is greater: 14/5 or d?
14/5
Let l be (168/6)/(-7) - 1*-3. Is -1/46 < l?
False
Let d = 0.05 - 1.05. Let u = 1 + d. Which is smaller: u or 7/2?
u
Suppose -3*k + 7 = -11. Suppose k*u - u + 25 = 5*p, 2*u = -3*p + 20. Are 6 and p equal?
True
Let q = -122 - -120. Let a = 30 + -121/4. Which is greater: a or q?
a
Suppose 0 = -7*z + 2*z + 5. Let v(m) = 16*m**2 - 1. Let n be v(z). Suppose x + n = -4*x. Is x greater than or equal to -2?
False
Suppose -5*x - 3586 = 4*y, -3*y + 2*x - 2674 = -2*x. Let v = 6243/7 + y. Is -1 at least as big as v?
True
Suppose 2*n - 11 = 1. Is 7 != n?
True
Let k = 4 + -8. Suppose -32 + 6 = -4*o - 3*g, -3*g + 31 = 5*o. Suppose -4*i - 3*r - 12 = 19, 0 = 5*i - 5*r - o. Is i <= k?
True
Let y(h) = -h**3 - 7*h**2 + 2. Let z be y(-7). Suppose 12 = -3*i, 4*o - i = -z*i. Do o and 2 have the same value?
False
Let u be (-3)/(-7) - 12/28. Is u less than 13?
True
Let b be (25/10 - 3)*6. Which is greater: b or -4?
b
Suppose -3*y - 6 = -33. Let n be ((-80)/28)/((-95)/(-35) - 3). Are n and y non-equal?
True
Let o be 2*(-2 - 11/9). Let v = o + 52/9. Is -1 != v?
True
Let p be (2/10)/(48/60). Are 1/4 and p nonequal?
False
Let g(v) = v**3 + 2*v**2 - 3*v - 1. Let r be g(-3). Suppose 0 = -4*i - 0*i - 8. Let d be i + 2 + r/3. Is 0 >= d?
True
Let b be 10/(-15) + (-55)/(-15). Suppose -5*l + 0 + 10 = 0. Suppose -b*f = -l*f. Which is smaller: f or 1/7?
f
Let m(o) = o**3 + o**2 - o + 6. Let p be m(0). Which is greater: p or 5?
p
Let n(m) = 2*m**2 - 4*m**2 + 7*m + 6 + 3*m**2. Let b