 z a composite number?
False
Let j be ((-10)/(-8))/(3/12). Let d = 7 - j. Is 0 - -1 - (-156)/d prime?
True
Let r = -3 + 59. Let n = r - 19. Is n a prime number?
True
Let a be 8/60 - 96/45. Is (-2)/a*(305 - -14) a composite number?
True
Let p(x) be the second derivative of -13*x**8/1680 + x**7/2520 + x**6/720 + x**5/120 - x**4/4 - x. Let b(g) be the third derivative of p(g). Is b(-2) prime?
True
Suppose -2*j = -j - 9. Suppose 0*f - j = f. Let v = f - -12. Is v a composite number?
False
Suppose 0 = 2*g - 2 - 4. Let a be (-327)/(-15) + g/15. Suppose -2*w = -z - a, -4*w - z + 22 + 22 = 0. Is w prime?
True
Let g be 1/((-1)/(-5)) - 1. Suppose -m + g*x = -9, 2*m - 4*x + 9 = 3*m. Is m prime?
False
Let u = 645 - 290. Is u a prime number?
False
Suppose -3*q + 256 = -5*f, 3*q = f - 4*f + 240. Is q a composite number?
True
Let l(o) = 113*o - 3 - 25*o + 1 + 3. Is l(1) prime?
True
Let y(j) = 9*j**3 - 2*j**2 - 2*j - 1. Let s be y(-1). Is 1146/30 - (-2)/s a prime number?
False
Suppose 4*i + 4*x = 848, 4*i + x - 854 = -9. Is i prime?
True
Let p(t) = -7*t**3 - 2*t**2 - t - 1. Is p(-2) a composite number?
True
Let x be 1/4 - (-14)/8. Suppose x*y + 2*y - 140 = 0. Is y prime?
False
Let c = -882 - -1777. Is c composite?
True
Let h = -361 + 972. Is h a composite number?
True
Suppose -5*m + 2*m - 318 = 0. Let t = m - -165. Suppose -t = -3*o - 3*j + 46, 0 = 5*o + 2*j - 169. Is o a composite number?
True
Suppose 0 = 4*a - 3*c - 9344, 7*c = 2*a + 5*c - 4674. Is a composite?
False
Suppose -3 = -l + 1. Suppose b = -l*f + 3*b + 648, 5*f = 3*b + 809. Is f a prime number?
True
Let j(z) = -z + 5. Let f be j(4). Is -102*3/(-6)*f a prime number?
False
Let z be 2760/(-50) + 1/5. Suppose 0 = -f + 3*y - 20, -4*f + 4*y = -f + 35. Is z*1/f*3 a prime number?
False
Suppose r - 555 = 6*r. Suppose 3*h + 4*o = -26, -4*o = -2*h - h - 10. Is r/h - (-2)/4 composite?
False
Let c = -2567 + 4432. Is c a composite number?
True
Let l(r) = r**3 - 8*r**2 - r + 10. Let w be l(8). Let t(d) = -2*d - w + 2 + 5. Is t(-4) a prime number?
True
Let n = 3 - 3. Let d be n*(3 - 1)/4. Suppose x = c - 32, -5*x + 120 = 3*c - d*c. Is c composite?
True
Is (-2)/(-15) + 53173/15 composite?
True
Let d(u) = u**2 + u - 7. Is d(5) a prime number?
True
Let g be 4/10*(-20)/(-1). Let c = g - 6. Suppose -s + c*s - 19 = 0. Is s prime?
True
Let j(w) = -w**3 + 5*w**2 + 5*w + 8. Let p be j(6). Suppose 3*f - 191 = -t + 11, -p*f = 5*t - 1049. Is t a composite number?
False
Let y(k) be the third derivative of -k**4/4 + 5*k**3/6 + 9*k**2. Is y(-10) a prime number?
False
Let a(c) = c**2 + c - 1. Let h = 2 - -7. Let q = 4 - h. Is a(q) composite?
False
Suppose s = -2*x + 12, -3*s - 4 = x - 5*s. Let k(h) = h**2 - 2*h + 5. Is k(x) composite?
False
Let t(n) = 4*n**2 + 2. Let h be t(2). Suppose 4*v - 5*x - 518 = 0, -v + 5*x + 191 = 69. Is (v/h)/(4/6) a composite number?
False
Suppose 0 = -x + 6 - 0. Suppose -x*n = -n - 665. Is n prime?
False
Let j(s) be the first derivative of 8*s**4 + 3*s**2/2 - 2*s - 7. Is j(1) a prime number?
False
Let v be 4/10 + (-168)/(-5). Let w = v - 21. Is w a composite number?
False
Let x = -5 - -7. Is -1*1*(x + -87) a composite number?
True
Let a be 24/(-10) + (-4)/(-10). Let b be ((-21)/(-6))/(a/20). Let v = -16 - b. Is v a prime number?
True
Let s be -295*(4/4 + 0). Let u = 454 + s. Is u composite?
True
Suppose 3*u - 260 = 211. Is u prime?
True
Suppose -4*h + 86 = 2*c, c - 2*h = 3*h + 57. Suppose -2*f = -3*f + c. Is f a composite number?
False
Suppose 0 = 8*d - 1449 - 1007. Is d composite?
False
Suppose 2*k - 24 = 5*k. Let q be 2 - (-4)/(k/(-62)). Is (6/(-9))/((-1)/q) prime?
False
Let m = -9 - -260. Is m a composite number?
False
Let a be (4/(-5))/((-8)/60). Let r(t) = -1 + 2 + 0 + 21*t. Is r(a) prime?
True
Suppose 5*m + 3*o - 2617 = 0, -2*m + 0*o + 1050 = 2*o. Is m a composite number?
False
Let j(u) = 329*u**3 - 5*u**2 + 5*u - 2. Let h(m) = -494*m**3 + 8*m**2 - 8*m + 3. Let c(w) = -5*h(w) - 8*j(w). Is c(-1) a prime number?
True
Suppose 0*k + 5*o - 483 = -3*k, 0 = 2*o. Is k a prime number?
False
Is -6*(21/(-2) - -1) a prime number?
False
Let r be ((-4)/6)/(3/(-1359)). Suppose 4*t + r = 3*w, t = -2*w + 39 + 177. Is w a prime number?
False
Let u(y) = -25*y**3 + y**2 - 5. Is u(-3) composite?
True
Suppose 4*g = 2*v - 7806, -3*g = -4*v + g + 15604. Is v prime?
False
Let m be (4 - 1)*(-12)/(-9). Suppose 3*l - m = l. Is l/(-8) - 1076/(-16) composite?
False
Let k be (38/4)/(2/124). Suppose 1990 = 3*p + k. Is p a prime number?
True
Suppose -231 = -m - 2*m. Suppose m = 3*a - 262. Is a prime?
True
Suppose 0 = -4*i - 5*z + 5459, -3*i = -2*z + 7*z - 4098. Is i prime?
True
Let g = -51 - -94. Suppose h + l - 6 = g, 3*l + 224 = 4*h. Is h prime?
True
Suppose -54 = -5*s + 371. Is s a composite number?
True
Let b be 107 + 3/(-2)*-2. Suppose -u - 4*m = u - 72, 5*u - 4*m - b = 0. Is u composite?
True
Suppose -5*a - 5*v + 1278 = -1142, 3*a - 5*v = 1460. Is a a prime number?
False
Let a(r) = -2*r**3 - 2*r**2 + 2*r - 3. Suppose 0 = g - 4*g. Suppose 0 = f - g + 4. Is a(f) a prime number?
False
Is -3 + (383/2)/(4/32) a composite number?
True
Is (-20)/(-4) + -3 - (0 + -1139) composite?
True
Let d(l) = -l**2 + 7*l - 8. Let y be d(6). Let g be (-74 - 0)*y/(-4). Let m = 134 + g. Is m composite?
False
Suppose 0 = 5*a - 4*m - 19, -8 = -4*a - 0*m - 4*m. Suppose 4*v - 17 = -3*o, o + a*v + 9 = 6*o. Suppose 199 + 86 = o*d. Is d composite?
True
Suppose -3*k = -3*d + 2*k + 4958, -d + 1641 = -4*k. Is d a composite number?
True
Let v = -51 + 84. Let h be (-1 + -2)*60/9. Let u = v + h. Is u composite?
False
Let b = 1548 + -917. Is b composite?
False
Let q(i) = 759*i + 1. Let k be q(1). Suppose 4*t - 145 = -5*v + k, -20 = 4*t. Is v a prime number?
False
Let m(o) be the second derivative of o**5/20 + 7*o**4/6 + 7*o**3/3 + o**2 + 9*o. Is m(-7) prime?
False
Let v = -3 - -5. Suppose 75 + 161 = v*u. Is u prime?
False
Suppose -5*d = -7*d + 1146. Is d prime?
False
Suppose -y = 5*o - 166, 0 = 4*y - 2*o + 221 - 863. Is y composite?
True
Let a be 439/3 - 2/(-3). Let d = a - -2. Is d a composite number?
False
Is ((-154)/35)/((-4)/10) a prime number?
True
Let z = 10 + 37. Let j = z - -64. Is j a prime number?
False
Let o(x) be the second derivative of x**4/4 - 5*x**3/6 + x**2 + 2*x. Let q be (-8)/20 - 17/(-5). Is o(q) a prime number?
False
Let f(o) = 2*o**2 + 395. Is f(0) prime?
False
Let m = 10 - 5. Let u = 8 - m. Is 1*-10*(2 - u) composite?
True
Let y be 1/((-1)/(-35)) - -1. Suppose 3*h = h - y. Let k = -11 - h. Is k composite?
False
Let z be ((-10)/3)/5*18. Is (1 - 557)*z/24 a composite number?
True
Let l(t) = -t**2 + 4*t - 3. Let i = 3 + 0. Let h be l(i). Suppose 17 = 3*x - 4*q, 4*q + q - 20 = h. Is x composite?
False
Suppose 0 = i - m - 1, m = -2*i - 3*i - 7. Let t be (1 - -20 - i)/1. Suppose n - t = -n. Is n prime?
True
Let m(h) = h**3 - 5*h**2 - 6*h - 1. Let f be m(6). Let l be (-1)/(-1) + (f - -1). Is (-114)/(-18) - l/3 prime?
False
Suppose 2*r + 21 + 5 = 0. Let u be (-1 + 2)*-37 - -1. Let k = r - u. Is k composite?
False
Let m be (-1)/3*(-20 + 2). Suppose -4*c + 280 = -0*c. Suppose -185 = -m*y + y + 5*p, 0 = -2*y + 4*p + c. Is y composite?
True
Let h(f) = 69*f**3 - f**2 + 3*f - 3. Is h(2) a prime number?
False
Let v = 24 + -10. Is v a prime number?
False
Suppose 0 = -2*v + 3*v - 49. Is v a composite number?
True
Suppose 2431 = 5*o + 6911. Let z be o/(-5) + 2/(-10). Let n = -100 + z. Is n composite?
False
Suppose -3*k - k = -732. Is k composite?
True
Let w(k) = -k + 2 - 3 - 2*k. Let a(r) = r**2 + 3*r + 1. Let h(y) = 3*a(y) + 2*w(y). Is h(-3) prime?
True
Let f = 3675 - 1874. Is f a prime number?
True
Suppose 10 = -n + 3*n. Suppose -u + 54 = -0*r + r, -269 = -n*u - 4*r. Is u composite?
False
Is ((-3)/((-60)/(-415)))/1*-4 a composite number?
False
Is -2*-67*(-1)/(-2) a prime number?
True
Let u(g) = -g**3 + 10*g**2 - 10*g + 2. Let k be u(9). Let p(r) = 7*r**3 + 8*r**2 + 13*r - 10. Let y(t) = t**3 + t. Let v(l) = -p(l) + 6*y(l). Is v(k) prime?
False
Let w(n) = n**3 - 7*n**2 + 11*n - 4. Let v be w(5). Let k(m) = 258*m**3 - 2*m**2 + 1. Is k(v) prime?
True
Let y(w) = -w**3 + 11*w**2 - 5*w + 9. Let b be y(10). Let j = -22 + b. Is j composite?
False
Let n(i) = 0 - i + 0*i + 12*i**2 - 2. Is n(-3) a prime number?
True
Suppose 4*x = 5*w + 130 + 107, 0 = 2*w + 1