). Which is bigger: c or b?
b
Let o = -24364 + 24374. Is o less than -445?
False
Let n = 2272 + -2730. Which is bigger: -444 or n?
-444
Let z = 256 - 492. Let c = 237 + z. Is c greater than 45?
False
Let p(b) = 3*b + 5 + 11 + 0. Suppose 5*j + 55 = -0*j. Let a be p(j). Which is bigger: -16 or a?
-16
Let s(c) be the first derivative of -16*c**2 + c + 42. Let v be s(-1). Let a = v + -33. Which is greater: a or -2.9?
a
Let i be ((-216)/1056)/((-6)/(-2096)). Which is smaller: i or -70?
i
Suppose 131*z = 3228 - 4397 - 20970. Are z and -170 unequal?
True
Suppose 7799 = -43*m - 4628. Is m at most -293?
False
Let y = 5.02 + 7.8. Let v = y - -0.18. Let j = -13.4 + v. Is j smaller than 0?
True
Let a(j) = -j**2 + 37*j - 5. Let l be a(39). Let w = l - -84. Is w at least 0.035?
True
Let c(d) be the first derivative of d**4/4 + 3*d**2/2 + d + 78. Let l be c(0). Let y be 82/(-70)*1 + 1. Which is greater: l or y?
l
Let a(y) = -3*y + 34. Let z = -46 + 18. Let m = 39 + z. Let i be a(m). Are i and -1 non-equal?
True
Let s be (-2*1)/12 - (8 - (-5434)/(-924)). Which is smaller: s or 29.6?
s
Let z be 1/(2/(-92)) + -3. Let o = 297 + -327. Let b = o - 20. Is b at least as big as z?
False
Let m be (2/12)/((-110)/(-49560)*14). Are 5 and m unequal?
True
Let i(g) = -g**3 + 15*g**2 + 4*g - 40. Let l be i(15). Let v be -2*(-2)/(-4)*-17. Suppose -81 = v*f - l*f. Which is smaller: f or -1?
-1
Let p = -3.9 - -4.075. Let i = p - -0.125. Is 0.11 greater than or equal to i?
False
Suppose 0 = 3*d - 117*h + 113*h + 12138, -12186 = 3*d + 4*h. Which is bigger: d or -4053?
-4053
Let u be (33 - (-3423)/(-105))/(1/(-85)). Are -761/22 and u non-equal?
True
Let t = 73 - 72.831. Let k = 22.831 + t. Which is smaller: 2/9 or k?
2/9
Let a = -3892.8 + 3890. Is 32 bigger than a?
True
Let i be -4 - (-7 + (32/4 - 6)). Is i less than or equal to 2/5541?
False
Let j = -117 - -142. Suppose 2*f + 14 = 4*s, -f + j = -6*f. Let q = -46 - -2437/53. Are s and q unequal?
True
Let t be (-8060)/60 + (-3)/((-18)/8). Let f = t + 132. Which is smaller: -2/193 or f?
f
Let c = 228 + -228.38. Let p = c + -0.62. Which is greater: -18 or p?
p
Let q = 3972/5 + -798. Let v(i) = -i**3 + 7*i**2 - 7*i + 1. Suppose -o - 28 = -4*k, k + o + 1 = 3. Let g be v(k). Is g at least as big as q?
False
Suppose -487*g - 5*q - 40 = -485*g, -2*g + 3*q = -24. Is 17/1826 != g?
True
Let g(j) be the second derivative of -j**5/120 - 3*j**3 + 11*j. Let m(x) be the second derivative of g(x). Let l be m(1). Which is smaller: -2/55 or l?
l
Let x = 6485/3663 - -3/407. Let b = x + -263/153. Which is greater: -2/3 or b?
b
Suppose 13398 = 22*i - 2030 - 24260. Does 1801 = i?
False
Let t be (0 - 30)/(40/8 + -106). Is 1 less than t?
False
Let r(q) = q**3 - 3*q**2 - 4*q. Let p be r(4). Suppose -84 = -p*k + 5*k + 4*i, 0 = 2*k - 4*i + 56. Let u = -917/2 - -459. Is k greater than u?
False
Let l be 25116/(-13) + -11 + 25. Which is smaller: 0 or l?
l
Let i be (6128577/(-3087) + (-32)/(-14))/(3/16). Which is smaller: -10577 or i?
-10577
Let u(v) = -v**2 - 12*v + 49. Let w be u(-15). Suppose -w*l - 2 = 22. Is l smaller than -1?
True
Let q be (-20)/5 - -3 - (3 + 2). Let x be q - (6/4)/((-12)/16). Let v be (-4)/(-22) - ((-1776)/1353)/x. Is 1 bigger than v?
True
Let f = -425 + 228. Let w(j) = j**2 - 21*j + 80. Let l be w(16). Is l > f?
True
Let p = 118/5 + -24. Let u be ((-15)/24)/((-161)/42). Let j = u - -297/1564. Is j at most p?
False
Let l = -3.03 + 3.2. Let t = -0.32 + l. Let r = 102.9 - 103. Which is greater: r or t?
r
Suppose -2*h - 22 = -5*a, 8 = 2*a - 0. Let n(q) = -q**3 - 10*q**2 - 12*q - 2. Let r be n(-8). Let u be 91/r - (-9)/6. Which is smaller: h or u?
u
Let c = -1159 - -2126. Let v = c + -972. Is v at most as big as 1.09?
True
Let q = -7 - -11. Let j = 18 + -20. Let l be j + 5 + -2 + 5/2. Which is smaller: l or q?
l
Suppose 5*h - 5*z = -31985 + 3020, 3*h = 4*z - 17382. Which is smaller: h or -5789?
h
Suppose -3192 = 2667*y - 2653*y. Are -221 and y non-equal?
True
Let t(k) = k**2 + 10*k + 18. Let j be t(-8). Suppose 0 = -5*i + 8*d - 6 - 29, 3*i = d - j. Which is smaller: 11/32 or i?
11/32
Let i(u) = -u + 15. Let m be i(11). Suppose -p - 4*f + 3 = 9, -6 = -m*p - f. Suppose -2*r + 26 = p*b - 10, -2*r + 4*b + 18 = 0. Is r != 16?
True
Let h = 0.09921 + 429.00079. Let v = -429 + h. Is v less than or equal to 302?
True
Let f be (-7 - 5)/(1/33*2). Let x be (1186/8)/(13 + (-110)/8). Are x and f equal?
False
Suppose 3*a = 6, -3*a + 8 + 6 = 2*u. Is 62 greater than u?
True
Let u = -177 + 495. Let j = -315 + u. Which is smaller: j or 4?
j
Let m = 6 + -9. Let w = -22912.6 - -22915. Is m > w?
False
Let w(c) = 6*c - 68. Let l be w(19). Let b be (-2)/6 + 133/3. Let v = l - b. Is v >= 5/7?
True
Let z = -49 - -52.61. Let o = z + -3.41. Is o bigger than -38?
True
Suppose -137*k + d = -138*k + 46, -2*k + 94 = d. Is k at least 36/11?
True
Let t = -577 + 599. Let l(r) = r**3 + 2*r**2 + r + 21. Let n be l(0). Which is smaller: t or n?
n
Let t = 10998 - 10962. Which is smaller: 136 or t?
t
Let g = 37417/7 - 5345. Which is smaller: -1/793 or g?
-1/793
Let x = -446/13 + 226988/6617. Let z be (-2)/(-3) + 4/12. Which is greater: x or z?
z
Let g = 1760 - 1762. Is -498 not equal to g?
True
Suppose -3*m + 5*g - 27 = 77, 0 = g - 4. Let k = 1 - m. Let a(w) = 9*w**2 + 4*w + 30. Let s be a(0). Which is greater: k or s?
s
Suppose 0 = l + l. Let f be 1/(l + (-1)/1). Suppose -199*h = -188*h. Is h < f?
False
Let r be ((-8735)/12)/((-35)/40). Let k = r + -2416/3. Are 28 and k equal?
False
Let l = -46123 + 14251993/309. Let h = l + 554/21321. Let x = 1481/1656 + h. Do x and 2 have the same value?
False
Let r = -1283 + 1283.4. Which is greater: r or -246?
r
Let c be 14 - 5 - (-2)/(2/(-5)). Let u be (6/c)/((-15)/(-10)). Which is smaller: -4/51 or u?
-4/51
Let d be (9 + -10 - (-153)/25) + 1. Let q = -3439/325 + d. Which is smaller: -3 or q?
q
Let w(f) = 2*f - 234. Let s be w(61). Which is smaller: s or -108?
s
Suppose -2*v + 7*v - 15 = 0. Let h(b) = 3*b**2 + 6 - 16*b**2 - 34*b + 197*b**v - 196*b**3 + 12. Let z be h(15). Is z greater than or equal to -41?
False
Let c = -2236 - -2234. Let p = 19751/29 + -681. Which is smaller: c or p?
c
Suppose 10*l + 93 = -47. Let g = 49 + -54. Let r be g/(-16 - 4) - (-45)/(-4). Which is greater: r or l?
r
Let y = -256 - -369. Let m(l) = l**3 + 32*l**2 + 242*l + 17. Let u be m(-19). Is y greater than or equal to u?
True
Let i be (-2)/3*(-9)/3. Suppose -2*c + 12 = 5*a, 3*a + c - 167 = -159. Suppose i*p = -a*p - 12. Is p greater than or equal to -9/7?
False
Let l(g) = -g**2 - 7*g - 7. Let n be l(-6). Let t be ((-9)/420)/(1620/105). Is t at least n?
True
Let h(f) = -192*f + 2160. Let s be h(11). Is 17.1 at most as big as s?
True
Let a be ((-24)/(-27))/4 - 20/(-315). Let l = 0.04 - 0.24. Let f = l + -0.6. Is f at most a?
True
Let j be (-150)/(-56) + 4/(-16). Suppose 27*g = 29*g - 4*p - 22, 2*g + 2*p = 4. Suppose 6*a = m + 2*a + 15, g*m = -3*a + 17. Do j and m have the same value?
False
Suppose -6*y + 12*y - 858 = 0. Suppose 0 = 2*n + 3*m - 280, 236 = -5*n - 5*m + 941. Are y and n equal?
True
Let q(a) = -31*a**2 - 385*a + 2339. Let f be q(6). Does -1081 = f?
False
Let p be 4/(527/34 - 15). Which is greater: 148/19 or p?
p
Let j = -47 + 48. Let l be (10/2075)/(j/(-5)). Is -1 smaller than l?
True
Let u(p) = p**3 + 4*p**2 - 6*p - 4. Let w be u(-5). Let x(i) = i**2 + 30*i - 31. Let r be x(-24). Let m be (-435)/r + (6/(-21))/w. Is m < 3?
True
Let y = 42 - 36. Suppose -3*z = -5*z - y. Let k be (-1 + -1 - z) + (-21)/24. Which is greater: -1 or k?
k
Suppose 0 = -5*w - 3*s + 8, s + 3*s = -4*w. Suppose 38 = 4*k - 10. Which is smaller: k or w?
w
Suppose -23388*l - 2 = -23390*l. Do 2/28873 and l have different values?
True
Suppose -6431 = -77*r - 19213. Does -147 = r?
False
Suppose -78921*q + 78900*q - 31941 = 0. Which is smaller: q or -1519?
q
Suppose 2*y + 4*q = 64, 3*y + q = y + 52. Suppose -y*v - 720 = -4*v. Which is smaller: v or -33?
v
Let n be 11/(-3)*(-3 + 6). Let x = n + 13. Suppose x*q - 8 = -6*q. Which is smaller: q or -1/4?
-1/4
Let t be (-1)/((-36)/48)*15/(-50). Is 0.8651 >= t?
True
Let w = -357 + -49. Let l = -844 - -437. Which is smaller: l or w?
l
Let p be 1/(-3) - 15/81. Let z be 2 + (-3)/1 - (48 - 48). Which is greater: p or z?
p
Let g be (7788/126)/(8