 Is w - 3/((-3)/(-3)) a composite number?
True
Let f = -7 - -12. Let q(d) = d**3 - 2*d**2 + 2*d + 6. Is q(f) a prime number?
False
Let h(z) = 15*z - 19. Is h(10) composite?
False
Suppose -5*t - 5*z + 7 = -53, 18 = 2*t - 4*z. Let a(o) = -o**2 + 13*o + 11. Is a(t) a composite number?
True
Let i be -3*2/(-3) + 0. Is i/(-8) + 671/44 composite?
True
Let i(o) = -o**3 + 50. Let u be i(0). Suppose 0 = 9*y - 7*y + u. Let s = 21 - y. Is s prime?
False
Let o(v) = v**2 - v - 3. Suppose -3*k + 6 = -2*w, 5*w - 2 + 3 = 4*k. Let x be o(w). Suppose x*a - 221 - 28 = 0. Is a a composite number?
False
Let w = 23 - 12. Let l = w - 15. Is (-858)/(-18) - l/(-6) a composite number?
False
Let x(z) = z**2 + 7*z - 10. Let y be x(-9). Suppose 2*g + 5*i + 17 = 0, -5*g + 30 = 2*i - 4*i. Let h = y - g. Is h prime?
False
Let n(u) = -24*u + 1. Let a be n(-1). Suppose -4*f = 2*x + x - a, 0 = -5*f + 3*x + 11. Suppose -w = -f*t - 6 - 9, 20 = 5*t. Is w composite?
False
Let w(r) be the second derivative of -r**5/60 + r**4/12 + r**3/2 - 2*r. Let p(u) be the second derivative of w(u). Is p(-4) a composite number?
True
Let a be 3 - -355*1 - -1. Suppose 2*n + 66 = -3*i + a, -385 = -4*i + 3*n. Is i a prime number?
True
Let h(m) = m**2 - 5*m - 1. Let j(x) = -x + 1. Let s(p) = -h(p) - j(p). Let i be s(6). Suppose 5*n - 26 - 99 = i. Is n a prime number?
False
Let b = -9 + 13. Suppose -52 = -b*n - 2*j, n + 18 = 3*n + 3*j. Is n composite?
True
Suppose -78 - 842 = -2*f. Let q be (0 - 331) + (-2)/(-1). Let s = f + q. Is s a composite number?
False
Let i be -3 - (-30)/(2 - -1). Suppose 4*y - 5 = i. Suppose -4*q + 3*n + 2*n + 222 = 0, -q + y*n + 52 = 0. Is q a composite number?
True
Suppose -39171 = -5*s - 14356. Is s a composite number?
True
Suppose 3*n - 2*w - 365 = 74, 4*n - 4*w - 592 = 0. Is n a composite number?
True
Let g(z) = z**3 - 22*z**2 + 20*z - 39. Let u be g(21). Suppose 0*s - 2*s = -230. Let l = u + s. Is l a composite number?
True
Suppose 8*d = 3*d. Is -17*(-9 - (d - 2)) a prime number?
False
Let z(l) be the first derivative of l**5/30 - l**4/3 + 3*l**3/2 - l**2/2 - 2. Let p(f) be the second derivative of z(f). Is p(6) composite?
True
Suppose 9 - 3 = b - 2*h, 3*h + 19 = -b. Let x(c) = 7*c**2 + 7*c + 5. Is x(b) a prime number?
True
Let a(m) be the third derivative of 7*m**5/30 + m**4/24 + m**3/6 - 4*m**2. Is a(-4) a composite number?
True
Let v = -1316 - -2359. Is v composite?
True
Let f(n) = -59*n**3 + n**2 - n. Let l be f(1). Let d = l + 270. Is d a composite number?
False
Suppose 4*y = -16 - 8. Is (-17740)/(-36) + y/(-27) a prime number?
False
Let j(p) = p**3 - 3*p**2 + 3*p - 2. Let r be j(2). Suppose -45 = -i - 4*n, 3*i - 115 = -2*n - r*n. Is i prime?
True
Suppose 3*p = 6*p - 5*s + 15, -5*s + 15 = -4*p. Let i = -3 + p. Is (-2)/i + (-218)/(-6) prime?
True
Let b(h) = -32*h - 13. Let y be b(-15). Suppose 4*i + 2*x - 636 = 0, 4*x = -4*i + i + y. Is i a composite number?
True
Let o(a) be the second derivative of 9*a**3 + 5*a**2/2 - 8*a. Is o(6) a composite number?
True
Is 23882/7 + 14/49 - -3 prime?
False
Suppose 2*j = 58 + 204. Is j prime?
True
Suppose -3*t + t + 48 = -2*i, 21 = t + 2*i. Suppose t = -2*l + y - 63, -3*l = 5*y + 116. Let u = l - -68. Is u a composite number?
True
Suppose -5*i - 28 = 3*p, -i + 4*p - 3*p - 12 = 0. Let q(b) be the first derivative of -b**3/3 - 15*b**2/2 - 9*b + 1. Is q(i) prime?
True
Let d(i) = 27*i**2 - 2*i + 1. Let c be d(1). Suppose 2*k - c = 152. Suppose 2*h - 4 + 2 = 0, 0 = 3*j - 4*h - k. Is j prime?
True
Suppose 26 + 34 = 3*j. Suppose 0 = -5*b - 0*b. Suppose 0*i - q - 132 = -i, 4*q + j = b. Is i a composite number?
False
Suppose -294 = -2*d - 5*h, h = 4*d - d - 458. Suppose 3*q - o = 121, 2*o = 4*q + 3*o - d. Is q a composite number?
True
Suppose 3*n - 8 = -p, -1 = 4*n - p - 0. Let r = 11 - n. Is r composite?
True
Suppose 0 = -9*j + 12*j - 111. Let t be (6/4)/((-1)/(-6)). Suppose g - 2*v - 7 = 0, -4*g - 3*v - t + j = 0. Is g a composite number?
False
Let q(k) = -k**3 + 4*k**2 + k. Let i be q(4). Let w(l) = 5*l**2 + l**3 - 5*l + 3 - 3 + 3. Is w(i) composite?
False
Let y be ((-78)/9)/(2/(-21)). Let z = -58 + y. Is z prime?
False
Suppose -4*g = g + 345. Let o = g + 822. Is o a composite number?
True
Suppose 5 = -z - 5. Let k be -55*(0 + (-4)/z). Is 4/k + (-167)/(-11) prime?
False
Let m be (530/(-8))/(1/4). Let h = m - -384. Is h composite?
True
Let c be 5 - (6 - (1 + 2)). Suppose -c*g - 6 = 0, t + 6 = 4*t + g. Suppose 23 = y - 4*q, y - 11 = -5*q + t*q. Is y a prime number?
False
Let k be (2 + 1)/(2/2). Let a be k/1*49 + 1. Let n = a + -53. Is n a composite number?
True
Let r(s) be the first derivative of 13*s**2 - s - 2. Let w(k) = -25*k. Let n(m) = 3*r(m) + 2*w(m). Is n(2) composite?
False
Let r = 4 - 11. Let y(b) = -3*b - 7. Is y(r) a composite number?
True
Let g(r) = r + 17. Is g(8) a prime number?
False
Suppose 17 = -3*d + 5. Is d/(-8)*6 - -264 prime?
False
Suppose 3*p = -3*p + 474. Is p a prime number?
True
Let i be 27/6 - 2/4. Is (-10)/i*(-870)/25 a prime number?
False
Is 3/(-4*3/(-12652)) composite?
False
Suppose -4*d + c + 1503 = 0, -62 - 1456 = -4*d - 2*c. Is d a prime number?
False
Let b = -32 - -96. Let p be ((-144)/(-3))/3 - 3. Let c = b - p. Is c a prime number?
False
Suppose -x = -6*x + 805. Is x prime?
False
Let x(t) = -t**3 - 3*t**2 - 3*t - 6. Let o(s) = s**3 + 10*s**2 + 11*s + 11. Let u be o(-9). Is x(u) a prime number?
True
Let p(o) = 31*o + 1. Let a be p(1). Suppose 2*s - 34 = a. Is s a prime number?
False
Let n(o) = o**3 - 5*o**2 + 4*o + 3. Let z be n(4). Suppose 2*k - v - 274 = k, 5*k + z*v = 1370. Suppose -3*d + k = -c, 3*d + c - 98 = 2*d. Is d prime?
False
Suppose 0 = -4*s + 49 + 115. Suppose s - 94 = -l. Is l prime?
True
Let h(f) = -1699*f + 48. Is h(-5) prime?
True
Let p(l) = 24*l**2 - 23*l + 9. Is p(8) composite?
False
Suppose 2*q + 3 + 1 = -2*j, -20 = -5*q. Let s(k) = -4*k - 5. Is s(j) a prime number?
True
Let f be (5 - 1)*14/(-4). Let m = -20 - f. Is 5/2*(12 + m) a composite number?
True
Let d be 0 + (-3 - (-1 + 0)). Let n(u) = -45*u**3 - u**2 + 3*u + 3. Is n(d) composite?
False
Let t = -6 + 39. Is t a composite number?
True
Let z(o) = -81*o**3 + 3*o**2 - o - 3. Let r be z(-2). Suppose -2185 + r = -2*p. Is p a composite number?
True
Suppose -4*b + 2*b + 28 = 0. Suppose n = 3*n - b. Is n a prime number?
True
Let z(g) = -217*g + 2. Suppose 5*y + 4 = b, -b - 2 = -3*y - 4. Is z(y) a prime number?
False
Is 7/(-1*1/(-1)) a composite number?
False
Let l(n) be the first derivative of n**3 + 2*n**2 + 5*n + 5. Is l(-4) a prime number?
True
Let s = 1560 - 881. Is s composite?
True
Suppose -5*j - 330 = -5*r, -2*j - 2*r = 151 - 7. Let h = 14 - j. Is h a composite number?
False
Is 30/16*4*10 - -2 composite?
True
Suppose s = -2*s + 4*z - 18, 5*s = 2*z - 16. Is ((-1)/s + -1)*-118 a prime number?
True
Suppose -4*i = p + 51, -2*i + 2*p - 18 = -0*i. Let f be (-7)/(-3) + i/(-18). Suppose -2*z + f*h = -367, 3*z + 2*h = z + 392. Is z prime?
True
Is 1 + (1384 - 3) + -1 composite?
False
Let b(l) = 7*l**2 + 3*l - 1. Let q be (3 - 6)/((-3)/4). Is b(q) a prime number?
False
Suppose -2*f = -3*f + 3. Let n = f - 1. Is n + 8*(-9)/(-6) a prime number?
False
Let i(a) = -a**2 - 10*a - 2. Suppose 0*q = 3*q - 2*r + 11, 36 = -3*q - 3*r. Is i(q) a prime number?
True
Let h = 46 + -31. Is (-15)/3*(-423)/h a composite number?
True
Suppose j - 30 = -4*j + 2*g, -24 = -4*j + 3*g. Suppose 4*w - j = w. Suppose 0 = 5*r + w*u - 185, 12 = r - 3*u - 25. Is r composite?
False
Let i(y) = -y**3 + 8*y**2 - 8*y + 10. Let t be i(7). Suppose 2*a - t = 5. Suppose -a = -4*k + 2*x + 40, -3*x + 4 = k. Is k prime?
False
Let h = 103 - -286. Is h prime?
True
Let p = -3170 + 5297. Is p a composite number?
True
Suppose 2*w - 761 = -d - 2*w, -3*d + 4*w + 2235 = 0. Is d composite?
True
Let q(l) = l**3 - 7*l**2 + 7*l - 5. Let f be q(6). Let v be (-4)/(-2) + (-22 - f). Let x = v + 30. Is x a composite number?
True
Let a(n) = 3*n - 15. Let f be a(6). Suppose -145 = -f*l + 20. Is l composite?
True
Suppose -3*m - 5039 = 2110. Is (-4)/(-18) - m/9 a prime number?
False
Suppose -6*u - 4*m - 24 = -3*u, 0 = 3*m + 9. Is 224/36 + u/18 a prime number?
False
Let h(u) = -87*u**3 + u**2 - u - 2. Is h(-1) composite?
True
Let q(p) = -p**2 + p + 89. Is q(0) a prime number?
True
Let q(l) = 9*l**3 + 4*l