Is x <= 2?
True
Let n(y) = -y**2 - 6*y + 10. Let u = -9 + 2. Let v be n(u). Suppose 4*f = v*f. Is f smaller than 2/9?
True
Suppose 0*y = 2*y - 3*u - 4, 0 = 5*y + 4*u - 33. Let a(w) = y*w**2 - 3 + 6*w**3 + 0 - 5*w**3 - 7*w. Let m be a(-6). Which is smaller: m or -2/7?
-2/7
Let t(z) = z**2 + z - 1. Let b(r) = -3*r**2 - 8*r + 1. Let p(j) = b(j) + 2*t(j). Let y be p(-6). Is y not equal to -1?
False
Let t be 6/(-15) + (-306)/10. Which is smaller: t or -32?
-32
Suppose 3*v - 7*v + 20 = l, 5*l = 3*v - 38. Let a = -5 + 11. Is a at least as big as v?
True
Suppose -2*b = -0*b + 2. Let l(p) = -p - 4. Let x be l(-7). Let n be (x - 3)/(-1 + 0). Which is bigger: b or n?
n
Suppose -5*g + 36 = -g. Suppose -2*z + 33 = g. Suppose -4*c = -z, -5*c = -5*k + k - 19. Which is smaller: k or -2?
-2
Let f(l) = -l**2 + 2*l + 3. Let i be f(4). Let x be ((-2)/(-3))/(i/15). Which is smaller: x or -3/4?
x
Let p(w) = -w**2 - 5*w - 5. Let i be p(-4). Let u = 3/217 + 401/2387. Is u less than or equal to i?
False
Let i = -14.96 + 16. Let d = -0.04 + i. Which is smaller: -0.2 or d?
-0.2
Let y be (-2 - -3)*((-9)/(-3) - 2). Is y <= -0.34?
False
Let m(l) = l**2 + 7*l + 1. Let z be m(-7). Let o(u) = -u + 8. Let y be o(6). Let t = y - 5. Is z less than t?
False
Let t be 254*5/250 + -5. Is 0 > t?
False
Let b = 8 + -4. Let i = 12 - 8. Suppose 2*n = n + i. Is n equal to b?
True
Let l = 0 - 0.1. Let c(g) = g**2 - 17*g - 41. Let f be c(19). Is f greater than l?
False
Let b = -6.3 + 6. Let t = -0.01 - -0.51. Let j = -0.5 + t. Is j bigger than b?
True
Let f = -24 - -29. Suppose 0*i = i - 5*a + 10, 3*i + 10 = f*a. Let m = 52/9 + -6. Which is bigger: i or m?
i
Let j = -436 - -3068/7. Is 2 bigger than j?
False
Let j(l) = -l**2 - l + 7. Let o be j(4). Let u = 14 + o. Does u = 5/4?
False
Suppose -2*v = 2*y, 0*y = -3*y. Suppose -3*z + 17 + 1 = v. Suppose -2*k + 2 = z. Which is smaller: 0 or k?
k
Let m = 12.2 - 9.2. Which is greater: 3/4 or m?
m
Let p = 58/5 + -12. Let r(j) = j**2 + j. Let i be r(-1). Which is bigger: i or p?
i
Let x = -0.2 - -0.3. Let s = 5 - 4.5. Which is smaller: s or x?
x
Let i be (3 + -1)*2*-1. Let n = -9 - i. Is -6 smaller than n?
True
Let u = -596/8277 - -2/267. Let r be ((-9)/(-3))/(3/(-4)). Let f = r - -5. Is f less than or equal to u?
False
Let o = -4 - -1. Let d be -1 - (-32)/(-36) - o. Which is smaller: d or 2?
d
Let h(a) = 2*a - 18. Let o(r) = r - 7. Let b(v) = 5*h(v) - 12*o(v). Let k be b(-5). Suppose 25 = 5*w + 3*n, n - 1 = k. Do 2 and w have different values?
False
Suppose -5*q = -4*b + 5*b - 24, -3*b + 5*q = -32. Let a be ((-4)/7)/((-4)/b). Let c be 2*3*a/36. Is 0 bigger than c?
False
Let b = 0 + 22. Does 62/3 = b?
False
Let r = -2.9 - 0.1. Let t be (7/28)/(14/(-16)). Is t at most r?
False
Let n = 0.01 - -0.29. Let w = -0.1 - n. Let m = w - -0.4. Which is smaller: m or -5?
-5
Let r be 0/(3 + -4 + 2). Let s be 2 - 1/12*22. Is r at least s?
False
Let s = -232/7 + 4520/133. Is s bigger than 0?
True
Let v = 2 + -8. Let h be 1/((-2)/v*-1). Let l be (h/12)/(2/4). Is -2 != l?
True
Let r = -2.4 + 2.32. Which is greater: -1/5 or r?
r
Let x = -371/2 + 180. Suppose 0*o + 4 = 2*o - 2*f, 5*o + 5*f - 40 = 0. Let k = x + o. Which is smaller: -1 or k?
-1
Let u be 3/9 + (-4263)/4203. Let h = 55565/130293 + u. Let z = h + 1/31. Is z less than -4?
False
Let q(f) = -f**3 + 6*f**2 - f + 4. Let i be q(6). Let o be 2*(33/18 + i). Let g = -0.4 - -0.2. Which is greater: g or o?
g
Let g(d) = -d**3 + 4*d**2 + 2*d - 1. Let t be g(4). Let x = t + -13. Let u(n) = -7*n**2 + 1. Let v be u(-1). Is x greater than v?
False
Suppose 4*i - 17 = 7. Let g be (2/i)/((-15)/(-225)). Suppose 3*h - 20 = 2*q, 4*q + 16 = -h - q. Which is smaller: g or h?
h
Let h(z) = -z + 1. Let d be h(-2). Suppose -w - 3*r + 20 = d*w, w = -5*r + 22. Let c be 4 + (0 - 2) + 0. Are w and c unequal?
False
Suppose -3*q - 32 = 5*z, -2*q + 8 = -2*z - 2*z. Which is smaller: q or -8/3?
q
Let k = 26 - 22. Suppose 5*u - k*f = 21, -f = 3*u + 1 - 0. Which is bigger: -2/9 or u?
u
Let a(q) = -q**3 - 8*q**2 - 7*q + 15. Let v be a(-7). Do v and 10 have different values?
True
Suppose 18 = -5*t - 7. Which is bigger: t or -1?
-1
Let v be ((-901)/(-360))/(-17) + 4/18. Which is bigger: 0 or v?
v
Let a = 33/14 - -106/7. Is a greater than or equal to 1/4?
True
Let h = -30 - -27.4. Let j = -2.7 - h. Which is smaller: j or 2/15?
j
Let g = -1499/12 + 125. Which is smaller: g or -1/6?
-1/6
Let x = 50 + -53. Let r be ((-6)/4)/(-1 - -7). Which is greater: x or r?
r
Suppose 6*n - 10*n - 84 = 0. Is -21 less than or equal to n?
True
Let i(u) = 2 + 6 + 1 - 3*u + 2*u. Let s be i(0). Is 8 > s?
False
Let u be ((-12)/65)/((-2)/(-5)). Which is bigger: u or -1?
u
Suppose 3*k - k = 0. Which is greater: k or 3/5?
3/5
Let j = 4 - 4. Let w = j - 0. Suppose 0 = -2*p - w*p - 5*g + 25, 25 = 4*p + 5*g. Which is greater: p or -2/5?
p
Let z(w) = 2*w**3 - 2*w**2 + 4*w - 3. Let b be z(2). Suppose 2*q - b = 5*m, -4*m + 5*q = -0*m + 7. Suppose -4 = f + u, -5*u - 12 - 18 = -5*f. Is m less than f?
True
Let f be ((-4)/(-6))/(3/18). Suppose -n - 52 = 4*n - f*r, -20 = 4*n + 4*r. Which is bigger: -6 or n?
-6
Let w = -172.97 - -174. Let c = w - 0.03. Is c bigger than -2/7?
True
Let m = 2571/598 - 105/26. Is m < -1?
False
Let y be (0 - -3)*4/(-6). Let u be 6/9 - y/(-3). Let x be 16/4*2/68. Is x bigger than u?
True
Suppose 0 = 9*c + 2 + 43. Is c <= -1?
True
Suppose -4*q = -5*q + 3. Let v be -5 + q + (-2)/(-8). Let l = -13/4 - v. Which is greater: -3 or l?
l
Let h(o) = o**3 + 5*o**2 + 3*o - 4. Let k be h(-4). Which is bigger: k or 2/57?
2/57
Let c = -6037/10 - -3043/5. Let y = c - 11/2. Suppose -3*s + 7 = 5*m, 4*m + s = 2*s - 8. Is y < m?
False
Let l(y) = 2*y**2 + 4*y + 7. Let c be l(-5). Let b = c + -186/5. Is -1 < b?
True
Let y be 0 + 2*47/(-2). Let n = -137/3 - y. Which is greater: n or 0?
n
Suppose -3*z = -q + 40, -6*q + 2*q + 120 = -4*z. Is 24 equal to q?
False
Let t(n) = n**2 + 7*n - 5. Suppose 3 = i + 11. Let o be t(i). Suppose -6*q + z = -o*q - 31, 3*z + 21 = q. Is q < 9?
False
Let c = -1.51 + 0.51. Let k be 277/700 - (-2)/8. Let x = 9/25 - k. Which is smaller: x or c?
c
Suppose -4*f - f = 0. Which is bigger: f or -4/19?
f
Let z be (26/15)/(27/(-480)). Let k = z - -278/9. Is k less than or equal to -1?
False
Let j be (-7)/((-3)/(0 + -3)). Which is smaller: j or 0.1?
j
Let c(y) = 2*y - 26. Let x be c(13). Is 5/6 at least as big as x?
True
Let z = -0.39 + 0.26. Are -0.1 and z unequal?
True
Suppose 0 = -4*k + 5*k - 6. Which is smaller: 5 or k?
5
Let i be 2/(-6)*9/3. Let t = i - -3. Let q be -3 + 2 + t - 2. Is -1 less than q?
False
Suppose 5*c - 26 = -4*z + 1, 3*z = 5*c + 29. Suppose -k = k - 10, 2*f = -4*k + 36. Is z greater than or equal to f?
True
Let k = -26 - -8. Is -17 > k?
True
Suppose -9 = 2*j + 5*c + 12, -3*j + 2*c + 16 = 0. Suppose 0 = -15*r + 18*r - 3. Which is bigger: r or j?
j
Let p = -15 - -11. Let n be p/12*(-1)/4. Which is greater: -1 or n?
n
Let f = -129 - -121. Is f greater than or equal to -33/4?
True
Let q = 11.8 + -11.7. Which is smaller: q or 5?
q
Let d be (-478)/210 - (-4 + 2). Let w = -2/35 + d. Suppose 1 = -2*y - 1. Is w at most y?
False
Suppose 0 = -22*v + 25*v - 12. Let z(s) = s**2 - 7*s + 4. Let j be z(7). Is v at most as big as j?
True
Let y be (-20)/7 - (-3 + 0). Let x = -3 + 4. Which is bigger: y or x?
x
Let t = 243/100 - -8/25. Do 3 and t have the same value?
False
Let b be (-4)/(-6) - 57/45. Suppose 0 = 5*j + 2*x - 20, -6*x - 12 = -3*j - 11*x. Let i = j + -5. Is i less than or equal to b?
True
Let b(k) = 4*k - 21. Let o be b(6). Is o at least 1?
True
Let y be 6/(-33)*(3 + -2). Which is smaller: 0 or y?
y
Suppose -2*o + 5*u + 20 = 0, -2*o + o + 4*u + 16 = 0. Let n be (-23)/(-45) + 8/100*-5. Is n equal to o?
False
Let s = -20 + 17. Is s at most 3?
True
Suppose -3*y = -4*j + 7 - 22, 0 = 4*j. Suppose y*z = 2*z. Let a be (2 - z) + 22/(-10). Is -1 at least as big as a?
False
Let x = 12 - 7. Let c = 5 - x. Let g = -23 + 23. Is c > g?
False
Suppose -4*a - 26 = -5*d, 0 = -d + 2*a + 3*a + 22. Let r(v) = 3*v**2 + 2*v + 1. Let c be r(-1). Let y be c/4*2*d. Are 1 and y nonequal?
True
Suppose -11 = -2*d + 5*j, 6*d - 2*j - 11 = 3*d. Let l = 3 - -1. Is l smaller than d?
False
Suppose k + 25 = -4*k. Let s(j) = -2*j + 3. Let g be s(4). Is g greater than or equal to