?
d
Suppose s + 1 = -5. Let n be 100/(-15) - 4/s. Let a be 14*1*3/(-6). Is n at most as big as a?
False
Let l(n) = n**3 + 25*n**2 + 144*n - 1. Let j be l(-16). Is 2/123 at most as big as j?
False
Suppose -120 - 368 = -4*u. Is 123 greater than or equal to u?
True
Let d = -8422/93735 - -2/2083. Is d greater than -0.2?
True
Let i = -46 + 51. Suppose -i*h = 5*p, 4*p = 3*h - 5*h. Let j = 0.02 + 0.28. Which is smaller: j or h?
h
Let h be (-2496)/(-7560) - (3 + 38/(-14)). Let x(g) = g**3 + 5*g**2. Let u be x(-5). Which is smaller: h or u?
u
Let n(l) = 0*l**2 - l + 4*l + 1 + l**3 + 2*l + 6*l**2. Let b be n(-5). Let w = 501 - 3498/7. Is w greater than or equal to b?
True
Let r be (-1 - -4)/(6 + -5). Let q(u) = 2*u + 8*u**r + 3*u**3 - 10*u**3 - 3*u + 3. Let n be q(0). Which is smaller: 14/5 or n?
14/5
Suppose 134 = 4*q + 6. Suppose -4*y = a - q, -4*a + 20 = 4*y - 24. Is 3 smaller than y?
True
Let h be (3/(-5))/(80/(-1600)). Which is smaller: 103/8 or h?
h
Let h be 7/(-1) - 54/(-8). Let v = -2.04 + 0.04. Let c = -3 - v. Which is greater: c or h?
h
Suppose 45 - 25 = 20*r. Which is bigger: -3/17 or r?
r
Suppose 4*r + 714 = 150. Let p be (3/(-72))/(3/r) - 2. Which is smaller: 1 or p?
p
Let x = -2071573/341 - -6075. Is x >= -1?
True
Suppose 3*x = 11 - 2. Let u(z) = -2*z. Let i be u(-10). Let h = i - x. Is h > 16?
True
Let p be 0/(1 + 2 + -1) + 3. Which is smaller: 11 or p?
p
Let u = 5.9 - 6. Let b = -72.9 + 78. Let r = b + u. Is r bigger than 0.1?
True
Suppose -3*f - 5*d = -6*d - 138, 0 = 5*d + 15. Which is smaller: f or 49?
f
Let r(c) = c**3 - 3*c**2 - c + 11. Let g be r(0). Is 15 > g?
True
Let f be (-12)/36 - 22/6. Let s(m) = m**3 + 3*m**2 - 5*m - 3. Let c be s(f). Let i = 821/21 - 113/3. Which is smaller: i or c?
c
Let h be 10/(-1) + (-1026)/(-144). Are h and 0.5 nonequal?
True
Let b = -23 + 18. Let k = b - -5.4. Let i = -2.8 + 0.8. Is k less than or equal to i?
False
Let x = -12.5 - 23.7. Let m = 36 + x. Is 0 not equal to m?
True
Suppose -36*y + 39*y = -1005. Which is smaller: -334 or y?
y
Suppose 7*w + 7*w = -28. Is w less than or equal to -2?
True
Let h be 36*((-14)/3 - (34 + -38)). Is -27 greater than h?
False
Let w = 7816/13345 - -2/785. Which is bigger: w or -2/25?
w
Suppose 6*j = 16 + 56. Suppose j = 12*q - 36. Which is bigger: q or 3?
q
Suppose -2*k = -2*k + 6*k. Is 3/23 equal to k?
False
Suppose -3*y - 2*q + 5*q = 6, 0 = -3*y + 5*q - 16. Suppose -4*j + y*i - 58 = 0, 2*i = 6 - 2. Is j equal to -13?
True
Let o = 7901/2 - 4050. Is o at most as big as -101?
False
Let z(r) = r - 2. Let v be z(3). Suppose -4*p = -27 - v. Let l = -9 + 9.2. Is p at least l?
True
Let x = -13.67 - 0.33. Let h = -12 - x. Let l = 7 + -8. Which is smaller: h or l?
l
Let a(h) = h**3 + 9*h**2 - 13*h - 18. Let c be a(-10). Which is smaller: 6 or c?
6
Let a be (-73)/(-3) + (-1 - 6/(-9)). Suppose 3*w + a = 18. Do w and 8 have different values?
True
Suppose -53 - 22 = -5*p - 3*i, -3*p + 2*i + 26 = 0. Suppose 16*g = 14*g - q + 16, 0 = -g - 4*q + 8. Let k be g/60 + 2*56/60. Is p bigger than k?
True
Let f = -327 + 10793/33. Which is greater: f or -1?
f
Let f be (-114)/(-12) + -11 + 25/2. Which is smaller: -5 or f?
-5
Let k = -928 + 902. Is -16 at most as big as k?
False
Suppose -18 = -4*v - 2*a, 5*a - 35 = -4*v - v. Let i(b) = -10*b - 20*b**2 - b**3 + b + 3*b**2 - 5*b + 33. Let u be i(-16). Are u and v equal?
False
Let w(q) = -q**3 + 2*q - 1. Let r be w(-2). Suppose 3*a - 3*n - 42 = 0, 2*n + 23 = r*a - 23. Which is smaller: a or 20?
a
Let d = 3904672/461 - 8470. Which is greater: 0 or d?
d
Suppose -30*h + 92*h = -5704. Which is smaller: -93 or h?
-93
Suppose 4*t = 2*d + 174, -4*d = -3*t + 14 + 104. Suppose -15*z + 290 = -385. Which is bigger: z or t?
t
Suppose 2 = 3*l + 5. Let a be l*(3 - (0 + 2)). Let m = 3/14 - -3/14. Which is greater: a or m?
m
Let n = 17 - 5. Let k = -13 + n. Does k = 7?
False
Let o(p) = -22 + 25*p**2 - 21*p + 37*p**2 - 83*p**2 + p**3. Let n be o(22). Which is smaller: n or -2/153?
-2/153
Suppose 47 = 4*s + 3*f + 178, 2*s + 3*f = -73. Suppose -4*b = 0, b - 58 = 2*x + 5*b. Is x at least as big as s?
True
Let b(n) = n**3 + 12*n**2 + 17*n + 25. Let v be b(-11). Which is bigger: v or -14?
-14
Let w(k) = k**2 - 19*k. Let m be w(19). Suppose m*u = -2*u + 18. Is 8 greater than u?
False
Let p(h) = -10*h - 165. Let q be p(-16). Is q < -18?
False
Let b = 3 - 2. Suppose -8 = -10*r + 6*r. Let l be r/6 - (2 - 5)/9. Are l and b equal?
False
Let k be (-10)/125 + (-727)/(-25). Suppose -3*f = 2*f + 5*g - 135, -4*g = 3*f - 78. Which is greater: f or k?
f
Suppose -t + 24 = -4*j + 3*t, 42 = -4*j - 5*t. Let a = 2 + -1. Suppose a = -c - 3. Is c <= j?
False
Let r = 1/64 - -91/320. Suppose 4*j + 8 = 0, 2*c = 4*c - 3*j - 68. Let n = c - 31. Which is smaller: r or n?
n
Let t(n) = 21*n**2 + 3*n + 2. Let p be 3*1*(-7)/21. Let f be t(p). Let z be (-4)/(-28) - f/(-154). Is z less than or equal to -1?
False
Let h = -2616/58093 - 2/1351. Let i = -5 - -4. Which is bigger: i or h?
h
Let z = 518 + -1035/2. Let m = 1.4 + -17.4. Is z at least m?
True
Let l = -4014/7 + 572. Which is greater: 0.2 or l?
0.2
Let a(k) = k**3 + k**2. Suppose 4 - 7 = 3*x. Let q be a(x). Let z be 0 - (-3)/(-3 + q). Is 0 at most as big as z?
False
Let y = 82 - 208. Which is smaller: y or -249/2?
y
Let x(n) = -n**3 + 14*n**2 - n + 8. Let j be x(14). Let a be (-1)/j - (-7)/(-6). Let s be (0 - -3) + a - -3. Are 6 and s equal?
False
Let m = -46 - -45.85. Let k be (-2)/(-10)*(-15)/(-3). Is k at least as big as m?
True
Let l be (1 - 0)/((-5)/25). Is l bigger than -49/9?
True
Suppose -4*x + 390 = -2*w, 0 = -2*x + 3*x - w - 98. Suppose -5*y - 94 = -2*l, -5*y - l + 2*l - x = 0. Suppose 4*g + 0*g + 80 = 0. Are y and g nonequal?
False
Let b be 6*5/(-30) + (-861)/15. Is -57 at least as big as b?
True
Let u(g) = -g**2 + 11*g - 10. Let k = 2 - -7. Suppose k - 29 = -5*r. Let c be u(r). Is 19 < c?
False
Let k = 80 + -69.4. Let i = k - 10.6. Which is bigger: -0.68 or i?
i
Let w = 1.6 - 0.6. Suppose r + 2 = 0, 2 - 13 = -3*n - 5*r. Which is smaller: n or w?
w
Let p = 30 - 25. Suppose -p*a = 3*r - 138 + 16, 0 = -r + 3*a + 22. Let u = r + -43. Which is greater: -10 or u?
u
Suppose 10*v + 15 = 185. Let w = -11 + v. Suppose 0*q + 12 = 4*q. Which is smaller: q or w?
q
Suppose 187 = 6*j + 193. Is -1/23 less than j?
False
Let a = 1.4 + -2.5. Let t be 10/(-4)*(-5 - 18/(-6)). Suppose -x + 7 = -5*c, 2 = t*c + x + 5. Is a greater than c?
False
Suppose -10 = d - 5. Let r = 0.6 + -4.6. Let m = r + 3.9. Which is bigger: d or m?
m
Let z = 11/8 + -253/56. Let d = 28 - 83/3. Is d less than or equal to z?
False
Let h be -37*7/(-14)*(-9 - 3). Which is smaller: 0.2 or h?
h
Suppose -2*f - b - 25 = 2*b, -2*b + 2 = 0. Let a = f + 14. Is -1/4 > a?
False
Let k be 1 + -147*(-12)/90. Which is smaller: k or 20?
20
Let f = 4.2 - 2.9. Let i = f - 0.3. Is -5/8 at least as big as i?
False
Let u = 185 - 57. Let f be (-6)/8 - 32/u. Which is bigger: f or -6/7?
-6/7
Let k = -62 + 60. Let u be ((-42)/(-18) - -3)*(-3)/k. Which is smaller: 7 or u?
7
Let w = 0.083 + -0.183. Let t = w - -0.5. Is t > -1?
True
Let j be (50 + 7/7)*1. Is j greater than 48?
True
Let l be (1 - 7) + (-437)/(-76). Let d = -3 + 2. Let g be (-45)/((-9)/3)*d. Are l and g unequal?
True
Let f = -130 + 130.3. Is f equal to 3/28?
False
Suppose 2*y = -5*i + 67, y + 0*i - 5*i - 26 = 0. Let b(t) = -6*t + 91. Let g be b(10). Is g bigger than y?
False
Let v = -27/185 - -10549/69745. Which is smaller: v or 0?
0
Let w = -53 - -64. Suppose -w*g + 12*g = -4. Are g and 2 equal?
False
Let m = 63 - -13. Which is greater: -3 or m?
m
Let d = 8 - 11. Let c be -5*d/(30/8). Suppose -3*k = -c*k + 3. Is k <= -2?
False
Let w(j) = 9*j. Let v be w(5). Let y be 142/5 + 2 + 10/(-25). Let r be v/y*(-1)/(-33). Does r = 1?
False
Let u(v) = v**3 + 4*v**2 - 3*v + 5. Let h be u(-5). Let s = 0.044 + -3.044. Do s and h have the same value?
False
Let f = 23.9 - 10.9. Is 21 > f?
True
Suppose -233*x + 230*x + 2043 = 0. Is x bigger than 681?
False
Let u be 1 - -2 - (16/4 + -4). Suppose 2*y + u = -y. Suppose 7 = -5*g + z, 5 = g - z + 4*z. Are y and g non-equal?
False
Let g = -14.4 + 11.94. Let p = 1.4 + g. Let o = -0.06 - p. Is o smaller than 0?
False
Let a = 22 - 17. Let y = -2 - a. Do -17/3 and y have the same value?
False
Let y(d) = 2*d**3 - 7*