 - 71*d - 122. Is m(35) prime?
True
Let p = 59 + -131. Suppose -5*l + 4*l = 38. Let z = l - p. Is z a composite number?
True
Suppose -3*a - 7*a - 6290 = 0. Is (a/(-2) + -3)*(4 - 2) a composite number?
True
Let c = 611 + 2838. Is c a prime number?
True
Let y = 9248 + -5299. Is y composite?
True
Let o(s) = 1927*s - 11. Is o(28) prime?
False
Let f = 28 - 16. Let k be (f + -9)*2/6. Is ((-19)/3 - k)*-3 composite?
True
Suppose 20*p = 14*p + 1086. Let y = -60 + p. Is y a composite number?
True
Let z be (-1)/(-3) - (-3156)/36. Let y = z - 130. Let s = y + 65. Is s prime?
True
Let t(q) = 25*q**2 + 2*q - 3. Let m be t(4). Suppose 594 = 9*j - m. Is j prime?
False
Suppose 14*o - 18*o - 4 = 0. Is ((-2)/3 - o)*(863 + 4) prime?
False
Let b = 48 + -86. Suppose -4*h = 2*s - 38, 5*h + 3*s + 23 = 9*h. Is (b/h)/(2/(-8)) a prime number?
True
Suppose 2*i - f = 46284, 29656 = i + f + 6511. Is i prime?
True
Let n = -31066 - -122933. Is n prime?
True
Suppose -2*s - 7*r + 5*r = -232, 5*s - 580 = 5*r. Let t(v) = -v**2 - 5*v + 6. Let g be t(-6). Suppose 2*m = -g*m + s. Is m a composite number?
True
Let g be (-85)/(-5) + (-1 - 2). Let s(l) = -12 - 116*l - 3*l - 58*l + g. Is s(-1) composite?
False
Let k(t) be the second derivative of 112*t**4/3 - t**3/6 - 9*t. Is k(-1) prime?
True
Let b(l) = l**3 + 5*l**2 + 4*l + 13. Let p be b(6). Let o = p + -140. Is o a composite number?
False
Suppose -4*f + 45 - 221 = 0. Let y be 2 - (f/4 + -2). Is 26/(((-18)/y)/(-3)) composite?
True
Let z(s) = 4*s**2 - 18*s + 11. Is z(15) prime?
True
Suppose -23*a = -15*a - 77912. Is a a composite number?
False
Let r = -3306 + 9775. Is r composite?
False
Suppose 0 = -2*l + 2*u - 10, 0 = -0*l + l - 3*u + 9. Let h(d) = 21*d**2 - d. Let w be h(l). Suppose -y - w = -2*k - 3*y, 286 = 3*k + 5*y. Is k composite?
False
Suppose 2 + 48 = 10*r. Suppose -r*f + 3*q + 14593 = 0, q = -4*f + 2*f + 5835. Is f prime?
False
Suppose 0 = 2*x + 2*h - 2, 0*x = x - 3*h - 13. Suppose -q + 1 = x*y - 2, 6 = 2*q - y. Let b(m) = 76*m**2 - 2*m + 3. Is b(q) a composite number?
True
Is 9/6 + 41662/4 a prime number?
False
Suppose 3*v = 19 + 23. Let y be (-9)/(-45) + v/5. Suppose k = y*k - 154. Is k prime?
False
Suppose -3*r = 5*o + 1, -11 = 5*r + o - 2. Is (-110)/(-15)*(-3)/r prime?
True
Let a = -145 + -107. Suppose 4*n - 4*g - 252 = 0, g - 3 = 2*n - 131. Let p = n - a. Is p a prime number?
True
Let g = -4039 + 14262. Is g a composite number?
False
Let x(o) = 84914*o**2 + 54*o - 55. Is x(1) a prime number?
True
Suppose 6*y = -4*q + 10*y + 524, 0 = -2*q - 2*y + 246. Is q prime?
True
Let v(u) = 3*u**2 - 26*u - 2. Let f(i) = i**3 + 7*i**2 - 3*i + 10. Let k be f(-8). Let s = k + 49. Is v(s) prime?
True
Let p = -20 - -37. Let h = 21 - p. Is (h + -14)/(4/(-194)) composite?
True
Suppose 4*z = 2*f - 76, z - 50 = 3*z + 5*f. Is (223/4)/((-5)/z) prime?
True
Suppose -4*l + 30 = -18. Let j be 14/((-4)/l*-6). Suppose -j = -3*m + 194. Is m a prime number?
True
Is (-81813)/1*(700/(-42) - -16) a prime number?
False
Suppose -2*v - 451 = 207. Let b = -195 - v. Is b prime?
False
Let v(a) = 3*a**3 + 24*a**2 - 2*a - 11. Let o be v(-8). Suppose -j = o*t - 2186, 2*t = 4*t + 2*j - 876. Is t composite?
True
Let a be (-85)/5 - -1*(1 - 0). Is -1 + a/(-14) - 19316/(-77) prime?
True
Suppose 16*u + u - 359669 = 0. Is u a prime number?
True
Let x = 0 - -5. Suppose 2*t = x*o - 20, -2*t - 2*t = -o + 4. Suppose t = -4*m + 2*m + 26. Is m composite?
False
Let v be 4 + 1 - 1 - -3. Suppose -21 = -v*w + 3661. Is w prime?
False
Let g(m) = 23*m**2 + 7*m - 7. Let d be g(-6). Suppose -j = -4*j - 4*r + d, -3*r = -j + 277. Is j composite?
True
Suppose -42 + 42 = -20*b. Let g(j) = 3*j + 91. Let s(w) = 3*w + 90. Let n(a) = -3*g(a) + 4*s(a). Is n(b) composite?
True
Suppose -2*f - 4*s - 18 = 0, -3*f + 3*s + 2*s + 28 = 0. Suppose 0 = -q + 7 - f. Is q composite?
True
Suppose 108 = 2*j + 512. Let x = 95 + j. Let i = 2 - x. Is i prime?
True
Let g(u) = 15*u**2 + 18*u - 155. Is g(-27) a prime number?
False
Suppose 0*a - 8346 = -3*a. Suppose 893 - a = -u. Is u prime?
True
Suppose -2*f = -0*f - 4. Let l = f - 0. Suppose 0 = -5*r - 20, -497 = l*k - r - 2171. Is k composite?
True
Suppose 0 = -4*y - 10 + 2, 5*y + 10 = o. Let m = o + -4. Let c(b) = 37*b**2 + 2*b + 3. Is c(m) a composite number?
False
Let x = 121 - 112. Is 3/x + (-1214)/(-3) + 4 composite?
False
Let b(u) = 753*u + 190. Is b(11) a composite number?
True
Let m(u) = -u**2 - 3*u + 1. Let p be m(-3). Let t = 30 + p. Is t composite?
False
Suppose 0 = -3*d + 6*m - 3*m + 9, d - 5 = -m. Let p be (0 + -7)*(-5 + d). Is ((-7)/p)/((-3)/111) prime?
True
Suppose 1 - 5 = 4*t. Let q = t - 5. Is ((-184)/12)/(2/q) prime?
False
Let o = 39 + 68. Let h = -211 - -141. Let a = h + o. Is a composite?
False
Suppose 14 + 4 = n. Let d = 19 - n. Is d/(1 - 2)*-37 prime?
True
Let j(i) = -320*i**3 + 2*i**2 + 2*i + 1. Let a be j(-1). Let x = a + -182. Is x composite?
False
Is 1*7614 - 35/(-5 - -12) prime?
False
Is (-418639)/(-13)*(8 + -7) prime?
True
Suppose 0 = 5*w + r - 9869, 0 = 6*w - w - r - 9861. Is w a composite number?
False
Suppose 64*s - 3*h - 63427 = 60*s, 3*s - 47568 = 3*h. Is s composite?
False
Let d(z) = -18*z + 3. Let q(y) = y - 2. Let v be q(-7). Let r(m) = -36*m + 7. Let h(b) = v*d(b) + 4*r(b). Is h(7) composite?
False
Suppose 4*c - 53572 = 2960. Suppose 0 = -21*r - 0*r + c. Is r a composite number?
False
Let h(g) = -12697*g**3 - 4*g**2 - 8*g - 9. Is h(-2) composite?
True
Suppose -3*r + 5*k = -28, 3*r - 3*k = -0*r + 24. Suppose 0 = -r*g + 292 + 1508. Suppose -h - 54 = -u, -2*h + 3*h = -5*u + g. Is u prime?
True
Let n = 11857 + -8346. Is n a composite number?
False
Let c(b) = -1356*b - 77. Is c(-8) a composite number?
False
Suppose 45340 = -32*x + 42*x. Is x a prime number?
False
Let z(w) = w**2 - 13. Let n be z(-4). Suppose 0 = -5*i + 2*f + n*f + 930, -578 = -3*i - f. Is i prime?
True
Let y be (12/(-21))/((-2)/7). Is y/(-4)*-86 - (-9 + 6) a prime number?
False
Let t = 26 + -13. Let y = -45 + t. Let c = 46 + y. Is c a prime number?
False
Let v = -2122 - -2975. Is v composite?
False
Let r = 12434 + 1307. Suppose r + 3599 = -5*u. Is 2/((-3)/(u/8)) composite?
True
Suppose 10 = -s + 3*s. Let t(c) = -3*c + 17. Let x be t(5). Suppose -s*y = x*h - 694, -h + 6*h - 1735 = -5*y. Is h composite?
False
Let r = 53 + -48. Suppose 4*w - 2491 = -r*d, 4*w = 2*d - 562 - 440. Is d prime?
True
Let b(t) = -13*t**2 - 2*t - 3. Let i be b(-2). Let j(a) = -a - 18. Let h be j(0). Let n = h - i. Is n prime?
False
Is -6*2/3 - (-6618 + -3) composite?
True
Let i(s) = 529*s + 145. Is i(10) prime?
False
Let v(z) = -374*z + 34. Let r be v(-24). Let w = 13059 - r. Is w prime?
True
Let f = 18032 + -10739. Suppose 8*z - 4*z = b + f, z - 5*b - 1828 = 0. Is z prime?
True
Suppose 0 = 4*q + 4*y - 8, -4*y = -3*q - q + 24. Suppose -5*z - 3*p = -667, 532 = q*z + 3*p + p. Is z composite?
True
Suppose -4*l + 2*z + 124950 = 0, -5*l - 8*z = -z - 156178. Is l a composite number?
False
Let i(h) = h**3 - h**2 - 2*h + 43915. Is i(0) composite?
True
Suppose -3*a + 20225 = -7216. Is a prime?
False
Let p(j) = j**3 + 18*j**2 + 18*j + 14. Let u be p(-17). Is 0 + (542 - (0 + (-3)/u)) composite?
False
Let w(h) = h**3 + 3*h**2 - 12*h - 7. Let b be w(-5). Suppose 0*f = b*f - 4101. Is f a prime number?
True
Let y(o) = o - 1. Let d(m) = -m**3 + 2*m**2 + m - 1. Let x be d(2). Let l be y(x). Suppose l = -3*u + u - 2, 2*v = -3*u + 675. Is v a composite number?
True
Let w = 100 + -97. Suppose -4*u + 2343 = -5*o, -2351 = -u - 3*u - w*o. Is u composite?
False
Let u(j) = -9*j + 82. Let k be u(0). Is 17/(166/k - (3 - 1)) a prime number?
False
Suppose 2*k = -10*l + 5*l + 13581, l - 6798 = -k. Is k prime?
True
Suppose 0*u - 10 = 5*u. Is (-14)/(-3*1/(-633)*u) a prime number?
False
Suppose 0 = w - 4*d + 15 - 6, -3*d = 2*w - 15. Suppose -w*c - 3*c = -582. Is c composite?
False
Suppose -54*r = -80*r + 951886. Is r a composite number?
True
Let f = 37047 + -23930. Is f composite?
True
Let h be 186 - (-3)/((-3)/1). Let v = 1252 - h. Let n = 1956 - v. Is n a composite number?
True
Let d be (846*1)/(12 + -11). Suppose -d = -7*w + w. Is w a composite number?
True
Suppose 4*d - 16 = 0, d = v + 4*d - 12. Let q(j) = -2*j**2 - 2*j + 149. Is q(v) composite?
False
Let i(m) = 15*m**2 + 2*m - 6. Let x(o) = 3. Let z(q) = i(q) + 3*