1?
-91
Let z = 9.8875 - -0.2025. Let u = -0.386 - -10.386. Let o = z - u. Which is smaller: -1 or o?
-1
Let n = -924 - -914. Let v = -0.004 - 10.196. Let d = n - v. Is 2/5 at least d?
True
Suppose -2*y - 4*y + 18 = 0. Let v be y*63*10/15. Suppose 11*r - 17 = v. Which is smaller: 10 or r?
10
Let d(c) be the third derivative of -c**6/120 + c**5/30 + 19*c**4/24 + 65*c**3/6 - 27*c**2. Let s be d(-4). Which is smaller: 83 or s?
83
Let u = -63834 - -44572. Which is smaller: u or -0.1?
u
Let j = -0.71 - 45.29. Let q = 5083.3 + -5129. Let i = j - q. Is -5 less than or equal to i?
True
Suppose 184 + 1220 = -4*j + 40*j. Does 0.2 = j?
False
Let x = -1655 + 1543. Is -90 greater than x?
True
Let t(p) = -p - 9. Let d be t(-9). Suppose -2*i + 4*i - 28 = d. Let c = -5010 + 5024. Is i smaller than c?
False
Let q be 1252/9156 + (-54)/378. Is -1 < q?
True
Let h be (-1)/(-14) - (-204)/(-2856). Is 81/56 not equal to h?
True
Suppose 40*j - 4 = 39*j. Suppose a = -a + j. Suppose 4*r = 4*b + 12, -a*r - 2*b - 6 = -r. Which is greater: r or 3/19?
3/19
Suppose -5*f - 2*n - 546 = 0, -71*n = -2*f - 68*n - 226. Is 0.33 at least f?
True
Let v = -5176 + 20703/4. Which is bigger: -17.76 or v?
v
Let q = 13633 + -31721. Which is smaller: q or -18089?
-18089
Suppose -4*i = 5*x - 0*x - 52, -4*i + 16 = -4*x. Let o(l) = -l**3 + 8*l**2 - 27*l + 26. Let m be o(i). Which is bigger: m or -189?
-189
Let i(p) = p**3 - p**2 - 5*p + 3. Let x be i(3). Let d(w) = -w**2 + 19*w - 15. Let q be d(18). Suppose 3*k + q*c - 31 = -2*k, 0 = 2*k - 5*c. Are k and x equal?
False
Let h(y) = -y**3 + 4*y**2 + 12*y + 6. Let d be h(6). Suppose 32 = d*k + 2. Suppose -2 = k*i + 3. Is i less than -5/9?
True
Let s = -1046 + 503. Let r = s - -9234/17. Which is smaller: -1 or r?
-1
Let o be (-10425)/12294 + (-95)/(-114). Which is bigger: -3 or o?
o
Let n(j) = j**3 - 76*j**2 - 10*j. Let g be n(0). Let c = -11 + 6. Which is smaller: g or c?
c
Suppose 6*x + 3*x = -0*x. Suppose 3*o - 5*o + 3*o = x. Let y = 17 - 13. Which is bigger: o or y?
y
Let z be (9 + (-422)/36 + 3)/(260/12). Which is greater: z or -24?
z
Let l be -554*(-2 - (1255/(-315) - -2)). Let q = l - 88/7. Which is greater: q or -4?
q
Let x = 112 - 115. Let f be x + (6 - 270/93). Is 0 bigger than f?
False
Suppose 35*a - 8*a - 49113 = 0. Which is smaller: a or 1820?
a
Let p = -135 + 137. Suppose -379 = 3*d + 2*g, -p*d + 3*g = 7*g + 242. Are -130 and d equal?
False
Let a be (-38338440)/(-11501910) + 10/(-3). Is 0 >= a?
True
Let d = 25109/54 - 465. Let o be -3 + 6/15 + 78/30. Which is greater: d or o?
o
Let k = 240 - 236. Suppose -3*q + 0*q + 17 = -4*z, -2*q + 2*z + 10 = 0. Suppose k*j + 22 = 3*o + 3, 5*o - 17 = q*j. Is o at most -12?
False
Suppose -17 = g - 4*s - 6, 4*g + 3*s = -6. Let x be 30/(-20)*-2*(-2)/g. Suppose 14 = -x*o - 0. Is o at least -7?
True
Let y be -82 + 58 - 28/(-7). Which is smaller: -17 or y?
y
Let v = 31373 - 94123/3. Is 75 bigger than v?
True
Let p = -122.2 + 113. Let o = 9.2 + p. Which is smaller: o or -3/11?
-3/11
Let r(h) = -h**3 - 13*h**2 + 7*h + 69. Let w be r(-13). Let u = -66 + 91. Suppose 0 = 28*z - u*z + 63. Is z less than w?
False
Let u be (-684)/1725 + (-6)/(-15). Let g = -8629/1150 + u. Let q = -26/3 - g. Which is smaller: q or -2?
-2
Suppose 3*l = -2*q + 6410 + 61, -4*l + 8668 = -4*q. Which is smaller: l or 2163?
l
Suppose 22*q + 128 = -133*q + 27*q. Let m be ((-2)/4)/(3 + 89). Which is smaller: m or q?
q
Suppose 112943 = 69*y - 96955. Which is smaller: 3038 or y?
3038
Let p be (78/4)/((-6)/12). Let n = -41 - p. Let l be (0 - n)*(-4 + 0). Is l at least -6?
False
Let x = -0.022 - 0.392. Let t = x + 2.414. Let c = -0.45 - -0.05. Which is smaller: t or c?
c
Let b = 10.42 + -8.392. Let i = b + -0.078. Which is smaller: -1/2 or i?
-1/2
Suppose 0 = -4*a - 4, 0 = -4*p + 2*a - a - 31. Let t be (-6*p/60)/(40/700). Is 89/6 at least t?
True
Suppose 0 = -q, -5010 = -36*p + 33*p + 6*q. Is 1671 greater than p?
True
Let k be 5/(-18) + (-4)/18. Let z = 30/11 - 109/44. Let v = k + z. Is v at least as big as -2/15?
False
Let c be (-4)/(-45)*-3*2. Let p(m) = 43*m**2 - 381*m - 54. Let k be p(9). Is c at least k?
False
Let j(l) = 33*l**3 - 15*l**2 + 8*l - 2. Let c be j(2). Is c smaller than 221?
True
Let o = -112 - -115. Suppose -4*l = 2*h - 6, 16*l - 15*l = h - o. Do l and -2/2893 have the same value?
False
Let p = -5013/638 - 3/58. Do p and -7 have different values?
True
Let q be (3/(-6)*-6)/(609/13195). Does q = 16?
False
Let j(m) = -2*m**2 - 91*m - 758. Let g be j(-11). Which is greater: 2/23003 or g?
g
Let j = -112.92 - -128.92. Does -0.11 = j?
False
Let i = 38 - 68. Let c be (-18)/i - 7731/1685 - -4. Is 1 less than c?
False
Let d be (-268278)/19334 + 14 + 1/(-7)*1. Which is bigger: 1 or d?
1
Let k(g) = -g**2 + 99*g + 325. Let v be k(53). Suppose 23*i + v = 624. Are i and -93 nonequal?
False
Suppose 27 = -57*z - 25 - 5. Let f(n) = -373*n. Let l be f(-1). Let a be (-4)/(-8) + l/(-754). Is z less than or equal to a?
True
Let r be 22*(10/(-3) - 4/6). Are -0.082 and r equal?
False
Let r(j) = -j**2 + 29*j - 22. Let m be r(13). Let i = 295 - m. Which is smaller: i or 0?
0
Let v(g) = -106*g**2 + g. Let q be v(1). Let f = -79 - q. Let n be (-3 + 13)/((-4)/f). Is -65 not equal to n?
False
Let b(c) = -c**2 - 23*c - 78. Let a be b(-21). Let f be 18/a*(9/3 + 27). Does f = 6?
False
Let u(g) = -2*g - 6. Let p be u(-3). Suppose -12 = -4*w - p. Suppose -4*t = -16, -w*q + 5*t - 120 = q. Which is smaller: q or -26?
-26
Let k = -287 + 287. Let r = 1568/13 - 887501/7358. Which is greater: r or k?
k
Let r = -6562 + 3664. Let v be (-428)/r + (-9 - -2)/49. Are 1 and v equal?
False
Let z be 20 - 9 - 55/5. Which is smaller: 9/524 or z?
z
Let g be (-1)/5 - -4*1688/3680. Which is bigger: g or 2?
2
Let o be ((15/(-30))/((-10)/(-20)))/(-1). Let y = -275 - -29. Does o = y?
False
Let q = -7927 - -7927. Which is greater: q or 5023?
5023
Let u(w) = 9*w - 62. Let p be u(8). Let b be (-1 - 62/p) + (-63)/(-315). Let f(s) = -s**2 + 3*s - 1. Let r be f(5). Which is bigger: r or b?
b
Suppose -100*u + 233878 + 199722 = 0. Is 4339 equal to u?
False
Let c(w) = -4*w - 7. Let t be c(-3). Suppose -4*k = -t*k - 46. Which is greater: k or -44?
-44
Let j be (24/(-100))/(6/10) - (-98)/(-5). Which is smaller: -131 or j?
-131
Suppose -12*g = 14*g - 41*g + 1545. Which is smaller: g or 115?
g
Let v = 23031.003 + -23018. Let c = 13 - v. Is 1 bigger than c?
True
Let a = 8693.9802 - 8694. Is -1.4 != a?
True
Suppose 5*q - 22 = 28. Suppose q*v + 6*v - 16 = 0. Is -4/9 <= v?
True
Suppose 0 = -16*d + 4*d - 360. Let x = 36 + d. Suppose -x = -4*r - 2*r. Which is greater: r or 19?
19
Let p = -4740.246 + 21.246. Which is greater: -1 or p?
-1
Suppose -4160 = 55*b - 87*b. Is b at most 102?
False
Let o(z) = 2*z - 25 - z + 14. Let b be o(11). Does b = -3/140?
False
Suppose 4*h - 3*r + 0*r = 3, -2*h - 6 = -4*r. Suppose -o - 4*q = -10, -o + 4 = -h*q + 8. Let x be (16 - 15)*102/o. Which is smaller: 52 or x?
x
Let n = -31588 - -33390. Which is smaller: n or 1799?
1799
Let o be -4 + 4 + 4 + -17 + 13. Is -4/4661 less than or equal to o?
True
Suppose -2*f + 9 + 158 = c, 0 = -2*c + 2*f + 322. Which is bigger: c or -11?
c
Suppose 7*x = 2*x + 35. Let u be 0/((-20 + 22)*6/(-4)). Which is greater: u or x?
x
Let a be (-1 + 0)/(((-40)/(-845))/8). Let b = a - -168. Is b < -17/20?
True
Let s = 1.5 - 1.412. Let x = s - 0.188. Which is smaller: x or 1.8?
x
Let j(v) = 3*v + 8. Let k be j(-8). Let z = k + 19. Suppose 3*o - 2*o - z = 0. Is o >= 4?
False
Let w(c) = -87*c**2 - 689*c + 13. Let u be w(-8). Is u less than -515/12?
True
Suppose 82*n + 1727 = -2*z + 87*n, 2678 = -3*z - 5*n. Which is greater: -9678/11 or z?
-9678/11
Let d be -56*14/(-336)*122. Is d greater than 284?
True
Let o be (760/48)/(((-1)/(-7))/((-106)/371)). Is -8 greater than or equal to o?
True
Let m(l) = 36*l - 27. Let f(x) = 18*x - 14. Let v(h) = 5*f(h) - 3*m(h). Let k be v(3). Is -44 bigger than k?
False
Suppose 25171 = -6*a + 27*a - 562220. Are 27972 and a nonequal?
True
Suppose 5*v + 6*v - 121 = 0. Suppose -9*c - v*c = 20. Which is smaller: c or -2/433?
c
Let c(a) = 7*a**2 - 9*a - 56. Let b(f) = -20*f**2 + 26*f + 169. Let s(w) = 6*b(w) + 17*c(w). Let n be s(-6). Is n <= 33/5?
False
Let p = 207 - 206. Do p and -3/59 have different values?
True
Let h be 