4 or y?
1/4
Let n = -1529/23219 - -1/749. Is n not equal to -0.5?
True
Let r(y) be the first derivative of -y**3/3 - 3*y**2/2 - y - 4. Let p be r(-2). Is p greater than 1?
False
Let a be (32/(-36))/(-4) + 50/18. Which is smaller: -1 or a?
-1
Let b = 20 + -19. Let v = b - 7. Which is greater: v or 0?
0
Let g = 10 - 8. Suppose 0 = 5*c + 5*j + 50, -20 = 5*c - j - 0*j. Let m = g + c. Is -3 != m?
False
Let b(a) = a**2 + 4*a - 8. Let r be b(-6). Suppose -1 - r = 5*g. Which is smaller: g or -3/8?
g
Suppose 4*z + 3*b = -27, -3*b - 33 = -0*z + 5*z. Let l be 5 + z - 2/(-6). Which is bigger: -2 or l?
l
Suppose 5*s = -6*l + 3*l + 35, -58 = -4*l - s. Suppose -2*b + 19 = -3*t, 5*b + t - 54 = 2*t. Let u = l - b. Is u at most 2?
False
Suppose 3*o = 22 - 10. Is o < 4?
False
Suppose 17 = 4*s - 3*q, 4*q - 4 = -s - 14. Suppose -s*t - 2*t + 3 = x, 5*x + t = 15. Suppose -2*l + 1 = -x*k, -k + l = k. Which is smaller: 1/5 or k?
1/5
Let v be 3/(3/4) - 0. Suppose -3 + v = -h. Let q = h + 2. Which is greater: 3/7 or q?
q
Let l = 0.41 - 0.11. Let s = l - 2.3. Which is smaller: s or 0?
s
Let t(u) = u**2 - 3*u - 6. Let j be t(5). Suppose -4*p = j*v - 8 - 0, -3*p - v + 4 = 0. Are -1 and p non-equal?
True
Let g = -4 + 8. Suppose 1 = g*t - 3*t. Let a = -2 + 3. Do t and a have the same value?
True
Let w be 4/6*24/(-16). Is 3/92 less than w?
False
Let y be 0 - ((0 - 1) + -2). Let u be y/(-2)*(-2)/3. Let h be (-31)/(-7) + (-11 - -7). Is u smaller than h?
False
Let v(o) = 1 - 6*o**2 + 8*o**2 + 0 - 4 - o**3 + 4*o. Let h be v(3). Let q be (2/6)/(14/6). Which is greater: h or q?
q
Let g = 38 + -38.2. Let l = -5 + 3. Which is smaller: g or l?
l
Let w be -1 - -7 - (-3 + 1). Let x be (-166)/18 + w/36. Let r be (-14)/(-30) + (-3)/x. Is 2 equal to r?
False
Let m = -2 - -6. Suppose -3*r + r + 4*c + 24 = 0, 2*r - 5*c - 28 = 0. Is m >= r?
True
Let f = -3/14 + 19/56. Which is smaller: 1 or f?
f
Let w = 10 + -6. Suppose b - w*b = -12. Suppose -b*u + 3 + 1 = 0. Which is bigger: u or -2/7?
u
Let y be 1*0*(-1 + 2). Which is smaller: y or 10/9?
y
Suppose -d = 3*d. Suppose -4*k - 67 = 93. Let u be k/(-385) - (-2)/11. Is d < u?
True
Suppose -p + 5*f - 30 + 2 = 0, 30 = -5*p + 3*f. Is p < -8?
False
Suppose 0*c - 120 = 5*c. Let t be (3 - c/(-7)) + 0. Which is smaller: -1 or t?
-1
Let w(u) = -u**3 + 2*u**2 + 2*u. Let s be w(2). Suppose -2*h = -s*h + 10. Let c be (3/2)/((-3)/(-8)). Does c = h?
False
Let d = 2.1 - 2. Let n = 0.031 - 21.031. Let h = 23 + n. Is d at most as big as h?
True
Let v = 0.6 - 2.6. Let o = -2 - v. Let h = o + 0.2. Which is bigger: -0.1 or h?
h
Let g = -11171/25 - -447. Which is smaller: 0 or g?
0
Suppose 2*x - 21 = -y, 4*x + 0*x - 8 = 0. Is 17 >= y?
True
Let a = 134 + -941/7. Which is smaller: a or -1?
-1
Let v = -106 + 104.06. Let m = 0.06 - v. Which is smaller: m or 0.1?
0.1
Let s be 4/(12/(-27)) - 3. Let k be -2 - -10*(-2)/s. Which is smaller: 0 or k?
k
Let k = 49.3 + -49. Which is smaller: -2/17 or k?
-2/17
Let l = -17.9 + 23. Let x = l - 5. Are x and 3/5 equal?
False
Let g be (0 - -2)/(-2 + 1). Let k be (-28)/(-70)*2/3*-5. Are g and k unequal?
True
Let z(w) = -w - 3. Let k be z(6). Let g = k - -2. Let f = g - -6. Is -1 <= f?
True
Suppose 6 = -0*b + 2*b. Let t(w) = -3*w - 1 - 3*w - w**3 - 8*w**2 + 2*w**2. Let j be t(-5). Is b >= j?
False
Let p be 1/9*(-18)/(-75). Is p <= 1?
True
Let d be (-16)/(-3) + (-4)/(-6). Let c be (3/(-6))/(1/d). Let w be (-2)/(-6) - c/(-63). Which is smaller: 0.1 or w?
0.1
Suppose -4*b + 2 = -14. Let m be 29 - 2/b*-4. Let n = m + -94/3. Which is smaller: -0.7 or n?
-0.7
Let j be 0/(0 - -1)*1. Let p be ((-11)/22)/((-1)/(-2)). Let m = p - j. Which is bigger: 0 or m?
0
Suppose -i - 25 = -6*i. Let m be (i/2*-2)/1. Is m at least as big as 0.1?
False
Let s(m) = 5*m + 2. Let c be s(-3). Let r = -7 - c. Suppose 2*v - r*v = 0. Which is greater: v or -1/5?
v
Let y be ((-12)/9)/(-2)*-6. Let r be y/14*(1 + -8). Let k = 49/33 - 9/11. Is r < k?
False
Suppose 5*f - 2*f + 3*i - 66 = 0, -3*i = 4*f - 87. Is 23 > f?
True
Let s(d) = 2*d + 6. Let q be s(-6). Let o be ((-3)/5)/(q/(-4)). Let n = -82/3 + 28. Which is greater: o or n?
n
Suppose 0 = -5*x - 5*r - 25, 5*x - 5*r - 9 = 6. Let q = -2.22 - -2.12. Is q <= x?
False
Let v = -173 - -178. Suppose 2*g - 4 = 6. Is g greater than v?
False
Suppose f - 151 + 601 = 0. Let s = 524398 + -11021806/21. Let i = s - f. Which is smaller: 0 or i?
0
Let p = 68 - 71. Which is bigger: p or 2?
2
Let m be (5/(-10))/(6/4). Let n(a) = a**2 + a - 2. Let i be n(-3). Let r be 2*2/i*1. Which is smaller: r or m?
m
Let y(a) = 2*a**2 + 2*a - 3. Let i be y(6). Let r = 407/5 - i. Is -0.2 at most as big as r?
True
Let c = -36 + 35.78. Is -0.2 at least c?
True
Let f = 3 - 2. Let w = 38 - 43.2. Let y = w - -5. Are y and f non-equal?
True
Suppose 0 = 4*k - k - 9. Suppose -5*o + k = 3*a - 2, -4*a = -20. Let x be (-18)/(-35) - o/7. Is x bigger than 0?
True
Let k = 50 + -35. Let q = 16 - k. Which is greater: q or -13?
q
Let k = -813/260 - -141/52. Let l = -369 - -23984/65. Let z = l - k. Which is smaller: 1/5 or z?
1/5
Suppose 0*c + 5*c = 5*n + 5, -c = -5*n - 1. Is -2 smaller than n?
True
Let a = 6 + -1. Suppose a*z + f + 3 = 0, 4*z + 0*f - f + 6 = 0. Let g be 2/(-6)*(-2)/(-2). Are z and g equal?
False
Let m = 1438 - 99220/69. Which is bigger: m or -1?
m
Let c(i) = -9 - 7*i**2 + 5*i**3 + 2 + i - 4*i**3. Let o(h) = 2*h + 1. Let z be o(3). Let d be c(z). Which is greater: d or 1/3?
1/3
Let u be (12/(-2))/((-6)/4). Suppose 2*j - 26 = 4*i, u*j - 25 = 5*i - 0*j. Is i bigger than 1?
False
Let y(v) = -v + 12. Let j be y(5). Which is greater: j or 6?
j
Let b = -262/5 - -52. Let h = -1 + 1. Are b and h unequal?
True
Let j(l) = -l**2 + 5*l. Let v be j(5). Let h = v + -2. Do h and -3 have different values?
True
Let r = -233/4 + 58. Suppose -21 = 4*w + 5*g, -2*w + 5*g - 6 = -3. Is r at most w?
False
Let i be (-2)/(-6)*(-42)/140. Which is smaller: i or 0?
i
Let w = 13 + -13. Which is smaller: w or -3?
-3
Let w be 7*(0 - (-1 + 2)). Let f = w - -5. Is -0.3 bigger than f?
True
Let r = -4/15 + 13/15. Are -2/11 and r unequal?
True
Let v = -3 + 3.1. Which is smaller: v or -10?
-10
Let i be (-3)/(-2)*(-4)/(-6). Let p(b) = b + 2. Let c be (0 - 2*-1)/(-1). Let r be p(c). Is i bigger than r?
True
Let x = 4.2 - 4. Is x at least as big as 1/7?
True
Suppose 4 - 12 = -2*a. Is a bigger than 0?
True
Let m = -0.05 + 0.35. Let a = -1 + 0.6. Let t = m + a. Is t less than or equal to -0.2?
False
Suppose 3*b + 75 = -30. Which is smaller: -36 or b?
-36
Let z = -46 - -36. Let g = -27 + 11. Let y = g - z. Is -7 equal to y?
False
Let w = -11 + 24. Is 14 less than w?
False
Let q be 46/(-10) - 2/5. Which is bigger: -3 or q?
-3
Let o = 0 + 1. Let z(y) = -y - 3. Let f be z(-4). Let d be f/3 - 20/36. Which is bigger: o or d?
o
Let m = 0.15 - -0.85. Is -1 != m?
True
Let f be (-1)/1 - -7 - 1. Do f and 4 have different values?
True
Let f = -23/10 - -9/5. Suppose 0 = 7*p - 2*p - 15. Let k be (3 - p)/(3 - 1). Which is greater: k or f?
k
Let c = -6.7 + 3.92. Let g = c - 0.02. Let t = -3 - g. Do -0.2 and t have the same value?
True
Suppose 4 = 5*s - 6. Suppose 2 = -t + 2*t. Is s at most as big as t?
True
Let s = 49 - 27. Let x = s + -22. Are x and -3 equal?
False
Let b be -3*8/(-108) - 4/9. Let i = -1 + 0. Which is bigger: i or b?
b
Let u be ((-4)/(-6))/((70/(-15))/7). Let i = 5/2 - 11/4. Which is bigger: u or i?
i
Let z = -43 + 171/4. Are z and -0.3 unequal?
True
Let r be ((-2)/(-3))/(2/3). Let o be (2/(-6))/(300/(-108)). Does r = o?
False
Let s(a) = 2*a + a**3 + 4*a**2 - 2*a - 2. Let c be s(-4). Is -3 < c?
True
Let n(a) = -a - 5. Suppose -4*z - 16 = -0*z. Let q be n(z). Is -1 greater than q?
False
Let r(i) be the third derivative of i**5/60 - i**4/3 + i**3/6 + i**2. Let v be r(8). Let y = -103 - -725/7. Is v less than or equal to y?
False
Suppose -10 = r - 2*l, -3*r + 7*r = -2*l + 10. Is 2/67 greater than r?
True
Let k = 28 + -20. Let j be (k/14)/((-2)/(-7)). Which is smaller: 3 or j?
j
Let f(q) = -q**3 - 5*q**2 - 3*q + 2. Let z be f(-4). Let h be 1 + 5/((-20)/(-64)). Let m = h - 19. Is z not equal to m?
False
Let s = -10/13 + 137/195. Which is smaller: 0 or s?
s
Let h = 81 - 80. Is 1 bigger than h?
False
Suppose -t + 5*t = -3*h - 24, 0 = 2*h - 2*t + 30. Which is bigger: h or -23/2?
-23/2
Suppose 116 