 0 = n*p + 2*l - 239. Is 80 != p?
True
Suppose 9*x - 5*x - 448 = 0. Suppose 203 = 15*u - x. Let q be ((-20)/6)/((-1)/6). Is q less than u?
True
Let s = -64 + 40. Let t = s - -23.8. Let y = -157 - -106. Which is greater: t or y?
t
Suppose -112 = -3*m - 7*t + 3*t, m - 5*t = 69. Let q = m - 85. Suppose -160 = 157*l - 153*l. Which is smaller: q or l?
q
Let n be (-22)/165 + (-13808)/(-60). Do n and 214 have different values?
True
Let i be 15/2186604*(-447316732)/(-110). Let w = 1/572682 - i. Let c = w + 194/7. Is c < -0.4?
False
Let l = 5.3 - 5.9. Let s = l - -4.6. Let i be (-14)/(-16)*2*(7 + -3). Is s not equal to i?
True
Let c = 69 - 93. Let b(s) = s**3 + 25*s**2 + 7*s + 47. Let z be b(c). Is z > 454?
True
Let x(a) = a**2 + a - 10. Let w be x(4). Let z be (-58)/(-145) - (-166)/w. Are 13 and z equal?
False
Suppose -4*o - 2*a + 3*a - 195 = 0, o + 3*a = -65. Let b be o/4 - (-5)/(-10). Let p be 80/(-102)*((-351)/12)/b. Which is smaller: p or -1?
p
Let r = 0.2 - 0.16. Let i = r + -0.1. Suppose z = -0*z + 138 - 138. Do z and i have the same value?
False
Let g(j) = -j**2 - j - 58. Let v be g(0). Let t(u) = 5*u**3 + 182*u**2 - 298*u + 167. Let l be t(-38). Is v greater than or equal to l?
True
Let t(i) = -14*i**2 - i**3 - 47*i + 2*i**3 + 19*i + i**2 - 21. Let n be t(15). Let f(d) = -d**3 + 7*d**2 + 19*d - 10. Let m be f(n). Which is smaller: m or 5?
m
Let l be ((-158)/(-20))/(((-819)/42)/(-39)). Is 1 < l?
True
Let g be 24/(-20)*(-3)/(-6). Let v = -2876 + 2895. Which is bigger: v or g?
v
Let k be (-2)/(((-260)/3419)/(-10)). Is k not equal to -270?
True
Suppose 0 = 10*g - 32*g + 3366. Let t = 150 - g. Is t less than or equal to -23/11?
True
Let c = -1084863 + 11925717/11. Which is bigger: -707 or c?
c
Let j(a) be the third derivative of 2*a**3 + 1/8*a**4 - 15*a**2 + 0*a + 0. Let f be j(-8). Which is bigger: -1 or f?
-1
Let s = 0.04 - 6.04. Let n = 5.7 + s. Let l be -1*2 - (-480)/260. Which is bigger: n or l?
l
Let y be (59/(-4))/(5/(-3)). Let g = y - 53/5. Let w(c) = c**3 + 16*c**2 - 23*c - 105. Let r be w(-17). Is r bigger than g?
False
Suppose 4 = i - 2*m + 9, -5*i + 5*m = 0. Suppose -i*c = -c. Let l(a) = -a**2 - a - 4. Let q be l(c). Which is bigger: q or 0.2?
0.2
Let s = 33210 + -664173/20. Suppose -2*a = -5*v - 7 - 13, 2*v = -4*a - 8. Is a >= s?
False
Suppose -3*x + 275 = -2*r, 2*x - 196 = r - 11. Which is smaller: 951/10 or x?
x
Let g(h) = -h**3 - 10*h**2 + 19*h + 177. Let p be g(-5). Let f be 2/(1 - -1) - 44. Is f greater than p?
False
Let s = -346/5 - -7276/105. Let a = 7 - 8. Which is smaller: s or a?
a
Let c = -32.7 - -37. Let x = -173 + 100. Let s = x - -73. Is c smaller than s?
False
Let w = -6774 - -6773. Let j = 28826 - 33524636/1163. Which is smaller: j or w?
w
Let f(b) = 114*b + 680. Let l be f(-6). Which is bigger: -2/305 or l?
-2/305
Let m(i) = -4*i**2 + 19 - 4*i - 28 - 12*i. Let s be m(-6). Is -56 not equal to s?
True
Let b(f) = 118*f - 12702. Let o be b(57). Are -29878/5 and o non-equal?
True
Let g = 0 + -2. Suppose 1748 = -53*n + 49*n. Let o = n - -437. Which is smaller: o or g?
g
Let z = -6.35 + 6. Let l = z + -0.05. Let p = 881520 - 881516. Which is greater: l or p?
p
Suppose -37*o + 3696 = 3150 - 10702. Which is smaller: o or 2744/9?
o
Let r(t) = -3*t**3 - 27*t**2 - 162*t - 164. Let f be r(-20). Which is smaller: f or 16275?
16275
Let j = 7763 - 7757. Which is bigger: j or 187/38?
j
Let i = 151 + -92. Suppose 30 = -c - i. Let l = c - -89. Which is smaller: l or -3/8?
-3/8
Let o = 10573/3210 + -33/10. Is -0.2 >= o?
False
Suppose 0*f + 2*n = 2*f - 50, -2*f - 4*n = -44. Suppose f*y = 26*y - 16. Let j(c) = -2*c**3 - c**2 + 2*c + 3. Let l be j(-2). Is l at least as big as y?
True
Let r(l) = -l**3 - 18*l**2 - 55*l + 49. Let p be r(-5). Which is smaller: p or -2/5067?
p
Suppose 0 = -18*p - 38 + 2. Suppose 5*v + 14 + 10 = m, -28 = -3*m + 4*v. Which is bigger: m or p?
m
Let w = 16276 - 16510. Is -3 bigger than w?
True
Let p = 260844 - 1821863/7. Let a = p + -579. Which is bigger: a or 0?
0
Let j(a) = -a**2 + 13*a + 3. Let q be j(4). Suppose z + 775 = 814. Is z < q?
False
Let z = 5/27 + -443/351. Suppose 11*a - 14*a + 45 = 0. Suppose -a + 9 = 6*t. Is z at most t?
True
Let p(v) = v**2 - 4*v + 7. Let f be p(3). Suppose -2*w + 54 = -d, 86 = 3*w + 5*d - f*d. Let z be (119/w - 4) + (-17)/100. Which is bigger: z or -1?
z
Suppose -15 = -2*j - 3*j. Let y(u) = -41*u + 12. Let b be y(j). Let h = b - -110. Is 4/17 less than or equal to h?
False
Let p = 1049 + -1242. Is -1342/7 bigger than p?
True
Let t = 5469 + -793002/145. Suppose 25 = -132*z + 137*z - 3*b, 3*z + 2*b = -23. Which is smaller: z or t?
z
Let p be 37/((-8954)/(-616))*(-3)/2. Is p smaller than -5?
False
Let b be (-34*(-10)/150)/(176/1320). Let v = -2 + 4. Suppose -v*q + 48 = q. Is q at least b?
False
Let k(m) = -2*m**2 + 3*m - 2. Let q be k(2). Let c = -26 + q. Let d be (-1298)/42 - (-40)/(-420). Which is smaller: d or c?
d
Let g = -234/23 - -24405/2392. Is -1 >= g?
False
Let v be ((-363)/3)/((-2112)/420 - -5). Is v less than or equal to 4234?
False
Suppose -4*j + 21612 = 23148. Is -0.08 > j?
True
Suppose 5*w + 4*y - 37 = 10, 0 = -w - 4*y + 3. Suppose 0 = -17*n + w*n - 6. Let m be (3 - 458/152)/(-1 + n). Is m less than or equal to 0?
False
Suppose f - 305*c - 6 = -306*c, 0 = f - 2*c + 9. Is f less than or equal to 2/16485?
False
Suppose -5 = 2*a + 4*s - 3*s, 2*a - s + 7 = 0. Let b be 6*(a + 51/21) + 2. Suppose 2*r + 7 = -2*u + 3*r, 4*r = -5*u + 2. Is b greater than u?
True
Let l = -2823 - -2695. Are -126 and l unequal?
True
Suppose 0 = z - 7 + 1. Let q be (z/(-4) - -2)/((-1)/(-4)). Suppose 2*l - 59 = -5*h, -3*h + q*h - 53 = -2*l. Which is bigger: 25 or l?
l
Let f = -0.011 - -23.011. Let y be 13/70 - ((-27)/(-30))/(-9). Is y smaller than f?
True
Suppose -11*h - 3*j + 414 = -8*h, 2*j = -2. Let o = -141 + h. Which is smaller: -15/11 or o?
o
Let d = -5.508 + 5.808. Which is smaller: d or 1819?
d
Let z be -2 + 11 + 9/(-3). Let v be 1/(-4)*((-50)/(-2) + -3). Let w = z + v. Which is smaller: w or 1?
w
Let y = 10 + 31. Suppose 7*o + 21*o - 1075 = 3*o. Which is smaller: y or o?
y
Let k(p) be the third derivative of p**5/60 - 5*p**4/8 + 25*p**3/3 + p**2 + 18*p. Let z be k(10). Which is bigger: 2/379 or z?
2/379
Suppose -100*h + 192736 - 721936 = 0. Does -5295 = h?
False
Let r = -2101.8 - -2100.8. Let p be 192/(-114) - 1*-2. Is r at least as big as p?
False
Let a be 4/18 + (-43)/(-9). Suppose -504 = a*t + 486. Let w be ((-12)/(-9))/((-12)/t). Is 20 at least w?
False
Let p = 15 - 32. Suppose 29 = 94*x - 62 - 3. Which is bigger: x or p?
x
Let a(v) = 4*v**2 - 27*v + 45. Let h be a(3). Which is bigger: 6/433 or h?
6/433
Let k be -2 - 7 - (-10 - 2). Let n(g) = 18*g - 9. Let o be n(8). Suppose o = -k*p + 141. Which is smaller: p or 9/14?
9/14
Let f(v) = -45*v - 2650. Let h be f(-59). Let u = -2 - 0. Let d be (5/h)/(u/10). Which is bigger: -7 or d?
d
Let j be 868/(-441) + (0 - -2). Suppose -3*b + 28 = b. Let f(p) = p - 8. Let a be f(b). Which is smaller: j or a?
a
Let l = -3/125 + -604/875. Let q(z) be the third derivative of -z**5/60 - z**4/8 + z**3/2 - 27*z**2. Let k be q(1). Is l bigger than k?
True
Let h(s) = -2*s - 13. Let y be h(-8). Suppose 0 = 9*x - y*x + 288. Let q = -24 - x. Are q and 23 equal?
False
Let i be ((-4)/13)/2 + (-17599470)/(-1314768). Is 14 bigger than i?
True
Let n = -21 - -47. Suppose 6 = -5*x + n. Suppose -3*s + s + 35 = 3*d, -5*s = x*d - 49. Is 10 less than d?
True
Let f(t) = -69*t**3 + t**2 + t + 1. Let w be f(-1). Let d = w + -69. Let n be (-17)/(-204)*16/10. Is n bigger than d?
False
Let h be -1*1*(33 - 34). Let s be (-161)/(-1710) - (-22)/(-209). Which is smaller: s or h?
s
Let g be 336/(-264) + (-15)/(-55). Which is smaller: g or -1/20406?
g
Let d = -32256 + 16608. Is -15648 less than d?
False
Suppose -16*h + 5*h + 9658 = 0. Suppose -a - 119 = -4*l + 63, 5*a - 4*l = -h. Does a = -173?
False
Let t = -247 + 56. Let x = t - -205. Which is bigger: 1 or x?
x
Suppose -3*z + 10*z + 6740 = 2*z. Which is greater: 3 or z?
3
Let s = 0.38335 - 0.33435. Let c = 4.9 + -0.9. Is s at most c?
True
Let f = -121/18 + 47/9. Let k(g) = 3*g + 1. Let s be k(-1). Let a = s + 0. Which is bigger: a or f?
f
Let w be 63/(-63)*2/(-123). Let l = w + 53/4305. Is l > -2?
True
Let g(f) = -2*f + 3. Let i b