Suppose -10*k + 12*k - n = 0. Is k prime?
False
Let l be (3 - 0) + (-18)/2. Let u = -3 + 0. Is -38*u/l*-1 prime?
True
Let c = 3568 + 3315. Is c prime?
True
Let y(w) = -w**3 + 16*w**2 + 3*w + 6. Let c be y(14). Suppose -j + 69 = -4*l, 0*j - c = -5*j + l. Let f = j + 162. Is f a composite number?
False
Let t = 86 + -49. Is t a composite number?
False
Suppose 7045 = 3*k - 8846. Is k prime?
True
Let w(r) = -r**2. Let d be w(2). Let g = d + 8. Suppose -230 = -0*v - g*v + 2*t, 192 = 3*v + 5*t. Is v a composite number?
False
Let x(q) = -5*q**2 - 4*q - 13. Let o(s) = 9*s**2 + 8*s + 25. Let f(p) = 6*o(p) + 11*x(p). Is f(4) prime?
True
Suppose 0 = -5*w - c + 145613, -5*w - 4*c = c - 145605. Is w composite?
False
Let d(q) = 4*q + 17. Let s be d(-5). Let v(l) = l + 8. Let i be v(s). Suppose 5*j - u = 3*u + 50, 0 = i*j + 5*u - 5. Is j a prime number?
False
Let d(q) = -125*q + 17. Suppose 3 + 14 = -4*z - c, 0 = -3*z - 5*c - 17. Is d(z) a prime number?
False
Suppose -4*g = -2*g - 16. Suppose g*j + 69 = 5053. Is j a prime number?
False
Suppose -89*t + 63835 = -187768. Is t a prime number?
False
Let k(r) = 11*r**2 + 2*r - 7. Let h(s) = -s**2 + 5*s + 8. Let q be h(5). Suppose 5*i = -2*j + q + 2, 5*j = i - 29. Is k(i) a prime number?
False
Let u = -6454 - -14866. Suppose -2*y + u = r + 528, y - 2*r = 3947. Is y prime?
True
Let j be 101019/45 + (-6)/(-45). Suppose 0 = 2*v + 3*b - j, -3*v = -0*v - b - 3340. Is v a prime number?
False
Suppose 0 = 2*f + 5*q + 1925, 1548 + 2372 = -4*f + 4*q. Let s = -326 - f. Is s prime?
False
Suppose 3*t - 1854 = 3*r + 2*r, -3090 = -5*t - 5*r. Suppose 0 = -3*b - 9, -2*v - v + 5*b + t = 0. Is v composite?
True
Suppose 13 = 5*h - 7. Is (h + -27)/((-2)/58) a composite number?
True
Suppose -90*w + 94*w - 10600 = 0. Let o = 4635 - w. Is o a prime number?
False
Let s = 9715 - 168. Is s prime?
True
Suppose 3*u - 4128 - 1386 = -5*j, -5*u = 3*j - 3302. Let k = j + -751. Is k prime?
True
Let h be 305 - (-8)/(-20)*5. Let y = -479 + h. Let w = 423 + y. Is w a prime number?
False
Let o be (3 - 3) + 4/(-1). Let j be (-6)/o - 2/(-4). Suppose -j*f + 0*f = -238. Is f composite?
True
Suppose 32*h - 5784 = 20*h. Let j = -651 + 246. Let r = h - j. Is r a composite number?
False
Suppose 8*u - 2*z - 19659 = 7*u, -5*z + 98310 = 5*u. Is u a composite number?
False
Suppose 0 = 14*m - 11*m + 30. Is (m + -201)/(0 - 1) a prime number?
True
Let h(j) = 5*j**2 - 10*j + 13. Let u be h(14). Suppose -u = -42*g + 41*g. Is g composite?
False
Let q(c) = -2*c**2 + 8*c - 7. Let w(a) = -a**2 + 8*a - 7. Let s(h) = 6*q(h) - 5*w(h). Let f(t) = 6*t**2 - 7*t + 7. Let p(g) = 5*f(g) + 4*s(g). Is p(-6) prime?
True
Let c(v) = -433*v + 35. Is c(-6) a composite number?
False
Let w(g) = g**2 - 22. Let f be w(-5). Suppose -2*d - f*i = 1138 - 4928, d + 2*i - 1893 = 0. Is d composite?
False
Suppose 2*o - 3*o = -4*l - 20863, 4*o - 5*l - 83452 = 0. Is o a prime number?
False
Let c = -25 - -32. Let m(l) = 7*l**2 - 15*l + 13. Is m(c) composite?
False
Let q = -21 + 55. Suppose q*h = 31*h + 1398. Is h a prime number?
False
Let o be (44 - -1)/(2/14). Suppose 3*x - 1419 = -3*q, -5*q + 4*q = 3*x - 463. Suppose -q = -p + o. Is p prime?
False
Suppose -37 = -3*x + 4*w + w, 3*w = -5*x + 5. Let q be 1*(x - (1 + -2)). Let d = 29 + q. Is d a composite number?
True
Let i(k) = -k**3 - 8*k**2 + 21*k - 31. Is i(-12) a prime number?
True
Is (-175755)/(-225) + 4/(-30) a prime number?
False
Let z = 44 - 202. Let m = z - -231. Suppose -2*w + 197 = m. Is w composite?
True
Let o be (1 + 7/(-3))*-15. Suppose -2*j + 32 = -o. Is j composite?
True
Suppose 2*r - 5123 = 4379. Is r a prime number?
True
Suppose -4*i + 19 + 1 = 0. Let t = 1 + i. Suppose -t*r = -3*r - 879. Is r prime?
True
Is (-1 - 1071178/(-26)) + 48/(-312) a composite number?
True
Is 19066*6/96*8 composite?
False
Let g = 1147 + -712. Let j(f) = -f**2 + 14*f - 18. Let q be j(12). Suppose -3*y - g = -q*y. Is y a prime number?
False
Let x(p) = p**2 + 2*p - 10. Let d be x(3). Suppose -3*a - d*m = -642 - 1780, -2*m = 2. Is a a composite number?
False
Suppose -6*w + 64622 = -72604. Is w a composite number?
False
Suppose 0 = 11*v + 10*v. Let y = 3572 + -2002. Suppose v = 3*u - 8*u + y. Is u a composite number?
True
Let g = -487 - -923. Suppose y - u = 115, -5*y + g = -4*u - 143. Is y composite?
True
Let m be (-38 - 2)/(6/(-183)). Suppose -2*g = -5*p + 2037, 2*p = -p - g + m. Is p a composite number?
True
Suppose 13*f = 41839 + 13047. Is f prime?
False
Let s(h) = 111*h**2 + 9*h - 104. Is s(6) prime?
False
Let d(f) = -27*f**3 + f**2 + 3*f - 2. Is d(-3) composite?
False
Suppose 4 = -3*p - 14. Let y(b) = -b**3 - 5*b**2 + 6*b - 5. Let u be y(p). Let x(s) = -18*s + 7. Is x(u) a composite number?
False
Suppose -3*n + 231 = -219. Suppose 2*d + b - 282 = 5*b, -4*d + 586 = 3*b. Let a = d + n. Is a a composite number?
True
Let d(c) = 62*c**2 + 57*c - 63*c + 11 - 2. Let j(z) = z**3 + 3*z**2 - z + 1. Let p be j(-3). Is d(p) a composite number?
False
Let j = -23553 - -40150. Is j a composite number?
True
Suppose 0 = 175*o - 174*o - 40. Suppose 3*w = -q - 0*q + 3, 0 = 3*q. Let a = o - w. Is a prime?
False
Let c(t) = t - 5. Let b be c(4). Let l be (b/((-3)/(-63)))/1. Is (-4690)/l + (-1)/3 composite?
False
Suppose -a + 57 = -2*d, a + d = 73 - 19. Is a a composite number?
True
Suppose 0 = -8*c + 12*c - 23676. Let h = c + -3738. Is h composite?
True
Let y(t) = 363*t**3 - 5*t**2 - 2*t - 3. Is y(4) a prime number?
False
Let j = 25 + -26. Is -3 + 674 + (1 - j) a prime number?
True
Let g = 126 + -71. Suppose -787 = -4*b + 3*p, -3*p + 352 = 2*b - g. Is b prime?
True
Let j(p) = 187*p**2 + 32*p + 8. Is j(-9) a prime number?
True
Suppose 2*y = 4*j - 2*j + 2802, -5592 = -4*y - 2*j. Is y a composite number?
False
Let f be 85/2*(-84)/70 - -2. Let j be 2/4 - 67/(-2). Let m = j - f. Is m a prime number?
True
Suppose 5*a = 4*a - 99. Is (11/(a/(-6)))/((-2)/(-2271)) a prime number?
True
Suppose 4*o + 7038 - 33130 = -2*p, -2*o + p = -13038. Is o prime?
True
Let s(k) = -5*k + 9. Let w be s(-3). Is (-3584)/(-3) + 8/w a composite number?
True
Let k(v) = 10*v**2 + 32*v - 13. Is k(-12) composite?
True
Let b = 384 + -220. Let y = b + -108. Suppose -4*w + 36 = 4*k - y, 4*k = 4. Is w a prime number?
False
Let s(a) be the second derivative of a**5/12 - 7*a**4/24 + 7*a**3/6 + 3*a**2/2 - 5*a. Let j(h) be the first derivative of s(h). Is j(6) composite?
True
Is (-5534)/((6 - -1) + -9) a composite number?
False
Let j(u) = u**2 - 14*u - 4. Let o be j(14). Let y(a) = -9*a**3 - 6*a**2 - a - 2. Is y(o) prime?
False
Suppose -50 = 6*l - l. Let k be 138/4 + 1/(-2). Is (0 - k)*l/4 composite?
True
Let a = -2863 + 11126. Is a prime?
True
Let r be (-1)/((6/(-4))/3). Suppose q = -r*q + 438. Suppose -4*i + 6*l = 4*l - 150, -q = -4*i - 2*l. Is i a composite number?
False
Let x(s) = 3*s**3 + 4*s**2 - s - 12. Let v(k) = 2*k**3 + 3*k**2 - k - 11. Let g(w) = 5*v(w) - 4*x(w). Let b be 12*((-10)/4 + 2). Is g(b) a prime number?
False
Let x = -6859 + 9794. Suppose -41*i + 36*i + x = 0. Is i composite?
False
Let n(h) = -63*h + 3. Let l be n(-6). Let i be (1 - 4)*1 - -3. Is l*((-3)/(-9) - i) a prime number?
True
Let v = 3529 - -3540. Is v composite?
False
Let m be ((-2850)/(-9))/((-2)/(-6)). Let l = -507 + m. Is l composite?
False
Suppose -v + 4*g = v + 16, -v - 3*g + 17 = 0. Let d(i) be the first derivative of 10*i**4 + i**3/3 - i**2 + 3*i - 15. Is d(v) prime?
False
Let u be 7432/72 - 4/18. Suppose 4*a + 2*p = 102, -2*a - 2*a - p + u = 0. Is a a composite number?
True
Let f(k) = 361*k + 1. Let x(t) = t. Let n(w) = f(w) - 2*x(w). Is n(2) prime?
True
Let h(f) = -f**3 - 2*f**2 - 2*f + 9961. Is h(0) prime?
False
Suppose 5*b - 18 - 7 = 0. Suppose 3*t + 7*w = 4*w - 255, w = -b*t - 425. Let o = 76 - t. Is o a composite number?
True
Let u be -1 - 3*5/15. Is u*((-323)/2 + 3) a prime number?
True
Suppose -4*u - 6 + 18 = 0. Suppose u*z - 4*z = -327. Is z prime?
False
Let p(q) = 824*q**3 - 2*q**2 + 2*q + 1 - 419*q**3 - 438*q**3. Suppose 0 = 5*c - 4*g - 10, -42 + 7 = 5*c + 5*g. Is p(c) prime?
False
Let u be (0/((-6)/(-2)))/2. Suppose -5*x + u*x = 15. Is (4396/(-6))/(2/x) prime?
False
Suppose j = 1 + 1, -4*n = -3*j + 222. Is 6/(-27) + (-37974)/n composite?
True
Let b(g) = 8*g**2 - g + 6. Suppose -29 = j + 4*j - 4*q, -3*j - 20 = -5*q. Is b(