0. Which is greater: r or -6?
r
Let j = 50 + 64. Let b be j/(-8) + 6/3. Let q = -12 - b. Which is bigger: 0.1 or q?
q
Let v = -20 - -3. Suppose -5*g + 4*b - 73 = 0, -g - 5 - 6 = -2*b. Are v and g unequal?
False
Let g = -37 + 37. Is g smaller than 10/9?
True
Let k(l) = -l**3 - 8*l**2 + 9*l. Let i be k(-9). Which is smaller: 6/17 or i?
i
Suppose t + 3*a = 14, -2*t + 0*a = -4*a + 22. Which is smaller: -12/19 or t?
t
Suppose d - 22 = -d. Let j = 8 - d. Let c be 0*(j - 7/(-2)). Which is smaller: c or 2/7?
c
Let z(p) = 28*p + 17. Let q be z(-4). Which is bigger: -94 or q?
-94
Let f(q) = q**2 + 10*q + 15. Let m be f(-8). Let t = 443/6 - 74. Which is smaller: m or t?
m
Let w = 2455/11 + -223. Let u(g) = -4*g + 0*g**3 + g**3 - 2*g**2 - 1 + 5*g. Let o be u(1). Is w < o?
False
Let z be 1/1*(486/(-15))/3. Is -12 > z?
False
Suppose -13*l + 8 = -12*l. Is l >= -2?
True
Suppose 2*l - 42 = 5*l. Let p = l + 20. Which is greater: 8 or p?
8
Let b(v) = -v - 7. Let x be b(-6). Let m(u) = -6*u**3 - u**2 - u - 1. Let d be m(x). Suppose -6 = i - 2*l, 14 = 5*l - 11. Which is smaller: d or i?
i
Let o be 3/(-2)*4/(-6). Let d = -89/434 + -2/217. Let n = d + 13/28. Which is bigger: o or n?
o
Let t = -0.04 + 2.04. Let s = t + -1. Let i = 0.1 + 0. Which is bigger: s or i?
s
Let p = 57191/778 - 4/389. Let s = p - 75. Suppose r + 0 = -4*v - 3, 5 = 5*v + 3*r. Which is greater: v or s?
s
Suppose -l + 8 = -2*q - 2*q, q = -1. Let k(u) = u**3 - 3*u**2 - 4*u + 2. Let h be k(l). Is 2 at least as big as h?
True
Let c = -2 - -6. Let h = 4.9 - c. Let r = h + -1. Are 1/3 and r equal?
False
Let j be (-18)/(-117) + (50/13 - 2). Is j > 3?
False
Let a be ((4 + -4)/(-5))/(-2). Let g be (-50)/116 + 3/6. Do a and g have different values?
True
Let y(r) = -r + 14. Let q be y(14). Which is smaller: -79 or q?
-79
Let s(t) = 2*t - 11. Let h be s(5). Which is bigger: h or 1/3?
1/3
Let a = -1.58 - -7.88. Let h = a + -6. Is 1 > h?
True
Let l be 1 - (-4 - -4)/(-5). Let u = -3/223 + 2022/1115. Which is smaller: u or l?
l
Suppose -24*h + 20*h = 0. Suppose 0 = -5*s + 25, -2*r - 1 = s - 6. Let j = r - 0. Is h bigger than j?
False
Suppose 30 = 5*z + 3*i, -5*z = -i - 12 + 2. Suppose -c - 15 = x, 5*x - 2*c + z*c = -75. Let u be -2 + (-57)/x + -2. Which is greater: u or 1?
1
Let m be (-9 + 22)/(1 - 2). Let k = m + 12. Which is smaller: 1/16 or k?
k
Let c = 1616/7 - 230. Let l(r) = 2*r + 16. Let g be l(-7). Which is smaller: g or c?
c
Let s = -1/81 - -731/162. Which is smaller: 4 or s?
4
Suppose 2*l + 2*p - 2 = -l, -4*l + 2*p - 2 = 0. Suppose k + 1 + 0 = l. Which is greater: k or 0?
0
Let l be (3 - (-3)/((-3)/16)) + 1. Is -8 greater than or equal to l?
True
Suppose -1 = 4*k + 2*j + 3, 5*k + 3*j = -6. Let y = -1 + 3. Let d be 3 - (-3 + y)*0. Is d at most k?
False
Suppose -3*h - h = -8. Suppose h*b - 2*i = 2, -5*b - i + 33 = i. Suppose -2*m + 2*v - 11 = -v, -b*v = -3*m - 18. Which is greater: m or 2/9?
2/9
Let b = 383/8883 + -2/329. Which is smaller: b or -1?
-1
Let y = -2.8 - -4.8. Is 3/7 smaller than y?
True
Suppose -3 + 2 = z. Is z at least as big as -16/7?
True
Let d = -51478/65 + 792. Let g = -57/260 - d. Let o(t) = t**2 - 2*t. Let l be o(2). Is g equal to l?
False
Suppose 0 = -k - 3*k. Let t be ((-8)/(-10))/((-5)/(-25)). Suppose k*z = t*z - 8. Do z and 3 have different values?
True
Let j be ((-15)/10 - -1)*-3. Which is smaller: 3 or j?
j
Let d be 32/(-26) + -5 + 6. Is d at least as big as 1/3?
False
Let k be (0 - -2)*9/(-258). Which is bigger: 0 or k?
0
Let g be ((-2)/(-46))/(6/(-12)). Let f = -4 + 5. Is g equal to f?
False
Let b be 49/(-99) - 2/(-9). Let d be (-2)/7 - (-30)/(-42). Is d equal to b?
False
Suppose -t = -0*t. Let w = 0 - t. Let b = 12 - 130/11. Is w greater than b?
False
Let m = -315 + 16381/52. Are 0 and m non-equal?
True
Suppose -92 = 4*l - n, -3*l + n - 82 = -3*n. Let b = l - -12. Which is greater: b or -11?
b
Let z be (-1)/(-3 + (-8)/(-3)). Let f(p) = -4 + 3*p - 2*p + p**2 - 2*p. Let y be f(z). Which is smaller: y or 3/5?
3/5
Let v be (-24)/210 + (-4)/(-10). Which is smaller: v or -21?
-21
Let y = 0 - -4. Suppose -4*i + 0*i = -w + 10, -i - 11 = y*w. Let c = w - -5. Which is smaller: c or 3/2?
3/2
Let h be -2 + 4 + -3 + 3. Let g(t) = -2*t - 4. Let f be g(-3). Is f at least as big as h?
True
Suppose 11*s - 2*s = -9. Which is bigger: s or -18/13?
s
Let r be (-412)/8*2/(-4). Let z = r + -26. Which is bigger: 1 or z?
1
Suppose 4*m = -0 + 4. Let i be ((-1 + m)/(-1))/2. Let l be (4 - 2 - 2) + i. Which is greater: -1 or l?
l
Suppose 11 = -3*x + c, -4*x - 19 + 5 = -c. Let b be 3*(-1)/x*-1. Are b and 1/8 equal?
False
Let b be (-9)/(-6)*1/(-3)*-4. Let l = -2 + 4. Suppose 4*o + l = 10. Is o less than or equal to b?
True
Let q be (-5)/(-20)*24/(-14). Suppose 0 = 4*y - 20, 9*c - 4*c - 2*y = -10. Let g = 0 - c. Which is bigger: g or q?
g
Let j(k) = 5*k + 23. Let y be j(-10). Let v = y - -107/4. Are -1.3 and v nonequal?
True
Let k(b) = b - 7. Let n be k(3). Let s be 14/n - 2/4. Let q(w) = -w**2 - 4*w - 2. Let h be q(s). Do -1 and h have the same value?
False
Let t = -66 - -3633/55. Is 0 bigger than t?
False
Let m = 55 - 70. Which is smaller: -18 or m?
-18
Let x be (-2 - (2 + -4))/(-2). Suppose x*k + 2*d - 12 = -4*k, -2*k - 2*d + 8 = 0. Suppose -u - k*u = -3. Is 1 equal to u?
True
Let q be (1/2*0)/3. Which is bigger: 0.1 or q?
0.1
Let m = -8 + -15. Which is smaller: -1 or m?
m
Suppose 2*m - 7 = -3. Suppose 0 = 3*d + 6 - 3. Is d smaller than m?
True
Let y be (4*(-1)/4)/(1/2). Is y <= -6?
False
Let y = 120/3781 + 2/597. Which is smaller: 0 or y?
0
Let k = 311 - 5907/19. Is 1 at least as big as k?
True
Suppose 0 = c + 4*c - 60. Suppose 15 = 2*a + 5*n, -2*a + 0*a = 4*n - c. Is 0 <= a?
True
Suppose 5*y + 5*s = 15, 2*y - 2*s = -s. Let i = -72 + 647/9. Which is smaller: y or i?
i
Let d = -64 + 64.1. Which is bigger: d or 0.7?
0.7
Let k(g) = -2*g + 15. Let q be k(7). Is 3/13 at most as big as q?
True
Suppose -16 + 1 = 5*y, -26 = 2*k - 2*y. Which is smaller: k or 0?
k
Let a = -1 + -3. Let f = 2 + a. Which is smaller: f or 0?
f
Let j = 17 - 13. Suppose 2*g - 16 = -4*t, j*g + 15 = 5*t - 5. Which is greater: 8/9 or g?
8/9
Suppose 11*s = 3*s + 80. Suppose 3*c - 4*c + 9 = 0. Is c > s?
False
Let h be (-3841)/(-2043) + 10/(-45). Let x = -2/227 - h. Is x >= -3?
True
Let v be 2/(-7) + ((-145)/7 - 7). Is -1 smaller than v?
False
Let f(v) = v**3 - 3*v**2 + 2*v - 1. Let l be f(1). Which is greater: -6/11 or l?
-6/11
Let c be -1 + 1 - (-10 - -4). Suppose 5*m + 14 = -c. Is -4 less than m?
False
Let y = 3.7 - 4. Is 4 greater than y?
True
Let t = 10.4 - -3.6. Which is bigger: -0.2 or t?
t
Let z = 0.04 - 0.14. Is -5/2 < z?
True
Let v(y) = y**3 + 6*y**2 + 4*y - 6. Let q be v(-5). Let k(m) = -6*m - 1. Let p be k(q). Is p < 4?
False
Let l = -33 - -67/2. Is 0.1 <= l?
True
Let r = -2 + 10. Let c be (-4)/16 + 50/r. Are 6 and c equal?
True
Let d(j) = j**3 + 6*j**2 - 7*j + 4. Let c be d(-7). Which is smaller: c or 3?
3
Let i = -6 + 12. Let p(r) = -5*r**2 + 2*r - 9. Let o(f) = -9*f**2 + 5*f - 17. Let x(n) = -4*o(n) + 7*p(n). Let g be x(6). Is i > g?
True
Let d = -5 + 8. Suppose 5 = -4*k - 3. Which is bigger: k or d?
d
Suppose -3*w = -20 - 22. Let j = w - 55/4. Suppose -2*n + v = -0 - 3, 0 = -n + 5*v + 15. Is n <= j?
True
Suppose -3*g + 21 = 3*v + 2*g, -4*v + 3*g = 1. Suppose v*b - 7 = j, 3*b + 0*j + 9 = -5*j. Suppose 3*y = 3*d + 9, -b = y + 3*d + 3. Which is bigger: 2 or y?
2
Let m be (1 - 4)/(-107 + -3). Let o = 191/55 + m. Which is bigger: 3 or o?
o
Let t(y) = y**3 + 3*y**2 - 2*y - 2. Suppose -z + 15 = -6*z. Let j be t(z). Suppose -p + 0*p + 11 = j*u, -1 = -u - 2*p. Is u less than 4?
True
Suppose -2*l = 4*b + 9 + 1, -3*b - 2 = -4*l. Which is greater: l or -2?
l
Let m = 40.987 - -0.013. Let l = m - 34.1. Let y = 7 - l. Are y and -0.2 equal?
False
Let o = 187.1 + -207. Let g = -20 - o. Which is smaller: g or 4?
g
Suppose k - 4 = -2*q, -3*k + 5*q + 35 + 21 = 0. Let j = k - -1. Is j equal to 13?
True
Let s be ((-2)/(-20))/(6/15). Which is greater: s or 1?
1
Let x = -20 - -33. Let z = x + -9. Let t = z + -4. Is t > 2/7?
False
Let s = 5 + -7. Which is greater: -1/2 or s?
-1/2
Suppose -4*p - 4 = 4*g, g - 5*g + 5*p = -5. Let d be (-10)/45 - (-4)/18. Is g at least d?
True
Let n be 2 - (-2)/6*483/(-91). Are -1 and n equal?
False
Let z = 5 - 3. 