True
Let i(b) = b**3 - b. Let t(m) = -5*m**3 + 19*m**2 - 12*m - 13. Let f(x) = -2*i(x) - t(x). Is f(9) a composite number?
False
Let w(p) = -166*p + 425. Is w(-17) a composite number?
True
Let u be 17/(-136) + (-2)/(-16). Suppose q - 359 - 22 = u. Is q prime?
False
Let f = -2098 - -7245. Is f a prime number?
True
Let s(i) be the second derivative of -i**5/20 - 2*i**4/3 + i**3/3 - 10*i**2 - 3*i. Suppose 2*w - 2 = 4*l, -4*w + 2*l = -2*l + 16. Is s(w) composite?
False
Let p be (-208)/20 - (-6)/(-10). Let k be p + -2 + (7 - 2). Is (7096/20)/(k/(-20)) prime?
True
Let t be 10/(-55) + 8672/22. Suppose -1988 = -5*b + o, -b + t = -0*b + o. Is b composite?
False
Let m be 0 + (0 - 1)*-4. Let i be ((-3820)/12)/(m/(-36)). Let c = i - 1976. Is c prime?
False
Let f be 1710/36 + 2/(-4). Suppose -46*v + f*v = 689. Is v prime?
False
Let h(q) = -4*q**3 + 2*q**2 + q - 1. Let p be h(-1). Is 804 + 6 - (p + -1) a composite number?
True
Let y(u) = 17*u**2 - u**3 + 13 - 5*u**2 + 2 - 10*u. Is y(10) a prime number?
False
Let l(j) = j. Let a be l(0). Suppose a = 4*p - 0*p + 96. Is (-8810)/(-14) + p/84 composite?
True
Suppose 0 = 2*b + b - 84. Let v = 37 - b. Suppose 3*y = 6*y - v, 2*t = -3*y + 71. Is t prime?
True
Suppose 12*y - 189230 = 2*y. Is y prime?
False
Let j(b) = b**2 + 6*b + 2. Let q be j(-6). Is (-4 + -6)*(-13)/q composite?
True
Suppose -18*n = -16*n - 20002. Is n a composite number?
True
Suppose 5*b = -42 + 37, -19400 = -3*z - b. Is z composite?
True
Let t = -32 + 35. Suppose 0 = -n - 3*u + 2822, n + t*u = -2*n + 8448. Is n a composite number?
True
Suppose -22*w - 42885 = -31*w. Is w a composite number?
True
Let k(c) = -29*c - 12. Is k(-11) composite?
False
Let x(g) = -46*g - 5. Let z be x(4). Let w = -116 - z. Suppose w = 2*p - 65. Is p a composite number?
True
Let u = -6761 + 10060. Is u composite?
False
Let i = 0 - -269. Let l = 622 - i. Is l a prime number?
True
Let w(g) = -8134*g - 85. Is w(-3) composite?
False
Let y(l) = l**3 + 26*l**2 + 16*l + 6. Let p(q) = -q**2 - 9*q + 33. Let x be p(-13). Is y(x) composite?
True
Let s be -3*((-3)/1)/(-9). Is -1*s/(-1)*-11863 a prime number?
True
Suppose 3*w - 2 = 13. Suppose 4*c + x - 1138 = -4*x, -w*c = -2*x - 1406. Suppose -4*a + 3*b + 389 = 0, 7*a - c = 4*a - b. Is a a composite number?
True
Suppose 120 = n - 4*n. Let f be (-4)/10 + (-136)/n. Let y = 56 + f. Is y prime?
True
Is -1 - (126625/(-10) + (-30)/(-12)) composite?
False
Suppose -10884 = -17*o + 5*o. Is o prime?
True
Suppose 7998 = d + 5*y, 14*d - 15*d = 4*y - 7997. Is d composite?
False
Let o(k) = k**3 - k**2 - 9*k + 1. Let r = 8 + -3. Suppose 5*d = -r + 35. Is o(d) composite?
False
Suppose 0 = -93*m + 108*m - 699765. Is m composite?
True
Let q(i) = -73*i - 12. Let d(r) = 37*r + 5. Let m(b) = 5*d(b) + 2*q(b). Suppose -4*x = -2*g + 5*g - 32, -2*g + 5*x = 17. Is m(g) prime?
True
Suppose -8*r + 1527 = -441. Let m = 617 - r. Is m a composite number?
True
Let b be -2 + 5 - (-3 - -2). Suppose b*x - 966 = -2*c + 160, x - 5*c = 265. Suppose n - 4*y - 357 - x = 0, 5*y = 4*n - 2559. Is n a composite number?
False
Let v = 50 + -51. Is (1 - v)/((-2)/(-1361)) a composite number?
False
Suppose 83 = -j + 3*r, -j - 80 - 15 = r. Let m be j/22 + (-2)/(-11). Is 130 + (12/m - 0) prime?
True
Let v(x) = 2*x**2 - 3*x + 3. Suppose 3*t + 4*h = 11, 2*h + h = -5*t + 33. Let u = t - 17. Is v(u) prime?
False
Suppose -c = -3925 - 18018. Is c a prime number?
True
Let c(g) = 8527*g - 182. Is c(7) composite?
True
Suppose -2*t - 4*z + 8070 = 0, 0 = 2*t + z - 5207 - 2869. Is t a composite number?
True
Suppose 2*q + 12290 = 2*b, 24578 = 5*b - b - 3*q. Is b a prime number?
True
Let r(i) = -1 + 3 + 4*i - 3*i. Let b be r(2). Suppose y - 86 = -y - 4*u, b*u + 19 = y. Is y composite?
True
Let f be (-6)/(-14) - 108/(-42). Suppose -a - 2710 = -r - f*r, 675 = r + a. Is r a prime number?
True
Let b(j) = -2*j - 28. Let l be b(-16). Suppose r + 2*t - 1534 = 5*t, 0 = 3*r - l*t - 4597. Is r composite?
False
Suppose 5*s - a = 430 + 8578, -2*s + 3605 = -a. Is s prime?
True
Is 1 - -6 - (-58 + -1332) a prime number?
False
Let c(g) = -7 + 16*g**2 + 4*g**2 + 6. Let m = 1 + -3. Is c(m) a composite number?
False
Suppose -34*m - 2*w + 95585 = -29*m, -3*w = m - 19117. Is m composite?
True
Let g(y) = -y**2 + 13*y - 19. Let h be g(11). Suppose -3*w = 2*l - 4*w - 2302, -h*w = l - 1151. Is l a composite number?
False
Let f be (-9)/(-27)*(0 + 2 + 10). Suppose i + f*g = -2*i + 653, 0 = 5*i - 3*g - 1127. Is i a composite number?
False
Let r(u) = -550*u + 17. Suppose 12*s = 5*s - 77. Is r(s) composite?
False
Suppose -5*g + 1347 = 2*k, -3*g + 536 = -g - 2*k. Suppose g = 3*v + 2. Is v a composite number?
False
Let w(y) = -4*y - 21. Let r be w(-6). Suppose r*k = -1676 + 659. Is k/(-2)*(-70)/(-15) a prime number?
False
Let d(i) = -i - 2. Let p(w) = -2*w**2 + 1. Let j be p(-2). Let g be d(j). Suppose g*q = 73 + 2272. Is q composite?
True
Suppose 7*w - 1 = 6*w. Is -3*(-472)/12*w prime?
False
Is 124 - 3/(9/15) a prime number?
False
Suppose -10*p - 8733 = -13*p. Is p composite?
True
Let h(u) = -u**3 - u**2 + u + 10. Let s be h(0). Suppose 0*d = -d + s. Suppose d = 5*t, t - 2*t - 842 = -4*a. Is a prime?
True
Let r = -18 + 20. Suppose -5*c + 433 + 204 = r*j, 124 = c - 3*j. Is c a composite number?
False
Let x = 446 + -32. Let n = -257 + x. Is n prime?
True
Let y(a) = -217*a**3 - a - 2. Let f be y(-1). Suppose -543 = -3*i + f. Is i a composite number?
True
Suppose 0 = -n - i - 2 + 27, 2*n + 4*i = 60. Suppose 3*q + q + 4 = 0. Let x = q + n. Is x prime?
True
Is (-1)/69*-6 - (-865010)/230 prime?
True
Let f be 879*9/(216/(-16)). Suppose 3*p = 4 - 1. Is (p - -2)*f/(-6) a composite number?
False
Let n(i) = -15*i**3 + 6*i**2 + 8*i - 4. Let g be n(-5). Let u = g + -1103. Is u prime?
False
Let r = -3808 - -6879. Is r a composite number?
True
Let q(k) = 8*k**3 + 9*k**2 - 27*k - 11. Is q(11) composite?
True
Suppose 0 = -2*z + 10, y - 112 - 206 = -5*z. Is y composite?
False
Let t be (2 + 3 + -2)*41182/3. Suppose 7783 + t = 5*a. Is a a prime number?
False
Let f be (-83)/(-4 - 9/(-3)). Suppose -2*b + f = g, b + 2 = -0. Is g a prime number?
False
Let s(l) = -l + 2. Let y be s(0). Suppose m - y*d - 1140 = 0, 2*m + 59 = 3*d + 2337. Is m/10 + (-18)/30 a composite number?
False
Let l(c) = 99*c - 4. Let h = 16 - 7. Is l(h) composite?
False
Let o(d) = 6*d**2 + 25*d + 1. Let q be o(-10). Let b = 760 - q. Is b a prime number?
True
Let k be (-204)/(-48) - (-2)/(-8). Suppose 30 = b + k*b. Suppose c = b*c - 1505. Is c a composite number?
True
Suppose h + 6 = 4*h. Suppose 0 = w - n + 5*n + 12, -h*n - 6 = 5*w. Suppose 0*t + 4*t + 4*c - 608 = w, -c = -2*t + 295. Is t composite?
False
Suppose -h - 2*h - 39 = 0. Let v(b) = -b**3 - 12*b**2 + 12*b - 11. Let a be v(h). Is ((-191)/(-2))/(1/a) a prime number?
True
Suppose -72*w = -37*w - 460495. Is w a prime number?
False
Let v be -4 + ((-18)/(-2))/(21/14). Suppose 0 = -v*k - 2*o + 318, 2*k - 298 = 4*o + 8. Is k a prime number?
True
Suppose 0 = -5*m - 68 + 83. Let w(j) = 163*j**2 + j - 5. Is w(m) a prime number?
False
Let t(h) be the first derivative of -h**4/4 + 7*h**3/3 - 3*h**2 - 6*h - 1. Is t(5) prime?
False
Suppose 0 = 4*m + n - 628123, 2*m + 48*n - 47*n = 314061. Is m composite?
True
Suppose -5*g + 2*g = -39. Suppose 5*k + 2840 = g*k. Is k a composite number?
True
Is 3*(-6 - (-26248)/24) composite?
True
Let l(f) = 52*f - 131. Is l(12) a prime number?
False
Let m(w) = -24*w - 9. Let z be m(-13). Let h be -137 + (3*-2 - (-2 - 1)). Let n = h + z. Is n a composite number?
False
Suppose -45470 = -5*m - 5*c, m + 4548 - 13657 = -4*c. Is m a prime number?
False
Let v(l) = 24*l - 9. Let h = -25 + 36. Let x = h + -4. Is v(x) prime?
False
Let n be ((-1)/(-3))/((-1)/3)*-23505. Suppose -8*u + 18583 = -n. Is u a prime number?
True
Let i(q) = -2*q - 16. Suppose -4 = -2*c + 3*u + 6, 5*c + 4*u = 25. Let h = -16 + c. Is i(h) a prime number?
False
Suppose 0 = 2*c - c + 3. Let g(x) = -8*x - 86. Let i be g(-10). Is 13*(c - i - -20) prime?
False
Let l be -4*((-3)/12 + 1). Let r(x) = -103*x + 10. Is r(l) prime?
False
Let b be -4*(4 + -1210)/1. Suppose -6*j + 1518 + b = 0. Is j a prime number?
False
Is 4 + 6497/6 + (-10)/(-60) a prime number?
True
Let d be (-2 + 1)/(4/(-12)). Let w(n) = -7*n + 4 + 4 - 8*n**2 - 3*n**d + 2*n - 3. Is 