 -2*u + 13654 = -5*k, u - 6822 = -16*k + 21*k. Let c be 132/(-286) - u/(-14690). Which is smaller: c or 1?
c
Let n = 0.43 - -61.57. Let y = 66 - n. Let c = y - 7. Which is bigger: c or 0.2?
0.2
Let f(x) = x**3 + 12*x**2 - 11*x + 26. Suppose 0 = -5*q - 33 - 32. Let t be f(q). Suppose 3*z + 0*v = v - 118, -2*v + 8 = t. Is -40 < z?
True
Suppose 7*a - 5*a + 2 = 0. Suppose -78 = d - 7*d. Suppose -8*w + d*w + 70 = 0. Which is bigger: w or a?
a
Let i be (0 - (-17 + 13)) + 2/(-2). Which is smaller: -132 or i?
-132
Let h = -174 + 754. Suppose -y - 2*y - 4*g = -h, -g = 5. Let s be (10/y)/((-4)/(-10)). Which is smaller: 0 or s?
0
Let k(c) = c**3 + 20*c**2 + 41*c - 49. Let y be k(-18). Is -143 greater than y?
False
Suppose 3*h = -3*w - 28 + 10, 0 = 4*w - 4*h. Let z(n) = n**3 + 6*n**2 + 9*n + 2. Let y be z(w). Let i = 3 + -3. Is i smaller than y?
True
Let h = 8457 - 219815/26. Which is smaller: -2/5 or h?
-2/5
Let s = 14170.24 - 14170. Is s less than or equal to -11/2?
False
Suppose -5*c = i + 270, -3*c + 5*i - 3390 = -3228. Which is smaller: -55 or c?
-55
Suppose 4*t - 8 = -5*d + 2*t, 5*d - 9 = -t. Let n be (-11)/3*4*9/(-48). Is d at most n?
True
Let d = -438 - -443. Let a be (-52)/d - ((-119)/35 + 3). Is -120/13 greater than a?
True
Let i be (-30)/8*((-55)/15 + 9). Which is greater: i or 0.81?
0.81
Let x = 272 - 514. Let z = -229.6 - x. Which is smaller: z or -2/9?
-2/9
Let d = -8/959 + 19364/22057. Which is bigger: d or 1?
1
Let h be 5/((-30)/672) - (7 - 6). Are -107 and h unequal?
True
Let t(s) = -264*s**3 + 3*s**2 - 46*s + 90. Let m be t(2). Is m <= -2100?
True
Let w = 79 - 73. Suppose -m - 9 = -3*g, -7*m + 2*g = -2*m + w. Is m less than 1/355?
True
Let z(b) = 9*b + 24. Let t(y) = -y + 1. Let a(p) = 5*t(p) + z(p). Let m be a(-6). Let w be (m/36)/(3/(-12)). Is -2 greater than or equal to w?
False
Let z = -17017/5 + 3410. Suppose 15 = f + 4*f. Suppose -5*a + 52 = 2*y + y, -f*a - 4*y + 40 = 0. Which is greater: a or z?
a
Let s(j) be the second derivative of j**4/12 + 2*j**3 + 25*j**2/2 - 14*j. Let y be s(-11). Let l be y/(-63) - (-38)/90. Which is smaller: 1 or l?
l
Let n = 14.18 - 16.18. Do n and 0.086 have the same value?
False
Suppose 0 = 3*w + 116 - 35. Let n be 4/2*w/(-54). Are -0.085 and n equal?
False
Let c be 3/(1 - (-35)/(-42)). Do 42 and c have the same value?
False
Suppose -2*y + 0*y - 64 = 0. Let s = 34 + y. Suppose -2 - s = -4*v. Which is bigger: v or 4?
4
Let a be 1 + (1 - -10)*4*20/(-16). Which is greater: a or -26?
-26
Let v(s) = 19*s**2 - 1. Let r be v(-2). Suppose -4*z + 0*f = f - r, -93 = -5*z - 2*f. Let q = 19 - z. Is 12 <= q?
False
Let z = -42 - -58. Let b(k) = -11*k**2 + 2*k + z*k**2 - 7*k**2. Let j be b(3). Which is bigger: j or -10?
-10
Let d = 8751 + -4588. Which is smaller: d or 1/2?
1/2
Let c(m) = 2*m**2 - 27*m - 22. Let q be c(15). Suppose 11 = 12*y + q. Let k = 21374/39 + -548. Which is greater: y or k?
k
Let w = -20219/30 + 674. Let d = -73/390 + w. Let j be (-4)/(-30)*3/2. Are j and d non-equal?
True
Suppose 5*z + 19*n = 16*n - 23665, -4*n + 28360 = -6*z. Which is greater: z or -4731?
z
Suppose -28*h = -8 + 8. Suppose 3*y + 4*s + 729 = -0*y, h = 4*y + s + 985. Are y and -248 unequal?
True
Let d(b) = -b**3 + 9*b**2 + 41*b - 284. Let v be d(10). Let h be 375/20 + (-6)/8. Do h and v have the same value?
False
Suppose -9 = s + 16. Let x(o) = o**3 - 13*o**2 + 14*o. Let j be x(12). Let t = j + s. Which is smaller: 2/219 or t?
t
Let b be 7 + (-2 - -2) + -4. Suppose b*r - 1 = -4. Let l be (2*8/(-64))/(33/(-4)). Which is greater: l or r?
l
Let z = -9 + 13. Let o(r) = 2*r**2 - 26*r + 3. Let f(k) = -7*k - 29. Let h be f(-6). Let q be o(h). Does z = q?
False
Suppose 0 = 4*o - 1 - 3. Suppose 4*d = 3 + o. Let s = -5072.1 + 5074. Is d at most as big as s?
True
Suppose 2*b + 4*b = -312. Let z = b - -51. Let k be (z/(-21))/(3/(-9)*-1). Which is smaller: k or -1/3?
-1/3
Let x = -8534321/78177 + -1/52118. Let n = x - -165709/1518. Is 1 smaller than n?
False
Let h = 5 + -3. Let r be (-1 - h)*(-20)/(-6). Let i be (10/200)/(4/r). Which is smaller: i or 0?
i
Let h = 202.14731 + -0.14731. Is -10/9 equal to h?
False
Let j = -370 + 415. Let m be (2/(-82))/(j/10). Which is smaller: -1 or m?
-1
Let g = -60 - -99. Let t be 4/(-26) - (-318)/g. Suppose -t*q + 9*q = -3. Is -30/7 less than q?
True
Let j be 9 - (-1 - 42/(-7)). Suppose 3*z + j*p - 272 = 7*z, 3*z + 212 = -p. Is z >= -68?
False
Let d be ((-164)/(-205))/(12/10). Let v = 4.87 + 0.13. Let m = v - 14. Which is greater: m or d?
d
Let i = 18041 - 18042.91. Is i at least 5?
False
Suppose -n + 4 = 4*x, n + 2*x = 2*n + 2. Suppose q - 6 - 6 = n. Let c be ((-1)/(-7))/(q/(-14)). Is c greater than -1/2?
True
Let j be -2 + ((-758)/(-189))/(25 - 23). Let q = -4694/31563 - -2/3507. Let g = j + q. Is 1 bigger than g?
True
Let k = -4536 - -4536. Is k bigger than -4/1615?
True
Let m = 263331/37 + -7118. Which is greater: -2 or m?
m
Let m = -225 + 226.5. Let l = -0.5 + m. Is l at least as big as -4/15?
True
Suppose 0 = -7*x + 5*x + 2*w, 5*w = x + 4. Is 11/326 smaller than x?
True
Let q = 164 + -102. Let m(r) = -r**3 + 3*r**2 - 3*r. Let i be m(5). Let z = i + q. Is z at least as big as 1?
False
Let y = 11.1 + -10.5. Let f(d) = -d**3 + 13*d**2 - 12*d + 9. Let z be f(12). Is z not equal to y?
True
Suppose 18 + 6 = 3*s. Let c be 3*(160/(-105))/s. Is c at most 2/17?
True
Let s be ((-23589)/2)/((-70)/28). Let h = 4699 - s. Is -20 greater than h?
False
Let p = -42.39 + 44.2. Let g = -0.08 - p. Let q = g - -0.99. Is 1/4 less than or equal to q?
False
Let k be -5 + 4 - 3/(10 + -7). Which is greater: k or -63?
k
Suppose m + m - 4*q - 802 = 0, 2*m - 801 = 3*q. Let j(n) = -m*n + 375*n + 0*n**2 + n**2 - 4 + 32. Let c be j(23). Which is bigger: 6 or c?
6
Let c = -15399.09 + 15316. Let u = -83 - c. Let r = 135/4 - 34. Is u at least r?
True
Let h be (48/64)/(3/(-144)*1). Are h and -702/19 equal?
False
Let z be ((-4)/(-18))/((-464)/348). Let i = 0.3 + 0.7. Is i at least z?
True
Let u(r) = -r**3 - 2*r**2 + r + 7. Let h be u(0). Suppose -3*z = h*z - 19*z. Which is greater: z or -2/95?
z
Let s = -11.98 - -12. Let n = -77.98 - -77. Let o = n - s. Which is smaller: -1.7 or o?
-1.7
Let d = 391 - 183. Suppose 260 = 5*n - 4*g, 26*n - d = 22*n - g. Which is greater: n or 50?
n
Let h be 1*((-600)/56 - -5) - -6. Which is greater: h or 469?
469
Let z = 11.876 + -7.376. Which is smaller: 39 or z?
z
Let a = 24185 + -47711. Is -23525 not equal to a?
True
Let r = -3.38 + -4.62. Let o = -13 - -8. Let g = o - r. Which is smaller: 5 or g?
g
Let l(k) be the second derivative of k**4/12 + 23*k**3/6 + 23*k**2 + 2*k - 20. Let w be l(-16). Do w and -68 have the same value?
False
Let t be -3*(200/(-105) + 8/4). Let b be 3*(-2)/(-76)*(-2)/(-3). Are b and t equal?
False
Let j = -10.72 + 8.4. Let k = j + 1.8. Let q = -0.52 - k. Which is smaller: 2/35 or q?
q
Suppose 0 = 3*p - 3*k, 4*k + 2 = p - 10. Let q be (9/27)/((-2)/26). Is q >= p?
False
Let v = -1029 + 671. Let b = v - -357. Let r = 163 + -643/4. Which is greater: r or b?
r
Let s(r) = -57*r - 1938. Let q be s(-36). Suppose 3*n + 199 - 541 = 0. Is q < n?
False
Suppose -2*d = -2*s + 36, -51 + 6 = -2*s + 5*d. Let f = 13 - -4. Which is bigger: f or s?
f
Let z be (-60)/9 - 2/6. Let s = -11 - z. Let v be s/(-6) + 70/(-87). Does v = 1?
False
Let t = -2.383 - 0.317. Is t greater than 10.1?
False
Suppose -5*z = 4*h - 276, -58 = 2*h - 2*z - 214. Suppose 4*t + 78 = h. Which is greater: t or 134?
134
Suppose 0 = 2*u + 2*u + 104. Let h = -541/2 - -245. Which is smaller: h or u?
u
Let u(l) = -l**3 - 7*l**2 - 7*l - 5. Let f be u(-6). Let q(o) = o**2 - 40*o + 40. Let r be q(18). Let s = r - -356. Do s and f have different values?
True
Suppose 0 = -394*w + 146*w - 12648. Which is greater: -409/8 or w?
w
Suppose -17*w + 5057 = 31609 + 14095. Is w != -2388?
True
Let s = -862 + 6008/7. Let n be (-1 - (-10)/25)*5. Is n less than or equal to s?
False
Suppose 0 = 2*d + 3*d + 140. Suppose 2*u = -i - 112, -4*i + 3*u = -103 + 496. Let v = i + 75. Is d < v?
True
Let k = 67.2 - 67. Let o = -4 - -6.9. Let d = o - 3. Which is greater: k or d?
k
Let d = -1360353311/536830 + -131/15338. Let r = -76283/21 - d. Let w = r + 1099. Which is smaller: 0 or w?
0
Suppose 3 = 4*n - 3*o + 9, 5*n - o + 2 = 0. Let x be n + -1 + 0 + 1. Suppos