9. Which is bigger: z or 0?
0
Let c(y) = 2*y - 159. Let p(i) = i - 79. Let o(w) = -6*c(w) + 11*p(w). Let n be o(38). Is n not equal to 49?
True
Let w = -24.05 - -24. Let s = 118 + -98. Suppose 11*p - 12*p = 4*c + 16, 5*c = 2*p - s. Is w less than p?
True
Let c(i) = 2*i**3 + i**2 - 5*i + 5. Let t be c(2). Suppose 4*y = 3*k - 8 + 3, 5*k - t = 0. Let g = -110/3 + 1646/45. Which is bigger: g or y?
y
Let p = -3 + 29. Let t(r) = -3*r**3 + 15*r**2 - 12*r + 9. Let x be t(2). Which is bigger: p or x?
p
Let n(c) = -2*c + 14. Let m be n(-2). Let h be (1/2)/((m/4)/9). Which is greater: -2/187 or h?
h
Let a = -7203 + 7205. Which is bigger: 62/89 or a?
a
Let m = -423 + 423.065. Let j = m - -5.935. Let u be ((-2)/(-1))/(-2)*0. Which is smaller: j or u?
u
Let k = -1461839/39 - -37479. Is k < -4?
True
Suppose 2 = 3*i - 1. Let g = 599/3113 + -3/283. Which is smaller: i or g?
g
Let r be (((-2)/44)/1)/((-14)/(-344)). Let t = -17/11 - r. Do t and 20 have the same value?
False
Let v be 1602/(-623)*14/(-6). Is v <= 29/5?
False
Let b be 2 - (3 - 9/3). Let o be ((-32)/24)/(b/(-12)). Suppose 5*m + 9 = o*m. Which is bigger: 1 or m?
m
Let r = -49 - -319. Suppose -3*y + 12*y - r = 0. Suppose 77 = 2*c - 3*g, 2*g + 2*g - 73 = -3*c. Which is greater: c or y?
c
Let q(u) = -u**3 - 12*u**2 + 9*u - 48. Let c be q(-13). Let y(z) = -z**2 + 12*z - 31. Let h be y(c). Which is bigger: -40 or h?
h
Let c(p) = -p**2 + 15*p + 9. Let s be c(14). Let b = s + -18. Suppose 5*q = -3*u + 2, u + 2*q + 4 = b*q. Which is smaller: 1/19 or u?
u
Suppose k - 18 = -22 + 12. Which is smaller: k or 81?
k
Suppose -c = 4*i + 353, 9*c = 5*i + 6*c + 437. Let t be i - (18/(-15))/((-8)/20). Are -91 and t equal?
True
Let f = 1511 + -972. Let y be (f/55 - 10)/((-2)/10). Which is greater: 3/190 or y?
y
Let b = 14.177 + 2985.823. Which is smaller: 0.1 or b?
0.1
Let c = -39 - -10. Let g = c - -29.064. Let l = g + 0.036. Is l at most 1.5?
True
Let a(j) = 10*j**3 - 6*j**2 + 32*j - 30. Let r be a(4). Is r equal to 642?
True
Let s = -436284 - -14344581638/32879. Let p = s - -1338643/32879. Which is smaller: 41 or p?
p
Let c = -113 + 112. Let l = 0.19 + 0.01. Let k = l + -1.2. Does k = c?
True
Let u = -1148.1 - -1211. Let w = u + -63. Which is bigger: -202 or w?
w
Let u be 2 - (-2 - -1 - -11). Let o(z) = z**3 - 4*z**2 + 4*z - 21. Let g(s) = s - 1. Let x be g(5). Let i be o(x). Which is bigger: u or i?
i
Suppose 2*l + 5*i - 2221 = 0, l = -3*i + 7*i + 1117. Let r = l + -756. Let f = 2494/7 - r. Is -1 at least as big as f?
False
Suppose 0 = -3*u + 3*l + 9, -3*l = 13*u - 12*u - 31. Suppose 4*m - 13 = 3. Suppose -2*t - 24 = -m*t. Is u greater than or equal to t?
False
Let t be -3 - -2 - -4 - -2. Suppose 5*r - x = x + 33, -t*x = 4*r - 33. Do 15/2 and r have different values?
True
Let a = 8.501 - 8.5. Let u = -1.249 - a. Let g = u + -1.75. Which is smaller: g or -0.06?
g
Suppose 2*v + 1750 + 1380 = 0. Let w be (-3)/4 + v*(-5)/10700. Are w and -1 nonequal?
True
Suppose 22*x - 16*x = -36. Let b(c) = 2*c**3 - 2*c**2 - 17*c + 15. Let g be b(x). Is -386 > g?
True
Let f be (64/(-4))/(-4) + (-3 + -5 - 9). Are f and -43 equal?
False
Suppose 31 + 74 = 21*s. Suppose o = -2*w + 225, -s*w - 397 - 333 = -3*o. Is o < 236?
True
Suppose y = -y - 2*f + 14, 7 = y - 3*f. Let a be (-1 + y)/(4/(-26)). Let l = -334 - -2340/7. Is a at least l?
False
Let t = -0.052 + -230.948. Let d = 223 + t. Which is greater: d or 26?
26
Let j = 81 + -115. Suppose 234*p + 229*p + 15279 = 0. Which is smaller: j or p?
j
Let t = 420.37 + -420.4. Which is smaller: -4/45 or t?
-4/45
Let u(n) = -n**2 - 20*n + 2137. Let c be u(-54). Is c at most as big as 904/3?
True
Let a = -4215 - -4574. Is 360 not equal to a?
True
Let p(f) = f**3 - 7*f**2 - 2*f + 17. Let x be p(4). Let a be (-1)/1 + 0 + 423/x. Are a and -12 non-equal?
True
Let s = -14/22653 - 3592097/15743835. Let j = -4/139 - s. Which is greater: j or 23?
23
Let c(l) = -127*l - 762. Let n be c(-6). Let y = 21.6841 - -0.0559. Let q = y - 22. Which is smaller: q or n?
q
Let q = 168.698 + -168.398. Let k = 174.1 - 182. Which is smaller: q or k?
k
Let o be (1/2)/((-1)/2). Let v(z) = -122*z + 3. Let k be v(o). Let g = 245/2 - k. Which is greater: g or -2?
-2
Suppose -5*p + 75 = -5*l, 23*p - 20*p - 2*l - 42 = 0. Which is smaller: p or 2.89?
2.89
Let f = -8592 - -8460.11. Let j = 132 + f. Which is bigger: 2/31 or j?
j
Let g be (-22)/(-18) + 4/(-18). Let i = -629 - -3153/5. Which is smaller: i or g?
g
Suppose 31 = 2*k + 43. Let w be 0 + 7 + k - 44/34. Let g = -27/34 - w. Which is smaller: g or -88?
-88
Let u = 85 + -70. Let g = u - 10. Let h be -2 + ((-270)/7)/g. Which is smaller: h or -9?
h
Suppose 0 = -12*g + 5*g. Let o be -53 + g - (3 + 0). Is -111/2 bigger than o?
True
Let w be (-96)/(((-1)/(-4))/(19/114)). Let u be 500/280*w/10. Which is smaller: -10 or u?
u
Suppose 0 = -32*k + 49*k + 8058. Let g = k - -475. Let b = -1035/3077 - 3/181. Is b at most as big as g?
True
Let q(g) = g**3 + g - 15. Let j be q(0). Let c = 283 + -279. Let x be c/j*(-3)/(-8). Do 0 and x have different values?
True
Suppose 5*s - 346 = 5*n + 739, 4*n = -3*s - 875. Is n equal to -213?
False
Suppose 35 + 38 = 20*n - 7. Let v = 64/3 + -22. Which is bigger: n or v?
n
Let o = 2289 + -2289.09. Let t be (-60)/14 + (-8)/(-28). Is o greater than or equal to t?
True
Let w be 1*-4 + (-9 - -9). Let h = w + -8. Suppose -77*n - 30 = -73*n - 5*k, -n + k - 8 = 0. Which is bigger: h or n?
n
Let w(f) = 2*f**2 - 6. Let l be w(2). Suppose -4*d - 3 = -7*d + 2*z, -l*d - 2*z = -2. Let p = -17.2 - 0.8. Is d equal to p?
False
Let u = -844033/222 - -3802. Is u less than or equal to -1?
False
Suppose -12*x - 186 + 768 + 318 = 0. Is x at most as big as -0.5?
False
Let x be ((-27)/(-606))/((-378)/(-48) + -8). Is x less than 0?
True
Suppose 3*n + 0 = m + 13, -2*n + 18 = -3*m. Let a be ((-36)/(-30))/(n/(-310)). Let u be (a/6)/((-4)/6). Which is smaller: u or 32?
u
Let f = -4009 + 20087/5. Which is smaller: f or 7?
7
Let k = 299662 + -5091828/17. Is 144 greater than k?
True
Suppose 239*x = 27*x - 101760. Which is smaller: x or -478?
x
Let z(q) be the third derivative of q**6/120 + q**5/60 - q**4/12 - q**2. Let g be z(-2). Let d = 6916 + -6910. Is g equal to d?
False
Let i = 4719 - 4876. Which is smaller: -136 or i?
i
Suppose p + 599 = 2*i, p + 14 = -i + 315. Suppose 0 = -6*l + 10*l - i. Let m be (-2)/2 + (-2 - (-223)/l). Are 0 and m nonequal?
True
Let h = -3272 + 3296. Is 89 <= h?
False
Suppose 165*g - 174*g + 36 = 0. Let j be (-5)/(50/(-36)) - 3. Is j <= g?
True
Let v(q) be the third derivative of q**6/120 - q**5/10 - q**4/4 + 7*q**3/3 - 8*q**2. Let c be v(7). Let m be (-18)/63 - (-6)/c. Which is greater: m or 1/3?
1/3
Let d(m) = 20*m**2 + 9*m - 7. Let t be d(-2). Is t at least -16?
True
Let f be (-1)/3*(-6)/(-64). Let v be -2 + -4 + (4 - 2). Let g(j) = -4*j - 16. Let l be g(v). Is l at most as big as f?
False
Let q = 110 - 105. Suppose 0 = -2*z - 2, 4*z = -0*s + q*s - 24. Suppose -5*n + 2*i + 11 = 5*i, -n - 9 = -5*i. Which is bigger: n or s?
s
Let j be (804/(-5360))/(9/6). Which is greater: j or -5/3?
j
Let b be (-2444)/(3220/(-245) + (10 - 0)). Which is greater: 777 or b?
b
Suppose 5*a = -0*a + 5. Suppose 455*x = 449*x - 924. Let n = x - -6624/43. Is a <= n?
False
Let i be 24/(-30) - (-22816)/2860. Let t = -112/65 + i. Are t and 5 non-equal?
True
Let j be (-168)/(-72)*12/28. Is 7/135 equal to j?
False
Let y = -255.9 - -256. Which is smaller: y or -2.182?
-2.182
Let y(j) = 6*j**2 - 41*j - 5. Let v be y(13). Suppose 19*h - 493 = v. Is 46 smaller than h?
True
Let k(j) = j**3 - 9*j**2 + 28*j - 31. Let z be k(4). Is 2/2807 at least as big as z?
False
Let l be 1304/10 - (-5328)/(-13320). Suppose -4*c = -q + 180 - 691, -2*q = 4*c - 526. Which is smaller: l or c?
c
Suppose -391*q + 392*q = 6. Let o = 4 - -2/3. Which is greater: o or q?
q
Let g be 6*(0 + 2/4). Suppose 0*n - g = -n. Suppose 4*b - 4*z = -9 - 31, n*z - 24 = 2*b. Is b equal to -7?
False
Let o = 99.7 - 376.2. Let y = 348 + o. Let z = 72 - y. Is z > -14?
True
Let n be ((-4)/3)/((-4648)/(-4284)). Which is smaller: n or 0?
n
Let f = 10 + -16. Suppose 38*o - 40*o = -4. Let d be 2 - (28/24 - (-1)/o). Which is smaller: f or d?
f
Let g = -126 + 123. Let q be g + 1 + 2 + (3 - 28). Is q greater than -1?
False
Let j = 67.041 + -