2 + (-6 + p - -3) a composite number?
False
Is (((-256)/(-24))/16)/((-8)/(-571548) + 0) composite?
False
Let g = 28 + -26. Suppose g*l + 2*c - 1764 = 0, -2*l + 1729 = c - 6*c. Is l composite?
False
Let v(t) = 338*t**2 - 166*t + 4015. Is v(26) composite?
True
Let f = 236843 + -66640. Is f composite?
True
Suppose 3*i = -3*z + 8*i - 1, -3*z - 2*i + 13 = 0. Suppose 12 = z*f + f. Suppose -4*a + 0*g + 803 = g, 0 = 2*a - f*g - 419. Is a prime?
False
Is 1258/3145*353810/4 a composite number?
False
Let u(t) = 2473*t**2 + 14*t - 36. Is u(-7) a composite number?
True
Let y = -145 - -120. Is (3 - (-80)/y)/(3/(-51105)) a prime number?
True
Let n(a) = a**3 - 8*a**2 + 7*a + 4. Let m be n(7). Suppose -k = m*s - 231, 3*s - k - 172 = -3*k. Let c = s + -21. Is c a prime number?
True
Is 25858371/231 - (1 - -3) composite?
True
Suppose 0*p - 41025 = -15*p. Suppose 978*m - p = 973*m. Is m composite?
False
Suppose 72225 = -11*c + 12*c + 5*m, 3*c - 5*m - 216715 = 0. Is c a composite number?
True
Suppose 5*v = 4*g - 8249, -v + 2*g = 465 + 1180. Let t = 3806 + v. Is t a prime number?
True
Let b(t) = -10*t**3 + t**2 - 2*t + 3. Let i be b(1). Let l(g) = -10*g**3 - 7*g**2 - 6*g + 7. Is l(i) a composite number?
True
Is (-46)/(-23)*(-755032)/(-16) prime?
True
Let j be 12*-2*1/(-8). Let f be (33/22)/(j/10). Suppose 0 = -4*y - 0*v + 3*v + 1228, f*v = -3*y + 921. Is y a composite number?
False
Suppose 0*d + 1100 = -5*d. Let u = d - -462. Suppose 0 = 2*p - 0*p - u. Is p composite?
True
Let i(x) = 180*x + 101*x - 44*x + 39 + 17*x. Suppose -5*r = 410 - 430. Is i(r) a composite number?
True
Let a = 2183 - 555. Let y = -6 - -13. Suppose 0 = -3*o + y*o - a. Is o composite?
True
Let f(r) = 16340*r - 783. Is f(4) prime?
True
Suppose 2*f + 2*r = 0, -4*f + 5*r + 45 = -0*f. Suppose -5*s - 20 = -5*d, -f*d = -s - 5 + 1. Suppose d = p - 7*p + 582. Is p a composite number?
False
Let x be 9690/1 - 5/(10/12). Suppose 0 = 3*j - 5*l - 9668, 16*l = -3*j + 13*l + x. Is j a composite number?
True
Let l(a) be the third derivative of -7/40*a**6 + 0*a + 1/6*a**4 + 24*a**2 + 11/6*a**3 + 0 + 1/30*a**5. Is l(-4) a composite number?
True
Let h be 2/4 + (-166)/(-4). Let b = -46 + h. Is b/6*846/(-12) a prime number?
True
Let o(y) = -4*y + 9. Let k(f) = f**3 - f**2 + f. Let d be k(0). Let c be o(d). Suppose -2*m = -c*m + 58009. Is m composite?
False
Let r = -374 + 479. Suppose -s + 349 = -4*b - r, 2*s = 3*b + 898. Is s composite?
True
Suppose 0 = s + 3*x - 7001, -6997 = -s - 3*x - x. Suppose 0 = -6*a + s + 1045. Is a prime?
False
Let o(c) = -c**3 + 16*c**2 + 42*c - 41. Let z be o(19). Suppose 3*d = 6, -9*b + d - 42 = -4*b. Is 1/(-2)*z*(5 - b) composite?
True
Let b(k) = -4*k**3 + 8*k**2 + 11*k - 9. Suppose -2*o = 24 - 12. Let v be b(o). Let n = -760 + v. Is n prime?
True
Let y(b) be the second derivative of -52*b**3/3 - 19*b**2/2 - b. Let u be (-2 + (-102)/(-12))/(2/(-4)). Is y(u) a composite number?
True
Let q(h) = 66591*h + 301. Is q(8) composite?
True
Suppose -2*r - 4*k = -16, -4*r + 4*k + 44 = -0*r. Suppose 2*u = -2*o + r, 3*u = -4*o - 2*u + 22. Suppose -o*a = -4*a + 1087. Is a prime?
True
Let t be (-2 - (-31 - 3)*-8) + -2. Suppose -5*u - 4*s = 2363, -5*s = 7*u - 3*u + 1885. Let h = t - u. Is h a composite number?
False
Let x(b) = 9*b**3 - 45*b**2 + 143*b + 613. Is x(68) composite?
True
Let b(q) = 20598*q**3 - 13*q**2 + 17*q - 5. Is b(1) prime?
False
Let n = 319 + -334. Let w(k) = 6*k**2 + 16*k - 28. Is w(n) a prime number?
False
Let o(h) = -h**3 + 58*h**2 + 143*h + 233. Is o(53) composite?
True
Suppose -13*p + 166996 = -9*p - 3*f, 3*p - 3*f - 125250 = 0. Is p composite?
True
Let v(r) be the second derivative of 14*r**4 - r**3/2 - 2*r**2 + 7*r. Suppose 4*b = -5*b - 27. Is v(b) prime?
False
Suppose -46*s + 775543 + 854559 = 0. Is s prime?
True
Let y = 2687 + 1752. Suppose -4*q + p + y = -5600, 12542 = 5*q + p. Is q prime?
False
Let z = 303008 - 171313. Is z prime?
False
Let x(g) = -g**3 - 11*g**2 + 8*g - 35. Let s be x(-12). Suppose 5*i + 93685 = -8*p + s*p, 2*p = -5*i + 37502. Is p prime?
False
Suppose 163814 = 2*h - 4*c, -2*h - 3*c + 43689 + 120139 = 0. Is h prime?
False
Suppose 15*d + 2*d - 1530275 = -8*d. Is d composite?
False
Let x = 96416 + -52231. Is x a prime number?
False
Let a(z) = -45991*z - 1095. Is a(-2) a composite number?
False
Let y be 84/22 + 70/385. Suppose 0 = -y*t - 10*d + 11*d + 39486, d - 39482 = -4*t. Is t a prime number?
True
Let a(l) = 894*l**3 + 11*l**2 - 13*l - 9. Is a(7) a prime number?
False
Let w be 3*(-2 - (-804)/9). Suppose -3*d + 1496 = 1091. Let p = w + d. Is p a prime number?
True
Let y = 540570 + -112757. Is y composite?
False
Let b(r) be the third derivative of -7*r**4/24 - 4*r**3 - 6*r**2 + r. Is b(-13) prime?
True
Let f = -1638 + 10955. Let c = f - -1050. Is c prime?
False
Let z(w) = -342*w - 337. Let a = -274 - -266. Is z(a) prime?
True
Let k(m) = 85*m**2 - 435*m - 109. Is k(-39) prime?
True
Let j = -298 + 300. Suppose -j*g - 10887 = k - 6*k, k - 2175 = g. Is k a prime number?
True
Suppose 3590*w + 1317197 = 3597*w. Is w composite?
False
Let o = -241151 - -1177770. Is o composite?
False
Is 3155/(-2)*4/(-12)*6 prime?
False
Let k = 89 - 85. Let s(g) = -19*g - 7*g**2 + 66 + g**2 + k*g**2 + 4*g**2. Is s(25) a composite number?
True
Let d = -172252 + 385821. Is d composite?
True
Let h(d) = 15*d**3 - 47*d**2 + d - 15. Let j(u) = -u - 12*u**2 + 2*u**3 - 12*u**3 + 10 + 43*u**2. Let k(m) = -5*h(m) - 8*j(m). Is k(4) a composite number?
True
Let z = -37 + 49. Suppose -z = -5*l - l. Is -1*l*(-1942)/4 a composite number?
False
Let l(t) = -3 + 3*t**2 - 18 - 10. Let d(u) = 5*u**2 + 110*u - 10. Let r be d(-22). Is l(r) composite?
False
Suppose 81*s - 215*s = -404027 - 63183395. Is s prime?
True
Let h = 153 - 77. Suppose -h*p + 74*p + 3386 = 0. Is p a prime number?
True
Is (-29 + 86/3)*-330509*3 a composite number?
False
Let f(k) be the second derivative of -284*k**3/3 + 13*k**2/2 + 5*k - 23. Is f(-7) a prime number?
True
Let t(p) = 80*p**2 - 1. Let a be (-370)/(-8) + -1 - 9/(-12). Suppose -r = -44 + a. Is t(r) a composite number?
True
Let u(v) = v**2 - v - 34. Let y be u(-5). Let i = -12 - y. Is -1191*(i/(-12) + -1) prime?
True
Let f = -3622 - -5492. Suppose 2340 = 2*g - 4*q - f, -2*g = -q - 4201. Suppose 16*a = 15*a + g. Is a composite?
False
Suppose -27*w + 33*w = 3813054. Is w a composite number?
True
Let j(m) be the first derivative of m**3/3 + 7*m**2/2 - 7*m + 23. Let h be j(-8). Is (192 - h) + 0/8 a prime number?
True
Let o(i) = 45718*i - 407. Is o(4) a prime number?
False
Suppose -p + 423 = u, 4*u - 4*p + 0*p - 1676 = 0. Let m = 45 + -87. Let k = u + m. Is k prime?
True
Suppose -k + g + 569058 = 0, 0*k = k - 5*g - 569058. Is (-5)/((-75)/(-6)) - k/(-70) prime?
False
Is 62/(-279) + (-30233)/(-9) composite?
False
Let j(v) = v**3 - 14*v**2 + 15*v - 19. Let m be j(13). Suppose m*i - 38652 = -5*i. Is i prime?
True
Suppose 76*t - 69*t - 28 = 0. Let r(d) = 54*d**3 + 2*d**2 + 3*d - 9. Is r(t) prime?
True
Let v(f) = -23*f**3 - 4*f**2 - 181. Is v(-12) a composite number?
True
Is (-165039655)/(-16853) - (15/38 + 2/(-4)) prime?
False
Is (-44512 + 2 + -8)*2*6/(-24) composite?
False
Suppose -68*t + 90457250 - 9074238 = 0. Is t composite?
False
Let g(r) = 36*r**2 + 10*r - 8. Suppose -h + 3 = -y + 7, 0 = -4*h. Let m be g(y). Suppose 5*q = 2097 + m. Is q a prime number?
True
Suppose 46*b - 9960693 = -1367111. Is b a composite number?
True
Let w(s) = -30272*s + 4825. Is w(-8) a prime number?
True
Let v = -45 + 65. Let n = v - 16. Suppose n*h - 5479 = 1149. Is h a composite number?
False
Let j(m) = 9*m**2 + 602*m - 5526. Let g be j(9). Let i be (-176)/5*1*5. Let s = g + i. Is s a prime number?
False
Let z(a) be the third derivative of 79*a**4/12 + 3*a**2. Suppose 7*l - 2*l = 5. Is z(l) composite?
True
Let l be (-1)/(5/(-295)*1). Suppose l*s - 52*s - 4711 = 0. Is s prime?
True
Suppose 3*x - o - 16 - 18 = 0, -3 = 3*o. Let w(b) be the third derivative of 47*b**4/12 - 49*b**3/6 - 153*b**2 - 2. Is w(x) a composite number?
True
Let w = 11298 - 5429. Let a = w - 10745. Is (3/(-2))/1*a/6 a composite number?
True
Let y(h) = 3*h**3 + h**2. Let m be y(-1). Let w be (-3 - -2)*-157 - m. Is (2 - w)/(2*2/(-4)) composite?
False
Let y(m) be the first derivative of -m**7/280 - m**6/36 - m**5/60 - m**4/4 - 10*