-8)/(-36) - 32/(-18). Let s be (-1 + p)/(1 - 0). Which is bigger: s or 7/3?
7/3
Suppose 4*d = 6*d - 6. Which is greater: d or 4?
4
Suppose 2*b + 3*l - 6 = -0*b, 10 = -5*l. Let k be (4 - 5)*2/b. Is 3 greater than k?
True
Let i be (0 + 2)/(-13 - -12). Let g be (-17)/34*i/(-3). Are 0 and g unequal?
True
Suppose f = 1 - 0. Suppose -8 = 3*z + 4*l - f, -3*l = 5*z + 19. Let r(h) = h**3 + 5*h**2 + h + 5. Let g be r(z). Which is smaller: 1/3 or g?
g
Let b(q) = q + 6. Let l be b(-8). Let x be (-1)/l - 28/40. Which is smaller: 1 or x?
x
Let z = 5 + -5.04. Let i = z + 0.64. Let b = -0.4 + i. Is b greater than 2/5?
False
Suppose h - 1 = -2. Let l = 1 + h. Let b = -5046/7 + 721. Is l != b?
True
Let j(t) = t**3 - 7*t**2 + 1. Let s = -10 + 17. Let l be j(s). Which is greater: -1 or l?
l
Let b = 1.28 - 0.18. Let j = -0.1 + 0.2. Let z = b - j. Which is bigger: 0.1 or z?
z
Let z = -120 + 66. Is z <= -54?
True
Let q = 5 - 4.35. Let x = 0.6 - q. Let v = x - -0.05. Is v less than or equal to 2/9?
True
Let m = 54 - 33. Suppose -2*u = 2*z + u + 15, -5*u - m = 2*z. Is z >= -3?
True
Suppose 5*d - 20 = -0*d. Let o be 3/d + (-35)/20. Is o bigger than -1?
False
Let h(n) = n**2 - 5*n - 3. Let i be h(6). Let j = i - 6. Is -4 at most as big as j?
True
Suppose -6*o - 67 = -25. Which is greater: o or -9?
o
Suppose -q + 5*m = -0*q - 3, 5*q + 4*m + 14 = 0. Let p = q + 5. Suppose a - 2*g - p = 0, g = 4*a - 4*g - 12. Which is bigger: 5 or a?
5
Suppose -2*s - 8 = f + 3, -3*s = 5*f + 20. Suppose -2 = -0*g - 2*g. Which is smaller: f or g?
f
Let a = -144/125 - 6/125. Which is smaller: a or 0?
a
Let z = -7 + 13. Suppose 4*x + 9 = i, 3*x - z*x = i + 5. Is -2 at least as big as x?
True
Let u = 2 + 1. Suppose 1 = -u*h - 2. Which is greater: 1/10 or h?
1/10
Let l be (-2)/7 + 6/7. Let w(x) = 3*x**2 - 2*x + 1. Let o be (0/3)/3 + 1. Let g be w(o). Do g and l have the same value?
False
Let a = -358 + 871. Let t = a + -8715/17. Which is smaller: t or -1?
-1
Let c be (-16)/14*(-15)/60. Is -1/15 at most as big as c?
True
Suppose -8 = 5*z + n + 2, 20 = -4*n. Let y be 3*(-4)/(-24)*-2. Is z not equal to y?
False
Let h = -12 - -17. Let k = 6.09 - 0.09. Let j = k - h. Which is bigger: 0.2 or j?
j
Suppose 2*h + 132 = 4*x, -3*h + 49 = 3*x - 41. Suppose y = -y, 2*m - 2*y = -x. Let o be (18/24)/((-18)/m). Is 0 smaller than o?
True
Let x = 0 - 6. Let c(b) = -b**3 - 6*b**2 - b - 2. Let f be c(x). Which is smaller: 1 or f?
1
Suppose -3*n + 4*b = 2 - 16, 0 = 5*b + 10. Suppose a - 11 = -2*t, -5*t + a + 17 = -0*a. Suppose 0 = -5*s + s + t. Which is smaller: s or n?
s
Let r = -45 + 7. Is 2/5 != r?
True
Let n(p) = 10*p**2 + p. Suppose -m + 0*m - 1 = 0. Let g be n(m). Let x = 9 - g. Is 0 < x?
False
Let z = -9/2 + 33/10. Which is bigger: -1 or z?
-1
Let k be (7/4)/(2/8). Are 4 and k unequal?
True
Let n = 1.985 - -0.015. Which is smaller: 0.08 or n?
0.08
Let o(a) = -2*a**2 + 8*a. Let y be o(8). Let q = -257/4 - y. Suppose 20 = 5*l, m + 6 = 3*l - 5. Is q < m?
True
Let l be (-5)/(-25) + (-59)/45. Which is bigger: 0 or l?
0
Let u(l) = -l**2 - 7*l - 7. Let i be -1*(2 + 1*-35). Suppose -5*m - i = g, -4*m - 36 = -0*g + 4*g. Let s be u(m). Is 1 bigger than s?
True
Let q(i) = -5*i - 22. Let a be q(-7). Which is greater: 5 or a?
a
Let y = -0.91 + -0.19. Let v = -1.3 - y. Let q be 4/(-3)*(-3)/(-10). Which is bigger: q or v?
v
Suppose -7 = -4*a - 23. Let k be a/15 - 2/(-3). Which is greater: 0 or k?
k
Let y(i) = 3*i. Let b be y(1). Suppose 16 = 2*j - b*a, -5*j + 6 = a - 0*a. Let k be -6*(0 - 2/6). Is j < k?
False
Let r = 36 - 29. Suppose 12*v = 5*v + r. Let i be -1 + 3/((-6)/(-8)). Are i and v equal?
False
Let j be 9/((-2)/(-4) + -2). Let x be 8/(-16) - j/(-4). Which is smaller: x or -5/3?
x
Suppose 13 = 5*v - 4*z, 6*v + 2*z - 1 = v. Which is greater: 2 or v?
2
Suppose -q + 13 + 16 = 4*v, 2*q - 10 = 4*v. Let h = 14 - q. Which is smaller: -1/4 or h?
-1/4
Let q be ((-1)/4)/((-3)/26). Is q at least as big as 1?
True
Let x = -220 + 6384/29. Is x smaller than -1?
False
Let s(b) = b - 2. Suppose -x = 4*x. Let c be s(x). Suppose -z = 3 - 0. Is c not equal to z?
True
Let p(z) = 2*z + 4. Suppose 8 = -0*s - 2*s. Let i be p(s). Which is smaller: -2/7 or i?
i
Suppose 0*k - 6 = -3*k, -3*t + 6 = -3*k. Suppose u + 3*u - 4 = 0. Let i = 3 + u. Is t smaller than i?
False
Suppose 3*l - h - 104 = 0, -3*h - 48 = 2*l - 3*l. Let z be 17/l + 5/(-15). Is 0 bigger than z?
False
Suppose -3*i = -4*v + 10, -4*v = 3*i - 7*v + 6. Which is greater: i or 11/20?
i
Let n be (-64)/544 - (0 + 352/(-3281)). Is 0.2 less than or equal to n?
False
Let u = -23 + 16. Which is greater: -9 or u?
u
Let g = -0.5 + 0.7. Let j = -0.3 + g. Let v = -0.2 - j. Is v at least 7?
False
Let a = 28.1 + -28. Which is smaller: a or -10?
-10
Suppose -2*c + 4*c - 6 = 0. Suppose r = -c*r. Let t be 0 + (1 - (-7)/(-6)). Which is smaller: r or t?
t
Let t be (-2)/4 + (-16)/(-6). Let h be 55/(-10) - (-8)/2. Let m = h + t. Which is greater: m or -1?
m
Suppose 0 = 5*p + 1 + 9. Is p < -5/6?
True
Suppose 4*m + 4 = 4*l, -3*l + 5 = -8*l - 5*m. Suppose -2*z + l = 2. Is z < 0?
True
Let p = 0.11 - 2.11. Which is smaller: 4 or p?
p
Let h be 0*(-1)/(-3) - -37. Let a = h + -147/4. Let k = -511/9 + 57. Which is smaller: k or a?
k
Suppose 4 = -8*d + 4*d, 5 = -3*v - 2*d. Is 80 greater than v?
True
Let i be ((-4)/(-6))/(3/((-495)/(-10))). Which is smaller: 13 or i?
i
Let z(t) = t + 13. Let s be z(-16). Let c(k) = 2*k + 6. Let f be c(s). Which is bigger: f or -10/11?
f
Let w(x) = x**2 - 8*x + 9. Let q be w(8). Let z = 11 - q. Is -4 at most as big as z?
True
Let l(v) = v**3 + 2*v**2. Suppose 2*o - 12 = -0*o. Suppose 3*w + 3*m + 3 = 0, 3*w + w + 2*m + o = 0. Let f be l(w). Which is smaller: -5/4 or f?
-5/4
Suppose 24 = 5*n - j, 11 = 2*n + j - 0*j. Suppose -t = t - w, -n*w = -2*t - 8. Let f be (-8)/(-30)*(-10)/(-12). Is t less than f?
False
Suppose 6*i - 32 = 4*i. Let n be i/(-72) - (-2)/36. Which is smaller: n or -1?
-1
Let i = -21984/29 + 758. Which is greater: i or 0?
0
Let d(t) = -t**2 - 6*t + 4. Let u(c) = c**3 - 4*c**2 + 3. Let o be u(3). Let f be d(o). Which is greater: -2 or f?
f
Suppose 209 = -7*u + 69. Is u at least as big as -20?
True
Let s = -32 + 24. Is 1 smaller than s?
False
Suppose 0*t = -4*t + 4. Let v be t - 0 - (-2 - 0). Suppose 5*s - 15 + 4 = 4*i, 3*i + 15 = -v*s. Which is bigger: -4/5 or s?
-4/5
Let f be 38/(-95)*10/114. Is 0 at least f?
True
Let m(u) = u**3 - u**2 - 1. Let t be m(2). Suppose -3*f - t*a + 5 = -5*a, 0 = 5*f + a + 9. Suppose 4 = 3*n - 3*p + 1, 0 = n + p + 3. Is n >= f?
True
Let k(x) = x**2 - 5*x + 11. Let q be k(6). Let a = q + -14. Is a greater than or equal to 3?
True
Let a = 2.9 + -3. Let t = 0.35 - 0.3. Let z = 0.25 + t. Is a greater than z?
False
Let u be (-21)/(-4) + 4/(-16). Suppose -f = u*v - 3*f + 1, -f - 6 = 4*v. Let k(m) = m + 1. Let b be k(v). Which is bigger: b or 2/15?
2/15
Let a(w) = -4*w**2 + 11*w - 17. Let p(s) = s**2 - 3*s**2 + 7*s - s**2 - 11. Let z(l) = -5*a(l) + 7*p(l). Let c be z(-7). Which is smaller: -2/7 or c?
-2/7
Suppose -2*j = 3*u - 5*j + 18, -5*u + j = 10. Which is smaller: 4/15 or u?
u
Let f = 14 + -22. Let w = f - -10. Are w and 2 unequal?
False
Suppose 0 = -5*c + 20 + 10. Is 6 < c?
False
Let t be (0 + -1)/((-2)/(-32)). Let v = t - -22. Is 7 greater than v?
True
Suppose -2*l = -2*x + 6*x - 8, 8 = -3*x + 2*l. Let w(j) = -12*j + 11*j - 8 - 1. Let o be w(-10). Is o equal to x?
False
Let h(g) = -4*g**2 + 32*g - 4. Let f be h(8). Is f less than or equal to -4?
True
Let a = -978/7 - -140. Let p = -4.9 - 0.2. Let x = -5 - p. Which is bigger: a or x?
a
Let x(g) = -2*g**2 - 4*g - 3. Let a be x(-2). Let d be ((-1)/3)/(a/27). Let k = 2 - d. Which is smaller: k or 0?
k
Let u = -15 - -72/5. Do u and -3/5 have the same value?
True
Let y = -0.9 - -0.9. Let u = 0.06 + y. Let t = 0.06 - u. Is 2 > t?
True
Let y = 173/2 - 5021/58. Is 0 bigger than y?
True
Let a = 91/123 + -3/41. Let w = 14 + -14.1. Which is smaller: w or a?
w
Suppose z = -2*z + 9, 0 = 3*s - 2*z + 9. Which is smaller: 0 or s?
s
Let k be 1 + -1 + (2 - 3). Which is greater: 2/11 or k?
2/11
Suppose -17 = 3*n - 2*j, 0*j + j - 1 = 0. Let t = 0.9 - 1. Is t < n?
False
Suppose -4*y - 2 - 2 = 0. Let c = 4677/17 - 275. Are c and y nonequal?
True
Let u be 1/9*27/(-9). Suppose 2*z = -0*z + 8, 3*i - 4*z + 13