6*z + 17*z. Is z prime?
True
Let d be (-290)/6*(2*-6)/(-4). Let j = -21 - 375. Let u = d - j. Is u composite?
False
Let n(b) = 1186*b - 9. Is n(2) a prime number?
False
Suppose -10 = -2*x, 3*p - 2*x = -0*x + 158231. Is p a prime number?
True
Let b = -204 - -137. Let a = 207 + b. Let n = 226 - a. Is n a prime number?
False
Suppose -3*q - 2 = -26. Let p = 11 - q. Is 271/(-3*p/(-9)) prime?
True
Let l(v) = -2*v - 1 + 4*v**2 - 63*v**3 + 71*v**3 + 2. Is l(3) prime?
False
Let p be ((-6)/15)/((-1)/(-26920)). Is ((-2)/(-4))/((-8)/p) a composite number?
False
Let f(v) = -v**2 + 1. Let c(w) = -20*w**3 - w**2. Let o(i) = -c(i) - f(i). Is o(3) prime?
True
Let j be 513/18*188/3. Suppose -4*f - j + 458 = 0. Let y = f + 493. Is y prime?
False
Let w(k) = 295*k**3 - k**2 + 2*k - 1. Suppose t - 4*t - 5*a = 10, 20 = -4*a. Suppose -5 = -t*g - 5*i, -2*g + 1 = -g + 2*i. Is w(g) a composite number?
True
Suppose -o - 16259 = 16*h - 21*h, 0 = 2*o + 8. Is h composite?
False
Let t(j) = 631*j**2 + 2*j + 1. Let f be t(2). Suppose 0 = 3*n - q - 837, 722 + 124 = 3*n + 2*q. Suppose -4*o - 5*h + f = 0, -2*o + 981 = -h - n. Is o prime?
True
Suppose 0 = -9*g + 32*g - 17319. Is g prime?
False
Let v be ((-4)/2)/(17/(-34)). Let w be (4 - v)/(3 - 4). Suppose -p - 144 = -3*d + 2*p, w = 5*d + 2*p - 275. Is d a prime number?
True
Let v = -171 + 161. Let f(c) = -19*c - 9. Let g be f(-6). Let p = g + v. Is p a prime number?
False
Let u(c) = -2*c**3 - 2*c - 4. Let y be u(-2). Suppose -12*o = -y*o + 1148. Is o prime?
False
Let h(g) = g**3 + 43*g**2 + 81*g + 92. Is h(-39) a composite number?
True
Let k be (0 - (4 - 5))/(-1). Let j(y) = -9*y**3 - 3*y**2 - y + 1. Let b be j(k). Suppose -709 = 7*t - b*t. Is t a prime number?
True
Let v(a) = -a**3 - 19*a**2 - 175*a - 11. Is v(-19) a composite number?
True
Let r = -4 + 3. Let q be (2/r)/(-3 - -2). Suppose q*k + x - 131 = 37, -4*k = -x - 330. Is k a composite number?
False
Suppose 4*y - 5*i = -10*i - 15, -5*y = -i + 55. Let o be ((-1124)/y)/(8/40). Is o - (1 - 4/2) composite?
False
Suppose 3*u - j - 5070 = 0, -4*j + 8443 = 5*u - 8*j. Is u a composite number?
True
Suppose 4*a = -4*l + 1682 + 3710, 0 = -a + 2*l + 1345. Suppose -a = -8*v + 5*v. Suppose -4*y + 21 = 2*p - v, 0 = 2*p + 2. Is y a composite number?
True
Let m(o) = 4356*o - 331. Is m(8) prime?
False
Let u = 14413 + -6804. Is u prime?
False
Let f be ((-2)/(-6))/((-2)/(-12)). Suppose 4*y - 32 = -4*d, 2*d + 3 - 11 = 2*y. Suppose -2*a = f*s - 582, -a - s + d*s = -291. Is a a composite number?
True
Suppose -208518 = -64*y + 890170. Is y prime?
True
Suppose 8*t - 69 - 3 = 0. Suppose 3*y - 5*a - 1152 = 0, 0 = -7*a + 4*a - t. Is y composite?
False
Let n(b) = 27*b + 1. Let f be n(4). Suppose 4*d + 44 = 4*k - 24, 0 = -3*d + 3. Let p = f + k. Is p composite?
False
Let u(i) = -9 + 3*i**2 + 4*i - 3*i**2 + 11*i**2 - 4*i**2. Is u(-5) composite?
True
Let o = 27 - -33. Let y = 271 + o. Is y a prime number?
True
Let n = 272 - -1377. Is n a composite number?
True
Suppose -3*s = -0*h + h - 11, 0 = 5*s + 4*h - 23. Suppose -s*o = 2*u - 0*u - 2849, 3*u + 3*o = 4272. Is u prime?
True
Let q = -2290 - -3332. Is q a composite number?
True
Let h be (-2)/((-7)/3 + 2). Suppose -3*s = -r - h, 5*r + 4 = 4*s - 4. Suppose -2*j + s = 0, -3 = 2*d + j - 98. Is d a prime number?
True
Suppose -11251 = 13*o - 14*o. Is o a prime number?
True
Let r be 27/(-15) - 4/20. Let f = -3 + r. Is (1/(-4))/(f/2260) prime?
True
Suppose r - 9231 = -4*z + 5187, 0 = -5*z + r + 18027. Suppose -u = 6*u - z. Is u prime?
False
Let s be (5/(-3))/1*-3. Let z(i) = 5*i**3 + 19*i**2 + 16*i - 17. Let x(r) = 6*r**3 + 18*r**2 + 16*r - 16. Let h(a) = s*z(a) - 4*x(a). Is h(-22) a prime number?
False
Let z(g) = -8*g**3 - 5*g**2 + 4*g - 9. Let q be z(6). Let t = q - -3710. Is t prime?
False
Suppose 9*n + 45 + 36 = 0. Let d(y) = 22*y**2 + 12*y - 11. Is d(n) prime?
True
Let v(x) = -2*x**2 - 10*x + 13. Let m be v(-6). Is (-502)/m*(-24)/48 composite?
False
Let m = -52 + 61. Suppose -56 = -m*p + p. Is p a prime number?
True
Is (-1)/(2*((-34068)/(-34072) - 1)) a prime number?
True
Let n(h) = 10*h**3 + h + 1. Let w(v) = -v**2 + 6*v - 2. Let s be w(5). Let l be n(s). Let o = l - 156. Is o prime?
False
Let j(s) be the third derivative of 2*s**5/15 + 9*s**4/8 + 7*s**3/2 - 18*s**2. Is j(-10) a composite number?
True
Suppose -l = 2*k + 3*l + 12, -3*k + 3*l = -27. Suppose k*q = -2*p + 12 + 414, 0 = -5*p + 2*q + 1053. Is p a prime number?
True
Suppose -14*a - 1920 = -19*a - 5*b, -1870 = -5*a + 5*b. Is a prime?
True
Let b(n) = 68*n**2 - 1. Let m be 6/(-4) - 6/(-12) - 2. Is b(m) prime?
False
Let d(x) = 66*x - 8. Let j be d(3). Let s = -33 + j. Is s prime?
True
Let r = -367 - -404. Is r prime?
True
Let v(a) = 8*a**2 + 19*a - 12. Is v(-17) prime?
False
Let m = 60 + -60. Is (409 + 0 + m)/(1/3) a composite number?
True
Suppose 7*z - 3*z + 20 = 0. Let b = z + 134. Is b prime?
False
Let b = -13 + 19. Let w(c) = -3*c**2 - c**3 - 5*c**2 + 5 - c**3 + b*c. Is w(-7) composite?
False
Is 2/6 + 324352/42 + -14 a prime number?
False
Let p(z) = -5*z - 1. Let d be p(-1). Suppose 5*v = 2*y - 14 + 5, d*y - 48 = 4*v. Suppose 2*x - 4*i + 8 + 0 = 0, -i = 2*x - y. Is x a prime number?
False
Let y(q) = q**2 + q + 1. Let v be y(-2). Let j = -2 + v. Let t(f) = 115*f**3 + f**2 - f. Is t(j) a prime number?
False
Suppose 3*d = 5*d + 5*n - 461, 3*d = -3*n + 678. Is d composite?
False
Let z(m) = -16*m**3 + 9*m**2 + 9*m - 7. Let i be z(-8). Is i*(-2 - -6 - (-2 - -5)) a composite number?
False
Suppose 0 = 5*t - 6127 - 12263. Suppose 8*z - 10*z + t = 0. Is z a composite number?
True
Let w(h) = -3*h + h + h**2 + 0 - 3 - 9. Let d be w(5). Suppose -d*r - 1276 = -7*r. Is r a composite number?
True
Let m(a) = 1803*a**2 - 5. Is m(2) prime?
True
Suppose -3*i = -6*i + 9. Suppose 14996 = -i*f + 7*f. Is f a prime number?
False
Suppose 68*v - 176281 = 61*v. Is v a prime number?
True
Suppose 0*b + 20 = 4*b. Suppose 3*k - b*k = 2*x - 2028, -2*x + 1019 = k. Is k a prime number?
True
Suppose -11*y - 24*y + 292355 = 0. Is y a composite number?
False
Is (20 - 98)*2*(-1)/4 a composite number?
True
Let p = 41 + -22. Suppose -3*m + 5*j = -81, 175 = 5*m - j + 18. Let t = m - p. Is t composite?
False
Let g be 3/(-2)*32/6. Let s(j) = j**3 + 9*j**2 + 7*j - 3. Let n be s(g). Suppose 4*o + 5*h - 88 = 0, n*h - 137 = -5*o - 27. Is o a composite number?
True
Suppose 2696 + 1747 = x - 2*a, x = 5*a + 4449. Is x composite?
True
Suppose 12*c - 7*c - 6311 = -4*t, -4*t + 5052 = 4*c. Is c prime?
True
Is (-178620)/(-143) + 2/(-22) composite?
False
Let w = 22 + -25. Let a be (142/(-5))/(w/15). Let r = a + -56. Is r composite?
True
Let f(q) = -3112*q - 101. Is f(-3) a composite number?
True
Is ((-2)/(-3))/(28/15997170*17) composite?
True
Let x(f) = 2*f + 20. Let p be x(-9). Suppose p*o = 3*l - 917, -3*o = l + 4*l - 1541. Is l prime?
True
Suppose 4*h - 2047 = 3*i, -2*h + 5*i - 187 + 1228 = 0. Suppose 6*k - 2*k - h = 0. Is k a composite number?
False
Suppose i - 3*j - 14 = 6, 4*i - 36 = j. Suppose 3*s = i*s - 7735. Suppose 0 = -5*l + s + 1618. Is l a composite number?
True
Let w(j) be the second derivative of j**3/2 + 691*j**2/2 - j - 2. Is w(0) a composite number?
False
Let m(r) = -r**3 - 2*r**2 - r + 785. Is m(0) a composite number?
True
Suppose 24*r = 28*r + 32968. Is r/(-39) - 1/3 prime?
True
Suppose 0 = r - 6*r + 2*u + 29931, 0 = -2*r - u + 11976. Is r a composite number?
False
Is (-78)/39 - (-318 - (-1)/(-1)) prime?
True
Let t = -8 + 15. Let b = -24 + t. Let r(h) = -4*h - 1. Is r(b) composite?
False
Let l = -62772 - -91651. Is l composite?
False
Let m = 31734 + -21958. Let v = m - 6933. Is v composite?
False
Let k = -111 - -115. Suppose -4*s - 54 = -5*s. Suppose -k*b = -s - 6. Is b a prime number?
False
Let w(j) be the third derivative of 7*j**6/120 - j**5/20 - j**4/3 + 11*j**3/6 - 2*j**2. Is w(3) a prime number?
True
Is (306939/(-1212))/((-90)/88 + 1) composite?
True
Let t(c) = -51*c**3 - 9*c**2 - 16*c - 9. Is t(-6) a composite number?
True
Let k = 17306 + -9895. Is k prime?
True
Is -1 + 980/(5 + 2) composite?
False
Suppose 4077 = 11*w - 12412. Is w prime?
True
Let d(m) = 11*m**2 - 10*m - 7. Let t = -7 - -2. Let y be d(t). Is (y/4)/(2/4) a prime number?
False
Let y be 30/(-2)*48/(-15). Is 2/2*(-17 + y) composite?
False
Suppose 2*f = -f +