 8*d. Let k be y(-8). Suppose k*v = 3*v + x + s, 0 = v + 2*x + 3. Is v smaller than -3?
False
Suppose 0 = -2*m - u + 16, -3*m + 25 = 2*m - 5*u. Let g = 96 + -87. Are m and g non-equal?
True
Let g be 2/18*(-11682)/(-885). Which is bigger: g or 2/5?
g
Let v(i) = i**2 + 3*i - 1. Let r be v(-4). Suppose -5*b = -r*n + n + 13, 0 = -4*n - 5*b + 41. Is 7 greater than n?
False
Let h(z) = z**3 + 11*z**2 + 28*z - 1. Let u be h(-7). Which is smaller: -6/691 or u?
u
Let w = 7 + 1. Let z be ((-9)/(-6))/(((-60)/w)/(-5)). Is -53 bigger than z?
False
Let y = -204 - -200. Which is smaller: 2 or y?
y
Suppose 0 = 4*s + 4*i + 20, s - 5 = -0*s + i. Let m be (-6*(-15)/(-40))/((-2)/112). Let v be ((-3)/4)/(m/224). Is v smaller than s?
True
Let z(f) = f**3 + 6*f**2 - 8*f - 4. Suppose 0 = -5*d - 11 - 24. Let u be z(d). Let l be 9/((-9)/(-3)) - u. Which is greater: l or -3?
l
Let v = 264 + -264. Which is greater: 1/129 or v?
1/129
Let a = -4.06 + 0.06. Let y = -4.04 - a. Let m = y + 0.14. Which is bigger: m or -4/7?
m
Let v = -278 - -277.7. Are v and -6/11 nonequal?
True
Let v = 26965309/57 - 473099. Let n = v - -109/19. Let t = 16 + n. Is -2 < t?
True
Let p be (16/(-20))/((-2)/(12 + -2)). Suppose -5 = -p*r - 33. Is -11 < r?
True
Let t = -28 + 27.66. Let g = 0.24 + t. Which is smaller: g or -0.05?
g
Let x be 16/(3*(-4)/(-18)). Suppose 0*u - x = 5*w + u, 18 = -4*w - 2*u. Let b be 10 + -1 + (w - -2). Which is bigger: b or 7?
7
Suppose 0 = 2*o + 133 - 21. Is o smaller than -219/4?
True
Let t = -20.9 + 25. Let v = t - 4. Let i = -37 - -37.3. Is i less than or equal to v?
False
Suppose a = -0*a + 2*h + 16, 0 = -2*a - 2*h + 20. Suppose a = 2*w + 32. Is w greater than or equal to -55/6?
False
Let d = -1606 + 1599.49. Let n = -0.51 - d. Do -0.4 and n have the same value?
False
Suppose -5*i = -2*n - 8, -8*n = -7*n + 4. Let h = 4 - 4. Are i and h nonequal?
False
Let k = -247 + 236. Which is smaller: -48/5 or k?
k
Let a(z) = z**3 - 17*z**2 - 17*z. Let y be a(18). Suppose 9*b + 9 = 4*b - 2*j, 5*b - j = -y. Let c be (36/63)/(1 + b). Which is greater: -2 or c?
c
Suppose 3 = -u + 8. Suppose -u*o = 2*o - 35. Is 6 greater than o?
True
Let w = 32.07 - 32. Let n = w - 0.05. Let g = -36/7 - -34/7. Does g = n?
False
Let p be 1859/39 + 15 - 2/3. Which is greater: 4 or p?
p
Let v(o) = -o**2 - 8*o + 5. Let k be v(-10). Let y(u) = -u**3 - 16*u**2 - 15*u + 12. Let w be y(k). Which is bigger: 10 or w?
w
Let p be -2*(-4)/8*-84. Which is smaller: p or -82?
p
Let c = -69 - -2148/31. Which is greater: c or 0?
c
Let q = 7.37 - 2.37. Is 3 at most as big as q?
True
Let v = 39 - 37. Let q = -50 - -47. Are q and v unequal?
True
Let y = -43 - -27. Let p be y/56 - (-51)/7. Which is smaller: p or 9?
p
Let r = 37.928 - 0.952. Let x = r - -0.024. Which is smaller: x or -2/9?
-2/9
Suppose 440*m - 435*m - s = 11, 4*m + 5*s + 26 = 0. Let f be (-4)/(-3)*3/166. Is f greater than m?
False
Suppose 303*g = 298*g - 50. Let x(o) = -o**2 + 6*o + 9. Let y be x(8). Which is greater: y or g?
y
Let w = -25 - -26. Let c = -34.13 + 34. Let q = 0.77 - c. Which is smaller: w or q?
q
Let q(h) = 5*h**2 - 30*h + 4. Let i be q(6). Suppose -4*c - d - 6 = 21, 0 = -c + i*d + 6. Let k = 10 - 17. Which is bigger: c or k?
c
Suppose -10*i + 6*i = -16. Let d be ((-5)/6)/(i/(-6)). Is 0 at most d?
True
Let j = -3.18 + 2.98. Let h(l) = -l**2 - 2*l - 6. Let o be h(-5). Let z be -1 - (o/12 + 1). Is z greater than or equal to j?
False
Suppose 5*g - 32 = -5*o - 22, g + 1 = 2*o. Which is greater: g or -3/962?
g
Suppose -5*g - b + 6 = -5*b, -4*b = -4. Let k(x) = 2*x**3 + 3*x - 1. Let p be k(g). Let q be 82/140 - 6/p. Is -1 at least as big as q?
False
Suppose 119 = x - 576. Which is smaller: x or 696?
x
Suppose 7 = 4*b - 4*p + 3, 3*b - p = 5. Suppose 5*q + 3*h = -3, q = -b*q + 2*h + 2. Which is smaller: q or -1/20?
-1/20
Let s(p) = -p + 20. Suppose 4*j = u + 3*u + 24, -5*j = -u - 46. Let a be s(j). Let w be ((-5)/a)/(1/(-2)). Which is greater: w or 2/43?
w
Let s(i) = 12*i - 8. Let m be s(12). Is 136 at most as big as m?
True
Let f(z) = -2*z**2 + 30*z - 24. Let r be f(14). Suppose -4*p - r*c - 16 = -9*c, 4*p - 24 = -5*c. Is p not equal to -1/18?
True
Let x(r) = 45*r - 4. Let n be x(12). Suppose -16 + n = -10*t. Which is bigger: -51 or t?
-51
Let m = -631/6 + 44783/426. Do 1 and m have different values?
True
Let n = -0.9919 - 0.0081. Let s = 309/2 + -6481/42. Let g = -11/21 + s. Is n bigger than g?
False
Let j = 69 + 198. Do j and 264 have the same value?
False
Let c = 546/11 + -5910/143. Which is smaller: c or 8?
8
Suppose 0 = 5*y - 61 + 1. Let n be (-4)/y + 14/(-3). Let u(h) = -h**3 - 6*h**2 - 5*h - 3. Let v be u(n). Are v and 0 unequal?
True
Let u = 455 - 6829/15. Suppose -4*g - 9 + 35 = -2*v, -5*g + 40 = -v. Suppose 8 = -g*f + 17. Which is smaller: u or f?
u
Let w be 44/16 - 2/(-8). Suppose -w*j + 11 = -3*c - 1, -4 = -3*c - 5*j. Let r be c/3 - (-4)/(-12). Which is bigger: -2 or r?
r
Suppose -136*g = -127*g + 2439. Which is smaller: -273 or g?
-273
Let a = 579.8 + -643. Is a less than -0.1?
True
Let y be 3/(-4) + 5 + (-163)/(-4). Suppose -12*p = -3*p - y. Is p >= 4?
True
Let v(m) = -m**3 + 10*m**2 + 2. Let x be v(10). Suppose -1 = -x*n - 9. Suppose -t + 15 = -2*a, 0 = 3*a + 2*a - t + 30. Which is bigger: a or n?
n
Let q = 2418/41 - 59. Which is smaller: 0 or q?
q
Let t = 13 + 12. Let r(c) = -c**2 + 5*c + 24. Let u be r(0). Which is bigger: t or u?
t
Let y = -39 - -41. Suppose 3*b + 2*b = 5*f - 5, -f + 1 = y*b. Which is smaller: f or -2/29?
-2/29
Let d be (12/15)/((-2)/(-5)). Suppose -5*k - 4*m - 6 = 0, -d*k + 3 = -2*m + 9. Let b = 12.07 + -12. Is b < k?
False
Let u = 73 - 85. Let q be ((-5)/45)/(28/u + 3). Which is bigger: q or -12?
q
Let w be 2/12*-2 + 96/297. Let x(y) = -y**3 - 5*y**2 + 6*y. Let j be x(-6). Is w greater than j?
False
Let t = -268 + 269. Is t less than or equal to 1/498?
False
Let m be (-8)/(-24) - 26/(-3). Let b = m + -8. Let c = -35 + 39. Is c greater than b?
True
Let q = 10079/5 + -312357/155. Let v = q + -6/31. Which is greater: v or 0?
v
Let c be 7/(-63) + 28/9. Suppose -6*i - 108 = -c*i. Do -37 and i have the same value?
False
Let i(q) = -q**2 + 14*q + 31. Let u be i(16). Let j = u - -4/3. Is 7/3 at least j?
True
Suppose 60811 = 2*q + r, -2*r + 1 = -r. Let k be (-8)/12 - q/63. Let f = -485 - k. Which is smaller: f or -3?
-3
Let m = -2/27 - -35/108. Let n be (-124)/18 + (-7)/63. Which is smaller: m or n?
n
Let f(i) be the third derivative of i**6/120 + i**5/15 + i**4/12 - 7*i**2. Let q be f(-3). Let l be ((-3)/q + 4)/3. Which is smaller: -2/5 or l?
-2/5
Let w(s) = 5*s - 36. Let h be w(8). Let p be -2 + h/4*1/2. Which is bigger: -2 or p?
p
Suppose 0 = -3*r + 2*y - y + 181, 2*y = -5*r + 320. Suppose 3*h + r = h. Let z = -24 - h. Which is smaller: 6 or z?
6
Let z = -4604/49 + 94. Let t = -764 - -763. Which is smaller: t or z?
t
Suppose -5*t - 4*q - 60 = 0, 4*t + 5*q + 49 - 10 = 0. Which is smaller: -14 or t?
t
Suppose -42*x = -44*x. Which is bigger: 25 or x?
25
Let j(s) = -s**3 + 8*s**2 - 8*s - 3. Let h be j(7). Let t be h/((-1 + -1)*1). Let m be t/(-18) + (-6)/27. Which is bigger: m or 0?
0
Let p = 0.28 + -0.01. Let y = 317 + -320. Which is smaller: p or y?
y
Let y = -3244.6 - -3244. Let z be (2/(-420))/((-8)/830). Let q = 5/24 - z. Is q >= y?
True
Suppose 5*z - 272 - 53 = 0. Let x = -65 + z. Which is smaller: -1/65 or x?
-1/65
Let d(k) = -5*k**2 + 143*k - 12. Let i be d(28). Is 78 < i?
False
Let x = 0.0374 - 4.0374. Is -1/4 < x?
False
Let s = -4 + 10. Suppose -s*h = -18*h - 252. Let w = 50 + -70. Which is smaller: h or w?
h
Let i = -166 + 225.9. Let u = i - 60. Which is smaller: u or 0.1?
u
Let x be 56/42*(-1)/(-134). Which is smaller: x or -1?
-1
Let x = -503/14 - -4687/140. Which is bigger: -1 or x?
-1
Let q be (0 + -4)*(-2 - (-292)/152). Suppose -14 = -2*v - 12. Is v less than q?
False
Let u = -450 - -461. Let j(f) be the second derivative of f**5/20 - 5*f**4/6 - 13*f**3/6 - 7*f**2/2 + f. Let r be j(u). Are r and -28 unequal?
True
Let p be ((-18)/(-15))/(3/495). Let n be 3798/p - 2/11. Suppose 14*w = n*w. Is w less than or equal to 0?
True
Let w(i) = 171*i + 218. Let o be w(-4). Is -467 not equal to o?
True
Let m be (-801)/(-90) + (-10)/(-4). Is m smaller than 11?
False
Suppose -3 = v - 4. Let a be (v - 4)*(-7)/3. Is 11