4?
n
Suppose -2*u + 93 = 5*w, -u - 3*u = -4*w - 172. Let c be (u/(-22))/((-4)/(-46)). Let y = -18 - c. Which is greater: 6 or y?
6
Let r = -1.1 - -1. Let f(k) = 10*k**2 + 20*k + 75. Let b be f(-5). Let n be 5*-5*(-10)/b. Which is smaller: n or r?
r
Let a be 60/(-48)*(4 - 0). Let w = 1 - a. Let q be 1/w - 5*(-2)/12. Are 7/8 and q unequal?
True
Let n be (-510)/204*(-4)/894. Which is smaller: 1 or n?
n
Suppose 5*n + 73 = -217. Let x be (-15)/18 - (-2938)/12. Suppose -50*l = 2706 + x. Are l and n equal?
False
Suppose -2 = 3*z + 2*h, 4*z - h = z + 1. Suppose -11*s - 3*p = -14*s - 429, z = -3*s + 2*p - 425. Does s = -140?
False
Let f be 24/13 + (-82)/(-533). Suppose -5*t = f*w + 346 - 67, w - 108 = 2*t. Which is smaller: t or -50?
t
Let q(f) = -f**3 + 5*f**2 + 3*f - 5. Let m(d) = -2*d + 2. Let a be m(-1). Let i be q(a). Suppose 3*k + 5*v = i, 4*k + 8 = 5*v - 8. Is 1/26 != k?
True
Let s(j) = -j**3 + 20*j**2 + 25*j - 4. Let d(w) = w**3 - 21*w**2 - 25*w + 4. Let c(p) = 4*d(p) + 3*s(p). Let t be c(25). Which is smaller: t or 6?
t
Suppose 3*z + 2 = 2*m + 7, -15 = -3*z - 3*m. Suppose -z*y = w + y - 124, 4*y + 436 = 4*w. Suppose 128*u = 130*u + w. Is u != -56?
False
Suppose -5*a + 11 + 25 = s, -40 = -3*a + 4*s. Let x(m) = -m**3 + 8*m**2 + 3*m - 17. Let j be x(a). Which is greater: 0.38 or j?
j
Suppose -12883 = -3*d - 2*c, -484 + 4790 = d - c. Which is smaller: d or 4300?
d
Let v = 945439/299 + -3162. Which is greater: v or 0?
v
Let u = 81 + -82. Let i be u/(-22)*(-588)/10*3. Let c = i - 2/11. Which is smaller: -8 or c?
c
Suppose 28989 - 83160 = -13*a. Let c = a - 754229/181. Let m be (-3)/(-4) - 3/(-12). Which is smaller: c or m?
c
Let u = 420382/2205 - 9330/49. Let n = -2/45 - u. Which is greater: 4/15 or n?
4/15
Let i be ((-10 + (-40)/(-5))/(-2))/(0 + -1). Which is smaller: i or 5920?
i
Let r be 6*(-3)/6*(-5 - (-704)/144). Let n = 0.1 - -6.9. Which is smaller: n or r?
r
Let a = -40795/18 - -2267. Let l(r) = 30*r + 691. Let o be l(-23). Which is smaller: o or a?
a
Let x = 165.11 - -34.6. Let z = -36.42 + x. Let r = z - 164. Which is bigger: 0 or r?
0
Let a(q) = q**3 + 4*q**2 - q - 1. Let x be a(-5). Suppose 6*i + 5*i + 220 = 0. Which is smaller: x or i?
x
Let l = 479003/2760 + -15482/69. Let h be (-11)/(-385)*-1697 + (-8)/(-28). Let t = l - h. Is t less than or equal to -2/5?
True
Let r = -122 + 13. Let u = r - -49. Let f = 55 + u. Does -6 = f?
False
Suppose 0 = -14*v + 24*v - 410. Let q be (-1)/6 - v/(-246). Which is bigger: -3/16 or q?
q
Suppose 786 = -7*f + 317. Let g = f - 82. Is g at most 1?
True
Let b = 16330/417 - -24/139. Which is greater: b or -0.06?
b
Suppose 0 = -4*d - 61*j + 64*j - 17439, -7 = j. Is -4363 less than or equal to d?
False
Let d = -60 + 160. Let o(r) = r**2 + r. Let p be o(0). Let q be (-102)/d + p + 1. Is 0 equal to q?
False
Suppose -303 = 5*k + 306 - 604. Does k = -2/38911?
False
Let q(o) = 10*o**2 - 15*o - 35. Let x be q(-8). Let j be 1/3 - x/600. Suppose 0 = i - c + 5*c - 8, 2*i = -4*c + 8. Which is smaller: i or j?
j
Let a(v) = -8*v**2 + 8*v - 6. Let c be a(1). Let o be (-103)/c + 6/(-36). Which is smaller: o or 21?
o
Let b be 218/20 + 4 + 78/(-20). Let f(t) = -t**2 + 12*t - 11. Let q be f(b). Is q bigger than -1?
True
Suppose 5*t + 2*v - 1483 = 0, 0 = -v - v + 8. Is t greater than or equal to 293?
True
Suppose 0 = -7*w - w - 24. Let u be 22/10 + (w - -2). Let o(a) = -a**3 + 12*a**2 - a + 14. Let b be o(12). Which is smaller: b or u?
u
Suppose -18*o + 6 = 24. Which is smaller: o or -1/2828?
o
Let l = 22 - 31. Let o = l + 14. Suppose 2*z + 4 = -o*k + 2, -3*z - 2*k + 8 = 0. Is z > -0.05?
True
Let g be 0/(-14)*1/3 - 1. Let d be (4 + -2 + 4 + 11)/g. Let j be (-1)/1 - 23/d. Which is bigger: 1 or j?
1
Let k be (-48)/40*(-10)/3. Suppose -l = k*v - 98, -5*l = -2*v + 22 + 16. Which is bigger: 22 or v?
v
Suppose -g + 6*g = -65. Let t = -4603 - -59685/13. Are t and g unequal?
True
Let i = -28 + 13. Let t(m) = -2053162*m**3 + 2053163*m**3 + 13*m**2 - 9*m**2 + 12*m**2 + 31 + 18*m. Let k be t(i). Which is bigger: k or -11?
-11
Let c = 1853518449153149 - 88361895337622609132789/47672520. Let g = -277/56753 - c. Let t = g - 11/105. Which is smaller: 4 or t?
t
Let f(m) = -8*m**3 + 2*m + 3*m**2 - 2 + 3 + 0*m**2. Let g(h) = -2*h**2 - h + 2. Let w be g(1). Let r be f(w). Is r at most 9?
False
Let s = -16575 + 17088. Which is bigger: s or 0.09?
s
Suppose -22*u = -23 + 1. Let i = 0.76 + 0.68. Which is greater: u or i?
i
Let u be ((-728)/21)/(-26) - (1/(-3))/(-1). Are u and -2/8653 nonequal?
True
Let n be (0 + 4)/(40/30). Suppose 4*y - 3*c = -212, -2*y - 120 = n*c - c. Is y less than -58?
False
Let d be 1/(1/(-11)*(-2)/6). Let p be (2 - 1)/((-6)/12). Which is smaller: p or d?
p
Let l be (-6)/(-28)*50/6. Let n(f) = -f**2 + 53*f - 461. Let w be n(11). Are w and l non-equal?
True
Let c = 177.4 - 161. Let h = c + -3.4. Let x = h - 12.7. Is x at most -3?
False
Suppose 0 = -2*b + 5*y + 4, -14*b - y = -15*b + 2. Let q be ((25/(-10))/(-5))/(b/(-52)). Which is greater: q or -12?
-12
Suppose 0 = 12*h - 4413 - 4875. Let b be 2/(-3*(-4)/h). Let p be 6/b*(5 - 4)*-2. Which is greater: 1 or p?
1
Let c = 46331/295 - 10458241/112395. Let u = 5128346/16383 - c. Let b = -249 + u. Which is greater: b or -2/9?
b
Let p = -91398/73 + 1252. Let w = -0.1525 - 0.2475. Which is bigger: w or p?
p
Let s = 1391/10611 - 10/81. Let x = 128/393 + s. Are x and 0.11 non-equal?
True
Let b = -14.79707 + -0.20293. Is b at least -132?
True
Suppose 0 = 2*z + 32*z + 136. Let i = -869/270 + 1/54. Is z equal to i?
False
Let n be 352452/(-25392) + 1*(-1)/4. Are -15 and n nonequal?
True
Let t(o) = 3*o**2 - 37*o + 162. Let l be t(20). Which is bigger: 623 or l?
623
Let g be (5474/1127)/(19/49). Which is greater: g or 12?
g
Suppose 94*y - 126 = 101*y. Let j be (-188)/12 - 4/(-6). Is j greater than or equal to y?
True
Let p = -85 - 214. Let o = -595/2 - p. Which is smaller: o or -19?
-19
Suppose 0 = o - 2*u + 44, -4*u + 2*u + 170 = -4*o. Let k be -3 - ((-465)/o)/(121/(-33)). Which is greater: k or 0?
k
Let t be (-8)/(-20) + 26/10. Suppose 2*r + 56 = -t*i + 2*i, -5*i = r + 235. Suppose 54*q + 2821 = 283. Which is smaller: q or i?
q
Let y(j) = 7*j**3 - 4*j**2 - 5*j. Let h(m) = m**3 - m - 1. Let z = 16 - 10. Let v(t) = z*h(t) - y(t). Let n be v(3). Which is smaller: n or 5/8?
n
Let h = -0.9921 - -0.8987. Is h greater than 0.1?
False
Let n be 2/3*114/4. Let h(g) be the third derivative of -g**5/30 + 19*g**4/12 + 2*g**3 + 28*g**2. Let k be h(n). Is 11 greater than or equal to k?
False
Let f be (286310715/(-260))/(945/(-14)). Let n = f + -16314. Which is smaller: n or 0?
0
Let h = -2/2989 - 5800/266021. Let b = 13 - 15. Let f(z) = 3*z + 7. Let k be f(b). Which is smaller: h or k?
h
Let b = -0.42 + 0.426. Let z = -0.014 - b. Let l = z - -2.02. Is 0.2 at least l?
False
Suppose 4*a - 462*z = -459*z - 181, -5*a - 2*z = 209. Is a at least as big as -42?
False
Let k be (2/2)/1*10. Suppose -6*o - 24 = -k*o. Let c(i) = i**2 - 2*i - 1. Let t be c(o). Is t smaller than 24?
True
Let c = 101/82 - 10175/7462. Which is greater: -1 or c?
c
Suppose 135 = -6*i + i. Let s be (21/(-42))/(1/(-116)*2). Let p = s + i. Is p less than or equal to 5?
True
Let t(a) = -a**2. Let j(f) = -4*f**2 - 10*f. Let s(x) = j(x) - 3*t(x). Let g be s(-7). Let y = 389 + -390. Which is greater: y or g?
g
Let w(y) = 12*y - 242. Let l be w(20). Let v = -127 - -62. Is v at most l?
True
Suppose -5*b + 39 = -3*f - 2*b, f + 17 = 5*b. Let i be 0/(-8 - -2 - f). Which is bigger: i or 9/16?
9/16
Let b = 41155 + -41123. Is -91 at most as big as b?
True
Let y be (2 - (-1303)/26)/(-1). Let a = y + 52. Is 0 smaller than a?
False
Let c(v) = -v**3 + 5*v**2 + 6*v - 5. Let k = -7 - -7. Suppose -3*a + w = -2*a - 10, k = -a - 5*w - 14. Let x be c(a). Which is smaller: -28/5 or x?
-28/5
Let h be 7*((-18)/7)/(-3). Let n be 33/(-55)*8*(-2)/22*15. Which is bigger: n or h?
n
Let d(x) = 2*x**3 - 5*x**2 - 5*x + 7. Suppose 3*i - 3 = 0, 0 = 5*h - 7*h + 3*i + 3. Let q be d(h). Is q bigger than 27?
False
Let h be 6/8 + (-8805)/2844. Let w be 145/(-1027) - (-6)/39. Let p = h + w. Is -3 < p?
True
Let c(q) = q**2 + 2*q - 6. Let d(w) = 2*w**2 + 3*w - 10. Let v(k) = 7*c(k) - 3*d(k). Let z be v(-7). Which is greater: 24/29 or z?
z
Let p = -357166 + 7497358/21. Let a = p - -