 prime number?
False
Let a(y) = y**2 - y - 5. Is a(12) a prime number?
True
Let r(l) = -5*l**3 - 2*l**2 + 1. Let h be r(1). Is (-1264)/h + (-2)/(-6) a prime number?
True
Let r(h) be the second derivative of h**5/20 - h**3/6 + h**2/2 + h. Is r(6) prime?
True
Let r(y) = 199*y**2 + 2*y - 3. Is r(2) composite?
False
Let i(h) = h**2 + 7. Is i(-6) prime?
True
Suppose -5*y = -3*b - 22, 4*y + 24 = 6*y - 5*b. Suppose 5*l = -3*f + 626, -y*l + 248 = -0*l + 2*f. Is l prime?
True
Let s be 2/2*(2 + 57). Let c = s - -18. Is c a prime number?
False
Let x(p) = -192*p**3 - 1. Is x(-1) a composite number?
False
Let q(s) = -8*s - 13. Is q(-9) a prime number?
True
Suppose -5*z = -3*z - 754. Is z a prime number?
False
Let b = 13 - 8. Suppose b*s - 4*l + 212 = 765, s = 2*l + 107. Is s composite?
False
Suppose -z - z - 352 = -4*d, 0 = d - 4*z - 81. Suppose 2*l + 3*j - d = -2*j, -4*j = 4. Is l a prime number?
True
Let x(s) = s**2 + 13*s - 7. Let n(j) = j**2 + 35 - j - 7*j**2 - 65*j. Let m(d) = 2*n(d) + 11*x(d). Is m(7) prime?
False
Let r = 1 - -222. Is r prime?
True
Let j(o) = -o**3 - 9*o**2 - 3*o - 12. Suppose -5*u = 4*m - m + 12, 20 = -5*m. Suppose -2*w + u*w = 18. Is j(w) a composite number?
True
Let a be 1*(-2 + -1)*3. Let g(i) = i**3 - i**2. Let j(y) = 4*y**3 - 13*y**2 - 4*y - 6. Let h(t) = -5*g(t) + j(t). Is h(a) composite?
True
Let b be (-1)/((-4)/(-2*2)). Is (b/(-1))/((-2)/(-22)) composite?
False
Let g be (-10269)/(-49) + (-8)/14. Let h = -52 + g. Is h a prime number?
True
Suppose 2*w - 136 = -u, 2*u - 75 = -w - 2*u. Is w a composite number?
False
Let m = 68 - 48. Suppose -174 = -2*l + m. Suppose -2*u = -417 - l. Is u prime?
True
Suppose 3*a - a = -t - 6, -5*a - 26 = -3*t. Let g(q) = 52*q**3 + q**2 - q - 1. Let f be g(-1). Is t/6 - f/9 composite?
True
Suppose 0 = -6*x + x - 2*t + 15, -4*t + 24 = 4*x. Let o(d) = 1 + x - 3 + 18*d - 184*d. Is o(-2) composite?
False
Suppose 4*o - 3*o = -3. Let v(p) = 5*p**2 + 2. Is v(o) composite?
False
Is 89*(3/6 + -1)*-2 a prime number?
True
Let u(s) = s**3 + 4*s + 299. Is u(0) prime?
False
Suppose 0 = 4*q + 3*n - 1355, -3*q + 1354 = n + 344. Suppose -4*d + q = 5*x, -4*d = 5*x - x - 336. Is d a composite number?
True
Let o(p) = 10*p**3 - p**2 + p + 1. Let u be 4*6/8 - -7. Let h be 22/10 - 2/u. Is o(h) composite?
False
Let v be (-16)/(-5) - 6/30. Suppose -v*s + 0*s = 3, -s - 869 = -4*n. Is n composite?
True
Suppose -3*w + 2343 = -3*z, z - 810 - 740 = -2*w. Let c = -373 + w. Suppose -5*b = -c + 129. Is b a prime number?
False
Let g be (-3)/(-3)*1 + -5. Suppose 2*d = 4*d - 26. Let r = g + d. Is r prime?
False
Let q(t) = -45*t + 98. Is q(-35) a prime number?
False
Let y(m) = 525*m**2 - 1. Let w be y(-1). Suppose l - w = -3*l. Is l a prime number?
True
Let g be ((-8)/(-6))/((-2)/42). Let r = g + 241. Let y = r - 124. Is y prime?
True
Suppose 2 - 14 = -4*l. Suppose 2*p + l = -1. Is (-4)/(p/5 - 0) a composite number?
True
Let o be (-14)/(-10) + 21/35. Suppose -o*y + 426 = 2*n - 6*y, y = 3*n - 634. Is n a composite number?
False
Let k = 2608 - 873. Is k a composite number?
True
Suppose 5*r = -10, -4*r + r = -5*h + 2051. Is h a composite number?
False
Let n(z) = z**3 - 10*z**2 + 9*z - 9. Is n(11) composite?
False
Let x = 14 + -15. Suppose 3*n + 2*n + 4*l + 75 = 0, 5*l = -25. Is n/(x*(3 - 2)) composite?
False
Suppose -4*k = -2*k - 14. Let a = k + -3. Let q = a + -1. Is q a composite number?
False
Let x = 51 - 85. Let r be 4/(24/3)*-262. Let o = x - r. Is o a composite number?
False
Suppose 0 = -5*y - 2*k + k + 6061, -5*y = -2*k - 6073. Is y a prime number?
True
Suppose 3*a + 2*w = 667, -4*a + w + 866 + 27 = 0. Is a a composite number?
False
Let g(a) = a. Let w be g(-5). Let f = w - -12. Is 51/f - (-4)/(-14) a composite number?
False
Let a be ((-895)/10)/((-2)/8). Suppose 2*o + 539 = 3*f, 2*f - 4*o - a = -3*o. Is f a prime number?
False
Suppose 3830 = 105*k - 100*k. Is k a composite number?
True
Let g(h) = -h**2 - 3*h + 2. Let n be g(2). Is n/2*26/(-8) prime?
True
Suppose 0 = -0*a - 5*a - 5*w - 20, 24 = 4*a - 4*w. Is a/(2 - (-153)/(-77)) a composite number?
True
Suppose 4*g + 1220 = -656. Let p = g - -674. Is p composite?
True
Let f = 17 - 6. Let b = f - -44. Is b a composite number?
True
Suppose -2*a = 2*a - 356. Is a a composite number?
False
Let g = 141 + 50. Is g prime?
True
Let d(i) = -65*i**2 - 23*i - 15. Let k(f) = -22*f**2 - 8*f - 5. Let r(u) = -6*d(u) + 17*k(u). Is r(-4) composite?
True
Suppose -2*k + 10 - 4 = 0. Let h(c) = -3*c**3 + 4*c**2 + 2*c + 3*c**2 - 1 + 2*c**k. Is h(6) composite?
False
Suppose 17 - 3 = -2*q. Let m(h) = -2*h**2 - 8*h + 6. Let i be m(q). Let t = i + 93. Is t prime?
False
Suppose 2*m + 2*m - 12 = 0. Suppose -m*p = p - 148. Is p a composite number?
False
Let v = 15 + -9. Is 9*1/v*26 prime?
False
Let h = 31 + 138. Is h prime?
False
Suppose 49*q - 52*q + 12 = 0. Let z = 300 - -35. Suppose -5*g + 421 = -4*w, 0*g - z = -q*g + 5*w. Is g composite?
True
Let r(t) = 150*t - 7. Is r(3) prime?
True
Let c = 78 - 158. Let s = 15 - c. Is s composite?
True
Let l(s) = -84*s - 11. Let m be l(-6). Let t = m + -6. Is t composite?
False
Let t(r) = -2*r**2 - r. Let p be t(-2). Is 430/(-15)*p/4 composite?
False
Suppose -4*c + 7483 = -16433. Is c composite?
True
Let l be (4 - 0)*1/2. Suppose 211 = 3*w - 122. Suppose 79 + w = l*t. Is t prime?
False
Let b = 17 + -9. Let i = 11 + b. Is i prime?
True
Let o = -101 + 55. Let f = o - -81. Is f a composite number?
True
Let w = -25 + 2. Let f = w + 48. Is f prime?
False
Suppose -3*x = -5*x, -5*c + 4*x = -195. Suppose -4*b - c = -s, -6*s + 157 = -s - b. Is s prime?
True
Is (72/14)/(-9) - (-6154)/14 a prime number?
True
Suppose -5*k + 2195 = -0*k. Is k prime?
True
Suppose 5*b - 88 - 84 = -3*d, -40 = -b + 5*d. Is b a composite number?
True
Is (-3)/2 - (-1935)/18 composite?
True
Let f(v) = -v**3 + v**2 + v + 13. Let s be f(0). Let i = s + -8. Suppose -q = 3*x - 275, q + 2*q + 449 = i*x. Is x prime?
False
Is (-298)/((-4)/3*(-6)/(-44)) prime?
False
Let k = 538 + -165. Is k composite?
False
Let m(f) = 17*f**3 + 2*f**2 - f + 1. Is m(4) composite?
False
Let z(w) = 3*w**2 + w + 27. Let u(l) = l**2 + l + 13. Let y(a) = a**2 - 4*a - 1. Let r be y(2). Let c(v) = r*u(v) + 2*z(v). Is c(-8) a prime number?
False
Suppose 3*m + 17 - 49 = -5*z, 0 = 3*z - 3. Let o be 4/6 - 87/m. Is 2/9 + (-115)/o a prime number?
True
Let f = -1358 + 2757. Is f a composite number?
False
Let n = 2870 + -1677. Is n composite?
False
Let k(q) = q**2 - q + 5. Is k(11) composite?
True
Let p be 2 + 1 + (-3 - -10). Suppose p = 5*s - 0*s. Suppose 2*b = -s*j + 108, 136 = 2*b + 5*j - 10*j. Is b a prime number?
False
Suppose 9*c = 16*c - 161. Is c a composite number?
False
Let h be 6/(-3) + 5*2. Suppose 0 = -l - 1. Let v = l + h. Is v prime?
True
Let j(k) = -2 + 0*k**2 + k**2 + 1 - 4*k. Let z = 2 - -4. Is j(z) a composite number?
False
Let s(c) be the third derivative of -c**6/120 - c**5/15 - 3*c**4/8 - c**3/3 + 3*c**2. Let h be s(-6). Suppose 5*a - h = a. Is a a composite number?
False
Suppose -h - h - 2 = 0, -3*h = -3*a + 420. Is a a prime number?
True
Suppose 5*f = -2*y + 6182, -y + f = -1606 - 1485. Is y a composite number?
True
Let d(o) = o**3 + 8*o**2 + 5*o + 9. Is d(-7) prime?
True
Suppose -7*v + 33 = -4*v. Suppose 49 = 2*d + v. Is d a prime number?
True
Let w = 77 + -2. Let l be (-2)/(-2 + (-408)/(-206)). Suppose t - 3*a = 148, -w - l = -t - 3*a. Is t a composite number?
False
Let h(g) = 5*g**2 - 5*g - 4. Let b be h(-3). Let l = -30 + b. Suppose -105 = -4*s + x - l, -s = 2*x - 31. Is s a composite number?
True
Let a(y) = -y**2 - y + 4. Suppose -3*u + 4*u = -4. Let f be a(u). Is f*(90/(-8) + 2) prime?
False
Is 6/(-15)*(-555)/6 prime?
True
Is (6 + -7)/(-3 + (-27951)/(-9318)) a prime number?
False
Suppose 3*n + 364 = 5*f, -4*f + 2*n = -n - 290. Suppose u - 3*u + f = 0. Is u prime?
True
Suppose r = 4*q - r - 244, -4*q + 268 = 4*r. Suppose 2*u - 5*u + q = 0. Is u composite?
True
Suppose -5*k + 2*j + 6705 = 0, -2*k + 9*j + 2683 = 8*j. Is k composite?
True
Let s(c) = -88*c**3 - 1. Is s(-1) prime?
False
Suppose 0 = 2*w - 6 - 2. Let b(j) = 37 - 2*j + w*j - j. Is b(0) a composite number?
False
Let u be 6/(1 - (2 - 2)). Is -6 + u + (-1 - -308) a composite number?
False
Suppose -3*k + 8*k - 15 = 0. Is (0 - -49)*k + -2 prime?
False
Is (-13