 = 37*z + 20 + 2*z**2 + 5 - 13. Is a(17) prime?
False
Let s = 12722 + 1797. Is s composite?
False
Let l(m) be the third derivative of m**7/120 + 7*m**6/720 - m**5/6 - 11*m**2. Let q(h) be the third derivative of l(h). Is q(6) a prime number?
False
Let q(d) = -2*d - 14. Let x be q(-12). Suppose -l + x = 4*p, -3*p = -4*p - 2*l + 6. Suppose -p*a = 14 - 796. Is a a composite number?
True
Let b(t) be the third derivative of 1369*t**6/4 + t**5/30 - 5*t**4/24 + t**3/3 + 72*t**2. Is b(1) a prime number?
False
Let t = -45890 + 68033. Is (-4)/20 - (t/(-15) + 5) a prime number?
True
Suppose 13*s - 7188 = 9*s. Suppose -499 = -2*z + s. Suppose 0 = 3*t - 7*t + z. Is t a composite number?
True
Let p(x) = -501*x + 3. Let m be p(-2). Let k = -776 + 312. Let f = k + m. Is f composite?
False
Let a be 13354536/390 - (-2)/(-5). Suppose -a = -3*o + 2205. Is o prime?
True
Let b(g) = 6*g**2 - 3*g + 13. Let r be b(3). Let n(i) = 7 + 4 - 37*i - r*i. Is n(-4) composite?
True
Suppose 0 = -n - w + 6, 28 = 3*n - 4*w + 9*w. Suppose -444 = 95*f - 98*f. Let q = f + n. Is q a composite number?
False
Suppose 3*p - 18705953 = -4*b, -3*p - 3744456 = -b + 932006. Is b a prime number?
False
Let c = 2383 - 4810. Let f = -1224 - c. Suppose k - 5*b = 553, 0 = -3*k - 5*b + 456 + f. Is k a prime number?
False
Is ((-45860)/60)/((-15)/765) composite?
True
Let n = -27870 + 95596. Is n composite?
True
Suppose -4*r - 5*g + 24 = -2*r, -18 = -2*r - 2*g. Suppose -11*m = -r*m - 8. Suppose -8062 = -j + m*s + 1905, -4*s = 4*j - 39832. Is j prime?
False
Let q(y) = 649*y**2 + 16*y + 4. Let b(k) = 647*k**2 + 17*k + 3. Let p(a) = 5*b(a) - 4*q(a). Is p(-5) a composite number?
True
Let w(z) = 194295*z**2 + 52*z - 4. Is w(-1) a composite number?
False
Suppose 4*b - 26 + 2 = 0. Suppose 2*j - 24 = 5*t - b, 5*j - 18 = -t. Suppose -2*v = -j*n - 914, -3*v + 1367 = -2*n - 3*n. Is v composite?
False
Suppose 0 = -3*b + s + 20, -s = -14*b + 17*b - 16. Is (-3512)/(-4) + (5 - b) a composite number?
False
Let f = 34 - 40. Let u be (-2 - -6) + f/3. Is ((-1115)/(-10))/(1/u) composite?
False
Let u = 750 + 105. Let d = -734 - -252. Let m = d + u. Is m prime?
True
Suppose 1 = -6*k + 121. Let r = k + -15. Suppose -r*t + 1225 = -360. Is t a composite number?
False
Let u be (36/(-8))/9*40/(-2). Let z be (76/(-95))/((-4)/u). Suppose z*v - 3*c - 886 = 0, 0 = -3*v + v - 3*c + 910. Is v composite?
False
Let k(w) = 33764*w + 2097. Is k(26) a prime number?
True
Let n be (166890/12)/((-2)/(-4)). Suppose c = -4*c + n. Is c a composite number?
False
Let x = -77990 - -162143. Is x composite?
True
Let s(m) = -381*m**3 - 7*m**2 - 20*m + 5. Let g be s(-4). Suppose -4*f + 9*f - k = g, -2*f - k + 9740 = 0. Is f a composite number?
False
Suppose -2*d + 6*d = 3*m - 191, 0 = -5*d - 3*m - 259. Let j be (d/(-40))/(1/4). Suppose j*x - 1232 = 63. Is x a composite number?
True
Let l(c) = 1 - 22*c + 2 + 7 - 15*c. Let a be l(-7). Suppose a - 1224 = -5*x. Is x a composite number?
False
Suppose -3*t + 4*o = -2, 0 = t - 5*o + 2*o + 1. Suppose -t*z = 5*z + 147. Let d = 241 - z. Is d a composite number?
True
Suppose -2*h - 5*n + 8*n + 34189 = 0, -n - 1 = 0. Is h prime?
True
Let u(h) = -h - 107*h - 296 + 46*h - 17*h - 114*h. Is u(-7) a composite number?
True
Suppose p = -4*k + 420057 + 116842, -5*p - 671080 = -5*k. Is k a composite number?
True
Suppose 3*r + 2*r - 2*v = -78, 0 = 5*r - v + 74. Let d = r - -19. Suppose -d*q - 219 = -5*w + 236, 4*q = w - 106. Is w a composite number?
True
Suppose 16*f - 59309 = -2061. Let u = 7411 - f. Is u composite?
False
Let t be 886/(((-119)/14)/17). Is (-3 - 15/(-6))/(2/t) a composite number?
False
Is 760/(-4560) + (-1)/((-12)/6768998) a prime number?
False
Suppose 2*f + f = -3*j + 12, 3*f = -4*j + 17. Suppose -r + r = -j*r. Suppose r = m + 515 - 1402. Is m a composite number?
False
Is 1 + 36/(-8) + (-780624)/(-32) a prime number?
True
Let y(d) = -4*d - 8. Let g(z) = -z**2 + 11*z - 21. Let u be g(9). Let o be y(u). Is 26/o*(1 - -225) prime?
False
Let g be (26/6 + -1)*3. Let q(w) be the third derivative of 13*w**4/24 + 3*w**3/2 - 56*w**2. Is q(g) prime?
True
Let a(x) = x**3 + 6*x**2 - 3*x + 11. Suppose p + 0*p + 9 = 0. Let q be a(p). Is (q/3)/(2/(-6)) - 4 prime?
False
Suppose -3*j + 142 = 4*h + 1571, -j = h + 475. Let l = j - -577. Is l a composite number?
True
Is (28734286/(-882))/(-1 + 16/18) composite?
False
Suppose 9*k - 13*k + 3264 = 0. Suppose 4*s - 9308 = 5*i, -i + 3143 = s + k. Suppose -5*p + s = -1028. Is p a prime number?
False
Suppose g = -3*g + 5*v + 183, -2*v = 5*g - 270. Let y = 57 - g. Suppose 5*w = y*s - 450, 4*s - w = -64 + 436. Is s a prime number?
False
Let r(i) = -1295*i**3 + 13*i**2 + 6*i + 7. Is r(-3) a prime number?
False
Suppose -14*d + 381257 + 49428 = -364053. Is d a prime number?
True
Let x be (3/1)/(9/(-15)). Let q(l) = -5*l**3 - 7*l**2 + 2*l + 3. Is q(x) a prime number?
True
Suppose 8*o - 7*o = 8. Suppose o = -4*h, z + 4*z - h - 3672 = 0. Is z composite?
True
Suppose 0 = -2*v - 3*i + 158240, -23*v + 632926 = -15*v - 5*i. Is v a prime number?
False
Let x be (-512)/(-14) - (-6 + 230/35). Suppose 33*k = x*k - 72465. Is k a prime number?
False
Let p(l) = 305*l**2 - 15*l + 3. Suppose 15 + 9 = -12*z. Is p(z) composite?
True
Suppose 4*z + 2 = -98. Let s = z - -27. Is (105*5)/(1/s) + -1 composite?
False
Suppose 0 = -5*k + 2*k, -2*t - 5*k + 6080 = -415722. Is t prime?
True
Suppose 2*u + h - 27 = 0, 45 = -0*u + 5*u - 5*h. Suppose -u + 14 = -k. Is -5 + 531 - 2/k a composite number?
True
Let x(n) be the first derivative of 29*n**6/36 - n**5/20 + 5*n**4/24 - 3*n**3 + 12. Let m(k) be the third derivative of x(k). Is m(4) a composite number?
False
Suppose -7*d - 3*t = -45295, -4*d + 87*t - 83*t + 25860 = 0. Is d composite?
False
Let z be (-36)/27*(-2)/(8/(-6)). Let w(g) = 338*g**2 - 6*g - 6. Let i(k) = -169*k**2 + 3*k + 3. Let p(j) = -7*i(j) - 3*w(j). Is p(z) a composite number?
True
Suppose 29*k = 26*k - 9, 4*q - 2*k - 468130 = 0. Is q prime?
False
Let m = -1913861 - -2706988. Is m composite?
True
Suppose t = 4*t + 15. Is (-4)/(t - -1)*1901 composite?
False
Let k = 11275 - -36660. Is k a composite number?
True
Let i be -5*(23/(-35) - 2/14). Suppose 13071 = 7*l - i*l. Is l a prime number?
True
Let w = 8555 - -4538. Is w composite?
False
Suppose 2*x - 1421838 = -2*g, 842*x = 846*x - g - 2843686. Is x prime?
False
Let f(j) = 35*j**2 - 324*j + 165. Is f(74) prime?
False
Let l = -7003 + 10023. Let k = 3837 + -2094. Let x = l - k. Is x prime?
True
Let y be (-2 - 3)*2/(-2). Suppose y*o - 5*z - 33647 + 11462 = 0, 3*o - 13306 = 4*z. Is o prime?
False
Let g = -5 + 8. Suppose 4*j = -l + 921, 4*l - 5*j + g*j = 3594. Is l a composite number?
True
Let d be -38*((-3)/12 - 2292/(-16)). Let f = d + 19597. Suppose -4*p - 5327 = -f. Is p a prime number?
False
Let y(q) = 2*q**2 - 49*q + 27. Let a be y(24). Suppose a*r - 9*f + 4*f - 13178 = 0, 4386 = r + 5*f. Is r composite?
False
Suppose -34*n + 41*n = 28. Suppose -n*y - 11*k + 2713 = -10*k, y + 2*k = 673. Is y a prime number?
False
Suppose -3*z + 3*i = 6, -15 = 3*z + 3*i - 3. Is (-109170)/(-60)*2*(-1)/z a composite number?
False
Let s(q) = 403*q - 4. Let g be s(-5). Let i be (g/(-9))/(7/42). Suppose -i = -j + 53. Is j prime?
True
Is (-13 + 16)*7587 - -6 prime?
False
Is 14931958/12 - (-95)/(-114) - (-4)/(-2) a composite number?
True
Let o(l) = 22*l - 5. Suppose 0 = -2*r + 4. Suppose -r*t = 4*t - 36. Is o(t) a composite number?
False
Suppose 2 = -r, r + 2*r = -2*p. Suppose p*a = -2*d + 13195, 3*d - 19798 = -10*a + 11*a. Is d a composite number?
False
Suppose 16 = 2*a + y + y, -5*a - 2*y + 37 = 0. Suppose -12 = -4*f + 2*q, a - 1 = f + q. Suppose -4523 = -f*n + 6721. Is n prime?
False
Let s(i) = -3*i**2 + 24*i - 71. Let d be s(-33). Let p = -2566 - -8437. Let j = d + p. Is j prime?
True
Let l be (4 - 100)/6*(-2)/2. Let q(v) = 374*v - 3. Is q(l) a composite number?
False
Let n(r) = -r**3 - 15*r**2 + 22*r + 4. Suppose 0 = 4*b + 49 + 23. Let j be n(b). Suppose 11*c - 6135 = -j. Is c a composite number?
True
Suppose -214*a + 242*a = 7994924. Is a composite?
False
Let a = 387180 - 62123. Is a composite?
True
Suppose 122*n - 42*n - 9146528 = 48*n. Is n prime?
False
Suppose 0*g = -4*g + 3*q + 7, -5*q + 31 = 4*g. Let t(k) = -5*k - g - k**3 + 7*k - 5. Is t(-4) a prime number?
True
