z - y*r - 15, -19 = 3*z + 4*r + 1. Is 1/654 < z?
False
Let l be -4 + (2 + -2)/(-3). Let c(w) = -9*w - 11. Let a(p) = 10*p + 10. Let h(o) = 3*a(o) + 4*c(o). Let b be h(l). Is b less than 10?
False
Let d be 37/7 - (-16)/(-56). Suppose 85 = 5*p + d*h, -p + 3*h = -5*p + 69. Is 67/4 equal to p?
False
Let a = 956.1 + -1002. Let d = -32.9 - a. Is 5 at least as big as d?
False
Let i = -0.3334 + -0.0666. Let u = i + -41.6. Which is smaller: 4 or u?
u
Let f be 1131542/103*(-18)/(-36). Let z = 5493 - f. Let t = z - 266/6077. Is t less than 1?
True
Suppose -75*n = -6143 + 43418. Which is smaller: n or -9?
n
Let v be -1*51 - (-5 + (8 - 4)). Let k be v/4*12/(-30) + -5. Let h be -1 - 4/(-18)*2. Which is smaller: k or h?
h
Let k = 3869 + -3868. Which is greater: k or 33/37?
k
Let v(z) = 2*z**3 - 3*z**2 - 8*z + 12. Let r(o) = o**3 - 9*o**2 + 15*o - 5. Let d be r(7). Let p be v(d). Is -13/14 > p?
False
Let s = -2576/5 + 19513/40. Let c = -2/21875213 - 186748692757/6825066456. Let o = c - s. Is -1 bigger than o?
False
Suppose 15*w = -14*w - 72964. Is 0 > w?
True
Suppose 4*a - 211 = 5*r, 55 = 2*a + 2*r - 37. Let d = -49 + a. Suppose d = 9*j - 4*j - 15. Are -1 and j non-equal?
True
Suppose 5*w = 2*w - 291. Let x be 112/3*576/(-224). Is x < w?
False
Let f = -38 + 29. Let r be 4/((-60)/f) - (-6812)/(-70). Let j = -97 - r. Is j bigger than -7?
True
Let n be 38/399*(-6)/2. Let x = 0.01 - -0.99. Which is smaller: n or x?
n
Let a = -2/445 + 1357/4895. Let v = 908.5 - 908.6. Is a equal to v?
False
Let j = -0.963 - -0.863. Which is greater: -26/141 or j?
j
Let c(b) = 3*b**2 - 142*b - 162. Let d be c(54). Which is bigger: 920 or d?
920
Suppose 5*t = -5, 3*t - 2*t = -3*z - 1. Let w = z + 3. Let f be w*1/9*-3. Which is smaller: f or -3/61?
f
Suppose -2*a = 5*r + 6, 7*r - 15 = 3*r + 5*a. Suppose 31*z = -r + 31. Which is greater: z or -1/20?
z
Let i be ((-6)/4 - 2)*-14. Let u = 64 - i. Let j be u/(-5) - 146/(-50). Is 2 at least j?
True
Let w(a) = a**2 + 41. Let r be w(0). Let s be -8 + 49/7 + 6*(-45)/(-162). Does s = r?
False
Suppose -11*v - 2340 = 19*v. Let j be v*((-20)/5 - (-18)/4). Suppose -3*z - 126 + 12 = 0. Is z smaller than j?
False
Let a = -1.98 + -0.02. Let t = 350 - 340. Suppose -8*q + 58 = -t*q + 4*o, 71 = -3*q - 2*o. Which is bigger: a or q?
a
Let f be (-2)/4*(-168)/6. Suppose -l + 2 = -x, -459 = 3*x - l - 465. Which is bigger: f or x?
f
Let p = -3 + -11. Let q = 24 + p. Let i = -10 + q. Is i < 0?
False
Let b be (-51)/(-12)*(-5 - -6 - 525). Is -2226 <= b?
False
Let o be 2110/35*21/6. Which is bigger: o or 219?
219
Let i = -178 - -179. Let t be i/12*(-48)/(-12). Which is greater: t or 121?
121
Let b be 195/(-1572) + (21 - 1577/76). Is b >= 0?
True
Let n(h) = -8*h**2 + 14*h + 9. Suppose 0 = 2*c + 25 - 11. Let p be n(c). Which is smaller: -480 or p?
p
Let z(n) be the third derivative of -n**5/30 - 101*n**4/24 - 73*n**3/3 - 4*n**2 - 5. Let x be z(-49). Which is smaller: -3/428 or x?
-3/428
Let q = -349/9 - -199288/5139. Let k = -30 - -31. Which is smaller: q or k?
q
Let p(q) be the third derivative of q**5/60 - 4*q**3/3 + 6*q**2. Let x be p(7). Suppose -t + x + 34 = 0. Which is smaller: 76 or t?
t
Let t be (-8)/2 + ((-1764)/(-539) - 3/11). Are -40/487 and t non-equal?
True
Suppose -2*k - 7 = -w, 5*k = -w + 1 - 8. Let v be (k - 4)*((-1 - 2) + -7). Let z = v + -40. Is z at most as big as 20?
True
Let x(g) = g**3 + g**2 - 3. Let l be x(-7). Let r be -1 + (-18)/(-22) - 54/l. Which is greater: -330 or r?
r
Let z = -48 + 47.58. Let v = z - -0.367. Let c = 0.053 + v. Which is greater: c or 14?
14
Let y be 1232/(-6272) - 1/((-7)/4). Which is smaller: 690 or y?
y
Let w(g) = 1586*g + 84. Let t be w(-1). Which is bigger: -0.2 or t?
-0.2
Let v = -5.96 - 1.04. Let d = 280.97 - 281. Which is smaller: d or v?
v
Suppose -3*l + 3*j + 4 = 13, 2*l + 4*j = -6. Let i = l - 5. Let u be (-1)/4 - 10/i. Are 0.35 and u nonequal?
True
Let a be (-2261777)/(-1854) + (-1)/(-18). Is 1222 smaller than a?
False
Let h = -1014 - -567. Let b = h - -295. Which is smaller: b or -151?
b
Suppose 0 = -6*p + 2*p - 4. Let j be (-2)/4 - -4*(-10)/16. Let l(a) = 2*a + 4. Let k be l(j). Which is greater: p or k?
p
Let x = 2341 + -1165. Let h = -1163 + x. Let q be 1 + 40/(-18) - -1. Is h less than or equal to q?
False
Let u = -852 - -13. Let p = 841 + u. Which is smaller: p or 101?
p
Let j = -3573 - -28585/8. Is 6 less than j?
False
Let o = -4942 + 5433. Is o less than 491?
False
Suppose -64 = -3*k - 2*g, 3*k - g - 20 = 47. Suppose -23*m = -k*m. Are 1/18 and m equal?
False
Let p = 6.83 + 0.17. Let c = 58 - p. Let q = -66 + c. Which is bigger: q or 0?
0
Let d be 90/25 - (-78)/(-30). Are d and 43/81 non-equal?
True
Let c be ((12/(-768))/(30/(-80)))/(2/(-4)). Let z be (-23)/(-12) + (-1)/4. Let p = z - c. Which is bigger: p or 2?
2
Let t(m) = 424*m**3 - m**2 - 18*m + 18. Let k be t(1). Is 425 <= k?
False
Let m be (624 - 8/4) + 0/(0 - 2). Is m not equal to 622?
False
Let i = 57 - 19. Let m = 42 - i. Let a be 1 - -2 - (m + -1). Which is greater: 1/2 or a?
1/2
Let p be ((204/(-8))/17)/(-12). Is -1496 != p?
True
Let f be ((-183)/6 + 11)/((-6)/(-16)). Are f and -51 equal?
False
Suppose -47*k = -42*k - 11*v - 475, 3*k - 285 = 4*v. Are -18 and k equal?
False
Let l(q) = -4*q**3 - 34*q**2 + 14*q + 20. Let p be l(-8). Is p bigger than -216?
False
Let d be (-15054)/65 + 1/((-10)/4). Let b be (16 - 13) + -7*201/6. Is d greater than or equal to b?
False
Let g be 6/(-245)*5/1. Let m = -11/119 - -633/6664. Let b = g - m. Is b < 0?
True
Suppose 3*b + 24 = 3*v, 2*b - 6*b = v + 27. Let p = 293 - 293. Suppose p = -4*o - 31 - 1. Is b greater than or equal to o?
True
Suppose -14*k - 157409 = -61*k - 66*k. Which is smaller: k or 1392?
1392
Let h be (8/(-30) - 1)/(9/54). Let y(o) = o**3 + 27*o**2 + 25*o - 26. Let q be y(-26). Which is greater: h or q?
q
Let u = -28/3 + 367/39. Suppose -20*r + 31*r - 88 = 0. Let d be 60/(-75) + r/10. Which is smaller: u or d?
d
Let i = -70 + 70. Suppose -3*j = -4*n - 11, i = 2*j + 4*n + n + 8. Which is smaller: j or -4/115?
-4/115
Let t = 3759 + -3715. Suppose 5*p - 132 - 98 = 0. Is p equal to t?
False
Let d = 20565 - 16445. Which is greater: 4121 or d?
4121
Let o(n) = n**2 - 94*n + 1185. Let y be o(15). Let p = 126611/162 + -1563/2. Is y bigger than p?
False
Let m = 28 - 16.2. Let s = m + -13. Let y = 6.1 - 6. Is s at least as big as y?
False
Let v = 655155 - 50445464/77. Let u = -128/7 + v. Is u less than 0?
False
Suppose -4*i + 0*i - 4 = -4*d, -5*i = 4*d - 4. Suppose 8 = 4*b, -3*v - 623 = -9*b + 8*b. Let x = v + 2071/10. Does i = x?
False
Suppose 17*c = 12*c - 3*t - 10516, t = 8. Which is smaller: -14754/7 or c?
c
Let z(y) = y**3 - 3*y - 10. Let k be z(0). Let v be (-2)/k + 55/(-25). Which is smaller: -23 or v?
-23
Let p be (6 - 4630/775)/((-1302)/15 + 0). Is 1 at least as big as p?
True
Let c = -28741144/9005529 + 2/191607. Which is smaller: -1/2 or c?
c
Let r = -16.993 - 0.007. Suppose 2*q - 140 - 150 = 0. Let b be (-2)/4 + q/50 - 2. Are b and r equal?
False
Let f be (213600/(-9))/(-16)*(-7)/((-140)/48). Is f greater than or equal to 3560?
True
Let m = -5781 + 5829. Are 42 and m non-equal?
True
Let n = 436441/399 + -1530/133. Is 1082 bigger than n?
False
Let z = 199 + -187. Suppose 3 + z = -15*g. Which is smaller: -3/22 or g?
g
Let a be (-3 + -4 + 6)/(0 - 3). Is 1.045 smaller than a?
False
Let z = 369371143472 - 6619130889296043/17920. Let n = z + -17/3584. Let b = n - 96. Is b < 0?
False
Suppose 0 = -2*z, 4*i = i - 26*z - 502 - 26. Which is bigger: -190 or i?
i
Let l = -205 + 116. Let i = l - -79. Is i not equal to 3?
True
Let t = -6318 + 6407. Let f = 18 + -88/5. Is f at most t?
True
Suppose 3*s = -21*i + 23*i + 8426, -4*s + 11228 = -i. Do 2806 and s have the same value?
True
Let i(s) = 4387*s - 582. Let t be i(-1). Which is greater: t or -4971?
t
Let n = -1290125/73 - -17673. Let z be -1*1/((-2)/2). Is z less than n?
False
Let w be 2*1 + (26 - 1). Let t = -0.322 - -0.082. Let j = t + 0.24. Which is greater: w or j?
w
Let b = 54 - 56. Let m(y) = 6*y + 9. Let t be m(b). Let l be (-82)/t + (-14)/42. Is l >= 27?
True
Let o = 6732 + -6731.1. Is 456 greater than or equal to o?
True
Let b = -260 + 256. Suppose -n + z - 2 = 3, 2*z = 5*n + 13. Which is greater: n or b?
n
Let i(f) = -182*f - 3093. Let v be