 2*p - 67 = 0, 3*p - 383 = 5*a - 13. Let t = y - a. Is t a composite number?
False
Suppose -1 = -r + 1. Suppose -5*w - 5*g + 55 = 0, -r*w = -w + 4*g - 5. Is w prime?
True
Let v(z) = 8*z**2 + 10*z - 13. Is v(10) a prime number?
True
Let y(h) = -h**3 - 5*h**2 + 4*h - 6. Let f be y(-6). Suppose -c - 395 = -f*c. Is c composite?
False
Suppose 0*d - 282 = 2*d. Let n = d - -90. Is n/(2*2/(-4)) composite?
True
Is 4/7 + (-135245)/(-77) prime?
False
Let o(q) = -51*q - 1. Is o(-4) a composite number?
True
Suppose -4*c = -5*o + 5414, 3*o - 1087 = 2*o + 5*c. Is o a composite number?
True
Let f = 390 + -269. Is f a composite number?
True
Suppose 2*u - 9 + 1 = 0. Let y(x) = 2 + 66*x + 1 - u. Is y(2) prime?
True
Suppose 3*h = -177 - 1923. Let y = -407 - h. Is y prime?
True
Suppose 0 = t - 5*u + 4 + 19, 0 = 5*t - 3*u + 5. Let z(r) = -1 - 13*r - 1 - r**t - 2. Is z(-6) prime?
False
Let z be (-6)/14 + (-132)/(-14). Suppose z*a - 10*a + 49 = 0. Is a composite?
True
Let u = -35 + 37. Suppose 66 = 5*j - 5*h - 14, -3*j = 2*h - 23. Suppose 0 = 4*s - u*l - j - 31, 4*l + 44 = 4*s. Is s a composite number?
True
Let f(p) = -p**2 - 10*p + 10. Let t be 3/9*3 - 8. Is f(t) a composite number?
False
Let h(p) = p**3 + 8*p - 18. Is h(13) a prime number?
False
Let x be 8*(9/(-12) - -1). Suppose 0 = -4*u + x*u + l + 29, 0 = 4*l + 12. Is u a composite number?
False
Suppose -18*c - 14495 = -23*c. Is c a prime number?
False
Let g(a) = 11*a**2 + 8*a + 7. Is g(-6) composite?
True
Let l = -527 - -362. Let d be -3*7/((-63)/(-834)). Let m = l - d. Is m prime?
True
Suppose 2*p + 6 = -p, 0 = 3*h + 4*p + 26. Is (-176 - 2)*3/h composite?
False
Suppose 4*d = -5*w - 0*w + 623, -5*d - 650 = -5*w. Let j = -72 + w. Is j a prime number?
False
Suppose 3*w - 612 = -3*k, -2*w = -4*w + 4*k + 378. Is w prime?
True
Let u(n) = n**2 + 5*n + 3. Let l be u(-4). Is 66/10*(6 + l) prime?
False
Let p be (-13 - 2)*(-1)/3. Suppose 4*r - 191 = -5*l, -2*l + l = p*r - 55. Is l composite?
True
Is 4*-1 + 89/1 a prime number?
False
Suppose 2*f = -3*f + 3860. Suppose -f = -4*s - 2*a, 3*s - 2*a = a + 561. Is s prime?
True
Let r(n) = -16*n. Let a(u) = -u. Let i(g) = -5*a(g) - r(g). Is i(1) prime?
False
Let s(a) = -10*a - 3. Is s(-7) a composite number?
False
Let p = 23 - 38. Let g = -10 - p. Suppose 123 - 43 = 2*j + 2*q, -q = g*j - 188. Is j a composite number?
False
Let v(d) = d**3 - 11*d**2 - 12*d + 5. Let l be v(12). Suppose -o = l*m - 162, -2*o - 4*m + 330 = -0*o. Is o prime?
True
Let c = 9 + -2. Suppose -c*x + 2 = -2*p - 3*x, -3*p + 4*x = -3. Let l(s) = s**3 - 5*s**2 + 7. Is l(p) a prime number?
True
Suppose -4*u - 3 = 3*r - 8, 4*r = -4*u + 8. Let w be 1/(0 + u/9). Let k = w + 24. Is k a composite number?
True
Suppose r - 6*t = -2*t + 535, 0 = -5*r + 2*t + 2621. Is r a composite number?
False
Suppose 0 = -9*y + 11*y. Suppose -2*a + 134 = -y*a. Is a a prime number?
True
Suppose u = -0*u + 2. Suppose -k - 4*k = 0. Suppose 4*i + 4*o - 20 = k, 2*o = u*i - 5*i + 14. Is i composite?
True
Let z = 1 + 2. Let r be (-2 - -1)/(4/(-16)). Suppose v + z*v - 45 = -t, r*v + 2*t = 46. Is v composite?
False
Suppose -4*t + 5*i = -5*t + 2307, t + 4*i - 2309 = 0. Is t prime?
False
Suppose 7*l = 2*l + 40. Is 4/l*(1 + 137) a prime number?
False
Let i(d) = -d + 36. Let a be i(18). Let b be 3/1 - (-2 - -2). Suppose b*c - 363 = -a. Is c a prime number?
False
Let d = 330 - -155. Is d a composite number?
True
Let s = -95 + 145. Suppose 3*l + 6*p = 7*p + s, -4*l = 5*p - 92. Suppose 0*j = -4*j - 2*y + l, -5*j + 55 = -4*y. Is j prime?
True
Let l = 10 - 2. Let x be (l/(-6))/((-1)/3). Suppose 2*t + m - 25 = 0, -x*t - 4*m + 47 = -m. Is t composite?
True
Suppose 0 = 5*b - 19 - 6, 2*b + 995 = 5*q. Is q prime?
False
Suppose 3*s = -7 - 11. Let q be (-2 - 0)/(4/s). Suppose 0*u + 57 = 2*u + 3*d, 102 = q*u - d. Is u composite?
True
Suppose -4*z + 38 = -18. Let m = 39 - z. Let f = 38 - m. Is f prime?
True
Let b(l) = -l + 3*l - 5 - 3*l. Let a be b(-5). Suppose a = -3*f + 2*o, -4*f + o + 1 = -4. Is f a prime number?
True
Let b(f) = -8*f - 4. Let x be b(-3). Suppose 65 = 5*s - x. Suppose 2*w - 5*r - 66 - s = 0, 3*w = r + 105. Is w composite?
True
Let c(x) be the second derivative of 5*x**3/3 - 3*x**2/2 - x. Is c(8) a prime number?
False
Suppose -5*p + 10 = -5. Let z = -36 + 74. Suppose -h + p*h - z = 0. Is h prime?
True
Let p = 9 - 4. Suppose -2*l + p*x = -126 - 8, -65 = -l + 3*x. Is l prime?
False
Let h(w) = -5*w + 8. Let r(c) = 6*c - 9. Let p(t) = 5*h(t) + 4*r(t). Let o be p(4). Suppose -2*j + 0*j + 12 = o. Is j a composite number?
True
Suppose -9143 = -4*v - 5*k, 2*v - 5*k + k = 4578. Is v composite?
False
Let f(h) = h**2 + h + 91. Is f(0) a prime number?
False
Let l = -1 - -4. Suppose 18 = t - 3*t + 3*k, l*t + 26 = 4*k. Is (-4)/t*660/8 a prime number?
False
Let l = 33 + 394. Is l composite?
True
Suppose 4*p + 0*z + 3*z = 5, 0 = 5*p - 5*z - 15. Is (-1)/p*14*-11 a composite number?
True
Let x be ((-3)/9)/(2/(-24)). Suppose -x*o + 3 = 15. Let w = o + 17. Is w a composite number?
True
Let q(u) = -u**3 + 13*u**2 - 13*u - 10. Is q(11) composite?
False
Suppose -2*a - 5*y = -5*a + 201, 5*a = -2*y + 335. Is a prime?
True
Let d be -1*3*(-1 + 0). Let w(o) = -o**2 + 2 - o + 5*o**2 - d. Is w(-4) a composite number?
False
Is ((-10909)/(-13) - 0) + (-12)/78 a composite number?
False
Suppose -243 - 197 = -5*z. Suppose -g = 3*v - z, -4*g + 357 - 21 = -4*v. Is g composite?
True
Let m = 2831 + -1084. Is m composite?
False
Let v(j) = j**3 + j**2 - 3*j - 1. Is v(3) prime?
False
Suppose h - 138 - 235 = 0. Is h a prime number?
True
Let v = 7 + -5. Suppose -v*b + 98 + 156 = 0. Is b a composite number?
False
Suppose 0 = 183*m - 188*m + 2235. Is m composite?
True
Suppose -107 = -4*u + 1469. Is u prime?
False
Is 3/(-7) + 8216/28 prime?
True
Let u = -1511 + 2690. Suppose -u + 179 = -5*t. Suppose 3*p - 4*s - 277 = -2*p, -4*s = 4*p - t. Is p prime?
True
Let p(d) = -d**3 - 5*d**2 - 15*d + 1. Let j be p(-19). Is j/28 + 4/14 prime?
True
Suppose -j - 29 = -5*r - 221, 0 = 5*r + 2*j + 201. Is (r/5)/((-1)/5) prime?
False
Let n = -76 + 150. Suppose -4*j = -2*j - n. Is j a prime number?
True
Suppose 5*i = -o - 0*o + 3168, 2529 = 4*i - o. Is i prime?
False
Let w(y) = 7*y**2 + 10*y - 17. Is w(-12) a composite number?
True
Let i(o) = 9*o**3 - 2*o**2 + 2*o - 5. Let g(w) = 3*w**3 - w**2 + w - 2. Let a(l) = 17*g(l) - 6*i(l). Is a(-5) prime?
False
Suppose -2*y - 2*y - 4*r + 1504 = 0, -5*y = 4*r - 1883. Suppose -y = -m + 2*f, -2*m + m = -3*f - 380. Is m composite?
True
Suppose -4*m + 7*m - 93 = 0. Is m a prime number?
True
Let c(t) = t**3 + 7*t**2 - 17*t + 12. Is c(7) a composite number?
True
Let x(j) = j**3 + 6*j**2 + 6. Let l be x(-6). Let a be (0 - -1)/(l/6). Let k(u) = 23*u - 1. Is k(a) a composite number?
True
Suppose -d = d. Let t = d - -38. Is t a prime number?
False
Let b = 25 + -22. Suppose -b*x + 2*x + 337 = 0. Is x a composite number?
False
Is (-2)/7 + (-1623)/(-21) a prime number?
False
Let t(n) be the first derivative of n**4/4 + n**3/3 - 3*n**2 - 2*n - 1. Let o be t(-4). Is o*(-2 + (-6)/(-4)) a prime number?
True
Suppose -2*r = -390 - 16. Is r composite?
True
Suppose -k + w - 4*w = -302, w = 1. Is k composite?
True
Let s(t) = 3*t**3 + 2*t**2 + 6*t - 4. Let c be s(4). Suppose c = 4*m - 40. Is m prime?
True
Suppose -5 - 7 = 2*z. Let a = 4 + z. Let c(l) = -18*l + 1. Is c(a) a composite number?
False
Suppose -4*g + 0*g = -224. Suppose b + n - g = -2*n, 0 = 2*b + 2*n - 108. Is b prime?
True
Suppose -5*b + 6 = -2*b. Is -4 + b - 201/(-3) prime?
False
Let a(y) = -y + 1. Let d be a(-1). Is (d/6)/((-2)/(-318)) a prime number?
True
Let c(k) be the second derivative of 5*k**4/12 + k**3/3 + k**2/2 + 3*k. Let i be c(-2). Suppose 2*d - 58 = -4*x, 0*d + d = -5*x + i. Is d composite?
False
Let o be (-1 - 0 - -4) + -3. Suppose o*c - c + 31 = 0. Is c a composite number?
False
Suppose 5*n - 7602 = 2053. Is n a composite number?
False
Let a = 809 + 1704. Is a a prime number?
False
Suppose 5*w - 3*m + 9 = 3*w, 0 = w + 2*m - 6. Suppose 2*k = -4*q - 2*k + 128, 4*k + 20 = w. Is q prime?
True
Suppose 3*p + 5*g = 72, -2*p + 26 = -5*g + g. Let r = p + -8. Suppose -5*u = -174 - r. Is u a composite number?
False
Suppose 36 = 4*t + 2*s + 2*s, -2*s = -2. Suppose 2*l - 6*l = -t. Is (-627)/(-27) + l/(-9) a prime number