1 + 3. Let q be (-9)/6*g/21. Which is greater: 0 or q?
q
Suppose -9 = -2*r - r. Which is smaller: r or -1?
-1
Let i be (-140)/(-44) + 8/(-44). Is i less than or equal to -1?
False
Let j = 19 + -20. Let w = -5/244 + 1572/61. Let k = -26 + w. Which is smaller: j or k?
j
Let t = -21220 - -1612761/76. Let n = t + 4/19. Which is bigger: 0 or n?
n
Let v = -5 + 8. Let f = 2 + v. Let d = f + -5.3. Is d < -1?
False
Suppose 5 = 3*h - 10. Let f = 7/2 - 53/14. Which is greater: f or h?
h
Suppose -6*k + 4*k - 2*r + 28 = 0, r = 5*k - 64. Is 4 equal to k?
False
Let q = 4.1 + 44.9. Let h = q - 46.9. Let m = h - -5.9. Does m = -0.1?
False
Let i = -1.3 + 1.43. Which is greater: 1/5 or i?
1/5
Let w(v) = -v**3 - 6*v**2 + 3*v + 41. Let d be w(-5). Let u be 2/3*6/(-10). Which is smaller: u or d?
u
Suppose -26*y + 35 = -21*y. Suppose 0 = -2*z - 4 + 16. Is z less than or equal to y?
True
Let q be 34/40 - (-12)/30. Which is smaller: 2 or q?
q
Let s = -1205/9 - -134. Let p be ((-4 - -7) + 2 + -2)/3. Which is smaller: s or p?
s
Let n = 767 + -6911/9. Which is bigger: n or -2?
n
Let w(m) = 6*m**3 - 2*m**2 + 1. Let l be w(1). Suppose 3*y - 22 = -2*j, 2*j = y - 0*j - 2. Is y < l?
False
Let w = 0.06 - 0.04. Let r = w - -1.98. Which is smaller: -3 or r?
-3
Suppose -4*i - 7 = -19. Suppose i*h = h - 2. Is h at least 0?
False
Let z = -6 - -4. Suppose 0 = -3*s + 9 - 3. Let p be s*((-6)/2)/6. Is p at least as big as z?
True
Let a be (-174)/(-22)*(-230)/(-6). Let g = 303 - a. Is g less than or equal to 0?
True
Let i = 11 + -11.8. Let b = 3.2 - 3. Let a = b - i. Which is smaller: a or -2/3?
-2/3
Suppose -10 = -5*y - 4*p, -y + 3*p + 2 = -2*p. Let i be y - 3/(72/57). Is i not equal to 0?
True
Suppose -o = 4*o - 5. Let j = 0.8 - 0.9. Which is bigger: j or o?
o
Suppose 2*k = 2*x + 2, 0*k = 4*k + 3*x + 31. Let f be k*1/3*-3. Suppose -2*w + 0*w = -6. Is w bigger than f?
False
Let n = 1.04 + 0.91. Let j = 0.05 + n. Let s = -0.05 + 0.15. Is j <= s?
False
Let z(u) = 2*u + 1. Let v be z(6). Suppose 3*o = 3, 0 = 4*a + 4*o - v - 11. Suppose -2*f = -a*f. Are f and 0.1 non-equal?
True
Let t = -24 + 22. Let y(h) = -2*h**2 + h. Let p be y(1). Which is greater: t or p?
p
Let v = 1 + -0.95. Let u = -0.04 + v. Let o = 0.09 + u. Which is smaller: o or 2/5?
o
Let r = 88/5 + -18. Suppose -5*y - 35 = -4*h, 5*y = y - 3*h + 3. Let x be 0/((1 + y)/1). Is r > x?
False
Let l be (4/(-85) - 0)/(-2). Is l bigger than 0?
True
Suppose -5*b - 4*m + 19 = -15, 5*m + 19 = 4*b. Let j be -1 + 44/b + -2. Let r = j - 4. Is 1 <= r?
False
Let q = 13 + -13.7. Let i = q + 0.6. Which is smaller: 4/5 or i?
i
Let f be (3/(-9))/((-1)/(-3)). Let q be (1 + f)/(9/(-3)). Which is greater: -1/13 or q?
q
Let r(t) = -t**3 - 9*t**2 - 11*t - 5. Let s be r(-8). Suppose a - s = 20. Suppose -2*b + 6*b = -5*c - a, -3*b = -2*c + 12. Is b less than or equal to -5?
True
Suppose 5*w = 5*w + w. Is 1 greater than or equal to w?
True
Let s(o) = -o**2 - 6*o + 2. Let g be s(-3). Let p = -16 + g. Let l be 2 + -3 - 3/p. Which is smaller: l or 1?
l
Let n = 26 - 25. Is n > 0?
True
Suppose -3*h - 3*s + 85 = -4*h, -4*h - 2*s = 326. Which is smaller: h or -81?
h
Suppose -2*q - 12 = -6*q. Suppose -q*w - 20 = 4*o, -w - w = 2*o + 10. Are w and -2/33 nonequal?
True
Suppose 26 = h - 5*a - 4, 0 = h + 5*a + 20. Suppose -8 = -h*c + 12. Suppose -c*g = g. Is 2/3 at least g?
True
Let w = 250 - 55251/221. Which is bigger: 1 or w?
1
Let g = 2 - 1. Let v = 17 + -17. Do g and v have the same value?
False
Let c(d) = d**3 - d + 23. Let q be c(0). Which is greater: q or 24?
24
Let s = -113.7 + 114. Which is smaller: s or -0.1?
-0.1
Let i = -10 - -39. Let r = i - 25. Which is greater: 1 or r?
r
Suppose -15 = 5*a - 0*a. Which is bigger: a or -4?
a
Let i = -0.7 + -2.3. Which is smaller: i or 4?
i
Let t be 1/((-12)/21) - -2. Let b = -10 + 9. Is t at most as big as b?
False
Let a(l) be the third derivative of -l**4/6 - l**3/3 + 2*l**2. Let g be a(-5). Let h be (-22)/g + 6/27. Which is greater: h or 1?
1
Suppose 5*i - 2*t = 23, i - 2*t = -i + 14. Let s(v) = 0*v + 4*v**2 + v**i - v + 7 - 2*v. Let j be s(-5). Is j at most -4?
False
Suppose -l = 5*x - 14, -4*x = -0*l - 2*l. Let h = -18 - -2. Let d = -14 - h. Is x != d?
False
Let s be (-1)/4 - (-1062)/(-72). Which is greater: -16 or s?
s
Let q = -182060/7 - -2350484/91. Let z = q + 179. Let b = -33/91 - z. Is b at least -1?
True
Let j = -5/6 - -1/6. Do j and 0 have the same value?
False
Suppose -4*o + 1 = 2*f + 5, -3*f - 4*o = 4. Suppose -3*m + 4*n - 20 = f, 4*m + 3*n - 2*n + 14 = 0. Do -3 and m have the same value?
False
Suppose 0*c - 2*m + 2 = -c, m = -c + 4. Which is bigger: 35 or c?
35
Let r = 20 + -21.3. Let o = -2.3 - r. Is o <= -6?
False
Let x = -2 + 4. Suppose 0 = -2*o - b - x, -9 = -5*o - 3*b + 4*b. Is 1 less than o?
False
Let w = 49.8 - 54. Let n = -0.8 + w. Which is bigger: n or 0?
0
Let l(j) = -j**2 - j - 3. Let a be l(-4). Let u be ((-1315)/a)/((-7)/12). Let h = 150 + u. Which is bigger: 1/4 or h?
1/4
Let f = 551/8910 + -1/810. Is 0.1 at least f?
True
Let o be 16/(-24) - 22/(-30). Which is smaller: o or -1?
-1
Suppose -4*i - 8 = -2*i - 2*v, 26 = -2*i - 4*v. Which is smaller: -5 or i?
i
Let f(o) = 26*o + 12. Let v be f(-2). Is -40 <= v?
True
Let a = 308/3 + -3101/30. Is -2 less than a?
True
Suppose x + 4*x - 22 = 2*z, 17 = -z + 4*x. Suppose w - 3 = -2. Suppose 5 - w = 4*r. Do z and r have the same value?
False
Let h = 5.75 - 5.7. Is -1 <= h?
True
Let a = -12 + 12.1. Is -4 <= a?
True
Suppose -10*s = -9*s + 3. Is s >= -4?
True
Let f(a) be the first derivative of a**3/3 - 4*a**2 + 2*a - 3. Let p be f(8). Is p < 1?
False
Let w = 5.96 + 31.94. Let z = -31 + w. Let r = 7 - z. Is r != 0.3?
True
Suppose -4*g - 15 + 42 = -3*h, -2*g = -5*h - 45. Which is bigger: -43/5 or h?
-43/5
Suppose 0 = -5*j + 2*q + 50, 4*q - 20 = -2*j - 0*j. Let u be 9/15 - 21/j. Which is bigger: -3 or u?
u
Let p(k) = -k**2 - 8*k - 3. Let o be p(-7). Suppose o*q + 10 = 2*q + x, 5*x - 6 = -q. Is q bigger than -1/3?
False
Let h be (-18)/42 + (-53)/7 - 0. Is h equal to -28/3?
False
Let j be 4/(-3) + 1/3. Let d be (-1)/(-2)*(-25 - j). Let a be (-6)/(-20)*10/d. Which is smaller: a or -1?
-1
Suppose 8*v - 3*v - 10 = 0. Suppose v*n = 3*n - 1. Suppose 3*u - 4*f - 14 = 0, -u - 4*u - 2*f - 20 = 0. Which is smaller: n or u?
u
Suppose -3*c + y + 81 = 0, 5*c - 4*y - 125 = y. Let t be c/147*(-6)/4. Which is bigger: t or 0?
0
Let r = 556/3 + -27803/150. Which is bigger: r or -1?
r
Let f = -45 + 136/3. Which is smaller: 1 or f?
f
Let b = -7.17 + -1.13. Let l = b + 8. Let r = l - -0.3. Is r != -0.2?
True
Suppose 3*v + 7 + 26 = 0. Let o be 5/20 + v/(-4). Which is smaller: -1 or o?
-1
Suppose 3*i = 2*o + 4, 15 + 5 = 5*o. Let l be (i + -2)/(3/(-3)). Which is smaller: l or -8/7?
l
Suppose 0 = 5*f - 4*f + 2. Is -12/5 less than or equal to f?
True
Let b = -52.27 + 52. Let y = -0.53 + 0.6. Let a = b + y. Is -1 > a?
False
Let o(j) = 4*j**2 + 3*j + 3. Let k be 0 + -2 + 0/(-2). Let l be o(k). Suppose -t + l = h + t, -3*h - t + 19 = 0. Is h at most as big as 0?
False
Let d be 18/27*79/2. Let j = d + -26. Which is smaller: 2/7 or j?
2/7
Let s = -46/11 + 263/55. Which is smaller: -5 or s?
-5
Suppose -2*h + 12 = 3*v, 6*h - 3*h + 4 = v. Suppose v*t = -0*t - 4. Which is greater: t or 0?
0
Let k be (5/3)/(((-4)/9)/4). Which is smaller: k or -16?
-16
Let g(d) = -d**3 + 10*d**2 - 8*d - 9. Suppose -4*j + 3*j - 5*f = 6, 0 = 3*j - 3*f - 36. Let m be g(j). Let c = 217/4 + -54. Which is bigger: c or m?
c
Let i be -4 + -1 + (-36)/(-4). Let o = 0.2 - 0.2. Which is bigger: o or i?
i
Let u be 2*(3 - -3)/306. Which is bigger: u or -2/5?
u
Let x = -6 + 5. Let c(s) = 5*s - 1. Let w be c(-1). Let k = x - w. Which is bigger: k or 4?
k
Let z = 0 - 3. Let w = -2 - z. Which is smaller: -1 or w?
-1
Let i = 2109/5 + -1762/5. Let c = -69 + i. Which is smaller: -1 or c?
-1
Let h be 2/(-2 - 0)*2. Let b = 0 + 0.2. Let w = 0 + b. Which is bigger: w or h?
w
Let k = -5 + 9. Suppose -14 = -4*t + 2. Are t and k non-equal?
False
Let n be (-6)/(-16)*2*1380/1035. Let i = -3 - -1. Let j be (i/24)/((-2)/4). Which is bigger: j or n?
n
Suppose w + 0*w + 2 = -4*i, -1 = i. Suppose -3*j = -10 - w. Which is smaller: 5 or j?
j
Let w be 2*2 - (1888/60)/8. Let o be 10/(-45) - 22/(-18). Which is smaller: o or w?
w
Suppose 5*i = 3 + 2