 is greater: 0 or v?
v
Suppose -2*u + 19 = -2*o + 71, -o - 5*u = 4. Let b be (o/15 + -4)/(3/(-18)). Which is bigger: b or 17?
17
Let i be (-21)/(-5) + 2/(-10). Suppose -3*n + 5*z = 5, n - 13 = -4*n + 3*z. Suppose 0*x - n*x + 4 = -i*r, -3*x - 1 = r. Are -2 and r nonequal?
True
Suppose -4311*r = -4339*r - 812. Suppose 0 = -2*k - 2*k - 112. Is k <= r?
False
Suppose -k = 0, -2*d + 33 = d - 2*k. Let z be (-5)/(15/(-6))*-4. Let l = 20 + z. Which is smaller: l or d?
d
Let u(l) = -l**3 + 2*l**2 + 49*l - 4. Let q be u(8). Which is greater: 10 or q?
10
Let j = -5 - 0. Let x = j - -7. Let v = -17 - -71/4. Is x bigger than v?
True
Let y be 15/(-35) - (-24)/7. Suppose 18*h - 17*h - 1 = 0. Suppose 5*v + 4*o = 8, 0 = -y*v - 4*o + 9 - h. Is v not equal to 6/17?
True
Let x be -1*(-7 - -6) - (-11)/(-9). Let l be (-10)/(-4)*6/15. Which is smaller: l or x?
x
Let d be (4/(-6))/((-2)/9). Let g be (0 + d)*(3 + 134/(-54)). Is 1 less than g?
True
Suppose -5*w + 17 = -8. Suppose -w*s = -6*u + 3*u + 1, s - 39 = -5*u. Which is smaller: 5 or u?
5
Let s = -119/36 + 50/9. Is 1 less than or equal to s?
True
Let f be 1 - 92/32 - 0. Let t = 53/24 + f. Let o = 134/3 + -45. Which is smaller: t or o?
o
Let g be 4/(-10)*35/(-14). Is -1/14 equal to g?
False
Let w(x) = x**3 - 11*x**2 + 23*x - 129. Let u be w(10). Which is bigger: 2/463 or u?
u
Let a be (18 + -19)/((-384)/(-394) - 1). Which is smaller: 38 or a?
38
Suppose 3*b = -4*q + 10 + 7, -5*q + 26 = -b. Suppose -q*k - 9*k = 14. Is k bigger than 3/32?
False
Let t be ((-40)/(-50))/(4/50). Let n = t + -6. Let h = n - 2. Which is bigger: 4 or h?
4
Let l = -0.116 + -0.684. Is -5 at least l?
False
Let d be (-2)/14 + 3/21. Which is bigger: 2/345 or d?
2/345
Let i(n) = -n**2 + 6*n - 5. Let z be i(4). Suppose 4*m + 4*c + 12 = 4, m - z*c = -10. Let u be 2/m*(21 + -3). Is u greater than -8?
False
Suppose -5*m - n = -4*n - 3, 0 = -2*m - 3*n + 18. Let l(g) = -7*g + 20. Let h be l(m). Let c = -2257/41 + 55. Does h = c?
False
Let x be 5/30 - (-46)/12. Suppose -x*l = -j, l - 3*l + 2*j = 0. Suppose 2*p + 1 = -3*v + p, 3*p - 15 = l. Is -3 less than v?
True
Let i = -9.42 - -0.22. Let f = 1.8 - i. Let j = f - 11.02. Which is greater: 1 or j?
1
Let a = -22 + 17. Let c be 9/(27/(-6)) - a. Suppose -3*i - c*v - 3 = 0, 4*i - v = 6*i + 4. Which is smaller: 0 or i?
i
Let p = -2.3 - -2.4. Let w = -2.1 + p. Which is smaller: w or 3?
w
Let n = -1144 + 1078. Which is bigger: n or -65?
-65
Suppose -36*s + 92 = 20. Let v(h) = -7*h + 4. Let g(c) = 15*c - 8. Let k(j) = 6*g(j) + 13*v(j). Let w be k(s). Is 3/4 <= w?
True
Let s = 74 - 76. Suppose 4*c = -5*m - 1, 3*c + 5*m - 3*m - 1 = 0. Is c at most s?
False
Let n(d) = 4*d**2 - 2*d + 1. Let v be n(1). Let s = 12 + -34. Let k = s + 18. Which is greater: v or k?
v
Suppose p = 2*l + 553, 3*p + 6*l - 5*l = 1645. Which is greater: p or -0.2?
p
Let s be 6/(-4)*8/(-3). Suppose 3*u - s*i = -50, 3*u + 5*i = 32 - 118. Let m = u + 23. Is m > 4?
False
Suppose 32 = -g + 5*m, -3*g = -2*g - 2*m + 26. Is g > -20?
False
Let q = 478 - 479. Is q >= 1/169?
False
Suppose -2*g + 5*t + 8 = 0, -t + 7 = -g - 4*t. Which is bigger: g or 1/73?
1/73
Let s = -6.2 + 5. Let d be ((-2)/8)/((39/(-12))/(-13)). Is d at least as big as s?
True
Let s = 2606/5 + -519. Which is smaller: s or 1?
1
Let l be -13*(451/66 - 7). Suppose -1 = -5*a + 19. Suppose 2*p = 5*z - z - 10, 1 = -5*p + a*z. Which is smaller: p or l?
l
Let l = 0.323 - 33.323. Which is smaller: l or 2?
l
Let m be (-3)/9 + (-2)/30. Let v(k) = k**2 + 6*k + 3. Let l be v(-7). Suppose 0 = -l*g + 5*g - 5. Is m bigger than g?
True
Let y be 12/18*-2*(-2)/56. Which is bigger: y or 5?
5
Let x(l) = 4*l + 14. Let q = -25 - -17. Let n be x(q). Let f = -19 - n. Is 1/22 greater than f?
True
Let a = 1099/3 + -360. Let u = -98/15 + a. Let z = 0.01055 - -2.98945. Which is greater: u or z?
z
Let i be ((-24)/(-60))/((-1 - -2)/(-5)). Let z be (-3)/(-18) - i/(-3). Which is smaller: z or -2.4?
-2.4
Let j be -1 + -9 + 24/12. Let t(z) = z**2 + 6*z - 2. Let l be t(j). Let r = l + -15. Which is greater: r or 5?
5
Let m(n) = -n**3 + 10*n**2 + 15*n - 41. Let s be m(11). Which is smaller: s or 28?
s
Suppose 0 = a + 3*a - 8. Suppose -2*p = -3*p + 2*w - 2, -a*w - 2 = p. Is p less than -16/9?
True
Suppose -2*d + 3 = c, -3*c + d = 10 + 2. Are c and 4.6 nonequal?
True
Suppose -2*d - 26 = -3*f, 0 = -f + 3*f - 4*d - 4. Which is greater: 40 or f?
40
Suppose 2*d = -2*u + 124, 0 = -u + d - 29 + 97. Is u < 65?
False
Let b = -31 + -20. Let v be (-3 - -3) + 9/b. Which is bigger: v or 0?
0
Suppose -120*t = -123*t - 21. Let d be ((-8)/12)/(4/6). Let c be (-150)/18 + d/(-3). Is t < c?
False
Let s = -1034786 + 65193532/63. Let r = s - 262/9. Which is bigger: r or 4?
4
Let y = 2.091 + -2.281. Is y >= 8?
False
Let d = -785 - -789. Let j = -15.7 - -15. Which is smaller: d or j?
j
Let h be -2 - 5/(15/(-18)). Let l = -5 - -7. Let r be l/h - (-30)/12. Is r bigger than 3/2?
True
Suppose -2 = 20*f - 18*f. Suppose 0 = -4*d - v - 10, -4*d - 2*v = -6*d. Which is bigger: d or f?
f
Let j be (9/81)/(5/(-44867)). Let r = j - -997. Which is greater: -1 or r?
r
Suppose 2*g = -5*c + 1, 0 = 2*g - 5*c - 14 + 3. Suppose -5*t - 2*v = 4, 3*t - 10 + 4 = g*v. Let h = t + 0. Which is greater: 2/23 or h?
2/23
Let r(q) = -q**2 + 20*q - 13. Let u be r(20). Do -6 and u have the same value?
False
Let s(x) = 11*x + 91. Let c be s(-12). Which is greater: c or -121/3?
-121/3
Suppose -f + 2*m = -14, 2*f + 10 = f - 4*m. Suppose f = -2*l + 4. Let w be (l - 3)/(-3 + 1). Is 3 > w?
True
Suppose 0*j + 1872 = 8*j. Let w be 16/72 + 53*(-2)/j. Which is smaller: -1 or w?
-1
Let j = 58 + -58.33. Let c = 0.67 - j. Are c and 7 equal?
False
Let s = 1085 + -1208. Is -621/5 at most s?
True
Let w(q) = q**3 - 5*q**2 - 4*q + 7. Suppose -o + 3*o = 10. Let y be w(o). Which is bigger: 2/5 or y?
2/5
Let l(x) = 4*x + 19. Let h(z) = 12*z + 58. Let k(d) = -2*h(d) + 7*l(d). Let a be k(-5). Which is smaller: a or -2/5?
a
Let r be ((-3)/(-18))/(18/288)*117/(-6). Let f be -1 - 13*(2 - -2). Which is smaller: r or f?
f
Let j(s) = -s**2 - 5*s + 8. Let d be j(-6). Suppose -3*l - 2*y = -152, -d*l + 6 = 5*y - 77. Let t = l - 272/5. Is 0.08 greater than or equal to t?
True
Let n be -475*7/14 + 8. Is -229 greater than or equal to n?
True
Suppose 0 = n - 2*j + 8, -8 = 8*n - 4*n - 2*j. Suppose 2*z - 5*p + 25 = 0, n*p + 5 = 4*z + p. Let t be 1/((-1)/3)*33/264. Is z > t?
True
Let a = 8 + -5. Suppose -3*k - 16 = -19. Let t = 3 - k. Is t at least a?
False
Let u(f) = 6*f - 1. Let x(g) = -g. Let k(q) = -2*u(q) - 11*x(q). Suppose -2 = -0*s - s. Let h be k(s). Is h bigger than 2/7?
False
Suppose 20 = -m - 8*q + 9*q, m + 2*q + 8 = 0. Are -6 and m non-equal?
True
Suppose 1960 = 4*x - 4*k, 5*x + 4*k = k + 2482. Let a = x - 16300/33. Is a > 0?
True
Let f be (-3)/(-6*(-4)/(-32)). Let t = 340 - 1010/3. Is f <= t?
False
Let x(l) = l**3 - l**2 - 8*l + 3. Let t be x(4). Let q = t + -20. Is q != -18?
True
Let h(o) = -11 - 3 + 2*o**2 - 8*o**2 - 6*o - o**3 + 4*o. Let m be ((-14)/10 + 1)*15. Let f be h(m). Which is greater: -4 or f?
f
Let z be (237/6 + -2)*2. Let r be ((-12)/(-15))/(10/z). Let x = 10 - 21/2. Which is greater: x or r?
r
Let a = 21 - 40. Let g = -35 - -15. Is g < a?
True
Let d = -1053 + -546. Which is bigger: 0 or d?
0
Let u(s) = 5*s. Let i be u(1). Let o(f) = -f**3 + 3*f**2 + 4*f - 1. Let q be o(i). Let g = 11 + q. Is g at most as big as -19?
True
Suppose -9*w - 131 = -5. Which is bigger: -15 or w?
w
Suppose u + 3*w = -4*u - 8, -5*u = 4*w + 4. Let j(v) = -v**2 - 4*v + 2. Let f be j(u). Which is greater: 3 or f?
3
Let m = -5 + 4. Let t = 1 + m. Let c(y) = y**2 + 4*y - 13. Let b be c(-6). Are t and b nonequal?
True
Let p = 279 + -252. Which is smaller: p or 7?
7
Let i = -367901/30 + 12258. Let u = i + 31/6. Let a = 1 - 0. Which is smaller: a or u?
u
Let x = 2.6 - 0.88. Let o = x + 0.28. Is 1/19 > o?
False
Let z = 1430 - 1428. Is -1 bigger than z?
False
Suppose q + 1 = y, -4*y - 11*q = -6*q + 14. Suppose -23 = -4*o - 5*f + 81, 4*o - 3*f = 136. Let z = o + -187/6. Are z and y non-equal?
True
Let r = 3/3038 - 179/118482. Is 0 equal to r?
False
Let h = 16707/5 + -3469. Let i = h - -128. Which is smaller: i or 2/45?
2/45
Suppose 5*i = -160 + 415. Which is smaller: 52 or i?
i
Let g(h) be the second derivative of h**4/