962 - s. Is a a composite number?
False
Suppose 9*i - 1478 = 3805. Is i composite?
False
Let w = -4379 + 12568. Is w a composite number?
True
Suppose -69*z = -66*z - 17415. Suppose 5*q - z + 1210 = 0. Is q composite?
False
Suppose -2*g + 6*g - 18 = 2*q, 25 = -5*q. Suppose 1710 = 3*l + 4*p, -g*l + 2*p + 3*p = -1117. Suppose -146 - l = -4*i. Is i prime?
False
Let z(q) = -68*q**3 - q**2 + 3*q + 41. Is z(-5) a prime number?
True
Let x(t) be the third derivative of 0*t - 2*t**4 - 8*t**2 - 3/2*t**3 + 0. Is x(-10) prime?
False
Let j(b) = b - 7 + 2*b + 12*b**2 - 7*b + b**3 - 9*b. Let s be j(-13). Let v(q) = q**2 + 4*q + 10. Is v(s) composite?
False
Suppose -4*o = -5*k + 134751 + 166482, -3*k = -o - 180737. Is k a composite number?
True
Suppose -3*h = 4*k - 7*k - 156, -2*k - 2*h - 112 = 0. Let s be (-105)/(-1) - (-3 + 3). Let y = k + s. Is y a composite number?
True
Suppose -5*a + 29 - 9 = 0. Let m be ((-39)/(-26))/((-6)/(-8)). Is -314*(6/a - m) composite?
False
Let p(v) = 60*v**3 - 2*v**2 - v. Let i be p(-1). Let w = i + 37. Let a = 201 + w. Is a a prime number?
False
Let l = -26 + 35. Suppose -l*k = -0*k + 63. Is (-818)/((-7)/(k/(-2))) prime?
True
Suppose s + 52 + 131 = 0. Is 4 - (-4 + s*3) prime?
True
Suppose 10 = -5*q - 4*w, -5*q = -3*w - 19 - 6. Suppose 0 = -q*m + 1542 - 244. Is m composite?
True
Is 1/(2/9314) - -2 composite?
True
Let j = -115 + 120. Suppose -18956 = -j*d - 5871. Is d prime?
True
Let u(h) = -15*h**3. Let x be u(1). Is 724/6*x/(-10) composite?
False
Let n = -1829 - -3433. Suppose -3*c + n = -2479. Is c a prime number?
True
Suppose 0 = -11*p + 6*p + 19765. Is p composite?
True
Let u(i) = -892*i - 7. Is u(-3) a composite number?
True
Let i(n) be the first derivative of n**7/840 + n**6/24 + 11*n**5/120 + n**4/3 - n**3/3 - 4. Let h(p) be the third derivative of i(p). Is h(-7) prime?
False
Suppose -5*u = -5*y + 103 + 327, 5*y = 3*u + 436. Suppose -4*a + 290 = a - q, 5*q = -2*a + y. Is a composite?
True
Let p = -799 - -2898. Is p prime?
True
Suppose 2*c + o = -121, -o - 71 = c + 3*o. Let g = c + 15. Let t = 35 - g. Is t a prime number?
True
Let h(z) = -61*z**3 + 17*z**2 + 18*z + 33. Is h(-5) composite?
False
Let y = -9 - -16. Suppose -y*w - 2400 = -12074. Suppose -3*c + w = -289. Is c a prime number?
True
Let r be (51/(-9))/(1/(-15)). Let o = r - 36. Suppose -4*h + 55 = -o. Is h prime?
False
Suppose -1 - 4 = -t. Suppose 12*b - 4193 = -3*p + 8*b, -p + t*b = -1404. Is p a prime number?
True
Let k(l) be the second derivative of -1/4*l**4 + 2*l**2 - 2*l - 1/10*l**5 + 0 + l**3. Is k(-5) prime?
True
Let c = 6819 - 3260. Is c composite?
False
Let b(p) = -2*p**3 - p**2 + p + 2. Let o be b(-2). Suppose -9*s = -7*s + o. Is -1 - 180/(s/3) a composite number?
False
Suppose 5*h + 40 = 5*p, 28 = 5*p + 4*h - 3*h. Suppose p*w - 1088 = 376. Let m = -81 + w. Is m a prime number?
True
Is 19386/24 + 2/((-16)/6) prime?
False
Let j(b) = -b**3 + 3*b**2 - b + 2. Let g be j(2). Suppose 4*z + 3*t - 17 + g = 0, -19 = -5*z - t. Is (23/z)/((-10)/(-440)) a composite number?
True
Suppose -4*y - 4*c + 24 = 0, -3*y - 4*c + 22 = 2. Let a(l) = -y - 4 + 3 - l - 11*l. Is a(-6) a prime number?
True
Let o(a) = -5*a**3 - 10*a**2 - 17*a - 73. Is o(-16) prime?
True
Suppose -3*i - 3*w = -w - 32535, -4*i + w = -43391. Is i a composite number?
False
Let a(f) be the first derivative of -f**3/3 + 6*f**2 + 5*f - 6. Let x be a(12). Let n(z) = 21*z - 10. Is n(x) a composite number?
True
Let n(h) = 13*h + 2. Let g(p) = 7*p + 1. Let r(i) = 5*g(i) - 3*n(i). Is r(-14) prime?
False
Let u be (-17229)/(-21) + (-4)/(-7). Is u/(4 - (4 - 1)) composite?
False
Let y(s) = 185*s**2 - 10*s - 28. Let w be y(9). Suppose 4*v + 3*t = w, v + 0*t - t - 3708 = 0. Is v prime?
False
Suppose -88*k + 87*k + 2609 = 0. Is k composite?
False
Suppose 58*b - 49*b - 4995 = 0. Suppose -2*p + 2 = -0*p. Is p*b - (-7 + 5) a composite number?
False
Let j(w) be the third derivative of 1/120*w**6 - 1/20*w**5 + 0*w - 7/24*w**4 + 0 + 2/3*w**3 - 5*w**2. Is j(5) a composite number?
False
Let i = -63713 + 92276. Is i prime?
False
Suppose 203 = -2*q - 171. Is (-20)/(-30) - (-16)/(-6) - q a composite number?
True
Let z = -37 + 41. Suppose 3667 + 2300 = 5*t + z*f, -2*t + 2*f + 2394 = 0. Is t prime?
False
Suppose 0 = 4*n + 46 - 10. Let d(j) = -15*j - 4. Let f be d(n). Suppose -c + 0*c = -f. Is c composite?
False
Suppose 0 = 8*n - 12*n + 3*j + 972, -5*n + 1208 = -2*j. Let y(t) = -t**3 + 5*t**2 + 2*t + 5. Let c be y(4). Let r = n + c. Is r prime?
True
Suppose -38*j - 9496 = -46*j. Is j prime?
True
Let v(f) = 17*f**2 + 5 - 36*f**2 + 107*f**2 + 37*f**2 - 5*f. Is v(3) composite?
True
Suppose 2*u + 7*x = 3*x - 2188, -u - 3*x - 1099 = 0. Let p = 2249 + u. Suppose 0 = -2*b - 3*b + p. Is b composite?
False
Let b(z) = -z**3 + z**2 - z + 33. Let x be b(0). Let j(y) = -12*y**2 - 7*y + 8. Let r be j(1). Is (r/x)/(1/(-1623)) a prime number?
True
Suppose 88190 - 22543 = f. Is f a composite number?
False
Let t(j) = 3726*j**2 - 5*j + 4. Let q be t(1). Let x = q - 2184. Is x a composite number?
True
Is 4 + 10635 - (-11 + 13) a composite number?
True
Suppose -d = -4, -3*t + 3*d = -136469 - 176254. Is t a composite number?
True
Let t be (-2)/(-4)*-4*9. Let l = 102 + t. Suppose g - 61 = l. Is g composite?
True
Suppose -5*j + a - 2 = 0, 5*j + 0 = -5*a + 10. Suppose -2*r + 7*r - 65 = j. Let p = 102 + r. Is p a composite number?
True
Suppose 4*a = -3*k + 927 + 5168, -5*a + 6100 = 3*k. Is (-2 + k/(-10))*-2 composite?
False
Let m(z) = 3*z - 16. Is m(25) prime?
True
Suppose 5*v + 7808 - 39913 = 0. Is v prime?
True
Let j be -1 - (-5 + 3 + -8) - -1. Let b be (-39900)/(-65) + (-2)/(-13). Suppose -8*r = -j*r + b. Is r a prime number?
True
Let c be 4/(-14) - (-720)/70. Let i = c + 196. Is i prime?
False
Let n = 3903 - 2282. Is n a prime number?
True
Suppose -4*v + 3 = 15. Let z be (-6)/(-4)*(-8)/v. Suppose 956 = z*n - 4*t, -4*t - 10 = 6. Is n a composite number?
True
Let a(u) = 38*u + 29. Let i be a(11). Let k be (2/(-2))/(2/(-344)). Suppose -2*l + 3*f = -k, 4*l + f = -l + i. Is l composite?
False
Let h be (-3 + 25)/(1 + 1). Suppose -h*s = -12*s + 379. Is s composite?
False
Let g be 28/21 - 5/(-3) - -1. Suppose 2083 = 3*r - 5*h, -r = g*h + h - 721. Is r a prime number?
True
Suppose -j = 2*j - 6. Is (j/(-6))/(5608/(-5604) - -1) a composite number?
False
Let d be (-198)/(-27) - 4/(-6). Suppose d*n - 3*n - 20 = 0. Suppose -a + n*a + 2*i - 279 = 0, 0 = i - 3. Is a a composite number?
True
Let n(b) be the first derivative of 288*b**2 - 11*b + 24. Is n(4) a composite number?
False
Let l(o) = 1694*o**2 - 18*o - 33. Is l(-2) a composite number?
False
Let k = 10969 + -7806. Is k composite?
False
Let i(z) = -10*z**3 + 11*z**2 + 6*z + 16. Is i(-5) a prime number?
True
Let v be (-3)/(6/(-2)) + 0. Let i be (1547/(-14))/(v/2). Let g = -139 - i. Is g composite?
True
Let a(t) = t**3 - 3*t**2 - 3*t. Let l be a(4). Suppose 7*g = l*g + 8115. Is g a composite number?
True
Is 36724*(0 - 3/(-12)) a prime number?
True
Let f(y) = 43*y**2 - 11. Is f(6) a composite number?
True
Let z(r) = r**3 - 2*r**2 - r + 1. Let b be z(3). Suppose -3*p = 2*a - b, 2*p = -2*a + p + 13. Suppose 2*k = -a*w + 3*w + 1608, 3*k + 2*w = 2423. Is k prime?
True
Suppose g + 1156 = j, -3*j + 2*j = -3*g - 1154. Is j a composite number?
True
Let t(j) = 2 - 1 - 13*j + j**3 - 5 - 15*j**2. Let r be t(14). Is r/(-4)*2 - 0 composite?
False
Let l = -30 - -30. Suppose -2*a + 6*a - 20116 = l. Suppose -3*i = 4*m - 622 - a, 0 = 4*m + 2*i - 5646. Is m a composite number?
False
Suppose 0 = -5*d - 4*d + 27. Suppose 5*m = 3*m + 12. Suppose -p + 34 = d*z + p, -z - m = 5*p. Is z composite?
True
Is ((-3797)/2)/(2 - 20/8) prime?
True
Let q(u) = 183*u + 5. Let m be 6/(9*(-2)/(-12)). Is q(m) a prime number?
False
Let m be 15/2 + (-9)/(-6). Suppose 4*d + 12 = -c - 3*c, -m = c + 4*d. Is c/9*-3*57 composite?
False
Let y(r) = 335*r**2 - 6*r - 61. Is y(-8) a prime number?
False
Let t(u) = 448*u - 1. Let x(z) = -895*z + 1. Let f(w) = -7*t(w) - 4*x(w). Is f(1) a composite number?
True
Suppose -48 = -4*h - 8. Let u be 0 + (-2)/(4/h). Is (-372)/u - (-8)/(-20) a prime number?
False
Suppose x + 5 = 3*k - 47, -x + 5 = 0. Suppose 5*p - 3*d + 5*d = -70, -d + k = -2*p. Is (0 + -3)/(p/268) prime?
True
Let l(f) = 524*f - 263*f + 0 + 1277*f - 1. Is l(