- 3.79. Is y greater than or equal to b?
True
Let k(p) = 3*p**2 + 9*p - 8 - 2*p**2 - 2*p**2. Suppose 5*y = -42 + 82. Let n be k(y). Is 1/4 at least as big as n?
True
Let d = 6 + -13. Let c be (d - -4) + (-4)/(-1). Does c = -1/141?
False
Let x(p) = 21*p + 807. Let w be x(-38). Suppose 0*j + 4*j = 44. Is w at least j?
False
Let t(r) = r**3 + 6*r**2 - 10*r + 2. Let d be t(-7). Let h = d + -29. Let g be 318/(-30) + h/(-10). Is -9 at least as big as g?
True
Let g be 2 - (40/28)/((-4)/(-7)). Let a = 4 - 2. Suppose j = -3*n - 5 - 4, -a*j - 6 = 0. Which is smaller: g or n?
n
Let o be (-4)/(-16)*8/((-8)/4). Is o less than or equal to -34?
False
Let x = -82.86 + -0.14. Let r = x - -83. Suppose 15 = 7*l - 2*l. Is l at least as big as r?
True
Let f(i) = 96*i**2 + 1. Let j be f(-1). Suppose 8*w + j = -39. Which is bigger: -16 or w?
-16
Let n be (348/(-36))/(3/((-18)/32)). Let f = -21/16 + n. Which is smaller: -63 or f?
-63
Let u = 465 - 467. Let s be 12 + -3 - 0/2. Which is smaller: u or s?
u
Suppose 0*h - 2*h = -8. Suppose k = -3, h*c + 3*k + 5 = 2*c. Suppose c*a + i + 16 = 0, 0 = -5*a + 4*i - 23 - 4. Is -3 >= a?
True
Let z be 4/90 + 271760/900. Which is greater: 303 or z?
303
Let y be 38/(-2185)*(-3)/(-6). Is y >= -1?
True
Suppose -27*c + 117*c = 28890. Is 321 greater than c?
False
Let q = -1151 - -5752/5. Which is smaller: 7 or q?
q
Let i be 6/4 - (-145)/58. Is i not equal to 1/2?
True
Let o = -43 - -38. Which is smaller: o or 8?
o
Let c = 468/245 + 24/49. Which is smaller: 1 or c?
1
Let h be 1/(-2)*(4 + -4). Suppose -12 = -3*k + 3. Let p be 20/14*4/k. Is h greater than p?
False
Let q = -172 - -170. Let a = -621857/5 - -123549. Let n = -825 - a. Which is bigger: q or n?
q
Let u(x) = 5*x - 13. Let b be u(3). Suppose -3*t = 2*y + b*t + 8, 11 = 5*y - 3*t. Is y smaller than 10/7?
True
Let s be (-26)/(-80) - ((-45)/20)/(-9). Let z = 303/40 - s. Which is greater: z or 7?
z
Suppose -20 = -3*c + 7*c. Suppose 2*x = -3*x + 5*y - 25, 4*x + 35 = y. Which is smaller: x or c?
x
Let f be (-145820)/342125 - 3/(-7). Which is bigger: f or 0?
f
Let f = -302 + 300. Is -3 greater than or equal to f?
False
Let t be 2 - (-23)/(-5) - 40/100. Which is bigger: 0 or t?
0
Let z = -217 + -269. Which is smaller: z or -2/3?
z
Suppose 0 = 3*o - o + c - 229, 20 = -4*c. Let y = o + -80. Suppose -3*l + 5*l + 14 = -3*j, -4*j + l = y. Which is greater: j or -10?
j
Suppose -4*g - 8 = 4*s, 4*g + 17 - 15 = -s. Let p = -16/3 + 29/6. Which is greater: p or s?
p
Let x(y) = -10*y**2 - 43*y + 14. Let n be x(-6). Is -89 bigger than n?
False
Let l = -130.071 + 130. Let f = -0.029 + l. Does -6 = f?
False
Let o = 54 - 22. Let z = o - 31.3. Is 0 bigger than z?
False
Let f(z) = z**3 - 5*z**2 + 3*z. Let h be f(5). Let u(m) = 3*m + 0*m - 2 - 3*m - h*m**2 + m**3. Let r be u(15). Which is greater: -4 or r?
r
Suppose 3*m + 3*z = -78, -78 = 12*m - 9*m + 5*z. Is m equal to -334/13?
False
Let j = -3 + 2. Let y = 7.6 + 0.7. Let n = 8.29 - y. Is n less than j?
False
Let m = -749 - -749.012. Which is bigger: -2/11 or m?
m
Let v = -2733 - -139388/51. Which is smaller: -1 or v?
-1
Suppose 5*c - 3*c + 24 = -4*u, 23 = c - 5*u. Let w = -2 - -2. Suppose -5*s = -w*s + 10. Are c and s unequal?
False
Let a be 16/(-36)*(-39)/(-13832). Is a greater than 2/3?
False
Let d(n) = 6*n - 5. Let p(q) = 2*q - 2. Let l(i) = 2*d(i) - 7*p(i). Let o be l(3). Suppose 0 = 5*u - 25, -4*j + u = 14 + 11. Which is smaller: j or o?
j
Let u be (0 - 0/1)*1. Let x = 0.23 + -0.566. Let q = -0.064 + x. Which is greater: u or q?
u
Let g be -1*(-6 + 3 + 1). Let u be 0/(g/8 - (-10)/(-8)). Which is smaller: u or 1/5?
u
Let r = -345.9 - -346. Which is greater: 2/31 or r?
r
Let o = 2162/39 + 13261/117. Let s = o - 169. Is 1 <= s?
False
Let k(o) = o**3 + 7*o**2 - 7*o + 10. Let m be k(-8). Suppose -87 = -m*i - 5. Suppose i = 4*a - 5*s, -a + 4*a - 24 = -3*s. Which is bigger: a or 10?
10
Let t = 2.5 + 0.3. Let k = -3.52 - -6.42. Let p = t - k. Are p and -6 equal?
False
Let u = 2.4 - 2. Let p = 2.4 - u. Let f be 1/(-10)*-4*(-5)/13. Is f > p?
False
Suppose -8*w + 12 = -6*w. Suppose w*p = -2*p. Which is bigger: -2/67 or p?
p
Let r = -37 - -43. Suppose 6*l = -0*l - r. Which is smaller: 2/47 or l?
l
Let v(d) = d + 12. Let s be v(-7). Suppose -5*u + 7*u = -2. Let p(j) = -6*j**3 - 1. Let f be p(u). Is f greater than s?
False
Let a = -10 + 9. Let g be (-2)/a + 0 + 0. Suppose -s + 19 = g*b, b - 1 = -4*s - 2. Is 11 smaller than b?
False
Let h = -38.514 + 0.884. Let t = 37 + h. Let s = 0.17 - t. Do s and -1 have different values?
True
Let m = -20 + 30. Let y = 22 - 42. Let z be (-18)/y - 12/30. Is m != z?
True
Let j(p) = -2*p**2 + 119*p - 134. Let r be j(58). Which is smaller: r or 56?
r
Let g(j) = -80*j**2 + 2*j + 1. Let v be g(-4). Let a = -16721/13 - v. Does a = 2?
False
Let u(g) = -15*g + 61. Let f be u(4). Which is greater: -6/215 or f?
f
Suppose 0 = -3*t - 2*i + 8, 3*i = 9*t - 6*t + 12. Which is greater: -13 or t?
t
Let o = -0.13 + -1.67. Let h be 10/12 - (-42)/(-28). Is h smaller than o?
False
Let n be (-99)/22*8/(-6) + -685. Is -0.1 < n?
False
Let c(z) = z - 1. Let q be c(-6). Let t be 7 - q/(28/8). Let p(u) = u**2 - 9*u + 1. Let r be p(t). Which is greater: r or 6/13?
r
Suppose -217*q + 219*q - 2 = 0. Which is greater: -37 or q?
q
Suppose 5*l - 30 = -3*b - 0*b, 0 = -2*b - 2*l + 16. Let w be 5*(14/(-35) - (-47)/b). Is 45 bigger than w?
False
Let t be (-2)/((-182)/(-29)) - 303/2121. Does 0 = t?
False
Let s = -19 + 23. Let r = 4.1 - s. Is -1/48 at least as big as r?
False
Let t = 4380 - 4380. Suppose -2*q - 2*y = -8, 9*y - 6*y - 4 = -q. Suppose -4*w + 0 = q*a + 4, 0 = -4*a + 5*w - 4. Is a less than t?
True
Let x = -20.6 + -2.4. Which is smaller: x or -2?
x
Suppose 5*c = 2*v + 29, -51 = 5*v - c + 33. Let i = v - -14. Does i = -4?
False
Let l(q) = -192*q + 18. Let b be l(12). Let w be (-4)/(-10) - b/135. Let x = w - 18. Is x bigger than -2/3?
False
Let o be (-2934)/(-351) - ((2 - 0) + 4). Are 2 and o unequal?
True
Let f = 65 - 50. Let t be (-126)/f + 4/10. Do -35/4 and t have the same value?
False
Let u(b) = -5*b + 170. Let d be u(25). Is d not equal to -2?
True
Suppose 4*k - 8 = -8. Let y(t) = t**2 - 6*t + 2. Let v be y(k). Is -2 equal to v?
False
Let l be (45/6)/((-11)/(-4) - 2). Suppose 0 = b - 0*b. Suppose r = 11 - b. Are r and l equal?
False
Let h be -1*(-2)/(-92)*1. Let a(g) = -g + 17. Let p be a(18). Is h != p?
True
Let v = -8.002 + 0.932. Let d = -7.1 - v. Which is smaller: -2/19 or d?
-2/19
Suppose -63*s + 15*s = -48. Let i(p) = p**2 + 3*p + 3. Let q be i(-2). Let r be (6 - (q + -1))/14. Is r at most s?
True
Let q(i) = -8 + 6*i**2 + 0*i**2 - 2*i + 11*i - i**3 + i**2. Let s be q(8). Suppose s = -3*d - 2*d. Which is greater: -1 or d?
d
Let x be 15/(-18) - (-1 - 2190/36). Is 60 > x?
False
Let m be 1*(9 + -1)/4. Suppose 0 = 3*n + 15, 3*p + 6 = -p - m*n. Let s = -191/10 + 19. Are s and p nonequal?
True
Let j be (-6)/(-20) + 2088/1040. Which is smaller: 3 or j?
j
Let d be 5*(-6)/105 - (-1392)/(-273). Which is greater: d or -4?
-4
Let l = 1/645 - 389/1290. Let d = 25 + -25. Suppose z - 1 = t, 5*t = 2*z - 2 - d. Which is smaller: t or l?
l
Let s = 1163.546 + -1164. Which is greater: s or 0.2?
0.2
Let p be 0 + (-6)/(-2) + (-955213)/318297. Which is smaller: -1 or p?
-1
Let s be 5/20 - (-6)/8. Let n = 531.019 + -531. Is s > n?
True
Suppose 4*j + 44 + 4 = 0. Let f = 13 + j. Let w(s) = s + 9. Let z be w(-8). Is z greater than or equal to f?
True
Let l be (-8)/44 - (-2386)/6468. Let o = -1/49 + l. Which is greater: 2/29 or o?
o
Let m be (9 - 9)*(-4)/(-32)*4. Is m > 1/52?
False
Let a = -6 + 6.42. Let x = 0.32 - a. Let z = 0.2 + -0.1. Which is smaller: x or z?
x
Let l = 0.1 + -0.06. Let c = -62 + 60.04. Let v = l - c. Is v > 0?
True
Let t(y) = -y**3 + 24*y**2 - 21*y - 45. Let k be t(23). Is -4/353 greater than or equal to k?
False
Let q(z) = -z - 1. Let v = -17 + 11. Let r be q(v). Suppose -t = 5*g + 20, 0*t + r = 3*t + 2*g. Is t != 3?
True
Suppose 0 = -6*r + 2*r + 292. Do r and 75 have the same value?
False
Suppose -4*z + 5 = 93. Let w = z - -22. Let c(v) = -v**2 - 9. Let y be c(w). Which is greater: -2 or y?
-2
Suppose -4 = 3*r + 2*q, -q + 8 = 5*r - 5*q. Is r <= 17/26?
True
Let y = 2/1723 + -60317/10338. Let n = y - -461/78. Is -1 less than or equal to n?
True
Supp