
Suppose 4*d - 1943 = -5*a, 3*a - 5*d - 953 = 235. Is a a prime number?
False
Let y(s) = s**2 - 7*s - 13. Let w be y(9). Suppose -w*h + 1119 = -6*k + 2*k, -5*h = -5*k - 1120. Is h a composite number?
False
Suppose -2*d = 3*k - 10, 2*d = k + k - 10. Let o(f) = f. Let v(s) = -40*s - 1. Let y(a) = -4*o(a) + v(a). Is y(d) composite?
False
Let b(m) = 2*m**2 - 9*m + 17. Let n be b(13). Suppose x - 119 = -3*y, -x - n = -3*x + 5*y. Is x composite?
True
Let j(g) = -g + 10. Let s be j(8). Suppose -3*b + 6 = z - s, -3*z - 32 = -5*b. Suppose b*k - 8*k + 220 = 0. Is k prime?
False
Let s(f) = -313*f**3 + 2*f**2 - 4*f - 7. Is s(-2) prime?
False
Suppose -3*q = -3*w - 2*q - 1, 0 = 3*q - 3. Suppose w*i = i - 3. Suppose 5*x + i*c - 266 = 0, 4*x - 4*c - 72 = 160. Is x a prime number?
False
Let k be (-1)/(-2)*50/5. Suppose -k*o + 1751 + 1074 = 0. Is o prime?
False
Let d(i) = -i**3 + 6*i**2 - 5*i + 4. Let p be d(5). Suppose 5*k - p = -14. Is 91 - (-2 - -1)*k a composite number?
False
Suppose 0 = 7*q - 4*q - 426. Is q a prime number?
False
Let m(j) = -3*j - 12*j - 3*j - 3*j + 1. Let w be m(-1). Suppose -w + 88 = 2*c. Is c a prime number?
False
Let y = -25 + 44. Is y a prime number?
True
Suppose -t - 330 = 4*l - l, 4*t = 4*l + 440. Is -3 + 1 - l/2 a composite number?
False
Let b(t) = t - 8. Let o be b(13). Suppose -249 = -o*p - y, -p + 6*p - 257 = -3*y. Is p prime?
False
Let z be ((-1)/3 - -1)*3. Suppose -v - 3*v + 8 = 0. Is (z*23)/(v/1) composite?
False
Suppose -749 = 2*s + 31. Is s/(-6) - 0/2 composite?
True
Suppose 0 = 5*s - 16 + 6. Is (-1 + 2)/(s/110) composite?
True
Let a = -13 + 11. Is ((-424)/(-12))/(a/(-3)) prime?
True
Is 91662/48 - 7 - 6/(-16) a composite number?
True
Suppose -3*q + 308 = q. Is q prime?
False
Is 4355 - 2 - 0/(-2) composite?
True
Let d(c) = -c**3 + 7*c**2 - 6*c + 5. Let u be 40/7 - 10/(-35). Let o be d(u). Suppose -3*f + o*v + 75 = 2*f, 4*f = 3*v + 55. Is f a prime number?
False
Let c = -5 + -260. Let j = c - -558. Is j a composite number?
False
Suppose -g + 6*g = -10. Let c = 5 + g. Is 3*(-13*c)/(-3) a prime number?
False
Is (2 + 34/6)/(2/114) composite?
True
Let o be -6*3*(-3)/(-18). Is (0 - o)/(3/127) prime?
True
Suppose 2*u - 43 = 45. Suppose 61 = 3*g - u. Is g a prime number?
False
Let r(y) = -y**2 + 4*y - 1. Let w be r(3). Is w/(-10) - 608/(-40) a composite number?
True
Suppose 0 = -w + 4*a - 2 - 1, -3*w + 4 = a. Suppose -3 = s - 4. Is 0 + s*39 - w a prime number?
False
Let w = 564 + 109. Is w composite?
False
Let l = -1805 + 2914. Is l prime?
True
Is ((-1)/(-2))/(-2*(-6)/29112) composite?
False
Suppose 4*j + 1 - 13 = 0. Let k = 7 - j. Is -2*(-1 + (-174)/k) a composite number?
False
Let b(u) = 2*u**2 + 0*u - 2*u**3 - u - 1 - 2*u**3 - 3*u**2. Suppose -3*q - 2 - 1 = 0. Is b(q) a prime number?
True
Suppose -23*p = -19*p - 332. Let g = 141 - p. Is g a prime number?
False
Let c(w) = 10*w**2 - w - 12. Is c(11) composite?
False
Let l be (18/(-4))/((-3)/(-116)). Let t = l + 319. Is t a composite number?
True
Let h(b) = -6*b**3 + 3*b**2 + 5*b - 3. Is h(-4) a composite number?
False
Let g(c) = c**3 + 3*c**2 - 3*c + 2. Let u be g(2). Suppose 3*x - u = -5*v + 13, 1 = v. Let l(r) = 2*r + 7. Is l(x) composite?
False
Suppose 0 = 4*z - 2*n - 882, 0*z + 4*z - 3*n = 883. Let d = z + -141. Is d composite?
False
Let y(k) = -29*k - 12. Is y(-11) composite?
False
Let s = 76 + -56. Let k(b) = b**3 - 4*b - 2. Let o be k(-3). Let h = s - o. Is h composite?
False
Let y = -5 - -6. Is (y + 0)*(-266)/(-2) prime?
False
Let g(y) = -2*y - 1. Let b be g(-2). Let o be (-6)/(4/b + -2). Let j = 28 + o. Is j a composite number?
False
Suppose -3*y + 0*y = -678. Let l = 371 - y. Is l a prime number?
False
Let f = 1340 - -3571. Is f prime?
False
Let k be (-10)/(-35) - (-33)/7. Suppose -1 = k*t - 21. Is (-2)/t - 247/(-2) prime?
False
Let a(o) = o + 2. Let f be a(-4). Is (-1)/f*(-5 + 79) prime?
True
Suppose 7*y - 3*g - 17 = 3*y, 8 = 2*y - 2*g. Let r(o) = -o - 1. Let v be r(-4). Suppose -28 = v*m - y*m. Is m prime?
False
Let l = 10 + -5. Suppose 0 = -c - c + 3*d + 131, -2*d + 106 = 2*c. Suppose y + 3*m - c = 0, -l*m - 230 = -3*y - 2*y. Is y composite?
True
Let p(j) = -j**2 + 20*j + 16. Is p(15) a composite number?
True
Suppose 5*h - 12 = -2. Let l(g) = 11*g**2 + 5*g - 5. Let n(f) = -12*f**2 - 4*f + 4. Let m(p) = -5*l(p) - 6*n(p). Is m(h) prime?
True
Suppose 1 + 1 = -2*j - 5*i, 2*j = -2*i + 4. Suppose -2*s - 18 = -3*u, -25 = -4*u - s + j*s. Is (1 + u)*(-6 + 25) composite?
True
Suppose -4*a + a + 477 = 0. Is a a composite number?
True
Let m(r) = -8*r + 3. Let o(z) = -z**2 + 10*z - 7. Let s be o(10). Is m(s) a prime number?
True
Let s be (6/(-4))/(9/(-192)). Is 2864/s*(1 + 1) composite?
False
Suppose 4*r - 3*r = 541. Is r composite?
False
Suppose 0*c + 5*c + 5*o = -25, 5*c - 2*o + 4 = 0. Is c/(-3) + 1320/18 prime?
False
Suppose 9*j = 4*j + l + 282, j = -4*l + 69. Is j a composite number?
True
Suppose 2*m + m + 12 = 0. Let o be 6/m - 276/(-8). Suppose 0 = -0*i - i + o. Is i a composite number?
True
Is 1/(-3)*-419*3 a composite number?
False
Suppose 0*d - 2*d + 6 = 0. Is (d/(-2))/(2/(-44)) a composite number?
True
Suppose 5*t = -0*t. Suppose 2*g = -t*g. Suppose g = 5*r - 30 - 205. Is r a composite number?
False
Suppose 8*q - 6*q = 10. Suppose y + 138 = -3*r + 743, q*r - 1019 = y. Is r composite?
True
Let s(f) = f**2 - 4*f - 5. Let i be s(-5). Suppose -5*v = -50 - i. Let t = v + 15. Is t composite?
True
Let h(q) be the second derivative of -3*q**5/10 - q**4/6 + 5*q**3/6 + 2*q**2 - 2*q. Is h(-3) prime?
False
Let u = 13 + -11. Suppose 3*s = -u*s + 895. Is s a composite number?
False
Suppose 0 = 5*a + 2*v - 38, -4*a - 3*v + v = -32. Let b be (-22 - -2)/(a/(-45)). Let n = 295 - b. Is n a composite number?
True
Let y be (2 + 2)*3/6. Suppose y*r = r. Suppose r*s + 5*s - 70 = 0. Is s prime?
False
Suppose 139 = -4*y - 605. Let q = y + 269. Is q prime?
True
Suppose 4765 = 10*y - 5*y. Is y a prime number?
True
Let q = 1030 - 509. Suppose 2*j - q = j. Is j a composite number?
False
Let t(u) be the first derivative of -u + 0*u**3 + 0*u**2 + 1 + 7/2*u**4. Is t(1) prime?
True
Suppose -4*g - 4*m = -420, 6*m - m = -4*g + 416. Is g composite?
False
Suppose -u + 13 = 5. Let j be 14/u - (-2)/8. Is j/(5/(395/2)) composite?
False
Let o(t) = -3*t - 1. Let g be o(-2). Suppose -g*n + 27 = -38. Is n prime?
True
Let b be (-3 - -26)*(3 + 0). Let r(d) = -2*d**2 - 7*d - 4. Let n be r(-6). Let y = b + n. Is y prime?
False
Let g = 6 + -6. Suppose -4*k + 3*f = -40, g*k = -k - 2*f + 10. Is k a prime number?
False
Let l = -272 - -406. Suppose 3*g = -4*b + 1199, 2*g - 5*b - l = 696. Suppose -4*a = -g - 239. Is a composite?
True
Let x(w) = -33*w + 1. Is x(-6) composite?
False
Suppose 0*n - 3*n + 4413 = 3*r, r = 4*n + 1471. Is r prime?
True
Suppose 4*k + k = -c + 774, 4*k - 623 = 3*c. Is k prime?
False
Let n = -5 + 5. Suppose 1 = -g - n*g. Is g*(1 + 3*-40) a prime number?
False
Let h(i) = 3*i**2 + 6*i + 1. Let l be -2 + -1 + (-2)/2. Let j be h(l). Suppose -5*y + j = -4*y. Is y a composite number?
True
Suppose 0 = 3*p - 0*p - 5*d - 19916, 5*p - 33188 = 3*d. Is p composite?
False
Let r(p) = 18*p + 11. Is r(10) composite?
False
Let r(o) = 7*o**3 - 3*o + 5. Is r(3) prime?
False
Let i(y) be the first derivative of 5*y**3/3 + y + 2. Let p be i(-1). Let w = p - 4. Is w a composite number?
False
Let f = 77 - 1. Let d = f + -7. Is d composite?
True
Let o be ((-7)/21)/((-1)/(-3)). Let y be -4 + 2 + (o - 1). Is (y - (-3 - -1)) + 91 composite?
False
Let z(q) = 15*q**2 - 7*q + 5. Suppose 12 = p + 2*p. Is z(p) composite?
True
Let a(f) = -f**3 + 5*f**2 + 6*f. Let y be a(6). Suppose y*k - 532 = -4*k. Is k a prime number?
False
Suppose 2 = 3*x - 5*i + i, 5*x + 25 = i. Let t(c) = -c**3 + 2*c**2 + 5*c + 1. Is t(x) prime?
False
Suppose 3342 = -4*z + 10*z. Is z a prime number?
True
Let u = -102 - -233. Is u a prime number?
True
Let k = 5 + -13. Let s = 5 + k. Let u(i) = -21*i + 4. Is u(s) a prime number?
True
Let h be -3*(-33)/18*12. Let v = 19 + h. Is v prime?
False
Is (-919)/(-5 - (-12)/3) a composite number?
False
Suppose -14*n + 11*n + 1341 = 0. Is n a prime number?
False
Suppose -l = -4*r + r + 8, -6 = 2*r + 5*l. Suppose -r*z = 2*b - 72, 4*b = -2*z - 3*z + 143. Is b prime?
True
Suppose 8*r - 1788 = 2*r. Is r composite?
True
Let c(b