= q - j. Is s composite?
False
Let c(a) = a**3 - 2*a + 1. Let q be c(1). Let z = q + 2. Is (-2440)/(-15) - z/(-6) prime?
True
Suppose 0 = -3*d + 327 + 16269. Let l = d + -2927. Is l prime?
False
Let v(c) = -c**3 + 14*c**2 - 13*c - 4. Let r be v(13). Let j be 9/36 - 19/r. Suppose -495 = -j*n + 1040. Is n prime?
True
Let v = -29 - -29. Let a be -18*(94/(-6) + v). Suppose 4*j - a = j. Is j a prime number?
False
Let p = 41143 - 5406. Is p composite?
True
Suppose -3*o = -5*o - 2*m, 0 = 3*o - 4*m - 7. Let d = -9 - -19. Is 0/d - (-76 - o) a composite number?
True
Suppose 7*m - 970 - 3 = 0. Is m a prime number?
True
Let b = -1 - -6. Let k be (-7236)/(-4) + 1 + -5. Suppose -6*r = 2*s - 2*r - 750, b*s = 4*r + k. Is s a composite number?
True
Let j(v) = -v**2 - v + 16. Let o be j(0). Let d be 337*4 - (o + -15). Suppose 6*r = 3*r + d. Is r prime?
True
Suppose -79*p + 20409 = -76*p. Is p composite?
False
Let u = 123 + -123. Suppose u = -4*c + 4*i + 2356, 5*c - i = 586 + 2375. Is c a composite number?
False
Let p = 6273 - -7916. Is p prime?
False
Let p(g) be the second derivative of -63*g**3/2 + 31*g**2/2 + 18*g. Is p(-4) composite?
False
Suppose 4*b = 0, -16*b = 4*p - 11*b - 73572. Is p a composite number?
True
Suppose -3*a = 3*o, -2*a = -3*o - 0*a + 20. Suppose -4*p = -o*k + 997 + 287, 3*p = -5*k + 1645. Is k composite?
True
Let r be (-273)/(-24) + 18/(-48). Let f(h) = 6*h - 13. Is f(r) prime?
True
Is (-2824)/(-4) + (-6 - -1) a prime number?
True
Is 163*116 - (25 - 16) prime?
True
Suppose -3*x + 4*h = -199, -196 = -4*x + 3*h + 67. Let j = -29 + 34. Suppose 15 - x = -j*v. Is v composite?
True
Suppose 6*r = 2930 + 2974. Is (-1 - r)*(-15)/15 a composite number?
True
Let a be 2/10 + (-54)/(-30) + -3. Is (-31)/(a/(-3 - -4)) composite?
False
Is (-293)/(8/(-6) - 1480/(-1128)) prime?
False
Suppose -14*s = -13*s - 2128. Let f = 3869 - s. Is f composite?
False
Let g = 25 + -15. Let c be (g + -31)*(-76)/6. Is ((-14)/(-4))/(7/c) a composite number?
True
Suppose -43379 = -15*i + 8*i. Is i a composite number?
False
Let r = -490 + 4457. Is r a composite number?
False
Let o(v) = v**3 - 3*v**2 + 5*v - 1. Suppose 5*p - 5 = 4*p. Is o(p) a composite number?
True
Let b = 7843 + -5322. Is b a composite number?
False
Suppose -24 = 3*t + 4*q, 4*q + 5 = -7. Is (-3)/t - (-649)/4 a prime number?
True
Let z = -35 - -33. Is ((-5)/(60/663))/(z/8) a composite number?
True
Suppose 5*u - 3*v + 9 = 0, 0*u - 11 = 3*u + v. Let h(y) = -38*y - 3. Is h(u) prime?
False
Let w = 7461 + -3568. Suppose -3184 = -3*u + w. Is u a prime number?
False
Let m = -3296 + 8143. Is m prime?
False
Let f = -8 + 8. Suppose 0 = -f*k + k - 129. Let v = k + -32. Is v a prime number?
True
Let f(k) = -972*k**3 - 10*k**2 - 47*k - 29. Is f(-4) prime?
True
Let w be 4795/(1 + 6) - 4. Let a(k) = -k. Let g be a(4). Let m = w - g. Is m a composite number?
True
Let c(w) = w**2 + w + 235. Let u(b) = -3*b + 4. Let j be u(6). Let f = 14 + j. Is c(f) prime?
False
Let p be (-3 + 7)*(-100)/16. Let g = p + 29. Is 2/g*(-13 + 187) a prime number?
False
Is (586 - 0)*6/(-48)*-44 composite?
True
Suppose 0*h + h + 2 = 0, -4*n = -3*h - 2670. Suppose 4*g + 5 = 25. Suppose -n = -g*p + f + f, 5*p - 672 = -f. Is p a composite number?
True
Let a(m) = -m**3 + 10*m**2 - 8*m - 6. Let f be a(9). Suppose -2*r + g = f*r - 5690, 3386 = 3*r + 5*g. Is r composite?
True
Let s = 2485 + -846. Is s a composite number?
True
Suppose -2*r - 6 = -3*c, -c - 2*r + 0*r = 6. Suppose -3*m - 7 - 11 = c. Is 12/(-8)*376/m composite?
True
Let s be (-66)/(-14) - (88/(-14) - -6). Suppose -5*m - q + 4736 = 0, 5*m - 4732 = s*q - 2*q. Is m a prime number?
True
Let j = 298 + 4461. Suppose 2*s = 11*a - 8*a - 14225, -a + 5*s = -j. Is a a prime number?
False
Is -2*(9574/(-4) - -2) a composite number?
False
Suppose -5*g + 40050 = -11755. Is g composite?
True
Is (73316/(-5) - -2)/((-54)/135) a prime number?
True
Suppose 3*o - 133 = -2*l, -o - 375 = -8*l + 3*l. Let m be -2 - (l - (-2)/1). Is (-6)/(-9)*m/(-4) a prime number?
True
Suppose -u - 6 = 5*p, -2*u - 2*u + 26 = -5*p. Suppose 0 = -2*r + 4, u*r + 30 = -3*f + 5*f. Is f a prime number?
True
Suppose 26508 = 12*w - 6*w. Suppose -735 = a - w. Is a composite?
True
Let b = -5 - -9. Suppose 0 = -3*q - 2*m + b, -3*q - 4*m + 3 - 1 = 0. Let t(o) = 44*o**3 - 2*o**2 + 2*o - 1. Is t(q) composite?
False
Suppose 0 = 4*x + h + h - 76, -95 = -5*x + 3*h. Suppose x*c - 22*c + 147 = 0. Let w = c + 204. Is w a prime number?
False
Let v(c) = 543*c**2 + 25*c - 105. Is v(4) a composite number?
True
Let c = -4965 - -39176. Is c composite?
False
Suppose m + 5 = 3. Let n(r) = 239*r**2 + r - 1. Let w be n(m). Suppose 4*y - 768 = 2*x, -5*y - 2*x + w = -x. Is y composite?
False
Suppose 2*g - 2970 = 310. Suppose 2*q - 15 = -3. Suppose -518 = q*v - g. Is v a prime number?
False
Let t be 1*(-24)/(2*-1). Suppose -x - m + 16 = 0, 0 = 4*x - 6*x + 4*m + 2. Let g = t + x. Is g a composite number?
False
Let f(t) = 2*t**2 - 4*t - 20. Let z(r) = r**2 - 2*r - 10. Let u(p) = 6*f(p) - 11*z(p). Suppose -11 = 4*l + 33. Is u(l) a composite number?
True
Suppose -16*k = -17*k. Suppose 4*a - 213 - 295 = k. Is a composite?
False
Suppose -107*w = -92*w - 3795. Is w composite?
True
Suppose 4*s - 4*h - 915 - 2285 = 0, -791 = -s - 2*h. Is s prime?
True
Suppose -c + 3*z = 3*c + 15, -2*c = -2*z + 10. Suppose m - 2*v - 2*v + 142 = c, -124 = m + 2*v. Is (m/8)/((-1)/4) prime?
False
Let g be ((-5 - -3) + 2)/2. Suppose 5*d + 0*d - 45 = g. Suppose -4*s - 665 = -d*s. Is s composite?
True
Suppose 72064 + 89089 = 29*f. Is f a composite number?
False
Is 5*(2 - (-156534)/30) a composite number?
False
Suppose 4*f = 2622 + 382. Suppose -i + b + 1632 = 0, -i = -4*b + f - 2368. Is i a prime number?
True
Suppose -3*l + 6 = p - 4*p, 3*p + 4*l - 15 = 0. Let v(k) = 12*k**2 - 2*k + 1. Is v(p) prime?
True
Suppose 5*c + 0*c = -f - 21, 0 = -3*c - f - 11. Let a(x) = -19*x**3 + 9*x + 3. Is a(c) prime?
True
Let o = -82 - -76. Is (-4)/o*104136/16 composite?
False
Suppose -3*q = -6*q + 11589. Is q prime?
True
Suppose -7*v + 8368 + 38805 = 0. Is v a composite number?
True
Suppose -29*b + 30*b - x - 8996 = 0, -x - 26990 = -3*b. Is b prime?
False
Suppose -99*c = -85*c - 77798. Is c prime?
True
Let y(u) = u**3 + u**2 + u - 13. Let f be y(-10). Let v = f + 1624. Is v a prime number?
True
Let k be (-6)/(-10) + 9/(-15). Suppose -2*w - 5*u = -25, k*w - 2*w - 4*u = -22. Suppose s - 3*p - 677 = -s, w*s + p = 1684. Is s a composite number?
False
Suppose -m - 58*x + 90397 = -60*x, 3*x - 180794 = -2*m. Is m a composite number?
False
Let w(c) = 34*c**2 - 25*c - 18. Is w(11) a composite number?
False
Let j be (32/(-80))/(2/(-30)). Suppose -3*t + j = -0*t. Suppose 2*z = -2*z + t*r + 516, 5*z - 645 = 5*r. Is z a prime number?
False
Let d be (-7)/35 - 31/(-5). Suppose 2*f + 12 = 5*f, f + d = 5*w. Suppose w*v = -3*m + 224, 3 = m + 7. Is v a prime number?
False
Suppose 6*j - 192219 = 264375. Is j a composite number?
False
Suppose 10 = 5*x, -5*i + 9413 = -2*x - 6968. Is i a composite number?
True
Suppose w - 6*w = 4*o + 2413, -3*o - 4*w = 1810. Let p = o + 2125. Is p a composite number?
False
Is (61772/8)/((135/(-18))/(-15)) prime?
True
Suppose -3*r - 3*m + 55611 = 0, 4*m = -3*r + 24172 + 31437. Is r prime?
True
Suppose 0*r + 2*r - 3310 = 0. Suppose -r = -5*d + 2*p, -2*d - d = -p - 992. Is d a composite number?
True
Let b(s) = -10*s**2 + 1. Let n be b(2). Suppose -28 - 44 = -6*q. Is 0*3/q - n prime?
False
Let p(i) = i - 3. Let h be p(6). Let k = -6 + h. Let r(f) = 36*f**2 - 5*f - 4. Is r(k) a prime number?
False
Suppose -5039 = 5*k - 6*k. Is k composite?
False
Suppose -13*b + 14*b = 36845. Is b prime?
False
Is 7537/(7 - 5/((-20)/(-26))) prime?
False
Suppose -12*c - 42624 = -0*c. Let l = c + 5279. Is l prime?
False
Suppose 3*c + 123 = 3*m, 2*m + 149 = -4*c + m. Let i = -23 - c. Let p = i + 0. Is p a composite number?
True
Let t(k) = -18*k - 13. Is t(-17) composite?
False
Let b = 34882 + -17541. Is b prime?
True
Suppose 4*j = 2*m + 44, 2*j - 29 = 2*m + j. Let n = m + 11. Is (-4 + 3)/(n/109) a prime number?
True
Let h(d) = -137*d - 3. Let r be 2/7 - 128/56. Is h(r) a prime number?
True
Let q(v) = -2*v**2 + v + 6. Let a be q(10). Let y = a + 1012. Let x = -175 + y. Is x prime?
True
Suppose 6*g - 30 = g. Let b be (21/(-7))/(g/(-17