r - 2. Suppose 79 = -w + 22. Let n = w - -398/7. Which is smaller: n or r?
n
Suppose -3*b + 8*b - 20 = 0. Suppose 4*g = -c + 4*c + 3, -4*g + 6 = -2*c. Suppose b*w = -c - 5. Do w and -1 have different values?
True
Let j be (-2 + 1)/(-1 + 2). Let p(k) = -k**3 + 5*k**2 - 5*k + 3. Let w be p(4). Is j >= w?
True
Let d(s) = -s**3 - s**2 + 4*s + 1. Let y be d(-3). Let i = 5 - y. Is i at most -3?
False
Let m = 12 - 13. Are m and -18/13 non-equal?
True
Let s be (-10)/(-4)*88/55. Which is bigger: 38/9 or s?
38/9
Let w be ((-12)/(-4))/(1 + 0). Suppose -1 = x - w. Let p = 7 - 4. Are p and x equal?
False
Let y = -1 + 5. Suppose -k + y = -0*k. Let h be 24/(-9)*6/k. Is -4 at least as big as h?
True
Let y be 2/3 + (-26)/21. Suppose -2*l - 2 = -6*u + 4*u, 17 = -2*l + 5*u. Let h = l + -6. Which is smaller: y or h?
h
Suppose v = -2*g + g + 8, 0 = 5*g - 3*v. Let n be ((-6)/9)/(-1)*g. Suppose -4*c = -n - 2. Is 0 greater than c?
False
Let g = -63.3 + 56. Let z = -9 - g. Let n = -0.7 - z. Is 1 > n?
False
Let s be (-2)/4 + (-21)/6. Let y be (-6)/(-27) + 170/45. Suppose -7*w - 18 = -y*w. Is w at least as big as s?
False
Let x = -2.06 - -0.06. Let k = 0.04 - 0.04. Let f = 0 + k. Which is smaller: x or f?
x
Let z be (-36)/(-8) - (-1)/(-2). Let m be (z/(-30))/((-1)/(-3)). Does m = -4?
False
Suppose 0 = -f + 4*f. Let l be 8/16*(-2 + f). Let z be -5 - 1*(-2 - l). Which is smaller: -5 or z?
-5
Let b be (-6)/(-5 + 4) - 5. Which is bigger: b or -16/7?
b
Suppose 2*a + 3*m = -0 - 5, -m = 5. Is 4 >= a?
False
Let i be 5*7/(35/6). Suppose 5*u + 3*q = -1, -3*q = -3*u + i + 3. Which is smaller: u or 2?
u
Suppose 0 = 3*u + 18 + 15. Is u less than -8?
True
Let c(p) = -2*p**2 + 14*p + 13. Let i be c(8). Which is bigger: i or -2?
-2
Let a = -94.96 + 95. Do -6 and a have the same value?
False
Let d be (1/(-5)*2)/((-5)/(-50)). Are -26/5 and d non-equal?
True
Let y = 0.16 - 0.26. Let z = 4 - 3.97. Which is greater: z or y?
z
Let o = 498 - 499. Let s = -29/3 - -68/7. Do s and o have the same value?
False
Suppose 13 = 3*p + 5*j, 5 = -3*p - j - 2. Let m = 0.105 - 0.205. Which is smaller: p or m?
p
Let i be (12/(-15))/(4/(-10)). Suppose -i*t - 4 = -2*h, h + 4*t = 2*t - 1. Let b be 5/30 + (-26)/48. Is b greater than h?
False
Let v be -2 - (-3)/(-3 - 0). Is v not equal to -3?
False
Let p be 1 - (54/24)/((-2)/24). Which is smaller: 27 or p?
27
Let h = -3.96 + 4. Let m = h + -0.04. Is 0 at least m?
True
Let p = -2 - -10. Is 7 < p?
True
Let w = -1 - 0. Let t(y) = -5*y**2 + y. Let f be t(-1). Let j be (f - -3) + 40/12. Is j less than or equal to w?
False
Let a be (-3)/5 + 4/(-10). Let p be 19/(-76) - 42/(-8). Suppose 0 = 8*r - p*r. Is a <= r?
True
Let v(z) = z**2 + z + 3. Let k be v(-3). Suppose j - 2*j = -4*s - k, -4*s = j - 1. Which is smaller: s or 0?
s
Let r be (-132 + -2)*1/2. Let b be -3*2/21*-235. Let n = r + b. Is n at least -1?
True
Let y(i) = i**3 + 9*i**2 - 13*i - 11. Let s be y(-11). Let t be 8/s*30/(-12). Is -1 bigger than t?
False
Let p = 13 - 3. Is p < 8?
False
Let y be 6/(-3) + 28/12. Which is bigger: y or 0?
y
Suppose 7*l - 13*l = -6. Which is smaller: l or -2/129?
-2/129
Let y = 2 - 1. Let j = -2 + y. Suppose -2*z + 7*z = -4*z. Is j < z?
True
Suppose 4*n = 1 - 5. Suppose 15 = -4*j + 11. Let v be (-4 - (-3 + 1)) + j. Is n less than or equal to v?
False
Let p(h) = -4*h - 4 + h + 2*h - 1. Suppose -j = -3*j - 2*c - 22, -4*j + 4*c = 4. Let m be p(j). Are m and 1 non-equal?
False
Let q = 4 + -2. Suppose 9 = q*h - 3*h. Does -9 = h?
True
Let z = -71 + 56. Which is greater: z or -5?
-5
Let r = -67 + 67. Which is smaller: r or 2?
r
Let a = 6 - 1. Let l be (-50)/a*(-8)/(-10). Let t be l/9 - (-6)/27. Is t at least as big as 3/2?
False
Let w(d) = d**3 + 5*d**2 - 6*d + 6. Let r be w(-6). Is r bigger than 6?
False
Let l = -1.8 - 1.1. Let r = 5 - 8. Let u = r - l. Is -0.1 at least as big as u?
True
Suppose -2*b = 5*c - 32 - 33, -3*c + 39 = -2*b. Suppose -2*n - 22 = 4*g, 2*n - 4*n + c = -3*g. Is -5 greater than g?
False
Suppose 3*x + 48 = -0*s + 3*s, s + 2*x = 28. Let o be s/(-12)*(-4)/(-5). Are 0 and o unequal?
True
Let z = 1240 + -5013/4. Which is smaller: z or -12?
z
Let z be (-3)/((75/2)/(-5)). Let a(x) = -x**3 - 4*x**2 - 4*x - 2. Let p be a(-4). Let w = 15 - p. Are w and z equal?
False
Let c = 159 - 1111/7. Let x = -18/4555 - 42169/163980. Let r = 3/20 + x. Which is greater: r or c?
c
Let j be 2/6 - 57/9. Let u be ((-2)/j)/(-2 + 1). Does u = 1?
False
Let b = 0 - -0.04. Let z = -1.14 + b. Let s = z - -0.1. Is s equal to 2/19?
False
Let r(p) = p**2 - 4*p + 7. Let k be r(4). Let h be (3/18)/((-1)/(-3)). Is k < h?
False
Let q = 0.076 - 61.076. Are 0 and q nonequal?
True
Let n be 210/48*4/(-10). Which is greater: n or -1?
-1
Let i be 20/(-25) - 22/(-40). Which is smaller: i or 18?
i
Let q = -7111/21 + 2578/7. Which is smaller: q or 29?
29
Let q be (2/4)/(6/72). Let x(d) = d**3 - 6*d**2 - d + 8. Let k be x(q). Suppose 0 = -2*v - k*v - 4. Which is smaller: v or -3/4?
v
Let w = -14 + -3. Let f = 17 + w. Is f != 2/7?
True
Let h = 127/3 + -42. Let c = -2 + 3. Which is smaller: c or h?
h
Let h = -1.6 + 9.3. Let a = -0.8 - -8.8. Let d = h - a. Which is greater: 1 or d?
1
Let a be -1 + 1 - (-30)/3. Let h be (8 - 1)*a/35. Suppose h*t = -0*t + 12. Which is smaller: t or 5?
5
Let d(u) = 2*u - 5. Let n be d(7). Let p = -17 + n. Is -8 >= p?
True
Let z = -55 + 60. Let g(q) = -q**2 + 4*q - 3. Let u be g(3). Suppose -m = i + z, -5*m + i + 5 = -u*m. Is -1 bigger than m?
False
Let a be (-4)/10 - (-66)/90. Which is smaller: a or 6?
a
Let c be 3/(-1) - (-60)/48. Is -2 bigger than c?
False
Let b = -8 - -10. Let x be (-2)/(12 - (b - 1)). Suppose 2*w + 0 - 2 = 0. Is w less than x?
False
Let s be 55/100 + 1/4. Let i be (1 + -1)*(1 + 0). Is i smaller than s?
True
Let k = 0.1 - 0.2. Which is bigger: k or 0.8?
0.8
Suppose 4*k + 5 = z - 2*z, 5*k + 2 = 3*z. Is -3/5 greater than z?
True
Let h = -47/12 + 13/4. Let i be ((-2)/4)/((-2)/(-4)). Is h greater than or equal to i?
True
Suppose 4*t - 18 + 7 = -5*u, -5*t - 2 = u. Do 3 and u have the same value?
True
Suppose 0 = -3*b - 12 + 3. Let f be 5 - 0*b/9. Suppose -f = -x + 2*x. Is -5 smaller than x?
False
Let n = 28/89 + -6314/267. Which is bigger: -23 or n?
-23
Suppose 0 = 2*g + 3*g + 140. Let n be g/8 - -1 - -2. Is -6 not equal to n?
True
Let p(r) = 2*r**3 + 6*r**2 + 2*r + 7. Let g be p(-3). Which is greater: g or -18?
g
Let j be 2/(-10)*(5 - 2). Which is bigger: 0 or j?
0
Let l(d) = 2*d - 3. Let g be l(2). Let r be -2*1/g*-2. Let m be 2/(-10) - 84/(-20). Is m at most as big as r?
True
Let o be (52/(-65))/((-14)/(-40)). Are -1 and o unequal?
True
Let z(r) = 14*r**2. Let o be z(-1). Let b = -9 + o. Suppose 2*l + 6 = w + 2*w, -7 = 2*w - 5*l. Is b less than or equal to w?
False
Let p = 46 - 43. Let n be 1/(1/5) + -1. Is p >= n?
False
Let d(t) = t**2 - 6*t + 4. Let o be d(5). Let c be o + 3 + -2 - 0. Is 0 < c?
False
Let b be (-8)/5*(-20)/(-2). Let g be ((b/(-6))/(-4))/(-1). Is -2/5 less than or equal to g?
True
Let w(m) = 4*m**2 - 8*m + 4. Let k(c) = -3*c**2 + 7*c - 3. Let p(i) = 5*k(i) + 4*w(i). Let q be p(-3). Which is bigger: 2/7 or q?
q
Suppose 3*o = 5*o - 4. Suppose m - o*g - g = 1, 0 = -3*m + g - 21. Is m greater than or equal to -7?
False
Let i = -7 + 20/3. Let o = -3 - -4. Does o = i?
False
Let d(q) = q - 1. Suppose 0 = -c + 4*c + 12. Let r be d(c). Let g be 1/r + (-24)/30. Which is bigger: g or 1/7?
1/7
Suppose 10 = -0*m + 2*m. Suppose -31 = 3*l - 5*h, 0*l - 4*l = -m*h + 38. Let k(o) = -o**3 - 7*o**2 + 3. Let s be k(l). Is s > 4?
False
Let u be ((-72)/84)/(1/(-203)). Let p = u - 1216/7. Is 0.3 >= p?
True
Let g = 46 + -21. Let p = -51/2 + g. Which is greater: 5 or p?
5
Suppose 3*c - 1 = 5. Let o be ((-1)/c)/((-4)/(-8)). Which is bigger: 3/7 or o?
3/7
Let t = 44 - 43. Which is smaller: t or -2/15?
-2/15
Let q = 1.82 + -1.921. Which is smaller: q or 1?
q
Suppose -3*j + 57 = -5*d - 65, -94 = 5*d + 4*j. Which is greater: -62/3 or d?
-62/3
Let v(f) = -f - 3*f - 1 + 2*f - f. Let w(c) = -7*c - 3. Let z(h) = 9*v(h) - 4*w(h). Let d be z(-5). Is d less than -4/5?
True
Let q be (-4)/(-6) - 4/9. Suppose 9*l = 4*l + 5. Is q != l?
True
Suppose -4*w + 0*w + 4*a + 64 = 0, -5*w - 2*a = -94. Is w at most as big as 18?
True
Let z = -0.08 - 0.52. Let q = 0.6 + z. Which is smaller: q or 1/2?