hich is greater: w or -2/7?
w
Let d(n) = n + 4. Let f be d(-3). Let i be -3*(f/(-21) + 0). Which is greater: -1 or i?
i
Let d(s) = -s**2 + s - 15. Let f be d(0). Let r be 2/f*(-12)/(-4). Is 0 not equal to r?
True
Let h be 0*1/(-2) + 14. Let d be 24/63 - 4/h. Suppose -2*s + 0*y - y - 5 = 0, s + 3*y = -10. Which is smaller: d or s?
s
Let u(o) = -o**3 + 7*o**2 + 2*o - 11. Let s be u(7). Which is bigger: s or 3/2?
s
Let x(q) = 9*q + 12. Let r be x(-6). Let j be (24/r)/((-9)/7). Let w be -2*(0 + (-2)/(-4)). Which is bigger: w or j?
j
Let w = 4.5 + -5. Let r = -6.9 + w. Let z = r - -7. Is z at most as big as 1?
True
Let z = -31.8 + 28. Let i = -0.2 + z. Let k = i + 2. Is 0.1 at least k?
True
Let z = -14.9 - -15. Which is smaller: z or 2/5?
z
Let l = 7 + -11. Let y = l - -7. Which is smaller: y or 0.2?
0.2
Let x = -28 + 26. Do x and 5 have the same value?
False
Suppose -2*y - 3*a + 1 = -4*a, 5*y + 2*a = -20. Suppose 2*w - 5*w + o = 4, w + 4*o = -10. Let d be (-3)/((-7)/w + -2). Is d at most as big as y?
True
Let u = -3 + 3.02. Let p = u + -0.12. Which is smaller: p or 1?
p
Suppose 16 = -d - 3*f, 2*f = 3*d + 1 - 8. Is d at least as big as -1/12?
False
Suppose 0 = 4*x + x - 60. Let r = x - 49/4. Is 0 != r?
True
Let h = -0.04 + 1.24. Let v = h - 1. Let g(d) = -d**3 + 12*d**2 - 19*d - 9. Let f be g(10). Which is smaller: v or f?
v
Let l be 13/((1/2)/1). Which is smaller: -0.1 or l?
-0.1
Let f = 2/8941 - 160964/116233. Do 0 and f have different values?
True
Let s be (-2 - 0)/((-2)/4). Suppose -4*c = -16, -4*p - 4*c + 24 = -8. Suppose p*j + s*f = -0*f, j = 4*f - 5. Which is smaller: -4/7 or j?
j
Let v = -1.8 + 2. Let p = v - 2.2. Let b = 41 - 41.2. Which is greater: p or b?
b
Let y = -1 - -1. Suppose 4*t = -3*g - t + 19, 0 = -2*g + 3*t. Let x = g - 3. Is x >= y?
True
Let q(w) = -w**3 - 4*w**2 - 4*w - 1. Let t be q(-3). Suppose 5*p = 3*b + 12, -p + 7*b = t*b - 20. Which is smaller: p or -3/5?
-3/5
Let g be 18/3 + -2 + 1. Suppose -4*i = -5*w + 53, 0 = -3*w + i + 1 + 35. Let z = -10 + w. Is g >= z?
True
Let o be (99 + -4)/(-5) - -4. Is -14 smaller than o?
False
Suppose -4*c + 10 + 2 = 0. Let h(v) = v**2 - 4*v + 3. Let a be h(c). Suppose a = -3*g - 0*g. Is 0 greater than g?
False
Let m = -5 - 8. Let g = -10 - m. Are 2 and g non-equal?
True
Suppose k + 4*u = 27, -2*u = -4*k - 3 + 21. Suppose 0 = -5*z + 3*z + 12. Do k and z have the same value?
False
Let j = 7 - 5. Suppose 3*w + j + 4 = 0. Is -4 equal to w?
False
Suppose 3*t - 4*c - 45 = 0, 12 - 3 = -3*c. Which is greater: 12 or t?
12
Let o be (-20)/2 + 2 + -2. Let x = -40 + 30. Is o greater than or equal to x?
True
Let j = -4/477 - 2309/9063. Which is smaller: 0 or j?
j
Let f = -1876/9969 - -150684/5227079. Let b = 2/363 + f. Is b < 1?
True
Suppose 2*x + 1 = a - 2, -4*a - 14 = 5*x. Which is bigger: x or 2?
2
Let k be -1 - (-1*3 + -1). Suppose -2*b - 5 = -k*o, 3*o - b - 2*b - 3 = 0. Let w = o - 0. Is w equal to 1?
False
Suppose k - 54 + 11 = -4*n, -63 = -4*n + 3*k. Suppose -q - 2*q + n = 0. Suppose 3*f - 4 = 2*w + f, q*w = -4*f. Which is smaller: w or -2/11?
w
Let w be (-4)/(-10) - (-32)/(-55). Suppose -2*j - 1 = 3*b - 4*j, -2*b + 4 = j. Which is smaller: b or w?
w
Suppose -2*o = -2*u - 8, 5*u + 5*o + 5 - 35 = 0. Is u at least as big as 18/31?
True
Suppose -5*g = -3*g + 10. Let d = -8 - g. Let p = d + 3. Which is greater: 2/11 or p?
2/11
Let k = 21 - 46. Which is smaller: -26 or k?
-26
Let j(f) = f**2. Let h(u) = 3*u**2 - u + 1. Let t(p) = h(p) - 4*j(p). Let z be t(0). Let y be z/(-6)*(-24)/18. Which is smaller: -1 or y?
-1
Let b = -3 - -2.9. Let p(f) = 2*f**3 + 35*f**2 - 16*f + 30. Let x be p(-18). Is b >= x?
True
Let u = -8 + 12. Suppose u*h + 0 + 17 = -3*b, -16 = 2*h + 4*b. Is 0 < h?
False
Let z(u) be the third derivative of -u**6/120 + u**5/6 + u**4/24 - 11*u**3/6 - u**2. Let h be z(10). Let v be h + 1/(-2)*-2. Are 2/9 and v equal?
False
Let k = -1573/42395 - -3/695. Which is bigger: 1 or k?
1
Let r(g) = -g**2 - 3*g + 2. Let c be r(-3). Suppose 3*b - c + 5 = 0. Is 1 bigger than b?
True
Let q = 19 + -19.22. Let m = 0.12 + q. Is m smaller than 3?
True
Let w(p) = p**2 + 3*p - 1. Let o be w(-4). Let n be o + (-1 - -1)/(-3). Let h be 132/(-69) + n + -1. Which is smaller: h or 0?
0
Let g = 119/4 + -29. Are 1 and g equal?
False
Suppose 128 + 192 = 4*o. Let s = 8 - o. Let j be (s/(-32))/((-6)/(-16)). Are 7 and j unequal?
True
Suppose 3*l - 36 - 317 = 2*q, -l + 120 = -3*q. Let n be (-4)/6*l/(-6). Is n at most as big as 13?
True
Let x = 15 + -14.4. Let n = x - 0.7. Let m = 1.1 + -0.1. Is n greater than or equal to m?
False
Let t = -6948/253 - -304/11. Is 1 equal to t?
False
Let q = 3 - 2. Let s = -532/1355 - 2/271. Which is bigger: q or s?
q
Let i = -0.2 - 0.3. Let t = 0.5 + i. Let s be 0 - 1 - 7/(-6). Which is greater: s or t?
s
Let l(x) = x**3 - 3*x**2 - 2*x - 3. Let f be l(4). Suppose 3*h = -0*h - 4*q + 3, 0 = -2*h + f*q + 2. Is -2/9 < h?
True
Let q = -0.024 - 0.036. Do q and -0.3 have the same value?
False
Let w be -6 - 0 - 1/1. Let l be ((-13)/(-7))/(w/14). Let h = l - -111/28. Is -1/4 at least as big as h?
False
Let q = 6 - 3. Suppose 0 = -2*z - 3*z + 10. Is z smaller than q?
True
Let u(i) = -3 - 3*i + 6*i**2 + 3*i**3 - 2*i**3 - 2*i**3. Let y be u(3). Suppose -2*n + 7*n = 5*q + y, 5*n + 5 = -5*q. Which is greater: 2/7 or n?
n
Let u = 27 - 80/3. Suppose 1 = b - 2. Suppose 2 - b = -c. Do c and u have the same value?
False
Let a = -5 - -6. Let n be 2/a*(-1)/22. Which is smaller: n or -1?
-1
Let g(y) = 4*y - 28. Let n be g(9). Is n > 9?
False
Let k = -18 - -16. Let g(s) = s**3 - 6*s**2 + 6*s - 4. Let q be g(4). Let z be (q/(-9) + -1)*k. Which is smaller: z or 0?
z
Let h = 103 - 103. Does 2/25 = h?
False
Let s = -23 + 33. Are s and 11 nonequal?
True
Let r(a) = a**2 + a - 5. Let y be r(-4). Does y = 13/2?
False
Let f(q) = -q**3 - 11*q**2 + q + 9. Let m be f(-11). Do m and 1 have different values?
True
Let r = 80/11 - 1288/165. Let w = r + 47/60. Which is bigger: 2 or w?
2
Suppose -6 = f + 2*f. Let l = -7 - -7. Suppose l = -8*i + 3*i - 5. Which is bigger: f or i?
i
Let s = -6 - -6.4. Let j = s - 0.7. Which is smaller: -1/3 or j?
-1/3
Let r = 0.019 - -1.981. Let x = 4 + -3.7. Is x smaller than r?
True
Let g = 0.96 - 0.9. Let n = 0.14 + g. Are n and -2 equal?
False
Let v = 697/5 - 139. Let h = 0.01 - 3.01. Do h and v have different values?
True
Let o(z) = z + 12. Let g be o(-9). Let l be ((-2)/g)/((-5)/(-15)). Is -3 at least l?
False
Let w = 15 + -7. Let r = w - 9. Which is smaller: r or -2?
-2
Let a(z) = -11*z - 1. Let r be a(-1). Let c be ((-16)/10)/((-4)/r). Which is smaller: c or 3?
3
Let f(x) = x**3 - 2*x + 12 + 4*x**2 - 2*x**3 + x**2 - 5. Let w be f(5). Let y(i) = -4*i**2 - 2*i + 1. Let o be y(1). Which is bigger: o or w?
w
Let t = 27 + -28. Is -1/16 < t?
False
Let b be -3*2/(-6)*-3. Let d = b + 5. Are d and 2/3 non-equal?
True
Let i = -19 - -25. Which is bigger: i or 1?
i
Let b = 6.3 - 6. Which is bigger: b or -1?
b
Let k be (-1)/(-4) - (-11)/4. Suppose 12 = 3*u + 3*m, 2*u - k = 4*m - 25. Do u and -1/5 have different values?
True
Suppose 84 = 9*l - 11*l. Let t = l + 213/5. Are 0 and t nonequal?
True
Let l = -13 + 9. Let j be 1*(2 + l + 3). Which is smaller: j or 6/13?
6/13
Suppose 10*a = 5*a + 4*c + 56, -3*c - 9 = -a. Is a greater than 13?
False
Let x = 20.29 + -0.29. Let n = -20 + x. Is n >= -1/4?
True
Let l = -9 + 3. Do -5 and l have the same value?
False
Suppose 0 = 2*m - 2. Let q(l) = l - 1. Let t(z) = 2*z - 4. Let y be t(3). Let o be q(y). Is m greater than or equal to o?
True
Let p = -822.36 + 800. Let w = 23 + p. Let s = w - 0.04. Are s and 1 non-equal?
True
Let z = -71 - -103. Is z greater than 31?
True
Let h = 7 - 0. Suppose 58 - 9 = 7*a. Are h and a equal?
True
Let b be 1*(4 - 39/9). Suppose 30 = -6*z + z. Which is bigger: z or b?
b
Let n(z) = -2*z**2 + 3*z. Let o be n(-3). Let y be 2/9 + 87/o. Let v be (-2)/y*(-6)/(-4). Does v = 2/3?
False
Let w be 2/7 + 24/(-28). Let a be 15/5 - (0 + -1). Suppose a*q - 8 = 4*x, x - 1 = -3*q - 11. Which is smaller: w or q?
q
Let k be (-92)/77 + (-2)/(-7). Are -1 and k equal?
False
Suppose 5*z + 2 = 7. Suppose 0 = -p - 2, -4*p = 3*a + 30 + 32. Let x be (3/a)/((-1)/(-2)). Which is greater: z or x?
z
Let p(u) = -u**3 + 17*u**2 + u - 22. Let m be p(17). Which is greate