 - -24)/((-9)/(-744)). Let r = l + 219. Is r a prime number?
False
Let m(n) = 61*n**2 - 4*n + 4. Let o(g) = -7809*g**2 + 513*g - 513. Let y(s) = -513*m(s) - 4*o(s). Let c be y(-2). Let l = c + 347. Is l prime?
False
Let j = -9607 - -14438. Is j prime?
True
Let z(d) = -9 - d**2 + 0*d**2 - 13 + 3. Let k be z(15). Let m = k + 747. Is m composite?
False
Let r(c) = c**3 + 6*c**2 - 10*c - 7. Let x(b) = b**2 - 7*b + 8. Let n be x(6). Let o be (4/8)/(n/(-24)). Is r(o) a composite number?
False
Suppose 7*h = -7*h + 62902. Is h a prime number?
True
Suppose -65 = -6*v - 257. Suppose -4*l - 22 = n - 3*n, 4*l + 3*n + 47 = 0. Is (26/l)/(4/v) a composite number?
True
Let v = 1699 - 1068. Is v composite?
False
Suppose 0 = 4*r - 16, 4*t = -0*t + 3*r + 9304. Is t composite?
True
Let z(a) = 98*a**2 - 15*a - 75. Let b be z(-6). Is b*(4 - (-11)/(-3)) a prime number?
True
Let l(h) = -14*h**3 - 2*h**2 + 4*h - 2. Let v be l(2). Let m be 3*(0 + 367/3). Let p = v + m. Is p prime?
False
Let z(s) = 4*s**2 + 12*s - 2. Let b(o) = 4*o**2 + 13*o - 1. Let l(p) = -3*b(p) + 4*z(p). Is l(10) a prime number?
False
Let w(f) = -6*f**3 - 4*f**2 - 9. Let x(c) = -c**3 + 7*c**2 + 7*c + 4. Let o be x(8). Is w(o) a prime number?
True
Suppose -q = -5*q - 20, 2*q - 13247 = -3*m. Suppose 7*g + 2*g = m. Is g a prime number?
True
Suppose -t = -6845 + 1361. Suppose -w + 2102 = u, -4*w - 5*u - t = -13891. Suppose 4*l = l + w. Is l a composite number?
False
Suppose 6*k - 237908 = -38*k. Is k a prime number?
True
Let w(a) = 4015*a - 61. Is w(2) composite?
True
Let k = 260 + -122. Is k/4 - (-1)/2 a prime number?
False
Let j(a) = -8*a**2 - a + 2. Let c(l) = l + 1. Let b(d) = -2*c(d) - j(d). Is b(5) composite?
False
Suppose -7*h - 60 = -3*h. Let v = h + 74. Is v a composite number?
False
Suppose r - 97 = 148. Let w = r + -24. Is w a prime number?
False
Let k = 15 - 22. Is k*(-25 - (-4 + 8)) composite?
True
Is ((-8)/1)/(-2)*(-10420)/(-40) prime?
False
Is ((-19453)/28)/(0 + 2/(-8)) a prime number?
False
Let j = -13 - -17. Suppose -i - j = -2*i. Suppose i*d + 3*w = 4*w + 576, 4*w - 556 = -4*d. Is d prime?
False
Is 32926/22 + (-56)/(-154) composite?
True
Suppose 15*a - 198539 = 243976. Is a a prime number?
True
Is (29/87)/(1/4083) a prime number?
True
Let c(h) = 12*h**2 + 15*h + 15. Let b be c(-9). Suppose -3*x + b = -x. Suppose 3*o - x + 141 = 0. Is o prime?
False
Let w be 36/3*(-1)/2. Let a = 111 - 110. Is (-64)/w + a/3 a composite number?
False
Let p = 7558 + -3897. Suppose 2769 = 2*r + r + 4*k, 4*r = 5*k + p. Is r prime?
True
Suppose -4*l - l + 1120 = 0. Suppose n + 2*d - 17 = 48, 4*n = 4*d + l. Is n a composite number?
False
Let n = -939 + 1600. Let u = n - -426. Is u a composite number?
False
Suppose 574726 = 73*i - 1392405. Is i prime?
True
Let c(a) = -2804*a**2 - a + 1. Let b be c(1). Let q = -1635 - b. Is q composite?
True
Suppose -13*x + 41409 + 223934 = 0. Is x a prime number?
True
Let f be (8/4)/(4/222). Let x = 35 + 132. Suppose 4*k - x = -3*w, 5*k = -4*w + 111 + f. Is w prime?
True
Let b(z) = 862*z - 93. Is b(8) prime?
True
Suppose -5*r = -2*f - 27, 0*r = -5*f - 3*r + 10. Let z = 143 + -145. Is 59 - f - (3 + z) a prime number?
True
Suppose s = -8*s + 2133. Is s a composite number?
True
Suppose 143 = -3*c - 64. Let x be (3/(-2))/((-3)/(-4)). Is c/(-1) - (4 + x) a prime number?
True
Suppose 0 = -3*b - 2*l + 2662, -4*b + b = 5*l - 2668. Suppose -4*q + 2*q = -b. Is q prime?
True
Suppose -264*s + 316749 = -245*s. Is s a composite number?
True
Suppose -2*t - 1 = 9. Is 3274/6*t/((-5)/3) composite?
False
Suppose -12813 = -84*q + 81*q. Is q a composite number?
False
Let o(h) = h**3 + 2 - 7*h**2 + 7 - 2*h - h - 2*h**2. Let r be o(9). Is (r/6)/((-3)/58) prime?
False
Suppose -3*k - 12 = 2*l - l, k + 4 = -l. Let y(x) = -x**3 - x**2 + x + 2. Let b be y(l). Is b/2*(23 + 1128) a composite number?
False
Suppose -30*t + 167674 = -4*t. Is t a composite number?
False
Suppose 12*q = 15*q - 54903. Is q prime?
True
Let s(j) = -j**2 + 4*j. Let g = 13 - 9. Let k be s(g). Suppose 586 = 2*h - k*h. Is h a prime number?
True
Let h = 4969 - -29722. Is h a composite number?
True
Let g(y) = 1673*y + 2. Let a be g(3). Suppose -2828 - 528 = -2*l - 5*v, 0 = 3*l + v - a. Is l a composite number?
True
Let f(y) = y**3 + 5*y + 7 + 8*y - 4 + 14*y**2 - 4. Is f(-9) composite?
True
Let n(v) = v + 4. Let u be n(4). Let w be (-3)/(-6)*2*u. Let m(s) = 2*s**3 - 11*s**2 + 5*s - 19. Is m(w) prime?
False
Let d = 44 - 41. Suppose -4*f + 4265 + 2739 = 4*u, u = d*f + 1751. Is u prime?
False
Suppose -2353 + 8057 = 4*c + 3*l, 2*c = l + 2862. Let t(b) = -b**2 - 7*b - 1. Let u be t(-6). Suppose 5*m - 56 = u*k + c, -5*m - 4*k = -1503. Is m prime?
False
Let p(z) = 55*z**2 - 54*z + 3. Let n(h) = h - 1. Let u(i) = 2*n(i) + p(i). Is u(4) composite?
False
Suppose -4*r + 26391 = 2*j - 7*j, -5*r + j + 32994 = 0. Is r prime?
True
Suppose 4327 = -3*g - 3758. Let t = g - -4422. Is t a composite number?
True
Suppose -2*b + 3*b = -6. Let k(r) = -12*r**3 + 8*r**2 + 13*r + 29. Is k(b) prime?
False
Let u = 390 - -129. Is u prime?
False
Suppose 18 = 5*j - 2. Let s be (-10)/j*12/(-15). Suppose y + 53 = s*y. Is y a prime number?
True
Let s = -86 + 172. Suppose 455 - s = 3*d. Is d prime?
False
Let y(r) = 99*r**3 + 3*r**2 + 2*r + 5. Let t(x) = -x**2 - 7*x + 21. Let i be t(-9). Let m be y(i). Let h = m - 1880. Is h a prime number?
False
Let k(m) = -1812*m**3 - 4*m**2 + 5. Is k(-2) a prime number?
False
Let w be (-2 + (-2)/1)/(-2). Suppose 0 = -w*u - 4 - 0. Is u + 5/(10/102) a prime number?
False
Let s(d) = -66*d**3 + 4*d**2 - 9*d + 8. Let i be s(7). Let q be i/(-18) + 2/12. Suppose -5*x + 5*c = -1280, 0 = 5*x - c + 2*c - q. Is x a composite number?
False
Let j(z) = 97*z - 92. Is j(33) prime?
True
Let z = 6546 + 1009. Is z composite?
True
Let f = -2190 + 818. Let b = 6137 + f. Is b prime?
False
Suppose -5*x - 16 = 2*m, -2*m = -0*x + x. Suppose 0 = -4*o + 3*w, 3*o + o - 4 = m*w. Is (o/(-9))/((-2)/3246) composite?
False
Let v be (-12511)/(-6) - 9/54. Suppose -10 = -2*j, 3*j = -5*r - 0*j + v. Suppose -4*m + 5*f + r + 929 = 0, 0 = f - 1. Is m a prime number?
True
Let d be (-9)/27 - (-3284)/(-3). Let w = -68 - d. Is w prime?
False
Let i(y) = -73*y**3 - 26*y + 19. Is i(-6) prime?
False
Suppose 0 = 7*f - 2*f. Is (-2159)/17*(f + -3) prime?
False
Let v(r) = -r**2 + 20*r + 16. Let m be v(11). Suppose m = 15*u - 10*u. Is u prime?
True
Let y be ((-556)/12)/(4/(-12)). Suppose y*c = 138*c + 2455. Is c composite?
True
Suppose -12*i = -11*i - 2. Suppose i*l - 68 = -a + 316, 4*l + a = 768. Let c = l - -145. Is c a composite number?
False
Let q(l) = -175*l + 1. Let w(s) = 175*s - 1. Let u(d) = -3*q(d) - 2*w(d). Is u(8) a prime number?
True
Let q be (6 - 6)/((-2)/2). Suppose y = -q*y. Suppose y = 5*v - 5*g - 255, 6*v - 2*v = -4*g + 236. Is v prime?
False
Let j = 11561 - -29382. Is j a composite number?
True
Suppose 0 = -r + 4*k + 32481, -3*r + 36*k - 31*k + 97429 = 0. Is r a prime number?
False
Suppose -4*f + 3638 = -654. Is f a composite number?
True
Suppose 4*i = 3*r + 35, 15*i - 13*i - 5 = -r. Suppose 2*v = z - 2575, -3*z - i*v + 6355 = -1392. Is z prime?
True
Let d(h) = -534*h**2 - 2*h - 2. Let r be d(-1). Let p = r - -804. Suppose 147 = -a + 3*a + 3*w, 0 = -4*a + 2*w + p. Is a a composite number?
True
Suppose 5 = -5*r + 25. Let m be (-1)/(r + (-12)/4). Is (-3 + 2)*m + 66 a prime number?
True
Let g(f) be the third derivative of -f**6/120 + 2*f**5/15 - f**4/8 - 13*f**3/6 - 11*f**2. Is g(-7) prime?
True
Let g = 17 + -14. Is g/(-3)*(-881 + -8) a composite number?
True
Is (52/(-104))/(1/2036*-2) composite?
False
Let a(y) = -7727*y - 92. Is a(-5) a prime number?
True
Suppose -3*t + 6 = -3. Suppose -4*z = -4*l - 1592, -10 = t*l - 5*l. Is z a prime number?
False
Let y(o) = 241*o**3 + o**2 + 4*o - 3. Is y(2) composite?
True
Let q be (-4)/(-6)*90/12. Suppose k - 60 = l, 3*k = 4*k - q*l - 80. Suppose -t = -314 + k. Is t a prime number?
False
Let p = -78639 + 136112. Is p prime?
False
Suppose 0 = -13*u + 2*u. Suppose -12*s + 6450 + 1818 = u. Is s composite?
True
Let l(a) = 739*a**2 + 11*a - 5. Is l(4) composite?
False
Suppose 5*p = -128 + 158. Let i(n) = 8*n**2 - 7*n + 1. Let l(u) = 39*u**2 - 34*u + 5. Let j(v) = 11*i(v) - 2*l(v). Is j(p) prime?
True
Suppose -5*i = 2*w - 5*w - 133, 2*w + 