mposite?
True
Suppose 59*k = 62*k - 11379. Suppose -2 + 4 = w. Suppose -w*q - 3*s + k = 0, 0*q + 5672 = 3*q + s. Is q composite?
False
Suppose 0 = 4*a + 4*z - 6*z - 2088, 4*z + 8 = 0. Is a prime?
True
Is (6 + 71837)*(8/(-2) + 5) a prime number?
True
Suppose 5*c + q - 18809 = -q, 3*q - 6 = 0. Is c composite?
False
Let r = 17 + -15. Suppose 2*q - r*l - 1410 = 0, -5*l = 2*q - l - 1434. Suppose 3*d = 4*d - q. Is d prime?
True
Let x be ((-30)/165 + (-30)/(-44))*4. Suppose 1255 = 3*c + x*w, 2*c + 0*w = 3*w + 841. Is c a composite number?
False
Let h = -1 + 5. Suppose 6*d - h*d = 226. Is d a prime number?
True
Let g(u) = 17*u**2 - 2*u + 1. Let t be g(3). Let f = 183 + t. Is f a prime number?
True
Let x = 145 - 141. Suppose -x*v + 927 = -69. Is v a composite number?
True
Suppose 3*h - 24 = 24. Let r be (-3793)/(-3) - h/(-24). Suppose 15*z = 20*z - r. Is z composite?
True
Let f = 3 + 2. Suppose r = f*h + 31, 2*r - 3*h = -4*h + 7. Is 5217/5 - r/15 a prime number?
False
Let q(x) be the second derivative of x**7/315 + x**6/240 + x**5/60 + x**4/4 - 3*x. Let m(w) be the third derivative of q(w). Is m(-3) a prime number?
False
Let s(a) = -a**2 - 5*a - 6. Let c be s(-5). Let b = c + 7. Let j(x) = 88*x**3 - 2*x**2 + 1. Is j(b) composite?
True
Suppose -9*d + 14*d - 15815 = 0. Is d composite?
False
Let r(h) = -h**3 - 8*h**2 - 3*h - 1. Let u be r(-7). Let m = u + 512. Is 1 + 1 - (7 - m) a composite number?
True
Let c(j) = 176*j - 9. Is c(14) a composite number?
True
Is (-10 - -6)*(-52970)/20 prime?
False
Let x = 3861 - 1000. Is x composite?
False
Let v be (3 + 0)/1 + 1. Let j be 6/(20/(-8) + v). Suppose 5*z + 1255 = 5*t, j*t - z - 415 = 589. Is t prime?
True
Let m(j) = j**3 + 24*j**2 - j - 19. Let o be m(-24). Suppose 0 = 2*w + o*b - 2387, -2*b = w + 3*b - 1206. Is w prime?
True
Let z(p) = p**3 + 7*p**2 + 4*p - 7. Suppose 2*w - 4*w = 12. Let g be z(w). Suppose 1044 = 2*v + g*h, 3*h = 1 + 5. Is v composite?
True
Let n(y) = 6*y**2 - 17*y - 16. Let c be n(15). Suppose r - c = u - 3*u, -6 = 2*r. Is u prime?
True
Let t(x) = -3*x**2 + 6*x + 5. Let k be t(-1). Let o(u) = 5*u - 28*u - 3 + 5. Is o(k) a composite number?
True
Suppose 8 = 2*d + 6. Is d/1 + -4 - -490 a prime number?
True
Suppose -p + 5*p = 24. Let d(c) = 6*c**2 + 8*c - 13. Is d(p) composite?
False
Let r = 59 + 71. Let f = r - 60. Suppose 4*q + 394 = 2*v + 3*v, v - 3*q = f. Is v prime?
False
Suppose 696 = o + 46. Suppose 315 = l - 4*p + 5*p, 3*p = 2*l - o. Is l composite?
True
Let q = 3828 - 1999. Is q a composite number?
True
Let g = -528 + 906. Let k = 604 - g. Is k composite?
True
Let o(n) = -535*n - 9. Is o(-2) a prime number?
True
Is (-93)/(-124) + 130564/16 a prime number?
True
Let i = -369 - -751. Let u = i + 189. Is u a composite number?
False
Suppose -3*s = -3*f - 53577, -6*f = 2*s - 7*f - 35722. Is s a prime number?
True
Suppose -n = 4*p - 18, -n + 5*p + 31 = 4. Let u = 66 - n. Suppose -2*j + 478 = u. Is j a prime number?
False
Let m(b) = 172*b**2 + 9*b + 3. Is m(-2) prime?
True
Let p(i) be the first derivative of -417*i**2/2 - 11*i - 4. Let a(f) = 104*f + 3. Let z(m) = -9*a(m) - 2*p(m). Is z(-3) a prime number?
False
Suppose 3*b - k + 1 = 59, 2*b - 4*k - 32 = 0. Suppose -y + b = 3*y. Suppose -3*p + 0*p = -15, -y*m = 3*p - 110. Is m a prime number?
True
Suppose 0 = 51*x - 77823 - 444570. Is x a composite number?
False
Let q = -13904 + 19827. Is q composite?
False
Suppose -f + 3*r + 5 = -1, 3*r = -f. Suppose 2*o - 7 = -f. Suppose 66 = o*g - 0*g. Is g composite?
True
Let a(j) = -4*j**3 + 15*j**2 - 26*j + 8. Let m(w) = -5*w**3 + 16*w**2 - 25*w + 7. Let v(k) = -4*a(k) + 3*m(k). Is v(14) prime?
True
Is 5 - (4 + -6429 + -3) composite?
True
Let a(y) = -y**3 - 4*y**2 - 1. Let r be a(-3). Let n = 4 + r. Let k(l) = -l**3 + 2*l**2 + 3*l - 7. Is k(n) a prime number?
True
Suppose 38*s - 22*s - 78576 = 0. Is s prime?
False
Let o be 1 + -2 + -120 + 4. Let y = 1538 - o. Is y a prime number?
False
Let a(f) = 5*f**2 - 11*f - 113. Is a(23) prime?
False
Let p(i) = i**3 - 2*i**2 - 10*i + 9. Let r be p(6). Suppose 3*z = -5*g - 3 + 1, g + 18 = -5*z. Suppose -r = -g*j + 233. Is j a prime number?
True
Suppose -6*o = -2*o. Suppose -5*p + 4*i - i + 6 = o, 3*p + 8 = -4*i. Suppose -4*h - a = -p*h - 1270, 5*h - 1577 = 4*a. Is h composite?
False
Let k be (-5 - -2 - -9) + (-1 - -2). Suppose 6*y = k*y - 77. Is y a composite number?
True
Let z = -693 + 1496. Is z composite?
True
Suppose -63*z + 3400281 = -1275516. Is z prime?
True
Let z be 4*1*(-3 + (-9)/(-6)). Let u(g) = -230*g + 19. Is u(z) a composite number?
False
Suppose -4323 = -5*l + 397. Let m = 1671 - l. Is m prime?
True
Suppose u - 4*i - 9 = 2*u, -12 = -5*u - i. Let n(x) = 0*x**2 + 2 - x**3 + 2*x - 4 + 7*x - u*x**2. Is n(-7) a prime number?
True
Let n = -6 + 12. Let l(p) = -15*p + 10 - 3 - 6 + n. Is l(-4) a prime number?
True
Let n(c) = -c**3 + 11*c**2 + 3*c - 26. Let b be n(11). Suppose w = -2 + b. Suppose -4*k + w*m = -197, 2*k - 5*m + 23 = 114. Is k a prime number?
True
Is (3 - 20/6)/(6/(-144702)) composite?
False
Let h(v) = -244*v. Let z be h(-1). Suppose 2078 = 2*s + z. Is s a prime number?
False
Let p(b) be the first derivative of b**3/3 - 2*b**2 - 8*b - 4. Let r be p(6). Suppose -2*f - r*t = -2*t - 88, -5*f = -4*t - 265. Is f a prime number?
False
Suppose 0 = -2*z + z + 4. Let k be 32/(-24)*(-30)/z. Suppose -838 = -k*q + 8*q. Is q composite?
False
Let o = -395 + -53. Let h = -215 - o. Is h composite?
False
Is 3/(-9)*(-21 + -37290) a prime number?
True
Let k be ((-3)/2)/((-6)/(-8)). Is k/((-1488)/(-748) - 2) prime?
False
Let r(u) = u**3 - 14*u**2 - 10*u - 35. Is r(16) a composite number?
False
Let x(h) = h**2 + 7*h + 5. Let o be x(-6). Let k be (-60)/(2/o) - -2. Let v = k - 11. Is v composite?
True
Let w = 10549 - -15760. Is w a prime number?
True
Suppose -q - q = -4*r + 2, 4*r + 1 = 3*q. Let u(b) = b**3 + 24*b**2 + 16*b - 6. Let v be u(-22). Suppose -q*y + v = 2*y. Is y composite?
True
Let o(g) be the first derivative of -23*g**3/6 + 8*g**2 - g + 6. Let y(r) be the first derivative of o(r). Is y(-5) prime?
True
Let y(r) = 15*r - 108. Let i be y(15). Let h = -2 - -2. Suppose p + w - i = h, p - 230 = -p - w. Is p a composite number?
False
Let p(b) = 3*b**2 - b + 3. Let k be p(-4). Suppose 2*z + k = 7*z. Is z composite?
False
Suppose 8*a - 265724 + 43876 = 0. Is a prime?
False
Suppose 4*o = 8*o - 12. Let g be (1519/14)/((-3)/(-6)). Suppose g = j - o*a - 0*a, 0 = a + 2. Is j prime?
True
Suppose -1107 = -5*r + 58. Is r a composite number?
False
Let u be -4 - (-10 + 1 + 1). Let z be (-6)/(u/2)*-1. Suppose 0 = z*a - 2*a - 106. Is a a prime number?
False
Suppose -2*i - 3*p + 35 = 0, i = -3*p - p + 25. Suppose -10*o + i*o = 2406. Is o composite?
True
Let n(d) = 6*d - 6*d**3 + 3 + 3*d**3 - 1 + 2*d**2. Let k(o) = -14*o + 122. Let f be k(9). Is n(f) a prime number?
False
Let y be 2/((-2)/(6/(-3))). Suppose -2*k - i = -k - 41, -4 = -y*i. Is k a prime number?
False
Let z(w) = -w**3 + 7*w**2 + 12*w - 28. Let t be z(8). Let v(p) = 0*p + 5*p + 3*p + 5. Is v(t) a prime number?
True
Let z = 1234 - 853. Is z a prime number?
False
Suppose -5256 - 3398 = -2*f. Is f a composite number?
False
Suppose 12110 = 5*x + 3*g, 3*x - g - 7282 = -6*g. Is x a composite number?
True
Let k = -596 - -12157. Is k a prime number?
False
Let z(p) = -p**2 - 7*p - 7. Let y be z(-3). Let o(d) = -170*d + 29. Let b(l) = 57*l - 10. Let u(q) = -11*b(q) - 4*o(q). Is u(y) a prime number?
False
Let n(i) = 20*i. Let y be n(-1). Let v be ((-2175)/y)/((-3)/(-8)). Suppose -3*g - o = 3*o - 439, -4*o = 2*g - v. Is g a prime number?
True
Suppose -2*h - 5*x + 12406 = 0, -2*h - 7*x + 4*x = -12398. Is h prime?
False
Suppose -2*j + 17 = 3*n, 30 = 4*n + 2*j + 8. Suppose -4*d = -d + n*t - 647, 0 = 2*t + 4. Let w = d + -64. Is w a prime number?
False
Let k = 9018 - 3629. Is k a composite number?
True
Suppose 0 = 18*l + 10519 - 127897. Is l prime?
True
Is ((-1)/3)/((-75)/613755)*5 prime?
False
Let h(b) be the second derivative of -b**5/40 - 11*b**4/24 + b**3/6 + 7*b. Let v(l) be the second derivative of h(l). Is v(-10) a prime number?
True
Let o(t) = t**3 + 14*t**2 + 25*t + 25. Let b be o(-12). Suppose b*a - 1284 = 7*a. Is a composite?
True
Let l(z) = z**2 - 16*z + 30. Let v be l(12). Let a(w) = -w**3 - 19*w**2 - 42*w + 11. Is