02. Which is greater: a or p?
a
Let f(t) = -t - 196. Let r be f(55). Let h = 252 + r. Let d be 2*-1 + 84/46. Is h at least as big as d?
True
Let o = -483 + 987. Let w be (-12)/21 - (-47244)/o. Which is smaller: 93 or w?
93
Let c = -194 + 198. Suppose 4*k + 24 = -c*s, 3*s + 5*k + 35 = 7. Is -2/309 <= s?
False
Let n(j) = -3*j**3 + j**2 + 2*j - 2. Let y be n(1). Let m = y + -18. Is -20 at most m?
True
Let v = 35 - 30. Suppose 5*a - a + 25 = v*h, -5*h - 5*a + 25 = 0. Let q be 417/(-282) - ((-15)/2)/h. Which is greater: 1 or q?
1
Let d(h) = -2*h**2 - 116*h - 960. Let r be d(-10). Is -1/2361 greater than or equal to r?
False
Let d be 2 - (-24)/9*-3. Let f = 22 - 23. Let x be f/(-2)*-6*2/6. Is d at least x?
False
Suppose -2*p = -6*p - 8. Let s be ((-77)/(-55))/((-1)/(-5)). Let w be (-6)/(-9)*(s*-51)/7. Is p smaller than w?
False
Let j(n) = n**3 + 23*n**2 - 40*n - 378. Let g be j(-24). Let d be 3/8*(-724)/(-6). Let v = d - 46. Which is smaller: g or v?
v
Suppose -9991 = -3*v - 67*o + 65*o, -2*v = 3*o - 6654. Does 3333 = v?
True
Let m = -37.19 + 20.57. Which is bigger: 2/7 or m?
2/7
Let d be (-6)/28 + (-1)/(-2). Let q = 198 - 196.1. Let s = -17.9 + q. Is d != s?
True
Let n = -32545026243 + 978043129080839/30052. Let z = 1/2732 - n. Is z greater than -15?
True
Let l = 4297 - 85953/20. Is l at most as big as -1?
False
Suppose -l - 6616 - 500 = 5*k, 4*l = -k - 28502. Is -7127 bigger than l?
False
Let z = 2465587/20444769 + -2851/5094. Let d = -3/698 - z. Which is smaller: d or 1?
d
Let x be ((-42)/(-28))/(5/(-10)). Which is greater: x or -1?
-1
Let m = 84892 + -1952846/23. Does m = -15?
False
Let l(b) = 7*b**2 + 10*b + 5. Let i(d) = -d**2. Let a(p) = 6*i(p) + l(p). Let r be a(-10). Let s be (55/63)/r + (-2)/14. Is s less than or equal to -1?
False
Let g = -0.2 - -0.3. Let h = 157 + -156.293. Let n = h - 0.947. Is g < n?
False
Let q(t) = t**3 + 30*t**2 + 66*t + 34. Let m be q(-28). Is -235 smaller than m?
False
Suppose 5*k = -3*c - 18566, -14843 = 4*k - 173*c + 174*c. Which is smaller: k or -1?
k
Let i = 1255096/73 + -17192. Which is bigger: i or 1?
i
Let j(y) = y**2 - 3*y - 10. Let s be j(-2). Suppose s = -4*t + l + l - 24, 2*t - 4*l + 6 = 0. Which is smaller: -2/13 or t?
t
Let m = -0.6833 + 465.9833. Let r = -464 + m. Which is bigger: r or 7?
7
Let m be (96/(-112))/((-1)/7). Suppose -4*h = 2 + m, 3*y - 5*h = 157. Which is smaller: 51 or y?
y
Let o be (-2114)/6 - (-5 - -3). Let a = o - -346. Let n = 207 - 211. Is a < n?
True
Let n = -4/1469 + 8624527/10283. Which is smaller: 839 or n?
n
Suppose -3*b - 14 = 2*p, -14*p + 18*p - 12 = 4*b. Which is smaller: p or -30/899?
p
Let r be (-2*1198/7)/((-4)/14). Which is greater: 1196 or r?
r
Let i = 0.66 + -1. Let y = -1.287 + 3.627. Let w = i + y. Is -0.1 at most as big as w?
True
Let g be (3 - 5)*(-54)/(-12). Let b be (g + -9)/(1/2). Is b > -450/13?
False
Let t = -379 + 215. Let a = 163.76 + t. Are 2/7 and a non-equal?
True
Let b be ((-2196)/45)/(1/(-5)). Suppose 43*y - b = -29. Is 17/3 at least y?
True
Let a(v) = -16*v**2 - 12*v - 4. Let y be a(4). Let g = y - -42. Which is smaller: -265 or g?
g
Suppose 13*m - 816 = -244. Suppose -m*c - 1 = -43*c. Which is smaller: -12/137 or c?
c
Suppose -513 = -j + 3*g, -4*j - 5*g + 2559 = 575. Suppose 2*u = 4*m + 3*u + j, 0 = 5*m + 2*u + 627. Is m bigger than -125?
False
Suppose 0 = 2*g - 8, -5*d - 32*g = -30*g + 47. Let z(q) = 2*q**3 + 2*q**2 - 2. Let j be z(-2). Is d bigger than j?
False
Let o(f) = -46*f - 1553. Let t be o(-33). Is -363/10 >= t?
False
Let k be (-9603)/291*(-2)/(-3)*1. Is -293/14 >= k?
True
Suppose -3*i - 64*g + 23 = -68*g, -5*i + 3*g + 42 = 0. Let t = -83 - -84. Which is bigger: t or i?
i
Let f be 14*(-1)/(-6) + 2/(-6). Suppose 6 = -f*i, -i = -4*s - 9 + 8. Does s = 1/50?
False
Let v = 50 + -57. Let d = 0.0021 + 0.0079. Which is bigger: d or v?
d
Suppose -53 + 17 = -h + x, 5*x = -4*h + 117. Let l be (1628/(-33))/(10/(-6)) - -4. Which is smaller: h or l?
h
Let u = 19681 + -19675. Are u and -90.7 equal?
False
Suppose 0 = -46*n + 47*n - 11*a - 1673, -5*n = -2*a - 8630. Is 1728 greater than n?
False
Let c be 20/(-24) + (6/27 - 92/792). Is 5 smaller than c?
False
Let d be (-32)/(-80) - 780/1275. Which is smaller: d or -2/9?
-2/9
Suppose 4*x - 31 - 1 = 0. Suppose 4*v = 2*d - x, -6*v + v + 8 = 2*d. Which is bigger: d or -10?
d
Let c be (4/21)/((-98)/615363). Suppose 15*o + 7094 = -10846. Let u = o - c. Which is bigger: u or 0?
u
Let n be -1 + 0 + -1264 - (-2)/(-2). Let f be n/315 - 5/((-5)/4). Is f at most as big as -1?
False
Let s = -44 + 83. Suppose -2*r = -r + 4*d + 3, s = -3*r - 2*d. Let y = r - -14. Which is smaller: 0 or y?
y
Let v(c) = -314787754*c**3 + 5*c**2 + 6*c - 1. Let h be v(5). Let p = h + 2988240788605530/75943. Let k = 2/3997 - p. Is k greater than -1?
True
Let f = 884 - 1454. Let s = f - -570.03. Let o = -0.1 - -0.1. Is o bigger than s?
False
Let z(b) = 76*b - 852. Let q be z(17). Do 2199/5 and q have different values?
True
Let i = 28545 - 25924. Which is bigger: -1/4 or i?
i
Suppose -3*g + 2*g = -242. Suppose 0*k + 2*j + 156 = 2*k, 0 = -3*k + 5*j + g. Suppose -6*m - 46 = -p - 9*m, 5*m = 4*p - 337. Which is smaller: k or p?
p
Let b = -191 + 338. Let v = 147 - b. Which is smaller: 7.3 or v?
v
Suppose -q - 3 = -i, -2*i - 3*i - 3 = 4*q. Let z be (-6)/(-28)*(0 + (-42)/(-7))*-1. Which is smaller: q or z?
q
Let j be (-5)/20 + (-86)/8. Let m be 0/j*(-4)/(-8). Which is bigger: m or 0.167?
0.167
Suppose 75 = 5*q - 5*m, 217*q + 11 = 218*q + 3*m. Let a(p) = p**3 - 15*p**2 + 13*p - 25. Let w be a(q). Suppose 2 = -2*v + 4. Is v at most w?
False
Let x be -4 + (-2 + -354)*8/16. Let k be ((-124)/(-7))/((-52)/x). Which is bigger: k or -1/2?
k
Let x = -5.52 - -38.22. Let p = -707 - -706. Is x at least as big as p?
True
Suppose 4*c + 2939 = -l, -2*c - 59 - 1410 = l. Is -2204/3 at most as big as c?
False
Let r(u) = u**3 + 3*u**2 + 4*u + 2. Let b be r(-2). Let j be ((0 - 304)/4)/b. Let i = j + -16. Is i > 20?
True
Let v(l) = l**2 - 27*l - 232. Let o be v(34). Suppose -8 = -h - 0*t - 2*t, -5*h + 47 = 3*t. Suppose o*r = 4*r + h. Is 1 less than or equal to r?
True
Let h = 0.0553 + -238.2553. Let n = 238 + h. Which is smaller: -4 or n?
-4
Let m(s) = -s**2 - 14*s + 16. Let c be m(-15). Let k = -74.48 - -12.48. Which is greater: c or k?
c
Suppose 3*o = w + 94, w = o - 0*w - 30. Let t = o + -26. Let q be (-2 + 2)*t/(-12). Is q < 1?
True
Let m be (1 - 26/28)*(-653170)/(-840). Let l = m - 111/2. Suppose -4*x = -3*j - 12, -2*x - 2*x + 8 = -2*j. Is x less than or equal to l?
True
Let u(r) = -r**3 - 45*r**2 - r - 43. Let i be u(-45). Let k be (15/10 - 1)*i. Do -1/51 and k have the same value?
False
Suppose 38*v = 36*v + 10. Suppose -v*a = -5*f - 2 + 152, -4*a - 45 = -f. Is 1 < f?
True
Let r be 7339/(-358)*(-4)/13. Is r less than 2/7?
False
Let o be (-4)/((12/(-18))/(4/(-6))). Let f be 13/52 - 3*17/o. Let r be (-82)/(-6) + 2 + (-111)/74. Does r = f?
False
Let b = -489 - -501. Suppose 3*o + 6*l - l - 213 = 0, -o + l = -79. Suppose 3*q = 4*u - 36, 0*u - o = -5*u - 4*q. Is b greater than or equal to u?
True
Let i be (5/((-1)/1))/((-145)/116). Which is smaller: i or 174/65?
174/65
Let o(n) = -n**3 + 7*n**2 - 6*n + 8. Let j be o(6). Let y = j + -2. Let q(p) = 4*p**3 + 82*p**2 - 41*p + 28. Let s be q(-21). Is y not equal to s?
True
Let p = -90 + -39. Let n = -5.869 - -6.869. Which is smaller: n or p?
p
Let t = -214 + 212. Let u = -124808/27 + 4622. Which is greater: u or t?
u
Suppose 97*r = 99*r + 12. Let g be 5/(-60)*1814 - 1/r. Is g at least as big as -151?
True
Let w(y) = 3*y + 200. Let r be w(0). Suppose -i = 3*j - 599, 123*j = 128*j - i - 993. Which is bigger: r or j?
r
Suppose 2*l + 3838 = -4*y + 3248, 0 = 4*l + 4*y + 1152. Which is smaller: l or -277?
l
Let h = -4936 + 4937.16. Is h greater than 23?
False
Suppose 2*p - 3*h - 108 = 0, -5*p = -3*p - 2*h - 104. Are 30 and p nonequal?
True
Let v(w) = -w**3 - 5*w**2 + 6*w - 12. Suppose 5*s + 2 = -38. Let j be v(s). Is 132 at most j?
True
Suppose -4*n + 132 = 8. Suppose 0 = 30*o + 25*o - 676 - 1084. Which is smaller: n or o?
n
Let a = -872 - -349. Let w = -89978 - -89978. Which is greater: w or a?
w
Let l = -2535/14 + 942/7. Suppose 5*n = -69 - 166. Which is bigger: l or n?
l
Let b = 1417358/45 + -31482. Let j be (103/9)/(-1) - 1. 