+ 3*q. Is a(w) a prime number?
True
Let l be 29/((-4)/24*3). Let t = l + 62. Suppose 4*p - 586 = 4*c - 9*c, 0 = -t*p - c + 594. Is p prime?
True
Let p(c) = -21301*c - 8458. Is p(-15) composite?
True
Suppose 32*u + 557335 = 23368055. Is u a composite number?
True
Let k = -7533 + 13950. Suppose -2*d = d - k. Let q = -1250 + d. Is q a prime number?
False
Suppose 1 = -q - 2*o, 11 = -3*q + 6*o - 4*o. Let w be ((-24)/q)/(6/324). Let c = -13 + w. Is c a prime number?
True
Let t = -309708 - -778975. Is t a composite number?
False
Let m = 29898 - 16871. Suppose -3*l + m = -3*i + 484, 5*l + i = 20917. Is l composite?
True
Let r = -666445 + 1486482. Is r composite?
False
Suppose -7894 = -2*i + 4*x, -2*i - 3*i + 19765 = -4*x. Is (0 + i)*(-12 - 444/(-36)) a prime number?
True
Suppose -183*f = 4*f - 105467813. Is f a prime number?
True
Let o = -25 - -17. Let b be o/52 + 56/26 + -2. Is (b + -2)*(1221/(-6) + -1) a prime number?
True
Suppose -3*c - 9 = -3*h, 0*h - 3*h + 9 = -2*c. Suppose r + h*v - 4 = 0, -4*r - 9 + 36 = v. Suppose 0 = -r*k + 479 + 102. Is k prime?
True
Suppose -5*y + 11*y = 0. Suppose -3*r - 84 + 99 = y. Is (-685)/r*(-4 - -1) prime?
False
Let y(t) = -17*t**3 - 30*t**2 + 31*t + 283. Is y(-19) composite?
False
Suppose -6*w - 14 = -13*w. Let d be (-3 + w)/2*(-2 + -2). Suppose -298 = -r - 4*j + 3*j, d*j - 303 = -r. Is r prime?
True
Let s(m) be the third derivative of 1/2*m**3 - 7/12*m**4 + 0*m - 15*m**2 + 0 + 109/60*m**5. Is s(2) a composite number?
True
Suppose -13*r - 31*r = 68376. Let z = 4987 + r. Is z a prime number?
True
Suppose -12*m + 6364 = -14*m. Let k = m - -5697. Is k a composite number?
True
Suppose 0 = k - 5*m + 57 - 11, -80 = 5*k + 5*m. Let w = 28 + k. Suppose -w*n + 2658 + 1220 = 0. Is n a composite number?
True
Is ((-22)/44)/((-311575)/103858 - -3) prime?
True
Let n(a) = -50*a + 19. Let o(u) = u**2 - 4*u - 27. Let m = -20 - -27. Let c be o(m). Is n(c) prime?
False
Is 3/2*((-145639364)/78)/(-31) a prime number?
False
Suppose 10*y - 2761830 = 1265007 - 583687. Is y a prime number?
False
Suppose f = 4*l - 2342157, 3*f + 30 = 51. Is l prime?
False
Let g be 1/(-3) + 3 + 10936/(-24). Let m = -319 - g. Let b = 77 + m. Is b a composite number?
False
Let x be (1 + (0 - 1))*54/(-108). Suppose x = 4*u + 4, -5*u = -0*b + 4*b - 335. Is b composite?
True
Let z(h) = -133*h**3 + 6*h**2 + 3. Let r be z(5). Is ((-3)/(12/r))/2 a prime number?
False
Let j(u) = -9*u**2 + 3*u**2 - 4 + 4*u + 32*u**3 + 9. Let w(x) = x**2 + 27*x + 4. Let t be w(-27). Is j(t) composite?
False
Suppose -3*o = -2*k + 148517, k - 29291 - 44971 = 5*o. Is k a prime number?
True
Let x = 2150 - 1505. Suppose -3*c = -5*n - 422 + 16, 5*c - x = 2*n. Is c composite?
False
Let d(x) = 3*x**2 + 18*x + 3. Let v(s) = -2*s**2 - 17*s - 2. Let y(z) = -4*d(z) - 5*v(z). Let n be y(6). Is n - (-1140 + -3) - 5 a prime number?
False
Let h(d) be the second derivative of 11*d**4/3 + 2*d**3/3 + 5*d**2 - 19*d. Suppose 4*s + 1 + 11 = 0. Is h(s) a composite number?
True
Suppose 3*r + 2*q = 120, -q + 120 = 3*r - 0*q. Let d = -140 - -142. Suppose -d*y - r = -6*y. Is y prime?
False
Let h be (1*-2)/(88/(-220)). Suppose 95392 - 9567 = h*y. Is y prime?
False
Suppose 52*h = -0*h + h + 21481353. Is h a composite number?
True
Is ((-4194)/315*7)/(4/(-110)) composite?
True
Let m be 2*-3 - (5 - 2). Let p be -293*-6*3/m. Is (p/5)/(18/(-45)) prime?
True
Let g(a) = -251318*a + 2397. Is g(-5) prime?
False
Let b(n) = n**3 - 6*n**2 - n + 9. Let c be b(6). Let d be -37*(-4)/c + (-21)/63. Suppose 0 = l - d - 696. Is l composite?
True
Suppose -4*c + 241105 = -5*s - 309579, 5*c - 688353 = 6*s. Is c composite?
True
Let k(p) = -p**2 + 25*p - 64. Let z be k(22). Suppose 0 = w - z*t - 1931, 0 = -87*t + 89*t. Is w composite?
False
Let f(c) be the second derivative of 17*c**4/6 + 8*c**3 + 31*c**2/2 + 4*c - 34. Is f(20) prime?
True
Let f(p) = 3*p**2 + 3. Let j(g) = g**2 + 1. Let r(a) = 4*f(a) - 11*j(a). Let h be r(1). Suppose 0*b + 2*c + 407 = b, -h*b + 2*c = -810. Is b prime?
False
Let j(h) = 87644*h + 163. Is j(1) a prime number?
False
Is (-1)/(3 - (-365964)/(-121986)) - 8 a composite number?
False
Let s(p) = -3*p**3 + 30*p**2 - 30*p + 29. Let g be s(9). Let h(q) = q + 30*q**2 + 1 - 2*q - 9*q**2. Is h(g) prime?
True
Let b be (-184)/(-69)*(-1 - (-5)/2). Is (-206740)/(-140) + b/14 a prime number?
False
Let t(o) = 15*o + 10*o**2 + 19 - o - 7*o**2 - 23*o. Let n be (92/(-8))/(1/(-2)). Is t(n) prime?
True
Is 2*((-1)/2 + (1 - -71843)) a prime number?
True
Let c(v) be the second derivative of v**6/180 + v**5/6 - 11*v**4/24 - 4*v**3 + 13*v. Let a(n) be the second derivative of c(n). Is a(-19) a composite number?
False
Suppose 10 = 5*h + 5. Let l be ((-8063)/(-44))/(h/4). Let u = -206 + l. Is u a prime number?
False
Suppose -6*h + p - 6277160 = -21898206, 4*p = 5*h - 13017513. Is h prime?
True
Is ((-185)/(-30) - 6)/(1/2650722) a composite number?
False
Suppose 2*j - 3*t + 503 = 6*j, -229 = -2*j + 3*t. Suppose -118*d = -j*d + 4348. Is d prime?
True
Is 3/((-231)/(-14)) - (132722/(-22) - 5) prime?
False
Suppose -2*y + 3*y = n + 8, 2*y - 5*n - 7 = 0. Suppose 5*c + 15 = 5*i, -7*i - 12 = -y*i. Suppose c = 9*d - 16*d + 15071. Is d a composite number?
False
Let k be 3 + (-6 - 3) + 3. Let i be -5 + (-21)/k + -1199. Let j = 932 - i. Is j a composite number?
False
Let s(o) = -5352*o + 5785. Is s(-25) prime?
False
Let w(y) be the first derivative of 31*y**3/3 + 8*y**2 - 93*y + 23. Is w(8) a composite number?
True
Let c be (341 + 16)*(-38)/(-1). Let i = c - 6011. Is i a prime number?
False
Let d = 5034 - -33605. Is d a composite number?
False
Let o = 262 + -283. Is ((-280)/o)/20 + 8779/3 prime?
True
Suppose 0 = -4*w - 41798 + 4470. Let l = -3381 - w. Is l composite?
True
Suppose -s + 5*s - 2004 = 2*z, 2*s + 4058 = -4*z. Let x = z - -2241. Is x a composite number?
False
Let r = 336 - 335. Is (0 - r/(-2))*12938 a prime number?
True
Let i = -2909 + 4692. Let q = i + -905. Is q composite?
True
Let v = 20 - 20. Suppose v = l - 6*l + 4*f + 3, 0 = 5*l + 4*f + 13. Is (-10)/(-35)*l + 7167/21 composite?
True
Let i(j) = -6155*j**3 - 66*j**2 - 258*j + 5. Is i(-4) prime?
True
Suppose -42*d + 5342627 = -11261947. Is d prime?
False
Let o(z) = z**3 - 9*z**2 + 8*z + 1. Let j be o(8). Let r be (j - (-4)/(-8))*126. Suppose -5*t = -5*w - 2345, -w + r = -4*t + 1933. Is t prime?
True
Let g = 175 + -172. Suppose 0 = 2*o + 5*s - 1923, o = -g*s - 280 + 1239. Is o prime?
False
Suppose -1165906 = 17029*w - 17043*w. Is w prime?
False
Is 12/14*-7 + 20855/1 a composite number?
False
Let k(g) = 27*g + 29 + 9 - 2 - 2 + 2*g**2. Let z be k(-17). Suppose z + 138 = 3*j. Is j a prime number?
True
Suppose 24 = -3*s - h + 4*h, 4*s + 32 = -h. Let l(r) = -r**3 - 8*r**2 - r - 10. Let b be l(s). Is 1521 + (4 + 4)/b a composite number?
True
Suppose -72*d - 8 = -71*d. Is (-4)/20*282760/d a composite number?
False
Suppose -210*t + 2*p = -215*t + 2898327, 4*p = -16. Is t a composite number?
True
Let g(o) = -201*o**3 - 5*o**2 + 6. Let k be g(3). Let l = -2947 - k. Is l composite?
True
Let p be (-2)/((-48)/(-9) + -6). Suppose -l + 3*n + 149 = -141, 5*l = p*n + 1462. Is l a prime number?
True
Let w be 183/305 - (-3304)/10. Suppose 0 = 5*n + 4*d - 1679, -3*d + 7*d = n - w. Is n a composite number?
True
Let v(r) = -r**3 - 9*r**2 + 5*r. Let i(n) = n**3 + 10*n**2 - 5*n - 1. Let l be 3/7 - (-217)/(-49). Let q(d) = l*i(d) - 5*v(d). Is q(-3) a prime number?
True
Is (6538252/147 - -5) + (-10)/(-105) composite?
False
Suppose m + 2*i = 260619, 3*m - 2*i = -0*i + 781825. Is m a composite number?
True
Suppose 0 = 4*k - 234 - 602. Suppose 0 = 3*j - 784 - k. Is j a prime number?
True
Suppose 2*p - 6*p + 852 = 0. Let o = 22 - p. Let z = o - -294. Is z a composite number?
False
Let a(j) = 5123*j**2 + 182*j - 27. Is a(10) composite?
False
Suppose 89*b = 67*b + 232958. Is b prime?
True
Let f(s) = 7*s**2 + 30*s - 28. Let n be f(24). Let c = n + -288. Suppose 996 + c = 4*j + 3*p, -2*j + 2734 = -3*p. Is j a prime number?
True
Let g(z) = 151048*z**2 + 23*z - 1. Is g(-2) prime?
False
Suppose 2*g = 2*s - 12 - 54, -s - 4*g + 53 = 0. Suppose 5*p = -10, -s*t + 4*p = -32*t - 8203. Is t a prime number?
False
Let c be (42/(-5))/(-2) - 13/65. Suppose 1005 - 12009 = -c*u + i, -4*i = 3*u - 8253. Is (u/(-6) - 2)*(-8)/6 prime?
Fal