s f a composite number?
True
Let n = 230 - 136. Is n prime?
False
Let p be 4*(1/8)/((-2)/(-10196)). Suppose -4*r - 2*n + 6394 = 0, n + 2239 + p = 3*r. Is r composite?
False
Let r be 1 - (-364)/(-6)*3. Suppose 0 = -5*z - 2*c + 2880, -3*z + 1611 = 3*c - 117. Let p = r + z. Is p a composite number?
True
Suppose 4*k - 5*d = 2*k - 16, k = d - 2. Suppose -33 = -k*i + 9. Is i composite?
True
Let s(m) = -m**2 + 9*m. Let r be s(5). Let z be (-8)/r + 684/10. Let p = 21 + z. Is p a prime number?
True
Let b(i) = -2963*i**3 - i**2 + 2*i + 2. Is b(-1) prime?
False
Suppose 8*h = 9*h - 5*i - 351, 5*h - 2*i = 1709. Is h prime?
False
Suppose 4*j - p = -2*p - 1, 0 = 5*j + 4*p + 15. Is (-842)/(-4)*(3 - j) - 2 a composite number?
False
Let j be (-32)/(-240) + (-56)/(-30). Suppose j*n + 7*n - 16749 = 0. Is n a composite number?
False
Let r(s) = s**3 + 3*s**2 - 2*s + 4. Suppose -4*t = -20 + 60. Let m = 15 + t. Is r(m) a prime number?
False
Suppose 9*s - 3195 = -342. Is s composite?
False
Suppose -10*n = -13*n + 18. Let k(m) = 5*m - 4*m**2 - m**2 + 3 + m**3 - 2. Is k(n) prime?
True
Let g = -29841 + 42654. Is g composite?
True
Suppose 4*t - 2*k + 30 = 0, 0*k + 5*k = 5*t + 35. Let d = -499 + 501. Is (9580/t)/(-5)*d a composite number?
False
Let g(f) = 6*f**2 - 3*f - 79. Is g(-14) composite?
True
Is (3377 - 9) + 3*-1 prime?
False
Let h(a) be the second derivative of 41*a**3/2 - 3*a**2 - 7*a. Let k be h(2). Let u = k - -171. Is u a composite number?
True
Let w(s) = -s**2. Let j(o) = 16*o**3 - 4*o**2 + o + 1. Let c(f) = j(f) - 5*w(f). Is c(3) composite?
True
Is 3197*26 - (3 + 3 + -1) prime?
True
Let r = 46 + 286. Let n = r - 67. Is n prime?
False
Suppose 5*p + 4*k = 4478, -3*p - 4*k + 2*k = -2688. Is p a prime number?
False
Let j = -11 - -13. Suppose -j*f - 159 = -1421. Is f prime?
True
Let x be (240/50)/((-18)/(-60)). Suppose 0 = -0*p + 5*p - 235. Let r = p - x. Is r a composite number?
False
Suppose 43 = -4*v + 39. Is -2 + v*628*(-27)/36 a composite number?
True
Let p(q) = -q**3 + 12*q**2 + 26*q - 1. Let c = -8 + 2. Is p(c) prime?
True
Suppose 0 = 3*k - 4 + 4. Suppose 5747 = 7*y - k*y. Is y a composite number?
False
Let y = 12 - -15. Let l = 53 - y. Let i = 57 + l. Is i a prime number?
True
Let a(i) = 14*i**2 + 10*i - 41. Suppose 11*z - 22 + 143 = 0. Is a(z) prime?
True
Let c be 5*(-1)/((-5)/3). Suppose n = -4*d + 326, -c*n + 669 + 276 = d. Suppose -3*l = -n - 85. Is l composite?
True
Let v(m) = 3614*m**2 - 4*m + 1. Is v(1) composite?
True
Let g(k) = -5738*k + 17. Is g(-1) composite?
True
Suppose 2*w + 11 + 134 = 5*l, 2*w = 2*l - 154. Suppose 2*b - 4*b = r + 293, -4*b - 289 = r. Let i = w - r. Is i prime?
False
Suppose 4*o + 150 = 2*a, -424 = -5*a + 3*o - 14. Suppose 0 = -8*f + a + 7171. Is f a prime number?
True
Suppose 2878 + 19316 = 81*l. Is l prime?
False
Suppose 0*n = -3*n + 63. Let b be ((-2)/(-3))/((-7)/n). Let h(r) = -12*r + 1. Is h(b) prime?
False
Let q = -25 + 29. Suppose -4*l + 3078 = -5*z - 3*l, -3*z = -q*l + 1857. Let h = -328 - z. Is h a prime number?
False
Suppose j + 0 = -3. Let g be (-501)/((-1 - 3)/((-20)/5)). Is 2 + j + 2 - g a composite number?
True
Suppose -8*s = 8*s - 22352. Is s prime?
False
Suppose -4*f - 3*k + 105802 = 0, 41*k + 105790 = 4*f + 38*k. Is f a prime number?
True
Let y = 46 + -32. Let t be (-2)/12 - y/(-84). Suppose 2*l - 149 - 29 = t. Is l a composite number?
False
Suppose -2*g - 13072 = -87594. Is g a prime number?
False
Let q be 1/2 + 13131/18. Let a = q + 357. Is a a prime number?
True
Suppose -4*j - 2*a = -11982, 3*j - 7*a - 8981 = -3*a. Is j composite?
True
Let n = 90515 + -56202. Is n composite?
False
Suppose 143*u - 23407 = -z + 141*u, -4*z + 93648 = 4*u. Is z a composite number?
False
Suppose 5*r + 264 + 81 = 0. Let l = r - -158. Is l prime?
True
Let j(b) = 134*b**2 - 15*b**3 + 13 + 138*b**2 - b - 275*b**2. Is j(-4) composite?
False
Let z = -26 - -36. Let m = z - 7. Suppose 5*n = m*a + 200, -167 = -5*n + n + a. Is n composite?
False
Let k(m) = 203*m**2. Let n be ((-2)/(-8))/((-5)/(-20)). Is k(n) a composite number?
True
Suppose -4*b + 2*x + 11594 + 7858 = 0, 5*b = 5*x + 24325. Is b a prime number?
True
Let k = -4 - -10. Suppose 0*b + 3*b - k = 0. Suppose 3*q + 3 = 6*q, b*o - q - 637 = 0. Is o a prime number?
False
Is 678 + (-30)/(-30)*(-6 - -1) prime?
True
Let t = -2258 + 3256. Suppose 926 = 4*r - t. Is r prime?
False
Is 2521776/36 + 2/(-6) composite?
True
Suppose 8*v - 6*v = -3*q + 175283, q - 58422 = 5*v. Is q a prime number?
True
Suppose 21*d = 13*d + 40. Suppose -d*k + 1129 = 174. Is k composite?
False
Let l = 29928 - 17735. Is l prime?
False
Suppose 5*o + 11929 - 36399 = 0. Is o a prime number?
False
Let x(k) = 149*k + 8. Let d(c) = c. Let h(p) = 4*d(p) + x(p). Is h(1) a composite number?
True
Let x be 17*-2*(-3)/6. Suppose x + 179 = 4*b. Is b a prime number?
False
Let t be -1460 - (16 + 4)/(-5). Let x = t + 2129. Is x a composite number?
False
Let r = -147 + 1333. Suppose 1181 = 5*t + 4*f, -5*t + 2*f = f - r. Is t composite?
True
Suppose 54*d - 447916 = -84334. Is d a composite number?
False
Let p = -660 - -1329. Is p a prime number?
False
Let m(p) = -p - 2. Let h be m(-6). Is (2/4)/(h + 5349/(-1338)) composite?
False
Suppose -3*v + 25 = 2*v. Suppose 0 = -v*u + u - 2*y + 508, 4*y = 0. Let f = -68 + u. Is f a composite number?
False
Let r(i) = -11*i**2 + 15 - 2*i**3 + 10*i**2 + 10*i + 6*i**2. Is r(-8) prime?
True
Suppose 0 = 396*x - 392*x - 61036. Is x a composite number?
False
Suppose -5*w + 374 = -231. Let s = 1032 - w. Is s a prime number?
True
Suppose q - 20 = -3*q. Suppose 0 = -5*y - 3*k - 2*k + 1480, 2*k = -q*y + 1471. Is y prime?
True
Suppose 2889 = 3*l - 4*v, 0 = -2*l + v + 3005 - 1084. Is l prime?
False
Suppose 3*i + n + 5117 - 14436 = 0, -i + 3097 = 5*n. Is i prime?
False
Let i = 3701 + -1010. Suppose -8*p + i = -9125. Is p a prime number?
False
Suppose 0 = 2*x + 4*o + 287 - 6389, -4*x - 3*o = -12184. Is x composite?
True
Suppose 0 = -181*k + 177*k + 1016. Is k composite?
True
Let w = 29 - 21. Let h(t) = -1 - w*t + 2*t - 10*t + 2. Is h(-8) composite?
True
Suppose -m + 4*x = -4357, 35*m - 30*m = 5*x + 21725. Is m prime?
False
Let p be (-10 - -30) + (0 - -4). Let n = p - 18. Let x(h) = 17*h + 11. Is x(n) prime?
True
Let t(x) = 17*x**2 + 3*x - 43. Is t(15) prime?
False
Let w = -428 - -110. Is -13 + 11 + 1/((-2)/w) composite?
False
Suppose 0 = -50*k + 55*k - 30395. Is k prime?
True
Suppose -4 = -x, 3 = 3*d + 3*x - 9. Suppose d*q - q = 4*w - 1467, -2*w + 2*q + 736 = 0. Is w prime?
True
Is (((-17307)/(-12))/(-9))/(4/(-304)) a composite number?
True
Let x(t) = -t**2 + 9*t - 4. Let y be x(8). Suppose -16 = 3*w - y. Is (218/w)/(2/(-4)) a prime number?
True
Let p = 75 - -506. Is p prime?
False
Suppose 545853 = 24*p + 22965. Is p a prime number?
True
Suppose 0*l = 5*l - 650. Suppose 0 = -p - l - 13. Let y = 6 - p. Is y a prime number?
True
Let g be (-26 - -23)/(0 + 1). Is (-119396)/(-20) + -5 + g/(-15) a composite number?
True
Let y(w) = 768*w**2 - w + 2. Suppose 8*k = 3*k. Let d be k + (4/(-2))/(-2). Is y(d) composite?
False
Let z = 506 - 247. Is z prime?
False
Suppose -3*k = 1129 + 245. Let j = k + 1155. Is j a composite number?
True
Let m = -603 + 1870. Is m composite?
True
Let q(f) be the second derivative of -f**3/6 + 11*f**2/2 + 3*f. Let w be q(8). Suppose 3*a - 4*j + 45 = 834, w*j + 1045 = 4*a. Is a a prime number?
False
Suppose -6*i + 17 + 13 = 0. Suppose i*q = -3*s + 11, -2*s - q = -5*q. Suppose s*o + 321 = j, 0 = -2*j - 2*o + 344 + 328. Is j composite?
False
Suppose 4*b - 6*b + 16 = 0. Is 491/(b + -4 - 3) prime?
True
Suppose n = -2*r + r + 2092, -3*r = -4*n - 6297. Suppose 6*z - 5822 - 12118 = 0. Let o = z - r. Is o prime?
False
Let g = 40 + -48. Is 4677/6 + 4/g a composite number?
True
Suppose 0 = -4*k + 4, -4*f - f + 314 = 4*k. Suppose 64*h - f*h - 758 = 0. Is h a prime number?
True
Let l = -64 + 72. Let n(u) = 8*u**2 + 7*u + 15. Is n(l) prime?
False
Let j(q) = -34*q**2 - 2. Let g be j(1). Let r be -6*3/(g/16). Suppose 0 = r*p - 9*p + 259. Is p composite?
True
Let u(v) = 15*v**2 + 2*v - 1. Let l be u(1). Let y = -16 + l. Suppose y = 4*p + 3*q + q - 368, 0 = -4*q - 20. Is p prime?
True
Suppose 284*z + 26 = 297*z. Suppose 3*o - 3 - 21 = 0. Suppose -z*w = -o*w + 426. Is w prime?
True
Let g(p) = 4*p + 3. Let