l = -0*p + 2*p - 5086, l = 0. Is p composite?
False
Let u = 491 + -254. Is ((-4)/6)/((-2)/u) composite?
False
Let w = -1 - -1. Suppose -5*c + 122 = k + 3*k, w = -4*k - 4*c + 124. Is k a prime number?
False
Let i = 12 + -10. Suppose i*h + 67 = 3*h. Is h prime?
True
Let u = -4313 - -6930. Suppose i - u = -3*b - i, -20 = -4*i. Is b a prime number?
False
Let d = 3881 + -2472. Is d a composite number?
False
Let g = -2 - 1. Let x be 0/(g/(9/(-6))). Suppose x = p + 9 - 178. Is p prime?
False
Let w(p) = -p. Let y(i) = -22*i + 2. Let z(v) = 2*w(v) + y(v). Is z(-3) composite?
True
Suppose -4*l + 7*l - 111 = 0. Is l composite?
False
Let f = 299 + -185. Let i = 79 - f. Let z = i + 54. Is z prime?
True
Let b(r) = 7*r. Suppose -3*a = -a - 2. Let m = a - 0. Is b(m) composite?
False
Suppose -2*w - 3*h - 17 = -2*h, -2*h = 10. Is ((-124)/w + -3)*3 prime?
True
Is ((-251)/2)/((-23)/46) a composite number?
False
Suppose -4*j + j = -15, -4*b = 2*j - 230. Suppose -3*i + 3*g + 207 = 0, 0 = -i - 3*g + 6 + b. Is i composite?
False
Let j = 1087 - 710. Is j a composite number?
True
Suppose -5*v = 3*h + 39 - 354, -125 = -2*v - h. Suppose 2*i = v + 14. Is i composite?
False
Suppose 3*z + 3*v - 6 = 0, -5*z - 3 + 13 = 3*v. Suppose 0 = -2*d + l + 149, 0 = 3*l + z*l - 25. Is d a prime number?
False
Let i = 130 + 39. Let q = i + -92. Is q a prime number?
False
Let m(h) = -39*h + 31. Is m(-12) composite?
False
Let o(w) = -w**3 - w + 117. Let c = 8 - 8. Let j be o(c). Suppose g = -2*g + j. Is g a prime number?
False
Let b(v) = v**3 + 13*v**2 + 11*v - 7. Let q be b(-12). Let y = 3 - q. Let g(s) = -103*s - 1. Is g(y) a composite number?
True
Let u(k) = 3*k**3 + k. Let b be u(2). Suppose 19 = 3*r - b. Is r prime?
False
Let n = 1 + 2. Suppose o + 2*m = 3*o - 180, -3*o - n*m = -276. Is o a prime number?
False
Let o be 9/2*(-16)/24. Let g = 2 - o. Suppose -4*p + 172 = n + 55, -n + g*p + 108 = 0. Is n a composite number?
False
Let g = 1559 - 2388. Is g/(-2) - 33/22 composite?
True
Let l(v) = -599*v + 4. Is l(-3) prime?
True
Suppose -4*u = -d + 5 - 3, 3*u = 0. Let h = 85 - d. Is h composite?
False
Let n = 10 + -3. Suppose -345 = 4*r - n*r. Is r a prime number?
False
Let x be -2*(-15)/12*2. Let b(a) = -a**3 + 4*a**2 + 7*a - 6. Let o be b(x). Suppose o*t + 161 = 3*g - 8, 5 = -5*t. Is g composite?
True
Suppose -2*b - 135 = -6*b + r, r = -3*b + 96. Is b prime?
False
Suppose 3*m - 269 + 2 = 0. Suppose -t + 5*w = -m, -2*t - 3*w = -56 - 70. Is t prime?
False
Suppose -5*c + 3*f = -89, 7*c - 4*c = -3*f + 39. Is ((-28)/c)/((-2)/56) composite?
True
Let z be (-4)/(-16) + (-165)/(-12). Let o(n) = -n**3 + 15*n**2 - n + 9. Is o(z) a prime number?
True
Let z(k) = k**3 - 6*k**2 + k - 1. Let f be z(6). Suppose -n - f*j = 14, -2*n + 4*j + 8 = 2*j. Is (159/(-6))/(n/(-2)) composite?
False
Let o(g) = -16*g**2 + 6*g - 6. Let n(p) = 3*p**2 - p + 1. Let y(k) = 11*n(k) + 2*o(k). Let a be y(1). Is 12/a + (-2)/(-1) a prime number?
False
Suppose -2*j + 1624 = -5*d, j - 4*j + 2441 = -5*d. Let q = -422 + j. Is q a prime number?
False
Suppose 0 = 6*p - 14454 + 2352. Is p a composite number?
False
Let i(d) = -3*d - 2. Let s be i(-2). Suppose 2*u - s*u - 30 = 0. Is 20/u*15/(-2) a composite number?
True
Let o(l) = 4*l**2 + 35*l + 8. Is o(11) composite?
False
Let x(f) = f**3 + 16*f**2 - 4*f + 18. Is x(-15) composite?
True
Suppose -l - 28 = -5*x, -4 = -5*x + 2*l + 22. Let u(s) = s**3 + 2*s**2 + 5*s - 9. Is u(x) a composite number?
True
Suppose a + 5*f - 44 = 6*f, 25 = 5*f. Is a prime?
False
Let f be -1 + 0 - (1 - -1). Let g be (f + (-13)/(-5))*-5. Suppose -2*t - 1 + 3 = 0, -g*r = -5*t - 37. Is r a prime number?
False
Let q(k) = -k + 15. Let i be q(0). Let l be 6/i + 1246/10. Suppose -m + l = 4*m. Is m a prime number?
False
Suppose -3*u + 6*u = 12. Suppose 2*f = 3*c + 118, -f = -3*f + u*c + 118. Is f a prime number?
True
Suppose -218 = l - 1105. Is l a composite number?
False
Let i = 120 + 97. Is i composite?
True
Suppose z = -5*b + 131, -290 = -3*z - 2*b + 51. Is z a composite number?
True
Let d = -96 + 51. Let p = d - -104. Is p prime?
True
Let b = -9 + 9. Is (-1 + b)*-3*37 composite?
True
Let v = 19 - 12. Let f(l) = v - 4*l + 7*l - l. Is f(7) a composite number?
True
Let f = 17 - 37. Is (32/f - -2)*215 prime?
False
Let w be 2/(2/(-36)*-3). Is ((-40)/w)/((-4)/114) composite?
True
Suppose -93 - 60 = -k. Suppose 1225 = 2*f - k. Is f composite?
True
Let t(y) = -3*y**3 - 4*y**2 + 3. Let o be -7 + 1 - (-3 - -1). Is t(o) composite?
False
Suppose -4*r - 271 = 5*k, -2*r + 6*r = -4*k - 216. Let q = 40 - k. Is q a composite number?
True
Suppose 0 = -7*p + 10*p + 465. Let y = p + 298. Is y composite?
True
Let f be 22/10 - (-3)/(-15). Let j = f + -5. Is (-95 + j)*1/(-2) composite?
True
Let j(u) = 16*u**3 - 4*u**2 - 5. Is j(5) prime?
False
Let g(a) = -3*a**3 - a**2 - a - 1. Let t be g(-1). Is t/(1*3/69) a prime number?
False
Let h(t) = 51*t - 19. Let j(x) = 25*x - 9. Let q(u) = 2*h(u) - 5*j(u). Is q(-8) a prime number?
True
Suppose 5*c - 48 - 265 = -2*v, 5*c + 25 = 0. Is v composite?
True
Suppose -f = -4 + 9, 4*w + 2*f = 1738. Is w a composite number?
True
Let n(y) = -14*y + 1. Let t be ((-2)/5)/((-4)/(-100)). Let f be n(t). Suppose q + 19 = f. Is q composite?
True
Suppose -5*w = -5*a - 30, -4*a + 5*w = -7*a + 6. Let i = a - -10. Is (i/2)/((-1)/(-22)) a composite number?
True
Let w(z) = -4*z. Let m be w(-1). Suppose 148 = 4*v - 5*o - 39, m*v + 4*o - 232 = 0. Is v a composite number?
False
Suppose -3*n + 2*t + 224 = 7*t, 4*t + 188 = 3*n. Let p = -3 - -5. Suppose y + n = s - p*y, 5*s = -3*y + 394. Is s prime?
False
Suppose 6*w - 1813 = -w. Is w a prime number?
False
Suppose 1203 = 13*t - 1462. Is t a prime number?
False
Let h = -94 + 167. Let l = 48 - 84. Let p = l + h. Is p composite?
False
Let y(k) = -4*k - 2. Let c(s) = 13*s + 5. Let l(m) = 2*c(m) + 7*y(m). Let b be l(-3). Suppose -b*i + 21 = i. Is i a prime number?
True
Suppose 0 = 2*d - i + 3*i, 5*d - 5*i - 10 = 0. Is (59 - d)/((-24)/(-36)) composite?
True
Let w = -72 + 110. Is w a composite number?
True
Let o be 33/(-2)*24/9. Let d(c) = -c**2 + 6. Let f be d(-6). Let g = f - o. Is g a composite number?
True
Let g(q) = q - 8. Let w be g(11). Suppose 0*i = 2*i. Suppose w*f = -12, -2*f + i*f = -5*s + 273. Is s prime?
True
Let w = 7152 + -5049. Is w composite?
True
Suppose 141 + 437 = 2*o. Is o prime?
False
Let m(h) be the first derivative of -h**3/3 + 4*h**2 - 7*h - 2. Let v be m(6). Suppose -7 = -v*s + 4*q + 186, -5*s + q = -187. Is s composite?
False
Suppose 5*x + 12 = -3, b + 4*x = -12. Suppose -5*y + 25 = -b*y. Suppose -y*d + 220 = -495. Is d a composite number?
True
Suppose 0 = -3*d + 6*d - 45. Is d composite?
True
Is (-1)/3*265*-3 prime?
False
Suppose 3*o = 2*o. Suppose o*z - z = 0. Suppose z*u + 3*u = 4*w + 122, 5*w - 111 = -4*u. Is u prime?
False
Let i = 4 - 0. Suppose 0 + 16 = i*l. Suppose 0 = -u + l + 7. Is u a prime number?
True
Let v be 482*(2 - 1/1). Suppose v = 2*b + 2*r, -b + 5*r = -186 - 43. Suppose -44 = -a - 5*m, 4*a + m - 2*m = b. Is a a prime number?
True
Let g(t) = 176*t**2 - t + 1. Let m be g(1). Suppose -9 = -5*k + m. Is k a prime number?
True
Let o = 603 - 1445. Let l be o - (-6)/(-5 - -2). Is l/6*(-9)/6 a composite number?
False
Suppose 0 = -5*i + 65 - 15. Let t(r) = r**3 - 9*r**2 - r - 3. Is t(i) a composite number?
True
Suppose 880 = 4*i + 3*c, -8*i + 5*c = -4*i - 912. Is i a composite number?
False
Suppose -83 = 2*t + 5*b, 5*t = -0*t - 3*b - 255. Let y = t + 145. Is y composite?
True
Suppose 6*o = 5*o + 9. Is o a prime number?
False
Let n = 0 - -81. Suppose -j = 2*j - n. Suppose j = -3*g + 144. Is g a composite number?
True
Suppose 1716 = 3*m - 816. Suppose -8*p + m = -4*p. Is p a composite number?
False
Suppose j = 40 - 10. Let r = 55 - j. Is r prime?
False
Let q = 17 - -12. Suppose 0 = -f - 4*p + q, 2*p = -2*f + p + 72. Is f a composite number?
False
Let l be -1*101*1/1. Let r = l - -154. Is r a prime number?
True
Let l = -17 - -40. Is l a composite number?
False
Let t = -737 + 1454. Is t prime?
False
Let p(l) = -3*l**2 - 13*l + 16. Let y(o) = o**2 + 4*o - 5. Let i(v) = 2*p(v) + 7*y(v). Let m be i(2). Suppose 3*z = m*k + 29, -2*k - 4 = -k. Is z prime?
True
Is ((-3)/6)/(6/(-636)) prime?
True
Let x(b) = 65*b + 1. Let p(j) = j**3 - 7*j**2 + 6*j + 2. Let