 >= i?
True
Let j = -10 - -8. Let y = -1.96 - j. Do y and 0 have the same value?
False
Let z(w) = -w**2 + 10*w - 1. Let j be z(10). Which is greater: -4/13 or j?
-4/13
Let w be (8/(-24))/(1/2). Suppose -2*c - u = -4*u + 9, -2*c - 15 = -5*u. Do w and c have different values?
True
Suppose -4*u + 2 = -6. Let h be (-3)/(-1) - (6 - u). Which is smaller: -3 or h?
-3
Let a be -3 + 1 + 46 + 0. Let q be 8/6 + a/(-42). Which is bigger: 1 or q?
1
Let s = 58.3 + -58. Is -0.13 at most as big as s?
True
Suppose -3*i = -2 + 11. Are -1 and i non-equal?
True
Let z = -28 + 52. Is z greater than or equal to 0.1?
True
Let q be (1 + (-52)/6)*-3. Let y be (-3)/q*(-2)/(-3). Suppose 5*w - 3 = 2*w. Which is smaller: y or w?
y
Suppose -3*g - 211 = 113. Let y be 1/4 + 51/g. Let z = 0 - 1. Which is smaller: z or y?
z
Suppose 0*r = r. Let y = 472/15 + -154/5. Is r smaller than y?
True
Let a be ((-4)/((-16)/(-12)))/(-1). Let o be (-1 - 3) + (1 - 1). Let h be a/6*o/7. Is 2 >= h?
True
Suppose -10 + 46 = v. Suppose 0 = i + 3*i + v. Let u = i + 10. Which is smaller: u or 0?
0
Suppose -3*f = -2*u - 13, -9*f + 5*u = -11*f - 23. Is f >= 3/29?
True
Let b = 0.96 - 1.49. Is -2/3 bigger than b?
False
Let r = -3 + 6. Suppose 0 = -n + 3*p + 6, 2*n = 3*p + 2*p + 11. Suppose -5*i + 2*y = -i - 10, 4*i - 7 = n*y. Which is bigger: i or r?
i
Suppose -8 = 4*q, 4*q = -m + 5*m - 92. Suppose 3*f - 3*u = m, 0 = 3*f + 3*u + 2 - 11. Let r = 3 - f. Is -1 >= r?
True
Let m = 68 - 68.1. Which is bigger: -2/197 or m?
-2/197
Let k = -1 + 4. Let v = k + -5. Let a be v/10*(-25)/(-10). Is a equal to -0.4?
False
Let x(j) = -2*j**2 - 5*j + 2. Let w be x(-4). Which is bigger: w or 3?
3
Suppose -4*i - 26 = -3*r, r - 2*i = 12 - 0. Let x be (6/(-18))/((-2)/6). Is r at most x?
False
Let o = -13.2 + 12.2. Is -47 at most as big as o?
True
Let k(c) = c**2 + 5*c - 5. Let r be k(-6). Let y = -21.1 + 25. Let z = -4 + y. Do z and r have the same value?
False
Suppose 5*n + 0*n + 5 = 0. Let k be -3 + n/(0 + -1). Is k smaller than -2/9?
True
Let k = 4 + -1. Let z be k - (0 - 1)*-17. Let l be z/10 - (-6)/15. Which is smaller: l or 1?
l
Let t = 33 - 15. Let z = t - 13. Which is smaller: z or 1?
1
Suppose 4*l = 4*t + 40, -l + 3*l + 3*t - 20 = 0. Let i(k) = -k + 9. Let p be i(l). Is -2/33 < p?
False
Let g = 23 - 48. Is g bigger than -26?
True
Let n = -0.01 - -0.04. Let z = 98.57 + -99. Let b = n + z. Which is greater: b or 1/2?
1/2
Let t be (-132)/405 + (-4)/(-10). Is t at least 1?
False
Suppose 5*h - 2*c = 1, 3 = -5*h + c + 1. Let a be (-1 - -1)/(3/h). Are a and 0 nonequal?
False
Let n be 4 + (0/3 + -4 - 2). Is -12 > n?
False
Let g(n) = n**3 + n**2 - 1. Let h be g(-1). Let y be (-3)/(-15)*(-2)/h. Let z = 0.3 - 0.4. Which is smaller: y or z?
z
Suppose g = -2*w + 6, 4*g - 3*g + 9 = 3*w. Suppose 3*y - y = g, -3*y = d - 6. Let q be -2 + (-2 + 3)*9. Are d and q non-equal?
True
Let f = 10.088 - -0.212. Let n = f + 1.7. Is 0 less than n?
True
Let g = 25 - 15. Which is smaller: g or 9?
9
Let n = 10 + -12. Let d be (-3)/n - 8/(-16). Which is smaller: d or 0?
0
Let z be ((6/165)/(-1))/((-2)/40). Suppose -2*j = -2 - 2. Does j = z?
False
Let p = -3 + 8. Let w(o) = -o + 6. Let n be w(p). Which is greater: -1/2 or n?
n
Suppose -16 = -12*o + 14*o. Which is bigger: -9 or o?
o
Let z(i) = -2*i + 7. Let u(n) = n**3 + n - 2. Let p be u(2). Let g be z(p). Which is smaller: -2 or g?
g
Let f be ((-1)/3)/((-1)/(-21)). Suppose 3*o + 9 = -6. Are o and f non-equal?
True
Suppose -s + 2 = -5*x, 7 = 2*s - x + 3. Let q be ((-9)/(-6) - s)*4. Let n be q/(-27)*(0 + 3). Is n at most -1?
False
Let k = 4 - 3. Let q be (-8)/(-20) + 36/(-65). Is k >= q?
True
Let m(u) be the third derivative of -u**4/24 + 2*u**3/3 + 2*u**2. Let v be m(5). Is v at most as big as -6/11?
True
Let i = 105 + -737/7. Suppose 5*m = 2*w - 47, 4*m + 93 - 1 = 5*w. Let v be (3/(-12))/((-6)/w). Is v at most i?
False
Suppose -4*b + 12 = 4*n, -n + 4*b + 33 = 4*n. Suppose -3*l + n*m - 31 = 0, -2*m + m = -5*l - 15. Which is smaller: 0.2 or l?
l
Let y = -1.22 + 0.65. Are 0.1 and y nonequal?
True
Let b be (14/56)/(2/8). Is 2/31 less than b?
True
Let o = -6 - -11. Let i be 4/14 + o/(-42). Suppose 52 = 5*v + 57. Does v = i?
False
Let w = 1 + -1.5. Let h = -2.8 - -7.7. Let y = h + -5. Which is greater: y or w?
y
Let z = -674 - -671. Let n = 19 + -29. Is z smaller than n?
False
Let k be 3/18*4*-12. Let a = -4 - k. Suppose 2*g + 12 = -5*x + 4*g, 0 = 3*x - a*g + 10. Which is greater: -3 or x?
x
Let k = 49/4 + -12. Are k and 0.1 nonequal?
True
Let j be (-22)/(-121)*3/3. Which is greater: 1 or j?
1
Let x = 5 - 12. Let h = 4 + x. Let f = -3 - h. Which is smaller: 2/5 or f?
f
Let u = 13.4 + -11.8. Which is bigger: -0.07 or u?
u
Let g = -1196/5 + 240. Suppose 3*f = r - 2*r - 6, -6 = -2*r + 3*f. Is r <= g?
True
Let n be (3/(-12))/((1 + -3)/(-4)). Let m = -1 + 1. Suppose z - 6*z = m. Which is smaller: z or n?
n
Suppose -4*t + 7 = -3*t. Which is bigger: t or -1?
t
Let v be (1 - 2)*(1 + -1). Suppose 3*q - 3 = 3*s, 1 = 3*q + s - 3*s. Is v at most as big as q?
False
Let a = -0.22 + -8.78. Let g = a + 10. Which is smaller: g or 4?
g
Suppose -4*h = -y - 0*y - 69, -3*y - 20 = -h. Let a = 839 + -822. Is a greater than h?
False
Suppose -5*v + 1 = -4*x, 3*v = 2*v - 5*x + 6. Let b be ((-60)/27 - -1)/v. Let t = 59/63 + b. Is t less than or equal to -1/4?
True
Suppose -2 + 5 = -3*y. Let k be (-2 - y)*(-3 + 1). Suppose 5*z = p + 19, -9 = -k*p + 5*z - 27. Which is smaller: 1/4 or p?
1/4
Suppose 0 = 3*r - 5*r. Let y = r - 3. Suppose 5*m = -2*x + 4, -8 = -m - 3*m. Are x and y non-equal?
False
Let s(t) = 4*t + 0*t + t. Let f be s(1). Which is smaller: 4 or f?
4
Suppose o - 2*l = -23 - 19, -3*o - 135 = 3*l. Let f be 8/o - 4/99. Is 1 less than or equal to f?
False
Suppose -4 + 94 = 15*o. Which is smaller: o or 9?
o
Let c = 140.9 + -141. Which is bigger: -29 or c?
c
Suppose 2*d + d = -12. Let z be ((-5)/2 + 4)*10/(-6). Which is bigger: d or z?
z
Let w(l) = l**3 + 5*l**2 - 7*l - 3. Let m be w(-6). Is 3 smaller than m?
False
Let o = -25 - -6. Let c = 31 + o. Suppose -w + 0*w - 2*m - c = 0, 0 = -2*w + m + 1. Is 0 <= w?
False
Let i = 173 + -210. Is 2/5 <= i?
False
Suppose -v + 5*v = -16. Is v > -14/5?
False
Suppose -30 = -u - 2*u. Let z be (-3)/(-12)*(-16)/u. Which is bigger: 3 or z?
3
Let j = -29 - -28. Which is smaller: 59/3 or j?
j
Let s = -9.96 - -9.9. Is 0.05 bigger than s?
True
Suppose 0 = -3*o - 7*o - 30. Which is bigger: -7 or o?
o
Let c be 4/(-10) - (-33)/(-5). Let m(r) = 5*r - 11. Let h(s) = 2*s - 6. Let o(j) = 7*h(j) - 3*m(j). Let i be o(c). Is -1/2 greater than or equal to i?
True
Let l = 23436111/20 + -1172817. Let d = l + 437093/340. Let h = 274 - d. Are 0 and h nonequal?
True
Suppose 2*g - y + 6 = -3*y, -11 = 3*g + 5*y. Is g <= -6/11?
True
Let r(d) = -5*d + 2 + 4 + 4*d. Let y be r(8). Let v be ((-2)/(-4) + 0)/(-1). Is v greater than or equal to y?
True
Suppose 12 = 4*z - 0*z. Let r be 2/z*(-15)/(-25). Is r at most as big as 0.2?
False
Let c be ((-2)/(-1))/((-4)/6). Let h(j) = j**2 - 11*j + 11. Let w be h(9). Let i be w/2 + (-1)/2. Is i greater than c?
False
Let f be (0 + -1)/(27/9). Let p = 5 - 8. Let a = p - -2.9. Is a smaller than f?
False
Let t = 11/16 - 109/112. Let y = 1/28 + t. Which is smaller: y or 1?
y
Let m = 0 - 0. Let y be 2 - (1 + (-18)/(-14)). Is y equal to m?
False
Let l = 1446/11 - 107834/825. Let z = l - 2/25. Is 0 less than or equal to z?
True
Let g be (-2)/(0 - 6/15). Suppose g*s = -2*c - 3, 2*c + 2*c = -s + 3. Which is bigger: s or 2?
2
Suppose 0 = 3*t - 210 + 282. Suppose 83 = -3*m + 14. Do t and m have different values?
True
Let h = 22.7 + -35.68. Let j = h - -13. Which is smaller: j or 0?
0
Suppose -6*s - 12 = -4*s. Which is bigger: -5 or s?
-5
Let q(g) = 2*g**3 - 3*g**2 + g - 2. Let b be ((-14)/35)/(1/(-5)). Let f be q(b). Let v(r) = 4*r**3 - 2*r + 1. Let o be v(1). Do f and o have different values?
True
Let d = -8.8 - -9. Is d less than or equal to -0.4?
False
Suppose 4*w - 4*r - 28 + 0 = 0, 3*w + 9 = -3*r. Let u = 24 - 20. Which is bigger: u or w?
u
Let y = 2 + 2. Suppose 3*w - 2 = 3*t + y, -4*t - 29 = 3*w. Let b = 1 - 2. Which is greater: b or w?
b
Let t be 96/(-44) + (-4)/(-22). Let p = t + 1. Which is bigger: 0 or p?
0
Let z(i) = -i - 1. Let w be z(-5). Let d = -4 + w. Let s = 6 - 6. Is d 