k(8) a composite number?
True
Let i = 64 + 17. Suppose -3*p = 4*s + 103, -4*p + 2*s - 49 = i. Is (27 + -2 + 1)/((-6)/p) a prime number?
False
Suppose d - 57 + 44 = 2*q, 20 = 2*d - 3*q. Let v = 16 - 51. Is (5/v*-7)/(d/1067) prime?
False
Let s = 237201 - -153410. Is s a prime number?
False
Suppose 3*c = 18 - 3. Let d(v) = 15*v**2 - 3*v + 18. Let y(q) = -q**2 + q. Let m(n) = d(n) + y(n). Is m(c) composite?
True
Let a be 11 + -7 - 2*-7. Suppose l - 35 = -4*l - 5*c, -4*l = 2*c - a. Suppose -l*x = x - 3237. Is x a composite number?
True
Let w = -229 + 237. Suppose -13435 = -w*m + 24893. Is m a composite number?
True
Suppose -4 = i, -42*p + 2*i = -51*p + 10. Let o = -1295 + 4516. Suppose 5*t = 4*m - o, 4*m - 3230 = -0*t + p*t. Is m composite?
False
Suppose 33219472 = 196*y + 487*y - 114515477. Is y composite?
True
Let b(o) = -6597*o - 86. Let a be b(4). Let n = -16743 - a. Is n a composite number?
True
Let t(z) = -4 - 4*z + 5957*z**2 + 19*z - 1 - 1120*z**2. Is t(2) composite?
False
Is (-61819)/(-2)*(110 + -108) a prime number?
True
Is 3*9165130/(-117)*(0 - (-3)/(-2)) composite?
True
Let v(p) = p**2 - p. Let l be v(-1). Let m = -105 + 105. Suppose 5*o = -l*k + 1998, -3*k + o + 0*o + 3031 = m. Is k a composite number?
False
Let j = -13 - -16. Let q be (-4 - (-14)/6)/(j/(-3897)). Let k = q + -622. Is k prime?
True
Is (1*34779)/(129 + -120)*87 a prime number?
False
Let g(o) = -963*o - 1. Let a be 2*((-6)/2)/3. Let x be g(a). Let q = x - 1032. Is q prime?
False
Let k = -101 + 138. Suppose 30*y + 9359 = k*y. Is y composite?
True
Let r(b) = -9 + 3 + 85*b + 1 - 4. Suppose 2*g - 3*s = 11, -5*s - 3 - 10 = -2*g. Is r(g) prime?
True
Let l(z) be the second derivative of 5*z**4/12 + 13*z**3/3 - 8*z**2 + z - 15. Suppose -2*u - 14 - 12 = 0. Is l(u) a composite number?
False
Suppose 0 = -2*p + 2*g + 4, 4*g + g = -5*p + 40. Suppose -4*x + 3812 = 4*w, 1920 = -2*x + 4*x - p*w. Is x a prime number?
False
Let d = 3926 + 6663. Is d prime?
True
Let s(g) = -g**3 - 13*g**2 + 3*g + 16. Let b be s(10). Let a = b - -6051. Is a prime?
True
Suppose 0*m + 3*m = 1998. Let y = m + 79. Is y a prime number?
False
Let k(j) = -j**3 + 8*j**2 + 8*j + 9. Let l be k(9). Let c be (-45)/35 + 4/14 - l. Let w(u) = 452*u**2 - 2*u - 3. Is w(c) a prime number?
False
Let f = -2943 + 1951. Let i(x) = -2*x + 1. Let l be i(1). Let y = l - f. Is y a prime number?
True
Suppose 8*n = n - 4*n + 3582821. Is n a composite number?
True
Let a(u) = u**3 + 8*u**2 + 14*u + 49. Let o be a(-7). Suppose o*k - 16078 = -k. Is k a composite number?
True
Let o(a) be the third derivative of 91*a**5/12 + a**4/24 + 11*a**3/6 - 21*a**2. Is o(-3) prime?
False
Is ((-128 - -1)*751*1)/(3 + -4) a composite number?
True
Let v be 4/(-5) + 4*(-167)/(-10). Is v*5 + (-35)/(-7) a prime number?
False
Suppose -58629 = -5*d + 350*z - 348*z, 3*z = 24. Is d a composite number?
True
Let z(i) = -i**2 + 2*i + 2. Let a(v) = 4*v**2 - 35*v - 41. Let j(o) = -a(o) - 5*z(o). Is j(-35) prime?
False
Let b(w) = 197*w + 593. Let u be b(-3). Let h = 35 + -16. Let x = h + u. Is x a composite number?
True
Let t(c) = -90*c - 19. Suppose -a + 23 - 36 = 0. Is t(a) a prime number?
True
Is 113303/(3/(16 - 13)) a composite number?
True
Suppose -2*n = -5*p + 3636 - 192414, -5*n + p = -471899. Is n composite?
False
Suppose 0 = -21*l + 22*l - 44. Let k = l - 56. Let m(f) = f**3 + 14*f**2 - 15*f - 23. Is m(k) prime?
False
Let s(c) = 1587*c + 493. Let l(p) = -2381*p - 742. Let g(i) = 5*l(i) + 7*s(i). Is g(-17) prime?
False
Let s(h) be the second derivative of h**4/2 + 4*h**3/3 + 111*h**2/2 - 15*h + 1. Is s(-17) prime?
True
Let j = -257 - -263. Suppose -a + j*a = -2*o + 8555, -5112 = -3*a + 3*o. Is a composite?
False
Suppose 4 = -21*d + 25*d. Is d*(-2 - (2 - (-1 + 27966))) a prime number?
True
Suppose -39542114 = -16*i - 28*i - 14874966. Is i a composite number?
False
Suppose 0 = -73*i + 68*i + 3247175. Is i a composite number?
True
Let q(t) = 20*t - 50. Let j be q(-12). Let z = j - -116. Is (-1 + (-112)/12)/(2/z) prime?
False
Suppose 561*m + 3349075 = 586*m. Is m a prime number?
True
Let y = -48979 - -81656. Is y a composite number?
True
Suppose 35*g + 11 = -59. Is (323726/78)/(g/(-6)) a prime number?
True
Let z = -5881 - -1544. Is (z/(-2)*-2)/(-1) composite?
False
Let t(u) = u**2 + 6*u - 120. Let a be t(8). Let i(w) = -1929*w + 65. Is i(a) a prime number?
True
Let s(g) = 146*g**3 - 5*g**2 - 3*g - 4. Let w be s(-2). Let v = -435 - w. Is v composite?
False
Let g(k) = 285*k**3 - 9*k**2 - 3*k + 5. Let o(w) = w**3 - 8*w**2 + 19*w - 38. Let b be o(6). Is g(b) a composite number?
False
Is 2/26 - (35 + 188134920/(-520)) a composite number?
False
Suppose 2*p - p - 27 = -5*i, -4*p = i - 51. Let c be ((-6)/p)/((-1)/14). Let d(y) = 3*y**3 - 11*y**2 + 13*y - 8. Is d(c) composite?
True
Let p(t) = 14433*t**2 + 199*t + 1199. Is p(-7) composite?
True
Suppose -4*g - 6477 = -3*h, 5*h + 0*h - 3*g - 10806 = 0. Suppose -19*f + 12*f + h = 0. Suppose 0 = 15*a - f - 10056. Is a a composite number?
False
Let s be ((-2)/(-6))/(-4*5/(-60)). Is s*(-311469)/(-15) + 8/20 composite?
True
Let v(p) be the third derivative of p**5/60 + p**4/3 + 3*p**3/2 - 21*p**2. Let r be v(-8). Suppose -3*k = r, -5*k + 558 = -3*n + 4986. Is n a composite number?
False
Let x be (0/(-2 - 0))/1. Let s be 1 - x/2 - 417/(-3). Suppose 4*q - s = 428. Is q composite?
True
Let p(q) = q**2 + 14*q - 55. Let y be p(-17). Is (-34982)/y + (-23)/46 - 2 prime?
False
Let n(z) = 755*z + 50. Let b(v) = 1510*v + 99. Let t(j) = 2*b(j) - 5*n(j). Is t(-3) prime?
True
Let a be (-10)/4*3/6*-4. Suppose a*h + v - 981 = 0, 2*h + 607 = 5*h - 4*v. Suppose 1474 = 3*b - h. Is b a composite number?
False
Let v(p) = p + 3. Let y(x) = x + 2. Let h(g) = 5*v(g) - 4*y(g). Let i be h(-4). Suppose -3*j + 4*r = -1669, -4*j + 0*r + 2242 = i*r. Is j composite?
True
Suppose 461444 = 32*m + 45412. Is m a prime number?
True
Suppose 0 = -8*w - 7344 + 42912. Suppose -3*d = -3*t - w, d + 3*d + t - 5923 = 0. Is d a composite number?
False
Is 32324/24*((12 - -2) + -8) a composite number?
False
Let n(p) = 3*p - 21. Suppose -7 = -4*j + 5. Suppose 3*b + d = 32, 2*b - j = 4*d - d. Is n(b) a composite number?
True
Let r(a) = 79*a**2 - 2*a + 4. Let j be 0 - ((-6)/(-3) + -8). Let y be (-33)/(-9) + (-4)/j. Is r(y) a composite number?
False
Suppose 3*r - 4*d - 3732349 = 0, -616*d + 613*d + 4976407 = 4*r. Is r a prime number?
False
Suppose -42 = 18*s - 96. Let x(u) = 198*u**2 - 2*u. Let o be x(-3). Suppose 4*m + 2*l = o, m + l - 447 = -s*l. Is m a composite number?
True
Let w = -16971 - -35708. Is w a composite number?
True
Let o(r) = r**3 - 8*r**2 + 3*r - 17. Let h be o(8). Let s = 6 - h. Is (-5492)/(-8) + -3 + s/2 prime?
True
Let o(d) = 2*d**3 - 10*d**2 + 9*d - 5. Let q be o(7). Is q - 3/24*8 prime?
False
Suppose 27*t - 22*t + 59515 = 0. Let y = -4752 - t. Is y composite?
False
Suppose -17*z + 701327 = -76440. Is z composite?
False
Is (-1*(-436065)/(-10))/(((-9)/(-2))/(-3)) prime?
False
Let h = -2753 + 11734. Is h a prime number?
False
Let a = 95110 - 43337. Is a composite?
True
Suppose 0 = 2*o - 12 + 4. Suppose -11 - 69 = o*f. Is 260 - (7/(-2) + (-10)/f) a prime number?
True
Suppose 30*j - 92*j + 71099619 = 25*j. Is j composite?
False
Let i(y) be the third derivative of -y**6/120 - 7*y**5/60 - 3*y**4/8 - 13*y**3/6 + y**2. Let x be i(-6). Suppose -2176 - 2149 = -x*m. Is m composite?
True
Let c(j) = j**3 - 13*j**2 - 28*j + 8. Let t be c(15). Is t/95 + 443/5 composite?
False
Let c(w) = -269*w**3 - 8*w**2 - 4*w + 4. Let j be c(-5). Suppose -g + j = 5*n, -4*n = -5*n + 3*g + 6677. Is n a prime number?
True
Let i(a) = -a**3 + 7*a**2 - 11. Let f be i(3). Suppose f*v - 57953 = 18*v. Is v a composite number?
True
Suppose -6*o = -g - 7*o + 981692, 4*g = 3*o + 3926747. Is g composite?
True
Let i(c) = -c**3 - 18*c**2 + 19*c + 21. Let x be i(-19). Suppose -x*q = -19*q - 982. Is q prime?
True
Let x = 65 + -40. Suppose -q + 7 = -5*z + x, 3*z - 30 = 3*q. Let a = 47 - q. Is a prime?
False
Let m be (-3860)/(-40)*2*(-59)/(-1). Suppose -a + 3272 = -m. Is a a composite number?
True
Let z = 17 + -21. Let w be (-6*4)/z*2/6. Is (-11430)/(-54) - w/3 a composite number?
False
Let m(p) = -45*p**3 - 114*p**2 - 1090*p - 16. Is m(-9) a prime number?
False
Let c = 206474 + 135783. Is c prime?
True