 4*s + 72 = -4*y, y + 30 = -3*s - 26. Let v be ((-9)/s)/((-18)/4 + 3). Is 1 bigger than v?
True
Let g = -10 - -13. Suppose -5*h + 4 = 5*d - 1, 2*d = g*h + 27. Let o = -6 + d. Do -2/5 and o have the same value?
False
Suppose 4*m = 4, -2*w + 31 = m + 4*m. Let i = w + -16. Let j be i/12*2/(-3). Is j at least as big as -1/4?
True
Suppose 10*r - 7*r = 4*l - 1067, 3*l - 2*r - 799 = 0. Are 263 and l unequal?
False
Suppose -d - 4*d + 1 = -3*z, -3*z + 5 = -2*d. Suppose -109 = -3*w + z*p - 31, -4*p = 16. Is 21 smaller than w?
True
Suppose -13 = 5*i - 43. Let b(s) = 4*s**2 - 5*s + 5. Let h(y) = -7*y**2 + 11*y - 11. Let r(j) = 5*b(j) + 3*h(j). Let z be r(i). Is 4 < z?
False
Let z(d) = 3*d + 18. Let y be z(-6). Suppose p = -5*s - 12, -3*s = -y*s + 6. Suppose -3*k + 6 = -2*u, u - 4*u = 9. Which is bigger: k or p?
k
Let b(u) = 7*u**2 + 63*u - 2*u**3 + u**3 - 33*u - 35*u + 8. Let t be b(6). Is 12 greater than t?
False
Let x = 576.6 - 577. Is x < 25?
True
Let u = -2.3 + 11.3. Let g = u - 12. Let h = g + 3.1. Is h < 3?
True
Suppose -3*s - 7*h = -3*h - 69, 0 = -3*s + 2*h + 69. Is 4 < s?
True
Suppose 12*j - 141 = 5*j + 3*d, d = 2. Suppose m - 21 = 3*r, 4*m = -m + 3*r + 105. Is m >= j?
True
Let c = 0.388 - 5.388. Is 6/5 at most as big as c?
False
Let b = -0.24 + -30.76. Let x = b + 31.3. Are -6 and x unequal?
True
Let y = -129 + 130. Let l be 1 - 1/((-153)/(-150)). Which is greater: l or y?
y
Let f = -6/137 - -664/8905. Let r(l) = -4*l**3 - 44*l**2 + 2*l + 22. Let d be r(-11). Which is greater: f or d?
f
Let s = -202.04 + 202. Let y = 0.01 + 3.99. Are y and s unequal?
True
Let r(k) = 2*k**3 - 25*k**2 - 13*k + 4. Let y be r(13). Suppose -g + 2*j - 2 = -0*g, -16 = -y*g - 4*j. Let p be 8/6 + 2 + -2. Do p and g have the same value?
False
Let q = -16379/13 - -1259. Which is smaller: q or 2?
q
Let k be 2/6 - 46/(-6). Suppose -7*g - 6 = 43. Let u = k + g. Which is bigger: 5/11 or u?
u
Let a be 0/(0 + (-4)/(-2)). Let d be (a + (-8)/178)/(-2). Which is greater: -1 or d?
d
Let u be (-3 - (-6 - -2))*-1. Let b be 2/(-2)*(-7)/u. Let k be ((-3)/10)/(b/(-14)). Which is smaller: 0 or k?
k
Let u = -17 - 7/3. Let k = u - -19. Let b = 485 - 485. Which is smaller: b or k?
k
Let v = 4112 - 259078/63. Is -1 >= v?
False
Let y(n) be the second derivative of n**6/360 - 17*n**5/120 + 11*n**4/12 - 9*n. Let k(d) be the third derivative of y(d). Let a be k(8). Is 3/11 bigger than a?
True
Let g(q) = q**2 - 5*q + 3. Let f be g(4). Let l(d) = -20*d - d**2 - 9*d + 36*d - 12. Let p be l(5). Is f greater than p?
True
Let t = 110449/29289 - 4/2253. Is 4 < t?
False
Let x be (-1)/(2 - (-7)/(-3)). Suppose -r + 0 = -2*h + 5, -x*r + 25 = 4*h. Which is bigger: r or 5/2?
r
Let b = -9 - 1. Let i(d) = -d + 18. Let x be i(14). Suppose 0 = -4*f - x*s - 48, -3 = 2*f - 5*s - 0. Is b greater than f?
False
Let t be ((-2)/4*0/26)/(-4). Which is smaller: t or 2/501?
t
Let n = 46 - 73. Let h = -19 - n. Let o = h + -41/5. Are -1/4 and o equal?
False
Let x be 12/78 - 24/(-13). Let k be (-1)/5 - ((-15)/(-5) - x). Let r(w) = w + 3. Let h be r(-4). Do h and k have the same value?
False
Suppose -j + 11 = 2*j + l, 20 = 5*j + 2*l. Let q be (14/1)/(j - 0). Let f = 10624 + -10624.3. Which is smaller: q or f?
f
Suppose 3*y - 3*g - 102 = 0, g - 50 = 4*y - 171. Suppose 0 = -w + 1, -2*h - w + 53 = -2*w. Is h bigger than y?
False
Let i = -25 + 13. Let a be (8/i)/((-4)/(-6)). Suppose 7*j - 12*j = 10. Is j > a?
False
Let s = -56 + 99. Let t = 44 - s. Let i be (-42)/(-49)*14/(-11). Is i greater than t?
False
Let i be 0 + 1 + (-24)/9. Let a = 90 + -89. Let n = a + i. Is n <= -1?
False
Let d be 104/3120*(-310)/(-12). Are 0 and d unequal?
True
Let a(p) = -p**2 - 18*p - 13. Let x be a(-15). Let c = x + -31. Which is bigger: c or 14?
14
Let s = -10 - 0. Let f = 13 + s. Suppose -5*v = -3*g + g + 12, 3*v + 18 = f*g. Is g < 2?
False
Let o(w) = -w**2 - 4*w + 4. Let r be o(-5). Let p(c) = 2*c + 3. Let g be p(r). Which is smaller: g or 2?
g
Suppose -m = -0*m - 3. Let l(i) = -21*i + 11*i - 2*i - i**m + 13*i**2. Let y be l(12). Which is smaller: 2/5 or y?
y
Let t = 12 + -10. Suppose t*l = -2*l + 48. Let f = -3 - l. Is -15 != f?
False
Let z be (-1)/2*7*94/7. Is z less than -3?
True
Let f = 210 - 201. Suppose -17 = -3*m + 7. Are m and f nonequal?
True
Let w = 749 + -727. Which is bigger: 17 or w?
w
Let q(v) = -68*v**2 + v. Let t be q(-1). Let x = -68 - t. Let g = 97/476 - 9/28. Which is smaller: g or x?
g
Let s be (-3)/(-4)*(-8)/(-2). Let b be 1/(1/((-12)/s)). Let p be (8/40)/(1/b). Is p not equal to 0?
True
Let w be (-2)/7 + 2091/287. Suppose a - 2*a - 6 = 2*p, 4*p - 4*a = 0. Let v be (-31)/(-4) - p/8. Which is greater: w or v?
v
Suppose t = 5*u + 16, -6*t = -3*t - 2*u - 9. Suppose -7 = -6*d - t. Is 7/4 smaller than d?
False
Suppose 3*b = -4*i + 5*b + 30, 5*i + 2*b - 51 = 0. Suppose -3*q - 18 - i = 0. Which is smaller: -6 or q?
q
Let i = -949 + 1254. Is i > 305?
False
Suppose 89 - 85 = -4*d. Do -30/37 and d have the same value?
False
Let h(l) = -8*l + 40. Let n(b) = b + 9. Let j be n(-1). Let y be h(j). Is y less than or equal to -26?
False
Let q = 425 + -10199/24. Let k = 0.02 - 0.22. Let s = k - -0.1. Which is smaller: q or s?
s
Let o be 0 + (-1 - (-1 + 6)). Let y be 1/2 + (-2)/(-4). Suppose 4*f + 25 = y. Are f and o nonequal?
False
Let h = 3493/5 - 701. Let o be 1 + (9 - 4) + -4. Suppose -n - 11 + 4 = 2*k, -o*n - 11 = 3*k. Which is smaller: h or n?
h
Let i = 0.267 + -4.267. Is -20.7 bigger than i?
False
Let i = -24682160/44457 + 16088/29. Let n be (-2)/(-7) + 890/(-3066). Let z = i - n. Do z and -1 have the same value?
False
Let l = -2/7587 - -15460/1084941. Let b(t) = t**3 - 3*t**2 + 8*t - 11. Let h be b(2). Which is smaller: h or l?
l
Let s = 139 - 194. Is s equal to 1/2?
False
Let m be 3070/12 + (-4)/24. Suppose -205 = 5*o + 1090. Let j = m + o. Which is smaller: -2 or j?
j
Let z = 27490/11 + -2500. Suppose -r - 4 = f, -5*f - 4 = 2*r + 4. Are f and z nonequal?
True
Let k = 990 + -175229/177. Let t = 361/1239 - k. Let f = -3/10 + 4/5. Which is greater: f or t?
f
Let w be -1 + 612/21 + (-1)/7. Let u = w + -24. Let v = 8 + -3. Which is bigger: v or u?
v
Let b = 9 + -15. Let x = 11 - b. Suppose 58 = 4*g - 2*f, -2*g - 5*f + 29 = -18. Is x equal to g?
False
Let s = -15 + -5. Let w = s - -10. Let n = -0.5 - 0.5. Is w bigger than n?
False
Suppose 20*q - 16*q = 2520. Let b = 6922/11 - q. Let r = b + 5/22. Which is greater: -2 or r?
r
Let d(m) = -m**2 + 10*m - 21. Let k be d(4). Let f be ((-12)/10)/((-12)/40). Which is bigger: k or f?
f
Let l(y) = 42*y - 19. Let k be l(2). Let x be (-4)/(16/(-260)) - 1. Is x less than or equal to k?
True
Let r = 225 + -224.93. Let l = 2.9 + -3. Let b = l + r. Which is bigger: -1 or b?
b
Let w = 165 - 3467/21. Let l be 9/24 + (165/(-24))/(-11). Which is greater: l or w?
l
Let i = 618 - 629. Let v be 1 - ((-3 - -30) + -1). Let z = 15 + v. Which is greater: i or z?
z
Let z(j) = 99*j - 4. Let m be z(11). Let a be 2*(m/(-360) - -3). Are -1/3 and a non-equal?
True
Suppose -1 = 2*p - 121. Which is smaller: p or 63?
p
Suppose -20 = -4*u - u. Let a be 0 - (u/3)/(-2). Let j = -13 + 13. Is a less than j?
False
Let r = 369 + -330. Which is bigger: -2 or r?
r
Let t = 1104 + -719. Is t smaller than 384?
False
Let n = 790 + -741. Is n at least 0.2?
True
Suppose 4*m + 19 = -k, 5*m + 6 + 5 = 3*k. Let b = -3 + 5. Let s be (-7)/b*8/6. Which is smaller: m or s?
s
Suppose -6*p = -2*p + 4*o - 8, 3*p = 5*o - 18. Let g(j) = -2*j**2 - 4*j - 2. Let c(w) = w - 9. Let i be c(7). Let d be g(i). Which is greater: p or d?
p
Suppose 4*n = 4*z - 8, 3*z + 5*n = -1 + 7. Suppose -4*a - 11 = -z*j + 5*j, -4*a = -2*j - 14. Let v be 4*5*(-2)/(-8). Which is smaller: a or v?
a
Suppose -1 - 3 = -h. Suppose 45*k - 49*k = h. Which is greater: k or 58?
58
Let o = -11 + 6.4. Let l = o - -4.6. Which is bigger: l or -5?
l
Let p = 578 + 163. Does 741 = p?
True
Let b be (-4 - -7)*1*(-24)/9. Suppose 2*m + 1 + 11 = 0. Do b and m have different values?
True
Let i = 85 + -121. Let h = -109/3 - i. Let z(s) = -s**3 - 3*s**2 + 3*s - 4. Let d be z(-4). Which is smaller: h or d?
h
Let j = 7 - 10. Let x be 8/388*(1 - j). Let i = x - 314/1455. Which is bigger: -1 or i?
i
Let k(s) = -s**3 - 2*s**2 + 14*s + 26. Let z be k(-4). Let v = -1.92 + -0.08. Is v greater than or equal 