1/(-3)*(-3)/4. Let x = 5.36 + -0.36. Are x and g nonequal?
True
Let v be 116/(-183) - (3 + (-22)/6). Which is greater: v or -1?
v
Let v(q) = q**2 + 11*q + 4. Let c be v(-7). Let o = 49/2 + c. Which is greater: o or 2?
2
Let v = -0.014 + -0.134. Is v not equal to 2/3?
True
Let z = -5 - -9. Suppose 6 - 2 = z*a. Let b be 0*(0 + a/2). Which is smaller: b or 1/2?
b
Suppose -l + 4*c - 23 = 0, 0*c + c - 11 = 2*l. Which is bigger: l or -12/5?
-12/5
Suppose 5*z = -25, -3*z + 20 = 4*b - 7*z. Which is greater: b or 2/75?
2/75
Let y = -57 + 61.6. Let c = -0.6 + y. Let f = 3 - c. Which is bigger: 1 or f?
1
Let p be 2 - 15/9*30/25. Is p less than 5.4?
True
Let g(q) = -11*q - 8. Let w be g(1). Which is bigger: w or 2/7?
2/7
Let p(y) = -y**3 + 3*y**2 - y + 7. Let v be p(3). Suppose -v*b + 5*j - 7 = 0, 5 = 4*b + 2*j - 3*j. Is 3/2 equal to b?
False
Suppose 3*d + 25 = -2*d, -3*p + 5*d = -16. Let a = p - -3. Is a less than 2/5?
True
Let s = -0.03 + -6.17. Let m = -6 - s. Is 0.1 > m?
False
Let y(z) = z**3 - 5*z**2 - 7*z + 7. Let q be y(6). Which is smaller: q or 2?
q
Let y be (-1)/(-5) + 18 + -18. Which is smaller: 2/11 or y?
2/11
Let n be (-86)/(-63) + 6/(-27). Which is smaller: 0 or n?
0
Let u(l) = -l**3 - 3*l**2 - 3*l - 1. Let p be u(-2). Let y be 9/(-6) + (-13)/(-8). Are p and y non-equal?
True
Let m(n) = 20*n - 8. Let b be m(2). Is 30 < b?
True
Suppose -4*n - 14 - 2 = 0. Let f(v) = 2*v + 8. Let i be f(-6). Is i != n?
False
Let x be 117/(-258) - 0/(-2). Let i = 2/43 - x. Which is smaller: i or 2?
i
Suppose 2*s = -13 - 21. Is s less than -17?
False
Let g = 29 - 16. Suppose 0 = 4*l - 5 + g. Let b = -5 - l. Are -3/2 and b nonequal?
True
Let x = -15 + 22. Let s be 81/336 - 3/x. Which is smaller: s or -1?
-1
Let l = -7.98 - -8. Which is bigger: -2 or l?
l
Let i(q) be the first derivative of q**2/2 - q + 3. Let r be i(-5). Which is smaller: r or -1/2?
r
Suppose 0*k + k + 3*h = 2, -5*k - 8 = -3*h. Let x be (-3 - (-4)/2)*1. Let a be (-3 - -3)/(x + k). Which is greater: a or -3?
a
Suppose 4*o - 11 = o + 2*a, -2*o + 14 = -3*a. Let i = 1/137 - 287/1781. Which is bigger: i or o?
o
Let t = -1/67 + -328/469. Which is greater: t or 2?
2
Suppose i - 10 - 11 = -4*u, u + 5*i - 10 = 0. Which is bigger: u or 6?
6
Let g = -0.06 + -0.03. Let z = -1.09 - g. Are z and -1 equal?
True
Let t = -73 + 50. Let a = t - -27. Which is smaller: 2 or a?
2
Let w(b) = -b**3 + 5*b**2 + b - 5. Let s be w(5). Let f(k) = k**3 + 10*k**2 + 10*k + 12. Let u be f(-9). Let j be -1*2/(-3)*u. Which is smaller: s or j?
s
Suppose 2*p - 5*k = 15, 2*p - 5*k - 15 = p. Let m be 0 + 2 + (-3)/4. Is m at most p?
False
Let x = -0.1 + 0.3. Let m = -4.8 + -8.4. Let q = 13 + m. Which is greater: x or q?
x
Let x be 16/10*1/(-4). Let k(q) = -q. Let f be k(0). Which is smaller: x or f?
x
Let a = -81 + 241/3. Is a equal to -2?
False
Let a = -814 + 25231/31. Is a less than or equal to 0?
True
Let p = 6 + -8. Let z be ((-6)/(-8))/(p/8). Let a be 9/18*(-6)/9*6. Which is smaller: a or z?
z
Let d be (-142635)/(-6)*(-1)/(-42). Let m = 566 - d. Let t = 1/14 - m. Which is smaller: 0 or t?
0
Let i = -0.1 + 0.2. Let o(v) be the first derivative of v**3/3 + v**2 - 7*v - 6. Let b be o(-3). Which is greater: b or i?
i
Let z be ((-8)/(-6))/(2/(-3)). Let p = -0.04 + 2.04. Is z less than p?
True
Let i be ((-16)/(-300))/((-1)/(-5)). Are i and -1 nonequal?
True
Suppose 0 = y + 3*y - 4*j - 84, 3*j + 21 = y. Which is smaller: 20 or y?
20
Let k be 12 + -9 - 11/3. Is k smaller than -13?
False
Let l be 14*((-12)/(-8) - 3). Is -2/3 != l?
True
Let v be (-42)/(-72) - (-3)/4. Let m(z) = -z + 4. Let l be m(3). Is v < l?
False
Let b(t) = 2*t - 4. Let w be b(6). Let a = w + -5. Suppose 0 = -3*q - 4*m, a*q + m = 4*m + 21. Are 3 and q nonequal?
True
Let k = -3/355 - 7594/355. Let w = 21 + k. Is 2 greater than w?
True
Let c be (-8)/(-4) - 5/3. Is c < 0?
False
Let f(r) = -13*r - 31. Let s(c) = -3*c - 8. Let d(x) = 2*f(x) - 9*s(x). Let u be d(-7). Let m = -3 + u. Which is bigger: m or -1?
m
Let c be 4/(2 + 0) + -3 - 2. Let o = -4/63 - 307/126. Is c less than or equal to o?
True
Let n = 0 + 0. Let m = -219/40 - -28/5. Is m != n?
True
Let n = -4.7 + 3.4. Let l = 22.3 + n. Is 0 not equal to l?
True
Suppose b + 20 = -m, 7*m = 3*m + 8. Let n = 109/5 + b. Suppose 0 = u - 4*u - 3. Which is smaller: u or n?
u
Let u = -14.1 - -1.1. Let d = 12.91 + u. Is d < 0.2?
True
Suppose -2*w - 2*w = -m - 20, 4*w = 2*m + 32. Suppose -3*c - 19 = 8. Let q be (-1 + c/m)/(-1). Does q = 1/4?
True
Suppose 3*t + 5*v - 20 - 3 = 0, t - 2*v + 7 = 0. Which is smaller: -1/4 or t?
-1/4
Let g = 2 - 3. Let s(w) = -w**3 + 5*w**2 - w + 3. Let u be s(5). Let a be 12/(-20) - u/10. Is g at most as big as a?
True
Let c = -159268/7 - -22874. Let v = 121 - c. Let r = 0 - -1. Which is greater: v or r?
r
Let f(z) = -11*z + 9. Let a be f(3). Are a and -24 equal?
True
Let v = 11 - 6. Let a be 17/v + 4/(-10). Let p = a - 3. Which is greater: p or -3/4?
p
Let i be -2 + 2 + 2 + 0. Let y(q) = 4*q**2. Let n be y(1). Suppose -6 + i = -n*v. Which is smaller: -0.03 or v?
-0.03
Let b be (-10 - -6) + 1/(-1). Is b less than -7?
False
Let q = -29/2 + 14. Suppose -4*c - 5 = -3*r - 3*c, 4*r + c = 2. Suppose 0*h - h = r. Is h != q?
True
Suppose 2*g = g + j, 3 = j. Suppose 2*d + 1 = g. Let u = d - 2. Are u and -1/2 nonequal?
True
Let w(s) = -2*s + 8. Let m be w(5). Which is smaller: 2/9 or m?
m
Let b(a) = -3 - a**2 - 3 - 2 + 5 - 7*a. Let h be b(-7). Which is smaller: -3/2 or h?
h
Let j(q) = q**2 + 2*q - 5. Let b be j(-4). Which is greater: b or 5?
5
Let g(w) = -w - 4. Let i be g(-6). Suppose 4*t = 2*m - 6, 2*t + i*t - 4*m = -8. Is t at least as big as -1?
True
Let k(u) = u**2 + u**2 + 5*u - 3*u**2. Let r be k(4). Let j be (2/20)/(r/(-10)). Is j != -0.1?
True
Let l = 0.03 - -1.97. Let j = 1.9 - l. Let h = j + 0.1. Is h != -2/7?
True
Let q = -9 + 13. Let y(l) = l**3 + 6*l**2 - 8*l - 4. Let t be y(-7). Suppose k - t*m - 13 = 0, -2*k + 3 = 2*m + 1. Is k equal to q?
True
Let m = 4.2 - 5.9. Let o = m - -2. Let a = -0.4 + o. Which is smaller: 0 or a?
a
Let f be 3*(-4)/16 + 7/4. Which is smaller: f or 0?
0
Suppose x - 16 = -3*x. Suppose 5*c = 2*m - 84, 3*c + x*m + 72 = -2*c. Let r = -110/7 - c. Is r greater than 1?
False
Suppose 3*l - 2*v + 5*v - 9 = 0, 5*v = -3*l + 13. Which is greater: l or -1/5?
l
Suppose -5*i + 45 = 5*u, u + u - 3*i = 13. Let d be (-1)/(0 + 4/u). Are d and -3 equal?
False
Suppose -19 = 3*p + b + 3*b, 2*p + b = -11. Is p > -4?
False
Let w = -4 + 4. Suppose y - 3 = q + 2*y, w = -4*q - 3*y - 10. Is q > -3/4?
False
Suppose 3*n - 5 - 1 = 3*o, 0 = -5*o + 4*n - 8. Let q = 15 - 11. Let c be 2/10*q/(-4). Which is greater: o or c?
o
Let p be (3/9)/(1/6). Suppose k + 2 = 0, -b - 2*k - p*k - 10 = 0. Suppose 0 = u - 5 + 8. Which is smaller: b or u?
u
Suppose 0 = -2*c - 2. Let s be c/3 - (-3586)/21. Let x = s + -170. Which is smaller: 0 or x?
0
Let s be 0 + 2 + -3 - -3. Suppose 3*j - r + 32 = -s*j, 4*j + 5*r = -14. Let q be j/(-15)*(-5)/(-9). Is q equal to 0?
False
Suppose -12 = 4*m - 4*i + 8, -3*i = m - 11. Let b(v) = -v**2 - 5*v. Let f be b(-5). Are m and f equal?
False
Let y = 6 + -5.9. Let t = y + -1.1. Which is smaller: 0.1 or t?
t
Let b = 0 - 2. Let g be (15/6)/5*b. Let y be 0/g + 4/14. Is -3 < y?
True
Let o = 33 - 33. Which is smaller: 2 or o?
o
Let m = 3 + -5. Suppose -6 = 15*r - 17*r. Which is bigger: r or m?
r
Let h = -6.3 - 0.7. Let p = -0.31 + 0.11. Which is bigger: p or h?
p
Let n = 0 - 4. Are n and 0.2 unequal?
True
Suppose a - 2*a - i = -7, 2*i = 5*a - 49. Suppose -4*b + f = -a, -5*b - 5*f + 30 = -0*b. Which is smaller: b or 2?
2
Suppose f = 5 + 3. Is f bigger than 9?
False
Let t be 56/66 + (-26)/143. Is t > -1?
True
Let n = 25/4 - 6. Let c = -32.3 + 31.3. Which is smaller: c or n?
c
Let j(f) be the first derivative of -f**4/4 + 7*f**3/3 - 8*f - 3. Let c be j(6). Suppose 5*b - c = 17. Is b <= 8?
False
Let k = -22 + 10. Let m be 2*(-1)/((-2)/(-8)). Let q be ((-6)/10)/(k/m). Which is smaller: q or 2/5?
q
Let i = -238 + 951/4. Suppose -5*p = -4*p - 3. Let s be -4 - (-1 + (2 - p)). Which is bigger: i or s?
i
Let f = 40 - 43. Is f bigger than -4?
True
Suppose 4*q - 4 = 4*c + 8, -4 = -2*q. Which is greater: c or -26?
c
Let k = -16 + -29. Let t = -133/3 - k. Which is greater: -1/9 or t?
t
Suppose -4*f + 5*f - 