 5*s - 2222 = -4*v, -2206 = -4*v + 2*s + s. Is v prime?
False
Suppose -x - 79 - 12 = -3*n, -4*n - 4*x = -132. Let p = n + 0. Is p a composite number?
False
Let t(j) = -6*j - 23. Is t(-17) a prime number?
True
Suppose -3*c + 8*n - 3*n = -2024, 5*c + 5*n = 3360. Is c a composite number?
False
Suppose n - 7 = -3*n - t, 0 = -4*n + 4*t + 12. Suppose -n*v + 100 = -80. Suppose -4*u + 58 = -v. Is u a prime number?
True
Let j be (2 + -3)*(-1 + -21). Suppose -4*s + l + l + j = 0, 2*s = -2*l - 4. Suppose -s = 4*q - 15. Is q a composite number?
False
Let p(f) = 5*f**2 + f - 5. Let t(n) = -6*n**2 - n + 5. Let o(d) = 5*p(d) + 4*t(d). Is o(6) a prime number?
True
Suppose 2*z - z - 458 = -5*i, -5*i + 2350 = 5*z. Is z a composite number?
True
Let i = 554 + 231. Is i a composite number?
True
Let l = -4 - -64. Let h = l - 34. Is h composite?
True
Let v = -1238 + 2127. Is v a prime number?
False
Suppose -304 = 2*n - 6*n + 4*x, 2*x - 85 = -n. Is (n/2)/((-5)/(-10)) a composite number?
False
Suppose -36 = -5*b - 11, -h + 10 = b. Let c = -13 - -11. Is (-43)/c - h/10 a prime number?
False
Let p(o) = -37*o - 18. Is p(-3) a prime number?
False
Suppose -1540 = 4*r - 8*r. Let i = r + -230. Is i prime?
False
Suppose -n + 18 = u - 6*u, -2*n - 4*u = 6. Suppose n*z = 5*z - 654. Is z a prime number?
False
Is ((-8)/(-4))/2 + 46 prime?
True
Let i(j) = j**3 + 5*j**2 + 2. Let v be i(-5). Suppose -v*g = -0*g. Suppose g = 2*c + 2*c - 44. Is c a prime number?
True
Suppose 0 = 5*c + 4*f - f - 391, f - 2 = 0. Is c a prime number?
False
Let z(w) = 143*w**2. Suppose -f = 4*f + 25. Let s = 6 + f. Is z(s) a composite number?
True
Let x = 36 + -93. Let t be 89 - (-1 - -2 - 4). Let z = t + x. Is z prime?
False
Let y be (-4 - -10)*(-2)/(-6). Let v be 3*y/12*4. Suppose -835 = v*l - 7*l. Is l composite?
False
Suppose -31 = -s + 3*k + 66, -4*s = 5*k - 303. Is s prime?
False
Let u(d) = -3*d**3 - d - 1. Let n be u(-1). Suppose -2*q = -3*m - 469, -q - 696 = -4*q - n*m. Is q composite?
False
Let v be ((-10)/4)/((-7)/(-238)). Let f be (-2484)/(-10) - 2/5. Let y = f + v. Is y composite?
False
Let k(v) be the first derivative of 8*v**2 - 4*v - 2. Let d be k(5). Suppose 0 = g + 3*g - d. Is g a composite number?
False
Let n(a) be the third derivative of -a**5/24 - a**3/3 + 3*a**2. Let o(l) be the first derivative of n(l). Is o(-11) composite?
True
Suppose k + 83 + 73 = 0. Let h = k - -379. Is h prime?
True
Let j = -64 + -428. Let x = -250 - j. Suppose -3*c + 4*t = -19 - x, -2*t + 6 = 0. Is c a composite number?
True
Suppose 3*h - 6*h + 2*s = 16, h - 5*s + 27 = 0. Is h - (-18)/4*8 prime?
False
Let s(y) = -y + 15. Let r be s(11). Let k = 10 + -19. Is 106/r*(-18)/k prime?
True
Suppose 1623 = v + 554. Is v a composite number?
False
Let i = 450 - 641. Is (-12)/24 - i/2 a prime number?
False
Let l(n) = 2*n**2 - 5*n - 6. Is l(-5) a composite number?
True
Suppose 0 = -2*a - 4, -2*p = -3*a + a - 120. Is p a composite number?
True
Let j(i) = -i**2 + 9*i - 8. Let o be j(7). Is (-2)/o + (-752)/(-24) prime?
True
Let p(x) = 5*x - 23. Let y be p(4). Let k be ((-1)/1 + 0)*0. Is 3/y*k - -31 prime?
True
Suppose -6*g + 3*g - 4*q = -641, -1075 = -5*g - 5*q. Suppose 0 = -2*v + 35 + g. Is v a composite number?
False
Is (-8)/(-28) - (-26890)/14 composite?
True
Suppose 0 = 12*w - 13*w + 149. Is w prime?
True
Let z(q) = 105*q - 3. Let u(t) = 35*t - 1. Let d(a) = 17*u(a) - 6*z(a). Is d(-3) a prime number?
False
Let f(w) = w**3 + 7*w**2 + 6*w + 3. Let z be f(-6). Is (-2)/z + (-233)/(-3) composite?
True
Let a = -535 - -1584. Is a a prime number?
True
Suppose 4*q - 7 = 3*l, 3*q - 2*l - 4 = 2. Suppose q = -3*z + 1. Is z/((-176)/174 - -1) a prime number?
False
Let p(u) = -u - 1. Let v be p(0). Let c = v - 0. Is 46/(c/(-2)*2) composite?
True
Suppose 0 = 4*f + f - 15. Let p be (2/4)/(f/42). Let m(v) = 2*v**2 - 5*v - 10. Is m(p) a composite number?
False
Is (7 - 9)/(-2 + (-5440)/(-2722)) composite?
False
Let m be ((-274)/(-10))/(2/10). Suppose 4*v - m = 335. Is v a composite number?
True
Let k = 5 + -9. Is ((-238)/(-21))/(k/(-18)) a prime number?
False
Let b be 0*(0 - -3 - 2). Let p be 5 + 3/(-1 - b). Suppose -5*k + 8 = p*h - 22, 30 = 5*k + h. Is k composite?
True
Let t(z) be the third derivative of z**4/24 + z**3 + 2*z**2. Let b be t(-6). Suppose -y + 25 = -b*y. Is y composite?
True
Let m = 397 - 195. Suppose -2*s = -0*x + 2*x - m, -2*x = 4*s - 198. Is x composite?
False
Let s be 4 - 1/((-3)/(-6)). Suppose k - 2*r + 6 = 1, s*k + 5*r - 35 = 0. Suppose 0 = -n - k*w + 20, -n + 12 = -0*w - 3*w. Is n composite?
True
Suppose -3*t = -3*r - 15, 5*t - 2*t - 6 = 0. Is r + 178*(1 - -1) a prime number?
True
Let x = 9 - 5. Suppose 0*s + x*s = 444. Is s a composite number?
True
Let q(i) = 2*i**3 - 13*i**2 + 13*i - 13. Let a = 23 - 14. Is q(a) composite?
False
Let n = -34 + 245. Is n prime?
True
Let v = -2937 - -4219. Is v prime?
False
Is (-2)/5 + 628/20 prime?
True
Let d = -104 + 189. Let t = d + -30. Suppose -8*l + t = -5*l - 4*u, -4*l + 88 = 2*u. Is l prime?
False
Is (32 + 1)/(8/((-64)/(-12))) composite?
True
Let v(o) = 3*o**2 + 2*o - 1. Let g be v(1). Let z(u) = -3*u**2 - u - 7. Let l(t) = t**2 - t + 1. Let d(q) = g*l(q) + z(q). Is d(-5) composite?
False
Let w(r) = 21*r**2 - 6*r + 2. Is w(-5) a prime number?
True
Let d = -20 - -14. Let j be 1372/12 + 2/d. Is j + 1*(0 - 1) a composite number?
False
Suppose a - 27 = 10. Is a prime?
True
Suppose -2*h + 5*x + 60 = 0, 4*h + 2*x - 70 = 26. Let i = 38 - h. Is i composite?
False
Suppose 0 = -13*w + 11*w + 518. Is w composite?
True
Let z be (-2 + 0)*3/6. Let q be -40*(2 - 1 - z). Let j = 175 + q. Is j prime?
False
Let s = 65 - 68. Suppose 2*n + 965 = -3*n. Is (-2)/(-3) + n/s composite?
True
Suppose -22 = r + t, -r - 27 = -0*t - 4*t. Let p be (-1)/4 + r/4. Is ((-11)/2)/(p/60) composite?
True
Suppose -4*w + 0*d + 5*d + 352 = 0, -2*w = 2*d - 158. Is w composite?
False
Suppose -970 = -5*r - 3*k, -4*r + 710 = 4*k - 74. Is r a composite number?
False
Suppose 16 = 6*k - 4*k. Suppose w - k = 4*n + 6*w, -3*n = 3*w + 3. Suppose 183 + 80 = 5*m - n*l, -5*l + 20 = 0. Is m composite?
True
Let k(j) = 253*j - 8. Is k(3) a composite number?
False
Let p be 5*(-1)/((-15)/12). Let w(s) = 2*s**3 + 2*s**2 + 8*s - 3. Let x(o) = -o**3 - 3*o**2 - 8*o + 4. Let u(l) = p*x(l) + 3*w(l). Is u(5) a prime number?
True
Let m(c) be the second derivative of c**3/3 + 3*c. Let s be m(1). Suppose 0 = -0*x + s*x - 254. Is x composite?
False
Let d = -174 + 319. Is d a prime number?
False
Let h(k) = 3*k**3 - 13*k**2 - 9*k. Let t(z) = 2*z**3 - 12*z**2 - 8*z + 1. Let c(s) = -3*h(s) + 4*t(s). Is c(-9) prime?
False
Let q(o) = 18*o + 5. Is q(4) composite?
True
Let r = 756 - 125. Is r a composite number?
False
Let y(v) = -3*v - 2 - 2 + 8 + 24*v**2 - 2. Is y(3) a composite number?
True
Suppose -5*g = 5*r - 10*r - 140, -4*g - 2*r + 142 = 0. Is g prime?
False
Suppose 8 - 20 = -3*r. Suppose -3*p + k - 3*k + 65 = 0, 0 = -r*p - 5*k + 96. Is p composite?
False
Let v(t) be the second derivative of 27*t**5/10 - t**4/12 - 3*t. Is v(1) prime?
True
Suppose 0 = -0*r - 5*r. Suppose 4*b + 0*b - 56 = r. Let t = b + -7. Is t a composite number?
False
Let q = 1703 + -952. Is q a composite number?
False
Suppose 3*b - 258 = -21. Let d = b + 76. Is d prime?
False
Let l(g) = -g**3 + 6*g**2 - 7*g + 4. Let d be l(4). Suppose -2*s - 2*s = 5*p - 2, 3*p - s - d = 0. Suppose 5*t - 33 = p*t. Is t a composite number?
False
Suppose -2*w - w = -9. Is (82*w)/3 - 0 composite?
True
Suppose -4*i - 20 = i. Let p be (-1)/(2/i) + -2. Suppose 3*l + l - 28 = p. Is l a prime number?
True
Let s(l) = -2*l - 3. Let x be s(-4). Suppose -40 = -x*y + 10. Is y a composite number?
True
Let p = -1 + 4. Suppose -p*v - 10 = 2*r + v, -4*v - 19 = -r. Suppose 0 = -3*q - 3*b + 231, 0 = r*q - b - 4*b - 207. Is q a composite number?
True
Let q(n) = 50*n - 15. Is q(7) a composite number?
True
Let t be 46/(-6) + 6/9. Let p be (-222)/(-42) - (-2)/t. Is (1 + 10)*1*p a prime number?
False
Suppose 0 = 2*a - 10 - 6. Suppose 3*s - a*s = -25. Suppose -w + s + 14 = 0. Is w a composite number?
False
Let m = 24 + -3. Is ((-4)/(-3))/(2/m) prime?
False
Let o be ((-85)/15)/((-1)/27). Let c = 364 - o. Is c a composite number?
False
Let i(n) = 10*n**2 - 11*n + 6. Let x be 70/(-30)*(-3)/1. Is i(x) composite?
False
Is 32/3 