 = -m - c*a + 1643. Is m prime?
False
Suppose 5*v = 5*j - 35, -10 = -j - 0*v + 2*v. Suppose j*q = -5*u + 10, -4*u = -4*q - 7*u + 6. Suppose -3*n + 4*c + 128 - 17 = q, 3*c = 0. Is n prime?
True
Let m = -18 + 18. Suppose -18*y + 14*y + 332 = m. Is y composite?
False
Let u = -121 - -380. Is u composite?
True
Let p be -1 + -28*(2 - 3). Let v be p + (-2 + 4 - -1). Suppose v = -5*s + 135. Is s a prime number?
False
Let o be (-16)/(-3) - 4/12. Let k = 101 - 99. Suppose 0 = 5*h + o*a - 100, -4*h + h - k*a = -63. Is h a composite number?
False
Suppose -3*h = 0, -10*i + 14*i = 2*h + 11324. Is i a composite number?
True
Suppose -8*q = 3*d - 10*q - 4081, 2*q - 2 = 0. Is d a prime number?
True
Let k = -140877 - -212608. Is k composite?
True
Suppose -4*d + 1948 = 164. Let r = d - -207. Is r composite?
False
Is 1 + 2 + 3594 - 4 a composite number?
False
Suppose -4*s = 21 + 3. Let w be s/9 + 200/(-6). Is (-7170)/w + (-8)/(-68) a composite number?
False
Let p = -586 - -964. Suppose 450 + p = 4*a. Let z = a - 80. Is z prime?
True
Suppose 2*x + 0*k - 2*k + 8910 = 0, 3*x - 2*k + 13362 = 0. Let b = x + 8603. Is b a composite number?
True
Suppose -3*i - 270 + 9 = 0. Let b = 58 - i. Is b prime?
False
Let j = 11035 + 13656. Is j composite?
False
Let z(u) = -15*u**3 + u**2 - u + 1. Suppose -3*b - 18 = -6*b. Let y be (12/(-18))/(2/b). Is z(y) a prime number?
True
Suppose i = -7*i + 2632. Let d = i + -118. Is d a prime number?
True
Is 1/(((-2)/14510)/((-15)/25)) prime?
False
Let v(f) = 9*f + 9. Let m be v(4). Let y = m + -42. Is (9/y)/(3/521) a prime number?
True
Suppose 5*w + u - 2367 = 0, -5*w + 2361 = -6*u + 4*u. Is w a composite number?
True
Let g(n) = n + 13. Let i be g(-16). Is i - (0 + -2) - -1284 prime?
True
Let m = 187 - 92. Suppose 2*i = -5*y + m, 2*i = -i - 5*y + 150. Is i prime?
False
Let p be (-7870)/(-8) - (-5)/20. Suppose -5*i = -2*k + p, 3*i + 4*k + 188 = 2*i. Is (i + 2)/(0 - 1) composite?
True
Suppose -4*m = 5*w - 2, -4*m = -m + 6. Suppose 7*y - w*y = 1275. Let d = 433 - y. Is d a composite number?
True
Is ((-3)/6)/(4/25240*-1) composite?
True
Is (-54066)/(-28) + (-6)/(-84) a composite number?
False
Let u = -22 - -26. Is (-4 - 7)*(1 - u/2) prime?
True
Suppose b - 8 = -0*b - 4*j, 0 = -5*b + j - 2. Suppose b = -c + 2*h + 12, h + 32 = 3*c - 4*h. Suppose 0*n = -c*n + 56. Is n composite?
True
Suppose 114055 = 3*j + 18514. Is j composite?
False
Let a = -7 + 7. Let d be 4878/(-9)*(-1 + a). Suppose -783 = -2*m + 2*x - 247, 4*x - d = -2*m. Is m prime?
True
Let t be 8/(-12) + (-1694)/6. Let o = 523 + t. Let u = o - 127. Is u a prime number?
True
Let s(q) = -q**2 + 7*q + 4. Let f be s(7). Let j be 2*(-1)/(f/(-4922)). Suppose -5*i - 236 = -j. Is i a prime number?
False
Is (84 + 65)/(2/58) a composite number?
True
Suppose -12 = 4*o - 4*i, 5*o - 3 + 13 = 4*i. Let q = 701 + -173. Suppose -3*p - 2*p = -3*w - 1282, o*p = 5*w + q. Is p composite?
True
Is (-5 + 979 - 0) + 0 a composite number?
True
Let j(f) = -2659*f - 91. Is j(-2) a composite number?
False
Let d(m) = -m - 6. Let o be d(-10). Is (-422)/(-4)*(1 - 0)*o prime?
False
Let v = 12 - 14. Let p be v/(-4)*-599*2. Let d = p - -1384. Is d a composite number?
True
Let p(i) = -i**2 - 4*i + 3. Let l be p(-3). Suppose -4*s = -4, 2*v = 3*v + 3*s - l. Suppose -81 + 960 = v*t. Is t a prime number?
True
Let h(p) = 135*p + 10. Let f(n) = -n + 1. Let r(i) = -4*f(i) - h(i). Is r(-3) prime?
True
Let g(w) = 7*w**2 + 6*w + 57. Is g(-26) a prime number?
False
Suppose -2*n = 2*n - 2*n. Let b(h) be the first derivative of h**2/2 + 821*h - 3. Is b(n) a composite number?
False
Let o = -2187 + 2192. Suppose -5*m - 25 = 0, -214 = -3*b + 2*m - 0*m. Suppose -2*d + o*r = -25 - b, 69 = d + 2*r. Is d composite?
False
Let s(h) = -h**3 - 6*h**2 - 6*h - 1. Let q be s(-5). Suppose 1061 = -2*w - b + 2*b, 0 = q*w - 3*b + 2127. Let t = -235 - w. Is t composite?
False
Let r = 27 - 27. Suppose 2*s - 5*j - 1871 = r, 0*s + 2*s = -3*j + 1895. Is s a prime number?
False
Suppose -2*w = -5*q - 10 + 370, -207 = -3*q + 3*w. Suppose 13*y = 15*y - q. Is y a composite number?
False
Let o = 3476 - 1114. Is o a prime number?
False
Suppose -3*m - 3*g - 4247 = -5*m, 0 = -3*m - 2*g + 6351. Is m a prime number?
False
Let y(w) = -2*w**3 + 4*w**2 + 6*w + 6. Let f be y(-3). Suppose a + f = 205. Is a composite?
False
Is (7083/(-12))/(36/(-48)) a prime number?
True
Let j(b) = -273*b**3 - b**2 + 3*b - 10. Is j(-3) a prime number?
False
Let d be ((-6)/(-9))/(4/54). Let b be -1 + (d*84 - 2). Suppose -3*h = 5*j - 757, 5*j + 4*h = 2*h + b. Is j composite?
False
Let l be 3 + (3 - (1 + 3)). Suppose s = -g + 145, s - l*s + 443 = 3*g. Is g a composite number?
False
Let v be 2953 - (1 + -2 - -3). Let m(p) = 2*p + 30. Let t be m(-7). Suppose 0 = 5*s - v + t. Is s prime?
True
Let w be 5/10*(0 + 334). Suppose m - w - 100 = 0. Is m prime?
False
Suppose -56*u = 23*u - 315131. Is u a prime number?
True
Let j = -89 + -92. Let v = j + 270. Is v composite?
False
Suppose 2*c - 2*t = t + 4, -c - 2*t = -2. Suppose c*i + 0 = 32. Is (163 + i)*2/2 composite?
False
Let o(x) = 6*x - 4 + 0 + 4*x**2 - 1 + 0*x. Let b be o(4). Suppose q + 26 = b. Is q prime?
False
Suppose -18*m - 3113 = -165419. Is m a prime number?
False
Suppose 2*l - 2568 + 706 = 0. Suppose 3*i = 1016 + l. Is i a composite number?
True
Let q(b) = 483*b**2 + 4*b - 54. Is q(-8) composite?
True
Let c(w) = -2960*w + 209. Is c(-4) prime?
True
Suppose 2*i - 28988 = -3*h, 6*h - 11*h - i + 48311 = 0. Is h a prime number?
False
Suppose -6*x - 186 = 6306. Is x*(-14)/(-70)*(-5)/2 prime?
True
Suppose 10*b = 17*b - 16331. Is b prime?
True
Let i be 6*34/85*(-10)/(-8). Let q(y) = 6*y**3 + 3*y**2 - 3*y + 7. Is q(i) a prime number?
False
Let o = 442 - -242. Suppose -s - 4*w - 70 = -o, 5*s + 5*w = 3025. Let a = -353 + s. Is a a composite number?
True
Is 2/((-6)/(-9)) - -14516 a composite number?
False
Is -3*(-74)/6*89 composite?
True
Let s(g) = -26*g**3 - g - 9. Let a be s(-4). Suppose -4*j + j = -a. Is j composite?
True
Is (1 - (-18)/(-4))*-94 a composite number?
True
Let o = 168 + -165. Suppose -5*s = j - 4886, -o*s + 19459 = 12*j - 8*j. Is j prime?
True
Let h(k) = k**2 + 3*k - 10. Suppose -25*q = -26*q - 5. Let j be h(q). Suppose -319 = -u - j*u. Is u composite?
True
Let c(v) = -2*v + 1. Let u be c(2). Is (1 - u)*23/2 a prime number?
False
Let k(x) = -79*x + 21. Is k(-4) composite?
False
Let b be (-172650)/9 - (-7)/21. Let j = b + 33672. Is j a composite number?
False
Suppose 0 = -6*j + 14091 - 5739. Suppose -3*l - 5*o + 4818 = 0, -o - 5009 = -4*l + j. Is l a prime number?
True
Suppose 5*d - 5*d = -7*d. Suppose -5*k = -d*k - 1315. Is k prime?
True
Suppose -2*d = g - 798, -8*g - 806 = -2*d - 7*g. Is d prime?
True
Suppose -5*x = 3*i - 240751, 2*x - 5*i = 6*x - 192606. Is x a prime number?
False
Let x = -15921 + 118614. Is x composite?
True
Let q(s) = 7*s - 21*s - 18 + 3. Is q(-19) prime?
True
Let x(f) = 28*f + 8. Let j be x(-11). Let o = j + 511. Is o a composite number?
False
Let b be 12/16 + (-4305)/(-20). Suppose 0 = h + 2*z - 99, -2*z - 363 - 72 = -5*h. Let r = b - h. Is r a composite number?
False
Suppose -2*r + 3548 = -3834. Is r composite?
False
Let y(j) = -3*j**2 + 12*j - 15. Let z be y(13). Let x = -115 - z. Is x a composite number?
False
Suppose a - 4 = -3*w + 26, -a + 15 = -2*w. Suppose -a - 297 = -6*v. Is v prime?
True
Suppose 0 = 4*k - 5*i - 102072, -2*k + 51050 = -41*i + 42*i. Is k a composite number?
False
Is (-9 + (-716)/12)*78/(-4) composite?
True
Suppose -29*r + 30*r = 2, 4*q - 2*r - 55776 = 0. Is q a prime number?
False
Suppose -3*t + 2*t + 4 = 0. Let w be (-10)/(-40) - (-7)/t. Suppose 3*s + 4*p = 2*p + 473, -3*s + 457 = -w*p. Is s composite?
True
Let a(q) = 187*q**2 + 11*q - 1. Is a(8) composite?
True
Let u(m) = 4*m**2 + 7*m + 1. Let w be u(7). Suppose -4*j + w + 289 = 3*v, -189 = -v + 4*j. Let t = 312 - v. Is t composite?
False
Let s = 111 - 101. Is 846/9 + s/(-2) composite?
False
Suppose -2*t + 20736 = 2*y - 6*t, y = -t + 10356. Is y/12 + 2/(-6) a composite number?
False
Let a be (-135)/9*4/(-6). Is 1852/a + (-8)/40 a composite number?
True
Let r be -4 + (2 - -1 - -1). Suppose 2*o + c - 5591 = 1964, r = -5*o - 5*c + 18880. Is o a composite number?
False
Let t(b) = 762*b**3 - b**2 + b - 1. Let p(d) = 5*d - 5. Let g(s) = 11*s 