 a*s + 355 = p. Is p a prime number?
True
Suppose -5*u - 10 = -5*s, 5 = 2*u - 5*s - 0. Let z = u - -8. Is 13/z*(1 + 2) a composite number?
False
Let j = 614 - 243. Is j a prime number?
False
Let n = -27 - -29. Suppose 1712 = 4*u + 4*p, -n*p = -u + 210 + 215. Is u a prime number?
False
Let s(o) = 4*o**3 + 9*o**2 - 13*o + 11. Is s(8) a prime number?
True
Let g = 141 - -70. Is g prime?
True
Let c(s) = s**2 + 3*s - 2. Let n be c(-4). Suppose -v - 26 = -b + 3*v, 0 = -n*v. Is b prime?
False
Let c = 28 + 9. Is c prime?
True
Suppose 2*f + 1010 = -2*w + 6*w, 1016 = 4*w + 4*f. Is w a composite number?
True
Let j = -10 + 15. Suppose c + 2*h - 6*h = -13, j*h - 23 = -c. Suppose -c*r + 21 = -186. Is r composite?
True
Suppose 0*j - 5260 = -4*j. Suppose -2*o = 3*o - j. Is o a prime number?
True
Let h(y) = -212*y - 15. Is h(-32) composite?
True
Is 347*(3 + -5)*28/(-8) a composite number?
True
Let j(s) = -76*s + 3. Let d(h) = -77*h + 4. Let k(w) = -6*d(w) + 7*j(w). Let x(n) = 69*n + 2. Let f(r) = -2*k(r) - 3*x(r). Is f(-1) composite?
False
Let x = -82 + 176. Is x composite?
True
Let p = 10 - 5. Suppose -4*o + 18 = -p*u, 5*o - 29 = -5*u + 16. Is o composite?
False
Let v(q) = 2*q**3 + q**2 - 1. Suppose 1 = -0*s + s. Let z be v(s). Suppose -z*o - 3*o = -30. Is o a composite number?
True
Let m be (-4)/(4/3) - -3. Suppose 4*i = 5*h - 753, m = -h + i - 5*i + 141. Is h composite?
False
Suppose -3*a + 14 = -1. Suppose m - a*m = 0, 5*m = -4*s + 8. Is ((-2)/(-3))/(s/273) a composite number?
True
Let a(h) = 30*h - 2. Let m be a(-2). Let j = m + 120. Is j a composite number?
True
Let w = 2 + -8. Is (-52)/w + (-2)/(-6) prime?
False
Suppose -4*p = -2*o - 12, p + 5*o - 3 = -0. Suppose -x + 136 = x + k, -p*x = -k - 199. Is x a prime number?
True
Suppose -6*h + 2*h - 276 = 0. Let a = 160 + h. Is a composite?
True
Suppose -9330 = -9*x - 1131. Is x composite?
False
Let o(x) = -2*x**3 - 5 - x + 3 + 4 - 3. Let b be o(-1). Suppose -5*s = -2*g + 114, 97 = 5*g + b*s - 188. Is g a composite number?
True
Suppose 0*l = -5*h + 2*l + 19685, -2*l + 19665 = 5*h. Is h prime?
False
Suppose -4*z - 2051 = -11*z. Is z a prime number?
True
Suppose -16*v + 1636 = -14*v. Is v a composite number?
True
Let h(p) = -3*p + 4 - 6 + 4*p. Let k be h(4). Suppose -5*w - 178 = -k*v, 2*v + v + 3*w - 225 = 0. Is v composite?
False
Suppose m + 4*s + 59 = 0, 2*s + 184 - 27 = -3*m. Let n = m + 81. Let z = n - 16. Is z a composite number?
True
Let l(u) = -u**2 + 19*u + 5. Suppose 4*v - 18 = -q, 0*q - 2 = -5*q + 2*v. Suppose -12 + q = -r. Is l(r) a composite number?
True
Let k be (-5)/(75/108)*-25. Suppose 3*o - 477 = 3*i, 0*o - 3*i = 2*o - 328. Suppose 0 = d - s - k, -2*s - o = -3*d + 384. Is d composite?
True
Let f(l) = l**3 + 8*l**2 + 6*l + 7. Let a be f(-7). Suppose -3*s + 822 = -3*q, 0 = -3*q + 5 - a. Is s composite?
False
Let z = -1 + 3. Is z + 2/(-2) + 112 a composite number?
False
Let y = 1150 - 281. Is y a prime number?
False
Suppose 0 = 2*o + 2*v - 520, 4*v + v = -4*o + 1043. Let h = o + -54. Is h a prime number?
False
Suppose 2*t + 37 = -5. Let p be (-3)/6 + t/(-6). Suppose 0*u = -p*u + 255. Is u composite?
True
Suppose 3*m + 34 = u, -5*u + 8 + 2 = m. Let n be ((-4)/(-5))/((-4)/m). Suppose 4*g + 4*h = 252, 3*g - n*h + 0*h - 169 = 0. Is g composite?
False
Let b(a) = -a**3 - 5*a**2 - 4*a - 23. Is b(-10) a prime number?
False
Let v = -479 + 832. Suppose -5*b - v + 1055 = -4*d, 0 = -2*d - 6. Let f = b - 71. Is f composite?
False
Let m(j) = 2*j**2 + j - 1. Let n(d) = -d**3 + d**2 + 1. Let f be n(0). Let a be m(f). Let g(w) = 6*w - 3. Is g(a) a prime number?
False
Suppose 6*p = 87 + 231. Is p prime?
True
Suppose 15594 = 13*f - 15983. Is f a prime number?
False
Is 4*-1 - (-1 - 82) prime?
True
Is (-5 + (4 - -4202))/1 prime?
True
Let k(u) = u**3 - 7*u**2 + 5*u + 4. Let f be k(6). Let d be f/1*(-1 - 2). Let v = -4 + d. Is v a prime number?
True
Suppose -2*m = -0*m - 110. Is m a composite number?
True
Suppose 0 = j - 2*v - 7291, 3*j + v = -j + 29128. Is j a prime number?
True
Let j(c) = -c**3 - 5*c**2 - 3*c. Let i be j(-3). Let z = i - -46. Is z composite?
False
Let p(m) = 147*m**3 - m**2 - m + 1. Let c be (-2)/(-6) - 14/(-21). Is p(c) a composite number?
True
Let u = 6005 - 3757. Let g = u - 1505. Is g a composite number?
False
Is (-716*(-4)/24)/(6/27) prime?
False
Suppose -6*u - 1088 = -r - u, -r + 1079 = -2*u. Is r a prime number?
False
Is (-48)/112 + (-524)/(-14) prime?
True
Let u = 97 + -54. Is u prime?
True
Let a = 96 - -49. Is a a composite number?
True
Let r = 7 + -4. Suppose -335 = -2*q - r*q. Is q composite?
False
Suppose -5*j + 4 - 24 = 0. Is (1 + -3)/(j/74) a prime number?
True
Is 65/3 + (-15)/(-45) a prime number?
False
Let n(y) = -4*y**3 - 4*y - 3. Is n(-2) a composite number?
False
Suppose -y - d = -443, 4*y - d - 892 = 2*y. Is y a prime number?
False
Let b = 358 + 979. Is b prime?
False
Is 1947/21 - 12/(-42) a prime number?
False
Let k = -13 - -41. Suppose -3*l + 5*u = -k - 45, -3*u = -l + 19. Is l a composite number?
False
Suppose -3*m = 2*b - 734, 4*m = -0*b - 2*b + 734. Let t = b - 240. Is t a composite number?
False
Let g = -1353 - -844. Let m = 1628 + g. Is 6/(-21) + m/21 a prime number?
True
Suppose -139*m + 4701 = -136*m. Is m prime?
True
Suppose w - 8 = -0*w - 4*n, 0 = w - 2*n - 2. Suppose -g + 2 = l, g - 2*g = -w*l - 7. Suppose -71 = -g*r + 4. Is r composite?
True
Let w(g) = -45*g + 13. Let a(l) = 68*l - 19. Let d(t) = 5*a(t) + 7*w(t). Is d(2) prime?
False
Let s(g) = 12*g**3 - 8*g**2 - 7*g - 16. Is s(7) prime?
True
Let s be -3 - -4*4/8. Is (-1)/(336/337 + s) a prime number?
True
Let f(z) be the second derivative of z**5/20 - z**4/12 - z**3/6 + z**2 - 9*z. Is f(5) prime?
True
Let m(f) = 100*f**2 - 6*f - 3. Is m(-2) a prime number?
True
Let b = 1 + -1. Suppose w + w = b. Suppose w = 2*r + 31 - 101. Is r a composite number?
True
Suppose 3*x + 3*n - 5388 = 0, 3*x + 2*n + 0*n - 5393 = 0. Is x a composite number?
False
Suppose 0 = 5*w - 2*w. Let n be 5/(1 + w + 0). Let t(f) = 2*f**2 - 6*f + 5. Is t(n) prime?
False
Suppose 0 = -j + 2*f + 11, 0 = -2*f - 2*f - 16. Suppose -3*y + 214 = 4*r, j*y - 230 = -r - 28. Suppose 2*o = 5*o - y. Is o composite?
True
Let v(w) = 34*w**2. Let x be (-12)/30 + (-14)/(-10). Let s be v(x). Let u = s + -12. Is u a prime number?
False
Suppose -2*m + 39 = m + 2*l, 2*l = 0. Let i = 19 - m. Let k(s) = 6*s + 1. Is k(i) a composite number?
False
Let b = 4495 - 924. Is b a prime number?
True
Let j = -4 - -6. Let n(z) = 3*z + 6. Let m be n(-4). Is 39/j*(-4)/m prime?
True
Let m(w) = 3*w - 3. Let n be 2 + (2/2 - 1). Let t be m(n). Suppose 0 = -0*r - t*r + 165. Is r a composite number?
True
Let n = 1 + 1. Suppose n*p - 83 = -5*o, 0 = p - 4*o - 0 - 61. Is p composite?
True
Suppose 0 = -2*c + 5*l + 359, 4*c = l + 1038 - 293. Is c a prime number?
False
Let g(x) = -x - 4. Let f = 19 - 5. Suppose f = a - 4*t, 5*t = -2*a + t - 32. Is g(a) prime?
True
Let v = -7 - -12. Let o = v + -3. Is (110/4)/(1/o) prime?
False
Suppose -5 + 3 = 2*y. Is -35*(-9)/(-15)*y prime?
False
Suppose 2*r = -3*h - 2*r + 292, -213 = -2*h + r. Let q = 269 + h. Is q prime?
True
Suppose -m = -0*m + 6. Let z(b) be the first derivative of b**3/3 + 3*b**2/2 - 5*b + 1. Is z(m) prime?
True
Suppose -2*i = j - 761, -4*i + 4*j + 1247 + 257 = 0. Is i a prime number?
True
Let n(q) = -2*q**2 + 3*q - 4. Let g be n(4). Let b = 20 - g. Suppose 2*w + 33 = l - b, 0 = 5*w. Is l a prime number?
False
Let w(c) = -c**3 - 9*c**2 - 7*c + 10. Let d be (-1 - (5 - 2))*2. Let j be w(d). Suppose 54 = 3*n + 4*k - 0*k, -2*n + 22 = -j*k. Is n prime?
False
Suppose -n + 15 = -2*g, 4*g - 15 = -3*n - 0*g. Let i = -6 + n. Suppose s + i*s - 28 = 0. Is s a prime number?
True
Suppose j + 1075 = 4*g, 4*g + 0*j - 1105 = -5*j. Suppose -t + g = x, t + 0*x - 5*x = 252. Is t a prime number?
False
Suppose a = 3*a - 446. Is a prime?
True
Let a(g) be the second derivative of g**4/12 - 3*g**2/2 + 2*g. Let y be a(0). Is 130/8*(1 - y) a prime number?
False
Is 2/(-6) - 770/(-15) prime?
False
Suppose 2*o = -3*f + o + 44, 2*f - o - 31 = 0. Let m(u) = u**3 - 5*u**2 - 8. Let r be m(6). Suppose b - f = r. Is b prime?
True
Let a(d) = 2*d**2 + 3*d + 15. Is a(-6) a prime number?
False
Suppose 0 = a + 4*r - 2, -2 = 6*a - 4*a + 2*r. Is 165 - (0 + a) - 4 a composite number?
