/(3 - 2). Suppose 4*t = -s*t + 92. Is t prime?
True
Let y = -890 - -1525. Is y composite?
True
Let t(v) = -448*v**3 + v + 2. Suppose c = 5*c + 4. Is t(c) a composite number?
False
Let o(h) = 3*h**3 + 2*h**2 + 2*h - 3. Let s = -25 - -27. Is o(s) a composite number?
True
Let j(s) be the second derivative of s**5/12 + 7*s**4/24 - 7*s**3/6 + 3*s**2/2 - s. Let o(h) be the first derivative of j(h). Is o(-6) prime?
True
Suppose s - 4*j + 0*j = 55, -2*s - 4*j + 122 = 0. Suppose 2*r + 15 = 5*p + r, 0 = -4*p + 4*r + 28. Suppose -s = -p*b + 71. Is b a prime number?
False
Let k = 14 + -8. Is 112/k - (-2)/6 prime?
True
Let m(d) = 3 - 3 + 4 + 0 - 17*d. Let x be m(-3). Let q = x - 33. Is q prime?
False
Suppose 2*b = -3*t + 1 + 2, -b + 5 = -2*t. Let c(k) = k - 2*k**b + k**3 - 2*k**3. Is c(-2) composite?
True
Suppose -2*r + 15 = 3*r. Let z be (2 - r) + 258 + 0. Let g = 376 - z. Is g composite?
True
Let d(c) = 37*c - 21. Is d(6) a prime number?
False
Let f(w) = 35*w**2 - w - 1. Let k(t) be the first derivative of -t**4/4 - 5*t**3/3 - 5*t**2/2 - 5*t - 2. Let y be k(-4). Is f(y) prime?
False
Let m(f) = -201*f**2 - 5*f - 3. Let k(n) = 301*n**2 + 7*n + 4. Let y(z) = 5*k(z) + 7*m(z). Let a be y(-1). Suppose q - a = -0*q. Is q prime?
True
Let q = -58 + 437. Is q a composite number?
False
Let j(c) = 22*c**2 - 4*c + 1. Is j(4) a composite number?
False
Let a(f) = 2*f**3 - 15*f**2 - 15*f + 17. Is a(10) prime?
True
Let a(c) = -6*c**3 + 3*c**2 + 3*c + 1. Let o(z) = -13*z**3 + 6*z**2 + 6*z + 3. Let x(k) = -7*a(k) + 3*o(k). Is x(3) a prime number?
True
Suppose i - 4*w + 6 = -0*i, -2*w = 5*i - 14. Suppose -142 = -i*z - 0*z. Is z composite?
False
Suppose s + 5646 = 7*s. Is s a composite number?
False
Let f(c) = -11*c + 1. Let o be f(-8). Suppose 0*j + j = o. Is j a prime number?
True
Let t = -11 + 16. Is (2 - t)/1 + 136 a prime number?
False
Is ((-10)/(-3))/((-16)/(-408)) a prime number?
False
Let t(y) be the first derivative of -y**6/120 + y**5/12 + 5*y**4/24 - y**3/3 - 2*y**2 + 1. Let d(f) be the second derivative of t(f). Is d(-5) composite?
False
Suppose k = -59 - 6. Let m = k - -148. Is m prime?
True
Suppose -x = -8 - 66. Suppose 5*d = 2*j + 39, 3*d - 46 + 7 = -4*j. Suppose p - d = 2*g + x, 0 = -g. Is p prime?
True
Suppose 4*r - 82 = -5*z, -3*z + r + 58 = -r. Suppose z = -3*d + n, 0 = 2*d + 2*n + 12. Is 669/6 - (-3)/d prime?
False
Is 0 + 1852 + 135/(-27) prime?
True
Let f(c) = 5*c**2. Let l be f(1). Suppose -2*s - 3*m + 19 - 1 = 0, 5*s + l*m - 55 = 0. Is s a composite number?
True
Suppose 2*c - 5*o = -2*o + 7, -c - 3 = 5*o. Suppose c*w = 5*q - 420, w = 5*q - 288 - 127. Is q a prime number?
False
Is -1 + 136 + -2 + 0 prime?
False
Let l(s) = -s**3 + 4*s**2 - s + 1. Suppose -h + p = 2*p - 4, -4 = -4*p. Suppose -h = 4*m - 15. Is l(m) a composite number?
False
Suppose -10*r - 638 = -12*r. Is r prime?
False
Is 4 - (4 + -249)/5 a composite number?
False
Suppose -3*z - 8 = -5*z, 5*p = 4*z - 961. Let i = 304 + p. Is i a composite number?
True
Let n be (1 - 3) + -3 + -59. Let y = -39 - n. Is y prime?
False
Suppose -4*c + 5*i = -3*c - 137, 3*i - 483 = -3*c. Suppose -m + p + c = -p, -m + p = -160. Is m composite?
False
Let h = -5535 + 9521. Is h a composite number?
True
Let g(n) be the third derivative of 11*n**5/30 + n**4/12 - n**3/6 + 2*n**2. Suppose 5*m = 4*m + 3. Is g(m) a prime number?
False
Suppose 0 = -2*t - 3*w + 9, -4*t = -t - 3*w + 9. Let v be t/((-4)/2) + 34. Suppose i = 15 + v. Is i prime?
False
Suppose 13 = l - 432. Is l a composite number?
True
Let g be -2*(1 + -4 + 2). Suppose 2*o = 3*o - 3. Suppose 600 = 5*w - 5*y, o*w - w - 236 = -g*y. Is w a prime number?
False
Let n(s) = -s**3 - 6*s**2 - 3*s + 1. Let w be ((-2)/(-3))/(3/18). Suppose -4*h = w*g - 5*h + 29, -2*h = -5*g - 40. Is n(g) prime?
True
Let p(b) = 5*b**3 - 4*b**2 + b - 5. Is p(3) a prime number?
True
Let b(c) be the second derivative of c**4/12 + c**3/2 - 9*c**2/2 - 3*c. Is b(8) prime?
True
Suppose 4*d - 157 - 79 = 0. Let h = 82 - d. Suppose 3*q - h = -2. Is q prime?
True
Suppose 0 = -5*b + 279 - 49. Let r = 67 - b. Is r composite?
True
Let d(l) = l - 6. Let i be d(6). Let f = i + 5. Suppose f*y - 385 - 180 = 0. Is y composite?
False
Let m(x) = x**3 - 9*x**2 - x + 12. Let f be m(9). Suppose -2*n + 16 = 3*s, f*n + s = 6*n - 2. Is (1/n)/((-2)/(-764)) a composite number?
False
Let i = -1 - -5. Is (-2241)/(-15) - i/10 a prime number?
True
Let z(r) = -r**2. Let t(l) = 5*l**2 + 16*l - 17. Let f(k) = t(k) + 6*z(k). Is f(14) a composite number?
False
Suppose -18*f - 101 = -11315. Is f a prime number?
False
Let b(w) = -420*w**2 - w - 3. Let u be b(3). Is ((-10)/(-15))/((-4)/u) composite?
False
Suppose o + 235 = 2*f, 4*f + o = f + 360. Is f a composite number?
True
Suppose 316 - 70 = 2*v. Is v a composite number?
True
Suppose -1777 = -5*y + l, 7*l = -5*y + 4*l + 1769. Is y prime?
False
Is 10*(2 - -41) - (-12 - -11) a prime number?
True
Let d be 3/(-2)*(-66)/9. Let s = d + -21. Let o = s + 17. Is o a prime number?
True
Let y = 619 - 105. Is y composite?
True
Let a(k) = 112*k**2 + 2*k - 1. Let x be a(1). Let p = x - 76. Is p composite?
False
Is 3*2/(-12)*-974 prime?
True
Let x(g) = 239*g**2 + g - 11. Is x(4) a prime number?
False
Let m(i) be the third derivative of -i**4/24 - 3*i**3/2 - i**2. Let d be m(-4). Let u(b) = -6*b + 5. Is u(d) prime?
False
Let u(z) = 3*z**3 + 16*z**2 - 3*z - 9. Is u(-5) prime?
True
Let v = -12 + 15. Suppose 0 = -v*g - s + 181 + 155, -4*g + 467 = -5*s. Is g composite?
False
Let x = 177 - -218. Is x prime?
False
Let d = -71 - -106. Suppose -3*h - 2*h + d = 0. Is h a prime number?
True
Let m(v) = v**2 - 4*v**2 + 5 - 15*v + 2*v + 2*v**2. Is m(-6) prime?
True
Suppose 135*d - 137*d = -350. Let c be (2/4)/(1/8). Suppose -c*p - p + d = 0. Is p a composite number?
True
Let z(j) = -319*j - 2. Is z(-1) composite?
False
Let s be (0 + 23)/(8/584). Suppose 4*g + 3*a - s = 0, 3*g - 4*g = -a - 418. Is g a prime number?
True
Is (1 - 63*25)/(-2) prime?
True
Let y be 13/2 + (-6)/4. Suppose -y*b - 2*o + 18 = -12, 0 = 3*o. Is -314*(-1 - (-3)/b) composite?
False
Suppose 2 = 3*q - 2*q. Suppose q*s + 22 = -4*u, -3*u + s - 7 = -2*u. Is (-1354)/(-14) + u/(-21) prime?
True
Let l(v) = 7*v + 11. Let q = -2 + 2. Suppose -8 = -q*g - g. Is l(g) prime?
True
Let b(h) = -9*h - 3. Let d(v) = v - 1. Let w be d(6). Let s(y) = y - 9. Let q be s(w). Is b(q) prime?
False
Is (3495/20)/((-9)/(-24)) a composite number?
True
Let f(l) = l + 2. Let q be f(2). Suppose q*g = -2*g + 318. Is g a composite number?
False
Let a(k) = -k**2 - k + 6. Let l be a(0). Suppose 5*g - 4*i = 35, i = -4*g + l*i + 37. Suppose -2*s = -g*b - 104, b - 51 = -s + 2*b. Is s composite?
True
Is -11*(-5 - -3 - 69) a composite number?
True
Suppose -5*d = -i + 19, -2*d - 2*d + 100 = 4*i. Let z = 46 - i. Is z prime?
False
Let t be 0 + (-5 + 2 - -1). Is t - (1658 + 2)/(-4) prime?
False
Suppose -3*h + 251 = -148. Is h prime?
False
Let c(u) = -2*u**2 + u**3 + 0*u**2 + 1 - 7*u**3 - 11*u. Let y(i) = -7*i**3 - i**2 - 12*i + 1. Let l(z) = -6*c(z) + 5*y(z). Is l(-5) a composite number?
False
Suppose g + 1960 = 5*d + 6*g, 3*g = 4*d - 1547. Is d prime?
True
Let b(q) = 39*q**2 + 9*q - 19. Is b(4) a composite number?
False
Let b(d) = -d**3 - 3*d**2 - 2*d - 1. Let w be b(-1). Let q = w - -20. Is q a prime number?
True
Let b(m) = -m**2 + 2*m + 7. Let u be b(5). Let y be 1/(-3 + u/(-3)). Is y/2*(-26)/3 a prime number?
True
Let w be 92/10 + (-12)/60. Suppose 143 = 2*n - w*m + 4*m, 4*m + 225 = 3*n. Is n prime?
True
Let p be -12 - 2*(-12)/8. Is 111/(-2)*6/p a prime number?
True
Suppose 2*t = -11*t + 4277. Is t a composite number?
True
Suppose 4*x = -1 - 3. Suppose -4*h - 15 - 95 = 5*o, 4*o + 88 = -4*h. Is (15/6)/(x/o) a composite number?
True
Let y = -3250 + 4731. Is y a prime number?
True
Suppose -11675 = 3*k + 2*k. Let l = k + 3452. Is l a prime number?
True
Let q(n) = 151*n**2 - 2*n + 4. Is q(3) prime?
False
Let w = -4 - -8. Suppose z - 3 = -w*d, 2*z = -0*z - 2*d + 30. Is z a prime number?
True
Let o(m) = -28*m - 25. Is o(-17) a composite number?
True
Suppose -98 = -4*i + 2*w, 108 = 3*i + i - 4*w. Let r be 40/22 + 4/i. Is (6/5)/(r/10) prime?
False
Suppose 0 = -0*u + 4*u - 20. Let o(n) = n**3 - 2*n**2 + n + 1. Let a be o(u). Let f = -46 + a. Is f a composite number?
True
Suppose -