+ (0 - 5). Suppose b*t + w + 0*w = 131, 23 = t - 3*w. Which is smaller: t or 159/5?
159/5
Let t = -898 - -980. Let x = 1342.1 - 1260. Let p = t - x. Which is smaller: -3 or p?
-3
Let k = 384.9 + -403. Let w = 12.9 - -5.1. Let l = k + w. Which is bigger: l or 0.3?
0.3
Let p = -39623/372 + 1460/31. Which is bigger: -60 or p?
p
Suppose 3*n = -5*h - 14, -2*n = n + h - 2. Suppose q - 2 = 5*x, 2 = x + n*q - 2. Let c = 11734/17 + -690. Is c at most x?
False
Let s be (-24)/(-30)*(11 - (-7869)/6). Is 1058 bigger than s?
False
Let i be -1*(-2 - -1)*-8. Let a(b) be the third derivative of b**5/15 - 5*b**4/3 + 11*b**3/2 + 9*b**2 + 1. Let d be a(9). Is i at most as big as d?
True
Suppose -15*c = -25*c + 270. Suppose -8*y + c = 43. Suppose 2*a - 2*z + 2 = 0, -a + 4*z - 1 = z. Do a and y have different values?
True
Suppose -6*j - 26 = 4. Let a be 18/(-18) + (-516)/j. Does a = 101?
False
Let k = -789 - -728. Let n = k - -60.6. Let r = -20.7 + 22. Is n not equal to r?
True
Let w(l) = 18*l + 7. Let q(r) = 215*r + 85. Let f(g) = 2*q(g) - 25*w(g). Let d be f(-7). Let p be (d/54)/((-2)/20). Do p and -26 have the same value?
False
Let a(y) = -y**3 + 5*y**2 - 5*y + 2. Let g be a(3). Suppose 35 + 35 = -g*l. Let s = 22 + -34. Is l at most as big as s?
True
Let d(f) = f**3 - 5*f**2 + 6*f - 3. Let w be d(2). Let j = -5407/52 - -104. Which is smaller: w or j?
w
Let v = 250 + -249. Let p = 1853/2 - 50063/54. Let j = 785/1188 + p. Is j < v?
True
Suppose -2*f + 3*n = -17, 0 = -508*f + 510*f - 5*n - 27. Is f at least -24/307?
True
Let x be (22/(-8))/(19*(-18)/(-2052)). Let j(w) = w**3 + 14*w**2 + w - 4. Let k be j(-14). Which is smaller: k or x?
k
Let b = -17 + 16.978. Let a = 28.478 - 28.6. Let c = b - a. Which is smaller: c or 14?
c
Let a = -452.09936 - -0.09936. Do 0.05 and a have the same value?
False
Let x(t) = 7*t**2 + 323*t + 1284. Let y be x(-4). Is 90 at least y?
False
Let w be (483/46)/((-4)/40). Which is greater: w or 10?
10
Let s = -1513.58 - -1513. Let u = 0.001 - 0.061. Which is smaller: u or s?
s
Let m be 2/6 + 4/6. Let h be 14/(-133) + (-181954)/(-3663884). Let o = h + -1/1358. Is m smaller than o?
False
Let u(c) = -7*c - 352. Let i be u(-52). Is -0.114 at most as big as i?
True
Let n be ((-3)/376)/((-6)/(-4)). Suppose h = -4*d + 2*h - 4, -d - 3*h + 12 = 0. Do n and d have different values?
True
Let j be 4/(16/44) + -359. Is j at most as big as -348?
True
Let r = -58/9 - -19/3. Let x = 12.2 - 0.2. Let o = -12.1 + x. Are o and r nonequal?
True
Suppose -5*q - 245 = -i - 755, q - 4*i = 83. Let h = -127 + q. Which is bigger: -1/3 or h?
-1/3
Let s be (-1224)/(-168) - (-3 + -3 + 5 + 2). Which is smaller: s or -24?
-24
Let t = 37747 - 37712. Is t at most as big as 37?
True
Suppose s = 2*s - 4, 80 = -2*a + 2*s. Let h be ((-74)/4)/((-246)/(-492)). Which is smaller: h or a?
h
Let q be 0/(0 - (-4 - -3)). Which is smaller: q or -5/823?
-5/823
Suppose 2*m + 801 = -3*b - 73, 0 = -5*b - 3*m - 1458. Which is greater: b or 5/3?
5/3
Let d(o) = 2*o**2 + 2*o + 5. Let h be d(0). Suppose -u = -4*z + 3*u - 36, z = h*u - 25. Is -40/11 greater than or equal to z?
True
Let r be (-75866)/(-11655) - 2/10. Let s = 32/37 - r. Is s equal to -6?
False
Let u be (1 + 0 - -51) + -7. Suppose -u = -10*n - 25. Let j = 0.6 + -6.6. Which is smaller: j or n?
j
Let i = -1.3915 + 1.3079. Is -1/3 < i?
True
Let g = -153 - -267. Let s = -117 + g. Is s > -3/31?
False
Let j(s) = -4*s**2 - 19*s + 73. Let y be j(-6). Which is greater: y or 26?
y
Suppose 4*f + 92 = -0*f + 4*j, -4*j = 2*f + 52. Let a be (-3)/f + 165/(-40). Let w be (a - -2) + 3 + 0. Which is bigger: w or -2/67?
w
Let k(z) = -z**3 - z**2 + 145. Let d be k(0). Let s = 4123 + -3977. Which is smaller: d or s?
d
Let c(u) = -u + 7. Let h be c(8). Let a = 3/2959 + 26538/91729. Which is bigger: a or h?
a
Suppose 33 = -4*q + 9. Let d be (5*(-4 - -3))/(5/q). Suppose 0 = 3*u - 5*w - 25, d*u - u + 2*w = 52. Is u greater than 0.3?
True
Let f = -536 + 581. Which is smaller: f or -1?
-1
Suppose -34 = n + 5*x, 4*n + 8 = -2*x - 38. Suppose 2 - 26 = -3*s. Let c = n + s. Which is greater: c or 1/46?
1/46
Let c be 12/3 - 1 - 3. Suppose 5*l = -3*n - c*n + 9, 6 = 4*l + 2*n. Suppose l = -a - r + 2, -3*a + 2*r = -21. Is a > 0.08?
True
Let z(x) = x**2 - 21*x - 2. Let j be z(21). Suppose 110*f = 102*f - 168. Is f not equal to j?
True
Suppose -45 = -5*m + 5*f - 10*f, -m - 3 = -5*f. Suppose -m = -5*w - 122. Which is smaller: -25 or w?
-25
Suppose -41 = -g - 193. Let c = g - -153. Is -95 smaller than c?
True
Let w(y) be the first derivative of -3*y**2/2 - 109*y + 3. Let d be w(-36). Is d > -3/248?
False
Let m = 15.24 + -12.24. Let b = 195.58 + -194. Let h = b - 1.5. Is m equal to h?
False
Let m = -13.105 + -0.195. Let l = -106.28 + 93. Let z = l - m. Is 0 equal to z?
False
Let v(m) = -2*m**3 - 50*m**2 - 77*m - 124. Let c be v(-24). Which is smaller: c or 571?
571
Let f = 0.24 + -0.861. Let d = f - 104.379. Which is smaller: -0.1 or d?
d
Let a = -357 + 484. Let x = 217.8 + -218. Is x greater than a?
False
Suppose -156 = -3*r - 0*r. Let t(k) = -k + 18. Let a be t(23). Let l be (-258)/a - 66/(-165). Is l greater than or equal to r?
True
Let t = -179.5 + 48.5. Let a = -130.5 - t. Let p = -1.03 - -1. Which is smaller: p or a?
p
Let y = -26766 - -26766. Is -8752 < y?
True
Let j(s) be the first derivative of 2*s**2 - 70*s - 83. Let h be j(17). Which is bigger: 0 or h?
0
Suppose -4*q = -6*q + 5*a - 4293, 6430 = -3*q - 2*a. Is q bigger than -2140?
False
Let x be -5 - 6/((-3330)/244205). Let o = -435 + x. Are o and 0 unequal?
True
Suppose 635 = 5*j + 3*r - 1797, 2*j - 972 = -2*r. Suppose -7776 = -s - 15*s. Which is greater: j or s?
j
Let k(l) = 23*l**2 - 201*l + 201. Let o be k(1). Let u(d) = d**2 - 6*d + 12. Let r be u(8). Let b = -6 + r. Which is smaller: b or o?
b
Suppose 125*k - 42 = 167*k. Which is bigger: k or -8/51?
-8/51
Let y = 4/95 + 7/285. Suppose -9*g - 23 = -56 + 24. Which is greater: y or g?
g
Let y be (-656)/(-36) - 2/9. Let l = 0.3449 + -0.383. Let a = 0.0619 - l. Is a > y?
False
Let w be 639*1*(-132)/(-1188). Is 71 > w?
False
Let k(p) be the first derivative of -2*p**3/3 - 11*p**2 - 4*p - 6. Let i be k(-11). Let q be 1/3 + i/(-6). Are q and 3/29 equal?
False
Let c be (-4)/(-3) + (-280)/(-60). Suppose -c*r - 132 - 288 = 0. Let u = r + 73. Is u less than or equal to 14/9?
False
Let t = 46 + -44. Let o = 20 - t. Let g = o + -17. Which is bigger: 2.5 or g?
2.5
Let h(q) = -q + 12. Let u be h(0). Suppose 4*i = 16, 4*s = i + u + 40. Suppose -s = -4*f - 2*a, 7 = 2*f - a - 2. Is f less than 30/11?
False
Let j = -196 + 210. Let i(f) = 13 + 6 + 11 - 2*f. Let w be i(j). Which is smaller: 20/17 or w?
20/17
Let l be 3 - (-5 + 1 - -11). Let b be -3*((-13)/3 + (-5 - l)). Suppose -2*i + b = 2*n, 0*i = -3*n - 2*i + 22. Is n != 3?
True
Let z = 311732/148701 + -8/7081. Let s = -2 - -3. Which is greater: z or s?
z
Suppose -4*b - u = 4, -3*u + 5 = 4*b + 9. Is b <= -34/53?
True
Let g = -6998 - -7016. Which is smaller: 7 or g?
7
Let d = 10/7161 - 9774785/14322. Is d equal to -682?
False
Suppose 10*d - 15166 = 4*x + 15*d, -2*d = x + 3796. Which is bigger: x or -3783?
-3783
Let v(c) = c**2 - 8*c + 8. Let k be v(6). Let l be (14 - (17 + -10))*(-80)/184. Do k and l have different values?
True
Let h be 10/(-2428)*(-56)/(-140). Let p = -60 - -59. Is h at most p?
False
Let p = -98.8 - 23.2. Let t = p - -121.43. Let x = 0.37 + t. Which is bigger: 16 or x?
16
Suppose 0 = -3*n - 3*d + 6, -5*d - 1 = 4*n - 4. Let j = 33369 - 33370. Is j less than or equal to n?
True
Suppose n + 40*n = -36*n - 319011. Is -4144 less than n?
True
Let t be ((-6)/(-4))/((-2849)/(-15466)). Let n(y) = y**3 - 6*y**2 + 5*y - 1. Let m be n(5). Let x(c) = 7*c**2 - 2*c - 1. Let a be x(m). Which is bigger: a or t?
t
Suppose -1325 - 277 = -8*b + 2*h, 0 = -5*b + 4*h + 982. Which is smaller: 17 or b?
17
Let t(i) = -i + 4. Let y be t(-5). Let p = 0.016 + 0.044. Is p at most y?
True
Let g be (-8)/(-6)*(-93)/62. Let r be 0 - g/(-17)*9/(-54). Suppose 3*y = -2*l + 9, 3 = l + 4*l + y. Is l less than or equal to r?
True
Let l be ((-14)/8)/(420/(-120)). Which is smaller: 7.44 or l?
l
Let h be 60/2 + 0 + 0. Let o(b) = -b**3 + 51*b**2 - 51*b + 9. Let t be o(50). Let q = t + h. Which is greater: -12 or q?
q
Let r be (1/(5/(-4)))/1. Suppos