5)) a prime number?
True
Let w = -132 - -309. Let l(h) = -h**3 + 14*h**2 + 5. Let a be l(14). Suppose 4*r = a*r - w. Is r prime?
False
Suppose 17*l - 1268 - 891 = 0. Is l a composite number?
False
Let l(y) = 121*y + 197. Is l(50) prime?
True
Let o(t) = 4*t**2 + 93*t - 161. Is o(-54) a composite number?
False
Let c(d) = d**2 - 9*d + 2. Let l be c(9). Let k be (-4)/3*(-3)/l. Suppose 13 = n - k*a, -2*a + 4*a = 2*n - 16. Is n prime?
True
Let i be 62 + 2*(-3)/6. Suppose 5*v - 6 = -i. Let p = 130 + v. Is p prime?
False
Suppose 4*s - 15216 = 4*f, 15176 = 4*s - 48*f + 52*f. Is s prime?
False
Suppose 42398 = -0*w + 2*w + 4*q, -2*q = -5*w + 106055. Is w a composite number?
True
Let a(k) = k**2 + 19*k + 18. Let t be a(-9). Let q = 1867 + t. Is q composite?
True
Let n(r) = -r**3 + 30*r**2 - 6*r - 45. Is n(26) a prime number?
True
Suppose -2*p - 3*p + 290550 = 5*j, 5*p = -j + 58114. Is j prime?
True
Let l(q) = -4*q**3 - 2*q**2 - 1. Suppose -3*d + 76 - 28 = 0. Suppose 2*k + 3*i + d = 0, -i - 4 = -0. Is l(k) a composite number?
False
Is (42/(-9))/7*(-638184)/16 prime?
True
Suppose 2*x - 14 + 2 = 0. Let w = x + -2. Suppose -5*t = -c - 3746, -5*t = -w*c + c - 3748. Is t a prime number?
False
Suppose 20*n + 23318 = 22*n. Is n composite?
True
Let r be (-13)/(-3) - (-11)/(-33). Is 12/r + -6 + 142 a composite number?
False
Suppose -93 - 12714 = -9*y. Is y composite?
False
Is (-8)/6*(-2855514)/232 composite?
False
Let f(t) be the third derivative of -t**6/120 + 13*t**5/60 - 13*t**4/24 + 2*t**3/3 + 3*t**2. Is f(9) a composite number?
False
Suppose 31*v = -v + 71072. Is v a prime number?
True
Let w be (-2)/(-12) - (-119185)/30. Suppose -6*q - 229 + w = 0. Suppose 0 = 7*h - 503 - q. Is h composite?
True
Let r(v) = 610*v**3 - 3*v**2 + 5. Is r(2) composite?
True
Suppose -13*j = 2453 - 132024. Is j prime?
True
Let p = 648 + -201. Let j = 1078 - p. Is j composite?
False
Is -1*4 - (-17650)/10 a prime number?
False
Let i(a) = -a**3 + 7*a**2 + 4. Let q(z) = -z**2 - 10*z - 14. Let o be q(-7). Let d be i(o). Suppose -2*m = -3*k - 107 - 141, 2*m - 246 = d*k. Is m composite?
False
Is (84/(-48))/(1/(-2564)) a composite number?
True
Suppose -g - 40 + 34 = 0. Is (-4)/g + (-6)/(90/(-31205)) a prime number?
True
Suppose -6*z = -7*z + 4. Suppose -3*h - 9 = 0, -z*h = 2*q - 2*h - 1264. Is q a prime number?
False
Let f = -72 - -135. Suppose t - 121 = 3*a, t - 2*t = 2*a - 101. Let i = t - f. Is i a composite number?
True
Let m = 1393 - 994. Suppose 0 = 3*j + 2*a + 235 + 581, -2*j - 544 = -5*a. Let s = j + m. Is s a composite number?
False
Let b = -203 + 870. Is b a prime number?
False
Let t(d) = 1742*d - 65. Is t(9) prime?
False
Let b(w) = 208*w**2 + 8*w - 17. Is b(-5) prime?
False
Let g(i) = -1 - 11*i + i + 2*i - 9*i. Let t(c) = 2*c + 8. Let p be t(-6). Is g(p) a prime number?
True
Let b be -137*(8/(-28) - (-60)/(-35)). Suppose s - 359 = b. Is s composite?
True
Suppose 287 = 2*z - 43. Let w be z/18 - 2/12. Suppose -5*f + 1526 = -3*t, 0*t - 3*t = -w. Is f a composite number?
False
Suppose f - 4*f + 4921 = 2*r, -12293 = -5*r + 2*f. Is r prime?
True
Suppose -4*t = -7 - 1. Let i(h) = -82*h + 8. Let x be i(-7). Suppose -t*l - l + x = 0. Is l a composite number?
True
Suppose 7*g = 23035 + 4146. Is g prime?
False
Let f(g) = g**3 + 13*g**2 + 24*g + 22. Let i be f(-11). Suppose -w + 5*w = 5*b + 32, -13 = w + 4*b. Is (293 - i)/(4 - w) composite?
False
Let t(m) = -2*m + 2. Let u be t(-4). Let i be (-2)/(-1) + (u - 8). Let l(g) = -g**3 + 5*g**2 + g + 2. Is l(i) a composite number?
True
Let t(h) = 1557*h - 32. Let c be t(8). Suppose -5*y + 14491 = -c. Is y prime?
False
Let o(q) = 288*q**2 - 7*q - 15. Is o(-4) a prime number?
True
Let h(f) = -f**2 + 17*f - 5. Let s(r) = r**2 - 17*r + 5. Let c(z) = -6*h(z) - 5*s(z). Is c(-15) prime?
False
Let b(q) = q**2 + q. Let h = -6 - -3. Let k be b(h). Is ((-278)/k)/((-9)/27) prime?
True
Suppose -14947 = 5*o - p - 49813, 0 = 3*p + 3. Is o a composite number?
True
Let x = -64650 + 119069. Is x a composite number?
False
Let f(r) = -455*r + 177. Is f(-18) composite?
True
Suppose -4*r + 6 = 2*t, 4*t - 2*r - 1 = r. Suppose 3*w = t + 2, 0 = h + 5*w - 256. Is h composite?
False
Suppose 5*t - 4*p + 585 = 0, -p = -5*t - 571 + 1. Let i(g) = 9*g**2 + 5*g + 6. Let x be i(-6). Let v = t + x. Is v a prime number?
False
Suppose 0 = 3*c + 3*n - 28332, 2*c - n - 26341 = -7450. Is c composite?
True
Let d be ((-44)/(-6))/((-7)/(-84)). Suppose -3*c = 5*c - d. Is c a composite number?
False
Suppose -4*k + 4*g + 132432 = 0, -6*g = -g + 5. Is k prime?
True
Let r be (4/(-10))/((-3)/(-1635)). Suppose -1895 = 5*o - 0*o. Let x = r - o. Is x a composite number?
True
Let c = 20028 + -10657. Is c composite?
False
Suppose -3*u + 1496 = 5*n - 1518, -n + 3*u = -592. Suppose -6*a = -545 - n. Is a composite?
False
Is ((-4)/(-3))/((-24)/(-119466)) a composite number?
False
Let y(w) = 2*w - 18. Let x be y(9). Suppose x = -5*b + 51 - 11. Suppose -d = -p - 41, -4*p = -0*p + b. Is d composite?
True
Let h be (-36)/(-10) + 4/10 + 470. Let c = 427 + h. Is c a composite number?
True
Let u(m) = -m - 13. Let h(k) = k**2 + 14*k - 3. Let o be h(-13). Let i be u(o). Suppose r - 53 = -5*s, i*s - r = -0*r + 27. Is s a prime number?
False
Let k = 1830 + -1197. Is k prime?
False
Let f = 1 + -7. Is f/(-8) - (-1254)/24 prime?
True
Suppose 5*o + 0*o - 4*n - 12510 = 0, o - 2513 = 3*n. Is o prime?
False
Let i(c) = -124*c + 2. Let k be 1*(-25)/(-10)*-2. Is i(k) prime?
False
Suppose -6*h = -19269 - 26289. Is h composite?
True
Suppose 13*s = 14*s - 364. Let r = 1647 - 732. Let t = r - s. Is t prime?
False
Let i(g) = 36*g - 1. Let p(l) = l**3 + 4*l**2 + 3*l. Let q be p(-2). Let o be (-3 - -2)*q + 3. Is i(o) a prime number?
False
Let j = -156 - -381. Suppose 4*p + j = 2*b - 101, 2*b + 2*p = 308. Is b composite?
False
Let a(q) = -6*q**2 + 2*q - 1. Let o be (-2)/(-6)*(4 + 17). Let f be a(o). Let u = -184 - f. Is u a prime number?
True
Let v = -16569 - -25804. Is v a prime number?
False
Let c(s) = -34*s + 1. Suppose -11*i = -7*i + 48. Is c(i) a composite number?
False
Let c be (-1205)/(-3) + (-26)/39. Suppose -1547 - c = -4*p. Is p prime?
True
Let n = -1128 + 1947. Let y = n - 146. Is y a prime number?
True
Let j = 12451 - 1890. Is j a composite number?
True
Suppose 0 = -2*d - 0*d + 8. Suppose 0 = 2*j - d - 4. Suppose -5*u - 3 = 2, j*a + 2*u - 1522 = 0. Is a a composite number?
True
Let y = -9 + 13. Suppose -y*s - m = -2*s - 296, s - 2*m = 153. Is s prime?
True
Suppose 0 = 2*u - u - 8. Suppose -u*x = -1189 - 3315. Is x a prime number?
True
Suppose -k + 3*m + 0*m + 8 = 0, 2*k - 5*m - 14 = 0. Suppose k*l = -l + 402. Is l prime?
False
Let d = -15 + 18. Suppose -d = c - 2*v, -4 + 15 = -c + 4*v. Suppose 0 = -c*s - 3*x + x + 353, -s + 68 = 3*x. Is s composite?
False
Is (8/48 + 0)/((-1)/(-170322)) prime?
True
Suppose 0 = -4*c - 9 - 3. Let n be (-120)/(-1) - 9/c. Suppose -10*o = -9*o - n. Is o a prime number?
False
Let a be (1 + -2)*3/(-6)*6. Let h(i) = 180*i - 23. Is h(a) composite?
True
Let q(j) = 42*j**2 - 13*j + 10. Is q(-7) prime?
False
Suppose 2*l + v - 5*v - 8210 = 0, -3*v = -9. Is l a composite number?
False
Let j = 2346 + -887. Is j a prime number?
True
Suppose 7*u = 12*u - 290. Let n = u + -15. Suppose -i + 10 = -n. Is i a prime number?
True
Let z(b) = b**3 + 4*b**2 + b - 19. Suppose m + 4*m = -4*j - 9, 3*m + 4*j = -7. Let o(t) = -t**2 + t - 1. Let f(c) = m*z(c) + 6*o(c). Is f(-11) a prime number?
True
Let j(v) = -v**3 - 2*v**2 - 2*v + 4. Let q be j(0). Suppose q*s - 3*s - 2643 = 2*l, 3*l = -3*s + 7974. Is s a prime number?
False
Suppose -116710 - 8331 = -7*y. Is y a prime number?
True
Let u = -23 + 10. Let y = u - -16. Suppose 5*c - 1590 = 5*d, -2*c + y*d - 641 = -4*c. Is c a prime number?
False
Is (-4 - 1109*(0 - 2)) + 5 prime?
False
Let h(a) = a**2 - 2*a - 1. Let d be h(3). Suppose -3*v = -y - 58, v + 3*y - 16 = 5*y. Suppose 4*j - v = 0, -j = 5*w - d*j - 560. Is w prime?
True
Let d(j) be the third derivative of 2*j**5/15 - j**4/24 - j**3/3 + j**2. Let x(f) = f - 2. Let r be x(5). Is d(r) a prime number?
True
Suppose -t - 5175 = 2*c + 2141, 0 = -c + 3*t - 3651. Let k = 5134 + c. Is k composite?
True
Suppose 3*g - 4*g - b = -33, -5*g + b + 147 = 0. Let s = g - 25. Suppose 0 = s*o - 153 - 652. Is o composite?
True
Suppose