igger: o or -95?
-95
Let a = -21905623 + 32354603286/1477. Let p = 2/211 - a. Which is bigger: 2 or p?
2
Let n = 188 - 210. Suppose -l - 5*c = 31, -55 - 19 = 4*l - 5*c. Is l < n?
False
Let l(b) = -11*b**3 + 4*b**2 + 16*b + 35. Let z be l(-3). Which is smaller: 321 or z?
z
Suppose 127 = -8*g + 71. Which is bigger: g or -2/9?
-2/9
Let s = -13618 - -667328/49. Which is smaller: s or 1?
s
Suppose -2*s + i + 10 = 0, 0 = 5*s - 2*i + 3*i - 25. Suppose h - 3 = 1. Let k(c) = -c**3 + 5*c**2 - 3*c. Let l be k(h). Which is smaller: l or s?
l
Let d(r) be the third derivative of r**4/12 + 3*r**3/2 + 7*r**2. Let b be d(3). Which is smaller: b or 14?
14
Let k(t) = -t**2 - 8*t + 65. Let w be k(-13). Let f be -1 - 4 - (w - 22). Is 15 less than or equal to f?
True
Let b = 11 + -12. Let t = 39989/17 - 2351. Let f = -24/17 + t. Is b < f?
True
Let t(b) be the first derivative of b**5/120 + b**4/4 - 4*b**3/3 + 5. Let g(p) be the third derivative of t(p). Let i be g(-5). Which is smaller: i or 0.5?
0.5
Suppose 0 = -9*u - 113 + 122. Is u greater than 15/73?
True
Let m = 11/8 - 23/8. Let y(a) = a**2 - 11*a - 10. Let x(b) = b + 1. Let v(d) = -x(d) - y(d). Let z be v(11). Which is bigger: m or z?
m
Let y = -36 - -41. Suppose 0*z = 5*z - 4*d + 4, 0 = z - y*d + 5. Let t = 71/5 + -1983/140. Is t greater than z?
True
Let m be -4 - ((-1)/(-2) + (-18)/(-4)). Let v be (24/(-40))/(m/6). Let a = 47/33 - 12/11. Is a bigger than v?
False
Suppose 0*t + 70 = t. Which is smaller: 72 or t?
t
Let h(l) = 0*l + 5*l**2 + 10*l - 8*l. Let t be h(-1). Suppose 2*p - 6 = -2*p + 5*u, 5*u - 22 = -t*p. Is p greater than 2?
True
Let k be (14/6 - 1)*1. Let o(j) = -j**3 + 13*j**2 + j + 11. Let w be o(13). Let g be ((-5)/(-4))/((-54)/w + 2). Is g >= k?
False
Let p = 343 - 356. Let h(i) = 14*i. Let l be h(-1). Are p and l nonequal?
True
Let s(r) = -r + 6. Let x be s(20). Let n be x/(-10) + 4/(-10). Is -2/31 equal to n?
False
Let u = 290.5 + -291. Which is greater: u or -45?
u
Suppose -4*p + 5*p - 3*p = 0. Suppose y - 16 = -3*y, p = -4*u - 4*y + 4. Are -10/3 and u equal?
False
Suppose 26*y = 8*y + 234. Suppose 0*s + 52 = -4*s. Let z = y + s. Which is bigger: z or 1/12?
1/12
Suppose 0*f + f = 95. Let x be (-2)/(-10) + f/150. Is 2 less than or equal to x?
False
Let u = -43.1 + 42.1. Are u and 42 equal?
False
Let h be 5 - 4*(-1)/(-2). Let w(o) = -o**3 - 16*o**2 - 3*o + 9. Let k be w(-15). Let s be (-1)/6 + k/(-54). Is h <= s?
True
Let l(o) = -o**2 + 18*o + 22. Let h be l(19). Suppose 5*q = k + 1, 2*q - 3 = -2*q + h*k. Which is bigger: 3/14 or q?
3/14
Let r = -1/157 - 454/2669. Suppose 2*s = 7 - 3. Let x be (14/28)/((-1)/s). Which is bigger: x or r?
r
Let y(r) = -28*r - 2. Let o be y(1). Which is smaller: -31 or o?
-31
Let l = -12 - -48. Let v be 518/(-12) + (102/l)/17. Is v smaller than -85/2?
True
Let l(v) = -7*v**2 - 71*v - 10. Let t be l(-10). Which is bigger: t or 2/1181?
2/1181
Let y = -49 - 272. Is y > 0.1?
False
Suppose u + 12 = -2*u, -2*u = 5*j + 8. Suppose j = -3*l + 16 + 20. Let c be ((1 - 1) + 10)/1. Which is smaller: c or l?
c
Let k(p) = -4*p**2 - 25*p - 40. Let x be k(-7). Are -51 and x unequal?
True
Let b = 21 + -2. Let l be (b/15 + -1)/((-6)/(-30)). Which is bigger: l or 2?
2
Let p be 4199/858*(23 - 3). Suppose 3*i = 4*v + 282, i - 3*i + 208 = 4*v. Let z = p - i. Is 1 equal to z?
False
Let m be (12 - 13) + 10 + -38. Let g(j) = j**3 - 7*j**2 + 4*j + 4. Let s be g(4). Is m at most s?
True
Let u = -51 + 47.1. Let l = 4 + u. Is l at most as big as 0.24?
True
Suppose -3*k = 2*k - 20. Suppose -h + 4*a = a + k, -a = -1. Which is greater: h or 2/41?
2/41
Let q = 301 + -299. Do q and 22/3 have the same value?
False
Let p = 169/2 + -83. Let d = p - 1. Let m = 0.6 + -0.7. Do m and d have different values?
True
Suppose m = 4, -4*j + 2*m + 2*m = -44. Let y = j - 20. Let g be y/(-1 - 0) - 3. Is -4 at least g?
False
Let o = 2919.9 + -2770. Let a = o - 137. Let b = 13 - a. Is 1/3 < b?
False
Suppose 0 = 3*b + 2*b - 5*u - 880, 5*b = -5*u + 880. Let d be (-3)/(-12)*b/6. Is 8 at most as big as d?
False
Let w(l) = -l**2 + 6. Let j be w(-4). Suppose 3*k + 3*i + 150 = 0, 3*k + i + 154 = -0*k. Let z be 8/k + (-282)/26. Which is bigger: z or j?
j
Let z = -67/40 + 1/120. Suppose -5*y - 5 - 5 = 0. Let h = y - z. Which is bigger: h or -0.1?
-0.1
Let n = 422 + -421.76. Let r = -4 + 7. Let l = -3 + r. Which is smaller: l or n?
l
Let y(i) = -i**3 + 3*i**2 - i + 2. Let a be y(3). Is -1/58 not equal to a?
True
Let i(s) = 78*s**2 + 4*s + 3. Let x be i(-1). Let r be 22/x*(-7)/(-220). Is r > 1?
False
Let y = -875/2 + 437. Is 3 at most as big as y?
False
Let m = -10349/9 + 1151. Let w(r) = r**3 + 2*r + 3. Let h be w(0). Suppose -2*s = -p - 2, p + 2 = h*s - 2. Which is greater: p or m?
p
Let p be ((-4)/28)/(72/7980). Which is greater: p or -15?
-15
Let b = 212 + -2330/11. Suppose -5*u - 6 = -i - 30, 2*i = 3*u - 13. Which is smaller: i or b?
b
Suppose 4*t = -3*g - 1, 4*g - 3 = -5*t - 4. Let i be 5/((-8)/(-12) + t). Let o be 12/42 - i/(-126). Which is greater: o or 0?
o
Let w be 24/(2/16*(-5 + 8)). Suppose 3*r + g = -w, -g = r - 2*g + 24. Which is smaller: -21 or r?
r
Let t = -55952/95 + 589. Is t < 1?
True
Let i be (-3)/(-15) + (5832/(-20))/3. Is -98 less than i?
True
Suppose 4*s = -4*q + 12, -4*s + 0*q + 3*q - 16 = 0. Let o = 4 + -11. Let w = o + 7. Which is smaller: w or s?
s
Let j = 294/5 + -59. Let q = -0.2872 + 0.4872. Which is smaller: q or j?
j
Let s(a) = a**3 + 9*a**2 + 9*a + 9. Let y be s(-8). Let j be y/(-3) - (-9)/27. Let i be (3 - j) + (-36)/6. Which is smaller: i or -5?
-5
Let v(d) = -d**3 + 5*d**2 - 2*d - 2. Let b be v(2). Let f be 26/130 + 1/(-5). Which is bigger: f or b?
b
Let w = -11076 + 11096. Let n(p) = 22*p**3 - p**2 - p + 1. Let f be n(1). Which is smaller: w or f?
w
Let g be (-1 - -1)*5/10. Is 3 not equal to g?
True
Let z(u) = u**3 + 4*u**2 + 4*u + 17. Let n be z(-4). Which is greater: n or 5/27?
n
Let v = 55 + -53. Let o = -28 - -28.3. Which is greater: v or o?
v
Let q = 428 - 460.04. Let f = q + 32. Let g = -11 - -45/4. Which is greater: f or g?
g
Let c = 577 + -576. Which is smaller: -8/179 or c?
-8/179
Suppose 0 = 2*h - 3*z + 1836, 2*h + 4*z = -2427 + 591. Let d = 3637/4 + h. Which is smaller: 0.1 or d?
d
Suppose -524 = 4*s - 2*d, -186 = 5*s + 2*d + 451. Which is smaller: 0 or s?
s
Suppose -2*r = -5*w - 0*r + 12, -3*r = -5*w + 13. Suppose -w*z + 5*z + 51 = 0. Let q be (0 - 1)/((-3)/3)*-16. Is z less than or equal to q?
True
Let c = -371 - -316. Which is smaller: c or -54?
c
Let b(g) = -g**2 - g. Let p be b(2). Let u be (-7)/3 + (-2)/p. Let t = 61 + -60. Which is greater: t or u?
t
Let f = 1.1 + 0.9. Let q = f - 14. Let y = -14 - q. Is 4 greater than y?
True
Let q(v) = 2*v - 5. Let u be q(-7). Suppose 37*t - 169 + 872 = 0. Is t equal to u?
True
Let y = 2/615617 - -4931707773/4309319. Let s = -1140 + y. Is s < 0?
False
Let y be (2/(-6))/(1680/(-288)). Which is greater: -0.28 or y?
y
Let d = -34 - -30. Let m be -2 + d*6/(-16). Is m < 16/5?
True
Suppose 5*r + j - 443 = 0, -j - 273 = -3*r + 2*j. Suppose 5*a - 20 = -x, -x - 30 = -2*a - 3*a. Suppose -a*p + 1 + r = 0. Which is greater: 16 or p?
p
Suppose 9*t - 10 = 17. Suppose -4*b + 19 = 7. Is b < t?
False
Let z be (-2 + (-75)/(-21))/(-6 + 7). Which is greater: 3 or z?
3
Let q be 5 + (4 - 2) - (-326)/(-46). Which is greater: 25/4 or q?
25/4
Let x = -345 + 689/2. Is 0.5 less than or equal to x?
False
Suppose -3*j + j + i = -10, -3*j + 13 = -i. Suppose -2*v - 4*s + 26 = j*v, 2*v - 5*s - 17 = 0. Suppose -5*m - 4*o + 24 = 2, -4*m + 5*o = -34. Is m less than v?
False
Let k = 4/3635 + 17563/556155. Let f = k - -1/85. Suppose 0 = -4*p - 0 + 4. Which is bigger: f or p?
p
Let c = 12 + -10. Let t = 3/133951 - 376536282/937657. Let b = t + 403. Are c and b nonequal?
True
Let k(u) = -u**2 - 8*u + 11. Let y(c) = -c - 21. Let j(w) = w**2 + 7*w. Let n be j(-4). Let s be y(n). Let v be k(s). Is 6/7 at least as big as v?
False
Let o = 17 - -9. Let g(m) = m**3 - 27*m**2 - 25*m - 60. Let r be g(28). Which is bigger: o or r?
o
Let y be (1/2)/((-1)/72). Let b = 12 - y. Let w be b/(-70) + 2/5. Is -1 less than or equal to w?
True
Let w = 2669 - 2680.81. Let h = -0.81 - w. Which is bigger: h or 2/5?
h
Suppose 19*r - 60*r = 11152. Does r = -541/2?
False
Suppose 0 = 8*r + 194 + 17