4*y - 4 = 0. Suppose 4*z - 105 - 31 = u*o, 2*z - 68 = -2*o. Is z a prime number?
False
Let n = -70 + 479. Is n a composite number?
False
Let s = 7141 + -4410. Is s prime?
True
Let u(j) = 253*j. Let i(x) = 18*x. Let k(l) = -69*i(l) + 5*u(l). Is k(1) a prime number?
True
Let a(w) = w**3 - 6*w**2 - 7*w - 2. Let h be a(7). Let q = 4 - h. Is -47*(-4 - q/(-3)) composite?
True
Suppose -t - 4 = -1. Let u(k) = -9*k**3 + 2*k**2 + 4*k + 2. Is u(t) prime?
True
Let t(o) be the third derivative of o**5/15 - o**4/8 - o**3/6 - 2*o**2. Is t(-6) a composite number?
True
Let t(a) = -9*a**2 - 9*a + 6. Let s be t(6). Let b = s - -583. Is b a prime number?
True
Is (-98)/21*246/(-4) composite?
True
Suppose -4*g - z - 33 = 0, -5*g - 5*z - 33 = -z. Let j = -6 - g. Let v = j - 0. Is v a composite number?
False
Suppose -t - t - 1118 = -3*c, 3*c = -4*t + 1112. Let l = c + -209. Is l composite?
False
Let g(s) = -2*s + 1. Let j be g(-3). Suppose -4*o = -j*o - 18. Is (-6)/9 + (-202)/o composite?
True
Suppose -5*x = -4*x - f - 7, -x + 3*f - 1 = 0. Let g = 11 - x. Suppose -3*o - 2*h + 82 = 0, -o + 24 = -h - g*h. Is o composite?
True
Suppose -5*k + 4*r + 312 = -999, -2*k + 514 = r. Is k prime?
False
Let s be 5/1*(-3 - -4). Suppose -2*h + 21 = -69. Is (s - 3) + h/1 composite?
False
Let f be 46/8 + 2/8. Let y be (8/5)/(f/15). Suppose 36 = y*c + 2*k, 3*c = c - 3*k + 26. Is c a prime number?
True
Suppose -10 = 5*x, -2*u + 5*u = -x + 10. Let g = -19 - -74. Suppose -3*w = -u*w + g. Is w composite?
True
Let w = 2 - -1. Suppose -2*z + 14 = 4*l - 4, 3*z = w*l. Suppose 4*i - 45 = -z*v, i = -5*v - i + 89. Is v composite?
False
Let v = 1575 + -786. Is v a composite number?
True
Suppose 0 = 3*i - 4*i + 213. Is i a composite number?
True
Suppose -2*l + 16 = 2*l. Suppose -l*g = -g - 66. Is g a prime number?
False
Suppose 2*i = 3*x - 1437, 4*x = -5*i + 2519 - 603. Is x composite?
False
Let v(s) = -s**3 + 2*s**2 + 2*s + 2. Let t be v(3). Let h = t + 3. Suppose 0 = x - 2*b - h*b - 35, 3*x = 3*b + 132. Is x prime?
True
Let v(f) = 3*f**2 + 6*f + 2. Is v(-9) composite?
False
Let c = -3 + 7. Suppose -23 = -3*k + 2*k - 3*o, -4*o + 68 = c*k. Let b = 37 - k. Is b a prime number?
True
Let r(q) = q**2 - 14*q + 19. Let o be r(17). Suppose s = 3*w + o, -334 = -s - 4*s - w. Is s prime?
True
Let n = 4 - 2. Suppose n*i - 7*i + 386 = -3*q, 2*i = 5*q + 656. Let d = 91 - q. Is d a prime number?
True
Let s(w) = -w - 6. Let b be s(-7). Let d be b*2 - (2 + 2). Let f(c) = 20*c**2 + 3*c + 3. Is f(d) a composite number?
True
Suppose r - 65 + 17 = 0. Let p be (8/(-3))/(1/r). Is p/(-3) + 6/18 composite?
False
Let u(b) = -b**2. Let t be u(1). Is t*4/(-12)*249 a composite number?
False
Let l(r) = r**2 + 1. Let h be l(-4). Let k = 96 - h. Is k prime?
True
Let s(t) = -2*t - 7. Let r be s(-5). Is (r - (1 - -5)) + 226 prime?
True
Suppose i = 3*q + 70, i + 4*q - 36 = 34. Let k = 233 - i. Is k a composite number?
False
Suppose x + 5*w + 33 = 0, 3 = -3*x - 2*w - 31. Let g be ((-10)/x)/(7/28). Suppose 3*h + h - 409 = -5*c, -g*h + 235 = 3*c. Is c prime?
False
Suppose -2*v + 71 = o, 2*o - 229 + 55 = 4*v. Is o a prime number?
True
Suppose w = 6*r - 2*r + 1493, 3*r - 2942 = -2*w. Is w composite?
True
Is 981/15 - 4/10 prime?
False
Suppose -2*r = -3*a - 1, a - 3*r = 4*a - 9. Let w(k) = 217*k**3 - k. Let h be w(a). Suppose p + 53 = h. Is p a prime number?
True
Let u be 1 - 8 - (-2 + 1). Let i = u + 11. Suppose i*w + 29 = 424. Is w prime?
True
Suppose j + 1 - 3 = 0. Suppose 106 = -j*s + 4*s. Is s a composite number?
False
Let j(b) = 79*b. Let n be j(-2). Let v be 2/(4/n)*1. Let g = -42 - v. Is g prime?
True
Let c be 6 - 5/((-10)/(-6)). Suppose 0*j - 4 = 4*j, -c*n + 358 = 5*j. Is n a prime number?
False
Let p = -13 + 13. Is (-4)/(-16)*p - -443 a composite number?
False
Let x = -96 - -173. Is x composite?
True
Let v(a) be the first derivative of -5*a**4 + 2*a**3/3 - a + 3. Is v(-1) a composite number?
True
Suppose 0 = 2*d + 3*p - 1874, 2*d - 731 - 1143 = 2*p. Is d a prime number?
True
Let g be 0/(1/((-1)/(-1))). Let c be (36/15 + -3)/(9/(-30)). Suppose g = -c*d - 0*d + 190. Is d a prime number?
False
Let t = 2300 - -195. Is t composite?
True
Let x(l) = -l**3 - 13*l**2 - 14*l - 17. Is x(-12) a composite number?
False
Let k = -1375 - -2084. Is k a composite number?
False
Let w = -44 - -87. Let r = w - 6. Is r a prime number?
True
Suppose 3*d - 384 = 3*w, 19 = d - 3*w - 111. Is d prime?
True
Suppose w - 83 - 161 = 0. Let q = 467 - w. Is q a prime number?
True
Suppose 0 = -5*p + 2*y - 3*y + 636, 258 = 2*p + 4*y. Is p composite?
False
Suppose -3*i + 4*i = 2*c - 144, -c = -i - 147. Let r = i - -243. Is r a composite number?
True
Let b = 374 - 155. Is b a prime number?
False
Let a(t) = 52*t - 1. Is a(5) a prime number?
False
Suppose 4*c - 3*c - 58 = 0. Is c a prime number?
False
Let c(y) = 38*y - 3. Let k be c(2). Suppose 2*o + 3*h + 44 = 7*h, -5*h - 53 = 2*o. Let t = o + k. Is t composite?
True
Suppose 0*r + 25 = 5*r. Suppose -r*k + 1189 = -211. Let o = k + -189. Is o composite?
True
Let h(f) = 65*f + 1. Suppose -33 = -5*c + 7. Is h(c) a prime number?
True
Suppose -2*l - 22 + 54 = 0. Suppose -4*o + 5*w = -l, -5*o + w + 19 + 1 = 0. Is o/6*(2 + 1) a composite number?
False
Let a = 3 + -2. Suppose 0 = -f + a, -4*j + 4*f = -0*j - 164. Let g = 63 - j. Is g prime?
False
Suppose 5*x = -5*a, 2*a = 2*x + 1 - 13. Let k be 9 + -7 + 1 + a. Suppose k*f + 39 = f. Is f a composite number?
True
Let t(h) = h**2 + 10*h - 36. Is t(-15) composite?
True
Let b = -96 + 145. Is b a composite number?
True
Suppose -8*x + 565 = -3*x. Is x a composite number?
False
Let r = 151 - 64. Suppose -h + 27 = -n + h, -4*n - r = -h. Let j = n - -112. Is j a composite number?
True
Suppose 3*j + 7 = -4*k + 21, -4*j = -3*k - 27. Let d(z) = 2*z**3 - 6*z**2 - 6*z + 5. Is d(j) composite?
True
Let q be (8/3)/((-1)/3). Let p be (1/2 + -1)*q. Suppose -5*m - 3*c = -341, p*c - 28 - 315 = -5*m. Is m prime?
True
Suppose 2*w - 541 = -t + 4*t, -4*t - 1072 = -4*w. Let p = 444 - w. Is p composite?
False
Suppose -5*c - 188 = -c. Suppose 0 = -4*w - 52 + 428. Let q = c + w. Is q prime?
True
Suppose -5*p = -3*n + 86, -3*n = 5*p - 96 - 40. Is n a composite number?
False
Let p be 1*(0 + 0) - -2. Let v = 239 + -1. Suppose 4*y - p*y - v = 0. Is y prime?
False
Let t(w) = -w**3 - 2*w**2 + 2*w - 3. Let v be t(-3). Suppose 2*z + o + 2*o = 62, v = 3*z - 3*o - 93. Is z a composite number?
False
Let g = 37 - 18. Let j = 1 - 1. Suppose -f + 0*f + g = j. Is f a prime number?
True
Is 17/34 + 13073/2 composite?
True
Let q(n) = 27*n**3 + n**2 + n - 1. Let m be q(2). Suppose -38 - m = -x. Is x prime?
False
Suppose -254 + 9044 = 10*g. Is g a prime number?
False
Suppose -5*o + 78 = -3*r + 13, 0 = 4*o - 3*r - 55. Let l be (7/4)/(1/(-4)). Let u = o + l. Is u prime?
True
Let d = -1 - -1. Let s(p) = -3*p**2 - 3*p - 37. Let y(w) = 4*w**2 + 4*w + 37. Let q(b) = -5*s(b) - 4*y(b). Is q(d) prime?
True
Suppose 14 + 28 = 3*m. Let u = -7 + m. Is u prime?
True
Suppose -42 = -w + c, -3*w - 2*c = -114 + 13. Is w composite?
False
Let y be 6 + (2/1 - 3). Let f(k) = -k**3 + 4*k**2 + 5*k. Let p be f(y). Suppose w - 33 = -p*w. Is w a composite number?
True
Let u(x) = -x**3 + 9*x**2 - 4*x - 1. Let w be u(5). Suppose w = v - 4*b, -12 = -v - b + 42. Suppose -18 - v = -z. Is z a prime number?
False
Let m be (0*1/4)/2. Let d(w) = w**2 + w + 37. Is d(m) a prime number?
True
Let o(w) = w**3 + 13*w**2 - 4*w + 7. Is o(-13) a prime number?
True
Let s(h) = -26*h + 6. Let o be s(-6). Suppose 5*p + 410 + o = 4*k, -3*p = 0. Suppose -2*u = 2*z - 110, 0 = 4*u + 5*z - 79 - k. Is u a prime number?
True
Suppose -2*m + 3*m - 2 = 0. Suppose -m*p = -5*p - 5*y, 0 = -2*y. Suppose o - 3*n + 4 = 0, -5*o + 2*n + 45 = -p*o. Is o a prime number?
True
Let o be (-5)/20 + 18/8. Let s(i) = 2*i**3 + 0*i**2 - 1 - i - 2 - 3*i**o - i**3. Is s(4) prime?
False
Let i(o) = -o**3 - 12*o**2 + 2*o + 16. Let f be i(-12). Let z(a) = -52*a - 13. Is z(f) prime?
False
Let l be (-2 - -32)*(-20)/(-8). Suppose 18 - l = -3*p. Is p a composite number?
False
Suppose -3*v - 5*a + 22 = 0, -5*a + 9 = -v - 17. Let l be -2 + v + (1 - -7). Suppose 0 = 4*t - 5*d - 619, 0*d = 3*t + l*d - 508. Is t prime?
False
Is ((-4605)/30)/((-1)/2) prime?
True
Let n(p) = -p**2 - 6*p + 2. Let c be n(-6). Suppose