or m?
m
Let n = -3.1 - -6.1. Do n and -5 have the same value?
False
Let w be 167/(-737) - (-2)/11. Is w less than or equal to 1?
True
Let g be ((-1)/1 + 0)*1. Which is smaller: g or 0?
g
Let y = 3 - 9. Let q(t) = 6*t - 106. Let w be q(17). Is w at least y?
True
Suppose 3*d = -5*v + 5 + 10, 4*v = -4*d + 20. Let j(k) = -2*k - 7. Let l be j(-5). Is l > d?
False
Let c = -14 - -13.9. Which is smaller: c or -4?
-4
Let i(t) = -11*t**2 + 2*t. Let r be i(-1). Which is greater: -11 or r?
-11
Let q = -7052641 + 387908046/55. Let g = q + -2544/11. Let i = 12/11 - g. Which is greater: 1 or i?
1
Let c = 2 - 3. Let z = -1.2 + 0.8. Let y = z + 0.3. Which is bigger: y or c?
y
Suppose -5*n = -2*n + 3. Let x be n + 1 - (-2)/(-8). Do 5 and x have different values?
True
Let c = 52 - 54. Let a = -3 - -6. Let m(s) = s**3 - 2*s**2 - 5*s + 4. Let h be m(a). Is h > c?
False
Let z = -13.9 + 14. Are z and -35 nonequal?
True
Let b = 2 + 1. Suppose 0 = 2*n + b*k + 5, -3*k = -5*n + 6 + 13. Let j = 0 + n. Is 2 smaller than j?
False
Let o = -16/7 + 73/35. Suppose 3*j + 15 = 4*i, i + 2*j + 2 = 14. Let k be (-21)/(-55) + i/(-33). Do o and k have the same value?
False
Let a = -0.2 - 2.8. Which is greater: -10 or a?
a
Let n be (-780)/42 + (-2)/(14/3). Which is greater: n or -22?
n
Let f = 32 + -33. Are 0.14 and f equal?
False
Suppose h + 2*h - 5*p = -19, p + 3 = 4*h. Let b be 2/(3 + h + -28). Is 1 at least b?
True
Let z be (0 - 1)/((-2)/10). Suppose 5*x - 5 = 5*i + z, x - 2 = 2*i. Suppose -2*k + 0*k = i. Which is greater: k or -1?
k
Let h = -0.4 - -0.3. Which is smaller: h or 0.2?
h
Let h(j) = -j - 1. Let u(o) = 3*o + 7. Let n(a) = -a**2 + 7*a - 4. Let d be n(5). Let r(x) = d*h(x) + u(x). Let w be r(1). Does -2 = w?
True
Suppose -5*v - 35 = -5*s, -4*s - 2*v + 0*v + 22 = 0. Let o be ((-3)/s)/((-3)/30). Is o smaller than 4?
False
Let l = -1 - 11. Are -12 and l nonequal?
False
Let r(c) = c + 2. Let p be r(5). Let m(x) = -6*x - x**2 + 2*x + x + p. Let f be m(-5). Is -2/3 greater than or equal to f?
True
Let q = 15.97 + -16. Is -1 less than or equal to q?
True
Let p be -1 + 4 - (-11)/(-11). Let k(r) = -2*r**2 + 4*r - 3. Let t be k(p). Which is smaller: t or 0.4?
t
Let b(h) = 2*h**3 - h**2 + 1. Let d be b(-1). Let x(c) = -c - 1. Suppose 0 = -2*a + a + 1. Let k be x(a). Is k not equal to d?
False
Let u(o) = 4*o + 24. Let w(a) = -a - 8. Let g(k) = -2*u(k) - 7*w(k). Let s be g(12). Which is smaller: -2 or s?
s
Suppose -2*g + 20 = 3*g. Let s(f) = f**2 - 3*f - 1. Let x be s(g). Let d be x/(-5) + 14/(-35). Are d and -1 non-equal?
False
Let g = -0.9 + 0.1. Are g and 3 equal?
False
Let n = -5 - -7. Suppose 2*s - n = -4. Is s != -2?
True
Let x = 4 - 2. Suppose 4 = 4*g, 0 = 3*t + x*g - 5*g + 9. Are t and -2 equal?
True
Let u = 20.51 - 0.51. Is u bigger than 0.2?
True
Let u be 8/10 - 1 - 1. Let b(p) = -3*p**2 - 2*p + 1. Let t be b(-1). Which is smaller: t or u?
u
Let w(y) = -y**2 - 10*y - 6. Let g be w(-9). Let i = g + -4. Which is greater: i or -4/7?
-4/7
Let r(t) = -5*t - 17. Let a be r(-4). Is a equal to 3?
True
Let m = 0.9 + -0.6. Let w = -0.1 + m. Let k = -0.4 + w. Are 0.1 and k unequal?
True
Suppose 0*b - 3*b - 3*m = 12, -2*b = 5*m + 5. Let y(c) = -c**3 - 12*c**2 + c + 6. Let i be y(-12). Which is greater: b or i?
b
Let n = 197 - 1401/7. Is n > -3?
False
Let k(b) = -3*b**3 - 20*b**2 - 6*b + 12. Let y be k(-6). Is -27 bigger than y?
False
Let g = -0.9 - 6.1. Let b = -1 - g. Which is greater: 1 or b?
b
Let s be (-12)/(-716)*59 + -1. Which is smaller: -1 or s?
-1
Let i be (4/3)/((-2)/(-6)). Let l = 12 - 7. Is l less than or equal to i?
False
Let n(g) = -10*g + 94. Let r be n(9). Suppose -2*c = -3*m + 15, -4*m - 2*c + 6 = -0*m. Which is smaller: r or m?
m
Let m = 19 + -13. Let u be 0 - m/(-3) - -1. Let d be 2/u*(-9)/(-48). Which is smaller: 1 or d?
d
Let f(i) = i**2 + 5*i - 4. Let t be f(-5). Is 0 < t?
False
Let s be (-630)/66 - -3 - -5. Which is greater: s or -1?
-1
Let p = 841/11 + -77. Suppose 2*f + k + 7 = -3*f, k = 5*f + 13. Which is smaller: f or p?
f
Let c = -1 + 8. Let s = -7 + c. Let g = -4 + 7. Which is smaller: g or s?
s
Suppose 2*d + 4*m = -20, 4*d - d = -3*m - 18. Which is greater: d or -6/7?
-6/7
Let s = -75 + 76. Which is bigger: 0 or s?
s
Suppose 0 = -b - 4 - 0. Let i be b/14 + (-2)/(-7). Let x be -3 + (-2 - -1) + i. Which is smaller: -3 or x?
x
Suppose 3*s = 4*s + 4, y = 3*s + 8. Let v(m) = -m**3 - 7*m**2 + 8*m - 5. Let x be v(-8). Is x > y?
False
Suppose 5 = 4*n + n - 5*t, -5*n = -4*t - 8. Is 4 greater than n?
False
Suppose 21 + 54 = 5*o. Suppose -4*q = -5*c - o, -5*c + 11 + 19 = 5*q. Let h be ((-3)/(-9))/(5/(-6)). Which is bigger: c or h?
c
Let n be 36/45 + (-4)/5. Let v be (7/2)/((-1)/2). Which is smaller: n or v?
v
Let t(q) = -q + 3. Let z be t(3). Let x be (-1 - z)/((-2)/(-4)). Which is smaller: -0.1 or x?
x
Let w = 0.04 + -0.04. Which is bigger: 9 or w?
9
Let z be -2*4 - (-3 + 4). Let l(m) = m**3 + 10*m**2 + 10*m + 8. Let v be l(z). Are 9 and v equal?
False
Let d = 96 - 99. Let r(o) = o - 3. Let v be r(-7). Let j be v/(-4)*(-3)/15. Which is smaller: j or d?
d
Let s be (-17)/(-5) + 10 + -14. Is s <= -2?
False
Let x = -7.58 - -0.88. Let g = -7 - x. Let d = 0 - g. Which is greater: d or -0.1?
d
Let w = 3.1 - -0.9. Let b = -4 + w. Is b >= 0.5?
False
Let d(z) = -2*z - 6*z - 1 + 1 + z**2. Let x = 5 + 3. Let c be d(x). Is c bigger than -1?
True
Let f be ((-4)/10)/((-11)/5). Let k(w) = w + 8. Let i be k(-9). Is i >= f?
False
Let x = 0.28 + 0.02. Let a = -2.3 + x. Let l = a - -4. Do 0.3 and l have the same value?
False
Let m = 491 + -277. Suppose m = -3*g + g. Let n = g - -431/4. Is 2 less than n?
False
Let q(a) be the third derivative of a**4/24 + 5*a**3/3 - a**2. Let o be q(-12). Is 2/11 equal to o?
False
Suppose 5*f + 2*m = 30, -m + 1 = -4. Let a(g) = -g**3 + 4*g**2 - 5*g + 4. Let h be a(3). Let z be 2/(-22)*f/h. Is -1 >= z?
False
Let w = -12 + 17. Suppose 0 = -4*c - w + 1. Which is smaller: 2/17 or c?
c
Suppose a + 6*a - 28 = 0. Which is smaller: a or 7?
a
Let v(w) = -8*w - 122. Let d be v(-15). Let t(b) = b**3 + 4*b**2 - 4*b + 3. Let m be t(-5). Are d and m nonequal?
False
Let q = -70 + 349/5. Which is smaller: -1 or q?
-1
Let s = 1.3 - -2. Let t = -1.3 + s. Which is greater: t or -4?
t
Let k be -9 - (0 - 0) - 0. Let j be 74/(-8) - (-40)/32. Which is greater: k or j?
j
Suppose 6*f - 21 + 9 = 0. Which is smaller: f or 5/7?
5/7
Let q = -94 - -941/10. Are 1 and q equal?
False
Let v(j) = j**2 + 8*j - 1. Let x be v(-8). Which is bigger: -1/70 or x?
-1/70
Suppose -4*w - 121 + 37 = 0. Which is smaller: w or -22?
-22
Suppose 4*m - 320 = -5*h, -8*h + 160 = 2*m - 3*h. Are 79 and m non-equal?
True
Let s = 22 - 12. Suppose u - 3*u + 12 = 4*k, -4*u = k - s. Which is bigger: 1 or u?
u
Suppose d + 4*f - 14 = 0, 16 = -0*f + 4*f. Let j be 4 - (-3)/(d - 1). Let g = 4 - j. Which is greater: -2/11 or g?
g
Let j = -24 + 28. Which is smaller: j or 10?
j
Let y be (2/4)/(2/4). Suppose -3*d - y = -4*d. Let z = 16 + -78/5. Does z = d?
False
Let g be 443/84 + (-6)/(-8). Let l = 37/6 - g. Which is greater: 1 or l?
1
Let g be 4 + -7 + 0 - 83. Is -86 smaller than g?
False
Let w be -2 + (0 - (-21)/6). Let o(v) = -v + 0*v - 4*v - 1 + 3*v + 2*v**2. Let k be o(-1). Is k < w?
False
Let b(a) = -a**3 + 9*a**2 - 12*a + 12. Let j be b(8). Is -20 < j?
False
Let v = -27 - -18. Is 2/9 bigger than v?
True
Suppose 176 = -14*k + 25*k. Which is bigger: k or 14?
k
Let c be 8/(20/5)*(-14)/(-4). Is 5 greater than c?
False
Let g = -2177/195921 + 2/1979. Let j = g + 203/495. Let w = 2 - 1. Which is bigger: j or w?
w
Let n = -523/7 + 74. Let a = n + 22/21. Suppose -5*h - 2 = 3. Is h less than a?
True
Let x(c) = -1 + 4 + c - 1. Let k be x(-2). Let b be (6/8)/(7/(-4)). Which is greater: k or b?
k
Suppose 35 = -3*m + 2*k, 0 = 4*k - 1 - 3. Let y = m + 16. Suppose j - y = -0*j - 3*h, 3*j = -h - 9. Which is smaller: -5 or j?
-5
Let b be -1 + -1 - 280/(-139). Let w = b + 131/556. Suppose -3*o + 5 = 2*o. Is w less than o?
True
Let h be (-2*3/12)/3. Is h at least 0?
False
Suppose 0 = -v + 3*v + 2. Which is bigger: v or 1/5?
1/5
Let q = -1/23 - -27/92. Let c be 7 + (0 + 12)/(-3). Suppose -2*l = c*b - 3 - 14, -2*b = -2*l - 8. Which is smaller: l or q?
q
Let k = 1.38 + -8.48. Let d = 7 + k. Let w = -0.2 + -0.8. Is w equal to d?
False