21)/81). Let h = 5/14 - z. Is h less than -2?
False
Let w(v) = 4*v + 9. Let s be w(-6). Let x be (s/35)/(6/4). Do x and 1 have different values?
True
Let l be 6 - 3*(-2)/(-3). Suppose 3*g - 6 = 3*v, -5*v - 6 = -2*g - 2*g. Suppose -2*d = v*d + l. Is -2 at least d?
False
Let n = 57/2 + -28. Which is bigger: -1 or n?
n
Suppose -4*m + 15*m + 154 = 0. Does -7 = m?
False
Let t = 96 + -91. Which is greater: -6/7 or t?
t
Let f(c) = c**3 + 7*c**2 + 4*c + 15. Let s be f(-7). Which is bigger: -59/5 or s?
-59/5
Suppose -12*h = -4*v - 13*h, 5*v + 4*h = -11. Is 2/143 <= v?
True
Let l(b) = -b + 5 + 5 + 0*b. Let t be l(8). Let k(j) = -j**2 + 4*j - 2. Let g be k(3). Which is smaller: g or t?
g
Let c(d) = d**3 + 6*d**2 + 6*d - 6. Suppose 3*v + 5 = -w - 15, 0 = 2*v - 5*w - 15. Let t be c(v). Which is smaller: t or -10?
t
Suppose 3*r + 4 = -r. Do r and 2/7 have the same value?
False
Let p = -3 - -10. Suppose 4*t - p*g + 2*g - 10 = 0, -4*t + 24 = 2*g. Suppose -3*f - 2*f = t. Is f > -2/9?
False
Suppose 3*a = t + 27, -a = 4*a + 4*t - 62. Let h be (4/10)/((-2)/(-20)). Suppose 4*c - 5*l = a, 0 = -2*c - 2*c - 2*l - h. Is 1/9 less than c?
False
Suppose -g - 17 = 3*s + 17, -4*g = 4*s + 96. Is g at most as big as -19?
True
Suppose -8*k + 6*k = -6. Suppose -s - 4 = k. Which is greater: s or -8?
s
Suppose 3*l - 41 = -2*r, 2*l + 93 = 6*l - 5*r. Which is smaller: 15 or l?
15
Let j = -15 + 15. Are j and 1/2 unequal?
True
Let u = 8 - 5. Suppose -2 = -p - u. Is 0 < p?
False
Suppose 5*a - a = 0. Which is greater: a or -2/49?
a
Suppose 0 = 4*t - t + 9. Suppose -27 = 8*k + k. Do t and k have different values?
False
Suppose -m = -0 + 2. Let x be (-8)/28 - m/7. Is 0 smaller than x?
False
Let p = -2 + 2.2. Let a = p + -2.2. Let f = -7 - -75/11. Which is smaller: f or a?
a
Let a(w) = -3*w. Let b(y) be the first derivative of 8*y**2 - y - 2. Let h(z) = 11*a(z) + 2*b(z). Let m be h(-4). Which is smaller: m or 0?
0
Let p be 2/(-4) - (-91)/126. Which is greater: p or -2/7?
p
Let h be ((-1)/3*0)/1. Let n(w) = -12*w + 3*w**2 - 4*w**2 + 3*w - 6 + h. Let j be n(-9). Is -7 > j?
False
Let d be (6/(-8))/((-36)/(-24)). Which is smaller: d or 0.19?
d
Let h = -3 + -25. Let j be 4/14 - 132/h. Suppose -j*x - 4 = 1. Which is bigger: -2 or x?
x
Let g = 15 - 15. Suppose -4*n + 1 - 13 = g. Let b be -6 - (3/3 - 3). Which is smaller: b or n?
b
Let r(z) = z**3 - 4*z**2 + 3*z. Let f be r(2). Let b be 1/(f*(-1)/4). Suppose 3*l = p + 7, p + b - 5 = -2*l. Is 1 at most as big as p?
False
Let c = 403/55 - 38/5. Is c > -1?
True
Let i(l) = l - 5. Let z be i(5). Suppose -5*q + 4*t - 33 = z, q + 3*t = 4*q + 18. Is -8 greater than q?
True
Suppose -6*y + 5*y = -4. Is 15/4 equal to y?
False
Let d = 18.2 - 18. Let j = 0 + -6. Which is greater: j or d?
d
Let u = -3 - -2.9. Let i = u + 0. Let g = i + 0.3. Which is bigger: -2 or g?
g
Let m(o) = o**2 - 3*o. Let y be m(3). Let p = y + -1. Which is bigger: p or -3?
p
Let c = -443/24 - -55/3. Let z = 1591/2 - 31831/40. Let f = z + c. Which is smaller: f or 1?
f
Let s = 12 - 11.5. Let x = 922/7 + -132. Is x less than or equal to s?
True
Suppose -3 = -j - 0. Let g be 1/(j*(0 - 1)). Which is greater: 0 or g?
0
Let m = 28 + -57/2. Let r = -3 + 2. Is r at most m?
True
Let p(r) = 7*r + 13. Let s(l) = 6*l + 13. Let w(q) = 5*p(q) - 6*s(q). Let m be w(-9). Let o be (-2 + 4)/((-4)/6). Which is bigger: m or o?
o
Let b = 2.8 - -1.2. Let c = -9 + 7.8. Let i = c - -0.2. Do b and i have the same value?
False
Let s(l) = -l**3 + 5*l**2 - 5*l + 3. Let n be s(4). Let f be ((-29)/5)/(n/(-11)). Let h = 64 + f. Which is greater: 1 or h?
1
Suppose 4*t - 28 = -0*t - 2*b, 2*b = -t + 13. Is t bigger than 6?
False
Suppose -61*z + 45 = -66*z. Which is bigger: -5 or z?
-5
Let a(f) = -4 - f**2 + 5*f + 0 + 4. Let t be a(5). Which is bigger: t or 6/11?
6/11
Let y(w) = -w**3 + w - 3. Let j be y(-2). Let v(k) = 2*k - 5. Let u be v(j). Let o(q) = q**2 - 5*q + 4. Let l be o(4). Which is smaller: u or l?
l
Let t(r) = -r**2 + 9*r. Let w be t(9). Let d be 0 + -8 + w/(-7). Let g = d - -5. Is -2 <= g?
False
Let y(v) = -v**2 + 5*v + 4. Let w be y(5). Let x = w - 3. Let s = 2 + -1. Is s > x?
False
Let w be 2/(-4)*(-14)/1. Suppose -4*d + 3 - w = 0. Let v be (32/10)/(-2) - d. Is -2 greater than v?
False
Let w(g) = g**3 + 9*g**2 - 10*g + 2. Let k(p) = -10*p**2. Let t be k(-1). Let r be w(t). Let b be (r - 2) + 1 + -1. Which is smaller: 1/3 or b?
b
Let c(b) = -b**2 + 10*b - 18. Let z be c(8). Is -5/4 less than or equal to z?
False
Let b be 7 + (2 - 2) + -2. Suppose -2*p + 0*p + 2*h = -16, -28 = -b*p + h. Which is greater: 4 or p?
p
Let v be 3 - (-2*1)/(-1). Let k be (-8)/(-6)*(-3)/v. Let f(u) = u + 5. Let a be f(k). Which is greater: a or 2?
2
Let t = -2.7 + 3. Let w = 4.08 - 0.08. Let i = 4 - w. Do t and i have different values?
True
Let c = 205/4 - 51. Is -6 < c?
True
Let h = -9 + 10. Is -1/7 smaller than h?
True
Let a(i) = i**3 + 11*i**2 + 4. Let t = -9 - -12. Suppose -2*w + t = 5*o, -9 = -3*o + 6. Let d be a(w). Is 4 equal to d?
True
Let d = -0.48 - 1.52. Which is smaller: 3 or d?
d
Let j = 4 - 2. Let w be -7*-2*(-1)/j. Let x be (-5)/(-10)*(-4)/w. Which is bigger: x or 0?
x
Let l = 8 + -5. Which is bigger: l or 6?
6
Let j(d) = d**3 + 9*d**2 - d + 3. Let i be j(-9). Which is greater: 11 or i?
i
Let m be (-8)/(-12) - (-14)/6. Suppose 0 = 3*g + m. Which is smaller: -11/5 or g?
-11/5
Suppose -4*b = -57 - 115. Suppose 11 = -4*w + b. Suppose 5*a + 0*i = 3*i - w, -5*a - 4 = i. Is -2 greater than a?
False
Let c = 21 + -32. Let l = c + 14. Which is bigger: -2/3 or l?
l
Let f be -4*(1 - (-1)/2). Is -8 at most as big as f?
True
Let m be 2 - (3 - (2 + 0)). Which is greater: m or 1/15?
m
Let q = 22.949 - -0.051. Is 0.1 bigger than q?
False
Let s = 118 - 823/7. Let h = -150 - -1352/9. Which is smaller: s or h?
h
Let o(q) = q**3 - 11*q**2 + 14. Let u be o(11). Let x = u - 18. Is -11/3 at most as big as x?
False
Suppose -3*a - 47 + 47 = 0. Which is smaller: -2/257 or a?
-2/257
Let p = -72 - -287/4. Is -47 at least as big as p?
False
Let p(l) = -l - 6. Let s be p(-7). Let g(a) = 3*a - 5 + 3 + 0*a + s. Let i be g(2). Which is smaller: 4 or i?
4
Suppose -3*w = q - 6*q - 19, 3*w + 1 = -5*q. Let i be (-284)/(-6) + 2/w. Let v be (-2)/8 + (-4)/i. Which is greater: 1 or v?
1
Let y be ((-12)/10)/((-1)/5). Let v(j) = 7*j - 14. Let i(o) = -4*o + 7. Let n(a) = -5*i(a) - 3*v(a). Let r be n(y). Does r = 2?
False
Let h(r) = -r**3 - 3*r**2 + 6*r + 3. Let y be h(-4). Which is bigger: y or -4?
-4
Let k = -11740/39 - -301. Is 0 equal to k?
False
Let q = 0.1 + -0.2. Let a = q + 0.3. Let x = 1.2 - a. Which is bigger: x or -2/11?
x
Suppose -4*c - 6*n + 4*n - 10 = 0, 3*n + 4 = 5*c. Which is smaller: c or 1/3?
c
Let f be (-3)/(-6)*2*-1. Let z(x) = x**2 + 3*x. Let r be z(-3). Are f and r equal?
False
Let l = 2 - 0. Let s = -23 + 24. Is l not equal to s?
True
Let z(c) = 0*c + 2*c + 2*c**2 - c. Let f be z(1). Let d = -1 - -2. Which is smaller: d or f?
d
Let g = 160 + -311/2. Which is bigger: 6 or g?
6
Let i(y) = -3*y**3 + 3*y**3 - 11*y + 13 - y**3 + 11*y**2. Let n be i(10). Let w = 5 - n. Does 4 = w?
False
Suppose 4*u - 5*c = -0*c - 33, -4*u - c - 3 = 0. Let n(k) = -k + 1. Let x be n(3). Let r = -5 - x. Is u at least as big as r?
True
Suppose 0 = 4*c - k + 141, 2*c + 2*k + 102 - 24 = 0. Let a be 3/(-2)*c/(-2133). Is a at least 1?
False
Let c be (-4)/(-3)*12/8. Let k(x) = 2 + c*x + 2*x - 5*x. Let w be k(8). Are w and 0 nonequal?
True
Let b = 53/136 - 1/68. Which is bigger: 2 or b?
2
Suppose -3*d + 0*d = 5*p - 166, 6 = 3*p. Which is smaller: d or 54?
d
Suppose 2*j = 3*g - 22, 2*j = -3*g - 1 + 3. Let o(x) = -3*x**2 + 2*x**2 - 3*x**2 - x**3 - 1 - g*x. Let a be o(-3). Do a and 2 have the same value?
True
Let x be ((-9)/(-6))/(2/8). Suppose 0 = -h + 3 + 3. Is x <= h?
True
Let n = 4.9 + -0.9. Let r = -2 + n. Which is greater: -1 or r?
r
Suppose 2*g = 4*q - 2*g - 4, -3*q = 4*g - 3. Suppose -4 = -3*b - q. Is 1/7 bigger than b?
False
Let l be 8/(-36) - (-21)/(-27). Let v(n) = n + 2. Let j be v(l). Is 1/10 smaller than j?
True
Suppose -5*a + i = 8, 0 = -0*a - a + i. Let u = 388 + -392. Is a != u?
True
Let o = 1 + -0.9. Which is greater: -0.4 or o?
o
Suppose -5*v = -5, f = v - 1 + 2. Let g(c) = -c. Let a be g(0). Suppose a = -0*h + f*h. Which is smaller: -2/3 or h?
-2/3