 = -g**2 + 16*g - 60. Let o be c(10). Suppose w + 1 = -5*v - 5, -4*w + 2*v + 20 = o. Which is smaller: w or 60/23?
60/23
Suppose 39*s - 4728 = 36*s. Suppose 13*c = s + 1427. Which is bigger: c or 232?
232
Let a(i) = -11*i**2 + 369*i - 251. Let q be a(41). Which is smaller: -3615 or q?
-3615
Let b = -4.1543 - 0.0457. Let z = 49 + -44.6. Let g = z + b. Is g greater than or equal to -0.3?
True
Suppose 0 = 42*s - 62*s + 1040. Let g = -63 + s. Is -74/7 bigger than g?
True
Let a(l) = -l + 8. Let s be a(8). Suppose 32 = 5*x - 8. Let t be (-2)/4*x/((-14)/(-7)). Which is bigger: s or t?
s
Suppose -19*b - 884 + 4266 = 0. Suppose -b = -7*k - 185. Is k smaller than -5/131?
True
Let d(s) = s**3 - 2*s**2 - 5*s + 9. Let i be d(3). Let h be 0/(24/(-6) + i). Are h and -12/11 unequal?
True
Let c = -41.42 + 41.22. Is 0.6 greater than c?
True
Suppose 5*d + 23 = -5*i - 17, -i = 4*d + 14. Suppose 0*h - 4*h - 18 = 5*p, 4*p + 3*h + 15 = 0. Is i > p?
False
Let n = 1.769 - 0.069. Let w = 1444 - 21662/15. Which is bigger: w or n?
n
Let f be (-5)/((-90)/(-12))*(-8 - -11)*6. Which is smaller: f or -0.7?
f
Suppose -2*g = 4*g + 60. Let x(j) = j**3 + 8*j**2 - 17*j + 16. Let d be x(g). Let i be -2 + 4 + -1 + (-784)/d. Is i smaller than 59?
True
Let l(o) = 3*o**3 - 16*o**2 - 13*o + 15. Let s be l(6). Suppose s*w + 9 = -0*w. Which is smaller: w or -7/23?
w
Let n = 318 + -624. Let q = -359 - n. Which is bigger: q or 0.3?
0.3
Suppose 163*w - 4731 = 3*m + 160*w, 3*m + 4719 = -3*w. Which is smaller: -1569 or m?
m
Let u be (110/25)/(-11)*5/(-2). Let y be (-22 + -6)*1/u. Which is smaller: 0.1 or y?
y
Let r = 12 + -77. Let o be 53 + 2 + -4 + 1. Let n = r + o. Are n and -5 non-equal?
True
Let b(r) = -r**3 + 8*r + 5. Let i be b(6). Let h = i + 163. Is h bigger than 5/74?
False
Suppose 4*i - 3*w + 197 = 0, -5*w - 205 = 4*i - 0*i. Suppose -2*m = -k - 51, -2*m = 4*k + 177 + 7. Is i at least as big as k?
False
Let z be (-2)/(-4)*(7 + 45). Suppose -35 - 437 = -4*s. Let i = s - 92. Is z at least i?
True
Let i = 427 - 295. Let o = 133 - i. Do 2/253 and o have different values?
True
Let t be (-3155)/(-22225) - (-3)/(-84)*4. Do t and -1 have different values?
True
Let c = -293 - -205. Let p be ((-15)/(-5))/(8/c). Is p not equal to -172/5?
True
Let s be (-2)/(-1335)*-282 + 42/105. Is -0.7 != s?
True
Let r = 2/2699 + -6275/4825812. Is r bigger than 0?
False
Let k(t) = -113*t + 2033. Let m be k(18). Let u = 13516/23 - 588. Does u = m?
False
Suppose 0 = -2*x + 5*c + 284 - 262, 3*c = -3*x + 12. Let w = -30257/55 - -2787/5. Is x != w?
True
Let u = 37 - 33. Suppose -4*b - b = -u*k - 39, b + 4*k - 27 = 0. Suppose -2*i = -4*z - i + 41, -5*z = 5*i - 45. Which is bigger: z or b?
b
Suppose 4*b - 3*h - 2 = 3*b, -2*b = 3*h + 23. Let d = -11 - b. Let g(r) = r**2 - 33*r + 260. Let w be g(19). Is d greater than w?
True
Suppose -17*u - 19248 = -18*u + 5*q, -q = -u + 19216. Is u <= 1?
False
Let p(c) = 1152 - 578 - 555 - c. Suppose -5 = -2*d + 33. Let a be p(d). Is -1/30 greater than a?
False
Let b(o) = -o**2 + 23*o - 12. Let p be b(16). Suppose -85*n + p*n = 60. Let j be (20/15)/((-4)/(-6)). Which is smaller: j or n?
j
Let h = 210 + -139. Let g = 143 - h. Suppose 2*d = -d + g. Is d less than 24?
False
Let k(q) be the second derivative of -11/2*q**2 + 1/12*q**4 + 0 + 6*q - 11/6*q**3. Let b be k(12). Which is smaller: b or 1/16?
1/16
Suppose 0*c + 11 = c. Suppose 4*w = -16, 5*f + 3*w + 20 = -47. Let p = c + f. Does p = 0?
True
Let c(w) = -87*w + 7. Let k be c(-4). Let i = k - 418. Is -60 > i?
True
Let v be 1/2*1/(-3). Let g be 76 - ((-3250)/(-50) + -35). Is g at most v?
False
Let r(x) = 2*x**3 - 49*x**2 + 35*x - 1501. Let v be r(25). Let l be 12/3*1/(-2). Which is greater: v or l?
v
Let g be 204/51 + (14 - 11)/(1 + -2). Is -1/4364 smaller than g?
True
Let q(r) = r**2 + 7*r + 6. Let p be q(-6). Let f be p/(2/3*3). Let k = -490.12 + 490. Is k less than or equal to f?
True
Suppose 2*u = -3*j - 6699, -63*j - 8886 = -59*j - 5*u. Which is smaller: -2225 or j?
j
Suppose 5*r + 941 - 141 = 0. Let a = 109 + r. Is -51 at least as big as a?
True
Suppose 246 = -2*n - 2*o, 4*n - 3*o + 211 = 2*n. Which is bigger: -107 or n?
-107
Let k = 18495 + -11240. Is k less than 2/3?
False
Let o be (187/(-374))/(1 - (-2250)/(-2252)). Let n = o + 210. Which is smaller: -354 or n?
-354
Suppose 4*x - 17 = -3*y, 4*x + 47*y = 46*y + 3. Is -186/221 at most x?
False
Let v = 1.463 - -0.157. Let a = 105.38 + v. Which is greater: 0.1 or a?
a
Suppose -b - 5 = -2*l, -2*b = 4*l - 3*l - 5. Let g be ((b + -1)/3)/(-2). Let y be 6 + (-2720)/230 + 6. Which is smaller: y or g?
g
Suppose 28*l + 22*l + 63*l - 15594 = 0. Is 130 at most as big as l?
True
Let u = -50 - -60. Let f be 4/u + (-14268)/(-205). Is f less than 72?
True
Let j = 0.059 + -0.017. Let i = -593.8 - -594.8. Which is smaller: i or j?
j
Let c = -1738 + 2059. Is c greater than 320?
True
Let m be -3 - (-6 + 7) - -8. Let s be (m*6/(-16))/((-6)/(-584)). Is s equal to -145?
False
Let r = -1.32 - -94.32. Let z = 0.04175 + 140.95825. Let l = r - z. Do -0.1 and l have the same value?
False
Let h = -0.5601 + 0.0671. Which is bigger: h or -4?
h
Let g = -149 - -178. Suppose -3*r = -4*h + 289 + g, -5*r + 4*h - 522 = 0. Is r != -101?
True
Let t = -470.92 - -469. Let z = -49.08 + t. Which is bigger: -1 or z?
-1
Let p(c) = -c**3 + 17*c**2 + 23*c - 533. Let i be p(10). Which is greater: -0.19 or i?
i
Let a = 186 + -191. Let w be (-156)/a + 4/60*-3. Is 31 < w?
False
Let g = -2504 - -17506/7. Let b = 10 + -8. Suppose -2*a = -6*x + 2*x + 24, -4*a = -b*x + 18. Is a > g?
True
Let f be -1 + -4 + 104/(-66)*-3. Let n = 49 + -48. Are n and f non-equal?
True
Suppose -l - 75 = -6*l + 4*w, -4*l - 4*w + 24 = 0. Which is bigger: l or 49?
49
Let h = 2 + -9. Let k = 42077/927146 - -3/42143. Which is greater: k or h?
k
Let s(p) = 4*p + 34. Let f be s(-8). Suppose -7*r - f*r = -243. Is -3 not equal to r?
True
Suppose 0 = m - 6*m + u + 103, 3*u - 51 = -3*m. Is m at most -76?
False
Let n be (2 - -1)/(-1)*(-52)/(-78). Let b = -21 - -9. Let r(i) = i + 8. Let h be r(b). Which is greater: h or n?
n
Let q = 1158/242825 - 1/883. Let s = q - -2/55. Are s and -1 non-equal?
True
Let x = 1156/2867 + -22/61. Let f = 382 + -429.1. Let y = f + 47. Is x < y?
False
Let u(y) = -y**3 - 48*y**2 - 213*y + 87. Let q be u(-43). Which is smaller: q or 2/235?
2/235
Let q = -380.66 - -386. Let x = 4.24 - q. Let s = 0.3 + -0.5. Is s not equal to x?
True
Suppose 2*h = 3*n - 4, 0*h + 2*h = -2*n + 6. Let l be 43800/21904 + (0/(-2) - n). Let x = 16459/84878 + l. Which is bigger: x or 0?
x
Let l(y) = -95*y + 53. Let i be l(6). Is -520 at most i?
True
Let x = 5709623 - 961883057937/168467. Let a = 2361907176/6907147 + x. Let l = -342 + a. Is -1 less than l?
True
Let i be 26/8 + (0 - (-45)/(-15)). Which is bigger: i or -0.823?
i
Let y be 8 + (-540)/(-1053)*(-486)/4. Is -54 at least y?
True
Suppose -247 - 27 = -137*u. Is -0.07566 > u?
False
Let q = -1027 - -1043. Is q >= 133/8?
False
Suppose -2100 = 52*n - 73*n. Let x be (120/n)/(34/(-20)). Let i = -3 + 1. Is x < i?
False
Suppose 12*n = -292 + 292. Which is bigger: n or 2/6451?
2/6451
Let f = -24058252400546/58395 + 411991650. Let h = f + 2/687. Is 1 greater than h?
True
Let y(v) = -3*v**3 - 14*v**2 - 6*v + 35. Let a be y(-2). Which is smaller: -284 or a?
-284
Let h be (11 + -8)/(7/(-29)). Let j = -3609 - -3597. Which is smaller: h or j?
h
Let l be (0 - 4)/(3 + -8 + 4). Suppose q = 2*j + 3, j - l*j - 5*q = 37. Is j >= -59/13?
True
Let y = 2/156645 + -69751/1373463360. Does y = -1?
False
Let u = 283.559 - -6.441. Is u smaller than -1/7?
False
Let p = 5177 + -5177. Are p and -3/76 nonequal?
True
Let x = -0.2987 + 20.2987. Is x at least as big as -0.049?
True
Let o be (-12230)/(-5 + -6 + 4). Let v = 1744 - o. Are v and -2 unequal?
True
Suppose 9*n = 613 + 1609 + 5959. Which is bigger: 908 or n?
n
Suppose -5*f = -20, -f = -5*w - 139 - 1125. Let x = w - -299. Does x = -0.1?
False
Suppose -3*r - 41 = 4*f, 0 = -5*f + 794 - 789. Is r not equal to -2/21?
True
Let s = 4.69 + -5.288. Let q = s - -0.592. Do -2 and q have different values?
True
Suppose -425*f = -430*f + 60. Which is smaller: f or -22?
-22
Let o be 17*1/(-10)*-2. Let h = 9247 + -9244. Is h smaller than o?
True
Let c be 2 + (-59127)/(-20692) + (-2)/(-14) - 5.