 a be ((-6)/(-9))/(13/(-3)). Which is greater: a or 1?
1
Let o = -30 - -35. Is o < 10?
True
Let v = 2/85 + 79/255. Let g be (-18)/4 + (-2)/(-4). Let i be g/(-8) - (-6)/(-4). Do i and v have different values?
True
Let y be -1 + -1 + 70/21. Is y greater than or equal to 2?
False
Let j(q) = -q**3 - 3*q**2 - q - 4. Let f be j(-3). Which is smaller: 4 or f?
f
Let b(n) = n - 6. Let i(u) = 2*u - 12. Let f(w) = -11*b(w) + 6*i(w). Let h(c) = c**2 + 4*c + 6. Let r be h(-4). Let m be f(r). Is m >= -1?
True
Let d = -3 + 6. Suppose -c - 16 = -d*i - i, i - 3*c - 15 = 0. Suppose 0 = v - i*v - 16. Is -7 >= v?
True
Suppose 0 = -2*k + 154 - 32. Is k greater than or equal to 62?
False
Let b = 3 + -3. Let j = -9 - -7. Which is smaller: b or j?
j
Let a = 988/105 + -134/15. Which is greater: 0 or a?
a
Let u(h) = -3*h + 4. Let c be u(3). Let t(z) = z + 13. Let a be t(9). Let m = 16 - a. Which is bigger: m or c?
c
Let m = -35 - -38. Which is bigger: 1 or m?
m
Suppose 2*l - 5*k + 2*k = 346, 5*l - 903 = -2*k. Let o = l - 1429/8. Which is smaller: o or -1?
-1
Let y(u) = u + 2. Suppose -4*k - 1 = -c, 0 = -5*c + k + 6 + 18. Suppose q = 6*q - c, -q = -4*l - 9. Let f be y(l). Which is greater: 3/4 or f?
3/4
Let z = -0.26 + -2.34. Let n = z - -3. Let r = 2.03 + -0.03. Which is greater: r or n?
r
Suppose 0*y + 2*y - 5*w = -140, 0 = y + 2*w + 61. Is -65 > y?
False
Let a be ((-2)/36)/(2/4). Let w be (-2)/1 + (3 - 2). Which is smaller: w or a?
w
Let t(c) = 2*c - 9. Let w be t(6). Suppose -3*j + 4*j + w = 0. Does j = -4?
False
Let j = 1 + -1. Suppose 7*m + 3*p = 2*m + 13, 0 = 5*p + 20. Let f be m/(-10) - -3 - 3. Which is smaller: j or f?
f
Suppose 5*g + 4*c = 362, -3*g = g + 2*c - 292. Suppose n - g = 5*n - 5*w, -2 = w. Let z be 7/(n/(-18)) - 1. Is 6 greater than z?
True
Let y(z) = -z**3 + 3*z. Let s(h) = -h. Let l(k) = 3*s(k) + y(k). Let n be l(0). Let f be (1 - 0)*(-1 - -2). Is n >= f?
False
Let d(m) = m**2 + 14*m + 10. Let a be d(-14). Is 0 < a?
True
Let n = 91 - 74. Which is smaller: 16 or n?
16
Let i be (-2)/(-2 + 0/(-2)). Let k be (-11)/(-6) - (-2)/(-1). Is k less than i?
True
Let g = 0.22 + -0.32. Let t = 0.3 - 0.2. Which is greater: t or g?
t
Let h(i) = -4*i - 1. Let c be (-10)/8 - 4/(-16). Let v be h(c). Suppose -4*j - r + 1 = 0, r = -3*j + v - 1. Is j greater than -1?
False
Let a(j) be the first derivative of j**4/4 - j + 2. Let m be a(1). Let q = -560 + 6154/11. Does q = m?
False
Suppose 5*q = -3*c + 32, -4*q - 6*c + 4*c + 24 = 0. Let u = -143/3 - -47. Are q and u equal?
False
Let b = -257/2037 + 3/97. Which is bigger: -1 or b?
b
Let h be 1*((-2)/(-1) + -2). Let k(r) = r**3 + 7*r**2 + 2*r + 10. Let m be k(-7). Let j(c) = -c**2 - 4*c. Let x be j(m). Is h > x?
False
Let w = -82.9 + 77. Let l = -17 - -11. Let c = l - w. Do 4 and c have different values?
True
Let w be (2/(-8))/(3/12). Which is greater: -1/28 or w?
-1/28
Let w(x) = -x**3 + 6*x**2 + 2*x - 2. Let v be w(6). Let z = -59 - -68. Which is smaller: z or v?
z
Let n = 5.1 - 0.1. Let c = 5.06 - n. Which is bigger: c or -2/7?
c
Suppose -4*s + 2*k - 29 = -3*k, 0 = 5*s - 5*k + 30. Which is bigger: s or 2/39?
2/39
Let n = -22 + 41. Let k = -14 + n. Is k at least as big as 2?
True
Suppose -g = -5*r + 22, 3*g + 0*r = -2*r + 2. Do g and -6/7 have the same value?
False
Let x = -6 + -3. Let v = 14 + x. Is v at most 0.1?
False
Let x = -11 + 12. Does -1/160 = x?
False
Suppose 3*h + h = 3*p - 1, -5*h - 4 = -p. Let d be h/((-2)/(2 + 0)). Is 1 > d?
False
Let s = 0 - 1. Let r = -8 - -3. Is s not equal to r?
True
Let k = 5 - -5. Are 11 and k equal?
False
Let i = 7 - 5. Is 2 > i?
False
Suppose -j + 4*n = -11, 0*j - 3*n - 5 = -4*j. Let l be -1 - (0 + j)/(-1). Suppose -5*z = -0*z. Which is greater: l or z?
z
Let v = 330 - 992/3. Let a be 5/(-6)*4/(-15). Which is greater: a or v?
a
Let v be (2/(-50))/(2/(-5)). Let w = v + 11/90. Suppose c - 3*c = 0. Is c < w?
True
Let p = -8 + 13. Let t = -43 - -46. Which is smaller: t or p?
t
Let g be 2/7 + 9/(-7). Let u be (1 - (g - -3)) + 13. Let q be 2/(-7)*28/u. Is -1 > q?
False
Let w = -9 - -11. Let z = -60 - -239/4. Are w and z non-equal?
True
Let r be ((-16)/12)/((-4)/(-6)). Suppose i = 5, -i = -10*y + 5*y - 5. Which is smaller: r or y?
r
Let j = 79 + -80. Let i(z) = -z**2 - 2*z + 1. Let n be i(1). Which is smaller: n or j?
n
Let l be (-392)/1598 - (-26)/221. Is 1 smaller than l?
False
Let l(t) = -t**3 - 3*t**2 - 3*t - 3. Suppose 0 = -2*n + 3*b + 2*b - 29, -3*n + 19 = 5*b. Let s be l(n). Are -2 and s equal?
False
Let z = -12 - -20. Is z > 22/3?
True
Let j = 2/2005 + 772/30075. Let g = -136/525 - j. Which is smaller: 1 or g?
g
Let m(f) = f - 6. Let h be m(6). Let b = -11/6 - -329/186. Does b = h?
False
Let j be 1/(21/2 + -1). Which is greater: -1 or j?
j
Suppose -2*k = -2*x + 32, k = x + 6*k + 8. Let s = x + -12. Is -1 greater than s?
False
Let x(l) = l**3 + 5*l**2 - 9*l + 2. Let b(m) = 2*m**3 + 10*m**2 - 19*m + 5. Let j(c) = -6*b(c) + 13*x(c). Let z be j(-5). Is z at most 10?
False
Let d = -99 + 100. Let n = -54 - -325/6. Which is smaller: n or d?
n
Let b = 0.09 + 3.71. Let f = b + -4. Let u = f + 0.1. Is -1/4 greater than u?
False
Let f be 4 + 0 + (-220)/54. Is -1 at least as big as f?
False
Let f = -6.916 - 0.084. Let q = 2.6 + -0.6. Which is bigger: q or f?
q
Let n be 45/18*2/(-20). Are n and 1/3 nonequal?
True
Let c = 4 - 7. Suppose a + 0 + 14 = 5*k, -3*k + 7 = -2*a. Let n be (1/3)/(k/9). Which is smaller: n or c?
c
Suppose 5*p - 3 - 2 = 0. Let t be 5/(35/2)*7. Suppose -t*o - 3*o = a - 7, 11 = o - 3*a. Which is bigger: p or o?
o
Suppose -3*s + 31 = 4*c, -2*s - 3*c = -0*c - 22. Suppose -6*v + v = -s. Suppose -2 = -4*l + 2*l. Are l and v nonequal?
False
Suppose 0 = 2*i + 17 - 41. Suppose -p - 2 = 3*s, 2 - i = -5*s + p. Which is greater: s or 2?
2
Let h be -5 - 1*(-4 - -3). Does h = -4?
True
Suppose -5*v = 14*v - 57. Is 0.06 bigger than v?
False
Suppose 3*x - 3 - 3 = 0. Let s(b) = 2*b - 3. Let j be s(4). Suppose -p + j = c + 3*p, 4*p - 4 = 0. Which is smaller: x or c?
c
Let z be 0 - (3 - 3/1). Do z and 14/11 have different values?
True
Let j be (6/(-8))/((-30)/(-16)). Let a = -6 - -5. Let v(y) = y + 1. Let p be v(a). Which is greater: p or j?
p
Let b be -3 + 7 - (0 + 716/178). Which is smaller: b or -1?
-1
Let m(u) = -3*u + 10. Let s be m(4). Are -2 and s equal?
True
Let x = 16 - 15. Which is smaller: -1 or x?
-1
Let p be (-25)/(-138)*(-837)/(-396). Let g be -2 - (-2028)/506 - 2. Let v = g - p. Which is bigger: -1 or v?
v
Let q be 12/10*5/2. Let i be (-1)/q + (-68)/(-60). Which is smaller: 2 or i?
i
Let x be (0 + -3)/(18/(-24)). Which is greater: x or -10?
x
Let t = 120 - 121. Is t > 5/22?
False
Let b be (-6)/10 + (-2)/5. Suppose 2*y = h - 27, -4*y = -0*y + 4. Let x be 8/(-50)*h/30. Which is greater: b or x?
x
Let h be (-1)/(-2)*37/(-74). Let g = 3 + -3. Suppose g = 4*m + 5*p + 11, 5*m + 3*p - 2 = -6. Is h equal to m?
False
Let a = 40 - 44. Which is smaller: a or -11/3?
a
Let d = 12 + -9. Suppose -5*c = -f + 28, -5*f = 2*c + d*c + 40. Is c less than or equal to -7?
False
Let s = -1 + 11. Suppose 28 = -2*w - 4*i + 6, -i = 2*w + s. Suppose 4*k - 2*v + 16 = 0, 0 = 5*k - 3*v - 2*v + 30. Which is bigger: w or k?
k
Let c(d) = d**3 - 4*d**2 + 4*d - 6. Let b be c(4). Let k(w) = 3*w + 1. Let t be k(-5). Let i = t + b. Do -5 and i have the same value?
False
Let c = 8 + -6. Suppose 2*r = o - c*r + 17, 20 = 4*r. Suppose o*d = -d. Is d > -2/7?
True
Suppose -3*l = 1 - 19. Let n be (2 - -4)/((2 - -2)/2). Let x = l - n. Which is smaller: x or 4?
x
Suppose -4*c = -5*x + 3*x + 16, 0 = -3*x + 2*c + 4. Is x greater than or equal to -5?
True
Suppose 5*z - 25 = -b, -3*z + 0*b + 3*b - 3 = 0. Suppose 5*r - 31 - z = 0. Are r and 2/3 non-equal?
True
Let d be (-26)/(-4)*(-5 - 1). Do d and -39 have different values?
False
Suppose 0 = -v - v. Let a be (-3)/(-28)*(1 + -5). Which is greater: a or v?
v
Let y be (-2)/(-18) - 77/99. Suppose 3*k + 18 = 5*w, 0 = -4*k + 4*w - 4 - 12. Does y = k?
False
Let i be -1*-7*1 + -1. Let r be 6/21 + 5/7. Let p be 4/(-6)*r*i. Do -3 and p have the same value?
False
Let o = 11/28 - 3/28. Let c = -3 + 3.05. Is c >= o?
False
Let c be 1639/(-231) - 3/(-7). Which is bigger: -6 or c?
-6
Let x = -21.1 - -22. Let w be (4 - 7)/(12/(-160)). Let g be 6/(-24) + (-6)/w. Is x greater than g?
True
Let 