8*v + 6*v. Suppose 3*y - 4*g - 169 = 0, v*g - g + 194 = 3*y. Let h = y - 10. Is h prime?
True
Let s(b) = 5 - 5*b - 3 + 1 + 2. Let r be s(-7). Suppose -o + 225 = r. Is o prime?
False
Let w(a) = 70*a**2 - 12*a + 10. Is w(4) a composite number?
True
Suppose -2*v + 0*v + 14 = -5*s, 3*s = 4*v. Let l = v - -8. Suppose -2245 = l*z - 6*z. Is z composite?
True
Is 2*(2083 + -6) + -11 a composite number?
True
Let h = 37 + -65. Let k = 1 + -51. Let i = h - k. Is i a prime number?
False
Let v = -1724 + 3775. Is v prime?
False
Suppose 3*o - 6 = -2*p, 2*o + 3*p = -1 - 0. Let y = 2 - o. Is -14 - -10 - 390/y composite?
False
Suppose -26*v + 30*v - 8 = 0. Is (v - 4)*3076/(-8) a prime number?
True
Let c = 57 + -199. Let o = 1101 + c. Is o prime?
False
Let q(c) be the first derivative of -1/3*c**3 + 2*c + c**2 + 7 + 3/2*c**4. Is q(3) composite?
True
Let s(x) = 10351*x**3 - 3*x**2 + 17*x - 19. Is s(2) prime?
True
Suppose 4*f + 12150 = -3*b - 7376, 3*f = 3*b + 19512. Let k = -2899 - b. Is k a prime number?
True
Let c = 15 - 13. Suppose -3*a = 2 + 7, 5*a - 91 = -c*z. Is z prime?
True
Is 111*4*40/96 a composite number?
True
Let q(s) = s**3 + 2*s**2 - 5. Let j(r) = r + 4. Let y be j(-7). Let k be (y - -2)*-5 + -1. Is q(k) prime?
False
Suppose 2*v - 4*t + 9*t + 689 = 0, 5*t = 5. Let l be 1/((-1)/v)*-1. Is (-10 - -14)*l/(-4) prime?
True
Let d(u) = -u**2 + 16*u - 1. Let n be d(14). Let y = n + -27. Suppose 4*c - 1033 - 1115 = y. Is c a prime number?
False
Let k = -2882 + 6369. Is k a prime number?
False
Let b(q) be the second derivative of -q**5/20 - 2*q**4/3 - 7*q**3/6 + 3*q**2 - 2*q. Let o be b(-7). Is (993/o)/(1/2) prime?
True
Let b = 146 + -187. Is (-1240)/(-2) - (b - -38) prime?
False
Let s(n) = n**3 - 8*n**2 - 7*n - 8. Let u be s(9). Is u/3*(-7)/((-35)/6) prime?
False
Let i(a) = 2187*a**2 - a. Let k be i(-2). Suppose k = 5*s + 1035. Is s composite?
False
Let g(n) = n**3 + 2*n**2 - 9*n. Let h be g(-4). Suppose h*f - 3049 = 495. Is f prime?
False
Let o(p) = 155*p + 4. Is o(9) a prime number?
True
Is ((-10)/(-30))/(4/22908) a prime number?
False
Let b = 2 + 2. Suppose -3*p = 4*v - 228 - 583, -3*p + 779 = -b*v. Let f = 192 + p. Is f composite?
False
Let m be 3/(-1) + (-2)/((-2)/(-269)). Let a = m + 495. Is a a prime number?
True
Let j be ((-2)/7 + (-72)/(-56))*-4. Let m = 11 - j. Is m prime?
False
Let q(x) = -11*x + 12. Suppose 5*k = 6 - 41. Is q(k) prime?
True
Let v be 3/(-6)*18*-1. Suppose -v*q = -1254 - 177. Is q a prime number?
False
Suppose 3*i - 1314 = -3*i. Suppose -i - 2276 = -5*a. Is a prime?
True
Let m = -4 + 7. Suppose 0 = -q - 2*q - m. Is (2 - 52)*q - -3 a prime number?
True
Suppose 0 = -3*y - a - 14, -5*a + 8 = 2*y - 0. Is (1065/6)/(y/(-12)) prime?
False
Let f(n) = n**3 + 40*n**2 + 12*n + 150. Is f(-35) a prime number?
False
Let t(o) be the third derivative of -o**6/120 - o**5/60 + o**4/8 + o**3/2 - 8*o**2. Let l be t(-4). Let v = 256 + l. Is v a prime number?
False
Let v = -33 - -51. Suppose -233 = -v*f + 17*f. Is f a prime number?
True
Suppose 15*y - 794338 = 103607. Is y a composite number?
False
Let m(b) = 3*b - 15. Let u be m(7). Suppose 308 = 10*o - u*o. Let h = 154 - o. Is h composite?
True
Suppose 0 = -30*y + 50*y - 464300. Is y prime?
False
Let d = 10543 - 350. Is d composite?
False
Suppose 2 = -31*f + 32*f. Let t(g) = -23*g**3 + 2*g**2 - 2*g - 3. Let s(b) = -22*b**3 + b**2 - b - 2. Let x(z) = -4*s(z) + 3*t(z). Is x(f) a composite number?
True
Let l(r) = r**3 - r**2 + r - 1. Let f be l(-6). Suppose -23*c + 8142 = -1012. Let u = f + c. Is u prime?
True
Let v = -87 + -108. Let f = 610 + v. Is f a prime number?
False
Let o = -8 - -25. Let w(b) = b**3 - 7*b**2 - 20*b + 18. Let z be w(o). Let s = z + -1757. Is s a composite number?
False
Let f(r) = -r**3 + 2*r. Let i be f(0). Suppose 5*j - 2*v = -0*j + 2429, -j - 2*v + 493 = i. Is j a composite number?
False
Let c(s) = 2*s**3 + 17*s**2 + 2*s + 1. Let d be c(-8). Let x = d - -340. Is x a composite number?
False
Suppose -2*q + 0*q + 24 = 0. Suppose -7*w = -q*w + 60. Is 825/w + (-1)/(-4) a prime number?
False
Let v be 878/8 - 10/(-40). Let x be 2/(-11) - (-460)/v. Is x/(-16) + 1413/4 a prime number?
True
Let z(t) be the first derivative of -t**4/4 + 5*t**3/3 - 3*t**2/2 + 10. Let m be z(4). Suppose 3*k - 1631 = -m*h, 116 = 4*h - 5*k - 1507. Is h prime?
False
Let m = 997 - 661. Let b = m + 751. Is b prime?
True
Let w = 406 - 358. Let s be 3/2*8/6. Suppose -s*a = 34 - w. Is a prime?
True
Let t = 111 - 196. Let p = 96 + t. Is p a prime number?
True
Let a(n) = n - 4. Let j be a(10). Let w(l) = -l**2 + 6*l + 2. Let x be w(j). Is 0 - (-86)/4*x a composite number?
False
Suppose -4*q - 8 = 2*n, 5*q + 25 - 5 = -5*n. Suppose -16*l + 15*l + 587 = q. Is l a prime number?
True
Let j = 3 + 0. Suppose -2 = -j*d + 4. Suppose 5*b - 5*t + 33 = 133, -d*b = -5*t - 55. Is b prime?
False
Suppose 0 = 4*c - 6*n + 3*n - 588, 0 = 3*c - 2*n - 442. Suppose 0 = -5*h - 2*m + 875, 3*m - c = -h + 12. Is h prime?
False
Let j(z) = -z - 3. Let a be j(-3). Suppose a*i + 4*i - 12 = 0. Suppose -10 = -i*r + 5*c + 769, -c = r - 265. Is r a prime number?
True
Suppose -133913 = 9*x - 22*x. Is x a composite number?
False
Suppose -7 = 3*p + 2. Let z be (3/p)/(3/(-1401)). Is z/1 + (6 - 4) composite?
True
Let x(z) = 284*z**2 - 8*z + 55. Is x(6) a prime number?
False
Suppose -3*x - 3 = 5*c, -5 = 2*c - x + 6*x. Suppose y - 185 = -4*y. Suppose 4*t - 4*g - 328 = c, 2*t - 112 = 5*g + y. Is t a prime number?
False
Let d(k) = -k**3 + 10*k**2 + 7*k - 5. Let r(j) = 2*j + 10. Let u be r(-7). Let a be u*5/((-15)/6). Is d(a) prime?
True
Suppose 4*s = f + f + 5608, -4*f + 4*s - 11200 = 0. Let g = 4925 + f. Is g a composite number?
False
Let b(k) = 7*k - 1. Let z = -18 + 12. Let n be b(z). Is 4 - n - (-12)/3 a composite number?
True
Suppose -5*l = 3*a - 12, -8 + 0 = -2*a + 2*l. Suppose 0 = 2*k + k. Suppose a*v - 104 = -k*v. Is v a composite number?
True
Let m(q) = 5*q**2 - 15*q - 11. Suppose 12 = x - 3*x. Is m(x) prime?
False
Let p(y) = -2*y + 9. Let z be p(3). Suppose -2*v + 987 = 3*a - 523, 0 = z*v - 4*a - 2265. Is v composite?
True
Let i(h) = -47*h + 32. Let y(q) = 46*q - 33. Let t(w) = -6*i(w) - 5*y(w). Is t(7) a prime number?
True
Let c = 228081 + -150610. Is c prime?
True
Let n(r) = 4*r - 43. Let m be n(12). Suppose -m*c = -4*t - 3257, -4 = -2*t - 10. Is c prime?
False
Let j(k) = k + 2. Let i be 40/18 + (-4)/18. Let c be j(i). Is (-33)/44 + 135/c a prime number?
False
Let a(n) = -3*n**3 - n**2 + 3*n - 3. Let k be a(-2). Suppose u - 1268 = -3*o, -8*u + k*u - 3874 = 5*o. Is u composite?
False
Let y(x) = 5*x - 40. Let g be y(8). Suppose -5*r + 28435 = 4*o, g = -3*r + 5*o + 9069 + 7955. Is r a prime number?
True
Let m = -53 + 49. Is 1 + 46816/55 + m/(-5) prime?
True
Let u(o) = -7*o**2 - 14*o - 6. Let r be u(17). Let c = r + 3370. Is c a prime number?
True
Suppose 16*m + 101015 = 21*m. Is m prime?
False
Suppose 6*t = t - 100. Let h be -1*4*(-8445)/t. Let y = -826 - h. Is y prime?
True
Suppose 14 = 5*q - 1. Suppose 5*l = 0, -q*y - 2*l + 3291 = -l. Is y a composite number?
False
Suppose 0 = 135*j - 139*j + 12, 0 = 5*l - 4*j - 49823. Is l a composite number?
False
Let n = -1690 - -2479. Is n a prime number?
False
Let t(h) = h**3 - 6*h**2 + 6*h + 7. Let i be t(5). Let z be (-2)/(-8) - (-12)/16. Is z + (i - 0/(-2)) composite?
False
Let t(u) = u - 2. Let d be t(4). Let l be 470/(d/(1 - 0)). Suppose a + 0*a - l = 0. Is a prime?
False
Let v be 15/(-10) - (4386/(-4) + 0). Suppose -5*y = -4*r - v, -3*y - y = 5*r - 917. Is y a composite number?
False
Suppose -455*n + 435*n = -442460. Is n composite?
False
Is 4782 + -5*(2 + -1) a composite number?
True
Is (-28)/(-98)*14*(-9370)/(-8) prime?
False
Let r = -9588 + 13789. Is r composite?
False
Let d = 318 + -45. Let o = 614 - d. Is o a prime number?
False
Suppose 4*o + 2650 = 5*d, 3*d = -3*o - 2*o + 1627. Let q = d - 163. Is q a prime number?
False
Let i(p) be the third derivative of p**5/12 + p**4/24 + p**3/6 - 8*p**2. Let h be i(-1). Suppose -h*c = -4409 + 864. Is c a prime number?
True
Suppose 5*w = 3*l + 4252, 3*l + 1113 + 2288 = 4*w. Suppose -3*b = -w - 370. Is b composite?
True
Suppose 15*q - 28755 = 3180. Is q a composite number?
False
Suppose -22*f - 1260 = -24*f. Is 1 + f - (-4 + 0) a composite number?
True
Suppose 