z(x) = 12*x**3 - x**2 - 3*x + 11. Is z(5) prime?
True
Let g = 189 + -108. Let z(f) = -15*f - 2. Let n be z(2). Let y = g + n. Is y a composite number?
True
Suppose -7*a + 532 = 161. Is a a prime number?
True
Let y(o) = -3*o - 1. Let z be y(-2). Let a(x) = 32*x - 3. Is a(z) composite?
False
Suppose -b = -6*b + 8545. Is b a composite number?
False
Suppose 46 + 8 = v. Suppose -h + v + 29 = 0. Is h prime?
True
Let g be 25/(-10)*(-108)/10. Let f be 286/9 - (-6)/g. Suppose -4*z - 3*v + 389 = f, 4*z - 3*v = 339. Is z prime?
False
Suppose -2 - 4 = -2*r. Suppose 3*d - 477 = -r*w, -4*w + d + 936 = 310. Is w a composite number?
False
Suppose 181 = 2*n + 9. Suppose 0*g + n = -2*g + 2*y, 0 = -g + 4*y - 28. Let v = -23 - g. Is v composite?
True
Let g be 4/2 - 1*-2. Suppose 9*m - g*m - 35 = 0. Let q(c) = -c**2 + 10*c + 2. Is q(m) a composite number?
False
Let f = -3 - -7. Suppose 4*a + 4*k - 208 = 0, -8*k + 212 = f*a - 3*k. Is 4/(a/(-21))*-76 a composite number?
True
Let k = -4 - -8. Suppose -k*t + 660 = 4*q, -2*q = -t + 2*q + 185. Is t prime?
False
Suppose 1 - 22 = -s. Let k = 30 - s. Is k a composite number?
True
Let r(j) = j**3 + 21*j**2 - 37. Is r(-15) a prime number?
False
Let i = 879 - 628. Is i a prime number?
True
Let h be (12 + 1)/((-1)/(-2)). Let i = -3 + 3. Suppose -d + 11 + h = i. Is d prime?
True
Let u be ((-6)/5)/(15/(-1600)). Suppose 0 = 5*i - 27 - u. Is (-2 - -1)*i/(-1) composite?
False
Suppose -890 = -3*t - t - 3*x, -3*t + 5*x + 682 = 0. Let i = t - 81. Is i prime?
False
Let f(i) = i**2 - 7*i + 15. Is f(8) a prime number?
True
Let j(o) = o**2 + 1. Let q be j(2). Suppose -l + 19 = q*d, 2*l = 4*d - 1 - 3. Suppose -d*p + 98 = -p. Is p a composite number?
True
Suppose -b - 622 = -5*f + 489, 4*b - 16 = 0. Is f a prime number?
True
Let n(a) = -a**2 - 8*a - 2. Let w be n(-7). Suppose 3*i = -4*o - o + 10, -w*o = -i - 10. Let s = o - -1. Is s a prime number?
True
Let s be (-5)/25 - 101/(-5). Suppose -z + s = 3*z. Is (-14 + 0)/((-2)/z) a composite number?
True
Let j(a) = 4*a**2 + 1 - 9*a + 3*a + 0*a**2 - 4. Is j(5) prime?
True
Let f(x) = x**3 + 8*x**2 - 10*x + 1. Let d be f(-9). Is (-5)/(d/4)*-11 a composite number?
True
Let d be (-56)/(-12) - (-1)/3. Suppose 0 = d*w - 15, 2*t - 2 - 122 = -2*w. Is t a prime number?
True
Let b = 723 + -308. Is b prime?
False
Let d be (-91)/(-35) + (-4)/(-10). Is (-765)/(-4) - d/12 a prime number?
True
Is 5 - 1 - (-9 + -334) composite?
False
Let o(y) = 10*y**2 - 2*y + 3. Is o(3) prime?
False
Let v(a) = -a**2 - 5*a - 3. Let k be v(-5). Is 10 + 3/k + 1 composite?
True
Suppose 0 = 3*w + 806 - 2123. Is w a prime number?
True
Let t be 162/8 - 3/12. Let d = t + 29. Is d a prime number?
False
Let g(a) = a + 13. Let b be g(-11). Suppose -3*z - 2*z + 1169 = 3*o, 0 = b*z + 4. Is o composite?
True
Suppose 6*y = y. Suppose y = -2*l - l + 435. Is l a prime number?
False
Suppose -3*v + 754 = -437. Is v prime?
True
Let c = -6 + 11. Suppose c*r = 391 + 244. Is r prime?
True
Suppose -3656 = 4*i - 3*b + 3459, 4*b = 4*i + 7116. Is (i/(-4))/(6/12) prime?
False
Let o be 2/(-7) + (-20135)/(-35). Let k = -268 + o. Is k prime?
True
Let y(a) = 69*a - 2. Let t(b) = 68*b - 1. Let u(q) = 3*t(q) - 2*y(q). Is u(2) a prime number?
False
Let f be 8/6*12/(-8). Let v(u) = 5*u - 1. Let k be v(f). Let p = 48 + k. Is p composite?
False
Let v = 51 - 21. Suppose -6*r - v = -2*d - 5*r, 4*d + 2*r - 52 = 0. Is (d/(-5))/(4/(-20)) prime?
False
Suppose -3*k = -1 - 5. Suppose 2*h = 5*o - 10, h - 1 - 24 = -5*o. Suppose o*q - k*m - 132 = 86, q - 5*m - 68 = 0. Is q a prime number?
True
Is ((-166)/(-8))/(10/280) prime?
False
Is (979/(-22))/((-1)/2) a prime number?
True
Is (-9)/(-1) + 8/2 prime?
True
Let o(p) = 293*p**3 + p**2 - 3*p + 2. Is o(1) prime?
True
Let h(k) = -k + 2. Let o(s) = -2*s + 5. Let v(d) = d**2 + 3*d - 1. Let m be v(-4). Let l(f) = m*o(f) - 5*h(f). Is l(-6) prime?
True
Suppose -2*y + j - 22 + 65 = 0, -4*j + 68 = 2*y. Let f = 126 - y. Let z = 159 - f. Is z composite?
True
Suppose -5*p + 15 = 0, -5*i + 2*p = 6*p - 1597. Is i prime?
True
Let s(u) = -346*u + 9. Is s(-8) a composite number?
False
Let a = 5 - 5. Suppose -k - 3*y - 2 + 22 = 0, -4*k - 2*y + 50 = a. Let q = 18 - k. Is q prime?
True
Suppose -58 = s - 3*s. Suppose 22 = l - s. Is l prime?
False
Let y = 2 + 0. Let v(k) = 2*k**2 + 4*k + 6. Let w(x) = -3*x**2 - 5*x - 7. Let s(n) = -5*v(n) - 4*w(n). Is s(y) a prime number?
False
Suppose -3*a = 12, -o + 494 = 2*o + a. Is o composite?
True
Is 27/9 + (141 - -1) a composite number?
True
Let h be 2000/(-6) - (-6)/18. Let t be 1/(330/h + 1). Let k = t - -16. Is k prime?
True
Let b(x) = -186*x**3 - 2*x**2 + x + 2. Is b(-1) a prime number?
False
Let i = -10 - -6. Let v be (-2)/3 + i/(-6). Suppose 12 = -4*y, -3*n - n + 2*y + 274 = v. Is n prime?
True
Let p be (-3 - (-5 - -4)) + 4. Suppose 224 = 3*h + h - n, -2*n + 122 = p*h. Is h composite?
True
Let x(f) = -1 + 3*f**3 - 2*f + 2*f**3 + 3. Let q be x(3). Let h = q + -46. Is h composite?
True
Suppose 3*u + u - 1964 = 0. Is u composite?
False
Let x(p) = -p + 5. Let v be x(4). Let u(f) = -43*f**2. Let j be u(v). Let m = -22 - j. Is m composite?
True
Let j(t) = t - 17. Let p be j(9). Let w(y) = -43*y - 9. Is w(p) a prime number?
False
Suppose 6*y - 5*y = 159. Is y composite?
True
Let n be (2 - 1)*(-1 - -3). Let a = -3 + n. Is -5 + 73 + (0 - a) a composite number?
True
Suppose 5*z - 173 = 3*x + z, 2*x = -3*z - 104. Let v be 22/(-4)*14 + 0. Let r = x - v. Is r a prime number?
False
Let g(l) = -l**3 - 9*l**2 - 7*l + 10. Let d be g(-8). Suppose -3*q - 4*j = -121, 4*j - 8 = d*j. Is q prime?
False
Suppose b - 4*b + 3 = 0. Let s(w) = 1 - 4*w**2 + 18*w**2 + 59*w**2. Is s(b) prime?
False
Let v(c) be the second derivative of c**5/20 + 9*c**2 - 3*c. Let s be v(0). Let n = 27 - s. Is n a composite number?
True
Suppose 0 = -5*c + 5*l + 2740, 2*c = -5*l + 914 + 175. Is c prime?
True
Suppose 4*g = -5*n + 6633, -2*g + 2*n - 3*n = -3315. Is g a composite number?
False
Let m be (3/(-6))/(4/(-920)). Let g = m - 46. Is g prime?
False
Suppose 1 + 0 = q. Suppose -q + 16 = m. Is m prime?
False
Let d be 5/(-2)*(-2 - 0). Suppose -v - 3*v = -m + 85, 0 = d*m - 5*v - 425. Is m a composite number?
True
Let q(g) = 2*g**3 - g**2 - 2*g + 3. Let j be q(2). Let k(i) = i**3 - 12*i**2 + 13*i + 15. Is k(j) a composite number?
False
Suppose 0 = z + 3*h - 9, 0 = -5*z + 2*z - h + 43. Let i = 38 - z. Is i composite?
False
Let h = 12 - 7. Suppose 0 = -h*v + 81 + 164. Suppose 2*w - v = -3*q + 88, 3*q + 5*w - 149 = 0. Is q composite?
False
Suppose -17*i + 10*i = -1477. Is i a prime number?
True
Let o(x) be the third derivative of x**6/120 - x**5/15 + x**4/12 + 5*x**3/6 + x**2. Is o(4) a prime number?
True
Suppose -2 = 3*u - 65. Suppose -4*g - 34 = 2*h, 3*g = 3*h - 0*h - 3. Let k = g + u. Is k a composite number?
True
Let k(w) = w**3 - 7*w**2 + 6*w + 3. Let i be k(6). Is (i - -6)/(-3) + 376 a composite number?
False
Suppose -5 + 1 = -2*a. Let i = a - 2. Is 0 - (i - (1 + 20)) composite?
True
Suppose -3*o - 3*g + 27 = -0*o, 5*o - 3*g - 13 = 0. Suppose 4*d - 145 = b, 4*d - o*b - 136 = -b. Is d a composite number?
False
Let a(k) = 2*k**2 - 10*k - 5. Is a(9) a composite number?
False
Suppose -1 = -5*z + 39. Let k = 15 - z. Is -2 + (k - -1*2) a prime number?
True
Let g be 21044/10 + (-4)/10. Suppose 0 = 5*j - g + 364. Suppose l = 5*l - j. Is l composite?
True
Let t be 5*(-2 - -1)*1. Suppose 0 = -3*y - y - 2*k + 176, 4*y - 180 = -3*k. Let s = y - t. Is s a prime number?
True
Let o(i) = -13*i - 3. Let w be o(-2). Let a = 68 + w. Is a a composite number?
True
Let k = 3 - 2. Let q be 1*(k - 0) - 1. Suppose q*u = 5*u - 155. Is u composite?
False
Let r(p) = p + 11. Let y be r(-11). Suppose y = t - 48 - 101. Is t composite?
False
Suppose 0*m + 5*m + 3*y - 448 = 0, 4*m + 3*y = 356. Suppose 0 = -4*x + z + 359, -x = -0*x + 2*z - m. Let u = x - -173. Is u a prime number?
True
Let o = 1506 + -838. Suppose -3*s + 235 = -o. Is s composite?
True
Suppose m - 52 = 75. Is m a prime number?
True
Suppose -1 = 10*w - 9*w. Is (w - -8)*(0 + 1) a prime number?
True
Let c(x) = 14*x**2 + 6*x + 17. Is c(-8) a composite number?
True
Let d(l) = l. Let x be 4/(-4) - (-1 + 1). Let w(t) = -6*t + 14. Let q(o) = x*w(o) - 4*d(o). Is q(10) prime?
False
Let x = -22 + 103. Suppose -3*g + 78 = -x. I