
True
Let m(c) = 3*c**2 + 12*c - 2. Is m(15) prime?
True
Let v(l) = -24*l - 56. Let r(f) = 47*f + 112. Let o(m) = 3*r(m) + 7*v(m). Is o(-19) prime?
True
Is (-551583)/(-39) - 20/130 composite?
False
Let m(d) be the third derivative of 89*d**4/12 - 37*d**3/6 + 13*d**2. Is m(15) a composite number?
False
Let r = 53 + 7. Let i = 18 - 15. Suppose i*a = -4*h - a + 64, -a = -3*h + r. Is h prime?
True
Suppose j + 0*j - 1 = 2*w, 3*j - 10 = -w. Suppose -4*r + m = -5036, -5036 = -4*r - m - j*m. Is r composite?
False
Suppose -508016 = -11*q + 859691. Is q composite?
False
Let m be (16/6)/2*(-101079)/66. Let r = m - -4171. Is r composite?
False
Is 6/8 + 7/(56/133298) composite?
True
Suppose 6*o = o + 15. Suppose -l + 0*t = o*t - 240, -t - 1184 = -5*l. Is l a prime number?
False
Let s = 1427 + -2238. Let y = -422 - s. Is y a prime number?
True
Suppose -6*d - 33 = -3*d. Let r(l) = -l**3 - 9*l**2 + 10*l + 6. Let k be r(d). Suppose 4 = -z - 0*z, k = f + 5*z. Is f composite?
True
Is (-30)/(-6)*10367/35 a composite number?
False
Suppose 4*g + 20 = 12. Is (-32)/(-14) + g + 4490/14 a composite number?
True
Is (11991 - (4 + -8))*11/5 a prime number?
False
Let t(i) = 2*i**3 - 4*i**2 + 5*i + 1. Let c be t(10). Suppose -6*k + c = 7*k. Is k a prime number?
True
Let s = -42580 + 76179. Is s composite?
False
Let z be (-2 - -6) + -1 + 0. Suppose -12 = 2*x - 5*x + 3*d, -z = d. Is x*81 - (-7 + 5) composite?
False
Let f(r) = -1778*r**3 + 2*r**2 - 13*r - 15. Let a(w) = 889*w**3 - w**2 + 7*w + 8. Let d(u) = 11*a(u) + 6*f(u). Is d(-1) composite?
True
Suppose 2*w = -2*j + 35552, 4*w - 5*j = 12873 + 58240. Is w a composite number?
True
Let s be (36 - (0 - 0))*(-1 - -13). Let i = s - -317. Is i a composite number?
True
Let u = 67705 + -26126. Is u prime?
True
Suppose -4*x + 2*b - 3 = -b, -5*x - 3*b + 30 = 0. Suppose x*a - 97 - 62 = 0. Is a a composite number?
False
Let j be (0 + (-42)/35)/((-2)/5). Suppose -3*d = 3*k - 801, -5*d + k = j*k - 1347. Is d prime?
True
Let g be (-100)/15 + (-1)/3. Let z be (-50)/(-15)*(g + -2). Let f = z - -123. Is f prime?
False
Let d(c) = -15*c**3 - 2*c**2 + 1. Let m be d(-1). Suppose m = 3*i - 13. Is i prime?
False
Let i = -3 - -9. Suppose 4*j + i = -d, 0 = -j - j - 2. Is (-233)/d*(-5 + 7) composite?
False
Suppose -5*z + 2*p - 10 = 0, -3*p + 25 = z + 2*p. Suppose 0 = j - 2*j + 2. Suppose z = -3*d - j*d + 2555. Is d a composite number?
True
Suppose -5*v - 548 = 217. Let p = 298 + v. Is p a prime number?
False
Suppose 12 + 6 = 6*w. Suppose w*b + 5*j - 3114 = -228, 4*j = b - 979. Is b prime?
True
Suppose 192*f = 191*f + 4. Let u be 0/(-1 + (-1 - 0)). Suppose 764 = f*d - u*d. Is d a prime number?
True
Let z be 4/3*(-108)/(-8). Suppose -5*f + 7 = -z. Let r(q) = 28*q**2 - 6*q + 7. Is r(f) composite?
False
Let a(h) = 1217*h**3 + 2*h**2 - 3*h + 1. Is a(1) a composite number?
False
Suppose a + x = -a - 10, -8 = a - x. Let f be ((-6)/(-18))/(1/a). Is f/(1/(373/(-2))) a composite number?
False
Let o(v) be the second derivative of -2*v**3/3 - 6*v**2 - v. Let g(k) = k - 1. Let h(q) = -22*g(q) + 2*o(q). Is h(-2) composite?
True
Let c(x) = x**3 - 54*x**2 + 63*x + 63. Is c(53) a composite number?
False
Let f(t) = -19*t**2 + 4*t**3 + 0 - 23 - 3*t - 10 - 2*t. Is f(10) prime?
True
Let k(t) = 158*t**2 + 20*t + 13. Is k(-10) a composite number?
True
Suppose 3*q = 16986 + 4341. Is q composite?
False
Let i(f) be the first derivative of 7*f**4 - f**3/3 + 3*f**2 - 9*f - 27. Is i(2) a composite number?
False
Suppose 5*x - 335 = -4*j, -5*j + 424 = 3*x - 2*x. Suppose -7*i + 2*i = j. Let r(b) = b**2 + 12*b + 4. Is r(i) a prime number?
True
Let a be 2 + -3 - (-1*2 - 1). Let s(m) = 148*m**2 - 5. Is s(a) a composite number?
False
Suppose 0 = -5*v + 3*l + l + 363, 0 = -5*v + 2*l + 369. Let d = v - 53. Is 10/8*2*d composite?
True
Let x = 26234 + -17373. Is x a composite number?
False
Is 4792/(-120)*3*-155 composite?
True
Let b(z) = -27*z**3 + 25*z**2 + 15*z - 20. Is b(-11) composite?
True
Suppose 3*q = 1688 + 6202. Let i be (q/(-15))/(4/(-30)). Suppose -n = -6*n + i. Is n a composite number?
False
Suppose 26*z - 14384 = 198426. Is z composite?
True
Let i be (-4)/6 + (-96)/(-36). Suppose 0 = -i*h + h + 55. Is h prime?
False
Suppose -3309 = 7*m - 10*m. Is m prime?
True
Suppose -3*u + 5*i = -2518, 0*u = -u + i + 840. Is u composite?
True
Let w = -34 + 176. Is w a composite number?
True
Let h(t) be the first derivative of t**2/2 + 5*t - 3. Let r be h(-2). Is (-4 + r)/(3/(-471)) composite?
False
Suppose 0 = 4*n - 2*t - 54098, -13520 = -126*n + 125*n - t. Is n composite?
False
Let d be (-4)/6 + 334/6. Suppose d + 326 = k. Is k a composite number?
True
Suppose -55 = 14*d - 9*d. Let q = 57 + d. Is q composite?
True
Suppose -7*v = 1425 - 4162. Suppose 0 = 4*k + s - 1343, -4*k + 3*s + 972 = -v. Is k a prime number?
True
Is 29259*(6 - (-371)/(-63))*3 a prime number?
False
Let f(r) = 8*r**2 - 9*r - 10. Let y(o) = -16*o**2 + 18*o + 19. Let g(l) = -7*f(l) - 4*y(l). Is g(5) a prime number?
True
Let m be -7084 - -2*(5 - 6). Is (28/(-6) + 4)/(4/m) prime?
True
Let u(x) = x + 7. Let h be u(-3). Suppose -h*j = 3*j - 1813. Is j a composite number?
True
Let v be 4/(-12) + (-114)/9. Let f(k) = -122*k - 1. Is f(v) composite?
True
Let u be 49/14 - 3/6. Let y be (-2)/(-3)*u/2. Let g = y + 9. Is g composite?
True
Suppose 4*y - 12 = -0*y. Is (2*177/(-12) + y)*-2 composite?
False
Let l = 26924 - -8367. Is l a prime number?
True
Suppose -w + 10416 + 29537 = 0. Let m = w - 28318. Is (-3)/(-2) - m/(-26) composite?
False
Let q(h) be the third derivative of h**6/120 + 2*h**5/15 - h**4/6 + 5*h**3/6 + 29*h**2. Is q(9) prime?
False
Let h = 3985 + -1806. Is h composite?
False
Suppose -4*q = -0 - 12. Suppose 0 = -q*x - 2015 + 515. Let l = -355 - x. Is l prime?
False
Suppose -3*s + 4*t + 26 = 0, 5*t + 20 = 5*s + 3*t. Suppose 0 = -s*o - 5*p + 2732, 5*o + 2*p - 1198 = 5611. Is o a composite number?
False
Let s(f) = -24*f - 33. Let c be s(-21). Suppose -9*n + 6*n + c = 0. Is n a prime number?
True
Let o(y) = -16*y**3 - 14*y**2 + y - 15. Let a be o(-12). Suppose -11*g + 58534 + a = 0. Is g composite?
False
Let q = -3662 + 21669. Is q a prime number?
False
Let l be 17824/6 + (-5)/((-15)/(-2)). Is l/12 + (-2)/4 prime?
False
Let o(l) = 18*l**3 + 9*l**2 - 23*l + 15. Is o(7) composite?
False
Let c(w) = w**3 + 11*w**2 - 1. Let q be c(-11). Let r be q/(6/(-5) - -1). Suppose r*p - 745 = -0*p. Is p composite?
False
Let v(k) = -3*k**3 - 4*k**2 + 4*k - 7591. Let r(d) = 2*d**3 + 2*d**2 - 2*d + 3796. Let i(s) = -5*r(s) - 3*v(s). Is i(0) a prime number?
True
Let h be (-2)/11 + 4/22. Suppose 0 = -5*p - 3*l + 6, 0*l = 5*p - l - 18. Suppose p*g + 2*g - 130 = h. Is g prime?
False
Is ((-1)/(-4))/(5/398980)*1 a prime number?
True
Let h(y) = -y + 14. Let r be h(6). Suppose -r*q + 0*q + 2032 = 0. Is q prime?
False
Let m be (12/(-15))/((-2)/60). Let j(n) = 2*n**2 + 7*n - 20. Let r be j(-9). Let d = r - m. Is d a composite number?
True
Let q(z) = 757*z + 387. Is q(11) a prime number?
False
Suppose -5*z - 4*q = -4*z - 1243, 4*z - q - 5040 = 0. Is z a prime number?
True
Suppose 2*v = 6*v - 20668. Is v prime?
True
Let x(l) = 80*l**2 - 18*l + 4. Let v be x(7). Suppose 5*p = -3*f + v, -f = -7*p + 2*p - 1286. Is f a composite number?
True
Suppose 4*i + 3*r - 6143 = 0, 13 - 9 = 4*r. Is i a composite number?
True
Suppose 16*u - 7691 - 67557 = 0. Is u composite?
False
Suppose 2*v - g = -47, 4*v + 99 = -3*g + 6*g. Let l = v + 30. Is (14/4)/(l/54) a prime number?
False
Let a(y) = -395*y**2 - 6*y + 2. Let p be a(5). Is (-4)/(-14) - p/7 a prime number?
False
Let b(g) = 126*g**2 - 49*g - 228. Is b(-14) prime?
False
Let m(b) = 89*b**2 + 24*b + 83. Is m(16) prime?
True
Let s(h) = h**3 - 2*h**2 + 2*h - 7. Suppose -4*v - 54 = -2*f, -4*v = -0*f - 3*f + 57. Let y be (v/(-5))/(10/25). Is s(y) composite?
False
Suppose -3*c - 4*g - 368 = 0, -5*c - 590 = -10*g + 5*g. Let f = -316 - -575. Let y = c + f. Is y composite?
False
Let m(g) = g**3 + 3*g**2. Let r be m(-2). Is (622/8 - 1)*r prime?
True
Let a(n) = -79*n**3 - n**2 + 1. Is a(-2) composite?
True
Suppose 0 = -5*p, 4*j - 3*j - 3*p = 3. Let i be -76 - 2/((-2)/j). Let z = 126 + i. Is z a prime number?
True
Suppose -2*r + 529 = 4*k + 3121, 5*k + 2*r = -3240. Let n = -1166 - k. Is 0/1 - -3 - n composite?
False
Suppose -5