e
Suppose 0 = m + 1 + 14. Is m != -46/3?
True
Let j = -0.02 + -2.58. Let u = j - -2.7. Is -0.1 equal to u?
False
Let h = 16 - 14.9. Let d = h + -1. Let o = -2.9 - -0.9. Which is smaller: o or d?
o
Suppose -3*l - l = 0. Which is bigger: -2 or l?
l
Let m = -16 + 10. Let v be 4/m*(-21)/14. Is 2/7 not equal to v?
True
Let c = -16 + 13. Which is smaller: c or -4?
-4
Suppose -3*n + s = 16, 3*n - 4*s + 32 = -n. Let z be -1 - 3*n/6. Is z at most as big as 1?
True
Let q(j) = j**2 - 5*j + 2. Let p be q(5). Suppose o - 9 + 47 = 4*z, -3*z = -p*o - 31. Let k(b) = -b**3 + 10*b**2 - 9*b - 4. Let l be k(z). Is -3 <= l?
False
Let m(a) = a - 11. Let i be m(-4). Which is smaller: -16 or i?
-16
Let u(d) = -d**3 + 9*d**2 + 10*d + 12. Let c be u(10). Let n be 3/(-6) - c/(-56). Which is smaller: 0.2 or n?
n
Let f = 154 + -155. Is -2/93 greater than or equal to f?
True
Let c = -8/3425 + 4428581/23975. Let w = c - 185. Let d = -13 + 14. Is d >= w?
True
Let b = 22/13 + -193/91. Are b and -1 equal?
False
Let c = 71/2 - 35. Is c at least as big as -0.14?
True
Let j(v) = -v**2 + v + 7. Let a be j(5). Suppose -5*h - 3*k - 57 = 0, -3*k + 8 = -h - 7*k. Is h less than or equal to a?
False
Let x = 2 - 3. Let l(n) = -n**3 + 10*n**2 - 6*n - 8. Let y be l(9). Suppose -4*v - v + y = -3*d, 3*v = 6. Which is greater: x or d?
x
Suppose 0 = 2*g - 71 + 45. Let v = 43 + -31. Is v at most g?
True
Let r(l) = l - 2. Let o(n) = n**3 + 7*n**2 - 8*n - 2. Let g be o(-8). Let j be 1 + (5 - 1) + g. Let b be r(j). Which is greater: b or -4/7?
b
Suppose -3*l = -39 - 81. Suppose -3*t = -5*t + l. Suppose -5*i = -t, -6*w - 7 = -w - 3*i. Which is greater: 2/5 or w?
w
Let j = -42 + 42.1. Let s be (1/2)/(6/(-4)). Which is bigger: j or s?
j
Let f = 2 - 2. Which is greater: -1 or f?
f
Let h = -0.153 - 0.047. Are -1.7 and h equal?
False
Let d(l) = -6*l**2 + 3*l + 5. Let h be d(5). Let q = h + 14. Let r = q - -582/5. Is -2 < r?
True
Let v(b) = b**3 + 8*b**2 - 8*b + 11. Let r be v(-9). Let n = r - -9. Suppose -4*t + 3 = n. Do t and -1 have different values?
True
Let l = -7.5 + 6.3. Is -3 <= l?
True
Let b = 9 + -11. Let d(y) = -y**3 - 2*y**2 + 3*y + 3. Let z be d(b). Is -3 at least as big as z?
True
Let a = -5 - -3. Let v(l) = -l + 11. Let x be v(7). Suppose -x*p + 9 = 1. Is p less than or equal to a?
False
Suppose -i + 63 = 48. Let x(f) = 2*f**2 + 7*f. Let r be x(-5). Is i equal to r?
True
Let k = 85/6 + -259/18. Is 0 at most as big as k?
False
Suppose -18 + 20 = 2*t. Is -2/133 at most t?
True
Let p = 7 - 8. Let n be (-1)/(21/(-9) - p). Suppose -l = 3*u - 10, 38 - 12 = 3*u + 5*l. Does n = u?
False
Suppose -o = 2*o + 21. Let s(g) = g**3 + 8*g**2 + 7*g + 6. Let z be s(o). Let y be 20/z - 2/6. Does y = 2?
False
Let b(g) = g**3 + 12*g**2 + 35*g - 7. Let o be b(-6). Let c be (4/(-318))/((-2)/6). Is o equal to c?
False
Let w = -0.7 + 0.4. Suppose -x - 3 = 2*x. Which is smaller: w or x?
x
Let i = -0.31 - -0.21. Do i and 2 have different values?
True
Let q be (1*4)/((-20)/(-15)). Suppose 0 = -2*n + 19 - q. Which is smaller: 7 or n?
7
Let u(q) = -2*q - 1. Suppose 4*l = 2*l - 10. Let h = l - -3. Let v be u(h). Is 3 at most v?
True
Let y = -0.06 - 0.04. Let v = y - 0.2. Let w = v + 0.2. Which is smaller: w or -0.3?
-0.3
Let i be 6/8*(-32)/(-24). Which is bigger: i or 4/13?
i
Let h = 5132/55 - 462/5. Let p = -13/22 - h. Do 0.1 and p have different values?
True
Let p be (-17)/(0 - (-15)/117). Let l = p + 133. Let q = 0.3 + -0.2. Is l greater than q?
True
Suppose -2*z = -4*p - 184, 3*z + 20 = -2*z. Is -49 greater than p?
False
Suppose 4*k + 8 = 8*k. Suppose -k*n - 1 = c, -2*n + 0*c = -2*c - 2. Is n > 1?
False
Let s = -76 - -85. Is s equal to 7?
False
Let r = -13/2 + 37/6. Let t(z) = -4*z**2 - 3*z + 13. Let k(j) = 5*j**2 + 3*j - 14. Let o(b) = 3*k(b) + 4*t(b). Let i be o(-5). Which is greater: i or r?
i
Let v = 15590953/25 - 624059. Let w = 421 + v. Is 1 >= w?
True
Let g be (-4 + (-8)/(-4))/(-4 + 2). Let l = -11/2 + 51/10. Is l at most as big as g?
True
Let f be 6/(-2) + 2 + (-5)/(-4). Is f >= 57?
False
Let n = -40 + -19. Which is smaller: -60 or n?
-60
Let h be (-8)/(-2) + -4 + -1. Let o be ((-1)/2)/((-6)/(-8)). Which is smaller: o or h?
h
Suppose b + 0*p = 2*p - 10, 2*b = -3*p + 15. Is 2 at most b?
False
Suppose 80 = -5*u + 9*u. Which is greater: 21 or u?
21
Let z = 3.98 + 0.02. Suppose 36 = 9*o - 5*o. Let g = 10 - o. Which is smaller: z or g?
g
Let o be 0 - 1 - (-6 + -66 + 4). Is o equal to 67?
True
Suppose 2*p = 3 - 13. Let w(k) = k + 12. Let o be w(-17). Is p at least as big as o?
True
Let v = 0.28 - -0.02. Let t = -0.1 - v. Let m = t - -0.4. Which is smaller: m or -1?
-1
Let f = 21 - 23. Which is smaller: f or 9?
f
Let l = 0 - 7. Let f = 56 - 49. Let w = f + l. Which is greater: 0.1 or w?
0.1
Suppose 0 = 5*l + 4*z - 42 + 14, 4*l - 38 = 2*z. Let n be ((-8)/(-28))/(l/7). Is n at most as big as 0?
False
Let a(s) = -s**2 + 9*s - 3. Let z be a(8). Suppose 0 = 4*d + 4*c - 36, -1 - 29 = -2*d - z*c. Which is bigger: d or 4?
d
Let s = 103 + -517/5. Which is bigger: 2 or s?
2
Let m = 76 - 75.9. Is m not equal to -5.9?
True
Let j be ((-6)/(3 + -15))/((-2)/(-28)). Is 2 at most j?
True
Let o = 302272/9 - 33709. Let l = o - -123. Which is smaller: l or 1/4?
l
Let a(r) = -9*r + 7. Let f(c) = -9*c + 7. Let v(z) = 6*a(z) - 5*f(z). Let i(q) = 5*q - 4. Let x(l) = 7*i(l) + 4*v(l). Let h be x(-2). Is 1 >= h?
False
Let q = -309/10 - -161/10. Which is bigger: -14 or q?
-14
Let i(y) = y**3 - y**2. Let u be i(1). Let v be -6 - -5 - 1*2. Let z = -5 - v. Which is greater: u or z?
u
Let v(c) = -3*c**2 + 3*c - 6. Let i(t) = -3*t**2 + 4*t - 7. Let z(u) = 5*i(u) - 6*v(u). Let x be z(-1). Suppose l = -x*l - 3. Which is smaller: -2 or l?
-2
Let q = 16 + -13. Suppose -4*t - 11 = -q*w, 0 = -3*w + w + 10. Does t = 9?
False
Let o = -4 + 8. Suppose -o*y + 115 = -389. Let i = y - 1136/9. Which is smaller: i or 1?
i
Suppose -23 = -5*p + v, 2*p = 2*v - v + 11. Suppose -p = 5*m + 11. Is m bigger than -2?
False
Let v = -155.9 + 156. Let m be (-2)/(-4)*8/12. Which is smaller: v or m?
v
Let u(j) = -537*j**3 - j**2 - 5*j + 4. Let k be u(3). Let r = k + 129170/9. Let z = r - -167. Is 0.1 != z?
True
Let w = 1 + -4. Let q(p) = 1 + 0*p - 2*p + p - 5. Let r be q(w). Is 0 greater than r?
True
Let b(y) = 3*y + y**2 - 5 - 2*y**2 + 4. Let w = -6 - -9. Let j be b(w). Is -2/7 < j?
False
Let o = 8.08 + -8. Which is bigger: 0.1 or o?
0.1
Suppose 0 = 4*c - 16, -5*u = -10*u - 2*c + 18. Let g be 5/(-5)*2/u. Let p be ((-3)/(-5))/(21/(-15)). Is g equal to p?
False
Suppose 0 = 5*b - v - 91, b = 2*v + v + 21. Let c = -11 + b. Suppose -s + 2*g = c, s + 4 = -3*s + 2*g. Which is bigger: s or -0.1?
s
Let d(x) = -x**3 - 5*x**2 - 6*x - 1. Let u be d(-4). Let y = -5 + u. Suppose i = -0*i + y. Which is smaller: i or 1?
1
Let w(a) = -a**3 - 4*a**2 + 6*a - 5. Suppose -2*f - 3*g - 22 = 3*f, 5*g = -2*f - 5. Let k be w(f). Which is smaller: -9 or k?
k
Let k = 65 - 44. Let o be 3*4/(36/k). Do 5 and o have the same value?
False
Suppose -2*t - 5*n = -0*n - 2, 36 = 4*t + 2*n. Suppose -6*g + g + 2*p - t = 0, -5*p = 10. Let z be (-2)/g - (-15)/(-9). Is -2/3 smaller than z?
False
Suppose 1 + 1 = -2*u. Let f = u - -3. Let d be 0 + 7/(-4) + f. Is d > -2?
True
Let b = 1.9 - -1.1. Is b less than -7?
False
Let t(g) = -g**3 - 9*g**2 - 8*g + 16. Let d be t(-8). Is 16 at least d?
True
Let y = 0.34 + 7.46. Let v = 8 - y. Is v equal to 3?
False
Let w(g) = 3*g + 9. Let q(v) = 10*v + 26. Let r(u) = -2*q(u) + 7*w(u). Let b be r(-11). Is b at least 1/14?
False
Let d = 42 + -42. Is d at most as big as 9/7?
True
Let i(f) = f**2 - 22*f + 20. Let m be i(21). Let n = 921 - 4589/5. Let w = n + -53/15. Which is smaller: m or w?
m
Let w be (-6)/(-21) + 12/7. Let a be (-6 - 2)*(-1)/w. Is 3 > a?
False
Let i be 3/7 + (-234)/840. Is 1 less than i?
False
Suppose -v + 3*v + 20 = 0. Let h be 54/45 + 2/v. Is -4/9 at most as big as h?
True
Suppose 2 + 8 = -5*f. Which is greater: -1/3 or f?
-1/3
Suppose -4*p = 4 + 32. Is -7 at most as big as p?
False
Let a be 42/18 - (-4)/6. Let n(r) = -2*r + 3. Let y be n(a). Which is bigger: -2 or y?
-2
Let d = 3 + -3.1. Let z = 13567/36879 + -11/647. Let s = 6/19 + z. Is s at least as big as d?
True
Suppose j - 4*m - 4 = -7*m, -3*m - 1 = -4*j. Suppose -5*b = 4*l - 16, -5*b + 8 = -3*l - 15. S