 a a composite number?
False
Let j(u) be the second derivative of 115/2*u**2 - 1/3*u**3 - 6*u + 0. Is j(0) prime?
False
Suppose -5*r + 2679 - 109 = 0. Is r a prime number?
False
Let l = -35728 + 61849. Is l composite?
True
Let d = 448 + 619. Is d a composite number?
True
Suppose 42*r - 224862 = -24*r. Is r composite?
False
Suppose 1215 = y + p, -4*p = -5*y + 4227 + 1812. Is y a composite number?
True
Let k(j) = 1 + 12*j**2 + 9*j + 2 - 2*j - 5. Is k(-9) a composite number?
False
Let k = -18790 + 26735. Suppose 8 = -5*h + 28. Suppose -k = -h*i - i. Is i a composite number?
True
Let h be (-1 + 5)*15/12. Suppose -h*o + n = -5, 2 = 4*o - 2*o - n. Let z(x) = 113*x. Is z(o) a composite number?
False
Suppose 4059 = 7*r - 20630. Is r prime?
True
Suppose -4*d + 4*l = -3532, -1782 = -24*d + 22*d - 2*l. Is d a prime number?
True
Suppose -4*w - 5 = 3*s, -s - 5 = 4*w - 2*w. Suppose 5*j = s*v + 2*j - 740, 2*j = -4*v + 570. Is v composite?
True
Suppose 3*r - 1 = -4*s, 0 = 3*r - 3*s - 2*s - 19. Is (-1)/r - (-3170)/15 a composite number?
False
Let j(f) = 15*f**3 - 7*f**2 - 13*f + 28. Is j(9) a composite number?
True
Let g be ((-6)/12)/((-2)/12). Suppose 0 = -v - g, -2*s - 5*v + 295 = -928. Is s composite?
False
Let l = -229 + -142. Let o be l/(-3) - (-1)/3. Let a = o - -37. Is a composite?
True
Let i(r) = -36*r**3 - 5*r**2 - 4*r - 9. Is i(-4) a composite number?
True
Let q = 1533 + -1310. Is q a prime number?
True
Suppose 0 = 3*r + 10*y - 13*y - 11055, -2*r + 4*y = -7366. Is r prime?
False
Suppose -4*j - 18 = -2*g, -2*g - 3*g = -15. Is 1841 - 2 - (-1 + j) a composite number?
True
Let u = 15 - 15. Suppose 2*l = -u*l - 6, -4*l - 4 = 4*y. Suppose y*j + t - 842 = 0, -j + 679 - 244 = 4*t. Is j composite?
False
Let m = -22953 + 40892. Is m a composite number?
False
Suppose 6*o - 3*o - 15348 = 0. Let b = o + -2505. Is b composite?
True
Is ((-2)/10)/(6/915)*-746 prime?
False
Let h(d) = -2916*d - 175. Is h(-33) prime?
True
Is 44516 - 33/(-3) - 6 a prime number?
False
Suppose -3*n + 24 = 2*p, -4*p = 3*n - p - 21. Is (-8)/n + 40854/30 a composite number?
False
Is ((-764)/16)/((-1)/44) a prime number?
False
Let k = 34876 - -78681. Is k prime?
True
Let i = 82658 - 7321. Is i prime?
True
Suppose 4*j = -5*l + 41815, -2*l + 4*j - 3591 + 20289 = 0. Is l a composite number?
True
Suppose 2*q - 5029 - 2137 = -2*p, -5*q = 20. Is p prime?
False
Suppose 0 = 9*j - 12401 - 49222. Is j a composite number?
True
Let t(s) = -2*s**3 - 7*s**2 - 6*s - 3. Let w be 3/(9/(-6) + 3). Suppose -p - 4 - w = 0. Is t(p) prime?
False
Let o = -604 + 9023. Is o a prime number?
True
Let h be 6/(-9) + (-12)/9. Let s be 2 - h - 3 - -3. Suppose -532 = -3*d - 5*w, -5*d = -s*w - 489 - 410. Is d a composite number?
False
Let b = 11394 + -2783. Is b prime?
False
Let h = 48 + -6. Suppose 0 = -6*c + 2*c - 2*s + 736, 4*c - 4*s - 748 = 0. Let w = c - h. Is w a prime number?
False
Suppose 21 = 3*n + 3. Is (-124690)/(-35) + n/14 composite?
True
Suppose -2*l - 3*r + 5438 = 0, 0 = -l - 10*r + 7*r + 2719. Is l composite?
False
Suppose 2*a - 80 = -5*r - 4, 62 = 4*r + a. Suppose -p - k = k + r, -k + 13 = -3*p. Is 7/(-2*1/p) composite?
True
Let u be (-4 - 4084/(-10))*-5. Is (-1)/(4047/u + 2) a composite number?
True
Let f(b) = 2*b**3 - b - 2. Let u be f(-1). Let h be -3*((-13)/u - 1). Is 110/(-4)*h/5 prime?
False
Let a = 7413 - 4960. Is a a prime number?
False
Suppose 25*f + 85763 - 433288 = 0. Is f composite?
False
Let u = 1980 + -887. Suppose -u = -3*g + 566. Is g a composite number?
True
Suppose 3*d - 85 = 3*q - 229, -2*q + d = -94. Suppose -3*x - i = -47 - 80, -4*i + q = x. Is (-2)/12 - (-4081)/x a composite number?
False
Suppose 0*l + 2*l - 1484 = 0. Let u = -315 + l. Is u prime?
False
Let f = -819 + 1156. Let l = 82 + f. Is l composite?
False
Let t(k) = -k**3 + 9*k**2 + 7*k + 35. Let n be t(10). Let d be 10/4*6/5. Suppose -2*b + 863 = -n*z, 0 = -4*b - d*z + 1698 - 37. Is b a prime number?
True
Let f(z) = 826*z**2 + 11*z + 19. Is f(-8) a prime number?
False
Suppose -1982 = 10*u - 12592. Is u composite?
False
Let q(b) be the first derivative of 4 + 51/2*b**2 - 4*b. Is q(3) a prime number?
True
Let t(j) = 10*j**2 - 2*j - 2. Let g be t(-1). Suppose -370 + g = -4*i. Let s = i - 16. Is s a prime number?
False
Suppose 23*r - 62188 = 4443. Is r a prime number?
True
Suppose 1248 + 1106 = j - 3*b, 3*j - 7069 = 2*b. Is j a composite number?
False
Suppose 7*m - 3*w = 2*m + 4, 2*m - 2*w = 0. Suppose -3*d = m*d - 565. Is d composite?
False
Suppose -4*v = 2*z + 3158, v + 4*z + 3152 = -3*v. Let a = v + 1332. Is a prime?
True
Let c be (2742/4)/(((-55)/10)/(-11)). Suppose -28*g = -25*g - c. Is g a prime number?
True
Suppose 7413 = 10*g - 47557. Is g a composite number?
True
Let n be -1*1/2*-4. Is 2*n/(4/69) composite?
True
Let y be 5 - (-1 + 4/1). Suppose 4*p = 9*p + y*n + 14, 2 = -2*p + n. Let k(c) = -13*c**3 - 2*c**2 - c - 1. Is k(p) prime?
True
Is (-710684)/(-36) + (-4)/18 a composite number?
True
Let u be -1*(-151 + 4 + -8). Suppose 3*f = s - u, -4*s + 53 = 4*f - 487. Suppose -s = -x + 161. Is x prime?
False
Suppose 43 = -4*q + 35. Is 9/18*(q - (-11966 - -2)) a prime number?
True
Let f be (-1)/((-1 + 0)/((-154)/(-14))). Suppose 12*x = f*x + 1009. Is x prime?
True
Suppose -3*b + 9 + 0 = 0. Suppose 4*v = -4, b*w - 3*v - 2*v - 209 = 0. Suppose 3*s = -0*s + 2*h + w, 0 = -2*s - 3*h + 41. Is s prime?
False
Let x(l) = l**2 - 2*l - 4. Let r be x(3). Let z(v) = -17*v - 1. Let n be z(r). Suppose -3*o - 2*k + 36 = -4*k, -2*k - n = -o. Is o composite?
True
Let f(h) = 1834*h + 87. Is f(10) composite?
False
Let m(a) = -a**3 + 4*a**2 + 5*a + 1. Let x be m(5). Is x*-1 + 9/((-72)/(-60880)) a composite number?
True
Suppose 0 = -3*y - 2*y - 3385. Suppose -2510 = -3*l - 3*c + 499, -5025 = -5*l - 3*c. Let v = l + y. Is v composite?
False
Let x be ((-2)/6)/(1/6). Let o = x + 38. Suppose v - 4*a = 25, 3*v + a - o = -0*a. Is v a prime number?
True
Suppose 4*x - 2 = 10, 2*j - 3*x = -677. Let b = j - -1121. Is b a composite number?
False
Suppose -2*c = -165 - 15. Let b = c + -56. Let n = 245 - b. Is n composite?
False
Let m(z) = -19*z + 15*z - 5 - 20*z. Is m(-11) composite?
True
Let c(k) = k**2 + 2*k + 300. Let p be c(0). Is 0 - (0 - -1 - p/1) prime?
False
Let r(q) = 16493*q**2 - 2*q - 2. Is r(-1) prime?
True
Let f be 8/3*(-21)/(-14). Suppose 0*j = -j + 5*l - 527, 0 = f*j + l + 2150. Let c = j - -800. Is c prime?
True
Let j(y) = -y**3 - 8*y**2 - 8*y + 6. Let d be j(-6). Is (-8193)/(-9) + (-12)/d a prime number?
True
Let t(z) = -1596*z**3 + 2*z**2 + 3*z + 2. Let y be 2*(1/(-3))/((-12)/(-18)). Is t(y) prime?
True
Suppose 0 = 2*m - 2*c - 15976, m + c - 9635 = -1637. Is m a composite number?
False
Let g = -1500 + 2201. Is g composite?
False
Suppose -d + 2636 = d - 2*y, -2*y - 10 = 0. Suppose -5*l = 4*x - d, x = -2*l + 285 + 47. Let n = -119 + x. Is n a composite number?
True
Let h = -707 - -353. Let k = h + 1105. Is k composite?
False
Suppose -2098 = 7*w - 9*w. Is w a composite number?
False
Suppose 4*y = -7093 + 40721. Is y prime?
False
Let v be (-1)/6 + (-3889)/(-6). Suppose -4*n + v - 48 = 0. Is (-5)/(-4 + n/38) composite?
True
Suppose -99288 = -2*y - u, 4*y + 2*u - 198572 = -2*u. Is y a composite number?
True
Let t = 16 + -23. Let z(s) = -27*s + 1. Let k(f) = -14*f + 1. Let w(a) = t*k(a) + 4*z(a). Is w(-13) prime?
True
Let u(i) = 50*i**2 - 4*i - 8. Let q(v) = -25*v**2 + 2*v + 5. Let w(z) = 5*q(z) + 3*u(z). Suppose 1 + 5 = 3*g. Is w(g) a prime number?
True
Suppose -m - 57 = 2*m. Let g = m - -20. Suppose v + g = 0, -4*l + 0*v - 2*v + 410 = 0. Is l a prime number?
True
Let p = -2126 - -3410. Suppose 0 = 6*r - 0*r - p. Is r prime?
False
Let l be (-1)/1*12/(-4 - 0). Suppose 0 = -4*h - k + l*k + 932, -2*h - 2*k + 478 = 0. Is h composite?
True
Let j(h) = h**3 - 7*h**2 - 8*h + 5. Let p be j(8). Let z(w) = 56*w**2. Let s be z(-1). Suppose p*u - s = u. Is u composite?
True
Suppose 8*j = 5*b + 3*j - 16235, 0 = -5*j + 20. Is b a composite number?
False
Let h = 3526 - -33075. Is h a composite number?
True
Let q(x) = -x**2 + 5*x - 4. Let u be q(3). Let s = -2 + 4. Suppose -2*v + 2*k = -110, 6*k - u*k + 110 = s*v. Is v a prime number?
False
Let n be -2 + 0 - (0 - 4). Suppose a + 4*r + 8 = 0, 5 + 3 = -n*r. Let b(g) = 22*g + 2. Is b(a) a prime number?
False
Let g(l) = l