z - 9. Let v be s(6). Are v and l nonequal?
True
Suppose -7*k + 11 = 88. Let j(q) = -q**3 - 12*q**2 - 7*q + 26. Let i be j(k). Which is bigger: i or -16?
-16
Let k be 24/(-9 - (-1680)/186). Suppose 133*w + k = 125*w. Is w < -94?
False
Let o = 4681 - 4680. Which is smaller: 5/34 or o?
5/34
Suppose 7*o - 106 - 328 = 0. Let k = o + -57. Suppose 6*h - k*h + 8 = 4*q, 3*h = -q + 2. Is 25/8 smaller than q?
False
Let l be -2 - 48/(-22) - (-1568406)/462. Let j = -2053973/605 + l. Is j smaller than 0?
False
Let h = -47621/480 - -1378/15. Is h equal to -8?
False
Let y = 66 + -56. Suppose 0 = -11*i + 6*i + y. Suppose 3*c - 6 = -b + 2, 2*c - 8 = -i*b. Do 1 and b have the same value?
False
Suppose -5*w + 3*w - 8 = 0. Let v = -25 + w. Let i be (v*6/42)/(6/(-7)). Does 4 = i?
False
Let x be (1/(-2))/(2/4). Suppose 315*v + 219*v + 8141 = -2539. Let c be (x + v/(-14))*(8 - 7). Are c and -10 equal?
False
Let n = -40855 + 18588959/455. Is n at most as big as -1?
False
Let p(z) = z**3 + 2*z**2 + 90*z. Let n be p(0). Do -23/589 and n have the same value?
False
Let m(h) = 5*h**2 - 16*h + 29. Let q be m(9). Let j be 5 + -2 + (-873)/q. Which is smaller: j or -1?
-1
Let u(y) = -11*y**3 + 20*y**2 + 43*y - 1. Let q(s) = 4*s**3 - 7*s**2 - 14*s. Let t(a) = 8*q(a) + 3*u(a). Let r be t(6). Which is bigger: r or 20?
r
Let d be 2/9 - (-668)/(-9). Let a = -7514 + 7439. Is a less than d?
True
Let j = 39353083316/2517219 - 26/279691. Let y = j + -144424/9. Let a = y - -414. Which is bigger: 0 or a?
a
Let s = 74 + -20. Let t = s - 64. Let d(f) = f**2 + 12*f + 8. Let j be d(t). Is -15 at most as big as j?
True
Let b be (-5 - 6/(-12))*(-4)/3. Suppose 0 = d + 3 - b. Suppose 9*o = 12*o - d. Which is bigger: o or 1/26?
o
Suppose 3 + 9 = k - 3*u, -3*u = 2*k + 21. Suppose -36*p = 60 + 264. Does k = p?
False
Let b(m) = -138*m**3 + 13*m**2 - 34 - 7*m**2 + 14*m - 5 + 139*m**3. Let g be b(7). Do g and 697 have the same value?
False
Let x = -42.978 - -43. Let u = 0.422 - x. Which is greater: u or 0.2?
u
Let z = -11.19 + -9.25. Let f = 5044 - 5023. Let c = z + f. Is -0.2 greater than c?
False
Let y = 27 - 52. Let r be (-6)/(-8) + -3*y/(-20). Let a be (r + 4)/(15/9). Which is smaller: a or 0.1?
0.1
Let w = -6509 - -5958. Are -551 and w nonequal?
False
Suppose -u + 16705 = -9*a + 14*a, -4*u - 6704 = -2*a. Is a at most 3344?
True
Suppose -5*n + 3*r + 25679 = 0, -5133 = -n + 396*r - 394*r. Which is smaller: 5138 or n?
n
Let d = -212.11 - -213. Let m = -188 - -189. Which is smaller: m or d?
d
Suppose -24*z - 3*s = -20*z + 19, -43 = 4*z - 5*s. Let y be (120/(-140))/(212/z). Which is smaller: 1 or y?
y
Let z(u) = -14*u - 1528. Let n be z(-45). Is n less than or equal to -4493/5?
False
Suppose -798 = -9*w + 327. Suppose 0 = 138*s - w*s. Are -5/13 and s nonequal?
True
Let z = -60.8 + 60.6. Which is smaller: -1631 or z?
-1631
Suppose -116 = 83*b + 33*b. Which is smaller: 12857 or b?
b
Let u = -244 - -249. Suppose u*b = 6*b + 4. Suppose -c - 21 = 4*g, 0*c - 4*c = 2*g + 28. Are b and g nonequal?
False
Let n = -160 + 159. Suppose u - 1745 = -5*p, -2*u - 355 = -p - u. Let y = p + -7354/21. Is n smaller than y?
True
Let k(q) = -q**3 + q**2 - 1. Let g be k(-1). Let o be (57/95 - 24/90)/(1/(-435)). Which is greater: o or g?
g
Suppose -5*j = 1 + 9, m - 5*j + 2 = 0. Let b = -70 - -74. Let k be (b/(16/(-318)))/6. Which is smaller: m or k?
k
Let g = 815 + -822.78. Let v = 7.98 + g. Is -2/21 greater than or equal to v?
False
Let v = 67 - 130. Let b = -75 - v. Let h be (b/90)/(2/20). Which is smaller: -1 or h?
h
Let l = -450505948/692989 - -9/62999. Let o = 649 + l. Suppose 34 = -2*v + 32. Which is greater: o or v?
v
Let u be (-6)/(-7*5/135). Let f = u + -2521/105. Are f and 0 non-equal?
True
Let d(h) = -3820*h + 240. Let c be d(1). Is c <= -3583?
False
Let n = 131 + -126. Suppose -366 = 3*r + 5*k - 8*k, -k + 622 = -n*r. Let c = 749/6 + r. Are c and -3 non-equal?
True
Let s(l) = 55*l**2 + 89*l - 1. Let z be s(-3). Which is smaller: z or 677/3?
677/3
Suppose 308 = 4*m + 2*i, m - 12*i - 56 = -16*i. Which is greater: 78 or m?
m
Let c(r) = 9*r - 4*r**2 - 4 + 3*r**2 + 14 + 2. Let q be c(4). Does q = 35?
False
Suppose q - 115 = 6*q. Let n be (102/4)/(6 - 270/48). Suppose 3*v = 5*u + 43 + n, 2*v + 59 = -3*u. Which is smaller: u or q?
q
Let b = 69 - 65. Let a be (133/4)/(b/16). Let i = 122 - a. Which is smaller: i or -29/3?
i
Let f(v) = -5*v**2 + 28*v - 9. Let x be f(8). Let w be (-10140)/x + 10/7 + -2. Let r(a) = a**3 + 15*a**2 - 6*a + 7. Let c be r(-15). Are w and c unequal?
True
Suppose 2*y - 1 + 3 = 0. Let t = 2.5 + 0.2. Let o = 2.9 - t. Which is smaller: y or o?
y
Let s = 405 - 242. Let m = s + -163. Which is smaller: m or -1.2?
-1.2
Let h = 46 - 46. Suppose 0*q - 3*q - 12 = h. Let f be (-6)/(-2) + 30 + q/(-2). Which is smaller: 34 or f?
34
Let o = -4 - -6. Let a = -139481/9 - -15498. Is o < a?
False
Let u(t) = 22*t - 1672. Let l be u(76). Which is smaller: l or 1/6091?
l
Let u = -750313/7 + 106945. Which is smaller: -243 or u?
-243
Let r = 434.746 - 0.746. Let s = r + -428. Do -13/2 and s have different values?
True
Let k = 2 + 39.3. Let u = k + -41.3. Is u not equal to 4?
True
Let b = -712836/3005 + 10/601. Let i = b + 84216/355. Is i less than or equal to 1?
True
Let k be 111636/(-630)*(-2)/(-8). Is k > -43?
False
Let h = 359 + -357. Let s be (2/(-2836))/((h/8)/1). Is 1 at most as big as s?
False
Suppose 91*w + 68*w - 18310 + 130246 = 0. Which is bigger: 0.04 or w?
0.04
Suppose -5*k - 22 = 103. Let m be (-7 + 12 - 5) + (2 - 1). Let t(d) = -24*d**2 - 32*d + 33. Let y be t(m). Is y at most as big as k?
False
Let m(a) = a**3 - 11*a**2 - 21*a + 1. Let u be m(13). Let p be ((-302)/4)/((-33)/u). Which is smaller: -0.1 or p?
-0.1
Let a be (-4 - -4)/(0 + 1) + 2. Suppose -5*o - 52 = -4*y, 0*o - o + 26 = a*y. Suppose -33 = 10*t - y. Which is smaller: t or -12/11?
t
Suppose -5*x + 2*u = -18, 2*x - u + 12 = -5*u. Suppose 2*a - 6*w + 10*w + 38 = 0, 5*w = 3*a + x. Are -10 and a unequal?
True
Let d = 323/112 - 134327/24752. Let q = -30/13 - d. Is 0 less than q?
True
Let b = -483 - -551. Suppose -4*s + 3*r = -66, b = -5*s + 9*s - 4*r. Let y = 13 + 2. Is s less than y?
False
Let x = 0 + 0.1. Let b = 37421/1491 + 40/213. Is b <= x?
False
Let h = -613/296 - -17/8. Suppose -3*s = 5*b - 2*s - 159, -5*s = -4*b + 104. Suppose 35*i = b*i - 4. Is i at most as big as h?
True
Let c be 2*(-15)/36 - (-5155)/(-6). Let g be 129/c*4/6. Which is greater: -1 or g?
g
Suppose -t - 4 = -4*r, 0*r - 2 = 3*t - 2*r. Let u = 95762.2 + -95761. Is u at least t?
True
Let n(f) = 209*f**3 + 316*f + 315. Let s be n(-1). Which is bigger: -207 or s?
-207
Let r be -3 + (-2 + 1 - (-21923)/5481). Is -1 > r?
False
Let y be 1/(-4276) - (0*(-8)/(-48))/5. Which is smaller: -1 or y?
-1
Let q = 58 - -17. Let h = q - 76. Are h and -2/365 equal?
False
Let q = -4 - -3.9. Let f = -1.2315 - 0.3985. Which is smaller: f or q?
f
Let p be ((-21)/12 + (-5)/20)/(3/1308). Is p at least as big as -872?
True
Let r = -33.83 + 34. Let m = 0.36 - r. Let h = m + 0.01. Which is greater: 6 or h?
6
Let j = -40929/13247 - -13/1019. Is j not equal to 3/17?
True
Let p = -3.4289 + 0.4289. Is p > -483?
True
Suppose -13*m - 35 - 48 + 57 = 0. Is m != 0.4477?
True
Let w = -1/30473 + 2072169/152365. Let j = -2 - -3. Which is greater: j or w?
w
Let s be 2 + -3 - ((-10215)/3074 + 2). Let l = -5/106 + s. Which is bigger: 0 or l?
l
Let t = 329.712 - -0.288. Let q = -134 + t. Is q at least as big as 0.2?
True
Let b = -126823 + 2916131/23. Which is smaller: -35 or b?
-35
Let a = 0.272 - -0.798. Let l = 1.17 - a. Which is smaller: l or -5.7?
-5.7
Let h = 8956 - 2529. Which is smaller: h or 6428?
h
Let b = 18.534 + -21.534. Which is bigger: -0.1613 or b?
-0.1613
Let w = -12.626 - -0.306. Let z = -0.51 + w. Let i = z + -1.17. Is i >= 2?
False
Let v = -337/11 + 823/187. Which is greater: v or -25?
-25
Suppose 88*c + 38*c = 504. Let r be (2*(-77)/22)/c. Let u = 7 - 10. Which is smaller: u or r?
u
Let j = -8.072 - -29.072. Which is smaller: 69 or j?
j
Let z = -1.2 + 1.4. Let p = -0.8 - z. Let q = -0.0129 + -0.0771. Which is bigger: p or q?
q
Let g = 0.179 + -54.179. Let a = -11 - -12. Which is smaller: g or a?
g
Suppose 0 = 3*t + 5*j + 9 + 3, t - 3*j - 10 = 0. Let q be t/(-4) - 636/80. Let u = -687/85 - q. Is 1