 a prime number?
False
Let u(r) be the first derivative of r**5/20 - r**4/12 - r**3/3 + 407*r**2/2 - 2*r - 7. Let w(l) be the first derivative of u(l). Is w(0) prime?
False
Let c be (14 - 7)*(-2)/(-2). Suppose -3*j - 1 = -c. Suppose j*g - 1156 = -2*g. Is g composite?
True
Let j = 66 - 65. Is 25593/19 + j*4 a composite number?
True
Suppose 3*c + 3733 = 4*s + 4*c, -935 = -s - 2*c. Suppose z + 164 - s = 5*g, 3965 = 5*z + 5*g. Is z a prime number?
False
Let x(c) = -3*c - 2. Let i be (-3)/(-1) - (4 - 4). Suppose -i*f - g - 19 = -6*g, -5*g + 11 = -2*f. Is x(f) composite?
True
Suppose -25295 = -2*a - 2*l - 5275, -4*a + l = -40025. Is a a composite number?
False
Suppose -3*n = -c - 2275, -5*c - 3048 = -60*n + 56*n. Is n composite?
False
Suppose 0 = -36*l + 1068943 + 644621. Is l a prime number?
True
Let m(x) = -x**3 - 5. Let c be m(0). Let y be (-42)/2 - (5 + c). Is ((-2 - y)*-3)/(-3) composite?
False
Suppose -2*s + 4*n + 108 = 0, -17 = -2*s - n + 91. Suppose -s*h + 57*h = 669. Is h prime?
True
Suppose -5*a = -d + 2*d + 6, -3*d + 3*a = -18. Suppose d*x - 542 = 1406. Is x a prime number?
True
Let n = 27492 + 4913. Is n a prime number?
False
Suppose -4*i + 14 = 2. Suppose 3*g - 6 = i, -2*z = -2*g - 776. Is z composite?
True
Suppose 2*f = -4*x + f + 13828, -2*f = 0. Is x prime?
True
Let r be -1*(3 - 1) + -69. Let f = r - -577. Suppose t + f = 3*t - 2*h, 0 = -4*t - 5*h + 994. Is t a composite number?
False
Let s = -55 - -56. Is (s/(-1))/(1/(-877)) composite?
False
Let t(b) = -b**3 + 6*b**2 + 8*b. Let z be t(7). Suppose -z*q + 4*q + 603 = 0. Let u = 342 - q. Is u a composite number?
True
Is (-360)/432*(-1 + -237245) a prime number?
False
Let a(v) = 39*v**3 - 9*v**2 + 21*v - 20. Is a(5) a composite number?
True
Let n(w) = 400*w - 9. Let k(x) = -x. Let q(d) = 2*k(d) + n(d). Is q(4) a prime number?
True
Let d(q) = -q**2 - 3*q + 13. Let k be d(4). Is ((10/k)/2)/(2/(-222)) composite?
False
Suppose 2*b + f = 7, -4*f = 5*b - 2*f - 16. Suppose 0 = -b*q + n - 9, -3 = 2*q - 4*n + n. Let x(c) = c**3 + 8*c**2 + 5. Is x(q) prime?
False
Let r(n) = 3*n**3 + 13*n**2 + 5*n - 4. Let t(b) = 2*b**3 + 13*b**2 + 4*b - 5. Let z(k) = 3*r(k) - 4*t(k). Is z(17) prime?
False
Is 2/2*(-109573)/(-19) prime?
False
Let i be -26 - ((-5 - -2) + 4). Let z = 31 + i. Suppose 1558 = 3*n - 3*g + 415, -3*g = -z*n + 1522. Is n composite?
False
Let j(g) = -g**2 - 2*g + 4. Let i be j(4). Let y = i - -48. Let b = 61 + y. Is b composite?
False
Suppose -132 = -2*a + 582. Suppose 0 = 2*x - 3*y - 79 - 154, 3*x = -3*y + a. Is x prime?
False
Let r(z) = 3*z - 4*z + 5 - 3 - 3. Let v be r(-1). Suppose 4*u - 2*u = v, s = -u + 59. Is s composite?
False
Suppose -4*r - j - 3416 = 11703, -2*r - 7549 = -3*j. Let d = r - -5340. Is d a prime number?
False
Let b(g) = 74493*g - 250. Is b(1) a prime number?
False
Let x(g) = 29*g**2 - 9*g + 5. Let j(l) = -28*l**2 + 10*l - 5. Let z(w) = 4*j(w) + 5*x(w). Suppose 64*k - 55*k = 18. Is z(k) a composite number?
False
Suppose -40*q + 5*q + 252490 = 0. Is q a prime number?
False
Let c be (-3)/9 - (-1006)/3. Let u = -39 + 43. Suppose -g = u*g - c. Is g a prime number?
True
Let c(s) = -s**3 + s**2 + 2*s - 1. Let w(f) = -f + 5. Suppose 2*k - 21 = -7. Let h be w(k). Is c(h) a prime number?
True
Let w = 2964 - 1861. Is w a prime number?
True
Let b = 269 + 1000. Suppose -b - 87 = -4*l. Suppose 1660 = 5*v + 5*u, 3*v - l - 667 = -5*u. Is v composite?
True
Let u be (-132)/88*2*-13*2. Let b = 205 - u. Is b composite?
False
Let l = 5978 + 1811. Is l composite?
False
Let k be -2 + (-4 - -6) - (1 - -230). Let j = k - -442. Is j composite?
False
Let l(v) = v - 2 + 4*v**2 + v**3 - 19*v**2 + 7*v**2. Let x be l(8). Suppose -4*s - 4*j + 740 = 0, -3*j + 6 = -x*j. Is s a composite number?
True
Let f = -23 - -17. Let c be -76 + 2 + 8 + f. Let q = -38 - c. Is q composite?
True
Let w = 3165 - 113. Suppose 179*y - 175*y = w. Is y a prime number?
False
Let a(y) = -16*y**3 + 2*y**2 + 3*y + 1. Suppose 3 = 4*n + 3*c, 4*c - 4 = n + 19. Let z be a(n). Let j = z + -179. Is j a composite number?
False
Is ((-25)/50)/(1/(-278)) a composite number?
False
Let m = -95859 - -66858. Is m/(-13) + 24/156 composite?
True
Let r be 2 - (-2)/4*-6. Let q be r/(-6) - 115/(-30). Suppose 5*w - 639 = -q*l, l + 266 = -2*w + 4*w. Is w a prime number?
True
Let u(w) = w + 6. Suppose 4*l - 1 = -17. Let v be u(l). Is (v - (-9)/(-6))*1114 a prime number?
True
Let r = -9 - -6. Let q(v) = -13*v + 9. Let g(j) = 12*j - 10. Let h(x) = r*q(x) - 2*g(x). Is h(6) a composite number?
False
Suppose 3*u - 23 = -8. Suppose -s - 4*w + 1162 = 0, 4*s + u*w = w + 4648. Suppose -2*v + 0*v + s = 0. Is v a prime number?
False
Let r(x) = 1371*x + 26. Is r(9) prime?
False
Let z be 65/10 + (-9)/6. Suppose -z*u - w = -u - 152, 57 = u + 5*w. Is u a composite number?
False
Let k be 2 - (-2 + -1 + -731). Suppose k = 4*w + 2*p, 2*w = -w + 3*p + 552. Suppose -w = v - 565. Is v prime?
False
Let k(m) = -m**2 + 235. Let x be 0/(-3 - -3 - -2). Is k(x) prime?
False
Let r(o) = -o. Let m(f) = -1095*f**2 - 9*f + 1. Let j(h) = -m(h) + 6*r(h). Is j(1) prime?
True
Let l = 1078 - 261. Is l prime?
False
Let s be 3*-1*(-24)/9. Let t(u) = -2*u**2 + 7*u - 14. Let c(f) = -f**2 + 4*f - 7. Let k(x) = -9*c(x) + 4*t(x). Is k(s) composite?
False
Suppose 489661 + 1857765 = 46*n. Is n a prime number?
True
Suppose r + 18 = 2*d, -11 = -3*d - r + 6. Is (686 - d)*(-1)/(-1) composite?
True
Let s = 508 + -410. Let p(l) = 24*l. Let g be p(1). Let i = s - g. Is i prime?
False
Is (5147 - 0)/(-35 - -36) a prime number?
True
Suppose 0*j - 6147 = -3*j + 3*z, 3*j = z + 6155. Is j composite?
False
Suppose 9*z + 286943 = 26*z. Is z a prime number?
True
Let z be (-161)/(-1) - (-6)/(-3). Suppose 0 = 3*u - z - 1464. Is u a prime number?
True
Let i(f) = 8*f**2 + 6*f - 15. Let y be i(-8). Suppose -613 = -6*n + y. Is n composite?
True
Let d = -4 - 0. Let t(f) = -1 - 2 + 3 - 3 - 23*f. Is t(d) prime?
True
Let o = 30 - 22. Suppose 2*k - o = -3*w - w, -2*k + w - 2 = 0. Suppose k = f - 125 - 128. Is f prime?
False
Suppose 890 = 3*g - 106. Let l = 555 - g. Is l a prime number?
True
Suppose -27*l + 15 = -22*l. Suppose 4*v + v + 4*h - 5763 = 0, l*h - 6 = 0. Is v composite?
False
Is 889 + 6/(-12)*0 prime?
False
Let t(j) = 243*j**2 - 8. Let n be t(-3). Let d = n - 1434. Is d a prime number?
False
Let z(n) = -n**3 - 5*n**2 - 9. Let r = -45 + 32. Is z(r) a prime number?
False
Let j be (-4)/10 - 328/5. Let c be -20*(-42)/20*40/(-15). Let m = j - c. Is m a prime number?
False
Is (-3 + 0)*1/((-12)/3068) prime?
False
Let f be 1/((1 + 3/(-4))*1). Let q(w) = 6*w**2 + 5*w - 8. Let h be q(-6). Suppose 98 + h = f*x. Is x prime?
False
Suppose 8352 = 2*a + d, 0*a + 8348 = 2*a + 3*d. Is a a composite number?
False
Let t = 13 - 7. Suppose 4*x - t*k = -5*k + 649, k = -2*x + 329. Let w = x + -70. Is w composite?
True
Suppose 1534 = 4*v - 10054. Is v prime?
True
Suppose -8*g = -3*g - 1280. Let y = -143 + g. Is y prime?
True
Let g(y) = 33 - 4*y - 32 - 8*y. Let v be g(-2). Suppose -5*m + v = 0, u + 2*u - 859 = 4*m. Is u a prime number?
True
Let r(w) = -21*w**2 - 10*w - 3. Let m(z) = 11*z**2 + 5*z + 1. Let v(x) = 9*m(x) + 4*r(x). Is v(4) prime?
True
Suppose -30*y + 883614 = 55224. Is y a prime number?
False
Suppose 0 = 3*j - 2*j - 4*p + 4, 0 = 3*j - 2*p - 18. Suppose 13*d = j*d + 30. Let b(m) = m**3 - 6*m**2 + 2*m - 2. Is b(d) a prime number?
False
Suppose 0 = -5*i + 6*i + 1, 5*d = 3*i + 203048. Is d a prime number?
True
Let h(s) = -s - 1. Let r be h(-4). Suppose p - 7 - 5 = -4*g, 3*p + 9 = r*g. Suppose -2*x + 108 = -u, 221 - 60 = g*x - u. Is x a prime number?
True
Let h(z) = -2*z**3 - 4*z**2 - 2 + 2 - z + 2. Let y be h(-2). Suppose 5*g - 295 = -5*u, -3*g + 68 + 109 = y*u. Is g a prime number?
True
Let m be 1771 + 1 - (1 - -3 - 2). Let x = -761 + m. Is x prime?
True
Is 1/(15/(-9) - (-157352)/94404) a composite number?
False
Let g(p) = 18*p - 3. Let t be g(-7). Let q = 454 - t. Is q a composite number?
True
Suppose -5*k + 3343 = 3*y - 4421, -1560 = -k + 3*y. Let o be (-1 - 0)/((-3)/k). Suppose -b - 2*b - o = -j, 0 = 4*b + 12. Is j prime?
True
Let n be -4*(4 + (-63)/12). Suppose q = -2, 0 = 4*x - 7*x - n*q + 911. Is x prime?
True
Suppose -4*t + 2*a = -102, -t = 9*a - 13*a - 15. Suppose -3*r + 16632 + 49083 = 0. Is r/45 - (-6)/t a pri