3. Is m(-6) prime?
False
Let c(s) = 268*s**2 + 7*s + 71. Is c(-6) prime?
True
Let f(t) = -13*t**2 - 4*t + 12. Let w be f(3). Let s = -2 - -4. Let x = s - w. Is x composite?
True
Let p = 13 + -9. Let d(k) = -110*k - 9. Let r be d(p). Is r/(((-9)/3)/3) a composite number?
False
Let l = 34087 + -7398. Is l a prime number?
False
Let c = -5 + 48. Suppose 4*m = u + 148, -c = 2*m + u - 117. Is m prime?
True
Let c be 963/135 + (-4)/30. Suppose c - 91 = -4*u. Is u composite?
True
Let t be (4/(-3))/((-4)/258). Let d = t - 155. Let u = d + 116. Is u a prime number?
True
Let u(f) = 350*f**2 - 14*f - 47. Is u(-4) a composite number?
True
Is ((-3)/(-4))/(21/266924) prime?
True
Suppose 3*z - z - 4 = 0. Suppose z*g + 3*g = 0. Is g + 1 + 0 - -210 a prime number?
True
Let y be ((-927)/(-5))/((-10)/(-50)). Let n = y - 410. Is n a prime number?
False
Let x = -22539 + 50002. Is x a prime number?
False
Let s = 2781 + -1124. Is s prime?
True
Is (-78254)/(-198)*(-18)/(-2) a composite number?
False
Let o(d) = -7*d - 4. Let x be o(5). Let s be 4/6 - 1534/x. Suppose -2*y = -s - 84. Is y a prime number?
False
Suppose 0 = -r - 5*j + 28, 0*r = 2*r - j - 1. Suppose r*l + 0 + 3 = 0. Is 82 + l - 8/2 composite?
True
Let f(m) = -176*m + 591. Is f(-28) composite?
False
Let m(a) = 5*a + 6957*a**2 - 13899*a**2 - 4 + 6955*a**2. Let d(y) = y**3 - y**2 + y + 5. Let u be d(0). Is m(u) a composite number?
True
Let j = -8 - -30. Suppose 4*u - j + 6 = 0. Suppose 0 = -u*t - 16, -4*t = s - 2*t - 201. Is s composite?
True
Let r = 2418 - 469. Is r a composite number?
False
Suppose 3*h = 1201 + 413. Is h + 3*5/5 composite?
False
Suppose -5*s - 36 = -14*s. Suppose 3*g = -19 - 5. Is 16/s*(-218)/g a composite number?
False
Let o(v) = v - 1. Let c be o(2). Suppose 3*s + c = 7. Suppose 2*q + 3*t = s*t + 301, q - 140 = 3*t. Is q composite?
False
Suppose 4*c + 5*x = 2394, 3*c + x - 2982 = -2*c. Suppose 5*n + m = 2 + 14, n = -4*m - 12. Is (c/(-10))/(n/(-10)) prime?
True
Let h(p) = p**2 - 11*p + 10. Let a be h(9). Let n be (-2 + a)*(-3)/6. Suppose 2*l + 167 = n*b, -b - 2*l + 3*l = -31. Is b a prime number?
False
Let v(x) = x - 12. Let i be v(8). Is (i + 120)*(9/(-6) + 2) a prime number?
False
Suppose 0 = 9*u - 5*u - 48. Suppose -97 = -13*l + u*l. Suppose -4*h + l + 75 = 0. Is h a prime number?
True
Let a(y) = -1208*y - 3. Is a(-8) prime?
True
Suppose -6*c + c + 10 = 0. Suppose d + 3*x + 377 = 0, -4*d = c*x + 1621 - 63. Let u = d + 763. Is u a prime number?
False
Let z(j) = 2*j**2 + 28*j + 29. Let q be z(-13). Let o(k) = 61*k**2 + k + 5. Is o(q) composite?
False
Suppose -w = -5*t + 288 - 24, 12 = -3*t. Let o = w + 441. Is o prime?
True
Suppose -2*s - 846 = -2*c + 4*c, 0 = 5*c + 2*s + 2112. Is (36/8 - 5)*(c - 0) prime?
True
Suppose 0 = 7*g - 5*g. Suppose g = -3*v + j + 9, 0 = -5*v + 2*j - 3 + 17. Suppose -435 = -v*p - p. Is p composite?
True
Suppose 5*n = 5*a + 5, n = -a + 4*n - 9. Suppose a*i - 2898 = -921. Is i a composite number?
False
Is ((-36194)/(-2))/(19 + -18) + 4 a prime number?
False
Let n(i) = -i**2 - 23*i + 22. Let v be n(-23). Suppose -67012 = -v*r + 20262. Is r composite?
False
Let t(r) = 173*r**2 + 2*r + 19. Is t(6) prime?
False
Let l = 2 - 0. Suppose -4*o + q + 4320 = -2974, -3*o + l*q = -5473. Is o a prime number?
True
Let x(u) = 3*u. Let h = 33 + -33. Let l be x(h). Suppose 3*k = -l*k + 2313. Is k prime?
False
Suppose 2*f = 4 - 10. Let d be 4/(-10)*(f - 2). Suppose -2141 + 243 = -5*j - i, d*i - 385 = -j. Is j a prime number?
True
Suppose t - 15 = -x + 3*t, -2*x = -3*t - 25. Let v(i) = 12*i - 34. Let o be v(4). Let z = x + o. Is z prime?
True
Let d(y) = -y - 9. Let l be d(-6). Let r be -1 - (-86 - (2 + l)). Suppose -j + 5*b + r + 127 = 0, -3*j = 5*b - 633. Is j a composite number?
False
Suppose -8*f + 65562 = 34*f. Is f a composite number?
True
Let o(p) = -409*p**3 + 4*p**2 + 14*p + 1. Is o(-6) a composite number?
True
Is ((-540)/50 - -11) + 30409/5 prime?
False
Suppose -4*b = -10 + 2. Suppose 419 = 3*h - b*h. Is h composite?
False
Let j = 1820 - -885. Is j a prime number?
False
Suppose 6*k - 14175 = -3*f + 3*k, k - 23641 = -5*f. Is f a prime number?
True
Suppose -2*h - 1152 = -2*u, -5*u - h = h - 2915. Suppose u = -c + 2*c - 2*o, 5*o - 2950 = -5*c. Is c composite?
False
Suppose 2*r = -5*t - 468 - 642, 5*r = 5*t - 2810. Let h = 1671 + r. Is h a composite number?
True
Suppose 0 = -2*x + 7*x. Suppose -3*k + 5*u + 4784 = 0, x*u - 4744 = -3*k - 5*u. Suppose 2*s - k = -2*s. Is s prime?
True
Let i(x) = -587*x**3 - x**2 + 2*x - 2. Let c be i(1). Let m = c + 1235. Is m a prime number?
True
Is 5/(-5)*6 + (57437 - -6) composite?
True
Let c(p) = 19*p**2 + 3*p + 3. Is c(4) a composite number?
True
Let h(b) = 35*b**2 - 4*b + 21. Let p be h(6). Let n = p + -700. Is n a prime number?
True
Is (-15)/(105/(-11074)) + -2 + 5 a composite number?
True
Let d = 21 + -27. Let g be (-5)/(15/d)*-1. Let f = g - -25. Is f composite?
False
Suppose 4*u = -s + 151, 0*s + 3*s = u + 401. Suppose 5*z = 3*z + 4. Suppose 0 = z*n - s - 119. Is n a prime number?
True
Is 8/4 + 15850 + 7 prime?
True
Suppose -4*v - 2*a + 201340 = 0, 5*v = 3*v + 5*a + 100646. Is v a prime number?
True
Let o(i) = 13274*i - 69. Is o(2) a composite number?
False
Let p(x) be the first derivative of -x**4/4 - 5*x**3/3 - x**2/2 - 5*x - 1. Let m be p(-5). Let v(z) = 2*z**2 + z + 58. Is v(m) a composite number?
True
Let f(s) = -s - 7. Let q be f(-7). Suppose 0 = 4*g - 5*g + 3*x + 28, q = -4*x - 8. Is g prime?
False
Let y(f) be the second derivative of 97*f**4/6 + f**3/3 - f**2 + f. Let x be y(1). Suppose -6*m + 1612 + x = 0. Is m a composite number?
True
Let j be (-6)/21 - (-1060)/35. Suppose 0 = 2*c - 8*c + j. Suppose c*t = -2*n + 159, 9 = 4*t - 11. Is n composite?
False
Let s = -975 + 2030. Suppose 4*z + 1069 = q, -3*q - 3*z = -2*q - s. Is q a composite number?
False
Let c be -2 + 38 - (1 - 4). Suppose 2*a - w - 165 = -2*a, a = w + c. Suppose g - 4*q - 21 + 7 = 0, -2*g + a = -q. Is g a composite number?
True
Let x = 20376 + -11051. Suppose 0 = -2*z - 51 + x. Is z prime?
True
Let p(k) = 2*k**2 - 26*k + 13. Let x(m) = -m**2 - 13*m + 6. Let u be x(-13). Let w be (-3)/u*(-28 - 6). Is p(w) a prime number?
True
Suppose -1090*p + 1092*p = 4254. Is p composite?
True
Let y(j) = j**3 - 6*j**2 - 6*j - 9. Let u be y(7). Let f = 75 + u. Suppose 0 = -p - 16 + f. Is p a prime number?
False
Let t be (-10136)/(-72) + (-2)/(-9). Let l = 1178 - t. Is l a composite number?
True
Let g(l) = -4*l**2 - 4*l**2 - 7*l - 16*l**3 + 2*l**2 + 17*l**3 + 3. Let h be g(6). Is h/26*418/(-3) a composite number?
True
Is ((106456/21 - 2) + -5)*3 composite?
False
Suppose 4*i - 9*i = -1545. Suppose -i - 1636 = -5*l. Is l a composite number?
False
Suppose 0*m - 24475 = -2*m + p, 3*p = -4*m + 48965. Is m prime?
True
Let l = 13709 - 2410. Is l a composite number?
False
Let f(v) = 44*v + 60. Let c be f(21). Let t = 1665 - c. Is t prime?
False
Suppose 25*p - 354849 = -8*p. Is p a composite number?
False
Let x(g) = -3*g**3 - 136*g**2 - 51*g - 47. Is x(-45) a prime number?
True
Let i(w) = 4*w**2 + 5*w + 1038. Let q(g) = -5*g**2 - 6*g - 1037. Let z(v) = 6*i(v) + 5*q(v). Suppose 0 = 2*b - 4*h, -7*h + 2*h = b. Is z(b) a prime number?
False
Let y be (2664/(-14))/(-6)*21. Suppose 4*h = y + 1562. Is h composite?
False
Let d be (6/(-18))/((-1)/9). Let x(o) = -6*o**2 + d*o**2 + 4*o**2 + 2*o**3 + 4 - 4*o. Is x(5) a composite number?
True
Let m(t) = 5*t**3 - 44*t**2 - 25*t + 41. Let c(w) = 2*w**3 - 15*w**2 - 8*w + 14. Let p(h) = 8*c(h) - 3*m(h). Is p(-8) a prime number?
True
Suppose -10*o + 928 = -8*o. Suppose -3*p - 2570 + o = -3*v, 0 = -5*p - 5. Is v prime?
True
Suppose 5*y = -1067 + 3747. Suppose f = 3 - 1. Suppose 0 = 3*p + q - 784, -2*p + 0*q + y = -f*q. Is p prime?
True
Let b(t) = 36*t**2 + 11*t + 141. Let k(j) = 9*j**2 + 3*j + 35. Let i(q) = -2*b(q) + 9*k(q). Is i(-14) a prime number?
False
Let w be (-10 - -1)*2/(-3). Let n be 81 - (-2 - -1*w). Let q = n - 42. Is q prime?
False
Let z(f) = 2*f**2 - 22*f + 2. Let g be z(11). Suppose -2 = -3*s + s - g*r, 2*s - 4*r = 26. Suppose -q = -s*y - 32 - 26, q - 68 = 3*y. Is q a prime number?
True
Suppose -10050 = -3*w + 3*m, 1732 = 3*w + 5*m - 8286. Suppose 0 = -9*h + 2*h + w. Is h a composite number?
True
Let d(a) = -3*a**2 + 0*a**2 + 10*a + 4*a**2 + 11*a