x - 16. Is i(9) prime?
False
Suppose 9*r - 111503 = 168316. Is r a prime number?
True
Let r = 25 + -20. Suppose 6 = -b + 5*b + 2*a, r*a = 4*b - 13. Suppose -2*w - 4*h + 78 = 0, w + 3*w + b*h - 186 = 0. Is w composite?
True
Let n(v) = v**3 + 19*v**2 + 18*v + 5. Let o be n(-18). Is 587/4*12/(15/o) prime?
True
Suppose -2*h + 13682 = -b - 3*b, 0 = 4*b + 12. Is h composite?
True
Let z(m) = 604*m**2 - 14*m + 3. Is z(4) a composite number?
True
Suppose p - 127106 = -k, 4*k = 5*k - 5*p - 127088. Is k prime?
True
Suppose 38892 = 5*k + w, 4*k - 6*w = -4*w + 31122. Is k a composite number?
True
Let k = 2031 - 670. Is k a composite number?
False
Is ((-33225)/(-45))/((-1)/(-3)) a prime number?
False
Let i(x) = 331*x**2 + 11*x - 23. Is i(4) prime?
False
Suppose g = -4*t + 66679, -5*g = 2*t - 45829 + 12512. Is t composite?
True
Suppose -2*k = -b - 9, -3*k = -5*b - 21 - 3. Suppose v + 4*s + 1 = 0, -5*s = -k*v + 23 - 9. Suppose 102 = v*w - 231. Is w prime?
False
Suppose -2*t = -12*r + 9*r + 238159, -3*t = 5*r - 396919. Is r composite?
True
Let o(t) = -12*t**3 + 4*t**2 + 6*t - 17. Is o(-10) composite?
False
Suppose 2*x + 4*x = -12. Let r be (-30848)/(-144) - x/(-9). Suppose 2*f - 3*c - 93 = r, 0 = -3*f - c + 488. Is f a prime number?
False
Suppose -196*d - 1134385 = -201*d. Is d a prime number?
False
Suppose -a = 2*w - 3*w - 2, -2*a + 13 = w. Suppose 11 + 4 = w*o. Suppose o*p - 130 - 135 = 0. Is p prime?
True
Is ((-2)/(-4) + 40890/(-12))/(-1) a composite number?
False
Suppose 84411 - 23833 = 7*i. Is i prime?
False
Let z = -24 + 30. Suppose 0*x = -z*x + 1542. Is x a composite number?
False
Is (-9)/21 - (2 + 8890/(-49)) composite?
False
Let x(q) = -7*q**2 - 5*q + 16. Let b be x(-6). Let o = 623 + b. Is o a composite number?
True
Let t = -4 + 4. Let i be (t - 0)/(30/15). Suppose i = 3*j - 211 - 440. Is j prime?
False
Let v(b) = -6*b**2 - b + 5. Let n be v(2). Let m = 148 + n. Is m composite?
False
Let w = 27 + -24. Let s(n) = 12*n**2 - 5*n - 4. Is s(w) a prime number?
True
Let p(n) = -n**2 + 10*n - 20. Let t(o) = -o**2 - o - 1. Let d(a) = -p(a) + 2*t(a). Let h be d(-13). Suppose h*f - 597 = 2*f. Is f a composite number?
False
Suppose -h + 23665 = -3*m, -7*m = -2*h - 8*m + 47316. Is h prime?
False
Suppose -158*n = -136*n - 34826. Is n composite?
False
Let l = 140 - 78. Suppose -y = -q - 0*y + 60, q - 3*y - l = 0. Is q composite?
False
Let z(t) = 12*t**3 - t**2 - 2*t - 1. Let o be z(-3). Let x(k) = -61*k**2 - 7*k + 3. Let v be x(1). Let c = v - o. Is c a composite number?
False
Suppose 34643 = 4*v - 3*y, -31*y - 25946 = -3*v - 36*y. Is v a prime number?
False
Let k(z) = 15991*z**3 + z**2 - 22*z + 21. Is k(1) a prime number?
True
Let b = -852 + 267. Let s = b - -1000. Suppose -6*i + i + s = 0. Is i a prime number?
True
Let b = -3726 + 14353. Is b prime?
True
Let r be (-177)/(-15) + 1*1/5. Is (3 - 0)*(1904/r + -3) a composite number?
False
Let c(v) = 7 + 7 - 23*v - 18 + 7. Let j = -4 + -1. Is c(j) prime?
False
Let l be 20502/(-85) - 1/(-5). Let h = 322 - l. Is h composite?
False
Let p(u) = -u**2 + 13*u - 8. Let v be p(12). Let b be (-8)/(-1)*2/v. Suppose 0 = -6*j + b*j + 290. Is j composite?
True
Let j(g) = g**3 - 6*g**2 + 7*g - 7. Let v be j(5). Let f be v - (-2504)/(2 + 2). Suppose 2*i - f = 257. Is i a composite number?
False
Is (-1 - 12/(-8))/((-2)/(-6568)) prime?
False
Let k = 9 + -5. Is (299 - (-8 + 4)) + k prime?
True
Let g(u) = -3*u**2 + 7*u + 5. Let h be g(-4). Suppose -2*n - c - 243 = 0, -5*n + 4*n = 5*c + 117. Let b = h - n. Is b a prime number?
False
Let a = -947 + 660. Let z = 143 - a. Suppose -p + 355 + z = 0. Is p a prime number?
False
Let i = 3 + -4. Let b be 25/15*(2 - i). Suppose 4*f - 600 = 4*q, -f - b*q + 0*q = -180. Is f a prime number?
False
Suppose v - 203 = -3*y, 3*y = 4*v + 155 + 53. Let h = y - 59. Is h a composite number?
True
Let i(h) be the first derivative of 4*h**3/3 + 4*h**2 + 7*h + 1. Let a = 2 + -7. Is i(a) a prime number?
True
Is (1/(2 - 3))/(25/(-11975)) a prime number?
True
Suppose -3*x = z - 7, -2*x + 5 = z + 1. Let a be 14*(1 + (-1)/z). Is (a/6 + -4)*-742 composite?
True
Let r(d) = 17*d**2 - 3*d - 9. Let g(f) = -69*f**2 + 12*f + 35. Let h(y) = 2*g(y) + 9*r(y). Is h(4) composite?
True
Let a = 10 - 0. Suppose -a*o = -8*o - 646. Let i = o - 142. Is i prime?
True
Let j = 21986 - 14883. Is j a composite number?
False
Let v(d) = -2 - 11*d - 13*d**2 - 11 + 5*d**2 + 0*d**3 + d**3. Is v(10) composite?
True
Let z(a) = -54*a**3 + 3*a**2 + a - 1. Suppose 7*l - 10*l = 6. Let u be z(l). Is (6/(-9))/((-6)/u) a composite number?
True
Let o be (-20)/(-30) + 46/3. Suppose -6*g + o = -2*g. Suppose 254 = 2*p - g*j, 0*j + j = 0. Is p prime?
True
Suppose 5*w - 7 - 2 = -2*m, 4*m - 2*w - 6 = 0. Suppose 3796 = m*b - 562. Is b prime?
True
Let v(s) = 6*s**2 - 7*s - 22. Suppose 0 = -4*j + j + 21. Is v(j) a prime number?
True
Let t = -1577 - -25960. Is t a prime number?
False
Let b be 238/18 + 4/(-18). Let d(c) = 4*c**2 - 8*c - 19. Let i be d(b). Let w = i - 392. Is w composite?
True
Let l(a) = a**3 + 20*a**2 + 39*a - 1. Let n be l(-17). Let q = 4100 + n. Is q composite?
True
Suppose 0 = 2*n + 4 - 20. Suppose -n*p + 3*p + 955 = 0. Is p prime?
True
Suppose 5*a = g + 4755 + 4282, a = -5*g + 1797. Is a composite?
True
Let r = -3556 - -7012. Suppose 0*o - o = -x + 1730, o = 2*x - r. Is x composite?
True
Let u be (4 + -7)/((-6)/(-4)). Let b be u/(-14) - 78/(-42). Suppose -b*s + 1058 = -768. Is s composite?
True
Let n be (1 + 20)/((-6)/(-8)). Let z = -23 + n. Let d(l) = 36*l**2 - l. Is d(z) prime?
False
Let j = 17 - 12. Suppose 2*n - 1855 - 1228 = -3*o, o - 1022 = j*n. Is o a prime number?
False
Is 12233 - (238/51 - (-4)/3) a composite number?
False
Let w = -12 + 18. Suppose z - w*z = -1290. Let n = 889 - z. Is n a composite number?
False
Suppose 0 = -3*l + 15, 2*l = -q - 33 - 44. Let r = 454 - q. Is r prime?
True
Let o = -1858 + 5801. Is o composite?
False
Let l(n) = n**3 - 3*n - 3. Let x be l(-3). Let m = -19 - x. Is (2 - (-102)/m) + 0 a composite number?
False
Suppose -4532 = -0*z - z - 5*x, -4*x = -z + 4532. Suppose 0 = 5*i + 2*k - 11339, 2*k - k = 2*i - z. Is i composite?
False
Let x(f) = 8*f**3 - f**2 - 7 - 3*f**2 - 5*f**3 - 6*f + 7*f**2. Is x(5) prime?
False
Let o(x) = -x - 15. Let m be o(-18). Is ((-1)/m)/(3/(-1143)) a prime number?
True
Let k = 41 - -497. Is k a composite number?
True
Suppose -3*d + 4*x - 13 = 0, x + 16 = -5*d + 2*x. Let a(l) be the first derivative of -3*l**4/4 + 4*l + 96. Is a(d) prime?
False
Let g = -1504 - -2443. Is g a prime number?
False
Let o(j) = 2*j**2 + 19*j - 149. Is o(-28) a composite number?
False
Let c be (5 + -35)/((-2)/8). Suppose 0*n - 4*n = -c. Is (-273)/(-5) - (-12)/n a composite number?
True
Let o be (-7 + 4)/((-6)/8). Let b be o/(-18) + (-48184)/(-72). Suppose 25*p - b = 22*p. Is p composite?
False
Let y be 1/5 - 11138/(-10). Suppose y = 3*h + 343. Is h a composite number?
False
Let d be (-7 + 5)*7/(-2). Let h = d - -8. Suppose h*b = 16*b - 15. Is b a composite number?
True
Let q = 114 - 123. Is 14/21 + (-777)/q a composite number?
True
Let b be (-1)/2*(1 - 11). Suppose -3*a + 337 = 2*x - 234, x + 956 = b*a. Is a composite?
False
Let z(x) = 20*x + 29. Let s(l) = -l**3 + 7*l**2 + l - 23. Let t be s(6). Is z(t) a composite number?
False
Let g(u) = u**3 + 12*u**2 + 7*u + 27. Let o be g(-11). Let a = 108 + o. Is a a composite number?
False
Let h = 17628 + -12005. Is h prime?
True
Let q(y) = 176*y**2 - 3*y + 3. Let a be (0 - (-7)/3) + 7/(-21). Is q(a) prime?
True
Let o = 122 - -1715. Is o prime?
False
Let g = -1710 + 4799. Is g prime?
True
Suppose 7*r + r - 16 = 0. Suppose l - r*l = 4*a + 14, 0 = -4*l - 8. Is (-5 - a) + 123 + -2 composite?
True
Suppose -3*q + 53133 = -4*v, 0 = 2*q - 5*v - 10637 - 24792. Is q prime?
True
Let b(d) = d**3 + 36*d**2 + 15*d - 127. Is b(-18) prime?
False
Let k(p) = p**3 + 5*p**2 + 9*p + 7. Let d be k(-3). Is ((-4)/12)/(d/978) composite?
False
Suppose 10 = 3*m + 1. Suppose -5*x + k + 3*k = -517, -k + 300 = m*x. Suppose -3*n + 187 = 4*h, -n + 5*h - 26 = -x. Is n prime?
False
Suppose -12 = -5*l + 53. Is (1791 - l)/((-4)/(-2)) composite?
True
Let c(r) = -2*r - 22. Let s be c(-8). Is ((-2762)/s)/(2/6) a prime number?
True
Is 58/29*31551/6 a prime number?
False
Let i(a) = -3*a**3 - 4*a**2 + 7*a +