. Let u be i(-6). Let s be 3/(-1 + u) - -2. Which is greater: s or k?
s
Let x = 29 + -17. Let r = -15 + x. Which is smaller: -5 or r?
-5
Let h = -216/5 + 43. Suppose -3*k + 4*k = 0. Is k less than h?
False
Suppose -3 = t - 2. Which is smaller: t or 4/25?
t
Suppose -2*u = 5*d + 19, u + 0*u = -d - 5. Let r be (0 - 0)*(u + 3). Is r bigger than -3/7?
True
Let o(s) = 2*s + 2 - 7*s + s + s**2. Let b(g) = 5*g**2 - 1. Let r be b(1). Let d be o(r). Are d and 1 unequal?
True
Suppose -206 = 2*p + 18. Let j be (-2)/(-6) + p/408. Which is bigger: j or -1?
j
Let z = 351/4 + -87. Which is smaller: -0.5 or z?
-0.5
Let u(j) = j - 6. Suppose 12 = 2*d - 0*d. Let w be u(d). Which is smaller: w or 3?
w
Let x = 9.8 + -11. Let w = 1.1 + x. Let l = -0.6 + 0.2. Which is greater: w or l?
w
Suppose 0 = -3*p - p + 2*q + 12, 3*p + 4*q + 13 = 0. Which is smaller: p or -4/21?
-4/21
Let n = 0.01 - 0.21. Let v = 0.3 + n. Let x(t) = -t**3 - 4*t**2 - t + 4. Let i be x(-3). Which is greater: v or i?
v
Let y(n) = n**2 - 7*n - 8. Let v be y(8). Let k be 10/(-15) + (-2)/6. Let b be k - -3*4/6. Are v and b equal?
False
Suppose n - 2*n = -j - 8, 0 = -3*j + 5*n - 34. Let i = j + 3. Let z(p) = -p**2 + 2*p - 1. Let m be z(2). Is m < i?
True
Let m = -75 - -76. Is m bigger than 1?
False
Suppose 0 = 8*i + 94 - 38. Is i greater than -1?
False
Let s be (-4)/14 + 37/7. Let t = 0.09 - -0.01. Is t greater than s?
False
Let i = 67/175 + 3/175. Let t = 13.31 + -0.31. Which is smaller: i or t?
i
Let t = 388 + -386. Let w be (-3)/(-3) + 4 + -1. Which is bigger: t or w?
w
Suppose 55 - 50 = 5*x. Which is bigger: -5/16 or x?
x
Suppose -4*r - 3 = 4*x - 15, 10 = 5*x + 4*r. Which is bigger: x or -1?
-1
Let r = 7.8 - 8. Let h = -0.1 + r. Which is greater: 4 or h?
4
Let q = -52877/5 - -10660. Let s = 85 - q. Let d = -0.171 + 0.271. Which is bigger: d or s?
s
Suppose -4*o + 15 = 3. Suppose 0*m = 3*m. Suppose o*l = -m*l + 9. Which is smaller: l or 2?
2
Suppose -2*t - 2*n = 4, 6*t - 4 = 2*t - n. Suppose -3*d = -t*v - 5 - 6, 2*d - 7 = v. Which is greater: -2/27 or v?
-2/27
Let m = 14 + -8. Suppose 0 = m*a - 2*a - 5*h - 17, -5*a - 25 = 3*h. Let j be (-1)/3*(1 + 2). Is a bigger than j?
False
Let s = 1.3 - 1.3. Which is bigger: 2/7 or s?
2/7
Let g(n) = n**3 - 3*n**2 - 5*n + 3. Let l be g(4). Let r be (0 + 1)*l/3. Let j = -0.47 + 0.37. Is r <= j?
True
Let h = 148 - 1631/11. Which is smaller: -1 or h?
-1
Suppose 10*v = -4 - 36. Is 2 less than v?
False
Let a = 0.42 + -0.02. Let t = -0.2 + a. Let g be (-2)/5 - (0/(-6))/(-6). Which is bigger: t or g?
t
Let x = 137/9 + -15. Which is bigger: 0.05 or x?
x
Suppose 0 = 4*b + 4 - 8. Let f = -56 - -53. Which is smaller: b or f?
f
Let v = 2533 + -48111/19. Let h = 31/76 + v. Is 0 >= h?
False
Let m be 10/224*594/(-95). Let c = -4619/8968 - -30/59. Let r = c + m. Which is smaller: 1 or r?
r
Let t(o) = -2*o**3 - 4*o**2 - 4*o - 3. Let u be t(-2). Suppose -15 = 5*c - u. Let j be 1/(-5)*(-10)/(-4). Is c at least as big as j?
False
Suppose r + 4 = 9, 0 = 5*p - 3*r - 25. Let a be (24/(-2))/(3/(-2)). Are p and a equal?
True
Suppose 0 = -z - z + 4. Suppose -3*b = -b + z. Is 1/8 < b?
False
Let i(d) = -d**3 - 10*d**2 + 12*d + 11. Let v be i(-11). Is -2/25 not equal to v?
True
Suppose 5*d = 3*d - 192. Is d < -97?
False
Let n be (-1 - 16/(-20))/((-89)/5). Is n < -1?
False
Let y(t) = 2*t + 7. Let g(r) = -r - 8. Let o(c) = -3*g(c) - 2*y(c). Let f be o(7). Suppose -3*v + 0*b + 2*b + 8 = 0, 0 = -f*v - 4*b - 16. Is v less than -1/3?
False
Let c = 14 + -13.9. Is 2 bigger than c?
True
Let v be 10/(-14)*2/5. Let n(t) = t**2 - 4*t + 2. Let m be n(4). Suppose -4*a + 4*c - 4 = 0, -2*a + m - 3 = -c. Is a equal to v?
False
Let s = -2 + -11. Let z be 2/(-2)*(-14 - s). Are 1 and z unequal?
False
Suppose c + 5 = 5*q - 12, -4*c + q + 8 = 0. Is c smaller than 3?
False
Let m = 1 + 6. Suppose 6 = q - m*q. Which is greater: q or -1/32?
-1/32
Let y(d) = -d**2 - 11*d - 1. Let r be y(-11). Let l = 3 + -3.02. Which is smaller: r or l?
r
Let x be (-3)/(63/6) + (-5)/7. Is x at most -15/8?
False
Suppose -y + 4 = -5*y. Which is greater: 7 or y?
7
Let h be (-3 - -5) + 1 + -1. Suppose -5*a = -2*y - 5 + 42, h*y - 2*a - 22 = 0. Let d be y/(-10) + (-32)/(-20). Which is bigger: d or 0?
d
Suppose -3*f + 197 = -7*f + 3*m, -4*f + m = 191. Which is smaller: f or -48?
-48
Let l be 2/(-6) - (-100)/30. Suppose 2*b + 2 = l*b. Do 2 and b have the same value?
True
Let t = 14 - 10. Let d = 1 - -1. Suppose 7*n + v - 4 = d*n, 0 = 4*v + t. Is -1/5 at least as big as n?
False
Let u be (-25)/(-30) + 1/6. Suppose -1 - 4 = 5*g. Let z = u - g. Which is bigger: 3 or z?
3
Let z be 40/(-225) + 4/10. Which is smaller: z or 3/8?
z
Let k be -1 + -1 + (-36)/(-21). Let n be -2 - -4 - 4*22/36. Which is smaller: n or k?
n
Let r be (-12)/(-4) - 3 - 3. Let k be (r - 2)*(1 + -2). Is 3 <= k?
True
Suppose 0 = p + 2*u - 0*u - 7, 5*p = -2*u + 11. Which is greater: -2/41 or p?
p
Let k = 17 + -17.07. Which is smaller: 1 or k?
k
Suppose 2*c + c = 3*i + 9, -i = 2*c - 12. Suppose -4*x - c = j - 13, -4 = -4*j - 2*x. Which is smaller: 2 or j?
j
Let z be 3*(4 - 7/(42/20)). Is -1/3 equal to z?
False
Let w = -0.017 - -0.117. Which is greater: 3 or w?
3
Let t(m) = -118*m**2 - m. Let s be t(-1). Let n be 4/(-22) + s/143. Do n and -2 have the same value?
False
Let o be 3 + 26/(-20)*2. Let z = 1 - 1. Let g = 1 + z. Which is bigger: g or o?
g
Let k = -5.2 - -5. Let x = -22.8 - -27. Let z = x + k. Is -1 >= z?
False
Let a = -977/4 + 243. Let t be 2/4*(0 - 0). Which is smaller: a or t?
a
Let k = -0.5 - -0.4. Which is smaller: k or 2/3?
k
Let s(z) = 0*z**3 + 4*z**3 - 3*z**3 + 7*z - 7*z**2 - 6. Let u be s(6). Let q be (u - 1)*(1 + -1). Do q and 0 have different values?
False
Let j(o) = o**2 + 6*o + 2. Let k be j(-3). Suppose 36 - 4 = -4*m. Which is greater: k or m?
k
Let l(c) = c**3 + 8*c**2 + 9*c + 13. Let p be l(-7). Are -10.9 and p unequal?
True
Let z(n) = 5*n**2 + 15*n + 20. Let p(w) = 6*w**2 + 16*w + 21. Let u(x) = -6*p(x) + 7*z(x). Let a be u(10). Which is smaller: a or 3?
3
Let w(b) = 13*b**2 - b + 1. Let t be w(1). Which is smaller: 11 or t?
11
Let s be (-4)/(-32)*4*0. Suppose -3*k + 4 = 5*l, -4*k = 2*l - s*k - 10. Which is bigger: l or 3/8?
3/8
Let q(n) be the third derivative of -n**4/24 + 2*n**3/3 + 2*n**2. Let j be q(4). Let x be j*(2/4)/(-1). Is x less than or equal to 2/17?
True
Let a = 32 + -16. Suppose m - a + 2 = -3*l, 0 = m - 2*l + 11. Is -3/4 smaller than m?
False
Let v be (-6)/((-3)/1)*2. Are v and 3 equal?
False
Let f = -5.7 - -6. Which is greater: -0.3 or f?
f
Let u be (0 - -1) + 5/(-3). Let y = -0.004 - 0.286. Let w = 0.01 - y. Are u and w equal?
False
Suppose 3*b - 11 = 13. Let a be (-2)/3 + b/6. Is 0 not equal to a?
True
Let y(i) = i**2 + 7*i + 3. Let t be y(-7). Suppose 0 = -4*k + 4*l + 20, 5*k + 3*l + t = 12. Suppose k*r = 8*r. Is r greater than or equal to 2/9?
False
Let k = -0.03 - -0.04. Let i = k + 0.05. Which is greater: 0.1 or i?
0.1
Let d = 11 - 43/4. Which is smaller: 1 or d?
d
Let f = 4 + -5. Is f equal to -2?
False
Let o = 2/1533 + -7325/511. Is o bigger than -13?
False
Let o = 16 + -20. Is 0 at most as big as o?
False
Suppose 5*i - 70 = 7*i. Which is smaller: i or -36?
-36
Let c = 21.42 - 21. Let b = c + -6.62. Let g = b + 6. Which is greater: 3 or g?
3
Let h = 12 + -6. Let r be 6*((-3)/(-6) + 0). Suppose h*i = r*i. Which is bigger: 2/5 or i?
2/5
Let f = -33/4 - -17/2. Which is smaller: f or -1/8?
-1/8
Let y = 73/648 + 1/81. Is y at most 0.2?
True
Let s(b) = -7*b - 5. Let l be s(-1). Is l > 1/2?
True
Let b = -0.11 + 0.28. Let p = b - 0.07. Are 0.1 and p equal?
True
Let b be 6/(-9)*6/(-4). Let c be (b - 1) + -1 + 0. Let y be (c - 2)/((-15)/2). Is y less than 1?
True
Let d(y) = 3*y + 40. Let p be d(-13). Let g(r) = 4*r. Let x be g(1). Let c be x/39*6/4. Which is greater: p or c?
p
Let k = 4/7 - 6/7. Is 3 equal to k?
False
Let x = 14.91 - 15. Let d = 0.09 + x. Do -2/3 and d have the same value?
False
Let x(f) = f - 13. Let y be x(16). Let v be 9/(-6)*(-2)/y. Is v at most 1/20?
False
Suppose 0*q = -5*q + 30. Suppose 2 + q = -4*o. Let f be (1/o)/((-35)/30). Which is greater: f or 0?
f
Let z(p) = -22*p + 1. Let j be z(-2). Suppose 4*r = -5*q + 51, r + 3*q - j = -3*r. Is r at least 9?
True
Let d be ((-18)/(-14))/3 - 1832/4536. Which is smaller