r equal to 8?
True
Let s(b) = -2*b**2 + 32*b - 142. Let j be s(7). Let t(n) = n**3 - 6*n**2 - 10*n + 5. Let f be t(7). Is j equal to f?
True
Let l = -746/551 - -24/29. Let g = l - -329/589. Which is greater: g or -1?
g
Suppose 5*c = 73 - 18. Suppose 3*i - i = 42. Suppose 0 = -3*o + 15, -j - o - 4 + i = 0. Which is smaller: c or j?
c
Let t(v) = -v**2 - 2*v - 8. Let z be t(0). Let l(x) = -2*x**2 - x - 2. Let i be l(-2). Is i less than z?
False
Let z be ((-116)/285)/(2/4383). Let n = 892 + z. Which is smaller: n or -1?
-1
Suppose 3*y + 89 = 695. Which is smaller: 203 or y?
y
Let s(l) be the second derivative of l**5/20 + 7*l**4/12 - l**3 + 4*l**2 + 20*l. Let i be s(-8). Is i less than -6?
True
Let m = -3.211 - 24.769. Let p = m - -28. Is 0.4 greater than p?
True
Suppose 5*a = 3*l + 7*a - 1190, 2*l - 815 = 3*a. Does 401 = l?
False
Suppose 4*a = -d + 19, -2*d - 2 = -2*a - 0. Let b be (4/((-224)/(-2)))/((-15)/a). Is 0 not equal to b?
True
Let w(k) = 133*k - 1. Let d be w(1). Let i = 681/5 - d. Which is smaller: i or 5?
i
Let a be (-1470)/290 - 14/(-203). Let t = -1 + -6. Which is bigger: t or a?
a
Let p be 6/(-4) + (-3)/(-6). Let c be -5*(-4)/15*-3. Let q be c/42*(-3)/2. Is p greater than or equal to q?
False
Let v(l) = -2*l**3 - 41*l**2 - 22*l - 47. Let s be v(-20). Which is greater: 27/11 or s?
27/11
Let j = 877 + -883. Which is smaller: j or -32?
-32
Let z = -2 + 2. Let q = 2 + z. Let w = 31.9 + -31.9. Which is smaller: q or w?
w
Suppose 0*n = 8*n + 48. Let r be ((-2)/n)/((-169)/(-26)). Suppose 3*k = k - 2. Is k greater than or equal to r?
False
Let b(u) = u**2 - 17*u + 5. Let y be b(17). Suppose y*v - c = 37, 2*c + 3 = -1. Suppose -3 = -m + 2. Is m at least as big as v?
False
Let u be (39/260)/((-3)/(-2)). Let y(v) = 4*v + 191. Let w be y(-48). Is w bigger than u?
False
Let g(m) = 7*m + 5. Let o(h) = -h**3 + 6*h**2 - 3*h - 5. Let d be o(4). Let a = 13 - d. Let i be g(a). Which is smaller: i or -10?
-10
Let i = 297/250270 - 4/863. Is 1 smaller than i?
False
Suppose 270*d - 171 = 289*d. Let s be (-52)/6 + (-2)/(-3). Are d and s non-equal?
True
Suppose 1647 = 5*y + 2*j, 2*y - 8*j = -11*j + 650. Do y and 331 have different values?
False
Let l be (25 + -1)*(-4)/(-12). Suppose -h - 5*n = l, 2*n = -2*h + 4*h - 8. Is 7/10 at least h?
False
Let u = -28 + 30. Suppose 3*i = 6*i - 9, i = -u*m + 5. Which is greater: -28 or m?
m
Let p(w) = -w**2 - 11*w + 8. Let o be p(-12). Let h = -103 + 102. Is o != h?
True
Suppose -2*o = -0 + 4. Suppose 3*b + 13 = -5*p, -16 = 3*b - 0*p + 2*p. Which is greater: o or b?
o
Suppose 2 = -4*w + 10. Suppose -w + 5 = -3*q. Are -1 and q non-equal?
False
Suppose 18*v + 4 = 14*v. Is v at most 2/1059?
True
Let l(p) be the second derivative of p**5/20 - p**3/6 - 2*p**2 + 18*p. Let j be l(-2). Let n(q) = 2*q - 2. Let r be n(-4). Is r at least as big as j?
True
Let a = -11 + 3.5. Let q = -8 - a. Let s = 17 - 16. Is s >= q?
True
Suppose -649*c + 253 = -660*c. Which is bigger: -1/14 or c?
-1/14
Suppose -3*q - 5*u = 1328 + 594, -4*q - u = 2574. Is -644 greater than or equal to q?
True
Let m be 2/((-8)/(-40)*-10). Let s = 0.3 + 0.3. Does s = m?
False
Let j be 5/(-45)*-3 + (-8)/6. Do -15/173 and j have different values?
True
Let l be -7*(2/4 - 1/(-2)). Let m be 2/(-4) - l/4*2. Is m > 1?
True
Let y = 1 - -5. Suppose 3*r - 2*s - 49 = 0, -5*s - 19 = y. Let n = 12 - r. Which is greater: n or 0?
0
Let n = 0 - -0.3. Let x = n - -0.1. Let d = 3 + -4. Which is bigger: d or x?
x
Let h be -1*(0 - (1 + -4)). Let l be (1 + 20/h)*3. Which is smaller: -15 or l?
l
Let g = -1 - -9. Suppose 3*c - 13 = -k, 9 = -3*c + k + 20. Which is bigger: c or g?
g
Let o be (-6 - 0)*9/(-2). Let x be 24*(7/6)/(12/18). Let l = o - x. Are l and -15 nonequal?
False
Let o be 20/(-8) + 4 + 26/4. Suppose -25*w - o = -27*w. Let n = 7 + -5. Is w > n?
True
Let i(m) = 4*m**3 + 2*m**2 + 4 + 2*m - 3*m**3 - 4*m. Suppose 5*s + 3*a + 4 = -11, 12 = -4*s - 4*a. Let h be i(s). Which is smaller: -2/5 or h?
-2/5
Let n(m) be the third derivative of 4*m**2 - 1/8*m**4 + 1/120*m**6 + 0*m + 1/15*m**5 + 0 + 7/6*m**3. Let j be n(-5). Are j and 1 non-equal?
True
Let s = 11 - 1. Let c(k) = k**2 - 11*k + 7. Let y be c(s). Are -3 and y non-equal?
False
Let a(r) = 18*r - 812. Let s be a(47). Which is smaller: 32 or s?
32
Suppose 29 + 59 = 8*u. Suppose -2*n - n - 15 = -m, 5*m = -2*n + 58. Is u <= m?
True
Let g(i) be the third derivative of -i**4/8 + 17*i**3/6 - 12*i**2. Let l be g(8). Which is smaller: l or -6?
l
Let m(s) = 313*s**3 - 2*s**2 - 12*s + 7 + 3*s - 312*s**3. Let p be m(4). Which is smaller: p or 9/5?
9/5
Let s = 28 + -48. Let a be s/(-16) - (-19)/(-12). Is a greater than 1?
False
Suppose -2*w + 4*t = -12, 4*w + 12 = -5*t - 3. Let k(a) = -14*a**2 - 2*a + 1. Let g be k(1). Let l be 3/15 + (-9)/g. Is l at least as big as w?
True
Let k be 0*2/(-8)*-2. Let x = -69 - -69.3. Let j = 2.7 + x. Is j < k?
False
Suppose -3*c + 3*j = 12, 5*j - 10 = 15. Let z be ((-20)/8 + 3)/c*2. Is z at least 2/9?
True
Suppose -b - 48 = -5*b. Suppose 5*o - 7 = 2*s - 26, o + 11 = s. Let m = s - b. Which is smaller: m or -11?
-11
Let w = 21.1 + -21. Let n = 6.9 + w. Let z = -23 + 70/3. Which is smaller: n or z?
z
Suppose 2*b - 3*s - 12 = 0, -7*b + 35 = -2*b - 5*s. Let j be (-2)/4 + 1/(-2). Let m = 9 - j. Which is bigger: b or m?
m
Suppose -2*z = 2, 3*z - 8 - 45 = 2*w. Let b be w/(-84)*(23 - -1). Is 0.2 at most as big as b?
True
Let t be 18016/(-1640) + 6 + 5. Is t at least 0?
True
Suppose 8 = 5*r + 3*l, -5*r + 5*l = -0*l. Let y be (-4)/((-3)/(r*-162)). Let d = y + 1084/5. Which is bigger: 0 or d?
d
Let t(c) = c**2 + 8*c + 7. Let l be t(-7). Let k be ((-1)/(-2) - -1) + 3991/182 + -23. Is k < l?
False
Let p = -4.52 + 2.52. Is 0.011 at least p?
True
Let i be (-1078)/35 + 4*3/15. Let p = -44 - -15. Is p < i?
False
Suppose g + 3 = 0, 0 = z - 0*g - g - 23. Let t be z*-1*(-5)/20. Suppose -t*i - 3*j = -9, 2*i + 0*i - 12 = -4*j. Is i at most 3/31?
True
Let g be -14 + (-39)/(-26) + 11. Suppose 48 = -4*m - o - 3*o, -5*m = o + 40. Let w = m + 4. Which is greater: g or w?
g
Let b(p) = -p**3 + 15*p**2 - 16*p + 33. Let h be b(14). Let a be (h/2 - 2)/((-14)/(-28)). Is a > 2/59?
True
Let y be (-10)/(-9)*12/32. Let d = y - 1/12. Let b be 9/21 + (4 - (-225)/(-35)). Which is smaller: d or b?
b
Let v = 6068 - 18209/3. Let b be 8/6*(4 + -1). Suppose 5*x + 1 = -b. Which is bigger: x or v?
x
Suppose 1 + 3 = d + 2*h, 0 = -3*d - h + 17. Let i be ((-8)/(-96))/(d/(-16)). Suppose 0 = -3*f + 3*p - p + 7, -5*f - p = -3. Does f = i?
False
Suppose -12 = 2*l - 4*d, l = 2*l - 4*d + 12. Suppose g + l*m = 5*m + 54, 0 = -4*g - 2*m + 194. Is 49 at most as big as g?
True
Suppose -5*x - 2*f - 584 = 0, -2*x + 2*f - 245 = -f. Let j be x/(-4) - 13/(-26). Let u be 39/(-1305) + 4/j. Which is smaller: u or 0?
0
Suppose 12*f = -15*f + 2349. Is 260/3 greater than or equal to f?
False
Suppose 3*i + 2*i + 2*h - 61 = 0, -5*h + 16 = 2*i. Suppose 28 = 3*k + 2*j, 0 = -5*k + 3*j + i + 2. Which is smaller: k or 5?
5
Suppose 9*j - 96 = j. Which is smaller: j or 15?
j
Let g = -207 + 369. Is 165 at least g?
True
Suppose -26 = -553*b + 551*b. Suppose 0 = 5*u - 71 + 6. Suppose -t + u = 1. Is b < t?
False
Let j = 205 + -206. Are j and 1/276 nonequal?
True
Suppose 0 = 3*d, y - 2 = 2*d - 0. Suppose 4*f = -3*p - 2, -3*p = f - 11 - y. Let z be ((-35)/75)/(p/(-15)). Which is bigger: z or 0?
z
Let b(l) = l**3 - l**2 - 1. Let u(c) = 6*c**3 - c**2 - 6*c - 10. Let m(y) = -5*b(y) + u(y). Let d be m(-5). Let z = -1/72 + 107/2520. Is d equal to z?
False
Let j be 1 + (-5)/4 + (-187)/(-1292). Is -22 <= j?
True
Let d(i) = 2*i**2 + 1 - i - 7*i**3 + 3*i**3 + 3*i**3. Let x be d(2). Is x > -2/83?
False
Suppose -299 = -6*g + 43. Is 167/3 not equal to g?
True
Let t(s) = -s**3 + 4*s**2 - 5. Let o be t(3). Let k be -24 + (2/o)/1*-6. Is -28 less than k?
True
Let k be (-2113)/(-5) - (-56)/40. Which is smaller: 426 or k?
k
Let y = 1.91 - 2. Let l = -3.09 - y. Let w(n) = -3*n + 20. Let a be w(5). Which is smaller: l or a?
l
Let i = -0.0125 + -42.5875. Let t = 4.6 + i. Is 1/2 at least t?
True
Let u(v) = 44*v + 20. Let f be u(-9). Let g be (-70)/f - (-10)/(-40). Is 1 at least as big as g?
True
Suppose 2*m = 3*o - 2 + 7, 5*o = 5*m - 15. Suppose -5 = 2*x - 1. Let a be (2 + 1)/(3/x). Which is greater: o or a?
o
Le