u be (2/(-3))/(i/3). Let p(k) = k + 10. Let w be p(-11). Which is bigger: w or u?
u
Let m = -40/33 + 6/11. Is m equal to -2?
False
Suppose 0 = -a - 2*a. Suppose -5*w + 10*w = a. Are 2/9 and w equal?
False
Let v(d) be the second derivative of -d**5/20 - 5*d**4/12 + 5*d. Let z be v(-5). Is 0.03 <= z?
False
Suppose -3*m = -2*m + l - 16, l + 2 = 0. Suppose 2*p + 55 = -4*b - 3*p, -3*b + 4*p = m. Is b smaller than -10?
False
Let f be 120/28 + (-6)/21. Let o be -2 + -1 + f/2. Is o smaller than 0?
True
Let n = 3.2 + -3. Let k = n + -0.3. Is 2/5 less than k?
False
Let o be (-4)/52*-2 + 471/65. Is o <= 7?
False
Let m = -4.7 + 5. Let u = -3.9 + 2.2. Let o = u - m. Is 0 > o?
True
Let g be (-8 - -9) + (-118)/122. Which is greater: 0 or g?
g
Suppose -5*o = -3*o - 62. Is 32 equal to o?
False
Let p be 2/3*(25 + -7). Is p != 13?
True
Let a = 8 + -9. Let z = a + 0.8. Which is smaller: -3 or z?
-3
Suppose -3*k - 2*k - 5 = 0, 5*s - 5*k = 120. Suppose 2*d + 5*x = -5, -3*x = -4*d - 2*x + s. Is d at least 7?
False
Let k = 834 - 110923/133. Is k less than 1?
True
Let q = 10 + -11. Let j = 2 + -5. Let k = 4 + j. Is q smaller than k?
True
Suppose -s - 1 - 12 = 0. Do -12 and s have the same value?
False
Suppose 2*c = c - v + 4, -3*c = 4*v - 10. Is c > 4?
True
Suppose 3*j + 6 = 6*j. Is j > 3/4?
True
Let x be -6 - -2*(-3)/(-6). Let m(d) = -d**2 - 4*d + 4. Let g be m(x). Suppose 4 = 3*v + v. Which is greater: g or v?
v
Let l = -7 - 4. Let n = 10.98 + l. Is 0.1 > n?
True
Let a = 2.2 - 2. Let k = 215 - 214.5. Are a and k unequal?
True
Let j = -26 - -15. Let u(o) = o**3 + 5*o**2 - 6*o - 8. Let h be u(-6). Let g = h - j. Which is smaller: g or 2?
2
Suppose 71*q - 72*q = 6. Do -5 and q have different values?
True
Let y(g) = g - 17. Let z be y(15). Which is bigger: -3/4 or z?
-3/4
Let o = 5.8 - 5. Let r = o - -0.2. Let i = r - -1. Does i = 2?
True
Let x be (-8)/(-3)*9/(-6). Let y = -110 - -200. Let k be y/(-21) - 4/(-14). Is k bigger than x?
False
Let o = 20 - 19. Is -2/5 at least o?
False
Let c = 0 - 0. Which is smaller: c or -1?
-1
Suppose -f + 16 = 3*j, -21 - 3 = -2*j - 4*f. Suppose j*a + 5 = -7. Which is smaller: a or -2?
a
Let t be 1/66 - (-20)/120. Which is greater: t or -1?
t
Let j = 745/14 + -107/2. Let u be ((-30)/(-4))/(-3)*-2. Suppose 0 = z - 5*g - 20, 0 = z - u*z - 2*g - 8. Which is smaller: j or z?
j
Let z be (11/(-4))/((-39)/6). Let k = -1699415/546 + 9340/3. Let c = k - z. Which is bigger: c or 0?
c
Let d = 4 - 4.2. Let z = d - -0.1. Let l = z + 0. Which is smaller: l or 2/9?
l
Suppose 0 = -4*z + 195 + 253. Is 113 bigger than z?
True
Suppose -15 = -5*o - 0. Let m be 1*(1 - -1) - o. Let k = -102 - -920/9. Which is greater: m or k?
k
Let g = 3 + -6. Let l = g - -2.8. Which is smaller: 0 or l?
l
Suppose -3*k - 11 = -4*k - 2*g, g = -4*k + 9. Let y = 0.6 - -1.4. Which is greater: y or k?
y
Suppose 4 = 4*c - 8. Suppose c - 6 = -k. Let g be (-1)/(-1 - 0) + 1. Is g less than k?
True
Let i = 561/16 - 35. Are i and 2/5 nonequal?
True
Suppose -6*l + 4*c = -l - 154, 2*l = 2*c + 62. Which is smaller: l or 31?
l
Suppose -17 = -3*l - 2. Let q be (549/81 - 7) + (-58)/(-18). Which is smaller: l or q?
q
Let z = 128 - 507/4. Let c = 5 - 5. Which is greater: c or z?
z
Let j = -5 + 7. Let i = j + -2. Suppose -u - 2*k = 4, 3*u + 4*k + 10 = -i*k. Is -2 greater than u?
False
Let k = -18.02 - -18. Which is smaller: k or 0?
k
Let n(y) = y**3 + 13*y**2 + 11*y - 2. Let g be n(-12). Suppose -3*u - 2*u = -3*m - g, -m + 4*u = 8. Which is smaller: m or -6/11?
-6/11
Let a = 3/2 - 5/4. Is -2 less than or equal to a?
True
Let h(x) = x + 7. Let q be h(-7). Let v = 1.44 + 0.06. Let c = v - -0.5. Which is greater: q or c?
c
Let j be 1 - 4 - (-2 + -3). Suppose -4*o - 2*a - j*a = 4, 4*a = -20. Is 4 < o?
False
Let q be (16/(-70))/((-14)/(-35)). Which is bigger: q or 0?
0
Let o = 1/66 - 139/462. Let l = 1/2 + 0. Which is smaller: l or o?
o
Let r(w) = 2*w - 8. Let f be r(7). Suppose 0 = 4*y - f*y. Suppose y = 2*j - j - 2*h, -4*j + 5*h - 3 = 0. Which is smaller: j or 0?
j
Let x(t) = -t**3 + 3*t**2 + 5*t - 1. Let n be x(4). Suppose -3 = -3*u - 3*f + 21, 4 = 2*f. Let a = u + -2. Is a <= n?
False
Suppose 0 = b - 3*f - 13, 0 = -b - 7*f + 2*f - 19. Is b at least 1.4?
False
Let d = -0.23 - 0.17. Is 3 > d?
True
Let i be (1/(-2))/(85/(-10)). Is i > -2/3?
True
Let u be ((-2)/25)/(1/(-5)). Let x = -6 - -7. Is x greater than or equal to u?
True
Suppose 9 = -8*x + 1. Which is bigger: -2/5 or x?
-2/5
Suppose c = -s - 3*c + 20, 0 = -3*s + 4*c - 20. Suppose -7*o + 8*o = s. Is o greater than 6/7?
False
Let t(f) = -f**2 - 6*f - 5. Let y be t(-5). Suppose y = 2*r - r. Suppose 0 = g - 2*g. Is g at least as big as r?
True
Suppose 78 - 21 = -3*y. Let l = -19 - y. Which is smaller: l or 0.07?
l
Let m(g) = 3*g**2 + g + 1. Let d be m(-1). Let y be (6/d)/((-2)/1). Let s(v) = -v**3 - v**2 - v - 1. Let h be s(-1). Are h and y equal?
False
Let z be 499/(-12) + (-6)/8. Let v = z + 42. Let u be 2/4 + (2 - 2). Do u and v have the same value?
False
Let i be (2/(-4))/((-4)/16). Let f be (-3 + (-6)/(-2))/i. Do 2/19 and f have different values?
True
Let y(w) = 3*w**2 + 36*w - 41. Let g(z) = -2*z**2 - 24*z + 27. Let a(t) = -8*g(t) - 5*y(t). Let r be a(-13). Do r and -2 have different values?
True
Let d = 1.1 + -2.9. Let p = d + -0.2. Let i = p + 1.8. Are i and 0.2 equal?
False
Let q(t) = -t**2 - 8*t - 4. Let a be q(-7). Let k be 1 - (-1 - 3/a). Let p be (-1)/3 + 3/k. Which is bigger: p or 0?
p
Let m = 0 + -1. Let d = 0.3 - -0.1. Is m smaller than d?
True
Suppose -4*n + 13 = 1. Suppose x = -n*x. Let c be ((-7)/5 + x)/(-1). Is c at most as big as 1?
False
Let d be ((-3)/(-20))/((-12)/5). Which is greater: d or 0?
0
Let h = 23.8 - 2.8. Which is smaller: h or 2/3?
2/3
Suppose -j + 3 = 2*j. Which is greater: j or 2/29?
j
Let u be (-126)/(-35) + (-6)/10. Let f(q) = q**3 - 2*q**2 - q - 2. Let i be f(u). Suppose i*k = 5 - 9. Is -1 > k?
False
Suppose -6 = 4*c - 18. Let f be (c + -3)/(-1 - 1). Are f and 0 non-equal?
False
Let s = -16 + 17. Suppose -4*o + 23 = x, -5*x + 24 = 2*o - 1. Suppose o*b + 12 - 2 = 0. Which is smaller: b or s?
b
Suppose 4*n + 5*s = -1, 2*s = -3*s + 15. Let x be n/(-6) + (-7)/6. Let p = -0.9 + -0.1. Is x not equal to p?
True
Let s(v) = -v**2 + 8. Let b be s(0). Let m(y) = -y**2 + 7*y + 7. Let h be m(b). Let g = 26/33 - 16/11. Which is greater: g or h?
g
Let j(p) = p**2 + 1. Let k(y) = -y**2 + 5*y - 3. Let q be k(4). Let w be j(q). Suppose 2*m + 3 = 3*g, 2*g = m - 3*m + 12. Is w < m?
True
Let t(d) = -2*d + 1. Let l be t(-1). Suppose -5*h - l*x + 126 = 0, -4*h + 5*x + 40 + 46 = 0. Let u be (1/5)/(h/(-30)). Are u and 1/3 nonequal?
True
Suppose -i = -5*m + 10 + 10, m - 5 = 0. Suppose -4*k + 3 = -u - 9*k, -6 = -i*u - 4*k. Which is greater: u or 5?
5
Let o = -20.3 + 20. Are o and 5/4 unequal?
True
Let b be 0 + 11/(-22)*(0 - 148). Which is smaller: b or 73?
73
Let c = 0 + 1. Let l be 1/(-2) + 840/528. Which is greater: c or l?
l
Let h = 48 - 46. Which is bigger: 12/13 or h?
h
Let r be -4 + 9 - (-73)/(-5). Is r smaller than -10?
False
Let y = 6.1 + -6. Is 0.1 >= y?
True
Let f be (8/(-6))/((-10)/15). Let u be 14/4*12/28. Which is smaller: u or f?
u
Let k be 9/(-18) - 2/4. Which is bigger: k or 2/9?
2/9
Let q(v) = v + 3. Suppose 0 = -4*b, 0 = -3*k + 4*k - 2*b - 2. Let m be 1 + -4 + (3 - k). Let o be q(m). Is 0 bigger than o?
False
Let k be (9/3 + -7)/(-2). Which is smaller: 3/4 or k?
3/4
Let y(k) = k**3 + 6*k**2 - 6*k + 3. Let u be y(-7). Let d be 0/(-4*2/u). Is -7 smaller than d?
True
Let l = 1.3 + -1.24. Let n = 0.04 - l. Which is bigger: -0.1 or n?
n
Let w(d) = -d**2 - 10*d + 4. Let t be w(-10). Suppose 0 = -7*k + t*k - 3*l, -5 = -k + 4*l. Let a = -1 + k. Which is bigger: a or 2/13?
2/13
Let v be (-52)/(-28)*(-7)/6. Is v less than or equal to -2?
True
Let l(x) be the second derivative of x**4/12 - 7*x**3/6 - 5*x**2 - 2*x. Let y be l(7). Let n(z) = -z - 10. Let b be n(y). Is b smaller than 3/7?
True
Let f be (-1)/(-7*(-4)/16). Let i = f - -15/14. Let q be (-1 + -1 - 2)*1. Is i at most as big as q?
False
Let w be 134*(2 + 25/(-10)). Which is greater: w or -66?
-66
Let j = 4 - -1. Let z(m) = -m**2 + 6*m - 2. Let k be z(j). Let y = -4 + k. Do -1/2 and y have the same value?
False
Let q = -24 - -19. Let t(u) = u**3 - 6*u**2 + 5*u + 3. L