72 = -5*s. Is 89 less than f?
False
Suppose 3*x + 20199 = 5*u - 6494, 1 = -x. Let h be (-4)/7*(-21)/14 + (-13959600)/(-2625). Let t = u - h. Which is bigger: t or 18?
t
Let a be (-1 - (-79)/(-7))/(22/2079*-27). Let b = -0.3 - -0.2. Is a greater than or equal to b?
True
Suppose 0*b + 2*v + 10 = -2*b, -5*b - 4 = -2*v. Let d be (-3)/((-455)/(-238) + b). Is 0 < d?
True
Let c be -241 - ((-8)/(-44) + 100/55). Let v = c + 244. Is v smaller than -4/9?
False
Let i be 28/(-21)*36/8. Which is bigger: -373 or i?
i
Suppose 77 = 100*t - 93*t. Suppose -3*x + 3*q = -36, 4*x + q = 4*q + 45. Which is greater: t or x?
t
Let l be 72/(-294)*49/70. Suppose 74*v - 72*v = 8. Suppose -2*j = -v*j. Is j greater than or equal to l?
True
Let q = -85.2 - -86. Let g = -0.085 - -0.1. Let i = 0.085 - g. Are i and q non-equal?
True
Let n(g) = -g**2 + 19*g - 18. Let f be n(9). Let c = -86 + f. Let m be 4/c + 650/70. Is 9 greater than or equal to m?
True
Let z(f) = -f - 4. Let m be z(-3). Let o = -231523/13 - -17809. Is o at least m?
True
Let r = -7.06582 + 0.06582. Let b = 1579 - 67894/43. Let s = -28/215 - b. Do s and r have the same value?
False
Suppose 5*v = 14*p - 10*p - 1586, -2*p = 3*v + 934. Is v <= 6?
True
Let s = -36.109 - -38.109. Which is smaller: s or -15486?
-15486
Let q = 327.1 - 327.44. Is -1.7 less than q?
True
Let z = -1503 - 1081. Is z bigger than -2587?
True
Suppose 3708*j = 3725*j + 17. Which is smaller: j or 24/173?
j
Let h = 761 + -760.8. Suppose q - 5 - 6 = 4*p, -3*q + 2*p = -13. Let l be 14/q*(-3)/4. Do h and l have different values?
True
Let x be 1*(7 - 9)*(-8)/16. Is 2/237 greater than or equal to x?
False
Let u be 2847/146*(-15 + -1). Is -312 less than u?
False
Let f = -83.82453 + 0.64253. Let a = -0.182 - f. Which is bigger: a or -1?
a
Let c = 1286 - 1239. Suppose -4*o - 203 = 5*k + 100, -2*o - 151 = 3*k. Let v = o + c. Is v equal to -30?
True
Let y = -19898 - -19901. Let b = 17 - 5. Is b greater than y?
True
Let f = -1 - -3. Let r(i) = i**3 + 17*i**2 - 2*i - 30. Let g be r(-17). Let n be (g/6)/(1 - 88/96). Which is greater: n or f?
n
Let m be (12/8)/(15/20)*-1. Let b be (m/117)/((-3)/9). Is 0 >= b?
False
Let x(k) = k - 5. Let r be x(5). Let g = -4520/23 - -49697/253. Which is smaller: g or r?
g
Suppose -5*x - 17 = 4*a + 11, -5*a + 39 = -3*x. Let w be 0 + (x/(-940))/((-3)/(-15)). Is -1 < w?
True
Let n be (-638)/(-4) - ((-55)/10 + 3). Let h = n + -184. Is -23 bigger than h?
False
Let d = -277.512 - 0.488. Let s = 277.9 + d. Are s and -160 equal?
False
Let p(c) = 42*c - 148. Let o be p(5). Let q be o*(-36)/15 + 9/(-45). Is q at least -148?
False
Suppose 5*k - 5 = 0, -2*u + 11*k + 5 = 16*k. Do -305 and u have the same value?
False
Let p be (0 - (-2 + 2)) + -1. Let c = -13444 + 13417. Which is smaller: c or p?
c
Suppose -31*x = -26*x - 160. Suppose -l - 5*m + 65 = -5*l, -l - x = 4*m. Suppose 4*v = 5*v + 22. Which is smaller: v or l?
v
Suppose -4*b = 4*o - 1832, -4*o + 3*o - 2769 = -6*b. Which is smaller: 466 or b?
b
Let b = 25567 - 25567. Is 12/1399 bigger than b?
True
Let q(d) be the first derivative of d**4/4 - 3*d**3 + 5*d**2 - 8*d - 9. Let h be q(8). Suppose -2*y + 5*o + 3 = 6, 0 = 5*y + 5*o - 45. Is y > h?
False
Suppose 90205 = 48*y - 149*y - 556801. Is y bigger than -6405?
False
Suppose -a - 4*p = 5, -4 = -0*p + 2*p. Suppose -a = 3*d + 12. Let r(o) = 8*o - 7. Let n be r(0). Which is greater: n or d?
d
Let j be (166140/(-7029))/(4/(-22)). Let a be (-3)/12 - (-521)/4. Is a less than or equal to j?
True
Let d = 7301 - 7324. Let t(l) = 6*l + 2. Let u be t(-4). Which is smaller: d or u?
d
Suppose -9*v = -3*v - 54. Let b be 6/v - 20/3. Suppose 0 = -5*h - 0*i - 3*i, 0 = -5*h + 5*i - 40. Which is smaller: b or h?
b
Let x be 12/42 + 3/((-42)/1936). Let l = -139 - x. Is l < -3/19?
True
Let s be (-2)/(0 + (-3)/6). Let v(p) be the second derivative of p**5/20 - p**4/4 - p**3 + 15*p**2/2 - 53*p. Let t be v(s). Which is greater: t or 45/8?
t
Let f be ((-12)/40*2)/(-9). Suppose 3*g - 27 = -5*h, -5*g + h + 0*h + 45 = 0. Suppose 3*y - 3*o + g = 0, 8 = -6*y + 2*y + 3*o. Which is greater: f or y?
y
Let a = 535 - 525. Let i be a*((-60)/(-160))/(6/40). Which is smaller: 0 or i?
0
Let y be 834/1112 + (-58)/24 + 1. Is 312 at least y?
True
Suppose -54*g = -65*g + 55. Suppose 11 = -2*l + g*x, -2*x - 8 = -5*l - 25. Is -2 < l?
False
Let u = 0.36 + -0.19. Let s = -784031 + 784029. Which is greater: u or s?
u
Let q be (24/(-1258))/((-12)/(-4) - 13). Is q at most as big as -1?
False
Let a = -2822778/37 + 76297. Is 6 less than or equal to a?
False
Suppose 4*t = -20, -2*x + 3*t - 3 = -26. Let m(d) = 1625*d + 4869. Let l be m(-3). Is x smaller than l?
False
Suppose 20*q + 1759 + 661 = 0. Is -69 at least q?
True
Let f be (-12)/3 - (-4 + 1). Let z be ((-1008)/63)/(1 + -14 + f). Suppose j = 4*j - 5*v + 9, -5*v + 21 = 3*j. Do z and j have different values?
True
Suppose -18 = 5*z - x, 11*z - 9*z + 3*x = 3. Let y(u) = -2*u**3 - 7*u**2 + u + 2. Let j be y(z). Suppose -2*d - 19 - 9 = 0. Which is bigger: d or j?
j
Let r(l) = -4*l + 3. Let s be r(-5). Let b(m) be the first derivative of -2*m**3/3 - 12*m**2 - 16*m + 38. Let o be b(-10). Is o > s?
True
Let w = 117 - 837. Let z = 730 + w. Which is greater: z or 19?
19
Let f be (89/356)/((-1)/(-4)). Which is greater: 3/656 or f?
f
Let u = -31773 - -96302/3. Is 327 less than or equal to u?
True
Let t(j) = 6*j**2. Let c be t(1). Let o(r) = -r**3 + 6*r**2 + r - 6. Let w be o(c). Suppose -2*z + w*z = -4*y + 76, -79 = -3*y - 4*z. Is y bigger than 21?
False
Let a = -544 - -251. Is a bigger than -287?
False
Let s = 1527/100 + 14659/300. Are 65 and s non-equal?
True
Let d(h) = -4*h + 11. Let n be d(2). Suppose 0 = 5*u - 15, -187 = 5*z - u - n*u. Which is smaller: z or -174/5?
z
Let b be 12/(-102) - (58/(-203) + (-198)/238). Is b equal to -28/93?
False
Let d(x) = 4*x**2 - 19*x - 141. Let v be d(-4). Is v at most as big as 683.5?
True
Let d be 4 - (4/14 + -1099*31/(-9212)). Suppose y + 2*f - 4 = -0*y, 4*y - 2*f + 4 = 0. Are y and d unequal?
True
Suppose -1 = 5*m - 11, 0 = -2*w - 3*m - 928. Let s = w + 470. Which is smaller: s or 24?
s
Suppose 0*o = 3*o - 60. Suppose o = 6*s - 28. Let m be (2*(-20)/32)/((-2)/s). Which is bigger: 24/5 or m?
m
Let p = 15.5 - 15. Let t = 38 + -100. Let c = t - -58. Is p >= c?
True
Let h(r) = 2*r**2 - 73*r - 183. Let t be h(39). Suppose -5*l + 30 = -60. Let k = 30 - l. Is t smaller than k?
False
Let p(w) = 3*w**2 - 8*w + 6. Let x be p(5). Suppose 0 = -5*v + 2*o + 189 + 31, 5*o - 143 = -4*v. Is v smaller than x?
False
Suppose -22*t - 3689 = -53*t. Does -2/3 = t?
False
Let u(l) = l + 16. Let a be u(0). Let r be (a + -2)*(-1)/3. Suppose 37*o - 41*o = 16. Are r and o unequal?
True
Let i be (0 + 1)*0/4 - -155. Let w = i - 183. Are 0 and w nonequal?
True
Suppose 21 = -2*r - 27. Let o be 10/(-25) - r/10. Let q = 201 + -207. Does q = o?
False
Let c = 78/3827 + -234420/10374997. Which is smaller: 0 or c?
c
Let l = 2.751 + 457.249. Is -1/5 greater than l?
False
Let s be -16*5/(-5)*(324/3)/(-2). Is -861 equal to s?
False
Suppose 0 = 3*h - 2*o + 2409, 0 = -4*o - 3 - 9. Let k = 22537/28 + h. Suppose r - 1 + 4 = 2*y, y = 1. Is r greater than k?
False
Suppose 2*o + 3214 + 6551 = b, b = -6*o - 29275. Which is greater: o or -4881?
o
Suppose 108 = -41*m - 179. Let d(p) = -p**2 - 3*p - 4. Let k be d(-4). Let v = m - k. Are v and -1/87 equal?
False
Let h = -1129 - -58705/52. Suppose -34*b + 5*b - 13920 = 0. Let f = -479 - b. Is f at most as big as h?
False
Let o(p) = p**3 + 20*p**2 - p - 12. Let s be o(-20). Let f be (-1 - 6/2) + 14 + s. Suppose -4*n = -24 - 40. Is f > n?
True
Let j be -8*2/(-4) - 40. Suppose -4*b - 180 + 48 = 0. Is j less than or equal to b?
True
Let q = 31603 - 14104. Which is smaller: q or 17500?
q
Suppose 4*d - 9*k + 390 = -4*k, -483 = 5*d - 4*k. Is -145 smaller than d?
True
Suppose -3*t + 3*i = -7398, 18870*t = 18875*t - 2*i - 12324. Is 2458 < t?
True
Let y be (-5 - -15)/(-1 - (-4 + 2)). Suppose 24*z = -2*z + 25 + 105. Which is smaller: y or z?
z
Let x = 1549139715173/1365 - 1134901033. Let o = x + 44/455. Is -143 bigger than o?
False
Let t = -2.1001 + 2.3871. Is t greater than or equal to -68?
True
Suppose -81 = -4*s - 21. Suppose s*k = 11*k - 4. Which is smaller: 9/35 or k?
k
Let n be (-2355)/(-25)*55184/2232. Let f 