15. Is d prime?
True
Let p(c) = c**3 - 3*c**2 + c + 2. Let z be p(2). Suppose 7*y - 2*y - 95 = z. Is y a composite number?
False
Let d(m) = -59*m**2. Let c be d(1). Suppose -r - 267 = -3*a, a - 158 = -3*r - 59. Let l = c + a. Is l composite?
False
Suppose 0 = -5*n + f + 1055, -3*n + 625 = f - 0*f. Let a = n - 69. Is a composite?
True
Suppose q = 2*q + 2. Let t be -4 + (-2 - q/1). Is (4/t)/((-2)/326) a composite number?
False
Let l(y) = -18*y**3 + 4*y**2 - 8*y + 17. Is l(-5) a prime number?
False
Suppose -10 = -2*n - 2. Suppose -5*o + 30 + 45 = -n*d, -4*d = 0. Suppose 24 = 3*p - o. Is p composite?
False
Suppose y - 5 = 2*y. Let i = -3 - y. Suppose -3*z + 415 = i*z - 5*t, t = 0. Is z a composite number?
False
Suppose -3*j = -5*u - 50, 3*u - 2*j + 20 = u. Let f = -8 - u. Suppose 0 = -f*n + n + 19. Is n composite?
False
Let g = 6 - 4. Let s be ((-264)/(-16))/(1/g). Is s - 0/(1 + 1) prime?
False
Let g(s) = s**3 - 2*s**2 + 17*s**3 + 2*s**2 - s**2 + 4*s - 3. Is g(2) composite?
True
Suppose 16 = -5*w - 4*y, -w - 4*y - 16 = -0*w. Suppose 5*v + 2 = 3*v + 3*o, 5*v = -5*o + 20. Suppose -v*a + 62 = -w*a. Is a composite?
False
Let g(z) = -z + 9 + 7 - 5. Let l be g(8). Suppose -22 = -l*q + 5. Is q a composite number?
True
Suppose 0*b + 2 = b. Let u(d) = 2*d**3 - d + 1. Is u(b) composite?
True
Is 44*-58*6/(-48) a composite number?
True
Let d = -6 - -14. Suppose 6 + d = m. Is m composite?
True
Let a(d) = 3*d**3 - 15*d**2 + d - 3. Let u be a(10). Suppose -3*g = c + 43 - 341, 2*g + u = 5*c. Is c prime?
False
Let c be (-18)/(-6) + 167/1. Let w = c - 103. Is w a composite number?
False
Let s(x) = 151*x**2 - 6*x - 3. Is s(-2) composite?
False
Let f = -44 + 267. Is f prime?
True
Let n(w) be the second derivative of w**4/12 + w**3/6 - w**2 + w. Let u be n(3). Suppose 0 = v - u. Is v prime?
False
Let l be ((-13)/4)/(2/(-8)). Let c(f) = -f + 26. Let r be c(23). Suppose 4*t + l = y, r*y + 3*t = 7*t + 55. Is y a prime number?
False
Let w = 6 - 1. Suppose 3*h = w*x + 272, 3*x = -2*h + 2 + 173. Is h a composite number?
False
Is ((-12249)/27)/(2/(-6)) composite?
False
Let s(k) be the second derivative of -k**5/20 - 5*k**4/12 - 4*k**3/3 - 3*k**2/2 + k. Let d be (4/(-2))/((-6)/(-15)). Is s(d) composite?
False
Let b(g) = g**2 + 10*g - 3. Let h be b(-8). Let c = h + 66. Is c prime?
True
Is ((-3)/(-2))/((-1)/(-94)) a composite number?
True
Suppose -d + 5*d - 804 = 0. Is d a prime number?
False
Let c = 15 + -9. Suppose -2*w + 0 = -c. Let u(i) = 10*i**2 - 2*i + 1. Is u(w) a composite number?
True
Let q(u) = -2*u**3 - 4*u**2 + u - 4. Let g be q(-6). Suppose -2*m + y = -373, -g + 86 = -m - 5*y. Is m a composite number?
True
Let y = -9 - -14. Suppose -4*q = -3*m - 1651, -y*m - 1661 = -2*q - 2*q. Is q composite?
False
Suppose 2*b - 3*y = 147, -4*y + 178 - 535 = -5*b. Is b prime?
False
Suppose -3*n - 4*o = -570, 3*o = -o. Let p = -111 + n. Is p composite?
False
Suppose -1 - 4 = -5*b. Let j(p) = -277*p + 1. Let d be j(b). Let t = 395 + d. Is t a composite number?
True
Is 22/33*18978/4 composite?
False
Suppose 5*q + 3633 = 1163. Is -1*(q + (3 - 0)) a prime number?
True
Suppose -40 + 15 = -3*x - 5*j, -2*x + 5 = j. Let f = 4 - x. Is -34*5*(-2)/f a composite number?
True
Let v = -16 + 7. Let i be ((-6)/4)/(v/12). Suppose 43 = 4*z - i*w - 35, 4*w = 4*z - 72. Is z composite?
True
Let v = -26 - -121. Is v composite?
True
Let i be (-1 - -1) + 1 + -1. Suppose 5*g + 5*m - 1100 = 0, i*g - 452 = -2*g + 2*m. Is g a composite number?
False
Suppose -3*k - 3*m - 13 = -73, -56 = -4*k + 2*m. Suppose h + 0 + k = 0. Let c = h + 35. Is c prime?
True
Suppose -3*j - c - 9 = 2*j, -2*j - 3*c = 1. Is (-1 + 74/(-4))*j a prime number?
False
Let n = 360 - 183. Let v = n - 122. Is v composite?
True
Suppose 4*a - 3*a = 457. Is a a prime number?
True
Suppose 0 = 5*d - 7*d + 94. Is d a composite number?
False
Suppose 5*h + 7*a - 2*a = 5, -3*h + 2 = 4*a. Suppose -3*s = -h*s + 45. Let v = s + 100. Is v a composite number?
True
Let w(j) = j**2 + 2*j - 1. Let y be w(-3). Suppose 2*v = 0, 2*r = y*v + v - 18. Is 9/6*(-294)/r a prime number?
False
Is ((-4)/16)/(1 + 125/(-124)) composite?
False
Suppose -5*r - 3*f - 6 = 0, 6 = -2*r - 2*r - 3*f. Suppose r = 2*i + 5*v - 1002, 0 = -i - i + v + 1026. Is i prime?
False
Suppose 3*i - r + 2413 = -0*r, 0 = 5*i - 3*r + 4023. Let s = i + 1130. Is s a composite number?
True
Let s(n) = n - 13. Let p be s(14). Let r(m) be the second derivative of 13*m**3/6 + m**2/2 - m. Is r(p) a composite number?
True
Suppose -170 = 5*o + 30. Let p = 91 + o. Is p a prime number?
False
Let z(t) = 622*t**2 + 6*t - 9. Is z(2) a prime number?
False
Let m(w) = 8*w**2 + 19*w + 18. Is m(-13) composite?
False
Let l be 217/77 + 4/22. Let j = 1 + 1. Suppose -l*w - j*w + 485 = 0. Is w a prime number?
True
Suppose -2*c + c = 2. Let p be 1*(785 - (2 + c)). Suppose p - 116 = 3*z. Is z composite?
False
Suppose 4*f - 5*f - 3509 = -4*c, 3*c = 4*f + 2635. Is c composite?
False
Let w be (-97 - (1 + -1)) + -2. Let s(t) = -t**2 + 3*t + 3. Let m be s(3). Is (w/m)/(-1) - 2 prime?
True
Let z(c) = 41*c + 6. Is z(5) a composite number?
False
Let h(c) = -3*c**2 + 6*c + 10. Let j be h(-7). Let z = 262 + j. Is z a composite number?
False
Suppose 2*n + 15 = 3*n. Is n prime?
False
Let r(n) = -2*n**3 - 7*n**2 - 9*n - 5. Is r(-4) a prime number?
True
Let z = 125 - -42. Is z composite?
False
Suppose -6*u + u = 10, 3*q - u - 47 = 0. Suppose -q = -3*c + 60. Is c composite?
True
Suppose -4*f + 4993 = 3*m, 3*f + 11 = -4. Is m composite?
True
Let w = 10 - 7. Suppose -5*v - 5*o = 25, 0 = -0*v - w*v + 2*o. Is 5 + v/((-2)/1) prime?
False
Let k(a) = 3*a**2 - 24*a + 27. Let t(w) = -w**2 + 8*w - 9. Let z(o) = -3*k(o) - 8*t(o). Let s be z(6). Suppose -s*r + 4*r - 10 = 0. Is r a prime number?
False
Suppose 3*w + 9 = -0. Is (69*-4)/w + -3 composite?
False
Suppose 0*h = -h. Suppose h*a - 4*a = 8. Is 4/a + (-82)/(-2) prime?
False
Let v = 428 - 39. Is v a composite number?
False
Suppose 3*r + 49 = 2*h, 0 = -0*r - r - 5. Suppose -h = -2*x + 2*n - 1, 2 = -x - n. Suppose -197 + 56 = -x*b. Is b composite?
False
Suppose 3*n + 58 - 16 = 0. Let i = n - -25. Is i composite?
False
Suppose -f = -1 + 2. Let b be f + 2 + -821*1. Is -2 - -1 - b/5 prime?
True
Is 1*670 + (-7)/((-42)/18) a composite number?
False
Suppose 0 = -4*l + 4*m + 15 + 17, 5*l - 36 = m. Let o(s) = 2*s + 22. Let a be o(-10). Suppose -4*k + 24 = 2*z, a*z - l*z + 2*k = -72. Is z a prime number?
False
Suppose 4*l = 5*y + 1019, 254 = -0*l + l - y. Is l a composite number?
False
Let h be 2/4 + (-9)/(-6). Suppose 0 = h*q - 731 - 107. Is q composite?
False
Let q(n) = -7*n**3 + 2*n**2 - 9*n + 10. Let d(h) = 6*h**3 - 2*h**2 + 8*h - 9. Let s(f) = -6*d(f) - 5*q(f). Let l be s(-3). Suppose -l = -w - 11. Is w prime?
True
Suppose 0 = -t - 2*t + 51. Suppose 3*d = -3*g + 642, -d + 4*g + 251 = t. Is (2 + -1)*(d - -5) a prime number?
True
Let k(x) = 4*x - 3*x**2 + 0*x**2 - 2*x + x**3. Let y be k(2). Suppose -2*q + 4*a + 24 = y, 2*a - 7*a + 25 = 0. Is q a composite number?
True
Let j = -2 - -5. Suppose -340 = -j*a - a. Is a composite?
True
Let i(h) = -h**3 - 8*h**2 - 6*h + 2. Let f be i(-6). Let g be 3 + 9/(-6)*-2. Is (g - -4)*f/(-4) prime?
False
Let p = 1 - 2. Let z = p + 9. Is 42/z*1*4 a composite number?
True
Let j(k) = 2*k - 1. Let t = -1 - -2. Let p be j(t). Suppose -3*d - 4*q = -15 + p, -4*d = 2*q - 22. Is d composite?
True
Is (1/(-1) - 4) + 206 composite?
True
Suppose 2*r = 6 - 0. Suppose 2*z - g - 111 = -3*z, -r*z + 65 = -g. Is z a composite number?
False
Suppose 3*g + 0 = 9. Is -1 + 2 + 666/g a composite number?
False
Suppose 0 = -b + 209 - 4. Is b a prime number?
False
Suppose -5*h + o = -266, 7*h + o - 211 = 3*h. Is h prime?
True
Let m be (0 - 625)*2/(-2). Suppose -m = -5*j + 5*k, -4*j + 649 = 3*k + 128. Let o = j + -91. Is o composite?
False
Suppose 0 = g + 4*b, -g = 4*b + b + 2. Suppose 5*y - 33 = -g. Suppose 4*w + y*v = 4, -10 = -3*w + 2*v - 4*v. Is w prime?
False
Let v = 5 + -9. Let s be 1690/4 + (-2)/v. Suppose 3*t = -0*t + s. Is t a prime number?
False
Suppose 3*n = n - 4. Suppose 4*o - 3 = 5. Is (o*-48)/n + 1 a composite number?
True
Suppose -2*h + 21 = -141. Is (-7682)/(-18) - (-18)/h prime?
False
Let y = -349 - -816. Is y prime?
True
Let b be (-9)/(2/4*-3). Suppose 5*k + 5 + b = -3*t, 0 = -5*k