623*a + 3689. Is a prime?
False
Let z(g) = 0 + 5 + g**2 - 2 + g + g. Let j be z(-2). Suppose 6*a = 2*a - 5*m + 69, -j*a + 69 = -2*m. Is a composite?
True
Let h(p) = 3381*p**2 - 7*p - 15. Is h(-2) a prime number?
True
Let u be (1*-6)/(-2) - (-1790 - 8). Suppose 3*l = -5*i + 2943, -4*i + u + 543 = 5*l. Is i composite?
True
Let n(u) = 4*u**2 + 6*u - 5. Let i(x) = 0*x - x**3 + 4*x + x + 3*x**2. Let c be i(4). Is n(c) a composite number?
False
Let p be (-9 + (-4 - -1))/(-2). Let w(k) = -42*k**2 + 3*k - 20. Let t(s) = 83*s**2 - 7*s + 41. Let f(u) = -3*t(u) - 7*w(u). Is f(p) composite?
False
Let d(s) = -s + 29*s**3 + 1 - s - 19*s**3. Suppose 8 = o + 3*o. Is d(o) prime?
False
Is (9 + -6 - -50)*5 composite?
True
Let o(p) = p**2 + 2*p + 2. Let u be o(-2). Let x = u + 10. Suppose -x*m + 13*m - 19 = 0. Is m a prime number?
True
Let z = -1849 - -9662. Is z prime?
False
Suppose 693 = -3*z + 10*z. Let l = -174 + z. Let o = l - -232. Is o prime?
True
Suppose -12*a = -11*a - 325. Suppose 4*j = s - a, -5*s + 2*s + 2*j = -985. Is s a prime number?
False
Suppose 4*m = 2*v - 28, -19 = 2*v - 3*v + 3*m. Suppose 8 = 3*i - 1. Suppose -i*p + 2*j = -0*j - 1505, -v*j + 1535 = 3*p. Is p a composite number?
True
Let n = 27 - 27. Suppose 5*j + 62 + 78 = n. Let w = 286 - j. Is w composite?
True
Let y be -2*((-3)/1 + (-6)/(-4)). Suppose 2*o - 1886 = -4*d, 4*d + y*o = 5*d - 454. Is d prime?
False
Let k(i) = -i**3 - 21*i**2 + 33*i - 2. Let f be k(-23). Let x(p) = -p + 9. Let a be x(5). Suppose 2*c + 726 + 444 = a*m, f = m + 4*c. Is m a composite number?
False
Suppose 17019 = 35*i - 5206. Is i prime?
False
Is 186575/(-850)*(-12 + -1)*2 prime?
False
Let a(k) be the first derivative of -3*k**3 - 2*k**2 + k + 4. Let x be a(3). Is 1 + -2 + 4 - x composite?
True
Suppose 23523 = 13*k - 60574. Is k a prime number?
True
Let l be 7 - 2/(0 + 1). Let k = -142 + 145. Is (-254)/(k + 0 - l) prime?
True
Is 14/(-9) + 2 - (-12896268)/756 a composite number?
True
Let a = 217953 + -70816. Is a prime?
True
Suppose 0*v - 2*v = -176. Suppose 271 + 391 = 4*f + 2*t, -2*t = 2*f - 328. Let q = f - v. Is q a composite number?
False
Suppose 0*l = -2*l + 8. Suppose 3*c + x = 8894, -l*c = -0*c - 5*x - 11827. Is c prime?
True
Let g be (-55)/(-45) + 2/(-9). Suppose a + g - 1044 = 0. Is a a composite number?
True
Let m(i) = 3*i**2 - 2*i + 1. Let z be m(1). Suppose c + 3*p - 818 = 0, 0 = 2*c + 2*c + 2*p - 3232. Is z/(-10) - c/(-5) a prime number?
False
Suppose 2*f = 3*f - 18. Let u be f/30 + (-2302)/(-5). Suppose 3*w = -h + 208, -2*h + 6*w = 3*w - u. Is h prime?
True
Suppose -3448 = -130*b + 129*b. Is 2/(-18) - b/(-9) prime?
True
Suppose -3*r + a = -0*r - 685, 215 = r - 3*a. Let q = r - -77. Is q a prime number?
True
Let j(o) = -3*o - 1. Let q be j(-1). Let v(a) = 4*a**2 - 3*a + 12. Let x be v(-5). Suppose q*b - 381 = -x. Is b prime?
True
Let l(j) = j**3 - 8*j**2 + j - 2. Suppose 18 = 4*k - 14. Let x be l(k). Is (x - 5)/((-1)/(-37)) a prime number?
True
Suppose -4*c + 1205 = -2*j + 5*j, 5*j - 2*c - 2043 = 0. Suppose j = -5*t + 3072. Is t composite?
True
Let p = -6 + 3. Is p/((-3180)/(-1061) + -3) a prime number?
True
Let b(i) = i**3 + 9*i**2 - 7*i + 7. Let c be b(-10). Let g(o) = -33*o - 56. Is g(c) a composite number?
True
Suppose 303 = 6*r - 591. Is r a prime number?
True
Let o = 10048 + 13051. Is o a composite number?
False
Let n = 34 + -35. Is (6234/9)/(n/(6/(-4))) a prime number?
True
Let f = 16 + -11. Let v(k) = k**3 + 16*k - f - 16*k. Is v(4) a prime number?
True
Let m(j) = 22*j + 6. Let n be m(-6). Let o = n - -201. Let c = o + 296. Is c composite?
True
Let d(u) = -u**2 - 7*u - 8. Let z be d(-5). Suppose -z*n + 6 + 5 = m, 2*m = -n + 13. Suppose m*v - 7*v = -898. Is v composite?
False
Suppose 2*d - 5*t = 8996, d = 3*d + 4*t - 8978. Is d composite?
False
Suppose -2*h + 22990 = 5*f - h, -9174 = -2*f + 4*h. Is f composite?
False
Suppose 7*j - 3*j = -5*j. Suppose -104 = -4*n + f + 3*f, -4*f = j. Is n prime?
False
Let u be (1 + 2)*(-170)/51. Let t be (15/u)/((-3)/4). Suppose t*a + 340 = 5*c - 3*a, 0 = 2*c + a - 133. Is c prime?
True
Is (472/(-1416))/((-72098)/(-72099) + -1) prime?
False
Suppose 3*d + 9 = -0*d. Let m = d - -6. Suppose 0 = -5*f - 4*r + 481, -m*f - 2*f = 2*r - 483. Is f a prime number?
True
Is (3/2)/(6/6284) prime?
True
Let y = -56661 + 99290. Is y a prime number?
False
Let a(p) = 0*p + 51 + 6*p + 47 + 124*p**3 - 105. Is a(3) a prime number?
True
Let d = 16 - 12. Let h(w) = 1 + w - 2*w - 5*w**2 + d*w**3 + 3*w. Is h(4) prime?
False
Suppose 3*x + 116765 = 4*p, -6*p + 3*x - 58405 = -8*p. Is p a prime number?
False
Let l(h) = h**3 - 8*h**2 + h - 13. Let g be (24/(-20))/(2/(-15)). Is l(g) composite?
True
Suppose j - 24 = 5*g, 5 = 4*j + j - 2*g. Let z(n) = 80*n**2 - n - 1. Let d be z(j). Let f = 123 - d. Is f composite?
False
Suppose 25 = -4*r - r. Let t(z) = -2*z**3 - 6*z**2 - 2*z - 7. Let p be t(r). Suppose -5*s - p = -708. Is s a composite number?
True
Suppose -2*u = u. Suppose -h = -y - 4, 5*h = -y - u*y + 32. Is (3/h)/(3/294) composite?
True
Suppose -3*k = -4*a + 12, 0 = 2*k + 2*k + 16. Let u(h) = 4*h**2 + 14*h - 5. Let s be u(-4). Suppose 0*z = -s*z - p + 505, -4*z + 5*p + 648 = a. Is z prime?
True
Suppose 3*z + 6 = -5*q + 27, z = q - 1. Let r(n) = -3*n + 3. Let d be r(z). Is 1/d + 3210/18 a composite number?
True
Let z(u) = -2*u + 4. Let n be z(3). Let w be n/(-5) - (-14)/(-35). Suppose 2*a - 11 = -1, w = m + 3*a - 34. Is m prime?
True
Suppose 6*u = 15*u - 297333. Is u prime?
True
Suppose y + 31 = 253. Suppose 19 = 4*n + 3. Suppose 2*b + y = n*b. Is b prime?
False
Let d = 37128 - 25951. Is d a prime number?
True
Let j(k) = -k**2 - 6*k + 4. Let f be j(-5). Let t = f - 7. Suppose 3*w - 129 = t*w. Is w prime?
False
Let s be (703772/(-290))/((-2)/(-10)*-1). Let v = 18115 - s. Is v a composite number?
False
Let a be 12/(-9)*6/4. Is (-12)/24 - 69/a composite?
True
Let j(b) be the first derivative of b**3/3 + b**2 - 10*b + 1. Let c be j(-6). Suppose 0 = s - c - 43. Is s a composite number?
True
Let n = 24000 + -14309. Is n composite?
True
Suppose 7*k - 4*k = 0. Let u = 4 + k. Is u prime?
False
Let w(q) be the third derivative of q**5/30 + q**4/8 - 7*q**3/3 - 17*q**2. Is w(15) a prime number?
False
Suppose x = 2*r - 0*r + 1659, -5*x - 3*r = -8360. Let w = -1038 + x. Is w a prime number?
True
Let d(s) = -9495*s + 74. Is d(-3) a prime number?
True
Is 6/33 - (98644/(-22) + -3) composite?
True
Let b = 23 - 24. Is 0/(-3) + (-751)/b prime?
True
Suppose -23 - 7 = -5*p. Suppose 2*g - 200 = p*g. Let b = 121 + g. Is b composite?
False
Let q(x) = -x**2 + 6*x + 10. Let j be q(7). Suppose 97 = -2*p - j*w, -p = 3*p - w + 159. Let y = -30 - p. Is y prime?
True
Let a(y) = -47*y**3 + 3*y**2 + 2*y - 1. Suppose -3*u - 7 = -1. Is a(u) prime?
True
Let o be 3 - (156/(-4) + -3). Suppose 3*c + a - 3 = 4*a, -o = -5*c - 5*a. Let i = 8 + c. Is i a composite number?
False
Suppose -2 = -w + 6. Is (111/(-2))/(w/(-16)) composite?
True
Suppose -a + 2*a - 4 = 0. Suppose a*t = -i + 1272, 0*i - 5*i = -20. Is t a prime number?
True
Let m(j) be the third derivative of j**6/60 - 3*j**5/20 - 5*j**3/3 + 2*j**2. Let s be ((-28)/2 + 0)*(-3)/6. Is m(s) prime?
False
Suppose c + 0*g - 7535 = -5*g, -3*g = -2*c + 15122. Is c a composite number?
True
Suppose -5*a + 80 - 330 = 0. Let u = a - -84. Is u a prime number?
False
Let a be (-1)/((-283)/966 - 4/(-14)). Let k = a - -53. Is k composite?
False
Suppose 1841 = 3*g - 493. Is g prime?
False
Suppose -7*h + 28668 = -3*h. Let v be (-4)/16 + h/12. Let n = 358 + v. Is n a prime number?
False
Suppose 0 = -122*b + 129*b - 288337. Is b composite?
True
Let a = -178 + 1973. Is a a composite number?
True
Is 1/(-1)*9/(81/(-7146)) prime?
False
Suppose -4*l + 3042 = m, -5*l + 6087 = -0*m + 2*m. Is m a prime number?
False
Let t = -2969 - -5143. Is t prime?
False
Let n(s) = 1363*s**3 + 4*s**2 + 3*s - 13. Is n(3) a prime number?
True
Let a(r) = -r - 18. Let y be a(-12). Let u = y + 5. Is (0 - u) + (789 - -7) a composite number?
False
Let r(g) = g**2 - 12*g - 3. Let t be r(9). Is 12/t - (-3914)/10 a composite number?
True
Let h be (-2)/(-13) - 56/364. Let w be 116/(2 - 71/36). Suppose 3*i = -5*m + w, 0 = -5*i - h*m + 2*m + 6991. Is i prime?
False
Is 26091/24 - 4/32 composite?
False
Is (-2)/((96/41682)/(-8)) prime