(-4). Which is smaller: 152/3 or w?
152/3
Let d(q) = -q**2 - 9. Let l be d(0). Let g = -12.8 - 0.2. Let v = g - -13.1. Which is bigger: v or l?
v
Let i = -20 + 28. Suppose -2*j - 2*j + i = 0. Is 0 > j?
False
Let p = 1 + -0.97. Let g = 3675 - 3673. Is p >= g?
False
Let g(c) be the second derivative of -c**5/60 + c**4/6 - 7*c**3/3 - 6*c. Let r(u) be the second derivative of g(u). Let b be r(5). Is 0.1 >= b?
True
Let r = 0.27 + 10.73. Let u = 23 - r. Let j = -7 + u. Is j at least -1?
True
Let p = -51 - -56. Suppose -y = -4*f + 11, p*f + 4 + 19 = -4*y. Suppose 4*a + 3*b + 27 = -7, 20 = -4*a + 4*b. Is a bigger than y?
False
Let s = 104 + -106. Which is greater: s or -5?
s
Let b = 277.276 + 2.724. Is -0.1 less than b?
True
Let p = 20 + -19. Let k = -30 - -16. Let u = k - -14. Is u at least p?
False
Let a be 1/3 + (-10)/(-6). Let f = a - -3. Suppose -2*i + 3 = f. Which is smaller: 1 or i?
i
Let x = 0.0536 - 17.0536. Which is smaller: x or -4/9?
x
Let p = -8.9 - -9.2. Are 15/2 and p non-equal?
True
Suppose 2*w - 6*w + 12 = 0, 3*t + 4*w + 90 = 0. Suppose 99 = p + 132. Which is smaller: t or p?
t
Let s = 9 - 4. Suppose -3*m = 2*t - 30, 38*t + 4*m = 40*t + 12. Is t < s?
False
Suppose -w + 42 = 5*z, -2*z + 4*w = -z. Suppose 5*q - z*q = -156. Let h be 4 - (432/q + -4). Which is greater: h or -1?
h
Suppose -v + 3*o + 47 = 7*o, -2*v - 5*o + 85 = 0. Let m be 56/v + (-4)/(-10). Let w be (-4)/(-14) - (m + -2). Is 0 at most w?
True
Let v(o) = o**3 - 5*o - 7. Let y be v(-5). Which is smaller: y or -105?
y
Let d(m) = -m + 61. Let b be d(38). Which is smaller: b or 1?
1
Let q = 1.9 + -5.9. Let i = q - -4.2. Let x = -7 - -3. Is i bigger than x?
True
Let u(b) = -2*b**3 - 10*b**2 - 6*b + 6. Let c be u(-6). Let w = 115 - c. Is 23 > w?
True
Suppose 2*f + 5*x = -62, -12 = 2*f - 5*x + 70. Let j = -25 - f. Suppose -6*q = -j*q + 45. Which is smaller: 8 or q?
8
Suppose i + l - 2*l + 3 = 0, -4*l = -2*i - 4. Let g be 1 + ((-252)/(-65))/i. Is 2/3 at most as big as g?
False
Suppose 0 = -3*i - 5*q + 22, 4*q = 2*i + 3*i - 12. Let s(f) = -f**2 + 4*f - 2. Let m be s(i). Let c be 14/63 - m/(-9). Is c at most as big as -2/5?
False
Let f = 2 + -2. Let t(y) = y - 39. Let p be t(-6). Let r = -403/9 - p. Which is greater: f or r?
r
Suppose 2*n - 2*y = 18, -2*y + 16 = 4*n - 32. Suppose 6*s - n*s - 65 = 0. Is -13 < s?
False
Let w = -2608 + 54802/21. Is 1 smaller than w?
True
Let s(l) = l**3 - 3*l**2 - 7*l - 7. Let b be s(0). Which is smaller: b or -49/8?
b
Let p = 3499/4 - 875. Which is greater: p or 268?
268
Let o = 3 - 10/3. Let k be (-4964)/3060 + (-2)/(-9). Which is bigger: k or o?
o
Let u = 0.448 + -0.078. Let y = u + -1.28. Let l = y + -0.09. Which is greater: 1/2 or l?
1/2
Let j(f) = -f**3 + 14*f**2 + 2*f - 17. Let w be j(12). Which is smaller: 293 or w?
293
Suppose -4*m - 47 + 51 = 0. Is m <= -2/131?
False
Let v = 58138/35 - 1661. Let m be ((-1)/(-2))/((-2)/4). Which is smaller: v or m?
m
Let d = 6 + -1. Suppose b = -3*l - 3, -3*b + 2*l = 4*l - d. Suppose 20 = 5*k, -5*f = -b*k + 17 - 0. Which is greater: f or -3/2?
f
Suppose -7*c - 199 = -234. Suppose -7*h = -2*a - 2*h + 20, -2*h - 8 = -4*a. Is c bigger than a?
True
Let h be -1 + 4 + 25/((-500)/80). Is -1/97 at least as big as h?
True
Let q(x) = -x + 12 + 4*x**2 - 5*x**2 + 6*x. Let a = 2 + -6. Let o be q(a). Which is bigger: -25 or o?
o
Let x be (-216)/(-99) - (-2)/(-11). Let a(b) = b**3 - 5*b**2 + 6*b - 5. Let m be a(4). Suppose -m*i = -x*i. Are i and 2/9 equal?
False
Let i = 13 + -17.6. Let q = -6 - -1. Let c = q - i. Is c greater than -2/5?
False
Let q = -72.37 - -73. Let d = q + 36.37. Which is greater: -0.1 or d?
d
Let n be (4 - 9)*(-9)/15. Let m = -1 + n. Suppose m*j + 2 = -0. Which is greater: j or -1/7?
-1/7
Let i = 119851/1709300 - 2/17093. Which is greater: i or 0?
i
Suppose -i + 0*u + 3 = 4*u, 4*i - 5*u + 9 = 0. Let f be (-2 + i)*91/(-21). Which is greater: 14 or f?
14
Let y be ((-4)/6)/(20/(-255)). Let f = 0.0862 - 2.0862. Which is bigger: f or y?
y
Suppose -5*d - 64 + 39 = 0. Let f be ((-2)/(-3))/((-4)/30). Is d at most as big as f?
True
Let h = 14 - 14.21. Let d = h + 0.11. Let j = 1 + -2. Which is greater: d or j?
d
Let i be (15/(360/16))/((-8)/(-6)). Let j = 22.7 + -22. Which is bigger: i or j?
j
Let f = 1173.3 - 1173. Which is smaller: f or -0.3?
-0.3
Let w be 2/60 + (2 - (-192)/(-90)). Are w and -1 equal?
False
Let s = -3.582 + 4.182. Let x = -125 + 379/3. Is x greater than s?
True
Suppose 0 = -f + 2*q - 1, 2*q = 3*f - 1 - 0. Let a = -1.6 - -2.3. Which is bigger: f or a?
f
Let x(i) = 2*i**3 + i**2 - i + 19. Let f be x(-4). Do f and -87 have different values?
True
Let q(k) = 44*k**2 + 19*k + 1. Let j be q(-1). Which is smaller: j or 29?
j
Let n(r) be the second derivative of -r**4/12 + r**3/3 + 3*r**2/2 + 6*r. Let z be n(0). Is z greater than 0?
True
Let w be 2 - (-2 - -32) - -2. Suppose 0 = 117*j + 2758 + 401. Which is smaller: j or w?
j
Let w be ((-6)/(-15))/(0 - -1). Let p = 260 - 781/3. Is w at least as big as p?
True
Let f(p) = -p**2 + p + 29. Let k be f(-7). Let q = k + 27. Is q < 3?
True
Let l = 0.1088 + -0.0088. Which is bigger: l or -186?
l
Let f = 5 - -20. Let y = 25 - f. Let a = 1.9 + -2. Which is smaller: y or a?
a
Let o = 551/330 + -1/30. Suppose -l - 14*b + 2 = -9*b, 3*l - 2*b = 6. Which is smaller: l or o?
o
Let p = -46 + 596/13. Which is smaller: p or 4/13?
p
Suppose 3*g + 6 = g, 0 = 3*y - 4*g + 30. Let f be (-4 - y)*2/2. Let m = 10 - f. Which is greater: -4/11 or m?
m
Suppose v - 16 = -3. Let y = v + -12. Let n be (y/2)/(4/(-56)). Is -7 greater than n?
False
Suppose -2 = -5*z + 4*z. Suppose z*u + 5 = 5*g, u + 1 = 4*g - 3*g. Let t be (-41)/70 + (-2)/(-7). Is g equal to t?
False
Suppose -21*b + 12 = -18*b. Suppose -5*p - 6 = -3*s - 21, 0 = -4*p + b*s + 4. Do p and 3 have different values?
True
Let a be ((-132)/1639)/(-6)*1. Suppose 0 = -5*w - 5*m - 30, -m - 2 = -5*w + 2*w. Is a less than w?
False
Suppose -j - 35 = -2*f, 1 = -4*j + 5*j. Suppose 4*u = 2*n + 22 + f, 2*u = 8. Let g be ((-12)/1116)/(2/n). Which is smaller: g or 0?
0
Let j be -2 + 2 + 3 + -2. Let t be -5*(j + 36/(-20)). Suppose 3*n + 5*w = -11, t*n + w = -4*w - 13. Are 2 and n unequal?
True
Let y be 18 + (-15)/10*8/(-3). Which is bigger: -1 or y?
y
Let s be (6 - 3)/(-16 + 19). Is s at least as big as 44/35?
False
Let i = -883 - -883.2. Are 780 and i unequal?
True
Let s(u) = u**2 - 6*u + 5. Let t be s(5). Suppose 2*n - 3*n + 3 = t. Suppose -n*r = -2*r + h + 11, 4*h - 8 = 0. Is -12 less than or equal to r?
False
Suppose -c + 6*c - 25 = 0. Let g = 116.2 - 103. Let f = g + -13. Which is smaller: f or c?
f
Suppose 0 = -46*f + 19*f + 4131. Which is bigger: 146 or f?
f
Let n be (-6)/(-16) - -25*3/2040. Which is greater: n or 0?
n
Let u(c) = -3*c - 17. Let k be u(-7). Suppose -k*t + 0*s + s + 95 = 0, -s = 3. Do 23 and t have the same value?
True
Let f be (-35)/(-15) + (-1)/3. Suppose 0 = -4*q - 2*b - f*b - 220, -3*q - 4*b = 168. Is q at least -53?
True
Let g(o) = o**3 - 9*o**2 + 13*o - 14. Let f be g(8). Let l be 16/32 + (-17)/f. Which is smaller: l or -5?
-5
Let d = -0.5 - 3.7. Is 0 >= d?
True
Let t be 0 + 4 + -1 + (-10)/5. Let q be -3 + -2 + t - (-7828)/1938. Is q != -1?
True
Suppose 403 = -18*s - 677. Is -60 equal to s?
True
Let i = -635 - -432. Is -203 equal to i?
True
Let o be (1 + (-5)/3)/((-2628)/(-27)). Which is smaller: o or 0?
o
Let z(a) = 4*a + 2*a**2 + a**3 + 0 - 1 + 3*a**2. Let o be z(-4). Let c = 1037.8 + -1037. Is o >= c?
False
Let r be (0/1)/(-13 - -15). Which is smaller: r or -3/113?
-3/113
Suppose -3*j + 44 = 3*w - 4, 3*w + 88 = 5*j. Let u = 4 - 4.1. Which is smaller: j or u?
u
Let n(y) = y**2 - 7*y - 61. Let o be n(12). Let j be (12/5)/(21/1730). Let k = 198 - j. Which is smaller: o or k?
o
Let s = -0.6 + -4.5. Let f = -5 - s. Which is smaller: 7/2 or f?
f
Let d = -0.1 - -0.1. Let y = 97.1 - 98. Let g = 0.1 - y. Is g at most d?
False
Let q be (-58)/(3 + -2) - (7 + -9). Is q <= -56?
True
Suppose i - 39 = 5*d - d, 2*i - 42 = 4*d. Let h be d/(-6)*8/12. Is h bigger than 9/8?
False
Let x = 70 - 70. Suppose 3*i + 5*j + 0*j - 32 = x, -5*i - 2*j + 47 = 0. Which is smaller: i or 8?
8
Suppose -w = 2*v + w + 26, -10 = 5*w. Let g be 28/14 + 20/v. Is 0 less than g?
True
Let t be (-68)/7 + (-530)/(-53). Let d = 3 - 3.16. Let f = 1.76 + d.