 a prime number?
False
Let g(k) = -k**2 - 7*k + 12. Let t be g(-9). Is 0 - (t - -1)*11 a composite number?
True
Let j(o) = 20*o**3 - 3*o + 3. Is j(2) a composite number?
False
Is -2*3/(24/(-1268)) a composite number?
False
Is (18/12)/(3/2194) a composite number?
False
Let s(u) = u**3 + 4*u**2 + 3*u + 3. Let m be s(-3). Suppose m*g = 2*t - 15, 3*t = 4*t. Is 39 + (-5 - (g - -2)) composite?
False
Let f(t) = t**2 + 5*t + 2. Let g be f(-5). Suppose -g*z - 10 = -2*n - 7*z, -3*z = 0. Let m(i) = -i**3 + 5*i**2 + 8*i - 7. Is m(n) prime?
False
Suppose 3*t + 44 = -t. Let b = 106 + t. Is b a prime number?
False
Let j = 18 + 65. Is j prime?
True
Let d(q) = 52*q**2 - 1. Let c be d(1). Suppose -c - 288 = -3*w. Is w composite?
False
Let o(u) = u**2 + u + 169. Let a be o(0). Let h = 251 - a. Is h prime?
False
Let t(c) = 18*c**2 + 2*c + 17. Is t(12) prime?
True
Suppose l = -3 + 1. Let d(s) be the third derivative of -41*s**4/24 + s**3/6 + 3*s**2. Is d(l) prime?
True
Suppose -f + 4*c - 4 = -8, -3*f = 2*c - 12. Suppose -2*u + 156 = -u. Suppose -4*d = f*b - 348 - 316, b - d - u = 0. Is b prime?
False
Let o be (-3)/(-2)*8/(-2). Let w be ((-4)/o)/((-6)/(-45)). Suppose -3*z = -3*c - 78, -w*c - 44 = -3*z + 24. Is z a composite number?
False
Let i(q) = -q**2 - 4*q + 5. Let p be i(-5). Let t = 0 + 4. Suppose -d + p = -t. Is d prime?
False
Let j(a) = -a**2 + 9*a - 4. Let u be j(10). Let w = u - -9. Let k(f) = -26*f - 3. Is k(w) prime?
True
Let t(p) be the second derivative of -p**3 + p**2/2 + p. Is t(-5) prime?
True
Suppose -g + 0*b - 222 = 3*b, 0 = 3*b. Let z be -1*5/(15/g). Suppose 3*k = 5*k - z. Is k a composite number?
False
Let k(g) = -2*g + 23. Let y(v) = v - 12. Let n(j) = 2*k(j) + 5*y(j). Let t be n(0). Is t/(-6) - 1/3 a composite number?
False
Let p(w) = 2*w + 1. Let j be p(1). Let k be ((-106)/(-2))/(j/9). Suppose -x + 4*c = -0*c - k, 0 = 5*x + 2*c - 685. Is x a composite number?
False
Suppose -3*d = 2*g + 4, -4*d - 8 = -3*d + 2*g. Suppose -z + d = -0. Suppose 4*p - 60 = -4*s, p - 30 = -z*s - 0*p. Is s a prime number?
False
Let v(j) = -j**2 + 4*j + 42. Let y be v(9). Suppose -6 + 2 = -2*p. Is y - (p + -136 - 0) prime?
True
Let h = 192 - 128. Let u(w) = 13*w**2. Let g be u(-3). Let m = g - h. Is m a prime number?
True
Let n = 8 + -6. Let h be 10*47*5/n. Suppose -6*w = -w - h. Is w composite?
True
Let z(v) = 8*v**2 + 2*v + 3. Is z(7) composite?
False
Let b(t) = -t - 3. Let l be b(-6). Suppose -l*u + h = -1341, 2*u = -h - 3*h + 894. Is u prime?
False
Suppose -3*s = -5020 - 2657. Is s prime?
False
Suppose 24 = 3*d - 2*d. Suppose z - 1 - 1 = 0. Suppose 2*b = -3*x + d, -z*b = -5*x + 3*b + 65. Is x composite?
True
Let y be (-1)/5 + 182/35. Let t = y - 3. Suppose -2*l - 3*v = -45, -t*l = -4*l - v + 43. Is l a prime number?
False
Suppose -2*h = -21 - 3. Suppose h - 4 = 2*m. Suppose 2*a - 3*d + 286 = m*a, 0 = a + 3*d - 137. Is a a prime number?
True
Suppose -6*p + 3*p - 588 = 0. Let m = p + 285. Is m composite?
False
Is (2 + -1201 + -2)/((-30)/30) a prime number?
True
Let y(q) = 5*q**2 - 1. Is y(4) a prime number?
True
Suppose 0 = 4*d - 698 + 126. Let n = d + -12. Is n a composite number?
False
Let j(g) = -16*g + 0 - 2 + 5 - 2. Let d(k) = -k**3 + 4*k**2 - 2*k - 2. Let t be d(4). Is j(t) a prime number?
False
Let x = 52 - -589. Is x a composite number?
False
Let q(c) = -c**2 - 3*c + 2. Let o be q(-4). Let t be 1/(-6) - o/12. Suppose 5*j - 1011 + 206 = t. Is j a prime number?
False
Let z(w) = -w**3 - 7*w**2 - 5*w - 2. Let n be z(-7). Suppose -3*b + 154 + n = -5*x, -3*x - 264 = -4*b. Is b a composite number?
True
Let s be (-22)/(-4) - 7/14. Let i(x) = 23*x**2 + 3*x - 2. Let w(y) = 11*y**2 + 2*y - 1. Let k(u) = s*w(u) - 2*i(u). Is k(-4) a composite number?
False
Suppose 4*r - 3*y = 2*y + 33, -r = -3*y - 17. Let j be ((-4)/(-6))/((-8)/(-24)). Suppose 62 = j*d - 4*m, -r*m = -3*d + m + 78. Is d a prime number?
False
Suppose -5*a + 1910 = -4*w - w, 4*a = 3*w + 1529. Is a a prime number?
True
Let d(h) = -229*h**3 - 2*h**2 - 2*h - 1. Let f be d(-1). Suppose -f - 3 = -3*r. Is r a prime number?
False
Let v(p) = 421*p**2 - 3*p - 2. Let t = -12 - -11. Is v(t) a composite number?
True
Suppose -2*m - 4 = s, 4*s + m - 13 = -1. Suppose -i = -s*z + 612, z + 3*i + 316 = 3*z. Suppose 0 = -g - 3*g + z. Is g prime?
False
Let q(s) = s**3 - 7*s**2 + 5*s + 6. Let p be q(6). Suppose 0 = -3*z + 2*z. Is -25*(-1 - z - p) a composite number?
True
Let j = 11 - 7. Suppose -5*q = -3*o - 30, -47 = -0*q - 3*q - j*o. Let b = q - 2. Is b a prime number?
True
Suppose -3 = -0*j - 3*j. Let k(t) = 98*t**3 - t**2. Is k(j) composite?
False
Let w = 0 - -3. Suppose 4*v - 72 = 4*i, -4*v + i + 48 = w*i. Let j = 29 - v. Is j a prime number?
False
Let s(a) = 4*a + 1. Let x(v) = -v**2 - 7*v. Let t be x(-6). Is s(t) a prime number?
False
Let c(r) be the third derivative of r**6/120 - r**5/60 - r**4/8 - 3*r**2. Let m be c(-3). Let x = -1 - m. Is x a composite number?
True
Let q = 152 - -489. Is q a composite number?
False
Let g(y) = y**2 + y + 1. Let m be g(-2). Let j(d) = 3*d**2 + 4*d - 4. Is j(m) a prime number?
False
Let n = -6 - -6. Let o = n + 2. Is o composite?
False
Suppose -2*v - 347 = -p, p - 5*v - 417 = -55. Is p prime?
True
Suppose 0 = 5*q + 17 - 117. Is 5/(q/(-316))*-3 composite?
True
Let t = 6 + -1. Suppose 2*z + 2*m - 14 = z, 3*z - 37 = -t*m. Suppose y - z*y - 2*o + 61 = 0, 8 = -2*o. Is y a prime number?
True
Suppose 0 = -0*f + f - 31. Let a = f - -78. Is a prime?
True
Let f(w) = 2*w**2 + 10*w + 7. Let b be f(-9). Let u = b - -32. Is u prime?
False
Let s(w) = 13*w**3 + 6*w**2 + 4*w - 11. Is s(6) a composite number?
False
Let t = -564 + 1460. Suppose -5*j + 3*v + 0*v = -1103, v = -4*j + t. Is j prime?
True
Suppose -2*d = -10 - 0, 3*b - 377 = 5*d. Suppose y = -3, 3*y + 548 = 5*j + 144. Let f = b - j. Is f composite?
True
Let u(x) = 7*x**2 + x - 4. Is u(-2) a prime number?
False
Let h be (-4)/(-26) + 56/(-26). Is (h/4)/(2/(-104)) prime?
False
Let v = 1971 + -238. Is v a prime number?
True
Let v = -1 + 3. Suppose 0 = v*x - 7*x. Suppose 63 = -x*z + 3*z. Is z composite?
True
Let n be ((-11)/2)/((-2)/(-4)). Let j = n + 1. Is (-10 - -5)*12/j composite?
True
Let q = 15 - 11. Is 6/4 - (-86)/q a composite number?
False
Suppose 5*p = 2*p + 9, -3*p = 4*o - 5. Let a = 0 - o. Is a*((-222)/(-2))/3 a prime number?
True
Let i(c) = -2*c**3 - 4*c**2 - 2*c + 2. Is i(-3) composite?
True
Suppose -6*d + 308 + 754 = 0. Is d a composite number?
True
Suppose 1068 = p + 199. Is p a composite number?
True
Suppose 11*j = -10*j + 29505. Is j composite?
True
Let d be (-90)/((-6)/3) + -2. Let s(j) = -5*j + 1. Let h be s(5). Let o = h + d. Is o composite?
False
Let l = 68 + 123. Is l a composite number?
False
Is (-759)/15*(-5 + 0) a composite number?
True
Let n = -5 + 4. Is ((2 + -1)*-409)/n prime?
True
Is 2*(-2290)/8*-2 a composite number?
True
Let y = 7 + -13. Let j = 8 + y. Suppose 0*t - 71 = -j*t - 3*x, -5*t + 174 = 4*x. Is t prime?
False
Let w be (5 - 4)/(1/(-28)). Let u = w + 123. Is u prime?
False
Suppose -3*g = -5*f + 15, f = -2*f - 3*g + 9. Suppose 5*l + f*s + 49 = 0, -6 = 4*s - 2*s. Let o(q) = -7*q - 10. Is o(l) a composite number?
True
Let o(v) = -595*v**3 - v**2 - 6*v - 5. Is o(-2) composite?
True
Let q(k) = 21*k**2 + 8. Let n be q(5). Suppose -5*t + 15 = 0, 3*a - 5*t - 1375 = n. Is a prime?
True
Let r be (-1)/(-2) - (-10)/4. Suppose 6*c = r*c + 45. Is c/(-1*(-6)/4) a composite number?
True
Suppose -g + 6*g = 5195. Is g a prime number?
True
Suppose 3*c - 6759 = -870. Is c composite?
True
Let f(w) = 32*w**2 - w. Let d(x) = 2*x**3 + 2*x**2 - x. Let h be d(1). Suppose -5*n - h = 2. Is f(n) a prime number?
False
Let w(r) = 54*r + 3. Let l be -1*7*(-2 - -1). Is w(l) a prime number?
False
Let v be (7/(-14))/(1/2). Let f = v + 34. Is f prime?
False
Suppose -18 = -5*w + 5*s - 3, -5*w = 4*s - 33. Suppose t - q = -6, -3*t + w*q = -7*t + 12. Is ((-1)/(-3))/(t/(-150)) a prime number?
False
Let p be (-117)/(-4) + 1/(-4). Let i = 11 - -5. Let g = p - i. Is g composite?
False
Is ((-13)/(-13))/(1/49) composite?
True
Suppose -2988 = -5*s - 53. Is s a prime number?
True
Suppose -2*o + 4*c = c - 31, 0 = -c + 1. Let p = 30 - o. Let s = 25 + p. Is s a prime number?
False
Suppose -3*q = -4*q + 66. Suppose 4*t + o - q = -4*o, -5*o = -2*t + 18. Is t