Is ((-12)/15)/(6/n) prime?
False
Let a be -1 + (25/5 - 4). Suppose a = 2*u + 4 + 6, -280 = -5*q + 3*u. Is q prime?
True
Suppose -4 = 3*i - 5*i. Suppose -3*c = -12, 46*c - 44*c + 7 = 3*m. Suppose -m*h - 5*t + 3161 = -2*t, -1268 = -i*h - 3*t. Is h a prime number?
True
Let j(h) = -47*h - 48. Let i be j(11). Let m = i - -2216. Is m prime?
False
Let l(b) = 9*b - 46. Let s be l(19). Suppose -680 - s = -7*p. Is p a prime number?
False
Let d(w) = -2*w + 267*w**2 + 3 - 119*w**2 + 105*w**2. Let z(k) = -2*k**2 + 22*k + 25. Let o be z(12). Is d(o) a composite number?
True
Let f = -305 + 176. Let z = 310 + f. Is (-2 + 1 + 2)*z prime?
True
Is -6 + 0*3/(-12) - -40811 prime?
False
Suppose 3*q - 4*q = -1320. Suppose 0 = 136*a - 141*a + 2090. Suppose -4*g = -2*v - q, v + 1740 = 4*g + a. Is g a composite number?
False
Let u(x) = 4*x**2 - 8*x - 16. Let v be u(-3). Suppose 907 = -43*t + v*t. Is t a prime number?
True
Let w(o) = o**2 + 7*o + 5. Let g be w(-9). Let j(p) = 40 - 3*p + 2*p + 4 + g. Is j(0) prime?
True
Let i be 1 + (-3 - 30/(-2)). Suppose m - i = -5*v, -2*m - 4*v = -0 - 14. Suppose -c + 236 = m*c. Is c composite?
False
Suppose -3*o + 39444 = -19953. Is o a prime number?
False
Is (-1)/((-1 + -2)/10161) composite?
True
Is ((-2)/(-8)*-443)/(37/(-148)) a prime number?
True
Let x = -13222 + 18545. Is x a prime number?
True
Suppose 119283 = -52*q + 902039. Is q a composite number?
False
Let r(t) = 691*t**2 - 46*t - 1. Is r(2) composite?
False
Let a = 38 - 41. Let o(r) be the first derivative of -7*r**4/4 + 4*r**3/3 - 2*r - 4. Is o(a) a composite number?
False
Let y(d) = d**3 + 2*d**2 - d + 1. Let h be y(-2). Suppose -h + 1 = 2*n + w, 3*w = -n + 4. Let x(m) = -96*m + 2. Is x(n) a composite number?
True
Let t(u) = u**3 - 3*u + 5 + 8*u + 4 + 0*u**3 - 4*u**2. Is t(5) a composite number?
False
Is -8 + -1 + 204963 + -97 a composite number?
False
Let k = -96 - -57. Let a = 94 + k. Is a composite?
True
Let c be 2/6 - 71/(-3). Let t = -19 + c. Suppose 4*i + t*n = 758, -2*i - 97 + 465 = -3*n. Is i a composite number?
True
Let n be (-5)/((-5)/7) + -4. Suppose -5*z = -7 - n. Suppose 0*u - 166 = -z*g + 2*u, -4 = u. Is g prime?
True
Suppose 3*n - 6995 = -o, n = -0*n - 5*o + 2313. Is n a prime number?
True
Suppose -p - 4*p - 9022 = 3*r, 4*p + 2*r + 7216 = 0. Is (p + 0)*(-19)/38 prime?
False
Suppose -2*l = 13 - 19. Is ((-4)/l)/((-6)/1413) a composite number?
True
Let b(c) = 613*c + 422. Is b(15) a prime number?
False
Suppose -1 = 5*g - 31. Let w = -3 + g. Suppose -w*m = -2*m - 65. Is m a prime number?
False
Let h(p) be the third derivative of 2*p**6/15 - p**5/30 + p**4/24 - 4*p**3/3 - 25*p**2. Is h(3) a composite number?
False
Suppose 4*y - 2*f = 774, f - 5*f - 176 = -y. Let r = y + -63. Is r prime?
False
Let w be 2/8*0 - -2. Suppose 85 = w*j + 15. Is j a composite number?
True
Is -4 + (-48)/(-15) + 230438/10 prime?
False
Suppose 8*k - 3823 = 3289. Is k a composite number?
True
Let t = -10 - -5. Let c(i) be the second derivative of -i**5/10 - i**4/4 + i**3 + 2*i**2 + 3*i. Is c(t) a composite number?
False
Let m = 16 - 14. Suppose -d = 3*t + m*d - 1509, 2495 = 5*t - 5*d. Is t composite?
True
Let i = -40 + 44. Suppose 0*d + 1218 = 4*q + 2*d, -i*q + 1233 = -d. Is q a composite number?
False
Suppose -2*r - 9*r = -33. Suppose -2*a + r*a = 293. Is a composite?
False
Is 34*1/5*(-59050)/(-20) a composite number?
True
Let n be 2/(-3)*(-39)/26. Is ((-979)/(-22))/(n/6) prime?
False
Suppose 0 = 4*r - 12029 + 2521. Suppose 5*o = r + 3178. Is o a composite number?
True
Let y(p) = 110*p**2 - 3. Let w = -41 - -43. Is y(w) prime?
False
Let g(r) = 25 - 2*r**3 + 3*r**3 - 21*r - 21 - 2*r**2 - 5*r**2. Is g(13) prime?
False
Suppose 12*k - 572703 + 26067 = 0. Is k a composite number?
False
Suppose 6*z - 8*z - 32 = 0. Let h = 14 + z. Is (-8)/((-32)/660) + h prime?
True
Let v(n) = 12*n - 2. Let m = -5 - -5. Suppose -2*w + o + 15 = 0, 3*o + m = 5*w - 40. Is v(w) composite?
True
Suppose -i - 2*i = h - 3, -h = 4*i - 5. Let z(w) = 248*w**2 - w. Let f be z(-2). Suppose -2*y - 2*s = -414, -i*s + 363 - f = -3*y. Is y prime?
False
Is (6 + 7567)*1/(-3)*-3 a prime number?
True
Suppose 5*u = -t + 1, -8 + 3 = -4*u - 5*t. Suppose -m - 5*k + 1243 + 1131 = 0, -m + 4*k + 2347 = u. Is m prime?
False
Is ((9505/15)/(4/12))/1 composite?
False
Is (-15)/(300/185)*(-388 - 0) prime?
False
Suppose -4278 - 27062 = -20*s. Is s composite?
False
Is 13855 - (-9 - 40/(-8)) prime?
True
Let d(i) = i**3 - 2*i**2 - i - 2. Let q be d(3). Suppose -2*l + 2 + 4 = 2*p, q*p - 12 = -3*l. Suppose 2*x - 98 = -l*x. Is x a composite number?
True
Let g(w) = w**2 + 11*w + 9. Let k be g(-11). Let u = k + -12. Is (-61)/2*-2 + u composite?
True
Suppose 2*h - d = 4*h - 1638, -5*h + 4121 = -4*d. Is h a prime number?
True
Suppose -r - 1350 = -6*r - 5*i, 0 = 4*i - 4. Suppose -r + 2185 = 4*y. Is y prime?
True
Suppose -2*d + 6400 = 5*r - 8070, -2*d = -3*r - 14486. Suppose 5*t = 3*b + t - 5417, 0 = 4*b - t - d. Is b prime?
True
Suppose 4*k - 15557 = -5*b, 3112 = 9*b - 8*b + k. Is b prime?
True
Let v be (-1)/(-4) + (-4156)/(-16). Let r = v - -407. Is r a prime number?
False
Let p = -405 - 1286. Let s = p + 2376. Is s a prime number?
False
Let a be (2/(-3))/((-2)/36). Suppose -b = -5*b + a. Suppose 0 = 4*i - b*p - 1715, p = -3*i + 1571 - 275. Is i a composite number?
False
Let l be (-17155)/(-7) - (5 - (-185)/(-35)). Suppose 5*i = 5*j - 2624 + 169, l = 5*j - 4*i. Is j prime?
True
Suppose -3*s + 0 - 7 = 4*j, -2*j = -10. Is (-12)/s + (-8785)/(-15) prime?
True
Let b = 36 + -34. Suppose 1201 = 3*q + b*q - 3*h, 3*q = -4*h + 709. Is q a composite number?
False
Suppose -4*h - 178*z + 173*z = -16757, -h + 4168 = -3*z. Is h prime?
False
Let p(v) be the third derivative of -v**6/120 + 7*v**5/60 + 7*v**4/24 - 11*v**3/6 + 12*v**2. Is p(6) a prime number?
True
Suppose 0 = -0*r + 2*r - 5*p + 21, -r - 13 = -3*p. Let x(o) = -5*o - 3. Let n be x(0). Is 1384/(-4)*n/r composite?
True
Suppose -5*z + 6*d - 5*d + 267365 = 0, 2*z - d - 106946 = 0. Is z a prime number?
False
Suppose 3*q - 3*j = -8*j + 2, -4*j - 20 = -3*q. Let g be (-3)/(-1 - q/(-16)). Is (-194)/(-4) + g/8 a prime number?
False
Suppose 2*m + 2*v + 3*v = -23, 5*m + 5*v = -35. Let d be (2 + (-1)/m)*4. Suppose d*j - 395 = 4*j. Is j a prime number?
True
Let f(b) = 37*b + 2. Let a be f(2). Suppose 189 = 5*w - a. Is w prime?
True
Let j(x) = 22*x + 1. Let q be j(4). Let s = q - 53. Let u = s - -1. Is u composite?
False
Let d = -10947 + 19252. Suppose -2*a = -5*t - 5554, 0*a = 3*a - t - d. Is a a composite number?
False
Let p(n) = 36*n**2 + 1 - 16*n**2 - 2 + 8*n - n**3. Is p(16) prime?
True
Suppose -2*p = 4, -2*m + 0*p = -5*p - 8. Let j(l) = -16*l**3 + 2*l**2 + l - 4. Let t(g) = -g**3 - 1. Let x(i) = j(i) - 4*t(i). Is x(m) a composite number?
False
Suppose -s + 25 = 4*s, -9*s - 8518 = -v. Is v a prime number?
True
Let w(a) = 256*a**2 + 1. Let i(l) = l**2 - 15. Let u be i(-4). Is w(u) prime?
True
Suppose -5*k - c + 2*c - 774 = 0, 4*c - 151 = k. Let n = k + 418. Is n a composite number?
False
Suppose 0*b + 5*b - 15985 = 0. Is b composite?
True
Let y be 5/30*3*6. Suppose 2*l + 0*l - 182 = y*r, -437 = -5*l + 3*r. Is l a composite number?
True
Let f(r) = -r**2 - r**2 - 1 - 3*r - 10*r**3 + 0*r. Is f(-2) composite?
True
Let u(y) = -36*y - 1. Suppose 2 + 2 = -o - 2*f, 5*o = 4*f + 22. Suppose 2*l - o*r + 11 = -l, 0 = -2*l + 4*r + 6. Is u(l) a composite number?
False
Suppose 2*n - 5*a = -8, -n - 4*n = -5*a + 5. Let l be n + 3/(-6)*-478. Let f = -3 + l. Is f a prime number?
False
Suppose -2*a = -3*x + 2*a - 5, 3*x = a - 8. Is ((-6951)/(-6))/(x/(-6)) prime?
False
Let o(u) = -u**3 - 5*u**2 - 21*u - 26. Is o(-9) a prime number?
True
Let i(o) = o - 6. Suppose 50 = -4*r + 9*r. Let n be i(r). Is -209*((2 - 7) + n) a composite number?
True
Let h = -912 + 6173. Is h a composite number?
False
Let y = 67 + -48. Suppose y = 2*q - 507. Is q a prime number?
True
Suppose -a + 9615 = 3*t, 4*t + a - 5*a = 12820. Is t a composite number?
True
Suppose -2*n = 5*q - 8701 - 10056, 0 = 2*n - 3*q - 18797. Is n composite?
False
Let h(k) = 4*k**2 - 12*k - 36. Let t be h(22). Let x = t + -645. Is x composite?
False
Let i be 32/14 + (-2)/7. Suppose 2*q - 527 = w + 4*w, -5*q + 3*w = -1270. Suppose -g + i*g = q. Is g composite?
False
Is (-2569 + -13)*4/(16/(