4484. Is v prime?
True
Suppose -5*g + 817573 + 4510 = 2*s, -4*g + 657625 = -3*s. Is g a composite number?
False
Suppose 0 = -8*y + 3*y - 3*w + 428, 4*y + 4*w = 344. Let r = y + -80. Suppose r*o - 16406 = -8*o. Is o composite?
True
Let a be 0 + 4/(-3)*-3. Let g(i) = 4*i + 43*i**2 - 10*i - 8835 + 8844. Is g(a) a composite number?
False
Let w = -65 + 68. Let k(j) = 22 - 12*j**w + 2*j**3 - 2*j**2 + 3*j**2 + 2*j**2 + 3*j. Is k(-4) a composite number?
True
Let m be 51/(-17)*(-26)/6. Suppose -m*c - 43 = -173. Is c a prime number?
False
Suppose -308452 = -2*f - 5*z, -62*f - 616850 = -66*f - z. Is f a prime number?
True
Suppose 5*u - t = 2, u - 4*t - 5 + 16 = 0. Let d be (u*570)/(16/(-4) - -5). Suppose -d = 6*h - 12*h. Is h a composite number?
True
Suppose 5*z + 3*r - 2888 = z, -3*z - 4*r = -2159. Suppose 1705 = -5*s - z. Let c = -212 - s. Is c a prime number?
False
Let q be 30/(-70) + 6312/(-21). Let o = 738 + q. Is o prime?
False
Let p = -392158 - -555192. Is p composite?
True
Is (25/50)/(8/6109264) a composite number?
True
Let c = 66 + -61. Suppose 2*f - 2*h = 2056, f + 0*f - c*h = 1016. Let z = f + -544. Is z composite?
False
Suppose -100*f + 14603629 + 25069533 = -68722338. Is f a prime number?
False
Is (-979)/11*((-12)/18)/(12/11754) prime?
False
Let j(o) = -o**3 - 11*o**2 - 27*o - 23. Let v be j(-8). Is v - (-26644)/30 - (-20)/(-150) composite?
True
Let x(l) = 15*l**2 + 2*l - 3. Let r(b) = 16*b**2 + 5*b - 4. Let o(a) = -2*r(a) + 3*x(a). Suppose 0 = 3*n - 4*j + 6, 0*n - 4*j = n + 2. Is o(n) a prime number?
True
Let d(i) be the first derivative of 7*i**2 - 8*i + 28. Let z(c) = 9*c - 5. Let h(a) = 5*d(a) - 8*z(a). Is h(-17) composite?
True
Suppose -116272445 = -518*c + 33*c. Is c a composite number?
False
Let q be (-1 - -2) + 3538 + -4. Suppose 2*s - 7*s + q = 0. Is s composite?
True
Let m(x) be the third derivative of 203/60*x**5 - 7/24*x**4 - 7/2*x**3 + 30*x**2 + 0*x + 0. Is m(-5) composite?
True
Let t(z) be the second derivative of -26*z**3/3 + 57*z**2/2 + 59*z. Is t(-20) composite?
False
Let j(b) = 5*b**2 - 11*b - 13. Let u be j(10). Suppose 7 = 3*g - 5*z, 5*g + 9 - 30 = -z. Suppose -g*f - 317 = -5*a, 5*a + 44 = -4*f + u. Is a prime?
False
Let p = 8736 - 2943. Is p prime?
False
Let t be 4/(16/14)*72/14. Suppose t*r - 9*r = -2673. Let o = 1186 + r. Is o a composite number?
True
Let w = 738 + -727. Suppose 0 = -w*h - 4939 + 21560. Is h a prime number?
True
Let a be (-29)/(-8) + 22/(3344/57). Suppose 4194 = 4*i - 34. Suppose 53 = -a*s + i. Is s a composite number?
False
Let w(a) be the first derivative of -a**3/3 - 12*a**2 - 16*a - 1. Let p be ((-11)/(-1) + 8)*-1. Is w(p) a composite number?
False
Is 70388 - (4/(-8)*4 - (2 - 1)) a prime number?
False
Suppose 66*z - 8*z = 19478576 + 33408666. Is z composite?
True
Suppose -6*d - 2 + 20 = 0. Suppose 0 = -7*b + d*b + 4*p + 44232, 3*b - 4*p - 33175 = 0. Is b composite?
False
Let h(s) = -5400*s**3 + 6*s**2 - s - 9. Is h(-2) a prime number?
False
Let z(i) = 16 - i - 6*i + 4*i. Let g be z(8). Is (-12)/g - (-995)/2 composite?
False
Suppose -t = -10 - 69. Let c = t + -69. Is 4 - (-376 - c/5) a composite number?
True
Let o = 442771 - 227760. Is o a prime number?
False
Suppose -3 = m - 8. Suppose -4*n = -m*n + 8. Let q = 29 - n. Is q prime?
False
Suppose 0*f = f - 4*y - 22, -y - 7 = -f. Suppose 3*o - 19 = -5*s + 262, 3*s = f*o - 200. Let u = -39 + o. Is u composite?
True
Suppose -5*m = -3*y - 25078 - 90583, 0 = 5*m - 4*y - 115653. Is m a composite number?
True
Let f(l) = 68547*l**3 - 51*l**2 + 49*l. Is f(1) a prime number?
False
Let t(k) = -k**3 - 2*k**2 - 3*k + 14. Let j be t(0). Suppose j*i - 8021 = 1401. Is i a composite number?
False
Suppose -25*w + 537262 = -229385 - 376778. Is w a prime number?
True
Let n(q) = -7*q**3 - q**2 - q + 1. Let x be n(1). Let w = -92 - -88. Is (x/w + 209)*3 composite?
True
Is (301/(-14))/((-8)/213008) a composite number?
True
Let o = 73 + -19. Suppose 0 = -56*a + o*a. Is (-876 - 3)/(-1 + a) prime?
False
Suppose -5*i + 12992 = -2003. Let b be (473/258)/(2/12). Suppose 0 = b*o - 8*o - t - 2254, 5*t - i = -4*o. Is o a prime number?
True
Let w = -23797 + 33318. Is w a prime number?
True
Let o be ((-3)/(-12)*-1)/(2/(-8)). Let h = o + 3. Is 1478/h*(-13 + 15) composite?
False
Suppose -7*y + 6*y - 48 = 0. Let k be 4/(3/(-4) - 42/y). Is 4*2486*4/k composite?
True
Suppose 2*t - 30*t + 6849981 = -19*t. Is t composite?
True
Let z(r) = 3*r + 42. Let h be z(-9). Let l = h + -22. Is (-2 + l/(-2))*(-10312)/(-6) prime?
False
Let h(y) = 8*y**2 + 2*y - 3. Let l(i) = 17*i**2 + 5*i - 5. Let t(w) = 13*h(w) - 6*l(w). Let x be t(5). Suppose 249 = -x*k + 24*k. Is k composite?
False
Let c be ((-182)/8)/(26/(-208)). Let g be 7096/4*1/2. Let s = c + g. Is s a composite number?
False
Suppose -969*q + 965*q + 11683588 = 0. Is q a prime number?
False
Let f be 45582/27 + 2 + 2/(-9). Suppose -5*p - 3*k = -0*k - f, -2*k + 1352 = 4*p. Is 1*3/(6/p) prime?
False
Let o(a) = -13754*a - 387. Is o(-1) a composite number?
False
Let t(o) be the second derivative of 49*o**5/10 - 7*o**4/12 - 13*o**3/6 + 5*o**2/2 - 17*o. Is t(4) a composite number?
False
Let g = 711532 - 189891. Is g a prime number?
True
Let y(u) be the first derivative of 381*u**3 - 3*u**2/2 - u - 90. Is y(-1) composite?
True
Suppose 2*o - 10 = 0, 0 = k - o - 0*o - 249. Let s be (-235)/(-75) - 10/75. Suppose s*i - k = i. Is i composite?
False
Suppose -57*r + 59*r - 49160 = 0. Suppose 0 = 4*q + 4*t - r, 5*q - 8*t = -4*t + 30707. Is q a prime number?
True
Let j = 96866 - 54231. Is j composite?
True
Let y(x) = x**3 + 6*x**2 - 7*x + 3. Let o be y(-7). Suppose -4*t - o*f = -722, 0*t + 3*t = -4*f + 538. Suppose 5*z - t = 563. Is z a prime number?
True
Let y(z) = z**3 + 18*z**2 - 39*z + 22. Let p be y(-20). Let d(i) = 692*i**3 + 2*i**2 - 4*i - 2. Is d(p) a composite number?
True
Suppose -39*o + 2307990 = -11095291 + 2595172. Is o composite?
True
Suppose -g = -7 + 13. Let x(d) = 2*d**2 + 7*d + 14. Let a be x(g). Is 98*a/24 - 2/3 prime?
True
Let u be 166/18 - (-6)/(-27). Let q(m) = 10*m**2 - 5*m + 22. Let t be q(u). Suppose -i + t = 2*b, b + 4*i = 4*b - 1197. Is b a composite number?
True
Let d(i) = i**2 - 20*i**2 - 6*i**2 - 35*i - 1. Let u be d(-18). Is u/(-11) + 6/(-33) prime?
False
Suppose 17*z - 29*z = 1200. Let h = -94 - z. Suppose 0 = 3*o + h - 0, 2*v - 1576 = 3*o. Is v prime?
False
Let r(k) = -k**2 - 17*k - 67. Let m be r(-10). Suppose 0 = m*j - 505 - 614. Is j a prime number?
True
Suppose 3*c = -19 + 28. Suppose 0 = -5*l - c*q + 10327, -4*q = -2*l - 0*l + 4136. Is l a composite number?
True
Let m = -14393 - -353800. Is m a composite number?
True
Let c = 236 - -131. Let i = c - -70. Let k = i - 204. Is k prime?
True
Let g = -146 + 91. Is 22956/9 + (4 - g/(-15)) a prime number?
True
Let z be 17 - (14/(-7) - 3). Let x(r) = 27*r - 101. Is x(z) composite?
True
Let s(c) = 585*c + 41. Let a be s(-7). Let i = 11221 + a. Is i a prime number?
False
Suppose 5*j = -b + 1073448, 214674 = j - 1246*b + 1241*b. Is j prime?
False
Let o(s) = -5710*s - 19. Let h(j) = 5711*j + 17. Let n(u) = 2*h(u) + 3*o(u). Is n(-2) prime?
True
Let j(b) = -110*b**3 + 16*b**2 - 47*b + 550. Is j(-21) a composite number?
True
Let i(z) = 6*z**3 + 27*z**2 - 42*z - 61. Is i(18) composite?
False
Let k = 13 + -3. Let y(p) = -4*p + 42. Let l be y(k). Suppose 0 = j + l*b - 671, j - 2*b - 152 - 535 = 0. Is j a prime number?
False
Suppose -3*u + 2 = -34. Suppose 3*q + u = 0, q = 2*r + 2*q - 6. Is (r + 0)/((-9)/(-261)) composite?
True
Let t be (4 - (-4 - -9)) + (8 - 0). Suppose -12*r + t*r + 60 = 0. Is 2/r + (-33417)/(-54) a composite number?
False
Let b(a) = 37598*a - 3681. Is b(5) a prime number?
True
Let i(t) = 3*t**3 - 5*t**2 + t + 1. Let y = -52 + 54. Let o be i(y). Suppose o*s = 4732 + 12033. Is s a prime number?
False
Let f = 36 - 1. Let r(k) = -38*k - 416. Let q be r(-11). Suppose -q*d - f = -229. Is d composite?
False
Let y(j) = j**2 - 3*j - 25. Let m be y(7). Suppose 2*p - 5*v + 5 - 1 = 0, -v = -2*p + 4. Suppose -f + 476 = p*u, -2 = -u + m*u. Is f a prime number?
True
Let g(h) = -h**2 - 22*h - 17. Let f be g(-21). Suppose f*m - 50420 = -16*m. Is m prime?
True
Suppose 37*c - 165703 = 488827. Let l = c + -5913. Is l a composite number?
False
Suppose 71*w = 85580 + 3125111. Is w a prime numb