e d(3). Which is greater: 3/7 or y?
y
Let g be ((-3)/2)/((-3)/2). Let q(i) = -i**2 + 2*i**3 + g - 5*i**3 + 2*i**3. Let n be q(1). Which is greater: 0 or n?
0
Let c = -971 - -18441/19. Is 1 >= c?
True
Let q = -28 + 227/8. Let m = -3/4 + 1/12. Is m >= q?
False
Let h be (-2)/(-4)*(-84)/(-231). Which is bigger: -15 or h?
h
Suppose 2*m = -3 + 5. Let k be (m/(-4))/((-5)/(-4)). Let p be 1*((-1)/1 - 0). Which is greater: p or k?
k
Suppose -c - 1 = 0, k + c = 3*c + 3. Let b be (-3 + (-1 - -4))/k. Is -1 < b?
True
Suppose -3*b + 6 = -2*o - 8*b, -5*o - 2*b - 36 = 0. Which is bigger: -5 or o?
-5
Let t(v) = v**2 - 3*v + 6. Let j be t(5). Suppose 0 = -4*y - j, -y = 5*i - 9 - 7. Suppose 0 = -3*m - i + 10. Which is smaller: m or 3?
m
Let b = 10.1 - 4.1. Which is smaller: -3 or b?
-3
Let c = -6 - -12. Let z be 2/2*(c - 5). Let j be 4/(-10)*(5 + 0). Are z and j unequal?
True
Let f be ((-15)/(-4))/((-12)/(-64)). Let i be f/(-24) + 1/3. Let g = i + 0. Which is smaller: 0.2 or g?
g
Let c(o) = -3*o**3 + 2*o**2 - 2. Let t be c(-2). Let i be t/(-4) + 2/(-4). Which is smaller: i or -7?
i
Let m(j) = -7*j - 1. Let k be m(-1). Let h(g) = -g + 6. Let o be h(k). Which is smaller: 1/2 or o?
o
Let z be 71/164*(-1137)/1273. Let x = -14/2747 - z. Let b = x - 12/19. Is b greater than 0?
False
Let m = 29/2 - 15. Which is greater: m or 0?
0
Suppose 0 = 4*y - 3*z - 79, -5*y - z + 41 = -34. Let t be ((-3)/y)/(2/4). Are 1 and t unequal?
True
Let d(u) = 4*u + 9. Let g(v) = v + 2. Let l(m) = -2*d(m) + 9*g(m). Let q be l(-2). Is 0.2 <= q?
False
Let r = -2900/11 + 264. Suppose p + 12 = -3*q, 0 = -5*p + 2*p + q + 4. Which is greater: p or r?
r
Suppose 0 = 3*b - 2*b. Suppose 0 = -3*z + 1 - 4. Is b not equal to z?
True
Let m be 72/25*((-32)/(-6) + -2). Is 9 at most m?
True
Let r = 0.03 - 0.63. Let z = 0 + r. Let x = -0.6 - z. Which is bigger: x or -2?
x
Let m be 2 + (1 - 1) - 319/143. Is -1 > m?
False
Suppose c - 2 = 3*c. Let a be (0 - c)/(2/6). Is a < 3?
False
Let r(f) = -f**2 + 10*f - 6. Let g be r(8). Let i = 10 - g. Which is bigger: i or -2?
i
Let y(t) = 7*t**2 - t - 6. Let p(b) = -6*b**2 + b + 5. Let u(d) = -6*p(d) - 5*y(d). Let s be u(0). Let f = 3403/15 + -227. Which is greater: f or s?
s
Let o = 637/5 - 128. Is 0.1 <= o?
False
Suppose 16*u - 14*u = -144. Which is smaller: -71 or u?
u
Let m = 5 - 5. Suppose 4*q + 1 - 13 = m. Suppose 6*r - 9 = 2*r - z, -q*z - 1 = -2*r. Is r < -1?
False
Let l be (18/(-30))/((-2)/2). Which is smaller: -3 or l?
-3
Let a be ((-24)/20)/(3/(-10)). Let o(b) = b**3 - b**2 + 2*b - 4. Let y be o(3). Suppose y = t - 3*u - 0, 3*u + 35 = 4*t. Is a at least t?
False
Let h = -55 - -50. Suppose 6*s - 2*s + 5*j = -1, 3*j + 7 = -4*s. Which is bigger: s or h?
s
Suppose -5*t - 5*p = 3 + 12, p + 9 = 5*t. Are t and -5/14 non-equal?
True
Suppose 0 = -25*g + 18*g + 35. Which is smaller: g or 1.4?
1.4
Let c = -0.3 + 0.2. Is c greater than or equal to 1/10?
False
Let c(g) = -6*g**2 + 7*g - 12. Let j(z) = z**2 + 1. Let d(o) = -c(o) - 5*j(o). Let s = 33 + -27. Let h be d(s). Is h equal to 1?
True
Let q = 13 - 93/7. Which is greater: 0.02 or q?
0.02
Let i = 1/8 - -5/24. Is 1 at least i?
True
Let i be ((-5743)/322)/((-1)/(-2)). Let j = 250/7 + i. Let h = 65/92 + j. Which is smaller: 1 or h?
h
Let o(h) = -h. Let b be o(-6). Let y(t) = t**2 - 7*t + 4. Let k be y(b). Let w = -3 + 2. Is w != k?
True
Let i = -5/229 + -193/12137. Which is bigger: -1 or i?
i
Suppose 16 = -4*o, -u - 5*o = -3*u + 22. Which is bigger: -3/19 or u?
u
Let b(q) = -3*q - 14. Let a be b(-5). Is 0 at most as big as a?
True
Let j be -2 - 4*43/(-102). Let a = j + -1/51. Are a and -2 nonequal?
True
Let d = 23/24 + -991/984. Suppose 0 = o + 4*o - 25. Suppose 2*b + 4 = -3*u - 2*b, o = 4*u - 5*b. Which is bigger: u or d?
u
Let k be 4*(6/(-8))/1. Let d(i) = -2*i - 15. Let l be d(-6). Does k = l?
True
Suppose -r = -0*r + 2. Let x be r/11 + (-4)/(-22). Is x smaller than -1/3?
False
Let n be ((-1650)/9)/5 + (-5)/15. Is n equal to -35?
False
Suppose -3*j - y - 4 = 0, -y = -j + 3*j + 1. Suppose 4*b - 2 + 10 = 0. Let r = 0 + b. Which is greater: r or j?
r
Let c = -13 - -18. Let y = c - 4.8. Which is smaller: y or 2/11?
2/11
Let p = -56/123 - 1840/41. Let u = 47 + -2. Let c = u + p. Is c at least as big as 0?
False
Let s(d) be the second derivative of -d**5/20 + d**4/12 - d**3/6 + d**2/2 + 3*d. Let z be s(1). Which is bigger: z or -2?
z
Let n = -85 - -58. Which is smaller: -29 or n?
-29
Let j = 0.12 - -4.88. Let q = j - 5.5. Let w = 0.5 + q. Which is smaller: 1/4 or w?
w
Let f(v) = -5 + 5 - 8 + 4*v - 3*v. Let a be f(7). Do a and -3 have the same value?
False
Suppose -y + 3*v + 20 = 0, -2*y + 0*y + 3*v = -34. Let r = y + -9. Let z(k) = -k**3 - 5*k**2 + 7*k + 11. Let s be z(-6). Is r at least as big as s?
True
Let p(x) = -x + 13. Let h be p(13). Is h at most as big as -0.2?
False
Let d = 20.983 + 0.017. Let q = 17 - d. Which is smaller: 0 or q?
q
Suppose 0*h - 2*h = 0. Which is bigger: 0.03 or h?
0.03
Suppose 8 = -4*y + 5*c - c, -2*y = c - 11. Let p(v) = v**2 + 3*v - 2. Let s be p(1). Are s and y non-equal?
True
Let g be (2/(-4))/((-5)/(-10)). Are -2/33 and g nonequal?
True
Let u = -6 + 15. Let t be u/(-6) - 27/(-30). Is t smaller than -2?
False
Let p(u) = 6*u**3 - 14*u**2 + 12*u + 16. Let m(v) = -7*v**3 + 14*v**2 - 12*v - 17. Let z(j) = -5*m(j) - 6*p(j). Let w be z(13). Is 2 != w?
False
Let y(k) = 5*k**2. Let p be y(-2). Suppose -a - p = -4*s, -3*s - 3*a - 4 = -s. Is 3 not equal to s?
True
Let d = 2228/7 + -319. Which is smaller: d or -2?
-2
Let g = 21 + -30.5. Let m = g + 3. Let h = -6 - m. Is 2/7 less than or equal to h?
True
Let i be -2 - (-2 - (1 - -15)). Let f be (-44)/i - 2/8. Let x = -2 + 2. Is f greater than or equal to x?
False
Let a = 0.11 - -0.79. Let d = a - 1. Is d greater than -2/15?
True
Let s = 1.35 + -0.35. Are 22 and s nonequal?
True
Suppose 0 = -2*s - 4*w + 8, 2*s + w + 4 = 3*s. Let n be (1 - 0)/((-1)/(-1)). Which is greater: n or s?
s
Let k = -5 + 3. Let q be 2/21 + k/3. Let u = 162 - 162. Is u >= q?
True
Let s(i) = -i**3 + 2*i**2 - i. Let z = -2 + 3. Let o be s(z). Let h = 44/5 + -9. Is o less than h?
False
Let z be (1 + -5*1)/(20 - 22). Which is greater: z or 0.05?
z
Let k = 1 - 1. Let s = k - 0. Are 2/3 and s unequal?
True
Let b = 1576473/130795 - 2279/185. Let z = b + -2/101. Is 0 bigger than z?
True
Let j be (0 + -3)*(-180)/162. Which is smaller: 3 or j?
3
Let u(h) be the second derivative of -h**5/20 - h**4/2 + h**3/3 + 9*h**2/2 + 3*h. Let j be u(-6). Is j less than -2?
True
Suppose 3*l - 2*m + 0 = -6, -3*l - 6 = -5*m. Let t be 7/28 + (-17)/20. Which is smaller: t or l?
l
Suppose -71 = 2*c + 3*t, -2*c - 4*t = -3*c - 30. Which is bigger: c or 1?
1
Let y be (-8)/((0 + -2)*42/12). Let o be 1*-2*-1 - 1. Is o greater than or equal to y?
False
Let t(g) = -2*g + 2. Let m be t(1). Is m greater than 2/75?
False
Let v be 2*(3 + 74/(-4)). Let f = 59/2 + v. Is f smaller than -2?
False
Let t = -39.99 + 40. Let m = 0.1 + 0. Which is bigger: t or m?
m
Let g(u) = u**2 - 15*u + 24. Let s be g(15). Which is smaller: s or 26?
s
Let a = 16.25 - 16. Let g = a - 0.25. Which is smaller: g or -4/13?
-4/13
Suppose -3*c - 2*o + 5 = 2*c, 31 = 2*c - 5*o. Let i = c - 2. Let g be -2 + -2 + 2 + i. Do -1 and g have the same value?
True
Let f = -122 - -53. Do f and -69 have the same value?
True
Let d = 2107/6 - 350. Is d greater than 1?
True
Suppose 0*w = 3*w - 24. Suppose -w*f + 3*f + 11 = 3*v, 2*f + 4*v = 10. Let d = 628/5 - 125. Which is smaller: f or d?
d
Let z = 421283/177118 - 17/3002. Let b = -27373/2065 - z. Let w = b - -81/5. Is 2 at least w?
True
Suppose z + 4*n - 51 = 0, -5*z = -n - 3*n - 183. Suppose -4*c = -2*c - 2, 3*c - z = -3*d. Let l be (-2)/4*d/(-2). Is 2 >= l?
False
Let r be -2 - 5/((-15)/6). Which is greater: r or 2/5?
2/5
Let w = -27 - -30. Do 1 and w have the same value?
False
Let h = -0.13 - 0.27. Let j = h + -0.6. Which is greater: j or 0?
0
Suppose 4*j - 3*x + 4 = -2*x, 20 = -4*j + 5*x. Is j equal to -2/11?
False
Let p = -38 - -38.003. Is p at most 0?
False
Let l be (-275)/18 - (-2)/(-9). Suppose 0 = -0*m + 7*m - 112. Let b = l + m. Is b at least -0.1?
True
Let t(i) = -2*i**2 + 11*i - 11. Let a be t(6). Which is bigger: a or -18?
a
Let a(n) = n**2 - 10*n + 10. Let u be a(7). Let r = u + 15. Let q(f) = 2*f 