(k) = 3*k**2 - 10*k + 6. Let t(l) = -3*o(l) + 5*s(l). Is t(3) a prime number?
False
Let y be (3 + (-392 - -3))/(-2). Suppose -n + 21 = -4*b, -n + 2*b - y = -6*n. Is n composite?
False
Let z(q) = -q**3 - 4*q**2 + 2*q - 7. Let h(b) = -2*b**3 - 3*b**2 + 3*b - 7. Let s(v) = 2*h(v) - 3*z(v). Suppose -8 = -3*k + 10. Is s(k) a composite number?
False
Suppose 0*s + 8 = -l + 2*s, -3*l = 4*s - 26. Let v(i) = 1 - 3*i**l + 3*i + 4*i**3 - 2 + 2. Is v(3) composite?
True
Suppose 0*j = j - 1567. Is j composite?
False
Is ((-20059)/39)/(2/(-6)) prime?
True
Suppose -c = -3*c - 4. Let l be c - (1 + -3 + 0). Suppose -4*q - 4*t = q - 291, t + 1 = l. Is q prime?
True
Suppose 0 = -5*m - 0*o + 2*o + 2, 3*o + 3 = -4*m. Let q be m + (3 - -1) + 2. Suppose q*h - 2*h + b = 76, 0 = -3*h + b + 57. Is h prime?
True
Let b(h) = -191*h. Is b(-1) prime?
True
Suppose 0*k + 2*k = 0. Is -3 - -20 - (k - -4) a composite number?
False
Is ((-2)/(-3))/((-24)/(-8028))*1 prime?
True
Let n be -1*5*(-2)/5. Suppose -302 = 4*b - 2*g, n*g = 2*b + 4*g + 136. Is b/(-4) - (-3)/4 prime?
True
Let m(y) = 235*y**3 - 2*y**2 + 1. Let r be m(-1). Is (-10*1)/(8/r) a prime number?
False
Let y be -9*(-2 + 1) - -1. Is (-339)/(-15) + 4/y a prime number?
True
Suppose 0 = -3*u + 9, -2*s - 2*u - u + 4755 = 0. Suppose 5*v - 6*b = -3*b + 2920, 0 = -4*v - 5*b + s. Is v composite?
False
Suppose 5*g - 3*j = -497, -g + 8*j - 117 = 3*j. Let t = g + 149. Let k = t - 31. Is k a composite number?
True
Let n be ((-106)/6)/(2/(-6)). Suppose 2*b - 3 = n. Let p = 47 - b. Is p a composite number?
False
Is (-53)/(-3)*(-14 - -17) composite?
False
Suppose 2*b = -4*o + 2518, 3*o - 2056 - 1721 = -3*b. Is b a composite number?
False
Is -1*2/(2/(-4909)) composite?
False
Suppose 0 = -5*x - 3 + 8. Suppose -1 = 4*a + y, 2 + 1 = -3*y. Is 0/(x - a) + 55 prime?
False
Let x be (12/14 + 0)*14. Let g = x - 2. Is g a prime number?
False
Suppose -2*l - 2*l - 5*b + 137 = 0, 5*l = -3*b + 181. Let r = -19 + l. Is r composite?
False
Let c = -855 + 1382. Let b = c + -368. Is b composite?
True
Suppose 2*o - 2*n - 84 = -406, -2*o - n - 322 = 0. Let p be 3*(o/(-3) + -1). Is p*((-2)/(-4) + 0) composite?
False
Suppose 5245 = -5*p + 10*p. Is p prime?
True
Suppose 3*s + 4*m = -190, 3*s - 7*m = -3*m - 158. Let a = 55 - s. Is a a prime number?
True
Let r(d) = -d**3 + 5*d**2 + 6*d + 7. Is r(5) prime?
True
Let d = 1189 - 742. Is d composite?
True
Is ((-22)/(-3))/((-18)/(-513)) a prime number?
False
Suppose 2*h - 4 = 5*f - f, 5*h = -f - 23. Is (-15)/9*(-54 + f) composite?
True
Let l(u) = 6*u + 2. Let j(h) = -5*h - 2. Let w(x) = 4*j(x) + 3*l(x). Let z be w(-2). Suppose -z*k - k = -105. Is k composite?
True
Let w = -4 - -7. Suppose 2*y = -2*y + w*n + 6, n = 4*y - 10. Suppose -4*g + 7*i = y*i - 968, -20 = -4*i. Is g a prime number?
False
Suppose 89 + 451 = 4*k. Let l = k - 52. Is l composite?
False
Suppose -j + 5*j - 9268 = 0. Is j a composite number?
True
Let q(b) = -b - 7. Let f be q(-7). Suppose t - 12 - 2 = f. Let o = -1 + t. Is o prime?
True
Let w(a) = 3*a**3 + 5*a - 3. Is w(4) a composite number?
True
Let l = 531 - -100. Is l a composite number?
False
Suppose 0 = -4*t + t. Let k = -2 - t. Let s(l) = -9*l + 1. Is s(k) a composite number?
False
Let u = -51 - -88. Is u prime?
True
Let u = 1311 - 626. Is u a prime number?
False
Suppose -13*u = -9*u - 476. Is u composite?
True
Suppose -1185 = -3*m + 4*r, 3*m + 4*r - 3*r = 1170. Is m a prime number?
False
Let d(x) = -x + 7. Let r be d(3). Is (177/6)/(2/r) prime?
True
Let k = -21 + -3. Is ((-29)/(-4))/((-2)/k) a prime number?
False
Let t(l) = 3*l + 1. Let h be t(-1). Let n = h - -4. Suppose -5*w + 93 = -y, n*w - 36 = -0*y + y. Is w composite?
False
Let z be ((-45)/4)/(39/(-7384)). Suppose h + 0*h - 2160 = -5*a, 5*a - 5*h - z = 0. Is a a prime number?
True
Is (-12188)/(-5) + 3 + (-18)/5 composite?
False
Let t = -3 - -3. Suppose 2*g - 4*j - 458 = t, -2*j + 6*j + 12 = 0. Is g composite?
False
Suppose -12*x + 4326 - 282 = 0. Is x a prime number?
True
Suppose 5*v - 392 = 213. Is v composite?
True
Let d = -5 - -5. Suppose d*i = i. Suppose i = -f - 9 + 23. Is f a prime number?
False
Suppose -x + 2*v + 3 = 0, -2*x + 4*x - 6 = -4*v. Suppose 0*j - 4*g = x*j - 93, -15 = 5*g. Suppose 0 = -5*b + 35 + j. Is b a prime number?
False
Let h = -13 + 19. Let z be -2*1 - (0 + h). Let n = z - -51. Is n prime?
True
Let d(j) = -266*j - 99. Is d(-8) prime?
True
Suppose -37 = -4*a - 2*x + 7*x, x + 5 = 0. Suppose a*l = 5*l - 782. Is l a prime number?
False
Suppose 219 - 24 = 5*w. Suppose f - 7 = -4*c + 45, -f - w = -3*c. Let u(v) = v**3 - 12*v**2 - 11*v + 9. Is u(c) composite?
True
Suppose v - 2*v - 55 = l, l + 43 = 5*v. Let p = 30 + l. Is (1*p)/(-6 - -5) composite?
False
Suppose -5*t + 0 - 30 = 0. Let s = 12 + t. Is s composite?
True
Let i = -4 + 1. Let s = 4 - i. Is s a composite number?
False
Let j be 2/(-7) - 279/(-21). Suppose 4*g + 2 = 22. Suppose 2*p + 171 = g*u, -3 + j = 5*p. Is u a prime number?
False
Let a(c) be the second derivative of -c**4/12 + c**3/6 + 271*c**2/2 - 9*c. Is a(0) composite?
False
Let c be 15/(-2)*(-48)/10. Let o = 6 + -1. Suppose 3*u - 2*v - c = -o*v, v - 26 = -3*u. Is u prime?
True
Suppose n = -u, 17 + 23 = 5*u - 5*n. Suppose 3*b = 3*l - 12, -6 = 2*l - l + u*b. Suppose -3*z + 281 = 2*v + 3*v, l*v - 128 = 4*z. Is v a composite number?
True
Let v(y) = 1. Let m(p) = 30*p - 2. Let d(o) = m(o) + 3*v(o). Is d(7) prime?
True
Let p be -2 + 3 - (0 - 0). Suppose -4*u - u = -240. Let h = u - p. Is h prime?
True
Suppose -1144 + 5185 = 3*f. Is f composite?
True
Suppose -3*d = 12, -5*d - 8 = 5*c - 3. Suppose -c*j = 2*j - 5, -2*w + 3*j + 127 = 0. Is w prime?
False
Let t(d) = 66*d**2 - 2*d + 31. Is t(5) a prime number?
False
Let h be -1 + 1 - (-12 - -9). Suppose r - 1 = 0, -2*b + h*r + 45 + 234 = 0. Is b a prime number?
False
Let v be 4/(0 - -1)*1. Let p be (-232)/6*399/(-14). Suppose v*c = p - 290. Is c a prime number?
False
Suppose -38 = -s - 5. Suppose -4*j = -3*h - 136, j + 2*h - s = 3*h. Is j a prime number?
True
Let c(b) = 49*b**2 + 3*b - 4. Let v(h) be the second derivative of -4*h**4/3 - h**3/6 + h**2/2 - 2*h. Let n(l) = -2*c(l) - 7*v(l). Is n(-2) composite?
True
Let l(z) = -z + 307. Is l(0) prime?
True
Let a(h) = h**2 - 5*h + 3. Let k be a(5). Let q(c) = -75*c - 2. Let z be q(k). Let d = -142 - z. Is d a prime number?
False
Let r(n) = -n**3 - 12*n**2 - 12*n - 1. Let d be r(-10). Let o be (d/6)/(1/2). Let x = o - -50. Is x composite?
False
Let u = -89 - -49. Let z = u - -107. Is z a composite number?
False
Let t(a) = -39*a - 5. Let v be t(-4). Suppose q + v = 5*z, 2*q = 5*z - 0*z - 147. Is z a prime number?
True
Suppose -1 = 4*g + 3. Let q be 79 + g/1 + 0. Is 1 + q/(0 - -1) a composite number?
False
Let v be (9/3 - 3)/1. Suppose -2*t - t + 222 = v. Is t a composite number?
True
Let o be (-6)/3 + 2 + 0. Suppose -5*r + 4*q + 10 - 1 = o, 4*r - 6 = 2*q. Is 200/6 + r/(-3) composite?
True
Let z(h) = -h**2 - 3*h + 3. Let o be z(-3). Let g be ((-2)/6)/(o/9). Is (2/g)/2 - -22 prime?
False
Let b = -146 - -687. Is b a composite number?
False
Is (-267)/6*(-12)/6 a prime number?
True
Let q(o) = -o**3 + 4*o**2 + 6*o - 5. Let a be q(5). Let n = a - -33. Suppose 0 = -2*i + 3*i - n. Is i prime?
False
Let m(a) = 15*a**3 + 9*a + 11. Is m(5) prime?
True
Let o be 2/(-15)*3*-5. Let u be 0 - 1 - (0 + -32). Suppose 3*j - 15 = 0, 2*j - 3*j + u = o*i. Is i a composite number?
False
Suppose -w + 14 = -3*a, -w = -3*w - 3*a + 10. Suppose -2*s = 4*c - 30, 2*s + w - 2 = 5*c. Suppose 19 = f - s. Is f a composite number?
True
Let n = -6 + 9. Suppose -n*q = -3*o - 0*q + 1344, -o - 4*q + 423 = 0. Is o prime?
True
Let t(m) = 2*m**2 + 21*m + 11. Is t(-14) composite?
False
Suppose -4*r - 9 + 21 = 0. Suppose -r*f = -f - 854. Is f a prime number?
False
Suppose 5*j = -20, -3*r + j - 864 = 266. Let d be (4 - 1 - 1) + -847. Let s = r - d. Is s composite?
False
Suppose 0 = -5*y + 3*y + 80. Let q = 64 + y. Suppose 2*d - q = -6. Is d composite?
True
Let x(f) = 15*f - 1. Let k be 0 - (2 - 3)*4. Let b be x(k). Let d = -40 + b. Is d prime?
True
Suppose -3*i = -2*i - 419. Is i prime?
True
Let c(y) = -7*y - 8. Let o be c(-7). Suppose -4*k + 19 + o = 0. Let w = k + -6. Is w composite?
True
Let y be (2/(-3))/(2/(-72)). Let o be (-5)/(-3 + 1 + 1). Suppose -l + o*l = y