 a prime number?
True
Suppose -1 = -4*w + 5*w, 2*m - 3*w + 53 = 0. Let l = 309 + -313. Is l/m - 11912/(-14) a composite number?
True
Is (-20)/(-70) + 78270/14 composite?
False
Let j be 29/(-2) + (-1)/2. Let q = 15 + j. Suppose 3*s - i - 357 = q, -4*s + 588 - 112 = i. Is s composite?
True
Let w(s) = -33*s**3 + 4*s**2 + 27*s - 7. Is w(-9) composite?
True
Suppose -5*v = 14*v - 75791. Is v a composite number?
False
Suppose 0 = d - 1813 - 362. Suppose 4*r - r = d. Suppose 7*b - 12*b + r = 0. Is b a composite number?
True
Let n(l) = l**2 + 16*l + 32. Let b be n(-14). Suppose -4*g = 3*v - 457, -9 - 225 = -2*g + b*v. Is g prime?
False
Let t(z) = 375*z + 34. Let y be t(-10). Is 9/((-90)/y)*(-10)/(-4) a composite number?
False
Suppose 0 = -32*c + 33*c - 152. Suppose -3*w = -626 + c. Is w composite?
True
Let x be 7/28 + (-7110)/(-8). Let a = x + -575. Is a a composite number?
True
Suppose 3*t + 1256 = z + 2*t, 0 = -5*z - 3*t + 6304. Is z composite?
False
Suppose 0*x + 5*x = 0. Suppose 4*k - 12 = -s, x*k = -2*k - 2*s. Suppose -3*j = 5*h - 5587, -k*h + 0*h + 4456 = -j. Is h a composite number?
True
Let q(w) be the third derivative of -w**6/120 - 7*w**5/60 + 11*w**4/24 + 2*w**3/3 + 18*w**2. Is q(-9) composite?
False
Suppose 4*s + y - 41755 = -14723, s + 5*y = 6777. Is s a composite number?
True
Let p(b) = 4*b - 23. Let o be p(7). Suppose o*d - 3304 - 4971 = 0. Is d a prime number?
False
Suppose -2 = 3*q - 8. Suppose q*c - 5 = -m, m - 33 = -2*m + 3*c. Suppose -1 - m = -u. Is u a prime number?
False
Suppose 0*l = 3*l - 18. Let t(z) = z + 2. Let o be t(l). Is (326/(-8))/((-2)/o) prime?
True
Suppose -6392 = h + 3*h. Let m = h - -2292. Is m a prime number?
False
Suppose -o + 4442 = o. Is -2*((-1)/(-1)*o)/(-2) composite?
False
Let c be (4/(1 + 1) - 12)/1. Is c/(-20) + (-314)/(-4) a prime number?
True
Suppose 3*f = -l - 3*l + 10, 2*l = -3*f + 8. Suppose 0 = 5*y + 2*n - 1475, -3*y = -f*n + 5*n - 894. Is y composite?
False
Is (40386*2)/12 - 6/(-1) a composite number?
False
Let y(m) = -2280*m + 11. Is y(-1) a prime number?
False
Let c(b) be the second derivative of -b**5/20 - 5*b**4/12 - 2*b**3/3 + 2*b**2 + 6*b. Let i be c(-4). Suppose -5*h + 1113 = r, 8 = -8*r + i*r. Is h composite?
False
Let q(d) = 28*d**3 + 26*d**3 + 17*d**2 - 55*d**3 - 3. Is q(13) composite?
False
Suppose -9337 = 40*z - 55377. Is z composite?
False
Let t(j) be the first derivative of -23*j**2 - 33*j - 10. Is t(-16) composite?
True
Let y be -1 - -4 - -4*(-29)/(-2). Suppose 2*v - y = f, -16*v - 3*f = -11*v - 158. Is v composite?
False
Let f be (-487 + -14)*(0 + -3). Let u = f - 574. Is u prime?
True
Suppose 3*d - 75647 = -5*f, 4*d - 100886 = 31*f - 26*f. Is d a composite number?
False
Let a = 59013 - 29224. Is a a prime number?
True
Let s be 0 - -4 - (-4)/1. Suppose -1804 = -s*d + 4*d. Is d composite?
True
Suppose 7*u - 608 = 4901. Is u a prime number?
True
Let t(c) = 31*c - 6. Let s(p) = 31*p - 6. Let v(m) = 6*s(m) - 5*t(m). Is v(5) a composite number?
False
Let m(w) = 171*w - 157. Is m(24) composite?
False
Let h = -247 + 1790. Suppose l = h + 3610. Is l a prime number?
True
Suppose 3*u + 2*f = -f + 3, 4*f = -2*u - 4. Suppose -q = u, 0 = 3*t + 5*q + 3 + 5. Suppose 0 = -t*b - d - 2*d + 583, b - 147 = -2*d. Is b a prime number?
False
Let f(j) = 221*j**2 - 15*j + 119. Is f(18) a prime number?
True
Suppose 3*l - 6609 = -3*u, -14*l = 3*u - 13*l - 6605. Is u a prime number?
False
Let t = 233 + 573. Let v = t + -271. Is v prime?
False
Let t(v) = v**2 + 9*v + 11. Let j be t(-8). Suppose -x = -j*x + 200. Let y = x + 309. Is y composite?
False
Suppose -74607 = -16*z - 4703. Is z a prime number?
False
Let u = -18 - -18. Suppose u = 4*y - 4*v - 884, 2*y - 42 = 4*v + 400. Is y prime?
False
Suppose 52 = -2*d - 0*d. Let j = d - -23. Let t(h) = 64*h**2 - h + 2. Is t(j) composite?
True
Suppose 0 = -3*x - 1 - 14. Is (-787)/(((-2)/8)/(x/(-20))) composite?
False
Let h be -13 + 9 + -6 - -3. Let j(f) = -3*f**2 - 8*f + 3. Let d be j(5). Is 16/d - 2150/h a composite number?
False
Let u = -155 - 9. Let h(o) = -o**2 + 2*o - 2. Let g be h(2). Is -9 - -6 - (u + g) prime?
True
Is -4 + (1369 - 2) - 2 a prime number?
True
Suppose 87 = 4*h - 5*i - 292, 2*i = 5*h - 478. Let o = 185 - h. Suppose -o = -5*k - 4*l - 14, -4*k - 4*l + 56 = 0. Is k composite?
False
Let k = 4824 + 6023. Is k composite?
False
Let b be (-7)/((-21)/12)*-7. Let h = b + 33. Suppose -2*z = -h*c - 506 - 402, -4*z + c = -1798. Is z composite?
False
Suppose g + 2 = 4. Suppose -4*k + 2*q + 264 = -g*q, 3*k - 206 = -5*q. Is k prime?
True
Suppose -5*i - 4625 + 1115 = 0. Let z = -197 - i. Is z composite?
True
Is -2 + 16/10 + 944541/115 a composite number?
True
Let w = 1741 - 380. Is w prime?
True
Suppose 4*h + 3*v = -36 - 29, 2*h - v = -35. Let f = 21 + h. Suppose -333 = -4*y + 5*l + 725, 0 = -y - f*l + 275. Is y prime?
False
Suppose 5*v + 5 = 0, 5*v - 2*v + 4990 = d. Is d prime?
True
Let a(s) be the third derivative of -s**4/24 + 2*s**3 - 9*s**2. Let o be a(5). Let y(q) = -q**3 + 9*q**2 + 8*q + 3. Is y(o) a composite number?
False
Let u(j) = -7*j**2 + 15*j - 8. Let f(r) = 6*r**2 - 14*r + 7. Let m(w) = -6*f(w) - 5*u(w). Let s(t) be the first derivative of m(t). Is s(-6) prime?
False
Let u(q) = -7 + 16*q + 0*q - 9*q - q**2. Let z be u(5). Suppose -2*a = z*a - 2*t - 1543, 0 = 4*t + 16. Is a a prime number?
True
Suppose -13 = -3*k + 2*r + 2*r, 0 = -2*k + 5*r + 11. Suppose 4*g - 6624 = -p + 5*p, 4*g - k*p - 6623 = 0. Is g a composite number?
True
Suppose 3*x = r + 7375, 0*x = 5*x + 2*r - 12299. Is x a composite number?
False
Let w(r) = 56*r**2 + r + 12. Let c be w(-7). Suppose -5*d = -c + 864. Is d a prime number?
False
Let k be (1467/18)/((-1)/2). Let n = -63 - 23. Let h = n - k. Is h composite?
True
Let h be 0 + -194 - 3 - (-2 + 0). Let i = 446 + h. Is i composite?
False
Let x be (2 - 1)*-14*(-56 + -3). Suppose -2*p = -y + 681, 4*p + 3530 - x = 4*y. Is y a prime number?
False
Suppose 9*l - 4*l = -10. Is (l - (-1232)/(-12))*(-6)/4 a prime number?
True
Let s(m) = 3*m - 3. Let b be s(5). Let o(p) = 11*p - 2 + 20 - 6 + 11. Is o(b) composite?
True
Suppose l + 3 - 5 = g, -5*l + 2*g = -22. Let u be 0/(-2 + 5) - -2. Is l/4 - (-759)/u a prime number?
False
Is (-50)/2*(-16982)/70 composite?
True
Let w(c) = 153*c - 71. Is w(2) composite?
True
Let s be (-4 + -70)/(-1 + 325/327). Suppose s = 7*u - 15838. Is u a prime number?
False
Let j be (12/(-9))/((-2)/3). Suppose -2*p = -4*o - 2 - 8, -2*p = -10. Suppose -j*x + 28 + 16 = o. Is x prime?
False
Let n(k) = 60*k - 2 - 12 + 113*k. Is n(5) a composite number?
True
Let z(k) = -k**3 - 7*k**2 - 6*k + 6. Let s be z(-6). Suppose -2*l + x - 27 = -4*l, -3 = -x. Suppose s = 13*q - l*q. Is q composite?
True
Let h be (-49)/4*224/(-2). Suppose -4*y + h = 4*g, -2*g - 2*y = -7*y - 672. Is g composite?
True
Let q(d) = 147*d**2 + 7*d - 9. Is q(-5) prime?
True
Suppose 4*b + 4*z = -16 - 0, 5*z = -15. Suppose 6*i - 3*i - 8001 = 0. Is (b/(-3))/(7/i) prime?
True
Let k(a) = -8*a**2 - 15*a + 21. Let w(n) = n**2 + n - 1. Let s(h) = -k(h) - 6*w(h). Let x be s(11). Suppose -f - x = -3*f. Is f prime?
True
Let u = 16 - 16. Suppose u*y = y - 437. Let l = y - 114. Is l a composite number?
True
Let t = 10958 + -6631. Is t prime?
True
Let h(f) = 2*f**3 - 14*f**2 - 15*f + 22. Let l be h(9). Let k(q) = 23*q**2 - 3*q - 2. Let i be k(3). Suppose -3*c + 4*z = -l, z - i - 40 = -3*c. Is c composite?
True
Suppose -6*z - 14 + 8 = 0. Let d(c) = 93*c - 13. Let g(s) = -47*s + 6. Let j(w) = 4*d(w) + 9*g(w). Is j(z) composite?
False
Suppose -5*c + 4*q = -105315, 5*q - 8*q - 105310 = -5*c. Is c a prime number?
True
Let i(d) = d**3 + 5*d**2 + 4*d - 2. Let b be i(-4). Let r be 30*b*8/(-12). Is 24/r - 6404/(-10) a composite number?
False
Suppose 3*i + 4 = 2*s, -s + 0*s = -3*i + 1. Suppose 3 = i*f + f. Is 94 + f + -2 + 4 a composite number?
False
Let o = 13274 + -1537. Suppose -11*l + o = -0*l. Is l prime?
False
Suppose b + 72 = -2*l, -2*l + 82 = 4*b + 340. Let v = b - -509. Is v composite?
True
Let r(c) = 69*c + 8. Is r(1) prime?
False
Let f = 31 - 28. Suppose -2*s = -f*s + 557. Is s a prime number?
True
Suppose -68*a = -73*a + 42505. Is a a prime number?
True
Let u = -151 + 146. Let d(z) = 13*z**2 + 14*z - 2. Is d(u) composite?
True
Suppose 35*r + 613798 - 1766453 = 0. Is r comp