(j) = -248*j + 1. Is b(-3) composite?
True
Let j(s) = -4*s + 8. Let q be j(6). Let c be 6/((-18)/(-75)) - 2. Let f = q + c. Is f prime?
True
Suppose -2*c = 2*w - 216, 2*c - 5*w = 6*c - 429. Is c composite?
True
Let j(x) = 3*x**3 + x**2 - 5*x - 1. Suppose 6 = 2*o - 2. Is j(o) a composite number?
True
Suppose -57 - 43 = -4*j. Suppose j = 5*c - 40. Is c a prime number?
True
Is (-20)/6*(-573)/2 composite?
True
Suppose -2*v - 2*x - 2 = 2, 5*v = -4*x - 8. Suppose -n + 3*s + 42 = 0, -3*n - 2*s + v*s = -159. Suppose -3*j + 8*q = 3*q - 145, j - n = q. Is j prime?
False
Let g = -198 - -313. Is g a prime number?
False
Let g = 459 - 205. Is g a composite number?
True
Let l = 3566 + 1397. Is l a prime number?
False
Let d = 1 + 2. Suppose -c = -2*n + 4*n - 75, -5*c - d*n = -410. Is c composite?
True
Let y(m) = 7 + m**3 - 3*m - 2*m**3 - 2*m + 3*m**2. Let j(p) = -p**3 + 2*p**2 - 4*p + 6. Let h(i) = 5*j(i) - 4*y(i). Is h(-2) prime?
True
Suppose h - 7 + 5 = 0. Suppose h*u - 2 = u, 2*u - 8 = -2*l. Suppose -l*n + 7*n - 75 = 0. Is n a composite number?
True
Let v(k) = 19*k. Let c be (-7)/(7/(-6)) - 0. Let w be v(c). Suppose -3*n + 321 = -w. Is n prime?
False
Let g be -3 + 2 - (-1)/(-1). Let x be (6/8)/(g/(-8)). Suppose 3*a + 2*s = 21, -3*s = -x*a - s + 21. Is a composite?
False
Let k = 5238 + -2063. Suppose -t + k = 4*t. Suppose -t = -2*h - 3*h. Is h composite?
False
Suppose 0 = -5*w + x + 4*x + 18945, 5*w + 3*x = 18929. Is w a composite number?
True
Let x be (10/6)/((-1)/(-6)). Suppose 2*y + 13 = -3*v, 2*y = -4*v + 3*y - x. Let m(a) = 11*a**2 + 4*a + 4. Is m(v) composite?
True
Let m(k) = -11*k**3 - 12*k**2 + 12*k - 6. Let z(a) = -6*a + a**3 + 4*a**3 + 3 - 3*a**2 + 9*a**2. Let h(o) = 4*m(o) + 9*z(o). Is h(-6) a composite number?
True
Let h = -1057 + 2208. Is h prime?
True
Suppose -5*g + 9 = -11. Suppose 3*b + 5*f = -45, -22 = 5*b - f + 25. Is (-854)/b - g/10 composite?
True
Suppose -4*g - 5*u - 9 = 0, -2*u = 5*g + u + 8. Let d be (-51)/6 + g/(-2). Is d*(174/(-8))/3 a prime number?
False
Suppose -4*m + 20 = 0, -2*b = b - m - 10. Let g = b + -4. Let c = 6 + g. Is c a composite number?
False
Let p be 1/4 + 46/8. Let m be 3*((-20)/p - -2). Is 687/6 + (-2)/m prime?
False
Suppose 88 = 4*n - 5*f, n + 5*f = 14 + 8. Suppose 2*w = 4*w + 4*v - n, -3*v + 12 = 0. Is (w/6)/((-3)/(-222)) composite?
False
Let q(o) be the third derivative of o**6/120 + o**5/10 - 7*o**4/24 - 5*o**3/6 - 3*o**2. Is q(-5) a prime number?
False
Let h(s) = -261*s + 2. Is h(-1) a composite number?
False
Suppose -5*r + 27 = -3. Suppose n + 2 - r = 0. Suppose -105 = -7*b + n*b. Is b composite?
True
Is 2609*(-2 - 3)/(-5) a composite number?
False
Suppose 0 = -5*x + 4*q - 1237, 3*x - 3*q + 336 = -405. Let p = 376 + x. Is p prime?
True
Suppose 0 = 5*h - 0*h - 150. Suppose 66 + h = 3*i. Suppose 2*p - i = 6. Is p prime?
True
Suppose -3*f - 4 = -19. Let y(s) = 4*s - 1. Is y(f) prime?
True
Is 39 + (-7 - -4) - -1 prime?
True
Suppose 5*z - 7 = 38. Suppose 3*i - 3 = z. Suppose -4*h - 3*t = -100, -h + i*t + 0*t = -6. Is h a prime number?
False
Is -4 + 0 + 230 + -3 a prime number?
True
Is ((-1074)/(-18))/(1/3) composite?
False
Let d(x) = 2 - 4 + 3*x + 5*x**2 + 1 + 0*x. Is d(-4) prime?
True
Suppose -l + 8 = -u, -3*l + 2*u = -7 - 13. Let y = -1 + l. Suppose -y*a = -a - 42. Is a composite?
True
Suppose -6*a - 8 = -68. Is a composite?
True
Let i(x) = 2*x**2 - 11*x - 13. Let q = 20 - 10. Is i(q) a prime number?
False
Is (33/6 + -3)/(1/298) composite?
True
Suppose 4*v + 8 = w - 5*w, -2*w = 4*v + 4. Let y(a) = -a + 1. Let g be y(w). Suppose j = -4*b + 313, -b = -g*b + 2*j + 144. Is b a composite number?
True
Suppose -5*h + h = -12. Suppose -4*q - h*v + 4*v + 13 = 0, -8 = q + 2*v. Suppose 5*p - 2*o = 70, 3*o + q*o = -5*p + 70. Is p a prime number?
False
Suppose -2*b - 52 = 2*p, -2*b - 22 = -p + 27. Is (-1790)/b*(-10)/(-4) prime?
True
Let g be 1/(4/6584) + -1. Suppose -5*f + n = -2341, -3*n + 250 - g = -3*f. Is f prime?
False
Suppose 3*w - l - 6 + 0 = 0, 5*w = 2*l + 10. Is (-28)/(-1)*1/w prime?
False
Let w(o) = o**2 + 4*o - 5. Let s be w(-5). Let n(f) = f - 35. Let a(y) = y + 1. Let m(p) = 2*a(p) - n(p). Is m(s) a composite number?
False
Let x = 3 - 3. Is 144/3 + (x - -1) prime?
False
Suppose -18 = -5*c + p, 6 = 4*c - 9*p + 4*p. Suppose g - 290 = -c*g. Is g a prime number?
False
Suppose 0 = -4*w + 4*d + 32, 0 = 4*w - 3*d - 16 - 13. Suppose -1238 = -w*h + 647. Is h a composite number?
True
Let x(i) = -102*i + 1. Is x(-1) prime?
True
Let d(j) = -2*j**3 + j**2 + 3*j + 1. Suppose -6*c - 20 = -c. Let l(s) = s**2 + 5*s + 2. Let a be l(c). Is d(a) prime?
False
Is (268/6)/((-1)/66*-4) a prime number?
False
Suppose 20 + 13 = 3*o. Suppose p = -4*s + o, -6*s - p + 13 = -s. Suppose -s*h + 93 = 27. Is h prime?
False
Let m(h) = 2*h - 12. Let x be m(8). Suppose i = -i + x. Suppose 31 = i*d - 47. Is d a composite number?
True
Suppose 4 - 1 = -z. Let j = z + 6. Let f(v) = v**3 + 2*v - 2. Is f(j) composite?
False
Let n be 0/(-1 + 0) + 13. Suppose -3*a + 4*k = -45, 2*k - 4*k - n = -a. Is a a prime number?
True
Suppose 5*v = -2*u - 30, -4*v = -2*u - 7 + 31. Let y = -4 - v. Suppose -y*r + 3*n + 57 = -161, -4*n + 361 = 3*r. Is r composite?
True
Let m = -6 - -5. Let j be m + 2 - 1 - -15. Suppose -3*z = -j - 6. Is z composite?
False
Suppose -2*l - 3173 = -4*d + d, 3*d - 3168 = -3*l. Is d a composite number?
True
Suppose -3*c = -2*c + 4*g - 33, 5*g = c - 24. Let f = -3 - c. Let p = f + 69. Is p a prime number?
True
Is ((-18)/(-15))/((-6)/(-40)) - -1 composite?
True
Let m = -4 + 9. Let i be (-2)/5*-154*m. Is i/12 - (-4)/(-6) a composite number?
True
Suppose -4*h + 501 = f + h, -3*f + h = -1567. Is f a prime number?
True
Let w(x) = 4*x**2 + 8*x - 1. Is w(-8) a prime number?
True
Suppose -r = 4*z + 97, r - 2*z = -r - 224. Let w = r + 198. Is w a prime number?
True
Let r = -1 + -5. Let l = r + 8. Suppose -t = 5*j - 122 + 16, 0 = l*j + 10. Is t composite?
False
Let c be 6/5*1140/18. Suppose -2*y = -2*g - 218, 5*y + 5*g - c = 439. Is y a prime number?
False
Let u = -391 + 1458. Is u a prime number?
False
Suppose 192 = -2*s - 5*t, 2*t + 315 = -3*s + 27. Let w = -59 - s. Is w prime?
True
Let l = -419 - -633. Suppose 0 = t + 2*h - 217, 2*t + 3*h - l = t. Is t prime?
True
Let l(i) = 170*i**2 - 2*i + 1. Let m = -1 - 1. Is l(m) a composite number?
True
Let k(m) be the second derivative of 7*m**4/6 + m**3/3 - 5*m**2/2 - 8*m. Is k(3) a composite number?
False
Let t = -9 + 9. Suppose 0*h + h = 2*a - 306, t = -4*a - h + 624. Is a prime?
False
Suppose -7*q + 39252 = 5*q. Is q prime?
True
Suppose -4*q = -6 - 2. Suppose 0 - 14 = -q*k. Is k a composite number?
False
Let i(q) = 9*q**2 + 2*q + 4. Let b(a) = -a**3 + a - 3. Let k be b(0). Is i(k) a prime number?
True
Is (-1174)/(-4)*(-5)/(5/(-2)) a prime number?
True
Let m = 10 + -44. Let l = 81 + m. Is l composite?
False
Let h(a) = 5*a**2 - a. Let z be h(-1). Let d = z - 6. Suppose d = r, -o + 273 = 2*o - 3*r. Is o a prime number?
False
Suppose -s + 3 = 1. Let o = s - 2. Suppose 32 = 2*i - 2*n - o*n, -3*n = i - 28. Is i a composite number?
False
Let x = -29 - -19. Let l(o) = o**2 + 5*o + 8. Is l(x) composite?
True
Let p(k) = k - 7. Suppose a + 20 = 3*a. Let q be p(a). Suppose -2*l = -q*r - 4*l + 267, -r + 89 = l. Is r composite?
False
Let m(q) = -q**2 + 22*q - 3. Is m(20) prime?
True
Let b be ((-340)/(-6))/(10/165). Suppose 2*p - 865 = -5*d + 294, -4*d + p = -b. Is d prime?
True
Let y(q) = -12*q + 11. Is y(-6) a composite number?
False
Suppose v - 31 = -4*d, -v + 3*d = -2*v + 28. Is v a composite number?
False
Suppose -85 = -4*s - v + 131, -4*v = 16. Is s a composite number?
True
Suppose 0 = -g + 4*j + 82 + 412, 5*g + 5*j - 2445 = 0. Suppose -5*l - i = -g, 2*i = l - 0*l - 87. Is l a prime number?
True
Let m(i) = 239*i + 37. Is m(6) composite?
False
Let m be (-2)/(-5 + 3) + 11. Let c(f) = f - 1. Let x be c(-5). Let s = x + m. Is s a prime number?
False
Let f = 2289 - 722. Is f prime?
True
Suppose -2*p = -6*p, 5*o - 3*p - 20 = 0. Let b(z) = -z**2 + 14*z + 3. Let n(i) = 2*i**2 - 29*i - 7. Let s(v) = 13*b(v) + 6*n(v). Is s(o) prime?
True
Let o(z) = 3*z + 5. Let x be o(-9). Let u = x - -235. Is u a prime number?
False
Let p(s) = -6*s**3 + s**2 - 1. Is p(-2) a prime number?
False
Let j = -7 - -5. Let i be j/((3 - 2) + 1). Is