 = 5*z + 2*n - 7*n. Let d be j(z). Let t be ((-286)/(-140) + -2)/(d/50). Is t at most as big as 1?
True
Let s be (-2)/(-3) - 22/24. Suppose -8*v + 3*v - 2*g = -2, -4*v + 3 = 3*g. Suppose 0*k + 5*k - 5 = v, -4*d - 4*k = 0. Which is bigger: s or d?
s
Let a(x) = 7*x - 47. Suppose -3*s + 5*m + 24 = 0, 9*s + 3*m = 4*s + 40. Let i be a(s). Suppose i*n - 13 = -94. Is -12 greater than n?
False
Let i = 45.73 + -45.72. Is -3/25 equal to i?
False
Let d be (-3)/(-9)*(-1 - -7) + -1089. Which is smaller: -1088 or d?
-1088
Suppose 2*w - 2*f - 258 = -f, 0 = -3*w + 3*f + 393. Is w greater than or equal to 139?
False
Let a be -7 + 3140 + 0 + (11 - 6) + -7. Is a > 3131?
False
Let l(j) = 2017*j**3 + j**2 - 15*j + 13. Let s be l(1). Which is bigger: 2017 or s?
2017
Let p(r) = r**2 - 3*r + 3. Let a be p(3). Let d = 706 - -792. Let y = d + -1497.8. Which is greater: a or y?
a
Let r be ((-134)/(-48))/(-7 - 212/(-30)). Let w be 56/6*27/(-6). Let j = w + r. Is -1 at least as big as j?
False
Let k = -44 - -66. Let d be (-36)/(-9)*k/(-8). Is d at least as big as -12?
True
Let o = -10.45 - -10.46. Is o <= -12?
False
Let c = -2080 - -72804/35. Is c less than 1/2?
True
Let h(a) = 2*a**2 + 53*a + 12. Let m(o) = -2*o**3 - 5*o**2 + 4*o + 3. Let z be m(2). Let c be h(z). Which is bigger: c or -65?
c
Let k = -6830 - -3936. Let c be (k/(-6))/(280/(-84)). Let a = c + 145. Which is greater: a or 0?
a
Let a = -0.653 + -1.447. Which is bigger: a or -5/6?
-5/6
Let h = -7095014233/16173 - -438695. Which is smaller: 1 or h?
h
Suppose 10 = -y + 3*m + 36, -2*y + 40 = -3*m. Suppose y*i - 620 = -17*i. Which is bigger: 27 or i?
27
Let h = 646432/9 - 71897. Let n = h - -71. Which is smaller: n or -2?
-2
Let a = -19020 + 18963. Is -36/5 less than or equal to a?
False
Suppose -3*g + 84 = -5*m + 125, 4*m = -g + 26. Is -150/91 smaller than g?
False
Let y(b) = -b**3 - 16*b**2 - 28*b + 3. Let s be y(-14). Let t be (-3)/1 - 33/(-10). Which is bigger: t or s?
s
Let a be 3 + -4 - -3 - 43497/(-86). Let h = -1015/2 + a. Is h < 0?
False
Suppose -4*m + 143 + 57 = 2*k, -4*k = 2*m - 376. Let f = -59 + k. Let q be (f/(-55))/((-1)/35). Which is smaller: q or -2?
-2
Suppose 2*u - 18 = -u. Suppose 14*b - u*b - 176 = 0. Suppose -3 - b = -5*p. Which is bigger: p or 9?
9
Let x = 5049/56 + -625/7. Is -5 < x?
True
Let b be 17/(-136) - (-3702)/48. Let z(p) = -p**2 + 19*p + 58. Let q be z(18). Which is smaller: q or b?
q
Let i = 1.674 + -1.574. Is 0.228 > i?
True
Let s(l) = 3*l**2 + 27*l + 47. Let z be s(-7). Suppose -7*g + 9*g = -2*w - 558, -3*g + z*w - 813 = 0. Which is smaller: g or -274?
g
Let j be (1 - (2 + -5))/((-6)/(-258)). Let k(u) = u**3 + 9*u**2 - 2*u + 10. Let n be k(-8). Let p = n - j. Is p at least -83?
True
Suppose -34*g - 10 = -39*g. Let k be (-2 - -5)/((-15)/g)*-5. Let j be 3/((30/25)/(-2 - k)). Which is smaller: j or -9?
j
Suppose 0 = -6*q + 8*q - 28. Suppose j - 2*d = 23, 7*j - d = 8*j - 23. Let l = j - q. Is 11 != l?
True
Let p be (-2)/(1590/11121) + 14. Which is bigger: p or 0.05?
0.05
Let h(y) be the second derivative of -y**5/20 + 13*y**4/6 - 9*y**3/2 + 29*y**2 + 96*y - 1. Let v be h(25). Which is bigger: 2 or v?
v
Let g = -17 - -22. Let d be (-20)/g + 4968/1244. Let q = d - 2462/4043. Which is smaller: 0 or q?
q
Let k(p) = 7*p**2 + 15*p + 5. Let w be k(-2). Let b(d) = d**2 - 17*d + 44. Let g be b(w). Let j = 2137/1144 - -1/143. Is j not equal to g?
True
Let m be -2 + 3*4/(48/28). Suppose 0 = -5*v + m*q + 5, -19 = 6*v - 10*v - q. Let l = v - -20. Which is bigger: l or 25?
25
Let c = -49 - -51. Let k = -26 - -29. Let p be k/c + (-5)/2. Is p at most -2/93?
True
Let w = -73128383/2016 + 36274. Which is bigger: 0 or w?
w
Let s be 341/(124/4)*18/11. Suppose 0 = 5*m - 0 + 10. Let j be (m - (-5)/((-5)/s)) + 4. Is j at most -15?
True
Let w = 12/1457 + 66098/112189. Let q = w + -9/14. Is -0.1 greater than q?
False
Let l = -1748 + 1749. Let p(r) = -82*r**2 - 7*r - 4. Let z be p(-4). Let x = z + 41213/32. Is l at least x?
True
Let t = -136 + 678/5. Let n = 79.995674 + -0.029674. Let r = -80 + n. Which is bigger: t or r?
r
Let u = 18 - 16. Suppose -4*i = -2*b - 562, 0 = u*i - 5*b + 7*b - 290. Is 141 <= i?
True
Let l be 8/(-36) + (-160)/252. Let o = -4.86 + 3.96. Do o and l have different values?
True
Let f = -8832 - -8831. Which is greater: -7/24 or f?
-7/24
Let y be (-66 + -5 + 71)*2/4*1. Which is bigger: y or 4679?
4679
Let h(b) = 2*b**3 + 29*b**2 + 91*b + 28. Let a be h(-4). Is a greater than or equal to -187?
True
Let a = -2154 + 2307. Which is greater: a or 129?
a
Let k(b) = 1074*b + 4295. Let q be k(-4). Which is bigger: 1/19144 or q?
1/19144
Let n be (-2 + 436/220)*(740/4272)/(-37). Which is smaller: n or -1?
-1
Let o(d) = 37*d + 244. Let t = -46 - -32. Let j be o(t). Do -274 and j have different values?
False
Let m = -0.0662 + 0.0662. Which is bigger: m or 2/199?
2/199
Let c = 9210757/9080 + -5072/5. Which is bigger: c or -1?
c
Let d be 416/80 + 1/(-5). Let l be d/1 - 8184/1608. Which is greater: 1 or l?
1
Let c = -19541 - -19541. Let q = 11/3 + -4. Which is smaller: c or q?
q
Let a = -375955 - -375534. Suppose 5*q + h + 2100 = 4*h, 5*q + 2100 = 4*h. Which is smaller: a or q?
a
Let i be ((-176)/4)/(62/837). Which is smaller: i or -4761/8?
-4761/8
Let t = -0.01 - 1.99. Suppose -238*k + 233*k - 873 = -3*u, 4*k + 586 = 2*u. Is u < t?
False
Let c = -21851897/364 + 240163/4. Let n = 8 - c. Are 0 and n equal?
False
Let j = -458 + 1046. Let s = 590 - j. Which is smaller: 104 or s?
s
Let y be (2/(-33))/((-260)/23829). Let w = -77/19 - 293/209. Let v = y + w. Which is greater: -0.1 or v?
v
Suppose 107*k = 103*k + o - 3255, -2*o + 4071 = -5*k. Which is smaller: -3249/4 or k?
k
Let m = -0.3801 - -0.2801. Which is bigger: m or 411?
411
Suppose -7*l - 1494 = -16*l. Suppose 156 - l = -x. Let d be (-5 + 1)*35/x. Is -16 smaller than d?
True
Let c(g) = -2*g**2 + 7*g**2 - 3*g**2 - 3*g**2 + 2*g - 20. Let d be c(9). Let k = 81 + d. Is k greater than -20/9?
True
Let g(y) = -6*y + 8*y**2 + 3*y**2 + y**2 - 54 + 17*y**2 + 3*y**2. Let i be g(-4). Is i greater than or equal to 482?
True
Let v be ((-824)/(-2781))/(8/(-6)). Which is greater: -2/7 or v?
v
Suppose 10*c - 66 = 7*c. Let l = 114 - -2. Let h = l + -94. Does c = h?
True
Let q = -4083/5 - -28591/35. Let w be 26/30 - (-4 - -5). Which is bigger: q or w?
q
Let k be -4 + ((-2810262)/(-294) - (-4)/14). Is k bigger than 9555?
False
Let n = 1243 + -1847. Let j = n - -696.1. Let c = 92 - j. Which is smaller: c or -5?
-5
Let x(m) = -14 - 9*m**3 + 36*m**2 + 85 + 20*m**3 - 10*m**3. Let c be x(-36). Is 69 at most c?
True
Suppose -4*y - 4 = -5*y. Let x(p) be the second derivative of p**3/2 - 31*p**2/2 - 3*p. Let n be x(11). Are y and n equal?
False
Let y = -163019 - -163019. Let j = -10 - -6. Is j equal to y?
False
Let a be (134/4)/(-2*4/48). Let b be (-406)/((-329)/(-47) + -3 + -2). Which is smaller: b or a?
b
Let j = -0.8533 + 664.8533. Is -6 < j?
True
Suppose 2*u - 514 = 5*b, 0 = b - 2*b - u - 100. Let o = b + 102. Which is bigger: 0.86 or o?
0.86
Suppose -2*w - 14*w - w = -28*w. Let j be 2/65*(-10)/(-39). Is w not equal to j?
True
Let w = 0.02514 - 2.15514. Is -3 > w?
False
Let a = 8.7 + -1.4. Let z = -2668.1 - -2668. Which is smaller: a or z?
z
Let l = -12164 - -12158. Let a(i) = i**2 - 11*i + 9. Let h be a(10). Let n = -3 + h. Is n smaller than l?
False
Suppose -20*d + 431 + 252 = -357. Which is smaller: d or -16?
-16
Let d be -1*10*(204/30 + -7). Which is smaller: 114/97 or d?
114/97
Let c be 4 - 69*2/(96/148). Let k = c - -209. Which is greater: -15 or k?
k
Let z = -6540.8 + 6541. Let s = -208.911 - 0.089. Which is smaller: s or z?
s
Let s = -8547 + 32487146/3801. Is -1 at most as big as s?
True
Let b(v) = -v**2 - 9*v - 15. Let u = -19 - -13. Let q be b(u). Let o be 3 - ((-1)/q)/(3/(-9)). Which is smaller: 8/7 or o?
8/7
Let t = -7537/26 - -3104/13. Let u = t - -21/13. Which is smaller: -50 or u?
-50
Let k be 15/(60/20918) - 4/8. Which is smaller: k or 5230?
k
Let c(d) = d**2 - 6. Suppose 5*o - 23 + 203 = 0. Let g = -33 - o. Let h be c(g). Which is smaller: 0.03 or h?
0.03
Let q = 105 - 943/9. Let f(c) = -c**3 - 2*c**2 + 3*c + 2. Let l be f(-3). Suppose l*u - 5*u = 0. Which is greater: q or u?
q
Let u = 10.499 - -0.101. Let f = u + -10.78. Let l = -0.12 + f. Which is s