 a composite number?
False
Suppose 166733 = 11*p - 5967. Is ((-2)/(-5))/(4*5/p) a prime number?
False
Let s(m) = -m**2 + 15*m - 11. Let t be s(14). Suppose -5*o + 182 = 4*w + 1657, -2*o - t*w = 597. Is (o/(-9))/((-3)/(-27)) a composite number?
True
Suppose 0*k - 9*k = -45621. Is k a prime number?
False
Suppose 4*s - 2*r = 14964, 3*s - 5*r = s + 7498. Is s prime?
True
Let m(f) = 10*f**3 + 10*f**2 - 3*f + 4. Suppose -5*n + 35 = -0*n. Let y be m(n). Is (-1)/(-6) - y/(-18) a composite number?
True
Let i = -3322 + 6485. Is i prime?
True
Let y be 10/3 + (-2)/6. Let q(s) be the second derivative of 7*s**4/6 + s**3/6 - s**2 - 3*s + 17. Is q(y) a composite number?
False
Suppose 0 = 5*i - 0*i - 220. Suppose 2*n - 2*h + 46 = 0, -6 = -2*n - 2*h - i. Is (-6)/n + 495/7 a prime number?
True
Suppose 16 = -2*z - 2*z + 4*a, -3*z - 2*a = -13. Suppose 4*o + 11 + z = 0, 305 = n - 4*o. Is n composite?
False
Let o = -11 + 14. Suppose -o*k = -7*k + 620. Is k prime?
False
Is (-9 - -954) + -7 + 11 prime?
False
Suppose 4*l = 2*q - 257 - 103, 4*q = -3*l + 731. Let p = q - 6. Let o = p + -109. Is o prime?
True
Let n be (804/(-10))/(((-18)/20)/3). Let b = n - 191. Is b prime?
False
Let i(s) = 6*s**2 + 8*s - 5. Let o be i(-7). Suppose -4*n + 0*n + 5*t = 10, 6 = 3*n + 3*t. Suppose n = -u + 2*u - o. Is u composite?
False
Let r(m) = m - 1. Let p(z) = -z**2 + 2*z. Let s be p(2). Let a be r(s). Let w(g) = -78*g**3 - 1. Is w(a) a prime number?
False
Let n be 484 + (-4)/12*3. Let g(t) = t + 14. Let r be g(-6). Is (-9)/((-18)/r) + n a composite number?
False
Let r(u) = 0 + 5 + 0 - 6*u**2 - 2*u - 3 + u**3. Suppose -3*o - 23 = -2*f, 3*o - 19 = -f - 3*f. Is r(f) prime?
True
Let x(v) = v + 355. Suppose 2*o = -4*k + 13 + 3, 20 = -o + 5*k. Is x(o) prime?
False
Let x(d) = 3*d**2 + 14*d + 3. Let n(p) = -49*p**2 - 224*p - 49. Let l(k) = -4*n(k) - 63*x(k). Let h be l(-9). Suppose 4*f - h = 788. Is f a prime number?
False
Let y(u) = -20 + u - 12*u - 6*u - 4*u. Is y(-7) a composite number?
False
Let n(h) = h**2 + 4*h - 10. Suppose 3*p - 27 = -0*p. Let b be n(p). Let j = -70 + b. Is j a prime number?
True
Let t(u) = 582*u**2 - 4*u + 7. Is t(-3) a composite number?
True
Suppose 2*r + 3 = 11, -5*u = -2*r - 67. Suppose 1590 = 5*h - u. Is h composite?
True
Let u = 88 + -85. Suppose 351 = u*d - 672. Is d prime?
False
Suppose 4*w = 9*w + 5. Let h be (-2 + 1)/((-1)/w). Is (-1 + 4 + -380)*h a prime number?
False
Let l be (-4)/((-4)/92*2). Suppose -t + l = -0*t. Suppose m = -2*x + t, 2*m - 7*m - 2*x = -198. Is m a composite number?
True
Let n = -7 - -14. Let s be n/4 - 2/(-8). Suppose 2*i = -2*p + 1478, s*p = -9 + 1. Is i prime?
True
Let m(n) = -n + 9. Let v be m(6). Suppose -z = d + v*z - 229, -5*d + 1191 = -3*z. Is d a prime number?
False
Suppose 361*s - 341*s = 1419700. Is s a composite number?
True
Let p be -2 - (-3)/6 - (-110185)/10. Suppose 1954 - p = -9*b. Is b a prime number?
False
Let o be 1/(4*(-3)/(-36)). Suppose 5*l - o*l - 910 = 0. Suppose 0 = 7*v - 2*v - l. Is v prime?
False
Let c be 2485/6 + (-1)/6. Let w = -287 + c. Is w a prime number?
True
Suppose -4*v - 16 = -v + 5*d, 4*v = -d - 44. Let s be (-8)/8 - (-27 - -1)/1. Let n = s + v. Is n a prime number?
True
Let b = 283 + -2478. Let f = b + 4900. Is f prime?
False
Let s(c) = 8*c**2 - 5*c + 5. Suppose 0 = 5*h - 2*h - 3. Suppose -3*d = -j + h - 0, -5*j - 3*d = -23. Is s(j) a prime number?
True
Suppose k + 5*a + 76594 + 16071 = 0, k = -4*a - 92663. Is (-2)/(-7) + k/(-63) prime?
True
Let j be (-9945)/(-6) - (-2)/4. Let m be (-3)/18 - j/(-12). Let g = 221 - m. Is g a prime number?
True
Let a = -1 + 8. Is (a - 3)/4 + 672 composite?
False
Let y(c) = -c**3 + 13*c**2 + 3*c - 2. Let r be y(13). Let q = r - 34. Suppose -q*m = -9*m + 84. Is m a composite number?
True
Suppose -7*n = 5*n. Suppose n = 3*p - 523 - 263. Is p composite?
True
Suppose -5*j + 124739 = 3*p, -3*p + j - 7431 = -132146. Is p a prime number?
False
Let y(d) = 585*d + 5. Let l be y(2). Is (l/(-10))/(2/(-4)) a composite number?
True
Suppose 0 = 3*y + 2*y + 25. Let d(z) = -z**2 - 7*z - 6. Let j be d(y). Suppose j*l - 1265 = -l. Is l a prime number?
False
Let d be 4 + (-2)/(4/2). Suppose 5*u + 1 - d = 3*m, -4*m = 16. Is 7428/20 + u/5 a composite number?
True
Let o be 116/((-1)/(-10)*(-16)/(-12)). Suppose 608 + o = 2*w. Is w a prime number?
True
Let r = -37 + 42. Suppose 11*n = r*n + 13998. Is n a prime number?
True
Let f = 111 + -310. Let i = -402 - f. Let j = 264 - i. Is j composite?
False
Suppose -2804 = -11*w + 7063. Suppose 9588 - w = 3*z. Is z composite?
False
Let m(t) = -t**3 + 2*t**2 - 10*t + 1. Let j be m(-10). Suppose -3*r - 4*p = -j, 3*r = -r - 3*p + 1737. Suppose 3*s = 12, -5*a - 5*s = -0*a - r. Is a composite?
False
Suppose -p = -5*a - 58, 0 = a - 3*p + 6. Let y(z) = -21*z - 43. Is y(a) prime?
False
Let h(g) = -g**3 + 63*g**2 - 5*g + 109. Is h(62) prime?
True
Suppose 699 - 5821 = -2*b + 5*q, 2*q = 2*b - 5110. Is b a prime number?
True
Let f(w) be the third derivative of -3*w**6/20 + w**5/10 + 7*w**4/12 + 7*w**3/6 + 2*w**2 - 9*w. Is f(-4) a composite number?
True
Suppose -3*c = -2*v - 7367, 3*v - 2564 = -2*c + 2369. Is c a composite number?
False
Let o(r) = 165*r**3 - 2*r**2 + 2*r - 1. Let c(y) = 2*y**3 + y**2 - 1. Let h be c(1). Is o(h) prime?
False
Let t(x) = x**2 + x - 6. Let q be t(-3). Suppose q = 2*w + n - 3 - 3, 0 = 2*n. Suppose 438 = -l + w*l. Is l composite?
True
Suppose 0 = -n - 354 - 47. Let h = n + 696. Is h a prime number?
False
Let a(l) = 35*l**3 - 4*l**2 - 3*l + 15. Is a(4) composite?
False
Suppose -111818 + 1206786 = 56*i. Is i a prime number?
True
Suppose -4*m - 18291 = -5*b, -3*m + 8*m = -4*b + 14641. Is b a prime number?
True
Let z = 79741 - 22268. Is z composite?
True
Let w be (-1*2)/(16/440). Let p = 26 + w. Let v = p - -60. Is v composite?
False
Let h(y) = -8*y - 2. Let p be h(-4). Let u(s) = s**2 + 23*s + 32. Let n be u(-22). Is (-232)/(-1) + p/n a composite number?
True
Let n = -114 - -205. Suppose 0 = 4*t - n - 225. Is t a composite number?
False
Suppose 1 = -4*b + 13. Suppose 2*d - b*s + 5 = -4, -2*s + 10 = 0. Suppose -g + d*h = -4*g + 9, 0 = -2*g + 3*h + 11. Is g a prime number?
False
Let v(l) = -143*l - 16. Let d = -13 - -10. Is v(d) a composite number?
True
Suppose 0 = 26*p - 25*p - 5*o - 26114, 2*p = -o + 52283. Is p prime?
False
Suppose 2*d - 2*s - 1626 = 0, 0*s = 2*d - 5*s - 1626. Is d prime?
False
Let g be (4 + -1 + 14/(-10))*10. Suppose -g*l = -10*l - 10398. Is l a composite number?
False
Suppose 10*k + 4 - 34 = 0. Suppose p + 1173 = s + 3*p, k*s + 3*p - 3507 = 0. Is s a prime number?
False
Let s(y) = -1008*y - 25. Is s(-18) composite?
False
Suppose 18*j = 22*j - 16. Suppose i + c = 35, -113 = -j*i + i - c. Is i prime?
False
Suppose -158195 = -92*r + 152489. Is r prime?
False
Let w(a) = 32*a**2 + 8*a - 3. Let b be w(-4). Let o = 1150 - b. Is o prime?
True
Let a = 60 + -42. Is (3 - 0)*3/a*254 a composite number?
False
Let p(h) = -749*h - 114. Is p(-5) a composite number?
False
Is (-2 - (-53)/(-3))/(29/(-1479)) a composite number?
True
Suppose 6*k + 6182 = -226. Let x = 1537 + k. Is x a composite number?
True
Is 37409/(-11)*(13 - 24) a prime number?
True
Let k(l) = 285*l - 12. Let v be k(9). Suppose v = 4*c + 189. Let d = 1108 - c. Is d a prime number?
False
Suppose 725*o - 726*o = -69313. Is o a prime number?
True
Let d(l) = l**2 - 4*l + 5. Let u be d(4). Let j(z) = 9*z**2 + 7*z + 2. Let n(w) = -10*w**2 - 7*w - 2. Let i(c) = 4*j(c) + 3*n(c). Is i(u) composite?
True
Suppose -o + 148 + 1493 = 3*d, -3*o - 3*d + 4899 = 0. Suppose -5*f + 2461 = -o. Is f composite?
True
Let x = -5756 + 10002. Suppose i - 1060 = -q, 2*q = 4*i - 0*q - x. Is i a prime number?
True
Suppose 5*x = 5*d - 170, -2*d = 4*x - 139 + 41. Suppose y = -3*n + 6*n - 20, y + 4*n + 20 = 0. Let c = y + d. Is c composite?
False
Let x = 5014 - 2624. Suppose 7*m - 9*m + x = 0. Is m composite?
True
Suppose 0 = -5*v + 18 + 2. Let i(k) = -k**3 + 4*k**2 + 2*k + 4. Let x be i(v). Suppose -21 = -t + x. Is t a prime number?
False
Let o(u) = -130*u + 61. Let b be o(-9). Suppose 5*t + 8 + 2 = 0, -3*f - t + b = 0. Is f a composite number?
True
Let k(n) = -n**3 + 12*n**2 - 12*n + 14. Let v be k(11). Suppose -v*h + 2*b - 305 = 4*b, 0 = -4*h + b - 425. Let l = h - -156. Is l a prime number?
Fals