 = -802627/141639 - -2/47213. Suppose -4 - 8 = -4*l. Is l equal to p?
False
Let c be (-4 - -6 - (-5)/(-2))*90. Let v = 150 + c. Let f be ((-8)/(-14))/(150/v). Which is smaller: 8 or f?
f
Let t be ((-2)/47)/((-1680)/(-8202023873259)) + -2. Let j = 207751370 + t. Let q = j - 1/1880. Which is smaller: 4 or q?
q
Let v be (-2 + 12)*(-249)/(-6). Let b = 400 - v. Is b not equal to -15?
False
Let l be (21/(-1381))/(5/(-985)) + -3. Does l = -1?
False
Suppose -61 = -43*f + 111. Suppose 0 = -2*b + 3*i - 7*i - 44, b - f*i + 22 = 0. Which is smaller: b or -5?
b
Let d = 4701.63 + 92.37. Is 1/3 smaller than d?
True
Suppose -104659 = 255*j + 1453 + 8383. Is j equal to -447?
False
Let l(s) = 2*s**3 - 23*s**2 + 4*s + 139. Let z be l(13). Is -1/3 greater than or equal to z?
False
Let v = -524.6 - -524.5. Is -1663 less than or equal to v?
True
Let w = -10.786 + 10.686. Is w equal to 5610?
False
Suppose 0 = 5*k - 5 - 10. Suppose 0 = -k*w + 11 + 1. Let u be ((-2)/w)/(19/19). Which is bigger: 2 or u?
2
Let d(c) = -4*c - 331. Let p be d(-84). Which is smaller: p or 339/82?
339/82
Let a be (20/(80/(-12)))/(-3). Is a > -3/2740?
True
Let o be 9/((2 - 0)/(-149 + 3)). Which is greater: o or -655?
-655
Let w = -23007 - -14679. Is -8327 at most w?
False
Suppose -42*g + 21 = -38*g - 5*x, -5*g - 2*x = 15. Are g and 21/587 equal?
False
Suppose -g - 81 = -2*g + 3*i, 263 = 3*g - 5*i. Let u be 5/1*g/15. Let j = -919 - -949. Is u at least j?
True
Let i be (-506)/(-8) - (7 - 186/24). Let z(p) = -27*p + 11. Let q be z(-2). Which is bigger: i or q?
q
Suppose 2*l + 31 = 5*a, 5*l + 41*a - 10 = 36*a. Do l and 246 have different values?
True
Let l = -5319 + 5413. Which is bigger: 1.1 or l?
l
Let o(d) = 5*d**3 + 2*d**2 - 1. Let v be o(1). Let f(q) be the third derivative of q**4/4 - 35*q**3/6 - 2*q**2 - 313. Let s be f(v). Are 15/11 and s non-equal?
True
Let q be (192/768)/((-1)/(-8)) + 1*-1. Is q bigger than 17?
False
Let a = -264 - -261.7. Let r = a + 2.2. Let l = -94/11 - -86/11. Is l greater than r?
False
Let g = -232717 + 14195289/61. Which is bigger: g or -6?
-6
Let w = 1836 - 1836.943. Let m = 0.843 + w. Is -437 at least m?
False
Let b be ((-2)/(-44))/((36/48192)/(18/(-8))). Is -137 != b?
True
Suppose -15 = 3*t, -3*t = 76*l - 77*l + 801. Which is smaller: l or 780?
780
Let i = -19859055/188 + 105633. Which is smaller: i or -1?
-1
Suppose -831 = -2*m + p, 819 = 11*m - 9*m + 3*p. Let h = -399 + m. Suppose -3*k + 17 + 22 = 0. Which is greater: h or k?
h
Let k = 103724 - 938410/9. Let u be 362/(2/(-9)*3). Let i = k - u. Does i = 0?
False
Let m be (-15)/(-5) + (-384)/(-2). Let p be (-1)/2 - m/(-30). Let i be (-2)/p*(5 - 5). Is i at least 4/17?
False
Let k(b) = -16*b + 53. Let z be k(19). Let a = z - -222. Is a != -23?
True
Suppose -100 = 23*b - 0 + 84. Which is smaller: -13 or b?
-13
Let x(p) = p**3 - 5*p**2 - 3*p - 15. Let t be x(6). Let d be 118*t/4*2/3. Suppose 5*k - 3*k = 5*o + d, 5*k - 21 = o. Is o not equal to 0.5?
True
Let k = 127177/169580 - -2/42395. Which is smaller: k or -466?
-466
Let n = 311700/7 + -311076285/6986. Is n equal to 0?
False
Let u(p) = 2*p + 20. Let q be u(-6). Suppose -3*w + 5*z = -q, 4*w - 7 = w + 4*z. Let j be 1 - w - -1 - 20/12. Is -0.065 greater than j?
True
Let f = -369 + 371. Suppose -r = -d + 4, 2*d = -2*r - f*d + 4. Is -30/29 smaller than r?
False
Let j be 5/((-125)/(-30)) + (-4)/(-5). Let r = -0.65 - 42.35. Let c = -43.28 - r. Which is smaller: c or j?
c
Let r = -8211 + 237900/29. Is r at least -9?
True
Suppose 0 = -10*d + 7*d + 4*g + 24, -18 = 3*d + 3*g. Is -1/949 less than or equal to d?
True
Let v(z) = -z**3 + 7*z**2 + 6. Let k be v(6). Suppose -k*h - 14 = -40*h. Which is bigger: h or -4?
-4
Let l = -32/41 - -1/369. Let z = 0.3 + -0.252. Let h = 0.052 + z. Which is smaller: h or l?
l
Let s be (6/(-824) - 0)/(35/(80360/7)). Are s and -2 equal?
False
Suppose -r + 12 = 2*x + 2*x, -r + 4*x + 28 = 0. Let b be (-2)/(2*(-4 + 3)). Let j be -3 + (22 - 0)*b. Is j not equal to r?
True
Suppose -3*i + d - 15 = 0, 0*i + 3*i - 3*d + 15 = 0. Let h(y) = -y + 15. Let a be h(11). Suppose -k - a*k = 25, -2*b + 3*k + 13 = 0. Is b less than i?
False
Let l = -5223 + 5224. Is l not equal to 3/4234?
True
Let m be 8/(-4)*2 + 185. Let g = m - 277. Let b = 210 + g. Which is bigger: b or 115?
115
Let y(k) = 5*k - 7. Let l be y(-5). Suppose -4*p + w - 118 = 0, p + 18 + 15 = 2*w. Is l at least p?
False
Let u(k) = -114*k + 434. Let z be u(12). Is z at most -935?
False
Suppose 32*b - 33*b = 5*q + 24, 0 = -q + 3*b - 8. Let i be (61 - (-7 - q)) + -1 - 0. Is 60 less than i?
True
Let m(n) = -n**2 - 25*n - 69. Let c be m(-21). Suppose i - 16 = -c*i. Which is smaller: -2/27 or i?
-2/27
Let r be (-1624)/(-205) + 128/(1 - 17). Is 1 <= r?
False
Let n(p) = 12*p**2 + 2*p - 3. Let i be n(1). Suppose -i*k - 3 = -25. Which is smaller: -4 or k?
-4
Let f be 8 - (9/((-270)/(-222)) + (-6)/(-10)). Is -1998 smaller than f?
True
Let a be -415 + -279 + (-2)/1*(0 + 4). Is -701 equal to a?
False
Let b be ((-340)/595 + (-52)/(-42))/(10481/(-3)). Is b >= -1?
True
Let k = 401 + -377.1. Let i = -1.596 + -22.404. Let y = k + i. Is -6 bigger than y?
False
Let h(i) be the third derivative of i**6/120 + i**5/5 - 5*i**4/4 + 29*i**3/6 + 266*i**2. Let m be h(-14). Is 57 at most m?
True
Let h = -218 - -269. Suppose h*z + 666 = 60*z. Which is smaller: 72 or z?
72
Let b(j) be the first derivative of 23*j**2/2 - 20*j - 119. Let d be b(-2). Which is smaller: d or -63?
d
Let d = 10070 + -11746. Is -1675 >= d?
True
Let t(y) = y**3 + 17*y**2 - 12*y + 33. Let q be t(-19). Which is smaller: q or -462?
-462
Let d(q) be the first derivative of q**4/4 - 10*q**3/3 + 6*q - 13. Let p be d(10). Suppose 5*a + n - 8 - p = 0, 5 = a - 2*n. Is 8 greater than or equal to a?
True
Let l be 195/(-50) + -2*2/40. Let i be -12*1 - (l + 5 + -6). Which is greater: i or -15?
i
Suppose 0 = 3*b + 4*f, -4*b + 2*f = 4*f - 10. Suppose 0 = -5*i + 6*v - 1, i + b*v - 5 = -0*i. Is i less than or equal to -1/472?
False
Suppose 118*k - 5*t = 122*k + 1244, 5*k = -3*t - 1555. Is -311 at least k?
True
Let h = 6212 + -6212. Which is smaller: -78/343 or h?
-78/343
Let o be (-6)/8 - ((-628886)/(-217400) - 4). Let b = o - -3/1087. Which is bigger: b or 1?
1
Let q = -2723/4071 + 3/1357. Are q and 2/5335 unequal?
True
Let y = -48.8 + 49. Is y > 1/228?
True
Let m = 4664 + -5014. Is -350 < m?
False
Suppose -146 = 10*d - 11*d. Let o = 1020/7 - d. Is 41 < o?
False
Let d = -4458 + 4787. Is d at most as big as -2/13?
False
Let x = 68 - 155. Let v = x + 88.31. Let j = -1.31 + v. Which is smaller: -5 or j?
-5
Let j = 764 - 764.1. Let d be ((-3)/24)/((-39)/12). Is d bigger than j?
True
Let o = -475/4 - -666. Which is bigger: 546 or o?
o
Let k(y) = 300*y**3 - 4*y**2 - 18*y - 77. Let a be k(-4). Which is smaller: a or -19268?
a
Let z(x) = -x**3 + 8*x**2 + 72*x - 519. Let g be z(10). Let c = -15.6 - 0.4. Which is smaller: g or c?
c
Suppose -16*m = 39*m - 6325. Let r(k) = k**2 + 3*k + 8. Let a be r(-12). Is m > a?
False
Let f be (20/150)/(2/15). Is f less than -2/8593?
False
Suppose -6*a - 45 = -15*a. Let b(g) = g**3 - 3*g**2 + 8*g - 16. Let i be b(a). Is 74 smaller than i?
False
Let z = -33860 - -33859.6. Which is smaller: z or 0.01806?
z
Let b be 2/(-35) + 136/1820. Which is smaller: b or 0?
0
Suppose 0*b - 6*b - 30 = 0. Let m be -4 - b - (-10 + 10). Which is bigger: m or -23?
m
Let g = 113/45 + -12/5. Suppose 0 = 9*k - 18 + 9. Let l be (k*-1)/(8 + (-1 - 8)). Is l greater than or equal to g?
True
Let h(g) = 194*g**2 + 243*g - 38. Let x be h(7). Is 11169 <= x?
True
Let a = -95.595 - 5.405. Which is greater: 0.02 or a?
0.02
Let c = 17215/2 + -8607. Which is smaller: 729/8 or c?
c
Let s(v) = -v**3 + 89*v**2 - 11*v + 1022. Let c be s(89). Let o be (-46)/(-4)*(-1 - -5). Is c less than o?
True
Let w be -71*53*(-3 + 2) + 7. Which is smaller: 3772 or w?
w
Let h = 58561/112 - 3685/7. Which is smaller: -4 or h?
-4
Let u = 1486 + -1448. Is u greater than or equal to 482/13?
True
Let l = 4500 + -3014. Are 1488 and l non-equal?
True
Let m(z) = -z**3 + 12*z**2 + 126*z - 1754. Let x be m(17). Which is smaller: -1047 or x?
x
Let r(m) = 2*m + 69. Let s be r(-35). Which is bigger: s or -1563?
s
Let h be (9/2220)/(4/(-2984656)) - 5. Let m = 3030 + h. Is m less than or equal to -1?
False
Let