se 0 = -k*h - h + 39. Is h composite?
False
Let z be -4*(-1)/(-2) - -163. Let h = 515 - z. Suppose 8*w - 2*w = h. Is w composite?
False
Suppose 4*x - 3*d = 12824, 0 = -8*x + 5*x - 3*d + 9597. Is x a prime number?
True
Let o(i) = -763*i**3 - 3*i**2 - i - 1. Let g be o(-2). Suppose 6*q - g = -1623. Is q a prime number?
False
Let y(f) = 1367*f - 717. Is y(10) prime?
True
Suppose 30 = 3*r - v, 2*r - 3*v + 2*v = 20. Is (-5)/r*(-3 - (9283 - 0)) prime?
True
Let k(y) = -y**2 - 21*y - 36. Let w be k(-25). Let b = -57 - w. Is b composite?
False
Let i = 3099 + -218. Is i a composite number?
True
Suppose 22*w + 155314 = 1058304. Is w composite?
True
Is 1/((-28)/(-49) - (-84205)/(-147371)) composite?
True
Let f(i) = 12*i**2 + i. Let b be f(-3). Suppose 0 = 4*n + 20, -3*n + n = -3*g - 47. Is b + g - (3 + 1) prime?
False
Suppose -1 = -a + 3*l + 6, 52 = -4*a - 4*l. Let z(j) = 13*j**2 - 1. Is z(a) prime?
False
Let z(p) = -415*p - 83. Is z(-16) composite?
True
Suppose 4089921 - 407598 = 69*a. Is a prime?
False
Let k(z) = z**2 + 8*z - 8. Let b(l) = -l**2 + 8*l - 12. Let r be b(5). Suppose -q = -4*q - c - 50, -3*c = -r. Is k(q) prime?
False
Let s(o) = o**2 + 6*o + 3. Let y be s(-6). Suppose -y*b = -2*b - 2. Suppose 0*t = -b*t - 5*q + 117, -3*t - 4*q + 158 = 0. Is t composite?
True
Let h(w) = 6*w**2 + 12*w + 5. Let t be h(-8). Suppose 0 = -3*b + 4*b - t. Is b a composite number?
False
Let r(j) = 35*j - 42. Let u be r(18). Suppose 2*c + 5*v = u, 4*c - 1192 = -v - v. Is c composite?
True
Let u = 12795 + 64298. Is u a composite number?
False
Suppose 52*d - 47*d - 2265 = 0. Is 1 - (-3 - (-2 + 2) - d) a prime number?
True
Suppose 4*r - 88 = -4*d, 4*d + 4*r - 67 = d. Let q = 22 - d. Is (-12)/((1 - 4) + q) a prime number?
False
Let i(m) = 24*m - 10. Let d be i(5). Suppose 10*t = 8*t + d. Is t composite?
True
Let f = -527 - -646. Is f composite?
True
Suppose 0 = h - 0*h - 5930. Suppose 7*b = -421 + h. Is b composite?
False
Suppose -5*a + 5 = -0. Is ((-502)/(-10))/(a/5) a prime number?
True
Is 3/(-2)*967354/(-141) prime?
False
Let w(x) = 63*x - 9. Let d(k) = 32*k - 5. Let j(r) = 5*d(r) - 3*w(r). Let p = 14 - 17. Is j(p) a composite number?
False
Suppose -4 - 12 = -4*s. Suppose -3*g = -s + 1. Is (-332)/8*-2*g a composite number?
False
Let u = 28267 - 10976. Is u composite?
False
Let o(l) = 1043*l + 9. Is o(8) a prime number?
True
Let y be (15/2)/(1/2). Suppose 9*z + y = 14*z. Suppose 4*b = 5*k + 2673 - 1099, 3*b - 1179 = z*k. Is b a prime number?
False
Let s(w) be the second derivative of w**3/6 + 5*w**2 + 3*w. Let x be s(-5). Suppose -474 = -4*o - 2*k, -4*o - x*k + 471 = -0*o. Is o composite?
True
Suppose 0 = -2*a - 3*r + 23717, a + 3*r = -r + 11871. Is a composite?
True
Let a be (6 - 1) + (6 - 14). Is (6428/(-24) + (-2)/(-12))*a prime?
False
Let j(p) = -p**3 + 5*p**2 - 7. Let k be j(5). Let h = 24 - k. Let z = 172 - h. Is z composite?
True
Suppose -m + 476 = n, -n = -3*n + 2*m + 964. Is n composite?
False
Let n = -39 - -21. Let f = n - -55. Is f composite?
False
Suppose k = 48 + 40. Suppose x = -25 + k. Suppose -5*n = -j - 2*n + 21, x = 3*j + 5*n. Is j composite?
True
Let r(g) = -9*g**2 - g. Let y be -6*(-4)/8 - 2. Let n be r(y). Is ((-88)/10)/(4/n) a prime number?
False
Suppose 5*a - 41759 + 3889 = 0. Suppose x + 6*x - a = 0. Is x prime?
False
Let u be (-10 - -3)/((-1)/1). Let w(m) = -8*m - 16. Let g(a) = 8*a + 17. Let r(o) = -5*g(o) - 6*w(o). Is r(u) a prime number?
True
Suppose -16 = 7*z - 3*z. Let s be 37*5/(-35) - (-4)/14. Is s/10 - 742/z a composite number?
True
Suppose -8 = 3*y - 47. Suppose -5*n = a - y, -n + 1 = -4*a + 11. Suppose a*t - 58 = -k, 5*k - 290 = -0*t + t. Is k composite?
True
Suppose -102 = -2*a - 2*p, -4*p - 291 = -5*a - 0*p. Let g = 396 - 214. Let x = a + g. Is x composite?
True
Let a be 108/24 - (-2)/(-4). Suppose 111 - 35 = a*z. Is z a prime number?
True
Let w(i) = i**3 - i**2 - 2*i - 3. Let v(x) = x**2 - 4*x + 3. Let t(r) = -5*r**2 + 19*r - 14. Let o(c) = 2*t(c) + 11*v(c). Let j be o(6). Is w(j) composite?
True
Suppose -10*h = 7 + 3. Let r(c) = -231*c - 5. Is r(h) a prime number?
False
Let b(c) = 5*c**3 - 6*c**2 + 4*c - 4. Let q = 42 - 39. Is b(q) a prime number?
True
Let y = 466 - 695. Let k = 282 - 432. Let u = k - y. Is u a prime number?
True
Suppose -5*l + 81465 = 5*t, 15*l + 4*t - 81465 = 10*l. Is l a prime number?
False
Suppose 350 - 1761 = -g. Is g a composite number?
True
Let l be (-2)/10 - 32/(-10). Suppose -4 = -l*i - i. Is (27/12 - i)*20 a prime number?
False
Let u(s) = -s**2 + 3*s + 9. Let y be u(4). Suppose -3*i - y = 2*i. Is 56/(-24)*(-52 - i) a composite number?
True
Let w = 24 + -57. Is (329/3)/((-11)/w) a prime number?
False
Let i = -2004 - -3077. Is i a composite number?
True
Let u = 10225 + 606. Is u a composite number?
False
Let z = 50438 - 30177. Is z composite?
False
Suppose 2*v = -p + 308, 4*v + 0*p = p + 628. Let k = v - -185. Is k a composite number?
True
Let u = -24 - -33. Let p = 0 + u. Is ((-166)/10)/(p/(-45)) a prime number?
True
Let j(g) be the second derivative of 139*g**5/120 - 4*g**3/3 - 7*g. Let i(h) be the second derivative of j(h). Is i(1) composite?
False
Suppose -3*m - 8433 = -4*c, 5*c - 3*m + 2112 = 6*c. Let k(f) = 4*f - 1. Let g be k(-2). Is g - -7 - c/(-3) a composite number?
False
Is (-13)/(39/(-612)) + -1 a composite number?
True
Let d(h) = h**3 + 3*h**2 - 3*h - 27. Let l be d(-15). Suppose 0 = -4*i + n + 21, 3*i = 4*i - 2*n. Is i/(-15) + l/(-30) a composite number?
False
Suppose 0 = -3*s + 14 + 1. Suppose 18 = s*c - 2. Suppose 0 = c*x + 12, -7 = -2*q + x + 10. Is q prime?
True
Is (-1 + 0)*6/(-12)*138926 a composite number?
False
Suppose 0 = -2*d + 15*n - 11*n + 9434, -3*n = 2*d - 9448. Is d a composite number?
False
Suppose 2*y - 1 = -3*x, -4*y - 22 - 9 = -5*x. Suppose 3*h - 5*j = 1137, 3*j = x*h - 1240 + 103. Is h a composite number?
False
Let m(s) = -44*s - 3 - 20*s - 10*s. Is m(-4) composite?
False
Let o(r) = -3*r + 9*r + 6*r - 5. Let b = 2 + 4. Is o(b) a composite number?
False
Let d(r) = -15*r**2 - 12*r + 4. Let h(f) = 30*f**2 + 25*f - 7. Let k(l) = -7*d(l) - 3*h(l). Is k(-5) prime?
False
Let p(b) be the first derivative of b**3 - 3*b**2/2 + 17*b + 8. Is p(9) a composite number?
False
Suppose -n = -c + 1048, 0*n - 3*n = 4*c - 4178. Suppose b + 3*b + c = 3*g, b - 4*g + 255 = 0. Let q = b + 426. Is q a composite number?
False
Suppose -2*z - i - 53 = 0, 5*z = 3*i - 0*i - 149. Is 4/14 - 110172/z composite?
True
Let x = 18 + -24. Let u be (5250/63)/(1/x). Let k = -193 - u. Is k prime?
True
Let v(h) = 48*h - 4. Suppose 4*u - 3*t - 15 = 6, 0 = -4*u - 5*t - 3. Let q be v(u). Let p = q - -153. Is p a composite number?
False
Let b(a) = -a**2 - 6*a + 7. Let v be b(-7). Suppose 6 = 3*h - v*h. Suppose h*u = u + 451. Is u prime?
False
Let h(w) = 2*w + 1. Let a be h(1). Is (a - 0)/3 - -33 composite?
True
Suppose -2*h - h + 33 = 0. Suppose -78 = -x - h. Is x a prime number?
True
Let z(s) = 149*s**2 + 23*s - 23. Is z(1) prime?
True
Let z = 294 - -186. Suppose 0 = -2*u + 4*x - x + z, 5*u - 1226 = x. Suppose -2*w = w - u. Is w a prime number?
False
Let i = 47843 - 30552. Is i prime?
True
Let z(u) = 302*u + 27. Is z(5) a composite number?
True
Let z(m) = 16*m**3 + 10*m**2 + 2*m + 11. Is z(5) prime?
False
Suppose -21*g = -3*g + 540. Let p = 367 + g. Is p a prime number?
True
Suppose -5 = 3*j + 2*j. Let r = 1 + j. Let p = 37 - r. Is p prime?
True
Let n be 1/(2/3) + 55/(-10). Let y(t) = -1 - t**3 + 0*t - t + 2 - 2*t**2. Is y(n) a composite number?
False
Let c(l) be the second derivative of 107*l**3/3 + 9*l**2/2 + 4*l. Is c(7) composite?
True
Suppose 8*g + 3*b = 3*g + 13, 0 = 2*g + 2*b - 6. Suppose g*r = r + 443. Is r a composite number?
False
Suppose -38*b + 135558 = 19772. Is b prime?
False
Suppose n - 2*v - 11 = -6*v, 9 = 3*v. Let r(f) = 5 - 1 - 1 - 3 - 65*f + 2. Is r(n) a composite number?
False
Let r(i) be the second derivative of 25*i**3/3 - 43*i**2/2 - 44*i. Is r(12) a prime number?
True
Let a be 2*66/(-4)*1. Let v = -113 - a. Let s = v + 133. Is s a prime number?
True
Let u be (0 + -2)*508/8. Let b = 36 - u. Suppose g - b - 48 = 0. Is g prime?
True
Let z(u) = u**3 + 9*u**2 + 14*u - 5. Let r = 43 + -49. Is z(r) a composite number?
False
Suppose -9*n - 43 = -16. Is 11*(139 + -5) - n/1 a composite number?
True
L