Which is smaller: c or 45/2?
45/2
Let z = 52 - -37. Let h = z - 106. Does h = -2/9?
False
Let j = -8549 + 8548. Let l be 45*(-2)/7*(-70)/(-3). Is j greater than l?
True
Let k(i) be the third derivative of 0 + 0*i + i**3 - 7/8*i**4 - 16*i**2 + 1/60*i**5. Let m be k(20). Which is smaller: -11 or m?
m
Let x = 0.101 - 5.101. Let b = -2015/198 - -193/18. Which is greater: x or b?
b
Suppose -3*o = -2*o - 2*i + 2, 2*i - 14 = 3*o. Let n be (-110)/(-15)*(o/(-8))/(-3). Is -2 > n?
False
Let g(q) = q**3 - 11*q**2 - 3. Let c be g(11). Suppose -j + 4 = -4*w - 40, 0 = j. Let i be w/c*(-42)/7. Which is smaller: i or -21?
i
Let n be 2/(-5) - (-6)/15. Let k(t) = t + 1. Let g(q) = -q. Let i(w) = -g(w) - 2*k(w). Let p be i(-1). Is p greater than n?
False
Let t = -104487/13 - -8037. Is t bigger than 19/7?
False
Suppose -10 = -4*q + g, -5*q + 6 = 28*g - 26*g. Suppose -3*p - 111 = -q*j + 58, 4*j - 20 = 0. Is p greater than -52?
False
Let s = -2997 - -2981. Is -35 smaller than s?
True
Let p = -0.2 - -0.1. Let b = -227.5 + 239. Let d = -22.5 + b. Are p and d unequal?
True
Let p = -119.2 - -9.2. Let d = p - -109.93. Let h = 4 + 2. Are d and h non-equal?
True
Let q = -9992 - -9992. Does q = 4719?
False
Let t = 25.953 - -12.047. Which is smaller: t or -23.8?
-23.8
Let x = -74/2005 + 710422/126315. Which is bigger: x or 5?
x
Let i(x) = 20*x + 58. Let v be i(-2). Suppose 10*s = v*s + 48. Which is bigger: s or 8?
8
Let v = 199 - 388. Let f = 83 + v. Which is bigger: 0 or f?
0
Let c(r) = 2*r - r**2 - 7273 + 5*r + 14*r + 7261. Let g be c(20). Suppose -2*u + 0*u = -h - 15, -2*u + 3*h + 13 = 0. Is u at least as big as g?
True
Let u = 2/397 + -405/1588. Does 1847 = u?
False
Let b be (-6*9/4)/(1/(-112)). Let k = -1516 + b. Suppose -2 - 14 = 2*q. Is q < k?
True
Let o = -8260 - -8131.1. Are -0.2 and o unequal?
True
Suppose 0 = a + c - 15, c - 30 = -2*a - 0*c. Let s(m) = m**3 - 16*m**2 + 18*m - 21. Let k be s(a). Which is greater: 23 or k?
k
Let o be 4*(6 + 271/(-45)). Let d = -3691/30 - -123. Let p = d - o. Which is smaller: -1 or p?
-1
Let l = 6574 + -6586. Is 1.97 not equal to l?
True
Let w = 57 - 45. Suppose u + 2*m - 5 = 0, w*u - 7*u + m - 16 = 0. Let b = -13 - -7. Are b and u equal?
False
Suppose 110*l = -1028 - 1172. Let z = 1.3 + -0.3. Is z greater than or equal to l?
True
Suppose -4*r + 3 = -1. Let p = 452.55 + -452.41. Which is smaller: r or p?
p
Let r = 3511 + -3613. Is -3 >= r?
True
Let h(r) = 19*r - 9 + r**2 - 16 + 20*r - 13*r. Let p be h(-27). Suppose 0*g + 2*g + p*m + 2 = 0, -4*m + 16 = -g. Is 2 < g?
False
Suppose -z - 17 = -0*z. Let f = 106 + -102. Suppose -4*r + 52 = -f*a - 12, a + 8 = 3*r. Is a at most as big as z?
True
Let x be 5*(35/(-7) - (-4 + 1)). Let z be (x/90)/(4/18). Is z at least -110?
True
Let a(p) = -14*p + 13 + 18*p - 5*p. Let d be a(11). Let g be 14/(d/(-9) + 32/(-18)). Is g bigger than -8?
True
Let s(j) = -3*j**2 - 77*j - 1372. Let z be s(-23). Which is smaller: z or -1185?
z
Let u = -416 - -716. Let w = u + -299. Which is greater: 111 or w?
111
Let r(v) = -v**2 + 6*v. Suppose -2*p = -2*o - 22, 0 = -3*p - o + 15 - 2. Let g be r(p). Is g bigger than -20/19?
True
Let i = 269 + -263. Suppose i*y + 1617 = -y. Are -231 and y unequal?
False
Let n(z) = -z + 59. Let v be n(0). Let m = 5512 + -5452. Is v less than or equal to m?
True
Let v = 3/241238 - -1935452465/723714. Which is smaller: 2673 or v?
2673
Let y be ((-19794)/4)/(-6 + 2 + 0). Let g = y - 1226. Which is bigger: 10 or g?
g
Let w(o) = 3*o**3 + 7*o**2 + 118*o - 624. Let r be w(5). Which is greater: r or 510?
r
Let n = 13.5 - -40.5. Let h = n + -53.855. Let l = h + -0.102. Which is greater: l or 1?
1
Let m be -16*1/(-1)*(-3996)/(-90)*10. Do m and -0.2 have different values?
True
Let n = 1 + 25. Let m(d) = -d**2 + 28*d + 40. Let l be m(n). Suppose 5*t - 112 = -l. Is -3 greater than or equal to t?
False
Let z(b) be the third derivative of b**5/60 - 35*b**4/24 + 131*b**3/6 + b**2 + 19*b. Let s be z(31). Which is greater: -4 or s?
s
Let d be 4/14 - (-10)/(-35). Suppose 2*w - 14 + 10 = -2*z, 4*w + 3*z - 5 = d. Is 1/268 at most w?
False
Let b be (-2)/38 + 1152/7448. Are b and -1 equal?
False
Suppose u + 49 = -5*o, 118 = 5*u + 138. Which is greater: o or 102?
102
Let j be 8/(-14) - (-20536)/4284. Let d(f) = -2*f + 19. Let z be d(8). Which is smaller: z or j?
z
Suppose h - 6*h = 2*o - 16, -o = -4*h - 8. Let y be ((-2)/o)/((-1)/76). Is 20 equal to y?
False
Let v = -820 + 404. Which is bigger: -419 or v?
v
Let l(a) = -a**2 + 5*a + 8. Let s be l(6). Suppose s*m = -3*h - 22, 4*m + 36 = h + 6. Let y be 8/m*(43 - 2). Is -40 bigger than y?
True
Suppose -85*o + 79*o = -1908. Are o and -0.2 non-equal?
True
Let u be ((-1)/(-2))/(253/(-88)). Let l be (-2 + (-55)/(-20))/((-2)/(-8)). Suppose 3*s = g + l, 2*s = s - g - 3. Is s bigger than u?
True
Suppose -3*m + m + 6 = 0, d = m + 5. Let q = -628 - -1057. Let t = q - 415. Which is smaller: t or d?
d
Let x be ((-55)/(-8))/(5/(-20)). Let n be 5 + (-2 - -14)/4. Let i be (-217)/n + 8/64. Is i less than x?
False
Let b = -154.83 + 156. Let q = b + -1.17. Which is smaller: q or -0.25?
-0.25
Let z = -53/9 + 26/3. Suppose 0 = 2*k + j - 2*j - 7, 3*j - 19 = -4*k. Is k at least as big as z?
True
Let r be (-2 - 9/1) + 1. Suppose 2*h + 4 = 0, 2*h = -2*x - h + 4. Suppose -6*g = -4*g - 5*q + 18, -x*q = -3*g - 27. Which is smaller: r or g?
r
Let m = 189958 - 146837564/773. Which is bigger: m or -1?
m
Let g(f) = -f**3 - f**2 + 93*f - 91. Let x be g(1). Let q be (1/15)/((-62)/(-6)). Which is bigger: x or q?
q
Let i(p) = p**2 + p. Let u(v) = 4*v**2 - 2*v - 7. Let n(z) = -5*i(z) + u(z). Let h be n(-9). Let q be ((-6)/(-15))/((-3)/(-30)) - h. Is 28 greater than q?
False
Let w(b) = -40*b + 175. Let t be w(10). Let l = t - -169. Which is smaller: l or -54?
l
Suppose 5*o + 2*r + 14574 = 0, 5*o + 6*r + 8706 = 2*o. Is -8753/3 smaller than o?
False
Let g = -60.6 + 4.6. Let q = g + 86. Let m = -26.6 + q. Is 1 > m?
False
Suppose -12672 = 18*x - 36*x. Let q = x + -705. Which is greater: q or 8/187?
8/187
Let w be 1/(-2 - (7/3)/(-1)). Suppose -65 = 4*a + 5*i, w*a + 25 = a - i. Let q be (2 + a/3)/(2/(-9)). Do q and 7 have different values?
True
Let d(n) = -n**2 - 9*n - 8. Let a be d(-7). Let v be 21/(-14) + 45/a. Let o(q) = 3*q - 17. Let m be o(v). Is m <= -3/31?
False
Let n = -1.0901 - 1385.7099. Let s = -1387 - n. Suppose -26 = -2*m + 4*m. Which is greater: m or s?
s
Let d be (6/(-10))/((-3)/(-15)) + 0. Let n be (3/(d/1))/1. Let k be (-6)/(7 + n) - (0 + -2). Which is greater: -6/13 or k?
k
Suppose -4*p = -j + 4*j - 9, 2*p + 3*j = 3. Suppose p*w - 6*w + 18 = 0. Let i be 21/(-12)*(24 - 28). Which is smaller: i or w?
w
Let f be -5*(-5)/((-10)/14). Let m = -34 - f. Let y be (2/(-24)*m)/(1/(-70)). Which is smaller: y or 7?
y
Let l(x) = -x**3 + 33*x**2 + 54*x + 98. Let u be l(35). Which is smaller: -460 or u?
u
Let w = 863/9 + -74219/774. Which is bigger: w or -1?
w
Let b(r) = -r**2 + 3*r. Let j(a) = -a**2 - 3*a + 7. Suppose 4*n + 3*i + 13 = 0, 0 = -4*n + 2*i - 4*i - 14. Let v be j(n). Let s be b(v). Is -1/13 < s?
True
Let h = 174 + -195. Let n be (14/h)/(4/(-9)). Is n > 1?
True
Let g(c) = c**2 - 2*c - 58. Let t be g(9). Suppose t*b = 4*x - 24, 14*b - 11*b + 2*x = -32. Suppose -7 = 5*s + l + 31, 2*s - 4*l + 2 = 0. Is s > b?
True
Let x = 3/10 - -1/5. Let r(q) = -1912*q - 23038. Let b be r(-12). Which is bigger: x or b?
x
Let w(z) = 6*z**2 + 2*z + 7. Let v be w(6). Let g = -175 + v. Which is smaller: g or 58?
58
Let j = -164 - -398. Let o = 233.91 - j. Are o and -0.02 nonequal?
True
Let j = -17/104 + 499/1144. Which is smaller: j or 4/5?
j
Let h = -563 + 823. Which is greater: 262 or h?
262
Suppose -28*k + 4 = -32*k. Let v = k - 7. Let x(y) = y**3 - 10*y**2 + 17*y - 17. Let j be x(8). Which is bigger: j or v?
v
Let a(x) = -14*x**3 - 80*x**2 - 14*x + 2. Let q be a(-8). Which is smaller: 2161 or q?
2161
Let c = -19178 - -10336. Is -8842 less than c?
False
Suppose 22*z = 25*z + 9. Let c = -79 + 72. Is z greater than c?
True
Let s = -3855 + 3758. Is s at least -98?
True
Suppose 0 = 5*w - 3*u - 12, -5*u - 20 = -4*w - 0*u. Which is bigger: -2/22027 or w?
w
Let g(p) = -p - 1. Let u be g(-11). Suppose 2*t + 6 - u = 0. Suppose -t*c + o - 1 = 0, -3*c + 0 = 3*o - 12. Which is bigger: c or 7/8?
c
Let n(v) = 376*v - 2