9*s + 68. Let r = -451 + 466. Is a(r) composite?
True
Suppose 0 = 5*k - 72*f + 75*f - 258359, -3*k + 155011 = 4*f. Is k composite?
False
Let h(i) be the second derivative of -185*i**3/2 + 11*i**2 + 31*i. Is h(-5) a prime number?
True
Let b = 52262 - -2099. Is b a composite number?
False
Suppose 2*z - 6*z - 3*n = 34591, -5*z - n = 43236. Let t = z + 12768. Suppose -26 = -11*j + t. Is j a prime number?
False
Let k be 4 + (-92)/(-12)*9. Let v = -74 + k. Is v - (-259 - -2) - -3 a prime number?
False
Suppose -5*d + 2*d - 3*k + 2007 = 0, 2019 = 3*d - 3*k. Suppose s - 5 = -3*n, -2*s = 4*n - s - 7. Suppose -1517 = -n*q + d. Is q composite?
True
Suppose 2*v + 0*r = 3*r - 15339, 3 = r. Let q = -5452 - v. Is q a composite number?
False
Let o be 57/18 - 12/72. Let v(i) = -6 + 209*i + 3 + 5. Is v(o) a composite number?
True
Suppose 5*o = 3*p + 40, 5 = 4*o + 67*p - 64*p. Suppose -4*k + 5*f = -6611, -4573 - 3657 = -5*k - o*f. Is k a prime number?
False
Let g = 609088 + -424349. Is g composite?
True
Suppose 213 = 6*o + 195. Suppose -4*d - 1270 - 2304 = -2*a, -o*d = -5*a + 8900. Is a a prime number?
True
Let u(n) = n**3 + n**2 - 2*n. Let i be u(-3). Let a be (i/12)/(2/(-2058)). Suppose 0 = j + 2*t - a, 2055 = 2*j - t + 2*t. Is j a prime number?
False
Let r = 756895 + -410102. Is r prime?
True
Suppose 2*j - 226 + 210 = 0, 0 = -3*g + 5*j + 413861. Is g prime?
False
Let q be -1 + (-6)/(-14) + (-4)/(-7). Suppose v = -5*a + 3*v + 8673, q = a + 5*v - 1740. Is a prime?
False
Suppose 2*c + 46*l - 47*l - 1431628 = 0, -3579037 = -5*c - 3*l. Is c prime?
True
Let z(y) = 151*y + 5. Let q(d) = 5*d + 7 + 1 + d**2 + 2 + 2. Let x be q(-3). Is z(x) prime?
True
Let n(c) = 2*c + 4 - 3 + 51*c**2 + 0. Let x = -333 + 335. Is n(x) prime?
False
Suppose 19420 = 26*m - 91314. Is m a prime number?
True
Suppose -1363 = 6*h - 47395. Suppose -d = -3*l + 7688, -3*l - d + h = -6*d. Let a = l - 1561. Is a prime?
False
Suppose -140323 = -u + 2*m, -2*m + 33707 - 314347 = -2*u. Is u prime?
True
Is (((-1050)/20)/21)/((-40)/265648) composite?
False
Let i = -52199 + 90742. Is i composite?
False
Suppose 2*y - 74065 = -n, 4*n - 296208 = 19*y - 14*y. Is n a prime number?
False
Suppose 51 = 6*k - 3. Is (14/(-6))/(k/(-8289)) composite?
True
Suppose 216*o - 34347250 = 2975174. Is o a prime number?
False
Is 19052644/338 + 3/13 prime?
True
Let n = 38 + -30. Let k = n + 46. Let u = k + 13. Is u composite?
False
Let a(c) = 4*c + 4. Let v be a(-3). Let w be (-764)/v*3*2. Suppose 0 = 2*b - w - 601. Is b prime?
True
Let o = 28312 + -19075. Is o prime?
False
Is (-195612)/24*(-86 - 8) a prime number?
False
Suppose -6*h + 21 = h. Suppose h*v - 5*w = 3473, -3*w + 2960 - 670 = 2*v. Is v a prime number?
True
Let t(x) = 27*x**3 + 34*x**2 - 127*x - 1. Is t(5) a prime number?
False
Let x(l) = -6934*l - 391. Is x(-38) composite?
False
Let z(q) be the third derivative of 303*q**5/40 + 11*q**4/24 - 11*q**3/6 - 28*q**2. Let t(s) be the first derivative of z(s). Is t(4) composite?
True
Suppose 28*p + 28*p + 36980072 = 64*p. Is p a prime number?
True
Let b = 17 + -12. Suppose -1247*q + 14415 = -1242*q. Suppose 2*o = b*o - q. Is o composite?
True
Let x(s) = -3*s**3 - 6*s**2 + 33*s + 122. Is x(-15) composite?
True
Let c = 375 + -373. Suppose -5*z + 3*o = -175, -c*z - 3*o + 140 = 2*z. Is z prime?
False
Let d(s) = s**2 + 2*s**2 - 18 + 6*s + 5*s**2 + 53 - 5*s**2. Is d(-4) prime?
True
Let t(a) = -30100*a - 581. Is t(-6) a composite number?
True
Suppose 4*h = 31*h - 37017. Is h composite?
True
Suppose -2*c = -3*c + 2*x + 12, -2*c + 9 = -x. Suppose -2*m + 10825 = 2*t - m, -3*m = -c*t + 10821. Suppose 4*i = 16*i - t. Is i composite?
True
Let x = -42462 - -75965. Is x composite?
False
Let r = -202 + 501. Let i(s) = 6*s**3 + 2*s**2 + 2*s - 6. Let a be i(4). Let x = a - r. Is x a prime number?
False
Let x(b) = -b**3 + 22*b**2 - 16*b + 9. Suppose c - 3*l = 12, c + 36 = 4*c - l. Is x(c) prime?
False
Let z = -141953 + 237988. Is z prime?
False
Suppose 5*m + 54 = -36. Let h = -20 - m. Is -2 + 3135/6 + h/(-4) a composite number?
False
Suppose 0 = 3*k - 28 + 25. Suppose -2*h - k = -3. Is h/7 + (-3 - 2236/(-28)) a prime number?
False
Let v = -292 + 312. Is (-5)/2*(-3066 + v) a prime number?
False
Let h be (0 + 1)/2*-26. Let x(u) = 67*u**2 - 4*u + 2. Let z be x(h). Suppose -5*f + z = -2*f + b, -b = -5*f + 18967. Is f a composite number?
False
Let v = -24 + 28. Suppose -u = 4*u - 5*z - 1725, v*u - 3*z = 1375. Suppose -u + 2165 = 5*j. Is j composite?
True
Suppose 6*q - 2*d + 6 = 4*q, 3*d - 9 = -5*q. Suppose -3*h + 5*f = -10952, q*h - 14626 = -4*h + 2*f. Is h prime?
True
Let a(t) = -t**3 - 17*t**2 - 80*t - 131. Is a(-44) a composite number?
False
Suppose -4*c = 2*p - 58, -4 + 14 = c - 4*p. Let i = -603 - -1504. Suppose -c*m + i = -765. Is m prime?
False
Suppose -4*w + 1 = -71. Is (-2 + 42/w)*2229 a composite number?
False
Let r(b) = -5*b + 2*b - b**2 + 13*b - 22. Let v be r(6). Suppose -156 - 2450 = -v*x. Is x composite?
False
Let z = -22 + -2. Let d be z/(-18) - (5/(-3) + 1). Is (((-3297)/d)/3)/((-32)/64) prime?
False
Let a = 3080906 + -1987315. Is a prime?
True
Let q be (8/3)/(11/(-51546)*-11). Suppose 5*c - 3851 = -3*o, -o = -5*c + q + 2707. Is c a prime number?
True
Let d(z) = z**2 - 10*z + 19. Let y be d(13). Is 2*y/(-6)*(-426)/4 a prime number?
False
Let w(f) = 6506*f**3 - 6*f**2 + 5*f - 3. Is w(2) a prime number?
False
Suppose -7*x = -2*a - 1632967, -x - 5*a + 115805 + 117439 = 0. Is x composite?
False
Let r(z) = 1713*z + 18. Let a be r(15). Suppose -a = -14*y + 11*y. Is y a composite number?
True
Let i(o) = 2*o**2 - 64*o - 39. Let j = -211 + 245. Is i(j) a prime number?
True
Let s(w) = 22*w + 22. Let h be s(-6). Let o = -106 - h. Suppose 0 = -18*n + o*n + 6286. Is n a prime number?
True
Let i = -24559 - -52386. Suppose 2*k - i = -3*j, 8*j - 4*j + 4*k = 37100. Is j prime?
True
Let l(f) = 3*f**3 + 8*f**2 - 2*f - 16. Let x be l(-12). Let y = 6603 + x. Is y a prime number?
True
Let w(a) = -a**2 - 4*a + 12. Let q be w(-5). Suppose 3*o - q = 11. Is (-1 - o/4)*13504/(-32) a prime number?
False
Let v(k) = 80*k**2 + 3*k + 2. Let p be (-5)/((-25)/(-10)) + 1 - -4. Is v(p) a prime number?
False
Suppose -763 = 6*g + 5*n - 822, 5*g + 2*n = 34. Let c = 4 + -1. Suppose 0 = c*d + 12, -g*a - 5*d + 201 + 55 = 0. Is a composite?
True
Suppose 85*y = 107*y - 44. Is y + (-52)/24 + 16334/12 composite?
False
Let w = -19646 + 27643. Is w a composite number?
True
Suppose 0 = 20*l - 22*l + 1732. Suppose 0 = 3*y + 3*a - 1326, 2*y - 4*a = -0*y + l. Is y prime?
True
Let z(r) = 1502*r**2 - 9*r - 38. Let g be z(16). Suppose -13*f = 17*f - g. Is f a composite number?
True
Let v(d) be the third derivative of -d**6/30 - 13*d**5/60 + 13*d**4/24 + 4*d**3/3 + 18*d**2. Is v(-10) a prime number?
False
Suppose 5*z - 7*a + 6*a - 38 = 0, -5*z + 32 = -4*a. Suppose 0 = z*b + 287 - 13487. Suppose 3*l + 5*h - 6*h = b, h + 1099 = 2*l. Is l composite?
True
Let k be 0/(3*2/(-6)). Let n(s) = -3*s**2 + 5359. Is n(k) a composite number?
True
Suppose 120 = -3*m - 87. Let n = 118 + m. Suppose 0 = n*z - 50*z + 2309. Is z composite?
False
Let l = 37 - 39. Is l*(-3 - 0 - 20964/24) prime?
True
Suppose 7 = m + 5. Suppose -5*y + 1480 = -950. Suppose m*a + 0*c + 2*c = y, -5*c = -4*a + 936. Is a a prime number?
True
Let s(d) = -d**2 + 2*d + 7. Let l be s(-3). Let u(w) = -5*w**2 - 9*w - 50. Let q be u(l). Let v = 425 + q. Is v a prime number?
True
Let p be -20*1902/132 - 2/(-11). Is 1 - p - (-12 + 10) composite?
True
Let j(b) = 8*b**2 - 37*b - 2. Let r be j(-27). Let v = r + -2070. Is v a prime number?
True
Suppose 41*r + 57481 = 4949733 + 408105. Is r a composite number?
False
Suppose 3*h = 102*w - 98*w - 1217507, -7000554 = -23*w - 5*h. Is w a composite number?
False
Let j(l) = 3233*l**2 + 46*l + 449. Is j(-8) a prime number?
True
Let f(z) = -z + 16. Let a be f(6). Let v(m) = -10*m**2 + 9*m + 6. Let y be v(a). Let b = -609 - y. Is b a composite number?
True
Suppose -5*r = -0*r. Suppose -11*c + 18*c = r. Suppose -5*b - 2*g = -905, c*b + 2*g - 726 = -4*b. Is b a composite number?
False
Suppose -f - 2*c = 49, 175 = -4*f - 2*c + c. Let p = 51 + f. Suppose -p*k = -796 - 172. Is k prime?
False
Let n be -2095 - ((-64)/32)/((-2)/(-3)). Let z = 4338 + n. Is z composite?
True
Suppose 0 = -11*s - 20*s - 26226