= -5*v - 6. Suppose 2*c = -2*b + 24, 2*b - j*c = -3 + 7. Is 7 not equal to b?
False
Let u be (3*-1)/(0 + -1). Suppose -5*y = -u*c - 7, 0 = -c + y - 3*y + 5. Let q be (-4)/18*(-1)/(-2). Which is greater: c or q?
c
Let p(y) = -5 + y**3 - 9 + 10 + 3*y + 5*y**2. Let g be (-1 + 2 - 0)*-4. Let z be p(g). Is 1/7 > z?
True
Suppose 3 - 2 = u. Is -1/26 at most u?
True
Let j = -6 + 5.9. Is j at least as big as 0.1?
False
Suppose 3*i + 2*x + x = 0, 3*x - 16 = 5*i. Let y be -2 + (0 + -2 - i). Is y bigger than -3?
True
Suppose 0 = 4*r - 3*z + 5, -5*z + 8*z = -r + 10. Suppose 0 = -g + 3 - r. Let k be (-3)/((-36)/(-14))*(-8)/14. Which is greater: g or k?
g
Suppose -4*q - q = -210. Let l be -1 + (46/q - 0). Which is greater: l or 1?
1
Suppose 13 = -5*g + 43. Suppose g*j - j + 5 = 0. Suppose 0 = 5*h + 3*a - 5 + 16, 3*a + 9 = -3*h. Is h at least as big as j?
True
Let c = 9 - 6. Suppose 2*u - 1 = -c. Which is bigger: u or -3?
u
Let g = -2.43 - 0.07. Let n = 1.5 + g. Is n < -6?
False
Let u be (-46)/4 - (9 - 8). Which is bigger: u or -13?
u
Let q(j) = -j**3 - 7*j**2 - 7*j + 4. Let y be q(-6). Let u = -12 + y. Let i be ((-6)/8)/((-3)/(-5)). Do u and i have the same value?
False
Suppose -3*w + 4*f + 0*f = -34, 2*w = -2*f + 4. Suppose 0*o + o + w = 0. Which is greater: -5 or o?
-5
Let s be (-1)/(-3) + 19/(-48). Does 0 = s?
False
Let v = 56.3 + -56. Let u = 2.6 + -2. Let o = u - v. Is -2 smaller than o?
True
Let q be 1/(-1 + (-6)/(-4)). Suppose -q*j + 4*f + 0*f + 12 = 0, 0 = -j + 4*f + 10. Is j <= 1?
False
Let f = -2 + -5. Let a(k) = k + 7. Let q be a(f). Suppose q = -0*g + 4*g. Which is smaller: g or -2/3?
-2/3
Suppose -4*u - 22 = 3*r, -5*r + 10 = -u - 7. Are -2 and u non-equal?
True
Let k = 8.66 - 8.3. Which is greater: k or 2?
2
Let u be ((-24)/16)/((-6)/8). Let z be (u - 1)*(8 + -9). Let k be 2/(-6)*3/2. Is k > z?
True
Let s(k) = -3*k**2 + 1. Let n be s(-1). Let i be 1 + 2 + 7/n. Suppose 4*g + h + 8 = 0, 0 = 2*h - 5*h - 12. Is g < i?
True
Suppose 4*p + 51 = 7*p. Is 1 greater than or equal to p?
False
Suppose 0 = -7*q + 3*q - 4. Let x be q - 3/5*-2. Which is smaller: 1 or x?
x
Suppose 5*x - 65 = -3*u, -x = -0*x + u - 15. Let o = 14 - x. Let a be (-1 - 3)/(o/2). Are -2 and a non-equal?
False
Let u be 1/((-7)/4 - -2). Let h = u - 2. Let i be 4*1/(h - 0). Is i < 2?
False
Let z be ((-6)/(-20))/(3/(-236)). Let g = 27 - 51. Let l = g - z. Which is smaller: 0 or l?
l
Let t(v) = -5*v - 10. Let z(k) = -6*k - 11. Let q(c) = 5*t(c) - 4*z(c). Suppose -4*y - 36 = 5*h, 5*h - y = y - 42. Let i be q(h). Is 2 equal to i?
True
Let v be (-191)/3 - (-2)/(-6). Let h = 190/3 + v. Let g be 2/(-3) + (-1)/3. Which is smaller: h or g?
g
Let r(h) = -8*h + 2. Let t be r(-6). Which is smaller: t or 97/2?
97/2
Let r(q) = -1 + 5*q - 6*q**3 + 5*q**3 + q**2 + q**2 + 4. Let c be r(4). Which is smaller: c or -10?
-10
Let v be (-9)/(-32)*(-84)/(-9). Which is bigger: v or 2?
v
Let q be (-3 + 18/4)*18. Let o be (-2)/(6/q*-6). Is o != 2?
True
Suppose 11*b = 3*b. Which is smaller: -2/51 or b?
-2/51
Suppose l + 16 = 4*p + 3*l, -2*p + 4*l = 12. Is p at most as big as 5?
True
Let s(v) be the first derivative of -v**4/2 - 2*v**3/3 - v**2 - v + 2. Let j be s(-1). Let o be (-1 + j)*(-3)/3. Which is smaller: 2/9 or o?
o
Suppose 5*h - h - 5*v = 41, v = -4*h + 35. Let w be (2/(-3))/(6/h). Which is bigger: w or -7/3?
w
Let i(b) be the first derivative of -b**4/4 + b**3 + 3*b**2/2 + 3*b + 2. Let w be i(4). Let r(o) = -o + 4. Let c be r(4). Which is bigger: w or c?
c
Let v be 3/(648/(-138) - -5). Which is smaller: 9 or v?
9
Let z be ((-20)/25)/(1/5). Let s be z/(-32) + 420/(-32). Which is bigger: -14 or s?
s
Let r(x) be the third derivative of -x**5/60 - x**4/6 + 5*x**3/6 - 2*x**2. Let q be r(-6). Let a be (-5)/q + (-4)/(-14). Which is greater: 2 or a?
2
Suppose 3*d - 16 = -2*x, -4*x = d - 3*x - 7. Let s be (3 + 1)*-1 - d. Suppose 5*z = 4*t + 48, 4*t = -3*z - 11 - 5. Which is smaller: t or s?
t
Let j be 12/(-3)*6/4. Let p = j - -6. Is p at least -2?
True
Let r = 67 + -104. Are r and -38 nonequal?
True
Let g(h) = h**3 - 5*h**2 + 2*h - 4. Let b be g(5). Let i = b - 6. Let f = -5 - -6. Which is greater: i or f?
f
Let w be (12/(-9))/4*6. Which is smaller: w or -3/5?
w
Let x be (-6)/(-15) - (-35)/(-25). Is -2/101 smaller than x?
False
Suppose 0 = -0*b - b + 8. Suppose 3*v - 46 = w, -4*v - 8 = w - 74. Let j = v + -9. Is b greater than j?
True
Let s(a) = a**3 + 11*a**2 - 13*a + 6. Let r be s(-12). Suppose -5*q - 12 = r. Which is greater: -5 or q?
-5
Let a = -6 + 8. Suppose -o = w + a*w - 2, 0 = -2*w - 5*o + 10. Is w <= -2/9?
False
Let q = 6 - 2. Let x(o) = o - 7. Let n be x(8). Let d be 0 + n + 3 + -1. Does q = d?
False
Let x be -1 - -2 - (4 + -18). Which is bigger: x or 17?
17
Let c = -1/73354 + -153970037/660186. Let v = -233 - c. Which is bigger: 1 or v?
1
Suppose 2*o - 18 = -2*s, o + o + 6 = 2*s. Which is smaller: 54/11 or s?
54/11
Let h(d) be the third derivative of -d**6/720 + d**5/40 - d**4/8 + d**2. Let v(k) be the second derivative of h(k). Let w be v(3). Is 2/5 bigger than w?
True
Let f(z) = -z**2 - z + 5. Let o be f(-3). Which is smaller: o or 1?
o
Let g = 1.88 + 0.12. Which is greater: 0.1 or g?
g
Let k(h) = -h**3 + 4*h**2 + 5*h - 2. Let t be k(5). Let p = -127/4 - -31. Do p and t have the same value?
False
Suppose 3*c - 2*z = 3 - 0, -5*z = 0. Let x be (-2094)/(-27)*1/2. Let g = x + -39. Do c and g have different values?
True
Let q = -1.6 + 3.6. Is 1.7 greater than or equal to q?
False
Suppose 5*h + 115 = 3*y, -y - 2*h + 31 = -0*h. Which is smaller: 34 or y?
34
Let d(q) = q + 7. Let p be d(-5). Let r(z) = -z + 0 + 2*z - 2 - p. Let i be r(3). Is i less than or equal to -2?
False
Suppose -2 = o - 3*z, o + 2 = -0*o - 5*z. Is o smaller than -4?
False
Suppose -4*s + k - 5*k + 12 = 0, 3*k - 9 = 4*s. Let x = -1 - s. Is 2 less than or equal to x?
False
Let x be 4 - 46/6 - -4. Which is smaller: 1/7 or x?
1/7
Let a(u) = -u + 10. Let c be a(11). Let v = 7.3 - 7. Which is smaller: v or c?
c
Let x be -1 + -3*3/(-13). Is x equal to -1?
False
Let g be (-79)/44 + (-2)/8*3. Which is greater: g or -4?
g
Let d = -96 + 105. Is d bigger than 9?
False
Let l(d) = 4 - 3*d**2 - 4*d**2 - d**3 + 9*d + 5. Let i(z) = 5*z + 2. Let u be i(-2). Let n be l(u). Does n = 2/11?
False
Let a = -0.2 + 0.1. Let n = a - 0.5. Let q = n - 0.4. Is -0.1 at least q?
True
Let u(i) = -i + 1. Let j be u(0). Let f be -5*((-17)/15 + j). Which is bigger: f or -2/3?
f
Suppose 0 = 6*g + 17 + 25. Let y be (-4)/g + (-152)/(-28). Do y and 8 have different values?
True
Let k be (0 - 3/1) + 3. Which is smaller: 1 or k?
k
Let n(q) = -2*q**3 - q**2 + 3*q - 1. Let j be n(1). Let w be (1/(-4))/((-2)/4). Is j at least w?
False
Suppose 38 = -15*w + 113. Let y be (-4)/2*4/(-2). Which is smaller: w or y?
y
Let y(r) = r**2 + r - 1. Let p be y(2). Suppose 3*t = p - 2. Which is smaller: 0 or t?
0
Let d = -1.49 + 1.48. Which is greater: -2 or d?
d
Let t be -2 + -1 + 4 - -41. Suppose 5*l + t = 12. Let h be 6/30 - l/(-5). Which is smaller: h or -2/27?
h
Let y = -5.4 + 5. Let k = -0.45 - y. Is 0.1 greater than k?
True
Let b = -89/2 - -42. Which is greater: b or -3?
b
Let q(u) = -u**2 - 7*u - 6. Let i be q(-5). Suppose -2 = -2*r - i. Let a be (2 + -3 + 3)/r. Is a smaller than -3/4?
True
Let f = -57 - -25. Let v be 2/(-8)*f/(-12). Is -7 at least v?
False
Let n = 765/8 + -96. Which is greater: n or -1?
n
Let k = 0 + -7. Let j(t) be the third derivative of t**4/24 + t**3 + t**2. Let x be j(k). Which is bigger: x or 2?
2
Suppose -5*k = 5*i - 30, 0 = 2*i + 2*k - 7*k + 2. Let t(v) = -v**3 - 3*v**2 - v + 3. Let j be t(-3). Is i equal to j?
False
Let b be (2/(-2) + 1)/(-2). Suppose -4*t + 3*m = -23, -m + 15 = -4*m. Let o(h) = h**2 - 2*h. Let n be o(t). Is n < b?
False
Let d = -0.1391 + -106.9609. Let x = d - -113. Let k = x - -2.1. Which is greater: k or 0.1?
k
Let v(l) = 3*l**3 - 4*l**2 - 4*l - 1. Let o(f) = -f**3 + f**2 + 1. Let a(q) = -2*o(q) - v(q). Let d be a(3). Which is bigger: d or 1?
d
Let f be (-1)/2 - (-2)/4. Let b be 2 + 1*(-6 - 2). Let j be b/(-15) - (-9)/(-15). Are f and j equal?
False
Let o = -0.16 - -0.37. Are -0.1 and o unequal?
True
Let q = -7 + -8. Let b be (-4 - -2)/(q/1). Is -1 < b?
True
Let w = 0.3 - 0.3. Let x be 2 - 2 - -2 - -1. Suppose x*k + 5 = -2*k. Is w < k?
Fa