29*p - 5. Is s(-9) a prime number?
True
Suppose -2*p - 2*f = -516, -901 + 132 = -3*p - 4*f. Suppose n + p = 2*n. Is n a prime number?
True
Let d(q) = 3*q - 11. Let v(x) = -x + 6. Let a(i) = 3*d(i) + 5*v(i). Let f be (0 + -3)*16/(-12). Is a(f) a prime number?
True
Is ((-36)/(-20))/3*395 a prime number?
False
Let z(r) be the first derivative of 5*r + 57/2*r**2 + 1. Is z(4) a prime number?
True
Let a(x) = -106*x - 3. Let j be a(3). Is (j/6 - -2)*-2 a prime number?
True
Let x be (-1029)/6 + (-5)/(-10). Let q = 290 + x. Is q a composite number?
True
Let z(h) = -1 - 5*h + 1 - 1 - h**3 - 8*h**2 - 14. Is z(-9) a composite number?
True
Is (3/(-6))/(6/(-468)) a composite number?
True
Suppose 11*f - 17*f + 15798 = 0. Is f a prime number?
True
Suppose t + j - 70 = 116, 3*t + 5*j - 550 = 0. Is (-1)/(1 - 192/t) prime?
False
Suppose -j + 2*j = -46. Let k = j + 135. Is k a prime number?
True
Let y = -2 - 4. Let g = 32 + y. Is g a prime number?
False
Suppose 0 = 3*v - 2*v - 49. Let l = v - 69. Let a = 43 + l. Is a prime?
True
Suppose -702 = -2*d - d. Suppose 8 = 3*m - 1. Suppose m*t = 3, 9*f - d = 4*f + t. Is f a composite number?
False
Let d be 1 + 1 - (-2 - -9). Let q(j) = -j**3 - 12*j**2 - 8*j - 7. Let s be q(d). Is (s/6 + 2)*-3 a prime number?
False
Let k(n) = 47*n - 46. Is k(11) a prime number?
False
Suppose b + b - 2*u = 648, -u - 962 = -3*b. Is b prime?
False
Let d(u) = -u**3 + 5*u**2 - 3*u + 6. Let j = -4 - -10. Suppose 4 = -j*q + 7*q. Is d(q) a composite number?
True
Suppose 5*v + 5 + 15 = 2*u, 0 = -u - v + 3. Suppose 3*a = 3*b - 30, -5*b - u*a + 8 = -12. Suppose f - b = 12. Is f a composite number?
False
Suppose 0 = m - 2*u + 3 - 54, m - 3*u = 53. Is m composite?
False
Let y(o) = -o**3 + o**2 - o + 14. Let i be y(0). Suppose 10*x - i*x = -868. Is x composite?
True
Let q(g) = -82*g + 1. Suppose -3*n + 12 = -3*r, 2*r - 3*n + 5 = -5. Let p = -3 - r. Is q(p) a composite number?
False
Let l = -52 - -141. Is l a composite number?
False
Let b(u) = u**2 + 93. Let r be b(0). Suppose 4*a - 295 - r = 0. Is a a prime number?
True
Let f(a) = -13*a**3 + 13*a - 92. Let g(q) = -3*q**3 + 3*q - 23. Let p(k) = 2*f(k) - 9*g(k). Suppose -t = 2*t. Is p(t) prime?
True
Suppose -4*r = 7 - 19. Suppose i - 68 = r*i. Let d = 57 - i. Is d composite?
True
Suppose 19 + 3 = 4*k + 2*l, l + 19 = 4*k. Suppose -16 - 52 = -3*w + 2*t, -k = 5*t. Is w a prime number?
False
Let a be (-1)/(1/(-4)) + -7. Is (-122)/(-4) - a/6 a prime number?
True
Is 911*2/(-8)*-4 composite?
False
Suppose -2*z - 4*i = z + 15, -5*i - 19 = 4*z. Let b be (13/3)/(z/9). Is 4/1*b/(-4) prime?
False
Is 4/(-2) + (-10096)/(-16) prime?
False
Suppose -15 = -6*d + d. Suppose -12 = -4*t - 4*i, -2*t + 18 = -2*i - 0. Is d/t*(0 - -178) prime?
True
Suppose -3*a + 37 = 4*d + 5, 13 = d + 2*a. Suppose -d*x + 8 = -3*x. Suppose -75 = -x*m + 1. Is m a composite number?
False
Is (24084/16)/3 + (-1)/(-4) prime?
False
Let q(o) = 73*o. Let s be q(-1). Let k = 110 + s. Is k a prime number?
True
Let w(x) = 18*x**2 - 12*x + 12. Let c(m) = m**2 - m + 1. Let i(t) = 12*c(t) - w(t). Let v(u) = -7*u**2 - 1. Let s(a) = -6*i(a) + 5*v(a). Is s(4) a prime number?
True
Let x be 20/(-6)*18/(-12). Suppose 4*z + 0*z = -y + 340, 336 = 4*z + 2*y. Suppose z = 4*m - x*f, m + 84 = 5*m - 4*f. Is m composite?
False
Suppose -447 = -10*v + 7*v. Is v prime?
True
Suppose -k - 52 = -5*k. Is k a composite number?
False
Suppose 1330 = a + 323. Is a a prime number?
False
Let i = 6 - 4. Suppose 5*h = -0*h + 20, 0 = -l - i*h + 7. Is (2/4)/(l/(-52)) a prime number?
False
Let j(a) = 5 - 4 - 2. Let o(s) = 11*s + 9. Let y(x) = 3*j(x) + o(x). Is y(7) a prime number?
True
Suppose -q = -5*q + 4*u - 4, 2*u = 5*q - 7. Is (-794)/(-6) - (-2)/q prime?
False
Let q = -19 + 22. Suppose 0 = -5*f + 3*i + 201, -3*i + 2*i - 119 = -q*f. Is f prime?
False
Let h = 122 + -25. Suppose -3*q = -n - h, 0*q - 5*q + 150 = -4*n. Suppose -5*z = 2*a - q - 3, 3*a = -z + 10. Is z a prime number?
True
Let d(h) = -h**3 - 6*h**2 - 2*h + 7. Let q be (-14)/(-2) - (1 + 1). Suppose -4 - 26 = q*k. Is d(k) prime?
True
Let d be (-39)/6 + 2/(-4). Is ((-182)/(-4))/d*-58 prime?
False
Suppose 4*h - 5 = -21. Let v = h + 10. Suppose 3*b + v = 27. Is b a prime number?
True
Suppose 243 = 3*p - 0*p + 2*l, -2*p + 178 = -4*l. Is p composite?
False
Let p(c) = 2 + 2 - 5. Let r(q) = -q**2 - 2*q + 13. Let m(k) = -5*p(k) - r(k). Is m(9) a composite number?
True
Let c(i) = -80*i + 4. Let b(y) = -160*y + 9. Let v(x) = 3*b(x) - 5*c(x). Is v(-5) a prime number?
False
Let k be 4/14 + (-24)/(-14). Let w = 4 - k. Suppose -u + 4*m + 0*m = w, -3 = -3*m. Is u prime?
True
Suppose 2*u - 4*f = 12 + 6, 5*u = 2*f + 37. Suppose -u*v = -3*v - 188. Is v prime?
True
Let a = -11 + 5. Let c = 8 + a. Is -1 - (c + 1 - 263) a composite number?
True
Suppose -5*w + 4*w + 5 = 0. Suppose a - n = 77, -w*n = -5*a - n + 382. Is a a prime number?
False
Suppose -4*u - 4*f + 91 = -3*f, 5*f - 18 = -u. Suppose -2*v = -r + u, r + 3*v + 69 = 4*r. Is r a composite number?
False
Suppose 2*q - 657 = -5*p, -q + p = -p - 315. Is q a prime number?
False
Suppose -270 = 4*h + m - 7635, -3*h + 5518 = -5*m. Is h prime?
False
Suppose 13 = -3*l - 38. Let b = l - -27. Is b a prime number?
False
Suppose 4*m = m. Let d(g) = 5*g**2 - 4*g + 75. Let q(l) = l**2 - l - 1. Let o(p) = d(p) - 4*q(p). Is o(m) a prime number?
True
Let v(a) be the second derivative of 113*a**3/3 - 3*a**2/2 - 7*a. Is v(2) a prime number?
True
Suppose -4*a = 4*p - 8*a - 128, -3*a - 63 = -2*p. Is p a prime number?
False
Let t(s) = -s - 7. Let h be t(-5). Let o = h - 1. Is (-1)/(o/(-18))*-1 prime?
False
Let o(h) = -h**2 - h + 4. Let z be o(-3). Let k(l) = -56*l - 2. Let g be k(z). Let m = -13 + g. Is m a composite number?
False
Let a(o) = o**3 - 14*o**2 + 29*o - 9. Is a(21) a composite number?
True
Let c(r) = -r**3 - r**2 + r - 6. Let i be c(0). Let j(u) = -5*u - 8. Let f(b) = -14*b - 24. Let q(p) = i*f(p) + 17*j(p). Is q(6) composite?
False
Suppose 5*u - 8907 = -2*z, -z = -2*u + 7*u - 8911. Is u composite?
False
Is (-1 - 665/(-3))*(-6)/(-4) a prime number?
True
Let y(h) = 148*h**2 + 1. Let n be y(1). Suppose 0 = 6*g - 3*g + 2*m - 112, n = 4*g + 3*m. Is g a prime number?
False
Let w(l) = -7*l + l**3 - 5*l**2 + 7 - 6*l**2 - 2*l**3 + 3*l**2. Let r be w(-6). Is r*(-3 - 4/(-2)) a composite number?
False
Suppose -3 = z + 5. Is 2/(1*z/(-1924)) a prime number?
False
Suppose -5*v - 4*l = -832, -5*v + 569 = -l - 273. Suppose -a + 4*a - v = 0. Suppose 0 = 2*z + 2*z - a. Is z composite?
True
Let v(d) = -2*d + 8. Suppose -4*m - 12 = 12. Let f be v(m). Let x = -9 + f. Is x prime?
True
Let u = -60 - -847. Is u prime?
True
Suppose 2982 = 4*v + 5*q, 8*v - 3*q = 3*v + 3709. Is v prime?
True
Suppose 0 = 5*i - 2*f + 47, i - 5*i - 36 = -2*f. Let l = i + 36. Is l prime?
False
Is (0 + (-596)/(-16))*4 composite?
False
Suppose -764 = -27*z + 23*z. Is z prime?
True
Let p be (-2)/3 + (-142)/3. Let a = 42 - p. Suppose 0 = 4*h - 34 - a. Is h prime?
True
Let p be ((-21)/9)/(2/(-6)). Let d = p + -5. Suppose d*t - 151 = 7. Is t a prime number?
True
Suppose -8552 = -4*o + 2*r, -r = 6*o - 2*o - 8552. Is o a prime number?
False
Suppose 3*r = 5*n - 30, 5*n + 0*r - 35 = 4*r. Suppose 3*c - n*u = -81, 4*c = c + u - 71. Let q = -12 - c. Is q a composite number?
True
Let x(q) be the third derivative of q**6/120 - q**5/60 - q**4/24 - q**3/6 - 3*q**2. Let h(b) = 2*b**2 + 4*b + 5. Let u(y) = -h(y) + x(y). Is u(5) prime?
True
Let g be 4/8 - (-6)/4. Let z(n) = -1 - g - 2*n**2 + 7*n**2. Is z(4) prime?
False
Suppose -6*t + 56 = -94. Is t composite?
True
Let r(j) be the second derivative of -11*j**3/3 + j**2/2 + 3*j. Is r(-1) a composite number?
False
Let j = 3 - 0. Suppose -j*b - b + 16 = 0, 0 = -3*f + b + 887. Is f/(-6)*(-2)/3 a prime number?
False
Suppose 0 = -0*r - 2*r - 8. Let z(f) = f**3 + 5*f**2 + 4*f. Let y be z(r). Is -13*(-2 + (1 - y)) composite?
False
Let f = 5 + -3. Let b(n) = 13*n**3 - 4*n**2 + 4*n - 2. Is b(f) a prime number?
False
Suppose -9*i + 2337 = -2910. Is i composite?
True
Suppose -5*d = -5*a - 15, 2*d = -4*a + a + 21. Is (-2)/d + 318/9 composite?
True
Suppose 17 = 4*w - 11. Is w composite?
False
Let n(q) = -7*q**3 - 9*q**2 - 13*q + 1. Is n(-6) prime?
False
Suppose 0*s + 176 = 2*s. Suppose -4*m = -8*m + s. Is m a prime number?
False
