 is greater: -9 or s?
s
Suppose n = 7 - 1. Suppose -2*q - 3*w - 6 = 0, -4*q - 2*w = -4*w + 12. Let v be -4*q/n - 2. Is -3/2 at most v?
True
Suppose -8*y + 10 = -3*y. Suppose 0 = 9*r + 513 - 189. Let v be (r/21)/(5/(105/(-22))). Is v != y?
True
Let d(v) be the first derivative of -v**4/4 + 4*v**3/3 - v**2 + 6*v - 13. Let g be d(4). Which is smaller: -3 or g?
-3
Let x = -4.9803 + -0.0197. Is x > -11?
True
Let t = 4146396414/4470323 + 8/343871. Let r = -928 + t. Which is smaller: r or -1?
-1
Let f = -178.6 + 165. Let j = -21 - f. Let v = j + 9. Are 0.1 and v equal?
False
Suppose -5*m + 10 = -20. Suppose m*a + 1 = 5*a. Is a <= 2/49?
True
Suppose 3 = h + 2*h - 2*m, 4*m = -2*h - 14. Let p be (-19 - -17)/(2*(-1)/h). Let c = 2 - 4. Which is smaller: c or p?
c
Let u = 1018 + -1030. Let p = -5 + 3. Which is bigger: p or u?
p
Let p(f) be the third derivative of 4*f**2 + 1/3*f**3 + 0*f + 0 + 1/60*f**5 + 11/24*f**4. Let w be p(-11). Which is smaller: 10/3 or w?
w
Let f(i) = -2*i**2 + 12*i - 6. Let d be (-18)/4*4/(-3). Let m be f(d). Are -2 and m non-equal?
True
Let w = -95.87 - -96. Is -8 greater than or equal to w?
False
Let q be ((-144)/280)/((-20)/625 + 0). Which is bigger: 15 or q?
q
Suppose -170*t + 21 = -177*t. Which is smaller: -3/2 or t?
t
Let h be (-2 - -7)*(-58 + 25). Is -167 bigger than h?
False
Let n be 45660/80640 + 3 + 75/(-21). Is n > 0?
False
Let x be 2376/(-7182)*(-6 + -1). Is x != 0?
True
Suppose k - 216 = 2*n, 0 = -3*n - 2*k + 5*k - 330. Let p = -100 - n. Is 7 at least p?
True
Let z = 51 + -55.2. Let w = z + 16. Let l = w - 12. Does l = 1?
False
Let j = 2.2 + -2.42. Let d = j + -0.28. Which is smaller: d or -0.2?
d
Let z = 287959/3531 - 897/11. Which is smaller: 1 or z?
z
Let b be (-1716)/(-165)*(-5)/(-2). Which is smaller: b or -0.1?
-0.1
Let t(x) = -x**2 + 6*x - 3. Let l be (10*1)/((-18)/(-9)). Let g be t(l). Let c = -5 + g. Is -4 equal to c?
False
Let f(x) = -25*x**2 - 46*x + 47. Let a be f(1). Which is greater: -17 or a?
-17
Suppose 0 = 3*s - 6 + 3. Let u be (5 - 5)/(s*3). Suppose 2*t + n + 3 = 0, u*n - 4 = 5*t - n. Which is smaller: t or 1/27?
t
Let v be 1 - ((-13252)/20 - 0). Let t = v - 661. Which is smaller: 3 or t?
t
Let o(b) = -3*b + 38. Let q(v) = 2*v - 25. Let j(s) = -5*o(s) - 8*q(s). Let f be j(7). Suppose i - 4 = -f*k, -3*k + 2 = -4*i + 3*i. Is i bigger than 1?
False
Let y be (1 - 18/3)*(-156)/20. Let t = -38 + y. Let x = -4979/11 + 453. Do t and x have different values?
True
Suppose 8*r - 1352 = 384. Is 217 less than r?
False
Let o = -39 + 55. Suppose s - o = -s. Is 8 less than s?
False
Let k = 20 + -16. Let j be 72/(-84)*1/k. Is -1 < j?
True
Suppose q - 2 - 1 = 0. Suppose -q*m - 2*m = 50. Which is smaller: -12 or m?
-12
Let p = -0.759 - -0.74. Let z = 0.381 - p. Which is bigger: 1/3 or z?
z
Suppose -9 = -h - 2*h. Let p be (9 + 6)*2/h. Let n be 9/(-45) - (-82)/p. Is n > 9?
False
Let s be 6/24*(0 + 4). Let x be (26/(-10) + 2)*-1. Which is bigger: x or s?
s
Let z = 534.3 - 534. Are -0.094 and z unequal?
True
Let a = -1766 - -2120. Are a and 354 equal?
True
Suppose -3*g + 12 = -3*u, -5*u + 2*g = -u + 6. Does u = 2/469?
False
Let n(q) = q**2 - 23*q - 37. Let w be n(25). Which is smaller: w or 10?
10
Suppose 2*v - 6 = 3*o, 0*v + 2 = -5*v - o. Suppose -3*n - 14 + 4 = -5*y, -4*y - n - 9 = v. Is -7/10 <= y?
False
Let l = -1.95 - 0.05. Let u = l - 0. Let a = -28 + 27. Is u greater than a?
False
Suppose -4 = -o - 5*d, -d + 1 = -3*o - 3*d. Let j be ((-32)/12)/(2/(-18)) + -1. Let w = -45/2 + j. Which is smaller: w or o?
o
Let c be (8832/(-80))/((-1)/5) - -7. Are 559 and c unequal?
False
Let n be (-1 - -3) + (70/8)/(-7). Suppose 2*h + 0 = 4. Is n less than h?
True
Suppose -5*k = -3*k + 4. Let v be 42/15 + k/(-10). Let d be (-66)/(-10) - v/5. Which is smaller: d or 3?
3
Let g be 36/32*(-2 - -3). Let m be ((-4)/(1 + 3))/(-1). Which is smaller: m or g?
m
Suppose 5*y + 2*k = -3, -3*y - 4*k + 8 - 21 = 0. Which is bigger: y or -1/272?
y
Let g = -325 - 403. Which is greater: 0 or g?
0
Suppose 3*t - 2 = -5*o, 5*t = -5 - 0. Suppose -o - 69 = -5*w. Which is bigger: w or 15?
15
Let h(y) = -y**3 + 4*y**2 + 4*y + 1. Let w be h(5). Let m = w - -2. Suppose -12 = 3*k - 2*q, -3*k + 5*q = 11 + 10. Are m and k non-equal?
False
Let u = 67 + -65. Suppose u*g + 3*a - 80 = 0, a - 64 = -2*g + 2*a. Is 0 at least as big as g?
False
Let f = -84 - 49. Let i be 4/6 + f/(-21). Suppose -4*o = -i*o - 6. Is -1 less than o?
False
Let i = 12 - 62. Let l = -7775 - -7775. Is i bigger than l?
False
Let j(h) = h**2 + 8*h + 9. Let f be j(-7). Suppose 6 + 2 = w - 3*z, -2*w + f*z = -4. Let s = -1099/6 + 182. Which is greater: w or s?
w
Suppose 32*r = -2*r - 2754. Is -81 <= r?
True
Let x = 707 - 883. Is -177 < x?
True
Suppose 3*j = -v + 2*v + 4, -4*j = -3*v - 2. Is -6 smaller than j?
True
Suppose 4 = -3*t + 13. Let o be (t/4)/(13/6). Let b = 21/26 - o. Which is smaller: 0 or b?
0
Let v = 644 - 2617/4. Is -9 not equal to v?
True
Let s(c) = -c - 4. Let b be s(-4). Suppose b*r + r = 3*g - 18, 3*g + 78 = -3*r. Is -24 bigger than r?
False
Let f(r) = 73*r**3 - 1. Let c be f(1). Let v be 2/3 + 60/c. Is 2/3 < v?
True
Let a(h) = 4*h + 2. Suppose -3*v + 0 = 3. Let m be a(v). Is m != -10/7?
True
Let z be 8/(-6) - 4*110/(-150). Which is bigger: 3 or z?
3
Let r = -1618 - -1618.1. Is 539 greater than r?
True
Let q be (4 + -4 + 1)/((-3)/27). Let k be 6/(360/85) - q/(-12). Which is smaller: -0.43 or k?
-0.43
Suppose 6*k - 2*k - 20 = 0. Which is smaller: k or 0.071?
0.071
Suppose -21*t + 14*t = -7. Do -16/41 and t have the same value?
False
Let j = 523 + -279. Let s be j/(-384) + 2/9*3. Are s and 1 equal?
False
Let f = 24.067999 - 0.020999. Let s = f + -0.047. Is -0.1 smaller than s?
True
Let n be 738/(-30)*8/6. Is -32 not equal to n?
True
Let c = -289 + 254. Is 0.14 bigger than c?
True
Let u = -944/1205 - 4/241. Which is smaller: 3/67 or u?
u
Let b be (4 - (-20)/(-12))*3. Suppose -2 = 3*t + b. Is -3 != t?
False
Let n(k) = -k**3 - 38*k**2 + 127*k + 207. Let w be n(-41). Suppose 5*s + 5*z - 185 = 0, -3*s + 4*z + 104 = -s. Is s less than or equal to w?
True
Let t(u) = -10*u - 34. Let x be t(-6). Let q be (3/(45/(-12)))/(12/(-390)). Is x not equal to q?
False
Let r = 97 + -19. Which is smaller: 81 or r?
r
Let t = -2 + 5. Let r be (2 + (-7)/t)/(-1). Is -1 < r?
True
Suppose -24 = -4*c - 0*c. Let q(n) = -n + 3 - 8 + c. Let m be q(6). Is -0.1 less than m?
False
Let x = -11 - -10.93. Let q = -28.07 - x. Let p = q - -28.04. Is p at least as big as 0?
True
Let j = 12 - 10. Suppose 0*o + 18 = j*o - 3*m, 2*m + 11 = o. Which is smaller: 4 or o?
o
Let c(w) = -5*w + 120. Let r(f) = f - 20. Let a(h) = 4*c(h) + 25*r(h). Let j(m) = 9*m - 40. Let y(v) = 7*a(v) - 4*j(v). Let z be y(6). Is z equal to 14?
True
Suppose -f - 4*g + 7 = 0, g - 16 = 2*f - g. Let m be 5 + f - (-4)/6. Is m less than 1/3?
False
Suppose 12*l = 8*l - j + 172, -4*l = -3*j - 156. Which is greater: l or 41?
l
Let i(v) = -3 + 11 + 3*v**3 + 8*v**2 - 8*v - 2*v**3 - 11*v. Let s be i(-10). Is s bigger than -17/6?
True
Suppose 17*m - 6887 = 4979. Which is greater: 697 or m?
m
Let t = 3333/4 + -852. Let u = t - -19. Which is bigger: u or -0.06?
u
Let t = 171.8 - 172. Which is greater: -0.34 or t?
t
Let y = 136 - 139. Which is bigger: y or 60?
60
Suppose 0 = 7*t - 2*t + m - 5, 0 = 2*t - 5*m + 25. Is 9/50 at most t?
False
Let g be 2/(-3) + (-391)/(-51). Let i be 3 + (5 + -2 - 1). Which is smaller: i or g?
i
Suppose 24 = m + 9. Which is smaller: m or 46/3?
m
Suppose 0 = 5*w - 2*d - 51, 2*w + 3*w + 3*d - 36 = 0. Let y be (w - 8) + (-8)/14. Which is smaller: -2/3 or y?
-2/3
Let y = 711 - 711. Is -7/51 less than y?
True
Let g = 49 - 51. Let a be (-4 - g)*2 - -5. Let w(l) = -l + 7. Let p be w(5). Which is bigger: a or p?
p
Suppose -4 = i - g, 0 = 6*i - 2*i - g + 31. Let u = -17 - i. Is -8 greater than or equal to u?
True
Let q = -497.007 + 497. Is 1 smaller than q?
False
Let y = -1.24 - -1.6. Let k = y - 0.06. Let x = 5690 - 51208/9. Which is bigger: x or k?
k
Let o = -990 - -977. Suppose -4 = 2*w + g, -2*w - 16 = -4*w + 4*g. Is w bigger than o?
True
Suppose -i - 17 = -3*k - 0*i, 0 = 3*k + 2*i - 2. Let a be k/(-8) - ((-65)/(-2) + 2). Is -36 less than a?
True
Let s be (-4)/(-3)*(0 - -3). Suppose s*q = -5 + 13. Which is smaller: 10 or q?
q
Let j = -2 - -2.