*y + 20*y - 34. Let p be ((-2)/(-6))/y + 104/(-6). Which is bigger: -18 or p?
p
Let x = 194 - 103. Let q = 89 - x. Let z be (126/(-19))/6 + (-1 - q). Which is smaller: z or 0.1?
z
Let i = -28/3 + 8. Let n = -411 - -413. Is n bigger than i?
True
Suppose 0 = 18*s - 17*s + 265. Let d be (s/20)/((-9)/(-4) - 2). Is d != -53?
False
Let b(c) = -6*c**2 - 18*c - 6. Suppose 0 = -3*l + 2*l + 3*a + 4, 3*a = 2*l + 1. Let n be b(l). Let r = n + 57. Is r < -4?
True
Suppose t = 0, 3*b + 0*t + t = -12. Let s be 3/b + 1150/40. Let u = -27 + s. Which is bigger: -3 or u?
u
Suppose 9*b - 54 = 477. Which is bigger: 123 or b?
123
Suppose 11 = b + 14. Is 13 greater than or equal to b?
True
Let k(b) be the third derivative of 0*b - 1/20*b**5 + 1/3*b**4 + 5*b**2 - 1/120*b**6 + 7/6*b**3 + 0. Let q be k(-4). Which is smaller: -8 or q?
q
Suppose -5*o = o - 18. Suppose -o*q = 5*p, -3*p = -2*p + 3*q. Suppose p = -2*z + 4*z + 2*z. Which is bigger: 2 or z?
2
Let i(j) = 28*j**3 - 106*j**2 + 239*j + 1. Let t(b) = 10*b**3 - 35*b**2 + 79*b. Let z(n) = 4*i(n) - 11*t(n). Let h be z(17). Is h at most 38?
True
Let y(p) = -2*p**2 + 10*p - 26. Let i be y(19). Let k = i + 576. Which is smaller: k or 55/3?
k
Suppose 506 = -13*b + 35*b. Let g = 484/21 - b. Is g > -0.3?
True
Let g be (2 - -35) + -14 + (-11 - -10). Let k(y) = y**2 + 10*y - 5. Let p be k(-12). Which is smaller: p or g?
p
Let z(j) = -605*j - 204. Let g be z(5). Does g = -3229?
True
Let p = 68 + -69. Let x = 103.96 + -105. Let b = x + 1.42. Is b greater than p?
True
Let v = 78.677 + 0.323. Let w = -64 + v. Which is bigger: w or -0.5?
w
Let a = 17 + -185. Let c be 98950/a + 4/7. Let y = 589 + c. Is 1 smaller than y?
False
Let q = 7137/2 - 42725/12. Let y = -7129/4 + 1773. Let o = y + q. Is o at most -0.2?
True
Let u = -309 + 329. Let x be (u/8)/(-5)*0. Which is bigger: -7 or x?
x
Let d be 40/(-5) - (26 + -1). Let r be (d - -42) + (-1554)/170. Do r and -1 have the same value?
False
Suppose -5*j - 5*m = 0, 0 = 2*j - 3*m - 0*m. Let v(o) = -34*o + 180. Let q be v(5). Suppose q*p - 1 + 1 = j. Are 2/23 and p nonequal?
True
Let k be (-1442)/2 + (-107 - -103). Let r = k - -725. Which is bigger: -4/125 or r?
r
Suppose -3300*s + 11118 = -3321*s - 2112. Is -625 <= s?
False
Let c(a) = a - 15. Let r be c(16). Let m be (223/(-2) - -7)/(r/(-2)). Let s be 3*(-1 + m/213). Are s and 0 nonequal?
True
Let x = 23365 + -23191. Which is smaller: 191 or x?
x
Let m = 4.0731 - 4.1731. Do -26506 and m have the same value?
False
Suppose 0 = -5*u - 4*h + 31, 3*u + 5*h - 6*h = 5. Suppose 0 = -2*f - f + 6. Suppose 0*w + 9 = f*v + u*w, w = 1. Which is smaller: -1 or v?
-1
Let t = -156 + -26. Let c = 193 + t. Let m = 14 - 9. Which is bigger: c or m?
c
Suppose 0 = 87*s - 849 - 978. Is 19 equal to s?
False
Let v = 16643.948 + -16644. Which is smaller: v or 53?
v
Let g = -17245 + 20320. Is g less than or equal to 3072?
False
Suppose -10*i = -5*i + 4*w - 1097, -3*i + w = -682. Which is bigger: 244 or i?
244
Let t = 8369.5 + -8370. Which is greater: 77/3 or t?
77/3
Suppose -356*r + 158230 - 150970 = -391460. Which is bigger: 1122 or r?
1122
Suppose 40*x = -27*x - 5092. Which is smaller: -71 or x?
x
Let r(z) = -z**3 - z**2 + 2*z + 2. Let g be r(-2). Suppose 6 = 4*f - g. Let j = 1332 - 13311/10. Which is greater: j or f?
f
Let t be (-44)/(-55)*(2 + (-3)/(-6)). Let h be (0/(0 + 2/t))/(-1). Which is smaller: -3/98 or h?
-3/98
Let f = 219 + -218. Let l be f/(2 + (-9)/3). Does l = -2/5?
False
Let a(d) = d**3 + 118*d**2 - 194*d + 629. Let r be a(-120). Is r at least -4891?
True
Let m(l) = 61*l**3 - 5*l**2 + 7*l + 42. Let v be m(4). Which is smaller: 3893 or v?
3893
Let q(n) = 4*n**2 - 23*n - 6. Let f be q(6). Suppose -3*z + 348 = 4*m, -6*m + 3*m + 3*z + 282 = f. Let k be ((-1)/(15/36))/(27/m). Is -36/5 bigger than k?
True
Let i = 2852 - 37108/13. Is -0.1 equal to i?
False
Let f = -168.13 - -175.3. Let q = -0.57 + f. Is q at most 0?
False
Suppose 4*j - 5*d + 8 = 0, 5*d = 3*j + 4 + 2. Let i be (-3655)/17*(0 - j/(-5)). Let t = 103 - i. Do 1 and t have different values?
True
Let d be 99390/175 + 4/2. Let l = -570 + d. Let y be 4*((2 - 17/(-4)) + -6). Is l less than y?
True
Let d be (-15*4/10)/(-6). Which is bigger: 1/2146 or d?
d
Let k(l) = -5*l + 104. Let r be k(16). Let t be (-8)/r*2/(24/20). Are 1 and t unequal?
True
Suppose 5 + 18 = z. Suppose 5*g = -28 + z. Which is bigger: g or -4.3?
g
Let g be (-2)/5 - (425776/2480)/(-23). Which is smaller: g or 6?
6
Let r(q) = -20*q**3 + q**2 - 6*q + 5. Let f be r(2). Let d = f + 181. Is d greater than 8?
True
Let f = -0.0464 - 0.1536. Suppose 0 = -n - 2, -4 + 6 = q + n. Let x be 1/(q/((-160)/36)). Which is smaller: x or f?
x
Suppose 0 = -7*g + 2*g + 25. Suppose 4*n + 2*f = -4, g = n - 6*n - f. Let d be (n - (-588)/759) + (-6)/(-33). Which is greater: d or -1?
d
Let o(p) = 19*p**3 - 5*p**2 - 3*p - 5. Suppose 0 = 2*v + 3*d + 19, -30*v = -33*v - d - 11. Let l be o(v). Are l and -170 nonequal?
True
Let r = 47.3 - 3.3. Let g = r - -16. Let q = g - 59.986. Is 1 at least q?
True
Let m = 94035 - 37896069/403. Let b = -24274/10075 + m. Which is bigger: b or -2?
-2
Suppose 0 = 6*b + 3*b + 72. Let y(c) = -c**2 - 11*c - 7. Let m be y(b). Let v be ((-1)/(-2))/((-11)/(-418)). Which is bigger: v or m?
v
Let y = 1078 - 1034. Suppose 0 = -y*t + 31*t + 221. Suppose -i + 70 = 4*i. Which is greater: t or i?
t
Let i(z) = z**2 - 3*z + 2. Let x(d) = -3*d - 2. Let m be x(-2). Suppose 3*a + 24 = 3*p, -m*p - a = 4*a + 13. Let j be i(p). Which is smaller: j or 0?
0
Let v be (-4 - -2)/(3*3/(-252)). Suppose 0*w + 4*w = v. Suppose -3*b + 70 = 2*b. Is b bigger than w?
False
Let c = -0.05774 - -99.05774. Is c equal to -2/17?
False
Let m = 0.052632 + -0.162632. Suppose 0 = -2*k - 3 - 11. Is m not equal to k?
True
Let h(s) = s**2 - 89*s - 471. Let o be h(94). Do -1/580 and o have different values?
True
Let n = 63073/5 + -1726244927/136845. Is -1 > n?
False
Suppose 0 = -w + 8 - 9. Let g be (-2)/w + -4 + (-15)/(-10). Is 30 at least g?
True
Let d = -21728 + 21730. Which is smaller: d or -35?
-35
Let u be (26/(-159))/(238/(-51)). Which is bigger: 1 or u?
1
Let m(y) = 26*y + 80. Let s(z) = -13*z - 40. Let u(g) = -2*m(g) - 5*s(g). Let b be u(-4). Let w be 10/b*56/80. Which is greater: w or 0.1?
0.1
Let i = -0.03551 - 2.96449. Which is greater: 42/11 or i?
42/11
Let o be ((-36)/240)/((-6)/8) - (-237159)/(-195). Which is bigger: 1/13 or o?
1/13
Let s = -14699 + 15371.1. Let q = s - 672. Do q and 362 have the same value?
False
Let s = 7517/180 - 1493/20. Let n = -64 + 32. Which is greater: s or n?
n
Suppose 5*a + 4*o = 2 + 4, 12 = 5*a - 2*o. Let z be (-2)/10 + (-4)/(-20). Let v be (z/3)/(a - 0). Are v and 1/10 unequal?
True
Let o be 31/(8866/(-104)) + 362/814. Is o smaller than -0.101?
False
Let l = -666.9 + 654.3. Which is greater: 2/239 or l?
2/239
Let y = -14.482 + 15.182. Which is smaller: 22/5 or y?
y
Let g(i) = i**2 + 42*i + 238. Let n be g(-23). Is n equal to -200?
False
Let p = -2483 + 2494. Let w be 4*2/(8/(-7)). Let z = 1 - w. Is z != p?
True
Let x be (2 - 1)/(22/2794). Which is bigger: x or 117?
x
Let i = -0.1079 - -2.1079. Let a = 1.7 - 1. Let q = a + -0.2. Which is smaller: q or i?
q
Suppose -2*r + 6*h = 0, -3*r = -5*h + 27 - 63. Which is greater: 62 or r?
62
Let l(j) = 1307*j - 308. Let p be l(1). Which is greater: p or 994?
p
Let m be 26/2 + (-16)/20*5. Suppose -1155 = -m*x - 129. Is 115 < x?
False
Suppose 545*f = 606*f + 183. Let h = 0.38 - 0.3. Which is bigger: h or f?
h
Let d be (-72)/(-2148)*(-8)/16. Which is greater: 0 or d?
0
Let n be -165 + 1 + 1 + (-7 - (-14 + 7)). Which is bigger: n or -152?
-152
Suppose 13*m + 14586 = 35*m. Let g be ((-6)/(-85))/(m/(-170)). Is g > 1?
False
Let z be (3 + (-97)/32)/(14/84). Let l be 4/(2/(-3)*-3). Suppose -u + 2*a - 3 = -2*a, l*u - 3 = -a. Which is greater: z or u?
u
Let f(k) = -k**3 + 22*k**2 - 39*k + 9. Let y be (-80)/(-4 + 0) - (0 + 0). Let j be f(y). Is 30 <= j?
False
Let i(x) = -16*x**2 + 1452*x + 365. Let r be i(91). Is 2/47161 > r?
False
Let v = 252560/664216757 + -1/81469. Which is smaller: v or 1?
v
Let d(x) = -x + 1. Let j(w) = -10*w + 5. Let t(a) = -d(a) + j(a). Let z(p) = -16*p + 7. Let y(c) = 5*t(c) - 3*z(c). Let g be y(0). Is -10/11 smaller than g?
False
Let p(q) be the second derivative of 3*q**3/2 -