is greater: 1 or i?
1
Let i = -38 + 37.6. Which is bigger: 0 or i?
0
Let k = -548/3 - -181. Which is greater: 0.4 or k?
0.4
Let c = -59771/33 + 1811. Which is bigger: c or -1?
c
Let q(z) = -z**3 + 7*z**2 - 7*z + 5. Let u be q(6). Suppose -10*t = -93 - 47. Which is bigger: t or u?
t
Suppose -7*s - s = 0. Suppose -2*r - 4 = -0*r. Let u be r/(-1) + (-16)/7. Which is greater: u or s?
s
Let u(t) = t**2 - 6*t - 6. Let n be u(7). Let s = -33 - -232/7. Are s and n non-equal?
True
Let p be (-8)/(-6)*30/52. Let l = -370534/352443 + -14/3873. Let f = l + p. Which is greater: f or 0?
0
Suppose -2 = 3*o - 14. Suppose g = o*g + 33. Is g at least -11?
True
Suppose 0 = 4*a - 8 + 4. Is -6/17 != a?
True
Let d be 31 - (2/(-1) + -2). Suppose 2*k = -t - d, -3 = -0*t - t. Which is smaller: -20 or k?
-20
Suppose -5*i + 17 = -t, 0 = 3*i + 5*t - 1 + 2. Suppose -r = -5*r + 32. Let w = r - i. Is 6 <= w?
False
Let z = -16 + -19. Let q be 10/z - (-44)/7. Is 2 greater than or equal to q?
False
Let k(l) be the third derivative of l**4/12 - l**3/2 - l**2. Let z be -3*(4/(-6))/1. Let t be k(z). Is 1 at most as big as t?
True
Let w = 0.4 - 1.9. Let m = w - -0.5. Is m equal to -2?
False
Let f(b) = -b**2 - 2*b - 12. Let k be f(0). Which is smaller: k or -11?
k
Let g(y) = -8*y**3 + 9*y**3 + 1 - 16*y**2 - 20*y + 3*y. Let i be g(17). Is 4/23 greater than or equal to i?
False
Let m(x) = x - 1. Let a(f) = f**2 + 17*f - 10. Let w(h) = -a(h) + 5*m(h). Let n be w(-13). Let z be 4/10*(-20)/n. Is 0 > z?
False
Let c = 155 + -1083/7. Suppose 3*u = -u + 48. Let k be (-2)/6 - u/18. Which is smaller: k or c?
k
Let y(r) = -r**3 - 3*r**2 + 5*r + 5. Let u be y(-4). Is u equal to 2/137?
False
Let a be 3/(-6)*2*(0 + 4). Which is smaller: a or 1?
a
Let c(j) = -j - 2. Let d be c(-5). Suppose 0 = 5*v + t + 10 - 24, v = -5*t + 22. Suppose -r - 4*r - v*m = 5, -d*m = -4*r - 4. Is r greater than 1?
False
Suppose -26 = 3*r - 5*q, 2*r - 5*q + 11 = -13. Let n(b) = -b. Let j be n(r). Let l = j + -2. Is 2 less than l?
False
Let s = 718961/28 - 25680. Let g = -18/7 - s. Let j = 1 + -1. Which is greater: g or j?
g
Let h = -71 + 106. Suppose h = -2*o - 115. Let l be 20/o + (-2)/(-3). Which is bigger: l or -0.1?
l
Let t = -2945/11 + 268. Suppose 3*q + 3 = 3*p, -2*q - 2*p = -0*q - 2. Is q bigger than t?
False
Let a(s) = -33*s + 8. Let x be a(1). Is 2 less than or equal to x?
False
Let n be 0 + 0 - (-65 + 9). Let d be (n/294)/((-12)/14). Which is smaller: 5 or d?
d
Suppose 3 + 1 = -4*i, 1 = -3*d + 2*i. Let s be (1 - 1)*d/3. Are 0 and s unequal?
False
Let d(n) = n. Let b be d(-4). Let x = b - -4. Is 1 at least x?
True
Let s be (-8)/(-6)*3/(-2). Let j be -1*s/1*6. Let w be (3/24)/((-9)/j). Is w less than or equal to 0?
True
Let n(u) = 10 + 20*u - 11*u - 7*u. Let f be n(-5). Are -0.06 and f equal?
False
Suppose 4 = 5*u - g + 9, 5*g = -2*u - 2. Are u and 1/23 equal?
False
Let l = -2 + 3. Let w be ((-60)/(-18))/(2/(-6)). Let a be (-4 - (-5 + 3))/w. Are l and a nonequal?
True
Suppose 4 = 2*y + 2*a, -2*y - y + a = -10. Suppose 0 = -2*j + 4. Which is smaller: j or y?
j
Suppose -4*v - 7 = 13. Is v bigger than -2?
False
Suppose 3*p + 0*p = -3. Which is smaller: 3/10 or p?
p
Let w(y) = y**2 - y. Let z(p) = 2*p**2. Let h(o) = 3*w(o) - 2*z(o). Let k be h(-3). Which is greater: -3/7 or k?
k
Suppose 21*r - 20 = 25*r. Which is smaller: -7 or r?
-7
Suppose 3*z = 2*f - 3*f - 33, -2*f = 3*z + 33. Is z less than or equal to -11?
True
Let r(y) = y - 7*y + 7*y. Let k be r(1). Let g = k + 3. Is g <= 5?
True
Suppose 0*y + 3*m = y + 30, -2*y - 16 = 5*m. Suppose -4*z + 5*r = -15, -3*r + 8*r + 15 = -2*z. Let o be 1/y*-4 + z. Is -1 at least as big as o?
False
Suppose h + 3*d = 0, -2*h - 2*d + 6*d = -10. Let n = h + -3. Suppose 5*i + 15 = 5*t, -5*i - t + 2*t - 7 = n. Which is smaller: i or 2/5?
i
Suppose 3*s = i + 3 + 1, s - 5 = 4*i. Is -2/53 smaller than i?
False
Suppose -8 = 2*h + 40. Let c = -24 - h. Is c equal to -2/39?
False
Let j(n) = -n**2 + 5*n + 3. Let o be j(5). Suppose -o*m = -0 - 12. Suppose -m*t = -3*t. Does t = 2?
False
Let y be (2 + -5)*1/1. Let j be -2 + (2 - y) + 13. Suppose -h + j = 3*h. Which is smaller: h or 5?
h
Let s = -2 - -2.1. Let d = -0.4 + 0.3. Let m = s + d. Which is bigger: m or 0.2?
0.2
Let p = 71 + -357/5. Suppose b - 4*s = -12, -3*s + 9 = -7*b + 2*b. Let h = 0 + b. Is p > h?
False
Let v = -0.005 + -0.03. Let k = v - -2.965. Let m = k - -0.07. Which is smaller: m or -1?
-1
Let x = 23126/13 + -1778. Is x bigger than 2?
False
Let m(v) = v**2 - 10*v. Let f(i) = i**2 + 12*i - 3. Let y be f(-13). Let z be m(y). Is z not equal to 5/9?
True
Suppose -15 = -5*a + 15. Let i be -6*(0 - 2/a). Let g be (i/(-6))/(4/(-8)). Which is smaller: 0.1 or g?
0.1
Let k be 1/(-2) - 17/(-42). Is k at least 1?
False
Let y = 2/449 - -4037/898. Is y bigger than 5?
False
Suppose -2*u + 2 = -2*k, -3*u - 12 = 2*k - 5. Let q = 37/207 + 1/23. Is q equal to u?
False
Suppose 12 = 4*z - 2*z + 4*n, -3*z + 8 = -4*n. Suppose 0*j + j + 5*b = 11, 4*b = -2*j + z. Which is smaller: 0 or j?
j
Let o = 9 + -11. Which is bigger: o or -26?
o
Let m = 0.1 + -4.1. Which is smaller: -0.5 or m?
m
Suppose 25 = 5*z - 2*l, l + 1 = 2*z + 2*l. Suppose 3 = 3*d - 0*d - b, -3*d + z*b = 3. Are 5/2 and d equal?
False
Let f = 115/2 - 59. Let q = 2 + -3. Is f bigger than q?
False
Let u = -2.7 - -3.3. Let b = 1 + 0. Is b not equal to u?
True
Let z = 63 + -64. Which is bigger: z or -2/97?
-2/97
Let d = -355204/5769 + 10/641. Let y = d + 62. Is 0 less than y?
True
Suppose 0 = 3*r - r + 4*z - 18, -10 = -r - z. Suppose -f = -5*m - 9, -m - 6 + 5 = -f. Which is smaller: f or r?
f
Suppose -92*a + 87*a + 5 = 0. Suppose 0*u = 3*u. Which is bigger: u or a?
a
Let p = -6 - -13. Is 8 > p?
True
Let g(h) = h**2 - 4*h + 4. Let p be g(4). Let k = p + -5. Which is smaller: k or 4?
k
Let v(p) = p**2 + 10*p + 4. Let q be v(-7). Let y = 10 + q. Let j(h) = h**2 + 7*h. Let x be j(y). Which is smaller: x or 2/5?
x
Suppose -v + 1 + 0 = 0. Let d be 3/(-18) + 5/24. Which is smaller: v or d?
d
Let c = 7 + -4. Suppose h = c*h. Let r be (2 - 3)*(1 - h). Is r at least -1?
True
Let b = 3 + 0. Does 3 = b?
True
Suppose -7*a - 10 = -45. Which is greater: 29/6 or a?
a
Suppose 3*n + 2*n = -3*c + 13, 0 = -5*c - 5*n + 15. Is 0 smaller than c?
True
Let z be 2 - (-3 + 76/16). Which is greater: z or -1?
z
Let z = 16 + -25. Let x be ((-2)/(-1))/(z - -37). Is x < 0?
False
Let w(i) = -i**2 - 8*i - 5. Let b be w(-7). Are 1/2 and b nonequal?
True
Suppose g = -4*g. Let o = -7 - -7. Do o and g have different values?
False
Let f = -4799/1130 + -6/113. Let h = f + 113/30. Let j = 2/15 - h. Which is bigger: 0 or j?
j
Suppose 0 = 6*z - z. Suppose z = 4*i + i. Which is greater: i or -2/19?
i
Let h be (-4)/10 - (-726)/1840. Let o = h + 377/1656. Let b(z) = z**3 - 8*z**2 - 9*z - 1. Let k be b(9). Is o >= k?
True
Let h be (24/3)/((-4)/25838). Let l = h + 1808454/35. Let r = -28/5 - l. Is r bigger than 1?
False
Let k be ((-4)/(-12))/(-1)*(-7 - -6). Let d = 17 + -9. Is k less than or equal to d?
True
Suppose -3 = d + 5*k - 53, 3*d + 2*k = 137. Let n be 12/8*3/d. Are 1 and n unequal?
True
Let c = -1/64 - -523/704. Which is smaller: c or 0?
0
Suppose -4*s + 3 = -17. Let i be s + -6 - (-10)/6. Let v(g) = g**3 + 6*g**2 - g - 5. Let z be v(-6). Is i at least as big as z?
False
Let a = 3.5 - 3.4. Which is bigger: -4 or a?
a
Suppose 0 = -2*k - 3*d - 3, -3*k = -2*d - 1 + 38. Let v = k - -8. Is v not equal to -1?
False
Let z = -9 - -15. Let x(s) = s**3 - 6*s**2 - 3. Let w be x(z). Let k be (w + 2)*(-2)/7. Is -1 at least as big as k?
False
Let q(p) = -1 + p + 0*p + 5. Let k be q(0). Let h be 0 + 1 + k/(-3). Which is smaller: h or 2/7?
h
Let c = -460/7 - -66. Let z = -1 - -1. Is c greater than z?
True
Let b = -30 + 21. Let q = -5 - b. Let o = 4 - q. Does -0.2 = o?
False
Let v = -8 + 5. Let m = -3 + 8. Let z = v + m. Which is smaller: z or 2/7?
2/7
Suppose 1 - 5 = -j. Let z(s) = 2*s - 11. Let m(k) = k - 5. Let i(y) = j*z(y) - 9*m(y). Let l be i(-1). Is 1 less than l?
True
Suppose 3*w - 12 = -9. Is 2/59 at most w?
True
Let u(n) = n**3 + 7*n**2 - 11*n - 4. Let b be u(-8). Let l = b + -11. Let q be (-4)/18 - (-20)/l. Are 4/5 and q non-equal?
True
Let f(a) = a**2 + 8*a + 7. Let k be f(-7). Suppose 0*i + i - 3 = k. Let u be -1 - ((-4)/i)/1. Which is