a - 4*s = 91. Is a prime?
False
Suppose -5*u - y + 348 = 0, -4*y - 10 = -4*u + 278. Let j be (-20)/u - 360/14. Is j/(-4) - (-4)/(-8) a composite number?
True
Suppose -10*z = -11*z + 479. Is z prime?
True
Suppose -4*a = -3*a - 4. Let v be (-64)/36 + a/(-18). Is 39/v*14/(-3) composite?
True
Suppose 315 = -3*j + x + 972, j + x = 215. Is j composite?
True
Suppose -2*d + 6 = 4*i, 8*d - 3*d - 3*i = 28. Suppose 40 = 5*m + d*f, -7*m + 23 = -3*m + f. Suppose 4*q - 3*j = -q + 64, -q - m*j = -24. Is q prime?
False
Suppose 2*u + 3405 = 7*u. Is u a prime number?
False
Suppose 1445 = 7*r - 4778. Is r a composite number?
True
Suppose 0 = 4*g - g - 5*h + 43, 10 = 2*h. Let s(u) = -u**3 - 5*u**2 + 6*u + 3. Let p be s(g). Is 56/p - (-2)/6 prime?
True
Let y be (-208)/(-7) - (-4)/14. Is (-1)/(y/33 - 1) a composite number?
False
Let s(c) = c**3 - 5*c**2 + 5*c. Suppose 5*w = -2*h - 2*h, 5*w = h + 25. Let i be s(w). Suppose -2*r - 5*o = -47, i*o - 5*o = 5*r - 60. Is r prime?
True
Suppose -141 = -3*y + 12. Suppose -2 = c - y. Is c a composite number?
True
Suppose 12*f = 1448 - 92. Is f a prime number?
True
Let g(y) = -35*y**3 - 2*y**2 - 2*y - 1. Let f(z) = -z - 6. Suppose 10 = -h - h. Let i be f(h). Is g(i) prime?
False
Let q(f) = 20*f**2 + 25*f + 8. Is q(-11) prime?
True
Let y(n) = -7*n**3 + n + 3. Let t(v) = -v**3. Let k(m) = 6*t(m) - y(m). Let u be k(0). Is ((-46)/u)/((-4)/(-6)) a prime number?
True
Suppose -x = -4*x + 303. Is 2/(-9) + x/9 a composite number?
False
Let a(n) = 2*n**2 + 4*n. Let f be a(-3). Is (106/f)/(6/54) prime?
False
Let p(o) = -2*o - 7. Let i be p(-5). Suppose -w + 4*f - 91 = -2*w, -i*w = -3*f - 198. Is w composite?
False
Let o = -331 + 542. Is o a composite number?
False
Let g(i) = i**3 + 4*i**2 - 2*i - 3. Let x be g(-6). Suppose -5*j - 275 = 3*p, p + 6*j + 75 = j. Let k = x - p. Is k prime?
True
Suppose -a + 5*v - 25 = 0, -a - v = -0*v - 5. Suppose a*u - 3*u = -3*p + 18, 24 = 3*p - 5*u. Is (-3 - (1 - p)) + 192 composite?
False
Suppose 0 = 2*q - 7*q + 565. Is q prime?
True
Let c(y) = y - 1. Let g(d) = 2*d + 2. Let z(h) = c(h) - g(h). Let n be z(-8). Suppose -n = 5*x - 190. Is x a prime number?
True
Suppose -7*v + 4697 = -0*v. Is v prime?
False
Let u = -7 + 11. Is ((u - 2) + -3)*-127 a prime number?
True
Let p(r) be the first derivative of -79*r**4/4 - r**3/3 + r - 2. Is p(-1) prime?
True
Let d = 3357 + -2258. Is d a prime number?
False
Suppose 3*c + d = 7*c - 2320, c = 4*d + 565. Is c composite?
True
Suppose -c - 3*c + s = -3, -c + 2*s - 1 = 0. Suppose -2*z = -3*z + 31. Is (-2)/(c - 33/z) prime?
True
Suppose 0 = 3*b + 3*w - 8*w - 134, 5*w + 240 = 5*b. Let z = 26 + b. Is z prime?
True
Let a = 388 - -333. Let b = -278 + a. Is b a composite number?
False
Suppose 3*w - 19 - 140 = 0. Is w a prime number?
True
Let h be (0 + -1)/(3 - 2). Let l be 2 - 37*-3 - h. Let r = l - 56. Is r a composite number?
True
Suppose -2*a = 2 + 46. Let p be ((-16)/a)/((-2)/(-9)). Suppose -p*n + 422 = -n. Is n a prime number?
True
Let u = 0 - -4. Let s(j) = 5*j**2 + 2*j + 1. Is s(u) a prime number?
True
Suppose 0*w = -w - 3*x - 20, 5*x + 140 = -5*w. Suppose m = 2*t - 9, -6 = 2*t - 4. Let h = m - w. Is h a composite number?
True
Suppose 793 = b - 2*g, -2397 = 19*b - 22*b - 3*g. Is b prime?
True
Let y(w) = 7*w**2 - 2*w**2 - 3*w**2 - 4. Is y(-3) composite?
True
Suppose -4*u + 3*c - 6 = 0, 0 = -4*u - 3*c - 2*c - 22. Let t = u + 1. Is 485/3 - t/(-3) composite?
True
Let o(y) = y**3 + 7*y**2 + 6*y + 1. Let r be o(-6). Let t = r - -2. Is t prime?
True
Let o = -27 - 9. Let r = o - -65. Let s = r - -8. Is s a prime number?
True
Is ((-6)/15)/1*(5 + -3790) a prime number?
False
Let c be 2/(-5) - (-362)/5. Suppose -2*g + 4*z + 19 + 23 = 0, -4*g = 4*z - c. Is g composite?
False
Suppose 8*f - 4*f = -12. Let b = 22 + f. Is b a prime number?
True
Let x = 11 - 8. Let t(r) = r**2 + 5*r + 5. Let p be t(-5). Suppose 15 = 5*j, 48 = x*o + 2*j - p*j. Is o a prime number?
True
Suppose d - 10 = -g, -4*d + 3*g + 58 = -2*g. Suppose j + 4 = 5*s, -j = -4*j + 5*s - d. Is 356/28 - j/14 a composite number?
False
Let i = 5 - 8. Let f = -5 - i. Let z(h) = 11*h**2 - 2*h + 1. Is z(f) composite?
True
Is (-16)/(-6)*141/4 prime?
False
Let k(h) = 3*h**3 - 2*h**2 + h. Let p be k(1). Suppose -c + p*c - 61 = 4*u, 5*c + 2*u = 349. Is c composite?
True
Let q(g) = -g + 4. Let y be q(-6). Let t = y + -5. Suppose 4*c = -3*n - n + 392, 0 = -t*n - 4*c + 489. Is n prime?
True
Suppose 0*w + 5*w + 30 = 0. Let f = w - -10. Suppose -v + 175 = f*v. Is v prime?
False
Suppose -2*z = 3*z + 170. Let q = z + 101. Is q a prime number?
True
Suppose -44 = -4*g + 128. Is g composite?
False
Let a(s) = 9*s**2 + 8*s + 1. Is a(8) prime?
True
Is 1333 - -6 - (-3 - (-3)/(-3)) composite?
True
Let h = -8 + 11. Suppose -h*w = -3*k + 186, 4*w + 131 + 58 = 3*k. Is k prime?
True
Let w = 5 - -1. Suppose -2*c = -w*c + 572. Is c prime?
False
Let m(s) = -s**2 + 4*s + 4. Let z be m(4). Let d = z - 6. Is 2 - (-19*1 + d) composite?
False
Let s = -258 - -595. Is s composite?
False
Let b(h) = 2*h. Let m be b(-1). Let g be -4*1/(-2)*m. Let x(n) = n**3 + 4*n**2 - 6*n - 3. Is x(g) prime?
False
Suppose -326 - 735 = -s. Is s prime?
True
Let n be (3/((-6)/(-632)))/1. Suppose 0 = 2*i - 4*i + n. Is i a composite number?
True
Suppose 3*y - 3639 = 5*w, -y = -w - 352 - 861. Is y a composite number?
False
Suppose 0*b + b - 7 = 0. Let p(q) = -q**3 + q**2 + q + 30. Let v be p(0). Let h = v - b. Is h a prime number?
True
Suppose 5*q = 6 + 4. Suppose 4*w - 311 = -3*r, -w - q*w + 2*r + 212 = 0. Is w a composite number?
True
Let v(a) = -3*a**2 - 2*a + 7. Let n(q) = 2*q**2 + 3*q - 7. Let z(h) = -4*n(h) - 3*v(h). Is z(9) prime?
False
Suppose 3*p + 3*v - 2 = 4, 0 = 2*p - v - 7. Suppose 0 = 3*b - p*r + 63, 5*b + 4*r + 121 - 7 = 0. Let t = 9 - b. Is t a composite number?
False
Let k(s) be the second derivative of -s**4/12 - s**3/2 - 2*s**2 - 2*s. Let u be k(-5). Let p = 23 - u. Is p composite?
False
Suppose -3*f + 577 = -4*o, -32 + 989 = 5*f - 2*o. Is f prime?
True
Let q(c) = -3*c**3 + 2*c**2 + 5*c + 5. Is q(-3) a prime number?
True
Let j be 232 - 2/4*2. Suppose 5*r - 2*r - j = 0. Is r prime?
False
Suppose 5528 = 2*b + 2*b. Is b composite?
True
Let h(k) = k - 3. Let i be h(5). Suppose -i*c - g + 6 = 0, -g - 2 = -0*g. Suppose 3*j = o + 164, 0 = -c*o - 5 - 15. Is j prime?
True
Let n = -139 + 202. Let s = n - 37. Is s a composite number?
True
Suppose 0 = -3*r - 0*r + 6. Suppose r*h + 29 = 3*a, -4*a - 4*h = h - 54. Is a a composite number?
False
Let c be ((0/(-3))/(-1))/1. Suppose -4*r + 12 = c, 5*g + 0*g = 5*r + 5. Is (166/4)/(g/8) a prime number?
True
Let o(y) = y**2 + y - 5. Is o(8) a composite number?
False
Let l(w) = 4*w - 2. Let z be l(-1). Let h(q) = 1 + 4*q - 7*q**2 - 2 - 2*q**3 + 4*q. Is h(z) composite?
False
Suppose 0 = -4*j + 18299 + 7113. Is j prime?
True
Let y be ((-8 + 2)*-1)/2. Suppose m + 2*q = 8, -y*m - q = q - 36. Is m a composite number?
True
Suppose -5*a = 5*r - 5, -3*a = -2*a + 1. Suppose -11 = -r*v - 1. Suppose -v*g + y = -640, 0 = 5*g + 4*y - 7*y - 650. Is g a prime number?
True
Let t(j) be the second derivative of 7*j**3/6 - j**2/2 + 2*j. Is t(5) a prime number?
False
Let c(q) = 472*q**2 + 8*q - 23. Is c(3) a composite number?
True
Let m(s) be the first derivative of 7*s**2/2 - 3*s - 1. Suppose 4*n = 1 + 7. Is m(n) composite?
False
Let t(z) = z + 12. Let u be t(-6). Let j(q) = -q**3 + 7*q**2 - 4*q + 7. Is j(u) a composite number?
False
Suppose -4*y = -2*x - 596, 5*y + 0*x - 745 = -x. Is y prime?
True
Let h = -7 - -96. Is h prime?
True
Let u(m) = -3*m**3 + 2*m**3 + 0 + 7 - 5*m**2 - m - 5*m. Is u(-5) a prime number?
True
Let l(z) = z**3 - 6*z**2 + 9*z - 1. Is l(6) a composite number?
False
Suppose 5*m = -4*k + 14627, -15*m - 2*k = -11*m - 11704. Is m composite?
False
Let d = -3147 - -4628. Is d a prime number?
True
Let t = -17212 + 24359. Is t a prime number?
False
Suppose 5*r - 3*r - 106 = 0. Is r a prime number?
True
Let o(y) = 6*y - 7 + y**3 + 5*y**2 + 15 + 6. Is o(6) a composite number?
True
Let r = 13 - 10. Suppose 127 = k - 3*j, -5*k + 635 = -6*j + r*j. Is k a prime number?
True
Suppose 3*l - 15 = -0*l. Suppose 0 = -6*d + 3*d + 3*j + 186, -l*j = -15. Is d prime?
False
Let z be (6 + 3)/(-3) - 15. Let x = z + 33. Is x a prime number?
False
Let x = -1709 