 2212. Which is bigger: q or -80?
q
Let p(y) = -y + 5. Let d be p(9). Suppose 5*n = -b - 40, -2*n - 5*b - 13 = 26. Let k(a) = -3*a**2 - 25*a - 34. Let s be k(n). Are s and d unequal?
True
Let p = -23478.1 + 22498. Let o = p - -1021. Let b = -41 + o. Is 2/7 > b?
True
Let j(c) = -2*c**3 + c**2 + 2*c + 1. Let q be j(-1). Let w be 36/54*(-27)/6. Let d be (q/(-4))/1*(1 + w). Which is smaller: -2/191 or d?
-2/191
Let v be (-24)/(-36)*3*-3. Let n(f) = -f**2 - 10*f - 5. Let i be n(-9). Suppose i*c - 4 = 0, -2*y + 4*y + 11 = -c. Is y not equal to v?
False
Let j = 5/1302 + -89515/651. Let a = -241 + 105. Let y = a - j. Is 1 less than y?
True
Let i be (4*14/(-112))/(4/32). Does i = 1/23?
False
Suppose -3*i + 2*i - 345 = 5*m, 979 = -3*i - m. Let n = 324 + i. Which is bigger: n or -70/31?
n
Let w = 88 + -1142/13. Let c be 1/18 - (-15099)/378. Which is bigger: c or w?
c
Let g(p) = p + 1. Let b(k) = -7. Let s(q) = -b(q) + 2*g(q). Let o be s(-4). Let d be (-2*o)/((-2)/(-21)). Are -20 and d unequal?
True
Suppose 14*k + 25 = 9*k. Let b be ((6 + k)*-1)/(215/(-2)). Which is greater: -1 or b?
b
Let t(f) = -11*f - 53. Let x be t(-9). Suppose 4*g - 30 = x. Is 1 at most as big as g?
True
Suppose -3*x - 4 = -10. Let z be 7/14 - 1/x. Suppose z = 3*q + 2*q - 15. Which is smaller: 1 or q?
1
Let a = 555.4 - 555.48. Is 0.061 less than a?
False
Let z = 540 + -245. Suppose -z + 127 = -6*w. Which is smaller: w or 187/7?
187/7
Let p = -37 - -37. Suppose 13*s + p*s = 598. Are 47 and s equal?
False
Let u = 13295.1 + -13028. Is u bigger than 0.2?
True
Let z be 4/6 + (-40)/(-30). Let b = -20 + 29. Suppose -b*h - z = -7*h. Which is smaller: -2 or h?
-2
Suppose 118 + 44 = 18*s. Let g(b) = -b**3 + 8*b**2 + 2*b + 61. Let u be g(s). Is -27/8 at most as big as u?
True
Let h = -28694 - -22027. Which is bigger: -20000/3 or h?
-20000/3
Suppose 33*o - 13*o = 1600. Suppose 0 = -i - 3*c + o, -c + 309 = -2*i + 6*i. Which is smaller: i or 76?
76
Let n(o) = o**3 + 48*o**2 + 217*o + 35. Let c be n(-16). Are c and 4754 unequal?
True
Let a(u) = -u**3 + 14*u**2 + 3*u + 7. Let s be a(14). Suppose s*q + 24 = 52*q. Let r(o) = -2*o + 17. Let l be r(q). Is 2/59 < l?
True
Let l be 68/12 + 3*2/18. Let y(f) = f**3 - f**2 + 161. Let z be y(0). Suppose l*a + z + 55 = 0. Are -36 and a nonequal?
False
Let o(c) = -7*c**2 + 115*c - 345. Let u be o(28). Is -2613 > u?
False
Let r be (-16 + 22)*-1*1. Let k be (23/(-14) + -5)/(r/21). Is k != 23?
True
Suppose -124*z = -125*z - 8*v - 2313, 5*v = 20. Which is greater: -2343 or z?
-2343
Let f = 17 - 38. Let t be -2 - (f/(-2) - (-3)/(-2)). Let y be (1 + -6)/(t/(-66)). Do y and -29 have the same value?
False
Suppose -2698 = w - 796. Let z be (16/40)/(w/(-955) + -2). Let c = -47 - z. Is c != -3?
True
Let k = 93 + -105. Let q be (-13974)/(-612) + (-2)/k + 0. Which is smaller: 21 or q?
21
Let q = -879 - -878.9523. Let w = -12.0477 - q. Is -16 <= w?
True
Let i = -41 - 41. Let d = -58 - i. Is 2 equal to d?
False
Let o = 234 - -3290. Let w = 3432.013 - o. Let m = -92 - w. Which is greater: 0 or m?
0
Let r = 639367/398956 + 2/5867. Which is smaller: 3 or r?
r
Let j be 198/110*15/9. Let b be 27 - (j - -2)*36/45. Let q = 47 - 24. Is b at least as big as q?
True
Suppose -3*l - 224 = -4*n, -2*l - 6*n + 11*n = 140. Let d be ((-2)/(-65))/((-696)/l - 7). Is d bigger than -1?
True
Let n be -2*(-3)/12*8. Suppose n*c - 7*c = 0. Let t = -79053/14 - -11293/2. Is c greater than or equal to t?
True
Let v be 3203/(-3300) + (-388)/(-6402). Which is smaller: v or 0?
v
Suppose 7*w = -10*w + 51. Suppose -4*o + 24 = -3*o. Suppose 6*s - 4*s + o = 5*d, w*s - 3*d + 18 = 0. Which is smaller: s or -3?
-3
Let k be -8 + (8/(-12) - (-152)/(-24)) - -8. Is k bigger than -4/425?
False
Let r be ((-96)/(-306))/(2/(-1036)). Let p = -292/17 - r. Let j = p - 144. Is 2 bigger than j?
True
Let o(a) = -a**3 - 2*a**2 - a - 1. Let k(h) = -2*h - 8. Let c = 29 + -33. Let f be k(c). Let n be o(f). Which is smaller: 1/43 or n?
n
Let t = 1.4445 + -1.5285. Which is smaller: t or 2/65?
t
Let n be (-17)/(-51) + 1192/6. Let v = -1789/9 + n. Which is greater: v or -1?
v
Let n be -2*5/560*(-2)/(-1). Let j = 0 - 1. Let b = 1 + j. Is n at most b?
True
Let j = 369 - 335. Let r(g) = g**3 - 6*g - 8. Let s be r(4). Which is smaller: s or j?
s
Suppose 3*x - 11 = 2*j, -x + 6 = 5*j - 9. Let l be (-219)/x + (-6)/30. Let w be 52/l - (2 + -3). Which is smaller: -1 or w?
-1
Let q = -4705 - -4758. Which is bigger: 3/23 or q?
q
Let d = 1188.2072 - 0.2072. Which is bigger: -0.1 or d?
d
Let m = 1.1 + -0.1. Let v = -13271/192009 - -1/6621. Is v at most m?
True
Let o(n) = -2*n**2 - 14*n + 19. Let a be o(-8). Suppose -5 = -3*z + x, 7*z - 10 = a*z + 2*x. Which is smaller: -1/122 or z?
-1/122
Suppose k = 5*k, -k = -w. Let j(t) = 3*t**2 - 5. Let z be j(w). Let i be -2 + 0 - (z - (-12 - -7)). Is 2 bigger than i?
True
Let a = 0.129 - -0.207. Let q = -14.336 + a. Is 9 < q?
False
Let s = -2610 - 3423. Is s greater than -6033?
False
Let o(f) = 13*f**3 + f**2 - 2*f + 4. Let r be o(-3). Let p be (-12 + (-30706)/91)*(-38)/40. Let w = p + r. Does -1 = w?
False
Suppose 0 = 5*w - 4*w. Let q be (2/3)/(w + 4/(-384)). Let u(h) = -3*h - 41. Let f be u(8). Are q and f unequal?
True
Suppose 22*g + 1113 + 1044 + 12165 = 0. Which is smaller: -646 or g?
g
Suppose -2*m - m = -294. Let v = 135621 - 135521. Which is smaller: m or v?
m
Suppose 35*f - 5*m = 38*f + 17541, -29197 = 5*f + 2*m. Is -5836 smaller than f?
False
Let s be -6 - -2 - (7 + -168). Suppose -3*o = -s + 55. Suppose l - 5*v = o, -l + 3*v - 2 = -44. Is l > 55?
False
Let p be ((-280)/50)/(5/((-125)/2)). Suppose -4*v = 4*a - 164, -2*a - 15*v + 10*v + p = 0. Which is bigger: 46 or a?
46
Let q = -225 + 226. Suppose -10 = 2*u, -40 = -0*l - 5*l + u. Let v(o) = -2*o + 10. Let f be v(l). Which is smaller: f or q?
f
Suppose 63*m + 2177 = -532. Is m at least -339/8?
False
Let m(d) = -12*d**2 - 8*d**2 + 23 + 21*d**2 - 8*d. Let g be m(3). Suppose -5*p - 10 = 5*v, 2*v = 5*v - 4*p - g. Which is bigger: 7/5 or v?
7/5
Let s(u) = 2*u - 2. Let k be s(6). Let v(a) = 2*a**2 + 12*a + 26. Let b(o) = o**2 - 8*o + 11. Let h be b(3). Let x be v(h). Is k at least as big as x?
True
Let t be (2/52)/((-2)/(-8)). Let a = -1144295/26 + 88019/2. Which is smaller: t or a?
a
Let s(d) = d**3 + 6*d**2 - 4*d - 2. Let j be s(-7). Let w = j + 19. Let z = 6 + -11. Is w <= z?
False
Let w = 5287 - 3536. Which is smaller: 2/3 or w?
2/3
Let v(c) = 21*c**2 + 4*c + 1. Let m = -59 + 58. Let n be v(m). Is n >= 20?
False
Let r = -3545 - -3546. Which is smaller: r or 1359?
r
Let u = 8646 + -8513. Which is smaller: u or 9?
9
Let x be (4*26/28210)/(2*(-2)/(-10)). Which is bigger: x or 12/11?
12/11
Suppose -z - 4*u = -244, 5*z - 2*u - 214 = 4*z. Suppose d + 5 = 0, 2*f + z = 5*d - 105. Is f > -177?
False
Let u(l) = 5*l**2 - 10 + 2*l + 20 - 6*l**2. Let f be u(4). Let i be f/((-8)/(-6))*(-20 - -18). Is i <= -3?
True
Let b(m) = -19 + 12*m + 15*m - 26*m. Let r be b(8). Is r >= -6?
False
Let r be 8/(-14) + (-7 - (-708138)/(-42)). Is r at least -16868?
True
Let j be (5 - (-210386)/66) + 14/6. Is 3195 less than or equal to j?
True
Let u(p) = 2*p**3 - 12*p**2 + 17*p + 4. Let h be u(9). Suppose -h + 2239 = 28*o. Which is bigger: 63 or o?
63
Let w(f) = 7*f**3 - 3*f**2 - 4*f + 11. Let m be w(3). Is 487/3 >= m?
True
Let k = -4218.41 + 4218. Let x = 3.5 + -2.79. Let n = k + x. Which is greater: n or -0.4?
n
Let v be (-414 + 1466)*(0 + (3 - 4))/(-2). Suppose -4*a + 1940 = -168. Which is bigger: a or v?
a
Let m be -208 + 1*(-70)/(-5). Which is bigger: -17 or m?
-17
Let m = 138 + -137.51. Let i = m + -15.29. Let p = i - -13.8. Which is smaller: p or 0.61?
p
Suppose -11*t + 13*t = 5*i + 435, -4*t = 4*i + 376. Let x be i + (-11)/(88/64). Is x bigger than -93?
False
Let y(a) = -3*a**2 - 21*a + 5. Let v be y(-7). Suppose -23*t - 4 = -28*t - 2*h, 0 = v*t - 3*h + 6. Which is smaller: t or -18/67?
-18/67
Suppose -f - f = 5*h - 123, -4*h - 3*f = -104. Let l be (65 - 9)/(-8) + (-3 - 59/(-6)). Which is greater: l or h?
h
Let p = 86.201 + -0.201. Let h = p + -74. Let f = 1.1 + -1.1. Is f at most h?
True
Let j = 27276 - 27276.157. Is -82 at most as big as j?
True
Let b = 24494855 - 150104471025/6128. Let a = -2/383 + b. Which is smaller: 0.4 or a?
a
Let r be ((-2530)/(-15))/11 - 4/(-6). 