 z prime?
False
Let i(a) = 8*a**2 - 40*a + 289. Is i(18) composite?
False
Let j be 2*6/9*21. Let r(f) = f**3 - 8*f**2 + f - 4. Let t be r(8). Suppose -4*s - 46 = -2*o + j, -139 = -t*o - s. Is o composite?
True
Let m = 9412 + -6093. Is m prime?
True
Let w be -4 + (-4)/(-2) + -763. Let b = w + 1880. Is b composite?
True
Let u(d) = -104*d + 55. Is u(-8) composite?
False
Let i(r) = r**3 - 10*r**2 - 10*r - 2. Let a be i(11). Let l(s) = 4*s**3 + s - 5*s**2 - 8*s**2 - s**3 - 6. Is l(a) a composite number?
True
Let y = 144 + -38. Suppose -2*f - 74 = -3*f - 3*q, y = f - 5*q. Is f a composite number?
True
Suppose -4*u - 4 = 0, 3*u = -4*p + 70925 + 19524. Is p prime?
True
Let g be ((-2)/(-4))/((-6)/12). Let d be (-110)/4 + g/2. Is (d/(-12))/((-2)/(-6)) composite?
False
Suppose -b + 2*t + 2 = -2, -8 = 3*b - 2*t. Is (b/(-4))/(1 + 886/(-892)) composite?
False
Suppose -24*n + 32*n = 23592. Is n composite?
True
Let u(q) be the second derivative of 197*q**4/12 - q**3/6 - q**2/2 - 2*q. Suppose 6*v - 18*v = -24. Is u(v) composite?
True
Let s(x) = -12*x**3 - x**2 - x - 1. Let y be s(-1). Suppose -26 = 5*n - y. Let c(b) = -87*b + 4. Is c(n) prime?
False
Let w = 28 - 23. Let q(f) = 98*f + 12. Let g be q(w). Is g/(-6)*(-6 + 0) a prime number?
False
Let r = -111 + 118. Suppose r*n - 2*n = 5705. Is n prime?
False
Suppose 2*t - t = 7. Let n be (122/t)/(1/7). Suppose x - n = -33. Is x a composite number?
False
Let l(x) = 637*x - 39. Let n be l(17). Suppose 0 = 5*g - n + 2535. Is g a composite number?
True
Is (144849 + 48)/((-1)/(-1) - -2) composite?
False
Let y(t) = -480*t - 41. Is y(-3) prime?
True
Let c be (4*135/80)/((-3)/8). Is ((-1570)/4*-1)/((-9)/c) composite?
True
Suppose -4*n + 2*h = -36 + 364, 5*n + 2*h + 428 = 0. Is 3 - n*(0 + (-8)/(-12)) composite?
False
Is (-4)/(-18) + (10657650/54)/5 a composite number?
True
Let a be 1/((-11)/(-231) + (-2)/(-7)). Suppose -5*r + 326 = -a*r. Is r composite?
False
Let x(v) = -v + 1. Let l(y) = -608*y + 1. Let t(u) = l(u) - 2*x(u). Is t(-2) a composite number?
True
Let y(n) be the third derivative of -n**4/24 + 11*n**3/6 - 4*n**2. Let d be y(6). Suppose d*j = 198 + 257. Is j prime?
False
Let c = 20 - 11. Let d be ((-219)/c)/(1/(-15)). Is d/4 + (-4)/16 composite?
True
Let d(a) = 2448*a**2 - 45*a - 256. Is d(-5) a prime number?
True
Let b(f) = 2*f**3 - 36*f**2 + 11*f + 47. Is b(26) prime?
True
Suppose -o - 141050 = -3*g - 6*o, -g + 47013 = -2*o. Is g a prime number?
False
Is 33/44 - (-21433)/4 a composite number?
True
Let p = 640 + -266. Let g = 961 - p. Is g a composite number?
False
Let x = -226 + 91. Suppose -2210 = -34*r + 29*r. Let v = r + x. Is v prime?
True
Let f = -81 + 76. Is -6 + 1 - f - (-1150 - 1) prime?
True
Let u(d) = 7*d**2 + 2*d - 14. Let m(s) = -s**3 + s**2 + 3*s + 1. Let r be m(-2). Suppose 30 = 2*g - r*g. Is u(g) composite?
True
Suppose -3*t = -3*y + 6984, 5*y - 4*t - 11660 = -3*t. Is y composite?
False
Let o(f) = f**2 - f + 7. Let y be o(-6). Suppose -y*m + 2495 = -44*m. Is m prime?
True
Let w(h) = h - 2. Let c be w(-2). Let s(p) = -30*p + 7. Is s(c) a prime number?
True
Let v = 4214 + -2960. Suppose g = -0*g - 5*k + 655, 4*k = 2*g - v. Is g composite?
True
Is ((-3)/18*95762)/((-6)/18) a composite number?
False
Suppose -3*b = -5*p + 19 + 14, 3*p - 23 = 5*b. Let a(l) = 53*l + 1. Is a(p) composite?
True
Let v(d) = 2*d**3 - d**2 - d - 1. Let c be v(6). Suppose -3*i - c = -4*i. Is i composite?
False
Suppose -788 = -0*l + l. Is (-15)/25 - l/5 a prime number?
True
Let b(r) = -r**3 + 2*r. Let t(g) = 6*g**3 + 3*g**2 + 4*g - 1. Let q(f) = -f**3 - f**2 - f. Let i(w) = -5*q(w) - t(w). Let j be i(3). Is b(j) prime?
False
Suppose 0*a + 2*a + 18 = 0. Let x = 63613 - 131117. Is (-2)/a - x/144 a prime number?
False
Suppose 0 = -6*y + 8*y - 2482. Let v = -330 + y. Is v prime?
True
Let s = 43 + 130. Suppose -42 = -5*y + s. Is y prime?
True
Let v be 4954/((-1 + 4)*4/6). Suppose 5*j + 4*d = 4*j + 2477, j = 4*d + v. Is j a composite number?
False
Let b be (58/3)/((-1)/(-105)). Suppose -2*r = 4*y - 1418, 2*y - b = -3*r + 77. Is r a composite number?
True
Let q(r) = 16*r. Let p be q(-1). Let s = 21 + p. Suppose z + 0*z - 4*k = 65, -5*k - 280 = -s*z. Is z prime?
True
Let b = 13565 + -9159. Is b a prime number?
False
Let t be (-225)/(-6)*(-2)/(-3). Suppose -15 = 20*g - t*g. Suppose -74 = -g*d + 37. Is d prime?
True
Suppose -25*y = -3*y - 6512. Let c = 9 + -139. Let u = c + y. Is u a composite number?
True
Suppose 49*y - 54*y - 2753 = -2*n, 2*n - 2*y - 2744 = 0. Is n a prime number?
False
Let w(l) = 2*l**2 - 20*l + 15. Is w(23) prime?
True
Let g(w) = 172*w + 675. Is g(56) composite?
True
Suppose 0 = -4*h - 5*z + 46633, 7*h - 4*h + 5*z - 34976 = 0. Is h prime?
True
Suppose -1095*q + 1096*q - 9091 = 0. Is q prime?
True
Let m be 15/(-10) - (-95)/2. Suppose -5*w + 231 = m. Is w a composite number?
False
Suppose -68 = -3*k - 17. Let o be ((-4)/(-2))/(k/17). Suppose 116 = 2*g + i - 124, o*g = 2*i + 234. Is g prime?
False
Suppose 5*h + 2 - 7 = 0. Is h*337 + 0/(-12) composite?
False
Suppose -2*r = -4*l - 29210 - 12968, -84326 = -4*r - 2*l. Is r composite?
True
Let m(b) = b**2 + 3*b - 51. Let c be m(-9). Suppose 150 = -c*n + 1263. Is n composite?
True
Let z(f) = 43*f**2 + 17*f + 47. Is z(9) prime?
False
Let l(j) = 1701*j**2 - 2*j - 1. Let k be l(-1). Suppose -4*a = -5*d - k, 7*a = 5*d + 2*a + 1700. Let p = d - -591. Is p a composite number?
True
Let m(l) = 44*l**2 + l + 7. Let i = -12 - -9. Let a be m(i). Suppose -2*o - 3*z + a = 0, -65 = 5*o - z - 1082. Is o prime?
False
Suppose 13*y - 98644 = 63063. Is y a prime number?
False
Let u be (-6)/15*(-9 - -4). Suppose -z - 2*l - u*l + 25 = 0, 0 = 2*z - 4*l + 10. Suppose z*f + 3*q - 1641 = -q, 5*f + 2*q = 1643. Is f a composite number?
True
Let d be (-1300)/(-6)*3/2. Let v = -63 + d. Is v composite?
True
Let r(h) = 454*h + 599*h**2 - 454*h - 1 + 625*h**2. Is r(1) a prime number?
True
Let b be (-13566)/(-189) - (-4)/18. Suppose a - 595 = b. Is a a composite number?
True
Suppose -1600592 + 251461 = -37*s. Is s prime?
False
Is (8/(-6) - (-2328606)/216)*4 prime?
True
Suppose 29 - 7 = 2*a - y, -10 = -2*a - 5*y. Suppose -18 = -0*q - 4*q - 5*v, 10 = 5*v. Is ((-91)/q)/(a/(-20)) a composite number?
True
Let s(r) = -r**2 - 2*r + 9. Let h be s(-6). Let d(j) = -j**3 - 15*j**2 - 22*j + 7. Is d(h) prime?
True
Suppose 0 = -3*z - q - 3827 + 13309, 3*z - 4*q = 9487. Is z prime?
False
Let a(g) = 2*g**2 + 3*g**2 + 3*g**2 - g + 0*g**2. Let h be a(-6). Is h/7*(-2)/(-4) a composite number?
True
Let f(h) = 953 + 2468 - 2*h**3 - 149*h**2 - 2*h + 150*h**2. Is f(0) prime?
False
Suppose 3*z - 16864 = -s, 4*s - 7*s - 5*z = -50588. Is s composite?
True
Is -6*-3314*13/52 a composite number?
True
Is 205 + ((-6)/(-4))/((-42)/112) a composite number?
True
Let j = 8583 - -55114. Is j composite?
False
Let o be (0 - 1/4)*-4. Is (o - 3)*((-1054)/4 - -3) composite?
False
Let a be (3/(-3))/(2/(-4)). Suppose 0 = y - a*y + 553. Is y composite?
True
Let r = 137 + -334. Let p = 434 - r. Is p prime?
True
Suppose -3*w = k - 2*k + 14, -4*k + 8 = 4*w. Suppose -3*a = c - 3*c + 4663, 4*c - k*a - 9327 = 0. Is c composite?
False
Let d = 16 + -12. Suppose d*c - 3*s = 20, 0*s - 2 = c + s. Suppose 5*u = -b + 58, 2*b - 7*b - c*u + 221 = 0. Is b composite?
False
Let b be -14*(2 - 10235/10). Let o = b - 8794. Is o a prime number?
True
Let n(b) = 151*b**2 - 3*b + 1. Let p be 3/4 + 17/68. Is n(p) prime?
True
Suppose 4*t - 3*p + 6*p = -32, 0 = -5*t - 3*p - 37. Let f(g) be the second derivative of -13*g**3/3 - 3*g**2/2 - 2*g. Is f(t) composite?
False
Suppose 0 = -3*z - y + 13246, 0 = -3*z - 41*y + 39*y + 13250. Is z a composite number?
True
Let b be (5/(-3))/(9/(-27)). Suppose 3*q - 3797 = -q - 3*k, 2*q - 1931 = b*k. Is q a prime number?
True
Let l(k) = 66*k**3 - 17*k**2 + 18*k - 74. Is l(11) a composite number?
True
Is 737262/126 - (-2)/(-7) a prime number?
True
Let f = -12 - -3209. Is (-9)/(-54) + f/6 a composite number?
True
Let i = 16 + 176. Let z be (-14)/(-6)*(-32 - 1). Let t = z + i. Is t prime?
False
Let f(o) = 356*o - 28*o + 156*o - 9 + 284*o. Is f(5) a prime number?
False
Let g = 95 - 63. Suppose -5*s + 142 + g = l, 4*s + 624 = 4*l. Let p = 64 + l. Is p a composite number?
False
Suppose -4*k = 3*f + 28, 4*f - 10 = 6. Let i be 4 + (-2 - (-6 + 4))