composite number?
False
Let l(f) = -f**2 + 10*f - 3. Let z(s) be the second derivative of 7*s**4/12 + s**3/6 - 2*s. Let c be z(1). Is l(c) composite?
False
Let b(s) = 1362*s**3 - s**2 - 2*s + 2. Is b(1) prime?
True
Let x be (-1)/2*(-12)/(-3). Is (91/x)/((-4)/8) a composite number?
True
Let b be 1 + (0 + 19)*3. Suppose -2*h - 725 = -5*p + 112, 3*p - 4*h - 505 = 0. Suppose -p = -d - 4*d - 3*y, -2*d + b = -y. Is d a prime number?
True
Let k be (0 - (0 - -2))*-3. Let l(q) = -6 + k + q + 4. Is l(0) prime?
False
Let g = -97 - -170. Let v = g - 47. Is v a prime number?
False
Let s = 1 + -1. Suppose s = -2*t - t. Suppose 5*y - 71 - 24 = t. Is y prime?
True
Let p = 7 - 3. Suppose -129 = -p*x + 83. Is x prime?
True
Let b(r) = -r + 328. Let x be b(0). Suppose -x = -2*g + 2*s, -641 = -4*g - 2*s + s. Is g a prime number?
False
Suppose -x + 2*x - 521 = 0. Is x composite?
False
Let l(s) = s**3 + 8*s**2 + 6*s - 1. Let f be l(-7). Suppose -z - 3065 = -f*z. Is z composite?
False
Let k = -26 - -45. Is k prime?
True
Suppose 4*z + 5*u - 3188 = 0, 3*u = 8*u. Is z a prime number?
True
Suppose -2 = -l - 0. Suppose -l*b + 5*v = -2, -v - 26 = 4*b - 8. Is (-1)/2*2*b composite?
True
Suppose 2*r - 2*g = 202, -g + 185 + 20 = 2*r. Let q = r - 25. Is q prime?
False
Suppose 3*y + 1 - 6 = 2*c, -18 = -4*y - 3*c. Suppose 2*n = 5*j + 1, 2*j + 3 = n + 2. Let v = y + n. Is v composite?
True
Suppose -1053 = 5*g - 10168. Is g composite?
False
Let f = 24 + -7. Let r = f + 8. Is r a prime number?
False
Let p(n) = 4*n**2 + 9. Let i(d) = d**3 - 5. Let k be i(0). Is p(k) a composite number?
False
Suppose 0 = 5*c - 3*c + 364. Let u = c + 593. Is u a composite number?
True
Suppose 3*s = -4 - 2. Let j(a) = a**3 - 3*a**2 + 2*a - 4. Let d be j(3). Is 20 - d - (s + 1) composite?
False
Suppose -4*q - 2*o = -5*q - 10, 3*q - 2*o = -14. Is 789/2*q/(-3) a prime number?
True
Suppose 2*h = -2*h + 36. Let u be 4/(-18) - 20/(-9). Suppose -u*a + h = -13. Is a prime?
True
Suppose 2*j - 3*u - 48 = -j, 4*j + 2*u - 52 = 0. Suppose -5*f - 21 = j. Let s(b) = -b + 4. Is s(f) a composite number?
False
Let z be (-4)/(0 - (4 - 2)). Suppose f + 30 = z*f. Suppose 7 = -q + f. Is q a composite number?
False
Let z be ((-54)/1)/(-1) + -1. Suppose -2*c + 3*c = z. Is c a prime number?
True
Let a(g) = 1213*g. Is a(1) composite?
False
Suppose 3*d - 748 = -j, -5*d + 0*d + 2240 = 3*j. Suppose 2*z + 3*z - j = 0. Is z a prime number?
True
Suppose 20*j - 27460 = -0*j. Is j a prime number?
True
Let v = 0 + 5. Let u = -2 + v. Is u a composite number?
False
Is ((-854)/(-48) - 2/16)*3 composite?
False
Suppose 0 = -7*x + 4*x + 4917. Is x composite?
True
Let t(i) = -i**3 + 3*i**2 - i. Suppose 2*x - 2 = 2. Let h be t(x). Suppose h*g - 3*g + 6 = 0. Is g a composite number?
True
Let m(k) = -4*k + 6. Suppose -a + n = 2 + 1, a + 2*n = -9. Is m(a) prime?
False
Let r = -952 - -1967. Suppose -35*f = -30*f - r. Is f a prime number?
False
Suppose 3*f + 37 = -4*i, -3*i = -3*f - 4*i - 25. Let l = 6 - 4. Is l/f - (-535)/35 a prime number?
False
Suppose 0*o + 129 = o + 5*m, -5*m + 561 = 4*o. Suppose -2*h + 6 = 0, 2*h = 4*b - o + 18. Is b composite?
True
Let g be (-3)/(-6)*1*24. Let b = g + 199. Is b prime?
True
Let z = 6 - 6. Suppose 2*t - t - 115 = z. Is t a prime number?
False
Is 1*(-2 - -2)*-1 + 631 a composite number?
False
Suppose -g = 2*g - 12. Suppose -2*y + g*i + 174 = 0, 2*y - 85 - 49 = -4*i. Is y a composite number?
True
Suppose 0*j - 3*d = -5*j + 21, 0 = -j + 2*d. Let x be (-2)/(-4) + (-57)/j. Let v = 1 - x. Is v a prime number?
False
Let v(x) = -x + 1. Suppose -4*r + 3*c + 6 = 0, 5*r + 0*c = -c + 17. Let l be v(r). Is (-3)/((-12)/(-106))*l composite?
False
Suppose 4*o = -o + 355. Suppose 0 = 3*v + 4*w - 67, 3*v - o - 14 = 5*w. Suppose -5*y = -120 + v. Is y composite?
False
Suppose 11*u = 16*u. Suppose u*p = -2*p + 268. Is p a prime number?
False
Let u(d) = d**3 + 7*d**2 - 7*d + 4. Let y be 0*(1 + 3/(-2)). Suppose -p - v + 19 = -3*p, y = 2*p + v + 9. Is u(p) prime?
True
Let j = 75 + -19. Let f = j - 33. Is f a prime number?
True
Suppose 2*q = 3*b - 225, -4*b + 2*q - 237 = -7*b. Is b composite?
True
Suppose -k - 3*n - 24 = -5*k, -4*k = -2*n - 28. Suppose 2*l - k - 38 = -o, -2*o + 108 = -3*l. Is o composite?
True
Suppose 0 = -0*v + 2*v + 10. Let q(s) = 7*s**2 + s**3 + 9*s - 2*s + 61 - 61. Is q(v) composite?
True
Let n(z) = -12*z**3 - 4*z**2 - 3*z - 4. Is n(-5) composite?
True
Suppose 0*w + 3*k + 1435 = 4*w, -2*k = -3*w + 1076. Suppose 447 = 5*z - w. Is z a composite number?
True
Suppose 12 = 3*d - 0*d. Suppose 3*q = -2*k - 297 + 1093, 0 = -d*q + 8. Is k a prime number?
False
Let h = 10377 - 7358. Is h a composite number?
False
Let j = 4 - 2. Suppose 17 = m - 3*h, -3*h - 21 = j*m + 2*h. Suppose 3*k - m*r - 70 + 9 = 0, -3*k = -5*r - 67. Is k a prime number?
True
Let v be (-32)/6 - (-2)/6. Let t(b) be the second derivative of -b**5/20 - b**4/12 + 2*b**3/3 - b**2/2 + 28*b. Is t(v) a prime number?
True
Suppose 2*y - 6*y = 0. Suppose 3*w - 2*b = -y*b + 70, 4*w - 90 = b. Is (21/14)/(1/w) prime?
False
Suppose -4*r + 3619 = 3*p, -5*r - 12*p + 4532 = -11*p. Is r prime?
True
Is (-7 + 3302)*((-6)/10)/(-1) composite?
True
Let t be 4/(-6) + (-224)/(-3). Suppose -3*k + 124 = -t. Let n = k + -45. Is n composite?
True
Suppose -3*c + 3*p + 167 = -2*c, -2*c = 2*p - 334. Let z = -88 + c. Is z composite?
False
Let q(h) = -h + 8. Let n be q(8). Suppose -526 = -5*y - p - 153, 5*y - 4*p - 358 = n. Is y prime?
False
Let i(d) = -d**3 - d**3 + 0*d**3 - 10*d - 17 + 4 - 13*d**2. Is i(-10) a prime number?
True
Is 21/(-14)*(-80 - 2) composite?
True
Let g(d) = -d - 9. Let f be g(-12). Suppose f*o + r - 1158 = -2*r, 1569 = 4*o - r. Is o a composite number?
True
Let o be (-144)/(-3) - 0 - -2. Let j = 135 - o. Is j a composite number?
True
Suppose -f = 3*i - 15, i = 2*f - i + 10. Suppose -5*j + 5*l + 255 = 0, -j + 0*l - 4*l + 26 = f. Is j prime?
False
Suppose p - h - h = 1649, 0 = -p + 5*h + 1646. Is p a prime number?
False
Suppose -5*g = -10*g + 190. Suppose -g = -3*u + u. Is u a composite number?
False
Let k(q) = -2*q. Let h be k(1). Let l be 2/(-4) - (-1)/h. Is 117 + 1 + (-1)/l prime?
False
Let m(h) = -9*h**3 - 5*h - 2. Let c be m(-3). Suppose -226 = -4*y - 5*b + c, -y + 119 = 2*b. Is y a composite number?
True
Is 10/(-165)*-14226 - 6/33 composite?
True
Let t(f) = -f**3 + 12*f**2 - 12*f + 7. Is t(8) composite?
False
Suppose 8*i - 1772 = 4*i. Is i a prime number?
True
Let q be 3/(2 + 22/(-14)). Let j(l) = l**3 - 7*l**2 + 4*l - 2. Is j(q) prime?
False
Let u be 74/14 - 6/21. Suppose 0 = -3*r + 5*b - 23, 0 = 3*r - b + u*b + 14. Is (105/r)/(2/(-4)) a composite number?
True
Suppose 4*v - 19 = 21. Suppose 5*s - v = 275. Is s a composite number?
True
Let n(z) = -z**3 - 10*z**2 - 16*z + 5. Let x be n(-11). Suppose 3*v = x + 79. Is v a composite number?
False
Let m(l) = -26*l - 14. Is m(-12) composite?
True
Suppose -5*c + 48 = -27. Suppose 3*d + 2*d + 495 = 4*v, -3*v = -c. Is (d/4)/((-1)/4) prime?
False
Let z = -1828 - -3239. Is z composite?
True
Let y(d) = -96*d**3 - d**2 + 1. Let h be y(-1). Let n = -65 + h. Is n prime?
True
Is (-1084424)/(-104) + (-6)/39 composite?
False
Is (10/8)/(2/296) composite?
True
Suppose -666 = -x - 265. Let r = x + 306. Is r a prime number?
False
Let f(r) = 4*r**2 - 7. Let j be f(9). Suppose -z = -u + j, u + z - 93 = 224. Is u prime?
True
Let d(u) = -u**3 - 2*u**2 + 5*u + 6. Let v be d(-4). Suppose -3*m - 5*l = -v - 19, 2*m + 12 = 4*l. Suppose 5*p + 4*k - 1255 = 0, -4*k = -m - 16. Is p composite?
True
Let d(w) = 2*w**2 + 6*w + 8. Let z(s) = -s**3 + 4*s**2 + 13*s + 17. Let f(j) = -5*d(j) + 2*z(j). Is f(-4) a composite number?
True
Suppose -5*t - 4*q + 32 = 0, t + t - 17 = -3*q. Suppose t*c - 101 = 735. Is c prime?
False
Is 15/135 - 6866/(-9) composite?
True
Suppose -13*y - 1137 = -14*y. Is y a prime number?
False
Let v(a) = -a. Let c(t) be the second derivative of 2*t**3/3 + t**2/2 + t. Let d(z) = -c(z) + v(z). Is d(-4) prime?
True
Suppose -2*q - 3*q + 2035 = 0. Is q composite?
True
Let g = -7 + 13. Suppose b + 230 = g*b. Suppose b = l + l. Is l a composite number?
False
Let u = 3 + 2. Let h = 3 + 2. Suppose 4*w - h*y = u*w, y - 20 = -w. Is w a prime number?
False
Suppose 3*h + 10 = -17. Let j = h + 3. Let w = j + 19. Is w a prime number?
True
Let 