ivative of a**4/4 + 14*a**3/3 - 13*a**2/2 - 12*a - 17. Let p be u(-15). Is p >= -41?
False
Let p = -2 + 2. Let x be (-24)/32 - 78/(-8). Let q(u) = -u + 8. Let c be q(x). Does p = c?
False
Let d = 185 + -127. Let p = -14 - d. Which is bigger: -73 or p?
p
Suppose -50 = 5*b + 2*t + 3*t, 4*b + 48 = -2*t. Which is greater: -13 or b?
-13
Suppose 3 - 7 = -n. Suppose 3*x - 5*c + 172 = 0, 4*x - 49 + 225 = -4*c. Let z be ((-56)/x)/((-6)/(-14)). Is n > z?
True
Let r = 1783 + -1783. Which is smaller: r or 1/1222?
r
Let g = -564956/9610367 + 40/12119. Let z = g - 6/61. Which is smaller: z or 0.11?
z
Suppose 0 = 20*i - 28*i - 208. Let v = 1/58 - -27/116. Which is smaller: i or v?
i
Suppose -18*r - 70 = 52*r. Let b = -23 - -35. Is b at most as big as r?
False
Let x be ((-24)/(-48))/(1/(-28)*-2). Let t be 1*(-6)/(-3) + 4. Is t != x?
True
Suppose -372*n - 1155 = -361*n. Which is bigger: -100 or n?
-100
Let k be (2/16)/(-4 - 1). Let c be 16/(192/60)*(-1)/(-5)*0. Which is greater: c or k?
c
Let w(x) = x**3 + 10*x**2 + 3. Let a be w(-10). Suppose a*k + 10 = 3*m - 2*m, 2*m = -k - 15. Let z(b) = -5*b**2 + b. Let p be z(-1). Which is smaller: k or p?
p
Let p = -20.8 - -20.763. Which is smaller: p or 0?
p
Let t be -14 + (-6)/(-12)*40. Let w be (-4)/(-10) - 202/(-45). Which is smaller: w or t?
w
Let u(g) be the second derivative of g**7/2520 - 17*g**6/720 - 3*g**5/40 - 5*g**4/6 + 8*g. Let k(l) be the third derivative of u(l). Let y be k(17). Is -9 >= y?
True
Let t be ((-250)/15)/((-2)/(-3)). Let b = t - -24. Are b and -1/35 unequal?
True
Let u = 3/194 + -1203/2522. Let x be (-10)/50 + 1/5. Is u less than x?
True
Let m = -2 - -11. Let r = 11 - m. Let k be 1*((r - -2) + 1). Which is greater: k or 11/2?
11/2
Let z be -4 - (-8)/(16/463). Is z less than or equal to 227?
False
Let q be (18/(-4))/((-363)/14212). Suppose -5*k + 577 = -303. Let l = k - q. Which is smaller: l or 1?
l
Let i = -540 - -577. Which is greater: -5 or i?
i
Let s = -2811/134420 - -10/611. Which is smaller: -1 or s?
-1
Let c = -116 + 186. Let v = 67 - c. Which is smaller: -0.04 or v?
v
Let i be (6/72)/(4/9). Which is greater: 0.01 or i?
i
Let c = 114/139 - 32212/973. Is -33 less than or equal to c?
True
Suppose -4*u = -2*u + 72. Let s be ((-35)/(-3))/(4/u). Let t be 20/s + (-3)/(-9). Is -1 greater than t?
False
Let l be 21/28 - (-29)/4. Let t be -2 + 1 - l/(-12)*3. Let d = 615/8 + -77. Which is greater: d or t?
t
Let r be 7/((-21)/18) - (-4 + -22). Which is smaller: r or 204/11?
204/11
Let b = -3/3835 - -72961/122720. Which is greater: 1 or b?
1
Let y = -51 + 157. Let r = -109 + y. Let l = -11 - -7. Which is smaller: r or l?
l
Let w = -133/4 + 395/12. Is 5 smaller than w?
False
Let a be (140/(-96))/5*(-244)/14. Is 4 smaller than a?
True
Suppose 0 = -50405*h + 50500*h. Suppose 48 = 5*p - 222. Let i be 2/8*8/p. Which is smaller: i or h?
h
Let y be 178/(-4)*(-5 + 3). Suppose -3*m + y + 40 = 0. Which is smaller: 42 or m?
42
Let y(z) = 13*z**3 + 2*z**2 - 1. Let x be y(-1). Is x less than or equal to -9?
True
Let w(a) = -25*a + 451. Let q be w(45). Are q and -674 unequal?
False
Let a be 4/(-10) - (-5885)/25. Suppose a = -20*z + 15*z. Is -47 at least z?
True
Suppose 31 = 3*w + 112. Is w at least as big as -36?
True
Let v(u) = 6*u + 25 + 28 + 3*u**2 - 49. Let p be v(-6). Is p != 76?
False
Let d be 2 - -1 - (-622)/(3 - 2). Are 626 and d unequal?
True
Let h = 359.2 - 360. Which is smaller: h or 21?
h
Let j = -3575/7 + 511. Which is greater: 43 or j?
43
Let b = 510 + -252. Is b greater than or equal to 258?
True
Suppose -2 + 5 = -f, 0 = -2*k - f - 5. Let t be -1 - ((2 - 4) + k). Is t greater than -0.09?
True
Let q be (-5 - (-34)/4)/(61/4). Let h = 529/976 - q. Is h != 0?
True
Let l be 0/(-1 + (-3 - -6)). Let w be (-10)/4 - 2/4. Let v be (w - 0)*(-4)/9. Is v at least as big as l?
True
Let y(b) be the second derivative of -b**3/6 - 4*b**2 - 5*b. Let n be y(-4). Which is greater: n or -2?
-2
Let w(l) = -15*l + 252. Let u be w(14). Which is smaller: u or -2?
-2
Let m(w) be the first derivative of 3*w**2/2 - 15*w + 2. Let d be m(7). Suppose -d*a - 8 = -8*a. Which is smaller: 6 or a?
a
Let s be (-324)/32 + 10 + 414/(-16). Do -28 and s have the same value?
False
Let b = -7 - -19. Suppose b = -4*p + 4. Let y be (-2)/(2 - 12/8). Is p not equal to y?
True
Let g = 3/2444 + -5491/491244. Suppose -3*x + 4 = -3*r - x, 0 = -x + 2. Which is smaller: r or g?
g
Let c(z) = -2*z + 9. Let y be c(8). Let h be (y/21)/(-2*(-3)/558). Which is smaller: h or -28?
h
Suppose 0 = z + 3*f - 2*f - 145, 0 = 3*z - f - 435. Suppose 7*u - z = 2*u - 3*t, 4*u - 99 = t. Is u smaller than 26?
False
Let p = -114 - -116. Is p > 10/17?
True
Let q = 49 + -47. Let r = 63155437/102 + -619163. Let i = r + -47/6. Which is smaller: i or q?
i
Let p = -2 + -6. Let d(n) = 3*n - 1. Let z be d(2). Suppose k + 3 + 2 = 0, -z*v = -2*k + 25. Which is greater: p or v?
v
Let m(h) be the third derivative of -h**6/120 - 11*h**5/60 - 3*h**4/8 + 5*h**3/3 - h**2. Let l = -171 - -161. Let s be m(l). Is -2/17 less than s?
True
Let b = 17 - 8. Let m = -7 + b. Let x be (-3 + m)/((-2)/(-2)). Which is greater: 2/7 or x?
2/7
Suppose 23*p - 92 = -23*p. Let f be (-5)/(-3)*16/10. Do p and f have different values?
True
Suppose 0 = 2*r + 58 - 192. Let z = r + -67. Which is smaller: z or -2/371?
-2/371
Suppose 2*w - 3*h + 6 - 74 = 0, 0 = 3*w + 4*h - 68. Suppose -w*u + 24*u = 20. Suppose -4*p + 6 = 2*l, l - 4*p = -12 - 9. Is l >= u?
True
Suppose 89 - 14 = r - 3*t, 0 = -3*r + 5*t + 229. Which is smaller: r or 82?
r
Suppose 5*b + 94 = -q, -4*q + 36 = -b + 13. Let k = b + 97/5. Which is greater: -14 or k?
k
Suppose 3*t - 111 = -27. Suppose 23*o = t*o - 10. Is o at most as big as 2/7?
False
Let j = 54 + -38. Suppose -m - 2*m - j = -5*n, -3*n + 15 = 0. Suppose 3*q = m, -4*q - q = -4*f - 29. Is f < -4?
True
Let o be (2*1)/((-17)/221). Let n be 3*(o/(-6) + -4). Which is bigger: n or 3/4?
n
Suppose 2*h = -2*p + 3*h + 1, -4*p = h + 7. Suppose -485 = -2*s - n, 230 = s - 0*s + 3*n. Let j = s + -2213/9. Which is greater: j or p?
j
Let w = 997 - 598. Which is bigger: -1 or w?
w
Let i(d) = 2*d + 22. Let g be i(-20). Is 3 bigger than g?
True
Let z(p) = -39*p + 88. Let h be z(7). Are -183 and h nonequal?
True
Let x = 4228/3 + -1431. Which is smaller: x or -21?
x
Suppose 3*k = 6, -18 = -4*v + k - 80. Which is bigger: 39 or v?
39
Suppose 4*j + 4*c - 357 + 41 = 0, 3*j = -c + 227. Suppose 44 = 3*u + j. Which is greater: -11 or u?
u
Suppose 2*b = -u + 10, -4*b - 2*u - u = -24. Suppose z - m = -1, 17 = 4*m - 3. Suppose 4*a - 4 = z. Which is bigger: a or b?
b
Let h = -141 + 175. Let f = -35 + h. Which is bigger: -2/225 or f?
-2/225
Let j be 50/(-15)*4/((-32)/(-12)). Does j = -37/10?
False
Let j be 20*((-6)/14 - 36/63). Are j and -19 nonequal?
True
Let j be 897/(-91) + 10/(-35). Which is smaller: j or -1?
j
Suppose 0 = 2*p + 19 + 43. Let g = -26 - p. Is 5 at least as big as g?
True
Suppose -5*n = -3*l - 152, 3*l + 3*n = -54 - 138. Let s = -60 - l. Which is smaller: s or -2?
-2
Let t be (-24)/3208*5/(-15). Which is greater: t or 1?
1
Let h be 2 + 3 + 2 + -4. Let u = 122 - h. Which is smaller: 118 or u?
118
Let p = -14 + 9. Let o = 21 + p. Let v = o - 17. Which is smaller: v or 2/3?
v
Let f = 0.4 - 0.1. Let c = f + -1.3. Let l be 22/(0 - 2 - 0). Which is smaller: c or l?
l
Let l = -0.01 - -0.01. Let z(r) = 12*r**2 - 97*r + 193. Let c be z(2). Are l and c non-equal?
True
Suppose -30*j = -31*j + 31. Is j >= 24?
True
Suppose -4*r - 10 + 30 = -4*q, 2*q = 4*r - 10. Suppose 2*o + 4 = -80. Let k be (-22)/(-30) + 14/o. Is r less than or equal to k?
True
Suppose 0 = -5*m + 52 - 7. Let v be (m/(-6) - 0)/(24/(-32)). Which is smaller: -2 or v?
-2
Let n be (-2)/(-1) - (-2 - -4). Let z be (1 + 9)*(-1)/(-12). Does n = z?
False
Let j be 1/(-8) - (-3 - -1)/8. Which is greater: j or -1?
j
Let n be 0 + 1 + (-6)/(-14). Let x(w) = -w + 5. Let c be x(6). Let o be c/(-3) - 2/6. Is n bigger than o?
True
Let v be 3/(14/4 + -5). Suppose -2*q + 8 = -0. Suppose q*n + 3*i + 18 = 0, -2*n + 0*n + i = 4. Which is greater: n or v?
v
Let l(w) = w**3 - 5*w**2 - 5*w - 5. Suppose -2*a + 6 = -6. Let d be l(a). Let z be 1*(2/3 + 11/(-21)). Which is smaller: z or d?
z
Let d = 18267 + -8201879/449. Is 1 at least as big as d?
True
Let z = 1 + 14. Let i 