a a prime number?
True
Let l = 2389 - 386. Is l a prime number?
True
Let z(m) = m**3 - 1 - m**2 + 0*m**2 - m + 2. Suppose a = -4*a + 10. Is z(a) a prime number?
True
Let v = -1 + 1. Suppose v*m = -m, -4*g = 2*m + 4. Is (g - (-43)/4)*4 a prime number?
False
Let c = 14 + -9. Let p(l) = -c + 17*l**2 - 3*l**2 + 6 - l + 3*l. Is p(-2) composite?
False
Let g(y) = y**2 - 4*y + 4. Let z be g(4). Suppose z*m - 1030 = -0*m - 3*j, 2*m = -5*j + 508. Is m prime?
False
Suppose 2*o = -4*v + 1166, -2*o = -6*o + 2*v + 2332. Is o composite?
True
Let u be (4/6)/(-1)*-3. Is (30/(-18))/(u/(-438)) a prime number?
False
Let w be (-12)/(-78) + (-386)/(-26). Suppose 0 = d - 5*y - w, -3*d + 3*y + 45 = 4*y. Is d a prime number?
False
Let p be (3 - 3)*(-1)/1. Let r = 2 - p. Is 1620/44 - r/(-11) a composite number?
False
Let x = -21 - -70. Let g = 84 - x. Is g composite?
True
Is (-8 - -5) + -2 + 9004 a prime number?
True
Let x = 191 + 102. Is x prime?
True
Suppose -p + 5*p - 4*o = -16, 0 = -3*p - 2*o + 8. Let y be 5*2 + -3 + p. Suppose y - 40 = -s. Is s prime?
False
Let t(a) = -7*a**2 - 4*a + 5. Let b be t(-4). Let d = b + 173. Is d prime?
False
Let o(u) be the first derivative of u**6/120 - u**5/15 + u**4/24 - u**3/6 + u**2 - 1. Let f(a) be the second derivative of o(a). Is f(4) a prime number?
True
Let r(g) be the third derivative of 0*g + g**2 - 13/30*g**6 + 0 + 1/6*g**3 + 1/30*g**5 + 1/12*g**4. Is r(-1) prime?
True
Suppose 8*l = 2575 + 3177. Is l a composite number?
False
Let g be ((-1)/2)/(7/(-84)). Suppose -q - 1835 = -g*q. Is q a composite number?
False
Suppose 3*x = 656 + 337. Is x a prime number?
True
Suppose 0 = 4*d - 5*v - 1621, 5 + 10 = 5*v. Is d a composite number?
False
Let s(j) = j - 5. Let d be s(5). Suppose -5*l - 229 - 258 = -b, d = 4*l - 8. Is b a prime number?
False
Let l be 14/21 + 2/(-3). Suppose 4 = 2*y - l. Is (-1308)/(-28) - y/(-7) composite?
False
Suppose -4 - 6 = -5*r. Suppose 0 = -2*d - 21 + 53. Suppose -b - r*i + 12 = 0, -b + d = -0*i - 2*i. Is b a composite number?
True
Suppose 5*d - 10 = 0, i - 4*d - 8 = d. Let c = -11 + i. Is c prime?
True
Let q(n) = 2*n + 289. Is q(0) prime?
False
Let r(l) = l**3 - 5*l**2 + l - 9. Is r(6) a prime number?
False
Let s(f) = -12*f**3 - 15*f**2 - 10*f - 13. Is s(-6) a prime number?
True
Suppose -3*u - 17287 = -5*z, 2*z - 13832 = -2*z + 3*u. Is z a composite number?
True
Let b(m) = -m**3 + 18*m**2 + 5*m + 23. Is b(14) a prime number?
True
Suppose -10*f + 27*f = 29563. Is f composite?
True
Let x(y) = -7*y**3 + 0*y**3 + 5 + 5*y**2 + y + 4*y**3. Let n be x(4). Let l = -56 - n. Is l composite?
False
Suppose 4 = y + y. Suppose y*z = -3*n, 0 = -4*n + z + 3*z. Let m = 77 - n. Is m composite?
True
Let a(l) = -9*l**3 + 4*l**2 - 2*l + 3. Let q be a(3). Let t = q - -299. Is t a prime number?
True
Suppose -5*w + 4*w = -1486. Is w a prime number?
False
Let o = 296 - 133. Is o composite?
False
Let i(k) = -12*k**3 - 4*k + 3. Is i(-4) prime?
True
Let t(l) = 2*l - 4. Let s be t(8). Suppose 5*n = -s - 838. Let q = 403 + n. Is q prime?
True
Is 1 + 27*(266/6 + -3) a composite number?
False
Let d(a) = -38*a - 8. Let v be d(-6). Suppose -4*p + v + 616 = 0. Is p composite?
True
Let i(g) = 4*g**2 - 17 + 3*g + 3*g - g**3 - 16*g**2. Is i(-13) a prime number?
False
Suppose -t = 3*q - 1172, 3*q - 5*t - 1626 = -448. Is q composite?
True
Let v be (0 - 1)/((-3)/777). Suppose -i + 5*j = 3*i - 335, -3*i + v = 4*j. Is i prime?
False
Suppose -981 = -3*v + 2154. Let w = -504 + v. Is w a composite number?
False
Suppose 0 = 3*c + r - 435 - 9637, c - 3344 = -3*r. Is c a composite number?
False
Let v(t) = 2*t**2 - 5*t + 4. Let h be -28*1*(-1)/4. Is v(h) a prime number?
True
Suppose u = -2*n - 41, 15 = 3*u - 4*n + 98. Is (-765)/u - 4/22 prime?
True
Let o(l) = 20*l**2 + 2*l + 5. Is o(-3) a composite number?
False
Let s(t) = -33*t - 2. Is s(-3) prime?
True
Let g(m) = -m**2 - 15*m - 10. Let r be g(-14). Suppose r*c - 308 = -0*c. Is c prime?
False
Let t be (-21)/(-15) - 2/5. Let w = 0 - t. Is 190/4 + w/2 composite?
False
Suppose 2*n - 2*j = 314, n - 122 - 11 = -5*j. Let r = 236 - n. Is r a prime number?
True
Suppose -4*m = -0*y - y - 363, -4*m = 2*y - 366. Is m prime?
False
Suppose -s - s = 0. Suppose 2*z + t - 3*t = 8, s = -2*z + 4*t + 8. Suppose -z*l - 4*y + 447 = l, -l - 4*y + 83 = 0. Is l a prime number?
False
Let c = 1096 - 419. Is c a prime number?
True
Is (39 + 4)/(2/6) a prime number?
False
Suppose 3*s = -4*t + 292, t - 6*t = 5*s - 495. Suppose -5*w + a + 93 = -127, -5*a = 3*w - s. Is w prime?
True
Let h = -314 - -793. Is h a prime number?
True
Suppose -3*q - 2*q + 260 = 5*w, -4*w = -4*q - 216. Let m = 12 + -9. Suppose -m*r = -164 + w. Is r prime?
True
Let d(m) = m**3 + m**2 - m - 12. Is d(7) a prime number?
True
Let d(m) = m - 2*m + 2*m - 2 + 6*m. Is d(3) composite?
False
Let l = 135 + 652. Is l a prime number?
True
Let f(h) = 1928*h**3 - 2*h**2 - h + 2. Is f(1) a composite number?
True
Let s be 2/(-5) + (-34)/(-10). Suppose 19 = p - 4*q, q + 16 = -s*q. Is p composite?
False
Suppose -4*z - x - 9 = 4*x, 5*z - 5*x = 45. Suppose 0*r - 5*s = -z*r - 12, 5*r + 15 = 3*s. Is ((-2)/6)/(r/495) prime?
False
Let f(g) = g**3 - 19*g**2 + 22*g + 23. Let w be (-18)/(-4)*(0 - -4). Is f(w) a prime number?
False
Suppose -50 = -5*d + 3*d. Let t = 229 + d. Is t a composite number?
True
Let q(y) = -y + 33*y**2 + 0*y + 47*y**2. Suppose 0 = -6*a - 2 + 8. Is q(a) prime?
True
Let r(q) = 15*q**3 - q**2 - 6*q + 3. Is r(4) a prime number?
False
Let c(z) = 4*z**2 + 15*z + 6. Is c(-13) prime?
True
Let j = -5 + -5. Is (3 + j)/((-1)/7) composite?
True
Suppose -2*s + 1610 = 4*g, -5*g - 4*s - 377 = -2394. Is g a prime number?
True
Let d = 94 - -129. Is d a composite number?
False
Let f be 0*(0 - 1)/3. Let z = 86 + 88. Suppose -3*v = -f*v - z. Is v a composite number?
True
Suppose -u + 6*u = -2*p + 2073, -4*p + 4*u + 4160 = 0. Is p composite?
False
Let k(u) = u**3 - 4*u**2 + u - 4. Let o be k(4). Suppose -c - 3*c + 100 = o. Is c prime?
False
Let s(z) = 5*z**2 - 5*z + 5. Is s(9) prime?
False
Let l be 1*(-11 + 4)*2. Let a(q) = -30*q + 1. Let z be a(1). Let m = l - z. Is m a prime number?
False
Is 1/((-1)/(-179) + 2 + -2) composite?
False
Suppose f = -4*s + 67, f + 260 = 6*f - 5*s. Is f prime?
False
Suppose 0 = 6*l - 11*l - 15. Let b(n) = -2*n**3 + n**2 + n - 1. Is b(l) a composite number?
False
Let v = -2 + -1. Suppose 0 = -3*l + 2*n + 3*n + 168, -5*n = 0. Let u = l + v. Is u a prime number?
True
Let u(j) = -46*j + 1. Let t(x) = x**3 + x**2 - 4*x - 3. Let y be t(-2). Let z be u(y). Let h = 67 + z. Is h composite?
True
Let t be 9/4*32/12. Suppose -2 = -4*u + t. Suppose -u*o + 5 = -33. Is o a composite number?
False
Suppose 4*h - 469 = 3*h. Is h a prime number?
False
Let i(r) = -2*r - 2. Let o be i(-2). Suppose -o*s + 4*b - b = -33, -4*b - 4 = 0. Is s prime?
False
Let z(x) = 43*x**3 - x. Let h be z(-1). Let r be 12/h - 2894/14. Is (1/((-3)/r))/1 composite?
True
Let o = 1 + 0. Is o + 38 - 4/2 prime?
True
Suppose 0 = j + j + 118. Let f = -34 - j. Is f a composite number?
True
Let f be 4 + -2 + -2 - 3. Let s = 5 + f. Suppose 22 = j - 3*q, 0 = j + 2*q - 9 + s. Is j composite?
False
Is 1480/7 + (-6)/14 a prime number?
True
Let l = -397 + 1100. Is l composite?
True
Is (1018/(-3))/(11/(-33)) prime?
False
Let n(d) = 552*d + 1. Is n(3) a composite number?
False
Suppose -6*o + 131 = -16183. Is o a composite number?
False
Suppose i - 5*i + 580 = 0. Is i prime?
False
Is 5/((-30)/(-18864)) + -1 prime?
False
Suppose -2*h + 3*i = -2422, 2*h + 3*h - 6077 = 2*i. Let c = -862 + h. Is c a prime number?
False
Let v(m) = -3*m**3 + 1. Let b = 8 - 7. Let g be v(b). Is 81 + (-2 - g) - 2 composite?
False
Let c be (40/(-12))/((-1)/3). Suppose c = -a - 8. Let u = 13 - a. Is u a prime number?
True
Let k be ((-2)/2)/(3/(-9)). Suppose 5*a - 2*f = 140, k*a = -2*f + 25 + 59. Let g = -9 + a. Is g a prime number?
True
Suppose -4*u - 3*t - 2*t + 14 = 0, -5*u + 4*t + 38 = 0. Let q be (u/4)/((-18)/(-888)). Suppose 2*o - q = -0*o. Is o a composite number?
False
Let p = -512 + 1153. Is p prime?
True
Suppose 5 + 3 = j. Suppose 0 = -3*m - q + j, -m + 5*m - 18 = -5*q. Is 1/m*(1 + 285) composite?
True
Suppose 4*m - 40 = 5*y, -y + 0*y = -2*m + 26. Let w = 22 - m. Is w composite?
False
Suppose -p - 1 = -4. Let x be p + -2 - -2