alse
Let v = -0.8 - 0. Let a = v + 0.8. Which is smaller: -2/5 or a?
-2/5
Let s(g) = -g**3 + 6*g**2 + 5*g + 10. Let k be s(8). Which is bigger: k or 0.1?
0.1
Let c = -2344631/3670716 + -75/13748. Let u be 352/178 - (-3 + 5). Let w = u + c. Which is smaller: -1 or w?
-1
Let y be (-8)/(-2) - (-300)/(-66). Let s(a) = a**3 - 5*a**2 - 5*a - 6. Let b be s(6). Which is greater: y or b?
b
Let r = -24 - -28. Suppose 6*f = -0*f + 6. Is r bigger than f?
True
Let x be ((-1)/4)/((-35)/(-28)). Which is bigger: -1 or x?
x
Let i = 37 + -21. Which is greater: 52/3 or i?
52/3
Let d(m) = m**2 - 3. Let b be d(2). Let j be (12/50)/((-3)/(-10)). Which is bigger: b or j?
b
Let s(r) = r + 18. Let w be s(0). Let p be ((-8)/12)/((-4)/w). Is 2 != p?
True
Suppose 13 + 11 = 4*w. Let g = 15 + 0. Suppose g = 3*k + 4*c, -4*c + 3*c = 0. Which is greater: w or k?
w
Let t = 2 + -3. Let u = 1073 - 41845/39. Is t bigger than u?
False
Suppose -6*m - 28 = 2. Is m less than -4?
True
Suppose 5*f + 9 = 24. Is f less than or equal to -1/5?
False
Let g = -5 + 5. Suppose g*w = -3*w. Suppose -4 + 3 = -j. Which is smaller: w or j?
w
Suppose -3*b + 6 = 5*k, 5*b = -k + 3*k - 21. Which is bigger: k or 1?
k
Let i be 16/(-6)*(-1 + -2). Suppose -2 = g - i. Suppose -2*s - g + 2 = 0. Is -1/2 at least as big as s?
True
Let a(q) = q**3 - 2*q**2 - q - 5. Let n be a(3). Which is greater: -2/157 or n?
n
Let n = 6 + -4. Suppose 9 = -2*q - 3*k, -27 + 5 = -4*q + n*k. Suppose -2*w = -2*o + 10, -q*o - 4 = 4*w + 2. Which is bigger: w or -4?
w
Let t = -87/4 - -22. Is 0 less than or equal to t?
True
Let d = 707173/6244 + -10/1561. Let f(w) = 28*w**2 + 2*w - 2. Let i be f(2). Let m = i - d. Which is greater: 2 or m?
2
Let j = -8 + 8. Which is smaller: -5/4 or j?
-5/4
Let n be ((3/(-12))/1)/((-21)/(-24)). Let l = -0.7 - 0.3. Let f = l - 1. Do f and n have the same value?
False
Suppose 0*t + t + 20 = -3*n, 0 = 5*t + n + 72. Do -16 and t have the same value?
False
Let y = -107 + 68. Is -153/4 not equal to y?
True
Suppose -2*h = 0, -4*f = -6*h + h. Which is smaller: f or -2/193?
-2/193
Let x(f) = -f**2 - f + 4. Let b be x(-3). Let y be 2/3 - (3 + b). Let u be 0/(3 + -1) - -1. Which is bigger: u or y?
u
Let l = -3 + -1. Which is smaller: l or -6?
-6
Suppose -3*r - 2*r = 25. Suppose -2*m + 3*m = -5. Is r at most m?
True
Suppose -q + 3*v = -8 - 1, 0 = -q + 2*v + 6. Is q smaller than 0.17?
True
Let h(b) = -b**3 + 3*b**2 + 3*b - 1. Let w(g) = -g**3 + g**2 + g - 1. Let u(p) = -h(p) + 2*w(p). Let z be u(-1). Let r = 1/45 + 29/45. Is r bigger than z?
True
Let y = 14 + -14. Let m be (-15)/10 - 1/(-2). Is y > m?
True
Let j be (-3 - (-55)/10)*1/(-2). Which is smaller: 1 or j?
j
Let n be 3 + (-28)/68 - 2. Let c = n - 232/221. Is c at least -1?
True
Suppose 0 = x + 2*x + 5*c - 22, x + 5*c - 14 = 0. Suppose 6 - x = y - w, -5*y - w = 2. Suppose -4*b + 19 - 3 = 3*t, 3*t = 2*b + 10. Does b = y?
False
Let i(k) = 3 - 6*k**2 + k**3 - 2*k**3 + 0*k**3 - 4*k. Suppose -5*c = 4*u + 29, -2*u - 26 = 5*c - u. Let d be i(c). Is -1 bigger than d?
True
Let i = -1.46 + 1.56. Is -33 at most as big as i?
True
Suppose -2*q + 2 = -3*q, -4*t + 10 = -5*q. Let r(u) = -u**2 - u + 3. Let z be r(t). Suppose 4*k - k = -z*c + 9, c = -5*k + 3. Which is greater: 4 or c?
4
Let c = 1 + 1. Suppose -3*z + 4*v = -10, -z + 6*z - 5*v - 10 = 0. Let r be (z/(-3))/(4/15). Are r and c non-equal?
True
Suppose 0 = 5*a - 26 + 6. Let r(o) = -o**3 - 3*o**2 - 2*o - 4. Let b be r(-3). Let j be (-4)/5*b/a. Which is bigger: j or 0.1?
0.1
Let c(t) = 5*t**2 + 8*t - 2. Let v be c(-3). Is v > 18?
True
Let j = -220 - -1767/8. Is 2 equal to j?
False
Let x = -67 + 70. Is x equal to 30/13?
False
Let h(r) = r**3 + 5*r**2 + r + 4. Let g be h(-5). Let x = 1822/5 + -366. Does g = x?
False
Suppose 3*w - 14 = -2*y - 0*y, 2 = w. Suppose 25 = -5*q, -q - 11 + 0 = -3*u. Is u at least y?
False
Suppose 4*l - 27 = 25. Is l <= 13?
True
Suppose -2*p - h = 27 + 6, h = -5*p - 81. Let b be 3 - (3 - -18 - 2). Is p smaller than b?
False
Let y = 4 - 2. Suppose 4*f + f + 10 = 0. Let s = f + y. Is s < 2?
True
Suppose -3*y + 10*x - 5*x - 10 = 0, -4*y = 5*x + 25. Let u be -6 - (1 + -5)*1. Is u equal to y?
False
Let i be 8/(-44) + (-576)/(-22). Let b = i - 27. Let l be 10/8 - (2 - 1). Which is greater: l or b?
l
Let c be 63/(-45)*4/(-14). Is 1 < c?
False
Let c = -4797/20 + 240. Is c at least as big as 0?
True
Suppose 4*l = -2*a - 18, -14 + 5 = -3*l + 3*a. Let t be 3/6 + (-7)/l. Suppose 0 = 2*p - p - 4. Is p greater than or equal to t?
True
Let z = -4.14 - -0.14. Is 2/5 greater than z?
True
Suppose 0 = 3*z - x - 3, 1 = 4*z - 5*x - 3. Is 2/33 bigger than z?
False
Let h = -0.1 + 0.1. Let i = -45/56 - -17/24. Let p = i + -59/42. Which is greater: h or p?
h
Let v = 16 + -15. Suppose 5*i - v = 4. Let y be -3 + 1 + 1 + 3. Which is smaller: i or y?
i
Suppose a = 2*i + 10, 0*a = -2*a + 5*i + 25. Is a < 12/61?
True
Let r be 10/25*(-5)/7. Let p = 0.2 + -0.1. Let o = 0 - p. Is r < o?
True
Let b be (-2)/(-18)*(-3)/7. Is b greater than -1?
True
Let g(s) = 2*s**2 + 12*s + 17. Let r be g(-7). Is 31 at least as big as r?
True
Let c(t) = -2*t - 21. Let h be c(-11). Let d be (-11 + 0)/((-34)/4). Let u = d - 103/119. Which is smaller: u or h?
u
Let i = 189 - 187. Is 9/14 at least i?
False
Suppose -2*v = -3*n + n, 0 = -n + 2. Suppose 4*s + 11 = -3*q - s, 0 = 4*q + 3*s. Which is greater: v or q?
q
Let i = 0.6 - 0.7. Let v = i + 1.1. Which is greater: v or -2/5?
v
Let d be (0/2)/(-2)*(5 - 6). Let k be 2/6 + 4/6. Is d less than or equal to k?
True
Suppose -h = -6*h - 15. Is -3 != h?
False
Suppose -2 = -3*p + 2*p. Let w = p + 2. Suppose 4 + 0 = w*a. Is a < 1?
False
Let f = -74 + 76. Which is bigger: 5 or f?
5
Let s = 12.19 - 12. Let j = 0.01 + s. Which is smaller: j or 1?
j
Let z be -3 - ((-2 - -1) + -3). Which is bigger: 7/5 or z?
7/5
Let f(u) = u - 3. Let w be f(5). Suppose 0 = w*i - 3*i + 4. Let x = -207 - -210. Which is bigger: x or i?
i
Suppose -6*u = -3*u - 6. Suppose -5*i - u = 8. Let a = -2 - i. Is 1/4 at most as big as a?
False
Let z = -1.16 - -7.26. Let o = z + -6. Suppose 2*w = -4*r + r + 1, 2*r = -3*w + 4. Which is greater: o or w?
w
Let y be 2 + (-2 - 2012/3570). Let s = -2/255 + y. Suppose 0 = -8*f - f - 7*f. Is f at least s?
True
Suppose 0 = 12*s - 8*s + 4. Suppose -2*d + 2*z - 24 = 0, 2*d + 36 = -4*z + 3*z. Let v = d + 31/2. Is s < v?
True
Let h(d) = -d**2 + 12*d + 12. Let s(a) = a**2 - 11*a - 12. Let y(x) = -3*h(x) - 2*s(x). Let o be y(15). Is o <= 5?
True
Let d be 48/(-10)*(-465)/62. Do d and 37 have the same value?
False
Let v be 4/((-48)/(-28) + -2). Let y = 10 + v. Is y not equal to -7?
True
Suppose 4*m + 0 + 4 = 0. Let d be (2/(-12))/(15/20). Does m = d?
False
Let k = -13571/58 - -234. Which is smaller: -1 or k?
-1
Let y = 3 - 20. Which is smaller: -18 or y?
-18
Suppose 3*l = 5*l + 4. Is -8/5 less than l?
False
Let t be (-22)/36 - (-1)/2. Let d be 3/5 + (-14)/(-35). Do t and d have different values?
True
Let f = -1 + -2. Let v = f - -3.2. Which is smaller: -1 or v?
-1
Let u = -12 - -16. Let s be (-42)/(-27) - u/18. Suppose -2*q + 3 = q. Is s less than q?
False
Let i be -30*(2 - (-184)/(-95)). Let f = 506/247 + i. Let s(u) = u**3 - 27*u**2 + 27*u - 26. Let b be s(26). Which is bigger: f or b?
f
Let p = -16 - -16. Is p at least as big as 2/21?
False
Suppose 0 = -4*c - b + 9, 5*c - 3 = 2*c + 3*b. Is -3 not equal to c?
True
Let o be ((-7)/448)/(2/4). Which is smaller: 0 or o?
o
Let s = 18 + -37. Let k be s/36 - 6/(-8). Suppose -3*z = -6*z. Which is bigger: k or z?
k
Suppose 2 = -5*m - 4*h - 2, -4*m - 3*h = 3. Let a be (-6)/(-154)*(-3)/(-18). Let z = a + 191/231. Does z = m?
False
Suppose 2*w + 5*r = 2*r - 8, -3*r = -5*w + 1. Is 1/16 > w?
True
Let c be (-22)/14 - 12/(-21). Which is greater: c or -2/245?
-2/245
Let s(m) = m**2 - 6*m + 1. Let y be s(6). Let z = 100/671 + 2/61. Is y < z?
False
Let p = 63 + -54. Is p < 2?
False
Let n = 128.869 - -0.131. Which is bigger: n or -2/3?
n
Suppose -l = 4*o - 18, 0*o + o = -5*l + 14. Suppose 0 = 2*d + d - 42. Let p be (-4)/(-6) + d/6. Which is bigger: p or l?
p
Let m(o) = o - 4*o + 7 + 2*o. Let c be m(6). Let z be 1/(2 + 1 + 4). Is c not equal to z?
True
Let j = -0.08 - -0.38. Let l be ((-2)/5)/((-12)/10). Which is greater: l or j?
l
Let q be 11 + (0 - (-1 + 2)). Suppose 3*k = 