Suppose 4*s + 0*y - 4*y - 236 = 0, -4*s = -2*y - 240. Suppose 94 + s = 5*o. Is o prime?
True
Let p(k) = 3*k**3 - 3*k**2 - 4*k + 4. Suppose -b - 2*b = 0. Suppose b = h - 2*a + 5*a - 9, -h - 1 = -2*a. Is p(h) a composite number?
True
Suppose 5*c + a - 14 = 0, 0 = -3*c - 0*a - a + 8. Let k(q) = -10*q**2 - 3 + c + q - 6 - 2*q**3 + 4*q**2. Is k(-5) a composite number?
False
Let y(p) = -2*p**2 + 14*p + 2. Let j be y(7). Suppose 0 = j*l + l - 3*v - 1479, -481 = -l - 5*v. Is l a composite number?
False
Suppose -2*a + w + 5534 = 0, 3*w + 1336 = -4*a + 12404. Is a a composite number?
False
Suppose 0 = -3*b + 4*b + 1. Let x = 1 + b. Suppose x = 2*y - 150 + 40. Is y a composite number?
True
Let d = 15 - 19. Let x be 120/100*(-10)/d. Suppose x*o - 2*h - 6655 = -0*o, -o + 2213 = -2*h. Is o a composite number?
False
Let z(u) be the first derivative of 2*u**3/3 + 29*u + 5. Is z(-15) composite?
False
Let l(v) = -574*v + 59. Suppose -4*o + 2*j - 45 = 3*j, -5*o + j - 63 = 0. Is l(o) a composite number?
False
Suppose 0 = f + 8*f - 1899. Is f a prime number?
True
Let v be ((-40)/(-25))/(2/10). Suppose 3*l + v = 5*l. Suppose 0 = -4*b - l, -111 = 4*m - 5*m + 5*b. Is m prime?
False
Let c be 4918 + ((-1)/1 - 1). Suppose 0 = 7*j - 313 - c. Suppose j = 3*o - 0*o. Is o composite?
True
Is (-104)/2*(-5050)/200 prime?
False
Let j = -3 + 8. Suppose -9*l + 4*l = -j. Is (-1)/((-2)/590)*l a prime number?
False
Let c(w) = w**3 - 4*w**2 + 3*w + 2. Let h be c(2). Let x = 12 - h. Suppose -5*m + 60 = 5*k, 5*m = m - x. Is k prime?
False
Let m be (2 - 1) + (-12)/6. Is 986 + (-3)/(m + 2) prime?
True
Let x(o) = 65*o - 58. Let s be x(26). Suppose -3*g + 1523 = 5*m - 557, -s = -4*m + 4*g. Is m a prime number?
False
Suppose -12*h = 5*h - 15147. Let k = 554 + -1048. Let y = h + k. Is y a prime number?
True
Let k(l) = 95*l - 93. Is k(8) a composite number?
True
Suppose 0 = -3*p + 2*w + 2, 5 = 5*p - 2*p - 5*w. Suppose n - 8 = -p*n. Suppose -3*d = 5*z - 45, -16 = -3*d + 2*z + n. Is d composite?
True
Let s(v) be the third derivative of -91*v**4/12 + 7*v**3/6 + 20*v**2. Is s(-6) composite?
True
Let u = 2072 - 1657. Is u prime?
False
Is (-324930)/(-72) - (-7)/84 a composite number?
False
Let b = 46 - 75. Let j(l) = -4*l - 3. Is j(b) prime?
True
Let b be 4/(-6) - 262/(-6). Let z be (-5)/((-30)/(-24))*5. Let v = b + z. Is v composite?
False
Let z = -5 - -7. Suppose -6*r - z*r = -1896. Is r a prime number?
False
Suppose 29*o = 8*o + 40929. Is o a composite number?
False
Suppose -24 + 0 = -4*c. Suppose -c*r + 10 = -r. Suppose 0 = -r*t + 16 + 70. Is t a prime number?
True
Suppose -3*s - 2*f = 10, 3*f + 1 = 5*s + 5. Is s + 2/1 + 4166 + -4 composite?
True
Let p(i) = -27*i**3 - 4*i**2 + 2*i + 6. Let j(d) = -d**3 + d**2 - 1. Let b(r) = 3*j(r) + p(r). Is b(-2) a composite number?
True
Suppose 4*u + 2 + 30 = -2*t, 4*t + 4*u + 44 = 0. Is (1 + -35)*((-15)/t + -4) prime?
False
Let o be ((-8)/10)/((-12)/1950). Suppose 3*p - 305 = o. Is p composite?
True
Suppose -3*w = f - 475, -5*w = -0*f - 3*f + 1383. Suppose 0 = 4*y + 8, -n - 3 + 5 = -y. Suppose n*o + 476 = 3*k + o, o = 3*k - f. Is k a composite number?
False
Is (2 + -3)/(23/(-39859)) a composite number?
False
Let u be (-1)/(-2)*(-18)/(-3). Suppose -4*k + 391 = a, -237 - 157 = -a - u*k. Is a composite?
True
Is 0 + 508/(-12)*-6 - 3 prime?
True
Suppose 2*l + 4*s = -s - 12, -8 = l + 3*s. Suppose 12 = 2*f + l*f. Suppose 0 = -f*u + 29 + 17. Is u composite?
False
Let z(d) = 11*d**2 - 3*d + 3. Let a be z(2). Let t be (-1 + 0)*(-5 - -24). Let p = a + t. Is p prime?
False
Let p = 1387 + -879. Suppose 3*v - 71 = p. Suppose 0 = -4*r + v + 179. Is r a composite number?
True
Suppose 25 = -5*x, 4*k - 17 = 3*x + 10. Suppose -5*h = -0*b + 3*b - 4405, 4393 = k*b - h. Is b a prime number?
False
Suppose 4*x + a = 7512 + 615, -2*x + 4041 = 5*a. Is x prime?
False
Suppose -163233 = -13*p + 4*p. Is p a composite number?
True
Let x = 925 + -492. Let s = 624 - x. Is s a prime number?
True
Let n(x) = 42*x**2 - 2*x - 11. Let g(z) = 41*z**2 - 3*z - 11. Let b(r) = -4*g(r) + 5*n(r). Is b(6) composite?
False
Let y = 16839 - 11692. Is y composite?
False
Let h = -215 + 125. Let t = 1 - h. Suppose -r = -160 - t. Is r a composite number?
False
Let u = -58 - -90. Suppose -y = y + u. Let g = 10 - y. Is g composite?
True
Suppose 10*x - 2*x - 32 = 0. Suppose 4*u + q = -x*q + 4686, -2*u = 2*q - 2344. Is u a prime number?
False
Let v = 16775 - 1852. Is v a prime number?
True
Let x = 34 + -30. Let u(o) = 151*o - 8. Let j be u(6). Suppose -4*g + 3*s = s - j, x*s - 657 = -3*g. Is g prime?
True
Suppose -36*r + 625873 = 144661. Is r a composite number?
False
Let v be (-956)/(-14) - 3 - 2/7. Is (-2 - v)*11*-1 a prime number?
False
Suppose -57 = -5*b + 68. Let r = 56 - b. Is r a composite number?
False
Let w(c) = 2 + 117*c + 16*c + 3. Is w(4) a composite number?
True
Let t be (2 + 1)/1 - 0. Suppose -t*q = -5*q + 12. Suppose -1434 - 324 = -q*s. Is s composite?
False
Suppose -20*w + 23*w - 3165 = 0. Is w a composite number?
True
Let a = 153 + 1382. Is a composite?
True
Suppose 10 = -9*s + 14*s. Suppose 2*f + s = -2. Is 6/4*f + 868 prime?
False
Is 21/7*(229 + 0 + -2) a composite number?
True
Let x(n) = 21*n**2 - 13*n - 17. Let j(u) = -u**3 + 11*u**2 + 12*u - 9. Let v be j(12). Is x(v) prime?
True
Suppose 0 = -4*t - 2*c + 6, -t + c - 5 = -2. Is (0 - -2708) + -1 + 0 + t a composite number?
False
Suppose 3*o + 0*o = 0. Suppose 13968 = -o*l - 6*l. Is l/(-30) - (-3)/(-5) prime?
False
Is -755*(51/15 - 4) a prime number?
False
Let o = -22 + 32. Suppose 609 = -7*u + o*u. Is u composite?
True
Let n = 9275 + -3436. Is n prime?
True
Let s(u) be the first derivative of 214*u**3 - u**2/2 - 15. Is s(1) composite?
False
Suppose m = -4*m + 25. Suppose -m*v - 657 = -r, 0*v + 2*v = 5*r - 3170. Let b = -373 + r. Is b prime?
False
Suppose -3 = -5*m + 4*m. Let x(q) = -2*q + 5 + 7*q**2 + 0*q + m*q. Is x(5) a composite number?
True
Let p = 10326 - 2875. Is p a prime number?
True
Let h(d) = d - 4. Let r be h(4). Let k(z) = -z**3 + 2*z + 797. Is k(r) a prime number?
True
Let j = -57 - -29. Let l be 64/j - (-2)/7. Is (5 + -12)*l/2 a prime number?
True
Suppose -3 + 4 = -a. Let l(q) = -3*q**3 + q**2 - q - 1. Let r be l(a). Suppose -3*j = -j - r, -5*t + 69 = 2*j. Is t prime?
True
Suppose -5*u + 5*t - 3766 = -6*u, u - 3756 = 5*t. Is u a prime number?
True
Let i = -17 - -199. Suppose -1602 = -4*t - i. Is t a prime number?
False
Let l = -20 - -36. Let f(r) = r**3 - 15*r**2 - 7*r + 13. Let h be f(l). Let y = h + 4. Is y a composite number?
True
Let n be 20/3*(-48)/(-32). Let j(t) = 9*t**2 - 23. Is j(n) a composite number?
False
Let z(n) = 6*n**2 - 2*n - 2. Let t be 30/(-8) + 8/(-32). Let d be t - 3/((-12)/(-4)). Is z(d) a composite number?
True
Let g be 21/(-49) - (-330)/(-14). Let v = g + 3635. Is v a composite number?
True
Let x be 3*((-46)/(-12) - 1/(-2)). Let d(p) = 7*p - 36. Is d(x) a composite number?
True
Suppose -3*s = -6*s + 6. Suppose 5*t = -s + 32. Suppose u + 635 = t*u. Is u a composite number?
False
Let a = -2 + 7. Suppose -a*t - 1119 = -2*p, 5*p - 2*t - t = 2788. Is p a prime number?
True
Let z(f) = 21*f**2 - 45*f - 379. Is z(-19) a prime number?
False
Let f = -194 - -197. Suppose 5*i + a = 25, 5*i + 2*a = 2*i + 15. Suppose 330 = 5*t - i*v, 2*t + 5*v = -f*t + 360. Is t prime?
False
Let k(h) = -h**2 - 7*h - 12. Let s be k(-4). Suppose -3*g + 3448 = -d, 2*d + s = 10. Is g composite?
False
Let v(s) = -10 - 8 - 5 + 10*s + 18*s**2 + 4. Is v(8) a composite number?
False
Let q = -18 - -12. Let w(i) = -i**3 + 4*i**2 + 3*i - 11. Is w(q) a composite number?
False
Suppose -171638 + 26282 = -12*t. Is t a prime number?
True
Let m = -695 - -262. Let q = -180 - m. Is q a prime number?
False
Let q(n) = -6*n**3 - 29*n**2 - 5*n - 15. Let w(j) = j**3 + 6*j**2 + j + 3. Suppose 35 = 4*t - 9. Let u(k) = t*w(k) + 2*q(k). Is u(7) composite?
False
Suppose 5*k = -3*u + 2236, -u + 35 - 38 = 0. Is k a prime number?
True
Let u = 10 - 4. Suppose u = v + 1. Suppose -5*m - 551 = -2*g, v*g = m + 2*m + 1330. Is g composite?
False
Let v(k) = -k**3 + 9*k**2 - 8*k + 13. Let c be v(9). Let r = c + 1602. Is r a prime number?
True
Let k(p) = -p**2 + 5*p + 66. Let o be k(-6). Let h = 3 + -1. Suppose -2*c - 1334 = -4*l, o = -h*l - c - 4*c + 637. Is l a composite n