3 - 1. Suppose z = 2*k, -4*k = -k - 2*z + 1. Let f be a(k). Is y > f?
True
Suppose -3*s + 2*s + 3 = 0. Suppose 5*z + 6 = 4*v, -6*z + z + s*v - 2 = 0. Suppose -1 = -z*f + f. Is f at least 1?
True
Let y(n) = -2*n**2 + 13*n**2 - n**3 - 9*n**2. Let r be y(2). Let v = -59/4 - -299/20. Which is smaller: r or v?
r
Let c(t) = -2*t + 9. Let j be 5*(-2 - -1)*-1. Let q be c(j). Do q and 0 have different values?
True
Let f(q) = -q**2 - 16*q + 11. Let h be f(-18). Let a = h - -15. Let v(x) = x + 10. Let o be v(a). Which is bigger: -1/4 or o?
o
Let z = 613 + -475. Is 136 bigger than z?
False
Let l(u) = u**3 - 15*u**2 + 14*u - 5. Let d be l(14). Let r(f) = f**2 + 7*f + 10. Let q be r(d). Suppose 2*w + 2*v - 10 = q, -3*v - v = 3*w - 11. Does -1/4 = w?
False
Let p = 13/2321482 - -312524870311/174111150. Let o = 1795 - p. Which is bigger: 1 or o?
1
Suppose 9*q - 4*q - 35 = 3*c, -2*q - 2*c = 2. Let l be (-2)/q - (-15)/6. Suppose -l*a - 2*z = -3*z - 5, 0 = -a + 3*z. Is a smaller than 3?
False
Suppose 5*r - 4*d + 8*d - 35 = 0, -r + 4*d = 17. Is r greater than 23/10?
True
Let r(f) = -f**2 - 8*f + 2. Let k = -28 - -22. Let i be r(k). Which is smaller: 15 or i?
i
Let h = -3590 - -5465. Is h smaller than 1875?
False
Let u be 0/((24/4)/3) + 489. Which is smaller: -1/2 or u?
-1/2
Let p(c) = -c**3 - 2*c**2 + 3*c. Let w be p(-3). Let o = 3 - w. Suppose 0 = -o*j - 6, 2*z + 0 + 14 = -3*j. Does z = 0?
False
Let u(t) = -2*t**3 + 76*t**2 - 72*t - 83. Let h be u(37). Suppose 0 = -3*w - 5*v - 18 + 6, -4*v + 48 = -4*w. Is h > w?
False
Suppose -4*v = -3*o - 1, -4*o = 5*v - 32 - 8. Suppose 4*f + f + o = 0. Is 20 at most as big as f?
False
Suppose 3*h - 6 = 6*h. Let o be 14/21*(-9)/6. Let p be o/3 - 5*10/(-75). Are p and h unequal?
True
Let g = -94/275 + 4/25. Let s be (-518)/182 + (-6)/(-2). Is s equal to g?
False
Let v(l) = 2*l**2 + 18*l - 14. Let z be v(-10). Let m be ((-2)/z*2)/((-26)/468). Are m and -2 non-equal?
True
Let a(v) = -36*v - 102. Let s be a(21). Which is greater: -857 or s?
-857
Let h be (-2)/(-1) + -2 + 1. Let g(w) = w**3 - w**2 - w + 3. Suppose 2*k + 5*d = -0*k + 20, -4 = -3*k - d. Let z be g(k). Which is smaller: z or h?
h
Suppose -s = -2*s. Let h be 4 + (420/54)/(-2). Is h smaller than s?
False
Suppose 2*p - 2*u - 8 = 0, 8*p - 5*p - 4 = -5*u. Which is smaller: p or 36/11?
p
Let l(d) be the first derivative of d**3/3 + 2*d**2 + 3*d - 2. Let v be l(-5). Let p be v/10 + 98/(-35). Is -2 != p?
False
Let m(h) = h**2 + 6*h - 4. Let r be 134/(-14) - (-44)/77. Let n be m(r). Let s = -22 + n. Which is smaller: 2/27 or s?
2/27
Let o be (-42)/(-24) - (-18)/27. Is 1 != o?
True
Let r = -6 + -63. Let h = -66 - r. Which is smaller: 5 or h?
h
Let t be 9/(-30) + 25/2 + -12. Which is bigger: 13/11 or t?
13/11
Let t = -5 + 11. Let l(u) = u**2 - 6*u - 4 - t - 3*u. Let r be l(10). Is r != 2/3?
True
Let h(m) = 5*m - 5. Let k be h(1). Let i be k - (-2)/(-8)*4. Which is smaller: 2/171 or i?
i
Let w = -1415 - -253284/179. Let j = w + -349/1611. Let i = 10 + -12. Do j and i have the same value?
False
Let t(y) = -3975 - 3*y + 6*y + 3985. Let h be t(0). Is h != 10?
False
Let y = -3.31 + 3.31. Let x = 2.01 + -2. Let q = -2.99 - x. Which is bigger: q or y?
y
Suppose 7*k = 8*k - 5. Is k at least as big as 126?
False
Let m(a) = 14*a - 15 - 340*a**3 + 341*a**3 - 2*a**2 - 9*a**2. Let d be m(10). Suppose 0*i - 24 = -i. Which is smaller: d or i?
i
Suppose -16*j - m - 1714 = -21*j, 1022 = 3*j + m. Is 343 < j?
False
Let u(f) = -f**3 - 10*f**2 - 25*f + 5. Let q be u(-6). Which is smaller: q or 0?
0
Let n be ((1 - -3) + -3)*-11. Let k be (-36)/9 + (-46)/n. Are -1/6 and k non-equal?
True
Suppose 7*i - 14 = 14. Suppose -i = 7*b - 4. Does b = -2/15?
False
Let i be ((-6)/10)/((-9)/60). Which is smaller: i or -65?
-65
Let t be 1*(-7 + 4) + 860/292. Which is greater: t or 0?
0
Let s = 1008 - 1007.1. Which is greater: 48 or s?
48
Let l(a) = -2*a**3 - a**2 + 5*a + 3. Let i be l(-2). Suppose -56 + 159 = -5*j + s, 3*j - i*s + 53 = 0. Is j bigger than -22?
True
Let j be (12/(-8)*2 + 7)*1. Suppose -83 = j*o - 5*u - 23, 3*u + 112 = -5*o. Is 0 <= o?
False
Let c = -5 - -14. Suppose x = c*x + 56. Suppose -53 = 5*t + 4*r + 7, 2*r = -2*t - 26. Which is bigger: x or t?
x
Suppose 4*z - z - q - 28 = 0, 5*q + 44 = 3*z. Suppose -1 = -z*s - 1. Is 12/13 less than s?
False
Let o be 56912/(-348) + 4 - -5. Let w = 463/3 + o. Which is greater: w or -1?
w
Suppose 18 = -c + b, b - 1 = 4. Let x be 3*(-10 + (-407)/(-66)). Is x >= c?
True
Suppose -2*r + 7*g = 3*g - 18, 9 = -3*g. Let o(h) = h**3 + 2*h - r*h**2 - 4*h - 4 - 2*h**2. Let x be o(6). Which is smaller: 19 or x?
19
Let p = 3 + -5. Let l be 5 + p + 3 + -2. Let y = l - 5. Is y greater than 2/9?
False
Let j = -3.6 + 4.6. Is j > 29?
False
Suppose k - 16 = 3*g, -18 = -k - g - 6. Let s be (5 - 4)/(2*3/69). Which is bigger: k or s?
k
Suppose 3*h = -2269 + 610. Which is greater: -552 or h?
-552
Let u be (11/(-484)*12)/((-183)/2). Which is smaller: -1 or u?
-1
Suppose -4*u - 12 = -20. Suppose 3*i - 9 = 0, u*x + 13 + 23 = 4*i. Which is bigger: x or -14?
x
Let g = -38.9787 - 0.0213. Which is greater: g or -4?
-4
Let o = 43 + -86. Let v be 3*(-2 + o/(-3)). Which is smaller: 38 or v?
v
Let c(h) = 5*h - 7. Let d be c(5). Let g = 8.3 - 7. Let s = g - 1.2. Which is smaller: s or d?
s
Let x be (9/3 - 0) + 0. Suppose 2*y = -2*f - 18, -4 - 8 = x*y. Is f bigger than -4?
False
Let f = 27046/7 - 3864. Let o = -33 - -41.2. Let s = o + -1.2. Which is smaller: s or f?
f
Let d be ((-2)/4)/(11/(-638)). Let c = -33 + d. Let r(w) = w**3 + 5*w**2 - 5*w. Let p be r(c). Does p = 36?
True
Let f = -8.4 + 9. Let i = 0 - f. Let a = i - -8.6. Which is smaller: -1 or a?
-1
Suppose 0*y - 5*y + 15 = -4*n, -n - 4*y = -12. Suppose 0 = -l - 0 + 4. Suppose 2*h + 6 - l = 0. Which is smaller: n or h?
h
Let q be (-2)/9 - ((-56)/198)/(-2). Which is smaller: -2 or q?
-2
Let o(g) = -g**2 - 18*g - 23. Suppose -5*b + p - 4*p - 75 = 0, 0 = 4*p - 20. Let k be o(b). Is k >= -23?
True
Suppose j = -3*j. Let y = j + 2. Suppose y*z + 2*z = 8. Are z and -4 unequal?
True
Let z = -207 + 207. Let a be 98/(-204) - (-5)/10. Is a greater than z?
True
Let j = -95.13 - -106.4. Let i = 0.27 - j. Let h = i - -17. Which is smaller: 1 or h?
1
Suppose -16*z + 18*z = 4*p, 5*z = -p - 11. Is 2/5491 at most as big as p?
False
Let w = -313 + 7198/23. Let q = w + 95/69. Which is bigger: -0.2 or q?
q
Let l = -4.407 - -1.307. Are -3/11 and l equal?
False
Let o = 52 + -51.767. Let z = o + -0.033. Which is smaller: z or -2?
-2
Let v = -718/459 - -4/459. Let l(r) = -r**3 - 8*r**2 - 9*r + 10. Let q be l(-7). Let t = q - 27. Is v > t?
True
Suppose -11*f + 452 = 474. Which is bigger: f or 1/139?
1/139
Let b = 54.4 - 55.4. Are 1.32 and b equal?
False
Let z be (-6)/((-3)/(-4)*-2). Let o be z - (-2 - (-4 + -1)). Let q = 296/1365 + -1/390. Is o bigger than q?
True
Let m(w) = -w - 15. Let y be (10 - 1)/(-2 + -3 + 4). Let s be m(y). Which is smaller: s or -13/2?
-13/2
Let d(o) = o**3 - 46*o**2 - 50*o + 146. Let r be d(47). Suppose -9 = -2*m - u, 4*u + 1 - 4 = 3*m. Suppose 2 + m = r*g. Are 2 and g equal?
False
Suppose -3*k = 2*l - 37, k + 0*l - 19 = -2*l. Suppose -k = 2*a - a. Is a greater than or equal to -10?
True
Let p = -294.452 + 302. Let i = p - 7.5. Is -1 greater than or equal to i?
False
Let g be 3 + (-123)/39 - 19956/(-936). Which is bigger: 22 or g?
22
Let p = 272 + -273. Is p <= -4/47?
True
Let l(f) = 3*f**3 - 51*f**2 + f + 31. Let q be l(17). Which is smaller: q or 3?
3
Let f be (-3600)/(-68) + (-10)/(-170). Is 49 less than f?
True
Suppose -1025 = -i - 1021. Let b = -7 - -8. Let o be (5/(-2))/(b/(-2)). Which is bigger: i or o?
o
Let n be (2/8)/(13/156). Suppose 5*w = -d + 4*d + 40, n*d + 22 = -4*w. Which is smaller: d or -80/9?
d
Let t be ((-2)/(-3087))/(6 + (-64)/12). Is 0 at least t?
False
Let p(j) = -j**2 - 6*j + 1. Let m = 48 + -54. Let s be p(m). Which is greater: s or 2/99?
s
Let i = 35 - 71. Let q = -1193.1 + 1229. Let g = q + i. Which is smaller: g or 5?
g
Let o = 2048 - 4335. Let w be o/7 - 12/42. Let d = 1967/6 + w. Which is smaller: d or 0?
0
Let q = -13 - -7. Let l be ((-22)/(-12) + 0)*q/9. Which is smaller: l or 0?
l
Let j(h) be the second derivative of -2*h + 1/2*h**2 - 1/6*h**3 + 0. Let t be j(3). Which is bigger: -2/3 or t?
-2/3
Suppose 