uppose -3*p - 2*r = -355, 3*r = -2*p + p + 130. Let m be 5643/45 + 4797/(-492) + 1/(-4). Which is bigger: p or m?
m
Let r be -1 - -57*2/30 - 3. Which is greater: r or -0.197?
-0.197
Let c be (-2)/861*(-3)/(-24)*-3. Let r be (3/(-9)*0)/((-3)/(33/22)). Is c > r?
True
Let s(i) = -i**2 + 5*i + 2. Let a be s(4). Suppose -a = -4*g + g. Let b(f) = 965*f + 3. Let w be b(0). Which is smaller: w or g?
g
Suppose -4*i - 13 = -1. Let m be 4/(-6)*27/i. Let q(d) = d**3 - 6*d**2 - d + 7. Let u be q(m). Which is greater: -6/17 or u?
u
Let f = 561.869 + 6.131. Which is bigger: -1/4 or f?
f
Let g(s) = 3*s**3 + 11*s**2 + 39*s + 7. Let f be g(8). Is 0 at most f?
True
Let p = 6 - 8. Let r be (-1 - p)*(-4 + 3). Suppose -188*y - 2 + 2 = -57*y. Which is greater: r or y?
y
Let a = 39 - 39.12. Let h = a + 0.25. Suppose -14*n - 15 = n. Which is bigger: n or h?
h
Let v be 10076/20 - (-18)/15. Let n = 343 - v. Does -163 = n?
False
Suppose -4*h = -2*g + 288, -2*h - g + 781 - 937 = 0. Suppose 73 = -t - 0*t. Is h greater than or equal to t?
False
Let r = 141780 + -49197626/347. Is -1 != r?
True
Let h = 2425 - 2426. Do h and -6/79 have the same value?
False
Let c = -3319 + 3349. Suppose -3 + 2 = -s, -5*r + 268 = -2*s. Suppose -3*i + 3*t = -81, -2*i + 8 = 2*t - r. Which is smaller: i or c?
i
Let k = 80 + -104. Let n = -42 - -38. Let c be (1 - (n + 4)) + -26. Is k at most as big as c?
False
Let n be (-1074)/3 + -2 + 965/(-193). Which is smaller: -375 or n?
-375
Let j = 5372 + -123520/23. Which is smaller: 3 or j?
j
Let d(k) = -k**3 + k**2 + 4*k + 4. Let m be d(-3). Suppose f = 44*v - 49*v + 144, f = v - 30. Which is smaller: m or v?
m
Let u = 22536452/8789 - 28203/11. Let h = 10111/17 + -595. Let p = h + u. Which is greater: p or 1?
1
Let k(u) = -u**3 + 26*u**2 + 58*u - 56. Let p be k(28). Suppose -5*w = -5*g - 20, p = -5*g + 3*w - 5 - 7. Which is bigger: g or -7?
g
Let r = -82 + 82. Suppose r = 3*g - 2*g - 18. Suppose g*q - 17*q + 2 = 0. Is -7 > q?
False
Let j = -9485 - -9485. Is -0.1471 > j?
False
Let g = -4934 - -4936. Which is bigger: g or 1391?
1391
Suppose -2*s + 3*n - 26 = -7*s, -2*s + 2*n = -4. Suppose 7*a = s*a + 12. Suppose -q - q = -k - 5, -a*k + 12 = 0. Which is smaller: 3 or q?
3
Let k = 20525 - 22830. Are -2300 and k non-equal?
True
Let y = 13232 + -13227. Suppose 3*m - 24 = -0*m. Which is bigger: y or m?
m
Let h = -17452 + 27474. Is 10023 < h?
False
Suppose x = -5*h + 79620, -5*x = 3*h - 46821 - 929. Do 15924 and h have the same value?
False
Let z = -630 - -860. Which is smaller: z or 232?
z
Suppose 11*t - 11*t - 8*t = 8. Let x be -8*2*1/34. Is x bigger than t?
True
Let c(x) be the first derivative of -x**4/2 - 20*x**3/3 + 10*x**2 - 22*x - 55. Let r be c(-11). Which is smaller: r or -55?
-55
Suppose -2*t + 8 = -0*t, -2*t = 3*f - 20. Let i be (-1)/(f/(-6)) - 55/22. Let x be 3 - (i - -2)*5. Is x at most as big as 1.1?
True
Let u(x) = 11*x - 107. Let q be u(8). Let y be ((-88)/q + -5)*-2. Is y equal to 1?
False
Let u(p) = p**3 + 6*p**2 - 2*p - 2. Let b be u(-6). Let k be 6/(-6) + 10 - -4. Is b at least k?
False
Let a = 410 + -391. Is 1 at most as big as a?
True
Suppose 5*m - 3*o = -6, 2*o = 5*m + o + 2. Let v = 891 - 891. Do v and m have different values?
False
Let p(n) = -5*n**2 - 10*n + 11. Let y be p(-7). Suppose -206*a - 14 = -192*a. Which is smaller: a or y?
y
Let t = -242.6 - -238. Let y = 24 - 20.4. Let x = y + t. Which is bigger: x or 0.51?
0.51
Let k(v) be the first derivative of v**4/4 + 7*v**3 + 10*v**2 - 5*v + 11. Let u be k(-20). Which is bigger: u or 1?
1
Let w be (-10)/(-65) + (-1 - -3 - (-432760)/65). Which is smaller: w or 1?
1
Suppose 27*w - 735 = -8*w. Which is smaller: w or -67?
-67
Let t = 2768 - 2764. Do t and -15 have different values?
True
Let s = -242 + 183. Let i = s + 59. Are i and 1.8 nonequal?
True
Suppose -6333 = 74*s + 1067. Which is smaller: s or -112?
-112
Suppose 2*d = 4*p - 216, 3*d + 127 = 3*p - 182. Let r = d + 87. Let n be (-3)/(-18) - (-622)/(-60). Which is smaller: n or r?
r
Let n be -1 - 310/(-15)*-45. Is n > -924?
False
Let v = -892 - -745. Let j = v - -150. Suppose -4*x = 16, -4*l - 6*x = -x + 12. Which is smaller: j or l?
l
Let t(a) = a**3 + a**2. Let o be t(0). Let z be ((96/518)/16)/3. Which is smaller: z or o?
o
Let b = -270.87 - -495.84. Let j = b + -225. Are j and -3/5 unequal?
True
Let t = 169 + -170.4. Let h = -2.4 - t. Let f = 0.2 - 1.4. Which is bigger: f or h?
h
Let g be 4/(-10) - (0 - 60/25). Suppose -g*z + 21 = z. Let j(u) = u**2 + 4*u + 4. Let q be j(-3). Is q bigger than z?
False
Let h be 2064/(-180)*4/210. Let o be (1/150)/((-5)/(14*-10)). Let i = o + h. Which is smaller: i or -1?
-1
Suppose 2*w - 5*w = 111. Suppose -22*c + 297 = 1045. Is w greater than or equal to c?
False
Let g be (-64)/6 + (-108)/81. Let q be 90/(-28) + (-30)/g. Does q = -0.06?
False
Suppose 4*q + 40 = -3*b - 171, 5*b = 2*q + 99. Which is greater: -75 or q?
q
Suppose 61*v + 5*o + 41 = 60*v, -5*o = 6*v + 46. Which is greater: v or -0.14507?
-0.14507
Let d be -4 - (322/6 + -3). Let j = d + 54. Let k = 3 - -17. Is j at most as big as k?
True
Let m be (2/((-20)/45))/((-9)/(-48)). Let g = m - -48. Let t be (-2*2/g - 0)*4. Which is greater: t or 2/11?
2/11
Let z be 2/(-6) - 130/(-30). Suppose -3*d = -0*d + 4*p - 5, 4 = -z*p. Suppose 15 = -u + 2*n - d, 5*u - 4*n + 114 = 0. Is -26 smaller than u?
False
Suppose 140 + 275 - 43 = -12*m. Is -407/13 not equal to m?
True
Let l = 121 - 187. Let d = l - -103. Suppose -5*z + 7 = d. Is -2/7 not equal to z?
True
Let w be 6/(-9) + 161/84*4. Suppose w*s - 209 = -4*s. Is s < 25?
True
Let v be (22545 - 1) + (-6)/(-4 + 1). Let h be 4*v/(-689)*9/(-133). Let m = h - 2/13091. Is m at least 9?
False
Suppose -b - 5*c = -45, 3*c + 253 = 2*b + 3*b. Suppose -6*z = 46 + b. Is z equal to -16?
True
Let p = -3731 + 3675. Let j(k) = -7*k - 6. Let q be j(7). Is p greater than q?
False
Let v be 8 + 258/(-30) + 100108/630. Let a = 629/7 - v. Is -68 >= a?
True
Let n(x) = 8*x**2 - 10*x + 2. Let l be n(3). Let i be (-33)/l + 30/32. Which is greater: i or 2/3?
2/3
Let x = -6755657/222 + 30431. Is -1 bigger than x?
False
Let s = 99 + -88. Suppose 7*c + 18 = s. Is c >= -72/7?
True
Suppose -b - 76 = -81. Let w(k) = 3*k**3 - 2*k**2 - 7*k + 20. Let q be w(b). Is q at most as big as 1/2?
False
Suppose -5*v - 6*n = -25027, v + 5*n - 25025 = -4*v. Is v greater than or equal to -2?
True
Suppose -41 = -23*n + 51. Let s be n/(-9) - ((-31273)/1980 - -14). Is s equal to 2?
False
Suppose 125*a = 117*a - 1288. Let z = a + 160. Which is smaller: z or 341?
z
Let n be (-390)/(-150) + 4/10. Suppose 4*i = -x - 3 - 0, 2*x - n = i. Which is smaller: i or 3/839?
i
Let h be (1 - 1) + 66/(-12). Suppose -2*z + 20 = -4*k, 2*k + 3*z = 255 - 273. Are h and k equal?
False
Let b be -2*(-1)/(-4)*30/(-5). Suppose -b = 3*d + 5*w, -3*d - 24 = -w - 3. Which is greater: -9 or d?
d
Let x = 173 + -165. Let d(j) = -j**3 + 10*j**2 - 16*j + 1. Let s be d(x). Is -180 >= s?
False
Let v(r) = -2*r**3 + 40*r**2 - 2*r + 25. Let p(z) = z**3 - 7*z**2 - 23*z + 140. Let m be p(8). Let i be v(m). Is -15 less than i?
False
Let l be (-8 + 7)*(-1 - 2). Suppose 0 = l*z - 12, -m - 342 = m - z. Which is greater: m or -170?
m
Let k = 23.62 - 25.62. Let z = 8.3 + -9. Do k and z have the same value?
False
Let w be 3 + 7/(70/(-8)). Let m(a) = -2*a - 26. Let g be m(-13). Suppose g = -0*x - x + j, 3*j - 6 = -3*x. Are w and x unequal?
True
Let y(z) = -z**3 + 9*z**2 - 6*z - 11. Let l be y(8). Suppose -l*u + 163 = -82. Suppose -3844*m + 3836*m + 392 = 0. Is u less than m?
False
Let w be (-2)/(((-5)/455)/((-2)/(-4) + 0)). Let s(o) = -o**3 + 2*o**2 + o - 1. Let x be s(-4). Let i = w - x. Which is smaller: -4/89 or i?
-4/89
Suppose -220*f = -214*f - 24. Suppose 2*a - a - f*l = -22, -l + 16 = -2*a. Is a at most -1?
True
Let j = 10 - -13. Let x(v) = -3*v - 35. Let z be x(-12). Let t be z*(-8)/40 + 121/5. Which is smaller: j or t?
j
Suppose -2*b - 3*b + 195 = 0. Suppose 4*m = 2*l - 102, -l + 4*m = -m - b. Let t = 59 - l. Is t > 7/5?
False
Let a be (12/(-24))/((-1)/(-126)). Let r be (108/a)/(4/(-14)). Is r greater than 10?
False
Let d be 45/(-6)*(-40)/25. Let r be 6/d*13*(-3)/2. Is r bigger than -10?
True
Let w be (-56*(-12559)/304)/(3/(-6)). Which is greater: -4629 or w?
w
Let j = -3293.1 - -4063. Le