t j be (-6)/387*6/4. Is j < 0?
True
Suppose 2*q - 12 = 5*x, -18 = -0*q - 3*q - 2*x. Let n be (4*2)/(-2 - -3). Is n smaller than q?
False
Let x = -0.086 - 0.064. Are 3 and x equal?
False
Let m(y) = 2*y + 37. Let l be m(-20). Is -21/11 greater than l?
True
Let w(t) = t**3 + 5*t**2 + 2. Let f be w(-5). Let n = 0.84 - 0.11. Let s = -0.27 - n. Is s at most as big as f?
True
Let n = -15 + 10. Is -2 less than or equal to n?
False
Suppose -12*s + 323 = 5*s. Do s and 19 have different values?
False
Let c be 16/(-40) - (-84)/10. Suppose 1 - c = -w. Is 7 != w?
False
Suppose -2 = a - 3. Suppose -5*d + 11 + 4 = 0. Suppose -3*m = d*u + 3 + 6, 2*u - 3*m = 9. Does u = a?
False
Let z be 0/(-1) + 89 - 2. Let g = -343/4 + z. Let t(b) = b**3 - 24*b**2 + b - 22. Let w be t(24). Is w less than or equal to g?
False
Let a(i) = -i**3 - 3*i**2 + 4*i. Let u be a(-4). Is u > 1/81?
False
Let m = -65 + 199/3. Is 0 greater than m?
False
Suppose -d + 5*k - 14 + 33 = 0, -5*d - k - 35 = 0. Are -5 and d unequal?
True
Let u be (11/(-4))/(2/4). Let i = u - -9. Is 4 > i?
True
Suppose 3*r + 31 = 5*l, 2*l + 15 = -3*r - l. Let y = -6 - r. Let k = -1835/8 + 229. Which is smaller: k or y?
k
Let w = -1 + 1. Let o = -186 - -186. Is o > w?
False
Let z = -3 - -2. Does -3/19 = z?
False
Let d(f) = -23*f - 8. Let w be d(-2). Is w less than 37?
False
Let h = 243 - 2185/9. Let k = 0.6 + -0.5. Let m = k + -0.1. Is m > h?
False
Suppose 5*i + 9 = -g, g + g = -3*i - 11. Let t = i - -1. Is 2/3 greater than or equal to t?
True
Let r = 110 + -64. Suppose 0*p - 4*p + r = 2*u, 2*u - 2*p - 28 = 0. Which is bigger: 18 or u?
18
Let k = 4846665/236 + -20537. Let w = 2/59 + k. Let i = -4 + 3. Which is smaller: i or w?
i
Let j = 18.5 - 19. Which is smaller: j or 4/9?
j
Let f = -8.7 + 8.6. Which is bigger: f or 3?
3
Let z = 2 + 2. Let l be z/8*(-1 - -1). Is l less than -1/5?
False
Let w = -6 + 5.8. Let r = -24 - -73/3. Is w at most as big as r?
True
Suppose -2*q + q = 1. Let p be (-32)/(-56) + 17/(-42). Is q at least p?
False
Suppose 1 + 7 = 2*c. Suppose c*o = -0*o + 20. Suppose 3*v + 0 = -b + 4, o*v + 5*b = 10. Which is smaller: -1/3 or v?
-1/3
Let b be -1 + -2 + 3 + 5. Let h(y) = y - 3. Let f be h(b). Suppose -f*o - 3*l + 5 = -0, -4*l + 9 = 5*o. Which is smaller: o or 0?
0
Let o(y) be the second derivative of -y**4/12 - 4*y**3/3 - 5*y**2/2 + 8*y. Let r be o(-4). Are 11 and r non-equal?
False
Suppose -60 = 7*z - 3*z + 4*x, -3*x - 55 = 4*z. Is -10 less than or equal to z?
True
Suppose -2*y = -5*y + 9. Suppose y*c = 19 - 4. Let t(j) = j**2 - 4*j + 4. Let v be t(4). Which is smaller: c or v?
v
Suppose 0 = c + 2*c. Which is bigger: c or 1?
1
Let r = -1.93 - -2. Which is smaller: r or 1?
r
Let o be (14/42)/((-1)/(-18)). Is o greater than 6?
False
Let q be 2 + 1 + -5 + 0 + 3. Is q greater than 1/129?
True
Let i(h) = 2*h**2 + 6*h - 19. Let o be i(-5). Suppose s = 3*s. Let v = s + 0. Is v at least o?
False
Suppose 0 = -3*b - 0*b - 120. Let p be 10/(-25) + (-46)/b. Do -0.2 and p have the same value?
False
Let c = -12.958 - 0.042. Which is bigger: -1/3 or c?
-1/3
Suppose -1 = -j, -2*w + j = 5*j + 46. Let h be (1 - 2)/(5/w). Suppose -h*b - 2 = 3. Which is smaller: b or -1/3?
b
Suppose 0 = -5*w + 2*c + 30, w - 3*c = 29 - 10. Suppose w*a + 16 = -4*n, 5*a - 4*n + 11 = -6*n. Is a >= -4?
True
Let k = -4.8 - -4.8. Is 2 greater than k?
True
Let m be (20/590)/((-1)/(0 - 1)). Does m = 1?
False
Suppose 0*j + 2*m + 8 = -5*j, m = -j - 4. Is j not equal to -0.25?
True
Let f(j) = j**3 + 17*j**2 - 20*j + 58. Let i be f(-18). Is 94 bigger than i?
False
Let g = -0.45 - 3.15. Let c = g - 0.4. Let y = 1 - c. Are -1 and y equal?
False
Let y(p) = -p**2 - 4*p - 4. Let o(d) = d + 6. Let u be o(-6). Let f(r) = r - 3. Let z be f(u). Let w be y(z). Is w < -3?
False
Let h = 0.4 - 0.8. Let a = -0.2 - 0.4. Let f = h + a. Which is smaller: 2 or f?
f
Let n be 9/3*(-2)/12. Is 2 at least as big as n?
True
Let o be 7/18*4*(-60)/(-14). Is o at least as big as 7?
False
Let o = -19 - -23. Which is bigger: 5 or o?
5
Let f = 197 - 988/5. Is f at most as big as -2?
False
Let x = -2 - -4. Let t be 0/((x*-1)/(-1)). Let u = 9 + -8. Is u <= t?
False
Suppose 1 = 3*g - 5*y + 3*y, -4*y = 3*g - 25. Suppose -2*v = 2*s - 2, -5*v + g - 16 = -4*s. Are -1 and v unequal?
False
Let j = -22 - -7. Let c be 21/j - (-2 - 0). Let f be 4/18 + (-4)/18. Which is smaller: f or c?
f
Suppose s = 2*q + 5 + 2, 22 = 4*s - 2*q. Suppose -3*o = -s*o - 74. Let c = o + 110/3. Is c greater than -1?
True
Let z be ((-1)/(-3) + -1)*-9. Let l = z - 6. Do l and -2 have the same value?
False
Suppose 0 = 17*n - 9*n. Which is smaller: n or 12/49?
n
Let l(w) = w**3 + 4*w**2 - 2*w - 3. Let z be l(-4). Let o = 4 - z. Which is smaller: o or -2/3?
o
Let k = 0 + 1. Let o(p) = p**2 + 7*p + 6. Let s be o(-6). Suppose v - 2*v = s. Which is smaller: v or k?
v
Let o(g) be the first derivative of g**2/2 - 3. Let b be o(4). Suppose 5*j - 3 - 2 = -5*s, -8 = 4*j. Is b at most as big as s?
False
Let i be (4/56*8 + -1)/1. Is -1 <= i?
True
Let p be (-4)/10 + 1/15. Let f = -1/18 + -47/126. Is f greater than p?
False
Suppose 0 = 5*v + 12 + 3. Let u(f) = f**3 + 4*f**2 + 3*f + 1. Let r be u(v). Let a be (r/(-2))/((-2)/4). Which is greater: -2/7 or a?
a
Let x be (-1)/2*(-36)/18. Is x smaller than 4/13?
False
Suppose 0 = -m + 6 + 12. Suppose -j - m + 1 = 0. Which is greater: -16 or j?
-16
Let w = 0.92 - 1.02. Which is greater: w or -0.099?
-0.099
Let c = 10 - 5. Let r(h) = h**3 - 6*h**2 + 9*h - 4. Let g be r(4). Suppose -5*w + 33 = 2*s, -3*s + 4*s - w + 1 = g. Is s not equal to c?
True
Let a(k) = 2*k - 10. Let h be a(-3). Which is bigger: 2 or h?
2
Let i = -42/137 - -24559/80556. Let h = i + 887/2940. Which is smaller: -1 or h?
-1
Let o = 16 - 7. Let d be 18/(-7) - (o - 11). Which is smaller: d or 0.1?
d
Let h = -9/4 - -61/28. Is h > -1?
True
Let i(d) = -d**2 + 5*d. Let o be i(3). Let m(j) = 2*j + 10. Let a be m(-8). Let q = o + a. Which is smaller: -1 or q?
-1
Let r = -5/27 + 41/513. Which is greater: r or 1?
1
Let j = 0.3 + -0.1. Let c = j - -0.1. Let h = 47.9 - 48. Is c >= h?
True
Suppose 0 = t - 8*t + 126. Which is smaller: t or 16?
16
Suppose -2*p = p + 6. Suppose -6*o = -o - k + 12, o + 18 = -5*k. Let w = -4 - o. Is p smaller than w?
True
Let x(o) = o + 2 - 3 + 5. Suppose 4*y - 3 + 19 = 0. Let b be x(y). Which is smaller: b or 2?
b
Let o be 2/(-5) + (-320)/(-50). Suppose -15 = 3*p - o*p. Is p not equal to 6?
True
Let s = 21/4 - 23/4. Let o(d) = d**3 - 6*d**2 + 4*d + 3. Let f be o(5). Which is greater: s or f?
s
Let f = -14.9 + 14. Is f bigger than -2?
True
Let j(p) = -p**2 + 3*p + 17. Let b be j(6). Let v = -4869/3485 + -2/697. Are v and b equal?
False
Suppose -2*t = -3*h, -5*h + 0*t = 2*t. Let j be (-2)/(-6) + 284/(-420). Let i = j + 2/35. Is h <= i?
False
Let j = -7 - -15/2. Is j less than 1?
True
Let s = -12 + 17. Suppose n = g + 4*g + 12, 2*g - s*n = -14. Are g and -4/5 equal?
False
Let l(n) = n**3 + 3*n**2. Let t be l(-3). Let b = -12.17 - -0.17. Let g = b + 11.5. Is g bigger than t?
False
Let b be (12/(-2))/(51/2). Is -1 at most b?
True
Let c = 2 + -3. Let y = 1.59 - 1.6. Does c = y?
False
Suppose 5*d + 64 = 19. Is -16 smaller than d?
True
Let k = 2 - 6. Which is bigger: -2 or k?
-2
Let h be (-7)/((-35)/4) - (1 - 1). Which is greater: h or 4?
4
Let w = -42 + 38. Which is smaller: w or 3/7?
w
Suppose -2*f + 1 + 1 = 0. Let y be (f/(-3))/(20/6). Is -1 greater than y?
False
Let n be (-1 + 0)/(2/2). Is 3/14 < n?
False
Suppose 15 = -5*n, 5*s + 4*n + 0 = 8. Which is smaller: 5 or s?
s
Suppose 2*r = -2, 4*a - 4*r = 14 + 2. Let i = -3 + 5. Suppose 4 = 2*s + i*s. Which is greater: s or a?
a
Let c = -300/7 + 43. Which is smaller: c or 0.2?
c
Let o = -8 - -10. Does 0 = o?
False
Suppose 5 = -v + 4. Which is smaller: -13/6 or v?
-13/6
Let l be ((-36)/64)/((-2)/4). Which is smaller: l or 1?
1
Let l be (-6)/4*(-4)/(-6). Which is bigger: l or -1/33?
-1/33
Suppose -2*i - 19 = 3*d, 0 = -4*i + 2*i + d - 7. Let l = 7 + i. Which is smaller: l or -2/11?
-2/11
Let p = -340 + 339.95. Suppose 5*s = 9 - 4. Which is bigger: p or s?
s
Let v = -2.7 - -4.7. Which is smaller: v or -5?
-5
Let l be (-8)/(-4) + 12/(-2). Let o be (-6)/(-21) - l/(-14). Is -1/6 greater than or equal to o?
False
Let r be 20/(-4)*(-14)/(-5). Let b be ((-6)/(-16))/