(-4))) prime?
True
Let c(r) = 621*r + 8. Is c(1) a prime number?
False
Let z = 2158 + 135. Is z prime?
True
Is (-5 - 24/(-6))/5*-15545 prime?
True
Suppose 2*x = -j + 1639, -2*x = -5*j + 7097 + 1062. Is j prime?
False
Suppose -d + 779 = -2*v, -2*v - 3*v = 3*d - 2326. Suppose -11*c + d = -8*c. Is c prime?
False
Let y(b) = 13*b**2 + b + 3. Let v = -4 - -9. Let a be y(v). Let n = -30 + a. Is n prime?
False
Let b be -27*(-2*1 + (-182)/(-6)). Let q = 1452 + b. Is q composite?
True
Let t(w) = 47*w + 1. Let r(q) = -q**3 - q**2 + 2. Let h be r(0). Let s be t(h). Let j = s - -174. Is j prime?
True
Let c(a) be the third derivative of a**4/24 + 3*a**3/2 + 5*a**2. Let i be c(-7). Suppose -5*n = -4*k + 43, i = -k - 3*n - 0. Is k a prime number?
True
Suppose -3*l + 0*l = 4*y + 102, 0 = 5*l + y + 187. Let k(r) = r**3 + r**2 - r - 1. Let x be k(4). Let a = l + x. Is a a composite number?
False
Let h(q) = 3739*q**2 + 2*q + 2. Is h(-1) composite?
False
Let b(z) = 3*z + 12. Let j be b(-6). Let x(m) = -3*m - 7 + 4*m + 2*m + 4*m**2. Is x(j) prime?
False
Suppose 6 + 9 = 3*g. Suppose -3*o - 12 = -v, -g*o + 2*v = -8*o - 3. Is 3 + o + 32 - -1 prime?
False
Let h be (-1)/7 - 4296/(-84). Is (-2694)/4*(-34)/h a prime number?
True
Let s = -368 + 930. Suppose -6*u + 104 + s = 0. Is u composite?
True
Suppose 5*n + 122630 = 5*w, 0 = 22*w - 17*w - 3*n - 122632. Is w a prime number?
True
Let f = -81 + 35. Let w be (28/(-8) - -1)*f. Let t = -82 + w. Is t a composite number?
True
Suppose 2*h = 5*h. Let a(y) = y**3 + y**2 - 138. Let i be a(h). Let t = 8 - i. Is t a prime number?
False
Suppose 80 = 5*v - v. Suppose 0 = -3*g - 2*g - v. Is 1559/(1 - 0) - g a prime number?
False
Let l = 122 - 16. Is l prime?
False
Let w(a) = -a**3 + 6*a**2 - 14. Let l be w(6). Let h = l - -91. Is h a composite number?
True
Let p = 16 - 28. Let h(v) = 15*v - 7. Let w(q) = -15*q + 5. Let g(k) = 3*h(k) + 4*w(k). Is g(p) a prime number?
True
Let y(f) = 136*f + 39*f - 22 - 35 + 18. Is y(8) prime?
True
Let g = -238 + 149. Let x = 219 + g. Suppose -3*b + 35 = -x. Is b composite?
True
Let l be 2881/603 + ((-4)/(-18) - 0). Let j(v) = -v**2 + 6*v - 4. Let s be j(4). Suppose f - 13 = -s*r + 2*r, -l*r = -5*f - 25. Is r prime?
False
Let b(h) = 4*h + 15. Let o be b(-3). Suppose o*m - 3800 = -161. Is m prime?
True
Let x = 84 - 68. Let u(d) = 45*d - 49. Is u(x) a composite number?
True
Let f(b) be the second derivative of -b**4/6 - b**3/6 + 1343*b**2/2 - 13*b. Is f(0) a prime number?
False
Let z be ((-9)/(-18))/(2/60). Suppose 17*s - z*s = 2078. Is s composite?
False
Let u = -3 + 6. Suppose -6*o = -u*o. Suppose 2*h = 4*q + 78, 4*q - 70 = -2*h - o*h. Is h composite?
False
Suppose -32209 = -10*p + u, 4*u + 2030 = 3*p - 7629. Is p composite?
False
Is (2255/(-22))/5*(-45 + -1) a prime number?
False
Let u(j) = j + 2. Let g be u(2). Suppose -3*s + 135 = -3*o, -2*s = g*o - 80 - 16. Suppose -2*w = 2*w - 12, 3*w = -f + s. Is f composite?
False
Let a(v) = -1322*v + 13. Is a(-2) composite?
False
Let a = 11 + -45. Let q = a - -38. Suppose -2*l + 2*b = l - 1567, q*l - 2090 = 3*b. Is l a composite number?
False
Let l = 16 - 13. Suppose 0 = -5*m + 2 - 7, 2*m = l*f - 11. Suppose 4*r = -f*s + 41, 5 = -r + 2*r. Is s a composite number?
False
Suppose 4*j + 24 = 24. Suppose j = 9*b - 3514 - 5108. Is b a composite number?
True
Suppose b = -5*q + q + 33926, -2*q + 4*b = -16972. Is q a prime number?
False
Let i = 17484 + -9261. Is i a prime number?
False
Let b be (-1)/((12/(-21))/4). Is (-8 - -1)*(b - 10) a composite number?
True
Let h be 4/14 + 48150/35. Suppose -h = -2*l - 0*l. Suppose -3*v + l = 79. Is v prime?
False
Let k be (-12 - -11)/(2/6). Is (-3)/k + (-612)/(-2) prime?
True
Suppose 7 = -2*l - v, 2*v + 3*v = -4*l - 29. Is (11/33)/(l/(-7893)) a composite number?
True
Suppose x + 2*f + 2*f + 2 = 0, 4*f + 4 = 0. Let t be (3 - -396) + (-3 - -1). Suppose n - x = 0, 2*n + t = 2*i + 103. Is i a prime number?
True
Let v(q) = 782*q**2 + q - 116. Is v(-11) a composite number?
True
Let b = 60 + -30. Let s = -25 + b. Suppose 4*g = s*z - 12 - 114, -2*z + 5*g + 47 = 0. Is z prime?
False
Is ((-2)/10)/((-47)/4427165) composite?
False
Is (-34670)/((-1)/(-2)*-4) prime?
False
Let q(u) = u**3 - 7*u**2 + 4*u + 17. Let j be q(6). Is j*2/20*(1115 - 1) a prime number?
True
Suppose 2*o - 3*f - 57031 = 16542, -5*o + 4*f = -183915. Is o a prime number?
True
Let j be 5 + 1*(-2 + 3 + -3). Suppose 4*r + j*t - 1831 - 3019 = 0, 4*r = 3*t + 4838. Is r a prime number?
False
Let l(j) = -69*j - 51. Let k be l(-17). Let x = k - -1331. Is x a composite number?
True
Let c = -32 - -36. Suppose g + 5244 = 4*y + 1612, -2*g = -c*y + 3636. Is y composite?
False
Suppose -7*i + 24719 + 3792 = 0. Is i a prime number?
True
Suppose -4*c = -5*t - 10 + 32, -2*t + c + 7 = 0. Suppose 0 = -t*r + 463 + 731. Is r composite?
True
Suppose -15*t + 14*t + 2*g = -1065, 0 = t - g - 1067. Is t prime?
True
Suppose -6 = -t - 4*k - 26, -k = t + 5. Is (88 - -1) + (-1 - (t - -3)) composite?
True
Let x(t) be the third derivative of t**5/12 + t**4/24 - 5*t**3/2 - 6*t**2. Let p be x(14). Suppose 11*a = 12*a - p. Is a a composite number?
True
Let j be 8/20 - 18/(-5). Let b(r) = -r**2 + 4*r - 3. Let f be b(j). Let i(u) = -4*u**3 + 2*u**2 - 2*u - 3. Is i(f) composite?
True
Suppose 3*z = 3*u - 172439 + 34604, 183784 = 4*u - 2*z. Is u a prime number?
False
Let s be -1 + 2 + 2 + 111. Suppose -4*j + 3*z = -418, 0*z + s = j + 4*z. Is j composite?
True
Suppose -3*g - 1776 = -5958. Is g/10 + (-4)/10 composite?
False
Let m(r) = 7*r**3 - 3*r**2 + 6*r - 13. Is m(4) a prime number?
False
Let y be 15/20*4 - 3. Suppose 0 = -y*i + 5*i - 3*j - 2786, i = -j + 562. Is i a prime number?
False
Let q(a) = 10*a**3 - 7*a**2 + 11*a - 10. Let k be q(4). Let t = k + -255. Is t composite?
False
Let w be 438 - (6/9)/(6/27). Suppose 5*s - 3*j - 2*j = w, 348 = 4*s - 5*j. Is s a prime number?
False
Suppose -309*i = -305*i - 2648. Is i composite?
True
Is (-604310)/(-12) + (-64)/384 composite?
False
Let n(f) be the second derivative of f**5/20 - 7*f**4/12 - f**3/2 - f**2/2 - 4*f. Is n(12) composite?
False
Suppose 4*k = 1 + 3, -211699 = -2*j - 5*k. Is j composite?
True
Let o = -1254 + 5221. Is o composite?
False
Let x = -3 + 1. Let p = x + -3. Let f(d) = d**2 + d - 10. Is f(p) a prime number?
False
Suppose 379*l - 53914 = 377*l. Is l a prime number?
False
Suppose -2*k = k - 4227. Is k composite?
False
Let s(k) be the third derivative of k**8/20160 - k**7/630 + 11*k**6/720 - 7*k**5/60 - 2*k**2. Let n(m) be the third derivative of s(m). Is n(-12) prime?
True
Suppose -6*x + 1 = -11. Suppose 2*a + j + 0*j = 417, x*j = 2*a - 432. Is a a composite number?
False
Is (72989/21)/(43/21 + -2) a composite number?
True
Suppose -5*k - k + 4*k = 0. Suppose -2*f = 4*g - 11494, k = 5*g - 3*g. Is f composite?
True
Let b = 6 + -2. Suppose j - q - 3 = 0, j + 0*q - b*q = -3. Suppose -4*t - j*w = -0*w - 1053, 2*t + 5*w = 539. Is t composite?
False
Let a = -298 + 593. Let x(v) = -v**3 - 2*v**2 + 9. Let c be x(0). Is a - (-9)/(c/(-2)) a prime number?
True
Suppose 3*m + 5*y = 1462, 5*m - 4*m - 2*y = 469. Is m composite?
False
Is 1*8812*(-6)/(-24) a composite number?
False
Let x(a) = 21*a**3 + a**2 - 6*a - 2. Let g be 1/(-1 - 12/(-9)). Let o be x(g). Let h = o + -263. Is h prime?
True
Suppose -2*w - 7*w + 264699 = 0. Is w a prime number?
True
Is 5388 - -15*5/(-15) a composite number?
True
Let o(c) be the third derivative of c**4/12 + 7*c**3/2 + 11*c**2. Let r be o(-8). Suppose -r*l + 896 + 389 = 0. Is l a composite number?
False
Let z(o) be the second derivative of o**4/4 + 4*o**3/3 + 3*o**2/2 + 19*o. Is z(-14) a composite number?
False
Is 265/(-159) + (-7448)/(-3) a prime number?
False
Suppose -6*o + 10065 + 5289 = 0. Suppose -44*n + 41*n + o = 0. Is n composite?
False
Suppose 4*v - 2734 = -2*w, 4476 - 373 = 3*w + 4*v. Is w composite?
True
Let g(z) = z**2 + 12*z + 7. Let v be g(-11). Is 3/(-1) - (-9 + v) a prime number?
False
Suppose 50 = 9*f - 85. Is 0 - ((-2)/5 - 73599/f) prime?
False
Let r = 29600 - 19384. Suppose 5*m + r - 36081 = 0. Is m composite?
True
Let r(j) = j**3 + 5*j**2 - j + 7807. Is r(0) prime?
False
Suppose -p = 4*u + 124, -2*p = -5*p - 12. Let a be (-4)/6*u/4. Suppose a*f = -f + 870. Is f composite?
True
Let s = 220 - -413. Suppose 4*f - f 