 z be s(1). Let h = 26 - z. Is h prime?
True
Let t = 28 + -19. Let u be 1/(12/t)*4. Suppose y + 5*b - 34 = 0, -u*y + 50 = -y + 4*b. Is y a composite number?
False
Let d = -303 - -206. Let k = d - -282. Is k prime?
False
Suppose 8*h = 692 + 1956. Is h a composite number?
False
Suppose -b + 1713 = 2*b. Is b a prime number?
True
Suppose -4*q + 9 - 1 = 0. Suppose 160 = 2*d - q*b, -235 = d - 4*d - 2*b. Is d a composite number?
False
Let i be 20/(-6)*(-9)/(-6). Let m be 6/(-3) - i - -1. Suppose 8*j - 3*j - 3*p = 290, 215 = m*j + p. Is j prime?
False
Let y(z) be the third derivative of -z**6/30 + z**5/20 + z**4/12 - z**3/3 + 2*z**2. Is y(-3) prime?
True
Let h(k) = 12*k + 31. Is h(8) prime?
True
Suppose 3157 = 3*p - 2*a, -5*a = 2*p - 4*p + 2123. Is p prime?
True
Suppose q = -4*z + 2*z + 23, 0 = -2*q - 2*z + 54. Is q composite?
False
Let i(v) = 3*v**2 - 4*v - 13. Is i(-6) a composite number?
True
Let v be 426 - (-1 - 0/1). Let j = v + -242. Is j composite?
True
Suppose 3*l - 8 = -2. Suppose -l*d + 3*f = -244, -5*d + 0*d + 3*f + 610 = 0. Suppose -3*x - 11 = -d. Is x a prime number?
True
Let g be 2/4*20/5. Suppose -5*i - 5*c + 35 = 0, -g*i + i - 18 = -4*c. Suppose m + i*m = 30. Is m a composite number?
True
Suppose 50 = 4*x - 950. Let h = -47 + x. Is h prime?
False
Suppose 4*q = 2*q + 120. Let h = -29 + q. Suppose m - 7 - 4 = -4*o, -5*m + 4*o = -h. Is m prime?
True
Suppose 0 = -4*q + 5*q - 3*h - 685, 5*q - 3353 = -3*h. Is q composite?
False
Let d = 47 + 32. Is d a composite number?
False
Suppose 9*x - 175 = 4*x. Is x a prime number?
False
Let p(i) = -i**3 - 7*i**2 + 7*i - 19. Is p(-14) a composite number?
True
Let p(t) = t**3 + 11*t**2 - t + 2. Let g be p(-6). Suppose -g = -0*m - 4*m. Is m composite?
False
Suppose 0 = d - 13 - 6. Is d a composite number?
False
Let x(s) = s**2 + 2*s + 443. Is x(0) a composite number?
False
Let f = 10 - 8. Suppose 4*v = -5*a + f*v + 1484, 0 = 5*a + v - 1482. Suppose 0*j = 3*h - 2*j - 445, -2*h + 2*j = -a. Is h prime?
True
Suppose 3*w = w. Suppose w = -5*a + 2*a. Suppose a = -3*r + 6*r - 141. Is r prime?
True
Suppose -z = 4, -2*n - 6*z + 3*z = -9410. Is n composite?
True
Let g(i) = -4*i**2 + 3*i**2 + 2*i**2 + 7 + 0*i**2 - i. Is g(7) a composite number?
True
Let v be (-15 + 1)/(2/(-6)). Let k = v - 22. Suppose -4*l + 4 + k = 0. Is l prime?
False
Let f be 0/11 - (1 - 8). Suppose f*u = 5*u + 1726. Is u composite?
False
Is 2346*4/8 - 2 a composite number?
False
Let h = 238 + -133. Suppose m + 56 = -3*m. Let n = h - m. Is n prime?
False
Let u(w) = 5*w**2 - 3*w - 1. Is u(-7) composite?
True
Let c(w) = -12*w + 7. Is c(-6) composite?
False
Is (1 + 42/(-12))*(-232)/10 a composite number?
True
Let l(b) = b**3 - 15*b**2 - 3*b - 3. Is l(16) a prime number?
False
Is (-2517)/12*(1 - 9) a composite number?
True
Suppose -2*q + f = 6*f + 12, 3*q - 4 = -2*f. Suppose 6*t - 2*t + 5*a - 816 = 0, q*t - a = 792. Is t prime?
True
Let z(t) = 50*t. Let u be z(-5). Let y = 114 + u. Let v = -69 - y. Is v prime?
True
Let p = -13 + 16. Is (13/(-3))/(p/(-9)) a composite number?
False
Suppose 3*n = -5*d + 2517, -775 = -n + 4*d + 64. Is n prime?
True
Suppose 0 = 8*g - 9*g + 1741. Is g a composite number?
False
Is -3 - ((-1685)/5 - (2 - -1)) composite?
False
Let l(i) = 42*i - 7. Let h(x) = -14*x + 2. Let p(j) = -8*h(j) - 3*l(j). Let a be p(-5). Is 5/(-10)*(1 - a) a prime number?
True
Let s = -7 + -3. Let m = s + 15. Suppose -4*p - m*n + 29 = -3*p, 2*p - 110 = 3*n. Is p a prime number?
False
Let h = -475 - -902. Is h composite?
True
Let t = 79 + -43. Suppose -5*q - t = 14. Let a = q - -16. Is a composite?
True
Suppose -3*z = 396 + 102. Let g = 530 + z. Suppose -3*r - r = -g. Is r composite?
True
Let s = -3 - -5. Let j(v) = -4*v**2 + 4*v - 7 - 16*v + 3*v**s. Is j(-8) a prime number?
False
Let i(u) = -u**3 - 6*u**2 - 9*u - 1. Let j be -5*(16/(-10))/2. Suppose -5*z = -z + 3*g + 30, -5*z - 22 = -j*g. Is i(z) composite?
False
Suppose z + 792 = 4*z - 3*f, -5*f + 1011 = 4*z. Is z composite?
True
Let i(n) = n + 3. Let k be i(-4). Let j = k + 3. Is j a prime number?
True
Suppose 0 = -v + 4*v - 5*m - 16, -m = v. Let o(h) = 4*h**2 + v*h**2 - 5*h**2 + 10 + h. Is o(0) a composite number?
True
Suppose -2*v + 263 = 3*w, 0 = 4*v - 0*w + w - 541. Suppose 0 = -2*m + 162 + v. Is m prime?
True
Is (-14166)/(-45)*(-5)/(-2) composite?
False
Let s = 9 + 4. Is s prime?
True
Suppose 3*i - 1182 = 4*l, 2*l + 511 = 3*i - 671. Is i prime?
False
Let p = 2 - -2. Suppose 0*b + 5*q = b - 104, 5*b + p*q = 433. Is b a prime number?
True
Let a = 1 - 4. Is 3 + (a + 352 - -3) a composite number?
True
Let h(j) = -j**3 + 3 + 3 - 1. Let z be h(0). Let r(v) = v**3 - 5*v**2 + v - 3. Is r(z) a composite number?
False
Let a = 376 - -13. Is a a composite number?
False
Let d = -3 + 7. Let f be d/1 + (-2 - -2). Suppose t - 2*t - 18 = -2*s, -5*s + 71 = f*t. Is s composite?
False
Suppose -s = 4*s + 3*q - 11182, 5*q + 11190 = 5*s. Is s a prime number?
True
Let m(c) = c**3 + 20*c**2 + 16*c - 18. Is m(-19) a prime number?
False
Let l = 3 - -1. Suppose 0 = -2*b + 3*b. Suppose 56 = l*q - b*q. Is q a composite number?
True
Let c(d) = -6*d**2 + 4*d - 3. Let z be c(-5). Let n = z + 288. Is n a composite number?
True
Suppose 0 = 5*m + 47 + 123. Let p = 60 + m. Is p a composite number?
True
Let g(t) = 6*t**2 + t - 1. Let l be g(1). Let n = 4 - l. Let v(u) = 21*u**2 - 3*u - 3. Is v(n) prime?
False
Let q be (-118)/(-8) + 4/16. Suppose -2*k - 4 + 6 = 0, -99 = -3*y - 3*k. Let g = y + q. Is g a composite number?
False
Let a(i) = -8*i**2 - 5*i - 3. Let v be a(-4). Let p = 38 - v. Is p a prime number?
True
Let q = 170 - -41. Is q prime?
True
Suppose 3*r + 18 = 2*o - r, 3*o = -3*r. Suppose -41 = -2*q + 3*b, -2*b + 63 - 8 = o*q. Is q a prime number?
True
Suppose 2*u + 3*k = 6*u - 856, -3*k = 0. Is u prime?
False
Let v = -11 + 5. Let c be ((-756)/(-8))/(v/8). Let f = -67 - c. Is f a prime number?
True
Let s = 1004 - 553. Is s a composite number?
True
Let v = 26 + -6. Suppose v - 57 = -g. Is g a prime number?
True
Suppose -v + 0*n = -n - 96, 2*n + 489 = 5*v. Is 0 - (-2 - v/3) prime?
False
Suppose b + b = 4. Suppose 0 = 2*o + b*o - 44. Is o prime?
True
Let m(n) = -30*n**3 + 2*n**2 + 2*n + 1. Suppose -3*o + 6*o = -3. Is m(o) composite?
False
Suppose 0 = 3*f + 2*f - 25. Suppose 62 = f*b - 3. Is b - (-1)/((-3)/(-3)) composite?
True
Let s be (1 + 1)/(-4 - -2). Let h be 22 + (2 - 1) - s. Suppose -u - h = -103. Is u composite?
False
Let t(r) = r - 7. Let y be t(-7). Let f = -7 - y. Suppose -f = 4*b - 5*n - 93, -13 = -b - 3*n. Is b a composite number?
False
Let r = -1317 - -1904. Is r a composite number?
False
Let u(v) be the first derivative of -v**4/4 + v**2/2 + 6*v - 1. Let g be (-1)/3 + (-3)/(-9). Is u(g) prime?
False
Suppose -5*o = -8*n + 3*n - 1830, 4*o + 4*n = 1472. Is o a composite number?
False
Is (-24645)/(-18) - 5/30 composite?
True
Let z(c) = 52*c**2 - 6*c - 7. Is z(3) prime?
True
Let u(k) = 753*k**2 + 4*k - 2. Is u(1) a prime number?
False
Let i be 13088/56 - 4/(-14). Suppose 514 = 4*q + 5*b + 37, 2*q = -4*b + i. Is q a composite number?
True
Suppose p + 10 = 5*x, -p - 5 = 4*x - 22. Let h = x + -1. Suppose 665 = h*c + 3*c. Is c a composite number?
True
Suppose 3291 = 11*p - 8*p. Is p composite?
False
Suppose -6*q - 70 = -166. Let b = q - 9. Is b composite?
False
Let a(z) be the third derivative of 0*z**4 + 0*z - 1/6*z**3 + 61/30*z**5 + z**2 + 0. Is a(-1) a prime number?
False
Let d(z) = -20*z**3 + 2*z**2 + 3*z + 1. Is d(-2) prime?
True
Suppose 0 = 5*i - 1 + 6. Let n be (-56)/(-21) + i/(-3). Is n + -5 - (-16 + -1) a composite number?
True
Is 27/(-9) - (-908)/2 composite?
True
Suppose -1 = 3*k + 8. Let x be k + 8 + (1 - 2). Suppose 58 = 2*n - x*w, 0 = -n + 2*w - 3*w + 14. Is n prime?
True
Let m(a) = -7*a + 5. Let g be m(-7). Suppose 3*h - 216 = -4*d, -h - 2*h = d - g. Suppose d + 38 = 4*w. Is w a prime number?
True
Let d(o) = 3*o**2 - 2*o - 1. Let p be d(-1). Suppose 4*x = 2*x + p. Suppose -7 = -x*w + w. Is w prime?
True
Let f(x) = -x + 3*x - 4*x - x - x**2 - 3. Let c be f(-3). Is c/(-1) - 41*-2 composite?
True
Suppose 3*z = 195 - 537. Let c = 241 + z. Is c a prime number?
True
Suppose 3*h + 11 = -i, 0 = 5*h + 4*i + 14 + 2. Let p be 0 + h/(-2) - 4. Is (-7)/(p + 21/11) prime?
False
Let g(x) = 5*x**3 + 5*x**2 + x + 4. Is g