*j, -4*j = 3*d + 9. Is s(d) composite?
False
Let l(o) = -5*o**3 - 2*o**2 + o - 1. Let b be l(-2). Suppose -2*q + 6*q + 3*c - 26 = 0, 5*q - b = -2*c. Suppose -10*i = -q*i - 1685. Is i a prime number?
True
Let t(k) = -41*k + 10. Suppose 0 = -2*v - 0*m - 4*m - 10, -3*v - 10 = m. Let p(d) = -14*d + 3. Let b(j) = v*t(j) + 8*p(j). Is b(17) prime?
True
Suppose 135 = -14*z + 17*z. Let t = 356 + z. Is t a prime number?
True
Let c be ((-2)/4)/((-9)/(-54)). Let j be (28/(-12))/(1/c). Is 17*20/(j - 3) a composite number?
True
Let q = 2325 - 1210. Let p = q - 512. Let m = p + -134. Is m a prime number?
False
Is (-5 - -1)/(2/1) - -2491 composite?
True
Suppose 0 = -3*x + 245 + 1264. Is x composite?
False
Let c(m) = 801*m**2 + 8*m - 78. Is c(11) composite?
False
Let p(h) = -h**2 + 14*h + 19. Let x be p(15). Suppose x*f + 2*u - 8 = 0, 2*f - 2*u + 1 = -1. Is 201*(2/6)/f prime?
True
Suppose -3*u - q + 30 = -4*q, 2*q = -10. Suppose -3*f - 75 = -3*l, 26 = l - u*f - 7. Is l prime?
True
Let j = -17 + 17. Let h be 22759/9 + 4/18. Suppose 1259 = 2*f - k - 2*k, -4*f - 5*k + h = j. Is f a prime number?
True
Suppose 0 = -5*v + h + 706 + 279, 5*h + 613 = 3*v. Suppose -296 - v = -6*x. Is x a composite number?
True
Let z = -36 - -39. Suppose -z*a - 5*a = -680. Is a a composite number?
True
Suppose 4*v + 6 = 5*v. Suppose y = 3*q + 1721, -3*q + y - v*y = 1727. Let k = q + 1043. Is k a prime number?
False
Suppose d = -3*p + 30752, p + d - 10254 = 4*d. Is (-8)/(-52) - p/(-39) composite?
False
Let i(d) = -57*d + 14. Is i(-3) prime?
False
Let j(l) = -l**3 + l**2 + l + 6. Let x be j(2). Is 9914/x - 6/4 prime?
True
Let j be (-4)/2 + -3 + 9. Suppose j*q + 4 = 3*d, -d - q + 8 - 2 = 0. Suppose 0*s - 996 = -d*s. Is s composite?
True
Let d(x) = -8*x**2 - 5*x - 13. Let c be d(6). Let b = -132 - c. Is b prime?
True
Let n(m) be the first derivative of -1 - 1/2*m**2 + 1/3*m**3 + 7*m. Is n(0) a prime number?
True
Let x = -4054 + 2410. Let v be (3/(-2))/(18/x). Suppose -v = -5*n + 148. Is n prime?
False
Suppose -2*m = -13 - 17. Suppose -f - m = 2*f. Let a(u) = u**3 + 6*u**2 + 2*u. Is a(f) prime?
False
Suppose s - 8*s - 9709 = 0. Let z = s + 2680. Is z prime?
False
Suppose 0 = i + i - 10. Suppose -2980 = -i*d - 0*d. Suppose -149 = -5*r + d. Is r a prime number?
True
Let k = 14267 + 21322. Is k prime?
False
Suppose 2*k = -v + 7, 44 = 4*v + k + 3*k. Let z(w) = -1 + 8*w + v*w**2 + 5 - 5*w. Is z(-2) composite?
True
Is (12229 + -2)*(-9)/(-8 - 1) a composite number?
False
Suppose -y - 2885 = -5*p + y, 0 = 3*p - 3*y - 1722. Is p a prime number?
False
Let k = 3 - 2. Is k*((-2)/1 - -3) - -1560 a composite number?
True
Let y be (-6)/(-3) - 35/5. Is (y/(5/631))/(-1) a prime number?
True
Suppose 0 = -12*s - 61 + 11521. Let n(v) = -v**3 + 4*v**2 - 3*v + 3. Let f be n(3). Suppose f*b = -2*b + s. Is b composite?
False
Suppose -p - 3812 = -3*p + 2*i, 2*p = -5*i + 3847. Suppose 1266 = 2*r - 4*c, c - 4*c = -3*r + p. Is r composite?
False
Suppose 0 = -228*b + 215*b + 97942. Is b composite?
True
Let s = 10929 - 6427. Is s a prime number?
False
Suppose -6036 = 7*q - 101033. Is q a composite number?
True
Suppose -4*w = o - 6353, -14074 = 5*o - 3*w - 45839. Is o composite?
False
Let i(r) = r. Let c(t) = -t**2 + 13*t - 8. Let q(d) = -c(d) + 4*i(d). Let x be q(8). Suppose 5*w + x*k = k + 115, 3*w - 2*k = 76. Is w prime?
False
Let t(r) = -2*r**3 - 10*r**2 + 5*r + 2. Let f(h) = 3*h + 16. Let z = 2 + -10. Let s be f(z). Is t(s) a composite number?
True
Suppose 5*g - 3 = 7. Suppose 3 - g = 4*k - 5*b, 17 = 5*k - b. Suppose -2*t = 4*v - v - 545, k*v - 815 = -3*t. Is t prime?
False
Let r = 24478 - 17217. Is r composite?
True
Let s = 4436 + -11559. Is s/(-34)*4/(1*2) prime?
True
Suppose -7*u + 2*u + 70 = 0. Suppose u = 3*n - 7. Let h(s) = 29*s. Is h(n) a composite number?
True
Is 2*(8 + 167770/20) composite?
True
Let q be (-16)/(-24) - 46/6. Let s = q + -1. Let r = 167 + s. Is r a prime number?
False
Let t(x) = 3335*x + 258. Is t(7) a prime number?
True
Suppose t + 0 - 1 = 0, -5*x - t + 6 = 0. Is (1 + 1)/(6*x/366) composite?
True
Suppose -8*m - 7473 = -11*m + 5*q, -5*m + 12455 = 4*q. Is m composite?
True
Let l = -1977 - -1308. Let y = -412 - l. Is y composite?
False
Let c(f) be the first derivative of 81*f**2/2 - 13*f - 11. Let p(r) = 162*r - 25. Let j(z) = -5*c(z) + 3*p(z). Is j(7) prime?
True
Suppose 289*b = 275*b + 27916. Is b a composite number?
True
Suppose -3758 = -j - b, 4*j + 0*j = 3*b + 15053. Is j a prime number?
True
Let l(w) = w**2 + w + 8. Let g be l(0). Is (-3)/(-12) + 2694/g a prime number?
True
Let v = 119124 + -58771. Is v a prime number?
True
Let y = 22 + -25. Let i be 2*y*(-2)/3. Suppose 0 = 5*p - 4*b - 187 - 432, -i*p + b + 504 = 0. Is p composite?
False
Let k be (-264)/((-10)/5)*(-2)/(-4). Suppose o + 2*o = k. Is o composite?
True
Let v be (11/((-44)/40))/2. Let w be (-216)/(-45) + (-1)/v. Suppose -w*a + 494 + 151 = 0. Is a prime?
False
Suppose 2*t - 5*r - 23062 = 0, 277*t + 2*r - 57655 = 272*t. Is t a composite number?
True
Is 6/2 - (-5 + -44831)*1 composite?
False
Let h(d) = 2 - 4*d - d**3 - 1 - 8*d**2 + 4 + d**2. Let y be h(-7). Let x = y + 20. Is x composite?
False
Suppose -6*i = -i - 25. Suppose -i*y + 3*f = -0*y - 598, 4*y - 2*f = 478. Is y a prime number?
False
Let y(w) = w**3 - 13*w**2 - w + 6. Let z be y(13). Let b(q) = -11*q - 5 - 1 + 0*q**2 + q**3 + 6*q**2 + 0. Is b(z) composite?
True
Let g be (-4)/22 - (-303)/33. Suppose 10 - g = u. Is u*290/2 - -4 composite?
False
Suppose -2*x - b = -6, 4*x + b = 16 - 0. Is ((-7)/(-1))/(x/1745) prime?
False
Suppose 8*q = -6*q + 378910. Is q prime?
False
Let u = 10097 + -6201. Suppose j + 4915 = 5*r + 5*j, -4*j = -4*r + u. Suppose 5*i = r + 51. Is i a prime number?
False
Let d(p) = p**3 - p**2 + p + 1507. Suppose 7*w = 5*w. Is d(w) composite?
True
Let k(p) = 14*p**2 - 28*p - 31. Is k(15) a composite number?
False
Let y = -159 - -323. Suppose -d + y - 58 = 0. Let v = -60 + d. Is v prime?
False
Suppose w - 3*c = 9425, 5*c - 47193 = -5*w + 3*c. Let l = -6618 + w. Is l a composite number?
False
Suppose l = -3*k + 2999, -3*k + 364 + 5646 = 2*l. Is l composite?
False
Let h(j) = j**3 + 8*j**2 + 7*j - 9. Let t be h(-6). Is (-27)/(-63) + 28572/t composite?
False
Is (-1 - -7*3009) + (-198)/66 a composite number?
False
Suppose -38 = 2*k + 4. Let m be 2/4 + k/(-6). Suppose 2*y + 4*l + 528 = 6*y, -m*y = 2*l - 498. Is y composite?
False
Let o(g) = 17*g - 5*g - 3*g - g**2 - 11 + 10*g. Is o(11) a composite number?
True
Suppose 132408 = -65*b + 591893. Is b a composite number?
False
Let b(s) = -11*s**2 - 5*s**2 + 0*s**3 + 2*s**3 + 11 - s**3 - 27*s. Is b(19) a prime number?
False
Let w be 3 + -1 + (-7)/((-28)/(-24)). Is 2835 + -3 + 4/w a prime number?
False
Suppose 5*f + 5*j = 263155, -f + 4*j + 210492 = 3*f. Is f a composite number?
False
Suppose -2*m - 2 = 2*o, m + 0*o - 2*o = 8. Suppose -m*c = c + k - 7488, c - 3*k - 2506 = 0. Is c composite?
True
Suppose 47384 = -805*u + 813*u. Is u a composite number?
False
Let s(h) = h**2 + 9*h. Let y be s(-9). Let g be 2 + (-1)/(y - 1). Suppose -312 - 27 = -g*k. Is k a prime number?
True
Let j(v) = 2*v - 386. Let x be j(0). Let q = x + 717. Is q a composite number?
False
Let r(w) = 11*w**3 - 6*w**2 - 13*w - 23. Is r(13) composite?
False
Let t be (-5)/(100/(-72)) - 4/(-10). Suppose 120 = t*i - 340. Is i prime?
False
Suppose -2*t = -3*w, w = -0*w - 2*t - 8. Let r = 1 - w. Suppose 0 = -l + 4 + r. Is l a composite number?
False
Suppose -4*c + 4 - 12 = 0. Let o be (-1 - 2)*c/6. Is 226*(o/(-2))/(-1) prime?
True
Let p = 19 + -28. Let w(f) = 9*f**2 - 17*f + 2. Let d(y) = -4*y**2 + 8*y - 1. Let t(z) = -5*d(z) - 2*w(z). Is t(p) prime?
False
Let i(a) = 7662*a**2 - 22*a + 23. Is i(1) a prime number?
False
Let z(s) = 277*s**2 + 10*s + 74. Is z(-7) prime?
True
Suppose -14*u + 6535 = -3391. Is u prime?
True
Let d(x) = x**3 + 21*x**2 - 13*x + 19. Is d(-20) a prime number?
False
Let i = 18 - 13. Suppose 2*m - 191 = -2*n + 121, -3*n + 790 = i*m. Is m a prime number?
False
Let v = 35 - 30. Suppose -1032 = -2*k + 2*t, v = t - 0. Is k a prime number?
True
Suppose 2*b - 44 - 54 = 0. Let j = -18 + b. Suppose 48 + j = x. Is x prime?
True
Let n = -1733 + 6240. Is n a composite number?
False
Let d = 0 + -4. Let g(j) = -j + 1. Let t(k) = -164*k + 3. Let y(l) 