Suppose -9*x - 27 = -6*x. Let s = x + 30. Is s composite?
True
Let p = -3 + 3. Suppose p = -3*f + 107 + 4. Is f composite?
False
Suppose 3*b - 144 = -0*b. Let o = b - 87. Let r = -18 - o. Is r prime?
False
Suppose -2*k + 211 = -2*v - 567, 2*k + 4*v = 778. Is k composite?
False
Suppose 8*a = -2166 + 12446. Is a a prime number?
False
Suppose 38 + 174 = 4*p. Is p a prime number?
True
Suppose 2*j - 6*j = -16. Let s(c) = 5*c + 1. Is s(j) a prime number?
False
Suppose 4*s + 4*f - 192 = 0, 2*s + 169 = 5*s - 2*f. Is s composite?
False
Let d(b) = -b - 3. Let u be d(3). Is (-9)/u - 463/(-2) a composite number?
False
Let c = -4 + 9. Suppose z + 172 = c*f, 0 = -0*z + 2*z + 4. Is f composite?
True
Suppose 4*o = 3*j + 1058, -3*o + 2*j + 437 = -356. Is o composite?
False
Let k(v) = v**3 + 3*v**2 - 5*v - 6. Let d be k(-4). Is (33/12 - d)*4 a composite number?
False
Let c(w) = w**2 - w + 4. Let d be c(5). Suppose i + 5*k - d = 0, -k + 2 = -2*i + 5*i. Is i*9/6*-2 a prime number?
True
Suppose -2*r - 59 = l, 0*r + 5*l = -2*r - 71. Let v = -19 - r. Is v a composite number?
True
Suppose 10*k - 5*k = 155. Is k a prime number?
True
Suppose -74 + 29 = 5*t. Let r be (-3)/t + (-1)/3. Suppose 2*n + 2 = r, 3*n + 45 = 3*k - 0*n. Is k prime?
False
Let h = -12 + 22. Is (-2 - -1)*(0 - h) prime?
False
Let j = 1415 + 732. Let k = -1462 + j. Is k a composite number?
True
Suppose 0 = -3*t - 2*t - 770. Let m = t + 285. Is m prime?
True
Let j(p) be the third derivative of -p**4/8 + p**3/3 + 3*p**2. Is j(-7) a composite number?
False
Let d = 10 + -15. Let i = d - -8. Suppose -i - 39 = -2*l. Is l composite?
True
Let n be (-2)/(-2) - (2 - 10). Suppose -b + 4 - n = -5*o, -4*b + 2*o = 2. Suppose 248 = 2*g + 3*f, 5*g + 4*f - f - 629 = b. Is g composite?
False
Suppose 4*v - 1 - 11 = 0. Suppose -1 = 5*n - 4*d, 4*n + 2*d = -v*d + 32. Is ((-14)/n)/(2/(-15)) a prime number?
False
Is -2 - -2 - (-5 - 260 - 0) composite?
True
Suppose -7 - 4 = 3*z - 2*o, 4*z = -2*o + 4. Is 130 + (-3 - (z - -1)) a composite number?
False
Let q(t) = -4*t. Let n be q(-5). Is -5 + 7 + n + 1 prime?
True
Suppose -8 = -7*f + 3*f. Let o(w) = w**2 - 2*w - f + 0 + 4. Is o(4) a prime number?
False
Let i = 2627 - 1876. Is i prime?
True
Suppose 790 = 3*z - 71. Is z a prime number?
False
Suppose 0*b = b - 8. Let l = b - 7. Is 4*(l - (-153)/12) prime?
False
Let m = 9 - 12. Let o(z) = 15*z**2 + 4. Is o(m) prime?
True
Let r(s) = -s + 8. Let z be r(7). Let q be 7 + -4 + 16/z. Let a = q - -34. Is a a composite number?
False
Suppose 0 = -2*i - 4*a + 1502, 3741 = -2*i + 7*i - 4*a. Is i prime?
False
Suppose 5*s - 2363 + 178 = 0. Is s a prime number?
False
Let g(s) be the third derivative of 2*s**2 - 5/6*s**3 - 1/8*s**4 + 0 + 0*s. Is g(-8) prime?
True
Let t = -3 - -3. Suppose 3*q + 16 - 4 = t. Let f(k) = -k**3 - k**2 - 1. Is f(q) composite?
False
Suppose 0 = -3*n + 2*x + 2855, 4*n - 4755 = -n + 5*x. Is n a prime number?
True
Let p(s) = 3*s**2 + 3*s + 2. Let y be p(-2). Is (-1)/(-4) + 278/y composite?
True
Suppose -3*y = -4*y + 391. Is y composite?
True
Let k = 453 + -322. Is k composite?
False
Let m(f) = f**3 - 2*f**2 - 8*f + 6. Let d be m(6). Suppose 7 = -5*z + d. Is z a prime number?
True
Let j = -1 + 1. Suppose j*z - 3 = z. Is 0 - z/(9/102) prime?
False
Let k = -978 + 1371. Is k a composite number?
True
Suppose -i + 523 = -214. Is i a composite number?
True
Is (7/3 - 2) + (-880)/(-24) a composite number?
False
Suppose -5*m - 236 = -3*m. Let a = m + 177. Is a a composite number?
False
Is 66*(3 + 10/(-4)) a composite number?
True
Let p be 24/(-20)*640/(-6). Suppose 5*h - p = 27. Suppose 0*f - f = 3*t - h, -4*f = -5*t + 29. Is t a composite number?
True
Let t be (-9)/((-3627)/(-1212) + -3). Let z = t - 799. Is z prime?
False
Suppose 2*f + 3*f - 665 = 0. Is f a composite number?
True
Suppose 264 = i + r, 0 = -3*i - 2*i - r + 1324. Is i a prime number?
False
Let k(z) = -z**3 + 9*z**2 - z + 12. Let i be (-4)/10 - (-47)/5. Let s be k(i). Suppose s*j - 148 = -j. Is j prime?
True
Let w(n) = -5*n**3 - 6*n**2 - 5*n + 3. Is w(-5) composite?
False
Let w = 124 + -37. Is w a composite number?
True
Suppose -4098 + 1185 = -3*j. Is j prime?
True
Let d = 19 + 66. Is d a composite number?
True
Suppose -5*p - 7 = 3. Let k(q) = 7 - 48*q - 9 + 3. Is k(p) composite?
False
Is 10/6 - 39568/(-12) prime?
True
Suppose -5*q - 35 = 1640. Let h = 108 - q. Is h a prime number?
True
Let f be 0*(-3 + 7/2). Suppose 0 = 2*v + 3*o - 291, f = -4*v + 5*o + 400 + 149. Suppose 0*i - v = -3*i. Is i a composite number?
False
Let c(v) = v**2 - 3*v + 4. Let z be c(3). Suppose 4*w = 3*q - 265, 208 = 3*q + z*w - 25. Is q composite?
False
Suppose -7*r + 5464 = -5*r. Suppose 0 = -7*j + 3*j + r. Is j a prime number?
True
Suppose 0 = i + 1 + 9. Is 5/i*2*-67 a prime number?
True
Suppose 0*j = -4*j + 12. Suppose r = j - 1. Suppose l + 717 = 5*z, r*z + 2*l - 240 = 42. Is z a composite number?
True
Suppose -19*v - 17773 = -26*v. Is v prime?
True
Suppose -3*v - 5 = -0*v + y, v - 4*y - 7 = 0. Let k(m) = -42*m**3 + m**2 - m - 1. Let n be k(v). Suppose -5*l + n = 8. Is l composite?
False
Suppose -1944 = -3*z + h + 1172, 2*z + 4*h = 2082. Is z a prime number?
True
Suppose -r + 92 = -h, r + 144 = -5*h - 298. Let g = h - -201. Suppose -3*y = 5*t - g - 123, -3*y - 47 = -t. Is t a composite number?
False
Let g(u) = 5 - 1 + 0 - u. Let f be g(2). Suppose f*z - 345 = -z. Is z composite?
True
Let v(h) = 3*h + h - 1 + 5*h**2 + 3. Is v(-3) prime?
False
Let x = -7 + 4. Let y be (-66)/(-5)*(2 - x). Suppose -y = -0*d - 2*d. Is d a prime number?
False
Let b = 6 + -5. Let l(r) = 30*r + 1. Is l(b) a prime number?
True
Let d be 3/9*-1*-93. Let x = d - 9. Is x composite?
True
Let j(q) = -4*q**2 + 5*q - 2. Let h be j(3). Let o = -14 - h. Is 438/o + (-3)/(-9) prime?
False
Let s = 184 - -15. Is s a composite number?
False
Let z(w) = -43*w - 6. Let a(t) = 1332*t + 185. Let q(s) = 6*a(s) + 185*z(s). Let j be q(1). Suppose 21 + j = p. Is p a composite number?
True
Suppose 951 - 2610 = -3*g. Is g a prime number?
False
Let k = 516 - 279. Is k composite?
True
Suppose -3*s = 4*r - 160, -2*r + 3*r = -3*s + 40. Let a = r - -13. Is a prime?
True
Suppose -4*k + 2*k + 1297 = -u, 3 = -u. Is k prime?
True
Is (-1494)/(-5) - 8/(-40) composite?
True
Let c(k) = k**3 + 8*k**2 + 6*k - 3. Let g be c(-7). Let o(m) = -12*m - g*m**2 + 5 - m**3 - 1 - 6*m**2. Is o(-9) a composite number?
False
Let b = 340 - 240. Let t = -51 + b. Is t a composite number?
True
Is (-28)/(-84) + 1526/3 prime?
True
Suppose -5*f + 2*p + 2*p = 2, 0 = -5*f + 2*p + 4. Let k(z) = 1 + 0 + f - 2 + 148*z**2. Is k(1) a composite number?
False
Let z(s) = 0 + 8 + 6 + s. Let u be z(-9). Suppose u*d - 100 = -t, -2*d - 2*d + 101 = 5*t. Is d prime?
True
Let u(x) = x - 8. Let c be u(12). Suppose -c*k + 3*k + 22 = 0. Is k prime?
False
Let p = 1259 + -758. Is p a prime number?
False
Let h(n) be the third derivative of -n**4/3 + 3*n**3/2 + 3*n**2. Let o(x) = -x + 1. Let f(a) = -3*h(a) + 21*o(a). Is f(7) prime?
False
Let o(f) = 2*f**2 + 11*f - 15. Is o(-11) a prime number?
False
Suppose -4*l + 4*r - 4 = 0, 2*l + r = 2 + 11. Suppose l*q + 14 = 4*c + 90, -5*c + 2*q - 89 = 0. Let o = 70 + c. Is o a prime number?
True
Let r(l) = -5*l**2 + 4 - 9*l**3 + 10*l**3 - l + 2*l. Is r(7) composite?
False
Let w(u) = 12*u**2 + 2*u - 13. Is w(6) a prime number?
True
Let x(w) = 2*w + 3. Let v be x(6). Let t = v - -356. Is t a composite number?
True
Suppose -1059 = -4*l + l. Is l prime?
True
Let p(f) be the second derivative of 19*f**5/5 - f**4/12 + f**3/3 - f**2/2 - f. Let w be p(1). Suppose -w = -4*x + 80. Is x a prime number?
False
Let b(u) = u**3 - 6 - 5*u**2 + u + 0 + 0. Let c be b(5). Is c*17*(-5 - 2) a prime number?
False
Let j(b) be the second derivative of 1/6*b**4 + 3*b + 5/6*b**3 - 4*b**2 + 0. Is j(-7) a composite number?
True
Let i be 3 - (1 + 3 + 1). Let b be i*(3 + (-7 - -3)). Suppose x - 3*x = b, 3*d - 32 = -x. Is d composite?
False
Suppose 3*y = 4*y - 62. Suppose 0 = q - 65 - y. Is q prime?
True
Suppose -4*b + 216 = 4*h, 2*h + 0*h - 5*b - 101 = 0. Let q = 90 - h. Is q a composite number?
False
Suppose 5*j - j = 20. Suppose 5*i + 4*k = 64 - 10, -j*i - 5*k + 50 = 0. Is i/(-8)*-2*2 a prime number?
True
Let c = 511 + 238. Is c a composite number?
True
Suppose 5 = 3*c + 2. Is (189 +