Suppose 5*k + 14 = 3*k. Is p(k) prime?
True
Is (-2 + -1)*((-642)/9 - -1) prime?
True
Is (2/((-8)/(-10258)))/(2/4) a composite number?
True
Let p(y) = 934*y**2. Let t be p(1). Suppose -t = -4*w - f, 0 = -2*w - 0*w + 3*f + 460. Is w composite?
False
Let u(c) = 0*c**2 + 7 + c + c**2 + 5*c. Is u(-6) a prime number?
True
Let s be 2/10 + (-7059)/(-5). Suppose -2*z - s = 2*z. Let h = -162 - z. Is h composite?
False
Suppose -2*o - 3*o = -15. Suppose -6*j = -o*j - 273. Is j prime?
False
Let r be ((-117)/(-3))/(6/(-8)). Let o be (2/(-4))/(1/r). Let v = o + -16. Is v a prime number?
False
Suppose -2 = 2*y - 10. Suppose -y*k = -3*k - 127. Is k composite?
False
Is 33855/20 - (-2)/8 composite?
False
Let q(u) = u**3 + 2*u**2 + 3*u - 10. Let p be q(-8). Let t = 58 - p. Let g = -315 + t. Is g prime?
False
Let f(n) = n**3 - 8*n**2 + 9*n - 10. Let l be f(7). Suppose -3*u = -5*s - 1013, l*s + 641 = 4*u - 699. Is u a prime number?
True
Let b be 2/(-9) - (-235)/45. Suppose b*g - 36 = 2*o - 3*o, -4*o - g + 125 = 0. Is o composite?
False
Let h(l) = l**2 + 4*l - 6. Is h(-13) prime?
False
Let y be 2 - 1 - 3 - 1. Let d = 1 - y. Suppose 0 = -d*w - 3*h + 464, -97 = -w + 2*h + 2*h. Is w composite?
False
Let d be (-897)/(-12) + 1/4. Is d/2 + 6/(-12) a prime number?
True
Suppose 31 = 2*k + 3*c, -2 + 15 = k - c. Is (-4)/k - (-2258)/14 a prime number?
False
Let x be 6/(-4)*12/9. Let c be 17/(5/(-3) - x). Suppose n = r + 6*n - 11, 0 = r - 5*n - c. Is r a prime number?
True
Suppose -12 = -5*o + o. Is ((-33)/o)/(2/(-4)) composite?
True
Suppose z = -i - 0*z + 521, 2*i - 1042 = 5*z. Is i a composite number?
False
Let x be (-4 - -6) + 5*28. Suppose 0 = 5*k + x - 627. Let v = -64 + k. Is v composite?
True
Suppose 13 = -3*d - 23. Is -20*67*3/d prime?
False
Suppose 0 = -0*f - 2*f - 14. Let x = 11 + f. Suppose -x*m + 95 = m. Is m a prime number?
True
Let j be 3/4*(-5440)/(-5). Suppose 141 - j = -5*v. Let l = v - -50. Is l a prime number?
False
Let n(b) = -66*b + 23. Is n(-12) a prime number?
False
Let b(i) = -6*i**3 + 44*i**2 - 30*i + 56. Let a(s) = -s**3 + 9*s**2 - 6*s + 11. Let o(p) = 11*a(p) - 2*b(p). Is o(-7) a composite number?
True
Suppose -5*i - 2 = 3*q - 0, 4*i - 2*q = 16. Suppose -4 + 16 = 4*v. Suppose -2*y - 2*y = -i*b - 190, -5*y = v*b - 232. Is y a composite number?
False
Let r(f) = 55*f + 8. Is r(7) composite?
True
Let p = -5 + 5. Let x(g) = g**2 + g - 1. Let m be x(p). Is (m + 6)*34/5 prime?
False
Suppose 3*d + 213 = 954. Is d a prime number?
False
Let a(r) be the third derivative of -299*r**4/24 - r**3/6 + 5*r**2. Is a(-1) prime?
False
Let a be 4 + -3 - 0/(-2). Let r = 2 + a. Let n = r + 0. Is n a composite number?
False
Suppose -d + 1417 = 4*a - 444, 5*d + 4*a - 9225 = 0. Is d a composite number?
True
Suppose -3*w = -2*w - 5. Suppose -i - 2 = 4*d - 27, 3*i = 2*d + w. Suppose 2*v = 4*v + d*t - 89, -237 = -5*v + 2*t. Is v composite?
False
Let k(h) = -290*h + 1. Let p be k(-1). Suppose 0 = -4*g + p + 473. Is g a composite number?
False
Is (2 - -1)*221/3 a prime number?
False
Let p(z) = -2*z - 9. Let d be p(-6). Suppose -4*q + 36 = 4*x, -d*q - q + 41 = 5*x. Suppose -x*i = 105 - 400. Is i a composite number?
False
Is 14 + -14 + (0 - -1) + 2732 prime?
False
Is ((-8)/24)/(2/(-114)) prime?
True
Suppose -8*b + 15*b - 8491 = 0. Is b composite?
False
Let h = 6 + -4. Suppose -m + 471 = h*m. Is m a composite number?
False
Let o = 19791 - 12358. Is o composite?
False
Let u(q) = q**2 + 6*q + 2. Let t be (0 + -3)/((-1)/(-2)). Let p be u(t). Suppose -p*n + 49 = -105. Is n a prime number?
False
Is (-1)/4 + (-25893)/(-36) a composite number?
False
Let r = 211 + -17. Is r composite?
True
Let b = 116 + -25. Is b composite?
True
Let m(d) = -d**3 + 21*d**2 - 6*d - 29. Is m(14) composite?
False
Let q(k) = 56*k - 13. Is q(4) composite?
False
Is -5 + 6 + (1407 - -1) a composite number?
False
Let m(w) = 18*w**2 - 9*w - 16. Is m(-9) prime?
True
Let l be 34*(1 + (-7)/(-2)). Suppose -8*x + 628 = -4*x. Suppose 5*r - 5*g - l = 3*r, -2*r = -g - x. Is r a prime number?
True
Suppose -2*o = -0*o + 4. Let l be (1/(-2)*0)/o. Let y = l + 11. Is y prime?
True
Suppose 0 = g - 2*z - 401, 3*g - 1211 = 3*z + z. Is g prime?
True
Is 1*(0/(-1) + 19) a prime number?
True
Let s(b) = b**3 - 9*b**2 - 10*b + 8. Let p be s(10). Suppose 2*m - p = 30. Is m a composite number?
False
Let p(d) = -20*d + 5. Suppose 0 = 2*y + k + 3, 6*y - 3*k + 31 = 2*y. Is p(y) prime?
False
Suppose -12695 = -2*d - 3*u, 0 = 3*d - 5*d - u + 12697. Is d composite?
True
Let z = -622 + 1620. Suppose 4*k + z = x, k = 5*x + 5*k - 5062. Suppose -q = -h - 198, 0*h = -5*q + h + x. Is q composite?
True
Let a(c) = -145*c - 1. Is a(-2) prime?
False
Suppose k = 2*k - 1151. Is k a composite number?
False
Let j be 2 - (4/(-1) - -3). Suppose -3*i - 1 = -4*i, 4*c - 1673 = j*i. Is c a prime number?
True
Let i(o) = o**2 + 1. Let q be i(0). Let v(m) = m**3 + m**2 + m. Let j(a) = -a**3 + 9*a**2 + 9*a - 10. Let r(d) = q*j(d) + 2*v(d). Is r(-9) prime?
True
Let y be 6/4*8/(-6). Let b = 4 + y. Is (-30)/(-3) + 0/b a prime number?
False
Suppose 0*z - 3*z = 9, 0 = 2*i + 3*z - 373. Is i composite?
False
Let i(o) = o**3 - 12*o**2 + 10*o - 6. Let a(g) = g**3 - 13*g**2 + 10*g - 7. Let m(j) = -2*a(j) + 3*i(j). Let q be m(9). Suppose -q*w - 4 = -159. Is w prime?
True
Let a = 5 + -3. Suppose -a*d - l + 18 = 0, -3*d + d + l + 18 = 0. Let j = -5 + d. Is j a composite number?
True
Let v = -70 + 116. Let j = v + 12. Is j composite?
True
Let g = -1 - -1. Suppose g = -3*f - f + 28. Is f prime?
True
Suppose 0 = 4*j - 4*v - 720, -v - 2*v - 910 = -5*j. Is j a composite number?
True
Let b = -10 - -16. Suppose h + b = q + 37, 142 = 4*h + 5*q. Is h composite?
True
Is ((-2467)/2)/(2/(-4)) composite?
False
Let n(w) = -w + 5. Let q be n(5). Suppose -3*l + 5*t - t + 527 = q, -2 = -2*t. Let x = l - 98. Is x a composite number?
False
Let g(i) = 10*i**2 - 14*i - 3. Let b(q) = 3*q**2 - 5*q - 1. Let r(m) = -7*b(m) + 2*g(m). Let p(j) be the first derivative of r(j). Is p(-6) a prime number?
True
Let w(p) = -12*p - 11. Let f(d) = d**2 + 13*d + 12. Let n(g) = 2*f(g) + 3*w(g). Suppose 0 = 2*u - 21 + 1. Is n(u) prime?
False
Suppose -4*v = 3*v - 5621. Is v a prime number?
False
Let r(f) = -2*f**2 - 3*f. Let a be r(-2). Let g(h) = -5*h - 4. Is g(a) a prime number?
False
Let p = 695 + 144. Is p a prime number?
True
Let h be (-2 + 0 - 2)/(-1). Suppose -v + h - 2 = 0. Is 2*v/(-4) - -7 a prime number?
False
Suppose 0 = -0*p + 2*p - 4. Let d be (12*1)/(p/1). Suppose d*i + 60 = 10*i. Is i a prime number?
False
Let b(t) = 3*t - 1. Let h be b(6). Let d = h - 6. Let z = d + -1. Is z composite?
True
Suppose 24 = 4*t - 0*t. Suppose b = 4*b - t. Suppose b*y - 44 - 18 = 0. Is y a prime number?
True
Suppose 10 = x - 201. Is x composite?
False
Let n be 660/(-8)*(-4)/5. Suppose -123 = -4*g + 157. Suppose 0 = 4*m - n - g. Is m composite?
True
Let o = 1159 - 618. Is o a composite number?
False
Let g(n) = 2*n**2 - 4*n - 7. Is g(-9) composite?
False
Let w be 2/(-1 + -1)*-9. Let y(d) = d - 2. Is y(w) a prime number?
True
Suppose -5*d - 27 + 92 = 0. Is 1419/d - 12/78 a prime number?
True
Let z(d) = d**2 - 3*d - 4. Let m be z(9). Suppose -5*b + 4*w - 124 = 1, 0 = 2*b + 3*w + 50. Let u = b + m. Is u a composite number?
True
Let s(n) = 2*n**2 + n - 3. Let f be s(5). Suppose f = 3*o - o. Is o a prime number?
False
Suppose -4*d - 3438 = -10*d. Is d prime?
False
Let o(z) = 2*z + z - 2*z. Let y be o(-5). Is 43 + y + (2 - 1) prime?
False
Let i(l) = 2*l - 16 + 6 + 2*l. Is i(11) a composite number?
True
Let i(j) = 32*j + 3. Is i(4) a composite number?
False
Let k(v) = -v**2 + v + 541. Is k(0) composite?
False
Let m = 95 + 156. Is m a composite number?
False
Let h(s) = 61*s**2 - 5*s + 3. Is h(3) a prime number?
False
Is (-1)/(1 + 416/(-415)) a composite number?
True
Suppose -z + 3*s + 1783 = 3*z, -s + 444 = z. Is z prime?
False
Suppose -3*o = 3*h + 3, -o = -5*h - 2*o - 5. Let i = 0 - h. Let w(q) = 24*q**2 - 2*q + 1. Is w(i) a prime number?
True
Let h(p) = -p**2 + 13*p - 11. Let o be h(8). Suppose 2*x = 3*w + o, 9 = 2*x - 5*w - 26. Is x a composite number?
True
Suppose 5*l = 2*l - 5*i + 8, -10 = -5*l - 5*i. Suppose 0 = b - 3 + l. Suppose 0 = b*g - v - 369, -5*v + 682 = 4*g - 63. Is g a composite number?
True
Let m be 11/11 + (0 - -2422)