 prime number?
False
Let k(j) = 3*j + 6. Let n be k(8). Suppose 0 = 3*u - u - 10, i + 5*u - n = 0. Suppose q + 196 = 5*q - i*c, -3*q = -5*c - 147. Is q a prime number?
False
Let t be -1*(-2 + (-2 - -2)). Let k be -25*(t - (-2 + 5)). Let r = k - 15. Is r prime?
False
Let n be 5*-58 + 0 + -2. Is n/(-20) - (-4)/10 a composite number?
True
Let p be (74 + (-6)/(-2))/1. Let x = p + -40. Is x prime?
True
Let q(t) = -t + 51. Let i be q(0). Suppose 0*c - 3*c - 5*z + 82 = 0, 4*c - 5*z - i = 0. Is c composite?
False
Suppose -2*f - 11332 = -6*f - t, -8499 = -3*f - 3*t. Is f a composite number?
False
Suppose k + k + 3*n - 14 = 0, 5*n - 45 = -5*k. Suppose 0 = -0*b - b + k. Is b a composite number?
False
Let n be 1/(-1) - (-194)/2. Let i(l) = l + 2. Let y be i(2). Suppose -y*t - 20 = -n. Is t prime?
True
Is (130/(-14) - -9) + 11853/7 prime?
True
Let i = 22 - 16. Suppose 240 = i*m - m. Suppose -13 = p - m. Is p a prime number?
False
Let l = -5441 - -7774. Is l composite?
False
Let d(s) = s**3 + 6*s**2. Let k be d(-6). Suppose -z - 4 = -k. Let p(a) = a**2 + 2*a - 1. Is p(z) a prime number?
True
Suppose -4*x = 12, 0*x = -3*l + x + 9. Let i be l - 1 - 58/(-2). Suppose -y - i = -5*w, -2*y = -0*y. Is w composite?
True
Let n be (-2)/(-3)*(7 + -1). Suppose 2*m + n = 3*y, -y + m = -0*y. Suppose -y*x + 49 = -27. Is x a prime number?
True
Let o be (-20)/4*(-54)/10. Suppose 248 = -0*j + 4*j. Let u = o + j. Is u a prime number?
True
Suppose -5*q + 2*p = 31, -p - 10 = 4*p. Let o = q - -258. Is o prime?
True
Let b(f) = -13*f - 34. Is b(-20) prime?
False
Let g(o) = -7*o + 1. Let f be g(-4). Let s = 2 + f. Is s prime?
True
Suppose -6*d = -11*d + 1040. Let n = d + -14. Is n a prime number?
False
Suppose 281 = 5*q - 344. Suppose -15 = 3*a, -2*h + 2*a + q = -63. Is h a prime number?
True
Suppose 3*l + 16 = -y, 2*l - 4*l = -5*y + 5. Suppose 5*g = -k - 617, 365 = 2*g - 5*g + 2*k. Is g/(-4) - l/20 prime?
True
Is ((-2175)/(-9) - 2)*6 prime?
False
Suppose -5*f = -2*p - 25, -6*f + 3*p + 20 = -2*f. Suppose 0*r = f*r - 175. Is r a composite number?
True
Suppose -456 = -4*p + 52. Is p prime?
True
Is (-11)/77 - 7/(49/(-21078)) a prime number?
True
Let z(v) = -59*v**3 + v**2 - 1. Let t = -12 + 11. Is z(t) composite?
False
Suppose -v + 5*h = -33, 0 = -v - 0*h + 2*h + 21. Is v a composite number?
False
Suppose 0 = -6*n - 1834 + 5872. Is n prime?
True
Suppose 2*f = -3*f - 5*i + 85, -3*i = -15. Is f/(-18)*(-465)/2 prime?
False
Is (-8487)/(-3) + 0 + -2 composite?
True
Suppose 0 = 3*g + 3*b - 195, -4*b - 239 = -4*g + 21. Is g a prime number?
False
Let c(j) be the third derivative of j**5/60 - 7*j**4/12 + 2*j**3/3 - 5*j**2. Is c(15) a composite number?
False
Let m(y) = -y**3 + y**2 - y - 1. Let x be m(-1). Suppose 1 = -p - x*p - w, -4*w = 2*p - 6. Is ((-1)/2)/(p/74) a prime number?
True
Let t = 6 + -14. Let j(s) = s**2 + 5*s - 5. Is j(t) composite?
False
Suppose 0 = -4*w + 6574 - 2378. Is w a prime number?
True
Let s = 5 - 5. Let d be -100 + (0 - s)/2. Let h = d + 239. Is h composite?
False
Let g(n) = 386*n**2 + 4*n - 4. Let b be g(2). Is b/8 + 3/6 a composite number?
True
Let n(w) = -3*w + 6. Let k be n(4). Let b be (-550)/k - (-2)/6. Let q = b + -13. Is q a prime number?
True
Let d be (-1283)/(-4) - 7/(-28). Let i = -154 + d. Is i a prime number?
True
Let m = -246 - -359. Is m prime?
True
Suppose 5*c + 5*a = 40, -c = -6*c - a + 44. Let m be -3*1*(-222)/c. Suppose 3*o - m = o. Is o composite?
False
Suppose -20 - 6 = -c. Suppose g - c = 185. Is g composite?
False
Let z be (-23)/3 - 2/6. Let i be 84 + ((-2)/1)/(-2). Let h = z + i. Is h a composite number?
True
Let r = 299 - 174. Suppose 5*k - 10 = 0, -a - 5*k + r = -0*k. Is a a prime number?
False
Let i(p) = p**3 + 4*p**2 - 2*p - 4. Let b be i(-4). Is ((-4)/3)/(b/(-42)) composite?
True
Let c be 35/14*12/10. Suppose -5*h - 5*t - 55 = 0, -3*h - 5*t + 10 = 45. Let r = c - h. Is r prime?
True
Suppose 0 = -2*m + 3433 - 315. Is m a prime number?
True
Let i(z) = -z**3 + 4*z**2 + 7*z - 1. Let m be i(5). Let n(f) = -7 + f**2 - 6 + 2 + f. Is n(m) prime?
True
Suppose p - 4*p - 482 = -n, -3*n = -3*p - 1428. Is n prime?
False
Is 9/((-27)/(-8690)) - (-1)/3 prime?
True
Suppose -3*m = -t + 53 - 250, m + 5*t = 87. Suppose -2*r + 31 = -m. Is r prime?
False
Let l = 9 - 7. Suppose 7 = l*j - 0*a + a, 3*a + 45 = 5*j. Is j a prime number?
False
Suppose 32*u - 25*u - 2954 = 0. Is u prime?
False
Let h(n) be the third derivative of -n**2 - 1/3*n**3 + 0 - 43/24*n**4 + 0*n. Is h(-3) prime?
True
Let h = 2378 + -849. Suppose -a + 618 = 2*c + a, -5*c - a + h = 0. Is c composite?
True
Let w = -5 + 10. Suppose 3*c + 2*c + 5*o - 1585 = 0, w*o = -10. Is c a prime number?
False
Is 6/4*(-9070)/(-15) a prime number?
True
Let n = -351 - -518. Is n a composite number?
False
Let v = -3238 + 5139. Is v a prime number?
True
Suppose -5*b + 3*b = -4. Let w(t) = -t**3 - t**2 + 4*t - 1. Let o be w(-3). Suppose -2*z = -o*k - 0*z + 249, -b*k = -2*z - 102. Is k a composite number?
True
Let v(f) = 31*f + 8. Let j be v(3). Is (j + 5)*1/2 composite?
False
Let n(k) be the second derivative of k**4/4 - k**3/3 - k**2 + k. Let i be 5 - (1 - (-6)/3). Is n(i) a prime number?
False
Let r be (19/(-4))/((-2)/8). Suppose r = -0*f + f. Is f prime?
True
Suppose 7 = -4*k + 31. Let n(d) = 10*d**2 + 3*d + 1. Is n(k) a composite number?
False
Let t(o) = -o**2 + 5*o. Let u be t(4). Suppose -4*d = 2*y + 5 - 1, -u*d = -4. Let k(l) = -2*l**3 + l**2 + 2*l - 3. Is k(y) a prime number?
False
Is 7/((-4)/(84/(-3))) a prime number?
False
Suppose -q + 2*i = -4*q + 749, 4*q = 3*i + 1027. Is q prime?
False
Suppose -4*g + 0*g = 2*m - 142, -m + 170 = 5*g. Is g a composite number?
True
Suppose -9 = 3*w - 3*m, -5*m - 12 = -m. Let t(p) = -p - 8. Let l be t(w). Is l + -3 + 0 + 418 a prime number?
False
Let k(u) = -7*u. Let t(p) = -4*p. Let i(z) = -3*k(z) + 5*t(z). Let l be i(-3). Is 113 - ((-2 - l) + -1) a prime number?
True
Let y(l) = 349*l - 16. Is y(3) a prime number?
True
Let q(x) = -89*x + 3. Let t be q(-3). Suppose 3*s = -3*k + t, -2*s = k + 2*k - 267. Is k a prime number?
False
Let g(o) = 2*o**3 - 6 - 3*o**3 + 3*o**2 + 5*o**2. Let j be g(9). Let f = -20 - j. Is f a composite number?
False
Let g = -43 - -80. Is g prime?
True
Suppose -2*y = 2*o + 3*y - 127, -4*y = -20. Is o a composite number?
True
Let o = -4 - 2. Let s(g) = g**3 + 7*g**2 + 6*g. Let p be s(o). Suppose 267 = 3*f - m - 0*m, -4*m = p. Is f a prime number?
True
Let d be (2 + -868)/(-2) - 2. Let c = d + -308. Is c a prime number?
False
Let a(i) = i + 7. Let t = 3 + -10. Let k be a(t). Suppose k*g + 254 = 2*g. Is g a composite number?
False
Let o(j) = 2 + 5 - 3*j - 12. Is o(-4) prime?
True
Let q = 8 + -4. Suppose 174 = q*x - x. Let i = x - 23. Is i composite?
True
Let d = 1 - -1. Suppose -d*t - t = -15. Suppose 123 = 3*j - t*a, j + 2*a + a = 55. Is j composite?
True
Let l(y) = -6*y - 4*y - 3*y - 9 + 3. Is l(-5) prime?
True
Suppose 9 - 54 = 3*a. Suppose 5*i - 2*l = 80, 2*l = -4*i - 0*i + 64. Let g = i - a. Is g a composite number?
False
Let t be ((-28)/(-8) + -2)*-4. Let q = t + 25. Is q prime?
True
Let y = 3554 - 411. Is y a prime number?
False
Suppose -18 = 3*q + 12. Is -2*(-5)/(q/(-79)) a composite number?
False
Is 1 - 30*(0 + -1) a prime number?
True
Let o be (278/(-4))/(3/6). Let m = 15 - o. Suppose -4*h + 118 = -2*s - 92, -5*s - m = -3*h. Is h a prime number?
True
Let b = -411 - -610. Is b a composite number?
False
Suppose 58 = 5*c + 3*m - 35, -m + 38 = 2*c. Let p = -32 + c. Let j = p - -64. Is j a composite number?
False
Let y = 795 + 208. Is y a prime number?
False
Let f be (-3)/((-9)/6) - -10. Suppose -1 = -5*y + 4. Is 78/f + y/(-2) a composite number?
True
Suppose 207 = m - 5*q, -10*m = -9*m + 3*q - 199. Is m prime?
False
Suppose h + 2*d = 413, 2945 - 924 = 5*h - d. Let f = 590 - h. Is f composite?
True
Let r = 8 + -4. Suppose y + r*v - 126 = -y, 6 = 3*v. Is y composite?
False
Let l(p) be the first derivative of 72*p**2 + 3*p + 6. Is l(2) a prime number?
False
Suppose -3 = t, 3*l - t = 3 + 3. Is (l/2)/(4/72) composite?
True
Let x = 41 + -21. Let l(f) = 4*f + 5. Let q be l(-4). Let m = x + q. Is m a prime number?
False
Is (204/(-24))/((-1)/26) a composite number?
True
Let u = -7 + 12. Suppose 5*p + 4*n = -2804, -4*n - 2836 = u*p - 8*n. Is (-6)/(-15) + p/