(t) = -t**3 - 15*t**2 - 10*t + 19. Is n(-18) prime?
True
Suppose -5 + 2 = -3*w, w + 2 = -v. Let s(g) = -5*g**3 - 3*g**2 - 3. Let a be s(v). Let n = a + -58. Is n a prime number?
True
Let g(h) = 6*h**3 + 3*h**2 + 2*h - 4. Suppose p - m + 7 = 5*p, 0 = 3*p - 4*m - 29. Is g(p) prime?
True
Let x be 38/3*(-18)/(-12). Let o = 33 - x. Is -1*o*(-66)/12 a composite number?
True
Is (-1 + 621/(-12))*-4 prime?
True
Let r be ((-30)/1)/(3/(-62)). Suppose -5*m + m + r = 0. Is m a composite number?
True
Let p(d) = -123*d - 34. Is p(-9) composite?
True
Let s = 2 - 5. Let d be s/(3/354*-3). Suppose 2*o - 145 = -3*o - 5*a, -3*a = 4*o - d. Is o a composite number?
False
Let i(x) = 358*x - 7. Is i(2) a composite number?
False
Let z(b) = 8*b**2 - 2. Let s be z(-7). Suppose 4*f + 2*r = s, -5*f + 2*r + 169 = -314. Is f a prime number?
True
Suppose o - 3*s - 3357 = 0, 0*o - 13410 = -4*o + 3*s. Is o composite?
True
Let h(z) = -61*z + 82. Is h(-21) a composite number?
True
Suppose 7*t - 3*t - 2056 = 0. Is t composite?
True
Suppose -2*c + 415 = 3*c. Is c a composite number?
False
Suppose 223 = 5*l - 4*i - 1607, 0 = 4*i. Suppose 0 = 2*j + 4*x - l, -j - 3*x - 522 = -4*j. Is j/9 + (-4)/6 a composite number?
False
Let y = 16 - 4. Is 2/y + 3619/66 a composite number?
True
Is -1*(-6)/15 + (-18332)/(-20) a composite number?
True
Let b(d) = -128*d**3 - 2*d**2 - d. Let q(v) = -v - 3. Let p be q(-6). Suppose 0*j + 3*j = -p. Is b(j) a composite number?
False
Let s be (0 - (2 - 0))*2. Let j(w) = -18*w - 6. Let b be j(s). Suppose -2*q = -4*q + 3*i + 44, -2*i = -3*q + b. Is q composite?
True
Suppose -8*y - 2*z = -3*y, 4*z = -4*y. Let a(b) = b**3 - b**2 + 30. Let w be a(y). Suppose -4*t + w = -6. Is t a composite number?
True
Suppose -161 = -6*y + 49. Is y a prime number?
False
Suppose 5*a - 16 = 9. Suppose -108 = a*p - 398. Is p a prime number?
False
Let b = 797 + 264. Suppose 0 = -5*z + 2*j + 1067, -5*z + 0*j = 4*j - b. Is z a prime number?
False
Let g(b) be the first derivative of -11*b**2/2 + 2. Suppose 5*v = 10*v + 35. Is g(v) composite?
True
Let g = 1 + 4. Suppose 2*v - 5*x - 81 = -0*x, -v + 78 = g*x. Is v a prime number?
True
Let i(y) = 3*y + 190. Let n(x) = 250 + 138 - 103 + 5*x. Let h(t) = 8*i(t) - 5*n(t). Is h(0) a composite number?
True
Let g = 12311 - 7728. Is g prime?
True
Let i = -6409 - -8988. Is i a composite number?
False
Suppose -16*y = -10*y - 762. Is y a composite number?
False
Let u(q) = 9*q**2 + 36*q + 14. Is u(11) a composite number?
False
Suppose -7*b + 4124 + 11409 = 0. Is b a prime number?
False
Let j be (-163 + -3 + 3)/(-1). Suppose -7*f = -6*f - j. Is f composite?
False
Suppose -1 = q + 3*u, 0*q - 4*q - u + 18 = 0. Suppose -774 = -4*h + 194. Suppose 3*w = q*w - h. Is w a composite number?
True
Suppose 8*q = 9*q - 157. Is q a prime number?
True
Suppose 3*y = y + 3*c + 1703, -4*y + 3*c = -3409. Is y prime?
True
Let z(p) = 8*p**2 + p + 3. Let j be (-2 + 3 + -5)/1. Is z(j) a composite number?
False
Suppose -1 = l + 3. Is -3*(0 + l) - 2 prime?
False
Let c(t) = 2*t + t**2 + 5 - t + 0*t. Let z(r) = r**2 + 5*r - 7. Let d be z(-5). Is c(d) a prime number?
True
Suppose 0*l + t = 2*l, 2*l - 12 = -2*t. Suppose -l*i - 3*k = -25, 5*i - 2*k - 53 = -0*k. Is i composite?
False
Let n(a) be the first derivative of 2*a**3/3 - a**2/2 - 8*a + 9. Is n(7) composite?
False
Suppose -3*u - 2 = -5*u. Is u*23/(-2)*-2 prime?
True
Let i = 5 - -62. Is i a prime number?
True
Let w(v) = 126*v + 1. Let t = 7 - 6. Is w(t) prime?
True
Let b be (1 - 4) + 0 + 9. Let y = -5 + b. Is 21/12*(3 + y) composite?
False
Let o(b) = b**3 + 13*b**2 - 3*b - 9. Let z be o(-6). Suppose -6 = 3*p - z. Is p a composite number?
True
Is (-163)/(-3) + (-4)/(-6) a composite number?
True
Is -2 + (-18)/(-7) - (-36993)/77 composite?
True
Suppose 4*n = g + 18, 0*g + 3*n - 19 = -2*g. Suppose -2*k + 1552 - 201 = -3*v, -2722 = -4*k + g*v. Is k a composite number?
False
Let c(q) = -q + 4. Let z be c(3). Suppose -l - 3*a = 3*l - 57, -31 = -2*l + a. Is (l + 4/(-2))*z composite?
False
Suppose 112 = 2*c + 2*c. Suppose 3*x - 5*p = 155, 5*p - c = 2*x - 138. Suppose -o = a - 7, -4*a + 3*o = -a - x. Is a prime?
True
Let k(g) = g**3 - 3*g**2 + 2*g - 2. Let l be k(3). Suppose -596 = -l*a - 0*a. Let j = 232 - a. Is j a composite number?
False
Let u(p) = p**3 - 2*p**2 - 2*p - 11. Let o(q) = q**3 - 2*q**2 - q. Let l be o(3). Is u(l) a prime number?
False
Suppose o + 4 = 2*o. Suppose -d + o*d = 75. Suppose x = -w + d, -4*x + w + 90 = -0*x. Is x composite?
False
Let v = 5 + -2. Let s(j) = -2*j**v - j**3 + 4*j**3 + 7 - 3*j - 9*j**2. Is s(10) a prime number?
False
Suppose -3*m - 87 = -5*a - 6*m, -a - 5 = -5*m. Let r = a - 36. Is (-1)/((-2)/r)*-2 a prime number?
False
Let i = 181 - -256. Is i composite?
True
Let r be 2/((-8)/(-3) - 2). Suppose -r*t = -0*t - 12. Suppose -x = -5*f - 10, -4*f = x - t*x + 85. Is x a composite number?
True
Let g(x) = x**3 + 19*x**2 - 23*x - 23. Is g(-20) composite?
False
Suppose -5*d = -3*u + 2362, -2372 = -3*u - 3*d - 2*d. Is u composite?
True
Suppose 685 + 386 = 5*s - 4*h, s + 5*h = 191. Is s prime?
True
Suppose 4993 = 4*o - 2451. Let b = -1208 + o. Is b composite?
False
Suppose -4*f + 0*f - 676 = 0. Let d = -102 - f. Is d a composite number?
False
Let s(t) = -102*t - 25. Is s(-6) a composite number?
False
Let x(t) = -t**3 - 5*t**2 + 3*t - 9. Let g(m) = -m**3 - 4*m**2 + 2*m - 8. Let f(z) = -6*g(z) + 5*x(z). Let i be f(-2). Let a = -5 - i. Is a a composite number?
True
Let c be (-8)/(-52) - 100/(-26). Let w(z) = 9*z**2 + 5*z - 3. Is w(c) a composite number?
True
Let s = -14 - -28. Is s prime?
False
Let k(o) = o**2 - 5*o + 4. Let f be k(4). Suppose -12 = -z - f. Suppose -3*g = -51 + z. Is g composite?
False
Suppose 2217 = 3*a - 3*v, 5*v = -3*a + v + 2182. Is a a prime number?
False
Let o be (2 - -1)*(-6)/(-9). Suppose o*a - 2*t = 552 - 126, -641 = -3*a + 4*t. Is a composite?
False
Suppose -5*c + 109 = -316. Is c a composite number?
True
Suppose 2*d - 1665 = -d. Suppose 14*l - 19*l = -d. Is l a composite number?
True
Suppose -6 = -i - 2*i. Suppose -i*w - 2*z = -68, -3*w - 5*z = -w - 77. Is w composite?
False
Let m be 614/6 + (-7)/21. Suppose y - 3*u = 4*y - m, 5*y = 5*u + 140. Is y a composite number?
False
Let v(u) = 11*u**2 + 3*u + 5. Is v(-4) a composite number?
True
Let d be (-1743)/(-6) + 6/(-4). Suppose 5*u = -t + d, -5*t - 159 = -3*u - 2*t. Suppose 4*b = 67 + u. Is b a prime number?
True
Let z be (2/(-3))/(28/(-14826)). Let f = z - 142. Is f a prime number?
True
Let k(w) = w + 355. Let s be k(0). Let m be (-2 + (-6)/(-3))/1 - -90. Suppose -5*p - m = -s. Is p a prime number?
True
Suppose -3*a + 4 = -5. Suppose -10 = -a*l + 5*s, -6*l + 66 = -l + 4*s. Is l a composite number?
True
Suppose -164 = -6*n + 4*n. Is n prime?
False
Is 26/(-117) + (-10570)/(-18) a prime number?
True
Let h(r) = r**2 + 5*r - 4. Let j be h(-6). Suppose -13 = -j*p - 3. Suppose -5*v = -p*s - 373 - 117, 0 = 5*v + 5*s - 480. Is v a composite number?
False
Suppose -d + 4*g = 4, 3*d - 3*g - 8 = -g. Suppose l - d*i - 27 = 32, 0 = 5*l + 3*i - 341. Is l a prime number?
True
Let c(u) = 63*u**2 - 3*u - 1. Let a be 22/(-33) + 4/(-3). Is c(a) a composite number?
False
Let o(b) = -21*b + 10. Let f be o(4). Is (f/6)/((-3)/9) a composite number?
False
Let r = 17 - 9. Let p(k) be the first derivative of k**3/3 - 5*k - 3. Is p(r) a composite number?
False
Suppose m + m + 4 = 0. Is ((-5)/m)/(8/176) prime?
False
Suppose -5*t - 101 = f, -t = -5*f - 172 - 437. Let g = 70 - f. Is g a composite number?
False
Is 785/15*-3*-5 composite?
True
Suppose -y - 2*y = -4*v + 221, 3*v + 3*y = 192. Is v composite?
False
Let y(u) = -u**2 - 17*u + 11. Suppose 0 = -3*v - 13 - 29. Is y(v) composite?
False
Let r = -39 + 17. Is (0 + r)/(3/(-3)) a composite number?
True
Let a be 1/3 + (-40)/(-24). Is 1/a - 122/(-4) prime?
True
Let q(w) = w**3 - 8*w**2 + w + 1. Let p be q(8). Suppose -4*t + 4*o = 29 - p, 0 = -3*t - 5*o + 1. Is -879*((-30)/9 - t) prime?
True
Let g(j) = 46*j**2 - j. Is g(-1) composite?
False
Let k = 10 - 4. Suppose 1 - k = -n. Suppose n*w - 2 = -2*u + 71, -5*u + 20 = 0. Is w a composite number?
False
Let f be 7 - (3 + -5) - 0. Let j = f + -4. Suppose 4*m + 79 = j*m. Is m a prime number?
True
Suppose 2*y = -4 + 36. Suppose -2*n - 2*m = 2*n - 14, 0 = 5*n + 4*m - y. 