 < s?
False
Suppose -25*y + 23*y = 0. Suppose y = -3*f - 0*r - 5*r - 10, -3*f + 4*r - 46 = 0. Let b be f/50 + 3/5. Which is bigger: 1 or b?
1
Let o = -0.6 + -1.4. Let w(b) be the third derivative of -b**5/60 - 7*b**4/8 - 8*b**3/3 + 5*b**2. Let f be w(-20). Which is smaller: f or o?
o
Let t(h) = -h**3 - 2. Let d be t(2). Let g = 13 + d. Is g < -0.1?
False
Suppose 10 = -2*q, 5*c - c + 4*q + 8 = 0. Suppose 3*i + i = 3*z + c, -3 = 4*i + 3*z. Which is bigger: i or 9/16?
9/16
Let f(a) = a + 9. Let s be f(-5). Let d be 183/5 + s/(-40)*-4. Suppose y = 14 + 22. Which is smaller: d or y?
y
Let u be (-4 - (5 - 84/9))*-3. Which is smaller: 499 or u?
u
Let o = -13 + 208. Suppose -3*r = 5*u - o, 44 - 217 = -4*u + r. Let b be (-4)/14 - 2/u. Are -7 and b non-equal?
True
Suppose 2*t - o - 1 - 7 = 0, -3*o - 8 = 2*t. Let y = -114.998 - -115. Let j = y + -4.002. Which is greater: j or t?
t
Suppose 3*z + 6 = 5*z. Suppose 0 - z = m. Which is smaller: m or 2/5?
m
Let b = -6 + 8. Let v(w) = w**2 - 12*w - 1. Let g be v(12). Let m(o) = -3*o. Let r be m(g). Which is greater: b or r?
r
Let x(m) = -2*m**3 - 2*m**2 + 26*m + 6. Let k be x(4). Is -2/3 equal to k?
False
Let z be -1*(-1)/98*2. Suppose -1 = -8*d + 3*d - a, -3*d - 3*a = -3. Is z < d?
False
Suppose -2*z = -12*z - 10. Is 3/100 greater than or equal to z?
True
Let l be 245/531 - (-192)/(-432). Is 0 at least l?
False
Suppose 0 = -5*o + 3*o - 3*w - 44, 3*o = -5*w - 68. Which is smaller: o or 2/15?
o
Let o = -557 + 557. Is o not equal to 20/69?
True
Let t = 251 + -280. Which is bigger: -27 or t?
-27
Suppose 6*r - 7*r + 3*g - 176 = 0, -5*r = 2*g + 863. Is r < -173?
False
Let u = 874 - 796. Which is greater: 76 or u?
u
Let c = 2811/5 - 986656/1755. Which is bigger: 1 or c?
1
Let u = -33 + 30. Is u greater than or equal to -31/10?
True
Suppose 0 = -2*s - 4*v - 24, -s - 7 - 15 = 4*v. Which is greater: -20/3 or s?
s
Let p = 337 - 336. Which is greater: p or -2/27?
p
Let t = 1812 + -1669. Is t greater than or equal to 6?
True
Suppose -c - c = -2*b + 1052, 4*c = b - 2098. Let v be (-10)/(-70) - c/(-42). Which is bigger: -11 or v?
-11
Suppose 51 = 2*p + 17. Let t = -19 + p. Is -8/9 at least as big as t?
True
Let s be -12*(-2)/(-4)*1/(-3). Let m be (s - (-6)/(-2))*(-1 + -12). Is m smaller than 14?
True
Let g = 148 - 140. Is g >= 7?
True
Let c(g) = -g**2 + 24*g + 7. Suppose -2 + 26 = u - 2*d, -4*u + 5*d = -96. Let l be c(u). Is l > 6?
True
Let c be 17730/(-2223) + 9 - (-3)/(-3). Which is bigger: 1 or c?
1
Let n = 30 + -34. Let j be 28/14 - n/2. Let s be ((-92)/(-22) - j)*2. Is s bigger than 0.1?
True
Let x = 73.1 - 77. Let b = 3.6 + x. Is 13 less than b?
False
Let c(m) = -m**3 - 9*m**2 + 18*m - 40. Let a be c(-11). Let x be (-8)/6*162/(-52). Which is greater: x or a?
x
Let d(j) be the third derivative of j**6/120 - 7*j**5/30 + 5*j**4/8 - 17*j**3/6 + j**2. Let g be d(13). Let k = -3 + g. Which is smaller: 5 or k?
5
Let m be (-20)/21 + (-30)/(-45). Let x(f) = -28*f**3 - 2*f - 2. Let g be x(-1). Which is bigger: g or m?
g
Suppose 0 = 3*a - i + 1 - 26, -a = i - 15. Let d = a + -61. Is d greater than -51?
False
Let y = -1505 + 1505. Is -3/626 smaller than y?
True
Let x = -45/26 - 23/13. Is 0.02 equal to x?
False
Let x = -7912/747 + 95/9. Is x greater than -2?
True
Let z = 3976466/141 + -28202. Do -1 and z have the same value?
False
Let y = -2 + 1. Let u = y + 1. Let k = -13831 + 13834. Is k < u?
False
Suppose -2*h + 0*h = 0. Let g = 9482 - 218088/23. Is h <= g?
False
Let m = -320 + 319. Which is smaller: m or -1/884?
m
Suppose -2*x + 29 = -3*x. Let s = -169 - -141. Which is smaller: x or s?
x
Let l = -15 - -18. Suppose l*i = -i. Let d = -5525/17556 + -1/924. Are d and i nonequal?
True
Let j(h) = -h**3 + 13*h**2 + 16*h - 8. Let d be j(14). Suppose 3*f - 2 = 2*k - 1, -4*k = d. Does 0 = f?
False
Let p be 2/(-735) + -1 + 19 + -18. Let q = p - -1052/735. Suppose -4*s = -s - 3. Is q greater than s?
True
Suppose -43 = -4*g - 3*q, -1 - 18 = -2*g - q. Let w(f) = 2*f + 1. Let h be w(1). Suppose -a + 4 + h = 0. Is g at least as big as a?
True
Let z = -1.2 + -4.5. Let v = 5.7 + z. Is -4/7 equal to v?
False
Let s(r) = r**3 + 8*r**2 + 5*r - 7. Let w be s(-7). Let p(h) = -6*h + 11 + w*h**2 - 2*h**3 + 3*h**3 - 1. Let q be p(-8). Which is greater: -7 or q?
q
Suppose 5*g + 5*i = 0, 0*g + 2*g = -3*i - 2. Suppose 2*d = -4*b - 6, g*d + 2*d + 8 = -4*b. Suppose l - 5*l - 8 = 2*w, 0 = l + 3*w + 2. Which is smaller: l or d?
l
Let f(u) = -u**2 - 6*u - 7. Let c = -66 - -62. Let m be f(c). Is m at most as big as 5?
True
Suppose -35*j + 9007 = 2287. Is 188 < j?
True
Let j(i) = 3*i**2 - 32*i + 24. Let k be j(10). Suppose -3*x - 8 = -7*x. Suppose k*h = 2 + x. Is 0 > h?
False
Let b = 405 - 809/2. Which is smaller: b or -11/4?
-11/4
Let q(a) = -5*a**3 - a**2 - a. Let d be q(-1). Suppose d*m + 24 = m. Let b = 8 - 8. Is b bigger than m?
True
Let u be (-66833)/(-1746) + 2/9. Which is greater: 38 or u?
u
Let o = -259 - 39. Which is greater: -299 or o?
o
Let y = -1927 - -1928.42. Is 0 greater than y?
False
Suppose -3*v = -5*t + 95, -3*t = -v - 8 - 17. Is -40 less than v?
False
Let q = -40 + 41. Let u(d) = -11*d**2 + d. Let m be u(q). Let o be (144/45)/(2/m). Which is smaller: o or -17?
-17
Suppose 7*y - 5 - 16 = 0. Suppose 0 = -4*x + v + 4 - 13, 0 = 4*x - y*v + 19. Let j be 2/6 + 32/(-12). Is x smaller than j?
False
Suppose 0 = -4*t + 5*m + 15, 2*m = -3*t + 3*m + 25. Suppose -3*u = 13 - t. Let j be (-4)/14 - 5/(-42). Is u greater than or equal to j?
False
Let y(j) = j - 15. Let d be y(13). Let v be (13 - 81)*d/4. Are 34 and v equal?
True
Suppose 6*v - 5*v = -3*q - 554, 4*v = 2*q + 388. Is q <= -187?
False
Suppose 101*g + 443 = 3069. Suppose -138 = -5*v - 2*r, -4*v - 15 + 115 = -r. Is v < g?
False
Let d be 1*(0 + -1 + 21). Let g = d + -20. Which is smaller: -2 or g?
-2
Suppose 43 = -7*p + 6*p - 2*u, 3*p - u + 157 = 0. Which is bigger: 1 or p?
1
Let b = 103 - 31. Which is bigger: 0 or b?
b
Let n = 46.3 - -14.7. Which is bigger: n or 2?
n
Let k = -116.18 - -99. Let o = 17 + k. Let c = o - 0.82. Which is greater: -0.03 or c?
-0.03
Let z = 0.171 + -0.141. Are 1/6 and z non-equal?
True
Let y = 3849 - 18867/5. Let k = y - 76. Let g = 10.2 - 9.4. Is k less than or equal to g?
True
Let a = 860 + -1390. Let h = -11132/21 - a. Does h = -1?
False
Let s be ((-4)/(-2))/8*6. Let g = 8310 - 8309.8. Is s at least as big as g?
True
Let z = -33647/235 - 1176/47. Let b = z + 169. Suppose 5*p + 0*p = 0. Is p <= b?
True
Let w = -5.4 - -6.6. Let p = w + -1.2. Let o = 1 + 0. Which is smaller: p or o?
p
Let y be (-2)/3 + (-3)/9. Which is bigger: -5/12 or y?
-5/12
Let u(o) = o**2 - 3*o - 11. Let i be u(5). Let q = -2 - i. Let x = 44984/51 - 882. Is x at most q?
False
Suppose -f = p - 10, -f + 5*p = f + 8. Let v = -20 - -17. Let a be 1/v + -3 + (-84)/(-9). Is f equal to a?
True
Suppose 4*b = 3*n - 5 - 3, 0 = -2*n - 5*b - 10. Let p(c) = -1 - 2 + 0 - c. Let g be p(-3). Is n smaller than g?
False
Suppose 0 = -3*c - 6, 8*p + 19*c - 74 = 10*p. Which is greater: -2/3 or p?
-2/3
Suppose 4*d + 14 = 3*s, 2*s - 3*s = -4*d - 10. Let o be (144/(-330))/(s/(-5)). Suppose 21*p = 17*p. Which is greater: p or o?
o
Let a be 3/(-4)*(-140)/(-330). Is 0 smaller than a?
False
Let k be 40/(-18) - (-28)/126. Let b be (-4)/(-14) + (-274)/420. Let v = b + -3/10. Which is greater: k or v?
v
Let g be (-318)/1386 - (4 + -5)/3. Is g equal to -1?
False
Let o = -7 + 6. Let m = o + 1. Let r = -1 + 7. Which is smaller: r or m?
m
Suppose -8 = -6*p + 2*p. Suppose 2*t - t + 5*l = -49, -98 = 2*t - 5*l. Let r = t + 43. Is p at most r?
False
Suppose -3*o = -4*o + 2. Suppose 0 = 2*x + 4*f - 1 + 21, 5*f - 20 = o*x. Let g = 12692 - 12691. Is x at least g?
False
Let v(p) = p**3 + 3*p**2 - 5*p - 4. Let f be v(-4). Suppose f = -5*j + 2*j. Which is smaller: j or -3/19?
-3/19
Let g = 132 + -126.8. Let m = -6.2 + g. Which is bigger: m or 7?
7
Suppose 0 = -3*g - p - 14, 0*g = -2*g - 4*p - 6. Let c be (55/(-4))/g + 3/(-4). Is 3 equal to c?
False
Let m be ((-8)/(-10))/(6/30). Suppose -2*z = -2*x - 16, 5*z - 2*x - 30 = x. Are m and z non-equal?
True
Let c = 357.37 + -359. Let q = c - -1.7. Let w = 16 - 17. Is q smaller than w?
False
Let j = -1062 + 1062.1. Which is smaller: j or 643?
j
Let p be -2*(5 - 6/2). Let q be 3/(p - -10)*(-51)/(-2). Is