 + -219.081. Which is bigger: 1 or p?
1
Let c(u) = u**3 + 7*u**2 + 11*u - 4. Let s be c(-5). Let l be (s/(-6)*6)/(3/18). Suppose -l = -6*d - 0. Which is smaller: 10 or d?
d
Let j be (5/(-3))/(12*5/180). Let m be ((-174)/54 - -3)*(-37)/(-2). Does m = j?
False
Let q = 483 - 192. Is q at least -49?
True
Let b(f) = -f**3 + 5*f**2 - 6*f - 47. Let k be b(13). Let o = k - -10305/7. Are -5 and o unequal?
True
Suppose -20*y + 273 = 19*y. Suppose -5*k + y*l - 4*l = -4, k = -3*l + 8. Is k less than or equal to 35/18?
False
Let l be 7524/(-21)*(-13)/26. Is 180 greater than or equal to l?
True
Let h = 4 - 8. Suppose -4*n - 3*u + 12 = 0, 5*n - 2*u - u - 42 = 0. Suppose -8 = t - n. Which is smaller: t or h?
h
Suppose 7*m + 176 = 29*m. Suppose 13*u = m*u. Suppose -2*y - 4*t = 12, -2*y + 0*y - 5*t - 17 = 0. Which is smaller: u or y?
u
Let y be (434/91 - 0) + -3. Let w = -3164/1781 + y. Suppose -q + c - 1 = 0, c = -2*q - 3*c + 10. Which is bigger: w or q?
q
Let k(x) be the third derivative of -x**5/60 + x**4/3 - x**3 + 15*x**2. Let p be k(9). Let o be (-1308)/336 - (p/7 + 2). Does o = -5?
False
Let a = 4170 - 4217. Is -525/11 greater than a?
False
Let f = 2367/13 - 182. Let s = -1.61 - -34.65. Let p = s + -33. Which is greater: p or f?
f
Suppose -4*u + 5*j = -595, 0 = 20*u - 15*u - 4*j - 737. Is u bigger than 94?
True
Let t(s) = -s**3 + 13*s**2 - 157*s + 1089. Let b be t(9). Suppose -3*u - 3932 = u. Let f = u - -148434/151. Is b at most f?
True
Let j(y) = -y**2 - 5*y - 3. Let t be j(-3). Suppose -2*w + t*f + 1 = 19, 3*f = -12. Which is smaller: w or -12?
w
Suppose 164 = -3*x + 11. Let d be (9/(-4))/(2*12/512). Is d smaller than x?
False
Let v be (-1 - 28/6) + 2/(-6). Let r be 2/(-3)*v/(-2). Is -22/15 smaller than r?
False
Let s = 19 + -75. Let a be (-6)/18*(-36)/s. Which is bigger: a or 0.2?
0.2
Suppose -2*v + 179*y = 182*y + 13, -5*v - 2*y = 5. Which is smaller: v or -1/852?
-1/852
Let g = 1/7002 + -17623/25340238. Is g >= 0?
False
Suppose -7*x + 2*x - 66 = o, 58 = -3*x + 4*o. Let j = x - -16. Let k be 4/6*3/j. Is k bigger than 2/43?
True
Let r(w) = -1038*w**2 + 10*w + 6. Let h be r(1). Which is smaller: h or -1023?
-1023
Let j be (6 + -8)*-2 - (-13)/(-4). Which is smaller: -0.919 or j?
-0.919
Let r = -288.9 + 264.76. Let h = -3.92 - r. Let z = h + -20. Which is smaller: 0 or z?
0
Suppose 5041 = 98*l - 211854 - 156191. Which is smaller: l or 3805?
3805
Let s = 8896 - 8517. Which is greater: 387 or s?
387
Let w = -9915/16 - -620. Suppose 21 - 16 = 2*b + 7. Is w greater than b?
True
Let r be ((-27)/(17280/40))/((-2)/8). Which is smaller: r or 30/101?
r
Let s(y) be the third derivative of -y**4/24 - 31*y**3/3 - 2*y**2. Let m be s(-9). Let x(b) = -53*b**2 + 3*b - 4. Let n be x(1). Is m at most n?
False
Suppose 4*t = 2*n + 427 + 175, 2*t = -6*n + 252. Is t less than or equal to 887/6?
True
Let i be 37/(-161) - ((-50)/(-275) + (-100)/308). Do -251 and i have different values?
True
Let x = 15.5 - 30. Let p = -0.009 + 14.009. Let i = p + x. Is 0 less than or equal to i?
False
Let z(t) = -7*t + 2. Let h be z(2). Let m = -244 + 106. Let l = -151 - m. Is h less than or equal to l?
False
Suppose -3*c - 78*x = -82*x + 198, 2*c + 132 = 4*x. Is c at least -329/5?
False
Let g be 15 + -9 - (-4 - 2485/49). Is 60 at least g?
False
Let a = 21 + 62. Let p be 964/12 - 2/12*2. Let s = p - a. Are s and -0.01 non-equal?
True
Let h(l) = 20*l + 8. Let s be h(-1). Let v = s - -24. Let n = -8 - v. Which is smaller: -21 or n?
-21
Let v = -1.302 + -140.758. Let k = v - -142. Which is greater: k or 0.04?
0.04
Let o be (-1442)/98 + 8 + (-2)/7. Let z = 14 - 6. Is z greater than o?
True
Let h = 35 + -3. Suppose h + 101 = k. Let v be (2/(-22))/(7/k) - -2. Which is bigger: -1 or v?
v
Suppose -5*p = 20, -2*p = -3*a + 2*p - 2. Let j be (3/a)/((-21)/(-138)). Let k(l) = l**3 + 4*l**2 + 88*l + 348. Let q be k(-4). Which is smaller: j or q?
q
Suppose -5*q + 186 = 3*w - 82, w = -q + 52. Let l be 3 + 8/(q/(-21)). Which is smaller: l or -1/44?
-1/44
Suppose 105*m - 77*m + 8250 = -97*m. Which is smaller: -43 or m?
m
Let i be (-23)/(-5) - (-8)/60*3. Let j(v) = -v**2 + 4*v - 15. Let r be j(i). Let d = -163/8 - r. Which is smaller: 0 or d?
d
Let d be 222*(-4)/(-16) + 1. Let o = d - 52. Let p(y) = 3*y - 9. Let q be p(5). Which is bigger: o or q?
q
Let j(q) = -q - 10. Let v(y) be the second derivative of y**3/6 + 11*y**2/2 - 18*y. Let r(n) = 4*j(n) + 3*v(n). Let l be r(-6). Are l and -1/2 nonequal?
True
Suppose -3*y + 7700 = y. Let w be (-6)/12 + y/10. Which is bigger: w or 191?
w
Let k(g) = 3*g + 21. Let z be 1/(-4) + 38/(-8)*1. Let h be k(z). Is 9 less than h?
False
Let s be 1/(-12)*(-449 - -139). Is 2/11 >= s?
False
Let m be 0/(-1 - 15/(-5)). Suppose 105*d - 103*d = -4*n - 10, m = 3*n + d + 5. Which is smaller: n or -1/241?
-1/241
Let x be (-354050)/39350 - (-9 + 0). Which is smaller: -1 or x?
-1
Let x be 18/8*(-5 - (-188)/36). Let d = -1838 - -14679/8. Is d != x?
True
Let p = -66 + 61. Let o be (-2)/(2 + 12/p). Which is smaller: o or -3?
-3
Let a be (5/(-60))/(34/37434). Is -92 < a?
True
Let u = -49 + 33. Let o(d) = -d**3 + 11*d**2 - d + 9. Let t be o(11). Let q be t - 0 - 34/u. Which is greater: q or -1?
q
Let i = 4370 - 495. Let n = 259619/67 - i. Which is smaller: n or 0?
n
Let k be 250 + (0 - (-21)/7) + (3 - 3). Is k < 287?
True
Suppose -4*o + 69 + 7 = 0. Suppose -2*v + v + 5*r - 21 = 0, -v - 5*r + o = 0. Which is smaller: v or -10/49?
v
Let p(j) = j**3 - 6*j**2 + 8*j - 14. Let f be p(5). Let s = 747 - 7461/10. Which is bigger: s or f?
f
Let o = -96 + 114. Suppose 3*w + k - 3 = 0, -5*w + 4*k = -2*w - o. Suppose -3*u + 3 = -y, u + w*y = -0*u + 1. Are u and 7 non-equal?
True
Suppose 4*h = 4*x - 204, 217 = 5*x + 5*h - 88. Let k = 56 - x. Which is bigger: 4/129 or k?
4/129
Let f be (-1 - 0)/(54/30 + -2). Let h be f/((1/(-2))/1). Which is bigger: -6 or h?
-6
Let g = -1905 + 2161. Which is bigger: g or 254?
g
Let o(s) = 17*s**2 - 2*s + 6. Let a be o(2). Which is smaller: a or 760/11?
760/11
Let a be ((12/(-5))/1)/(123/(-1640)). Is a at most as big as 3/28?
False
Let s = -13/29 - 19/87. Suppose -16 = 4*b, 3*j - 5*j + 2*b - 606 = 0. Let y = 2759/9 + j. Is y greater than s?
True
Let y = -1471802827750965496/3543129 - -415396342541. Let k = 1/7587 - y. Do 1 and k have the same value?
False
Suppose 1001 + 1310 = 13*j + 296. Is j greater than or equal to 3.9?
True
Let p(i) = -i**3 - 13*i**2 - 13*i - 10. Suppose -3*k = -5*c - 19 - 35, 0 = 3*c + k + 38. Let r be p(c). Let b be (-2528)/(-844) + -3*2/r. Are b and 1 non-equal?
True
Let j = -1445 + 704. Let i be j/15 + (-296)/(-40) + -8. Suppose 4*w = 2*u - u - 192, -u = 4. Which is greater: i or w?
w
Let o(j) = -4*j - 19. Let i(q) = -9*q - 38. Let b(n) = -6*i(n) + 15*o(n). Let f be b(-10). Suppose 3*z - 4*p + 8 = 0, 4*z = f*p + 3 - 2. Does z = -1?
False
Let h = -2791/170 + 274/17. Let y be 3 + (3 - (-2 - -81)). Let l = y + 513/7. Which is smaller: h or l?
h
Let m = 7841 + -8740. Is -7 not equal to m?
True
Suppose j = 2*j - 3*d + 2, 2*d + 1 = 3*j. Let m be ((-6)/j)/(-1)*1/(-3). Let u = 0.078 - 26.078. Which is smaller: m or u?
u
Let m(g) = -11*g + 148. Let h be m(16). Let f be 2/4*h - -5. Suppose 0*c - 14 = 2*c. Which is smaller: c or f?
f
Let g be ((-2300)/6)/((-48)/72). Is -2 >= g?
False
Let c = -5 + -158. Let q = -48 - c. Is q at most 113?
False
Let m be ((-86)/12 + 7)*(-9 - 3). Let y(t) = -t**3 - 2*t**2 + 3*t + 2. Let b be y(-3). Suppose 40 = 5*z - 5*j, b*z + j = m*j + 14. Which is smaller: z or 25/4?
z
Let s be ((-3656)/(-3658))/(-1) - ((-70)/(-14) - 6). Are 0 and s unequal?
True
Suppose -13*g = -151 + 138. Which is smaller: 3 or g?
g
Suppose 558 = 9*z - 3*w, -4*w = 9*z - 503 - 55. Let l be (1 - -58) + 2/2. Is z > l?
True
Let z = -0.102 + 0.028. Let b = -462.926 + 461. Let v = b + z. Which is smaller: v or 0.3?
v
Let a be 1 + 2667/(-636) + (-54 - -57). Is a at most as big as 0?
True
Let u = -5 - -12. Let w(g) = -4*g**2. Let r be w(u). Let k = r - -1370/7. Are -0.2 and k non-equal?
True
Suppose -80*h - 27 - 30 = -23*h. Which is smaller: h or 26/197?
h
Let k = -9188 + 9185. Is k at least -19/8?
False
Let x = -41052 + 41049. Is 4880 bigger than x?
True
Suppose -13*r = 12 + 40. Let q(n) = -4*n - 16. Let o be q(r). Suppose -5*k - m + 4 = o, 0*k = -k + 4*m - 16. Whic