k = o + 2. Suppose -3*j = -5*j. Is k greater than j?
True
Let m = 7 + -9. Let w = 0 - m. Suppose 3*i = -w*i. Is i less than 0?
False
Let i be 8 + (2 - 1) + -3. Suppose 5*a - i*a - 4 = 0. Which is bigger: -3 or a?
-3
Suppose 0 = 9*a - 4*a. Suppose 5*s - 10 = -a*s. Let w(m) = -m + 3. Let p be w(s). Is 1 at least p?
True
Let s = 2/9 + -14/9. Is s < -4?
False
Let a(s) = 3*s**2. Let j be a(-1). Suppose 0 = 6*q - j - 3. Do q and 1 have different values?
False
Suppose 2*u - 447 = -2699. Let y be u/(-12) - (-4)/6. Let h = -97 + y. Which is smaller: h or 1?
h
Let q(z) be the first derivative of -z**4/4 + 2*z**3 + 7*z**2/2 + 2*z + 3. Let u be q(7). Is 2/5 >= u?
False
Let i = 3 + 4. Let l be (1 + 1)*(-16)/(-4). Is i at least as big as l?
False
Let k be 445/30 + (-3)/6. Let t = k - 14. Suppose 4*r + 5 = -r. Which is smaller: r or t?
r
Let w = -49 + 83. Let k = w - 23. Suppose 0*b + k = 2*t - b, -t = -2*b - 13. Does 3 = t?
True
Let q(z) = 2*z**2. Let x be q(-1). Let b = 1 + x. Suppose -r = -b*r - 8. Which is greater: r or -1/4?
-1/4
Let i be 50/(-8) + (-3)/4. Is -7 at least as big as i?
True
Let b = -1/129 - 382/645. Which is smaller: b or -2?
-2
Let u = -21 - -8. Let s = -14 - u. Is 0.1 at most s?
False
Suppose -5*c = 3*y - 3 + 12, -y = -c - 5. Let k = 10 + -16. Let x be 2/6 + 2/k. Is y equal to x?
False
Suppose -x - 12 = -3*x. Which is bigger: x or 5?
x
Let d(i) = i**2 - i + 8. Let t be d(0). Suppose 0*j - 2*j = t. Which is greater: -3 or j?
-3
Let l = 0.024 - -30.976. Let x = l - 47. Is x >= 2/5?
False
Suppose 2*m = 4*h - 10, 7 = -h - h + 5*m. Let o be 2/((-2)/(h/2)). Suppose 2*l + c + c = 0, -4*l = -3*c + 14. Is o at most as big as l?
True
Let w be 4/6 + 3/((-72)/10). Which is smaller: -0.04 or w?
-0.04
Let c(p) = 40*p - 6. Let x be c(-5). Let v = -1445/7 - x. Which is smaller: v or -1?
-1
Let k = 1 - -3. Suppose f - k*f - 6 = 0. Which is bigger: f or -1?
-1
Let g = -0.072 + -1.928. Which is bigger: 10 or g?
10
Let x be (-2)/8 + (-1)/(-4). Suppose -3 = 2*u - 1. Which is greater: x or u?
x
Suppose 5*w + 2*r = -2*r + 22, -w + 5*r = 13. Suppose -1 - 5 = -w*o. Suppose -5*d + 3 = 2*x, 0 = -d - 3 + 2. Which is bigger: o or x?
x
Let y = -1.1 + 9.1. Let d = 7.8 - y. Which is smaller: d or -0.1?
d
Let p(c) = -3 + c - 4 + 2*c - 2*c. Let y be p(6). Are y and 2/13 non-equal?
True
Let v be 2 + -1 + 4 + -3. Which is smaller: -1 or v?
-1
Let v(x) = -4*x - 1. Let h be v(5). Let p = h - -12. Is p less than -10?
False
Suppose -5*z - 8 = 2, 10 = -3*i + z. Which is bigger: i or -5?
i
Let p be (-6)/(-4)*(-15)/9. Let a(y) = 2*y + 10. Let t be a(-7). Is t < p?
True
Let v = -4503/17 + 265. Which is greater: v or 1?
1
Suppose -11*c = -6*c + 3*l - 39, 5*c - 4*l = 53. Which is smaller: c or -3/5?
-3/5
Let y = -4.52 + -0.48. Suppose -2 + 3 = -x. Is x > y?
True
Suppose 2*l - 17 = 11. Which is smaller: 16 or l?
l
Suppose 4*f + 9 = f. Which is bigger: f or 3?
3
Let m(l) = 2*l - 7. Let p be m(5). Let n = -5 + p. Which is bigger: n or 0?
0
Let y = -22 + 22.7. Is -0.1 != y?
True
Let n = -1.2 + 0.2. Let r(x) = 2*x + 6. Let i(t) = -6*t - 18. Let k(w) = 4*i(w) + 11*r(w). Let c be k(-4). Which is smaller: n or c?
n
Let p = 19693 - 138576/7. Let m = 343 + -240. Let o = p + m. Which is bigger: o or 0?
0
Let c be ((-21)/(-22) - -1) + -2. Which is greater: c or -1?
c
Let a(f) = 4*f**3 + 3*f**2 + 2*f - 2. Let k(u) = 11*u**3 + 9*u**2 + 5*u - 6. Let n(i) = 8*a(i) - 3*k(i). Let x be n(-1). Is 0 at least x?
True
Let n = 0 + -1. Let a = n + 1. Which is greater: a or -0.5?
a
Let a = -38 - -38. Suppose -3*u = 2*z + 160 + 581, 3*z = -2*u - 494. Let f = 2225/9 + u. Is f bigger than a?
True
Let s = -15 - -9. Suppose p - 6*x + 3*x = 0, 3*p - 2*x - 14 = 0. Suppose 3*g - 15 = p*g. Which is bigger: g or s?
g
Suppose 5*w = -5*i - 30, 5*w + 6*i = 2*i - 31. Let n(g) be the second derivative of -g**3/6 - 3*g**2/2 - 3*g. Let x be n(w). Is x >= 5?
False
Let f = -1.8 + 2.02. Let z = -0.02 + f. Which is bigger: 0 or z?
z
Suppose -2*h - 3*h = 0. Let l = 35 + -51. Let r be (-2)/(-3)*(-4)/l. Is r bigger than h?
True
Let k be 30/105 + 23/(-7). Is k equal to -2?
False
Suppose 3*k = 36 - 12. Which is greater: -0.01 or k?
k
Let m be (54/(-12) - 2)*(-1 - -3). Is m bigger than -12?
False
Let o(d) = 3*d - 1. Let r be o(2). Suppose r*s - 4*f - 1 = 0, -4 + 2 = 3*s - 5*f. Which is greater: s or 1/7?
s
Let r(b) = b - 6. Let o be r(0). Let a = o - -7. Let n be (1/(-2))/(a/(-12)). Which is greater: 5 or n?
n
Let b be (-2 + 3)*0/1. Let q(j) be the second derivative of j**4/12 + j**3/6 - j**2 - 23*j. Let f be q(b). Which is smaller: f or -3/5?
f
Suppose 0*w + 42 = 3*w. Is 25/2 less than w?
True
Suppose -2*z = -6*z + 20. Let d be (-27)/(-5) + 4/(-10). Suppose y + y + 5*l = 12, 0 = d*y - 5*l + z. Which is smaller: 4/11 or y?
4/11
Let j = -3 + -3. Is j greater than or equal to -6?
True
Let u = 58 - 62. Are u and -3 unequal?
True
Let g = 43.7 - 45. Is 2/5 smaller than g?
False
Let r be (-63)/(-4)*8/12. Do 10 and r have different values?
True
Suppose -2*c = c - 15. Which is smaller: c or 6?
c
Let h = 12977/34365 - -2/1185. Let n = 325/551 - h. Is -1 <= n?
True
Let f = 3 - 2. Let n = -16 + 19. Which is smaller: n or f?
f
Let y = 17276 - 119765/7. Suppose 2*x = -2*x - 668. Let q = x + y. Which is smaller: 0 or q?
q
Let j(z) = z - 14. Suppose 80 = 5*x - 5*w, 2*w + 11 = 3*x - 36. Let l be j(x). Is 15/7 at least as big as l?
True
Let x(z) = z**2 - 5*z + 4. Let p be x(3). Let a be p/11 - 36/44. Are a and -2/53 equal?
False
Let t = 1 + 8. Let z = 9 - t. Which is greater: 1 or z?
1
Let y be -4 + (4/2 - 0). Which is smaller: y or -13/4?
-13/4
Let p = 7/4 + -57/28. Which is smaller: p or -1?
-1
Let a = 496/35 - 102/7. Which is smaller: 8 or a?
a
Let r(i) = i**2 - 1. Let h be r(2). Let u = -3 + h. Which is smaller: 1/3 or u?
u
Let n = 0.07 + 1.93. Is n > 0?
True
Suppose 5*t + d + 40 = 0, 5*d - 8 = t + 2*d. Suppose -3*z - 5*y - 121 = 0, 5*z - 2*y + 185 = -7*y. Let n be (-1 + z/(-4))*-1. Is n not equal to t?
True
Let m = -586112 - -11126968/19. Let z = m - -482. Is -1 smaller than z?
True
Let n be 5/(-2)*12/36. Which is smaller: n or 0?
n
Let c = -1 - -0.7. Let n = c + 1.3. Does -3 = n?
False
Suppose -q + 0 = 1, 37 = -3*z + 2*q. Let p = -14 - z. Which is bigger: p or -2/3?
-2/3
Let b be (-1)/((-1)/4) - 1. Let k be 0 - b/(-11)*1. Do -1 and k have the same value?
False
Let n be (-12)/(-9)*6/(-4). Let z = 2 - 5. Which is greater: n or z?
n
Let o(i) = -i. Let x(s) = -s**3 + 8*s**2 - 7*s + 3. Let q be x(7). Let j be o(q). Which is smaller: j or -1?
j
Let w(h) = -h**2 + 12*h - 26. Let g be w(10). Is g bigger than -7?
True
Let d = 0 - -1. Suppose -11 = -4*z + d. Suppose -z = -2*m + m. Which is bigger: m or 2?
m
Let s(c) = -c**2 - 6*c + 3. Let w be s(-6). Suppose w*m + m = -4. Let r = -1.8 - -1.8. Which is smaller: r or m?
m
Let n = 9.6 + 0.4. Let l = -10.1 + n. Which is smaller: 1 or l?
l
Suppose -3*c + 10 = -c. Suppose c*m - 6 + 1 = 0. Is m smaller than -2/71?
False
Let m be 43/(-3) - (1 - 7/3). Which is greater: m or -14?
m
Let g = -104 + 60. Which is greater: g or -43?
-43
Suppose -2*w + 5*c = -30, -26 = -2*w + 2*c - 8. Suppose -9 + 4 = -w*o. Let n be -1*(o - (3 - 1)). Do n and -1/4 have the same value?
False
Let y be (-24)/(-15) - 2/(-5). Suppose -y = -4*a + 6. Let c be 2/(-1) - (3 + -6). Is a at most as big as c?
False
Let g be (0 - -2)/(2/(-5)). Let h be -1 + 0 + g/(-7). Let p = 0.83 + -0.63. Is p >= h?
True
Suppose -264 = o - 5*o. Suppose j + j = o. Suppose 0 = 4*l + 5*x - 8, -5*x - 4 = -3*l - j. Is -2 less than l?
False
Let a = 0.026 + 0.174. Is 2/5 at most a?
False
Let j = -8 - -54/7. Let b(z) = z**2 + 5*z. Let g be b(-4). Let k = g + 3. Does j = k?
False
Suppose 4*h - 4*l - 4 = -24, 3*h + 4*l = 13. Let r(m) = -m**3 - 9*m**2 - 8*m + 4. Let b be r(-8). Let q be ((-1)/3)/(3 - b). Is q > h?
True
Let v be ((-5)/45)/(1/(-6)). Is 9 less than or equal to v?
False
Let s = -2.3 + -13.7. Let i = 17.2 + s. Is i not equal to -1?
True
Let u(w) = w**3 - 7*w**2 + 8*w - 5. Let z be u(6). Let q(a) = -a + 8. Let k be q(z). Is k equal to 1/3?
False
Let a be -1 - -2 - 15/9. Suppose 3*s = -4*k + 4, k - 4*s = -9*s + 18. Which is smaller: k or a?
k
Let y(o) = -o**2 + 13*o - 11. Let c be y(11). Suppose a = 2*g + c, -3 = g - 0*a - a. Let z be (-7)/(-4) + (-2)/g. Is 2/3