 s. Is -3 not equal to n?
True
Let d be (1 - 0)*(-22 + -1979). Which is bigger: -2002 or d?
d
Let x = 2156 - 2018. Which is bigger: x or -6?
x
Let r(q) = 12*q - 9. Let k be r(-3). Let a = k + 133/3. Let b = 1.4 + 0.6. Is a >= b?
False
Suppose -p = -2*i + 2*p + 125, -9 = 3*p. Suppose -14 = -4*w + i. Are w and 37/2 equal?
False
Let l be ((-28)/24)/7 - (-1171)/6. Is l < 196?
True
Let b = -610 - -585. Is -25 >= b?
True
Suppose -41*g - 4*v + 67 = -40*g, -g + 67 = -5*v. Which is smaller: 69 or g?
g
Let l = 851/3 + -3401/12. Which is smaller: 649/5 or l?
l
Let h = -528558251/4413 - -119773. Which is bigger: h or 0?
0
Suppose 3*w - 14 = -2. Let c(k) = k - 11. Let l(b) = b - 11. Let h(o) = w*c(o) - 3*l(o). Let p be h(8). Which is bigger: 4 or p?
4
Let o(b) = 5*b**2 - 64*b + 32. Let z be o(12). Which is smaller: z or -11?
z
Suppose -5 + 15 = -2*h. Let o be (-9 - h) + (-4392)/(-26). Let a = -165 + o. Which is greater: 0 or a?
0
Let j(i) = -21 + 26 + 0*i - i**2 + 3*i. Let f be j(4). Let z be f/15 + (-3)/(-9). Is z >= 9?
False
Let q = 3.72 - 3.74. Do -0.18 and q have different values?
True
Let t be 3*2 - (-56 + 65). Which is smaller: t or -42?
-42
Let p = 84 - 103. Let d = 19 + p. Which is smaller: d or -5.6?
-5.6
Let a(o) = -o**2 - 3*o. Let p be a(-4). Let s be (8 + -22)/((-5)/((-10)/6)). Is p <= s?
False
Let g = -16 + 10. Let q be (-3)/(-9) + (176/(-6))/(-8). Let z be (-9)/(-39)*q/g. Is z at most as big as -1?
False
Suppose p - 25 = -q + 5*q, -40 = -p - q. Is p greater than 37?
False
Let o = 932 - 2797/3. Which is bigger: o or 112?
112
Suppose -42 = 7*z + 70. Are -18 and z equal?
False
Let d be (-2)/(-6) + 2/3. Let j be (3 - 7/2)/(14/(-116)). Let t = j + -30/7. Which is smaller: d or t?
t
Let g(z) = -11*z - 220. Let a be g(-52). Is 353 < a?
False
Suppose -7*s = -10*s + 24. Suppose s*r + 96 = 10*r. Is 49 > r?
True
Let a be 1*-3 + (-232)/(-80). Let o be 6/(((-9)/24)/(-1)). Let l = -15 + o. Are l and a non-equal?
True
Let h = 13 - 13. Let c = 56 - 60. Is h at least as big as c?
True
Suppose 2*r = -12 + 18. Suppose -3*z + 0 - r = 0. Which is greater: -1/13 or z?
-1/13
Let t be 23176/(-126) - 4/14. Let c = -168 + 352. Let q = c + t. Which is smaller: 0 or q?
q
Suppose -5*z + 120 = 4*g + g, -z + 36 = -2*g. Is 23 greater than or equal to z?
False
Let c be (8 - (4 - -9))/(1*3). Let o(w) = -w + 5. Let t be o(0). Suppose -j = j + 6, 17 = -t*z - 4*j. Which is smaller: z or c?
c
Suppose 0 = -2*p + 2*o - 13 - 7, 3*o = -5*p - 58. Let c(s) = -s**2 - 10*s + 8. Let w be c(p). Are w and -4 unequal?
True
Suppose 0*i + 2035 = 5*i. Let z be i/77 - (4/14 - 0). Which is smaller: z or 23/4?
z
Suppose -3*k + 91 = 4*w, -w + 47 = w + 3*k. Let n be 4/10 + 103/5. Is w greater than n?
True
Let w = 41 + -57. Let v = -0.12 - 0.28. Let u = -1.4 - v. Which is smaller: u or w?
w
Let y be -2 - (18/99 + (-136)/22). Let v = 5 - y. Is v less than or equal to 2/87?
False
Let x be (3/(-2))/((-5)/110). Suppose -4*f - 2*k = -244, f - 2*k - 23 = x. Is f less than 61?
True
Let s = -28.4 - -10.3. Let u = 5.7 - -12.3. Let j = s + u. Which is smaller: -1/11 or j?
j
Suppose -2*d = 0, 0 = -3*s + 5*d - 7*d - 201. Is -67 equal to s?
True
Suppose 0 = l - 5*d - 9, 4*d + 12 = 4. Let w = 21 - 9. Let p = w + -13. Are p and l non-equal?
False
Let x = -28989 + 2232123/77. Which is bigger: x or -1?
x
Let f = 267 - 800/3. Which is greater: f or -5?
f
Let m be 3927/13290 + (-2 - (-68)/40). Is m greater than -1?
True
Let b = 0.072 - -3.028. Let c = -3 + b. Let t = 286 + -285.9. Is t greater than c?
False
Let r = -0.158 - -1.658. Which is greater: -2/5 or r?
r
Let w = 0.124 - 58.124. Let n = 35 + w. Let y = -25 - n. Which is bigger: 6/5 or y?
6/5
Suppose 74*o - 68*o = -144. Which is bigger: o or -15?
-15
Let m(l) = -3*l - 3*l**3 + 4*l + 2*l**3 + 2. Let d be m(-2). Suppose -10 = -6*y + d*y. Which is greater: y or 0.1?
0.1
Let w = 7 + 7. Let k be 2/1 + (-5)/4 - w. Does k = -13?
False
Let u be 1/(-3) - 2/(-6). Suppose s - 2*x + x = 3, 3*s - 5*x - 17 = u. Let d = 2/5 - 1/5. Which is bigger: d or s?
d
Let w be (-3)/8 - (-2400)/256. Let f(y) be the second derivative of -y**5/20 - 5*y**4/12 + y**3 + 7*y**2/2 + y. Let c be f(-6). Which is greater: w or c?
w
Let j(h) = h - 10. Let s be j(9). Suppose 4 + 5 = -3*o - 3*w, 5*o + 3*w = -15. Is o bigger than s?
False
Suppose -5*k - 324 + 4 = 0. Let r be (-152)/k - 3/8. Let w be -1 + 2 + 1*r. Is w > 3?
False
Suppose -x + 2*y + 24 = 6*y, -5*y = -3*x - 13. Suppose -x*s - 40 = s. Let w = s + 9. Which is greater: 0 or w?
w
Let j = -8.7 - -6.71. Let u = j - 0.11. Is u less than -1?
True
Let a = -12 + 21. Let u = a - 8.96. Let y = -0.14 + u. Which is greater: y or 1/6?
1/6
Let h = 1085477/13 + -86661. Let x = -137343/65 - h. Let d = x + -1046. Which is bigger: 4 or d?
4
Suppose -5*m + 11 = 4*h, -4*h + 3*h - 3*m + 1 = 0. Let t be (8/56)/(h/7). Which is greater: t or 1?
1
Suppose 0 = 5*q - 10 + 25, -u - q = 1. Suppose 2*o = -v - 288 - 304, 881 = -3*o + u*v. Let l be 10/o*(-2 + 3). Is -1 < l?
True
Let o = 1 - 1. Suppose o = 4*i - 16, 3*n - 15 = -3*i. Is -3/7 less than or equal to n?
True
Suppose 157*y - 375 = 152*y. Suppose -8*r - y = -11*r. Is 28 less than r?
False
Let g(f) = -4*f + 10. Let t be g(5). Let a = t - -11. Are a and -2/27 equal?
False
Let s(n) = -n**3 - 12*n**2 - 9*n - 20. Let f be s(-10). Is -131 < f?
True
Suppose -i = 5*i - 54. Suppose -i*x + 2*x = 0. Is x greater than -1/28?
True
Let v(s) = s + 13. Let b = -21 - -12. Let g be v(b). Is g equal to -2?
False
Let s = 5.3 - 5. Let n = 0 + s. Let a = -782 + 781. Which is bigger: a or n?
n
Let r = -4448 - -22366/5. Which is smaller: r or 26?
r
Let c = -468 + 466.3. Let a = -25 - -23.3. Let u = a - c. Which is smaller: -0.07 or u?
-0.07
Let p(h) = 2*h**3 + 36*h**2 + 35*h + 1. Let m be p(-17). Which is bigger: m or -15?
-15
Suppose 5*l = -23 + 3. Let u(y) = -y**3 + 8*y**2 - 7*y + 5. Let g be u(7). Let z(d) = -d + 1. Let x be z(g). Are l and x non-equal?
False
Suppose 41 = -11*o - 113. Let w be ((-2)/(-21))/(o/42). Which is smaller: 7/4 or w?
w
Let k = -21 + 21.045. Let o = k - -3.955. Which is greater: o or 1/18?
o
Suppose -5*q = 3*s + 47, -4*s + s = -5*q - 23. Let t(c) be the third derivative of c**4/8 - c**3/3 - c**2. Let r be t(-2). Is r <= q?
True
Let s = 60 + -59. Let d = 2742633/11 + -249069. Let r = 261 - d. Are r and s unequal?
True
Let s be (-37)/13 + 0 + 3. Suppose 4*t - 11 = -3*f + 2*f, -5*f + t = 8. Which is greater: f or s?
s
Let p = -7 + -7. Let c = p - -21. Which is smaller: c or -0.1?
-0.1
Let n = -15/29 - -373/609. Let t(i) = 5*i - 40. Let b be t(9). Suppose r + 0*r - p - 4 = 0, -3*p = b*r + 12. Which is bigger: n or r?
n
Let h = -3379/4 + 835. Suppose -36 = 2*n + 840*o - 844*o, -3*n - 34 = -o. Which is greater: n or h?
h
Let c = -6 - -6. Suppose u + 3*i + 5 = c, 2*i + 3 = 2*u - 3*u. Which is bigger: u or 1/25?
u
Let v = -7.1 - -15.1. Which is greater: 0.44 or v?
v
Suppose 5*d - 2 = 5*g + 3, -3 = g - 2*d. Suppose 3*y = 5*y + 2. Is g greater than y?
True
Let k be -5*(13/(-39) + (-127)/105). Which is bigger: 2/9 or k?
k
Let f be 1*3/(-3) + -153. Let o be 11/f*2*5. Are o and 0 equal?
False
Suppose b - 5*t + 3*t - 68 = 0, -20 = 4*t. Suppose -4*s = -w - w + b, -s - w - 13 = 0. Which is smaller: -11 or s?
s
Let m = 2/5567 + -8847/9129880. Is 0 smaller than m?
False
Let j = -8/21 - -106/315. Is 0.2 not equal to j?
True
Let q = 26.486 + -0.486. Are q and 0.06 non-equal?
True
Let d(j) = j**3 + 4*j**2 - 11*j + 3. Let b be d(-6). Let k be (-215)/60 - b/12. Do k and -2 have the same value?
False
Let y(x) = -5*x**2 + 127*x - 55. Let a be y(25). Which is smaller: -3 or a?
a
Let z be 3/(-8)*-4*6/9. Suppose 1 = 4*k + 5. Let m be (4/(-50))/(0 + k). Which is bigger: m or z?
z
Let w = -27 + 26. Is -26/17 greater than w?
False
Let p = -21 + 25. Let x = -4.6 + p. Let w = 0.4 - x. Which is smaller: 2 or w?
w
Let a(x) = -2*x**2 + 4*x - 4. Let b(g) = 5*g**2 - 7*g + 7. Let p(v) = 7*a(v) + 3*b(v). Let c be p(-9). Is 13 at least c?
True
Let u = -0.33 + -0.39. Let j = 1.173 - 1.973. Let z = u - j. Which is smaller: z or 2?
z
Let o(l) = l**2 + 2. Let r be o(-6). Let h = 35 - r. Let x be (h/(-2))/(6/(-16)). Which is smaller: x or -5?
-5
Let t = 0.44 - 2.44. Let x = t + -11. Are 0.1 and x nonequal?
True
Let y = -607 + 3641/6. Let l = -17 + 24.