uppose j = 4*q + 4*x - 2672 - 2032, 0 = -4*q + x + 4679. Is q a prime number?
True
Let n = -2158 - -3623. Is n a prime number?
False
Let n be (-8)/(-6)*(-66)/(-44). Suppose -n*t = -616 - 388. Is t a composite number?
True
Let o(u) = -16*u - 5. Let i be o(-4). Suppose p + 3*q - 352 = 0, -6*p + 10*p - 1438 = -2*q. Suppose s + 2*z - i = 6*z, p = 5*s + 2*z. Is s prime?
True
Suppose -993 = -3*j + 678. Is j prime?
True
Is 9*4/12*2039 a composite number?
True
Let a(r) = 600*r + 3. Let s be a(2). Suppose 1775 = 2*k - 3*i, -s + 2983 = 2*k + 2*i. Is k composite?
True
Let x(a) = 1758*a**3 + 2*a**2 - 2*a + 1. Is x(1) prime?
True
Suppose 3890 = 2*u + 4*m, -4*u + 7*u - 4*m - 5835 = 0. Let l = -1166 + u. Is l a composite number?
True
Let m = 2188 - -3095. Suppose 3*c + 6*c = m. Is c a composite number?
False
Let s = 7 + -11. Let r(q) = 104*q**2 - 5*q - 30. Is r(s) composite?
True
Suppose -5*d + r - 185 = -r, 125 = -4*d - 3*r. Let k be (-6710)/d - (-4)/14. Let a = 319 - k. Is a composite?
False
Suppose q = 3*h - 1906, -3 - 5 = 2*q. Suppose -2*m - 96 = h. Let l = m - -652. Is l prime?
False
Suppose 21*y - 295 = 20*y. Suppose -5*s + 2*u + 1463 = 0, -s - 2*u = -0*u - y. Is s prime?
True
Let z = 41551 - 16294. Is z a prime number?
False
Let u(l) = 11 - 2 - 18*l + 14 + l**2 - 6. Let b be u(17). Is (12/8 - b)*22 a composite number?
True
Let g(w) = 3*w + 8. Let c be g(-2). Is (c - (-145)/20)/(2/104) composite?
True
Let d be 20/(-16) + 1 + 3/12. Suppose 0 = -5*n - 2*t + 1505, d*t - 2*t - 588 = -2*n. Is n a prime number?
False
Let u = 9812 - 6703. Is u composite?
False
Let a(r) = 2*r**3 - 16*r**2 + 13. Is a(15) prime?
True
Is (-2007)/(-8) - 41/(-328) a composite number?
False
Let d(l) = -4*l**3 + 457*l**2 + 5 - 10*l - 444*l**2 + 23. Is d(-13) a composite number?
True
Suppose 3*y + 4*a - 1754 = 2*y, 0 = 5*a + 5. Suppose 0 = -54*n + 52*n + y. Is n a prime number?
False
Let v = 11491 - -1626. Is v prime?
False
Suppose 0 = 16*k - 364663 + 109191. Is k prime?
False
Let x be -14 + (-7 - -2 - -4). Let f = x + 14. Let y = f - -116. Is y a composite number?
True
Suppose -2851 + 449 = -2*q. Suppose 4*m - 4752 = 4*w, 4*m + 5*w - 5962 = -q. Is m prime?
False
Suppose -12*n - 15579 = -82263. Is n a prime number?
True
Let h = 2397 - 26. Is h a composite number?
False
Suppose 9330 = 5*i - 139735. Is i a prime number?
False
Is 3*(0 - 8 - -301) a composite number?
True
Let q(l) = -1242*l + 41. Is q(-18) composite?
False
Is (9 + -4 - 13) + 58893 a prime number?
False
Let z(b) = -111*b - 3. Suppose -4*t = l + 12, -4*t - 3 = 2*l + 13. Is z(t) a composite number?
True
Let o = -22 + 22. Suppose -4*q = 4*j - 2129 - 839, -j - 4*q + 739 = o. Is j a composite number?
False
Let l be 2*2/(-4)*7. Let f = l - -10. Suppose -2*j = 4, -f*r + 150 = -4*j - 131. Is r a prime number?
False
Suppose 4*n + 1 = s, 3*s = -1 + 4. Suppose -f = -3*j + 3*f + 3027, 3*j + 4*f - 3027 = n. Is j composite?
False
Suppose 3*d = p - 365, -d = 2*p + 2*d - 694. Let h = -669 + p. Is (h/(-8))/((-1)/(-2)) a composite number?
False
Let f(d) = -805*d + 5. Is f(-6) a composite number?
True
Let d(k) = 2*k**2 - 34*k + 12. Let f be d(17). Is (-2)/f + 22593/18 a prime number?
False
Let z(w) = -724*w + 587. Is z(-6) a composite number?
False
Let o be (-71460)/(-35) + (-2)/(-7). Suppose 3*a - o = 3118. Let v = a - 1014. Is v prime?
False
Let d(y) = -10*y - 2 + 34*y**3 + 1 + 9*y. Is d(2) prime?
True
Let r = 153 + -90. Suppose 4*g + r = 7*g. Is (7/g)/((-1)/(-2721)) a composite number?
False
Is ((-3)/2)/((-77)/151382) composite?
True
Let k(o) = 3*o**3 + 7*o**2 - o + 1. Let w be k(-4). Let l be ((-210)/w)/((-1)/5). Let v(s) = -47*s + 15. Is v(l) prime?
True
Let t be (-4)/((-16)/10)*12552/15. Suppose 2*f - 2*y = -2*f + t, -5*y = -3*f + 1583. Is f composite?
False
Suppose 3*b - 8116 = a + 4*a, 3*a + 5411 = 2*b. Is b a prime number?
True
Suppose 0*a + 5*a = -3*w - 590, 2*a = -w - 237. Let n be a/(-5) - 5/25. Suppose 0 = k - n - 31. Is k a composite number?
True
Let x(u) = u - 2. Let f be x(4). Let o be f/(-8) - 4/(-16). Suppose o*t = 3*t - 429. Is t a prime number?
False
Let o be (6/(-8))/(90/(-240)). Is (-1237 - (o - 6))*5/(-15) a composite number?
True
Let i be (3/(-9))/(((-24)/4545)/8). Suppose -s + 3*s - 3*p = 227, 5*p = -5*s + i. Is s a composite number?
True
Let k be (2 - (-49)/(-14))*20/(-3). Let g = k - -87. Is g a prime number?
True
Let d(s) = 53627*s**2 - 10*s - 33. Is d(-2) composite?
True
Let b = -1685 + 3025. Let u = b - -563. Is u composite?
True
Suppose -23*w - 12662 = -25*w. Suppose -5*o = -w - 3414. Is o prime?
True
Let c(r) = -39*r**2 + 21*r**2 + r**3 - 3 + 3 + 21*r - 11. Is c(25) a prime number?
True
Let j(n) = 8*n**2 - 3*n + 2. Let t be j(2). Suppose 0*k + 5*c = -k + 18, 0 = 4*k - 3*c - 3. Suppose -t = -z - k*z. Is z composite?
False
Let i(a) = a**3 + 3*a**2 - 3*a - 5. Let k be i(-3). Suppose -3*l - 5*v = -10367, -k*l = -l - 5*v - 10327. Is l a composite number?
False
Suppose 0 = d - 5*o - 388, -3*d + o - 2 = -1208. Suppose d = s - 565. Suppose -997 = -3*n + s. Is n a prime number?
False
Let a = -41600 - -101409. Is a a composite number?
False
Let z(o) = 219*o - 16. Suppose 0 = t - 3*k + 6, t = 4*t - 2*k - 3. Is z(t) a prime number?
True
Let h(i) = -805*i - 16. Is h(-1) a prime number?
False
Suppose 384 = 2*t + 944. Let l = 122 + t. Let m = l + 225. Is m prime?
True
Let c(k) = -127*k + 1. Let a = 12 - 18. Let w be c(a). Suppose 0*b + d = 4*b - w, 3*b - 569 = 4*d. Is b prime?
True
Suppose 1 - 26 = -5*w, -4*w = -5*t + 18805. Suppose 5*n - t = 5*u, 1015 = n + 4*u + 272. Is n a prime number?
True
Let t(c) = 171*c - 17. Let b be t(-9). Let v = b - -2955. Is v a composite number?
False
Suppose -11*v + 86541 = 10*v. Is v prime?
False
Suppose n - 2 = 3*g - 1, 3*n - 4*g + 2 = 0. Is (n - -3) + (-1360)/(-1) prime?
True
Suppose -6*m = -12*m + 115002. Is m a prime number?
False
Let p = 33 - -31. Let q = p + -6. Is q a composite number?
True
Let t(d) = 946*d**2 + 4*d - 1. Is t(-3) composite?
False
Suppose x = -2*x - i - 2089, -3*i = 3*x + 2097. Is 1/(-1 - 700/x) prime?
True
Suppose -5*r - 5*d = -8815, 76*r + 7028 = 80*r - 2*d. Is r a prime number?
True
Let y(v) = -v**2 - 14*v - 14. Let b be y(-10). Let o = 25 - b. Is (-2 - 676)/(-1) + o composite?
False
Let t(d) = -105*d**3 - 3*d**2 - 3*d. Let b be t(3). Is 6/(-15) - b/15 composite?
False
Let c(q) = 7*q**3 + 2*q**2 - 4*q + 2. Let y be c(2). Let m be 2/4 + 74/4 + 2. Suppose x - m = y. Is x a prime number?
True
Let w(v) = -240*v**3 - 60*v**2 - 13*v - 5. Is w(-7) prime?
False
Is ((-3)/18)/(5821571/646842 - 9) a composite number?
False
Let t be 44 + 0 - (-2)/(-1)*1. Suppose 0 = 5*p - t - 23. Is p a prime number?
True
Let y = 4592 + -3128. Let k = 631 + y. Is k prime?
False
Is 126/21*417/9 a composite number?
True
Let o = 99 - 69. Let f = o + -7. Is f a prime number?
True
Suppose 5*g - 35 = -3*v, -2*g + 3*v - 2 - 5 = 0. Suppose -j + g*y = -1115, -4*j + 3075 = y - 1470. Is j composite?
True
Suppose -18645 = -28*c + 473287. Is c a composite number?
False
Suppose 0 = -2*n + 3*f + 2282 - 249, 2*f + 4046 = 4*n. Is n composite?
False
Suppose 3*x + 2*r - 10793 - 27752 = 0, 5*x - 64239 = -2*r. Is x a composite number?
True
Suppose -6*c + 357 = -5*c. Let o(x) = x - 3. Let n be o(6). Suppose -177 = -n*l + c. Is l composite?
True
Let g = 44 - 46. Is g/9 + (-24452)/(-36) composite?
True
Let p be 608 - 3 - (-1)/1. Suppose 3*c - s = p, -7*c + 2*c + 1002 = s. Suppose 0 = 5*v, 3*v = 5*i - c - 184. Is i prime?
False
Suppose -8*m + 5*m = -45. Suppose m*z - 24 = 19*z. Is 5 - 1 - 450/z a prime number?
True
Let w(r) = 79*r**3 - 8*r**2 + r - 13. Is w(6) a prime number?
False
Let o(w) = 8*w**2 + 2*w + 1. Let x be o(-1). Let n(s) = 3*s**2 + 3. Let i(j) = 5*j**2 + j + 7. Let v(t) = x*n(t) - 4*i(t). Is v(12) prime?
True
Let o(d) = -4 + 0*d + 3*d**2 + 2 - 2*d - d**3. Let b be o(5). Let y = b - -100. Is y a composite number?
True
Suppose 4*h = h + 18. Let j(v) = 8*v**2 - 19*v + 5. Let d be j(3). Suppose h*b - 22 = d. Is b a composite number?
False
Let p = 36743 - 8914. Is p a composite number?
True
Let d(n) = -n**3 - 5*n**2 + 6*n + 9. Let p be d(-6). Let h(w) = -3*w**2 - 5 + 5*w**2 - 4*w**3 - 5*w + 2*w**2 - p*w**2. Is h(-4) composite?
False
Suppose -k + 0*k + 2 = 0. Suppose t - 1638 = -a - 2*t, 5*t - 3277 = -k*a. 