Suppose -15 = -3*n - 0*q + q, -q = -5*n + 27. Suppose 5*u - n*u = -142. Is u prime?
False
Suppose 0*m - m = -319. Is m prime?
False
Suppose 2*t - 128 = 94. Suppose -2*f + f + t = 0. Is f a prime number?
False
Suppose -3*l = -2*l - 4*r - 315, 4*l - r = 1185. Is l composite?
True
Suppose -5*c + 4 = -1. Let v be (133/4)/(c/(-4)). Let k = 186 + v. Is k composite?
False
Suppose -5 = -r - 3*u, -5*r - 2*u + 25 = 2*u. Suppose -r*y = -2*y - 6. Suppose 2*x + 2*h - 38 = 0, -9 - 38 = -y*x + h. Is x prime?
False
Suppose -p + 4*p - 121 = 4*a, 5*p - 4*a = 191. Suppose -4*m - 101 = -3*v, 4*v - 109 = -4*m + p. Suppose 0 = -2*d - 3*d + v. Is d a prime number?
True
Suppose -93 = -4*a + a. Is a composite?
False
Let g(a) = -a**3 - 6*a**2 - 3*a + 7. Let v be g(-5). Let f = 172 - v. Suppose -2*d = 3*d - f. Is d prime?
False
Suppose 5*w = -4*a - 304, -a - 5*w - 83 = -2*w. Let r = a - -214. Is r a composite number?
True
Let r be 72/((6/(-9))/(-1)). Let u = r + 23. Is u a composite number?
False
Let y(o) = -79*o. Suppose b + 1 = -0. Is y(b) prime?
True
Let p(y) be the third derivative of -y**6/120 + y**5/6 - y**4/24 + 5*y**3/3 - y**2. Is p(9) a prime number?
False
Suppose -q - 4*c + 185 = -2*c, 4*q - 3*c = 718. Is q composite?
False
Let r(i) = -10*i + 12*i**3 + i**2 - 1 + 7*i - 49*i**3 - 4*i**2. Is r(-2) composite?
True
Let i be -3*(-3 + (-21)/(-9)). Suppose 5*n - 21 = x, 0 = 4*n - i*n + 3*x - 5. Suppose 5*l - 15 = 0, -b + 81 = n*b + 2*l. Is b prime?
False
Let f = -891 + 2408. Is f composite?
True
Suppose -2*u - 7 + 15 = 0. Suppose u*a = 748 + 1120. Is a a composite number?
False
Suppose -10*a - 6074 = -12*a. Is a a prime number?
True
Suppose 2*j - 4*j + 88 = -z, -z = 2*j - 96. Is j a composite number?
True
Let c(n) = n**2 + 2*n - 6. Let a be c(7). Suppose 2*z = -z + a. Is z prime?
True
Let i(b) = 1 - 4*b - 2 - 12*b - 14*b. Let d be (-2)/1 - 0/1. Is i(d) a prime number?
True
Let u(g) = 2*g - 2. Let j be u(3). Is j/2 + (-644)/(-4) prime?
True
Let p(d) = -4*d**3 - 9*d**2 + 9*d - 29. Is p(-9) a prime number?
False
Let o = -27 + 59. Suppose -5*p + o = -0*s + 3*s, -4*s = -2*p - 8. Suppose -3*t + 8*t - p = 4*v, 0 = t - v. Is t a prime number?
False
Suppose 0 = 3*f - i - 2*i + 12, 0 = 4*f - 3*i + 12. Suppose f*l + 5*l = 0. Suppose -a + 3 = l, -5*g - 4*a + 43 = -44. Is g a composite number?
True
Suppose 4*q + 20 = 0, 4*q + 13 = 4*n - q. Let x(s) = -4*s**2 - s - 4. Let l be x(n). Is 0 - (-3)/((-3)/l) a prime number?
True
Let m = -244 + 357. Is m a prime number?
True
Suppose -5*q = -2008 - 17. Let i be ((-213)/6)/((-3)/54). Suppose 5*r + a - i - q = 0, -4*a - 4 = 0. Is r prime?
False
Suppose 2*d = -2*z + 10, 0 = -3*d - 2*d + 10. Suppose -z*t - 5*p - 19 = 0, -2*t + p + 9 = -0*p. Let h = t + 35. Is h a prime number?
True
Let d(o) = -8*o + 1. Let i be d(-1). Suppose 12 = -5*y - 4*j, 2*y - 2*j - i = j. Is (2 - y)/(6/213) a prime number?
True
Let t(w) = w**2 - 9*w + 11. Let d be t(8). Let s be (3/1 - d)/1. Suppose 0 = -5*a - 10, s = -9*b + 4*b + 3*a + 71. Is b a composite number?
False
Is 1 - (-1 - 8/1) a composite number?
True
Let b(k) = 200*k - 11. Is b(5) prime?
False
Let v(k) = 34*k**2 - 2*k - 1. Is v(-4) a prime number?
False
Let z(f) = 7*f**2 - 3*f - 2. Let l be z(3). Let i = l - 29. Is i composite?
False
Let a be (3756/14)/(4/28). Is a/8 - 1/(-4) a composite number?
True
Suppose -p = 0, 0*p - 3*p - 296 = -4*c. Is c prime?
False
Let z be 2/3*3*1. Suppose z*v = 2*p + 6, -5*p = -v + 2*v - 21. Is (28/v)/(6/117) a prime number?
False
Let j(k) = k + 3. Let u be j(-6). Is 1910/15*u/(-2) a prime number?
True
Is ((-2)/(-4))/((-7)/(-14630)*5) a prime number?
False
Let a(p) = -p**3 - 4*p**2 + 5*p + 9. Let u be a(-6). Let d = 77 - u. Is d a composite number?
True
Let t(i) = i**3 + 7*i**2 + i - 2. Let w be t(-7). Let n(c) = c**2 + 4. Is n(w) composite?
True
Is (-3 + 6)/(1/149) prime?
False
Suppose 0 = 3*h - 2*n - n + 3, -4*h - 5*n = 4. Let i be (-2)/((-6)/(-9)) - h. Let j(u) = -u**3 + u**2 - 2*u - 3. Is j(i) a composite number?
False
Let w be 7 + 6*(-3)/6. Suppose w*a - d - 126 = 0, -7*a + 2*a + 161 = -3*d. Is a a composite number?
False
Is (31/3)/((-4)/(-12)) prime?
True
Let p = -178 + 555. Is p composite?
True
Let b(m) be the first derivative of m**5/20 + 7*m**4/12 + m**3/2 - m**2 - 2*m + 1. Let f(x) be the first derivative of b(x). Is f(-5) a composite number?
True
Let h(a) be the third derivative of 7*a**4/6 - a**3/2 + 4*a**2. Is h(2) composite?
False
Suppose 5*s + 20 = -0*s. Let f(n) = -2*n**3 + n**2 - 2*n - 3. Is f(s) a prime number?
True
Let x = -7 + 10. Suppose x*v = 5*r + 221, -342 = -5*v - 2*r + 78. Is v a composite number?
True
Suppose -3*a + 8 = -187. Is a composite?
True
Suppose -3*f = 2*g + 10, f - 11 = 5*g + 31. Let l(w) = w**2 + 5*w + 7. Is l(g) a composite number?
False
Let z(t) = 21*t + 4. Let u(j) = -11*j - 41*j - 8 + 10*j. Let b(k) = -3*u(k) - 7*z(k). Is b(-3) a composite number?
False
Let d be 4 + 0 + -2 + 0. Is (11/3)/(d/6) a prime number?
True
Let q = 38 - -49. Suppose 5*o - 5*p - 122 = 63, 0 = 3*o + 3*p - q. Is o composite?
True
Let q = -17 - -12. Is (q - -8) + 1*50 prime?
True
Let n = -423 - -255. Let m = n + 373. Is m composite?
True
Suppose 13*q - 12*q = 571. Is q a composite number?
False
Let y(w) be the first derivative of -1/3*w**3 + 1/2*w**2 + w + 3 - 8*w**4. Is y(-1) a prime number?
True
Let s(n) = -n**3 - 4*n**2 + 5*n + 5. Let b be s(-5). Suppose -2*t + 740 = -g + 5*g, b*g - 939 = t. Is g a prime number?
False
Suppose -4*m - 5*r + 1289 = 173, -848 = -3*m - r. Suppose 71 = -3*s + m. Is s prime?
True
Suppose 154 - 828 = -d. Suppose 3*s + 41 = d. Is s composite?
False
Is (16/4 - -9)*5 prime?
False
Suppose 5*w + q = 4, -4*w + 5*q - 17 = 3. Suppose 0 = -u + 4*h - 16, 2*u - h - h + 8 = 0. Is w/1 - (-91 + u) prime?
False
Let a = 248 - 135. Is a a composite number?
False
Let n = -192 + -113. Let k = -176 - n. Is (-2)/(-4) + k/2 composite?
True
Let k = -27 - -9. Let z = k - -49. Is z composite?
False
Let t(z) = 2*z**2 - 2*z + 1. Let g be t(2). Suppose -2*l = l - b - 432, 0 = 2*l - g*b - 275. Is l prime?
False
Let m be (-6)/(-1) - 1/(-1). Suppose m*h - 4*h = 0. Suppose n - 99 + 22 = h. Is n a composite number?
True
Suppose -j = 2*j - 495. Suppose j = a + 44. Suppose 5*x - a - 264 = 0. Is x composite?
True
Let g(x) = -x - 8. Let u be g(-8). Suppose 2*l - 7*l + 25 = u. Suppose -3*m + 200 = y - 6*y, m = -l*y + 60. Is m prime?
False
Let a be (-4)/((-32)/36)*-192. Let w = a + 1261. Is w a prime number?
True
Suppose 20 = -0*m + 4*m. Suppose y = 3*y + 4*b, 2*y - m*b = 0. Is 85 - y/(-2 - -1) prime?
False
Suppose 6 = -2*w - 8. Let t = -1 - w. Is t a composite number?
True
Let b = -17 - -16. Is 1/b*(-143 - 2) prime?
False
Let s be 65 - ((-2)/(-2))/1. Let w = -90 + 49. Let h = s + w. Is h composite?
False
Let r = -3 - 2. Let q(a) be the first derivative of -5*a**2 - 3*a - 3. Is q(r) composite?
False
Let x(j) = 75*j - 4. Let i be (0 + -1)*(3 - 6). Let k be x(i). Suppose 3*y + 14 = k. Is y a composite number?
True
Let p = -111 + 314. Is p prime?
False
Let y(d) = d**3 - 9*d**2 + 5*d - 10. Suppose 6*l - 17 = 4*l + 3*s, 0 = -3*l - 5*s - 22. Let w be l*-6*6/(-4). Is y(w) prime?
False
Let n(p) = -52*p - 61. Is n(-12) composite?
False
Suppose -6*u + 10556 = -15682. Is u prime?
True
Suppose 0 = 4*o - 114 - 118. Is (o/(-1))/((-10)/15) composite?
True
Suppose -4*g + 3*v = 35, 0 = 2*v - v + 3. Let a = g - -64. Is a prime?
True
Suppose 5*n + 0*n = 15. Suppose n*o - 215 = 166. Is o composite?
False
Is (-1)/5 - 1212/(-10) prime?
False
Let l be (-2 + 5 - -29) + 3. Is (l/(-7))/((-1)/23) a prime number?
False
Let r be (42 + 0)*(-1 + 2). Suppose 2*o - 2*p + r = 2*p, 0 = -2*p - 10. Let j = o + 53. Is j a composite number?
True
Suppose 4*a - 11 = 5*o, -2*a - o - 8 = 3*a. Suppose 3*d - 25 = -2*u, -u - 41 = -4*d + 4*u. Is 2 + -1 + a + d a composite number?
True
Let m(k) = k**3 + 7*k**2 + 1. Suppose -b = -0*a - 2*a - 16, 4*a + 8 = -4*b. Is m(a) composite?
False
Suppose -2022 = -14*n + 11*n. Is n composite?
True
Is (872/12*-3)/(-2) composite?
False
Let t(z) = 7*z**3 + 7*z**2 + 14*z - 11. Let w(l) = -20*l**3 - 20*l**2 - 41*l + 32. Let y(i) = i - 1. Let j be y(-5). Let h(f) = j*w(f) - 17*t(f). Is h(5) prime?
False
Suppose -2*y + 6 = 2. Suppose 4*b - y*b - 326 = 0. Is b a prime number?
True
Let f = 3