e -4 and q equal?
True
Let t(m) = -2*m - 1. Suppose -2*v = -4*r - 10, 2*r + 4*v = -0*r + 10. Let p be t(r). Which is smaller: 1/4 or p?
1/4
Let v be 0/(3 - 3/3). Do 1/2 and v have the same value?
False
Let c = 898/45 - 86/9. Which is smaller: c or 10?
10
Let s = -5.6 + 1.1. Let z = 4 + s. Let m = 2.5 + z. Is m less than 0?
False
Let b(p) = 3*p + 21. Let s be b(-7). Let m = 4 + -3. Let o = s - m. Which is greater: o or -2/5?
-2/5
Let s(z) = -z**2 - 5*z + 5. Let x be s(-6). Which is smaller: -7 or x?
-7
Let k(s) = s - 2. Let a be k(3). Let u = 1436/63 + -206/9. Which is bigger: a or u?
a
Let r = 42 + -36. Which is greater: 7 or r?
7
Let c be (-6)/8 - (-428)/16. Let u be 6/130 + 4/c. Which is greater: 1 or u?
1
Let f = 0.35 - 0.66. Which is bigger: f or 1?
1
Let y(n) = -n**2 - n + 10. Let i be y(0). Suppose 0*f + 5*f = i. Let a = -292/5 - -59. Do f and a have the same value?
False
Let r = -1.9 - -0.9. Let c = -1 - -1. Is r > c?
False
Let l = 17 - 5. Let d be (-39)/(-18) - l/8. Which is smaller: 1 or d?
d
Let d be (-30)/75*(0 + -1). Which is smaller: d or 1/3?
1/3
Let h = -17 + 18. Which is smaller: h or -4/13?
-4/13
Let q(w) = -2*w - 1. Let v be q(-1). Which is smaller: -3/22 or v?
-3/22
Let h = 2/25 + 104/575. Is 2/9 equal to h?
False
Let h(u) be the second derivative of u**3/6 - 5*u**2/2 + 6*u. Let i be h(5). Let g be 6/5*20/42. Which is smaller: g or i?
i
Suppose 4*c - 2 = 6. Let k = -0.55 + 0.45. Which is bigger: c or k?
c
Let w = 48 + -191. Let c be 2/(-10) + w/(-65). Which is smaller: 0 or c?
0
Suppose 0*z = -z - 11. Is z greater than or equal to -4?
False
Let b be 1*(4 - 9) + 2. Is b at least as big as -3?
True
Let v = -7 - 0. Which is smaller: v or -4?
v
Suppose 0*b - 4*b - y = 0, -4*y = -b. Let a = -270/11 - -34312/1397. Let r = -111/1016 - a. Which is smaller: b or r?
r
Let u = 7.35 - 0.55. Let o = -7 + u. Which is smaller: o or 13?
o
Let h = 1.8 - -5.2. Let l = h + -5. Which is greater: -2/11 or l?
l
Let w be 65/(-90) - 6/(-27). Is -3/2 less than or equal to w?
True
Let f(m) = -m**3 + 3*m**2 - 2*m + 3. Let k be f(3). Let y(r) = r**2 - 8*r + 3. Let s be y(7). Is k at most s?
False
Suppose -8*y - 4 = -10*y. Let f be (-2)/(-4)*1*4. Is f at least y?
True
Let i = -1.5 - 9.5. Let n = i - -19. Let s = 5 - n. Are -0.1 and s non-equal?
True
Suppose -u - 5*c = 10, -3*u + 10 = -7*c + 2*c. Let p be ((-3)/(-2))/(6/(-8)). Let r be (-1 - p/6) + 0. Which is smaller: r or u?
r
Let s be 94/(-172) + (-3)/(-6). Which is smaller: s or 1?
s
Suppose -8*o = -3*o + 5. Suppose n = 3*k - 3, -n - 3*n = -4*k + 4. Let h be (n + 1)/(3/o). Is h bigger than 1?
False
Let a = -8 - -16. Suppose 3*x + x - a = 0. Let b be (x*2/(-2))/(-7). Is b equal to 0?
False
Suppose -y + 11 = 5*d - 2*y, -2*d + 2 = 2*y. Suppose 4*g - 6 = 5*c, c - 4*c - d = -4*g. Let l(a) = -a - 7. Let j be l(-4). Which is smaller: j or c?
j
Let n = -1 - -2.01. Let c = n - 0.01. Are 0.2 and c nonequal?
True
Let c be 74 - (3 - 1/1). Suppose -3*j - j = c. Let z = -55/3 - j. Is z equal to 0?
False
Suppose j + 2 = 4*g, -4*g + 8 = -2*j + 4*j. Suppose -j = -0*h + 2*h. Let w = 29/30 - 3/10. Is h greater than or equal to w?
False
Let c be 2/(-4*2/(-4)). Which is greater: c or -2/15?
c
Let v = 2773021/168 - 16506. Let i = v + 5/24. Let z = 1 - 1. Is z bigger than i?
False
Suppose -d + 4 - 3 = 0. Let w be ((-3)/(-1))/(d/(-1)). Is w >= -4?
True
Let w(p) = p**2 - p. Let u(r) = 5*r**2 - 7*r + 1. Let x(d) = -u(d) + 6*w(d). Let v be x(-3). Suppose -b + 5*n - 9 = 0, v*b + n - 8 = -1. Is b equal to 4/3?
False
Suppose 0 = 2*l - 6, 3*l + 12 = -2*p - l. Let j = p + 20. Which is greater: 6 or j?
j
Let v = 280 + -1964/7. Is 0 less than v?
False
Let v = 0.04 + -1.04. Is -1 less than v?
False
Let b = 2 + 0. Let q = 4 - b. Let r be 0/(-1) + 1*2. Is r greater than or equal to q?
True
Let s be (-8 - -7) + (1 - 0). Let p = -2/265 - 512/2385. Are s and p equal?
False
Let d be (-2)/((-1)/3*-6). Which is greater: 2/81 or d?
2/81
Suppose 3*d + 35 = -2*d + 5*o, 0 = -2*o + 4. Let g be 1/d + (-9)/5. Is -3 bigger than g?
False
Let m = 956/15 + -347/5. Let k = m - -6. Which is greater: 1 or k?
1
Let r be (160/(-222))/(-4) + 24/(-144). Are -1 and r unequal?
True
Suppose -c = -2*g + 7*g + 3, -2*c = 4*g. Which is bigger: 2/17 or g?
2/17
Let a(p) = -p**2 + 2. Let s be a(0). Suppose 5*o = -y + 3, 0 = -4*y - o + s*o - 9. Let i(d) = -d + 1. Let v be i(y). Are 2 and v equal?
False
Let g = -49 - -49.9. Which is greater: 0 or g?
g
Suppose 5*m - 3*b - 4 = 3, 3*m - 3*b - 3 = 0. Are -6 and m unequal?
True
Let m(c) = -c**3 - 11*c**2 + 12*c - 17. Let k be m(-12). Which is bigger: k or -15?
-15
Let h be 3/(-2) - (-35)/42. Which is smaller: -0.04 or h?
h
Suppose 3*u = 4*z + 5, 0 = -5*u + 4*z - 0*z + 3. Are u and -7 equal?
False
Let a(p) = p**3 - 4*p**2 + 1. Let w be a(4). Let o be 2 - w - (-15)/(-3). Is o greater than or equal to -3?
False
Let b(v) = 3*v - 9. Let c be b(3). Is 2/37 less than c?
False
Let z(b) = -6 + b - 4 + 4. Let i be z(12). Is i at most as big as 7?
True
Suppose 4*q - 11 - 22 = -5*d, 4*d - 26 = -3*q. Which is bigger: 0 or q?
q
Let h(d) = -d + 2. Let w be 5*1 + (3 - 3). Let n be h(w). Suppose -o = -4*q + 3 - 11, 3*o = -5*q - 27. Are q and n equal?
True
Let s = -36 + 177/5. Let t(l) = -l**2 + 4*l + 5. Let m be t(5). Which is smaller: s or m?
s
Suppose -5*l = 9*l + 14. Which is greater: -13/9 or l?
l
Suppose 2*j = -2*j + 4. Let o be 2/2*3/(-6)*-6. Which is smaller: j or o?
j
Let h = -359/7 - -51. Let b = 2 - -3. Suppose 4*s - 6 = b*n, -3*n + 0*n - 11 = 5*s. Is h != s?
True
Suppose 0 = -4*j + 5*a + 93, -22 = -j + 3*a + 10. Suppose 5*m - j = -f, -5 - 1 = -2*m. Suppose 4*h - c = 4, c - 3 = -h - f*h. Is h < -1?
False
Let l = -3/16 + 11/16. Which is smaller: -9 or l?
-9
Let y(r) = r**2 - r + 1. Let b be (-3)/1 + 5/1. Let g be y(b). Which is greater: 1 or g?
g
Let m = 16321/9 - 1811. Which is smaller: 3 or m?
m
Let r be 2/((-1)/24*-3). Let w be 40/18 - r/72. Let q be (2/w - 0) + -1. Is q > 1/3?
False
Let t(x) = -x**3 + 6*x**2 - 6*x + 5. Let f be t(5). Suppose f*b = 2*b. Let u = -1/14 - 25/42. Which is greater: b or u?
b
Let a(u) = u**3 + 2*u**2 - u - 1. Let j be a(-2). Let v = 5 - 14. Which is greater: v or j?
j
Suppose -3*u = -2*u - 3. Suppose 2*l + l = -u. Let m be (-3)/45 + (-6)/(-15). Is l bigger than m?
False
Let a = 0.06 + 0.04. Let t = 0.4 - a. Which is greater: t or 0.1?
t
Let b = -0.07 + 0.77. Let j = b + -0.1. Is j at least -1?
True
Suppose 0 - 2 = w. Let t be (1 + w - 4)/(-1). Are -2 and t unequal?
True
Let q(b) = -2*b**3 - 1 + b**3 - 3*b + b**2 - 3*b**2. Let f be q(-2). Suppose -6 = -f*g + 4. Is 2 less than or equal to g?
True
Suppose -t - 14 = -2*a, 4*t - 5 + 37 = 5*a. Are a and 8 nonequal?
False
Let u = 10 - 9. Let l be 4/(-16) + 42/8. Suppose 2*j = -l*c - 1 - 0, -j = 2*c + 1. Is c at least u?
True
Suppose -2*z - 5*r - 35 = -7*z, 4*r + 8 = 0. Is z smaller than 6?
True
Suppose -4*u + 2*u = 4. Suppose -3*s - 3*l = -s - 8, 4*s - 16 = 5*l. Suppose -f - k - s = 0, 3*f - 5*f - 3*k = 11. Is f smaller than u?
False
Let l = 41 - 42. Let c be (-190)/(-8) - (-3)/12. Let p be (1/2)/((-6)/c). Do p and l have the same value?
False
Suppose 15 = -2*h - 3*h. Suppose 2*t = -3*t + 20. Let b be (t/3)/((-6)/18). Which is smaller: h or b?
b
Let l be (-4)/(-6)*12/8. Let m be 2/9 - (-258)/54. Suppose v + l = b, -m*b + 2*v = -v - 5. Which is smaller: 0 or b?
0
Let r = -0.44 + 0.54. Is -1 less than or equal to r?
True
Let n be 6*2/8*2. Suppose 0*q = -q + s + n, -2*s = -3*q + 7. Let y = 72/5 - 73/5. Which is smaller: q or y?
y
Suppose 2*s - 7*s - 105 = 0. Let y be (-4)/(-6)*s/(-2). Let l be 3/y*(-16)/12. Which is smaller: -1 or l?
-1
Suppose -3*r + 3 + 3 = 0. Suppose 0 = -r*i - 3*i. Suppose 0 = -a - i*a. Which is bigger: a or -2/5?
a
Let x be (-12)/5*8/6. Let h = 2 + x. Is h at least 0?
False
Let v be (-1)/(28/(-15)) - (-4)/(-14). Is 0.25 smaller than v?
False
Let v = 25 + -13. Let y be -2*3 + v/4. Are y and -1 equal?
False
Let i be (-1)/5*-3 - 1. Is i >= 23?
False
Let u be (-5)/(-3)*27/(-72). Is 0 smaller than u?
False
Let v(u) = u - 3. Let q be 0 + (3 - (-9)/3). Let a be v(q). Is a < 3/2?
False
Let m(y) = y**3 - 5*y + 3. Let u be m(2). Which is smaller: 1/9 or u?
1/9
Suppose 4*a = f + 3 - 4, -2*f + 2 = 5*a. Which is smaller: 4/9 or a?
a
Suppose -449 = -5