 p(j) be the second derivative of -19/2*j**2 + 13*j + 0 - 1/2*j**3. Let d be p(6). Is d less than or equal to -38?
False
Let i = -3480 - -5067. Suppose -1594*u - 679 = -i*u. Do -295/3 and u have the same value?
False
Let a(q) = -5*q + 23. Let w be a(5). Let d be -6*w/(24/14). Let p be (-2)/d + 30/105. Which is bigger: 4 or p?
4
Let a be ((-18)/4)/((-143)/80 - (-456)/285). Which is bigger: a or 18?
a
Let k = 13463 + -13770. Is k at least as big as -316?
True
Let o be 26 - (586721/20247 + -3). Is o >= 0?
True
Let w be (9 + (-52)/8)*6/1. Suppose 5*h + 5*m = -w, -2*h + 3*h + 3 = 2*m. Which is bigger: 4 or h?
4
Let b = 99 + -87. Suppose -42 = b*i - 15*i. Let v = -36 + 51. Which is greater: v or i?
v
Suppose -30 = -15075*m + 15076*m. Let y = 541/36 - 61/4. Do m and y have different values?
True
Let a = 13808 + -12506. Which is bigger: a or 1304?
1304
Let z(v) = v**3 - 2*v**2 - 3*v - 11. Let t be z(7). Let i = -127 + t. Let o = -93 + i. Is o less than or equal to -7?
True
Let u be 18003/34*(-4)/(-3). Suppose u + 304 = -5*o + 4*m, -3*m = -4*o - 808. Is o bigger than -204?
True
Let m = -29.47 - -30.7. Let u = 297.23 + -297. Let w = u - m. Which is smaller: w or -51?
-51
Let j be ((-156)/(-104))/(5/(-2)) - 96/(-10). Are j and -36 nonequal?
True
Let x = 1422 + -1420. Which is smaller: 858 or x?
x
Let f be ((-2)/(-6))/(1/9). Suppose 69 = -f*u + 6*u. Let i be 14/(-49) - u/(-56). Which is bigger: i or 1?
1
Let g = 14659 + -14899. Which is bigger: g or 3?
3
Let z(f) = -4*f - 24. Let l be z(-7). Let u be (-1 - -10)/3 - (-9 - l). Suppose u + 18 = -2*i. Which is smaller: i or -19?
-19
Suppose -5*t - 3*x - x = -45, 3*x - 20 = -t. Which is smaller: t or 37/9?
37/9
Suppose 121576 + 177672 = 21*z - 63926. Is 17294 less than z?
False
Let j = -306.9 - -306.9. Let r = 2.908 - 3. Is j less than r?
False
Let t = -36 - -180. Suppose 12*m - 14*m = t. Let p = m - -71. Is -4/3 != p?
True
Let c = 3.063 - -0.257. Let q = -3.22 + c. Is q equal to -39?
False
Let r(j) = 3*j + 1. Let y(c) = -c**3 - 25*c**2 + 35*c + 3. Let s(q) = -3*r(q) + y(q). Let h be s(-26). Is h greater than or equal to 4/201?
False
Let g = -367.2 + 330.2. Which is smaller: g or 0.02?
g
Let v = 2 - 1. Let g be (-60)/84 + -33*2/(-70). Which is greater: v or g?
v
Let v be 4/6*(-16 - -3). Let z(h) = 2*h**2 - 19*h - 370. Let r be z(19). Which is greater: v or r?
v
Suppose -4*a - 4*h = 456, 40*a - 41*a = -3*h + 118. Are a and -115 unequal?
False
Suppose -2*n = 0, 2*f = -0*n - 2*n + 52 - 52. Which is greater: f or 1/943?
1/943
Let w be ((-1 + 1)/(3 + -5))/1. Suppose 2*n - 2 - 10 = w. Let i be (n/4)/(4/(21 - -3)). Which is smaller: 8 or i?
8
Let f(w) = -w**2 - 12*w - 17. Let c be f(-7). Let j = -24 + c. Let g be ((-6)/14)/(j/(-4)). Does g = -3?
False
Let j(u) = -51*u**3 - 12*u - 4 + 6*u**2 - u + 50*u**3. Let h be j(4). Let k be (-1 - 0 - 22)/1. Which is smaller: k or h?
h
Suppose r + 15 = -4*j - 10, 0 = 4*r - 12. Let q be (4/10)/((-414)/8625). Which is bigger: q or j?
j
Let g = -125638 + 125633. Let q = 153385/14 + -10961. Is g less than q?
True
Let f = 3079 + -2530. Is 547 greater than f?
False
Let m(n) = -n**2 - 117*n - 343. Let g be m(-3). Is 25/401 greater than or equal to g?
True
Let u = 4614 - -436. Let t be (-18)/15 - (-6135)/u. Which is greater: 0 or t?
t
Let z = 1299.02 - 1299. Is z greater than or equal to 0.036?
False
Let d = -18913.8228 - -18914. Is 0.2 <= d?
False
Let a = 18 - 31. Let p = -198 - -198. Let g be p/((-9)/(-3)) - (-13)/a. Which is smaller: g or 1/89?
g
Let x be ((-10 - -8)/2)/((-1)/(-193)). Let r = -3.26 + 3.16. Which is smaller: r or x?
x
Suppose 4*a - 32 = -4*g + g, -2*a = 4*g - 36. Let m be 4476/234 - g/12. Which is greater: m or 19?
19
Suppose 0 = -5*k - 5*l - 10, 0 = 16*l - 11*l. Which is bigger: -46/21 or k?
k
Let y = 402117082/3455 - 116387. Is -1 smaller than y?
True
Let p be 15*7/21*1. Suppose -p*b - 685 = -195. Is b bigger than 1/4?
False
Let w be -1 - (1 + 32/2). Let f be 16/144 - 1140/54. Let u = w - f. Are u and 3 nonequal?
False
Let x be (-117 + 117)/(1*-5). Which is greater: x or -7/577?
x
Let v be (-3)/(-6) - 3/2. Let k be (-132)/55*(8255/(-1677) - -5). Which is bigger: v or k?
k
Let b(z) = -z**2 + 90*z - 204. Let d be b(85). Is 235 >= d?
True
Suppose -4*a + 2*a - 4 = 0. Let z be a/(-7) - (-150)/14. Suppose 0 = -6*x + 48 + 12. Which is smaller: x or z?
x
Let i = -10.7402 + 0.0202. Let y = 2.68 - i. Which is bigger: 3/7 or y?
y
Suppose -55*d + 476 = -239. Suppose -d - 20 = 33*i. Which is smaller: i or 2/1117?
i
Let l = 1.643 - 1.33. Let z = l + -0.367. Which is smaller: 0.1 or z?
z
Let b(x) = -x**2 - 4*x - 1. Let v be b(-3). Suppose 3*n = -v*n - 25. Is n smaller than -9/2?
True
Suppose -9*n - 5*n - 3103 + 3019 = 0. Which is smaller: n or -7?
-7
Suppose -38807 = 74*l + 183*l. Suppose 0*d + 3*d = -450. Are d and l equal?
False
Let f be (432/(-60))/((-280)/(-500)). Suppose -48 = 8*i - 4*i. Is f < i?
True
Let k be 2160/4275 + -1 + 0 + (-9)/(-15). Is 1 bigger than k?
True
Suppose 180 = -4*p - 5*d, 2*p + 91 = -d + 1. Let x = -41 - p. Suppose -5 + 1 = x*k. Is -1/28 at least as big as k?
True
Let l(d) = -d - 11. Let a be l(-3). Let m(o) = o**2 + 4*o - 16. Let f be m(a). Let v be (-393)/(-27) + 2*(-2)/(-36). Is f less than or equal to v?
False
Let x be (135/(-60) + 2)*-18044. Is 4512 <= x?
False
Let i(w) = 98*w - 23. Let f be i(3). Let y = -11155/2 + 5312. Let g = f + y. Which is smaller: g or 7?
g
Suppose -9*q = -q - 16. Let n be (-1)/(-3)*(21 - (q + -5)). Suppose -132 = n*s - 20. Which is smaller: -27/2 or s?
s
Let j = 81 + -123. Let v(p) be the first derivative of p**3/3 + 12*p**2 + 103*p - 10. Let r be v(-12). Which is smaller: j or r?
j
Let c be (-7 + 1)/(45/(-420)). Let p be 42/4*-14*(-16)/c. Suppose p = 32*b - 31*b. Which is smaller: b or 40?
40
Suppose -5*o + 7 = -2*c - 8, 4*c = 5*o - 15. Let l be (2/68)/(21 - (25 - 2)). Which is smaller: l or c?
l
Let i = 395 + -361. Let o(x) = -x**2 + 34*x + 1. Let y be o(i). Is y less than 5?
True
Let t = -388/545 - -34/109. Is t equal to -0.2721?
False
Let f(u) = 3*u**3 - 21*u**2 + 37*u - 18. Let h be f(6). Is 44 greater than or equal to h?
False
Suppose -h - 1 = 5*k + 8, -5*h + k = -33. Suppose 0 = 10*s - h*s - 12. Let l(f) = -f**3 + 2*f + 1. Let t be l(-2). Which is smaller: t or s?
s
Let g = -91 + 73. Let l = -16.17 - g. Which is smaller: l or 1?
1
Let d = 11926 + -8289. Which is smaller: 10915/3 or d?
d
Suppose -u = -c + 265, -2*c + 13*u = 18*u - 558. Is c > 270?
False
Suppose j + 5*k + 659 = 0, 0 = 44*j - 48*j + 2*k - 2746. Is -687 > j?
False
Let x be 12126/(-24) + ((-4)/(-2))/(-28 + 36). Are -521 and x equal?
False
Let t = -11580 + 11580. Are 449 and t nonequal?
True
Let t be 50/66 + 6/(-9). Let i = 1048/99 + -64126/6039. Which is smaller: i or t?
i
Let v(c) = 6*c**2 - 23*c - 467. Let z be v(-7). Is 312 less than or equal to z?
False
Let w = -80975 + 80952. Let j be (-4 - 1*-2) + -23. Are w and j equal?
False
Let z = -100318/995 - -84/199. Is z > 0.04?
False
Suppose -2 = -5*p - 5*x - 17, -3*p + 3*x = -21. Suppose 0 = -5*d - o - 29 + 120, -3*d = p*o - 56. Suppose c - 19 = 2*u, -3*c = -c - u - 38. Is c smaller than d?
False
Suppose -2*c + 32 = 3*s, 2*s + c - 2*c - 26 = 0. Let p be 38/(-475)*10/s. Which is smaller: 2/7 or p?
p
Let s = 17 - -145. Let v = -129 + s. Which is bigger: v or 0.1?
v
Suppose 3*s = -5*z - 172, 9*z = 5*z - 5*s - 135. Let g(p) = p**2 + 41*p + 210. Let m be g(z). Which is bigger: m or 15/86?
15/86
Let h be (-9)/18 + 34/(-4). Let w(q) = -q - 18. Let x be w(h). Let s = 8 + x. Are s and -3/14 non-equal?
True
Let b be (5100/120)/((-1*1)/6). Let n = b + 222. Which is smaller: n or -34?
-34
Let y = 443/5 + -89. Suppose 13*p - u - 254 = 15*p, -4*p - 522 = -5*u. Which is smaller: p or y?
p
Let q be (6/15*12/3)/((-169084)/(-820)). Which is greater: q or 0?
q
Let v = -48293/5 - -9640. Is 10 >= v?
True
Let f be (((-96)/18 + 5)*-39)/((-4)/14). Do f and -0.1 have different values?
True
Let t(f) = 502*f + 2654. Let h be t(12). Is 8676 equal to h?
False
Let x be (6138/(-144) - -15) + 27. Let r = -0.13 - -7.13. Is x <= r?
True
Let k = 486 - 19437/40. Which is smaller: k or 0?
0
Suppose x = 3*h - 14, -5*x + h = 12 + 2. Let j be ((-11)/x)/((-14)/532). Is j less than -208?
True
Let x(c) = 1042*c**3 - 1048*c**3 + 0*c**2 + 0*c**2 -