18*u**2 - 2*u - 9. Is i(x) a prime number?
False
Suppose -4*r = m - 22, -r + 6*r - 25 = 0. Let g(v) be the third derivative of 133*v**4/24 - v**3/2 - v**2. Is g(m) composite?
False
Suppose -8*v + 61494 = 4942. Is v composite?
False
Let i = -67945 + 200574. Is i prime?
False
Suppose -1091 = -3*k - 5*w, 4*w = -0*k + 2*k - 720. Let u(g) = 60*g - 1. Let y be u(-3). Let d = y + k. Is d a prime number?
True
Suppose -y + 458 + 281 = 0. Let a = 1145 - y. Suppose v + 2*n = 3*v - a, 3*n + 199 = v. Is v a prime number?
False
Let p = 3605 - 1066. Is p a composite number?
False
Is 5735 + 3/((-15)/20) a composite number?
True
Let h(b) = -75 - 2*b + 75 - 3*b. Is h(-7) prime?
False
Let p(m) = -3*m + 18. Let g be p(8). Let c be ((-15)/g)/((-1)/338). Let k = 1336 + c. Is k composite?
False
Let b(n) = -747*n - 127. Is b(-20) prime?
True
Let k = 1485 - -785. Suppose -5*c - 365 = -k. Is c composite?
True
Suppose o + 250 = 6*o. Let s = o - 6. Is 1/((-86)/s - -2) prime?
False
Let c(g) = 6*g**3 - g**2. Let v be c(1). Suppose 2361 = v*q - 3209. Is q composite?
True
Let l = 52 - 52. Suppose l = -4*p + 2*r + 622, -3*r - 310 = -5*p + 468. Is p composite?
True
Suppose -5*x + 5028 = -a, -1995 = -2*x - 5*a - 0. Suppose -2*z + 1397 = -x. Is z prime?
True
Suppose 0 = -4*f + 13*f - 27. Let m be -2076*(-3 - 21/(-12)). Suppose 0*b + m = f*b. Is b a composite number?
True
Let n = 70 - 79. Is 2*1/4*(1381 - n) composite?
True
Let w(s) = 2*s - 2. Let f be w(0). Let j(z) be the first derivative of 11*z**3/3 + 2*z**2 + 3*z + 3. Is j(f) a prime number?
False
Let k be (-1)/3 + 10/3 - -6715. Let r = 11685 - k. Is r composite?
False
Let d(m) = 51*m**2 - 3*m + 2. Let n be d(-4). Suppose -4*k = 178 - n. Is k a composite number?
False
Let a(m) be the second derivative of m**4/4 + 5*m**3/2 + 41*m**2/2 + 7*m. Is a(-12) prime?
True
Let m = 1486 + -985. Let l = -1 + -3. Let i = m - l. Is i prime?
False
Let v(o) = o**3 + 6*o**2 - 4*o - 8. Let d be v(-6). Suppose 2*i + 10 = -4*j - 14, 3*j = -i - d. Is (-4)/(-2 - i) + 300 prime?
False
Suppose -5*f = -3*l - 8204, -f + 8*l + 1651 = 4*l. Is f a composite number?
True
Let d(k) = 162*k**2 - 16*k + 29. Is d(4) a prime number?
True
Suppose -2*o + 40957 = u, -2*u + 40969 = 2*o + 3*u. Is o a composite number?
False
Suppose -17*n - 13917 + 52660 = 0. Is n a composite number?
True
Let q(y) = 5*y**2 + y - 1. Let j be q(-2). Let s be (-120)/12*j*-1. Suppose 0 = 19*t - 14*t - s. Is t composite?
True
Is 170462/290*(6 + -1) prime?
True
Let y(v) = -v**3 - 13*v**2 + 8*v + 7. Is y(-14) composite?
True
Suppose 5*w - 2 = -2*p + 4*w, 0 = 3*w - 6. Suppose -3*d + 4*d - 593 = p. Is d prime?
True
Suppose 0 = -m - 3*m + 28. Let u be (-2)/m - (-22)/77. Suppose 2*q - 4*x = -u*q + 498, -5*q + 3*x = -1252. Is q composite?
False
Is 1*((-4)/(-10) + 8283/5) composite?
False
Suppose -4*m + 5 = -5*z - 17, 0 = m + z - 10. Suppose -m*l + 8336 = -3432. Is l a composite number?
False
Suppose 2*x = -5*x + 58723. Is x a prime number?
True
Let x be (-24)/60 + (-2)/(-5). Let j be (-12)/4 + (x - -19). Suppose 4*y = -j, -2*i + 866 = -2*y + 20. Is i composite?
False
Suppose 19 = -2*m - 3*o, -5*m = 5*o - 3 + 38. Let v(j) be the second derivative of -3*j**5/20 + j**3/3 + j**2/2 - j. Is v(m) a composite number?
True
Let d be (-1)/(2 + 27/(-13)). Let q = -13 + d. Suppose c = a - 644, q = 5*a + c - 2*c - 3232. Is a composite?
False
Suppose -x - f = -5382, -f - 26904 = -2*x - 3*x. Is x prime?
True
Suppose 19*s - 16*s = 15, 5*q - 57200 = -3*s. Is q composite?
False
Let n = 237 - -1066. Suppose 4*m - n - 597 = 0. Suppose -m + 102 = -u. Is u a prime number?
True
Let d(r) = -21*r - 20. Let c(y) = 84*y + 79. Let f(i) = -2*c(i) - 9*d(i). Is f(7) a composite number?
True
Let o be 85/30 + 1/6. Suppose -5*p = 2*m + 164, 4*p - o*m + 2*m = -139. Let q = p + 108. Is q prime?
False
Let o be (-5 - -1)*8/(-4). Let z be 32/2*15/(-12). Is (-2 - z/o)*266 a composite number?
True
Let l be (193 - -1)*(-4)/((-24)/39). Suppose 0 = -6*g + 6905 + l. Is g prime?
True
Suppose 4*f - 3 = x, f + 6 = 6*f - 2*x. Suppose z + 2*z = f. Suppose z = -3*q - 2*q + 905. Is q a composite number?
False
Suppose 0 = 4*q - 12, -5*l - 2*q + 10 = -7*q. Suppose -d + l + 0 = 0. Suppose d*s - 47 = 308. Is s a prime number?
True
Let m be 4/10 - (185/25 + 1). Is 1/2 + (-66)/m*290 prime?
True
Let m = -10 - -19. Let d = m + -4. Suppose d*j - 3*j = 382. Is j composite?
False
Suppose 0 = -4*v - 13 - 163. Is 8/v - (-14502)/22 a composite number?
False
Suppose 0 = 3*n + 4*o - 593, n = -4*o + 87 + 100. Suppose -4*r = -561 - n. Is r a prime number?
True
Let v(d) = d**2 - 10*d + 11. Let x be v(9). Suppose 4*s + 86 = x*p, -5*p + 179 = -4*s + 3*s. Is p a prime number?
False
Let g = 130 + -128. Suppose -g*u = 2*j - 88, -j + 5*u = -3*j + 73. Is j prime?
False
Suppose b - 5*p = 736, 0 = 5*b + 2*p + 2*p - 3825. Let h = -488 + b. Let g = h - 38. Is g a prime number?
False
Suppose -c + 6 = -0*c + 2*n, 0 = -5*c - 5*n + 5. Let v(a) = -52*a - 9. Is v(c) a prime number?
True
Let r(b) = -162*b**3 - b**2 + b + 1. Let m(a) = -a**2 + 3*a + 3. Let f be m(4). Is r(f) a prime number?
False
Suppose 11255 + 8220 = 5*u. Suppose -u = 77*w - 82*w. Is w a prime number?
False
Suppose -6*d + 8*d - 18 = 0. Suppose -1185 = -12*v + d*v. Is v composite?
True
Let h(u) = -57*u - 10. Suppose -5*g + 27 = -3. Let v be h(g). Let r = v + 873. Is r prime?
True
Let m = -71471 + 164392. Is m a composite number?
False
Let t(n) = 2*n + 23. Let v be t(-10). Suppose 2*q = 3*a + 3*q - 787, -777 = -v*a - 3*q. Suppose 2*l = 686 - a. Is l a composite number?
False
Let l = -6 + -8. Let c = 17 + l. Suppose c*m + 3395 = 8*m. Is m a composite number?
True
Let u(o) = 19907*o + 39. Is u(2) prime?
False
Suppose 0 = 2*h, 0*h + 3*h + 478892 = 4*z. Is z a prime number?
True
Let q(v) be the first derivative of -v**5/20 - 3*v**4/4 + 8*v**3/3 + 7*v**2/2 - 3*v - 4. Let u(o) be the first derivative of q(o). Is u(-12) a prime number?
False
Let t(s) = -4*s**3 + 2*s**2 + 7*s - 7. Let i(f) = -6*f**2 - 3*f + 3. Let l be i(1). Is t(l) a prime number?
True
Let k(s) be the second derivative of 10*s**4/3 + s**2/2 + 19*s. Let t(d) = -d**3 - 3*d**2 - 2*d - 4. Let i be t(-3). Is k(i) composite?
True
Let k(o) = -4*o + 6. Let x be k(3). Let a = x - -257. Is a a prime number?
True
Suppose 54557 = 11*f - 46874. Is f a prime number?
True
Let m(l) be the third derivative of 7*l**5/60 + 7*l**4/24 + l**3 - 8*l**2. Let b = -10 - -5. Is m(b) a composite number?
True
Suppose -8*n = -4*p - 12*n + 26136, -n = 4*p - 26133. Is p prime?
False
Let a = -33 - -38. Suppose a*y - h - 23 = 0, 0 = 5*y - h - h - 26. Suppose -y*g + 3*b = -302, g + g + b - 156 = 0. Is g composite?
True
Suppose 4*c - 21 = 35. Suppose -c*m - 3744 = -13*m. Is 2/(-10) + m/(-20) composite?
True
Let y = -6 + 2258. Suppose -2*i - y = -6*i. Is i a composite number?
False
Suppose 59*x = 12*x + 1206349. Is x a composite number?
False
Let y(o) = o**3 + 11*o**2 - 4*o - 35. Is y(-9) a composite number?
False
Suppose -25 = -5*x, -7*o + 3*x = -5*o - 511. Is o a prime number?
True
Let d(w) = 1663*w**2 - 15*w + 9. Is d(4) a prime number?
True
Let r be (-4*2)/(-4 + 3). Let q(v) = 345*v + 10. Let j be q(r). Suppose -2*m - j = -7*m. Is m a prime number?
False
Let n = -45 + 46. Is 2118/9 - (n + 2/(-3)) a composite number?
True
Let j be -1 - -4 - 3/(-3). Suppose 6*h - 27 = -4*x + 3*h, 0 = 4*x - j*h + 8. Suppose x*u + 36 = 2*v, -3*v + 31 = 2*u - 10. Is v a composite number?
True
Let c be -4*3/(-12)*0. Suppose c = 2*f - 4*f - 268. Let r = -43 - f. Is r a composite number?
True
Let z(r) be the third derivative of r**6/144 - r**5/10 - r**4/12 - 4*r**2. Let f(u) be the second derivative of z(u). Is f(11) prime?
True
Let f = -7132 + 22361. Is f a composite number?
True
Let f(s) = 723*s + 100. Is f(11) a prime number?
True
Let u be (4/10)/(8/80). Suppose q + 4*s = -1, 0*q - u*s = 2*q - 2. Suppose 2*y + y = q*v + 246, v = 3*y - 240. Is y a composite number?
False
Let r = -3 - 3. Let g be (6/(-3))/(r/7647). Suppose -2*u = s - g, 0 = 2*u - 0*u + 4*s - 2534. Is u a prime number?
True
Let s = 2099 - 1488. Is s prime?
False
Is (5 + (-24)/6)*15259 a prime number?
True
Let k(o) = -2*o**3 - 7*o**2 + 4*o + 3. Let n be k(-4). Suppose -4*i - w + 3006 = 0, -2*i + n*w - 2259 = -5*i. Is i a composite number?
False