p prime?
True
Let d(r) = 252*r - 115. Is d(5) a composite number?
True
Let o(z) = z**3 + 12*z**2 + 13*z - 3. Let v be o(-11). Let g(l) = -l**3 - 5*l**2 + 5*l + 15. Let w be g(-7). Let s = v + w. Is s a composite number?
False
Let u(h) = -h - 19. Let l be u(-5). Let f(p) = p**3 + 15*p**2 - 10*p - 17. Is f(l) a prime number?
False
Let h(p) = 84*p**2 + 24*p + 1. Is h(-6) a composite number?
True
Let k(m) be the second derivative of -m**5/10 - 11*m**4/12 - 2*m**3 + 2*m**2 - 9*m. Is k(-7) a prime number?
False
Let g(v) = 209*v. Let r be g(1). Let f = 264 - 134. Let y = r - f. Is y a prime number?
True
Suppose 5*o - 5 = 3*v, -2*o - 4*v - 14 = -2*v. Is 6 + o + (1405 - 0) prime?
True
Suppose k - 4*n + 12 = 0, 5*k + 10 + 26 = -4*n. Is -3 - (4/k)/((-2)/(-5632)) a prime number?
False
Is (1/3)/(10/204090) a prime number?
True
Suppose -3*y - 4*p + 8830 = 0, -3*y + 5*p + 2918 = -2*y. Suppose 4*b - 2*b = y. Is b a prime number?
False
Suppose -4*s + 4168 = -2*w, 5*w - s = -7421 - 3026. Let g = 3337 + w. Is g a prime number?
False
Let h = 1845 + -4819. Let p = h + 4227. Is p prime?
False
Let p(f) = 37*f**2 + 9*f - 24. Let r be p(11). Suppose r + 1572 = 4*z. Is z a prime number?
True
Suppose 5*s + 4*f = s + 28, -2*s - 10 = -4*f. Suppose 2*j + s*a = -2*a + 206, 0 = 3*a. Is j prime?
True
Let s(c) = -2*c - 9. Let t be s(-7). Suppose -w + 3 = -5*j, -2*j + t*j + 9 = 3*w. Suppose -w*o - 1228 = -7*o. Is o a composite number?
False
Suppose 6*k - 210 = 2496. Suppose -k + 4648 = 3*v. Is v prime?
True
Let f = 4 - -4. Suppose -2*z + 17 = 3. Suppose z*j - f*j + 166 = 0. Is j prime?
False
Let o(b) = -b**2 - 8*b - 7. Let f = -4 - 2. Let l be o(f). Suppose -2935 = -l*d - 5*c + c, -2*d + 5*c = -1174. Is d prime?
True
Is 2 + (556052/4)/(1 + 0) composite?
True
Let v = -5 - -19. Suppose 2*i - v = -0*i. Let l(q) = q**2 + q - 10. Is l(i) a prime number?
False
Suppose -4*v = -w - 18283, -4574 = 21*v - 22*v - 3*w. Is v composite?
True
Let j(w) = 0*w + w**3 + 8*w + 12 - 5*w**2 + 15*w**2. Let p be j(-10). Is 17*-3*p/12 a prime number?
False
Let u be 24/42*(-14)/(-4). Suppose 5*q + 3*y = 2*y - 2, 5*y - 17 = u*q. Is (-4109)/14*(q - 1) a prime number?
True
Is (3/36)/((-29)/(-2835156)) composite?
False
Let k(p) = -112*p + 19. Let m(f) = -56*f + 10. Let g(v) = 3*k(v) - 5*m(v). Is g(-2) a prime number?
False
Let v(i) be the second derivative of 1/2*i**2 - i**3 + 0 - 2*i. Is v(-2) a prime number?
True
Suppose 4*c - 15112 - 24084 = 0. Is c composite?
True
Suppose -3*z = 12, -3*z + 8*z = -l + 16541. Is l prime?
True
Suppose -4*w - w - 4*v - 16 = 0, 4*w = -v - 4. Suppose -o + 8*o - 8491 = w. Is o composite?
False
Let w(x) = 190*x + 3. Let p be w(4). Suppose 0 = 2*k + 233 - p. Suppose t = 6*t - k. Is t prime?
True
Suppose -3*w + 2*g + 9 = 0, -4*g = -2*w - 1 - 1. Suppose -w*k + 2*h + 3725 = 0, -k - h + 718 = 4*h. Is k prime?
True
Let f = -4848 + 16925. Is f composite?
True
Let k = -1379 + 2370. Suppose 6*t - 2533 = -k. Suppose -t = a - 790. Is a prime?
False
Suppose -4*d + 29048 = -4*f, -5*d = 4*f - 11746 - 24564. Is d a prime number?
False
Let o(a) = -a**2 - 2*a + 4. Let c be o(11). Let y = 264 - c. Is y a composite number?
True
Suppose 3*i - 3*m + 219 = -0*i, -3*m = -i - 69. Let q = i - -228. Suppose -5*p = -2*p - q. Is p composite?
True
Suppose 146 = 3*d + 614. Is ((-17)/(-2))/((-6)/d) composite?
True
Let i = 536 - -231. Is i a prime number?
False
Let v be (-86178)/(-102) + 6/51. Suppose -y + v = 184. Suppose 4*u + 258 = 2*a, 5*a + u - y = 3*u. Is a prime?
False
Let i be (-114)/30 - 4/(-5). Let r(d) = -987*d - 22. Is r(i) composite?
False
Let o = 11 + -35. Let s be (-88)/o - (-2)/6. Suppose -3*f + 5*z + 2528 = 0, s*f - 1233 - 2186 = -3*z. Is f a composite number?
True
Let i(u) = -86*u**3 + 7*u**2 - 5*u - 19. Is i(-6) composite?
False
Let i(u) = -2*u**2 - 2*u + 3151. Is i(0) composite?
True
Let q = 193 - -148. Is q a composite number?
True
Let f = -55031 + 87753. Is f composite?
True
Let q = 31563 + -5645. Is q a composite number?
True
Let i(b) = 31*b**2 - 71*b - 11. Is i(50) prime?
True
Suppose -2*u - 20 = 30. Let q be 2/(-5) + (-60)/u. Suppose 4*w + q*c - 344 = 4*c, 2*w - 5*c = 180. Is w prime?
False
Suppose 0 = -5*g + 4*r - 101, 3 = 4*r - 13. Let h = 25 + g. Is h/48 + 418/12 a prime number?
False
Let f be (-7)/(1/2*-2). Let s be (-3 + f/2)*4. Suppose -s*a + 668 + 78 = 0. Is a composite?
False
Let k(v) = 3*v**3 - 15*v**2 - 17*v + 20. Is k(15) composite?
True
Suppose -2245 = -17*c + 3382. Is c a prime number?
True
Let q = 117 - 55. Suppose 10*g - 9*g - q = 0. Is g a composite number?
True
Let n(z) = -5*z**3 + 7*z - 29. Is n(-15) composite?
False
Suppose -5*u + 21765 = k + 3216, 5*u - 18537 = 2*k. Is u prime?
True
Suppose 2*n = 5*z - 29, n + 4*n - 15 = 0. Suppose -z*c = -3463 - 3922. Is c a prime number?
False
Let v = -47 + 69. Suppose -4*q + v = 86. Let z = 23 + q. Is z composite?
False
Let w(y) = -y - 11. Let r be w(-15). Suppose p + u = 149, -289 = 2*p - r*p - 5*u. Suppose t + 4*n - 59 = 0, 2*t - p = n - 34. Is t a prime number?
True
Suppose -i + 3*i = 2*j - 2, 5*j - 21 = -3*i. Suppose k - 4*h - 14 = 0, j*h + 25 = 3*k + 1. Is k composite?
True
Let v = 1115 - -8591. Suppose -v = -15*n - 1681. Is n a composite number?
True
Suppose 4*o + 4*d = -d + 28, 0 = -4*o - d + 44. Suppose -4*h - o = -8*h, 3*k - 13194 = -2*h. Suppose 8*m = 4*m + k. Is m prime?
False
Let i(q) = -13*q**3 - 6*q**2 - 8*q - 2. Let j be 3 - 1*(-12)/(-2). Is i(j) prime?
False
Let x(k) = 4*k - 4*k - 2 - 2 - k. Let b be x(0). Is b/6 + (-520)/(-24) composite?
True
Let x(i) = 27*i**2 - 4*i - 5. Is x(-6) a prime number?
True
Suppose -2611 = -2*r - 5*q + 37046, -2*r + 39702 = -4*q. Is r a prime number?
True
Let c(o) = -o**3 + 9*o**2 + o - 9. Let i be c(9). Suppose -4*z = -b - i*b + 15, -z = -3*b + 1. Let x(v) = -2*v**3 - 5*v**2 - 2*v + 3. Is x(z) a prime number?
True
Suppose -2*f - 6 = -8. Let m(j) = 82*j**2 - j + 1. Is m(f) prime?
False
Let z = 6 - -5. Suppose -6*m + z*m = 30. Is m prime?
False
Let t = 7645 + -4262. Is t composite?
True
Is 1456696/102 - 1/3 a composite number?
False
Let w be 2/(-7) + 30/7. Let n be (-1)/w - (-15)/60. Suppose -3*l + 4*l - 43 = n. Is l composite?
False
Let b = 495 - -322. Is b composite?
True
Let h be (1 + -4*(-4)/48)*-3. Let r(l) = -97*l - 6. Is r(h) a prime number?
False
Let d be 584 - 0 - (1 + 3). Let w = -205 + d. Suppose -w - 37 = -4*u. Is u composite?
False
Is (-649026)/(-22) - 28/154 composite?
False
Is (84/(-16) - 2)/((-2)/5224) prime?
False
Let p(f) = 7*f**2 - 9*f + 17. Let r(c) = -c - 2. Let n be r(-5). Suppose -2*x = n*x - 40. Is p(x) a prime number?
False
Suppose 114*c + 284393 = 131*c. Is c composite?
False
Let a(n) = n**3 - 15*n**2 - 2*n + 22. Let t be a(15). Is t + 16/4 - -441 composite?
True
Let g = 48 - 46. Suppose -i = 5*w - 7770, 0*w - 4*i - 3086 = -g*w. Is w a prime number?
True
Suppose -4*b - 21 = 3*p, 5*b + p = 2*p - 50. Let t be -471 - (6 + b/3). Is (t/(-18))/(2/6) composite?
False
Suppose 5*j - 573 = -5*g + 42572, 0 = -4*g - 2*j + 34524. Is g a composite number?
True
Suppose i = 5 - 3. Suppose 5*z - 4147 - 1424 = -2*h, 2228 = i*z + h. Is z prime?
False
Let h be -3 - ((2 - 2) + 3). Let s be 16/h - (-16)/24. Let l(u) = -144*u - 1. Is l(s) a prime number?
False
Let x(s) = -s**3 + 12*s**2 + 13*s + 6. Let b be x(12). Let r be (b + 4)*(-3)/(-2). Suppose 0 = 2*a + h - 519, 5*h + 5 = a - r. Is a a prime number?
False
Let u(f) = -f**3 + 7*f**2 - 2*f. Let r be u(3). Let i(s) = -2*s - 8. Let t be i(-6). Suppose -2*j = -t*w - r, -3*j - 3*w = -49 - 14. Is j prime?
True
Suppose -210*b + 217*b - 6097 = 0. Is b a composite number?
True
Let a(c) = 139*c**2 + 13*c - 27. Let h be a(3). Is (-6 + 5)*4 + h/1 composite?
False
Let g(f) = 3*f**2 + f - 4 + 4*f**3 - 3*f**3 - 4*f. Let i be g(-3). Suppose -b + i = -9. Is b a prime number?
False
Suppose 0 = -0*z - 4*z + 1392. Suppose -4*i - z = -2*l, 3*i + 2*l - 3*l = -262. Let t = i - -165. Is t composite?
True
Suppose -5*j = 37*j - 312942. Is j a prime number?
True
Let j(m) = 119*m**2 - 3*m + 17. Is j(13) prime?
True
Let l = 1507 - -4116. Is l composite?
False
Let h be -57 + (-8)/(-2 + 6). Let g = h + -572. Let l = g + 1502. Is l composite?
True
Let l be 2337 + -1 - 4 - 2. Suppose 5*c = 5*a + l, -3*c + 2*a = 3*a - 1410. Is c a composite number?
True
Is 