Let h = -3 + 2. Let n be 0 - 1 - (h - -1). Let a = 82 + -84. Is a at most n?
True
Suppose 3*x + w + 4 = 0, -3*w = 3*x - 6*w. Which is smaller: x or 2/21?
x
Let x = 0.04 + -0.04. Which is greater: x or -58?
x
Let d = -13 + 15. Suppose -5*x = -4*f - d*x - 35, 2*x + 15 = -5*f. Is f <= -7?
False
Let q(w) = -2*w + 19. Let k be q(12). Is k greater than -5?
False
Let k(n) = -n**2 - 4*n + 1. Let l be k(-4). Let h be ((-4)/(-4))/l + 0. Is h at most as big as -2/13?
False
Let m = -143/4 - -36. Let l be (-3877)/70 - 8/20. Let j = l + 111/2. Which is greater: j or m?
m
Suppose n - 36 = -8. Let u = n - 27. Which is greater: u or 1/39?
u
Let j(p) = p - 3. Let t be j(9). Let y = 10 - t. Is y smaller than 2/5?
False
Let t(j) = 4 + 1 - 6 + 2*j**2 + 5*j**3. Let p be t(1). Suppose o = -0*k + k + p, 16 = -4*k. Are 3 and o nonequal?
True
Let v = 23 - 23. Is 2/85 <= v?
False
Let t be ((-5)/(-113 - -3))/1. Which is smaller: 0 or t?
0
Let q = 0.62 - -14.38. Is 0.2 != q?
True
Let i = 7 - 6. Suppose 0*q + q + 5*b = -i, 4*q = -3*b - 4. Let s = -35/4 + 9. Which is smaller: s or q?
q
Let p = 30 - 34. Is p less than 0?
True
Let a(b) be the third derivative of -b**5/60 - 2*b**2. Let x be a(-2). Let g be (0 + 1)/((-2)/x). Is 3 greater than g?
True
Let y(t) = t**2 + 4*t + 3. Let f be y(-3). Let w(b) = -b**3 - b**2 + b + 1. Let i be w(f). Let n be i/21 + (-2)/6. Which is smaller: n or 0?
n
Let b = 101 + -80. Is b bigger than 22?
False
Let i be (-2)/(-8) - 430/24. Let t be (-14)/21 - 98/6. Let y = t - i. Which is bigger: 0 or y?
y
Let c be 64/(-10) + 6/15. Let l be 9/c*(-24)/(-9). Is -5 smaller than l?
True
Let k = -68 + 76. Which is smaller: 7 or k?
7
Let b(s) = -s**3 + 2 - 5*s + 6*s**2 + 2 - 5. Let v(x) = -2*x - 5. Let m be v(-5). Let c be b(m). Is c < -3?
False
Suppose i = 4, 0 = -3*h + 4*i - 5 - 5. Suppose -b + 5 = -2*b, -4*p + 6 = -h*b. Let m be -2*p*3/6. Is m greater than or equal to 0?
True
Let l(d) = 7*d**2 - 1. Let w be l(-1). Let j = 42 + -38. Suppose j + w = 5*r. Is r less than 1/2?
False
Suppose 2*b + 39 = -b - 5*y, 26 = -4*b + 2*y. Suppose 5*g - x = g - 31, -11 = g + 3*x. Is b at least g?
True
Let f = 0.15 + -0.08. Let n = -492 + 485.07. Let c = n - f. Which is smaller: 0 or c?
c
Suppose 0 = -14*t + 23 - 9. Are t and -0.17 nonequal?
True
Let b be ((-2)/1)/(-21 + 3). Let l be (-9)/6*2 + 2. Which is smaller: l or b?
l
Let o = 6 - 6.4. Let b = 1319 + -10595/8. Let z = -317/56 - b. Is z > o?
True
Let u(g) = -3*g + 1. Let l be u(-1). Suppose l = 4*y, 4 = b + 5*y - 1. Let r = 232 - 2086/9. Is r < b?
False
Let h(c) = c**3 + 6*c**2 - 6*c + 6. Let r be h(-7). Let l(f) = 2*f + 44 - 44. Let k be l(r). Is 2 smaller than k?
False
Let v(s) = -s**3 + 4*s**2 + 6*s - 4. Let l be (-85)/(-15) + 4/(-6). Let f be v(l). Which is greater: f or 0?
f
Suppose 5*l - 16 = -2*r, -l + r = 4*l - 22. Is l not equal to 7?
True
Let w = 0 - 0. Let k be 18/(-9) - (-2 + w). Let t be 1/2*(-4)/(-10). Which is greater: t or k?
t
Suppose -5*s + 2*b = -23, 3*s + 10 = s - 4*b. Suppose g = 5*v + 5, -s*v + 4 = 7. Which is greater: g or -1?
g
Let w = -23469/31 + 757. Is 1 equal to w?
False
Let s = -8.17 - -0.17. Let g = s - -7.95. Let v = -0.95 + g. Which is smaller: 1 or v?
v
Let y = 2 + -3. Let l = 2 - y. Let a = -17 + 16.9. Which is bigger: l or a?
l
Let b = -260/861 + 2/123. Let h = 1/103 + 203/309. Which is smaller: h or b?
b
Let j be 59/(-5)*225/(-20). Let k = j + -132. Is k < 2?
True
Let t(c) = c**2 + 3*c - 4. Let k be t(-3). Let r = 5 + k. Suppose -2*y + 5*f = 3*y - 25, 0 = 5*y + f - r. Which is smaller: y or 2?
y
Let c = 6 - 6. Let t = -7 + c. Let n = t - -6. Is -1/2 bigger than n?
True
Let i = 2/33 + 7/66. Which is bigger: i or 2/3?
2/3
Let o = 153 + -147. Is o < 16?
True
Let d = 18 + -15. Let g be (d + (-28)/12)/2. Which is smaller: g or 0?
0
Let o = 7/78 - -1/13. Which is smaller: o or -2/11?
-2/11
Let y be 0 + (0 - (0 - 2)) + 13. Is 15 < y?
False
Let f(y) = 2*y**3 - 3*y**2 + y + 1. Let l be f(2). Let c = 11 - l. Suppose -2*n = -c*i + 20, n - 3*i + 4 = 5*n. Which is smaller: 0 or n?
n
Let n = -41 - -163/4. Is -0.3 not equal to n?
True
Let s(j) = j**3 - 4*j**2 + 1. Let h be s(4). Suppose 14 = 3*v - 31. Let n be (21/v - h)*10. Does 0 = n?
False
Let k = 31/23 + -518/299. Is 1 greater than k?
True
Suppose -9*g + 10*g = -8. Are -10 and g nonequal?
True
Let o = 5 - 7. Which is greater: -6/5 or o?
-6/5
Let s(d) = 2*d**2 - 5*d - 4. Let k be s(6). Let p = k + 90. Let g be p/(-252) + (-4)/(-18). Is -1 >= g?
False
Let u = -235 + 236.07. Let d = u - 0.07. Let w = -2 + d. Is w less than or equal to -2?
False
Let y(x) = -x**2 + 9*x - 7. Let g be y(7). Let f(q) = -q**3 + 6*q**2 + 7*q + 1. Let d be f(g). Let k = 10 - 10. Is k at most as big as d?
True
Let r = -0.16 + 1.26. Let z = -0.1 + r. Let h = -2.3 - -2. Is h < z?
True
Let d be 9/(135/10) - 1. Suppose 0 = 3*j - 6*j + 3. Which is bigger: d or j?
j
Let o = -13.5 + 11. Let a = 0.5 + o. Let h = 5.5 + -3.5. Is a greater than h?
False
Suppose 13 = 5*f - b - 12, -b = -2*f + 13. Suppose -m - 172 = -f*x, -8 = 3*m - m. Let p be (-52)/x + (-4)/(-6). Is 0 at most as big as p?
False
Let p = 203.89 + -203. Let r = -0.11 - p. Let g be 18/(-24)*2/3. Is r at least g?
False
Suppose -2*s = 2*s - 2*q - 34, 2*s - 11 = -5*q. Which is smaller: s or 11?
s
Let t = 0.7 - 1.7. Which is smaller: t or -24?
-24
Let z = -4046/9 + 450. Which is smaller: z or 2?
z
Let j(k) = 2*k**2 - 6*k + 8. Let p be j(4). Let x = p - 16. Which is smaller: -10/9 or x?
-10/9
Suppose -z + 0*z + 1 = 0. Let u be ((-1)/3)/(z/(-3)). Is 2 bigger than u?
True
Suppose -3*u + 18 = -c, 3*u = -5*c - 0*c. Suppose 0 = -x + 6*x + 5*t, -u*x - 4*t + 2 = 0. Let n = 0.1 - 0.2. Is x at least n?
True
Let r = -1951/9 - -217. Is r not equal to -2/3?
True
Suppose -92*m + 91*m + 2 = 0. Let y(k) = -k**3 + 5*k**2 + 2*k - 7. Let j be y(5). Let s = 4 - j. Is s at least m?
False
Let m = -54 - -34. Let c = m + 19. Is 2 < c?
False
Let c(y) be the second derivative of -y**3/6 + y**2/2 + 3*y. Let o be c(-2). Suppose -5*g + o + 2 = 0. Is 0.1 at most g?
True
Suppose g + 7*u = 3*u + 9, -g + u = 1. Is g smaller than -2/207?
False
Let i be -1*(-2 - (-17)/7). Suppose -4*x + 18 = 22. Is i bigger than x?
True
Let z = 2227/6 - 372. Is z greater than -1?
True
Suppose 2*c = -c - 3. Which is smaller: 0 or c?
c
Let v = 106 - 51. Let k = -9 - v. Let i be 4/(-18) - k/(-36). Which is bigger: i or -0.1?
-0.1
Let l be (-16)/(-6)*60/8. Does 21 = l?
False
Let a = -245 - -4166/17. Let b = a + 15/34. Let v be 16/(-12) - 2/3. Which is smaller: v or b?
v
Let o be ((-8)/4)/(2 - 0). Are 1 and o equal?
False
Suppose -2 = 4*b - 26. Are -2 and b nonequal?
True
Suppose 5*v - n + 2*n = 11, 5*v - 4*n = 31. Which is smaller: v or 5?
v
Let n = 1411 + -91713/65. Which is smaller: n or 0?
0
Let k = 2 + -6. Let p be (0*(-2)/k)/(-2). Let z be (-2)/(8/(-2 + p)). Is z >= -0.1?
True
Let g(f) = -f**3 + 3*f**2 + f - 4. Let v be g(3). Is -5/3 less than v?
True
Let x be ((-4)/10)/((-9)/(-15)). Let s = -1 + -2. Is s at most as big as x?
True
Let s(g) = g**3 - 13*g**2 - g + 12. Let u = 12 - -1. Let p be s(u). Is p at least as big as 1/4?
False
Let k = -82 - -903/11. Let r = 70 + -69. Are k and r non-equal?
True
Let g(b) = -b**2 + 4*b + 7. Let d be g(5). Let j be (-6)/4 - (-4)/8. Is j at least as big as d?
False
Let b(s) = s**2 - 10*s - 4. Let l be b(10). Let j = 4 + l. Suppose -q + 13 = -0*q - 4*v, 0 = -2*v - 8. Which is smaller: q or j?
q
Suppose 3*o + 5 = 3*b - 37, -4*o + 2*b - 48 = 0. Is 1 greater than o?
True
Let b(c) = -c + 5. Let p be b(0). Let t(d) = d**2 - 4*d - 4. Let s be t(p). Is 2 > s?
True
Let p be (2 - 2) + -1 - -4. Suppose 4*y + l + 4 = 0, y = p*y - 5*l - 20. Suppose -2*b - 16 = 5*c, 2*c + 2 + 6 = y. Which is greater: 0 or b?
b
Let c(h) = 1. Let j(i) = -i - 12. Let v(o) = -6*c(o) - j(o). Let s be v(-9). Which is bigger: s or -4?
s
Let v = -0.5 - -0.8. Let d = 0.102 - 0.102. Which is greater: v or d?
v
Let b = 14 + -9. Let z be 1/(-2)*-3 - 1. Which is smaller: z or b?
z
Let s be 2 + 1 + 220/(-72). Is s > 0?
False
Let n = 330230/9 - 106664026/2907. Let g = n - 10/51. Is g != -1?
True
Let j be (-10)/(-45) + (-34)/(-9). Suppose -f - 9 = -j*f. Suppose -3*y - f + 6 = 0. Which is greater: 0 or y?
y
Suppose -119 + 114 = k. Is k equal to -28/5?
False
Let s(g) = -12*g + 1. Let