k. Is k a prime number?
False
Let n = 7 - 3. Suppose -5*t = -4*t - 4, 0 = -n*k + t - 4. Suppose -h - 4*h = k, -5*u - 3*h = -155. Is u composite?
False
Let i be 10/(-4)*318/(-15). Is (2 + -3)*-1*i a prime number?
True
Suppose -3*t + 302 = -196. Suppose 0 = -4*c + 118 + t. Is c a composite number?
False
Suppose -5*t + 752 = -t. Let y be 215 + -9 - -1*3. Suppose o - y = -4*k, -3*o = -4*k + 33 + t. Is k prime?
True
Let g = -2166 + 4115. Is g prime?
True
Let k be (-1419)/(-9) - (-5)/15. Suppose 0 = -5*m - 4*c + 241, -c + k + 86 = 5*m. Is m a prime number?
False
Let i(c) = -c**2 + 9*c - 4. Is i(3) prime?
False
Let z be (-1660)/6*3/(-2). Suppose 6*u - z = u. Is u a composite number?
False
Let y be ((-6)/(-21))/(1/14). Suppose h + 5*j = -15, -4*j - 3 = y*h - 3*j. Let g(i) = -i**3 + i**2 - i + 121. Is g(h) a composite number?
True
Let r(x) be the third derivative of 11*x**9/8640 + x**5/15 - 3*x**2. Let c(j) be the third derivative of r(j). Is c(1) a composite number?
True
Let o be (-1)/5 + 42/10. Let a(z) = 1 - 2*z + o*z**2 + 16*z**3 + 14*z**3 - 2*z**2. Is a(1) prime?
True
Let b = 165 - 112. Is b prime?
True
Is (-21)/(-12)*732/3 prime?
False
Let r(p) = 6*p**2 + 4*p - 3. Let a = -2 - 2. Is r(a) a composite number?
True
Suppose 5*d = 2*u + u - 211, 65 = u + d. Is u prime?
True
Let w be 19/(-7) - (-4)/(-14). Let h be ((-6)/(-1 - w))/(-1). Is (h/9)/(1/21) a composite number?
False
Suppose -s = -40 - 3. Is s prime?
True
Suppose -444 = -2*u - 3*c + 78, 3*u + 4*c - 783 = 0. Suppose 0 = 6*w - w - 4*l - u, -l + 1 = 0. Is w prime?
True
Suppose 7*t - 1484 = 875. Is t a composite number?
False
Let q = 0 + 6. Let w(i) = 2 + 0*i - q*i - 1 + 0*i. Is w(-3) a composite number?
False
Suppose -844 = -4*f + 48. Is f prime?
True
Suppose 5*r = -0*r - 165. Let b = r + 194. Is b composite?
True
Let n = -59 + 186. Is n a prime number?
True
Let h(g) = -194*g + 5. Is h(-12) a composite number?
False
Suppose 2570 = 4*h - 2*r, -5*h + 3190 = 6*r - r. Is h composite?
False
Let r(b) = b**3 - 5*b + b + 8 - 4*b + 7*b**2. Let m be r(-8). Suppose -4*x = -m*x + 492. Is x composite?
True
Let z = 280 - -207. Is z prime?
True
Suppose g + 2 - 3 = 0. Is (-68)/((-2)/2 - g) a composite number?
True
Let f be 0*(-2)/4 - 0. Suppose -2*l + 6*l - 20 = f. Suppose -476 + 81 = -l*b. Is b a prime number?
True
Suppose 2*t - x - 44 - 62 = 0, -x + 279 = 5*t. Is t a composite number?
True
Let l = 81 - 55. Suppose -2*t = -t - l. Is t a composite number?
True
Let c = -4 - -6. Let y be 5/(5/c) - 0. Let u(d) = 17*d - 3. Is u(y) a prime number?
True
Suppose 3*z + z = 0. Suppose z = -3*l + j + 1, -3*l + 11 = 2*j - j. Suppose 75 + l = y. Is y prime?
False
Suppose 4*b - 12 = 24. Let o be -159 + 1 - (1 - 1). Is o/(-2)*(b - 8) composite?
False
Let i = -1135 + 1728. Is i a prime number?
True
Let x(f) be the second derivative of -2*f**3/3 - f**2 - 2*f. Suppose 0 = 4*l + 3*q + 19, 1 = -2*q - 1. Is x(l) a prime number?
False
Is 2/(-6)*(1 - 238) a composite number?
False
Suppose 0 = -3*o - 4 + 16. Let t be -2 - o/(1 - 2). Suppose -21 = t*c - 71. Is c a prime number?
False
Suppose -491 = -3*g - 2*t + 270, -267 = -g - 4*t. Is g prime?
True
Let o = -9 + 18. Let c be (8/(-12))/((-2)/o). Let y(u) = 4*u**2 - u + 2. Is y(c) prime?
False
Let h be (-134)/(-8) + (-4)/(-16). Let m(g) = -5*g - 7. Let f be m(-5). Let t = h + f. Is t a composite number?
True
Let p = 1358 + -460. Suppose -3*t = 4*w - p, 0 = 3*t + w - 778 - 117. Is t composite?
True
Suppose -2*u + 5*u - 630 = 0. Suppose -w - 233 = -2*c, 2*w - u = -5*c + 395. Is c a composite number?
True
Let n = -47 + 140. Is n composite?
True
Let k(z) = 8 - 3 + 3*z + 7. Let d be k(-9). Let w = d - -29. Is w prime?
False
Suppose -h - 1 = -4*t + 12, 4*t = 5*h + 1. Suppose -42 = -3*j - h. Suppose 2*y - j = 9. Is y composite?
False
Suppose 3*x = -2*l + 661, -2*x + l + 655 - 205 = 0. Is x a prime number?
True
Let o(x) = 5*x**2 + x - 7. Is o(4) composite?
True
Suppose 2*k + 3*k = -4*g + 6192, -4*g + 4*k + 6228 = 0. Is g a composite number?
False
Is (-1)/2 - (-63)/2 a prime number?
True
Suppose 0 = u + 5, -u + 1330 = -3*f + 8*f. Is f prime?
False
Let c(x) be the second derivative of -x**4/6 - x**3/6 - 5*x**2/2 + 3*x. Let f be c(-5). Let s = f + 129. Is s prime?
True
Suppose 4*n = 3*p - 2957, -2*p - 3960 = -6*p + n. Is p composite?
False
Suppose 3*z + y - 12 = 0, 0 = -5*z - 2*y + 10 + 11. Let o(n) = n**3 + 3*n**2 + 3*n - 4. Is o(z) a composite number?
False
Let p(k) = k**2 - 4*k + 3. Let q be p(3). Suppose m - 5*m + 1340 = q. Is m a composite number?
True
Suppose 4*f = w + 3*f - 990, -w + 3*f + 988 = 0. Is w a composite number?
False
Let h(l) = l**3 + 2*l**2 - 2. Let w be h(-2). Is w/(-12) - (-713)/6 composite?
True
Suppose g - 3*a = 1032 + 850, 0 = 3*g + 5*a - 5688. Is g a prime number?
False
Let w(m) = -30*m**3 + 4*m**2 + 5*m + 9. Is w(-4) a composite number?
False
Let o(a) = -2*a**2 - 6*a - 7. Let q be o(5). Suppose 128 = -u + 5*i - i, -5*u + 2*i - 694 = 0. Let y = q - u. Is y prime?
True
Let x = -381 - -880. Is x a prime number?
True
Let v = 23 + -8. Suppose 0 = 5*r - 0*r - v. Suppose 2*c - 67 = -r*x, -2*c + 114 = 4*x + 42. Is c composite?
True
Let s be (-1)/(-2) + 2484/(-8). Let r = -147 - s. Is r a composite number?
False
Is 4*-1*4565/(-44) composite?
True
Let s be 1 + 5 + -3 + -1. Is 31 + s + (-10)/(-5) a prime number?
False
Let z(g) = -4*g**3 + g**2 + 3*g + 2. Suppose 2*k - 4*m + 4 = -2*k, -k = 2*m + 7. Let l be z(k). Suppose 0*p = 2*p - l. Is p a prime number?
False
Suppose 159 = -0*q + q. Is q composite?
True
Is (1/(-1))/(13/(-7423)) a composite number?
False
Suppose -v + 47 = -z - 45, 3*v + 2*z = 286. Is v composite?
True
Let r = -23 - -40. Let g = 14 + r. Is g prime?
True
Suppose 4*j - 5*q - 39 = 0, 2*j - 18 = -q + 3*q. Let x be (-2)/j + 71/(-3). Let v = 35 + x. Is v a composite number?
False
Let r = 20 - 18. Suppose 0*y - 2*y + 784 = -r*n, -3*n = -2*y + 785. Is y prime?
False
Is (-1)/8 + 17170/16 prime?
False
Let w = -950 + -1178. Let i be ((-3)/2)/(7/w). Let h = i + -61. Is h prime?
False
Let h be (-1)/(-2) - 221/(-34). Suppose -2*d = -h + 3, 2*d - 648 = -4*y. Is y a prime number?
False
Let o be (-7058)/22 + 6/(-33). Is -3*(-2 + o/9) a composite number?
False
Let z(v) = -v**3 + 9*v**2 - 9*v + 12. Let q be z(8). Suppose q*h - 2*w - 2*w - 220 = 0, -2*w = 4. Is h a composite number?
False
Suppose 3*d + 10 = 2*i + 64, -2*d = 4*i - 20. Let q = 10 - d. Is ((-50)/4)/(3/q) a composite number?
True
Suppose 7*r - 2*r = 0. Let i be 93 + (4 + -3)*2. Suppose -5*c = -r*c - i. Is c a composite number?
False
Suppose -q - 6 = -3*j, -q - 18 = -6*q - j. Let c(k) = -k**2 + 5*k + 1. Let y be c(4). Suppose m = y*o - 22, q*m + 6*o = o + 34. Is m composite?
False
Let k(f) = -19*f**3 + f**2 + f. Let b be k(-1). Let l be 14 - (1 - (-1 - (-5 - -1))). Suppose -m + b = -l. Is m prime?
False
Suppose 4 = 4*l - 4. Suppose -8 = -2*k - l. Is (-122)/(-6) + 2/k a composite number?
True
Let t = -1264 + 1899. Is t a prime number?
False
Let y = 5246 + -3553. Is y prime?
True
Suppose -9*w + 7*w = -8. Suppose 324 = w*x - 56. Is x composite?
True
Suppose -2*b + 0*s + 384 = s, 0 = -4*b - 4*s + 772. Is b a composite number?
False
Suppose 3 = -u - 0. Let b be -2 + 1 - 9/u. Suppose -2*k + 2*w = -260, 0 = b*k - 0*k - 3*w - 263. Is k prime?
True
Suppose -3*l - 20 = -8*l. Suppose 0 = 3*i - l*i. Suppose -5*x = i, -o = 2*x - 90 + 21. Is o a prime number?
False
Let d(g) = g**3 + 3*g**2 + 8*g + 10. Let i(a) = -a**3 - 2*a**2 - 8*a - 11. Let v(s) = -5*d(s) - 4*i(s). Is v(-6) composite?
True
Is (-278)/4*(-6 - -4) prime?
True
Suppose 6 = -5*l + 4*i + 20, -15 = -5*l + 5*i. Is 133/(l + (-3 - -2)) prime?
False
Let f(l) = 391*l. Is f(1) a prime number?
False
Let n = -151 + 212. Suppose 3*i - 3*u - 138 = 6*i, n = -i - 4*u. Let s = -20 - i. Is s composite?
True
Let l be 1 + 1 + 1 + -1. Suppose -5*r + 3*o - 3 = -6*r, -5*r + 15 = -2*o. Suppose -l*i = 4*x + 2*i - 260, r*x + i = 203. Is x a composite number?
True
Suppose -4*y - 4*k + 46 + 170 = 0, 208 = 4*y - 4*k. Is y composite?
False
Suppose -s + 260 = 4*s. Let c = 219 + -84. Let l = c - s. Is l a composite number?
False
Suppose 5*n - 7712 = 3*z, 4*n + 2*z = 1847 + 4327. Is n prime?
True
Suppose 4*n = 1 + 411. Is n prime?
True
Let q(l) = l**3 + 2*l**2 + 4*l + 5. Let j be q(6). Let r = j + -