((-16)/12) prime?
True
Let f(c) = -c**3 - 16*c**2 + c + 16. Let s be f(-16). Suppose -7 - 3 = -2*p. Suppose -p*k + s*k = -1115. Is k a composite number?
False
Let k = -34 - -25. Let y be (486/(-4))/(k/24). Let i = y - 139. Is i a composite number?
True
Suppose 2*n + l - 10 = 4*l, 0 = -3*l - 12. Is -2743*((-4)/2 - (-2 - n)) composite?
True
Let s(a) = 3*a**3 - 3*a**2 - 6*a - 17. Let b be s(12). Is 9/6 - b/(-2) composite?
False
Let x(s) = 150*s**3 - 3*s + 9. Let l be x(2). Suppose -l = -11*i + 4704. Is i prime?
False
Suppose 0 = 5*n - 6 - 29. Suppose 22 = 4*a + 2*y, -2*y - 6 = -3*a - n*y. Is a*(-52)/(-12)*3 prime?
False
Let c(q) be the first derivative of -592*q**2 - 5*q + 36. Is c(-3) prime?
True
Let j(p) = p**3 - 4*p**2 + 2*p - 6. Let x be j(4). Suppose -x*f + 744 = 2*f. Is (9/27)/(2/f) a prime number?
True
Let d = -792 + 216. Let m = 140 + d. Let q = m - -743. Is q a prime number?
True
Let y(l) = 225*l - 7. Let b(f) = 675*f - 21. Let k(w) = 6*b(w) - 17*y(w). Is k(8) composite?
True
Let r(n) = -n**3 + 12*n**2 - 10*n - 5. Let k be r(11). Let x be -209 - (-2 + k) - -4. Let s = 388 + x. Is s a prime number?
True
Is 7/(56/(-4652))*-22 a composite number?
True
Let i = 4966 - -2221. Is i composite?
False
Suppose -849 = -2*b + 3*u, 629 = 2*b - 2*u - 223. Suppose f - b = 5*r, 3*r - r + 1644 = 4*f. Is f composite?
False
Suppose 3*y - y + 17 = -5*t, 27 = 3*y - 3*t. Is (295/2)/(2/y) prime?
False
Let n(z) = 856*z - 79. Is n(20) a prime number?
True
Let i = -3 - -3. Suppose -2*t + 2795 = -i*h + h, -3*h = -5*t + 6982. Is t a composite number?
True
Let k = -3 + 2. Let s be 2073/9 + k/3. Suppose -j - j + s = 0. Is j prime?
False
Let l = -69664 + 157965. Is l prime?
True
Suppose 4*g - 158637 = -r, -4*g - 118978 = -7*g - r. Is g composite?
False
Let v = 111 - 26. Suppose 2*p - p - v = 0. Is p a prime number?
False
Let d(y) = -8*y**3 - y**2 + 6*y - 11. Let m be d(-7). Let a = 4119 - m. Is a prime?
False
Let o = -12219 - -32020. Is o prime?
True
Suppose 14*p = 11*p - 72. Let d be (1 - p/(-3))*-14. Is ((-46)/(-2))/(14/d) a composite number?
True
Suppose -8*t - 4 = -9*t. Suppose j = -3*n + 14, -4 = -2*n + t*n - 2*j. Suppose 5*r - 40 = -n*u, 2*u = 3*u + 4*r - 18. Is u prime?
False
Let t be 5/((-75)/(-20))*3. Suppose -4*s + 909 = -5*j, 683 = s + 2*s - t*j. Is s a composite number?
True
Let u(t) = -5*t**2 + 3*t + 12. Let x(s) = -9*s**2 + 5*s + 24. Suppose b - 3*i = -2*i - 3, 3*i = 5*b + 15. Let q(k) = b*x(k) + 5*u(k). Is q(-7) composite?
True
Let l(m) = 2919*m**2 - 2*m. Let y(k) = k**2 + 11*k - 41. Let a be y(-14). Is l(a) prime?
True
Suppose 42*j - 244656 = -3198. Is j a composite number?
False
Let t(f) = f**3 + 8*f**2 + 7*f. Let k be t(-7). Suppose -r + 1405 + 1954 = k. Is r composite?
False
Let f be (-13)/(-3 + (-6)/(-3)). Suppose l + l = w - f, -4*l + 4*w - 24 = 0. Let y(m) = -m**2 - 16*m - 10. Is y(l) a prime number?
True
Let f(i) = -i**2 + 3*i + 15. Let n be f(6). Is (5/(-15))/(-1*n/(-15813)) a composite number?
True
Let k = 6 - 6. Suppose -2*d - 3*d = -2*n + 22, k = -3*d - 2*n - 26. Is 57/9 - 4/d a prime number?
True
Let u(p) = 10*p**3 - 7*p**2 + 12*p - 41. Is u(8) a composite number?
True
Let v be (-8)/(-4)*(-15)/6. Let t be (506 + -3)/(v/(-20)). Suppose -7317 + t = -5*i. Is i a composite number?
False
Suppose 3*h = -5*r + 8205, 0*r = -h + 2*r + 2735. Suppose -q + 3*n + h = 5*n, 4*q + 5*n = 10940. Is q a prime number?
False
Let h(r) be the first derivative of 149*r**2/2 + 5*r - 1. Let o be -2*1 + (-12)/(-3). Is h(o) a composite number?
True
Let w(m) = 13*m - 4. Let l(x) = 13*x - 4. Suppose 1 = -3*n + 7. Let u(f) = n*l(f) - 3*w(f). Is u(-15) a prime number?
True
Let g(f) = 0*f**2 - 3*f - 4*f - 7 + 7*f**2. Is g(-6) composite?
True
Suppose 1 = 4*p + 5. Let l = 78 - p. Is l a composite number?
False
Let g be 3/2 + (-866)/(-4). Let x = g - 123. Is x a prime number?
False
Let d(g) = g + 10. Let f be d(-6). Suppose f*i - 1032 = -5*h + 601, 5*i = -4*h + 2039. Is i prime?
False
Let d(p) = 206*p**2 - 72*p - 694. Is d(-10) a composite number?
True
Let p be 3*((-4)/(-6) - 0). Suppose p = m - 2. Suppose -2*n - 2*n + 1981 = 3*s, -n + m*s + 519 = 0. Is n composite?
False
Let p(i) = -i**2 + 9*i + 12. Let m be p(10). Is (m/2)/(3*(-3)/(-8595)) composite?
True
Let o = 1385 + -971. Suppose o = -c + 33. Is (-8)/12*c/2 a prime number?
True
Let i(o) = 4 + 13 - 1619*o - 8 - 425*o. Is i(-4) a composite number?
True
Let c = 80 + -76. Suppose 0*d + 3*q + 44 = 4*d, -3*d + 30 = -3*q. Suppose c*x - 2*x - d = 0. Is x composite?
False
Let c(u) = 678*u**2 - 31*u + 5. Is c(4) a prime number?
True
Let d = 1363 - 269. Is d a composite number?
True
Suppose 35*f + 3*d = 34*f + 9995, 5*d = 2*f - 20034. Is f a prime number?
True
Suppose -10*f + 6*f + 7892 = 0. Is f a prime number?
True
Let w(x) = x**3 + 64*x**2 - 31*x - 425. Is w(-53) prime?
True
Suppose 4*z - 10 = -2*c, -6 = 4*c - 3*z - 2*z. Is 7/4*(c + 211) a composite number?
True
Let k = -1055 - -2013. Is k a composite number?
True
Let i be 20/50 - 13/(-5). Let l(x) = x**2 - x - 2. Let v be l(i). Suppose 0 = -4*p - v*h + 1152, 2*p + 3*h = -119 + 690. Is p composite?
False
Let h = 66 - 63. Is (-2 + h)/(6/4782) a composite number?
False
Let b(z) = 16*z**3 + 5*z**2 - 10*z + 6. Is b(7) a prime number?
True
Let v(j) = 495*j**2 + 236*j + 12. Is v(-5) a prime number?
False
Suppose 2*r = 4*p + 944, 0 = 3*p - 0*p - 5*r + 708. Let m(f) = -16*f**3 - 2*f**2 - 3*f. Let g be m(-3). Let u = g + p. Is u prime?
False
Let x(o) = -445*o**3 - 2*o - 1. Is x(-1) a prime number?
False
Let u(q) = 98*q - 11. Let z be (28/8)/((-2)/(-8)). Is u(z) a prime number?
True
Suppose -5*l = -5*w + 5, -4*w - 5*l + 7 = -15. Suppose -n - 1004 = -w*c, 2*n + 337 = c + 4*n. Is c composite?
True
Let f = -7421 - -37098. Is f a composite number?
True
Suppose 0 = 6*i - 2*i. Suppose -n - 16 + 14 = i. Is 9*(824/(-12))/n composite?
True
Let j(g) = 2*g**3 + 11*g**2 + 11*g + 22. Let u be j(-7). Let h = 255 - u. Is h composite?
False
Suppose p = 2 + 1. Suppose -4*l = 3*v - 3015, -p*v + 2*l + 3021 = 4*l. Is v a prime number?
True
Suppose 2*s - 42 = s - 3*b, 5*b = -3*s + 118. Let d be 53226/s + 6/(-4). Suppose -4*p + d = 161. Is p composite?
True
Let y(s) be the first derivative of -7*s**4/4 + s**3 + s**2 + 3*s + 7. Is y(-2) composite?
False
Let f = 20 - 10. Is 2/f*5*113 composite?
False
Let u(w) = -w**3 + w**2 + w + 1. Let i(f) = 6*f**3 - 21*f**2 + 13*f + 18. Let z(b) = i(b) + 5*u(b). Is z(16) a composite number?
False
Let r(l) = 5518*l**3 + 3*l**2 - 3*l + 1. Is r(1) a composite number?
False
Let t = 70412 + -37543. Is t prime?
True
Is (2 - 1) + 5548 + 8 composite?
False
Let p be 300432/80 - 4/10. Suppose -p = -5*g - 820. Is g composite?
False
Let b(n) = 265*n + 1. Let d be b(1). Suppose -3*p - 4*x = -805, p + x = 2*p - d. Is p composite?
True
Let r(k) = 3*k**2 - 2*k - 4. Let d be (-5)/((-15)/(-9)) + -2. Let s be r(d). Suppose s + 344 = 5*u. Is u a composite number?
True
Let z be -3*-4*2/(-6). Let p = z - -4. Is 85*(p - (3 + -4)) a prime number?
False
Is (6 - 10)*((-272358)/8)/9 a composite number?
False
Let r(q) be the second derivative of -q**5/20 + 3*q**4/2 + 11*q**3/6 - 7*q**2/2 + 8*q. Is r(11) a composite number?
True
Let n(t) be the second derivative of t**5/60 - 5*t**4/24 + 17*t**3/6 + t**2/2 + 6*t. Let f(q) be the first derivative of n(q). Is f(7) prime?
True
Let l(v) = -112*v - 55. Suppose 3*y + 10 = -2*f, 3*f - 3*y + y = -41. Is l(f) a prime number?
False
Suppose -m - 2*m - 6 = 0. Let d = m + 4. Let l(o) = 5*o**3 - o**2 - 3*o + 1. Is l(d) a composite number?
False
Let r = -1468 - -360. Let b = -662 - r. Is b composite?
True
Suppose 15 = -3*a + 3. Is (a/12)/(1/(-1578)) prime?
False
Let u = 4 - -13. Suppose -32 = i + u. Let x = 82 - i. Is x a prime number?
True
Is (174/12 - 3)*(5796 + -2) composite?
True
Let x = 10560 - 4891. Is x a composite number?
False
Suppose -2*o + f + 10259 = 0, 0 = -5*o + f + 4*f + 25660. Is o composite?
True
Let j(p) = 3*p**3 - 6*p**2 - 3*p - 11. Let t be 18 + -3 + 7 + -3. Let n be 8/32 + t/4. Is j(n) a composite number?
False
Suppose 562*d = 563*d - 2567. Is d prime?
False
Is ((-3)/2)/(54/(-41436)) a prime number?
True
Let q(u) be the third derivative of 3*u**5 - u**4/6 - 3*u**3/2 - 9*u**2. Is q(-4) a prime number?
True
Suppose -3*p - 65 = -620. Is p a prime 