 d a prime number?
False
Let v(d) = 7*d**2 - 15*d - 23. Is v(-9) prime?
False
Let g(x) = x**2 + 10*x + 19. Let m = -9 - 4. Is g(m) a composite number?
True
Suppose -4*t = t. Suppose -2*d + 0*d + 5*g + 69 = t, -d + 32 = -2*g. Is d a composite number?
True
Suppose -49 - 13 = -2*v. Is v a prime number?
True
Let s(n) = 438*n + 1. Is s(8) composite?
True
Suppose 5*f - 3*f - 364 = 0. Suppose 345 - 2597 = -4*u. Suppose -3*i = -u + f. Is i a composite number?
False
Is (26126/10 - (-30)/(-50)) + -1 a prime number?
False
Let l(i) = -i**3 + i**2 + 191. Let m(a) = 4*a. Let s be m(2). Suppose 4*r = -3*d - s, -4*d + 3*r = -0 - 6. Is l(d) a prime number?
True
Suppose 0 = 4*s - 2*t - 9220, 2295 = s - 4*t + t. Is s composite?
True
Suppose 58 - 183 = -k. Suppose 3*s - 3*j - 873 = 0, k = -3*s - 3*j + 1010. Is s a prime number?
True
Is (-10 - 4)/((-6)/87) a prime number?
False
Is (-1 + 899)*66/44 a prime number?
False
Let x(f) = 10*f**2 - 3*f + 1. Let p be x(3). Suppose -2*z + 333 = 4*g - 7*z, z + p = g. Is g a composite number?
True
Is ((-15)/6)/((-5)/1910) composite?
True
Is 3 + 8/(-3) - 7958/(-3) prime?
False
Suppose u + 0*u = x, 0 = 2*u + 4*x + 18. Let z(r) = -20*r + 4. Let a(p) = 20*p - 3. Let b(t) = -5*a(t) - 4*z(t). Is b(u) composite?
False
Let p(a) = -a**3 - 2*a**2 + 2*a - 19. Is p(-5) prime?
False
Let r(g) = 8*g**2 - 3*g - 1. Is r(-8) a composite number?
True
Let u(j) = -3*j**2 - j**3 + 6*j + j + 2*j**2 + 4 + 0*j**2. Is u(-5) prime?
False
Let u(v) = v**3 + 7*v**2 + 4. Let c be 100/(-15) + 1/(-3). Let d be u(c). Suppose -d*m - 2*j + 524 = 0, -5*j - 262 = -m - m. Is m a composite number?
False
Suppose -7*w + 3005 = 450. Is w prime?
False
Suppose -3*t = 6, -5*z + 10 = -z + 5*t. Suppose -2*o = 2*o - 2576. Suppose -z*b = -9*b + o. Is b a composite number?
True
Suppose -112*h + 108*h = -12940. Is h composite?
True
Suppose -3*d + 0*d = -6. Let h(q) = 0*q - d*q - 4 + 7*q. Is h(6) composite?
True
Let d(u) = -6 + 19*u + 1 + 3. Let w be d(3). Let f = w + -20. Is f composite?
True
Let v(o) = o**2 + 12*o - 9. Let s be v(-13). Suppose 0*f = s*f - 1484. Is f a composite number?
True
Let s = -196 - -381. Is s prime?
False
Suppose 0 = 4*x - 2 - 2. Let c(r) = 22*r**2 + 1. Is c(x) a prime number?
True
Let s(g) = 2*g**2 + 17*g + 12. Let c(x) = x**3 + 7*x**2 + 8*x + 1. Let z be c(-6). Is s(z) a prime number?
True
Is (0 + 5 + 552)*1 a prime number?
True
Suppose o + 0*o = 541. Is o prime?
True
Is (1 - (-636)/2)*1 a composite number?
True
Suppose 9*h + 92 = 13*h. Is h a prime number?
True
Let b(d) = -158*d**3 - 7*d**2 - 4*d - 7. Let r(p) = -158*p**3 - 6*p**2 - 3*p - 6. Let u(j) = 5*b(j) - 6*r(j). Is u(1) a prime number?
False
Suppose -2*w + 1447 = -3*b, 2*w - 7*b + 2*b - 1453 = 0. Is w prime?
True
Let d(u) = -48*u + 7. Is d(-4) a composite number?
False
Let b(o) = -6*o**3 - 5*o**2 - 6*o - 3. Is b(-2) prime?
True
Let k(b) = -b**2 + 2*b + 111. Is k(0) a composite number?
True
Let o(m) = -5*m**2 + 10*m + 5. Let l be o(-7). Let s be (l/2)/(4/(-28)). Suppose -5*y = -f - s, y - 4*f = 5*y - 868. Is y a prime number?
False
Let g be (-826)/(-8) + 5/(-20). Let i = -41 + g. Is i a composite number?
True
Let c = 1 - 5. Is (4/(-6))/(c/198) composite?
True
Let v = 113 + -28. Let y = v - 6. Is y prime?
True
Suppose 0 = -5*n - 3*w + 55, -5*n + 25 + 5 = -2*w. Suppose o = 3*o + n. Is 37 - (-2 - o - 2) a composite number?
False
Let h be (-11)/(-3) + (-1)/(-3). Let q be ((-21)/(-6))/(2/h). Let c(x) = 11*x. Is c(q) prime?
False
Let f(r) be the second derivative of -3*r**2 + 0 + 1/3*r**3 - 2*r. Is f(5) composite?
True
Let g(j) = -2*j + 2. Let k = 5 + -1. Let d be g(k). Let s = 85 + d. Is s a prime number?
True
Let f(l) = 2*l + 2. Let p be f(-7). Is (-178)/(-8) + (-9)/p prime?
True
Suppose -3*c = c - 2*y - 11340, 2*c + 4*y - 5690 = 0. Is c a composite number?
False
Suppose -2*z = 5*f - 151, -4*z - 2*f + 0*f = -278. Suppose 198 = 3*x - 3*h, -x + 0*x - h + z = 0. Is x composite?
False
Suppose 5*s - 2*j + 5 = 3*j, -2*j - 28 = 4*s. Let u(d) = -18*d + 3. Let w be u(s). Suppose -3*m + 3*k + 31 = -2*m, -k = -3*m + w. Is m composite?
False
Suppose 0 = 5*v + 7 - 2. Let h be (v/(3/(-69)))/1. Suppose -3*x - h = -r, 5*x + 13 + 2 = 0. Is r prime?
False
Is (-5)/(-5*(-4)/(-24)) a prime number?
False
Let w = -5 - -5. Let c = w - -15. Is 6/c + 563/5 a prime number?
True
Suppose -313 = v - 3*v - 5*k, -5*k = -5*v + 765. Suppose -4*a + v = -106. Is a prime?
False
Let m(j) be the third derivative of 1/6*j**4 + 0*j - 1/60*j**5 + 0 - 1/60*j**6 + 0*j**3 - j**2. Is m(-3) a prime number?
False
Let c be 6/(-33) + 805/11. Suppose 40 - 166 = 3*f. Let m = c + f. Is m a prime number?
True
Suppose -5*p = -3*p - 4. Suppose -3 + 1 = -u - p*o, -2*u + 3*o = 10. Is (-4)/((-24)/(-921))*u prime?
True
Suppose 4*a + 5*t + 68 = 0, a + 3*t - 7 + 17 = 0. Is (-4)/22 - 1962/a a composite number?
False
Let v = 131 - -1206. Is v composite?
True
Let x be 297 - 5/((-5)/2). Let o = x - -2. Is o a composite number?
True
Let n(l) = -1657*l**3 + 3*l + 3. Is n(-1) a prime number?
True
Let d be (-250)/(-8) - 3/12. Let v = 59 - d. Suppose 138 - v = 5*p. Is p a composite number?
True
Let l(q) = -q**3 + 7*q**2 + 7. Let d(w) = -2*w + 9. Suppose -k - 3 = -10. Let u be d(k). Is l(u) composite?
False
Let m = 3 - 1. Suppose 0 = 4*o - m*o. Let p(j) = j**2 - j + 43. Is p(o) composite?
False
Suppose -2*n + 2*i + 4 = 0, 4*n - 20 = -5*i + 6. Let l(c) = 10*c**2 - 5*c + 5. Is l(n) prime?
False
Let i(g) = -21*g - 23. Is i(-8) composite?
True
Let z be 0/(-3 + 2 + -1). Is 158*1/2 + z a composite number?
False
Suppose -5*b + 1015 = -0*b. Is b prime?
False
Suppose -i + 6*i + 30 = 0. Let j be 0/(i/(-2 + -1)). Suppose 5*f = -j*f + 515. Is f a composite number?
False
Let w(v) = 107*v - 4. Let z = 18 + -15. Is w(z) a composite number?
False
Suppose 142 + 166 = -4*s. Let l = 450 + s. Is l a composite number?
False
Suppose -2*b + 4*t = -24, -3*b + 0*t - 2*t = 4. Is b prime?
True
Let v(x) = -3*x + 2. Let a be 50/(-18) + (-2)/9. Let d(m) = -9*m + 6. Let k(w) = a*d(w) + 8*v(w). Is k(3) a composite number?
False
Let l be 0/(-3 + 5) - -2. Suppose l*p = -0*p + 1934. Is p a prime number?
True
Let d = -5 - -10. Suppose 0 = d*s + 3*o - 545, -2*s + 3*o + o + 192 = 0. Suppose -2*y = -0*y - s. Is y composite?
False
Let s = 406 - -191. Let k = s + -118. Is k prime?
True
Let k(v) = -v**3 - v**2 + 5*v + 9. Is k(-4) prime?
True
Let g be (-10)/4*(15 + -13). Is (-2898)/(-35) + (-1)/g a prime number?
True
Suppose 0 = -3*t + b + 8 - 4, -t + b + 4 = 0. Let z = -13 - -47. Suppose t = -w + z + 19. Is w a prime number?
True
Let n = 4 + 1. Let o(j) be the first derivative of j**4/4 - 4*j**3/3 + j**2 + 2*j + 1. Is o(n) composite?
False
Let d(h) = -h**3 + 4*h**2 - h - 2. Let a be d(2). Suppose -m - 83 = -a*l, -2*l + 4*l - 40 = 2*m. Is l a prime number?
False
Let n = 4775 - 2836. Is n composite?
True
Let z = -1138 - -1681. Is z a prime number?
False
Let p(h) = 51*h**2 - 6*h - 29. Let x(y) = 17*y**2 - 2*y - 10. Let s(a) = 6*p(a) - 17*x(a). Is s(3) composite?
True
Let d = 109 - -24. Is d a prime number?
False
Let a = 180 + 497. Is a prime?
True
Let i(z) = z**2 - 6*z**2 + 4*z**2 + 6 + 7*z. Let r be (-2 - -5)/((-6)/(-14)). Is i(r) a composite number?
True
Let k(t) = -t + 1. Let m be k(1). Suppose -5*b = -5*d - b + 55, m = 3*b. Is d composite?
False
Suppose 4*n = -r - 1981, n - 106 + 604 = -3*r. Let q = n - -754. Is q composite?
True
Suppose -6*u + 5*u - 158 = 0. Is 3 - ((-3 - -3) + u) prime?
False
Let m(f) = f**2 - 9*f + 3. Let s be m(9). Suppose 0 = -q - s*q + 176. Suppose -7*k - 5*i + 171 = -3*k, 0 = -k - i + q. Is k prime?
False
Let n = 0 + 0. Let b be (-2)/3*(3 + n). Is 5 - (-3 - b)*2 composite?
False
Is 0 + -4 - (-4561 + 22) prime?
False
Let r(v) = -v**3 - v**2 + 2*v + 2. Let z be r(-2). Let h(x) = -3 - 1 - 6*x**3 + z - 2*x**3. Is h(-2) composite?
True
Let p = 53 + 754. Is p a composite number?
True
Let d(i) = -5 + 5 + i + 2*i**2. Let s be 3/(-4)*-4 + 2. Is d(s) prime?
False
Suppose a + 0*h = h + 139, 421 = 3*a - 4*h. Let d = a + -50. Is d a composite number?
True
Suppose 0 = 3*s - 2*w - 9, -3*s + w + 8 - 2 = 0. Is 46 - (-3 + s - -2) a composite number?
True
Suppose 2 = -2*m - 3*d, -4*m = -3*m - d + 1. Let p(o) = -39*o**3 - o**2 + 1. Is p(m) prime?
False
Let a = -24 - -209. Suppose -a - 35 = -4*t. Is t