+ -263. Which is smaller: d or 13/18?
13/18
Let x be (10/(-632))/(36/2256) - -1. Is x < 1?
True
Let g = 0.061 + -0.125. Let u = -0.164 - g. Let f = -0.1 - -0.1. Which is greater: f or u?
f
Let i = -0.94 + -0.06. Let k = 204.9 + -199.6. Which is smaller: i or k?
i
Let k be ((-9)/(-8) + -2)*4. Suppose -4*i - 5*b = -281, 202 = 3*i + b + b. Let p = i + -68. Which is smaller: k or p?
p
Let c = -47.4 + 12.4. Let i = -3.6 - -22.6. Let n = c + i. Is 2/3 >= n?
True
Let f be 1 + 5 - ((-279)/(-165) - -4). Which is greater: f or 1?
1
Let f be ((-120)/(-160))/(0 - (-11553)/(-8)). Is f > 0?
False
Let y(w) be the first derivative of w**5/20 + 7*w**4/12 - 7*w**3/6 + 3*w**2 - w + 3. Let l(j) be the first derivative of y(j). Let r be l(-8). Is r equal to -2?
True
Let b be 82 + -82 - (-212)/(-2). Which is bigger: b or -105?
-105
Let v(r) = -r - 8. Let l be v(6). Which is bigger: -16 or l?
l
Suppose 2*p + 4*o = -18, 4*p - o = -0*o. Let i be 200/35 + (-2)/(-7). Let s = -11 + i. Is p smaller than s?
False
Suppose 0 = j - 2*j + 4. Suppose 21 = -3*t - 2*t - j*l, -3*t = -5*l - 17. Let u = -5.967 + -0.033. Is t at least as big as u?
True
Let l = -94.6 - -244.6. Which is smaller: l or -0.2?
-0.2
Let y be 2/((3/2)/3). Suppose 3*s - 4*b - 65 = 0, -3*b - 31 + 1 = -s. Suppose 0 = y*o + o + s. Which is smaller: o or -5?
-5
Let j = -2333/246 - 2/123. Let a be 71/(-3) + (-12)/36. Let m = a - -14. Does m = j?
False
Let x be 3/(13860/1538) - 2/5. Let q = x + 1/11. Which is bigger: -1 or q?
q
Suppose 0 = 5*p - 5 - 10. Let d be (-3)/p*4 + 3. Let v be 1/2 + d + 1. Which is smaller: v or 1?
v
Let u(y) = y**2 - 5*y - 171. Let v be u(15). Is v less than or equal to 1?
True
Let a = -17/58 + 13535/46574. Which is smaller: 1 or a?
a
Let b = 3 - 2. Let o be 1/b + (0 - 1). Let s = -3255 + 32551/10. Is o equal to s?
False
Suppose -j = -5*z - 3, 0 = 5*z + j + 22 - 15. Which is smaller: -8/19 or z?
z
Suppose 1 = 2*k - f - 0*f, -4*k + 5 = f. Suppose 3*l - 4 = -k. Is l equal to 4/15?
False
Let w = 398/2163 + 2/309. Let t(f) = f**3 + 20*f**2 + 20*f + 20. Let b be t(-19). Which is smaller: w or b?
w
Let z = 1/1498 + 191367/3745. Is 51 at most as big as z?
True
Suppose 2*p = i - 1028, -64*p - i + 1540 = -67*p. Is -512 < p?
False
Let o be -7 - (-1 + 266/(-44)). Let p = 1 - 2. Is p equal to o?
False
Suppose 0 = -5*t - n + 123, 0*n + 45 = 2*t - n. Let f = -23 + t. Which is bigger: 6/29 or f?
f
Let m(o) = -o**3 - 15*o**2 + 2*o + 28. Let k be m(-15). Suppose -4*t + 3*y = 4*y + 17, -14 = 4*t + 2*y. Let n be t*(k - (-10)/6). Is n smaller than 3?
True
Let k = -589259/27 + 21821. Is -4 at least k?
False
Suppose 6 + 21 = -3*b. Let x = 5 - 12. Is x equal to b?
False
Suppose 0 = -10*c + 5*c - 10. Suppose -3 + 9 = m. Let j be c*(45/m)/3. Which is smaller: j or -6?
-6
Let v = -15 + 15.88. Let r = -0.78 + v. Are r and 1/21 unequal?
True
Let s(p) = p**2 - 10*p - 10. Suppose a = 21 - 10. Let t be s(a). Is 1 at most as big as t?
True
Let x = 4 + -3. Let t be (-26)/(-20) - 50/100. Which is bigger: x or t?
x
Let l = -37078 - -37096.941. Let a = l + 0.159. Let s = a + -19. Do 2 and s have different values?
True
Let d = -323/5 - -65. Is d less than -0.03?
False
Let h = -85 + 88. Let n be 14/7*(h/3)/(-63). Let m = 0 + 0. Which is greater: m or n?
m
Suppose 3*w = 2*m, -4*w - 11 = 2*m - 39. Suppose m*y + 50 = 14. Let d be (2/y)/(39/(-54)). Is d at least as big as -1?
True
Let z = 14 + -44. Suppose -12*o = -87 + 459. Are o and z non-equal?
True
Let f be (2/12)/(13/(-273)). Which is bigger: f or -3?
-3
Let a = 105 + -84. Let d be 93/62*(-116)/a. Is -7 at most as big as d?
False
Suppose -8 = -4*s - 2*l, -3*s + 0*l + 6 = -l. Suppose 4*o - 4 = s*o. Let z be o + 2/(2 - 4). Is 2/37 not equal to z?
True
Let b be -2 - ((4 - 1) + -43). Let w = 28 - -9. Is b smaller than w?
False
Suppose -10 = 6*v - 11*v. Suppose -4*g + d + v*d = -7, 4*g + 4*d = -28. Which is bigger: -6 or g?
g
Suppose -2*b = 2*l - 16, -2*b - 8 = l - 28. Suppose -6*h - b = -4*h. Are -7 and h equal?
False
Let f be 678/(-57) + (-2)/19 - -4. Is -10 greater than f?
False
Let w = -5072 + 2013583/397. Are -1 and w unequal?
True
Suppose -4*q + 4 = -2*q. Suppose -6*r = -q*r - 8. Suppose -3*n - 16 = -3*x + 14, -r*n + 15 = 3*x. Which is smaller: -0.2 or x?
-0.2
Let w(d) = -20*d - 4. Let y be w(-1). Let q be (y/(-3))/(35/(-15)). Which is bigger: 2 or q?
q
Let n = 73 + -28. Let s = -47 + n. Which is bigger: s or -16/9?
-16/9
Suppose 4*b + 3632 = 332. Is -825 at least as big as b?
True
Suppose -x = -12*x - 66. Let y be (-1 + 22/18)/(4/x). Which is bigger: y or -42?
y
Suppose -2*n = -4*n - 2. Suppose 15*y + 8*y - 180 = -13*y. Which is smaller: n or y?
n
Let i = 786 + -1553. Is 2/3 < i?
False
Let d(c) = -8*c**2 - 13*c + 9. Let i be d(-2). Suppose -1 = -2*h - 29. Is i >= h?
True
Let w = 0.3 + -5.3. Suppose -4*a - 4 = 4*b, 3*b - 20*a = -22*a. Which is smaller: w or b?
w
Suppose 117 = -4*h + 93. Let n = -88 - -123. Suppose 0 = -5*o - 3*x - 29, -5*o - 8 - n = -4*x. Is h > o?
True
Let g(o) = -o**2 + 2*o + 3. Let c be g(3). Let d be (-2)/(-57)*(-9)/3. Which is bigger: d or c?
c
Suppose 6*t + 113 + 397 = 0. Is -85 less than or equal to t?
True
Suppose -34*k + 6 = -31*k. Do 85/38 and k have the same value?
False
Let u = 221 + -2875/13. Which is smaller: -42 or u?
-42
Let r be 5 - 2 - (-21)/(-7). Suppose r*k + 49 = k. Is 48 not equal to k?
True
Let w = 56 + -53. Suppose -13 = -w*s - 31. Which is greater: s or 1?
1
Suppose -n - 2*s - 60 = 0, -8*n + 12*n + 205 = -s. Which is smaller: -201/4 or n?
-201/4
Let t = -579 + 580. Which is smaller: t or 5/8?
5/8
Let t = -76 + 60. Let c = 86.2 - 102. Let f = c - t. Is -1/8 != f?
True
Suppose 2*t - 6 = 4*g, 2*g + 3*g = -4*t - 1. Let w be 1 + g - -1*7. Suppose w*f = 9*f - 6. Is 2/5 smaller than f?
True
Let s(n) = 2*n + 11. Let v be s(6). Suppose -4*a - v = 61. Let c = a - -11. Which is smaller: -0.1 or c?
c
Suppose 2*f - 28 + 34 = 2*g, -g + 5*f + 23 = 0. Which is greater: 2/3 or g?
2/3
Let v be -24 + -2 + -1 + 7. Are -23 and v nonequal?
True
Let w = 197 - 1383/7. Let m(z) = 8*z**2 - 2*z - 1. Let n be m(-2). Let t be ((-28)/n)/((-4)/(-10)). Which is smaller: t or w?
t
Let l(w) = w**3 + 2*w - 2. Let u be l(1). Let b = u - 1. Which is bigger: -9/8 or b?
b
Let h(d) = -d - 63. Let t be h(18). Let f = t - -20. Is f less than -60?
True
Let v(p) = -p**2 - 9 - p**2 + p**2 - 9*p. Let u(f) = -2*f**2 - f + 2. Let x be u(2). Let b be v(x). Which is smaller: b or -10?
-10
Let j = -53 + 51. Suppose 2*y - 3*y = 3. Let v be j/(-3) - 61/y. Is 21 > v?
False
Let f be (-36)/198 - (-80670)/(-385). Which is smaller: -211 or f?
-211
Suppose -2*s + 4 = -2*k - s, -5*s + 13 = -3*k. Let c = -1 + 1. Which is greater: c or k?
c
Let m(v) = v**3 + 6*v**2 + 8*v + 11. Let x be m(-5). Let r be x + (-4 - 422/(-53)). Does 1 = r?
False
Suppose -1 = 3*v + 2*l, 4*v + l + 3 = -0. Let a(x) = 13*x**3 - x. Let h be a(v). Let b be -1 + ((-20)/h - 0). Do -1 and b have the same value?
False
Let u(c) = c**3 - 30*c**2 - c + 30. Let i be u(30). Which is bigger: i or -1/29?
i
Let p = -6 + 0. Let h = p - -7. Let i = -1/183 - -199/2928. Is i at most h?
True
Let j be 3/(3 + (0 - 2)). Suppose -8 + j = -m. Suppose 2 = -14*i + 20*i - 4. Which is bigger: i or m?
m
Let o(j) = -4*j - 13. Let x be o(-5). Let m = x + -18. Which is smaller: -12 or m?
-12
Let s = 835775/175406 + -1/10318. Which is greater: 6 or s?
6
Let o(r) = -r**3 - 4*r**2 + 30*r - 12. Let v be o(-8). Is v smaller than -24?
False
Let m be 3 + 4984/(-497) + 7. Let t be 2/11 + (-20)/(-11). Suppose 4 = -t*k + 6*k. Which is bigger: k or m?
k
Let h be 6/(-14)*(-24)/72. Is -15 equal to h?
False
Suppose 0 = -29*y + 208 + 82. Which is smaller: y or 6?
6
Let q be (-2)/(-3) + 28/12. Suppose -t = q*t - 12. Suppose -6*y + 6 = -2*y + b, b = t*y - 8. Which is smaller: y or 6/11?
6/11
Suppose 0 = 10*h - 13 + 53. Suppose 3*c - c - 10 = 0. Let a = c + -6. Is h not equal to a?
True
Let x = -1.197 - -0.187. Let m = 3 - 3.01. Let a = m - x. Is -0.3 greater than a?
False
Suppose -4*x + 4 = -3*j, 0*x = j + 4*x - 4. Let m = -279 + 3067/11. Which is bigger: j or m?
j
Let v = 61 + -245/4. Let w be (-9)/7 - (-5)/(105/6). Let f be (9 + -9)/(0 + w). Which is smaller: v or f?
v
Let a(o) = -6*o. Let q be a(1). Suppose -13*b = -36*b + 46. Is b greater than q?
True
Suppose