/12 composite?
True
Suppose -15*y + 27*y = 30252. Is y composite?
False
Let r(z) = -z**2 + 8*z + 6421. Is r(0) prime?
True
Suppose 5*o + 5*t - 3375 = 0, 0*t + 3*t + 655 = o. Suppose -75*b + 73*b + o = 0. Is b a composite number?
True
Suppose 86926 = 16*a - 34002. Is a a composite number?
True
Let s = 81 - -2316. Suppose 5*x = -2*f + 963, -x + s = 5*f + x. Is f a composite number?
False
Let i be 3/(-2)*8/(-6). Suppose 5*a - 2*c = 36, 2*a + 4*c - 20 = i*c. Suppose -4*j - 1028 = -a*j. Is j a prime number?
True
Suppose 0 = -5*a - 4*o + 65680 + 1253, 0 = -5*a - 5*o + 66930. Is a a composite number?
True
Suppose x + y - 1901 = 0, -4*x + 2323 + 5282 = 3*y. Suppose x = 7*k - k. Is k a prime number?
True
Let c be 18 - 19 - (-12 - 1)*-5. Is -13*(-1 + c) + (5 - 5) a composite number?
True
Is ((-401211)/15)/(18/(-30)) composite?
False
Let q = 557 + 93. Is q/4 - (-11)/22 a composite number?
False
Let a be 105/33 + (-4)/22. Suppose h = 5*s + 159, 0*h + s = -a*h + 445. Is h a prime number?
True
Let y = -10738 + 68729. Is y composite?
False
Let b be -45*2/15*-3. Let q = b + -15. Suppose 4*j - q*j - 89 = 0. Is j a composite number?
False
Let n = 172845 - 95618. Is n a prime number?
False
Suppose 5*w - 65099 - 29636 = 0. Is w prime?
True
Let n(q) = -12*q**2 - 13*q + 3. Let o(z) = -11*z**2 - 13*z + 2. Let m(w) = 3*n(w) - 4*o(w). Is m(-18) a composite number?
True
Let r(t) = -t**3 + 10*t**2 + 4*t - 4. Let d(j) = j**3 + 7*j**2 + 4*j - 3. Let b be d(-6). Is r(b) prime?
True
Suppose -20465 = -8*f + 96087. Is f prime?
False
Let w(p) = p + 1. Suppose 5*i = -g - 22 + 4, -2*g - 10 = -3*i. Let d be w(g). Let s(c) = -22*c + 9. Is s(d) prime?
True
Suppose 0 = -63*x + 60*x + 2019. Is x a prime number?
True
Let q = -19730 - -39103. Is q a composite number?
False
Suppose 4*s = 4*d + 8, -3*d + 34 = 4*s + s. Suppose -3*x - d = 0, 4*t - 3*x = -x + 766. Is t a composite number?
False
Suppose 5*o - 3*b - 2 = -17, b - 5 = 5*o. Suppose -a + 55 = 4*z, o = 3*a + 2*z - 3*z - 139. Is a prime?
True
Suppose -18 = 4*t - 10302. Is t a composite number?
True
Suppose 216*p + 2742404 = 244*p. Is p prime?
True
Suppose 0 = 4*z - 0*z - 69820. Is z a composite number?
True
Let r(j) = 1065*j**2 + 7*j - 7. Is r(3) a prime number?
False
Let l(j) = 62*j**2 - 6*j + 4. Let g be l(5). Let d(u) = -u**2 + 12*u. Let b be d(11). Suppose 7*v - b*v = -g. Is v a composite number?
True
Let j(q) = 2115*q + 28. Is j(15) a composite number?
True
Suppose 6*h - 11*h - 16445 = 0. Let w = 5195 + h. Is w composite?
True
Let n(q) be the second derivative of -1/2*q**2 - 5*q - 1/6*q**3 + 0 + 1/12*q**4. Is n(-9) a composite number?
False
Suppose 0 = -17*x + 19*x. Suppose 2*k - 3*k - 3 = x. Let f(h) = -138*h - 7. Is f(k) prime?
False
Let h(p) = -p**2 + 2*p - 6. Let l be h(0). Let f(d) = 12*d**2 - 6*d + 3. Let k be f(l). Suppose 2*n = 4*i + 515 - 177, -k = -3*n - 3*i. Is n composite?
True
Let n = -5421 + 7788. Suppose 3*i - n = -3*j, j = -i + 4*j + 789. Is i a composite number?
True
Let i = 253 - -78. Is i a prime number?
True
Let v(t) = -54*t**2 - t. Let w be 4/10 - (-9)/15. Let o be v(w). Let r = o - -114. Is r a composite number?
False
Let o(c) = -c + 67. Let r(j) = j + 9. Let g be r(-8). Let u be (-10)/5 - g*-2. Is o(u) prime?
True
Let w(d) = -7*d - 2. Let u be w(-1). Suppose 0 = -5*l - 4*y + 12, 2*l - u*y = -0*y + 18. Suppose l*z - m - 576 = 4*m, z - m = 145. Is z a composite number?
False
Is (1/(-2)*-7)/(72/11376) a composite number?
True
Let x(w) be the first derivative of 8*w**3/3 - 3*w**2 + 3*w - 13. Is x(8) composite?
False
Let u(q) = -1. Let b(h) = 13*h**2 + 9*h + 8. Let m(x) = b(x) - 2*u(x). Let z be m(-5). Suppose 3*v = 3*c + z + 106, c + 656 = 5*v. Is v a prime number?
True
Let p(c) = c**3 + 10*c**2 + 2*c + 7. Let n be p(-9). Let w = -9 - n. Let f = 137 + w. Is f composite?
True
Let p(l) = -10*l**3 + l**2 - l - 4. Let j be p(-3). Let b = 1131 - j. Is b composite?
False
Let r(b) be the first derivative of -3*b**4/4 - b**3/3 + 3*b**2 + 4*b - 3. Let z be r(-4). Let m = z + -67. Is m prime?
True
Suppose u + 4*c - c = 1138, 4*u = -4*c + 4592. Suppose -8*p + u = 17. Is p a composite number?
True
Let a(n) = 10*n**2 - n**2 + 3*n - 2 + 38*n**2 - 3*n**2. Let l be a(2). Suppose 87 + l = c. Is c prime?
False
Let g(x) be the second derivative of 91*x**4/12 - 7*x**3/3 + 2*x**2 + 29*x. Is g(-3) prime?
False
Suppose 0 = -9*q + 8*q - 4. Is 526 + q/(-20)*5 a prime number?
False
Is (-1 - (-9 + 12)) + 9537 a composite number?
False
Suppose 3*y = -4*d + 5540, d + 3*y = 2*y + 1386. Suppose -v = -5*j + 7403, 0 = 3*j + 2*v - d - 3065. Suppose -4*h + j = 213. Is h prime?
True
Let c(i) = i**3 + 4*i**2 + 4*i + 3. Let u be c(-3). Suppose -2*r - 10*f + 14*f + 346 = 0, u = -2*r - f + 361. Is r composite?
False
Let q = -10 - -11. Let i be 1 + -1 - (-4 + q). Let p = 9 - i. Is p prime?
False
Let m = -425 - -11452. Is m a composite number?
False
Let l(j) = j**3 - 6*j**2 + 4*j - 4. Let i be l(6). Let r = i + 33. Is r composite?
False
Let j(q) = 880*q**2 + 23*q + 118. Is j(-5) prime?
True
Let z(l) = 12*l**2 - l + 13. Let q be (6/10)/((-4)/60*-3). Is z(q) composite?
True
Let p(y) = y**3 - y**2 - 2*y + 187. Let w be 0*(3 - 21/6). Let g be p(w). Let h = g - -24. Is h composite?
False
Suppose -5*v - 10*v = -8745. Is v a composite number?
True
Let c(p) = -595*p + 29. Let z be c(-13). Is (2/3)/(((-80)/z)/(-10)) composite?
False
Let d be (35/28)/(2/8). Let g(u) = u - d*u + 4 + 3*u**3 - 1. Is g(2) prime?
True
Is 2*121472/30 + (-10)/75 prime?
False
Let c = 3405 + -4816. Let g be (-2)/6 - 6593/3. Let o = c - g. Is o prime?
True
Let s = 5537 + 16710. Is s a composite number?
False
Let n(i) be the second derivative of 3*i + 0 + i**3 + 1/12*i**4 - 2*i**2. Is n(-9) composite?
False
Is 2053*((-2)/(-4)*6 + -2) prime?
True
Suppose -14*u + 80060 = -4598. Is u prime?
True
Let g = -9 - -5. Let k be (-18)/4*g/6. Suppose k*z - 5*b - 208 = 0, 0*z + 4*z - b - 283 = 0. Is z prime?
True
Let x(a) = 53*a**2 - 10*a + 7. Let p be x(9). Let t = p + -2927. Is t composite?
False
Suppose -2*p + 3*w + 6 = p, -5*p = w - 34. Suppose -n + 637 = p*n. Is n a composite number?
True
Let r(i) = 692*i - 101. Is r(8) composite?
True
Let k be 5/(-10) - 15/(-6). Let s = -4 + 4. Suppose s*c + 118 = k*c. Is c a prime number?
True
Suppose f - 3 = 6. Let g = -335 + 339. Suppose -f*o + 635 = -g*o. Is o composite?
False
Let f(q) = q**3 + q**2 - q + 443. Suppose 4*c + 10 + 30 = 0. Let v(s) = -s**2 - 9*s + 10. Let p be v(c). Is f(p) a prime number?
True
Suppose -y + 1857 = 5*n, 0 = -5*y - 4*n + 2097 + 7146. Is y a composite number?
False
Is (5685/6)/5*(-2)/(-1) prime?
True
Let o be (49/(-14))/((-2)/4). Suppose 1 - o = -p. Suppose 0 = -4*a + 3*r - p*r + 512, 5*r - 504 = -4*a. Is a prime?
True
Suppose 5*b - 15 - 5 = 0. Suppose -b*r + r + 3 = 0. Is r/(2 - 129/65) a prime number?
False
Let w = 2259 + -526. Is w prime?
True
Let p be 634/(1*(-4 - -3)). Is (1*12/8)/((-3)/p) a composite number?
False
Let y be (19 + -18)/(1/8). Suppose 0 = 2*q + y, 5440 = 4*v + 3*q - 2*q. Is v a prime number?
True
Let v(h) be the second derivative of -2*h + 7/12*h**4 + 0 - 1/2*h**2 + 1/2*h**3. Is v(-5) a prime number?
False
Suppose -4*x + 20161 = f - 12056, 5*x = 4*f - 128763. Is f prime?
False
Let n(p) = 14*p + 8. Let u be n(11). Let q = 294 - -205. Let o = q - u. Is o a prime number?
True
Suppose -148 = -4*h - 928. Let v = -46 - h. Is v a prime number?
True
Suppose -8*d = -13*d - 535. Let o = -4 - d. Is o prime?
True
Suppose 152 + 64 = 9*r. Let t = 143 - r. Is t a composite number?
True
Suppose -10700 = -41*b - 2869. Is b composite?
False
Suppose -2*w + 12 = -2*i, 3*w + 4*i + 7 = 2*i. Let s(a) = 1583*a**3 + a**2 - 1. Is s(w) a prime number?
True
Let x(z) = z**2 - 3*z + 1. Suppose 12 + 8 = 5*r. Let y be x(r). Suppose 4*c - i - 7531 = 0, 5*c - 11245 = -y*i - 1825. Is c a composite number?
True
Suppose 0*f - 1169 = 4*q + 3*f, 4*f = -12. Let t be 5821/(-11) + (-24)/(-132). Let s = q - t. Is s composite?
False
Suppose 0 = 65*g - 68*g + 12315. Is g composite?
True
Let x = 70 + -55. Let k = x + 8. Is k prime?
True
Let s(u) = -553*u + 109. Is s(-18) composite?
True
Suppose 10 = 3*k + 2*k. Suppose 2*z - 4*v - 14 = 0, -3*v = -z - k*v + 2. Let x(q) = -4*q**3 + 3*q**2 + 4*q + 4. Is x(z) composite?
False
Suppose y + 9588 = -5*f + 11