 Let d be b(-1). Let n = 391 + d. Is n prime?
True
Suppose i + 4*i - 3*q - 3534 = 0, -718 = -i - 5*q. Suppose 0 = 2*u + i - 6850. Is u composite?
True
Let o be 133/9 - 4/(-18). Let d be (9/o)/(2/10). Is (-5)/(-5)*d*41 composite?
True
Let d be 7/(196/40)*7. Suppose 3*q + 4 - d = 0. Suppose 3*u = -6, 2*c = q*u + 50 + 64. Is c prime?
False
Let x(q) = -q + 1. Let p(c) = -217*c + 11. Let l(t) = 868*t - 45. Let n(u) = 2*l(u) + 9*p(u). Let v(s) = n(s) - 4*x(s). Is v(-2) a composite number?
False
Let m(l) = 13*l**2 + l - 10. Let s(v) be the first derivative of 26*v**3/3 + v**2 - 21*v - 1. Let j(g) = 7*m(g) - 3*s(g). Is j(3) a composite number?
False
Let n(t) = -37*t + 12. Let d(p) = 73*p - 23. Let w(y) = 3*d(y) + 5*n(y). Is w(4) prime?
True
Is 48/27 + -2 + 469285/153 prime?
True
Is 5 + 7091669/143 + (-2)/22 a prime number?
True
Let j = -42317 + 117328. Is j composite?
False
Suppose 707891 = 14*k - 10*k - 3*c, -5*c = 5*k - 884820. Is k a prime number?
False
Suppose -18189 - 6493 = -14*y. Is y a composite number?
True
Let b = 27 - 17. Let h be 6/(-2)*(-53440)/192. Suppose -5*f + b*f - h = 0. Is f a prime number?
True
Let y = 6951 - 3232. Is y prime?
True
Suppose 7*o - 2*o = -3*a + 2102, -4*o = -4*a + 2856. Let h = a - 492. Suppose i + 1081 = 2*s, -s = 2*i - 336 - h. Is s a prime number?
False
Suppose -2 = 4*f - 6, 0 = 3*s - 4*f - 1241. Suppose -2*c + s = 97. Is c a composite number?
True
Let s(h) = 51*h**3 + 5*h**2 - 3*h - 2. Let i be s(-3). Let k = 2232 + i. Is k a prime number?
True
Is 54 + -52 + 0 + 3 + 28484 a composite number?
True
Suppose 0 = -x - 1 - 2. Let c be x/((-556)/(-284) + -2). Let t = 156 - c. Is t a prime number?
False
Suppose -q + 2084 = q - 4*m, -3*q + 3128 = -4*m. Suppose 0 = -11*w + q + 353. Is w a prime number?
True
Suppose 20 = -4*c, -4*f - 3*c - 27 = -0*c. Is (f - -4 - 3) + 141 prime?
True
Let w = 22 + -25. Let y(r) = -264*r + 5. Is y(w) composite?
False
Suppose 3*a + 2613 = b - a, -3*a = 6. Suppose -5597 = -6*u + b. Is u prime?
True
Is (-407553)/(-21) + (-4)/14 prime?
False
Let t be (-3)/(-6) - 7/(-2). Suppose m - 30 = -t*q + 31, 0 = q - m - 9. Is q*(-3)/((-6)/29) prime?
False
Let j(g) = -371*g - 19. Let y be j(-8). Suppose -2*v - 421 = -y. Suppose 4*n + 3*w - 2527 = 0, -3*n - 2*w + v = -n. Is n composite?
False
Suppose -10*j + 5 = 35. Is 318 - (2/(-3) - (-1)/j) a composite number?
True
Suppose -5*g = -0*g, -5*h = 2*g - 9185. Is h composite?
True
Let j(n) = -623*n + 7. Let s be j(4). Let k = -1232 - s. Is k prime?
False
Let h = 29 - -20. Let k = 87 - h. Is k prime?
False
Let s(j) = 75*j**2 + 14*j - 3. Is s(10) a prime number?
False
Let h(o) = o**3 - 38*o**2 + 54*o + 56. Is h(39) a composite number?
True
Suppose -5*a + 2*g + 50965 = -0*a, -2*a + 2*g = -20386. Is a prime?
True
Let n(u) = 94*u - 31. Is n(3) a composite number?
False
Let i(c) = 4*c - 5. Let s be i(2). Suppose 2*o + 16729 = -3*y, s*o - 5*y + 2*y + 25071 = 0. Is o/(-15) - (-1)/(-3) prime?
True
Suppose -4*h = 2*g - 949 - 2277, 5*h = 3*g - 4883. Is g a composite number?
False
Let n(w) = w + 14. Let d be n(-10). Suppose 0 = d*p + 16, -3*y = 2*p - 122 - 80. Suppose 4*q + 14 = y. Is q a composite number?
True
Suppose 40369 = 2*z + 5*z. Is z composite?
True
Let g(m) = m**2 + 6*m - 6. Let z be g(-10). Let b = 36 - -220. Suppose -z = 2*y - b. Is y a composite number?
True
Is (1/(-6))/((-48)/11272032) composite?
False
Let c(r) = 330*r**2 - 17*r - 68. Is c(-5) composite?
True
Let s be ((-176)/(-20))/2*(-10)/(-4). Let f(c) = 8*c - 29. Is f(s) a prime number?
True
Let y be (-14)/8 + 3/(-12). Let x be (-4936)/(-44) - y/(-11). Let g = x + -74. Is g prime?
False
Let q(t) = -t**2 - 4*t + 3. Let g be q(-3). Let j be 1 - 12/(-4)*g. Suppose -5*r + j = 4, 905 = o - 4*r. Is o a prime number?
False
Let b(u) = 2*u**2 - 3*u + 3. Let w be b(2). Suppose w*a - 2830 = y + 3*y, -3*a + 5*y = -1698. Is a composite?
True
Let g(k) = -59*k + 46. Let a(f) = -60*f + 45. Let c(z) = 2*a(z) - 3*g(z). Is c(23) composite?
True
Let h = 7159 + -1832. Is h a composite number?
True
Let x(q) = -q**2 + 6*q + 1. Let d be x(6). Let u(r) = 2*r + 1. Let j be u(d). Suppose -48 - 147 = -j*p. Is p a prime number?
False
Suppose f = -5 - 1. Let w be (-15)/f - (-4)/8. Suppose w*a = -0*a + 105. Is a a prime number?
False
Let u be 9/((-20)/12 - -2). Is (-2)/(-9) + 14763/u composite?
False
Suppose -2*n + 12 = n. Suppose -n - 11 = -3*j. Suppose -j*x + 16 + 419 = 0. Is x prime?
False
Suppose -o + 22 = 4*v, -8*o + 4*v = -4*o - 8. Let z(k) = -k**2 + 8*k - 9. Let i be z(o). Suppose i*q = q + 158. Is q a composite number?
False
Let y(s) be the third derivative of -10*s**4/3 + s**3/6 - 2*s**2. Is y(-2) a prime number?
False
Is (-127204)/(-18) + (-15)/(-135) prime?
False
Suppose 251 = -m + 5*d, 206 + 493 = -3*m - 3*d. Suppose 0 = 5*f - 5, f - 5*f = -o - 7. Is o/(-9)*(1 - m) composite?
False
Is 36/(-48)*(-9020)/15 composite?
True
Let h be ((-4)/(-10))/1 - 115/(-25). Suppose 4*n = -2*a + 2346, h*n + a - 4*a = 2960. Is n prime?
False
Suppose 0*d - 5*d = -3*n - 490, -2*n + 294 = 3*d. Suppose d + 140 = 2*u. Suppose 2*a = 2*x - 4*x + 246, -a = 2*x - u. Is a prime?
True
Let n be (-1 + (-6)/(-14))*(-7)/2. Suppose -4*k + 5*r = -n*k - 541, -3*r - 272 = -k. Is k prime?
True
Let j be 1*5 + 3/(-1). Suppose -5*n - 4*i + j = -8, 3*i - 23 = 4*n. Is (-2238)/4*n/3 a composite number?
False
Suppose -4*k - b + 21644 = -4*b, b = 0. Suppose -546 - 1612 = -2*a - 2*q, -5*a + k = -3*q. Is a a prime number?
False
Suppose -2 = m, -3*g + 0*m + 18 = -3*m. Is ((-55)/15 + g)*993 a composite number?
False
Let b be 7/(-28) - (-41)/4. Suppose -b*d + 8*d = -1082. Is d a prime number?
True
Let t(v) be the second derivative of v**3/3 - v**2 - 9*v. Let d be t(-4). Is (14/(-2))/(5/d) composite?
True
Suppose 0 = -2*r - 3*r, 36 = -2*y - 4*r. Let f be 36/y*(-2 - -1). Suppose i - 3*h - 106 = -0*i, 5*i = f*h + 478. Is i a composite number?
True
Is (-276300)/(-8) + (-17)/34 a prime number?
True
Let g = -6254 - -11811. Is g a prime number?
True
Let h = -864 + 4085. Is h a prime number?
True
Let a = 294 - 185. Suppose -358 = 5*r - 2*k, 2*k - 293 = 4*r + 7*k. Let s = r + a. Is s prime?
True
Suppose -3*m + 23615 + 13936 = 0. Is m prime?
True
Let y(r) = 354*r**2 - 5*r + 119. Is y(8) composite?
True
Suppose -31281 = -3*y - 5*i, 4*y - 20854 = 2*y - 4*i. Is y a prime number?
True
Let q = 8 + -4. Suppose 3*m - 7 + q = -w, -2*m = 0. Suppose 0 = 4*p - w*k - 2968, 2*p - 2*k + 3*k - 1474 = 0. Is p a composite number?
False
Let y = -145 + 116. Let h(n) = -n**3 - 29*n**2 - 21*n + 58. Is h(y) prime?
False
Let m be (3/1)/(17 + -11 + -5). Let r(v) = -6 + 4 - 7 + 362*v. Is r(m) prime?
False
Let b be -13 + 0 - (-8 + 6). Let w(v) = 3*v**2 - 5*v - 4. Let d be w(-4). Let s = b + d. Is s composite?
False
Let s(b) = 831*b**2 - 5*b - 1. Let r be s(-2). Let l = r - 1184. Is l prime?
False
Suppose -b + 3459 = -3*n - 0*n, -b + 3445 = 4*n. Let v be (-2)/5 - 153/(-45). Suppose -v*q + 0*q = -b. Is q prime?
True
Suppose 7*w - 19 - 107 = 0. Suppose -w*b = -17*b - 13. Is b prime?
True
Suppose -10 = -8*g + 6. Suppose g*b + 2*b - 764 = 0. Is b prime?
True
Suppose -15*p + 1538 = -457. Is p composite?
True
Let a(v) = 48*v**2 - 25*v - 121. Is a(-12) a prime number?
False
Suppose 31 + 19 = 2*l. Let w be (4 - (4 - l)) + -1. Is (-1326)/(-15) - w/(-40) a prime number?
True
Let b = -441 - -1293. Suppose 0 = -3*a + 2103 - b. Is a a composite number?
True
Let s = 9527 - 4223. Suppose -j + 5*j = s. Let l = j + -67. Is l prime?
True
Suppose 57 = 5*t - 2*t. Let j = 56 + t. Suppose k - 25 = b + j, -k - 5*b = -70. Is k a prime number?
False
Is -1 + 6 - (-2070)/5 a composite number?
False
Suppose 1412 = k + 3*k. Suppose -2*n + k + 2165 = 0. Is n prime?
True
Suppose 3 = -3*o + 6. Let w(c) = -c**3 - c + 1. Let i(m) = -2*m**3 + 5*m**2 - 9*m + 8. Let n(k) = o*i(k) - 3*w(k). Is n(-5) a composite number?
True
Suppose -14*r - 24003 = -41*r. Is r prime?
False
Let c = -12200 - -51669. Is c a prime number?
False
Suppose 6051 = -2*s + 17933. Is s a prime number?
False
Suppose -5*l + 4*z + 400944 = 93203, 5*z + 246191 = 4*l. Is l composite?
True
Let n(m) = 20*m**2 - 10*m - 8. Let z be n(12). Suppose 0 = -6*x - 514 + z. Is x a composite number?
False
Let o be (-2 - (3 - 7)) + -44. Let f = o - -24. Is (-4)/f + (-11908)/(-36) a composite nu