 -q*x = -a*r + 419, -r + 4*r - 379 = -5*x. Is r prime?
False
Let b be (-2)/(-7) + 5 + 2712/14. Suppose -2*g + b + 1767 = 0. Is g composite?
False
Is -1*(4 + -276 + 5) composite?
True
Let l(j) be the first derivative of -j**4/4 + 3*j**3 - 2*j**2 + 3*j - 5. Is l(8) prime?
False
Let d(h) = -h**3 - 5*h**2 - h - 6. Let t be d(-5). Let q(i) = -787*i**3 - 2*i - 2. Is q(t) prime?
True
Let l = 8 - 13. Let q be 1 + l + (325 - 5). Let n = 623 - q. Is n a composite number?
False
Is (-223461)/(-24) - (0 + 4)/(-32) composite?
False
Suppose -4*b - 13 - 15 = 0. Let i be (-3 - (b + 1)) + -3. Suppose i*p - 2*p + 42 = 0. Is p prime?
False
Let n(a) = 1 + a - 18*a - 5 + a**2. Let l be n(15). Is (8/(-6))/(l/10761) prime?
False
Suppose 4*n + 3*g - 31 = 0, 5 = 4*n - 3*g + 4. Suppose -4*h = -20, -2*h + 170 = n*f - 1432. Is f a prime number?
False
Suppose 9*v - 601 = 281. Let l = 111 - v. Is l a composite number?
False
Let f = 8168 + 8709. Is f prime?
False
Let b(a) = a**3 + 21*a**2 + 2. Let l be b(-21). Suppose -4*z = l*c - 1314, -2*c + 1931 = c - 4*z. Is c a composite number?
True
Let w = 65572 + -14925. Is w a composite number?
False
Let t = 60108 - 35875. Is t prime?
False
Suppose d + 4*d - 15 = 0. Suppose 0 = d*j - 5 - 7. Suppose -4*r - j*k + 364 = 0, -k - 3*k - 259 = -3*r. Is r composite?
False
Is (-2)/(8/(-39599)) - 21/28 a composite number?
True
Suppose -50196 = -7*i + 46691. Is i a composite number?
False
Is (78105/(-60))/(12/16 + -1) composite?
True
Let v = 78 - 50. Let r(g) = 26*g - 27. Is r(v) a composite number?
False
Let i(b) = 1806*b**2 - 5*b - 32. Is i(-5) a composite number?
True
Is (-16)/(-72) - ((-113529)/27 - -4) a prime number?
True
Suppose -1135 = -3*y - 3*g + 689, -y + 593 = 4*g. Is y a composite number?
False
Let q be -3*2/9 + (-30)/9. Let c(t) = -2*t**3 - t**2 + 11. Is c(q) a composite number?
True
Let v(m) = 69*m**2 + 4*m - 1. Let d be v(3). Suppose q = 0, q + d = z + 3*z. Is z composite?
True
Let n(c) = -c**2 + 15 - c + 3148 - 2*c. Is n(0) a prime number?
True
Is 8/(-1) - 407595/(-87) a prime number?
False
Let i(s) = 8*s**2 - 77*s + 51. Let v(u) = 2*u**2 - 19*u + 13. Let t(b) = -2*i(b) + 9*v(b). Is t(-16) a composite number?
True
Let t be (9/2)/(2/20). Let u = 3 - 1. Let y = t - u. Is y a prime number?
True
Suppose -2 = o - 5. Suppose -6 = 3*s - 2*r + 3*r, -o*r = 4*s + 3. Is (-2)/(s + 489/165) prime?
False
Suppose -8*y + 10*y = -48. Let u = 167 - y. Is u composite?
False
Is (-18)/(-90)*(12613 - 8) prime?
True
Suppose -2*u + 190382 + 42752 = 0. Is u a composite number?
True
Let y = -105 + 108. Suppose -20608 = -4*f + 4*w, -y*w - 25750 = -8*f + 3*f. Is f prime?
True
Let t(b) = 35*b**2 - 34*b - 116. Is t(-15) composite?
False
Let k = 100 + 165. Suppose -w = -2*w + 2. Suppose -3*s + k = w*s. Is s a composite number?
False
Let y = 3 + -1. Suppose y*p - 921 = -p. Is p a composite number?
False
Let k = 73 - 71. Suppose k*q - 7112 = -6*q. Is q a composite number?
True
Suppose 5*c = -5*d + 6150, 0 = -2*d + 2*c - c + 2445. Let o = d - 258. Is o composite?
False
Suppose -v + 0*v + 10 = -4*h, -v + 5*h = -12. Suppose -5*p - 1349 = 4*y, -667 = v*y - 0*y + 5*p. Let t = y - -546. Is t a composite number?
True
Let h(a) = -1. Let v(u) = 7*u**2 + 4. Let m(f) = -4*h(f) - v(f). Let z be m(3). Let j = 158 - z. Is j a prime number?
False
Let c(s) = -s**3 + 9*s**2 + 18*s + 15. Let t be c(14). Let g = t - -1125. Let u = -145 + g. Is u a composite number?
True
Suppose 4 = -6*b + 2*b. Let r be b + (-4 + -267 - 3). Let k = 568 + r. Is k prime?
True
Let o = 4405 - 1851. Is o a composite number?
True
Suppose -5*w + 105 = -2*w. Let a be (13 - 0/(-1))/(-1). Let j = w + a. Is j a composite number?
True
Let h = -9 + -18. Let u be 9/h - 1927/(-3). Let g = -385 + u. Is g a composite number?
False
Let b(w) = 280*w**2 - 4*w + 63. Is b(5) a composite number?
False
Let b be -4 - 0 - (-39)/13. Let w(q) = -27*q - 47*q + 3*q. Is w(b) a composite number?
False
Let j be -13*((-6)/1 + 3). Is ((-26)/j)/(2/(-471)) a composite number?
False
Let q = 20306 - 13149. Is q composite?
True
Let d(j) = j**3 + j - 1. Let u be d(0). Let h be u*19*(-2 + 1). Suppose -h = -x + 2. Is x prime?
False
Is (-7)/(-21) - ((-1331834)/21 - -8) composite?
True
Suppose -9 = -5*v + 5*j + 11, -2*j + 32 = 3*v. Let a be (4/3)/(v/12). Is a - (-1 - -169)/(-3) a prime number?
False
Suppose 0 = -5*s + 41 + 114. Suppose -s*v + 503 = -30*v. Is v a prime number?
True
Suppose 0*c + 20 = -2*c - 2*d, 10 = -2*d. Is c/10*(-1042)/1 a composite number?
False
Suppose 93 = 3*h - 180. Suppose -p + 2*q = -h, p = -0*p + 5*q + 94. Is p prime?
True
Suppose 3*x - 19791 = 2*s, x - 4*s - 6590 = -s. Is x composite?
False
Let w(y) = -y**2 - 19*y - 19. Let b be w(-16). Suppose b = 2*r - 5. Suppose r*l + 1255 = 22*l. Is l prime?
True
Let s be (-10)/(-3)*(-3)/(-2). Suppose 2*w - s = w. Suppose -d = 5*j - 71, -2*j - 40 = -w*j + 2*d. Is j a prime number?
False
Let g(l) = -37*l - 9. Let p = -6 - 11. Let h = 9 + p. Is g(h) prime?
False
Let u = -6265 + 25422. Is u a prime number?
True
Suppose -10*h = -12*h + 804. Let s = 1017 - h. Let r = 1030 - s. Is r a prime number?
False
Let b be (-2)/10 + (-6)/(-5). Let o be -2 + (b - 0) - -48. Let d = o - -44. Is d a composite number?
True
Let b(j) = 5*j**2 + 6*j - 18. Let d(a) = -a**3 + 11*a**2 - a + 3. Let o be d(11). Is b(o) a prime number?
False
Let k(y) = 2*y**2 - 5*y - 2. Let l(r) = -r**2 + 5*r + 1. Let f(t) = -2*k(t) - 3*l(t). Let j be f(-4). Suppose 240 = j*b + 75. Is b composite?
True
Is (-66842)/(-4) + ((-100)/8 - -13) composite?
True
Let k(s) = -3*s + 6. Let x be k(-3). Let v be 1*1213 + 0/x. Suppose v = 6*l + 451. Is l prime?
True
Let u(g) = 5 - g**2 - 37*g - 4 + 5*g**2. Is u(18) composite?
False
Is (-494622)/30*(-15)/9 a composite number?
False
Let h(x) = -6*x**3 - 5*x**2 + 2*x - 3. Let t be h(4). Let a = 1642 - t. Is a a composite number?
True
Let d be 1 + -76 - (5 + -7). Let i = 46 - d. Is i a prime number?
False
Let a(z) = 92*z - 19. Let h(b) = 46*b - 9. Let u(s) = 6*a(s) - 15*h(s). Is u(-4) a composite number?
True
Suppose -41*j + 226932 = -35*j. Is j a prime number?
False
Suppose -12*k = -9*k - 621. Suppose 13*r - k = 10*r. Is r a prime number?
False
Suppose 0 = n + 4*n - 70. Let c(b) = -6*b**2 + 21*b - 13. Let h(x) = 17*x**2 - 62*x + 38. Let v(g) = 11*c(g) + 4*h(g). Is v(n) composite?
False
Suppose 4*z + 336 = 13196. Is z a composite number?
True
Let h(j) = 1373*j**2 - 18*j - 109. Is h(-10) a composite number?
True
Let w(v) = v**3 - v**2 + 1. Let d(u) = 0*u**3 - u**3 + 4*u + 12 + 3*u**3 + 6*u**2 + 5*u. Let h(j) = d(j) - 3*w(j). Is h(8) prime?
False
Let i = 5527 + 1582. Is i a prime number?
True
Let r be (2/4 - -2)*2. Suppose -8 + 8 = 4*p. Suppose 0 = 5*s + 4*z - 275, p = -3*s - r*z + 29 + 123. Is s composite?
False
Suppose 58014 = 2*d - 4*y, -4*d - 4*y + 55874 + 60166 = 0. Is d a prime number?
True
Is (-34313)/(-5) - (-5 + 207/45) prime?
True
Let z(y) = -y**3 - 4*y**2 - 3*y + 4. Let x be z(-3). Suppose 2*u = 2*i - 117 - 171, -u = -x*i + 573. Is i a composite number?
True
Let y = -21 - -21. Is (-189)/(-3) + -4 + y prime?
True
Let d = -4 - -7. Suppose -3*r + 3*o + 294 = o, -394 = -4*r + 2*o. Suppose -d*p = 25 - r. Is p prime?
False
Suppose 3*m + m = -3*h - 7, h = -1. Let i(r) = 912*r**3 - 5*r**2 - 5. Let p(o) = -913*o**3 + 6*o**2 + 6. Let w(t) = -6*i(t) - 5*p(t). Is w(m) a prime number?
True
Let f be (-538)/((-2)/(-1)) - -4. Let s be (f/(-15))/(2/36). Is s/2*(-2)/(-6) prime?
True
Let g(n) be the second derivative of 25*n**4/12 - n**3/6 - n**2/2 - 2*n. Let u(y) = -y**2 + 3*y. Let w be u(2). Is g(w) composite?
False
Suppose 4*c - 2*c = -4*d + 22, 3*d = -3*c + 21. Suppose -3*q - 241 = -d*n + 557, 2*q - 205 = -n. Is n composite?
True
Suppose -162 - 182 = 4*r. Let x be 8/(r/44 + 2). Let y = x + -49. Is y a composite number?
False
Suppose -24 = -x + 9. Let w = 135 - x. Suppose -5*b = -3*b - w. Is b composite?
True
Suppose -4*n = -l + 489, l = -3*n + 2*n + 474. Suppose 0 = -6*j - 3*j + l. Is j a prime number?
True
Let u be (-1)/(-4) - (-135)/36. Suppose u*q - 238 = 6*q. Let l = 8 - q. Is l prime?
True
Suppose -j + 3*n = 3 - 8, -7 = 4*j - 3*n. Is -3 - -1 - j/((-12)/(-4323)) a composite number?
False
Suppose -o + 4101 + 5996 = 0. Is o prime?
False
Let i = 2366 - 3603. Let a = -226 - i. Is a a prime n