 = -p - 11. Is 12/(-3 + 7) + p a composite number?
True
Is 5*(-1)/10*-4258 a composite number?
False
Let a be (1 + 29)*(-7)/(140/(-8)). Suppose -1038 = -a*p + 10*p. Is p prime?
False
Is -9 + 2634 - (-12)/3 composite?
True
Let w be (1 - (1 + 276)*1)*-1. Let c = -173 + w. Is c prime?
True
Is (-45)/15*(-41982)/18 a composite number?
False
Suppose -55599 = -16*z + 12737. Is z a prime number?
True
Suppose 0 = -t + 2*r - 11 + 2, 5*r - 19 = -t. Is (-9*21)/t - 2 a prime number?
False
Let a(m) = 5860*m**2 + 6*m + 37. Is a(-3) a composite number?
True
Let p(g) = 85 + 9*g**2 + 4*g + 22*g**2 - 50 - 45. Is p(7) composite?
True
Let q(j) = -38*j + 16. Let k be q(5). Let z be -2 + (-2 - k)*13. Suppose -2*l = -4*w - z, 0 = -5*l + w + 120 + 5465. Is l a prime number?
True
Suppose -2*t - 12958 = -4*l, -3*l + 172*t - 171*t + 9720 = 0. Is l prime?
False
Let t be 56/42 - 2/(-3). Let r(h) = -t*h + 6*h**2 + 1 - 5 + 8*h - h**3 + 0. Is r(-3) prime?
True
Let a(m) be the second derivative of -73*m**3/2 + 2*m**2 + 2*m. Is a(-1) a composite number?
False
Suppose d - 353 + 51 = 0. Let f = 553 - d. Is f composite?
False
Let u(l) = l**2 + 329 + 0*l**3 + 4 + l**3 - 2*l**3. Let i be u(0). Suppose -4*y + y + i = 0. Is y prime?
False
Suppose 2*r - 10 = -0. Let b = r - -30. Is b a prime number?
False
Let o(r) = -24*r + 43. Suppose -6*d = 5*m - d + 80, 0 = -4*m + 3*d - 50. Is o(m) a composite number?
False
Let h be -2*3/(-3)*-1. Is (-3)/h*(-26920)/(-12) prime?
False
Let u = -15 + 10. Let y(l) = -3*l**3 + 7*l**2 + 2*l + 11. Is y(u) a prime number?
False
Let y be 963/81 + 1/9. Let m = y - -151. Is m composite?
False
Let j = 496 - 232. Suppose d + a - j = 6*a, -2*a = -3*d + 779. Is d prime?
False
Let q = -320 + 439. Is q a composite number?
True
Let f = 195 - -202. Let y = f + 4016. Is y a composite number?
True
Let k = 3693 + 7228. Is k composite?
True
Let o(t) = -32*t + 3. Let g(b) = 97*b - 10. Let z(p) = -4*g(p) - 11*o(p). Is z(-7) prime?
False
Let l = 15 - 13. Let q = 1 + l. Is q prime?
True
Let j(n) = -4*n**2 - 2*n - 1. Let w be j(2). Let f = 24 + w. Is 67 + (-8)/(-7 + f) composite?
True
Let q = -3 - -5. Let j(u) = -44*u**2 + 3*u. Let l be j(q). Let a = -24 - l. Is a a prime number?
False
Let x = -3250 - -31619. Is x prime?
False
Suppose 0 = -4*v + 25 - 9. Suppose -j + 3*j = 3*b - v, 3*j + 4*b = 28. Is (-2 - -1)/(j/(-316)) composite?
False
Let k = -9 - -14. Let c be (7 - 1) + (-86 - -110). Suppose k*v = 125 + c. Is v composite?
False
Let q(o) = -o**3 - 11*o**2 - o - 9. Let k be q(-11). Suppose -3*b + 2*p + 1147 = p, k*b - 754 = -2*p. Is b prime?
False
Suppose -o + 4 + 5 = 0. Suppose -o = -g - 0*v - 4*v, 0 = 2*g - 4*v - 6. Suppose -g*s + 1079 = 2*z, 4*s + 1647 = 3*z + 2*s. Is z prime?
True
Let n be 150/35 + (-4)/14. Let z be (n + -3 - -8) + 0. Let m(w) = 47*w - 10. Is m(z) a composite number?
True
Let t be 2/2 + 2/2. Let s(u) be the third derivative of u**6/24 - u**5/20 + u**4/24 + u**3/6 - 36*u**2. Is s(t) prime?
True
Let r = -217 + 471. Is r a prime number?
False
Suppose 20*i + 739485 = 35*i. Is i prime?
False
Let x(n) = -n + 1. Let m(t) = 453*t - 17. Let a(w) = m(w) - 4*x(w). Is a(2) composite?
True
Let p be -3*(1668/(-9) - -1). Suppose -4*n - 569 = -3*k, -k = 2*k + 4*n - p. Is k a prime number?
False
Is ((-243938)/(-69))/((-2)/(-3)) a composite number?
False
Suppose 10 = 2*m + d + 2*d, 2 = d. Suppose -i + m*i = 1709. Is i a prime number?
True
Let p(r) = 2*r + 11. Let h be p(-7). Is h/(-18) - 37585/(-30) a composite number?
True
Let c be (-9200)/(-35) + (-2)/(-14). Suppose 11*n + c = 12*n. Is n composite?
False
Suppose -31*v + 11*v = -848660. Is v composite?
False
Suppose -2*i - 2*i + 4*x = -36, 0 = i - 2*x - 13. Suppose 36 = k - 2*d - 77, 2*k - 225 = i*d. Is k a composite number?
True
Suppose -7*x = -2*x - 10. Suppose -x*g - 2*g + 12 = 0. Suppose -42 - 69 = -g*p. Is p composite?
False
Let q(j) = 24*j**3 - 3*j**2 + 117*j - 758. Is q(7) prime?
False
Suppose -4 = 2*z, -2*g + 0*z = 2*z - 4250. Is g prime?
False
Is -3*(-55)/(-33)*(-13099 - 0) a composite number?
True
Suppose k + 2*o = 38, 0*k - 5*k - o + 154 = 0. Let a = 26 - k. Is a/(-7) + 7510/14 a prime number?
False
Let u(q) = 58*q**2 - 49*q - 118. Is u(-8) a prime number?
False
Suppose 1077 = -5*j + 412. Let a be (-1)/5 - 5455/(-25). Let l = a + j. Is l composite?
True
Suppose -2*h = -15*h + 100321. Is h composite?
False
Let k = -2421 + 3860. Is k prime?
True
Is -2 + 7 + (-8 - 2955/(-3)) composite?
True
Let h(w) = -w**3 + 10*w**2 + 11*w - 1. Suppose -4*t + 56 = 5*s, 3*s - 43 = -3*t - 7. Let l(z) = -z**2 + 8*z + 9. Let k be l(s). Is h(k) a prime number?
True
Suppose -2*m + 11 + 9 = 0. Let k be m + -8 - 1*-2. Is (-6)/(k/232*-4) prime?
False
Suppose 1865 = 2*k - 3*x, -x = -0*k + 2*k - 1877. Let o = k + -638. Is o a composite number?
True
Let q = -31 + 29. Let u be q/8 + 889/4. Suppose u = 4*s - 110. Is s a prime number?
True
Suppose -20288 = -4*l + 4*p, -5*l - 8*p = -9*p - 25348. Is l prime?
False
Suppose 413 = 4*c - 5*i, 5*i = 3*c - 82 - 229. Suppose 3*b + c = 4*g, g - 20 = -0*g - 2*b. Is (55/(-2))/((-12)/g) prime?
False
Let z(l) = 414*l**2 - 3*l + 7. Is z(2) a prime number?
True
Suppose -2*r - 4*p = -5630, -6*r + 3*p = -2*r - 11282. Is r prime?
True
Is -3 + 6 + 10 + 6489 a composite number?
True
Let m(c) = -c. Let t(r) = -2*r**3 - 3*r**2 - 3*r - 6. Let h(o) = 3*m(o) + t(o). Is h(-3) a composite number?
True
Let b be 5/30*2*12. Suppose -6*r = -b*r - 24. Suppose r*g - 5283 = 3*g. Is g a composite number?
False
Let v(o) = -o + 17. Let u be v(15). Suppose 4*t + 3*b = 22091, -2*t - 2*t - u*b + 22086 = 0. Is t a prime number?
True
Suppose -14*m + 22376 = -6*m. Is m a prime number?
True
Suppose -3508 = -0*s - 4*s. Let x = s + -440. Is x a composite number?
True
Suppose -2*t = 2*r - 6*t - 114, -4*t - 181 = -3*r. Suppose 69*f = r*f + 1294. Is f prime?
True
Suppose u + 5*z + 1 + 4 = 0, 5*u - 4*z - 91 = 0. Suppose -u = 3*s - 6*s - 3*l, -5 = 2*s - l. Suppose -2*v + s*v + 264 = 2*p, p + 3*v = 130. Is p a prime number?
False
Let l(h) be the third derivative of -h**6/60 + h**5/12 + h**4/8 - 7*h**3/6 - 16*h**2. Is l(-5) a composite number?
False
Let z = -2550 + 6769. Is z prime?
True
Let h(c) = 28*c**2 + 4*c + 2. Suppose -d = -6*d - x + 29, 5*d + 3*x = 27. Suppose d*w = 10*w + 8. Is h(w) a composite number?
True
Let f(x) = -x + 22. Let n be f(19). Is (-10)/n*(-8622)/12 a composite number?
True
Let w = 5 - -1. Let g be (w/10)/(2/10). Is (-6)/9 - (-1115)/g composite?
True
Let v(d) = 8314*d - 6. Is v(2) prime?
False
Suppose 3*p = -3*h - 30, 0 = -2*h + 5*p + 1 + 7. Let c be (-4)/h + (-42)/(-18). Suppose 4*f - 672 = f - 3*q, q + 668 = c*f. Is f prime?
True
Suppose -2*v + 15 = 9. Suppose -v*l = -5*f + 2221, 0*f + 878 = 2*f + 4*l. Is f a prime number?
True
Suppose 8 = -4*k, -4*m = -7*m - 2*k + 1364. Let b be m/(-3)*(-63)/2. Suppose 5*q - b = -1673. Is q a composite number?
True
Is 2 - (2 + 36852/(-6) + -1) composite?
False
Let x be (-2 - -2)*2/4. Suppose x*a - 4*a = -4680. Is a/22 + (-28)/154 prime?
True
Let o(q) = 480*q**3 + q - 2. Suppose 0 = -3*i - 3*x - 3, 4*x + 9 = 5*i + 2*x. Is o(i) a composite number?
False
Let d be 17/2 - 3/(-2). Is 1075/d*(-18)/(-15) composite?
True
Suppose -4*h - 2*g = -36536, -h + 3*g + 6773 + 2354 = 0. Is h a composite number?
False
Let f = -15 - -14. Let h be (-2)/f*94/(-4). Let r = h + 81. Is r prime?
False
Is (2/(-6))/(46/(-1029894)) a composite number?
True
Let n(x) = x**3 + 21*x**2 - 11*x - 17. Let i be n(-17). Suppose -g + p = -308, p = 3*g - i + 404. Is g a composite number?
False
Let t(q) = -q**3 + 2*q. Let x = 29 + -17. Suppose 2*w + x = -3*a, -17 = 2*w + w + 4*a. Is t(w) composite?
True
Suppose -2*p + 2*h - 1634 = 0, -8*p - 4075 = -3*p + 5*h. Is 1/(3 - p/(-273)) prime?
False
Let r be (-6)/15 - 15/25. Let l be -3 + 1 - 5*r. Suppose -l*x = 3*d - 125 - 91, 5*d - 368 = -x. Is d a prime number?
False
Let f be (-5 + 4)*(7 + -1). Let u(h) = -4*h - 19. Let g be u(f). Suppose 67 = 2*i + g. Is i a prime number?
True
Suppose 4*b + 8580 = 4*j - b, -8620 = -4*j - 5*b. Let z be (-4)/(3 + j/(-715)). Suppose 0 = 3*q - 2*g + 4*g - z, q + g - 189 = 0. Is q composite?
True
Let o(n) = 323*n - 319. Is o(12) composite?
False
Is (-6098 + -3)*(-3 + 4)*-1 a prime number?
True
Let x be 2*(15/(-6))/1. Let v = x + 6. Is -2 + -3 + v + 