-k**2 + 20*k - 17. Let o be s(13). Let b = o + -371/5. Which is smaller: b or 0?
b
Let a be 1 - ((-3)/((-9)/6) + 0). Suppose 5*o = n + 74 + 51, 5*n - o + 553 = 0. Let r = -323/3 - n. Which is bigger: a or r?
r
Suppose 3*c = -2*c + 2*x - 28, 0 = -3*c - x - 19. Let m be (-28)/c + (-6)/3. Let z be (2 - 4)/((-2)/4). Is m bigger than z?
False
Let v be 8/6*(-18)/(-12). Suppose 2*s - 7*s = -20, -20 = -v*c - 3*s. Suppose -c*g + 3*x - 4 + 1 = 0, g - 28 = -5*x. Which is bigger: 4 or g?
4
Suppose -5*x = 13 - 33, 3*x - 44 = 2*d. Suppose -70 + 104 = -2*y. Which is greater: d or y?
d
Let m = -0.072 + 0.652. Let c = 4.58 - m. Which is smaller: 2 or c?
2
Let j = -0.2161 + -0.0039. Is 4 greater than or equal to j?
True
Suppose -2*v - 2*j + 86 = 0, -2*v = -8*j + 5*j - 111. Which is greater: v or 0.11?
v
Let h be (-5)/(60/16)*21. Let m = -76 + 47. Are h and m unequal?
True
Suppose -12*d - 30 = -7*d. Is 4 at most as big as d?
False
Let y(s) = -s. Let l be y(0). Suppose 6*d - 3*d = l. Suppose -2*r = -2*h, d = 3*h - 3*r + 8*r. Which is greater: 4/5 or h?
4/5
Let z = 40 + -42. Does -11/12 = z?
False
Let k(m) = m**3 - 8*m**2 - 8*m - 6. Let j be k(9). Let x be (-1)/j - (-2)/(-3). Which is greater: x or -1/29?
-1/29
Let o = 119 + -171. Which is smaller: -2 or o?
o
Let w = -637 - -638. Let a = -17/36 + 2/9. Which is smaller: w or a?
a
Let l be 2/(-3) + 11/(-33). Let d be ((-8)/(-336))/(2 + l). Which is greater: 1 or d?
1
Let s(o) = 10*o + 67. Let r be s(-14). Which is smaller: -74 or r?
-74
Let i(c) = c**2 + 2*c - 1. Let z be i(0). Which is bigger: 5/117 or z?
5/117
Let g(k) = -16*k + 147. Let n be g(9). Which is greater: n or 49/12?
49/12
Let i be 9/(-8)*(-1)/(-3). Let z = 0.58 - 0.07. Let s = z - 0.41. Are i and s unequal?
True
Suppose -4*k = 2 - 18. Suppose -7*w = k*w. Which is bigger: -1/2 or w?
w
Let n = -47/25 - -2/25. Is n != 2?
True
Suppose -8 + 8 = -2*v. Suppose 5*u + l + l + 170 = v, -5*u + 4*l - 140 = 0. Which is smaller: -33 or u?
-33
Let j(n) be the first derivative of -5*n**2/2 + 3*n + 9. Let h be j(3). Let w be (-10)/h*(-18)/(-40). Which is greater: w or 0.1?
w
Let y = -0.402 - -0.49. Let s = y - -2.912. Which is bigger: s or -1?
s
Let d = -94 - -377/4. Let o = -0.01 + 0.03. Which is greater: d or o?
d
Suppose 6*r - 8 = -38. Let d(u) = -14*u - 71. Let j be d(r). Which is smaller: -4 or j?
-4
Let w be 363/8 - 9/24. Let h be (16/(-10))/(18/w). Let u = 174 + -530/3. Which is smaller: u or h?
h
Suppose 4*r - 19 = -c, r - c - c + 2 = 0. Suppose 18 = 2*u + r*m, 3*u + 5*m = 13 + 10. Let b be (-133)/(-152) - u/(-8). Is b greater than 4/11?
True
Let t = 224 + -222. Let d = 1.2 - 1.21. Is d bigger than t?
False
Let u = 1522714/109947 - 928/67. Let n = u + 1172/63999. Let a be 3*2*(-7)/(-42). Do n and a have different values?
True
Suppose -12*k = -9*k + 18. Let h be 6 - (1 - (k + 4)). Which is smaller: h or 9?
h
Let s = -2925.2 - -2925. Let h = -20.82 - -21. Do h and s have different values?
True
Let y = -0.2 + 0.198. Suppose 0 = -6*f - 16 + 22. Which is smaller: f or y?
y
Let i = -9.5 + 12. Let g = -969/4 - -242. Is g not equal to i?
True
Suppose t - 4 = -226*k + 221*k, k - t = 2. Does 1/977 = k?
False
Let l be (-1)/(-5) - (-176)/(-1379). Let y = -3/197 + l. Suppose 18*p = 13*p. Which is greater: p or y?
y
Let y be ((-4)/(-6) - (-176)/(-12)) + 3. Which is bigger: y or -68?
y
Let v be (-8)/28 + (-410)/35. Let j = v - -13. Is j at most 2/37?
False
Suppose -5*o + o + 16 = 0, 0 = w + 3*o - 21. Let k(v) = -v**2 + 8*v + 8. Let m be k(w). Let i be m/5*-2*-5. Is -5/4 smaller than i?
False
Suppose -5*z + 258 = -3*s, -5*z + 2*s = -2*s - 259. Suppose -i + 48 = z. Is i at least as big as -3?
True
Let n = -98 + 171. Let i = n + -65. Is 3 at most i?
True
Let u = -19338/7 - -2768. Is -1 greater than u?
False
Let h be 4/(-8)*-6*9/(-3). Let k(j) = -2*j - 9. Let t be k(h). Which is smaller: t or 11?
t
Let c = 1202 - 745. Does 457 = c?
True
Let a be ((-2)/(-5))/((-44)/220). Is -25/17 less than or equal to a?
False
Let c = -331 - -323. Is -90/13 greater than c?
True
Let h be (-12)/(-9)*(-9)/(-6). Suppose h*n = 17 + 5. Is 14 less than or equal to n?
False
Let y = -8 - -8. Suppose 0 = 5*w - y*w - 25. Let m = -5 - -9. Is w <= m?
False
Let o be 1*(4 - -18)/2. Let i be (o/(-231))/(2/(-8)). Is i at most 0?
False
Let t(d) be the first derivative of -d**4/4 + 2*d**3/3 - d**2/2 + 2*d + 2. Let w be t(2). Let r = 1 - w. Does r = 0?
False
Suppose 3*f = -3*q - 33, 5*q - 6*f + 3*f = -31. Let h(d) = -4*d - 38. Let p be h(-7). Let c = q - p. Is c >= 4/7?
True
Suppose 5*n + n + 5*n = 0. Which is smaller: n or 5/21?
n
Let j(t) = t + 4. Let s be j(-4). Suppose -2*a + 7 + 17 = 0. Let f(k) = k**3 - 11*k**2 - 13*k + 11. Let n be f(a). Which is smaller: n or s?
n
Let w(q) = q**2 - 7*q + 4. Suppose 4*a + u - 21 = 5, -a + 4*u - 2 = 0. Let z be w(a). Which is smaller: z or 3/4?
z
Let d(j) = -10*j - 359. Let n be d(-36). Suppose 5*b = b - 548. Let t = b - -683/5. Which is smaller: t or n?
t
Let q = 7849/36 + -873/4. Is q <= 32?
True
Suppose 0 = 7*r - 6*r - 3*m - 11, -54 = -4*r + 2*m. Is r smaller than -1.5?
False
Let y be ((-1)/2)/((-1)/8). Suppose -2*s = 4*z - 12, -2*s + z - y*z + 13 = 0. Is s < 7?
False
Let u = 527 + -526.9. Is u greater than or equal to -7.36?
True
Suppose 2*l = 13*l - 99. Let r = l + -31/4. Which is bigger: r or 0?
r
Let l = 115.9 + -110. Let a = l + -6. Let b = 0.36 + -0.4. Is b at most a?
False
Let l = 7 + -9. Let r be (-134)/130 - 1/(l/2). Which is greater: r or 1?
1
Let t = 6 - 11. Let o be 24/20 + 1/t. Is o at most as big as -2?
False
Let t = 0.1 + -0.11. Let d = 2.347 - 16.337. Let f = t + d. Is f at most -0.1?
True
Let w be 2/(-2)*(-1 - 0). Let d be (27/6)/(w/2). Let c be (-2)/(-2) - (d + -8). Is 1 less than c?
False
Suppose -15 - 9 = -6*v. Let m be -4*(-2)/v - 27/12. Are -1 and m equal?
False
Suppose -17*t = -22*t - 3*r - 7, -t - r - 3 = 0. Which is smaller: 2/391 or t?
2/391
Let z = 334 - 1951/6. Let g = 26/3 - z. Which is smaller: g or -0.8?
-0.8
Let v = -10 - -18. Let c = -5 + v. Suppose -z - r - 4 = c*z, 3*r + 4 = -4*z. Is z at least as big as -1?
True
Let l(n) = -17*n**3 + 4*n**2 - 3*n + 9. Let q be l(3). Let f be -1*6/q*(0 + -3). Is f > 1?
False
Let n = -103 + 101. Let a be (-3)/(-12) - (-260)/(-144). Which is greater: n or a?
a
Let d = 607.87 + -604. Let a = 4 - d. Let v = a - 0.13. Is v less than or equal to 3?
True
Let n be (1 + 1)/((-2698)/(-418)). Which is smaller: 0 or n?
0
Suppose 2*j + 84 = -2*x + 5*j, x - 4*j = -52. Let b = x + 35. Let i = 5 + -9. Are b and i non-equal?
True
Let x = -3/84785 - -524903986/1441345. Suppose -364 = -0*a + a. Let s = x + a. Which is greater: -1 or s?
s
Let i = -6458 - -303514/47. Let r = i - -15/611. Let a = r + -1/52. Is -0.1 <= a?
False
Let t be (3 + -4)*0/(-5). Suppose -2*j - 5 + 3 = t. Which is bigger: 2/127 or j?
2/127
Let s be 30 + -3*(6/3)/2. Suppose 5*u + 3*c = -23, -2*u + u + 5*c - s = 0. Which is smaller: u or -22/3?
-22/3
Suppose -3*d = v + 12 + 13, 34 = -4*d - 2*v. Let j be (-5)/2*d/10. Let z = -1 + 2. Which is smaller: z or j?
z
Let g = -3.091 + 2.091. Is g >= 158/5?
False
Let x(d) be the third derivative of -d**4/24 - d**3/6 - 18*d**2. Let q be x(-12). Is q < 12?
True
Let x be 12699/7 + -1 + (-65)/455. Is x != 1813?
False
Suppose -4*y + 1 = -15. Suppose y*o - 505 = -1641. Let z = -3690/13 - o. Which is smaller: -1 or z?
-1
Suppose 16 = -115*g + 119*g. Suppose -12*f = -g*f + 328. Is -41 equal to f?
True
Let y(w) = -w + 8 + 4*w**2 - 7 - 44*w**2. Let r be y(1). Let g = r - -16. Which is smaller: g or -23?
g
Suppose 0 = -2*p - p. Suppose -h = 2, 3*x - 5 = 5*h - 4. Let a be (p - x)/(1/(-3)). Which is greater: -10 or a?
a
Let g = 46 + -43. Suppose -2*h = -4*y - 2, -g*h - 2*h - 8 = 3*y. Which is smaller: h or 2/7?
h
Let m = 120 + -117.6. Let u = 1.52 - 0.12. Let s = u - m. Which is smaller: s or -7/3?
-7/3
Let y = -71 - -73. Let o be (y/(-3))/((-44)/(-33)). Which is smaller: 0.2 or o?
o
Let i = -70 + 29. Let r = 30 + i. Which is bigger: -9 or r?
-9
Let s be (-3240)/3384 + (0 - -2 - 1). Is 0 >= s?
False
Let j = -18 + 20. Suppose -2*h + j = -4*h. Is h smaller than 3/17?
True
Let t be (1 - -1)/((160/(-3165))/16). Is -633 >= t?
True
Let v(t) = 6*t + 14. Let u(q) = -5*q - 15. Let j be 36/(-10) + 12/(-30). Let i(h) = j*v(h) - 5*u(h).