less than n?
True
Suppose 2*g = -6 - 4. Let s be (-2)/g*2/(-4). Let y = -10 - -10. Are s and y equal?
False
Let a(d) = -13*d**2 + 3*d - 2. Let w(s) = s + 19. Let o be w(-18). Let h be a(o). Is h not equal to -11?
True
Let o(r) = -r**2 + 2. Let z be o(-2). Let m = -16 - -13. Is m at least z?
False
Let a be (-2)/3 + (-16)/(-6). Suppose 5*u = -f + 30, 2*u + 3*f - 24 = 1. Suppose -5*d = u - 20. Is a greater than or equal to d?
False
Let y be 1/6 + 601/18. Let i = 101/3 - y. Do i and -1 have the same value?
False
Let j(g) = g + 2. Let b be j(0). Suppose 0 = -10*a + 4*a + 24. Is a smaller than b?
False
Suppose 4*y - 9*y - 175 = 0. Which is smaller: y or -34?
y
Let g = 0.16 - 2.16. Is 0.03 greater than or equal to g?
True
Let g(m) = m**3 - 8*m**2 - m - 5. Let d be g(8). Which is smaller: -12 or d?
d
Let x be 17/5 + (-12)/30. Suppose 5*m + 13 = x. Is m >= -1?
False
Let k be 5 - (24 - 1 - 5). Are k and -14 equal?
False
Let x be (-266)/210 - 2/(-3). Which is smaller: -1 or x?
-1
Let j = -176.17 + 177. Let t = j + -0.03. Let z = t - 1. Is z < -0.2?
False
Suppose -t = -6*t + 20. Let w = -5 - -5. Suppose 3*y - 2 - t = w. Which is greater: 2/3 or y?
y
Let y = -165381/446950 - -11/2554. Let f = 2/25 + y. Which is bigger: 1 or f?
1
Let u be 6/(5/4 + -2). Let d = u + 13. Let w be (-1 - d/7) + 2. Which is smaller: -1 or w?
-1
Suppose 2*r + 5*s + 171 = -59, -226 = 2*r + 3*s. Let g be 0 + (4/r)/(-1). Is g equal to 0?
False
Let v = -18 - -7. Let p = 34/3 + v. Does p = -6?
False
Let d = 0.09 - 0.01. Suppose -3*l = -2*l - 10. Let r be (-8)/20 - 1/l. Which is smaller: d or r?
r
Let n = -2.95 + -0.05. Let g = -3 - n. Is 1 less than or equal to g?
False
Let c(m) = -m**3 - 11*m**2 + 13*m + 13. Let w be c(-12). Let l(h) = 6*h**3 - h. Let p be l(-1). Let z be (10/(-15))/(p/(-3)). Which is bigger: z or w?
w
Let x be ((-1)/(-2) + 2)/(-2). Suppose 8*p + 7 = -1. Is p less than or equal to x?
False
Let w be -6*(-4)/72 + 3. Is w equal to -0.2?
False
Let f(p) = -9*p + 17. Let d be f(2). Which is greater: -3/20 or d?
-3/20
Suppose 0 = -2*d + 5 + 1. Let k be (d + 2)/(1/2). Which is smaller: 0 or k?
0
Let a = 116.7 + -117. Which is greater: a or 9/7?
9/7
Let g(y) be the third derivative of y**4/24 + 4*y**3/3 + y**2. Let b(c) = -c - 1. Let k be b(6). Let x be g(k). Which is greater: 0 or x?
x
Let g = 12 + -5. Let c = g - 6. Is c < -0.1?
False
Let s = -0.06 + 0.13. Is s bigger than -2/7?
True
Let f = 9 + -6. Let c = 3 - f. Which is bigger: 1 or c?
1
Suppose -1 = 5*h + 4. Let g be 2/3 + (h - -1). Is g >= 5?
False
Let s be (-135)/504 - (-2)/7. Which is bigger: 1 or s?
1
Let m = -42 + 37. Which is smaller: m or -23/4?
-23/4
Let n = -0.04 - -5.04. Let x = 1 - n. Let c = x + 4. Does 2/5 = c?
False
Suppose 0 = 8*w - 10*w + 2. Are w and 4/19 unequal?
True
Let u = 26/55 + -1/5. Suppose -5*b + 11 - 6 = 0. Is b >= u?
True
Let z be (8/(-2) - (-23)/6)*-4. Is z at least -10?
True
Let s(n) = -n**2 - 7*n + 2. Let y be s(-7). Let c be 6/4 - (-2)/4. Let w = c - 1. Are w and y unequal?
True
Let p = -22 + 21. Is p smaller than 8?
True
Let c be (10/(-3))/((-6)/(-9)). Suppose 3 = -k - 3. Which is smaller: k or c?
k
Let p = -0.06 - 0.04. Is 0.6 < p?
False
Let g be 11/(-3)*(7 + (-4 - -3)). Is g at least -2?
False
Let w = -4126 + 20694/5. Which is bigger: w or 14?
14
Let j(v) = 2*v**3 + 5*v**2 - v. Let l(n) = -5*n**3 - 10*n**2 + n + 1. Let a(u) = -7*j(u) - 3*l(u). Let t be a(4). Is t greater than or equal to -2?
False
Suppose 3*h + 8 = 7*h. Suppose t - h = 1. Do t and 2 have different values?
True
Let o = 475 - 470.06. Let b = -0.06 - o. Which is greater: b or 2?
2
Suppose -2*k - 3*q = -6*k + 20, 2*k - 10 = -4*q. Let x(c) = 7*c + 1. Let t(b) = b + 1. Let s(l) = 6*t(l) - x(l). Let y be s(k). Which is smaller: y or -0.1?
-0.1
Suppose 0*x - 3*x = 4*n + 4, -n = -5. Which is greater: x or -7?
-7
Let s = 72 - 81. Is -13 smaller than s?
True
Let q = 0.01 + 4.99. Let i = -1 - q. Which is bigger: i or 1/4?
1/4
Let v = -6 - -5.7. Let a = -8.8 + 9. Let f = -0.2 + a. Is f at most as big as v?
False
Let y be 106/24*24/80. Let n = y + -6/5. Let u = 1 + -2. Which is smaller: u or n?
u
Suppose -2*t + 6 = 3*d - 2*d, -16 = -3*d - 5*t. Let j = d + -1. Let c = -13 + 64/5. Which is bigger: j or c?
j
Let r be ((-482)/(-10))/((-48)/60). Let o = 60 + r. Suppose 5*b + 2 = -3. Which is greater: o or b?
o
Let a(l) = -l**2 - 3*l + 1. Let o be a(-4). Let d(b) = b**3 + 3*b**2 - b + 1. Let v be d(o). Let w be (21/(-77))/(6/v). Which is greater: 0 or w?
0
Let t = -2/5 + -1/10. Let m(h) = -h**3 - 7*h**2 - 4*h + 6. Let i be m(-6). Let j = 5 + i. Do t and j have different values?
True
Suppose -4*n + 10 = 3*l, -3*l - l + 9 = n. Suppose l*s + 0*s = 10. Suppose 0 = -s*t + 4*t + 1. Which is bigger: t or 4/5?
t
Suppose -5 = 4*b - 1, 5*p - 51 = -4*b. Suppose 4*o = -59 + p. Which is bigger: -13 or o?
o
Let h = 147/2 - 6907/94. Is 1 greater than h?
True
Let f(k) = -26*k**2 - 3*k - 2. Let z be f(-2). Is z bigger than -101?
True
Let y = -114 - -113.6. Do -8 and y have the same value?
False
Suppose -m = 2*f + 5, 5*m + 11*f = 6*f - 20. Suppose -3*w + 2 = 2*x - 2, 0 = 4*x + 4*w. Which is bigger: x or m?
m
Suppose 5*j + 64 = t - 81, 4*j + 2*t + 102 = 0. Let w be ((-5)/j)/(14/56). Which is greater: w or 2?
2
Suppose 3*p - p = -18. Is p at least as big as -6?
False
Let n = 2/129301 - -6852693/16809130. Let r = n - 4/13. Does 1 = r?
False
Let b be (-14 - 25) + 4 + -1. Is -34 > b?
True
Suppose -3*i - 8 = -i + 2*a, -17 = 3*i + 4*a. Let s = -1 - -2. Are s and i equal?
True
Let t = 6.9 - -0.1. Let x = -6 + t. Let b = 2 - x. Is b greater than -7?
True
Let x = 286 - 3142/11. Let a be (-3)/(9/(-12)) + (-3 - 0). Which is smaller: a or x?
x
Let r = -31/583 - 2/53. Suppose -l + 3 - 4 = 0. Is l greater than r?
False
Let k = -319/4 + 10547/132. Is 0 at least k?
False
Suppose o = 4*y + 19, -4*y + 3*o = 5 + 12. Let v = 9 + y. Is v greater than 5?
False
Let k = 0.023 + 0.077. Let u = 15691/21 - 747. Let f = u + 1/7. Is f not equal to k?
True
Let w(z) = z**3 + 4*z**2 - 6*z - 6. Let d be w(-5). Let x be (-90)/25 - (-4 - -1). Which is greater: d or x?
x
Let y be ((-2)/(-4))/(3/4). Let l be (15/(-21))/1*-3. Let m = 61/35 - l. Which is bigger: m or y?
y
Let x(g) = 5*g. Let d be x(1). Suppose 0 = -2*s + r + 12, 0*r + r + 36 = d*s. Let c = 1 - s. Do -7 and c have the same value?
True
Suppose 3*u - 20 = 7*u. Let h be (-14)/35*u/7. Is 0.1 at most as big as h?
True
Let y = -4.9 + 6. Let d = y - 0.7. Is d < -1/2?
False
Suppose 3*a - 4*c + 7 = -6*c, -2*a - 10 = -4*c. Let v be 3 + 4/6*a. Let m = -11 + 67/6. Are v and m non-equal?
True
Let z be 0/(-1) + 0 - 9/(-3). Do z and 3 have the same value?
True
Let i(a) = -4*a - 3. Let t be i(-3). Let m be 2/5*(-19 + 9). Let c = t + m. Is 5 less than c?
False
Suppose -4*i = -w + 6*w - 6, 2*w + 2*i - 2 = 0. Suppose -d + 2*d = 4*q + 23, -w*d = -4*q - 26. Suppose 3*a + 0 = d. Which is smaller: a or 2/11?
2/11
Let r(b) = -2*b**3 - b. Let w be r(1). Let f be (-58)/(-16) + w + 0. Let q = f + -3/8. Is q <= -0.2?
False
Suppose -5 = 2*z + 5. Is z equal to -5?
True
Let o be 8/(-20) - 4/(-10). Which is bigger: -6/19 or o?
o
Let b be 3/(-15) - 0/(-2). Which is bigger: b or 2/3?
2/3
Let p = -4.6 + 3.6. Which is greater: -2 or p?
p
Suppose 5*r - 5 = -2*n - 1, -5*r = n - 2. Suppose -5*c = -4*w + 19, -3*c + 2 - 7 = 4*w. Let l = n + c. Which is smaller: -4/9 or l?
l
Let t = -84 + 83. Which is greater: -1/306 or t?
-1/306
Let d(g) = g - 1. Let h be d(5). Let u(f) = -f + 3. Let a be u(h). Which is bigger: 1/3 or a?
1/3
Let j be 1/(-3*2/30). Is j less than or equal to -1/3?
True
Let y be (14 - 15)/(10*1). Which is smaller: y or 0?
y
Let q = -0.09 - 0.01. Let p be (4/63)/((-3)/(-9)). Let n = p - 13/7. Do q and n have the same value?
False
Let p be 34/(-234) + 3*12/162. Are -1 and p non-equal?
True
Let z = 4 - 1. Suppose -5*o = -b - 2, o = z*o - b + 1. Let u be (((-6)/15)/1)/o. Which is greater: u or 1?
1
Let x(h) = -h**3 - 6*h**2 + h + 8. Let b be x(-6). Is b equal to 4/5?
False
Suppose 7*l = 8*l. Which is smaller: 2/29 or l?
l
Let u(b) = -5 + 4 + b**2 + b - 3. Let t be u(-3). Is t bigger than 2?
False
Suppose -i - i = 210. Let s = -1368/13 - i. Is s < 1?
True
Let a be -6 + 2 + -2 + 0. Let y(m) = m + 4. Let t be y(a). Let c be t/9 + 2/9. Is c != 1?
True
Let x(h)