s l prime?
False
Let a(s) = 30*s**2 - 18*s - 1. Let g be a(6). Suppose 0 = h - g + 52. Is h a prime number?
True
Let d(f) = 71*f**3 - f**2 - 2*f + 7. Is d(3) prime?
False
Let q(f) = -2*f**3 + 42*f**2 - 19*f + 20. Is q(19) a composite number?
False
Suppose 2*l - 3 = -2*p + 1, -2*p = -3*l - 4. Let u be p*(-4)/8*-2. Let r(x) = 42*x - 5. Is r(u) a composite number?
False
Suppose -162*h = -186*h + 73032. Is h a composite number?
True
Is 6 - 2/((-6)/1875) a prime number?
True
Let i = 7261 - 1014. Is i a prime number?
True
Let x = -991 - -4424. Is x a composite number?
False
Let p = -9649 + 19980. Is p composite?
False
Let v be 15/(-7 - -2) + 5. Is (-13812 - v)*(-2)/4 composite?
False
Let a(q) = -108*q**3 - 2*q**2 - 5*q - 2. Let z(s) = -36*s**3 - s**2 - 2*s - 1. Let v(p) = -3*a(p) + 8*z(p). Let i be v(-2). Let o = i + 589. Is o prime?
True
Let h = -30100 + 106743. Is h a prime number?
False
Let a = 119 + -174. Let v = a - -35. Is v/(-50) + 1073/5 a composite number?
True
Suppose 5*b = 3*o - 0*b + 80, -3*o - 64 = -b. Let q(z) = -3*z + 37. Is q(o) a composite number?
False
Let s(y) = 3691*y + 16. Is s(1) a prime number?
False
Let s(i) = -469*i - 426. Is s(-15) composite?
True
Let z = 48 - 48. Suppose z = 3*r - 4*y - 753, 8*y = -3*r + 5*y + 753. Is r a prime number?
True
Let s = 31 + -22. Let a(c) be the second derivative of c**5/20 - 3*c**4/4 + 5*c**3/6 - c**2 + c. Is a(s) a prime number?
True
Let s = -218 - -396. Let i = 124 - s. Let l = i - -85. Is l a composite number?
False
Let m = 12632 - 49. Is m a composite number?
False
Let z be (-4)/(-6) + 8/24. Let q(h) = -3*h - 3 + z - 8*h + 5. Is q(-14) composite?
False
Let u(r) = -r**3 - 8*r**2 - 8*r - 9. Suppose -6*s = -10*s - 28. Let z be u(s). Is (-51)/(3 - 0)*z composite?
True
Let q = 71 + -111. Let g be 3226/10 + (-16)/q. Suppose -o - 3*w + g = o, -5*w + 486 = 3*o. Is o a prime number?
True
Let t(j) = -12*j**2 + 4*j**2 + j**3 + 13 - j - j**2. Let i be t(9). Suppose i*o - 63 = -x, 0 = -2*x + o + o + 76. Is x a prime number?
True
Suppose -741*x = -714*x - 777573. Is x prime?
False
Let a be 0 - (1 - 878/2). Suppose -4*x = -x - a. Let g = x - -200. Is g prime?
False
Let p = 10 - 8. Let g(k) = -k**3 + 14*k**p + 3*k - 7 + 5*k + 0*k - 2*k**2. Is g(12) prime?
True
Let a(b) = 5*b**2 + 13*b + 13. Let g(z) = -4*z**2 - 13*z - 13. Let l(n) = 5*a(n) + 6*g(n). Let s be l(12). Is -15*s/3 + 2 a composite number?
False
Suppose 21*z = 16*z + 75. Suppose 5*i - s - 17 = 2*s, -4*i + s + z = 0. Suppose 4*m - 5*p = 328, 4*m - i*p - 160 = 164. Is m prime?
False
Suppose 18777 = -2*d + 114515. Is d composite?
False
Let x(j) be the first derivative of -j**4/4 + 17*j**3/3 + 4*j**2 - 7*j + 10. Is x(12) composite?
False
Let l(w) = 5305*w + 76. Is l(1) composite?
False
Let c(b) = 79*b**2 - 4*b - 1. Let z = -16 - -18. Suppose -3*a + 2 = -2*j, -3*j + 14 = 2*a + z*j. Is c(a) a prime number?
True
Suppose f - x + 1189 + 1300 = 0, -2*f + x = 4978. Let w = -732 - f. Is w a prime number?
False
Let m be 6*(2 - 85/10). Let z = -31 - m. Suppose -v + d = -264 - z, 5*v = 4*d + 1357. Is v prime?
True
Suppose 0 = -2*n + 4*o + 4054, 8048 = 4*n + 3*o + o. Is n composite?
False
Let n be (-1)/7 + (-76)/7. Let m(l) be the second derivative of -l**5/20 - l**4 - 17*l**3/6 - 11*l**2/2 + 3*l. Is m(n) prime?
False
Let y = 1 + -4. Let i be 0/y - -1*1. Is i/3 - 160/(-15) prime?
True
Let t be -52*(-3)/6*-26. Let l = -1393 - t. Let m = l - -1772. Is m a composite number?
True
Let i = 12 + -6. Let j(a) = 2*a - 8. Let p be j(i). Is (-138)/p*246/(-9) a composite number?
True
Suppose 558 + 6450 = -n. Is -4 + (n/(6/(-2)) - -1) a prime number?
True
Let u = 35 - 35. Suppose u = -g - 5*d + 34, -4*g = -7*g - 2*d + 63. Is g a prime number?
True
Suppose 3*g - 2*g + 4 = 0, -5*d - 70 = 5*g. Let l be ((-3)/(-5))/(2/d). Is 25 - (l - -2) - 3 composite?
False
Suppose -81*k + 86*k - 25 = 0. Suppose k*s = 5*z + 5620, 0 = 2*s + z + 696 - 2935. Is s composite?
True
Suppose -5*k + 13064 = 3*c, 4*c - 13066 = -5*k + 2*c. Let y = k + -1564. Suppose -4*p + 586 + y = 0. Is p composite?
False
Is ((-2)/10)/(18/(-857970)) prime?
True
Suppose 2*m - 5*j - 2 - 2 = 0, 4*j = 5*m + 7. Suppose x = -2*x + 3. Is 222 + (m - -5 - x) a prime number?
True
Let u = 59751 - 30424. Is u composite?
False
Let x(k) = 19*k**3 - 2*k - 4. Let a(p) = -p**3 - 2*p**2 + 2*p. Let u be a(-3). Is x(u) a prime number?
True
Let o(i) = -3*i - 6 + 4*i**2 + 8*i**2 - 8*i**2 + 4*i**3. Is o(5) a composite number?
True
Suppose -9*q = 4*p - 4*q - 82357, -4*p = -q - 82375. Is p a composite number?
False
Let o(u) = -u**2 - 22*u + 9. Let l be o(-22). Suppose l*g - 5317 = -4*g. Is g a composite number?
False
Suppose 5*b - 14112 - 39073 = 0. Is b a prime number?
False
Suppose -a = -8179 - 5364. Is a composite?
True
Let k(t) = -2*t**3 - 16*t**2 + 11*t - 27. Is k(-14) a composite number?
True
Let t(l) = -3 - 77*l + 32*l + 3*l - 169*l. Is t(-2) a prime number?
True
Let k(s) = 4*s - 7. Let m be k(4). Let p = m - 12. Is 33 + -1*(-1 - p) composite?
False
Let r be (-4)/10 + (-16952)/(-130). Let s = -3 - -1. Is 33430/r + s/13 a prime number?
True
Suppose -59*f + 63*f = 1224. Suppose -3*s = -4*w - 269, -f - 114 = -5*s + w. Is s prime?
True
Let j(x) = 2*x**2 + 4*x - 8. Let w be j(-4). Suppose -w*g + 2932 = 588. Is g composite?
False
Let r(l) = 591*l**3 - 2*l**2 - 2*l - 1. Let b be r(-1). Suppose 3*a + 1 = 2*a. Is b/48*(-8 + a) composite?
True
Let l be (-5)/((-10)/(-13))*-30. Suppose b + 5*o = -b + l, 0 = -3*o + 15. Is b composite?
True
Let k(f) be the second derivative of -6*f + 0 + 3/4*f**4 + 1/6*f**3 + 3*f**2 + 1/20*f**5. Is k(-7) a prime number?
True
Let v = 31 - 29. Is v/(-4)*7/(7/(-68)) composite?
True
Let w(l) = -79*l - 11. Is w(-3) prime?
False
Let c(t) = 12*t**2 + 10*t - 5. Let x be c(8). Suppose 3*w = 9 - x. Let j = w + 463. Is j a composite number?
True
Let k = 127 + -63. Let i be (-3)/(-24) + 184/k. Suppose 0 = i*d + 12, -2*r - d + 162 = -2*d. Is r a prime number?
True
Let z(r) = 15*r + 11. Let h(c) = 4*c + 3. Let v(j) = -9*h(j) + 2*z(j). Let d be v(-3). Let p = d + -4. Is p prime?
False
Let f(w) be the first derivative of -w**3/3 - 7*w**2/2 - 8*w - 1. Let o be f(-6). Is o/7 + (-4106)/(-14) a prime number?
True
Suppose 32*l = 13*l + 68267. Is l a composite number?
False
Let m(h) = 11*h**3 - 2*h**2 - 12*h + 9. Let v be m(5). Suppose 0 = 4*f - 522 - v. Is f a prime number?
True
Suppose 5*a = a + 4. Let n be (a/3)/(2/18). Is (2/4)/(n/258) a composite number?
False
Suppose 3*y + 65 = 4*j + 559, -5*j + 360 = 2*y. Suppose 0 = -i + y + 579. Is i a composite number?
True
Suppose 3*q - 2*q + 30 = j, 4*q = -5*j - 93. Let s = q + 80. Is s a composite number?
False
Let o(h) = -2*h**3 - 3*h**2 + 6*h - 14. Let l be o(-8). Suppose 3*b = 2*d + 6*b - 394, 4*d - l = 3*b. Is d composite?
True
Let b(p) = 13*p**3 + 21*p**2 - 18*p + 45. Is b(14) composite?
False
Let r = -169 - 36. Let j = r - -331. Let f = j + -15. Is f a prime number?
False
Let g(i) = -453*i**3 - 2 - 2*i**2 + 0*i**2 + 3 + 31*i**3. Let o be g(-1). Is o/4 + (-3)/(-4) a composite number?
True
Let y(l) = -l**2 + l + 1733. Suppose -2*d = -3*z + 6, -7 = 2*z + 5*d + 8. Is y(z) a prime number?
True
Let p(d) = 5*d**2 + 15*d + 1. Let h(u) = 9*u**2 + 30*u + 2. Let o(c) = -4*h(c) + 7*p(c). Is o(-11) a composite number?
False
Let h = -654 - -3425. Is h a prime number?
False
Suppose 0 = -9*m + 6*m + 12. Suppose l + m*o - 16 = 0, 8*l = 3*l - 5*o + 20. Suppose l = -3*y - y + 820. Is y a composite number?
True
Let g(p) = p + 9*p - p**2 - 5*p + 5. Let d be g(5). Suppose 0 = d*m - 2*m - 33. Is m a composite number?
False
Let t = -147 + 282. Suppose 0 = -2*f + 33 - 91. Let v = f + t. Is v composite?
True
Suppose 0 = -80*v + 88*v - 153496. Is v a prime number?
False
Suppose y + 1 = -2, -3*w + 5*y + 28926 = 0. Is w prime?
False
Suppose -4*b + 17 = -3. Suppose b*r = 3*r + 8. Suppose r*p - 5 = 311. Is p composite?
False
Is 6/(6/5) - (-19583 + 6) composite?
True
Let a be -36 + (2 + -4)/(-1). Suppose 15 = 3*t - 153. Let h = a + t. Is h a prime number?
False
Let h = -44885 + 62944. Is h a composite number?
False
Suppose 7574 = 35*z - 33*z. Is z a composite number?
True
Suppose -11*g + 16*g = 5580. Let w = 1619 - g. Is w prime?
True
Let n(x) = -37*x + 4. Let o be n(7). Let m be o/(-3) - (0 - -3). Suppose j + m