number?
True
Let q(n) = -n**3 - 3*n**2 + 4. Let o be q(-3). Suppose -o*j + 23 = -133. Let i = 88 - j. Is i prime?
False
Suppose -3275 = -9*l + 4*l - 3*r, -4*l = 5*r - 2607. Suppose -3*o - l = -3*p + 341, -4*o - 16 = 0. Is p a composite number?
True
Suppose 0 = 10*b - 912 - 73098. Is b a prime number?
False
Suppose -3*d + 2*d + 4 = 0. Suppose -d*j = -5*j. Suppose -501 = -4*t - 5*a, 342 = -j*t + 3*t - 3*a. Is t prime?
False
Let w(f) = 35*f**2 - 6*f - 9. Is w(8) a prime number?
False
Let w = 155202 + -109865. Is w prime?
True
Let o = -291 - -967. Let r = o + -450. Is r prime?
False
Suppose 7*f = -12*f + 1974119. Is f composite?
True
Let i = -98 + 4. Is i/(1 - 14/10) prime?
False
Let b be (6 - -2)*-1*(-2 - -21). Let q = b - -375. Is q a composite number?
False
Let m(r) = 68*r**2 - 40*r - 191. Is m(-8) prime?
True
Let z be (6 - 1)*(-6)/(-15). Suppose z*k = 5*k - 99. Is k composite?
True
Let u = 1423 + -756. Is u prime?
False
Suppose 0 = -82*d + 85*d - 3, 2*d = 3*l - 29551. Is l a composite number?
False
Is 1015028/196 - 4/(-14) a prime number?
True
Let c(h) = 3983*h - 27. Is c(4) composite?
True
Suppose 12*d - 110 = 2*d. Is -1 - -1821 - (8 - d) composite?
False
Suppose -2*d - 673 = -4125. Suppose -19*i = 13 - 51. Suppose -912 = -i*p + d. Is p a prime number?
True
Let b(f) = f**2 - f - 4. Let a be b(3). Suppose 3 = 3*z, 5*v - 2*v - 7 = a*z. Is 0 + 0 - (-651)/v composite?
True
Let r = 31 + 0. Let z = r + -40. Let y(q) = -3*q + 8. Is y(z) prime?
False
Let a(m) = -274*m + 49. Is a(-6) a prime number?
True
Let a(h) = 1114*h**2 - 2*h - 5. Is a(-1) prime?
False
Let t be (-1709)/(((-5)/(-15))/(-1)). Suppose 3*k = 6081 + t. Suppose 6*a + 2*a = k. Is a prime?
True
Suppose -9 + 134 = -5*k. Let l(f) = -30*f. Let y be l(-2). Let x = y + k. Is x a prime number?
False
Let b = 3 + -8. Let h(f) = f**2 - 2*f - 6. Let q be h(-6). Let d = b + q. Is d a prime number?
True
Suppose -4*d + 36*z = 33*z - 99736, -2*d + 49878 = z. Is d a composite number?
True
Suppose 5*r - 323 = 4*r. Suppose 11 - 1 = 5*l. Suppose -l*c - 57 + r = 0. Is c a prime number?
False
Suppose -2*a - 5*c = -2778, -18*a - 3*c + 1387 = -17*a. Is a composite?
False
Let b(l) = l**3 - 4*l**2 - 6*l - 2. Let x be b(-4). Let z(j) = -20*j + 3. Let h be z(-5). Let f = h - x. Is f a prime number?
False
Let k be 4/6 - (-50)/15. Suppose 1814 = k*o - 6830. Is o prime?
True
Let g = -880 + 6213. Is g prime?
True
Suppose -870 = -4*h - h. Suppose 3*y = 2*y + h. Is (y/6)/((-2)/(-10)) a composite number?
True
Suppose 3*f - 5*x = 1557, 5*x - 163 = -f + 356. Let k = f + -332. Is k a composite number?
True
Suppose 3*i + b - 11 = 0, -2*i + 9 = -4*b + 3*b. Let x(j) be the third derivative of j**6/12 - j**5/15 + j**4/8 - j**3/3 - 3*j**2. Is x(i) composite?
True
Suppose -48 = -h - 2*h + 3*j, 5*h - j = 72. Suppose -10*v - 1324 = -h*v. Is v prime?
True
Suppose 26608 = 5*u - 777. Let n = u - -1302. Is n a composite number?
False
Let u be -286 - 1/(-2 + 1). Let s = u + 429. Suppose 2*a - 4*b - 414 = 0, a - 4*b = s + 59. Is a a composite number?
False
Suppose -1 = 5*h + 14. Let p be 6*((-11)/h + -3). Suppose -5*w + 3*w + 702 = -4*l, 0 = 3*w + p*l - 1063. Is w a prime number?
True
Let n = -1135 + 2877. Suppose 0 = -5*p - n + 22007. Suppose 0 = 6*q - 3*q - p. Is q a composite number?
True
Let s(r) = r**3 + 10*r**2 + r + 9. Let v be s(-10). Is 671 - (1/(-2) - v)*-4 composite?
False
Suppose -36*g + 33*g = -12. Suppose 3*a - 103 = g*f + 248, -9 = -3*f. Is a prime?
False
Suppose 0*x + 2*x - 128 = 0. Suppose -5*g + 1214 = x. Suppose 32*o - 34*o + g = 0. Is o prime?
False
Let d(w) = -w**3 + 6*w**2 + 8*w - 1. Let s be d(7). Let h be 1 + s + 3 - 4. Is (9 - 6)*242/h a composite number?
True
Let z be (-1)/((5/15)/1). Is ((-18)/(-4) + z)*46 prime?
False
Suppose 7*z - 2900 = 5*z. Let i = z + -801. Is i composite?
True
Let k = -65 - -255. Let n = k - 30. Suppose -n = -c + 63. Is c a prime number?
True
Let v(y) = -y**2 - 5*y + 8. Let f be v(-8). Let h = f - -16. Suppose 4*b - 2*b + 225 = g, h = g - 5*b - 237. Is g composite?
True
Let m(v) = 1347*v + 73. Is m(4) a prime number?
False
Let l = -77 - -82. Suppose -4863 - 8552 = -l*w. Is w a prime number?
True
Let k = 24402 + -3925. Is k a composite number?
False
Let v = 88 + -45. Suppose 3*r - 21 = 87. Let g = v + r. Is g prime?
True
Let j = 26612 + -10279. Is j composite?
False
Let s = 12 + -3. Let v be -1*(-1047)/(s/(-3)). Is (0 - v) + 1*-2 a composite number?
False
Let p(t) be the first derivative of 114*t**3 - t**2/2 - 2*t - 8. Is p(-1) a prime number?
False
Let l be 454/18 + (-6)/27. Is (11 + l/(-5))*(-79)/(-2) composite?
True
Let v(z) be the third derivative of 13*z**5/30 - z**4/24 - 5*z**2. Let n be v(1). Is (211/5)/(5/n) prime?
True
Suppose -18*s = -2*s - 148976. Is s prime?
True
Suppose 3*s - 5*b = -14, -3*b + 0*b + 12 = 0. Suppose s*i = -2*i - 4, 0 = a - i - 2498. Is a a prime number?
False
Let l = -320 - -167. Let d = l + 328. Suppose 8*h + d = 3*q + 3*h, -150 = -2*q - 5*h. Is q composite?
True
Suppose -3*w + 2*z + 503 + 290 = 0, -z = -1. Suppose -88 = -2*n - g + 90, -g = 3*n - w. Is n a prime number?
False
Let w = 11 - 9. Suppose m - 927 = -2*m + w*f, 3*f = -5*m + 1526. Is m prime?
True
Let m = -8639 + 14620. Is m a prime number?
True
Let d(r) = -1739*r + 111. Is d(-2) composite?
True
Suppose 4*y = -138 - 38. Let h be 3*(-2 - y/12). Suppose 2*b + 0*c = -h*c + 412, -4*c + 410 = 2*b. Is b a composite number?
True
Let z(f) = f + 11. Let k be z(-9). Is 1286/4 - k/4 a prime number?
False
Let f = 3927 + -1610. Is f a composite number?
True
Suppose 6 = 2*h + 10, -h = 3*l - 8680. Is l composite?
True
Is (-6)/(-2)*(67596/36 + 2) composite?
False
Let u = -7896 + 31165. Is u prime?
True
Let r(s) = s**3 + 7*s**2 + s + 9. Let m be r(-7). Suppose 4*t - 2*i = -48, -t + m*t = i - 12. Is -777*(-4)/t*-1 a composite number?
True
Let f(y) = -y**2 + 7*y + 11. Let t be f(8). Let j be (205/t)/((-4)/(-24)). Is j/2*(-8)/(-20) composite?
True
Let q(p) = -p**2 - 6*p - 6. Let o be q(-6). Let a be (-48896)/32*(-5)/(-4). Is (a/(-30))/((-2)/o) a composite number?
False
Let s be 3/30*5*8. Suppose -y + 5*y = s*j + 2632, 661 = y + 2*j. Is y a composite number?
False
Is -443*((-2)/10)/(2/10) prime?
True
Let x = 14 + -9. Suppose 0 = x*z - 2*q - 1037, 4*z + 2*q - 852 = -2*q. Suppose 3*v - 151 = -o, -v - 107 = -2*o + z. Is o a prime number?
True
Suppose -3*a - 11 + 23 = 0. Is (-12978)/(-24)*1 - (-1)/a a prime number?
True
Suppose 4*l = 3*y - 6302, 4644 = 5*y + 5*l - 5801. Suppose 5*a - 7*a = y. Let t = a - -1484. Is t a composite number?
True
Let n be (-6)/21 + (2 - 167374/(-14)). Suppose -2*f - n = -13*f. Is f composite?
False
Let o(s) = -3*s**2 + 31*s + 5. Let v(r) = r**2 - 10*r - 2. Let p(y) = 2*o(y) + 7*v(y). Let b(n) = n - 1. Let u(w) = 5*b(w) + p(w). Is u(7) a composite number?
False
Suppose 12*k = 6*k + 12. Suppose -k*q + 566 + 836 = 0. Is q composite?
False
Let i(x) = 4*x**3 - 24*x + 1 - 3 + 11. Is i(7) composite?
False
Let u(a) = 3093*a**2 - 68*a - 502. Is u(-7) a prime number?
True
Suppose -812 = -5*q + 668. Suppose -2*o - 3*f + 225 + 370 = 0, 0 = o + f - q. Is o prime?
True
Let k = 37 + -27. Let a(d) = 7*d + 13. Let s be a(k). Let t = 150 - s. Is t a prime number?
True
Let i be (3/6)/(2/(-204)). Let z = 32 + i. Let p = 2 - z. Is p composite?
True
Let m be ((-5)/((-10)/8))/((-24)/(-28284)). Suppose a + m = 3*a. Is a composite?
False
Suppose -2*n = -2*v + 1 - 11, v - 4*n = -17. Let t(x) = 318*x**2 + 2*x + 1. Is t(v) composite?
False
Let x(l) = -31*l**2 - 3*l + 21. Let n(t) = -16*t**2 - t + 11. Let f(d) = -5*n(d) + 2*x(d). Is f(-6) composite?
False
Suppose -5082 + 315 = -3*o. Is o composite?
True
Suppose -4*x + 4*u = -8, 2*x = -5*u + 1 + 10. Suppose 5*n - 5695 = -5*r, 3*n - x*r = 3692 - 275. Is n a prime number?
False
Suppose -4*v = -2*f + 4512, -3*f + 11306 = 2*f + 3*v. Let c = 3447 - f. Is c composite?
False
Suppose 0 = a - 2*n - 155, -n - 757 = -0*a - 5*a. Let t = a + -56. Is t a composite number?
True
Let l be (-4)/3*((-18)/4 + 3). Suppose -v - w = -4516, v - 5*v - l*w = -18054. Is v a prime number?
False
Let a = 412 - 221. Is a composite?
False
Let u(j) = j**3 - 12*j**2 + 18*j - 15. Suppose 23*n = 24*n - 20. Is u(n) composite?
True
Let h(v) = 7*v + 31. Let x be h(-5). Is x/10 + (-3)/(30/(-3274)) a prime number