s c composite?
False
Let l(j) = -31 + 31 + j**2. Let c(s) = -2*s**2 - 8*s + 9. Let g(a) = -c(a) + 2*l(a). Is g(5) composite?
False
Let d = 388 + -664. Let s = 165 + d. Is s/12*(-31 + 3) prime?
False
Suppose 4*u = 3*o + 6132 + 1175, 3*u + 3*o = 5454. Is u a prime number?
True
Suppose 0*v + 8 = v. Suppose 0 = 3*m + m + v. Is ((-4)/m - -38) + -3 prime?
True
Let l be 8/3*18/4. Let x = l - 10. Suppose 3*t + x*h - 105 = 0, 0 = -2*t + 2*h - 3*h + 70. Is t composite?
True
Suppose -9*n + 14*n - 270 = 0. Suppose n = -v + 7*v. Suppose -v*d + 5*d = -508. Is d a composite number?
False
Let x(b) = 4*b**2 + 8*b + 7. Let a = -9 - -11. Suppose a*z + 12 = -0. Is x(z) composite?
False
Suppose 3*a + 17 = 4*n + n, 2*n + a + 2 = 0. Let f = 68 - n. Is f prime?
True
Let q(f) = f**3 + 13*f**2 - 13*f + 20. Let b be q(-14). Suppose j = b*j - 265. Let t = 438 + j. Is t composite?
False
Let f(c) = c**2 + c. Let n(s) = 3*s**2 + 4*s + 1. Let j(i) = -2*f(i) + n(i). Suppose q + 4*b = 12, q + 0 = 4*b - 4. Is j(q) composite?
True
Let r be (-46)/(-8) - (-2)/8. Suppose -r*n + 0 = 12. Is n/4*-131*2 a composite number?
False
Suppose 21 = -9*i - 6. Let g(w) = 152*w**2 + 4*w + 7. Is g(i) a composite number?
True
Is (-15498)/(-46) - 20/(-230) composite?
False
Suppose -5*f - 8604 = -2*h + 14594, 0 = -h + 4*f + 11599. Is h a composite number?
True
Suppose 5757 = -0*y + 5*y + o, -y = 5*o - 1161. Is y a prime number?
True
Suppose -450*v = -464*v + 11732. Is v a composite number?
True
Let q(m) = m**3 + 3*m**2 - m. Let i be q(-3). Let t = 53 - 53. Suppose -3*v + 3*j = -774, -i*j = 3 - t. Is v prime?
True
Let j(i) = -i**3 - 34*i**2 - 65*i - 73. Is j(-44) a prime number?
True
Suppose 31*t - 84252 = 5555. Is t a composite number?
False
Let i be 6/(-9) - (-238)/6. Suppose 4*w = n - 2*n - 26, -5*w - i = -2*n. Let v(c) = -c**3 - 2*c**2 + 8*c + 5. Is v(w) a prime number?
False
Suppose 3*z - 29897 = -4*z. Is z composite?
False
Let n be -2 - (-1 + -2 - 0). Is 271 + n + (-2 - 3) prime?
False
Is 6/9 - 193338/(-54) a composite number?
False
Suppose -5*f - 511 = 2*k - 3498, -3*k = 2*f - 4453. Is k a prime number?
True
Suppose -2*g - 3219 = g. Let i = 65 - g. Is i composite?
True
Let n(o) = o**2 - 6*o + 5. Let p be n(4). Let u be 12/(p - 1) - -6. Suppose 0*i - 111 = -u*i. Is i a composite number?
False
Is ((-3)/6)/((-5)/13610) composite?
False
Suppose 5*j = 0, -5*v + 4*j + 14 = 4. Suppose 4*m = v*k - 242, 4*m = 2*k - 7*k + 675. Is k composite?
False
Let q be (-2)/4 + (-30)/(-4). Is 1003/q - (-6)/(-21) composite?
True
Let n = 0 + 1. Suppose 2*h + n - 23 = 4*t, -h = -5*t - 20. Suppose -h*c = -c - 532. Is c prime?
False
Let u = -5 + 1. Let f be (0 + 1)/(u/(-8)). Suppose f*y = 81 - 7. Is y prime?
True
Let w be (-12)/18 + (-16)/(-6). Suppose -6*m = -w*m - 2368. Let k = m + -177. Is k composite?
True
Is (-6)/(18/(-110613))*1 a prime number?
True
Let c(i) = -i**2 + 7*i - 2. Let j be c(6). Suppose -4*u + 2*n = 16, 4*u + 24 - j = 3*n. Is -293*(-4 - 6/u) prime?
True
Suppose -c - 5*h = -41199, 5*c = 9*h - 6*h + 206107. Is c prime?
False
Let t(g) = -g**2 + 2*g - 5. Let i be t(2). Is 2 + 53*(-5)/i a prime number?
False
Let m = 65321 + -32484. Is m a composite number?
True
Let w(c) = -3*c**2 - 4*c**2 + 403*c**3 + 2 + 447*c**3 + 6*c**2. Is w(1) a composite number?
True
Let l be 26438/3 + (-20)/30. Is l/6*48/32 a prime number?
True
Let p(t) = -2*t + 3. Let n be p(0). Suppose 4*h = -n*i + h + 11271, -3*i + 11291 = -2*h. Is i a prime number?
True
Suppose -44*j + 1462846 = 346610. Is j prime?
False
Let q(w) = 547*w**2 + 23*w + 17. Is q(-5) a prime number?
True
Suppose -275 - 364 = -3*k. Let i = k - 64. Is i a composite number?
False
Let w = 741 + 166. Is w composite?
False
Suppose 6471 = -0*m + 3*m + 3*u, 3*m = -2*u + 6469. Is m prime?
False
Suppose z - 1 - 9 = 0. Suppose 0*y - 4*c = -3*y - z, y - 18 = -4*c. Suppose 0 = -5*t - y*i + 1773, 1051 = 3*t + 4*i - 6*i. Is t composite?
False
Let s(z) = 13901*z**3 - z**2 - 38*z + 39. Is s(1) a prime number?
True
Suppose 5*i = 4*f + 3407, -2701 = 9*i - 13*i - 5*f. Is i a prime number?
False
Let g = 26 + -30. Is (-2 - 0)/g*(-1 + 69) a prime number?
False
Is ((-82057)/(-62))/(1/6) a prime number?
False
Suppose 0*b - 3*b + 3783 = 3*q, -2*b + 2510 = -4*q. Is b prime?
True
Let k(c) = -c**3 - 7*c**2 + 2*c - 13. Let g = 58 + -38. Let q = g + -29. Is k(q) prime?
True
Suppose 0 = -m - 4, f - 3*m - 6 = -2*f. Let u = f + 9. Suppose u*r - 255 = 2*r. Is r prime?
False
Let q = -27 + 42. Suppose -9 = 2*p + p, -5*p - q = -5*z. Suppose 3*j - 291 - 732 = z. Is j prime?
False
Let u = 9395 + -4414. Is u a composite number?
True
Suppose 10*v - 612 = 6878. Is v prime?
False
Suppose -2*v = 3*v + 8510. Let p be v/(-8) - 21/28. Suppose p = y + 3*y. Is y prime?
True
Let r(b) = 26*b**2 - 14*b - 65. Is r(-5) composite?
True
Let y be 12 - -1 - 2 - 1. Suppose w - 8 = -y. Is ((-3)/6)/(w/28) a prime number?
True
Let d be -2 + (1119*-1)/(-1). Suppose 2*i + 289 + d = 0. Let o = -480 - i. Is o composite?
False
Is 4 + 0 - (-1 + 2 - 1210) a composite number?
False
Let h = 13143 + -6854. Is h composite?
True
Let s(u) = 3*u**2 + 3*u + 37. Is s(-15) a prime number?
False
Suppose -4*r = -3*r. Let o = r + 12. Let z(b) = 7*b + 13. Is z(o) composite?
False
Let u(f) = f**3 + 18*f**2 - 18*f + 22. Let q be u(-19). Suppose 0 = -q*y + 17 + 124. Suppose 2*o + 5 - y = 0. Is o a prime number?
False
Let b be 10/20 - (-1)/(-2). Suppose b = -2*h + 3*h - 21. Let j = 230 + h. Is j a composite number?
False
Suppose -2*q - 2680 = -7*q. Suppose 0 = -8*h + 3*h + 15. Suppose q = h*a - 343. Is a a prime number?
True
Let p(m) = 5 - 2 - 4*m**2 + 4*m**2 + m**2 + 12*m. Let n be p(-12). Suppose -n*d + 138 = -0. Is d a prime number?
False
Let a = 7 - 4. Let f be ((-16)/(-6))/(a/9). Is -2*(-2)/(f/4666) a prime number?
True
Let d be (-2632)/(-70) - (-2)/5. Suppose -34*q + d*q = 556. Is q a prime number?
True
Suppose -45*y + 2*y = -119239. Is y composite?
True
Let w(c) = 100*c - 239. Is w(40) composite?
False
Suppose -23920 - 1650 = -10*o. Is o a composite number?
False
Let j = 15 + 5. Suppose -o = -4*v + 7*v - 10, 0 = -4*o - j. Suppose v*a - 443 = -3*n, a = -0*a - 3*n + 79. Is a prime?
False
Is (-64884)/(-12)*(5 - 4) prime?
True
Suppose k + 2*n - 5139 = 0, 0 = -2*k + 5*n + 6021 + 4212. Is k a composite number?
True
Let i = -33 + 41. Is 2*(1924/i - 1) prime?
True
Let m(u) = -u**3 - 10*u**2 + 15*u - 11. Is m(-17) a composite number?
True
Let d(f) = 2*f + 2. Let s be d(-3). Let c be -3 - 1 - (5 + -7). Is (2453/22)/(c/s) a composite number?
False
Let q = -93 + 315. Suppose 5*s - 131 = u - 3*u, -q = -4*u - 2*s. Let h = u - 31. Is h composite?
True
Let d(p) = -12*p - 56. Let m be d(-5). Is (9/(-6) - -1) + 150/m composite?
False
Let g(f) = 3*f**2 - 21*f**3 + f**2 + 23*f**3 - f**2 + 2 - 4*f. Is g(5) a composite number?
False
Let z(g) = 1264*g**2 - 2*g - 1. Let b be z(-1). Suppose -5*d - 4*n + 3*n = -b, -3*n + 506 = 2*d. Is d a composite number?
True
Suppose -2252 + 11516 = 2*f. Suppose k = 4*c - f + 956, k - 919 = -c. Is c a composite number?
False
Suppose -4*r + 13*s - 18*s + 21388 = 0, 21388 = 4*r - 4*s. Is r composite?
False
Suppose 53*r - 11909 - 1235870 = 0. Is r prime?
False
Let f(h) = 10*h**2 - 5. Let s(z) = z - 8. Let g be s(4). Is f(g) a composite number?
True
Let a be -2 - (-1293)/(0 + 3). Let x = a + -134. Is x a prime number?
False
Suppose 0 = 5*r + 4*f - 49843, -5*r + 33077 + 16748 = -5*f. Is r a prime number?
True
Let j = -5063 - -3216. Let h = -224 - j. Is h a composite number?
True
Let b be (-871)/(-5) - (14/(-5) - -3). Let y = b + 347. Is y prime?
True
Let b be (-13)/((-1)/2*(5 + -3)). Suppose b*f = f + 9444. Is f prime?
True
Let t = 9 + -10. Let w = t + 0. Let r(k) = -150*k - 1. Is r(w) a prime number?
True
Let t be 3/(3/696*6). Suppose 29 = o - t. Is o composite?
True
Let p = 13 + 4. Suppose p*q + 948 = 21*q. Is q a prime number?
False
Suppose -w = 3*g - 14, -2 + 8 = 3*g - 3*w. Suppose 2*o = g*o - 32. Is 1452/o - (-3)/12 a prime number?
False
Let o(h) = 16*h**3 + 3*h**2 - 5*h. Let x be o(-4). Let a = x - -1507. Is a prime?
False
Let k(h) = h**3 + 41*h**2 + 49*h - 136. Is k(-37) prime?
True
Let x be (1 + 2)/(-9 - -10). Suppose -o - 6 = -x*o. Suppose 4*j + 3*z = 2048, -o*j = 4*z - 2*z - 1535. Is j composite?
False
Suppose 4*k = -5*t + 444