Are -5 and l nonequal?
True
Let i = -6 + 6.12. Let y = 0.02 - i. Is 1/3 greater than y?
True
Let c = -9 + 9.08. Let j = -0.02 - c. Which is greater: j or 0.2?
0.2
Suppose -25 = 5*j, 3*r - 1 = 2*j - 3. Let z = -6 - r. Is -1/3 < z?
False
Let h(t) = 2*t - 5. Let m(b) = -b + 1. Let y(j) = h(j) + m(j). Let s(r) = -2*r - 2. Let o be s(-3). Let i be y(o). Which is bigger: -1/2 or i?
i
Let l = -0.08 - 0.05. Let o = -2.13 - l. Is o not equal to -1?
True
Let d = -19/2 - -9. Let k = -8 + 1. Let m = -7 - k. Is m greater than d?
True
Let p be ((-6)/4)/(6/2). Suppose 0 = -2*m - 2*m. Let k be 1/(-2)*(0 - m). Which is smaller: k or p?
p
Let b = 8.9 + -0.9. Let i = b + -20. Which is smaller: -0.1 or i?
i
Let j(i) = i**3 + 6*i**2 + 3*i - 4. Let x be j(-5). Suppose 0*o - c = 3*o - x, -2*c + 3 = 3*o. Let t = 7 + -3. Is o >= t?
False
Let u = 11.27 + -0.27. Let n = -2 + 2. Is u less than or equal to n?
False
Suppose f + y - 3 = 0, 5*y = -f - 0*f + 23. Let g be 260/(-28) - 4/(-14). Let b be (f/(-5))/(g/5). Which is bigger: -2/3 or b?
b
Let f(k) = 2*k**2 - 17*k + 13. Let p(t) = -t**2 + 8*t - 6. Let r(w) = 6*f(w) + 13*p(w). Let y be r(2). Is y > 1/3?
False
Let x = 97 + 8. Let p = x - 739/7. Is p >= 0?
False
Let b = -53.1 - -53. Which is smaller: 17/4 or b?
b
Suppose 4*q = 117 - 49. Let t = 0 + 5. Suppose t*h - 2 = -q. Which is bigger: -4 or h?
h
Let t = -29 + 9. Let m be t/44*(-2)/(-5). Which is smaller: m or -1?
-1
Let u = -2 - -5. Suppose 0*p - u*p = 0. Which is smaller: p or -3/7?
-3/7
Let x = -4.064 + 0.064. Is 1/5 > x?
True
Let w be 65/78 + (-2)/2. Suppose 5*u + 5 = 6*o - o, -u = 5*o + 1. Which is bigger: u or w?
w
Let j = 24 - 8. Let z = j - 19. Is z <= -1?
True
Let z be (-50)/(-96) - (-1)/(-3). Let d = z + 5/16. Which is smaller: -0.1 or d?
-0.1
Let t(g) = -g**3 - 2*g**2 + 1. Suppose 2*x = -5 + 3. Let r be t(x). Is -6/11 smaller than r?
True
Let n = -23 - -22. Is 7/6 smaller than n?
False
Let o = -249/10 - -2679/110. Let u be 2/(-8) + 9/(-12). Which is smaller: u or o?
u
Let r = -13 + 12. Let u(k) = 6*k. Let p be u(7). Let c = p + -253/6. Which is bigger: r or c?
c
Let k = 2 + 0. Let p = 7 - k. Let t = 5.1 - p. Which is smaller: 2/3 or t?
t
Let r = 18 - 17. Is r greater than 0?
True
Let q be ((-16)/100)/(102/15). Are q and 0 non-equal?
True
Let g be (-2)/(-3) + 148/12. Let a = g + -9. Let q = 5 + -4.9. Which is smaller: a or q?
q
Let a = -1.5 - -0.6. Let c = 1.9 + a. Does c = 1?
True
Let m = -4 + 1. Suppose -5 = 4*f - x, -3 = -f - 0*f - 4*x. Let p be ((-4)/(-6)*1)/f. Is p >= m?
True
Let t = 1 - -3. Suppose t*d + d - 5 = 0. Let c be (0/d)/(0 + -1). Is c smaller than -2/5?
False
Let t be (-14)/(-18) - (-4)/12. Suppose 3*o + 0*o - 6 = 0. Is t at least o?
False
Suppose -2*j - 5*f + 16 = -j, -j + 3*f - 8 = 0. Let h(y) = -y**3 - 6*y**2 - 7*y - 7. Let z be h(-5). Suppose -z*l = -l. Which is smaller: l or j?
l
Let o(c) = c - 9. Let y be o(13). Which is greater: 2 or y?
y
Let l = -8.9 + 9. Which is bigger: -1/5 or l?
l
Let k be 10/(-55) - (-87)/297. Is 0 at least k?
False
Let d be (-4)/8*(-2 - -2). Let x(c) = -7*c + 6. Let p(o) = -6*o + 6. Let s(k) = 6*p(k) - 5*x(k). Let i be s(5). Which is smaller: i or d?
d
Suppose v - 1 = -2*a, 8*a = 3*a + 5*v - 20. Do a and -1/12 have different values?
True
Let j = 1 - 0.9. Let r = -0.1 + j. Let h(f) = -f**2 + 5*f + 7. Let g be h(6). Which is bigger: r or g?
g
Let h be (5/(-3))/(1/3). Let a(j) = j**2 + 27*j - 4. Let c be a(-27). Does c = h?
False
Let q = 3.1 - 3.2. Which is smaller: q or -26?
-26
Let k be 0/1*1/2. Suppose -5*s - m + 222 = 2*m, -m + 179 = 4*s. Let q be (-1 + -2)*6/s. Is k < q?
False
Let i = -12 - -15. Is 6 greater than i?
True
Suppose 9 = -2*o + 35. Suppose -2*g + 7*g = -4*j + o, 0 = 3*g - j - 1. Let k = 1/4 - 13/20. Is k at least as big as g?
False
Let t(w) = w**2 - 2*w + 1. Let q be t(4). Let f(b) = b**3 - 8*b**2 - 9*b + 1. Let l be f(q). Is l > -2/29?
True
Let x = 6134/21 - 292. Let t = 205711/1328124 - 2/15811. Let j = t + x. Is j at most -1?
False
Let x be (-14)/(-6) + (-4)/(-6). Suppose 5*h = h. Is h >= x?
False
Let l(u) be the third derivative of 5/3*u**3 + 0 + 1/60*u**5 + 0*u + 4*u**2 + 11/24*u**4. Let h be l(-10). Which is bigger: h or 2/11?
2/11
Let p be (4/10)/(-1)*10. Suppose 0 = -2*l - 2. Let x be (l + (-3)/(-9))*3. Do p and x have the same value?
False
Let k be (-3)/((15/(-2))/(-5)). Let b be 3 + (-2 - 0/1). Is k equal to b?
False
Let z = 2/39893 - 87139/512910. Let a = z - -4/35. Let h = a + -23/234. Which is bigger: 0 or h?
0
Let j = 2 + 0. Let n be 158/6 - 14/(-21). Let p = n - 53/2. Which is smaller: j or p?
p
Let v = 4 + -3.8. Let r = v - 0.4. Let a = 0.3 + r. Which is smaller: 2/3 or a?
a
Let p(t) be the first derivative of -t**2/2 - 7*t + 2. Let i be p(-5). Which is bigger: -8/7 or i?
-8/7
Let d = 14.11 + -14. Which is greater: d or -2/5?
d
Let y(w) = -w**3 + 8*w**2 - 6*w - 1. Let q be y(7). Suppose c - 10 = q*c. Which is greater: 0 or c?
0
Let o(u) = u**2 - 5*u. Let y be o(5). Let q be 14/(-12) + 1 + y. Suppose 4*r + 6 = 2. Which is greater: q or r?
q
Let a(p) = -p**2 + 13*p - 8. Let k be a(12). Suppose 4*x - 5*i + 4*i - 1 = 0, -2*x = -k*i - 18. Which is smaller: x or 2/59?
x
Suppose -3*d = 2*d + 15. Let s be ((-5)/6)/(d/27). Which is greater: 8 or s?
8
Let n be 4/(-14) - (-6)/21. Let x = -978/7 - -140. Which is bigger: x or n?
x
Suppose -3*f + 3*h + 2 = -7*f, -5*f + 5*h - 20 = 0. Is -0.3 greater than f?
True
Let c(t) = t**2 + 7*t + 3. Let b be c(-6). Let h(v) = v**2 - 8*v + 9. Let k be h(6). Is b less than k?
False
Let w = -171/4 + 43. Which is greater: 2/9 or w?
w
Let m = -7 - -4. Let s be m + 1 - 20/(-9). Let k(f) = f**3 - 5*f**2 - 7*f + 7. Let d be k(6). Is d greater than or equal to s?
True
Let p = -0.33 - 0.17. Let u = -13 + 7. Let t be (-2)/(-7) + u/21. Which is bigger: p or t?
t
Suppose -2*l + 3*l - 12 = -4*i, -2*i + 3*l + 6 = 0. Let m = 2 - i. Let o be (1 + m)/3 + -1. Are o and -1 non-equal?
False
Suppose 0 = -5*k - 9 - 36. Is -2 < k?
False
Suppose -63 + 63 = 2*m. Let d be (-6)/9*15/(-2). Suppose -4 = b - d*y - m*y, -b - 4*y + 5 = 0. Which is bigger: b or 2?
2
Suppose 0*u + 3*u = -9, u + 3 = f. Let b(x) = x + 1. Let i be b(-2). Are f and i equal?
False
Let w(n) = -n + 9. Suppose -3*b + 0*v + 37 = -2*v, 3*v = -4*b + 38. Let h be w(b). Is -2/9 less than h?
False
Let v = 535.11 - 538. Let u = v - 0.11. Is -0.1 bigger than u?
True
Suppose -2*h + 6 = 4*l, -h + 1 = -l + 4. Let o be l - (10/(-3))/(-2). Suppose 0 = -s + 1, 2 = 6*p - p + 2*s. Which is greater: o or p?
o
Let g be (-1)/(2 - 1) - 40. Let p = g + 121/3. Let j = -26.4 + 26. Is j greater than or equal to p?
True
Let j = -841 + 27751/33. Let v(t) = t**2 - 8*t + 6. Let c be v(7). Do c and j have different values?
True
Let b(u) = -u**2 + 4*u - 2. Let j be b(2). Is j at most as big as 12/5?
True
Suppose -2*l - 26 = -5*z, -3*l - 2*z - 3*z + 11 = 0. Suppose 0*o + 2*o = -4. Let m be o/(-4) - 14/4. Is m < l?
False
Let n = 16 - 1. Let c be ((-10)/n)/(66/27). Which is smaller: -1 or c?
-1
Let c(b) = -50*b - 8. Let o be c(6). Let v = -2140/7 - o. Which is smaller: 2 or v?
2
Suppose -48 = 2*f + 6. Which is bigger: -29 or f?
f
Let y(d) = 2*d - 6. Let o be y(5). Let n(z) = -2*z + 4. Let a be n(o). Is -2 at least a?
True
Let z be (-411)/30*(-4)/14. Let h be 28/(-10)*3/(-2). Let y = h - z. Is y >= 0?
True
Let q = -119/15 - -8. Which is smaller: -1 or q?
-1
Let f = -14 - -10. Suppose 3*n = 6 + 3. Suppose -j - n*j - 12 = -2*v, -5*j + 4*v = 15. Is j != f?
True
Let n(q) = -q**3 - 4*q**2 + 14*q + 11. Let p be n(-6). Let y be 1/9*1146/40. Let a = y + -13/4. Is a less than p?
False
Let n = 2340.846 - 2343. Let j = n - -0.164. Let x = j + -0.01. Is x less than 2/7?
True
Let i = 0.19 + 0.04. Let u = i + 0.07. Let j be ((-34)/30 + 1)*3. Are u and j non-equal?
True
Let k(f) = -f**2 - 5*f - 2. Let d be k(-2). Suppose -12 = 3*g, 0 = -d*c + 2*g - 0 + 12. Are c and 4/15 non-equal?
True
Let o(y) be the first derivative of y**2/2 - 4*y + 2. Let a be o(6). Suppose a*p - p = 1. Are 1 and p non-equal?
False
Let p = -49 - -48. Which is greater: p or -3?
p
Let x be 1 - 2 - (4 + -7). Let f = 19 + -15. Which is greater: x or f?
f
Let o(z) = z**3 - 6*z**2 - 13*z + 12. Let l be o(8). Suppose -3*t - t + l = 0. Suppose 3*w + 3 = 0, 2*d = w - 0*w + t. Which is smaller: 3 or