False
Let o = -9 - -14. Suppose 817 = 2*b + o*k - 6*k, -3*k - 2042 = -5*b. Is b a prime number?
True
Suppose 5*v + 5*x = 293190, -2*v + 2*x = -5*v + 175915. Is v a composite number?
True
Suppose 0 = 11*q - 10558 - 42055. Is q prime?
True
Let o be (-5)/((-627)/(-315) - 2). Suppose -3*m = 2*m - o. Suppose -k - m = -6*k. Is k composite?
True
Suppose 3*f - f - 30 = -2*i, -f - 3*i + 25 = 0. Let c(y) = -y**3 + 12*y**2 - 13*y + 8. Let a be c(f). Suppose n = -n + a. Is n a prime number?
False
Let h(b) be the first derivative of -51*b**2/2 + b + 19. Let f be (16/(-12))/((-6)/(-27)). Is h(f) a prime number?
True
Let w be 1686/14 + (-60)/(-105). Let s = w + -83. Is s a prime number?
False
Let v be 3 - -1 - (1 + -2). Suppose 1974 = -v*a - 3906. Let l = 1697 + a. Is l prime?
True
Let z(r) = 892*r + 1. Is z(13) prime?
True
Let z be 20/3*12/5. Let c(k) = -4*k**2 + 7*k - 12. Let y be c(3). Let n = z - y. Is n prime?
True
Suppose -4935 - 5310 = -5*v. Suppose -3*d = -5*n - 2*d - v, n - d + 413 = 0. Let h = n + 704. Is h composite?
True
Let a(p) = 8*p - 11*p + 2 + 0 + 7*p**2. Let n be a(1). Suppose n*i - 7035 = 27. Is i a composite number?
True
Let s(b) = -13*b**3 - 4*b**2 - 7*b + 1. Is s(-5) a composite number?
True
Let v(g) = -14*g - 3. Let s be v(-1). Suppose 2*w - 5*r - 29 = 0, -3*r = -0*w + 2*w + s. Is (1220/2)/w - -2 a composite number?
False
Let h = -33 + 37. Let z(q) = 74*q - 7. Is z(h) a prime number?
False
Suppose 36*b = 31*b + 52705. Is b composite?
True
Let u = -113 - -479. Let r = -172 + u. Is r prime?
False
Let d(w) = 16*w**2 + 7*w - 7. Suppose 43 + 29 = -6*f. Let s be -1*-15*4/f. Is d(s) composite?
True
Let u = 33036 + -4523. Is u a prime number?
True
Is 41/(39/74 + 3/(-6)) prime?
False
Let j(q) = 743*q**3 + q**2 - 3*q + 1. Let a be j(1). Let h = a + -405. Is h a prime number?
True
Let m(v) = 53*v**2 - 14*v - 16. Is m(-5) composite?
True
Suppose -r - 2*i = -3, -2*r - 2*i - 12 = -4*r. Suppose 4*j = r*c - 1059, j + 342 = 4*c - 514. Is c a composite number?
True
Let i(p) = -p**3 + 3*p**2 + 6*p - 3. Let o be i(4). Suppose -o*y = -587 - 18. Is y composite?
True
Let y(u) = 19*u**2 + 6*u - 1. Is y(-6) prime?
True
Suppose -12*j = -15*j - 3. Let x be j/(-1 + 16/20). Let z(a) = 16*a - 6. Is z(x) a composite number?
True
Let t be (3/(-3)*-4)/(-1 - 1). Suppose 2*p = 7*p + 4*x + 6, 5*x = 2*p - 24. Is -2*(123/t - p) composite?
False
Let b(g) be the third derivative of -g**6/60 + g**5/10 + 7*g**4/24 - 7*g**3/6 + 17*g**2. Is b(-8) a prime number?
False
Let c = 4 - 58. Let s be (-4)/(9/(c/4)). Suppose -275 = u - s*u. Is u a prime number?
False
Let p(j) = j**3 - 9*j**2 + 5*j + 18. Let a be p(8). Let v(x) = -270*x + 37. Is v(a) a composite number?
False
Let m be (-4 - -3)/(1/(-362)). Let y = 988 - m. Suppose 0 = 5*c - 3*c + 3*w - 263, -5*c + y = -3*w. Is c composite?
False
Let d(f) = 62*f - 58. Let y(c) = 63*c - 59. Let b(o) = -6*d(o) + 7*y(o). Is b(14) prime?
False
Suppose 4*v + 337 = 3*p, 0 = 5*p + 7*v - 3*v - 551. Suppose -3*b = 3*y - p, 0 = 5*y + 4*b - 234 + 49. Is y prime?
True
Let d = 1395 + 7268. Is d composite?
False
Let t = -12 + 14. Suppose 2*g = 2*b - b - 1759, 2*g + 3518 = t*b. Is b a prime number?
True
Let t be 5 + (-10 - (-8 - -5)). Let b(l) = 520*l**2 + 4*l + 1. Is b(t) a prime number?
False
Let o = 55 - -160. Let m = -518 + o. Let p = m + 452. Is p prime?
True
Suppose -r + 5*c = r - 433985, 4*c = -12. Is r a prime number?
False
Suppose 5*h + 4*z - 2171 = 4*h, h = 4*z + 2187. Is h composite?
False
Suppose -16*f + 47498 = 18*f. Is f a prime number?
False
Suppose -3*z + 1220 = 2*z. Let t = 1605 - z. Is t a prime number?
True
Let o = -48 + 56. Is (o/(-12))/((-8)/6132) prime?
False
Let t(a) = 29*a**2 - 13*a - 97. Is t(-10) prime?
False
Let n(l) = 5*l**2 + 9*l - 11. Let z be n(8). Suppose -5*g - g + 24 = 0. Suppose -z = -3*s - 0*q + q, 0 = g*q. Is s prime?
True
Suppose 22 = 2*h + 6. Suppose 0*b = 2*b - h. Let w = b + 7. Is w a composite number?
False
Let i(l) = -1020*l**3 - 4*l + 3. Suppose 10*w = 15*w + 10. Let t(g) = -510*g**3 - 2*g + 1. Let r(a) = w*i(a) + 5*t(a). Is r(-1) prime?
False
Let j(n) = -n + 2*n + 4*n**2 + 0 + 0*n + 11. Is j(4) composite?
False
Suppose 12*d - 156264 = 9*d. Let t be d/104 + 4/26. Suppose 3*n - 6*n + t = 0. Is n composite?
False
Let g(n) = -n**2 - 9*n + 2. Let k be g(-10). Is (-4)/k*(2/2 - -15357) a composite number?
True
Let b(a) = a + 2. Let q be 1/(-1 - 4/(-8)). Let h be b(q). Suppose -s + 111 = -h*s. Is s a composite number?
True
Let d be 1538/8*1*8. Suppose -7*q + d = -44. Is q a composite number?
True
Let i(j) = 2*j**3 - 14*j**2 + 8*j - 25. Let n be 1023/99 - (-4)/6. Is i(n) prime?
True
Suppose 18*b - 20078 = -2*y + 22*b, y - b = 10036. Is y a prime number?
False
Let c be (1 + -33)*(11 - 15). Let l = c - -12. Suppose s - l = 3*p, -3*p - 63 = s - 221. Is s prime?
True
Let z(o) = 35*o + 74. Is z(3) composite?
False
Is (-8)/(-32)*20 - (-715 + 1) composite?
False
Let g(u) = 7*u**2 + 7*u - 5. Let i(x) = 8*x**2 + 6*x - 4. Let j(y) = -5*g(y) + 6*i(y). Let c(d) be the first derivative of j(d). Is c(5) prime?
True
Suppose 3*w = -w - 2*o + 58568, -2*w + 29272 = -2*o. Let j be 1/(1/15*3). Is 1/j - w/(-50) a composite number?
False
Let g = -1 + 1. Suppose -13 - 33 = -h - z, h + 3*z - 48 = g. Suppose 0 = -c + h + 98. Is c a composite number?
True
Let w = -73846 - -148997. Is w a prime number?
False
Is ((-393573)/(-3) - 2)*(-15)/(-15) composite?
True
Suppose 84 + 223 = g + 3*w, g + w = 309. Let z be (0 - 1) + (-100 - -2). Let r = g + z. Is r prime?
True
Suppose 215*i - 200*i - 79095 = 0. Is i composite?
False
Let r be (2*4)/(2/1) - 0. Suppose -1934 = -r*j - 3*y, -4*y = -5*j + 50 + 2383. Is j a prime number?
False
Let u(s) = -s. Let y(p) = 18*p**2 + 3*p - 3. Suppose -6 = 2*k, -3*k - 15 + 3 = 3*i. Let h(f) = i*u(f) + y(f). Is h(2) composite?
True
Suppose -1064*l - 41930 = -1074*l. Is l composite?
True
Let z(p) = -106*p**3 + p + 1. Let c(v) = -v**3 + 8*v**2 - v + 6. Let w be c(8). Let k be w*(0 + (-3)/(-6)). Is z(k) prime?
False
Let l(o) = 4*o - 26. Let h(t) = t - 9. Let b(d) = 8*h(d) - 3*l(d). Is b(-4) composite?
True
Let s(z) = -36*z**3 - 2*z**2 - z + 2. Suppose 52 - 2 = -5*a. Let i be (-16)/5 + (-2)/a. Is s(i) a prime number?
False
Let d(m) = -m**3 - 24*m**2 - 55*m + 31. Is d(-26) prime?
False
Is (4/(-6))/(6/119619*-1) prime?
True
Let c(n) = -9*n**2 + 8*n + 2. Let r(f) = -17*f**2 + 15*f + 3. Let u(s) = 5*c(s) - 3*r(s). Suppose 4*k - 20 = -4. Is u(k) prime?
False
Suppose 2*w + 0*m - 4*m = 15138, -3*m - 15 = 0. Is w a composite number?
False
Let g(p) = p**3 - 7*p**2 - 13*p + 50. Is g(12) a prime number?
False
Let b = -7661 + 22958. Is b composite?
True
Let o(h) = -h**3 + 4*h**2 - 3*h - 13. Suppose 5*s + 3*u = -58, 5*s + 42 = u - 12. Is o(s) composite?
True
Let v(d) = -d**2 + 5*d + 39. Let i be v(9). Let b(o) = -o**2 - 5*o - 2. Let g be b(-2). Suppose g*j - 376 = 3*m, -i*j - 5*m + 188 = -j. Is j prime?
False
Let k be (-20)/(1 + -6) + 4105. Suppose -3*o + k + 520 = 0. Is o composite?
False
Is (-2 - (1 + -200))/(2/26) prime?
False
Let t(a) = 2*a**3 + 3*a**2 + 15*a + 11. Let w(z) = z**3 + z**2 + 7*z + 6. Let j(o) = -3*t(o) + 7*w(o). Is j(6) a prime number?
False
Let i(m) = -m**3 - 6*m**2 - 7*m. Let n be i(-5). Let r = n + -7. Suppose -r*w + 1882 = 691. Is w a prime number?
True
Suppose -31 = 4*u + p, -u + 0*p = -3*p + 11. Let b(o) = -o**3 - 5*o**2 - o + 11. Is b(u) a prime number?
True
Let f(t) = t - 14. Let b be f(6). Is (-852)/b*1*2 a composite number?
True
Let r = 73 - 17. Let l be r/2 - (5 + -4). Suppose 0 = -3*c + 84 - l. Is c prime?
True
Let j = -1151 + 2164. Let t = -340 + j. Is t composite?
False
Let n = 430 - 772. Let a = 593 + n. Is a a composite number?
False
Let p(s) = -8*s**2 - 3*s + 8. Let b be p(-7). Let l = b + 709. Is l a prime number?
False
Suppose 5*g + 14953 + 3359 = 4*v, -4*g = 5*v - 22931. Is v a composite number?
False
Let n = -7 + 13. Let t = n - 1. Suppose -3*v - t*p + 989 = -p, -5 = 5*p. Is v a prime number?
True
Suppose -m + 2*y = -20, -4*y - y - 110 = -5*m. Suppose 3*j = 2*o + 191, 5*j - 115 - 186 = -o. Let c = m + j. Is c prime?
False
Let j(t) = -402*t + 281. Is j(-17) a prime number?
False
Suppose 3*w - 162 = -0*w. Let p(v) = w*v**2 + 5*v + 5 + v - v. Is p(-2) a prime number?
True
Suppose 189*s = 213*s - 268