s d(u) prime?
True
Let k(g) = g**2 + 3*g - 8. Is k(6) prime?
False
Let r(d) = -175*d**3 + d**2 - 1. Let p be r(-1). Let z = p + -60. Is z prime?
False
Let v be (-374)/10 + 4/10. Suppose 0 = -4*p - 4*s - 60, s + 2*s - 9 = 0. Let c = p - v. Is c composite?
False
Let j be -1 - (-3 + 1) - -1. Let n be (-42)/6 + -1*j. Is 5/((-15)/2)*n composite?
True
Is (23/(-3) + 1/6)*-2 composite?
True
Suppose -2*n = 5*g + 16, -2*g - 2*n - 10 = -0*g. Is (22/(-4))/(g/12) a prime number?
False
Suppose 0 = -2*r - 208 + 564. Is r composite?
True
Suppose 0 = -3*p - 2*p + 235. Suppose -h + p = 13. Is h a prime number?
False
Let q(a) = -269*a**3 + 2*a + 2. Is q(-1) prime?
True
Let h be (-56)/(-3) + 2/6. Let x(t) = -48*t**3 + t**2 - 2*t - 3. Let c be x(-2). Suppose -5*a + c = h. Is a a prime number?
False
Suppose 3*o + 5*k - 428 = 1685, 5*o - 3511 = -3*k. Is o a prime number?
True
Suppose 2*n = -15 + 1. Let x be 26/n - (-2)/(-7). Is ((-6)/(-9))/(x/(-186)) a prime number?
True
Let a = 1179 - 638. Is a prime?
True
Suppose -q + 6*q - 337 = 2*h, 4*q = -5*h + 296. Let u = 44 - q. Let b = u + 60. Is b a composite number?
True
Let k be (194/4)/((-4)/(-8)). Let o = k + -35. Is o composite?
True
Let t = 22 - 11. Let c = t - 15. Is 51/9 - c/12 a composite number?
True
Let t = 88 + -31. Let u = t + -10. Is u a prime number?
True
Suppose -2*f - 2*q = -q - 40, -5*q - 31 = -f. Is f a composite number?
True
Let w = -273 - -472. Is w prime?
True
Let b(f) = -22*f**3 + f**2 - 1. Suppose 1 = -t - 4*a - 5, 5*a + 11 = -3*t. Let n be (t/(-4) + -1)*2. Is b(n) a composite number?
True
Suppose 0*k - 2*k = -2432. Suppose k - 423 = s. Suppose 322 = 2*i - z - 3*z, -4*z = -5*i + s. Is i prime?
True
Suppose 5*x + 16 = 4*n, 2 = n + x - 2. Suppose -32 = -3*g + d + 146, 4*d = n*g - 248. Is g a prime number?
False
Suppose -5*o = 3*z - 22, 3*z = -5*o - z + 26. Suppose 0 = -y + 2*y + 2. Is (-1)/(o/y) - -6 a composite number?
False
Suppose -n + 4772 = -2*h + 6*h, 2*h - n - 2386 = 0. Is h a composite number?
False
Suppose -3*f - 3 = 0, -f + 4*f - 6 = 3*b. Let h = -3 - b. Suppose h*z - z = -55. Is z a composite number?
True
Let g be 4 - 1 - (-4)/2. Suppose g*n - n - 44 = 0. Is n a composite number?
False
Let d(y) = -4*y**3 - 10*y**2 + 4 - 10*y + 0*y**3 + 3*y**3 + 2. Is d(-10) a prime number?
False
Let a be (0 + -2)*-1 + 0. Suppose -a*r - 2*q + 8 = 0, -5*q + 8 = 4*r - 2*r. Suppose -l + 196 = -2*g + 3*g, 0 = -r*g - 3*l + 779. Is g composite?
False
Let l(j) = 22*j - 6 - 11*j + 3. Is l(7) composite?
True
Suppose -4*l = 3*b - 470, -5*l - 2*b + 597 = -3*b. Is l a prime number?
False
Let b(l) = 8*l - 2. Let x(s) = -s**3 - 9*s**2 - 6*s + 10. Let p be x(-8). Let z be b(p). Let d = z - -97. Is d prime?
True
Suppose 2*o - k - 2 = k, 0 = -3*k + 6. Suppose -o*q + 80 = q - 4*r, -4*r = -12. Is q a prime number?
True
Let s(a) = 66*a**2 - 7*a - 6. Let o(d) = -66*d**2 + 8*d + 7. Let i(q) = 5*o(q) + 6*s(q). Let v = 0 + -1. Is i(v) a prime number?
True
Let f(r) = -1117*r - 34. Is f(-3) a composite number?
True
Let s = 2 + -4. Is 11/((-18)/10 - s) composite?
True
Let u(d) = -d + 2. Let s be u(-3). Suppose 5*a + s*o - 17 - 13 = 0, -3*a = -4*o - 4. Is a/18 + (-374)/(-18) a composite number?
True
Let s = 47 - 7. Let f(d) = -d**3 + 7*d**2 + 5*d + 2. Let b be f(5). Let m = b - s. Is m prime?
True
Suppose -5*h + 13 + 7 = 0. Is (-3 - -7)*13/h prime?
True
Suppose 403 = 2*l - 19. Is l composite?
False
Let n(r) = 5*r + 1537. Is n(0) composite?
True
Let d(k) = -k**3 + 8*k**2 - 7*k - 7. Let y(q) = 2 + 3*q**2 + 0*q + 0 - 4*q. Let m be y(2). Is d(m) a prime number?
True
Suppose 0 = 10*l - 7*l - 99. Is l composite?
True
Let c(j) = 6*j + 1561. Is c(0) prime?
False
Let w(f) = -f + 10. Let u be w(8). Suppose 2*k - 31 = -3*c, 3*c - u*k + 4 = 3*k. Let z = c + 30. Is z prime?
True
Suppose 0 = -3*p + 186 + 765. Is p a prime number?
True
Suppose 5*w - 790 = 145. Is w prime?
False
Suppose 2*q + 15 - 77 = 0. Is q a composite number?
False
Let j(r) = -7*r**3 + 4*r**2 + 4*r + 2. Let n be j(-2). Let z = 35 - 63. Let d = n + z. Is d composite?
True
Suppose -4*y + 3*y - 77 = 0. Let z = -22 - y. Is z composite?
True
Let c(d) be the second derivative of 17*d**5/10 - d**2/2 + d. Let p be 0/12 - 1*-1. Is c(p) a composite number?
True
Let u be (-3)/(-12) - 15/(-4). Let s(f) = f**2 + 2*f - 2. Let j be s(u). Suppose z - 29 - j = 0. Is z composite?
True
Let f be 2*(-9)/4*-10. Suppose t + f = 6*t. Suppose 0 = 2*s + t - 143. Is s composite?
False
Suppose -x = 2*a + 2*a - 1102, -10 = -2*a. Is x prime?
False
Let i = -9 - -11. Suppose -4*f + 876 = -i*s, -5*s + 683 = 5*f - 2*f. Is f composite?
True
Let n(s) be the first derivative of 7*s**3/3 + s**2/2 + 5*s + 4. Is n(6) a prime number?
True
Suppose -2*m - 5*z = -4*m + 4819, -4*z = 2*m - 4810. Is m prime?
False
Let k(n) = n**2 - n - 16. Let l = 20 + -33. Is k(l) composite?
True
Let x(o) = 751*o**2 - 4*o - 2. Is x(-1) a composite number?
True
Suppose -5*p - 10 = 4*q, -2*q + 3*p + 6 = -7*q. Is -3 - (q/3 + -164) a composite number?
True
Suppose -264 = -3*h - 9. Is h a prime number?
False
Let k = -10 - -6. Let m be 2/(-8) - 1/k. Suppose 3*u = -m*u + 255. Is u a composite number?
True
Suppose -2*i - 505 = -6*i - s, i - 2*s = 133. Is i composite?
False
Let p(d) = d**2 - 5*d + 5. Let u be p(-5). Is (2 + -3)*(2 - u) a composite number?
False
Let k = 9536 - 3447. Is k a prime number?
True
Let f(l) = -l**2 + 4*l + 4. Let a be f(4). Let x(w) = 47*w - 3. Is x(a) a composite number?
True
Let o be (-3)/9*0 + 7. Let m = 8 - o. Is 2/2*(24 - m) a composite number?
False
Let c = -219 - -357. Suppose d + 0*d + 2*l = c, 2*d + 2*l = 280. Is d composite?
True
Is 188*(-2)/(-8)*2 a composite number?
True
Let h = 146 - 204. Let o = h + 92. Is o a composite number?
True
Suppose 3*d = -2*l - l + 1977, 4*d = 4*l - 2636. Is l a prime number?
True
Suppose 0 = 2*y - 4*l - 1386, 3*y - l - 3105 = -1031. Is y a prime number?
True
Suppose -3*y + 5*x = -4*y + 47, 4*x - 156 = -4*y. Suppose 7*q - 265 = 379. Let l = q - y. Is l composite?
True
Suppose -2*s + 6 = 2. Suppose 4*p = -16, s*m + 3*p + 4 = -0*m. Is (2 - 0)*74/m a prime number?
True
Let f = -14 + 27. Suppose -2*j - f + 807 = 0. Is j prime?
True
Let j(w) = -w**3 + 11*w**2 + 11*w + 16. Let x be j(12). Suppose 4*r - 5*b = 248, -r - 5*b + 265 = x*r. Is r a prime number?
False
Suppose -2*f + 14 = -30. Is f composite?
True
Let n(t) = 5*t + 8*t**2 + 0*t**2 + 0*t**2 + t**3 - 7. Is n(-7) composite?
False
Let u = 2 - 2. Suppose -2*o + 24 = -u*o. Suppose 3*d + o = 0, z - 4*d - 29 = -5*d. Is z composite?
True
Let o be 5 - 4 - 10*-2. Suppose 3*k + 5*w - 99 = 0, w = -k + o + 12. Is k prime?
False
Let l = 1499 - 442. Is l a composite number?
True
Let h = 9 + 12. Is h composite?
True
Suppose -j + 179 = -20. Is j prime?
True
Is 4/(-8) - (-750)/4 a composite number?
True
Suppose 10 = -g + 5*t + 23, -3*g - 5*t + 99 = 0. Let y = g - -29. Is y a prime number?
False
Let z(i) = -i**3 + 11*i**2 - 9*i - 8. Let k = 23 + -13. Is z(k) prime?
True
Let y be (178*1)/((-2)/(-1)). Suppose -2*q = -y - 77. Is q prime?
True
Let l be 2 - (0 + 2 + -1). Suppose n + 5 = l. Is 1 + 6 + n/4 a composite number?
True
Suppose -4*j + 14 + 6 = 0. Suppose 851 = j*u + 66. Is u prime?
True
Let c be (-4)/(-14) - 2456/(-28). Let h be 3 - 4 - 1*-1. Suppose h = o + 3*o - c. Is o a composite number?
True
Is (-69)/((-3)/9*3) prime?
False
Let k(z) = 4*z**3 - 11*z**2 - 6*z + 19. Let f(p) = -2*p**3 + 6*p**2 + 3*p - 10. Let m(u) = 11*f(u) + 6*k(u). Let t be (-3)/(0 - (-1 + 2)). Is m(t) composite?
True
Let r(f) = -f**3 + 4*f**2 - f - 2. Let x be r(3). Suppose -310 = -x*j + 22. Is j a prime number?
True
Let o(j) = 11*j**3 + 2*j**2 - 2*j + 1. Is o(2) a composite number?
True
Let s = 1 - -4. Let j = -8 - -11. Suppose -s*z - 5*k = -830, 5*k = -3*z + j*k + 499. Is z a prime number?
True
Let u = -6 + 10. Let q be 5/(-2)*(-16)/10. Suppose -5*n + 155 = -q*b + 3*b, u*n = 2*b + 124. Is n a composite number?
False
Suppose 6*o - 24 + 114 = 0. Is (-1911)/(-9) + 20/o a prime number?
True
Let x(n) = 304*n**2 - 3*n + 3. Is x(2) a prime number?
True
Let m(f) = f**3 + 5*f**2 - 2*f - 6. Let s be m(-5). Let w = 51 + s. Is w a prime number?
False
Suppose 0 = 5*l - 5*x - 45, -5*x + 0*x - 21 = -l. Suppose -4*g + l*g = 422. Is g composite?
False
Is 5/(-10)*18*314/(-6) a composite nu