s r a prime number?
True
Suppose 3*z - 4*o = 56191, o = 3*o + 14. Is z a prime number?
False
Let v = -18 + 65. Suppose -v*y + 49*y - 10 = 0. Suppose 3*g - y*b - 3785 = 0, -g + 3*b - 620 = -1887. Is g prime?
False
Is 1 - 3 - (1 - 6)*789 - -6 prime?
False
Suppose -n + 4*n = -t + 129657, 0*t = -2*t. Is n a prime number?
False
Is (280926/(-2)*(38 - 37) + -4)/(-1) composite?
True
Suppose m = 2*q + 33411, 4*m - 133604 = 6*q - 8*q. Is m a composite number?
False
Let w(z) = -159287*z + 61. Is w(-2) a prime number?
False
Suppose -18*z + 54 = -0*z. Suppose 3*i = 8*i - 4*v - 14849, -4*v = -z*i + 8903. Is i a composite number?
True
Let a(t) be the third derivative of 131*t**5/60 + t**4/24 + 37*t**3/6 - 38*t**2. Let y(o) be the first derivative of a(o). Is y(3) a composite number?
False
Let r(h) = 1115*h + 24. Let a be r(4). Is 54 + a + (-2)/(4/(-6)) a composite number?
True
Let r(d) = -484*d + 1371. Is r(-28) composite?
False
Suppose 14*f - 7*h - 4926585 = 9*f, -5*f + 3*h = -4926585. Is f a composite number?
True
Let v = 86181 - -240088. Is v composite?
True
Let u(n) = 74*n - 24. Suppose 4*p = 9 - 17. Let a(h) = 73*h - 24. Let y(t) = p*u(t) + 3*a(t). Is y(15) composite?
True
Suppose 5*o - 1658334 = 4*t + 2579067, 2*o = 4*t + 1694970. Is o prime?
True
Suppose -59*q = -62*q - 3. Is (-9776)/(-80) + q + 27/15 a prime number?
False
Suppose 35*v - 37*v = -78518. Let j = -24473 + v. Is j composite?
True
Suppose -2*u - 5566 = -3*b, -3609 = 5*u + 3*b + 10348. Is u/2*(-15 + 26 + -13) a prime number?
True
Let s = 219747 + -7998. Is s composite?
True
Is 9 + 818*-188*-2 prime?
True
Suppose 216*y - 227*y = -22. Suppose 2*z - 5*g - 3145 = -3*z, -2524 = -4*z + y*g. Is z a composite number?
True
Suppose 0 = -y + 5, 37*p - 41*p + 3168317 = -3*y. Is p a composite number?
True
Suppose 3*x - 15 = -3*y, 31 = 5*x + 4*y - y. Let o(v) = v**3 - 8*v**2 - v + 8. Let b be o(x). Suppose 5*m - q - 68 = b, -2*m - 4*q - 34 = -5*m. Is m prime?
False
Let i(z) be the second derivative of -8*z**3/3 - 37*z**2/2 - 3*z + 19. Is i(-23) a composite number?
False
Let p = -8269 + 21266. Is p prime?
False
Let z(q) = -1421*q**2 + 2. Let c be z(-1). Let f = -202 - c. Is f composite?
False
Let f = 3472179 - 1459742. Is f a composite number?
True
Let o(f) = 57170*f + 3563. Is o(8) a prime number?
False
Let s = -83155 + 43322. Let v = 59746 + s. Is v composite?
False
Let j(l) = 3*l + 2. Let o(k) = k**2 + 13*k + 25. Let r be o(-11). Let u be j(r). Suppose 13256 = -3*b + u*b. Is b a prime number?
True
Let y(p) = -169701*p + 1220. Is y(-1) composite?
False
Let w(m) be the first derivative of 2/3*m**3 + 14 + 6*m**2 + m. Is w(-9) prime?
False
Let w(t) = -5*t + 30. Suppose 5*f + 2*y + 2 - 192 = 0, 5*f - 2*y = 210. Let h be f/(-3) + (-8)/(-24). Is w(h) a composite number?
True
Let n(f) = 284344*f**2 - 53*f + 7. Is n(-2) a composite number?
True
Let n = 20 + 1. Suppose 24*z - 2073 = n*z. Suppose 4*q = -2*u + 395 + z, -5*u + 2727 = -2*q. Is u prime?
False
Let h(u) = 58*u**2 + 18*u - 11. Suppose 2*i - 27 = 5*j + 51, j - i = -18. Is h(j) prime?
False
Suppose 69692 = 10*m + 2632. Suppose f = 3*q - 86 + 3439, 2*f - 3*q = m. Is f a prime number?
False
Suppose -3763514 + 20756436 = 166*l. Is l a composite number?
False
Let k = -2505 - -3685. Suppose -2*q - p + k = 0, -7*q + 2*q - 2*p + 2951 = 0. Is q prime?
False
Let r = -78656 + 117015. Is r a prime number?
False
Suppose -50*k + 55*k - 2*o = 1045307, -5*o = -k + 209089. Is k a prime number?
False
Suppose 87 = d + 8. Let b = 389 + d. Suppose -593 - b = -r. Is r composite?
False
Let k(c) = 17*c + 23. Suppose 4*t - 3*s = 24, -2*s = -3*s + 4. Let o be k(t). Let m = 555 - o. Is m a prime number?
True
Let x(q) = 70*q**3 + 73*q**2 + 61*q - 1393. Is x(31) a prime number?
False
Let j be -4 - (-2*405/10 + 3). Suppose 0 = j*k - 66*k - 47512. Is k composite?
False
Let s = 34 + -32. Let x be 22852/s + -3 - (-2 - -1). Suppose -2*u - 5*v + x = 2*u, -3*v - 8595 = -3*u. Is u a prime number?
True
Let a(y) = -3*y - 1. Let o be a(-1). Let f be (o/(-8))/(30/(-250440)). Suppose -4*s = i - f, -2*s - 2 = -s. Is i prime?
False
Let d(b) = 193*b**3 + 42*b**2 + 86*b - 436. Is d(35) prime?
True
Suppose 3*q + 2 - 29 = -3*t, q - 29 = -5*t. Suppose -t*w + w + 12 = 0. Suppose -1573 = -w*n + 4*l + 970, -5*n = -2*l - 4257. Is n composite?
False
Let g be 0 + -41 - (-9 + (-20)/(-5)). Is (-3)/(-4)*(-233328)/g a composite number?
False
Suppose -3*k - 3 - 9 = -2*m, k - 3*m = -4. Let q(a) = 16*a**2 + 11 + 4*a + 9*a**2 + 32*a**2. Is q(k) prime?
True
Suppose -3*x - 33 = -4*j, -3*x + 4*j = -7*x - 72. Let c be (4 + 48/(-10))/(6/x). Suppose -c*d = 10306 - 30908. Is d a prime number?
True
Let j(h) be the second derivative of -h**3/2 - h**2/2 - 11*h. Let c be j(-2). Suppose 3*l - c = 604. Is l prime?
False
Suppose 0 = 4*b - 2*q + 100702 - 618602, -4 = -q. Is b composite?
True
Suppose 5*q - 19 - 6 = 0. Let j(r) = 403*r - 49. Let a(s) = 201*s - 22. Let k(n) = -7*a(n) + 4*j(n). Is k(q) prime?
True
Let a(f) be the first derivative of -1215*f**4/4 - f**3 + 5*f**2 + 11*f + 3. Is a(-1) composite?
False
Suppose 16*y = 19*y - 4*m - 517487, -5*m + 344953 = 2*y. Is y a prime number?
True
Is (302624 - -175) + (0 - 18) a prime number?
False
Let o = 465582 - 212415. Is o a composite number?
True
Let o be 0 - (5 - 4) - -5. Suppose -3*i + 4 = -2*i, 4*y - o*i = 4. Suppose r + y*a = 1564, -2*r + 983 = -4*a - 2215. Is r composite?
True
Let x = 1266 + 7513. Is x composite?
False
Let c = -244 + 244. Suppose c = -2*i - 7*z + 4*z + 755, 756 = 2*i + 2*z. Is i composite?
False
Let a(g) = -3*g + 7. Let m be -2*2*(-3)/18*6. Let u be a(m). Let n(h) = -25*h**3 - 2*h**2 + 7*h + 7. Is n(u) a composite number?
True
Let q(n) = -183*n**3 - 14*n**2 - 268*n - 35. Is q(-18) a composite number?
False
Let f(o) = -1986*o + 889. Is f(-20) composite?
False
Suppose -4*s = -5*s + 2*s. Suppose -20*x + 2*x + 5310 = s. Is x composite?
True
Let o(z) = 16*z**2 + 23*z - 79. Suppose 2*c + 6 - 18 = 0. Is o(c) a prime number?
False
Let t = -156342 - -220223. Is t prime?
False
Suppose 2*v = -2*v + u + 11, -5*v + 45 = 5*u. Suppose -v*w + 10 = 6, 51222 = z + 5*w. Is z prime?
True
Let m be -12 + 13 + -5 + 1 + 0. Let x(u) = 1662*u**2 - 2*u + 5. Is x(m) prime?
True
Let p = -2 + 6. Suppose 0 = p*l + 3*s + 9, 6 - 4 = 2*s. Is (-8990)/(-30) + 2/l a prime number?
False
Let i(k) = 10*k + 8*k + 24*k - k**3 - 54*k + 36*k**2 + 79. Is i(32) a prime number?
False
Suppose 6*q - 44429 = -3*m + 4*q, 14788 = m + 5*q. Is m a prime number?
True
Let p(v) = -228*v + 1. Let y = -31 + 31. Suppose -3*u + 12 = y, -2*t + u + 2*u - 26 = 0. Is p(t) a composite number?
False
Let i(t) = 411*t - 81. Let p be i(-12). Let u = p + 8006. Is u a prime number?
False
Let c(w) = -8 + 0*w - w**2 + 20*w + 2*w**2 + 15. Is c(18) a prime number?
True
Suppose 4*f + 2*m - 929 - 339 = 0, -2*f = 3*m - 626. Let g = f + 1302. Is g prime?
True
Let n = -174629 - -245139. Suppose 20*j - n = 19630. Is j prime?
True
Suppose 16*k - 168177 + 68785 = 0. Suppose 4*o = 5*g - 24783, g + 1249 - k = 4*o. Is g a composite number?
True
Let w(o) = 471*o**2 - 35*o - 217. Is w(9) prime?
True
Suppose -2*c = -2*h + 12, 9 = 5*c - 4*h + 39. Is (c - -8)/(2/(-2 + 196)) composite?
True
Let z be ((0 - 0)/2)/2. Suppose z = -5*w - w + 5064. Suppose -2*c - 2*s + 633 = c, -4*c = -3*s - w. Is c a prime number?
True
Suppose 39*g - 42*g - 4*x = -95841, 0 = -2*g - 5*x + 63887. Is g a composite number?
True
Is 9/(-12) + -9 + 2170328/32 a prime number?
False
Suppose 8*y - 3 = 37. Suppose 0*u + 2*u = -3*a + 29, -y*a + 55 = 4*u. Suppose -5*m - 1595 = -u*m. Is m a prime number?
False
Suppose 1584 = 3*g - z, 4*g - 2*z + 3*z - 2119 = 0. Is (-4)/(-46) + 4031463/g composite?
False
Let i = 73 - 57. Let u(d) = d**2 - 38*d - 18. Let y be u(i). Is 1/(2*(-5)/y) composite?
False
Let i(f) be the first derivative of -25*f**2/2 + 28*f + 79. Is i(-18) prime?
False
Suppose 0 = -q - 2*o - 2420, 3*q - 7220 = 6*q - 2*o. Let a = -1371 - q. Is a a prime number?
True
Let j(q) be the second derivative of 0 - 1/12*q**4 + 7/2*q**2 - 17*q - 8/3*q**3. Is j(-12) a prime number?
False
Suppose 13*a = 3509 + 5006. Let u = -363 + 523. Let s = a + u. Is s a prime number?
False
Let p(h) = -h**3 - 6*h**2 - 25*h + 16. Let f be p(-11). Let c = f + 797. Is c a composite number?
False
Let p