k(2). Let a = 15 + y. Is a a prime number?
False
Let g be 0 - 1*-7 - 1. Suppose -10 = 3*d + 5*b, g*d = 2*d - 4*b - 8. Suppose -207 = -3*t - d*t. Is t prime?
False
Let l(y) = -3*y**3 + 2*y + 4. Let i(f) be the first derivative of -f**2/2 + 1. Let x be i(3). Is l(x) a prime number?
True
Let d(c) be the first derivative of 8*c**3 - c**2/2 + c - 2. Let v be d(1). Suppose 3 = -f + v. Is f prime?
False
Suppose 5*l = 4*r - 22, -2*l = 3*r + 3*l + 1. Suppose r*o - 19 = 14. Is o prime?
True
Let g(v) = -59*v. Let t(r) = r. Let d(q) = g(q) + 118*t(q). Let o be d(1). Suppose 45 = 4*n - o. Is n a prime number?
False
Let b(z) = -6*z**3 + 5*z**2 + 5*z - 4. Let u be b(-4). Let v(a) = 8*a + 30. Let y be v(-4). Is -1*(u/y + -3) composite?
False
Suppose -s + 1 = 5. Let t be 0/s - (-2 - -1). Suppose c - t = 2. Is c a prime number?
True
Let h = 200 + -33. Let l = 34 + h. Is l composite?
True
Let q = 1004 - 349. Is q composite?
True
Suppose -25*x + 3068 = -21*x. Is x prime?
False
Let l be 4*1/(6/3). Suppose 0 = -5*r - 5*v + 340, -5*r - 5*v + 338 = -l*v. Is r composite?
False
Suppose 4124 + 4841 = 5*h. Is h prime?
False
Suppose -d + 850 = 3*h, 0*h - 4260 = -5*d - 5*h. Is d composite?
False
Suppose 4*u - 42 = 26. Suppose 2 = -5*z + u. Suppose -z*g + 275 = 2*g. Is g prime?
False
Suppose 107 + 157 = g. Suppose 0 = -5*s + 2*s - g. Is 9222/22 - (-16)/s prime?
True
Suppose 0 = 2*u - 6, -u + 3*u = -5*x + 551. Is x a composite number?
False
Let s(p) = 48*p**2 - 14*p + 13. Is s(6) a prime number?
True
Let u be 18/((2 + 1)/27). Is u + -1 + 0/3 a composite number?
True
Is (-1030)/(-15)*6/4 a composite number?
False
Is ((-14)/4 - 3 - -2)*-2 composite?
True
Let s(o) = -12*o**3 - 2*o**2 - o. Let g be s(-1). Suppose -g = -5*h + t + 10, 0 = 2*h - 3*t - 11. Suppose h*x = -33 + 349. Is x composite?
False
Let q(b) = b**2 - b - 2. Let t be q(-3). Let k = t + 0. Is k a prime number?
False
Is (-2 + 1)*(-921)/3 prime?
True
Suppose 0 = -4*v + v + 6. Suppose o = -v*o. Suppose o = -2*i + 3*y + 266, -i + 0*y + 155 = 4*y. Is i composite?
False
Let i(n) = 2*n**2 - 4*n - 2. Let t be i(-3). Let m(p) = -p**2 - 8*p - 5. Let z be m(-7). Is 1/(z/t - 0) a prime number?
False
Let z = -21 + 35. Suppose -x + 3 = -5*o + 20, x + z = 4*o. Is o a composite number?
False
Let j(n) = 67*n**2 + 14*n + 5. Is j(-6) prime?
True
Let a(d) = 2*d**3 - 5*d**2 - 3*d - 1. Is a(8) composite?
True
Let n be (-6)/6 - (1 + 84). Is (n/3)/((-2)/3) prime?
True
Let g(a) = -a**3 - 9*a**2 - 4*a + 3. Let f = 12 - 22. Let m be g(f). Suppose -2*t - 6 = 0, 0 = q - 4*t + 6*t - m. Is q prime?
True
Let j = 28 - 19. Is 134*(j/(-6) + 2) a composite number?
False
Suppose 5*m = -5, 0 = -2*z - 2*z - 4*m + 12. Suppose z = -t + 7. Suppose j + 2*v = 37, 7*j - 4*j + t*v = 111. Is j a prime number?
True
Let t = -129 - -355. Suppose a = -4*h + 2*a + t, 0 = -h + 5*a + 47. Is h composite?
True
Suppose 5*k + 3*t - t = 5589, 4458 = 4*k - 5*t. Is k composite?
False
Is (2198/(8/4))/1 prime?
False
Suppose 35 = 5*l + 5*n, 2*l - 13 = -5*n + 16. Let b = -3 + l. Is 32 - (b + 1 + 1) a composite number?
False
Let t(l) = 1075*l - 29. Is t(4) composite?
False
Let g(t) = 8*t**2 + 5*t + 24. Is g(-11) a composite number?
False
Let c(t) = -143*t - 2. Is c(-1) composite?
True
Let x(z) = 3*z - 5. Let y(r) = 13*r - 21. Let u(l) = -9*x(l) + 2*y(l). Let h be u(-4). Suppose -3*n = -25 + h. Is n prime?
False
Let f(q) = -q + 15. Let i be f(8). Let m(u) = u**2 - 7*u + 7. Is m(i) composite?
False
Let q = 1153 + -384. Suppose 5*k - 1301 = -3*h, -3*k + 6*k = 4*h + q. Is k composite?
True
Suppose a - 3*x - 10 = 3, 3*a = 5*x + 23. Is 40/1 + a*-3 a prime number?
True
Let k(d) be the second derivative of d**4/3 + d**3/2 + 5*d**2/2 + 2*d. Let b be k(5). Suppose 0 = -4*q - 4*w + b, -3*q + 115 = -2*w + 5. Is q composite?
True
Is ((1 - 2098) + -1)/(11 - 13) a prime number?
True
Let q = 17 - 16. Is (-992 - q)*(-6)/18 a prime number?
True
Is (2/(-2))/((-2)/6218) a composite number?
False
Let l(p) = -p**3 - 7*p**2 - 7*p - 8. Let y be l(-6). Let r be (0/2)/y + 3. Is 34/8*r*4 prime?
False
Let l = -2 - -12. Let j(u) = 11 + 5*u**3 + l - 4*u**3. Is j(0) composite?
True
Let k = 23 + -12. Let a(l) = l**2 - 4*l. Is a(k) prime?
False
Let s = 10 - 7. Suppose 0 = 2*p + p. Suppose 152 = 5*q - s*b, -2*q - 3*q + 4*b + 151 = p. Is q a prime number?
True
Let l = -9015 - -14146. Is l prime?
False
Suppose -3*j - 6 = 9. Let z(o) = -o**3 - 6*o + 2. Is z(j) composite?
False
Suppose -g + 123 = -2*i, 2*g + g + 5*i - 325 = 0. Is g a composite number?
True
Suppose -4*a + 455 = a. Is a a prime number?
False
Let i(p) be the first derivative of -3*p**2/2 - 7*p - 2. Let y(d) = d**3 + 2*d**2 + 3*d. Let a be y(-2). Is i(a) a composite number?
False
Let j(u) = 67*u**2 + 9*u - 4. Is j(3) a prime number?
False
Suppose -3*i + 2*h + 0*h = -92, -120 = -4*i + 2*h. Is (i/(-12))/(2/(-42)) a composite number?
True
Let n(d) = -7*d - 4. Suppose -7 = -0*m - m. Let g = 2 - m. Is n(g) a prime number?
True
Let h(s) = 0*s - 3 + 3*s - s + 14*s**2 + 2. Is h(-3) a prime number?
False
Let o = -3339 - -5018. Is o composite?
True
Suppose 5*c + 3*x = 2782, -4*c + 3*x = 865 - 3096. Is c a composite number?
False
Suppose 0 = c - 157 - 492. Is c composite?
True
Let f = 59 + -32. Let s be (-47)/(-4) + (-1)/(-4). Suppose g - f = s. Is g a prime number?
False
Let o be -1*1*(-4 - -2). Suppose -o*d - 113 = -579. Is d a composite number?
False
Let d(q) = 2*q**2 - 9*q + 1. Is d(-12) a composite number?
False
Let h be (-1 - 2) + 8 + -1. Suppose h*v = -m + 214, v + m - 59 = -2*m. Is v prime?
True
Let b(f) = 3*f**3 - 4. Let x be b(4). Suppose -2*m - 3*m + 106 = 3*o, x = 5*o - 3*m. Is o a prime number?
True
Let f = 3 - 1. Suppose -r + 7*o = 3*o - 243, -4*o = f*r - 462. Suppose 3*v + 5*q - 241 = 0, -3*v + r = 5*q - 3*q. Is v prime?
False
Let s = 90 - 25. Suppose 1 = -k + 35. Let d = s - k. Is d a composite number?
False
Let j(c) = c**3 - 9*c**2 + 9*c + 14. Let m(t) = -t**3 + t**2 - 1. Let u(w) = j(w) + 2*m(w). Let y be u(-8). Let l = 7 - y. Is l composite?
False
Suppose l - 347 = 176. Let g = l + 382. Is g a prime number?
False
Let g = 281 - 60. Is g a composite number?
True
Suppose 2*i + 3*i = 3*b + 37, 0 = -4*b + 2*i - 54. Let p = b - -33. Is p composite?
False
Let b be (-4)/((9/(-12))/3). Suppose -6*w = -2*w - b. Suppose -c - w*t + 17 = 0, 0 = -c + 2*t - 3*t + 32. Is c composite?
False
Let r = 46 + -31. Suppose -4*l - l = -r. Suppose 0 = -l*n + 2*d + 73, -4*n - d + 82 = 4*d. Is n a composite number?
False
Let z(t) = 2*t + 6*t + 5*t**2 + 6 - 3*t - t**3. Let o be z(6). Suppose o = 2*i - 0 - 4. Is i a composite number?
False
Is (-90438)/(-42) - (-4)/(-14) a prime number?
True
Let t(k) = -25*k + 1. Let z be t(-13). Suppose 0*n - z = -2*n. Is n composite?
False
Let b = 380 - 237. Is b a prime number?
False
Let n be 62/(-4) + (-3)/6. Let g be 2*15*n/(-4). Suppose -2 = 2*u, 3*u + g + 95 = 4*a. Is a composite?
False
Suppose -524 = -3*c + 913. Is c composite?
False
Let o(c) = c - 6. Let n be o(3). Let q = -9 - n. Is 68 - (q/(-3) + -1) prime?
True
Let n(l) = -1 + 2*l - 3*l + 9. Let d be n(8). Suppose 0 = -d*m - 2*m + 226. Is m prime?
True
Suppose 3744 - 1086 = 6*w. Is w prime?
True
Suppose 17 = 3*l - 13. Suppose 2*y = -0*y + l. Suppose -y = -5*c - 5*k - 0, 0 = -5*c + 4*k + 23. Is c a composite number?
False
Let c = -7 - -2. Let k(m) = m**3 + 7*m**2 + 3*m + 2. Is k(c) prime?
True
Suppose -5*a + 3 = -2*a. Is 4*a/4*2 a prime number?
True
Suppose 2*x - 3*x + 5*f = 11, x = 3*f - 5. Suppose x*g - 2750 = -538. Is g a prime number?
False
Let w(q) = -43*q**3 - 5*q**2 - 4*q + 2. Is w(-2) prime?
False
Let m(k) = -5*k + 10. Let p(f) = -4*f + 10. Let z(r) = 3*m(r) - 4*p(r). Let t be z(13). Suppose 7 = 3*v + 19, 3*b + t*v = 279. Is b prime?
True
Suppose -p - 31 + 148 = 0. Let o = 167 - p. Suppose 2*b - 56 - o = 0. Is b prime?
True
Let p = -15 + 344. Is p prime?
False
Let o = 107 + -24. Is o a prime number?
True
Let y be 1/3 + 1360/15. Suppose 5*p + y = 376. Is p prime?
False
Suppose 5*d - 71 = 4*d. Suppose -d = s - 2*s. Is s prime?
True
Suppose -4*t + 2081 - 445 = 0. Is t prime?
True
Let c(w) be the first derivative of -11*w**2/2 - w - 2. Let f be 1*(-1 + -6) - -1. Is c(f) prime?
False
Suppose 0 = h + 15 - 178. Is h a prime number?
True
Let z be (-1)/(18/(-17) - -1). Suppose -