 or 3?
3
Let r be ((-2)/3)/(14/(-945)). Let g = 181/4 - r. Is g at least as big as 5/7?
False
Let u be ((-56)/(-16) - 2)*8/(-6). Let j be u*74/4 + 2 + -4. Is j < -39?
False
Let x(z) = 5*z**2 - 11*z - 16. Let t be x(-1). Let k(f) = 8*f**3 - f**2 + f + 1. Let a be k(-1). Are t and a unequal?
True
Let n = -31/13 - -739/299. Which is smaller: -1 or n?
-1
Let g = 6487 + -19463/3. Let t = -1.6 + 8.6. Do g and t have different values?
True
Let o be (3448/(-216))/((-8)/(-6)). Let p = o - -146/9. Which is smaller: p or 4?
4
Let i(u) = u**3 + 5*u**2 + 7*u + 6. Let y be i(-5). Are y and -139/5 nonequal?
True
Let w(j) = -j**3 + 30. Let p be w(0). Let u be 220/7 - -10*(-27)/630. Which is smaller: p or u?
p
Let k(o) = 4*o**3 - 12*o**2 + o + 1. Let t(x) = x**3 - x**2 - 1. Let q(b) = -k(b) + 5*t(b). Let p be q(-7). Let v be p + 2 + 2 + -1. Which is smaller: v or 3?
3
Let h(s) = s**2 + 8*s + 8. Let f be h(-5). Let w(m) = -m**2 - 8*m - 7. Let x be w(f). Suppose -4*u = -4, -13 = -5*a - x*u + 2*u. Is 3 <= a?
True
Let o = 6 - 2. Let y be (o/152*-4)/(-2). Is -2/5 > y?
False
Let y be (-45)/(-10)*(-20)/(-6). Suppose p + 3*m + 74 = -17, 3*m + y = 0. Which is greater: -77 or p?
p
Let b(r) = -3*r**2 - r + 1. Let f be b(-3). Let g = -13 - f. Suppose 0 = 5*d - g, o - 24 = 5*o - 2*d. Is -3 equal to o?
False
Let i = 0.014 - 8.214. Let f = 7.4 + i. Let d be (-2)/(-1*4) - 0. Which is greater: f or d?
d
Let g = 26.14 + -4.24. Let w = 23 - g. Let z = -2.1 + w. Which is smaller: z or -1/2?
z
Let x = -7 - 8. Let c be (-4)/10 - (-24)/x. Which is bigger: c or -5/2?
c
Suppose 0 = 5*d - 2*d + 2*q + 5, 3 = 2*d - 5*q. Let i(j) = -j + 1. Let s be i(d). Let x be (-3)/(-6)*s*-1. Which is greater: -2 or x?
x
Let j(m) = -2*m - 19. Let t be j(-11). Suppose -2*z - d - 2 = t*d, -14 = -2*z + 4*d. Which is greater: z or 42/13?
42/13
Let w = -4.97 - -5. Let v = 246.04 + -246. Is v at most w?
False
Suppose i + 0*i - 223 = 4*d, -d = i + 52. Let a = d - -46. Is -9 at least as big as a?
True
Let n = 2.861 - 631.861. Which is greater: n or -2?
-2
Let m be -9 - 201/(-21) - 472/(-7). Is m smaller than 68?
False
Let j = -259 - -258. Is j < -80?
False
Suppose f + 5*f + 18 = 0. Let g be f/((-39)/14 + 3). Is g < -13?
True
Suppose -t + 3*p + 6 = 0, -4*t - 2*p = t + 55. Which is smaller: t or -11?
-11
Let n be ((-4 + -3)/7)/(6/(-4)). Let s be -1 + (-1 + 2 - -1). Which is smaller: s or n?
n
Suppose -25 = k + 4*k. Let u = 4 + k. Let t = 2/39 + -92/273. Which is smaller: u or t?
u
Let p = 1548 + -1217. Is 329 greater than or equal to p?
False
Let w be -4 + ((-16)/(-10))/((-32)/(-80)). Which is smaller: -2/55 or w?
-2/55
Let u be ((-4)/(-8))/((-6585)/(-90)). Are u and -1 unequal?
True
Let h = -8 - -10. Suppose -h*q + f + 73 + 18 = 0, -3*f = 5*q - 244. Let m = q + -421/9. Which is smaller: m or 2?
m
Let a = 21 + -19. Suppose 0*g - a*g - 12 = 2*h, -4*g - 4 = 2*h. Which is smaller: -11 or h?
-11
Let o = -15.82 + 16. Let l = 33 + -33.18. Let p = o + l. Is p < 0.4?
True
Let v = 75.7 - 62. Let z = -0.7 + v. Let y = 12.5 - z. Which is smaller: y or 0.2?
y
Suppose 9312 = 19*z + 40. Is 2/9 at least z?
False
Let d = 83 + -81.98. Let z = 1 - d. Let b = 49/3 + -17. Is z equal to b?
False
Let z be ((-52)/(-4862))/(4/11). Is 0 >= z?
False
Let x be ((-2)/4)/(1/2). Suppose 0 = 4*n - 8, 5*p + 4*n + 14 = 2. Let a be p - (200/(-28) + 3). Which is smaller: x or a?
x
Let p(b) = -b**3 + 8*b**2 - 8*b + 7. Let q be p(7). Let c be 36/10 + 8/20. Suppose q = c*g + 3 + 13. Do g and -3 have different values?
True
Let o(g) = 4*g**3 - 3*g**2 + 2*g. Let q be o(2). Let c = q + -8. Suppose 3*t + c = -t. Which is greater: t or 1?
1
Let h = -1358.9 - -1359. Let a = 15 + -11. Which is smaller: h or a?
h
Let t be 38/(-9) - 6/(-27). Let i be t - 4/((-56)/38). Let g = 7 - 9. Is i at most g?
False
Let l be 3/5 + 3939/(-5). Let f = l - -784. Is f greater than or equal to -3?
False
Suppose 2*b + 5*x = -204 - 355, 0 = 5*b + 2*x + 1345. Let a = b - -1609/6. Let z = -162 - -161.9. Which is bigger: z or a?
a
Suppose 9*x = 6*x. Let a(h) = h**3 + 7*h**2. Let g be a(-7). Suppose x*i + 13 = u + 3*i, 2*u + 3*i - 20 = g. Is u not equal to 2?
True
Suppose -v - 2*s = -3*v + 34, -73 = -5*v - s. Let c be v/75*5/2. Is c > 0?
True
Let m = -26/23 - -913/828. Let r = -13 + 14. Is m smaller than r?
True
Let z = -80.17 - -81. Let n = z - 0.63. Is -2.9 greater than n?
False
Suppose -5*p - h - 7 = 2*h, 5*p = 2*h - 12. Suppose 0 = 4*n + 3 - 11. Let w be (-5)/(5/2) - n. Which is bigger: w or p?
p
Let p(t) = -t**2 - 5*t + 4. Let u be p(-5). Let v be (-20)/4*u/5. Let g = 6 - 9. Is v bigger than g?
False
Let l(a) = -a**3 - 3*a**2 - 25*a - 47. Let r be l(-2). Is r != -2/963?
True
Let f = 193/2 - 99. Suppose -3*i = -5*i + 4. Suppose 0*s + 4*s + i*b = -24, -2*s - 4 = -b. Are s and f nonequal?
True
Let d = 0.92 + 0.96. Let g = 0.12 + d. Which is smaller: 0 or g?
0
Let x = -3.652 - -3.6. Let j = 0.048 - x. Is j less than -18?
False
Suppose -4*a - 12 = -8*a, 2*a + 2 = -4*d. Let b(k) = -k**2 - 3*k - 1. Let c(r) = r + 1. Let s be c(-4). Let q be b(s). Is q less than d?
False
Let j = -26831/5 + 5391. Which is bigger: 0.2 or j?
j
Let i(p) = -5*p + 7. Let t be i(3). Suppose -4*z + 4 = -0*z, 5*a + 5*z - 50 = 0. Let o = t + a. Which is greater: 2 or o?
2
Let i = 5/886 - 32041/25694. Is i greater than 0?
False
Let y(m) = m**3 - 8*m**2 - 16*m + 9. Let l be y(8). Is l < -119?
False
Let o be (-12)/18 + 11/3. Suppose 3*m + 7 = -5, -o*m = -2*q - 36. Is q less than -23?
True
Let w = -33.177 - -0.177. Is -0.2 <= w?
False
Suppose 0 = 21*x - 16*x - 10, -4*h + 3*x - 2 = 0. Which is greater: h or -1/128?
h
Let a(l) = l**2 - 17*l - 82. Let x be a(-4). Which is smaller: x or 1/5?
1/5
Let j = 385 + -15013/39. Let t = 8/13 + j. Are 3 and t nonequal?
True
Let z = -170.9 - -171.9. Is -62.9 equal to z?
False
Suppose k - 5*k = 0. Suppose 3*l + 4*g - 34 = 0, k = 2*l - 2*g + 5*g - 23. Let i be 6/10 + (-11)/l. Is -2/9 greater than i?
True
Let l = -6 + 25/3. Let d(m) = 4*m - 47. Let r be d(15). Suppose -10*a + r = 3. Which is smaller: l or a?
a
Let f = -49/54 + 2/27. Suppose 0 = 3*k - z + 5*z + 10, 2*z = 5*k + 8. Which is smaller: k or f?
k
Let f = -69.89 + 70. Which is smaller: -0.1 or f?
-0.1
Let q = 0.13 - 0.22. Let f = -2.6 - -2.4. Let a = 0.8 - f. Which is smaller: a or q?
q
Let z = 340 - 339.962. Which is smaller: z or 1/3?
z
Let y be (-820)/590 + 8*4/16. Which is smaller: 0 or y?
0
Let o(x) = -x**3 - 7*x**2 + 2*x + 17. Let m be o(-7). Suppose 0*w - m*w = -3. Which is greater: w or -1/5?
w
Let v be (9/(-9))/((-1)/(-2)). Let k be (v + -1)/((-25)/(-30)). Is -4 at most k?
True
Let c(u) = -2*u**2 - 28*u - 65. Let h be c(-11). Which is smaller: h or -7/82?
-7/82
Let a be (-2*1)/(-4)*12/3. Let z be a*(87/6)/1. Which is smaller: z or 28?
28
Let b(s) be the third derivative of -s**5/60 + s**4/4 - s**3 - 11*s**2. Let u be b(4). Is 5/7 smaller than u?
True
Let r(g) = -g**3 + 4*g**2 - 3*g. Let n be r(3). Let f = 1/2485 + 5463/9940. Let l = -59/100 + f. Are l and n equal?
False
Let j = -720 + 753. Which is greater: j or 34?
34
Suppose 3*j = 2*o + 141, 2*o + 69 + 75 = 2*j. Let y = 25 + o. Let h be 8/28 - y/(-28). Which is bigger: h or -2?
h
Let p = 271 + -258. Which is bigger: p or 11?
p
Suppose 28*c - 22*c + 54 = 0. Is -23 less than or equal to c?
True
Let w = 28962/11 + -29256/11. Let m = 1055/44 + w. Which is smaller: m or -4?
-4
Let m be -151 - (3*1 - (-92)/(-23)). Do -149 and m have the same value?
False
Let f(n) = 7*n**3 + 4*n**2 - 8*n - 3*n**2 + 7*n. Let t be f(1). Let z = -311 - -319. Which is greater: z or t?
z
Let x(a) = 3*a - 93. Let q be x(21). Is q at most as big as 2?
True
Let i(m) = m**3 + 6*m**2 - 10*m - 25. Let n be i(-7). Suppose -5*x + 8 + 7 = 0. Suppose -2*o = x*o + 30. Is n at least o?
True
Let w be -6 + (-144)/(-27) - 7/6. Which is bigger: w or -3?
w
Let c = -23 + 24. Let z be -3 + 3 - (c - -5). Let x be ((-9)/z)/((-15)/(-20)). Is x less than or equal to 1?
False
Let a = -71 + 29. Let b = 28 + a. Let s = -12 - b. Which is bigger: 0.2 or s?
s
Let p = -17.5 - -6.5. Let v = 19.97 + 0.03. Let l = p + v. Is 0 greater than or equal to l?
False
Let u = 18 + -12. Suppose 5*p - u*s = -4*s - 3, 3*p = s - 1. Is p less than -2/7?
False
Let j = -90 - -149. Let m = 63 - j. Does 2 = m?
False
Let s = 18 - 24. Let 