1 = 2*j - 8. Which is smaller: -1 or j?
-1
Let r be ((-104)/6 + -2)/(12/54). Is r != 1/3?
True
Suppose 37 = 2*h + 17. Let r(i) = -3*i - 2. Let c be r(-4). Is c <= h?
True
Let a = 0.01 - 7.01. Let h be -2 - ((1 - 0) + -4). Is a < h?
True
Let w(z) = z**2 + 2*z - 1. Let q = -4 + 7. Let t be w(q). Suppose -2*l + k - 18 = 6*k, k + t = -3*l. Which is smaller: l or -2?
l
Let p = -20/3 + 77/12. Which is bigger: p or 0.02?
0.02
Let l = -124 + 112.8. Let v = 6 + l. Let r = v - -5. Which is bigger: -0.1 or r?
-0.1
Let t(b) = b**3 + 19*b**2 - 19*b + 19. Let v be t(-20). Let n be (6/20)/((-6)/(-5)). Which is smaller: n or v?
v
Let r be (31/(-33))/(2/1). Let o = -54 + 1781/33. Let t = r + o. Is t bigger than 0?
False
Let w = -2 - -2. Let m(p) = p**3 - 15*p**2 - 1. Let n be m(15). Which is smaller: n or w?
n
Suppose -5*m + 10 = 0, -2*s + 6*s - 3*m - 2 = 0. Let c(u) = -u**3 + 2*u**2 - 1. Let a be c(s). Let t = 6/17 - 100/187. Is a > t?
False
Let u(y) = -2*y**3 + 2*y**2 + 2*y - 3. Let q be u(3). Is q less than or equal to -33?
True
Let i be 2 + (-1 - 0) - -1. Suppose a + i*u - 6 = -0*u, 20 = -4*a + 3*u. Is -1 greater than or equal to a?
True
Let f = -22 - -22.06. Which is bigger: f or -4?
f
Let s(p) = p**2 - 6*p + 1. Let z be s(6). Let u be 0 - (z*-1 - 1). Let n = -185 + 187. Is u < n?
False
Let y = -1 + -7. Let k = 8 + y. Which is smaller: k or -2/7?
-2/7
Let l(g) = -2*g**2 - 2*g + 2. Let a be l(-2). Let v = -1 + -3. Let h(d) = d**2 + 4*d - 1. Let s be h(v). Is a at most as big as s?
True
Suppose 19 + 158 = l - 2*z, z - 354 = -2*l. Let m = l - 96. Let s be m/63 + (-4)/14. Which is bigger: -2 or s?
s
Suppose -6*a = 2*f - a - 29, -5*a + 17 = -4*f. Let b be (-16)/(-10) + -4 + f. Let t be 2/(-3) + 14/30. Are b and t equal?
False
Let o = -18 + 42. Which is greater: 0 or o?
o
Suppose -20*m + 19*m = -8. Is 28/3 at least m?
True
Let k be ((-12)/7)/((-24)/(-84)). Which is greater: -9 or k?
k
Let o(q) = 4*q**3 + 4*q**2 - 3*q + 7. Let b(f) = -7*f**3 - 9*f**2 + 5*f - 14. Let m(z) = 3*b(z) + 5*o(z). Let s = -51 + 44. Let j be m(s). Is -8 <= j?
True
Let m(f) = f**2 + 2*f - 3. Let h be m(-3). Which is greater: 3 or h?
3
Let g = -17 - -9. Let u = g + 8. Let a = -0.1 - u. Which is smaller: a or -5?
-5
Let c(p) = -p**2 + 3*p + 7. Let f be c(5). Suppose -3*y = 2*y - 25, 5*y - 21 = 4*k. Let u = f + k. Which is smaller: u or -3?
-3
Let d = 5 - 5. Let t = 0 - -56. Let h = -278/5 + t. Which is smaller: d or h?
d
Let b = -13 - -20. Which is greater: b or -2?
b
Let y(u) = -u**2 + 2*u - 1. Let j be y(1). Suppose 10 = -5*r - j. Is r less than or equal to -2?
True
Let b = -0.9 - -2.8. Let c = b - -0.1. Is 2 <= c?
True
Let m = 28/32797 + 106867064/59920119. Let s = -4/609 + m. Let o = s - 98/45. Which is bigger: o or 1?
1
Suppose -3*x = -6 - 3. Suppose -o = x*o. Which is smaller: o or -3/4?
-3/4
Let l(k) = -k**2 + 15*k + 17. Let b be l(15). Let g = 13 - b. Do -4 and g have the same value?
True
Let d = 6 - 6.3. Let v = d - -0.2. Which is greater: v or 1?
1
Suppose 48 - 33 = -5*x. Which is greater: x or -11?
x
Let q be 4 + 2 + -3 - 9. Is q bigger than -8?
True
Let f = 52 - 52.29. Let x = f + -0.01. Is x less than or equal to 2/7?
True
Suppose 0 = 4*j - 3*j + 2. Let k be (-12)/(-2)*3/j. Let b be (-10)/(-2) - k/(-3). Which is bigger: b or 3?
3
Let k = -17/4 + 43/12. Let m = 7 - 1. Let n be 3/12*m - 0. Which is smaller: n or k?
k
Suppose 2*m + 18 = -2*o, -2*m + 0*o = 4*o + 28. Let y(i) = i**3 + 5*i**2 + 5*i + 5. Let t be y(m). Let q = 239 - 1670/7. Are t and q equal?
False
Let p(r) = r**3 - 5*r**2 - 7*r + 6. Let i be p(6). Let k = i - 2. Which is smaller: -1 or k?
k
Let q = -35 - -39. Suppose -4*d - 2 - 6 = 3*y, q*y = 4*d - 20. Let o = 2 - -1. Which is smaller: o or d?
d
Let k = 8 - 18. Let v = -8 - k. Suppose -2*f + 0 - 2 = 3*i, -2*i = 2*f + v. Does -1 = f?
True
Suppose 19*b = 18*b + 9. Is 9 equal to b?
True
Let l(o) = o**2 - 4*o - 4. Let q be l(5). Let t = 12/55 + 2/11. Which is greater: t or q?
q
Let u be (4/(-6))/(1/(-3)). Suppose -2*s = -3*p + 18, -s - u*p = -5*p + 12. Let x(d) = d + 2. Let k be x(s). Which is smaller: -3 or k?
k
Let x = 349/8494 - -1/137. Which is smaller: -1 or x?
-1
Let w = 7.272 - -0.028. Let d = w + -7. Let r = 3 + -2. Is d smaller than r?
True
Let m be (-122)/(-12) - 2/12. Suppose x + 4*x = -5. Is m <= x?
False
Let w(i) = i - 5. Let o be w(4). Let b be (-1)/(1/((-2)/7)). Is o bigger than b?
False
Let r = 5 + -5. Suppose r = 3*l - 4*l + 2. Suppose -6 + l = -4*q. Which is smaller: q or -1/10?
-1/10
Let b = -4.98 - -5.1. Is -2/7 >= b?
False
Suppose 3*u - 9 = -0*u. Let g(w) = -1 + u*w**2 + w + 2*w**2 - 2*w + w**2. Let x be g(-1). Is 5 at least x?
False
Let v = -0.2 - 0.8. Which is bigger: 16 or v?
16
Suppose -3*n + n + 3*s = -13, -5*n - 5 = 5*s. Suppose 2*x + 3*c = 0, 0 = 2*x + n*x - c. Suppose 5*f - 1 = 4. Which is greater: x or f?
f
Let g = -6 + 6.4. Let n = 0.1 + g. Let y = 1.5 - n. Is 2 less than or equal to y?
False
Suppose 22 + 14 = 6*i. Is 5 < i?
True
Let v be (-32)/208 + 4/26. Let b be 1/(5 - -2 - 2). Are b and v equal?
False
Let o = -11.8 - -13.8. Is o greater than or equal to 33/2?
False
Let t = -0.14 + 8.14. Let u = t - 6. Let c = 4 - u. Is -1/3 at least c?
False
Let n(w) = w**2 - 2*w - 1. Let p be n(5). Let x be ((-8)/16)/((-1)/p). Is 7 at least x?
True
Let q = -3 - -3.1. Suppose 2*b + 166 = 2*w, 4*b = 3*w - 266 + 22. Let l = w - 614/7. Which is greater: q or l?
l
Let v = -5.798 - 0.102. Let x = v - -6. Is 4 smaller than x?
False
Let o be ((-2)/(-5))/((-7)/105). Let l = -31/4 + 101/12. Do l and o have different values?
True
Let l(t) = -t**3 - 3*t**2 + t + 4. Suppose 2*j = 4*j + 6. Let w be l(j). Which is bigger: -1/5 or w?
w
Let k = 1 - 1. Suppose k = 3*b - 6*b - 3. Let g = -59/28 + 13/7. Which is smaller: g or b?
b
Let u = -3 + 10. Let b = -5 + u. Let c = 1 + -0.9. Do c and b have different values?
True
Let i = 9 + -9. Is i less than -1?
False
Suppose -d + 2 = d. Suppose 2*b + d = -3. Let v = b - -2. Is 0 bigger than v?
False
Let w be 1 - (0 - 1749/(-18)). Let l = w + 89. Let s = 95/12 + l. Are 0 and s equal?
False
Let x(p) = 8*p**2 - p + 1. Let a be x(1). Let l = -7 + a. Which is smaller: l or 7?
l
Suppose -3 = -3*o - 0. Suppose -6*m = -m - 5*q + 15, -m - q - 3 = 0. Let i be (1/(-26))/(m/6). Do o and i have the same value?
False
Let v = -0.09 + -0.91. Let q = 5 + 0. Is v bigger than q?
False
Let p(b) = -b**3 + 4*b**2 - 4*b + 3. Let q be p(3). Let f(r) be the second derivative of r**3/6 + 3*r**2/2 + r. Let o be f(q). Is 3 > o?
False
Let n = 8 - -11. Suppose 4*g + 16 = 4*c - 0*c, 5*g + 2 = -c. Suppose 5*h = h - c*r - 17, -5*h - n = 3*r. Which is bigger: h or -3/5?
-3/5
Let a be (-1 + 3 - 217/70) + 1. Is 0 at least as big as a?
True
Suppose 200 = -4*l + 7*h - 3*h, -5*h - 270 = 5*l. Let s = l + 111/2. Which is bigger: s or 5?
5
Suppose -s + 14 = 34. Is s less than or equal to -20?
True
Let b = -7427/19 + 391. Which is greater: b or -1?
b
Let z be (1 - 1) + (-1 - -2). Which is smaller: -13 or z?
-13
Let x(h) = 4*h**2 + 6*h - 1. Let a(f) = -11*f**2 - 17*f + 3. Let c(b) = 3*a(b) + 8*x(b). Let t(q) = 3*q**3. Let w be t(-1). Let i be c(w). Is 1 < i?
False
Let d = 128 - 158. Which is bigger: -28 or d?
-28
Let m = 43 - 22. Let s be 7/m + 8/3. Is s not equal to 1?
True
Suppose 3*n = -x - 6, 3 + 3 = -x - 4*n. Is x not equal to -8?
True
Let g be (-46)/10 - (-2)/(-5). Suppose 2*r = -10, 0 = -5*w + 6*r - 4*r - 30. Let n be (w/48)/(1/(-6)). Is g > n?
False
Let t = 18 + -30. Let z be ((-4)/(-20))/(t/15). Is 1 < z?
False
Let z = 17.08 + -17. Is -4 at least z?
False
Let s = -4.9 + 5.4. Is s at least as big as -1?
True
Let i = -20.5 - -20.6. Suppose 2*v + 0*v - 14 = m, 3*v = -3*m - 6. Let z = m + 4. Which is smaller: z or i?
z
Let f = 0.09 - -0.11. Let b = 14 - 14. Do f and b have the same value?
False
Let y = -27 + 28. Which is bigger: y or -9/5?
y
Let x = -15 - -13. Let l be 2 - (0 - (-36)/21). Do l and x have different values?
True
Let c = -0.097 + 2.097. Is -1.5 less than c?
True
Suppose 2*s - s - 2 = 0. Let c be (s - -6)*9/12. Suppose -c*z = -3*z. Which is bigger: z or 2?
2
Let c = -872/187 + -2/561. Do -4 and c have the same value?
False
Let i = -82/5 - -16. Let v(g) = -g + 8. Let f be v(7). Suppose f + 0 = -t. Is t at most as big as i?
True
Suppose -3 = 5*c - 13. 