er than or equal to w?
False
Let i = 1 - 0. Which is bigger: -4/13 or i?
i
Let u = 0.1 - 2.1. Which is smaller: -2/5 or u?
u
Let b(l) = -2*l**2 + 3*l - 1. Let n be b(2). Let a(d) = -d - 3. Let p be a(-6). Let w be (p/(-2) - -2)*-4. Which is bigger: w or n?
w
Let w = 0.17 + 0.13. Which is bigger: 0.09 or w?
w
Let q = 122 + -118. Which is smaller: 11 or q?
q
Let j(v) be the first derivative of -v**2/2 - 4*v + 1. Let o be j(-4). Is o greater than or equal to -4/11?
True
Let a be 24/36 - 8/(-6). Is a at least -4?
True
Let j be 48/45 + (-3)/(-5). Which is bigger: j or -1?
j
Let s(b) = -b**2 - 11*b - 30. Let c be s(-7). Which is smaller: c or -2/5?
c
Let m(b) = 27*b**3 - b**2 + 1. Let u be m(1). Let l = 28 - u. Which is greater: -3/26 or l?
l
Let v = -6 - -5. Let c = 9 - v. Let x be 2/(-7) + c/(-14). Do x and -1 have the same value?
True
Let l = 4.3 - 6.3. Which is smaller: l or -7?
-7
Suppose -5*r + 267 = 2*q + 32, 0 = 5*q + 4*r - 545. Let w be q/28*4/(-50). Are 1 and w equal?
False
Let k(q) = q**3 - 9*q**2 - q + 13. Let h be k(9). Let n(t) = -t**3 + 3*t**2 + 4*t. Let x be n(h). Is 2/9 less than x?
False
Let s = 4.11 - 4. Is s greater than -0.2?
True
Let u = -34 - -24. Is u less than -9?
True
Let p = 0.002 + -4.002. Is -2/5 at least as big as p?
True
Let b be (-4)/6 - (-63)/(-27). Let p(g) = g**2 + 2 + 3*g**3 - 2*g**3 + 0. Let u be p(-2). Is b greater than u?
False
Let a(w) be the third derivative of 1/8*w**4 + 0 - 1/60*w**5 + 0*w - w**2 - 1/2*w**3. Let l be a(3). Is l >= -2?
False
Suppose 9 = 5*x - 11. Let q(p) = p + 1. Let y be q(x). Let l(w) = w**3 - 4*w**2 - 5*w + 4. Let c be l(y). Is 3 smaller than c?
True
Suppose 45 = -g + 6*g. Suppose -g*z = -4*z - 35. Which is bigger: z or 0?
z
Let o = 37 + -42. Is o greater than -3?
False
Let z = -0.0022 + -2.1278. Let u = z + 5.15. Let y = -0.02 + u. Which is bigger: y or 0?
y
Let r = -28/33 - -9/11. Which is bigger: r or 1?
1
Suppose -3 = -r - 2. Let s be (-2 - -1)*(-25 - -2). Let g = -22 + s. Is r > g?
False
Let y = -2803/15 - -187. Which is bigger: 0 or y?
y
Let p = 21 - 18. Is p at least 2?
True
Let p be (-1)/4*(-5 + 1) + -1. Do -2/81 and p have the same value?
False
Suppose 6*f = -3*w + 4*f + 5, -2 = -w - f. Suppose u + w = 2. Is u greater than or equal to 1?
True
Let s = 17 + -10. Suppose 2*i = 5 + s. Let y = i - 7. Do y and -1/12 have the same value?
False
Let d = -2/1269 - 220/39339. Let a be 2/5 + 12914/(-11160). Let f = d - a. Is f at least as big as 1?
False
Let m(x) = -x**2 - 4*x + 22. Let w be m(-6). Are w and -2 non-equal?
True
Let n = -0.2 - 0.2. Let u = n + 0.1. Let f = 0.1 - 0. Is u at least f?
False
Let k be (2/(-2) - 0)*-2. Let c(w) = w**3 - 5*w**2 + 5*w - 1. Let z be c(4). Suppose -z*o = -o. Is o != k?
True
Suppose -7*s = -3*s + j + 24, 0 = -5*s - 2*j - 27. Suppose 4*k - 5*v = -19, -k - 3*v - 2 - 7 = 0. Is k bigger than s?
True
Let m = -26 - -27. Let g be ((-1)/(-12))/(9/24). Do g and m have the same value?
False
Let h be 4*(-3 + (-33)/(-6)). Let t = -5 + h. Let y = 3 - -3. Which is greater: t or y?
y
Let q be (-8)/(-12)*12/(-8). Let p be -44 + 4/((-2)/(-1)). Let y be (0 - -1) + p/46. Is q at most y?
True
Suppose -3*f + 1 - 7 = 0. Let m = 12 - 12. Are m and f non-equal?
True
Let i = -0.3 + 1.1. Let d = -0.76 + i. Is 0.1 <= d?
False
Let f = -0.06 + -11.94. Let a = 0.03 + -0.13. Is f less than or equal to a?
True
Let r(i) = -i**3 + i**2 + 3*i - 2. Let u be r(2). Suppose o + 2*o = u. Which is bigger: o or 2?
2
Suppose 3*l - 40 = -34. Are l and 12/17 unequal?
True
Suppose 0 = -5*w - 9 - 16. Let i be ((-1)/(-2))/((-7)/84). Let q be i/10 + (-17)/5. Is w <= q?
True
Let r = 103/3 + -34. Let c(m) = 6*m**3 - m**2. Let h be c(1). Suppose 0 = -h*u - 4*w + 3, -3*w = 4*u - w. Do u and r have different values?
True
Let n = -400/9 - -44. Suppose -3*y - 7 = 5*q, -4*q + 6 = -4*y - 9*q. Which is bigger: n or y?
y
Suppose 2*w = -3*n + 4*n, 4*n = 5*w + 3. Let d = 6/13 - 31/39. Is d not equal to w?
True
Let f(j) = j**3 + 18*j**2 + 18*j + 20. Let s be f(-17). Suppose q + 3*q - a + 2 = 0, -4*a = s*q - 8. Is 6 bigger than q?
True
Suppose 4*n - 13 = 5*t, -2*t = 6*n - 5*n. Let f = n - 18. Does -15 = f?
False
Let x be 6/(-12) - (-22)/4. Suppose 0 = -p + x*p + 24. Let w = 4 + p. Is -2/3 at most w?
False
Suppose -r + 1 - 2 = 0. Let l = r + 2. Is l greater than or equal to -2/17?
True
Let p(z) = -z**2 + 6*z - 4. Let a be p(6). Let g be (-8)/(-10)*(-10)/a. Is g <= -1/4?
False
Let w = -16 + 21. Let c = w + -4. Which is bigger: c or 2?
2
Let t(j) = j. Let d be -3 + (4 + 3 - -1). Suppose -2*m = y, -9 = d*m - 0*y - 2*y. Let g be t(m). Which is bigger: -3 or g?
g
Suppose -r - 18 = 2*r - 3*u, -r + 2*u = 11. Let q be (-2)/(-5) + 51/(-15). Let x be (-4)/60 - r/q. Is 1 less than x?
False
Let f = -636 - -438. Let b = f + 994/5. Let v(j) = j**3 + 4*j**2 + 2. Let c be v(-4). Is b != c?
True
Let r = -10 + 7. Are r and -2/7 equal?
False
Let n = -73/20 + 17/4. Is n > -2?
True
Let g = 7 + -7. Let j = g + 0.1. Is j less than or equal to -1?
False
Let p = 24 - 24. Suppose p = 7*l - l. Let o = -1/210 + 143/630. Is o greater than or equal to l?
True
Let m(d) = -2*d**3 - 13*d**2 - 7*d - 5. Let g be m(-6). Which is bigger: -1/54 or g?
g
Let v = -183.91 - -185. Let w = v + -0.09. Suppose -p - 3*p = -5*y + 19, 2*p - 8 = 0. Which is greater: w or y?
y
Suppose -10 = z - 9. Which is bigger: z or 1/29?
1/29
Let p be 8/1 - 1 - -1. Which is smaller: 7 or p?
7
Let d be (3/4725)/((-5244)/76870). Let z = d + 7/1026. Let x = 1584/10465 - z. Is -1 <= x?
True
Let c = -4 + 13. Let f = c - 4. Suppose -r - 4*r = 3*q, -2*q - 25 = -f*r. Are -5 and q equal?
True
Let l(u) = -u**3 - 2*u**2 - 3*u - 3. Let k be l(-2). Let j be ((-8)/(-6) - 2)*-3. Suppose -3*s = j*s - 10. Which is smaller: k or s?
s
Let g = -2 - -14. Is g bigger than 12?
False
Let y = 39/92 + -4/23. Let f be 2/5 - 76/(-10). Let c(p) = -p + 9. Let w be c(f). Which is bigger: y or w?
w
Let l = 26 + -20. Which is smaller: 4 or l?
4
Suppose -z + a + 9 = 6*a, 4*z = 4*a - 12. Suppose 0*v - 19 = 4*f + v, -2*f = -v + 5. Let r be (-3)/5*(-10)/f. Is r > z?
False
Let z be (-1)/(-5) - (-7)/(-35). Let s(v) = -5*v**3 + v**3 + 3*v**3 - v**2 + 1. Let g be s(z). Which is bigger: g or 0.1?
g
Let g(o) = o**2 + 4*o. Let f be g(-4). Let v be (0 - f) + 3/2. Suppose 19 = 4*x - 3*n, 3*n = -x - n - 19. Do x and v have the same value?
False
Let v = -15 - -12. Let o = v + 4. Let k = -2.9 - -3. Do o and k have different values?
True
Suppose 3*j = -5*j + 24. Let n = 6 - 4. Do n and j have the same value?
False
Let f(n) = -n**2 - 9*n + 25. Let w be f(-11). Does w = 12/5?
False
Let c be (-5)/(60/(-7))*-8. Is c bigger than -4?
False
Let l = -7/64 + 111/1600. Is l equal to 0?
False
Let f be (-4)/2*3/(-2). Suppose -4*c = y + 6, f*c - 3*y = 2*c + 5. Let j be (-5 - -5)/(2*c). Which is smaller: j or -3/5?
-3/5
Suppose 0 = -4*r - 30 + 230. Is 49 < r?
True
Let q be (5/(-4))/(3/(-24)). Let k be q/3 - (2 + 1). Is -0.2 at least k?
False
Suppose y = -2*r + 5*y + 6, 2*y = -4*r + 2. Let f = 1 - -1. Is r greater than f?
False
Suppose 4 = 3*v + 1. Let b be -1 - (-1 - v) - -4. Let m = b + -7. Is -2/3 greater than m?
True
Let p = 9 - 6. Suppose -p*j + j = 0. Let m(q) = -q**2 - 6*q - 2. Let w be m(-6). Which is greater: w or j?
j
Suppose -a = -n + 2, 11 = 5*n - 2*a - 2*a. Which is smaller: n or 6?
n
Let s = -369 + 347.9. Let m = s + 21. Let j = -0.2 + 0.2. Which is smaller: j or m?
m
Let a = -0.16 - -0.1. Let x = a - 0.04. Which is smaller: x or 0?
x
Let s = 1104 + -3352/3. Let x = -13 - s. Do x and 1 have the same value?
False
Let j be 69/21 + 4/(-14). Let f(a) = 4 + a**j + 5*a**2 + 2 + a**2 + a. Let o be f(-6). Is o at most 0?
True
Let o = 8 - 3. Suppose -2 = -3*p + o*p. Is p not equal to -1?
False
Suppose 0 = -2*m - 0*m + 12. Suppose -4*l = 5*d - 21, -2*l = 2*l + 2*d - m. Let n be 1/2*(-2)/l. Which is greater: n or 3?
3
Let k = 2511/19 + -132. Let a = 23/95 + k. Let v(f) = f**2 - 9*f - 1. Let h be v(9). Which is greater: h or a?
a
Let x be 1/2*-3*-2. Let i be 1 - (1*-2 + x). Suppose -4*f = m + 10, 0 = 4*f - i*m + 4*m + 4. Which is smaller: f or -2?
f
Let z = -13 + 5. Is -7 bigger than z?
True
Let y(a) = a + 2. Let l be y(3). Suppose 4*f - f + 11 = c, c = -f - 1. Suppose c*w = -3*w - l. Which is smaller: w or -2?
-2
Let h = 7 + 1. Let v =