-5/7 or t?
t
Let l = 1.5 - -0.5. Let p be 2 + (-94)/25 - -2. Let q = p - -7/75. Is q greater than or equal to l?
False
Let m be 1332/(-19) + (-42)/(-399). Do m and -71 have the same value?
False
Let l be 1 + -4 - (12 + -14). Are l and -1/94 equal?
False
Let i(p) = 2*p**3 + p**2 - p + 1. Let w be i(1). Suppose -2*v + 5*t + 18 = -5*v, 0 = -w*v + 2*t + 3. Do v and -1 have different values?
False
Let x be 28/10 - (-1)/5. Suppose -z + 1 = -2*p, -3*p - z = -x*z + 1. Which is greater: 1/5 or p?
1/5
Let d = 0.181 + -1.181. Which is greater: 0.008 or d?
0.008
Let i = 14.9 + -14. Let w = 0.6 - i. Let d = w - -0.4. Is -0.1 at most as big as d?
True
Let t = -309 - -2148/7. Is -1 >= t?
True
Let h = -713/9 - -79. Are h and -28 nonequal?
True
Let u = -49/10 + 1871/390. Which is greater: u or -1?
u
Suppose 12 = -7*k + 3*k. Is -2 >= k?
True
Let q = -68.9 - -69. Which is smaller: -59 or q?
-59
Let f be 33/77*2/(-12). Is -1 > f?
False
Let s = -949/25839 - -2/891. Is s bigger than -1?
True
Let p be 2 + 2*(0 + -1). Let o = -3 + p. Let d(u) = u**3 + 6*u**2 - 6*u + 3. Let t be d(-7). Is t >= o?
False
Let v be 1 + 1 + (-60)/20. Is v at most 1?
True
Let a = -1/108 - 211/540. Let l be 7/2*(-40)/(-70). Is l smaller than a?
False
Let d = 8 + -3. Suppose -5 = -3*h + 4, -2*q = d*h - 7. Suppose 3*y + 4 = -3*v + 2*v, -5*y = -2*v + 25. Are y and q equal?
False
Let p be 0 + -1 + 55*-1. Let k be ((-944)/p)/(-7 + 1). Let x = k + 8/3. Is x at most 1?
True
Let b be (-49)/(-7) - (0 - -3). Let t = 10 - b. Suppose -3*u = -0 - t. Which is smaller: 2/3 or u?
2/3
Let y be (-21)/(-84)*(-4)/25. Is 1 at least as big as y?
True
Suppose 8*b + 103 = -41. Is b greater than 2/7?
False
Let i(u) be the second derivative of -4*u**2 + 0 + 1/12*u**4 + u + 5/6*u**3. Let p be i(-6). Do -2 and p have different values?
False
Let y(g) = -g - 5. Let a be y(-10). Let j be 2 + 2*4/(-6). Is j <= a?
True
Let a = -1.81 + 0.01. Let w = 0.2 - a. Does w = 2?
True
Let t = -7.7 + 6.7. Is 121 greater than t?
True
Let d = -1 - 1. Let p = -873/497 + 3/71. Which is smaller: p or d?
d
Let o be 18/(-10)*(-5)/(-15). Is -2 smaller than o?
True
Suppose 3*v = 11 - 14. Which is bigger: v or -47?
v
Suppose 4*b - 6*g = -2*g + 40, b - 4*g = 25. Suppose b*w - 4*h - 65 = -0*h, 0 = 5*w + 3*h - 65. Is 11 > w?
False
Let t(q) = q - 9. Let r be t(8). Let a be (-2 + 1)/(-2 + 3). Are a and r unequal?
False
Let h = 6 + -4. Let o = -221/2 - -111. Is o >= h?
False
Let i(d) = -d**2 + 4*d + 6. Suppose 2*n + 12 = 4*c, -c - n + 10 = 1. Let h be i(c). Let l = 33/5 + -7. Which is smaller: h or l?
l
Suppose 3*g + 6 + 7 = a, 0 = -2*a - 3*g - 10. Let r = 634/943 - 24/41. Is r greater than or equal to a?
False
Let x(m) = 2*m**3 + m**2 - m + 13. Let g be x(0). Which is bigger: g or 14?
14
Suppose 0*i + 3*i = 6. Suppose -4*l + q = -30, -i*l + l + 2*q + 4 = 0. Suppose -5*d + d = l. Is 2/3 at most as big as d?
False
Suppose 0 = 5*l + 3 + 17. Which is smaller: l or -3?
l
Let s = -11.8 - -12.1. Is s equal to -0.1?
False
Let q = -8.995 - 0.005. Are -0.13 and q nonequal?
True
Suppose 3*x - 15 - 9 = 0. Let l(m) = m - 4. Let u be l(x). Is -1 equal to u?
False
Let k be ((-10)/(-6))/((-1)/(-3)). Let m(r) = r**2 - 2*r. Let i be m(-2). Suppose 0 = 3*g - i + k. Is g < -1/4?
False
Let k be (-2 - -4 - 1) + 1. Let q = 769/112 + -87/16. Is q equal to k?
False
Suppose 3*q - 13 = -5*u - 5, 0 = q + 2*u - 3. Let s be (4 - q)*(-7)/(-21). Is s > -1/14?
True
Let n = 3/76 + -243/380. Let c(i) = -i - 13. Let w be c(-9). Let h = -5 - w. Is n less than h?
False
Let i = -17 - -34. Let z = -16.93 + i. Let u = 0.13 + z. Does -2/7 = u?
False
Suppose -5*f = 3*i + 70, 2*i + 5*f = 4*f - 35. Let y = 72/5 + i. Let k(j) = -j**3 + 4*j**2. Let g be k(4). Which is smaller: y or g?
y
Suppose -12 = 4*q - 2*y, 20 = -2*q + 5*y - 2. Which is smaller: -1/60 or q?
q
Let j = -6/43 + -25/129. Which is greater: -3/2 or j?
j
Let v = -0.9 + -0.1. Let d = 0.3 + -0.2. Let x = 0.6 - d. Which is bigger: v or x?
x
Suppose -3*y + 13 = 3*x - 41, -2*x + 12 = -4*y. Which is smaller: x or 7?
7
Suppose -b + 2 = -1, 5*q = 3*b - 19. Let y = q - 1. Is 0 at most y?
False
Let s be (-1)/(-3) + (-2)/6. Let u be 5/(s/(-1) + -2). Is -4 bigger than u?
False
Let y be (-28)/(-160) + (-1)/(-5). Is y != 0?
True
Let w be ((-16)/(-14))/(-10 - -8). Which is smaller: w or 0?
w
Let l be (-16)/(-30) + (-5)/25. Suppose -2*a = -6*a. Which is bigger: l or a?
l
Let x = 0.257 + -0.057. Let n = 0 + -6. Let f = -8 - n. Is x bigger than f?
True
Let l = 1 + -0.8. Let b = 0.3 - l. Are b and 1/2 equal?
False
Suppose 0 = -3*q - 0 - 3. Do q and 2/231 have the same value?
False
Let o = 62 + -68. Does o = -6?
True
Let x = -5 - -3. Let k be (3 - -149)*(-1)/3. Let q = 50 + k. Is x not equal to q?
True
Suppose -2*y - 7 = 5*k, 3*k = -y + 8*k + 4. Let d = -4 + 7. Let i = d + y. Which is smaller: 3 or i?
i
Let v be 2/(-1)*1/29. Let y be (-9)/(-36) + 2/(-8). Which is bigger: v or y?
y
Let z(y) = y**2 + 2*y + 1. Suppose -4*h = -5*u + 15, 0 = 3*u - 0*u + 2*h + 13. Let r be z(u). Which is bigger: 6/5 or r?
6/5
Let r be (-2 - -2)*2/(-2). Is -2/13 > r?
False
Let l = -0.08 + 0.07. Which is bigger: l or 2?
2
Let i(u) = -11*u + 38. Let m(s) = 4*s - 13. Let x(f) = -3*i(f) - 8*m(f). Let v be x(7). Which is greater: v or -1?
-1
Suppose 0 = 4*p + 10 - 42. Let w be -2 - (-4)/(p/3). Is -2/15 <= w?
False
Let p be ((-6)/(5 - -7))/(1/(-2)). Which is greater: 2/139 or p?
p
Let t(f) = -f**3 - 4*f**2 + 4*f - 3. Let x be t(-5). Let u(g) = -5*g**2 + 2 - 2 + 3*g**2 + 3*g. Let b be u(x). Is -1/2 <= b?
False
Suppose -3*o + 5*w + 3 = 0, -w = o - 0*o + 7. Suppose -3*l - 5 = -2*l. Is l > o?
False
Let i = 451 - 7209/16. Which is bigger: -1 or i?
i
Let f = -18 - -41. Is f greater than or equal to 21?
True
Suppose 0 = -3*p - p + 8. Let o be (1/p)/(2/12). Is o > 1?
True
Let a(z) = -z**2 - 8*z - 5. Let k be a(-7). Let p(b) = b + 4 - 2*b + 5*b + b**k. Let l be p(-3). Which is smaller: l or 0?
0
Let u = -14 + 13. Which is bigger: -1/6 or u?
-1/6
Suppose -4*s + 4*z = 0, 0*s - 5*z = 5*s + 10. Let h = 4 + s. Suppose 3*r + h = -3. Do -4 and r have the same value?
False
Suppose 0 = r + r - 16. Suppose 0 = 5*g - 2*x - 43, -8*x + 3*x = g + 13. Which is smaller: g or r?
g
Let x = -32 - -23. Let c = 6 + x. Let g = -1 - -2. Which is greater: g or c?
g
Suppose 2*d - 2*n - 3*n + 1 = 0, -5*d - 3*n = 18. Let c = -6 - d. Which is bigger: -2/9 or c?
-2/9
Suppose 5*l + 27 = 92. Which is bigger: l or -0.1?
l
Let o = -0.1 + 0.2. Let t = -0.3 + 0.3. Let p = 1 - t. Which is bigger: p or o?
p
Let p = 2 + -5. Let z be (-6)/6 + (-1 - 0). Let u = 0 + z. Is u < p?
False
Let d = 2 + -3. Let t = 4 + d. Let u = 2.9 - t. Which is smaller: u or -1?
-1
Let t = -4.097 - -0.097. Is t not equal to 2?
True
Let p be (-2)/10 - ((-3160)/(-25))/(-2). Is p bigger than 62?
True
Let f(w) = w - 8. Let p be f(5). Which is greater: p or -20/9?
-20/9
Let d(g) = -2*g**3 + 9*g**2 + g. Let q(r) = r**3 - r**2. Let o(x) = d(x) + 3*q(x). Let i be o(-6). Is i <= -6?
True
Let s = -17 - -19. Let d be (-48)/21 + 2/7. Which is bigger: d or s?
s
Suppose 0 = -4*g + 4 - 0. Let d = g + -17. Is d equal to -16?
True
Let i(k) = -k**3 - 6*k**2 - 3*k. Let z be i(-5). Is -17/2 > z?
True
Let n = -52 - -59. Is 7 equal to n?
True
Let x(p) = p + 16. Let a be x(-11). Which is bigger: a or 6?
6
Let s(w) = w**2 - 3*w. Let m be s(3). Is m <= 1?
True
Let p(f) = f**3 + 10*f**2 - 12*f - 9. Let x be p(-11). Let m = 6 - x. Suppose i - 5*s + 16 = 5*i, -2*i - 2*s = -8. Is i less than m?
False
Let y(v) = -v**3 - 6*v**2. Let u be y(-6). Let a(d) = d**2 + d. Let t be a(-1). Suppose t = -h - h + 4. Which is bigger: h or u?
h
Let l = -2 + -9. Let y = l - -5. Do y and -6 have different values?
False
Suppose -5*o + 2*k = 15, -6*o = -2*o - k + 9. Let y be (4 + o)/(45/(-6)). Suppose -5*l - 8 = -t, -t - t = -5*l - 11. Is y > l?
True
Let c be -1 - ((-21)/15 + 0). Let g(l) = -l**2 + 3*l - 1. Let q be g(3). Which is greater: c or q?
c
Let x be ((-55)/(-2))/5 - 4. Is x at most as big as 1?
False
Let p(o) = -o**3 - o**2 + o + 6. Let w be p(0). Which is smaller: w or 5?
5
Suppose 2*c + c + 15 = 0, 0 = -4*j + 3*c + 27. Suppose 5 = x + 2*x - 4*b, -4*b = 3*x + 11. Let d be 1 - (j + -2)*x. Is d at least 3/4?
True
Let j = 4 + -8. Let r = -4 - j. Which is bigger: 1/3 or r?
1/3
Let b(s) = 