r?
False
Suppose 5*s - 1836 = -d, -3*d - 6*s + 5*s + 5452 = 0. Let v = d - -415. Is v composite?
True
Let p = -288 - -3491. Is p a prime number?
True
Let p(l) = 7*l - l**2 - l + l. Let m be p(8). Is 3507/12 - 6/m a prime number?
True
Let l = 24788 + -11167. Is l prime?
False
Let h be 3/(-4 + 11/2). Is (h - (-1143)/(-12))*-4 a prime number?
True
Suppose -3*q = 5*h - 18412, 2*h + 5*q - 7362 = q. Is h composite?
True
Let c = 856 - -3465. Is c composite?
True
Suppose 20 = -5*v + s - 5, -5*s = -25. Is 271 - 1/((-2)/v) prime?
True
Is -1 - (-70)/(((-12)/(-176))/3) a composite number?
False
Suppose -762 - 1023 = -3*o. Suppose v = 1786 - o. Is v composite?
True
Let k be 49755/(-27) - (-1 - 33/(-27)). Let d = k - -2612. Is d a prime number?
True
Suppose -2*a + 9565 = 3*l - 0*a, 3187 = l + a. Is l composite?
False
Suppose 4*i - 5 = 71. Suppose -3 = 4*j - 23. Suppose i = w + j. Is w a composite number?
True
Suppose 5*c + 4*g - 131033 = 0, -12 = -3*g + 7*g. Suppose 5*p + 5654 = c. Is p a prime number?
True
Let j(f) = 431*f**2 - 5*f - 3. Let w be ((-2)/(-2) - 2)*12/6. Is j(w) prime?
False
Let a(w) = 65*w**2 + 11*w - 135. Is a(-11) a composite number?
True
Let i(q) = -8*q + 62. Let f be i(8). Is (-3)/f - (-76851)/18 a composite number?
False
Let g(z) = 25*z + 9. Is g(10) a prime number?
False
Let o(j) = j**2 + 31*j + 139. Is o(-40) a prime number?
True
Suppose 5*y + 12 = -38. Let t(u) = u**3 + 10*u**2 + u + 9. Let o be t(y). Is 36 - (o + 0/(-4)) composite?
False
Let j = -30 - -35. Suppose -481 = -3*g - j*d, d - 5 = -3. Is g composite?
False
Is (-20)/28 - 5015700/(-35) a composite number?
True
Let c = -6949 - -12576. Is c a prime number?
False
Let u(n) = -n**3 + n**2 + 2099. Is u(0) composite?
False
Suppose -3*s + 3*p = -5748, -3*p = 2*s - p - 3816. Suppose -770 = 2*f - 4*f - m, 5*f - 4*m - s = 0. Let u = -257 + f. Is u a composite number?
False
Let o be (-3 - -3 - -2) + 1. Suppose -o*t - 2*t = -1615. Is t a prime number?
False
Let g(z) be the first derivative of -z**2 - 14*z - 13. Let y be g(-8). Suppose -y*f = 257 - 2239. Is f composite?
False
Let f(s) = 2*s**3 - s**2 - 4*s + 1. Let r be f(2). Suppose 0 = 4*v + 3*q - 458, -2*v = r*q - 236 - 0. Is v composite?
False
Is (1 - -2482)/(14 - 13) a prime number?
False
Let x(y) = 5*y**3 + y**2 - 2*y + 1. Let n be x(1). Suppose 0*w + n*w = 0. Is (-18)/(-6) + w + 110 a composite number?
False
Let d(c) = c**2 + 9*c + 18. Let t be d(-7). Suppose -t*f - 2*q = 3*q - 6831, 0 = -5*f - q + 8544. Is f prime?
True
Suppose 3*b = 5*c + 15112, -3*b - 2*c + 16771 = 1694. Is b a composite number?
True
Suppose 0 = -0*r - 5*r + 75. Is (14622/(-30))/((-3)/r) a composite number?
False
Let j(o) be the first derivative of 8*o**3 - o**2/2 + 8*o - 5. Is j(3) a prime number?
False
Let c(k) = 18*k**2 - 16*k + 65. Is c(7) a prime number?
False
Let n be 16/(-56) + (-46)/(-14). Let b be (0 + n)*316/6. Suppose 0 = 2*u - 2*m - 164, 89 = 3*u - 2*m - b. Is u prime?
True
Is (1 + 0)*6/((-24)/(-9644)) a composite number?
False
Let b = -5 - -11. Suppose -b*s + 4*s = -156. Suppose 189 + s = 3*l. Is l a prime number?
True
Let d(g) = 34*g**2 + 8*g - 9. Is d(2) prime?
False
Suppose 5*m + 0 = 20. Suppose -2*p + c + 8354 = 0, 3*p + 8354 = 5*p - m*c. Is p prime?
True
Suppose -2*y = -4*i - 10, 4*i + 16 = 3*i - 4*y. Is (-893)/i - 14/56 prime?
True
Let t(b) be the second derivative of -b**5/20 - 2*b**4/3 + 11*b**3/6 + 11*b**2/2 + 2*b. Let k be t(-10). Suppose k = x - 32. Is x a prime number?
False
Let f(d) = d**3 - 6*d**2 - 3*d - 9. Let a(q) = -3*q**2 - q - 4. Let n(z) = -5*a(z) + 3*f(z). Is n(4) composite?
True
Is (42/8 - 5) + 7014/8 prime?
True
Is 25/(-20) + 87846/24 prime?
True
Let a be (-2)/5 - 288/(-45). Is (-2)/a + (-11640)/(-36) a prime number?
False
Suppose -460812 + 107081 = -7*d. Is d a composite number?
True
Suppose 81717 = 5*q - 4*d - 37040, q - d = 23751. Is q a prime number?
True
Let v be -5*(-12 + 0)*2/(-10). Is (-465)/(-8) - v/(-96) a prime number?
False
Suppose 286*a - 282*a - 96260 = 0. Is a a prime number?
False
Suppose -5321 + 1111 = -5*t + f, -2*f = 3*t - 2513. Is t prime?
False
Suppose 5*d - 3*d = 12. Suppose -5*w + t + 25 = 0, -d = -2*w - 4*t + 4. Suppose -3*b + 4*v + 33 = 0, v - 11 = -b + w*v. Is b a prime number?
True
Let d(p) = -p**2 - 7*p. Let l be d(-6). Suppose -15*o + 18*o - l = 0. Is (-24)/16 - (-97)/o a prime number?
True
Let d be 8/(-44) - 2598/(-11). Suppose 4*s = -3*y + d, 0*s - 5*s + 295 = 5*y. Is s composite?
False
Is ((-4965)/(-25))/(3/10) composite?
True
Let q(r) = -r**3 + 11*r**2 + 28*r - 32. Let h be q(13). Let w(u) = -2*u**3 + 7*u**2 + 3*u + 23. Is w(h) prime?
False
Let v(y) = y**3 + 7*y**2 - 9*y - 3. Let a be v(-8). Is 196 - (1 - a - -1) prime?
True
Suppose -2*r = -4902 - 2260. Suppose 4*b = -2*k + 1430, -5*k = 4*b - 0*b - r. Is k prime?
False
Suppose -5*z + 12 = -z. Suppose -p + 876 = z*p. Suppose -2*w - 2*j - p = -3*w, 2*w + 3*j = 452. Is w a prime number?
True
Let q(k) = 23*k - 19. Let t(s) = 12*s - 10. Let c(y) = -3*q(y) + 5*t(y). Let b be 6 + -3 + 0 + -13. Is c(b) prime?
True
Suppose 3*g - 6 - 24 = 0. Let b = 15 - g. Is b/40 - (-4269)/24 composite?
True
Suppose -5*d + 5*x = -783908 + 121863, -2*d + 5*x + 264818 = 0. Is d composite?
False
Suppose 5*d + m - 1 = 0, 5*d - 1 = -2*m + 1. Suppose d = 3*y - 6*y + 285. Suppose y = 4*v - z, -8 + 28 = 4*z. Is v composite?
True
Suppose -3*b - 5*f - 5 = 0, -4*f + 6*f - 20 = b. Let h(u) = -129*u - 31. Is h(b) prime?
True
Suppose 9*u + 9044 = 13*u. Suppose -4*n = v - 2255, -4*n - 3*v = -0*v - u. Is n prime?
True
Let g(b) = -b**2 - 15*b + 14. Let k be g(-7). Let x = -44 + k. Is x a prime number?
False
Let u(y) = -7*y - 4*y - 8*y + 3*y - 33. Is u(-14) composite?
False
Let w be (-4048)/72 - (-4)/18. Let m be ((-10)/(-4))/((-7)/w). Let n = m + 3. Is n prime?
True
Suppose 4*m - 25195 = 4*q - 3351, -m - 2*q = -5473. Is m a prime number?
False
Let k(a) = -11*a**3 - 5*a**2 + a + 16. Is k(-9) prime?
True
Let m = -22 - -22. Let h(c) = 0*c**2 - 5*c**2 - c + 4*c**2 + 649. Is h(m) a prime number?
False
Suppose 7*d - 4606 = -w + 8*d, 5*d = -2*w + 9247. Suppose 9*x - w = -120. Is x a prime number?
True
Suppose -14442 = -2*w - u - 1557, 0 = -4*w - 4*u + 25760. Is w a composite number?
True
Suppose 2*o - u = u - 304, -772 = 5*o - u. Suppose 5*w - 4*h + 40 = 0, 15*h = 3*w + 17*h + 2. Is (o/(-10))/((-2)/w) prime?
True
Let i = -405 + 1310. Let c = 456 + i. Is c composite?
False
Let h = 675 + 958. Is h prime?
False
Let j(g) = g**3 + g**2 + 3. Let h be j(0). Let p(f) = -3*f + 5*f**2 - 235 + 14*f**2 + 233 + 5*f**2. Is p(h) prime?
False
Let u(d) = 6*d + 8. Let j be u(7). Let w(h) = j*h**3 + 0*h**3 + 35*h**3 - h**2 - h**3. Is w(1) a composite number?
False
Suppose 8 = -21*r + 22*r. Let j be (-1 - -2) + (r - 6). Is (2934/(-27))/((-2)/j) composite?
False
Suppose -4*j + 7*j = -222. Let h = 308 + j. Suppose -h + 2904 = 6*g. Is g a prime number?
False
Let u = 24250 + 16617. Is u a prime number?
True
Let a = -18 + 23. Suppose a*r + 309 = 2284. Is r a prime number?
False
Let r be (6/4)/((-13)/(-78)). Let v be 9/18 + 10/4. Suppose 2*p - 3*u - 2317 = -2*p, -r = v*u. Is p prime?
True
Let d(n) = -3*n**2 - 9*n + 3. Let b(p) = p - 1. Let c(j) = -6*b(j) - d(j). Let l be c(3). Is (-4 - l - 3)/(-2) prime?
True
Suppose 90415 = 21*f - 86384. Is f a prime number?
True
Suppose 7*u - 14 = -0. Is 1257*(-3)/(-18)*u prime?
True
Let t(a) = 2*a - 8. Let q be t(6). Let z(h) = h - 4. Let x be z(6). Suppose 2 = -w + 5, -q*f + x*w = -502. Is f prime?
True
Suppose 3*x - 3*v = 2*v + 10326, 2*v + 6 = 0. Is x composite?
True
Let r(x) = 9904*x - 9. Is r(1) composite?
True
Suppose 3*a + 0 = -c + 3, -a - 25 = -4*c. Suppose -p - c = -3*p. Let g(y) = 24*y**2 + y - 8. Is g(p) composite?
False
Suppose 10552 = 3*a + 2*y, -9*a + 5*y = -7*a - 7060. Suppose -4*v = -9*v + 25, 5*r - a = 3*v. Is r a prime number?
False
Suppose 5*n - 9 - 11 = 0. Suppose 0 = -2*m + n*m - 420. Is 4/8 - m/(-4) a composite number?
False
Suppose 0 = -3*f + 7919 + 3910. Is f a prime number?
True
Let x = 3 - 0. Suppose 4197 = 6*r + 213. Suppose -r = -x*d - d. Is d prime?
False
Let h(i) be the first derivative of 13*i**3/3 + i**2/2 - 5*i - 8. Let l(n) be the first derivative of h(n). Is l(5) prime?
True
Suppose -810744 = -22*a - 181522. Is a prime?
False
Suppose -d - d -