 b = g + 7/44. Suppose 3*l + 2*l = 0. Which is bigger: b or l?
b
Let s = -5 - -7. Is s less than 2/9?
False
Suppose 2*c = -2*c - 40. Which is greater: c or -11?
c
Suppose g + 5*n = -5, 7*g - 5*n - 45 = 4*g. Let o be 0/(2 - (g - 4)). Which is smaller: 2/3 or o?
o
Let j = -936101/255 + 3671. Let z = 2/15 - j. Which is greater: -1 or z?
z
Let l be ((-20)/25)/((-2)/(-320)). Let r = l + 642/5. Which is smaller: 1/3 or r?
1/3
Let h(j) = j**3 - 3*j**2 - 2*j - 2. Let c be h(4). Let m be (-18)/6 - (-10)/c. Are m and 1/2 unequal?
True
Suppose 25 = 5*n, 5*j - 4*j + 15 = 4*n. Suppose 4*f = j*b - 22, b + f = -0*f - 1. Let s be -4 + 12/16 + 4. Is b greater than s?
True
Let a be -2 + 1 + 10/6. Let r(t) be the first derivative of -t**3/3 + t**2/2 + 2*t - 1. Let w be r(0). Which is smaller: w or a?
a
Let r = -2/65 + 176/1495. Is 3 >= r?
True
Let q = -608/765 - 8/85. Which is smaller: -1 or q?
-1
Let m = 3 + 0. Let q be (m/(-15))/((-4)/70). Which is smaller: 5 or q?
q
Let g = 531/13 + -41. Is g != 1?
True
Let d = -1 + 0. Let f = 3 - 13/3. Which is smaller: d or f?
f
Suppose 4*a + 112 = a + 5*l, 0 = 5*a - 4*l + 191. Is -40 > a?
False
Let c(r) = r**2 + 1. Let h be c(0). Let t = h + 1. Suppose 5*q + 3*l - 9 = 2*q, -2*l = -2*q - 2. Which is smaller: q or t?
q
Let a = 2.9 - 3. Let r = 0.03 - -0.02. Let b = 3.05 - r. Is b at most as big as a?
False
Let a = -3418/473 - -80/11. Which is smaller: a or 0?
0
Suppose -p - 4*p - 26 = -l, 0 = 4*l - 5*p - 44. Let r be (-10)/15*l/(-46). Which is greater: -1 or r?
r
Let c(g) = g**2 + 6*g + 6. Let a be c(-6). Is a >= -1?
True
Let h = -354/7 - -51. Suppose -5*v = -2*m + 32, 0*m + 42 = 5*m - 3*v. Let u be (4/m)/(4/(-6)). Is h greater than u?
True
Let l = 2353/15 + -157. Which is smaller: 4 or l?
l
Let c(v) = -v**2 + 12*v. Let p be c(12). Suppose -5*l + 11 + 0 = -o, p = -3*l + 3*o - 3. Suppose i = 3*i - 10. Which is smaller: l or i?
l
Let h = 10 + -7. Suppose -n = k, -n - h = n + 5*k. Which is smaller: -2/17 or n?
-2/17
Let l = 11.8 + -8. Let r = l - 2.8. Which is bigger: r or -8?
r
Let t = -74 - -80. Which is smaller: 62/9 or t?
t
Let o = 53211/150133 - -2/4843. Let x = o - 337/775. Which is smaller: 1 or x?
x
Let t = -0.09 - -1.99. Which is smaller: 0 or t?
0
Let d be (-3)/(-6) - (-34)/4. Let i = -16 + d. Let p(l) = -l**3 - 7*l**2 - l - 7. Let u be p(i). Is u greater than 0.8?
False
Let i(w) = -w. Let j(k) = k**3 - k**2 + k + 2. Let b(m) = 2*i(m) + j(m). Let n be b(0). Which is bigger: n or 10/3?
10/3
Let o = 0 + -1.5. Let t = o + 0.5. Let i = -2/249 + -733/1743. Is t less than or equal to i?
True
Let y = -2/201 - -412/1005. Which is smaller: 3/4 or y?
y
Let b be -1 - 887*(-1)/885. Let q = -1027/62835 + b. Let l = -151/639 - q. Does 1 = l?
False
Let z = 0.2 + -2. Let i = -3.8 - z. Is 7 at least i?
True
Let k = 1.97 - -0.03. Let l = 0.2 - 0.2. Which is smaller: l or k?
l
Let g = -3 + 3.1. Let k = -0.68 - -1.38. Which is smaller: g or k?
g
Suppose 25 = 5*v + 3*g + 2*g, 3*v - 2*g + 10 = 0. Which is smaller: v or -2/13?
-2/13
Suppose -u + 5 = -0*u, 9 = 2*w + u. Suppose o - 1 = -4*t + 6*o, 3*t = -4*o + 24. Let m = t - w. Is 2 at most m?
True
Suppose 5*c + 5 = 20. Let z be 6/(3/3 - c). Is -1 at least as big as z?
True
Let a(i) = 5*i - 8. Let j(m) = -4*m + 7. Let d(t) = -3*a(t) - 4*j(t). Let w be d(4). Let r = -1 - -1. Is r not equal to w?
False
Suppose -268 = -2*y + 6*y. Let k = -19/2 - -309/4. Let n = k + y. Which is greater: n or 1?
1
Suppose 2*h - 6 = -28. Let o be (3 - 0) + h/4. Which is bigger: -2/7 or o?
o
Suppose -p = -2*p - 1. Do p and -3/8 have the same value?
False
Let k = 0.34 - -0.46. Which is bigger: 0.4 or k?
k
Let l = -239 - -1189/5. Suppose 3*s + 0 = -4*c - 2, -3*s - 3*c = 3. Does s = l?
False
Let a = -3/40 - -33/40. Let k be 1 + 0 + 0 + 0. Which is smaller: a or k?
a
Let i = 0.94 + -1.04. Let s = 10 + -10.8. Is s bigger than i?
False
Suppose -4*x + 5*h = 8*h - 46, 5*x + 2*h - 54 = 0. Is 7 less than or equal to x?
True
Let c(j) = -j**2 + 10*j + 1. Let m be c(9). Let f be (7/m)/(2/(-4)). Which is bigger: -2 or f?
f
Let c be (-2 - 14/(-6))/((-2)/14). Which is bigger: c or -3?
c
Let f be -2*(-2)/((-4)/(-1))*-1. Is f greater than 0?
False
Let g(h) = -h**3 + 4*h**2 - h + 3. Let y be g(2). Let p be (y + -11)*5/2. Which is bigger: 1 or p?
1
Suppose z + 2 = 3. Let p be (4 - z) + (4 - 2). Suppose 3*r - 2*w - w = -33, -4*r = -p*w + 49. Is r at most -6?
True
Let u(j) = j**2 + 1. Let y be u(1). Suppose 2*h = -y*h. Suppose d - 2*d = h. Is d equal to 1/12?
False
Let t(c) = -5*c**2 - 17*c - 15. Let p(r) = 2*r**2 + 8*r + 7. Let u(z) = 7*p(z) + 3*t(z). Let k be u(6). Is k less than -1?
True
Let a = 2 + 0. Suppose -a*g = -g. Let y be (-1)/(-6) - 22/24. Which is greater: y or g?
g
Let n be (-3 - -6)/(-3 + 6). Let w = 492 - 8367/17. Let r = 29/68 + w. Is r greater than n?
False
Let o(c) be the first derivative of c**2/2 + 2*c - 1. Let w be o(-5). Suppose -t + 10 = -6*t. Which is smaller: w or t?
w
Suppose o = 3*s + 2*s + 5, -19 = o + 3*s. Which is smaller: o or -11?
-11
Let j = -1.8 - -2. Suppose w = 2*r + 2*r + 62, -3*r - 39 = 3*w. Let f be (2/(-3))/(r/(-9)). Is f != j?
True
Let i = -27 + 8. Is -1 < i?
False
Suppose 2*j - 3*d = 5*j - 6, 2*d - 2 = 0. Is j bigger than 1/6?
True
Let f = -5.02 - -5. Let z = f - -2.02. Let j = 0.37 + -0.17. Which is smaller: j or z?
j
Let b = 9 - 62/7. Let c be 0*(28/(-16))/7. Which is greater: b or c?
b
Suppose 20 = 3*x - 34. Which is smaller: -3/5 or x?
-3/5
Let u be 2/(3 - 5) + 3. Let k be (-15104)/22 + 0/u. Let q = 686 + k. Do -1 and q have the same value?
False
Let n be ((-3)/36*-4)/(-1). Which is smaller: n or -0.1?
n
Let x be (-3)/(-9) - 95/267. Which is bigger: x or 1?
1
Suppose -57 = 5*x - 4*w, 4*x + 0*w = -3*w - 58. Are x and -12 nonequal?
True
Let r be 37/(-8) - 3/12. Let t = -145/24 - r. Which is smaller: t or 0?
t
Let s be (10 - 6)*1/2. Let l be (-6)/30 - (-1)/5. Does s = l?
False
Let i = -475/3 - -160. Are i and 0 equal?
False
Let f be 1/(-2) - (-1)/(-2)*-17. Are f and 8 nonequal?
False
Let o = 17 - 15. Which is smaller: -0.05 or o?
-0.05
Let z = 0.1 - -1.9. Is 2 >= z?
True
Let z be (-1)/(-5) - (-3)/(-5). Let t = 67 - 403/6. Which is bigger: z or t?
t
Let b = -0.6 + 3.6. Let n = b + -3.1. Let p = n + -2.9. Is -0.2 at least as big as p?
True
Let m = 2 - -6. Let l be (m/(-4) + 2)*1. Which is smaller: l or -3/4?
-3/4
Let r = 5704325435/628 - 9083318. Let d = -1/157 + r. Are d and 3 unequal?
True
Let u = -0.42 - -0.92. Is u < -4?
False
Suppose 0*l + 5*l - 5 = 0. Let u = 10 - 71/7. Let r = u + 19/35. Which is greater: r or l?
l
Let j be (-8)/(-20)*(-5)/29. Is j at most -1?
False
Let d be ((-13)/((-130)/(-12)))/(21/(-15)). Is 0 > d?
False
Let o = 7 - 0. Let q = o + -8. Which is smaller: q or -0.4?
q
Let q(c) = -c**3 - c**2 + c + 1. Let t(j) = -4*j**3 - 13*j**2 + 6*j + 2. Let w(a) = 5*q(a) - t(a). Let b be w(8). Let l = 3 + b. Is l <= -3?
False
Suppose 2*a + 0*a - 4 = 0, -3*h - 4*a = -8. Let s = h - 0. Which is smaller: 2/5 or s?
s
Let g be (-50)/(-6) - 5/15. Which is smaller: 9 or g?
g
Suppose -5*g = 2 + 53. Let l(d) = 2*d + 26. Let j be l(g). Are 5 and j non-equal?
True
Let r be ((-32)/(-14) + 0)/2. Let q = 31/21 - r. Suppose -14 = -4*n - 6. Which is bigger: q or n?
n
Let m(i) = -i**2 + 2 - i**3 + 0*i**2 + 2*i**3. Let g be m(0). Let y = -2 + g. Are -1 and y non-equal?
True
Let u(p) = -p**3 + 14*p**2 + 14*p + 17. Let z be u(15). Let f(k) = -k**3 + k**2 + 2*k - 1. Let t be f(z). Is t less than or equal to -5/4?
False
Let q(g) = 7*g - 4. Let d be q(6). Let n be 4/6 - (-446)/12. Let v = n - d. Is 1 > v?
True
Let i(s) = -s - 12. Let u = -31 - -18. Let h be i(u). Which is smaller: h or 5/7?
5/7
Let k(q) = 6*q + 11. Let t be k(-4). Which is bigger: -11 or t?
-11
Let r = -28.18 - -29. Which is bigger: -1 or r?
r
Suppose 2*d - 9 + 7 = 0. Which is smaller: -1/7 or d?
-1/7
Let u be ((-573)/(-24))/(199/(-2)). Let l be 1 + 1198/(-398) - -2. Let c = u + l. Which is greater: c or -1?
c
Suppose -4*m = 2*s - 12, -3*s + 5*m = -0*s + 15. Suppose -3 - 1 = -2*c. Let b be (2/8*-2)/c. Is b <= s?
True
Let b(u) = 2*u**2 + 3 - 3*u - 5 - 2. Let k be b(3). Suppose 3*f + 23 = -k*z, -5*f - 3*z - 1 = -4*z. Is -2 at least as big as f?
False
Let s(n) = -1 - 4*n**2 - 4*n**3 + 2 + 3*n**3 + 5*n. Let i be s(-5). Let y be (-9)/(-4) +