m = 8*m - 5. Is (44 - 15)/(m/5) prime?
False
Let l(s) = 2*s + 85*s**2 - 5 + 13*s**2 + 4*s + s. Is l(-4) a prime number?
False
Let l(u) = -2885*u**3 - 6*u**2 + u - 1. Is l(-2) a composite number?
False
Suppose 603 = p - 1071. Suppose 5*h = 1241 + p. Is h a composite number?
True
Suppose -r + 911 = -3*p, 4*p - 3*r = -0*r - 1213. Let m = p - -4209. Suppose -6*b + 2797 = -m. Is b a prime number?
True
Suppose 2*a = -3 + 7. Let w = -5 + 7. Suppose a*n - w = 16. Is n composite?
True
Let l be ((-5)/2 - 3)/((-3)/1758). Let b = -2022 + l. Is b composite?
False
Let a be (-17 - -3) + (0 - 1). Let r(f) = -f**3 - 14*f**2 - 6*f - 22. Is r(a) a prime number?
True
Let q be 5 + 1939 + -4 + 9. Suppose -3*r - 3*s = -1941, q = -3*r + 6*r - s. Is r a composite number?
True
Let r = 13 + -13. Suppose r*d + d - 17 = -o, 29 = 2*d + o. Suppose 5*i + d - 802 = 0. Is i prime?
False
Let j be (-102)/(-14) - (-8)/(-28). Suppose 0 = j*w - 0*w - 19915. Is w a composite number?
True
Let t(q) = 219*q**2 + 28*q + 78. Is t(-5) a prime number?
True
Suppose -2*p = -19*p + 80087. Is p a prime number?
False
Let i(l) = -263*l + 14. Let p be i(10). Let v = -1439 - p. Is v composite?
True
Let l(h) = h**3 + 6*h**2. Let n be l(-6). Let r = 0 + n. Let t(y) = y + 51. Is t(r) composite?
True
Let f = -16 - -32. Suppose -5*n - t + f = 0, 3*t - 4*t + 1 = 0. Suppose -3*o = -n*u + 2*o + 144, 0 = -2*u + 2*o + 100. Is u a prime number?
True
Let x(v) = v**3 - 2*v**2 - 2*v - 1. Let w be x(3). Suppose 5*m = w*m - 63. Is m*(0 + 212/(-12)) a prime number?
False
Suppose -7*h = -9*h - 16. Suppose 0*a - 2*a + 42 = 0. Is h/(-28) - (-4005)/a a prime number?
True
Is ((-311892)/9)/(-4) + 36/(-54) prime?
True
Is (5 - 1)/((-20)/(-80285)) prime?
True
Let h = -2 + -2. Let z be (-4)/8 + -239*(-2)/4. Is z + -4 + (h - -11) prime?
False
Suppose 2*k = -3*v + 33035, -k + 1416 = -5*v - 15108. Is k a composite number?
False
Let q(r) = 6*r**2 - 70*r - 22. Is q(-17) prime?
False
Let m(o) = 250*o + 65. Let l(y) = -83*y - 21. Let p(z) = 8*l(z) + 3*m(z). Is p(11) composite?
True
Let b be (-3 - -1)*(-11 - -9). Suppose 0 = u + 3*i + 54, 2*u - 4*u - 108 = -b*i. Let l = 253 - u. Is l a prime number?
True
Let r = 577 + 232. Is r prime?
True
Suppose 3*c + 5 = -2*c. Let k be (c/(-2))/(5/2730). Suppose 5*t = 2*t + k. Is t a composite number?
True
Suppose -x - 2*x = 3*y - 24, -2*y + 5*x = 12. Let a(n) = 8*n - y*n + 2*n - 2*n. Is a(1) a prime number?
False
Suppose -6 = 2*a + 2, -76 = r + 5*a. Let i = -21 - r. Is i prime?
False
Is (426672/(-4))/(-6) + 5 a composite number?
False
Suppose 441 = 3*i - 2*q, -i - 4*q = -3 - 144. Let x = i - -160. Is x prime?
True
Let y be (-10012 - 0)*6/12. Is y/((-1)/2*4) a composite number?
False
Let h(t) = 2*t**2 + t - 1. Suppose 4*l - 2*l = 4. Let c be h(l). Is -28*(c/(-4) + -1) composite?
True
Is 11633/(10 + -2 + -7) prime?
True
Let r be (-2)/((-8)/(-796) + 0). Let i = r - -296. Is i composite?
False
Let p = -14 - -10. Let a = 0 + p. Is (-7)/14 + (-1006)/a a composite number?
False
Let t = 177236 + -38509. Is t a prime number?
True
Suppose 0 = -t - 0*t. Let z(c) = -c**3 - c**2 + 4. Let g be z(t). Is (973/(-28))/((-1)/g) composite?
False
Is (4 - 3)*527 - 6 prime?
True
Let c = 164 + 39539. Is c a prime number?
True
Is (1/1 + -15)/((-4)/122) composite?
True
Let n = -18 + 20. Suppose -5*m + 2*x = -5309, 3*m - m = -n*x + 2118. Is m composite?
False
Let q be 6/(3 - (-81)/(-28)). Suppose 3*a + 76 = -q. Let i = 75 + a. Is i composite?
False
Suppose 3*s - 6*s - 30 = -3*a, -3*a - 2*s = -25. Suppose a*v - 3483 - 288 = 0. Is v composite?
False
Let v = 2 + 1. Suppose -5*o = 4*n - 1649, -n - v*n - o + 1629 = 0. Suppose -96 - n = -2*m. Is m prime?
True
Let h = -2161 + 20646. Is h prime?
False
Suppose 7*w - 9*w = -5836. Is w a composite number?
True
Is -115 + 10141 + 14/(-2) a composite number?
True
Let s be 30/12 - 2/(-4). Suppose 0 = -0*w - w + s*u - 10, 3*w + 2*u - 25 = 0. Let i(g) = 3*g**2 + 2*g + 4. Is i(w) composite?
False
Suppose -4*g - 3*o = -93482, 2*g + 0*o = 3*o + 46732. Is g prime?
True
Is 35397 + 6*(-2)/6 a prime number?
False
Let y(w) = 250*w - w**3 + 5*w**2 + 7 - 259*w + 2*w**2. Is y(-6) a prime number?
False
Let w be 24/(-20)*(-5)/2. Let r be 1*21 + -5 + w. Suppose 3*d = -p + 198, -4*d + r - 224 = -p. Is p composite?
True
Let a(w) = -w - 6*w + w - 109 + 108. Suppose -l = -2*v + 8, -3*v = 2*l + v + 24. Is a(l) a prime number?
True
Suppose 0 = 34*z - 23*z - 4081. Is z a composite number?
True
Let n(b) = -18*b + 7. Is n(-12) prime?
True
Suppose 95 = 4*w - 109. Suppose -8 = 3*f - 2. Is (44/(-6))/(f/w) a prime number?
False
Let u(q) = 2*q**2 - 10*q + 2. Let a be u(5). Let l(t) = 43*t**3 - t**2 - t + 3. Is l(a) composite?
True
Let p(i) = i**3 - 15*i**2 - 16*i + 6. Let f be p(16). Suppose 0 = a - f*a. Suppose a = -3*q + 4*x + 369 + 750, 0 = 5*q - x - 1882. Is q a prime number?
False
Let h(z) be the second derivative of z**4/6 + 5*z**3/6 + 5*z**2 + 7*z. Let o be h(13). Suppose -5*s - 1057 = -5*v + o, -3*s - 1460 = -5*v. Is v composite?
True
Let d = 338 - 37. Is d a prime number?
False
Suppose y - 18 = -2*x, -3*y = -0*x + 2*x - 18. Suppose 0 = -x*z + 4*z. Suppose z = d - 10 - 9. Is d a prime number?
True
Let p(r) = r**3 - 14*r**2 + 2. Let t be p(14). Suppose -4*a - 4*i + 336 = -0*a, -170 = -t*a - 4*i. Is a a prime number?
True
Let q(x) = -x**3 - 6*x**2 - x - 4. Suppose 39 = -5*n + 9. Let c be q(n). Let f = c - -263. Is f a composite number?
True
Suppose -2*a + a = 484. Let m(j) = -2*j**3 + 7*j**2 + j + 7. Let h be m(7). Let w = h - a. Is w composite?
True
Let l(n) = 380*n - 34. Is l(19) a prime number?
False
Suppose 76 = 5*j + 61. Suppose -5*r + 3*r + 50 = j*q, 0 = 3*q - 2*r - 34. Is q a prime number?
False
Let l(t) = -2*t - 7. Let k be l(-5). Suppose 3458 = 5*p - k*c, p + 2*c - 281 = 408. Is p a composite number?
False
Let c(u) = 3*u**2 + 8*u - 45. Is c(8) a composite number?
False
Suppose 7*i + 21371 = -3493. Is 12/20 - (i/(-15))/(-2) a composite number?
True
Let r(a) = -21*a**3 - 6*a**2 - 4*a + 1. Suppose -t - 6 = 2*t + 2*w, -5*t - 29 = -3*w. Let k be r(t). Suppose -k = x - 6*x. Is x a composite number?
True
Let f be ((-1 - 1) + 1509)*1. Let v = f + -1045. Suppose 2*y + v = 8*y. Is y composite?
True
Let a(q) = -33*q**3 - 54*q**2 + 4*q - 6. Is a(-5) prime?
True
Let x = -2299 + 6708. Is x a prime number?
True
Suppose -4*z + 5*r = -6*z + 1, r = 4*z + 9. Let v be 40 - (z/(-2) + -2). Let s = 36 + v. Is s a prime number?
False
Let m(u) = -10*u + 5. Let i = 9 - 19. Let l be 2/i + (-117)/15. Is m(l) a prime number?
False
Is ((-18)/(-4))/(-9)*(-37189 + 3) prime?
True
Let k(b) = 2*b**3 + 39*b**2 - 20*b - 16. Is k(23) a prime number?
False
Suppose 5*h - 8781 + 856 = 0. Is h a prime number?
False
Suppose -5*l + 20 + 180 = 0. Let a = -33 + l. Is a prime?
True
Suppose -2*v + 0*v = -184. Let p = 249 + v. Is p a prime number?
False
Let y(k) be the third derivative of -7*k**4/4 + k**3/6 + 7*k**2. Suppose -v = -2*w + 3*w + 5, -7 = 5*w - 4*v. Is y(w) a prime number?
True
Let o = 2 - 1. Let b be (-1 + o)*1/(-3). Is (2 - b - -20)/2 a prime number?
True
Suppose -3*h = -2*s + 16, 0*h - 5*s + 19 = 3*h. Is 568 + ((0 - -3)*h)/(-2) a prime number?
True
Let k(n) = n - 10. Let y be k(17). Suppose -2*o + y*o = 1110. Is 14/(4/o*3) composite?
True
Suppose -5 = -0*g - 5*g. Let p be 4 + g - (5 + -2). Suppose -k + p*a + 373 = 0, -2*k - 2*k + 1504 = -4*a. Is k a prime number?
True
Suppose 0 = -2*h + 7*h - 1470. Let z = -44 + h. Is z - ((-6)/1 + 3) prime?
False
Suppose 6*d = 2*d + 128. Let g be ((-71)/(-4))/(8/d). Suppose g + 63 = 2*l. Is l composite?
False
Is 331223/(-115)*(0 + -5) prime?
True
Let s(l) be the third derivative of l**6/60 + l**5/20 - l**4/4 + l**3 + 6*l**2. Let g be 4*(3 + -4) + 7. Is s(g) a prime number?
False
Suppose 8*s - 25 = 3*s. Suppose -s*v + 6 = -2*l - 4, -2*v = 2*l + 10. Let t(h) = -3*h**3 - 4*h**2 - 5*h - 7. Is t(l) prime?
True
Let i = 212 - -318. Let w(g) = g**3 + 5*g**2 + 3*g + 15. Let a be w(-5). Suppose -m - m + i = a. Is m composite?
True
Let a(m) = -m**3 - 3*m**2 + 2*m + 6. Suppose t + 5*d = 15, -2*d = -2*t - d + 41. Suppose 4*u - 9*u - t = 0. Is a(u) composite?
True
Let g(j) = -2*j**2 - 13*j - 41. Let x be g(-9). Suppose -4*m - 559 = -3*q, -5*q + 917 = -0*q - 3*m. Let r = x + q. Is r composite?
True
Let i(t) =