t i be a(1). Suppose 0*c = -3*c + i. Which is greater: n or c?
c
Let w = 5 - 7. Let h be 3/(-36) - w/6. Let u = 8 + -5. Which is greater: h or u?
u
Let g = 135 - 133. Do g and -24 have the same value?
False
Suppose 0 = -2*y + 41 + 25. Let a = 67/2 - y. Let o = 221/2 + -109. Is a not equal to o?
True
Let j be 14/28*(3 - 1). Which is smaller: j or 1/4?
1/4
Let b be (-2)/2 + 3 + -1. Let v = 4/123 - -448/1353. Which is smaller: b or v?
v
Suppose 3*f - 2 - 19 = 0. Suppose -4*z - f = 3*r, r - 3*z - 2 = -0*z. Let l = -3 + 3. Is r != l?
True
Let g(s) = 2 + 0*s**2 - 1 - s - 9*s**2 - 5*s**2. Let d be g(1). Let m be -2 + 0 + (-20)/d. Is m at least -1?
True
Let h = -2 - -2. Let y be (-104)/60 + (-12)/(-9). Is y < h?
True
Let k = 19 - 7. Let i be -2 + 1 + k/10. Which is smaller: i or 0?
0
Let s = 70 - 160. Let q be ((-7)/((-273)/s))/4. Let h = -1/13 - q. Which is greater: 2 or h?
2
Let q be ((-18)/(-15))/((-9)/60). Let c be ((-3)/3)/((-4)/q). Which is bigger: c or -1?
-1
Suppose 48 = 7*t - 3*t. Suppose x + 5*h = -10, -5*x + t = 4*h - 1. Is 4 <= x?
True
Let z = 9 + -6. Let n be (33/(-22))/(z/(-2)). Which is smaller: 0 or n?
0
Let y be 0/((2/(-6))/(2/6)). Let z(h) = -h**3 - 6*h**2 + 6*h - 4. Let u be z(-7). Suppose -u*i - i + 8 = 0. Which is smaller: y or i?
y
Suppose -10*g + 5*g = 0. Is 1/3 greater than or equal to g?
True
Suppose 3*y + 19 = 1. Let g = y - -12. Is -1/4 <= g?
True
Suppose q - 5*w = -2*q - 14, 0 = -2*q + 5*w - 11. Is q <= -1?
True
Let f be -3*(215/99)/(-5). Let h = -18/11 + f. Is 1 equal to h?
False
Suppose 3*x + 4*p = 2*x - 11, -4*x + 13 = -3*p. Let r = x - 3. Is r at least -3?
True
Let m = 9.4 + -5.5. Let r = m + -4. Is r at least -1/10?
True
Let n = 3 - 1. Suppose -n*r - 2 = -3*r. Is r at least as big as 2?
True
Suppose 4*u - 5*u - 2*t - 39 = 0, 4*t - 251 = 5*u. Which is bigger: -48 or u?
u
Let v = 0 - -3. Let u(g) = -g**2 + 0*g**v - g**2 + g**3 + 2 - 4*g. Let k be u(3). Is 1/3 smaller than k?
False
Let p(g) be the second derivative of -g**4/12 - g**3/3 + g**2 - 6*g. Suppose 0*r = -2*r - 6. Let z be p(r). Which is greater: z or 1?
1
Let g(d) = -5*d + 4. Let r be g(-3). Let p = r - 17. Suppose 5*l - 1 = 14. Which is greater: l or p?
l
Let j = -13.5 - -7.45. Let r = 6 + j. Let w = r + 0.05. Which is greater: w or 0.4?
0.4
Suppose 0 = 6*u - 3*u - 48. Is 17 less than u?
False
Let z = 994/9 - 110. Are z and 0 non-equal?
True
Suppose -5*i + 8*i = 0. Which is smaller: i or -2/77?
-2/77
Let o = -1.96 + -0.04. Let k = 0.2 - 2.4. Let n = 1.2 + k. Which is smaller: o or n?
o
Suppose -2*v + 7*v = 10. Which is smaller: v or 0.1?
0.1
Let a = 0.9 - -1.1. Do a and -1/31 have the same value?
False
Suppose 5*n = -25, -5*i = -0*n + 4*n + 10. Suppose i*j = j. Which is smaller: 2 or j?
j
Let v be (1 - 2)*(2 - 5). Suppose -v*g = -6*g. Suppose 0 = -4*x + 20, -33 = -2*n - 5*x - 10. Is g <= n?
False
Let c = 39/86 + 2/43. Which is smaller: c or 0?
0
Suppose 2*t - 3 = t. Let u = -2 + 2. Suppose 4*s + 16 = 3*w, -2*s - 8 = t*w - u*w. Is w >= -2/7?
True
Let b = -81 - -63. Which is greater: b or -0.2?
-0.2
Let f = 27 + -38. Which is greater: -10 or f?
-10
Let z = -12 - -20. Let j = 3 - z. Let n(u) = -u**2 + 3*u - 5. Let h be n(3). Is j <= h?
True
Let b be 10/12*9/6. Let m be 2 - (-1 + 11)/(-1). Suppose m*l = 7*l. Which is smaller: b or l?
l
Let q = 124/65 + -4/13. Let l = -1/3 - -23/15. Let b = l - q. Which is smaller: -1 or b?
-1
Let z = 6 - 4. Let h = z + 0. Is h at most 0?
False
Let c = 0.08 + 5.92. Let f = c + -7. Which is bigger: 2/7 or f?
2/7
Let c = 12 - 10. Let g = -4 + c. Is 5 smaller than g?
False
Let p = -2.4 - -3. Let y = p + 0.4. Which is bigger: y or -0.1?
y
Let b be -2 - (0 + 9 + 3). Is b >= -13?
False
Suppose -9*q + 327 = -123. Is q != 50?
False
Let q = -7 - -25. Is 19 bigger than q?
True
Let n(d) = -d + 3. Let x be n(7). Is -3 equal to x?
False
Let v = -0.18 + 8.18. Let q = -9 + v. Is q at most -1?
True
Suppose 0 = -2*b - 2 - 0. Let l = -7 - -9. Which is bigger: b or l?
l
Let f(w) = -w. Let h be 2/(-6) - (-4)/12. Let n be f(h). Suppose -2*x = 3*v - 3, n*v = -3*x + v - 1. Is x at least 0.01?
False
Let c(s) = -s**3 - 3*s**2 - 4*s - 5. Let z be c(-2). Is z bigger than -1/39?
False
Let o(g) = g**2 + g - 3. Let q(i) = -i + 2. Let j be q(5). Let r be o(j). Let x be -6*-2*r/(-12). Which is greater: -2 or x?
-2
Let w(r) = r**3 - 9*r**2 + r - 3. Let j be w(9). Which is greater: 14/3 or j?
j
Let x be 0*(2/3 + -1). Suppose -5*z + 6 = 1. Is x equal to z?
False
Let g = -11/2 - -13. Is g less than or equal to 9?
True
Suppose -3*a + 25 = 2*v, v - 4*v = -15. Let t = 2 - a. Let p(y) = -y**3 - 5*y**2 - 4*y + 1. Let i be p(t). Do -4 and i have the same value?
False
Let q = 4 + -4.01. Let x = q - -0.01. Let p = x + -2. Which is smaller: 0 or p?
p
Let f be (-1)/(-5) - 18/(-10). Let j = 3 - f. Does j = 2/19?
False
Let y = -2.8 - -0.8. Which is greater: y or -0.2?
-0.2
Let p = -8.3 - 2. Let i = p + -0.7. Which is greater: 1 or i?
1
Suppose 0 = 3*n + 5*v + 39 + 100, 5*n + v = -261. Is -163/3 greater than n?
False
Suppose -5*n = -25, n + 37 = 2*f + 2*n. Suppose -6 = -5*h - f. Does h = -1?
False
Suppose 0 = 4*q - 6*q + 38. Which is smaller: 18 or q?
18
Let i be (-23 - -2)/(3*(-2)/4). Are 0 and i unequal?
True
Let q(j) = j - 7. Let v be q(8). Which is smaller: v or 4/3?
v
Let i(p) = p**3 - 10*p**2 - p + 9. Let x be -2 - -12 - (-2 - -2). Let j be i(x). Which is smaller: j or -3/4?
j
Let t(q) = -q**2 + 6*q - 6. Let d be t(4). Suppose 5*a = d*a. Let j be -4 + 4 + 1 + a. Which is smaller: 2 or j?
j
Let a be (-52)/(-12)*(-63)/(-2312). Let j be (-7)/((-4046)/1152) + -2. Let f = a - j. Which is greater: f or 1?
1
Let w = -13 - -9. Let f = -3 - w. Let t = f + 0. Is t less than or equal to 2/5?
False
Let h = -20 - -36. Is 1 at least h?
False
Let i be 10/((-1)/(3/(-6))). Let s be 9/45 + (-6)/i. Which is bigger: s or -5/4?
s
Suppose 3*t + 1 = 4. Let a = 6/7 - 31/28. Which is smaller: a or t?
a
Let z be (8 + -11)*(-2 + (-2)/(-2)). Suppose -i = -y - 3*i + 1, -i - 2 = 3*y. Let x be y*((-49)/17 + z). Which is bigger: x or -1?
x
Let j(w) = w**2 - 3*w - 6. Let m be j(-2). Let x be 1 - -14 - 1/(-1). Suppose 0 = 2*k + 3*k - 3*a + 14, -4*k - x = -m*a. Is -2/19 greater than or equal to k?
True
Let k = -1.32 + 1.33. Is k at most 8?
True
Suppose 7*l = 4*l + i + 87, -4*i - 48 = -2*l. Let r be (-18)/l - 43/(-5). Which is bigger: 9 or r?
9
Let h(j) = -3*j**3 - j**2 + 1. Let b be (1 + -2)*(1 + -1). Suppose -v = 5*g + 5, -5*g - 5*v + b = 5. Let c be h(g). Are c and 2 non-equal?
True
Let l(a) = -a**3 + 9*a**2 - 12*a - 6. Let s be l(5). Which is smaller: 33 or s?
33
Let n = 27 - 45. Let b be (-2)/3 + 6/n. Is b greater than -5/4?
True
Let x = 22 + -22. Which is bigger: x or -18?
x
Let b = -8 - -5. Let h be -3*b/(-9)*-4. Let o be (2/h)/(9/18). Is o at most as big as -1/6?
False
Suppose 0 = y - 5*d + 5, y - 15 = -0*y - 5*d. Suppose 5 - 14 = y*k + v, -k - 3*v - 13 = 0. Which is greater: k or 2?
2
Suppose -14 = -4*v + 2. Suppose 3*f + 5 = 17. Is v smaller than f?
False
Let g be (-28)/36*1 - 2/(-6). Is 3 equal to g?
False
Let x be (-10 + 1480/150)/((-4)/18). Suppose 0 + 2 = s. Is s smaller than x?
False
Suppose 5*z + 5 = -55. Which is smaller: -10 or z?
z
Let w = -12 + 14.5. Let c = 2 - w. Which is bigger: c or 1?
1
Let o(p) = -4*p - 9. Let q be o(6). Let s = q + 15. Is s < -18?
False
Let f(z) = z. Let u be f(2). Let g = 12 - 10. Suppose -g*d - 2*o = -3*d + 7, 6 = -u*o. Is 1 <= d?
True
Let n = 2 - -4. Suppose 0 = c + 3, 3*c = -f + c - n. Are f and 2/15 non-equal?
True
Let y = 0.17 + -2.77. Let b = y + -3.4. Which is smaller: b or 1?
b
Suppose 3*i = 3*b - 6, 0 = -b - i - i - 13. Let x be b/2*4/(-30). Let l be 2/(-8)*-2*-2. Which is greater: l or x?
x
Suppose -3*b = 101 - 59. Which is greater: b or 2/3?
2/3
Let o(k) = -k + 5. Suppose -5*a - 5*v + 29 = -a, 5*a = -5*v + 35. Let z be o(a). Which is bigger: -2 or z?
z
Let t = 11 + -11.12. Let l = t - -0.22. Which is smaller: -5 or l?
-5
Let q = 12 + -11. Is q <= -2?
False
Let h be 1/(1*3/6). Let d be (-1)/h*(-7 - 1). Is d at most as big as 3?
False
Let m = 0.052 + -2.052. Is m less than 0.1?
True
Suppose -2*o = q - 5*o - 26, -67 = -2*q + o. Let b = -23 + q. Let k be (-2)/6 + (-8)/b. Which is bigger: 1 or k?
1
Let v = -10 - -16. Suppose -9 = -4*s + 11. Suppose s*r = 