 be (-2)/6 - (-70)/30. Suppose 2*n + 2*k + 20 = 0, 7 = z*n - 3*n - 4*k. Let v be 2/3 - (-190)/(-15). Which is greater: v or n?
n
Let y = 3663747/617 + -5938. Is y bigger than 0?
True
Suppose 3*g - 2 = 2*j, j + 2 = 1. Suppose -2*o + 6 = g, o - 37 = -4*d - 7486. Let c = 13008/7 + d. Is c equal to -5?
False
Suppose 5*r - 5 = 0, -3*r + 338 = 5*p - 10*p. Is p less than or equal to -66?
True
Let x be ((-154)/21 - -7)*3. Let h(q) = -q**3 + q**2 + q - 2. Let z be h(2). Let p be 3/12 - (-5)/z. Is x smaller than p?
False
Suppose 0 = 3*n - 34 + 22. Suppose -r - 7 = 4*z - 5, z + 4*r = -8. Which is greater: z or n?
n
Let o = -231803/3332 - -3522/49. Let k = 2/5219 - -5524/5219. Let l = k - o. Are l and -1 nonequal?
True
Let j be 8/(-438)*((-3255)/182 + 18). Is -1 smaller than j?
True
Let a = -14027 + 10029307/715. Which is smaller: -1 or a?
-1
Suppose -n + 12 = q - 8, 4*q - 34 = -2*n. Let o = -21 + n. Suppose l + 1 = 4*m + o*l, m = 4*l - 21. Which is bigger: -2 or m?
m
Let l = 10 + -18. Let k be (-14)/8 + (22/l)/11. Does k = 0.5?
False
Suppose -6*v = -5*v - 3. Let q be v - (-3 + 6 + 1). Let f = q + 5. Which is smaller: f or 3?
3
Let b(w) = 2 + 1 - 5 - 13*w + 14*w. Let z be b(4). Let t be (z + -2)/(2 + -1). Is 7/6 greater than t?
True
Let g be 1/(2/(-6)) + 5. Suppose 16 = 4*t + 2*l, -2*l = 4*t + g*l - 16. Suppose 0 = t*z - 1 - 11. Is 0.2 less than z?
True
Suppose -7*i = -5*i. Suppose -5*g + i*g = -30. Suppose -5*y = g + 14. Which is bigger: y or -2?
-2
Let i(s) = -s**3 + 5*s**2 - 8*s + 4. Let p be i(3). Let y be p/(-3) + (-150)/279. Is -1 at least y?
False
Let s = -5.9 + 0.9. Let y = 5 - 2.4. Let n = y - 2.5. Is s less than or equal to n?
True
Let a(y) = -11*y**2 + 5*y - 1. Let m be a(-3). Is -341/3 at most m?
False
Let q(o) be the third derivative of -o**4/24 + 25*o**3/6 - 5*o**2. Let n be q(0). Suppose n = 3*l + v + 9, 5*l - 2*v - 23 = 0. Is 7 > l?
True
Suppose 0*c + 10 = c. Suppose -91 = 3*b - c*b. Which is smaller: b or -1?
-1
Let l(w) = w - 5. Let x be l(4). Let t = -2264/14663 - -12/473. Is t less than x?
False
Suppose -5*z + 21 = -2*f, -2*z + 10 = -2*f + f. Is f at most as big as -39/5?
True
Let c = -2/249 - 488/1245. Is 116 >= c?
True
Let z = 10.7 + -9. Let y be 12/(-21) - 0 - (-125)/35. Let s be (-4)/y + (-3 - 10/(-3)). Which is smaller: z or s?
s
Let i be 4*((-84)/16 - 0). Let h = i + 27. Let x be 5/(-10) - (-9)/h. Which is smaller: 3/11 or x?
3/11
Let l(d) = 7*d + 4. Let z(a) = -14*a - 8. Let m(h) = -5*l(h) - 2*z(h). Let s be m(-4). Suppose -s = 2*g - 0*g. Which is smaller: -13 or g?
-13
Suppose 0 = -2*p + 4*o + 26 - 4, 2*p + 5*o = -23. Which is greater: -1/547 or p?
p
Let m = -1.9 + -7.1. Let d be ((-38)/209)/(3/(-33)). Which is greater: m or d?
d
Let y = 1015/456 - 61/24. Let s(o) = -4*o - 17. Let r be s(-8). Suppose -5*f + r = -5*k, 0 = 5*f + k + k + 6. Are y and f unequal?
True
Let c = 4 + -4. Let k = c + -3. Let y(d) = -d**2 + 2*d + 3. Let j be y(4). Which is smaller: k or j?
j
Let u be (0 - 6)/(-316 + 100/(-10)). Is -1 < u?
True
Suppose 5*h - 5*o + 26 = -o, 4 = o. Let i be 0 + h/(-4)*18. Let v = i - 10. Which is smaller: -3 or v?
-3
Let d(j) = 21*j**2 + j + 6. Let m be d(-2). Which is smaller: 89 or m?
m
Suppose 0 = -2*v + 4*v - 88. Suppose -1122 + v = 2*k. Let a = k + 11321/21. Are a and -1 unequal?
True
Let b(x) = 17*x**2 - 13*x - 16*x**2 + 1 + 0. Let i be b(13). Suppose 3*h + 2*h + 15 = 0, 2*z - 4*h = 16. Which is bigger: z or i?
z
Let q be ((-4)/(-6))/(4*(-5)/60). Let x be -17 + (3 - (2 + q)). Is -16 equal to x?
False
Let v = -221 + 220.92. Is -1 >= v?
False
Let y be 1/((-2697)/(-1347) + -2). Which is bigger: 451 or y?
451
Let y = 3.14 - 87.14. Which is bigger: 2/3 or y?
2/3
Let c(t) = -t**3 + 14*t**2 - 7*t + 29. Let u be c(14). Which is smaller: u or -1/4?
u
Suppose 29*a - s = 25*a + 644, 0 = -3*s. Is 158 != a?
True
Let b = -24 + -5. Let q = -49 - b. Let v = 17 + q. Which is smaller: v or 0.2?
v
Let z be 165/154*4/(-3). Let h = 0.31 - 0.41. Is h >= z?
True
Let d(s) = -31*s + 33. Let x be d(-2). Is x greater than 95?
False
Let w be (-92)/115 - 8/(-10). Suppose 4*s - 6 = 3*s. Let j be s/(-8)*(-3)/18. Which is smaller: w or j?
w
Let w = -21 + -6. Let z be 3/w*12435/(-20). Let i = z - 69. Which is smaller: 0 or i?
0
Let w = -23.5 - -24.5. Is -13/45 >= w?
False
Suppose -10*d = -17 - 233. Suppose -2*k = 3*k - d. Is k greater than or equal to 9?
False
Let r = -166 + 167. Which is bigger: 44 or r?
44
Let b be (12/130)/((-9)/(-12270)). Let t = -173 + 47. Let f = t + b. Which is greater: 0 or f?
0
Let t(q) = 6*q + 27. Let h be t(-8). Let z be (42/(-56))/(h/(-8)). Which is bigger: 2/31 or z?
2/31
Let j = 37/63 + 40/63. Suppose -c + 26 = 25. Do c and j have the same value?
False
Let a = 0.85 - 0.13. Which is greater: a or 1?
1
Let d = -6/19 + -8/95. Let f = -18.7 + -4.3. Let l = 23.2 + f. Which is bigger: d or l?
l
Suppose -6*w - 17 = 211. Let r be 3/(-2)*112/3. Let t be (-1)/4 + w/r. Do t and 2/5 have the same value?
False
Let u(y) = 3*y**2 - y. Let f be u(-1). Let n = f + -18. Is n at least -14?
True
Suppose 4*t = -4*i - t - 104, 12 = -3*t. Do -16 and i have different values?
True
Suppose 0*x - 2*x - 25 = v, -3*x - 3*v - 45 = 0. Which is smaller: 0 or x?
x
Let o = 0.3 - -0.7. Let p = -10 + 14. Suppose -5*m - p = -29. Is m != o?
True
Let t(v) = 9*v**2 - 79*v - 95. Let o be t(10). Let c be (14/(-5))/(1/(-5)). Which is smaller: o or c?
c
Let g = -0.28 - 21.72. Let h = g + 22. Which is smaller: h or 10?
h
Suppose 96*p - 103*p = 217. Suppose 76 = -2*g - 0*c + 4*c, 169 = -5*g + 3*c. Is p equal to g?
False
Let q(o) = -2*o**2 - o + 2. Let v(l) = -l**2 + 5*l - 4. Let i be v(0). Let d be q(i). Which is smaller: d or -28?
-28
Let o be (2/3)/(4/18). Let s = -4.74 + 4.53. Are s and o equal?
False
Let b = -15127/25 + 605. Let a = -2 - -17. Suppose -4*y + a = -3*l, -7 = -2*y + 3*l + 8. Is b < y?
True
Let q = -0.3 - -0.5. Let g = 126 + 4. Let u = 128 - g. Which is smaller: q or u?
u
Let m be 2/(-6) + 12040/2820 + -4. Which is smaller: m or 0?
m
Let d = 0.24 + -0.24. Let l = -186 - -2599/14. Is l greater than d?
False
Let u be (12/5)/(4/30). Let j be 34/(-9) - 4/u. Let p = j + 7/2. Is p > 0?
False
Let d = -79/156 + 1/156. Is d equal to 32.6?
False
Let f(y) = 9*y + 2. Let b(z) = -5*z - 13. Let n be b(-2). Let u be f(n). Is u less than -24?
True
Let p = -1.028 + 0.028. Let t = 0 - p. Which is smaller: t or -0.08?
-0.08
Suppose 2*k - 5 = 7. Suppose -r - 2*c = -40, 55 = r - c + k*c. Suppose -d + 4*d = -r. Which is bigger: -1 or d?
-1
Let f = 3/120824 + 1764996965/1087416. Let t = 1626 - f. Does 4 = t?
False
Let h be 20*(-2 - (-117)/15 - 1). Let l be (h/(-128))/(-1 + (-22)/(-8)). Let s = 2 + -3. Which is smaller: l or s?
s
Let a(v) = v**3 - 49*v**2 + 94*v - 9. Let q be a(47). Is q greater than -9?
False
Let d = 3.1441 - 0.1441. Let z = -5 + 7. Which is smaller: d or z?
z
Let l be 13*(5 + -2)/(-3). Let b = -12 - l. Does b = -2/109?
False
Let c(u) = -u**3 - 6*u**2 - 5*u + 3. Let w be c(-5). Suppose -3*o - 5*z = 4, -4*o + z + 7 = -w. Let b = 19662 - 19660. Is o greater than or equal to b?
True
Suppose -3*m - 3*r + 104 = -8*m, 5*r + 54 = -2*m. Which is greater: m or -26?
m
Suppose -c = 2*d + 11, -3*d - 2*c - 9 = 8. Suppose 63 = 4*i - p, -2*i + i + 24 = -3*p. Let k be 2*1/(-5)*i. Which is bigger: d or k?
d
Suppose -25*x + 31*x + 12 = 0. Let v = 1.1 + -0.5. Which is smaller: x or v?
x
Suppose -726 - 506 = 2*t. Let z = -1207/2 - t. Which is smaller: 14 or z?
z
Suppose 0 = -2*j + 6, -2*v + 5*j = -3*v + 13. Let o be (v/30)/((-10)/60). Let n = 0 - -1. Are n and o nonequal?
True
Suppose -5*v - 3*m = -19, 5*v - 16 = -m - 3. Is -0.025 greater than or equal to v?
False
Let u = -19 + 1921/101. Which is bigger: u or 0.3?
0.3
Let u = 2 + 2. Suppose -21 = -u*a + 3*k, -3*a + 0*k - 4*k = -22. Let x = 39 + -32. Which is smaller: a or x?
a
Let z = -15 - 30. Let l be (36/z)/(44/30). Is l bigger than -0.1?
False
Let r = -232 + 16. Is r at least -216?
True
Let z be (6*466/(-28))/41. Let k = 9227/30545 + -7/745. Let r = z + k. Which is smaller: r or -2?
r
Suppose p = x + 7, -4*p + 25 = 3*x - 6*x. Let h be 1/(16/(-54)) - x. Are h and 1 non-equal?
True
Let v be (-39)/2*(-3 - -1). Is v at most as big as 39?
True
Let w(m) = 2*m - 13. Let z be w(9). Let v(c) = -9*c + 50. Let b be v(z). Which 