 - 17. Suppose 2*s + n = 23. Suppose q - 3*g = 2*q - 88, -3*g = -s. Is q prime?
True
Suppose -3*f - 5 = -20. Suppose -364 - 331 = -f*c. Is c a prime number?
True
Let w(a) be the second derivative of 16*a**4 - 11*a**3/3 - a**2/2 - 54*a + 1. Is w(-5) composite?
False
Let y = 60 - 0. Suppose -10 = -b + y. Suppose -w = w - b. Is w a composite number?
True
Suppose 6*j = j + 2055. Let c = j + -284. Is c a composite number?
False
Suppose 0 = -5*b - 5*n + 45, 2*n + 2 = -0*n. Suppose 3*t - t = b. Suppose t = u, d + 0 = -u + 190. Is d a composite number?
True
Let c = 127824 - 70705. Is c composite?
False
Let g(h) = h**2 - h - 87. Let m be g(0). Let s = -76 - m. Is s a prime number?
True
Let w(c) = 24*c**2 + c - 8. Let g(r) = -2*r**2 - 14*r - 9. Let m be g(-6). Is w(m) prime?
True
Let w = 16 - 16. Suppose w*y = 5*y - 20. Suppose 3*q = -0*q, -3*j + 1113 = -y*q. Is j prime?
False
Let p(v) = 6*v + 25*v**2 - 2*v + 4*v - 1 - 3*v. Is p(4) a prime number?
True
Let p be 18/(-12) - 38/4. Let d = 15 + p. Is ((-2386)/(-4))/(d/8) prime?
True
Suppose 0*z - 32 = 2*z. Let y be (-1 + -1)/(z/(-168)). Let m = 110 + y. Is m a composite number?
False
Let j be 4*((-18)/4)/3. Let p be 6/4 + 3/j. Let x(g) = 114*g + 1. Is x(p) prime?
False
Suppose -5*v + 592 = -13*v. Let z = -64 - v. Is z composite?
True
Suppose 9*d = 7*d - 1972. Let x = 2423 + d. Is x composite?
True
Let j = -579 - -1112. Is j composite?
True
Suppose -7 = -5*f + 8. Let j be (-6)/(2 - f/2). Is -1 + 40/j*-48 a composite number?
True
Suppose d - 7*w + 2*w + 28 = 0, -4*d = w + 7. Let k(q) = -128*q - 1. Let p(m) = -127*m - 1. Let c(n) = d*p(n) + 2*k(n). Is c(2) prime?
True
Let b be (-33)/((-4)/((-96)/(-9))). Let y = b - -509. Is y a prime number?
False
Suppose -d = -45 + 236. Let f = d - 146. Let n = 1058 + f. Is n composite?
True
Let j(h) = 57*h - 140. Is j(33) a prime number?
True
Let d = -71 + 185. Suppose j - 625 = -d. Is j composite?
True
Let v be 5 + (-6)/(-3) + -1. Suppose v*g = 2*g + 1740. Suppose -c - 3*w + 423 = w, c - g = -w. Is c a composite number?
False
Let i(h) = 2*h**3 + h + 1. Let l be i(2). Let c = l + -16. Suppose 3*o + c*u - 572 - 88 = 0, 0 = -3*o - 2*u + 663. Is o a prime number?
True
Let j = 4018 - 2386. Suppose n - 5*n + 3280 = 2*d, -2*n - 5*d + j = 0. Is n a composite number?
False
Suppose 2*q = -d - d, 2*d = -3*q. Suppose q = 5*r + 16 - 386. Is r a prime number?
False
Suppose 6*l - 25538 = 69280. Is l a composite number?
False
Let w = 51285 + -27088. Is w prime?
True
Let q(n) = -2*n - 3. Let k be q(-5). Let w = 11 - k. Suppose p - w*s = 106, p + p = -3*s + 157. Is p a composite number?
True
Let t(j) = -2*j + 7. Let u = 4 - 8. Let o be t(u). Suppose 12*c + 141 = o*c. Is c a prime number?
True
Let z(m) = 205*m - 3. Suppose 0 = -4*b + 16 - 4. Let d be z(b). Suppose d + 23 = 5*v. Is v prime?
True
Suppose 0 = 2*i + 2*n + 4, 0 = -2*i + n - 4*n - 9. Is ((i - -248)*-1)/(-1) a prime number?
True
Suppose -9*k + 10932 + 1272 = 0. Let y be 6/27 - k/27. Is y/(-6) - 10/(-15) prime?
False
Let g(b) = -b + 7. Let w be g(4). Suppose 26*v - 6 = 23*v. Suppose 4*s = -v*c + 168, 20 = -7*s + w*s. Is c composite?
True
Suppose -3*f - 1 = -3*s + 5, -7 = -2*s + f. Suppose s*n = -3*k + n + 3617, n = 2*k - 2415. Is k composite?
True
Let n = -98 - -188. Suppose 302 = 8*d - n. Is d composite?
True
Suppose 3*i - 6 = 9. Let t(d) = -d**2 + 4*d + 9. Let r be t(i). Suppose -4*q - 1885 = -5*u, 1349 = r*u - 2*q - 165. Is u composite?
True
Let t = -6882 + 12961. Is t prime?
True
Let t(m) = 15*m - m**2 + 2*m - m - 4 - 9. Let w be t(15). Suppose 3*p + y - 155 = -3*y, -p + 55 = -w*y. Is p a composite number?
False
Suppose 2*y - 55 = 3*f, -2*y - 73 = 4*f - 5*y. Let g be -2 - f/(-2)*-6. Suppose g = 6*q - q. Is q composite?
False
Let z(r) be the first derivative of -7*r**2/2 - 16*r + 4. Let s(u) = -u. Let o(m) = 4*s(m) - z(m). Is o(7) a prime number?
True
Suppose -20*p + 14071 + 1669 = 0. Is p a prime number?
True
Suppose 5 = 6*q - 7. Is (158*-1 + 1)*(-2)/q a prime number?
True
Is 375138/27 + (-14)/(-2) a composite number?
False
Let v be 0/(12/(-21) + 75/21). Suppose -6*l - 2*l + 5384 = v. Is l prime?
True
Let p be 20/(-5) + 4 - -2. Suppose -k + 5*u = -192, k - 4*u + p*u - 189 = 0. Is k a prime number?
False
Let w(n) = 7961*n**2 + n - 1. Is w(1) a prime number?
False
Suppose -2*n + 107 + 7 = 4*d, 2*n = -3*d + 84. Suppose -3*x + 3*m = 4*m - d, 4*x - 2*m - 40 = 0. Let q = 21 - x. Is q a prime number?
True
Let l = 3067 - 1666. Is l a composite number?
True
Let h(m) = -13*m + 15. Let x be h(6). Let b = 206 - x. Is b prime?
True
Let k = -2 - -4. Let m(y) = -y**3 + 2*y**2 - 4*y + 2. Let o be m(k). Let s(r) = -r**3 - 7*r + 1. Is s(o) a prime number?
False
Suppose -3 + 5 = j, -6 = n + 3*j. Is n/4 + 7 - -65 a prime number?
False
Suppose 15*w = 6*w + 135. Suppose 0 = 10*d - w*d + 2425. Is d prime?
False
Let t(r) = -3*r**2 + r + 5 + 7*r**2 + 5*r**2. Is t(-3) a prime number?
True
Let u(w) = 3*w + 5. Let k be u(10). Let b = 2256 + k. Is b composite?
True
Let a(h) = 108*h**2 - 3*h. Let q = -3 + 2. Is a(q) composite?
True
Let f(g) = 3*g**3 - 5*g**2 - 4*g - 4. Let r be f(-4). Let w = -7 - r. Is w a composite number?
True
Let l = 1108 - 783. Suppose 4*p = -p + l. Suppose 4*y - p = -y. Is y a composite number?
False
Suppose 19107 = 6*j - 52635. Is j composite?
True
Suppose u + 2 = 2*u. Let t be (12/15)/(u/235). Is t*1 + 1 + -4 composite?
True
Is 3646*((-195)/(-182) + (-8)/14) a composite number?
False
Let c be -3 + -1 - 12/(-3). Suppose -17*z + 13*z + 328 = c. Is z a prime number?
False
Suppose 0 = 134*x - 132*x - 2522. Is x a composite number?
True
Let v(s) = -313*s - 31. Let w = -42 - -36. Is v(w) a composite number?
False
Suppose -5*i - 83 = -0*h - 3*h, -3*i = 5*h - 93. Suppose 3*k + 3 = -h. Is ((-31)/4)/(2/k) composite?
False
Let l(t) = t**3 - 5*t**2 - 6*t + 4. Let d be l(6). Suppose -y - 4*y + p + 1600 = 0, 0 = 2*y + d*p - 618. Is y prime?
False
Let v(l) = -l**3 + 6*l**2 - 4*l - 7. Let r be v(5). Let n be (3/1)/(r/(-42)). Let p = n + -28. Is p a prime number?
False
Is 9557332/119 - 9 - 4/(-14) a prime number?
False
Suppose -3 = 3*u - 5*y, -u + 4*y = 3*u + 12. Is (-656)/u + 2/(-6) prime?
True
Suppose -2*x + 10 = -0*x. Suppose -z = -p + 1191, 3*p - x*z - 3003 = 566. Is p a composite number?
False
Let c(b) = b + 3. Let h be c(0). Suppose -r + 256 = t, 2*r + h*t - 511 = -0*r. Is r composite?
False
Let o(l) = -409*l + 24. Let s(i) = 408*i - 23. Let k(u) = 6*o(u) + 5*s(u). Is k(-6) a composite number?
True
Is (7 + -20 + 14)/(1/8419) a prime number?
True
Let o = 28726 + -20217. Is o composite?
True
Let b(n) = n**2 - 11*n + 10. Let q be b(7). Let y be q/(-3) + 1 + -4. Suppose 336 = y*z - 381. Is z a prime number?
True
Suppose -12300 = -4*j - 2*z + 5988, -22871 = -5*j + 3*z. Is j a prime number?
False
Suppose -8*n + 12303 = n. Is n a composite number?
False
Let m(s) = 17*s**2 - s - 1. Let b = 97 - 93. Is m(b) a composite number?
True
Let m = -51 + 53. Suppose -4*l + 3*j + 17084 = 0, m*l - 3*j = 2*j + 8542. Is l prime?
True
Suppose -5*c + 52 = 12. Is ((-10)/c)/(1/(-764)) a prime number?
False
Suppose -5733 + 1528 = -5*g. Is g composite?
True
Let u(p) = p**3 - 22*p**2 - 3*p + 9. Let t be u(22). Let y = 184 + t. Is y prime?
True
Let m be 2 + -5 + 0 - -374. Suppose 0 = -3*z + 4*w + 1056, -2*z - 5*w = -333 - m. Is (3/4)/(8/z) a prime number?
False
Suppose 1 = 5*f + 21. Let m be f/26 + 205/65. Suppose -3*s = r - 2158, 711 = s + m*r - r. Is s prime?
False
Suppose 2*b + 14695 = 84857. Is b a prime number?
True
Is 194176/10 + ((-180)/75)/4 composite?
False
Suppose -2*u = 4*d + 31 + 5, 3*d = 3*u - 36. Let l = d + 14. Suppose -k = -l*k + 18. Is k composite?
True
Suppose -4*u - 4*b = -7792, 5849 = 3*u - 2*b + 6*b. Is u a composite number?
True
Suppose 81*z - 5616319 = 8629232. Is z a prime number?
False
Suppose 5*q - 1396 + 346 = -5*i, -5*i - 831 = -4*q. Let o = q + 253. Let x = -271 + o. Is x a composite number?
False
Suppose -27*i + 22*i = 5*f - 20570, -5*i - f = -20550. Is i composite?
True
Let q(o) = o**2 - o - 12. Let x be q(4). Suppose -6*c + 0*c + 1794 = x. Is c composite?
True
Let r(i) = -2*i - 13. Let x be r(6). Let s = x + 114. Is s a composite number?
False
Suppose 3*d = 11*d - 24. Suppose m = d*m - 4106. Is m a composite number?
False
Suppose 0 = m + 