Let f be 90/15*(-10)/(-6). Suppose -3*k = -5*z - 28, -k - 3*z + 4 + f = 0. Which is smaller: b or k?
k
Suppose 7*v + 1576 = 3*v. Let p = 393 + v. Let c = 993895/281 + -3537. Is p greater than or equal to c?
False
Let j = 1968 - 3672. Is -1705 greater than or equal to j?
False
Suppose 0 = -3*w + 5*z - 122, -2*z = w - z + 38. Let s = 46 + w. Suppose 4*a + 12 = 2*q, -q = 3*a + 2 + s. Which is smaller: q or 11/9?
q
Let m(t) be the third derivative of -t**4/24 + 35*t**3/6 + 10*t**2. Let i be m(8). Suppose 0 = d - 2*d - i. Is -27 less than d?
False
Suppose 365 = -2*f + 5*r, 3*f + 544 = -0*f + 4*r. Let g be -4 + 8 + -183 + 12*(-9)/(-108). Is f at most as big as g?
True
Let c(f) = 85*f - 309. Let b be c(3). Which is greater: b or -8?
-8
Let i = -6.8202 + 0.0202. Let s = 30.5 - 24. Let p = s + i. Is -13 less than or equal to p?
True
Let a = -129 + 271. Suppose 70*w - a = 72*w. Which is bigger: w or -215/3?
w
Suppose 3*q = 5*j - 547, j - 225 = -j - 5*q. Suppose -5*b + 4*i = 714 - 260, -4*i - j = b. Which is smaller: -96 or b?
-96
Suppose 4*r + 3580 + 5605 = -327. Is r <= -2378?
True
Let j = 216 - 426. Let f = j - -209.9. Which is greater: f or 4?
4
Let f be -3 + ((-2)/(-9) - 698/(-18)). Let p be 37/(-21) + 12/f. Let m(q) = -2*q**2 + 1. Let b be m(-1). Is p at least as big as b?
False
Let r(m) = -76*m - 3145. Let w be r(-14). Which is smaller: 3 or w?
w
Let b = 90.23 + -90.13. Let l = -102 + 101.703. Is l at least b?
False
Let o be (8/(-7))/(-12*7/(-14)). Let b be (-4)/8 + (-6)/12. Let c = 0 + b. Do o and c have the same value?
False
Let a = -537 - -564. Let u be ((-20)/(-15))/((-6)/a) + -7. Suppose -3*b = -5*b - 5*s + 6, 3*b - 4*s = -14. Which is bigger: u or b?
b
Let p(i) = 2*i**3 - 2*i**2 - 8*i + 12. Let y be p(2). Suppose 95 = 3*t + 2*g, -167 = -y*t - t + g. Let q be 2/(-3) - 1/(-3). Which is smaller: t or q?
q
Suppose -23*y - 342 = -20*y. Is y at most -114?
True
Let r = -97 - -97. Suppose 28*s - 39 - 17 = r. Is 5 at most as big as s?
False
Suppose 248 = -2*p - 3*x + 1210, -5*p + 2*x = -2386. Let s = 346 - p. Which is bigger: s or -133?
s
Suppose -80 = 292*x - 80. Is x less than 1/6643?
True
Let r = -12702.94896 + 12703. Is r at least -1?
True
Let i = -198.4 + 207. Let r = -7.7 + i. Let w be 2/6*(4 - 1). Which is bigger: w or r?
w
Suppose -5*v - 46840 = -5*s, 614*s - 609*s + 5*v - 46830 = 0. Which is smaller: s or -1/3?
-1/3
Let z(q) = 216*q**3 + q**2 - 2*q + 1. Let s be z(1). Let t = -256 + s. Is -0.2 < t?
False
Let s = -1052853/303266 - -135/2861. Which is smaller: -2 or s?
s
Let a be 61*(((-210)/4)/3 - (-15)/(-10)). Do -1168 and a have different values?
True
Let b(z) = -6*z - 7. Let k be b(-1). Let y(r) = 6*r + 0 - 3*r + 3. Let a be y(k). Which is greater: a or -2/47?
a
Suppose -19 = -2*f + 5*c, 5*f - c = -17 + 7. Let w be (-2*f/15)/(13/5). Let j = 2.8 - 3. Which is greater: w or j?
w
Suppose -2*a = -3*l - 14 - 107, -a + 80 = 5*l. Suppose -14*c - 135 = -a. Which is smaller: -21/5 or c?
c
Let i(c) = c**2 - 2*c - 7. Let x = -29 - -29. Let k be 0/(-51) - (2 + (1 - x)). Let q be i(k). Is 36/5 >= q?
False
Let u = 34023 - 10349. Are 23674 and u equal?
True
Let s = -1747 + 1615. Which is smaller: -131 or s?
s
Suppose -13*s = -5*s - 8. Which is bigger: s or -3/584?
s
Let s be (208/(-15))/(396/(-110)). Which is smaller: 3 or s?
3
Let h be 19 + (2 - (-1 - -2)). Let z be 4/6 - (-12452)/132. Suppose 13*b - z = 8*b. Which is bigger: h or b?
h
Let v = -1/6 + -1/12. Suppose 0 = -10*g + 14*g - 360. Let p = g - 88. Which is bigger: p or v?
p
Suppose -48 + 11 = -5*z - 4*d, 0 = 4*d - 12. Which is greater: z or 489?
489
Suppose 2*h = -h + 9. Suppose 22*w - 17*w - 6 = -3*f, 0 = 4*f - 8. Is h >= w?
True
Let g = 299 + -303. Which is smaller: -394 or g?
-394
Let t be ((-3765)/(-15))/((-4)/12). Are -745 and t unequal?
True
Let d = 5 + -4. Suppose -303 = 5*g + 152. Let j be (3/15)/(g/65). Which is smaller: j or d?
j
Let y(t) = -5*t**3 - 3*t**2 + 4*t - 4. Let r be y(2). Let j = -537 - -490. Do r and j have the same value?
False
Let o(s) = -165*s**2 - 100*s - 19. Let m be o(6). Which is bigger: m or -19676/3?
-19676/3
Let l = -53.698 - -54.898. Let b = 0.56 - 0.5. Which is smaller: b or l?
b
Let r be 0 + 6/4*-2. Let s(b) = -b**3 + 8*b**2 + 15*b - 13. Let c be s(10). Let v be (10/7)/((-3)/c*-9). Which is smaller: v or r?
v
Suppose 0 = 21*w + 11*w + 160. Which is bigger: -96/5 or w?
w
Let p be -15 - (-24525)/1085 - (-18)/42. Which is bigger: p or 8?
p
Let m = -5 + 4.97. Suppose 408 = -17*g - 136. Let i be (-8)/(-4)*(4 - (-132)/g). Is i < m?
True
Let c be ((-30)/(267/81 + -3))/((-15)/360). Which is bigger: 2429 or c?
c
Let j = -2 + 1. Let p = -2.5 - j. Suppose -79*z = 75*z - 166*z. Which is bigger: p or z?
z
Let n be (34/(-4))/(13/260). Let c be (-58)/n + (92/20 - 5). Which is smaller: 0 or c?
c
Suppose -3*q = -12, 59*w = 54*w + 2*q - 588. Which is smaller: w or -114?
w
Let s be -2 - (-6 + 3) - -21. Suppose -a + s = 18. Let b be (4/14)/(a/7). Is b at most 0.08?
False
Suppose 0 = -5837*o + 4912*o. Let b be 254/460 + 4/(-10). Which is greater: o or b?
b
Let z be (0 - 2)/(-2)*-7. Let m(w) = w**3 - 2*w**2 + 3*w + 1. Let a(n) = 4*n**3 + n**2 + 10*n + 8. Let k(r) = -a(r) + 3*m(r). Let f be k(z). Is 2 <= f?
True
Let k be (14/(-6))/((-13)/234). Suppose 0 = 5*f + k - 17. Let c = -4 - f. Do 1/13 and c have the same value?
False
Let j be (-10)/(-15)*(-4)/(16/90). Let w = 361970 - 49953997/138. Let i = w + 7/46. Does i = j?
False
Let b = 784 - -1140. Is 1922 at least b?
False
Let m be 1626/4 + (0 + 13)/(-26). Are 437 and m unequal?
True
Let k(g) = -g - 22. Suppose -42 = 6*f - 6. Let z be -60*(-3)/f*1. Let i be k(z). Which is smaller: i or -5/4?
-5/4
Suppose 3*v - 9920 = 2*j + 3930, 5*j - 3*v + 34589 = 0. Is -6915 at least j?
False
Let j = 307.5 - 608.3. Which is greater: 2/7 or j?
2/7
Let z = 295 - 295.167. Let i = -0.057 - z. Let p = i - 1.11. Which is smaller: 7/2 or p?
p
Let a be 4820*18/1125*5. Is a less than or equal to 387?
True
Let b be (-6 + 3)/(0 - -73). Let i be ((-2)/(-4161))/(((-26)/(-312))/(205/80)). Let n = i + b. Which is smaller: n or 2?
n
Let v = 71 + -58. Suppose 3*m + 10 - v = 0. Let k be ((-27)/(-1224))/(m/(-4)). Is -1 > k?
False
Let u be 274/(-115) - (-387)/3870. Which is smaller: u or -3?
-3
Suppose 5*h + p + 3614 = 0, -398*p + 400*p = 4*h + 2880. Is h bigger than -722?
False
Suppose 3*w + 54 = -5*m, m - 5*w - 6 = -0. Let x be (m/(-2))/((-9)/(-12)). Let v be (-336)/(-56)*(-5)/30*-5. Which is greater: x or v?
x
Suppose -119*s + 116*s - 24 = 0. Let p be 783/6*s/(-12). Does 86 = p?
False
Suppose 20*o = 8301 - 4221. Is o at most as big as 819/4?
True
Suppose -f - 13*f = -116*f - 423810. Which is greater: f or -4154?
-4154
Let w be (((-8)/(-6))/(-2))/(52/6 - 8). Which is smaller: -30/61 or w?
w
Let s = -0.374 + 5.714. Let i = s - 5.3. Which is smaller: i or 0.3?
i
Let s(a) = -3*a - 66. Let b be s(-22). Suppose b = -4*d + 2*l + 1 - 79, 2*l = -6. Is -21 greater than or equal to d?
True
Let n = -298.84 + 310. Let m = n + -0.16. Let q = -11.12 + m. Is q bigger than -1/7?
True
Let t = 26 - 26. Let q = -530 + 550. Is t less than or equal to q?
True
Let y be 5 - (-11 - 6 - 3). Suppose 8*z = 63 + y. Which is bigger: 62/5 or z?
62/5
Suppose 3*q - 38 + 43 = 5*l, 5*l = 2*q + 10. Is q smaller than -1602?
False
Let l = -60.5 - -11.3. Let o = 1028 - 1036.2. Let p = l - o. Which is smaller: 0.1 or p?
p
Let m(r) = -13*r - 64. Let a be m(10). Let o = -387/2 - a. Is -2/11 bigger than o?
False
Suppose 3*i + 2*n + 14 = 0, 0*n = 5*i + 3*n + 25. Let r be ((-20)/(-8))/((-4)/i). Suppose 5*h - 2 = 4*h, -h + 22 = r*w. Which is greater: w or 10/3?
w
Let o(n) = 2*n**2 - 35*n - 18. Let r = -285 + 303. Let s be o(r). Let y be (1 + (-38)/34)/2. Which is bigger: y or s?
s
Let y = 37/10 + -7/2. Suppose -4*c = -1 - 19. Suppose c*a = 3*l - 11, 2*a + 2*l = 4 - 2. Is a at most as big as y?
True
Let k be (531/63 - 9)/(4/(-14)). Suppose -4*b = -s + 6, -4*s + 47*b = 44*b + k. Let w = -1 - 3. Which is smaller: s or w?
w
Let i be (75 - 76) + -12 + 0. Let o(p) = 22*p**2. Let w be o(1). Suppose -6 - w = 2*x. Which is smaller: x or i?
x
Suppose -41*z = -163*z + 52*z. Is -15/443 at least as big as z?
False
Let j(r) = -r**3 - 4*r**2 + 7*r - 2. Let v be j(-5). Let n = 227 + -223. Suppose n*d = -3*a + d - 51, -3*a -