Let c = j - 28. Is c a composite number?
True
Let f(z) = z**3 - 3*z**2 - 6*z + 5. Let v be f(4). Let u be -1 + (-1 - 0)*v. Is (60 + u)*(-2)/(-4) a prime number?
True
Let q(v) = v**2 + 11*v - 11. Let l = 1 - -11. Is q(l) a prime number?
False
Suppose 3*d - 12 = -4*u + d, 0 = -2*u + 2*d + 12. Is 772/8 + 2/u composite?
False
Let w(c) be the second derivative of 2*c**3 + 5*c**2/2 + 3*c. Is w(5) prime?
False
Let k(l) = 3*l**2 - 11*l - 4. Let w be k(6). Let a = -7 + w. Is a prime?
True
Let a(r) = -15*r**2 - 2*r + 5. Let n(f) = 8*f**2 + f - 3. Suppose -3*t + 6*t + 15 = 0. Let i(b) = t*n(b) - 3*a(b). Is i(2) composite?
True
Let b be (-22446)/(-24) - 2/8. Suppose -3*y = -8*y + b. Is y composite?
True
Let t(r) = 11*r**2 - 4*r + 3. Let i = 1 + 3. Is t(i) composite?
False
Is (4 - (2 - -6)) + 107 a prime number?
True
Suppose -2*y - i - 505 + 3384 = 0, 0 = y + i - 1442. Is y a prime number?
False
Let y(i) = 6*i**3 - 9*i - 13. Is y(8) a prime number?
False
Let m = -4 - -6. Suppose 0 = -5*g - m*o + 265, -4*g - 2*o + 39 + 173 = 0. Is g a prime number?
True
Let r be (-2)/((-5)/(-7) + -1). Is (4 - r) + (-236)/(-1) a composite number?
False
Suppose -2*f = -v - 152, 0*v - 4*v + 8 = 0. Suppose -2*j - 44 = -3*w, 3*w + 169 = -5*j + 17. Let z = j + f. Is z prime?
False
Let v = 4 + 0. Suppose 0 = 2*c + 3*j - 4, -v*j - j + 20 = 0. Is 1158/14 + c/(-14) composite?
False
Suppose -10 = -5*q + 15. Suppose 5*r + 320 = q*h, 36 + 95 = 2*h + r. Is h prime?
False
Let w = 3 + 1. Suppose 4*b = -w*t + t - 2, t = -b - 1. Is (b - 52)*5/(-3) a prime number?
False
Let x = -1053 - -1975. Is x a prime number?
False
Let d = 5 + 0. Suppose -2*p + d*p = 447. Is p composite?
False
Suppose z - 4*q - 2365 = -2*z, -5*z + 3*q + 3938 = 0. Is z a composite number?
False
Let h = 119 - 173. Let l = h + 160. Suppose -3*g = -g - l. Is g a composite number?
False
Let z(k) = -47*k. Let r = 3 + 3. Let q = r - 7. Is z(q) a prime number?
True
Let w = 2264 + -1273. Is w composite?
False
Let n = 440 - 229. Is n composite?
False
Suppose -4*a + 146 = -5*v - 238, a - 96 = 5*v. Let z = 148 + a. Let i = z - 165. Is i a composite number?
False
Let s = -51 + 274. Is s a composite number?
False
Is (-3639)/(-11) + (-2)/(-11) prime?
True
Let o(a) = a + 3. Let n be o(0). Suppose -n*h + 8*g + 182 = 3*g, 114 = 2*h + 4*g. Is h prime?
True
Let r(s) = -18*s - 7. Let g be r(-6). Suppose -2*x - g = -3*b, 105 = 3*b - 2*x - x. Suppose -l + b = 10. Is l prime?
False
Suppose 0 = 3*o + 23 + 7. Let y(g) = g**2 - 5*g + 11. Is y(o) a prime number?
False
Suppose 3*q - 9 - 312 = 3*u, 0 = -5*q + 2*u + 532. Is (q + 0 - 0) + 0 prime?
False
Suppose -4*d - 2*j = 9 + 3, 2*d - 2*j = 6. Let i = 2 - d. Is i/(-3) + -2 - -160 a prime number?
True
Let s(j) = 10*j**2 - j. Let g be s(6). Let k = g - 247. Suppose -2*o = -b - k, 5*o + b = -0*b + 264. Is o a prime number?
True
Let g = 12 - 7. Let w(r) = -16*r - 16. Let v be w(-7). Suppose -o + 2*c = 4*o - 87, v = 4*o + g*c. Is o a prime number?
True
Let o(h) = 280*h**2 + 2*h + 5. Is o(-2) composite?
True
Let d(v) be the second derivative of -1/2*v**2 + 16/3*v**3 + 3*v + 0. Is d(4) a composite number?
False
Let c(u) = -30*u. Let y be c(1). Let r = 2 + y. Is (-8)/r + 243/7 a prime number?
False
Let j = -1 + 6. Let o = -7 + j. Let w = 13 + o. Is w a composite number?
False
Let p(x) = 1 + 2 - 2*x - x. Suppose -b = 5*c + 48, 0 = -0*c + 2*c + 3*b + 14. Is p(c) a prime number?
False
Is (-8)/(-28) + 0 - (-11014)/14 composite?
False
Let a be (-6)/(-9)*(0 - -15). Suppose 3*y - 8 = a. Is (117/y - 1)*2 a composite number?
False
Let z(k) = 12*k**2 - 3*k + 5. Is z(8) prime?
False
Suppose 4*w = 9*w. Suppose w = -3*k - 9, -122 = -4*o + 2*o + 2*k. Is o a prime number?
False
Is (-20)/(-10)*3777/6 a composite number?
False
Let a(p) be the first derivative of p**7/840 + p**6/30 + p**5/10 - 13*p**4/24 + 2*p**3/3 - 2. Let f(h) be the third derivative of a(h). Is f(-10) prime?
True
Suppose 0*u = -5*u. Suppose 5*w + 0 = 2*j - 2, -2*w + 4 = u. Suppose j*z - z + g = 1112, 3*z = -3*g + 660. Is z prime?
True
Suppose -6 = -4*a + 6. Suppose 5*j + a*y - 400 = 0, 0 = 3*j - 5*y - 53 - 221. Is j composite?
False
Let n(s) = s**3 - 30*s**2 + 39*s - 31. Is n(30) a composite number?
True
Let c be (-3)/(-12) + (-7)/(-4). Suppose -g + 1 = -1. Suppose -g*t + 35 + 27 = 5*a, 0 = 3*a + c*t - 34. Is a prime?
False
Let b be (-7)/(-5) + (-8)/20. Let y be 1/1*2/b. Suppose k + 9 = -s + y*s, -5*k - 5 = -s. Is s composite?
True
Let r be (-2865)/(-25) + (-2)/(-5). Suppose -l + r = 3*t, 220 = -0*l + 2*l + t. Is l a prime number?
True
Let h(x) = 32*x**2 + x. Let z be h(-1). Let k = z - -24. Is k a prime number?
False
Suppose -o + 486 = 4*k, 78 = 4*k + 4*o - 402. Is -1 + k + -4 + 1 a prime number?
False
Is 55 - (-2 - 3/3) prime?
False
Let q(u) = u**3 + 5*u**2 - 6*u. Let s be q(-6). Suppose -5*c + 10 = 2*j, -5*c + s*c + 5*j = -10. Is c a prime number?
True
Suppose 171 = j - 4*s - 1, s = -5*j + 797. Let p = -69 + j. Is p a prime number?
False
Let s be 3426/18 + 1/(-3). Let u = s + -96. Is u prime?
False
Let j(x) = 37*x**2 + 12*x + 12. Is j(-11) a prime number?
True
Suppose -m = -0*z - z + 292, -4*m - 4*z = 1208. Let p = -168 - m. Is p a prime number?
False
Let a be 3/((-6)/(-92)) - -1. Suppose a = x - 50. Is x composite?
False
Let n be 6 - 6/(2/1). Is ((-4)/12)/(n/(-1143)) prime?
True
Suppose -a - 283 = 5*b, -b + 39 - 342 = a. Let l be ((-177)/(-3))/(1 + (-8)/9). Let w = a + l. Is w a prime number?
True
Suppose -5*g + 0*g - 9766 = -3*w, -5*g + 3282 = w. Suppose -4*u + 2*l = 6764 - 2398, -3*u + 4*l - w = 0. Let t = -763 - u. Is t composite?
False
Let s = 1141 - 642. Is s a composite number?
False
Suppose 0 = 4*q - 8 - 0. Is q/(-9) - 4839/(-27) prime?
True
Let o(l) = l**2 - l - 6. Let i be o(5). Suppose 4*n - i = 3*n. Is n composite?
True
Is 3/6*358 - 2 a prime number?
False
Suppose 5*x = -457 - 1418. Let v = -212 - x. Is v prime?
True
Suppose 0*z = -4*z + 4688. Suppose 353 = 5*w - z. Is w composite?
True
Suppose 8239 + 3849 = 8*j. Is j prime?
True
Suppose -4*f - 3 = -f. Let n be f/(-1) + (487 - 1). Suppose -4*z - z + n = -2*l, -l = 1. Is z a composite number?
False
Let m(o) = -1 + 0*o**3 - 1 + 3*o**2 - 2*o**2 + o**3 + 2*o. Is m(2) prime?
False
Let j = 7 - 10. Is 146/j*-3 - 3 composite?
True
Suppose r = 5*d + 753 + 296, 0 = -4*r + 2*d + 4160. Is r a composite number?
False
Is (2 - -5032*1) + 5 a prime number?
True
Suppose -9 = 9*j - 12*j. Suppose 180 = 2*l - 2*w + 3*w, -277 = -j*l - 5*w. Is l a prime number?
True
Let f = -52 + 33. Let d = 351 - 243. Let u = d + f. Is u a composite number?
False
Suppose 1405 = 4*q + q. Suppose -2*c + 4*h = 256, 3*c + q = -5*h - 59. Let d = 205 + c. Is d a composite number?
True
Let z(b) be the first derivative of 46*b**3/3 - b**2/2 - 2*b - 2. Is z(3) composite?
False
Let g be 7/((-63)/(-6))*3. Is ((-4)/g)/(8/(-444)) composite?
True
Let j = 13 - 8. Suppose k = 5*s + 86, -3*s - j*k - 12 = -2*s. Let g = 2 - s. Is g prime?
True
Suppose -q + 3*q = 0. Suppose -2*p = -0*l - 5*l - 1062, q = 5*p - l - 2701. Is p composite?
False
Suppose -21 + 6 = -5*c. Suppose 44 = 3*g - 0*a + 2*a, 0 = g + 2*a - 12. Suppose -c*z - z = -g. Is z composite?
True
Let x = 17 - 11. Let g(l) = -4 - 1 - 6*l - 1 + 10*l**2 - 1. Is g(x) a prime number?
True
Let w = 494 - 353. Is w prime?
False
Let o = 414 + -284. Suppose 3*z - o = 29. Is z a prime number?
True
Let r = -39 + 70. Is r composite?
False
Suppose m = -0*p - 3*p - 2, -3*p + 14 = 5*m. Suppose 446 = m*f - 350. Is f a prime number?
True
Let x(l) = l + 47. Let f be x(-28). Suppose 0*d + 3*d = 15. Suppose f = d*q - 376. Is q composite?
False
Is (-1)/(3 - 0)*-333 prime?
False
Let b be 0/(4 + -2 - 4). Suppose -2*c + 138 = 2*o - 160, b = -o + 4*c + 174. Suppose 0 = -2*f + 4*f - o. Is f a composite number?
True
Suppose -5*t = 4*k - 21 - 33, 30 = 2*k + 4*t. Is k a composite number?
False
Let z(b) = -b - 1. Let k be z(-4). Suppose 4*u = k*u. Suppose u = 2*a - 163 - 7. Is a a prime number?
False
Suppose 0*l + 57 = 3*l. Is l prime?
True
Let i be ((-4)/3)/(1/(-3)). Let x(o) = -o + 10. Let u be x(11). Is i + -6 - (u + -66) prime?
False
Suppose 5*w + 30 = 3*z + 5, 0 = -3*z - 3*w - 15. Suppose z = -5*y + 2*y. Suppose -4*r + 27 = d - 44, y = -5*d - 25. Is r composite?
False
Suppose 0 = 3*u - 3465 + 204. Is u composite