 Is p(-9) a composite number?
False
Let c = 38375 + -26080. Is c prime?
False
Suppose 0 = -7*a + 2*a + 165. Is 154/21*a/2 composite?
True
Suppose -37*t - 421 = -3899. Is t a composite number?
True
Suppose -833 - 13060 = -3*f. Is f prime?
False
Suppose 4 = -u - 6. Let j(f) = f**2 + 3*f - 24. Is j(u) a prime number?
False
Let m = -20 - -23. Suppose r - 29 = -5*b, 4*b - m = 3*r + 5. Suppose -r*q - j + 2*j = -359, -4*j = 5*q - 433. Is q composite?
False
Suppose 9 = 3*q - 3. Let k(f) = -f**3 + 2. Let z be k(0). Suppose z*m - 978 = -q*m. Is m a prime number?
True
Suppose 5*u - 4794 = -1509. Let z = u - 34. Is z a composite number?
True
Suppose -x - 64939 + 9504 = -5*z, z = 5*x + 11087. Is z composite?
False
Suppose 3*x - l = -251, 5 - 1 = -4*l. Let f = x + 275. Is f a prime number?
True
Is (1 - 4*3/(-12)) + 4047 prime?
True
Suppose -2*d = -8*d + 34854. Is d prime?
False
Suppose 3*j = s - 9, 0 = -3*s - 4*j - 0*j + 1. Suppose s*b - b + 220 = 0. Let q = 5 - b. Is q a prime number?
False
Let d(q) = 63*q**3 - 9*q**2 - 15*q + 38. Is d(5) prime?
False
Let k = -12667 + 32969. Is k prime?
False
Is 2506 + (-10)/(-5) + -5 composite?
False
Let q be 11/(99/(-12))*5523/(-2). Let d = 7688 - q. Is d prime?
False
Is -1*(-5 + -162*3) composite?
False
Let m(j) = 2666*j**2 + 46*j - 3. Is m(-4) prime?
False
Let h be (1*(-1 + -3))/(-2). Suppose 0*o = -o + 1, h*o = -3*k + 2. Is (-1 - k)/((-2)/790) composite?
True
Suppose 0 = -2*w + m + 435, 336 = 3*w + 4*m - 311. Let h = w + -45. Suppose -h + 70 = -2*a. Is a a composite number?
True
Let l(z) = z**3 + 40*z**2 - 164*z - 91. Is l(-38) composite?
False
Let p(b) = 2*b + 12. Let z be p(-5). Let n = -86 + 1840. Suppose 0*r + n = z*r. Is r composite?
False
Suppose 9*m = 8*m - 2*d + 3299, d = 0. Is m composite?
False
Suppose -6*h = -2*h - 3*j + 2, h - 6 = 4*j. Is 880/15 + h/(-6) prime?
True
Suppose -4*g + 6 = -7*g. Let d(n) = 4 - 7 + 21*n**2 + 3*n + 4. Is d(g) prime?
True
Suppose 0*x = -3*x + 36. Let p(s) = 2 + 0*s + 3*s + x*s + 24*s. Is p(3) a composite number?
True
Let s(k) = 12*k**2 - 2*k + 1. Let w be s(1). Let n(t) = -4*t - 25 + w - 5*t - 14. Is n(-13) a prime number?
True
Let a = -11 + 24. Let r = 16 - a. Suppose 2*w = r*m - 921, 0*m + 2*w + 1531 = 5*m. Is m composite?
True
Let z be (-17 - -2)/((-10)/(-10)). Is (-3308)/(-5) - 6/z a composite number?
True
Let q = -734 + 1444. Suppose 0 = f + f - q. Is f prime?
False
Let v(h) = 1123*h**2 + 22*h + 127. Is v(-6) a composite number?
False
Let u = 1378 - -498. Suppose 43 - u = -3*z. Is z prime?
False
Let l(c) = -c**2 - 3*c. Let p be l(-3). Suppose 466 = a + f - p*f, 3*f = -5*a + 2332. Is a a composite number?
False
Suppose -4*r + 2971 = 3. Let j = 1251 - r. Is j a prime number?
True
Let g = 5646 + -1657. Is g a composite number?
False
Let w be (1809 - 2)*(0 - -1). Suppose -w = -16*c + 4161. Is c prime?
True
Let h = 4139 + -1182. Is h a composite number?
False
Let s be ((-3)/2)/(42/280). Let m = 4 - s. Is (-2)/m - (-9369)/21 a composite number?
True
Let r(v) = 297*v**3 + v**2 - v + 1. Let q be r(1). Let c = q + -134. Suppose 3*b + 87 = l - c, 5*l - 5*b = 1295. Is l prime?
True
Let d(v) = 5*v - 5 + 5*v**2 + v**2 + v. Suppose -4*f + 93 = 37. Is d(f) prime?
False
Let j = 302 - 95. Let n = j - 124. Is n a composite number?
False
Suppose -59*u = -57*u - 52058. Is u composite?
False
Suppose -5*k - 28 = -8. Is 380 + (-4)/k + -2 a composite number?
False
Suppose i + 5*z = 1129, -2*z = 5*i + 2*z - 5645. Let g = i + -608. Is g prime?
True
Let v = -31357 + 45716. Is v prime?
False
Suppose 0 = -4*r + 4*d - 0*d, -4*d - 4 = -2*r. Let u(k) = -k**2 - 2*k - 2. Let o be u(r). Is 11529/18 - 1/o a prime number?
True
Let g(i) = -185*i - 5. Let c be -1*(0 + -2 + -1). Let d(w) = 93*w + 2. Let q(o) = c*g(o) + 7*d(o). Is q(2) a prime number?
True
Let s be (-60)/18*(-564)/10. Let v(d) = -9*d. Let f be v(-3). Let k = s - f. Is k a composite number?
True
Suppose -2*h + 5*o + 44 = 0, 0*h = -2*h + 2*o + 44. Is 41895/385 + 4/h composite?
False
Suppose -20*b - 9 = -23*b. Is (-3)/(b/2)*(-4090)/20 a composite number?
False
Suppose 13747 = 33*n - 15260. Is n a composite number?
True
Suppose -73 - 233 = 2*f. Let b = f + 470. Is b prime?
True
Let z = 27419 - 10798. Is z a prime number?
False
Let a be (-4)/(0 + (-4)/420). Let g = 17 + a. Suppose g = 2*b - 3*j, -b + 22 = j - 184. Is b composite?
False
Let l be 122*(-3)/(-6)*-2. Let i = 541 - 774. Let x = l - i. Is x prime?
False
Suppose b = -2*b + 57. Let x = 29 + b. Let s = x - 26. Is s a prime number?
False
Let w be 1 + (-4 - -3) - 12. Let g(c) = -3*c**2 + 3*c + 12. Let d be g(w). Let a = 793 + d. Is a a composite number?
False
Suppose -3*b - 2*t = -28139, -25784 = -5*b - t + 21105. Is b composite?
False
Is 4*(-13)/(260/(-214765)) a composite number?
False
Let f = 29254 + -14733. Is f a composite number?
True
Suppose 4*q - 69 = -q - 4*s, 0 = 2*q + s - 27. Let u = q + 9. Is u a composite number?
True
Let v be (-4*879/2)/(2/54). Is (((-1)/3)/1)/(54/v) a composite number?
False
Suppose -3*u + 1 = -26. Is (-1620)/(-1) - (-12 + u) a composite number?
True
Let i(s) = -4*s**3 - 5*s**2 + 12*s + 25. Is i(-8) prime?
True
Let w(y) = y**3 + 2*y**2 + 4*y + 5. Let j be w(-5). Let l be j + (1 - 3) + 2. Let u = -35 - l. Is u prime?
False
Let m = 1594 + -203. Is m a composite number?
True
Suppose 4*c = -4*q + 3552, 4*q - 1942 = 4*c + 1602. Is q prime?
True
Let a = 16 - 14. Suppose -6 = -d - a*d. Is (111 - d) + 1 - -3 a composite number?
False
Let w = -5 - -9. Let k = 1 + w. Suppose -k*p = -5*c + 45, -2*c + 22 = -2*p - 2*p. Is c a prime number?
True
Let j be 12/9*3 + 0. Suppose -3*d + 5*s + 40 = 0, j*s - 4 + 49 = 5*d. Suppose -d*h + 2*h + 633 = 0. Is h a composite number?
False
Suppose -1 = 4*w + 3. Is 1650/2 + 1/(w/(-4)) a prime number?
True
Suppose 0 = 3*d - 5*p - 25, -5*p - 10 = -0*p. Let u = 2368 - 1562. Suppose -4*i + u = 5*k - 3*i, 0 = -5*k + d*i + 800. Is k a composite number?
True
Let f be -7*3*(-6)/9. Is f/4*(3 + 19) a prime number?
False
Suppose -4*l = 2*n - 39446, -l + 3*l + 4*n - 19714 = 0. Is l a prime number?
False
Let t be 85/20 - (-3)/(-12). Let a(p) = -p. Let d(x) = 118*x**2 + 4*x + 1. Let z(s) = t*a(s) + d(s). Is z(1) a prime number?
False
Let q(i) = 8*i - 13. Let n(r) = -7*r + 14. Let y(m) = 3*n(m) + 4*q(m). Let l be (-9)/(-1 - (4 - 4)). Is y(l) a composite number?
False
Let k = -21922 + 50373. Is k composite?
True
Let o be (0 - -2) + 1411 + (-1 - 1). Let v = o + -444. Is v prime?
True
Let d(l) = 4108*l + 45. Is d(4) prime?
True
Is (60/(-6) - 1711)*-5 a prime number?
False
Suppose 4 = -2*z, -2*f - 2*z = 2*f - 201728. Is f composite?
True
Suppose -204 = g - 3659. Is g a composite number?
True
Let h(l) = -5*l**3 - 2*l**2 + 1. Let s(y) = -y**3 + 4*y**2 - y + 5. Let t be s(4). Let w be h(t). Is (886/w)/(4/(-12)) composite?
False
Let v be (-58)/(-16) - (-36)/96. Suppose v*n - 2*g = 1968, -4*g = -0 + 8. Is n composite?
False
Suppose -21*w + 72388 + 103739 = 0. Is w prime?
True
Is (3 + 5129/(-5))/((-4)/20) prime?
False
Let r = 427 - -22. Suppose 1181 + r = l. Let j = 2889 - l. Is j prime?
True
Let i(y) = -5527*y - 159. Is i(-10) prime?
False
Let k = 29279 + 7634. Is k composite?
False
Suppose 3*z + 3*i = -i + 36, -2*z - 5*i = -24. Suppose z*a = 2*a + 8090. Is a prime?
True
Let y(s) = -s**3 - 32*s**2 - 55*s - 7. Is y(-31) a prime number?
False
Let p(x) = -2*x**3 + 80*x**2 + 46*x - 9. Is p(40) a prime number?
True
Let t(g) = g**2 + 5*g - 4. Let p(j) = -j - 14. Let o be p(-8). Let v be t(o). Suppose -4*h = -m + 89, 84 = -m + v*m - 5*h. Is m composite?
False
Suppose 0 = -2*y + 5*y + 63. Let u = -14 - y. Suppose -6 = -x + u. Is x a composite number?
False
Suppose -5*t + 4*n - 322 = -95, 0 = 3*t - n + 139. Let f = 534 + t. Is f a composite number?
False
Suppose 0 = -187*r + 174*r + 37427. Is r composite?
False
Let i(c) = -36*c - 13. Let f be 2/5 - (-228)/30. Suppose -4 = 2*d + f. Is i(d) a composite number?
True
Suppose -28402 = -6*h + 27560. Is h composite?
True
Suppose -219993 = -64*x + 8838503. Is x a composite number?
False
Let u(r) = -3577*r - 1048. Is u(-11) composite?
False
Let x(f) = 2*f**2 + f + 18. Let z be x(8). Suppose 475 = -2*j - 3*j. Let d = j + z. Is d composite?
False
Let g(b) = 84*b - 3. Let f(p) = 3*p - 7. Let t be f(5). Suppose o + 3*v = 4*v + 5, 0 = -4*v