a prime number?
False
Let j(t) = 39*t**3 + 68*t - 18. Is j(7) prime?
False
Let h = 2431 + -4250. Let z = h + 3032. Is z a composite number?
False
Suppose -3 = v + 5*n, 0 = n + 4*n + 10. Suppose 0 = -v*y - y + 38264. Is y prime?
True
Is (51 - -3338)*(-1 - -2) a prime number?
True
Suppose 4*k + 30077 = 5*o, -4*o - 3*k - 12028 = -6*o. Is o composite?
True
Let z = 4335 + -1756. Is z a composite number?
False
Suppose -4 = -5*v - 9. Let c be 6*(v - 0/(-3)). Let q(y) = 2*y**2 + 7*y + 7. Is q(c) composite?
False
Let s(r) = r**3 - 6*r**2 - 3. Let u be s(6). Let a(j) = 88*j - 11. Let v(y) = 88*y - 10. Let h(f) = 5*a(f) - 6*v(f). Is h(u) a prime number?
True
Let c be 3 + 6 + (-3 - 6)/3. Suppose -y + 3*d + 4 = -c, 5*d + 24 = 2*y. Is y prime?
False
Let x = 2043 - -7250. Is x composite?
False
Let c(v) = 15*v**2 + 6*v + 7. Let y(k) = k**3 + 3*k**2 - 8*k + 6. Suppose -m + 2*h = 9, 0 = -5*m + 2*h - 23 - 6. Let t be y(m). Is c(t) a prime number?
True
Suppose -h = -22*y + 23*y - 24397, -2*y = 5*h - 48782. Is y a composite number?
True
Is (-45)/6*-1054 - -2 composite?
False
Let m(p) be the first derivative of -69*p**2/2 - 7*p + 14. Is m(-10) composite?
False
Let j = -6069 - -10930. Is j a prime number?
True
Suppose -z + 322 = 4*y - 379, 0 = 5*y. Is z composite?
False
Let m(a) = -33*a**2 - 2 + 6*a - 4*a + 2. Let k be m(-1). Is (-3940)/k - (-9)/21 composite?
False
Let r be (12438/10)/3 - (-2)/5. Suppose -4*v + 2677 = y + 1002, -4*y + r = v. Is v a prime number?
True
Let h(q) = 5*q**3 - 4*q**3 + 10*q**2 - 2*q**3 + 14 + 2*q + 8*q. Suppose -5*l - 3*w = -40, -3*w = l - 5*l + 59. Is h(l) prime?
True
Let v(j) = -5*j**3 + 5*j**3 + 5*j**3 - 9 - 9*j**2 - 3*j**2 - 9*j. Is v(7) a composite number?
True
Let y(p) = -2*p**2 - p - 180. Let d be y(0). Let t = 66 - -197. Let u = d + t. Is u a composite number?
False
Let a(b) = 68*b - 74*b - 152*b - 196*b - 1. Is a(-3) a composite number?
False
Let z = 19 + -11. Let j(v) = -v**3 + 7*v**2 + 9*v - 6. Let h be j(z). Suppose -h*k = -288 + 70. Is k composite?
False
Suppose 130*c - 127*c - 9351 = 0. Is c prime?
False
Let t be -3 + 2/(-10)*-5. Let a = -10 - -7. Is ((-3)/t)/(a/(-230)) a prime number?
False
Let i = -22 + 22. Suppose -10 = 5*q, -2*h + i*q - 2*q + 66 = 0. Is h composite?
True
Suppose 0 = 4*f - 8*f - 28. Let x = f - -2. Is (-441)/(-1) - (-3 - x) composite?
False
Suppose -8 = 2*d - 2*q, 0 = 6*d - 4*d - 5*q - 4. Is (-26)/d + (-2)/8 composite?
False
Suppose 3 = 2*q - 1. Suppose -5*w + 15 = -5*r, -w - 6*r = -2*r - 3. Suppose -3*g + 2*d + 239 = q*g, 2*g - 107 = -w*d. Is g a composite number?
True
Let c = 35 + -30. Suppose 5 = z + c*f, -4*z = -2*z + 2*f + 30. Is ((-175)/z)/((-1)/(-4)) composite?
True
Suppose 2953 - 208 = 15*x. Is x a prime number?
False
Let l(x) = x - 2. Let b be l(4). Suppose -5*d + 2*n + 39 = 0, -2*n - b - 1 = -d. Is (-4)/18 - (-1424)/d prime?
False
Suppose -5*i = -i + 4*u - 1360, 4*i + u = 1357. Suppose -3*m + i = -1554. Is m prime?
True
Suppose 3*x + 15 = 0, -5*r - 3*x = -0*r. Suppose -852 = -0*f + r*f. Let j = 450 + f. Is j prime?
False
Let c(x) = x**3 - 5*x**2 - 127*x + 1. Is c(16) a prime number?
False
Let i(z) = z**2 - 4*z + 4. Let f be i(8). Suppose 37*v - 91 = f*v. Is v composite?
True
Let p = 3371 + -349. Is p composite?
True
Suppose 37*v = 423445 + 272488. Is v composite?
True
Let t be 15/10 + (-11)/2. Let d = t - 4. Let s(p) = p**2 + 2*p - 11. Is s(d) prime?
True
Let s = -6291 - -9380. Is s a composite number?
False
Let a = -7 + 3. Let o(m) = -7*m**2 + 11*m - 5. Let p(h) = h**2 - h. Let t(s) = a*p(s) - o(s). Is t(-6) prime?
False
Let h be 1002/27*3*-3. Let f = 223 - h. Is f a composite number?
False
Suppose 5*u = -3*d + 32, -5*u = 4*d - 26 - 10. Suppose u*r - 2*l - 1494 = 0, r - 3*l + l = 381. Is r prime?
False
Let m = 13 + -5. Let v(p) = -p**2 - 6*p + 12. Let f be v(m). Let l = 215 + f. Is l a prime number?
False
Let n = -5313 - -12308. Is n prime?
False
Suppose 18*s - 16*s = -10, 2*j = s + 79219. Is j a prime number?
True
Let i(f) = 4*f**2 - 11*f + 2. Suppose -4*k - 5 - 55 = 0. Is i(k) a prime number?
False
Let z be 8/(-16) + 78/4. Let s = z + 16. Is s prime?
False
Let y = 31165 - 6111. Is y prime?
False
Let x(w) = 112*w**2 - 17*w - 2. Is x(3) composite?
True
Suppose 0 = -4*a - 8, 343*a - 340*a - 4401 = -3*z. Is z composite?
True
Let f be 3/(2 + (-3)/6). Suppose d = -2*l + 15, l + 75 = 5*d + f*l. Is (1194/d)/(8/20) a composite number?
False
Suppose 5*v + 73469 = 5*c + 3*v, 3*c - 3*v - 44076 = 0. Is c a composite number?
True
Let q = -545 + 2446. Is q composite?
False
Let w = 13 - 11. Suppose -w*s + 5*x = -10, s - 4*x - 1 - 7 = 0. Suppose 2*y - t - 4*t - 81 = s, 0 = 2*y - 2*t - 78. Is y a prime number?
False
Let r(x) = -75*x**3 - 2*x**2 - 4*x - 3. Let a be r(-2). Let s = -251 + a. Is s composite?
True
Suppose -328 - 491 = -3*c. Suppose 0 = -u + 1960 - c. Is u prime?
False
Let x(l) = 3*l + 1. Let z be x(-1). Let n be (-1 + z)/3 - 35. Let b = n + 94. Is b a composite number?
True
Let i = 1849 - 555. Is i prime?
False
Let x(c) = 803*c + 87. Is x(4) composite?
False
Let f(b) = -b - 15. Let x be f(9). Let g = 25 + x. Is 332 + (2 + -5)/g a composite number?
True
Let g(t) = 154*t**3 + 2*t**2 + 33*t - 25. Is g(6) a composite number?
True
Suppose 4*r = -r. Let d = -4 + 7. Suppose -d*h + 111 + 48 = r. Is h composite?
False
Suppose -5*d + 15 = 0, -d + 5*d = -2*s + 6874. Is s prime?
False
Suppose -13*t + 143035 = -627748. Is t prime?
False
Let h be 3/(-2) + (-15)/(-2). Suppose -2*q = -3*x - 127, -4*q + 251 = x - h*x. Is q a prime number?
True
Let d(w) be the third derivative of 217*w**5/60 + w**3/6 + 31*w**2. Is d(-2) prime?
False
Is (-12 + 10)/(3*2/(-200757)) prime?
True
Suppose 0 = -95*r + 42*r + 135203. Is r a composite number?
False
Suppose -3*m + 96 - 87 = 0. Let r = 115 + 32. Suppose 3*a + 57 = 5*a + m*z, -5*z = -4*a + r. Is a a composite number?
True
Let s(b) = 413*b**3 - b**2 + 8*b + 1. Is s(4) a prime number?
True
Let f = -23202 + 46679. Is f a composite number?
True
Let f = 9728 - 4651. Is f a composite number?
False
Let k = -11 - -41. Suppose -5*y - k = -2*a - 3393, -3*a = y - 676. Is y prime?
True
Suppose -2*s - 4*z + 2725 + 883 = 0, z - 7223 = -4*s. Suppose 0 = 2*k - 8*k + s. Is k composite?
True
Let v(b) = 30*b**3 + b**2 + 4*b - 3. Let f(h) = 6*h**3 - h**2 - h. Let p be f(1). Is v(p) composite?
False
Let d(b) = 3*b**2 + 2*b + 4. Let r = 7 + 1. Suppose -4*f = 4 + r. Is d(f) a composite number?
True
Let m(r) = -10*r**2 - 17*r - 1. Let k(p) = 21*p**2 + 33*p + 2. Let i(z) = -4*k(z) - 9*m(z). Is i(-12) a composite number?
False
Suppose 2*s + 4*k = 3887 - 1209, -3*s + 3*k + 4017 = 0. Let p = s - 542. Is p prime?
True
Suppose 4*w - 13 = 7, -4*o - w + 5 = 0. Suppose -4*d + 356 = 2*c, -3*c + o*c + 356 = 4*d. Is d composite?
False
Let p(m) = 3658*m**2 - 3*m - 2. Is p(-1) prime?
True
Suppose g = 2*v - 23114 + 8310, 0 = -4*v - g + 29614. Is v composite?
True
Suppose q + 4*x - 22943 = 0, -5*q - 3*x = -38102 - 76664. Is q prime?
False
Suppose -6*w + w = -115. Suppose 0*p + p = 3*u + 12, 5*u + w = 2*p. Suppose p*h - 425 = 4*h. Is h composite?
True
Suppose 18 = -5*m - 3*h, 4*h + 9 + 10 = -5*m. Let z be ((-628)/m)/(12/18). Suppose -o + z = o. Is o composite?
False
Suppose 4*s + 8*s = 2*s. Suppose s = y - 475 - 268. Is y a prime number?
True
Suppose l + 7 = 6. Let d be (l - 1) + 34*2. Is d/2 - (6 - 4) a prime number?
True
Let a(w) = -w + 11. Let v be a(13). Let q(z) = z. Let u(p) = -5*p. Let m(h) = v*u(h) - 9*q(h). Is m(7) a prime number?
True
Let y(n) = 5*n**3 - 22*n**2 + 17*n - 67. Is y(18) prime?
True
Suppose -k - 2*k - 5*o - 30 = 0, 4*o - 50 = 5*k. Let z(m) be the third derivative of -17*m**4/24 + 5*m**3/2 + 2*m**2. Is z(k) a composite number?
True
Is 170092 - (-8 + -2 + (12 - 5)) a composite number?
True
Let u(l) = -27*l + 8. Let i be u(7). Let v = -38 - i. Let y = -94 + v. Is y a composite number?
True
Let y be -1 + -3 + 225 + (1 - 0). Suppose 59 - y = -d. Is d composite?
False
Let w(o) = -7*o**3 - o. Let j(u) be the second derivative of u**3/6 - 11*u**2/2 - 2*u. Let z be j(9). Is w(z) prime?
False
Suppose -177*x + 171*x + 8622 = 0. Is x a composite number?
True
Let z be 5*14/(-35)*2*-4. Suppose 0 = -19*s + z*s + 6219. Is s a prime number?
False
Let l(z) = 9*z**3 - 6*z**2 + 15*z + 7. Let a be l(7). Suppose d