t x be j(m). Is x greater than or equal to -7?
True
Let m be 72/(-27)*9/2. Which is bigger: m or -13?
m
Let n be (0 - 1) + 0 - 0. Let g be 3/(-2) - (-9)/6. Let i be (-3)/(-8) - g/(-3). Which is greater: i or n?
i
Let w = -49/195 + 2/39. Which is smaller: 1 or w?
w
Let t be ((-2)/(-6))/(3/(-18)). Let g be (-1 - t) + 33/(-24). Which is greater: 0 or g?
0
Let i = -2 - -4. Suppose m - 6 = -2*l - 0*m, -i*l + 10 = 2*m. Let t be (-4)/(-14)*-1*l. Do t and -1 have the same value?
False
Let a(j) = -j**3 - 4*j**2 + 3*j + 7. Let n be a(-3). Which is smaller: -12 or n?
-12
Suppose 0 = -k + 3*y - 14, y = k + 4 + 8. Which is smaller: k or -41/4?
k
Suppose 5*o = 18 + 7. Suppose 0 = -d + o*d. Which is smaller: d or 8/7?
d
Let c = -3 - -20. Let j = 26 - c. Which is greater: j or -1?
j
Let i be 1 + 1 + 0 + -2. Is i bigger than 0?
False
Let b(u) = u**2 + 4*u + 3. Let s be b(-2). Is s less than -2/35?
True
Let b = 11 + -13. Let z = -13 - -8. Is z != b?
True
Let h = 1 - -12. Let m = h - 13.2. Which is smaller: m or -6?
-6
Let z be 4/22 + (-485)/(-55). Does z = 10?
False
Let q = -0.27 + 0.17. Which is smaller: q or 2/3?
q
Let i = 28 - 20. Suppose 0 = 3*q - p - 2*p - 3, 4*p - i = -2*q. Which is smaller: q or -0.1?
-0.1
Let x = 173 - 1555/9. Which is greater: 1 or x?
1
Let v(t) = t**3 - 6*t**2 + t - 4. Let s be v(6). Is s > 2/3?
True
Let v = -2 - 0. Let y = -4 - v. Let x = y - -3. Which is greater: x or 3?
3
Suppose 4*u = 2 + 10. Let f be 1/u - (-21)/63. Is 1.2 < f?
False
Let i(v) = -v**2 + 16*v + 21. Let o be i(17). Let x(l) = -l - 1. Let n be x(-3). Suppose g + n*g - 15 = -4*h, -10 = -2*g + h. Do g and o have the same value?
False
Let s = 113 - 113. Is 7 smaller than s?
False
Let b = -26 - -18. Let y be (-3)/(-15) + 46/(-5). Which is smaller: y or b?
y
Let i be ((-15)/50)/((-6)/(-5)). Is 1 at most as big as i?
False
Suppose 0 = 4*n + c - 0*c - 97, 3*n + 4*c - 76 = 0. Is 26 greater than or equal to n?
True
Let g = 55/168 + 1/21. Let t be (-2)/10 + (-12)/(-10). Which is greater: t or g?
t
Let l(w) = w**3 - 2*w**2 - w. Let s be l(2). Let r be (-7 - s) + -1 + 1. Let x(u) = -u**3 - 4*u**2 + 6*u + 6. Let b be x(r). Is 1/3 less than or equal to b?
True
Let r = -1704/7 + 243. Let z(k) = -k**2 + 13*k + 4. Let i be z(13). Suppose 0*l + q = -3*l + 5, -l + i*q = 20. Is l != r?
True
Let d(b) = -b**2 - b - 2. Let l be d(0). Let c = -8 + 8.06. Let z = -0.04 - c. Are z and l unequal?
True
Suppose -45 = 5*v + 4*r, 5*r + 35 = -4*v + 2*r. Let w = -4 - v. Which is smaller: w or 0?
0
Let n = 2.8 - 2.7. Suppose -34 = -3*p - 5*z, -p = -0*p + z - 8. Which is smaller: p or n?
n
Let x(h) = -9 - 2*h**3 + 0*h**3 + h**2 + 8. Let n be x(-1). Which is smaller: 4/5 or n?
4/5
Let m = -17 - -16. Is -2 equal to m?
False
Let d = -2 - -1. Let m be 3 - (-80)/(-12) - -2. Let p = d - m. Is 0 at most as big as p?
True
Let c be (-2 + 26/6)*6. Let z be (-35)/(-60)*(-2)/c. Let r = 5/12 - z. Which is bigger: 1 or r?
1
Suppose -2*x - 54 = -4*s, 3*x + 66 = -0*x + 3*s. Which is bigger: -18 or x?
x
Let c be (-4)/(-18) + 215/45. Suppose 4 = 3*k + 4*z - 13, -3*k - c*z + 19 = 0. Is 1 equal to k?
False
Let a = -18 + 26. Suppose -6 = 5*g - 46. Do g and a have different values?
False
Let p = 1 - -4. Let y be (p/(-2))/((-1)/2). Let w = 5 - y. Which is smaller: -2/5 or w?
-2/5
Let u = -9 + 8. Let x be (2/(-2) - 0)/(1/5). Which is smaller: x or u?
x
Suppose 2 = -2*t + t. Let z be 4 + (t/(-2) - 4). Do z and 2/53 have the same value?
False
Suppose 0 = c - j + 4*j + 13, 0 = 5*c + 4*j + 10. Suppose c*a - 162 = -a. Let x = 157/3 - a. Which is greater: x or -1?
-1
Let q = 3.5 + -3.57. Are q and -3 equal?
False
Let w = -0.79 + 0.8. Let x = -0.01 + w. Which is smaller: x or 2/3?
x
Let n = -6 - -6. Let s be (-26)/(-16) - 2 - n. Is -1 greater than s?
False
Suppose 2 + 14 = 4*t. Suppose 5 = p - 3*p - n, -t*p - 3*n - 5 = 0. Which is smaller: -4 or p?
p
Suppose 2*p + 5*z = -19, -4*p - 4*z + 0*z - 8 = 0. Let j be -1 + (-1)/p*-2. Suppose -5*x = -3*d - 1, -d - 4*x - 1 = 5. Which is greater: d or j?
j
Let x(k) = 1 - 13*k**2 + 10*k**2 + 2 + 4*k. Let t be x(-3). Let m be 1/(-4) - 1/t. Is m at least -2?
True
Let z be (-1)/3 - (-1)/3. Let t be 18/(-6) - 137/(-45). Is z greater than or equal to t?
False
Let k = 2/125 - 383/500. Which is bigger: -2 or k?
k
Let z = 4 - 4.03. Let v = 3.03 + z. Let y = v + -3. Is -2 bigger than y?
False
Let o = -0.17 - -0.27. Is o at least as big as -0.05?
True
Let r be (-6)/21 - (-456)/(-21). Is r > -21?
False
Let d = -23 - -22. Which is smaller: d or -2/57?
d
Let t = -1 - 1. Let q = -4 - -1. Which is smaller: t or q?
q
Let q = -19.5 + 20.1. Suppose 3*h - 4*o - 13 = -0*h, -2*o - 12 = 4*h. Is h bigger than q?
False
Let d = -0.149 - -0.049. Let h = 0 - -2. Let c = h + -5. Are d and c non-equal?
True
Let w be 10/4 - 1/(-2). Which is greater: 26/7 or w?
26/7
Suppose 0*t + t = 3*r - 7, -4*r - t + 7 = 0. Suppose -4*o = -j - j, -3*o - r*j = -7. Let f(l) = -l - 5. Let v be f(-6). Is v bigger than o?
False
Let q = 0.07 + -0.05. Let v = q - -0.18. Which is greater: v or 0?
v
Let t = -43/2 + 21. Let l = -1.7 - -1.57. Let v = -0.33 - l. Which is bigger: v or t?
v
Let z = -92 + 24. Is z < -69?
False
Let g(b) = -b + 6. Let i be g(6). Let p = 828/7 + -118. Which is smaller: i or p?
i
Let a(l) = 1 - 1 - l + 1. Let d be 0/(-2 - 1 - (-13 + 8)). Let u be a(d). Is u at least as big as -1/6?
True
Let x = -0.8 - -11.8. Let a = x + -16. Let r = a + 1. Is 0 at least as big as r?
True
Suppose -2*r + 3 = -9. Suppose r*q + b = 4*q + 12, 2*b + 12 = 5*q. Let g = 0.05 + 0.05. Is q greater than or equal to g?
True
Suppose -l + 6 = -o, o + l = -0*o. Let c(s) = s**3 + 2*s**2 - 2*s. Let p be c(o). Let b(x) = 4*x**2 - 2*x - 1. Let d be b(0). Which is greater: d or p?
d
Let o be (4 + -6)*51/(-6). Let l = o - 9. Which is smaller: l or 7?
7
Let g(z) = -z**3 + 3*z**2 + 2*z - 2. Let v be g(3). Suppose t - v*t - 9 = 0. Do t and -2 have the same value?
False
Let l be 3/(-2 + 0 + 4 + 1). Is l bigger than -5/38?
True
Let m be 2/5 + (-138)/(-5). Suppose -3*j = 4*n - 6 - 14, -m = -4*n - 5*j. Let q be (n*-1)/2 - 1. Is -4 at least as big as q?
False
Let j = -22 + 21. Is -3/25 at most j?
False
Let w(m) = m**2 + 7*m - 3. Let u be w(-6). Which is smaller: -8 or u?
u
Let i be (-5)/(-25) - 19/(-5). Suppose -2 = -i*r + 6. Suppose 0 = -5*j + r*j. Do -1 and j have different values?
True
Let y = 8738 - 35125/4. Let f = y - -43. Is -1 less than or equal to f?
True
Let q(z) = -2*z**2 - 21*z - 10. Let p be q(-10). Which is bigger: p or 2/15?
2/15
Suppose 22 = 4*x - 10. Does x = 10?
False
Suppose 4*p = 5*h - 8, -2*p + 6 = 2*h - 8. Suppose -7 = -l - p. Let q = l + 0. Which is bigger: q or 3?
q
Let r(f) = f**3 - 5*f**2 - 6*f + 4. Let v be r(6). Suppose v*q - 6 = 5*z, -2*z + 1 = 5. Which is smaller: q or -5?
-5
Suppose 3*x = -5*a + 1 + 2, 5*x - 5 = a. Let t = -9 + 13. Which is greater: a or t?
t
Let y(u) = -u - 14. Let h be y(-12). Let w(b) = b**3 - 7*b**2 + 6*b - 4. Let d(s) = -s + 6. Let t be d(0). Let q be w(t). Is q smaller than h?
True
Suppose -125 - 67 = 8*m. Is m <= -23?
True
Let h = -1.5 + 0.5. Is h at least as big as -0.09?
False
Suppose -3*p + 4*r = -12, -2*p = 2*p + 5*r + 15. Let s = p - -2. Suppose 0 = -s*w + 3 - 1. Is w equal to 1/7?
False
Let m(b) = -b**3 - 6*b**2 + b + 5. Let g be m(-6). Suppose -3 = -4*z + 5*o - 9, -8 = -4*o. Let p be g/(0 - z/(-3)). Which is greater: p or -2/7?
-2/7
Let n = 191 - 1339/7. Let q = 19.9 - 18. Let o = q + -2. Is o >= n?
True
Let a = -66 - -41. Let z = a + 49/2. Is z not equal to -1?
True
Let q(a) = a**3 - 5*a**2 + 5*a - 2. Let l be q(4). Suppose -l*c - 3*c = 0. Let z be (c - 1)*(0 - -4). Are -3 and z non-equal?
True
Suppose 2*m - 6*m = -100. Suppose 5*d = -5 - m. Is d greater than or equal to -6?
True
Suppose -132 = 7*t + 4*t. Is t equal to -11?
False
Let b = 14.6 - 14.34. Which is bigger: b or -2?
b
Let g = -14.4 - -22.5. Let r = 8 - g. Is r > -7/5?
True
Let j(u) = 3*u - 18. Let m(x) = 5*x - 27. Let l(q) = -8*j(q) + 5*m(q). Let s be l(-8). Which is bigger: s or 5?
5
Let p = 0.2 - 1.2. Let w = 8 - 7. Suppose 0 = q + 4*a - 17 - w, 35 = -5*q + 5*a. Is q >= p?
False
Let m be (-1 - -3) + (-110)/30. Suppose -2*z + 0*z - 4 = 0. Are m and z unequal?
True
Let j = 0 - -1. Let m = j + -1. Let h be 2/10 - 136/280. Which is greater: h or