+ l = 2, -4*l = -4*u - 9*l + 4. Let v(z) = -11*z - 86. Let f be v(-8). Which is smaller: f or u?
u
Suppose 3*p + 11 = 5*q, q + 12 = 4*q. Suppose 0 = -j - p*j + 20. Suppose 0*d = j*d - 5. Is d not equal to 2?
True
Let k(c) = c**2 - 10*c + 9. Let l be k(6). Let b be (-3)/(-2)*10/l. Let q = 3/5 - 31/35. Which is smaller: q or b?
b
Let q = -878/3 - -311. Let z = 53/3 - q. Which is bigger: 2/7 or z?
2/7
Let t = 2.3 + -0.3. Suppose -3*h = 2*h. Are t and h equal?
False
Let v be (3/(-8))/(-3)*-2. Let u(w) = -w**3 + 2*w + 1. Let a be u(-1). Which is smaller: v or a?
v
Let l = -19 - -8. Let y = -11.2 - l. Let i = 0 + 0.1. Which is bigger: y or i?
i
Let x = -0.6 + 5.6. Let r = -0.8 + -2.2. Let k = -3 - r. Does k = x?
False
Let a = 2 - 4. Let x = a + 3. Let v = 65/2 + -33. Which is smaller: x or v?
v
Let t(p) = 2*p - 2. Let l be t(0). Which is greater: l or -5/9?
-5/9
Suppose 2*i = -4*z + 32, 4*i + i - 2*z - 20 = 0. Suppose -7*a - i = -4*a. Is 1 > a?
True
Let l = -856 + 5887. Let i = 166046/33 - l. Let s = i + -4/11. Is 1 at most s?
False
Let m be (-43)/4 + (-2)/(-4). Let x = m + 10. Let j = -2 - -2. Which is smaller: j or x?
x
Let k = -10 + 12. Let j = 179/70 + -2/35. Which is bigger: j or k?
j
Let t = 5 - 2. Let m = -3.1 + t. Let x = m - -0.1. Which is greater: x or 2?
2
Let b = -25462/315 + 404/5. Which is greater: -1 or b?
b
Let k = -29 + 19. Let r = k - -9. Which is smaller: r or 0.02?
r
Let m = -7 + 9. Suppose 195 = -d - m*d. Let a be (5/d)/(2/(-2)). Is -1 bigger than a?
False
Let b(f) = -f**3 + 5*f**2 + 3*f - 4 - 7*f + 0. Let p be b(4). Let s = 10 + p. Are 7 and s nonequal?
True
Let s = -0.12 - -2.12. Which is smaller: 1 or s?
1
Let h = -79486 + 717248/9. Let x = -208 + h. Is -0.3 less than or equal to x?
True
Let d(n) = n + 10. Let b be d(-14). Let r be (-2)/(-4) - (-10)/b. Which is greater: -5 or r?
r
Let p = -0.11 + -1.89. Is p >= -0.2?
False
Suppose -2*l - f = -0 + 1, 0 = 4*l + 3*f + 1. Let k be 40/(-18) + (-6)/(-27). Is k at least as big as l?
False
Suppose 5*i = 6*i + 2, -5*i - 10 = -o. Let l be (((-135)/20)/9)/1. Is l < o?
True
Let d = 60 + -62.52. Let m = d + 2.4. Which is smaller: -1 or m?
-1
Let z(k) = -9*k - 27. Let o be z(-3). Which is greater: 14/13 or o?
14/13
Suppose 0 = 4*x - 7 - 13. Suppose -v - 5*l = 2*v - 2, -4*v - x*l = -1. Which is smaller: 2/3 or v?
v
Let u be (-13 + -2)*(-1)/(-3). Which is smaller: u or -6?
-6
Suppose -417*i + 419*i + 2 = 0. Let h = -19/462 + -1/33. Which is greater: i or h?
h
Let s = -5 + 4. Let n = 1/2 - 3/4. Which is smaller: s or n?
s
Let h = -279.9 - -214. Let o = h + 70. Let j = o + -4. Is j bigger than -1/3?
True
Let a be (-20)/35 + 9/28. Which is smaller: -4/7 or a?
-4/7
Let z = -8.1 - -1.1. Let l = 9 + z. Let k = -1.9 + l. Does 1 = k?
False
Suppose 0*d - 9 = -3*g + 3*d, -5*g = -2*d - 6. Suppose -5*v + 0*v = 0. Let y(b) = b**3 + b + 1. Let f be y(v). Is g bigger than f?
False
Let o = -1705/14 - -122. Let t be (-6)/15 + 6/(-10). Is o at most as big as t?
False
Let s = 2455/11 - 223. Let b be 7 - 4 - (-3)/(-1). Which is bigger: b or s?
s
Let q be (12/(-4) + 3)/(-1). Which is smaller: q or 4?
q
Let p be -4 - (-7)/(98/92). Which is smaller: 2 or p?
2
Let t = -15 + 23. Are t and 3 equal?
False
Let i(z) = z**2 + 8*z + 5. Let f be i(-7). Let v be (f - 1 - -3)/(-4). Is v > 1/10?
False
Let y be (-15 + 14)/(1 - 0). Suppose -8*j + 5 = -3*j. Which is bigger: j or y?
j
Let i(l) = -3*l**2 - 10*l + 7. Let r be i(-5). Is -18 at least r?
True
Let r be (33/9)/(4/(-6)). Let v = r + 5. Which is smaller: v or 1/4?
v
Let k be (1 + 1)*1/(-20). Which is greater: k or 0?
0
Let b(d) = 2*d - 9. Suppose 0*g + p - 31 = -4*g, -p - 11 = -2*g. Let f be b(g). Suppose 5*r + f = 0, 0 = 2*v - r + 2*r - 1. Is 0.3 > v?
False
Suppose 0*b = -b - 1. Let g be (-1)/(3/(-81)*-3). Let d be 4 - 1 - (-28)/g. Is b >= d?
False
Suppose -2*x + 5*x - 15 = 0. Suppose -24 = 3*n - 42. Is x at most n?
True
Suppose -143*s + 144*s = -2. Let p be (68/(-18))/1 + 2. Which is smaller: p or s?
s
Let d = -8.123 - -0.173. Let t = 0.05 - d. Let x = 6 - t. Which is greater: 1 or x?
1
Let z be (-2*(-3)/(-15))/(30/25). Are -1 and z equal?
False
Suppose 3*k + 2*m - 19 = 0, 13 + 6 = 2*k - 5*m. Let f be ((-6)/4)/(2/(-4)). Do f and k have the same value?
False
Suppose 2*c = -i - i - 18, -3*i = 4*c + 31. Let j be i*(0 + 2/(-5)). Let m be j/(-3)*(-6)/(-8). Is -2 at most m?
True
Let u be 154/612 - 4/18. Let m = 9 - 10. Does u = m?
False
Let z(u) = 2*u**3 - u**2 - 2*u - 2. Let c = -4 - -2. Let v be z(c). Let j be 2/(v/(-15)) + -2. Are -1 and j nonequal?
True
Let u(z) be the third derivative of -z**4/24 - 7*z**3/3 + z**2. Let t be u(-14). Which is greater: 10/7 or t?
10/7
Let r be ((-30)/(-20))/(1/((-2)/125)). Which is smaller: 0 or r?
r
Let c = 6 - 3. Suppose -4*k + 12 = 0, -2*s + 2*k - 9 - c = 0. Are -7/2 and s equal?
False
Suppose 0 = 2*c - 59 + 65. Suppose 3*g = 2*g + 2. Suppose -4 = 3*j - 5*a + 8, 8 = -2*j - g*a. Which is bigger: c or j?
c
Let n = -3 - -2.7. Let a = n + 0.6. Let u = 67 + -67.1. Which is bigger: u or a?
a
Suppose 0 - 5 = 5*i. Let d be 3 + -3 - i/(-6). Let c = 0 - -1. Is c greater than d?
True
Suppose 2 = -2*x - 0, -5*x - 95 = -5*f. Which is smaller: 17 or f?
17
Suppose -1 = -2*t + 7. Let x(m) = 1 + m**2 - 4*m - 4*m + 5*m - 6. Let w be x(t). Are w and -2/3 nonequal?
True
Let t = 133 + -133. Which is greater: t or 1/142?
1/142
Let d = 71/2 - 37. Is d != 0.3?
True
Let w = -17.3 + 19. Let q = w - 0.7. Let t = -1 + q. Does -0.2 = t?
False
Let s be (-2)/(-4)*(-2)/(-1). Let m be 1 + -1*(s - 0). Let q be (6/2)/(m + -7). Which is smaller: -1 or q?
-1
Let a = -0.23 + 0.23. Is a at least as big as -1?
True
Let j(x) = 2*x - 4. Let k be j(13). Let u = -22 + k. Suppose y + 2*d = -4, 3*d + 10 = -y - 2*d. Are u and y equal?
True
Let v(n) = -n**3 - 6*n**2 - 4*n + 2. Let u be v(-5). Let f be 3/(8/12 - 10/6). Let p = u - f. Which is smaller: 3/5 or p?
p
Let b be 101 + 6 - (-2)/(-2). Let i = -740/7 + b. Which is smaller: i or -0.1?
-0.1
Suppose -11 = 5*c - 1. Suppose 2*n = 2*s + 14, -4*s - s - 31 = -4*n. Which is smaller: s or c?
s
Suppose 20 = 5*x - 10*x. Let m be (-2)/(-1*(-6)/(-9)). Let u = m + -5. Which is greater: u or x?
u
Let f = -23 - -28. Is 3 less than or equal to f?
True
Let x(p) be the third derivative of -p**5/60 - 3*p**2. Let j be x(-1). Are -1 and j non-equal?
False
Suppose 2*f - 3*j = j + 22, 24 = 4*f - 4*j. Is -22 at least f?
False
Suppose -2*n = l + 49, 3*l - 5 = -14. Are n and -24 equal?
False
Suppose 0 = 4*b - 11 - 1. Are 3 and b equal?
True
Let a = -3.4 + 10.44. Let f = a - 7. Let x = f + 1.96. Which is bigger: x or 0.1?
x
Let s(n) be the third derivative of -n**5/60 - n**4/6 + n**3/3 - 3*n**2. Let j be s(-5). Which is greater: j or -1?
-1
Suppose -3*u - 2*y + 55 = 0, -2*u - 5*y + 22 = -0*y. Let m be (12/u)/((-10)/(-35)). Which is bigger: m or -6/5?
m
Let j = -35 + 20. Suppose -10 = r - g - 2*g, 78 = -5*r + g. Does r = j?
False
Let d be ((-24)/580)/(((-24)/20)/3). Is d bigger than -1?
True
Let u = -46 + 35. Which is bigger: u or -8?
-8
Let j(h) = -h**2. Let q be j(0). Is 1/7 at least q?
True
Let j = -42 + 43. Let q be (-2)/(-6) + (-1)/(-2). Which is smaller: q or j?
q
Let c = 193/72 - 1/72. Which is greater: 3 or c?
3
Let a(x) = x - 1. Let l be a(-2). Suppose 6*m = m - 3*d - 30, -d - 5 = 0. Are m and l equal?
True
Let w = -131/235 - 2/47. Which is greater: -1/76 or w?
-1/76
Let b be (-2 - 1) + 104/39. Let m be 1*((-40)/(-18) + -2). Which is bigger: b or m?
m
Suppose 0*i = 5*i - 10. Suppose -i*m - a + 1 = 0, -2*a - 2*a - 10 = m. Let x = 237/4 - 59. Is x at most m?
True
Let i = 10 - 7. Suppose 6*x - 6 = i*x. Is 4/7 > x?
False
Let f be (0*1/3)/2. Let p = 4780 - 262818/55. Let c = -12/11 + p. Which is greater: f or c?
c
Let u(p) = p**3 + 2*p**2 + 2. Let j be u(-2). Suppose 5*n = 5*w, n + j*w = w. Let l(t) = t**3 + 5*t**2 - 6*t + 1. Let r be l(-6). Is r > n?
True
Let h = 35 - 20. Suppose 2*a + 5*k = -h, 0 = 2*a - k - 0 - 3. Is a not equal to -4/3?
True
Let r = 6.6 + -7. Let a = r + 2.4. Which is bigger: a or -1/4?
a
Let v be (2/(-20)*3)/((-630)/25). Which is bigger: v or -1?
v
Suppose 3*q + 444 = -q. Let n = q + 1218/11. Are n and 1 equal?
False
Suppose 3*q = -q - 12344. Let s be (-6)/27 - q/36. Let k = 84 - s. Is k > -1?
False
Let r be 2/(-8) - 15/20. Let