?
False
Let z = 116 + -133. Is -18 bigger than z?
False
Let w = 6 - 4. Let v = w - 2. Let a = v + 1/3. Is a smaller than -0.3?
False
Suppose 0 = -4*d + 5*f + 6, -3*f + 0 = -6. Suppose -3*n + r = d, r = -2*n - 0*r - 11. Let c be (45/(-12))/(12/8). Which is bigger: c or n?
c
Let v be 5/(-4) + (-12)/16. Let n = v + 6. Which is smaller: n or 3?
3
Let f(d) = -2*d - 11. Let y be f(-6). Suppose 4*b = 2*p - 4, -3*p + y + 14 = 3*b. Do -1/4 and b have the same value?
False
Let r = -8 - -8.1. Which is smaller: r or 17?
r
Let s = -35/2 + 18. Let g = 6 + -3. Let r = -2 + g. Which is greater: r or s?
r
Let u(w) = w - 7. Let f be u(9). Let z be (f/18)/((-8)/24). Is z < 1?
True
Let j be 3 - 4/(-10)*-8. Which is greater: j or 1?
1
Let y = -1903/7 + 273. Is y at least as big as 2?
False
Let c = -66 + 100. Which is bigger: 35 or c?
35
Let h = -1009/4 - -253. Let t(q) = -q + 4. Let o be t(6). Let l = o + 3. Which is bigger: h or l?
l
Let w be (28/(-6))/7 + (-17)/(-21). Suppose 2*d - 2*f + 4 = -4*f, 2*d - f = 11. Suppose 4 = -7*j + d*j. Which is bigger: j or w?
w
Let q = 1/21 + -53/231. Let h = -595.3 - -595. Which is smaller: h or q?
h
Suppose 0 = -5*p - 25, 43 = -4*d - 5*p + 10. Which is bigger: d or -10/3?
d
Let o be 3*3/5*5. Let k be o - (-3 - -7 - 1). Let r = k + -1. Is r < 4?
False
Let q be 2 + -4 - -1*4. Let l be 60/161 + q + -2. Let v = 2/23 - l. Is 2/3 at least as big as v?
True
Let f = 0.3 + -0.4. Let u = 0 + -0.4. Which is greater: f or u?
f
Suppose -2*u + 4*k + 38 = u, 5*u + k = 48. Suppose n + n = -u. Which is smaller: n or -1?
n
Let s = 5/29 - 61/522. Is s smaller than -2?
False
Let t = 4.6 - 4. Let m = -0.7 + t. Which is bigger: -4 or m?
m
Let l = 1/61 + 55/366. Suppose -4 = 3*p - 2*u, p + 3 = 5*u + 6. Let n = -2 - p. Are n and l equal?
False
Let s = -0.39 + 2.39. Which is smaller: s or 3.1?
s
Let y = -0.5 + 3. Let u = y + -3. Let l = u - -0.5. Which is smaller: l or 0.3?
l
Let h be (3 - 2)/(-3 + 2). Let g be h + (-1 - 2) + 3. Is g bigger than -3/2?
True
Let k = -0.32 - 6.58. Let c = k + -0.1. Let g = c + 11. Which is smaller: 0.1 or g?
0.1
Let r(c) = -c**3 + 2*c**2 - c. Let z be r(1). Let b be (-4)/72*(4 + z). Suppose 2*t + 2*v = -6 + 2, -4*t + 19 = -5*v. Does b = t?
False
Let a = 8.9 + 0.1. Let k = a - 9.3. Which is smaller: k or -1?
-1
Let z = -2 - -7. Suppose -z*m + 3*m + 12 = 0. Which is bigger: 3 or m?
m
Let l = 12 - 7. Let s(w) = -w + 17. Let v be s(11). Is v less than or equal to l?
False
Suppose 12*t = 11*t - 18. Does 0.1 = t?
False
Let h = 3.1 + -3. Let y be ((-3)/1)/(6/4). Let l(b) = b + 1. Let f be l(y). Which is bigger: f or h?
h
Let q be (2 + (-3 - -2))*-2. Let t be 2/(6/(-4) - q). Let w(x) = x**3 + 7*x**2 + 7*x - 11. Let c be w(-5). Is t not equal to c?
False
Suppose 1 = 3*d - 4*d. Let l = 901/35 - 133/5. Is d bigger than l?
False
Let o be 3 - 1*(-4 - -3). Let j be (12/(-8))/(6/(-20)). Does o = j?
False
Suppose -5*t = -0*t - 20. Let f be (-7 + 3 + 3)*-8. Suppose -f = t*p - 0*p. Which is smaller: -2/3 or p?
p
Suppose -5*r - 15 = 2*c + 2*c, -3*c = -5*r + 20. Let z = r + 0. Let u be ((-8)/6 - -2)*z. Is -1 > u?
False
Let x be ((-14373)/(-12))/3 - -2. Let b = x + -10875/28. Let r = b + -13. Which is smaller: r or -1?
-1
Suppose -4*w = -3*i + 11 + 16, -4*i + 2*w = -26. Is 5 < i?
False
Let g be (-2 - -2)*(-1)/2. Let b be g - (0 + 2)/(-2). Let z be b*(0 - -2) + -1. Which is smaller: z or -2/13?
-2/13
Suppose 5 = -2*o + o. Let n be ((-4)/(-10))/(7/o). Is 1 < n?
False
Let p = 0 + 0. Let k(a) = 173*a**2 + a. Let g be k(-1). Let b = g + -1206/7. Do b and p have the same value?
False
Let q = 24 - 34. Let l(z) = z**2 + 10*z. Let n be l(q). Which is smaller: -4/15 or n?
-4/15
Let u be 16/9 + (-4)/(-18). Let s be (21/28)/((-6)/(-4)). Let a = s - 1/4. Which is smaller: a or u?
a
Let d = -0.063 + -7.537. Let q = d + 4.7. Let h = 3 + q. Which is bigger: -2 or h?
h
Let t(k) = -11*k**3 - 16*k**2 + 16*k - 21. Let x(a) = -5*a**3 - 8*a**2 + 8*a - 10. Let i(p) = -4*t(p) + 9*x(p). Let u be i(-9). Which is bigger: u or 4?
4
Let r = 70 - 40. Is 30 greater than r?
False
Let j(z) = -z**3 - 6*z**2 - z - 4. Let d be j(-6). Let b be d/5 - 16/(-60). Which is bigger: 2 or b?
2
Let a = 0 + 1. Which is smaller: a or -0.1?
-0.1
Let n(z) = -6*z**2 - 5*z - 3 + 4*z + 2*z**3 - 3*z**3. Let y be n(-6). Let d = y - 3. Which is smaller: -2 or d?
-2
Let h be (-30)/45*(-6)/4. Let p = 1.7 - 13.7. Which is smaller: p or h?
p
Suppose -q - 10 = -3*q. Suppose -h - 14 = -q. Which is smaller: -10 or h?
-10
Let f = -0.026 + 1.026. Let z = 15 - 44/3. Is z at least f?
False
Let a(n) = -n**3 - 4*n**2 - 5*n - 5. Let c be a(-3). Is 0 < c?
True
Suppose -1 = -a - 0. Let j be 11/(-22) + (-26)/(-68). Which is smaller: j or a?
j
Let x = -4 + 11/3. Let t = -3.6 + 1.4. Let v = 0.2 + t. Is x > v?
True
Suppose 2*u - 5*l = 21, -25 = 4*u + u + 3*l. Is u at most as big as -4?
False
Suppose -4*h + 1 = 5*s, s - 6*s = -h - 6. Let v(d) = -2*d**2 - 2*d - 1. Let l be v(h). Let q = -1 - l. Is -2/15 less than or equal to q?
True
Let g be 4/(1/(-1) + 3). Let v = g + -3. Let y = 1/6 - 2/3. Which is smaller: y or v?
v
Let l = -0.15 - 0.05. Is -4 < l?
True
Suppose -3*i - 2 = 5*k + 7, 3*k + 9 = 0. Suppose -4*m - 2 = i. Which is smaller: m or -2/7?
m
Let t(h) = h**3 + 4*h**2 - 4*h - 4. Let d be t(-4). Suppose -35 = -4*a - 3*u, 2*a - 10 = -2*u - 2*u. Do a and d have the same value?
False
Suppose -5*u + 166 = 41. Suppose 0 = -3*k - 3*o + 15, -2*k + 8*o = 3*o + u. Is k at most as big as -3?
False
Let h(v) = 2*v + 16. Let x(z) = -z**3 + z**2 - 8. Let f be x(0). Let n be h(f). Is -1/39 at least as big as n?
False
Let r = 0 + -2. Suppose -d = 3*d. Suppose d = -3*c - 0*c - 9. Which is smaller: c or r?
c
Let d be 4/1 - (7 - 3). Which is smaller: -2/5 or d?
-2/5
Suppose 5*h - 3*x + 311 = 0, -3*h + 8*h + 3*x + 299 = 0. Which is smaller: h or -62?
-62
Suppose -5*o + 14 = 5*k - 16, k = 2*o - 12. Let a be -2 + o/3 + 5. Suppose -a*m = -d - d + 16, 0 = -m - 5*d + 13. Which is smaller: -3 or m?
-3
Let r = 240 + -250. Suppose -2*b + 22 = -2*j, -4*b = 6*j - 2*j + 44. Is j at least as big as r?
False
Let v be 3/(-2)*-6 - -1. Suppose 3*a + 5 + v = 0. Is -5 at least as big as a?
True
Let o = 4.4 + -6.4. Which is smaller: 5 or o?
o
Let m(k) = -k**3 + 2*k - 1. Let j be m(-2). Suppose j*n + 12 = -6. Do -6 and n have different values?
False
Let m be (6/(-4))/((-9)/12). Suppose 4*j - 36 = 4*k, -22 = -3*j + 2*k + 1. Suppose -g + 8 = m*l + 2*g, 1 = -j*l + 3*g. Which is smaller: l or 0?
0
Suppose -3*i + 2*i + 3 = 0. Suppose 3 = i*l + n, 0 = l - 3*n - n + 12. Suppose 4*g = -l*g. Is 3/11 greater than g?
True
Let u = -17 + 12. Let d(v) = v**3 + 11*v**2 - 5*v - 1. Let g(o) = o**2 - o - 1. Let k(z) = d(z) - 6*g(z). Let h be k(u). Are h and 2/3 equal?
False
Let w(x) = -5*x + 39. Let k be w(8). Let r = -41/7 - -6. Which is bigger: k or r?
r
Let a = 9 - 18. Let b be (-20)/(-9) + 2/a. Is 4 smaller than b?
False
Let a = -3.78 + 0.08. Let t = 3 + a. Is t at least as big as 0?
False
Suppose -3*r - v + 7 = 0, 2*r + 2*v - 10 = -2*r. Let x be 312/(-9) - r/(-3). Let k = x + 171/5. Which is smaller: k or 0.1?
0.1
Let b = 13743 - 41588/3. Let q = -118 - b. Which is bigger: 2 or q?
2
Let h = 19 + -19. Let i = 1 - h. Which is bigger: i or 2/7?
i
Suppose 2*i + 2*i = z + 1231, z = i - 307. Let a be (-4)/(-10) - i/(-105). Which is smaller: 4 or a?
a
Let j = -52 + 51. Which is greater: j or 1/16?
1/16
Suppose 4*a - 1 = 3*a. Is -0.19 at least as big as a?
False
Suppose 0 = 19*f - 14*f - 40. Is -2/25 smaller than f?
True
Let f(j) be the first derivative of 1 - 9*j - 1/2*j**2. Let x be f(-5). Is -4 greater than x?
False
Suppose 0 = 4*v + 61 - 161. Let k = -17 + v. Let o = -5 + k. Is 3 at most as big as o?
True
Let l(g) = -3*g - 6 + 2*g + 2. Let o be l(-6). Suppose 5*q + 14 = -a, -3*a - 5 + 2 = o*q. Is 2 not equal to a?
True
Suppose b - 128 = -7*b. Is b smaller than 31/2?
False
Let x be 3*((-28)/12 - -1). Is -4 > x?
False
Let j be (-14)/30*(-6)/(-21). Let d = -6 + 5. Which is smaller: d or j?
d
Let z(h) = h**3 - 4*h**2 - 4*h - 1. Let o be z(5). Let p be (-2)/o*0 + -1. Is -2/15 equal to p?
False
Let b be -2 + 4/2 + -3. Let v be 6/10 + 16/(-10). Let j = -3 - v. Is b smaller than j?
True
Suppose -2*a = k - 8, 5*k - a - 3*a = -16. Let t = 159 - 637/4. Which is greater: t or 