composite number?
False
Let t = 2854 + 5603. Is t composite?
True
Let n(v) = -3*v**3 - 9*v**2 - 6*v + 11. Suppose 22 + 6 = -2*x. Let f be (x + 21)*12/(-14). Is n(f) composite?
True
Let f = -1941 + 4532. Is f prime?
True
Let r = 114 - 161. Let h = 2 - r. Let s = h + 174. Is s prime?
True
Let s(d) = 12*d**3 - d**2 - 2*d - 1. Suppose -4*b + 8*b + 4 = 0. Let f be s(b). Is (6/f)/(2/(-524)) prime?
True
Let d be 6/(-4)*112/(-42). Suppose 4*u + 13858 = 2*p, -6 + 2 = -d*p. Is 1/3 + u/(-12) a prime number?
False
Let x = -6325 - -16548. Is x composite?
False
Suppose 3*v - 6*k + 2*k - 9449 = 0, -5*v = 5*k - 15690. Is v composite?
True
Let x = -32 - -109. Let n = x + -10. Is n composite?
False
Suppose 0 = -5*q - 2*d + 44587, 2*q - 12605 = 4*d + 5225. Is q composite?
True
Let s = -21 - -12. Let m be (-1)/(((-36)/40)/s). Is ((-3245)/m)/(1/2) composite?
True
Let n(j) = -j**3 - 23*j**2 + 2*j - 39. Let h be n(-21). Let w = -100 - h. Is w a composite number?
False
Suppose -2 - 8 = -2*z. Let j(f) = 1 + 2 + 3*f**2 + 6*f - 2*f**2. Is j(z) a composite number?
True
Let r be ((-20)/25)/((-6)/2265). Suppose 3*i - 2257 - r = 0. Is i prime?
True
Is -1*(-2610 + 5 + -10) composite?
True
Is (-57930)/(-22) - 5*(-8)/(-220) a prime number?
True
Suppose -5*w + 4*o = -48, -6*w = -2*w - 5*o - 42. Suppose -3*a + 4*s + w = -0*s, 2*a + 4*s + 8 = 0. Suppose 3*p - 4*u - 141 = -a*p, 3 = u. Is p prime?
False
Let u(m) = -30*m**2 + 4*m + 4. Let g be u(-1). Let b = 325 - g. Is b a prime number?
False
Suppose -5*u - 3*s = -439 - 115, -5*u + 564 = -2*s. Let j be ((-108)/(-24))/(6/u). Suppose j - 27 = 3*n. Is n prime?
True
Suppose 3*g - 594 - 39 = 0. Is g a composite number?
False
Let q = -47 + 47. Let v = 20 + -8. Suppose q = -8*m + v*m - 276. Is m a composite number?
True
Let c = -25070 - -37219. Is c a composite number?
False
Is 2/(-14) + (33777/63 - -5) prime?
True
Let v(o) = o**2 + o. Let r = -15 + 14. Let w(m) = 2*m**2 - 11*m + 18. Let a(b) = r*w(b) + 5*v(b). Is a(-17) prime?
True
Suppose 2*r + 4 + 4 = 0, 4*j - 3*r = 32. Suppose 0 = -2*f - j*f + 1435. Is f a prime number?
False
Let s = -82467 + 117301. Is s prime?
False
Let y(i) = 363*i + 158. Is y(35) a composite number?
True
Let d = -91 - -97. Suppose -x - 955 = -d*x. Is x a prime number?
True
Is 2837 + (-6 + 8)*3 prime?
True
Let y(f) = 275*f**2 + 5*f - 7. Let d = 63 - 61. Is y(d) composite?
False
Let f be 4/((-4)/(-31))*2. Let r = f - -345. Is r composite?
True
Suppose 0 = -10*t + 8175 + 8555. Is t prime?
False
Let d = -12 + 38. Is 2745/13 + (-4)/d a composite number?
False
Suppose -129329 + 1348402 = 29*t. Is t prime?
False
Suppose -32*v = -40*v + 108408. Is v composite?
True
Suppose -3*j = 2*a - 4083, 0 = 2*j - 0*j - 3*a - 2709. Suppose -4*u = -12, 2*u + j = 5*i + 55. Is i a composite number?
True
Let p = 57 + -55. Suppose 0 = -5*i - p*d + 1461, i - 5*d - 213 = 63. Is i a prime number?
False
Suppose 108*y - 137*y = -678397. Is y prime?
False
Let k(b) = -3*b - 7 + 7*b + 102*b**2 - 6*b. Is k(-4) a composite number?
True
Suppose 36294 = 893*q - 887*q. Is q a composite number?
True
Let i(m) = -m - 4. Let t be 6/((16/(-4))/4). Let s be i(t). Suppose -s*v + g - 6*g + 267 = 0, 3*g - 15 = 0. Is v prime?
False
Let n(p) = -16*p - 3. Let u be n(-14). Suppose a - 198 = u. Is a a prime number?
True
Let t(j) be the second derivative of j**5/20 - j**4/12 - j**3/6 - 3*j**2/2 - 2*j. Let r(b) be the first derivative of t(b). Is r(-1) a prime number?
False
Let p = 16 + -12. Let k = 6 - p. Suppose k*n + n = 1119. Is n a prime number?
True
Let f(x) = -106*x + 48*x - 1 + 42*x. Suppose -4*v - 12 = -0*v + 4*l, 3*l = 3*v + 21. Is f(v) a prime number?
True
Let h be 85/40 + 1/(-8). Suppose u - 5*w - 204 = 0, -h*u + 3*w = -165 - 250. Is u a composite number?
True
Let i(a) = 7*a**3 + 5*a**2 - 13*a + 43. Is i(6) a prime number?
True
Let o(g) = 152*g**2 + g + 2. Is o(-3) composite?
False
Suppose m + 5*r - 18 = 0, -5*m + 2*r = 6*r - 27. Suppose -2*y = m*y + 545. Is (y/3)/((-1)/3) a prime number?
True
Is 0 + 7 - 17 - -3759 a composite number?
True
Let d be -5*(-6)/15 + 0. Suppose 5 = k - d. Suppose -k*i = -2*i - 445. Is i composite?
False
Let u = 132 + -134. Is u/((-20990)/(-6998) + 1 + -4) composite?
False
Suppose a + 418 = 2*a. Suppose 0 = 7*o + 159 - a. Is o prime?
True
Let f(n) = 5*n**3 - 18*n**2 - 42. Is f(13) composite?
False
Let x = -1392 + 7788. Suppose 4*g = -3*f + x, 2*f - 2*g + 2130 = 3*f. Is f/5 + (-4)/20 a prime number?
False
Let x(m) = -684*m**3 - 2*m**2 + m + 2. Suppose 3*q = 7 - 10. Is x(q) a composite number?
False
Suppose 2*a - 5 = 37. Is 37698/a + (-3)/21 a composite number?
True
Let j = -1695 + 2839. Let a = j + -611. Is a prime?
False
Let q = -27 + 38. Let o(f) = f - f + q - 10*f. Is o(-8) a composite number?
True
Let n(m) = 170*m**2 - 14*m + 49. Is n(8) composite?
True
Let r(u) be the first derivative of 43*u**2 + 13*u - 1. Is r(9) prime?
True
Let j(n) = n**3 + n**2 + 57. Let s = -82 - -51. Let t = s + 31. Is j(t) prime?
False
Is 2/(-6)*1 + 2036/6 prime?
False
Suppose 2*q = -7 - 3. Let f = q + 84. Is f composite?
False
Is ((-130)/4 - 1)*(-4558)/43 a prime number?
False
Let q(d) = 2643*d - 5. Is q(14) composite?
False
Suppose 0 = -3*b - 2*b + 165. Let p = b + 116. Is p composite?
False
Let t(x) = 3*x**3 + 4*x**2 + 3*x - 7. Let h be t(5). Let c = 892 - h. Is c a prime number?
True
Suppose 23*x - 9188 = 88907. Is x composite?
True
Suppose 5 = 2*s + 3*s. Let f(v) = -v**2 - 2*v + 50. Let o be f(6). Is (s/o)/(2/3548) a composite number?
False
Let y be -4 + 240/45*6/4. Suppose y*d = 4930 - 26. Is d a composite number?
True
Suppose 2*j + 11 + 9 = -2*i, -2*i = -10. Let t = j + 20. Suppose t*d = -15, 5*f - 3149 = -2*d - 0*d. Is f composite?
False
Is (-22027*(-1)/(-4))/((-3)/12) composite?
False
Let s(q) = 263*q - 57. Is s(34) prime?
False
Suppose 2*i = -8, 2*i = -6*v + v + 19447. Is v a composite number?
True
Suppose 10656 = 5*x - 89. Suppose -4*i - x = -11*i. Is i a prime number?
True
Suppose 0 = -0*y + 4*y + 5*r - 45, -2*y = 2*r - 20. Suppose -4*f + 1632 = -y*i, -2*f = 4*i - 5*i - 822. Suppose -6*g + 1345 + f = 0. Is g a prime number?
True
Is ((-1)/4)/(-5*1/77180) composite?
True
Suppose 3*v = 5*v - 136. Let m = -671 + 1652. Let p = v + m. Is p a prime number?
True
Suppose -6*c + 42591 = -24519. Is c composite?
True
Let s(r) = 38*r**2 + 18*r + 1. Let x be s(9). Let y = x + -2160. Is y composite?
True
Suppose -2*u = -4*w + 8586, 3*w + 4*u + 1391 = 7836. Is w a prime number?
False
Suppose 0 = -3*i + 2*p + 5 - 166, 4 = -2*p. Is (i/(-10)*-314)/(-1) a composite number?
True
Let b(g) = -6*g**3 - 6*g**2 + 11*g + 22. Let r(x) = -2*x**3 - 2*x**2 + 4*x + 7. Let l(m) = -4*b(m) + 11*r(m). Is l(6) composite?
True
Let a be (4 + (-36)/8)/(-1)*-18. Is -3*212/(a + 5) a prime number?
False
Suppose 16*s - 138667 = -7*s. Is s composite?
False
Let l be (-2692)/(-6) + 3/9. Let a = l - 186. Suppose -432 = -5*f + a. Is f composite?
False
Let f = -47313 + 90826. Is f prime?
False
Let q be (-2)/(-8) + 31/4. Let b = q - 6. Suppose -i = -4*y - 113, -2*i + 198 = y - b*y. Is i composite?
False
Let r(i) = i**2 + 8*i - 4. Let v be r(-8). Let b be 2/v + (-639)/(-6). Suppose 2*t = 3*t - b. Is t prime?
False
Let s be (3 - -1)/(10*(-2)/(-10)). Suppose 3*l + 15 = 0, -4*f = -2*f - s*l - 3632. Is f prime?
True
Suppose 0 = -12*x + 3*x + 744615. Is x a prime number?
False
Let z(a) = -2*a - 14. Let n be z(-7). Let x = 12 + -10. Suppose 3*k = x*u - 4*u + 251, n = -5*u - k + 634. Is u a prime number?
True
Let q = -15581 + 40020. Is q a composite number?
False
Let o = 51 + -31. Let c be (-6)/2 - -1 - o. Let r = c - -161. Is r a prime number?
True
Suppose -x - b = -49131, 125*b = -3*x + 121*b + 147397. Is x prime?
False
Suppose v - 6*v = -5, -2*a + v + 1281 = 0. Is a composite?
False
Is (-31)/4*(-31 - 13) a prime number?
False
Let z = 7 + 4384. Is z a prime number?
True
Suppose 1106 = 11*c - 5714. Suppose -4*z + 2*t = -26, -3*t = -z + 2*z + 11. Suppose 0*x = -z*x + c. Is x a prime number?
False
Suppose -25*h - 3 = -24*h, 5*m = -2*h + 57289. Is m a prime number?
False
Suppose 2551 + 9526 = m. Is m a composite number?
True
Let h be (534/(-4))/(27/72). Let d = -133 - h. Is d prime?
True
Let s = -13 + 13. Suppose 0 = -s*a - 5*a + 235. Suppose -2*h + 51 = 3*p + h, -a = -4*p + 3*h. Is p prime?
Fa