934 = -5*l + a. Is l a prime number?
True
Suppose 2*u = -2*p + 10, 5*p + 5 = -u + 18. Suppose 0 = p*g + 4*a - 226, 0 = 5*g - 7*a + 6*a - 620. Is g a composite number?
True
Let g(q) = -463*q. Let n be g(-1). Suppose -2*f - 128 = 296. Let c = f + n. Is c a prime number?
True
Let b(j) = j**3 - 9*j**2 - 9*j - 7. Let n be b(10). Suppose o = 0, 1819 = n*a - o - 1232. Let w = 1574 - a. Is w a composite number?
False
Let q be (-1)/(-4) + 42/(-8). Let s(f) = -190*f + 11. Let c(n) = 94*n - 5. Let u(g) = 11*c(g) + 6*s(g). Is u(q) prime?
True
Suppose 106 + 1294 = 5*b - j, 0 = -4*j - 20. Suppose -5*f - 952 = -2*s - b, 0 = -4*s + 5*f + 1331. Is s composite?
True
Let f = 44 + -39. Suppose 2*n + 381 = f*n. Is n composite?
False
Let p be -6 + 2 + 8 + -83. Let r be 8/2 + (-11 - -8). Is p/2*-14*r prime?
False
Let j = 20497 + 2326. Is j composite?
True
Let h(o) = o**3 + 3*o**2 + 3*o - 1. Let d be h(-3). Let z be 12/5 - d/(-25). Suppose -4*x = -z*x - 862. Is x a prime number?
True
Let j(d) = -6*d**2 - 10*d - 26. Let v be j(-8). Let y = v + 469. Is y a prime number?
True
Let c(i) = 8*i**2 - 3*i + 116. Is c(-11) a composite number?
False
Let t(p) = 6*p**2 + 2*p + 2. Let a be (0/2 - 3)/1. Let y be t(a). Let k = 83 - y. Is k prime?
False
Let w = -11 + 11. Suppose s + 0*s - 4 = n, -4*s - n - 9 = w. Is (0/1 + s)*-19 composite?
False
Is -7 + 8 + 8201 + 15/(-3) prime?
False
Let c = -1 + -1. Let h be 3*((-11)/(-3) + c). Suppose h*l - 3901 = -496. Is l composite?
True
Suppose -5*g - 7*m + 3*m + 157985 = 0, -g = -5*m - 31626. Is g composite?
False
Suppose -4*q - 11 = 2*z + 1, -5*z + 4*q = -40. Suppose z*j - 4 - 12 = -2*y, 2 = -3*j + 2*y. Suppose -p + 3*f + 97 = -541, 1236 = j*p + 2*f. Is p prime?
False
Let w = 725 + -378. Let n = w + -241. Is n/((-2)/(-2) - -1) composite?
False
Suppose 0 = 2*x + 2*k - 1492, 12*k + 2233 = 3*x + 10*k. Is x composite?
True
Is (1 - 0)*2015 + 3 prime?
False
Is -74*4*(6 + 119/(-8)) a prime number?
False
Suppose 0 = -f + 3*a + 111, 5*f - 3*f - 206 = 2*a. Suppose y + 8 - f = 0. Is y composite?
True
Is 11 + -14 + 21295 + -11 composite?
True
Let w = 1093 - 236. Suppose i = -2*n + 367, -2*i + w = 5*n + 126. Is i prime?
True
Let q = -10509 + 40976. Is q prime?
True
Suppose -5*s + 14699 = -u, 2959 = s - 5*u - 0*u. Is s a prime number?
True
Let g = -22 - -37. Suppose -51 = -3*x + g. Let c = x - 15. Is c a prime number?
True
Suppose -80 = 3*s - 8*s. Suppose 4*b = 3*h - 27, s = -3*b + b + 4*h. Let w = 16 + b. Is w composite?
True
Let f be (1 - 0)/(-2)*-6. Suppose -f*c - 5*o + 14 = 0, -3*o + o = -c + 1. Let z(m) = 147*m + 4. Is z(c) composite?
True
Suppose 0*f = f - 4*o - 6, 3*o = -12. Let l(r) be the first derivative of r**3/3 + 3*r**2/2 - 17*r + 7. Is l(f) prime?
True
Suppose 4*i + 5855 = 3*c, 2*c + i = 5714 - 1818. Is c composite?
False
Let m(g) = -41*g - 44. Let p be m(-14). Suppose -6*l + 2372 = p. Is l a prime number?
True
Let p = -1 + 1. Let t = -240 + 415. Suppose p*f - f + 2*z = -180, 0 = f + 3*z - t. Is f a composite number?
True
Let q = -608 + 1951. Is q composite?
True
Suppose 0 = l - y, 0 = 2*l + 7*y - 2*y - 28. Let p be 0/(l - (3 - 0)). Suppose -2*s = 3*s - 2*x - 1465, p = -s + 2*x + 293. Is s a composite number?
False
Let b(r) = 13*r**2 - 3 - r - r**3 - 6*r**2 + 0*r - r. Is b(5) a composite number?
False
Suppose 40*b = 45*b - 23305. Is b a prime number?
False
Let z(q) = 601*q**2 - 5*q - 3. Is z(7) a prime number?
True
Suppose 2*t = 7*t - 1280. Suppose o - t = 3. Is o a composite number?
True
Let w = -4 - -8. Is ((-34)/4)/(w/(-24)) a prime number?
False
Let n be ((-7)/21)/(-2 + (-5)/(-3)). Is (4 - n) + (-7 - -741) composite?
True
Suppose 2*b - 4*n + 3*n = 935, -2330 = -5*b - 5*n. Is b prime?
True
Let c be (-8017)/7 + (-2)/(-7). Is 10/60 + c/(-6) a composite number?
False
Let p(x) = 10*x**2 - 16*x + 40. Let l be p(-14). Let d = -1023 + l. Is d prime?
True
Is 18893/3 - (-9)/(27/4) prime?
True
Suppose -l + 4*r + 18197 = 4*l, -2*r = l - 3631. Is l a prime number?
True
Let q(n) = -n - 294. Let b be q(0). Let x = -173 - b. Is x prime?
False
Let f(s) = -2*s**2 + 4 + 79*s**3 - 3 + 188*s**3 + s**2. Is f(1) a composite number?
True
Suppose 3*a - 5*q + 10 = 0, 4*a + 5 = -0*q + 5*q. Suppose 0 = 5*z + l + a, z + l = -2*z - 3. Is 20 - (0 - 1)*z composite?
False
Let w = 47025 + 27446. Is w prime?
True
Let i(d) = d + 3. Let o = -4 + 6. Let j be i(o). Suppose 3*s - 728 = j*f, 3*s - 3*f - 364 = 374. Is s prime?
True
Let j(i) = -i**3 + 5*i - 3. Let u be j(2). Is 4*((-981)/(-24)*6 + u) a composite number?
False
Let d be (-5010)/(-8)*(-88)/(-33). Is d/8 + 2/24*3 composite?
True
Let o be 16/8*3154/4. Suppose 2627 = 2*j - o. Let q = -1491 + j. Is q prime?
False
Let b(j) = j - 3. Let z be b(5). Let h be (-4153)/28*-4 - 4/14. Suppose -3*w - 605 = -4*l, -w = z*l + 2*l - h. Is l a composite number?
False
Suppose -y = 5*m - 50, -22 + 7 = -5*m. Is y a composite number?
True
Suppose 4*c - 8201 = y + 4000, -5*c - y = -15240. Is c prime?
True
Let l(f) be the third derivative of f**7/1260 - f**6/360 - f**5/30 - f**2. Let z(k) be the third derivative of l(k). Is z(2) a composite number?
True
Let i = 5 - 10. Let w be 2175/i*(-2)/3. Let y = 511 - w. Is y composite?
True
Suppose 0 = -7*l + 3*l + 56. Let s = -9 + l. Suppose -b = -5*n + 1466, -n + 2*n + s*b = 288. Is n composite?
False
Suppose x = 5*q + 54892, -2*q = -33*x + 31*x + 109808. Is x a composite number?
False
Is 477/(-9)*(2 + (0 - 319)) composite?
True
Let q(m) = m - 2*m - 9 - 4 + 2 + 5*m**2. Is q(-9) composite?
True
Let x(z) = 2*z**2 + 2*z - 2. Let i be x(-2). Let r(k) = 3*k - 1 - 4 + 2 - i*k. Is r(17) a composite number?
True
Let h = 0 - 1. Let g = h - 6. Is 398/(-1)*g/14 a prime number?
True
Let x(w) = -7*w**3 - 2*w**2 + w. Let u be x(1). Let g be (u/6)/((-4)/1206). Suppose -3*i = -i - g. Is i a prime number?
False
Suppose -2*g - 3*a = -5*a - 24, 3*g - 36 = 2*a. Let i = g + -9. Is ((-455)/(-15))/(1/i) a prime number?
False
Let y = 91 - 41. Is 7528/10 - (-10)/y prime?
False
Suppose n = 1 + 3. Let w be (-1)/(-12)*n*12. Suppose -3*z + 580 - 125 = 4*a, -3*a = w*z - 616. Is z composite?
False
Let d(v) = -v**3 + v + 1. Let m(a) = -2*a**3 + 4*a**2 + 4*a - 2. Let x(y) = d(y) - m(y). Let c be x(4). Let r(i) = -33*i - 4. Is r(c) a composite number?
False
Suppose -5*i = -5*a + 30, 2*i - 1 = -3*a - 3. Let y be (-2)/(-1)*(-6)/i. Suppose y*c - 127 = 122. Is c composite?
False
Suppose -5583 = -135*y + 132*y. Is y prime?
True
Suppose -4*m - 27 = -2*m + 3*y, -5*m - 3*y = 45. Let q = 270 - 649. Let r = m - q. Is r composite?
False
Suppose -2*i - r - 11 = -3*i, 0 = 2*i - r - 19. Suppose 0 - i = h. Is (-1)/2 + (-556)/h a composite number?
True
Let c = 5525 - 3054. Is c composite?
True
Is (260/(-78))/(4/(-2382)) composite?
True
Let p be 6/(-12)*(-1 + 1). Let u(b) = -3*b + 329. Is u(p) a composite number?
True
Suppose -8*r = -3*r. Suppose r = j + 4 - 16. Suppose 0 = j*g - 7*g - 575. Is g a composite number?
True
Suppose -3*x - 34 = 2*a - 1, 2*x = 3*a + 30. Let u = -6 - a. Suppose u = 2*q - 0*q, -3*o + 5*q = -87. Is o composite?
True
Let f(m) be the second derivative of 7*m + 0 - 7/2*m**2 - 5*m**3. Is f(-7) prime?
False
Suppose 97*s = 102*s - 172475. Is s prime?
False
Suppose -84159 + 650621 = 26*u. Is u composite?
False
Let q = 12868 + 4003. Is q a prime number?
True
Suppose -5106 = -2*a - 388. Is a a composite number?
True
Let i(p) = 399*p**3 - 3*p**2 + 2*p - 1. Is i(2) a prime number?
False
Let i = 75786 + -38875. Is i a composite number?
True
Suppose -20 = 2*m - 7*m. Suppose 5*b + 52 = m*j - j, 96 = 5*j + b. Let v = j - -114. Is v composite?
True
Suppose u + 175 = 546. Is u a composite number?
True
Let v(b) = -b**3 + 5*b**2 + b - 7. Let p be v(5). Is 14/21*(-201)/p composite?
False
Let m be (-123)/(-12) + 4/(-16 + 0). Suppose 0 = 2*g + m, 0 = -4*l - 5*g + 2*g + 3237. Is l prime?
False
Suppose f + 1 = 2*f. Suppose -260 = 32*d - 27*d. Let t = f - d. Is t prime?
True
Let v = 36656 - 4059. Is v a prime number?
False
Suppose 7*m - 58315 = -3092. Suppose 3*p = a + m, p = 4*p - 4*a - 7877. Is p a composite number?
True
Suppose -2*d + 0*d - 248 = 0. Let j(k) = -k**3 - 6*k**2 - 5*k - 5. Let w be j(-5). Let p = w - d. Is p a composite number?
True
Suppose 2*h = 4*d + 4626, -4*d = -3*h - 7*d + 6921. Is h a composite number?
False
Suppose -4*n 