j + 7. Is p(12) a composite number?
True
Suppose 3*s - 148 = 101. Is s a prime number?
True
Let r(p) = 45*p**2 - 8*p + 9. Is r(5) a prime number?
False
Let u = 2 - -2. Suppose u*d = 1 + 11. Suppose 0 = d*b + 176 - 659. Is b a prime number?
False
Let q be (-7 + 261)/(0 - -1). Suppose 0*i = -4*i - 2*k + q, -5*k = -5*i + 325. Suppose -t + 0*d = -d - i, 5*t - 2*d = 329. Is t a prime number?
True
Suppose 11*p + 14 = 10*p. Let o = -7 - p. Is o a prime number?
True
Suppose 3*u - 136 = 2*s, -5*u + 272 = -3*s + 47. Let f = 65 - u. Is f a composite number?
False
Let b = -3 - -1. Is (-2 - -55)*(-2)/b a composite number?
False
Let v(r) = 43*r**2 + 12*r + 27. Is v(-11) composite?
True
Let x be 2 - (1 + 1 - 11). Let l = x + -8. Is l composite?
False
Let n(b) = b**2 + 3*b + 1. Suppose -5*q = 4*z + 46, 7*q - 3*q + 4*z + 40 = 0. Is n(q) composite?
False
Is (5380/6)/(36/54) a prime number?
False
Suppose -3*j + 203 = -2*j. Is j composite?
True
Let c = -49 + 1034. Is c a prime number?
False
Let o = -5 - -4. Let t(y) = 40*y**2 + 1. Let p be t(o). Let w = p + 8. Is w composite?
True
Let b(w) = -11*w**3 + 2*w**2 - 6*w - 31. Is b(-6) a prime number?
False
Let r(x) = -x**3 + 4*x**2 - 4*x + 3. Let y be r(3). Suppose y = 2*c - 3*c. Suppose c = -4*o + 832 + 588. Is o a composite number?
True
Suppose 2*c - 6*c = -5*q - 493, q + 124 = c. Is c a prime number?
True
Let r be (-2)/(-7) - (-23)/(-7). Is (r - -87) + 1/(-1) composite?
False
Let z(o) = -2*o - 2. Let b be z(-3). Suppose -5*k = 2*s + 40 - 637, -4 = -b*s. Is k a prime number?
False
Is 27 - (5/3 - 6/(-18)) composite?
True
Let a(i) = 78*i + 1. Let n(b) = b + 2. Let q be n(-2). Suppose r + q*r = 1. Is a(r) a prime number?
True
Suppose 2*b - 873 = -b. Is b a composite number?
True
Let w(d) = 8*d**3 - 4*d**2 + d. Let u be w(-3). Let v(m) = m**2 - 4*m. Let y be v(4). Is ((y - -1) + u)/(-2) a composite number?
False
Let c(r) = r**2 + 6*r + 4. Let h be c(-6). Let t(j) = 4*j**3 - 5*j**2 + 2*j + 3. Is t(h) composite?
True
Suppose 2*t - 246 = -7*m + 3*m, 4*t - 498 = -5*m. Is t prime?
True
Let q be 1/4 + (-1886)/(-8). Suppose 3*n - q = -n. Is n composite?
False
Suppose 3*t + 2745 = 5*h - 2*t, 5*h + 4*t - 2763 = 0. Is h a prime number?
False
Suppose 0 = -4*p + 6 + 118. Is p prime?
True
Let f = 5 - 2. Suppose -f*u = -2*d - 10, 2*d = -u - 0*d - 2. Suppose 0 = 5*z - j + 2*j - 421, 0 = -2*z - u*j + 162. Is z composite?
True
Suppose 3*l = -2*w + 178, -85 + 352 = 3*w + l. Is w a composite number?
False
Let m = -460 - -1347. Is m composite?
False
Let w(t) = -t**3 - t**2 + 5*t + 3. Let x be w(-7). Is (x/(-3))/(12/(-18)) a composite number?
False
Let c be (-8)/20 - 114/(-10). Let s = c + -6. Suppose s*r - 102 = -27. Is r a composite number?
True
Is (2/4)/((-6)/(-12588)) a composite number?
False
Let s(k) = -k**3 + 6*k**2 - 5*k. Let p be s(5). Suppose p = 3*r - 6 - 0. Suppose 2*n + n + 3*a = 87, r*n - 3*a = 68. Is n prime?
True
Let q = 314 - 208. Is q a composite number?
True
Suppose -3*u + 936 = 3*g, -5*g - 468 + 2063 = -2*u. Let a = g - 168. Is a a composite number?
False
Suppose 0 = 2*i + 2*y - 436, -2*i - y + 439 = -2*y. Is i a composite number?
True
Suppose 0 = 3*v - 1045 - 5504. Is v composite?
True
Suppose -382 = 3*b - 5*b. Is b prime?
True
Let i be (-6)/(716/236 + -3). Is 10*(i/(-6))/1 prime?
False
Suppose -5*j + 3*c = -27 - 248, 0 = 4*j - 2*c - 222. Is j a composite number?
True
Is (-142 - 0)/((-2)/5) a composite number?
True
Let m(w) = -w**3 - 4*w**2 + 4*w. Let d be m(-5). Let j = d - -9. Is j a prime number?
False
Let n be (-10)/40 - 42/(-8). Suppose -3*m - 2*w = -1197, -n*m + 1591 = -m + w. Is m composite?
False
Let r be 8/6 + (-2)/6. Is (-13 + 0)/(r/(-7)) a prime number?
False
Let a be (-2)/8 - (-9186)/8. Suppose -10 = -3*z - 1. Suppose 7*l - a = z*l. Is l composite?
True
Let q(i) = i**3 - i**2 + i + 2. Let s be q(0). Suppose 5*g = 63 + s. Is g composite?
False
Suppose 2*i + 2*h + 154 = -0*h, 2*i - 4*h + 154 = 0. Let z be i/1 + (7 - 5). Is 0 + 2 + -3 - z a composite number?
True
Let a(c) = 3*c**2 - 24*c - 47. Is a(22) prime?
True
Suppose 5*v = -0*v + 35. Let i = 5 - v. Is (-1)/(-2)*i + 70 a prime number?
False
Suppose -20 = 5*m - 205. Is m composite?
False
Suppose 0 = 5*k - 3 + 8. Let z = -1 + k. Is 186/5 + z/10 a prime number?
True
Let b be (-8)/(-14) - 12644/28. Let w = b - -642. Is w a composite number?
False
Let y be 6/8*10*6. Suppose 201 = 5*c + 2*f, -3*f + f + y = c. Suppose -k = 2*k - c. Is k a composite number?
False
Let u(j) = -j**3. Let f(z) = -4*z**3 + 6*z**2 - 5*z + 7. Let b(y) = 2*y - 9. Let s be b(6). Let x(k) = s*u(k) - f(k). Is x(7) prime?
False
Suppose -5*n - 13 = -33. Let k = n - 2. Suppose -3*i + c + 648 = -4*c, 0 = 5*i - k*c - 1061. Is i a prime number?
True
Suppose -3*j + 18 = -4*d, -3*d = 3 + 6. Let w(h) = 9*h**2 - 1 + 65*h**2 + 2*h - 17*h**j - 4*h. Is w(2) composite?
False
Let j be 4/(-30)*-5*3. Suppose 0*c = j*s - c - 153, c + 375 = 5*s. Is s a composite number?
True
Let i = -51 + 194. Is i composite?
True
Suppose -g - 2*g + 3 = -3*t, -4*g - 4*t - 4 = 0. Is g/(-2*2) - -307 prime?
True
Let o = -5 + 9. Suppose o*v + 7 = 3, 4*m + 5*v = 19. Suppose 105 = m*f - f. Is f composite?
True
Let l(n) = 8*n**2 - 5*n - 19. Is l(12) prime?
False
Suppose -16 = -5*u - 1. Suppose h = -h - u*w + 109, -146 = -3*h - w. Is h a composite number?
False
Suppose -4*b = -7*b + 807. Is b a composite number?
False
Let x be (0/1)/(1 + 0). Let k(s) = -s**2 + 158. Let d(h) = 1. Let n(y) = d(y) + k(y). Is n(x) composite?
True
Let z = 244 - 35. Is z composite?
True
Let j be 6 + -5 + 1*-2. Let s be (-7)/(j - (-27)/30). Let i = 107 - s. Is i composite?
False
Let p = 5 + -1. Suppose 0 = -0*b - p*b + 388. Is b a composite number?
False
Let v = 13 + 96. Is v composite?
False
Let z be 1/2 - (-11)/2. Suppose 3*o = -5*w + 15 + z, 4*o - 3*w + 1 = 0. Is 53 - (0 + o) - 2 prime?
False
Suppose 15 = -5*i + 50. Suppose -2*k + 60 = -i*k. Let b = k - -25. Is b a composite number?
False
Let o(f) = -4 + 0*f**3 + 7*f**2 + f**3 - 5*f - f**2 + 9. Is o(-6) composite?
True
Let g = -276 + 99. Let h = g + 380. Is h composite?
True
Let b be -1*2 + 13 + -2. Suppose -3*a = b + 6. Let o = 8 + a. Is o composite?
False
Let l(s) be the first derivative of 28*s**2 - s - 3. Let d = 3 + -1. Is l(d) composite?
True
Let h(p) = -2*p. Let f = 2 + -3. Let t be h(f). Suppose -3*v - 28 = -t*i - 3, 5*i = -2*v + 53. Is i prime?
True
Suppose 229 = 5*u - 2*h, -2*h + 0*h = 4*u - 194. Let l = -1 + u. Is l prime?
False
Let j be 445 + 1 - (4 - 3). Suppose -44 = -4*x + n + 312, 5*x = 2*n + j. Is x prime?
True
Let k(r) = r**2 + 5*r + 2. Let x be (4/(-4))/(1/6). Let i be k(x). Suppose 0 = 5*n - 2 - i, j = -2*n + 29. Is j composite?
True
Suppose 0 = 5*j + h + 494, -5*j + 0*h = -h + 486. Let n = -9 - j. Is n prime?
True
Let n(f) = f + 32*f + 0 + 1 + 0. Is n(2) prime?
True
Let t = -1214 - -390. Is (-2)/(-6) + t/(-12) prime?
False
Suppose -4*f + 3*j = -3, -f - f = -5*j - 19. Is (-230)/f + 3/9 composite?
True
Suppose 3*k - 36 = j - 2*j, -2*j - 4*k + 70 = 0. Is j composite?
True
Suppose 5*v = 4*v - 4, 4*v = q - 16. Suppose 3*s - 4*c = -17, -4*s + q*s - 1 = -c. Suppose 2*h = -s + 135. Is h composite?
False
Let x(b) be the second derivative of b**5/20 + b**4/12 - 2*b**2 + 4*b. Let n be x(3). Is n/1 + 2/(-2) a composite number?
False
Let a = 987 + -578. Is a a prime number?
True
Suppose l + 3*j = 279 + 157, 2280 = 5*l - 5*j. Is l composite?
True
Suppose -4*a + 333 = 1. Is a a composite number?
False
Let n be (-2)/3 + (-4422)/(-18). Let s = n - 126. Is s composite?
True
Suppose 0 = -4*c + 3*c - 1. Is c/1 + (3 - -209) a composite number?
False
Let q = -11 - 1. Let t = q + 7. Is 97/5 - (-2)/t a prime number?
True
Let b(x) be the second derivative of -9*x**5/20 - x**4/12 + 11*x**3/6 - x**2 - 3*x. Is b(-5) a prime number?
False
Is 2552/12*6/4 composite?
True
Let b(o) = o - 13. Suppose -71 = 5*c - 0*c + 4*j, -c - 5*j - 31 = 0. Let w be b(c). Is w/(-32) - (-946)/8 prime?
False
Let h(s) = s**3 + 5*s**2 - 5*s - 2. Let d be h(-6). Let q(b) = -b**3 - b**2 + 8*b - 11. Is q(d) prime?
True
Let p(s) = 2*s**2 + 5*s + 6. Let o(d) = -10*d**2 + 2*d - 1. Let h be o(1). Is p(h) a prime number?
False
Let f(t) = t - 114. Let p be f(0). Let v(g) = -g**2 - g - 323. Let d be v(0). Let u = p - d. Is u prime?
False
Let c