
Let k be 3318/(-22) + (-18)/99. Let i = k + 218. Is i a prime number?
True
Suppose -v + j = -8 + 2, -16 = -2*v + 4*j. Suppose v*t - 1743 = t. Is t a composite number?
True
Is (5 - 6)*2*-17 a prime number?
False
Let n = 11 - 26. Let u = n - -19. Suppose u*x + 2*d = 412 + 220, 0 = -2*d - 4. Is x a prime number?
False
Suppose -5*r - 4*c - 1298 = 0, -3*c - 1295 = 5*r + 2*c. Suppose 0 = 5*y + 2*u - 2763, u - 1657 = -3*y - 0*u. Let d = y + r. Is d a composite number?
True
Let f(p) be the first derivative of 93*p**2/2 - 2*p - 3. Let s be (-2 - (1 + -1)) + 3. Is f(s) a prime number?
False
Suppose -2*q - 5203 = -3*n, n - 1731 = -4*q + 3*q. Is n a composite number?
False
Suppose 0 = 3*a - 17 + 5. Suppose 5*q = -a*c + 1027, 6*q = 3*c + q - 744. Is c a prime number?
False
Suppose 574*r + 91228 = 578*r. Is r composite?
False
Suppose 0 = 14*o - 63917 + 15519. Is o a prime number?
True
Let x(i) = -i**3 + 4*i**2 - 2*i - 2. Let v be x(2). Suppose 5*b + 6673 = 2*q + q, -v*q - 4*b + 4434 = 0. Is q prime?
True
Let w = 9 - 3. Suppose w*p = 2*p + 13608. Suppose 0 = -6*b + p + 120. Is b composite?
False
Suppose 3*f = f + 5736. Suppose f + 753 = 3*u. Is u a composite number?
True
Let d = -3635 + 6937. Is -2*((-3 - 0) + d)/(-2) a composite number?
False
Let j(g) = -570*g - 1135. Is j(-22) a composite number?
True
Let c(q) = 121*q**3 + q**2 - 2*q + 1. Suppose -5*h - 5*k = -25, -k - 2 = -h - 1. Suppose 4*s - h = s. Is c(s) a prime number?
False
Let z(t) be the first derivative of t**4/4 + 2*t**3 - t**2 + 2*t + 12. Is z(-6) a composite number?
True
Let a(x) = -14*x**2 + 17*x + 63. Let r(j) = 5*j**2 - 6*j - 21. Let w(n) = -3*a(n) - 8*r(n). Is w(16) a prime number?
True
Suppose -3*z = -5*j - 6 - 15, -5*z = 15. Is (-1 + (-639)/j)/(1/6) a prime number?
False
Suppose -t + 2871 = -6*t - a, -1 = a. Let p = 213 - t. Is p a composite number?
False
Suppose -l + 11 = 2*p, 6*p - 3*p - 9 = 0. Suppose -l*o + 0*o + 5335 = 0. Is o a composite number?
True
Let l(t) = 10*t - t**2 + 0*t**2 + 51 - 56. Let c be l(9). Suppose 5*m + 5 = 0, -5*j + c*m = 2*m - 2937. Is j prime?
True
Let p be (-2)/(-4)*(10 - 2). Suppose -3*o = -5*o - p. Is 382/(o*(4 + -5)) prime?
True
Let d(s) = -6*s - 3. Let c be d(-2). Let q(f) = 5*f + 2*f**2 + 8*f - 6*f + c. Is q(-7) a prime number?
False
Suppose 0 = -38*d + 33*d + 125. Is d/(-100) - (-1)/((-4)/(-2793)) a composite number?
True
Let a(r) = -3*r - 1. Let z be a(-2). Suppose q + 120 = z*q. Suppose 4*w - 478 - q = 4*f, f - 127 = -w. Is w prime?
True
Suppose 4*n + 5248 = 83372. Is n a prime number?
True
Let t(o) be the second derivative of 31*o**4/6 + 5*o**3/6 - 3*o**2/2 - 15*o. Is t(4) prime?
True
Let j(b) = -5*b - 13. Let z be j(-3). Suppose 0 = -s - q + 736, -4*q = -z*s - 2*s + 2952. Is s composite?
True
Let k be -4*12/(-16)*10/6. Is ((-25)/k - -4)*(-486 - 1) prime?
True
Let m = -72358 - -129215. Is m a prime number?
True
Let f(n) be the second derivative of 5*n**4/4 - n**3 - 5*n**2 + 34*n. Is f(9) a composite number?
False
Suppose 0 = 3*b + 12, p + 0*p - 3*b = 2131. Is p a composite number?
True
Suppose d - 2886 = -3*u, u = -2*u + 5*d + 2868. Suppose -5*o - 4*c + u = -2*c, -2*o + c + 379 = 0. Is o composite?
False
Let m(a) = a - 4. Let i = 29 - 25. Let r be m(i). Suppose -279 = -s - 0*s + 2*w, r = 5*s + 2*w - 1335. Is s a composite number?
False
Let z(b) = b**2 + 16*b + 18. Let v be z(-14). Let o be (v/4)/((-4)/(-80)). Let n = 113 - o. Is n a prime number?
True
Let f(y) be the third derivative of 229*y**4/24 - y**3 + 7*y**2. Is f(1) a composite number?
False
Suppose 2*u - 1443 - 105 = 0. Suppose -2*o + u = 2*q - 578, 2*o = 6. Is q prime?
True
Suppose -f + 1 = -2. Suppose -s + f + 179 = -3*q, -924 = -5*s + q. Is s composite?
True
Let k be (-1)/(-5) + 864/30. Let b = -26 + k. Suppose 0 = -4*n + 2*o + 758, 66 = -n + b*o + 248. Is n a composite number?
False
Suppose -4*h = -k - 2*h + 14, 5*h = -25. Suppose -4*u + 1500 = 4*c, k*c + u - 782 = 730. Is c composite?
False
Let z(g) = 42*g**3 + 5*g**2 - 2*g - 3. Let l be z(3). Suppose 0 = 4*v + y - l, -301 = -v + 4*y - 0*y. Is v a composite number?
False
Let u = 27 + -32. Let y(c) = -12*c - 1 - 9*c - 1. Is y(u) prime?
True
Let s be 88766/(-13) - 12/(-78). Is (-1)/2 - s/8 prime?
True
Let p(z) = z**2 + 3*z. Let x be p(-4). Let l be ((-4)/x)/((-1)/101). Suppose 3*r = -5*a + 689, -r + 134 = 3*a - l. Is r a composite number?
False
Suppose -5*m = -149 - 1191. Let x = m + -5. Is x prime?
True
Suppose 0 = 15*w - 237264 + 4749. Is w a composite number?
True
Suppose -9*d + 2540 = -1681. Is d a prime number?
False
Let y be (-1 - (-5)/25)/(2/(-1775)). Suppose -x + y = -2*o - 3*o, -2*o = 5*x - 3415. Is x a composite number?
True
Let z(v) = 4*v**2 + 6*v - 1 - 1 - 4*v + 15*v**2. Let u be z(-3). Let l = -78 + u. Is l a prime number?
False
Suppose 3*m - t = 77832, 0 = -4*m - t - 2*t + 103789. Is m prime?
False
Suppose 462*q = 451*q + 357907. Is q a prime number?
True
Let o = 187892 - 133809. Is o prime?
True
Let q = 2 + 1. Suppose 4*n = q*n + 2965. Is n a prime number?
False
Is (-3)/2 + (-37662)/(-12) prime?
True
Suppose 3*k + k = -32. Let x = -6 - k. Suppose 236 = -x*w + 642. Is w a composite number?
True
Let m be (-3)/(-6)*79*(-3 - -5). Suppose 0 = -4*t + 291 - m. Is t a prime number?
True
Suppose 2*c - 10195 = -3*h, 6*c + 2*h = 11*c - 25497. Is c a prime number?
True
Is (-10)/15*-9267 - -9 composite?
True
Let f be (-2)/3 - 8/(-12). Suppose -3*s = -f*s - 2*n - 1215, 4*n - 12 = 0. Is s prime?
False
Let v be 0/11 + -2 + -135 + -2. Let h = 556 + v. Is h a prime number?
False
Let f(n) be the third derivative of -n**6/24 - n**5/60 + n**4/8 - 5*n**3/6 - 2*n**2. Let h(v) = v + 2. Let j be h(-6). Is f(j) a prime number?
False
Suppose -4*j + 48363 = -60*q + 55*q, 4*j = -4*q + 48408. Is j a prime number?
True
Suppose -5*r - 2096 = -12486. Is r prime?
False
Suppose 11*x + 42 = 17*x. Suppose -365 = -x*w + 314. Is w prime?
True
Let f(i) = 2*i**3 + 31*i**2 + 18*i + 3. Is f(-14) a composite number?
True
Suppose 5*l + 21 = 8*l. Suppose -4*i + l*i - 1227 = 0. Is i a prime number?
True
Let k(s) = 2*s**2 + 5*s - 1. Let j(z) = -z**2 - 2*z + 1. Let i(f) = -7*j(f) - 3*k(f). Let m be i(4). Suppose 7*v - m*v = -35. Is v a prime number?
False
Let i be 3/(-4 - -3)*(0 - 1). Suppose 0 = -2*g + i*x + 8294, g - 1852 = 5*x + 2281. Is g a composite number?
False
Let r = 426 - -651. Let w = r + 632. Is w a composite number?
False
Let c(q) = q**3 + 6*q**2 - 2*q - 9. Let n be c(-6). Suppose -5*a = -n*a - 16. Is -2 + -10*(-84)/a a prime number?
True
Let i(d) = 168*d - 9. Let x be i(3). Suppose -y + j + 12 = -x, -5*j = -3*y + 1529. Is y composite?
False
Suppose 4*v - 1499 - 1393 = 4*q, 2*v = -2*q + 1430. Is v composite?
False
Suppose 2*i - 3*s = 90769, -11*s + 10*s - 45382 = -i. Is i a composite number?
False
Let m(f) = -3*f**3 + 170*f**2 - 82*f + 46. Is m(47) prime?
False
Let g = 55 - 21. Is (-4)/(0 + -4)*(g + 3) prime?
True
Let n = 2 + 3. Suppose 8 = 2*v + 4*w - w, -7 = -n*v - w. Is v + 16/12*66 composite?
False
Let l(j) = j**3 - 38*j**2 + 15*j + 7. Is l(38) composite?
False
Let m be 8*(-5)/(0 + -5). Is (-1 + -1)/(m/(-2348)) composite?
False
Let j = 14 - 12. Let d be 2/((-5)/j - -3). Suppose -3*g + d*t - 3*t + 475 = 0, g - 169 = 3*t. Is g a prime number?
True
Let m(o) be the second derivative of 91*o**4/12 - 11*o**3/6 - 2*o**2 - 5*o. Let v be m(-8). Suppose -3*y + v = y. Is y prime?
False
Let a = -50 + 68. Let j = 28 - a. Is j a prime number?
False
Let k = 26 + -23. Suppose -2100 = 5*l + 3*b - 9160, k*l - 5*b = 4270. Is l a prime number?
False
Suppose 5*u + 5600 = 5*l, 0 = 8*l - 7*l + 3*u - 1100. Is l a prime number?
False
Let f = -12862 + 34047. Let s be 2/(-11) + f/55. Suppose -510 = -5*y + s. Is y a prime number?
True
Suppose 2*x = 4*m + 1986, -3*x + 5*x + 4*m - 1970 = 0. Is x prime?
False
Let u(z) = 390*z**2 - 15*z - 19. Is u(-2) composite?
False
Let y be 1/4 + 14/8. Is (-8)/4*(-349 + y) composite?
True
Let w(b) = 173*b + 11. Let l(s) = 606*s + 39. Let p(g) = -5*l(g) + 18*w(g). Is p(4) prime?
False
Let g = 27 - 19. Let f(i) = -i**2 - 8*i - 2. Let q be f(g). Let y = q + 389. Is y a prime number?
False
Let h = 11023 + -664. Is (h/(-18))/(1/(-2)) prime?
True
Let v(w) = -1092*w + 1. Is v(-3) composite?
True
Let x be ((-330160)/(-50))/(2/5). Suppose 5*c + 1045 = -3*