?
False
Let g = -3452 + 507. Let f = -1386 - g. Is f composite?
False
Suppose -2*q + p = 765, q = -4*q + 3*p - 1910. Let d = q - -1626. Suppose 3*f - 1229 = a, -2*f + 5*f - d = -2*a. Is f prime?
False
Suppose -5*z = -20, -1 = 5*p - 4*z + 5. Let g(f) = 211*f - 3. Is g(p) a prime number?
True
Suppose 210845 = 13*g - 371594. Is g a prime number?
False
Suppose 214 = 3*x - 119. Let h be (x/3 - 0) + -1. Suppose -l = -h - 43. Is l a composite number?
False
Suppose -o + 5*k = o + 95, -229 = 4*o + 3*k. Let l = 684 - o. Is l a composite number?
False
Let a(p) = -3*p**3 + 25*p**2 + 17*p - 5. Let r(l) = 7*l**3 - 51*l**2 - 34*l + 11. Let g(y) = 9*a(y) + 4*r(y). Is g(-16) prime?
False
Is (-1)/(-8 - 171704/(-21464)) prime?
True
Let x(j) = -2*j**2 - 18*j + 1. Let b be x(-9). Suppose i - 1644 = -0*i - 5*l, 0 = -l + b. Is i a composite number?
True
Suppose s = 19*h - 16*h - 37267, -5*h - 3*s + 62093 = 0. Is h a composite number?
False
Suppose -17*x - 4*z + 142677 = -12*x, -2*z - 28541 = -x. Is x prime?
True
Let k be (-3)/(4*(-3)/4260). Let f(x) = 2*x**3 + 2*x - 1. Let a be f(1). Suppose 0*q + k = a*q. Is q composite?
True
Let m be (-60)/(-16) + (-2)/(-8). Is (1146/9)/(m/6) prime?
True
Let z(v) be the second derivative of 449*v**3/6 + v**2 - 13*v. Is z(1) composite?
True
Suppose -s + 0*s + 4 = 0. Suppose -7191 + 1555 = -s*r. Is r composite?
False
Let f(l) = l + 376. Let o be f(0). Suppose -2*b = -o - 138. Let i = b + -163. Is i prime?
False
Suppose -348*k = -351*k + 24987. Is k composite?
False
Suppose 2*r - 8542 = -4*o, 3*o + 56*r = 54*r + 6404. Is o a composite number?
True
Let v(n) = 830*n**2 - 6*n - 18. Is v(-2) a composite number?
True
Suppose 5*f + 79 + 71 = -5*y, -2*y = 0. Let l be f/(-4)*10/15. Suppose -l*d + 3*d + 42 = 0. Is d composite?
True
Suppose 4*v = -3*a + 2*a + 1481, -4*v = -4*a + 5904. Is a prime?
False
Suppose 5*z + t = 1165, -2*t - 2*t - 676 = -3*z. Suppose -j + 2*v + z = 4*j, 4*v + 96 = 2*j. Let a = j + -15. Is a a composite number?
False
Let s be (-1 - (4 + 15/(-3))) + 7. Let u = 147 - 28. Suppose -s*f = -2*f, 2*f - u = -i. Is i composite?
True
Let q(m) = m**3 - 20*m**2 - 44*m + 43. Is q(24) a prime number?
True
Let o = 10 + -1. Suppose -515 = -2*n - f, 0 = -5*n - o*f + 4*f + 1280. Is n a composite number?
True
Suppose 6 = 5*d - 2*d. Let z(i) = i - 2. Let w(t) = 1. Let r(o) = d*z(o) + 2*w(o). Is r(6) a composite number?
True
Let o(c) = -2*c**2 + 6*c + 1. Let r be o(5). Let m be r - (0/(-3))/(-1). Let a = -10 - m. Is a a composite number?
True
Suppose 4 = 5*c - 6. Let x be (-12)/(-4) - (-21 + c). Suppose 0 = j - x - 105. Is j a composite number?
False
Let p(c) = 4*c**2 - 9*c + 7. Let a be p(6). Suppose a = 3*q + 2*f, -f = 3*q - 2*f - 100. Suppose z - q = 116. Is z a composite number?
False
Let t = -13252 + 6985. Let h = -2780 - t. Is h composite?
True
Let o = 3734 - 2425. Suppose 5*c = 3*n - 7068 - o, 2*c + 11160 = 4*n. Is n a prime number?
True
Suppose n - 21 = -g + 20, -4*g = -2*n + 82. Suppose f - n + 10 = 0. Is f a prime number?
True
Suppose 9 + 11 = -4*p. Let g(u) = u**3 + 4*u**2 - 5*u + 2. Let n be g(p). Is (1137/6 - 4)*n a composite number?
True
Is (0 + -2 + 4)*(-17812)/(-8) composite?
True
Suppose 8*z + 39621 = -7507. Let k = 9484 + z. Is k prime?
True
Let t = 4 + -6. Suppose 8 - 38 = 15*s. Is s/t*-1 - -188 a composite number?
True
Suppose 16*s = 13*s + 114. Suppose 2*m = -s + 1600. Is m prime?
False
Suppose f - 4 + 0 = 0. Suppose -14*t - 6270 = -16*t. Suppose 4*i - r + 423 - t = 0, 2720 = f*i - 3*r. Is i a prime number?
True
Let g = 15 + -21. Let k = g + 9. Let y(z) = 90*z - 5. Is y(k) composite?
True
Let i be -2 + 3 - -3 - 6. Let y be -1 - (-3 - 0 - i). Let l(a) = 3*a + 479. Is l(y) a prime number?
True
Let j = 7 - 7. Suppose 3*r - 2073 = -2*f, j = 3*r - 2*r + 2*f - 691. Suppose t = r + 870. Is t a prime number?
False
Let a = 5536 + 7245. Is a a prime number?
True
Suppose k - 41 - 925 = 0. Suppose 6*c = -0*c + k. Is c a prime number?
False
Suppose 83530 + 68377 = 7*v. Is v composite?
False
Is (-9)/135*10 + (-382894)/(-6) prime?
False
Suppose -67605 = -20*l + 5*l. Is l prime?
True
Let o = 76039 + -37526. Is o prime?
False
Let l(j) = 47*j**2 - 161*j + 13. Is l(-17) a composite number?
False
Let b = 1172 + -790. Is (1*(-5 + 4))/((-1)/b) a composite number?
True
Let k(n) = 17*n**2 - 1 - 1 - 10*n + 2 + 11. Is k(-12) a prime number?
True
Is (-8)/(-36) + (-134945)/(-45) a prime number?
True
Let a(v) = v**2 + 9*v - 6. Let s be a(-8). Let g = s - -17. Let o(y) = 72*y**2 - 2*y - 1. Is o(g) a prime number?
True
Suppose 8*k + 2072 = 5768. Let q(r) = 5*r**2 - 2*r - 4. Let n be q(7). Let j = k - n. Is j a composite number?
True
Suppose -i + n + n + 2149 = 0, 5*i = 5*n + 10770. Is i composite?
True
Let h be -1 - ((-2 - -2)/1)/1. Is h/(-5) - 28977/(-65) prime?
False
Let c = -3213 - -31724. Is c a composite number?
True
Is (-1208547)/(-119) + -11 - 2/(-14) a prime number?
False
Is 6/9*(-93162)/(-4)*1 a composite number?
False
Suppose -4*o + 4 = -0*o. Suppose -v + 4 = -o. Suppose v*c - 2217 = 2*c. Is c a prime number?
True
Let l(k) = -k - 10. Let w be l(-8). Let t be -1 - (-6 + 3 - w). Suppose t = -0*z - 4*z + 460. Is z a composite number?
True
Let g be (4/(-2))/((-2)/5). Let s(f) = 1 - 4*f + g*f + f. Is s(9) a prime number?
True
Let d(m) = -3*m**3 - 50*m**2 + 7*m - 43. Let o(z) = z**3 + 17*z**2 - 2*z + 14. Let v(i) = -3*d(i) - 8*o(i). Is v(-14) a prime number?
False
Suppose -43*f = -9*f - 21454. Is f a prime number?
True
Let h(o) = -o**3 - 26*o**2 + 19*o + 13. Suppose -3*b = 43 + 41. Is h(b) prime?
True
Let k(v) = v**3 + 6*v**2 + v + 8. Let a be k(-6). Let u be (a - 0) + -1 + 594. Suppose i = -5*n - 3*i + u, -4*i - 635 = -5*n. Is n composite?
True
Suppose 0 = -b + 3*b - 2*h - 6, -4*h = 20. Let w(z) = 97*z + 3. Let o(j) = 94*j + 3. Let r(m) = 2*o(m) - 3*w(m). Is r(b) a prime number?
False
Let t be (3 - 14)/(2/(-6)). Let p be 6/t - 24/11. Is 35 + -1*(3 + p) a composite number?
True
Let z = 2842 - -979. Is z a prime number?
True
Let t be (-17)/(-7) + 12/21. Suppose 5*g + 3*s - 1446 = -0*s, 0 = -5*g + t*s + 1464. Is g a composite number?
True
Let y = -16551 + 28628. Is y composite?
True
Let h(w) be the first derivative of -w**3/3 - 19*w**2/2 + 7*w - 4. Let g be h(-10). Is 3 + -1 + 3*g prime?
True
Let f be (-4)/12 - (-444)/9. Let g = 570 + f. Is g a composite number?
False
Suppose -3*g - 5*q + 25 = -7*g, 37 = -4*g + q. Let s be (-3)/(-2) - 3735/g. Let r = s + -149. Is r prime?
False
Suppose 0 = y - 3*y + 588. Suppose 0 = 4*i - y - 190. Is i a prime number?
False
Let x(s) = -38*s**3 - 2*s**2 - 4*s - 3. Let c be x(4). Let o = c + 4665. Is o a composite number?
True
Suppose -12 = -5*n - 2*w, -5*n + w = -0*w - 24. Suppose -a + n = 4*f, 3*a - 7*a - f + 16 = 0. Is a*1*(-419)/(-4) a composite number?
False
Let f = 102 + -493. Let w = 1646 + f. Suppose 0*c + w = 5*c. Is c a composite number?
False
Suppose 10*j = 5*j. Let o be -288 + (-5 - (j - 2)). Let r = 40 - o. Is r prime?
True
Let g(s) = 121*s**2 - 13*s - 19. Is g(-2) a composite number?
False
Let w be ((-38)/57)/(2/(-32178)). Suppose -u + 4*g = -2689, 2*u = 6*u - g - w. Is u a composite number?
True
Suppose 0 = -2*w + 5*g - 4, -4*w + 5*g + 2 = -0*w. Let x(b) = -1 - 2*b - b**2 + b**2 - b**2 - 3*b**w - 13*b**3. Is x(-2) a prime number?
True
Suppose 23*r + 182359 = 40*r. Is r composite?
True
Let x(d) = 17*d**3 + d**2 - 25*d + 168. Is x(7) prime?
False
Suppose 3*s + 1 - 10 = 0. Suppose 0 = -2*l + 3*v + 192, -4*v = s*l - 3*v - 288. Suppose 2*d + f - 3*f - 232 = 0, -d + l = -5*f. Is d composite?
True
Let l be 263*7/7*(-1)/(-1). Suppose -4*d + 4*f + 13 = -1007, 3*f - l = -d. Is d prime?
True
Suppose -1 = -p, -5*s + 14184 = 6*p - 2*p. Suppose s = i + 3*i. Is i composite?
False
Let j be -1110*(-13)/(-8)*-4. Let o = j - 1208. Is o prime?
True
Let l = -5 - -9. Let t(d) be the third derivative of 7*d**4/12 - d**3/2 + 42*d**2. Is t(l) prime?
True
Let h = -6790 - -9551. Suppose -3*d = h - 7312. Is d a composite number?
True
Suppose 3 - 9 = -2*q. Suppose 3*o + o + q*g - 476 = 0, -o + 110 = 3*g. Let t = 181 - o. Is t composite?
False
Let o(j) = -539*j + 1216. Is o(-23) a composite number?
False
Suppose 9*p = 6*p + 3*n + 271800, -4*p + 362355 = 5*n. Is p prime?
False
Suppose -6*g + 0*g = -1452. Suppose 2*j = g + 186. 