?
b
Let d(l) be the first derivative of -l**4/4 - 4*l**3/3 + 3*l**2/2 - 6*l + 26. Let j be d(-4). Is 4 bigger than j?
True
Suppose -9*a = -45 + 9. Suppose 132 = -a*b + 36. Which is greater: -25 or b?
b
Let b = -494914 - -3474489/7. Let f = b - 1433. Is -0.1 at least f?
False
Let l(c) = -c**3 - 13*c**2 + 14*c - 242. Let m be l(-15). Which is bigger: m or -1713?
m
Let z = -2.4 + 10.4. Let q be -14 + 12 - 3*-2. Suppose -4*x = 2*s + 2, 6*s = 5*x + q*s + 16. Which is bigger: x or z?
z
Suppose 2*s + s - 18 = -3*l, -18 = -4*l - s. Suppose 0 = 5*t + l*d - 655, 204 = 3*t + 5*d - 202. Let v = t - 124. Do 2 and v have the same value?
False
Let v = 1490 + -2823. Let p = v + 7975/6. Which is greater: p or -3?
-3
Let u be (-1440)/(-2484)*12/8. Let n = -37 - -39. Suppose k = -5*z + 5, -4 = k - 2*z - n. Are u and k unequal?
True
Let j(m) = 927*m + 908. Let i be j(-1). Is i at least 0.44?
False
Let x = 0.01 + 0.07. Suppose 561*o - 562*o + 4 = 0. Let w be 9/o - (-69)/92. Which is smaller: w or x?
x
Let j = 399 - -26. Let n = j + -303. Let y = 121 - n. Which is bigger: y or 45?
45
Let a = 34576/11 - 3143. Which is greater: a or -2.19?
a
Let n = -2.96309 - -0.06309. Which is smaller: n or 3/13?
n
Let h = -6726 - -54722735/8136. Which is smaller: h or -1?
-1
Let j = 1606/175 + -58527808/6377525. Which is smaller: j or -1?
-1
Suppose -5*d = -13 - 2. Suppose d*z = -5*c + 19, -c - 20 = -4*z - 5*c. Let v = -95 + 98. Is z <= v?
True
Let t = -1 + 8. Suppose r + 220 = -0*g + g, -g + 1116 = -5*r. Let j = -1118/5 - r. Which is greater: t or j?
t
Let h = 54689 + -54688.8. Let n = -104.043 + 104. Let r = -4.243 - n. Are h and r equal?
False
Let g = 8 - 16. Let y be 0/((-6)/(-4) + (-20)/g). Is 2/57 not equal to y?
True
Let a = -1597.1 - -1597. Is a at most as big as 29/11?
True
Let b(u) = 3*u**2 + 2*u + 2. Let r be b(-1). Let w be (-270)/(-20)*((1 - 0) + r). Suppose -w = 5*m - 9. Is m greater than -10?
True
Let r be 4/14 + 4248/28 + -5. Let w = 174 - r. Is 141/5 at most w?
False
Suppose 0 = -2*f + 5*b + 27, 3*b + 10 = 5*f + 2*b. Let y be -10 + 5 + 4 + (-51)/f. Is y >= 3?
False
Let l = 15 + -10. Let v = -7.5 - -1.5. Let r = v + l. Which is bigger: 20 or r?
20
Let o = -565 - -872. Let j = -214 + o. Which is greater: j or 92?
j
Let y = 15468 + -494979/32. Is -2/3 > y?
False
Let o = 117 + -192. Let p = 170.6 + -95.5. Let k = p + o. Which is smaller: k or 35?
k
Let u(h) = -93*h + 316. Let s be u(7). Is -335 equal to s?
True
Suppose 0 = -135*a - 27424 + 9199. Is a <= -156?
False
Suppose 0 = -y - 3*y + 64. Let x = -0.3483 + 0.2483. Which is smaller: y or x?
x
Suppose 8*d + 1 - 25 = 0. Suppose 2*y - 5*u + 5 = 0, 4*y + y + 3*u - d = 0. Suppose -5*t + 2*a = 5*a - 49, a - 3 = y. Which is bigger: 9 or t?
9
Let d(k) = 6*k + 15. Let n be d(7). Let m = n + -54. Let u be 3/(-6) + m/(-6) - 0. Is u smaller than -3/17?
True
Let h be ((-6)/9)/(750/823275). Is -731 greater than or equal to h?
True
Suppose 5*d - 20 = 0, 8*d - 11*d = 2*q - 148. Let l be 71 + -2 + -1 + -2. Which is smaller: l or q?
l
Let p = -2.02 + -42.98. Let n = -41.6 + -2.4. Let o = p - n. Which is bigger: 33 or o?
33
Let y = 0.187 - -1.813. Let j be (2 - -2) + (-3)/(-12) + -4. Is j at most as big as y?
True
Let r = -2266.1 - -2264.3. Which is bigger: 0.069 or r?
0.069
Let i be 85802432/(-8664) + 1/3. Let s = 9903 + i. Which is bigger: 1 or s?
1
Let o(x) = -x**3 + 12*x**2 + 24. Let t be o(7). Suppose t*b + 6 = 272*b. Which is bigger: b or 26/11?
26/11
Let j = 9931 + -9222. Which is smaller: 708 or j?
708
Let p = -965.2 - -114.4. Let d = 815.87 + p. Let z = d + 35. Is 3 <= z?
False
Suppose -3*u - 16 + 0 = -2*s, -u - 5*s + 23 = 0. Let h be ((-32)/(-128))/(u/(-1576)) + 6. Is h at least 201?
True
Let w = 666 - 440. Let x = 234 - w. Which is smaller: x or -0.8?
-0.8
Let l = -25 + 77. Let j = -68 + l. Is j not equal to 8?
True
Let n(a) = 6*a - 12. Let i be n(4). Suppose k + k = i. Suppose b = -2*l - 2, -b - 2*b = k. Which is bigger: l or 1/15?
1/15
Let o = -14982/5 + 5453243/1820. Let c = 421/13356 - -2/477. Let w = c + o. Which is greater: w or 1?
1
Let b be (7/(350/8))/((-8)/(-360)). Let u = 0.283 + -4.283. Which is bigger: b or u?
b
Let u = 597 - 789. Which is bigger: -0.6 or u?
-0.6
Let g = -1049765/81 + 12960. Let h = 5 + -4. Which is greater: h or g?
h
Suppose 46259 + 43093 = 36*f. Which is smaller: f or 2483?
f
Let f = -2415/1591 - -51/37. Which is smaller: 1/3 or f?
f
Let x(r) = 29*r + 187. Let k be x(-8). Let c = 93 - 43. Let l = -96 + c. Is k at least l?
True
Let s = 7049/59851872 + 1/92364. Which is smaller: s or 1?
s
Let d = 7481 + -7544. Which is greater: -64 or d?
d
Suppose -35*r = -593 + 208. Is r at least as big as 36?
False
Let f = -6 + 4. Let z(o) = -12*o + 5. Let c be z(0). Let s be 75/(-6)*(-6)/c. Which is smaller: s or f?
f
Suppose o - 480 = 5*j - 0*o, 2*j - 3*o = -192. Suppose s + 72 + 23 = -h, -s = 0. Do j and h have the same value?
False
Let x be ((-13)/12 - -2) + (-18)/27. Let z = -365 - -29561/81. Which is smaller: x or z?
z
Let a be -7 - 3*(-1174)/6. Suppose 14*j - 10*j = a. Are j and 146 unequal?
True
Let z = -1391 + 1393. Are 31/15 and z equal?
False
Suppose 3*z - 619 = -4*r, -211 = -z - 0*r + r. Let g = -162 + z. Let s be 3 - (-2 - 5)*6. Is g greater than s?
True
Let u(i) = 1591*i**2 - 409*i - 1229. Let s be u(-3). Is 14317 at least s?
True
Let f be 0/2 - 1761/(-27). Let l = f - 65. Let d = 6200 - 6201. Which is bigger: d or l?
l
Let w(a) = -a + 10 - 13 + 2. Let x be w(-1). Let r be (0 - (-1)/3)/(1/(-2)). Which is smaller: x or r?
r
Suppose 31*v - 4 = 27*v. Which is bigger: v or -1/2620?
v
Let g = -30447 - -7155031/235. Are 0 and g equal?
False
Let p = 164 + -144. Let c = p - 23. Do -23 and c have the same value?
False
Suppose -3*w - 2277 = 3*v, 3*w + w = -v - 3042. Is w greater than or equal to 13?
False
Let l be 310640/2992 + (-2)/(-34). Is l greater than 104?
False
Let x be 154/255 - 42/315. Is 1 less than x?
False
Let y = -64740.9457 - -64735. Let h = y - 0.0543. Let s = -5.98 + -0.02. Is h less than s?
False
Let p(h) = 5*h + 25. Let c be p(14). Suppose -5*q = -c + 5. Which is smaller: q or 11?
11
Let w = 0.18 + -0.35. Let r = -0.17 - w. Let v = 44.7 + -13.7. Are v and r non-equal?
True
Let n = 33602 - 33584. Which is smaller: n or 0.563?
0.563
Let y be (26 + -23)/((-6)/40). Which is smaller: y or -2/87?
y
Suppose 0 = -3*u - 3*p + 21972, -u - p - 4*p + 7328 = 0. Let m = u - 36439/5. Are 36 and m nonequal?
True
Let x be ((-15)/(-60))/(-1)*-4. Which is smaller: x or 12/845?
12/845
Suppose 2*w - 10 = 4. Let y be 2/(-7) - 5/w. Let j = -13590 + 13621. Which is smaller: y or j?
y
Suppose 150 = 5*b + 4*x + x, 4*b = 2*x + 144. Suppose -4*c - b = -26. Which is greater: c or -18?
c
Let i = -5728 - -6049. Which is greater: 320 or i?
i
Let y be -21 - -15 - 16/(-3). Let l = 75 + -78. Which is greater: y or l?
y
Let d be (93/(-8))/(12654/840 - 15). Which is bigger: -180 or d?
-180
Let s = -2.6 - -2.874. Let c = s + -0.3. Let r = -0.226 - c. Is 2.7 smaller than r?
False
Let c be (-202)/(-8) - 3 - (-4)/(-16). Is 56 less than c?
False
Let y(p) = p**2 - 15*p + 50. Suppose 69*g - 72*g + 15 = 0. Let d be y(g). Is d > -27.3?
True
Suppose -2*y + 5*w - 2*w - 469 = 0, -4*w - 948 = 4*y. Is 24 less than or equal to y?
False
Let q be -6 + 16/24 + (-32)/(-6). Which is greater: 3/314 or q?
3/314
Let p be (-7 - -6)/(7/42) + 160/28. Let j = 3 + -8. Which is greater: j or p?
p
Let q = 307/425 + -21/25. Let b = 3387 - 3399. Which is bigger: q or b?
q
Suppose 5*d - 2*d - 5 = -2*v, 2*d + 2*v = 0. Suppose d*h = -0*h. Let n be (3 - 1) + 416/(-221). Which is greater: n or h?
n
Suppose 1856*q = 1845*q. Are -8/223 and q unequal?
True
Suppose 0 = s + 3 - 0. Let w be 5 + s + (0 - 1). Let z be w + -5 - 1*-1. Is z equal to -1?
False
Suppose y + 9 = -4*p, 2*p + 6 = 5*y + 5*p. Suppose 4 = 2*s, 2*s - 7 = -2*a + a. Suppose -a + 2 = d. Are d and y equal?
False
Let s = 7578 - 6115. Which is smaller: 0 or s?
0
Let z = -7007 + 196199/28. Does z = -1.66?
False
Let u = -319/82 + 24809/6314. Is 6 > u?
True
Let j(w) = -31*w - 55. Let s be j(3). Let k = s + 146. Let d = 0.04 - 3.04. Which is smaller: k or d?
d
Let j = 287287/267 + -1076. Let g = j + 662/21093. Which is greater: -1 or g?
g
Let i be (-798)/(-270) - (-1 + 4). Let n = -121/315 + i. Suppose