= 2*x - 5*k. Is x a composite number?
False
Suppose -940 - 151 = -j. Is j a composite number?
False
Let y = 2 - 2. Suppose 2*o - 2*a = -y*a + 926, 2*o = -4*a + 956. Let q = -251 + o. Is q a composite number?
True
Is (-12)/15 + 1 + (-11448)/(-60) prime?
True
Is (-10 + 18 + -31030)/(-2) a prime number?
True
Suppose 0 = -12*m + 15*m. Suppose m = 3*r + 2*k + 226, 0 = 4*r - 8*r - 3*k - 303. Is (-6856)/r - (-2)/(-9) a prime number?
False
Suppose -3*a = 70 + 77. Let z = 24 - 142. Let x = a - z. Is x composite?
True
Let d be 305/1 - (-4 + 2). Let b = -164 + d. Is b composite?
True
Suppose 0 = 3*s + 5*n - 363, 4*s + 3*n = -n + 476. Let c be (-1)/(4/(-2 + -6)). Suppose -c*l = y - 139 - s, 0 = 3*y - 3*l - 729. Is y composite?
True
Let s = -5129 - -12930. Is s prime?
False
Suppose -a = -2655 - 942. Suppose 4*k - a = 8951. Is k composite?
False
Let m = -55 - -59. Suppose -3*g + s + 3*s = -1451, m*g = 4*s + 1936. Is g prime?
False
Is -5 + 20/5 + 510 a composite number?
False
Let n be (32*6)/((-1)/(-1)). Is n - 5*(-4)/(-20) a composite number?
False
Suppose -8*j + 32 = -0*j. Suppose j*z - 9296 = n - 2*n, 0 = 4*z - 4*n - 9276. Is z composite?
True
Suppose -4*h - 11 = -7, 3*t - 3*h - 152520 = 0. Is t a prime number?
True
Let s = -5 - -11. Let g(n) = -4*n + s*n + 6 + 4*n**2 + n**2. Is g(5) composite?
True
Let v(h) = -h**3 - 3*h**2 - 2*h - 1. Let o(i) = -i**2 - 7*i + 6. Let d be o(-8). Let g be v(d). Is 12/6 - (g + -16) composite?
False
Let z = -4 - -6. Suppose z*d - 307 = 451. Is d a prime number?
True
Let a = 2747 - -3302. Is a composite?
True
Let t(l) = l**3 - 18*l**2 + l - 241. Is t(30) composite?
False
Let o(u) = 376*u**2 - u - 2. Suppose 2*m - 2 = 3*q + 6, -2*q = 4*m. Let a be o(q). Let f = a + -1005. Is f a composite number?
False
Let l(d) = -d**3 + d**2 - 2*d + 666. Let u be l(0). Suppose -2*k + w + 3895 = 0, 3*k - 5194 = 5*w + u. Is k a prime number?
False
Is -85 + 20673 + 3 + 2 a composite number?
False
Let z(v) = 21*v + 3. Let r(b) = -43*b - 7. Let o(f) = -2*r(f) - 5*z(f). Let l be o(-1). Is (-23)/(-2)*l/9 a prime number?
True
Suppose 4*w = -2 + 6. Let k be w*(-12)/8*-2. Suppose 2*c - k*v + v = 280, -418 = -3*c + 5*v. Is c composite?
True
Suppose -14*c + 69672 = 10*c. Is c prime?
True
Let z be ((-12)/(-8))/((-3)/(-4)). Suppose 10 = -2*n, -z*g + 4*n + 453 = -525. Is g prime?
True
Let l = 31 - 38. Is l/((-21)/9) + 1147 + 1 composite?
False
Suppose m = 12*m. Let p(g) = 5*g**3 - g**2 + 2*g - 3. Let x be p(2). Let y = m + x. Is y prime?
True
Let i = -126 - -102. Let f be 3/((-6)/(-8)) + 0. Is 2/(i/(-1497))*f prime?
True
Suppose -1 = 4*t + 2*w - 9, 0 = 5*t + 5*w - 20. Suppose -2*i - c = -2, t*c = -3*i - 4*c + 8. Suppose -7*r + 3*r + 100 = i. Is r a composite number?
True
Is (12/(-20))/((-6)/102430) prime?
True
Let b = 8 - 2. Let h be -3 + b - (-236)/2. Suppose 3*f = 7*f - 4*w - 520, f = 4*w + h. Is f prime?
False
Let f(d) = 5*d**3 + 24*d**2 - d + 15. Let h be f(-18). Is (-14)/(-63) - h/27 a composite number?
True
Suppose 4*g + 16 = 0, -4*q + 0*q = 2*g - 12. Suppose 5*r = q*k + 4205, -5*r + 2*k = 745 - 4962. Suppose x - 6*x + r = 0. Is x prime?
False
Suppose -h + 745 = 5*m - 4*m, 4*m + 3*h = 2982. Let c(v) = 5*v**2 + 36*v + 278. Let n be c(-10). Let o = m - n. Is o composite?
True
Let d = -581 - -1013. Let w = -231 + d. Is w composite?
True
Let q(p) = -4*p - 13*p - 3*p - 28 - 1. Is q(-5) a composite number?
False
Let p = 2427 - 176. Is p prime?
True
Let p(w) = 277*w - 116. Is p(10) a prime number?
False
Let r = 232258 - 136205. Is r a prime number?
True
Suppose 8*r - 4*q = 7*r + 50993, 5*r - q - 254908 = 0. Is r composite?
True
Suppose 20*l - 20 = 15*l. Suppose -l*z + 461 = -5791. Is z prime?
False
Let j = 1278 - 359. Is j prime?
True
Suppose 0 = 20*h - 190148 - 271512. Is h prime?
False
Let c be (4/(-7))/((-16)/(-56)). Is (c/(-6))/(8/3048) a composite number?
False
Let g be 3/(-3) + (2 - -2). Suppose -g*z + 602 = -7. Suppose -3*a + z = 26. Is a composite?
False
Suppose 5*s + 285 = -n, -5*n + s - 202 = 1197. Let k = n + 597. Is k a composite number?
False
Is (-1 + (-1065)/2)*-2 prime?
False
Let b = -3 + 17. Suppose 0 = b*r - 27684 - 54958. Is r a prime number?
True
Suppose 3180 = 5*k + 2*i, 0*k + 2*i + 2562 = 4*k. Suppose w = 4*l - 575 + 170, -3*w + 3*l = 1260. Let x = w + k. Is x a prime number?
False
Suppose -7*x = 3*x - 3200. Let q = 5 - 2. Suppose q*s = 5*z + 48 + x, -3*z = -5*s + 608. Is s composite?
True
Let n = -7 + 1. Let u(x) = x**2 + 7*x + 9. Let c(b) = -2*b**2 - 7*b - 8. Let g(a) = -4*c(a) - 3*u(a). Is g(n) prime?
False
Suppose -239752 = -370*y + 366*y - 4*a, 0 = -4*y - 5*a + 239749. Is y composite?
True
Let m = -13 - -13. Is (0 - -1)*379 + m composite?
False
Suppose -656 = 4*v - 3004. Let l = v - 386. Is l prime?
False
Let o(u) = -4*u + 2. Let c(b) = 4*b - 1. Let s(t) = -5*c(t) - 6*o(t). Let n be s(3). Suppose -3*x - z + 800 = 0, 0 = -n*z - 1 + 26. Is x composite?
True
Let w = 42348 - 19541. Is w a prime number?
True
Let v(n) = n**2 - 6*n + 5. Let y be v(7). Suppose -10*f = -y*f. Let b(o) = -o**2 + o + 11. Is b(f) a prime number?
True
Suppose 2*z + 5*o = 92, -5*o = -z - o + 20. Let b = 124 - z. Let l = 6 + b. Is l a composite number?
True
Let p(f) = 50*f - 41. Suppose d - 3*d = 2, 0 = -3*r - 4*d + 11. Is p(r) a composite number?
True
Let c = 22715 + -15482. Is c a composite number?
True
Let n be -11 + -4 + 11 + -4. Let r(c) = 12*c**2 - 7*c + 11. Is r(n) prime?
False
Let u be 6 + -1 - (-4 + 6). Suppose -u*q = 2*q - 1655. Is q a prime number?
True
Let k(y) be the third derivative of y**5/60 + y**4/6 - 2*y**3/3 - 3*y**2. Let u be k(-4). Is 3 + u + (-1 - -213) prime?
True
Suppose 3*m + 278 = 41. Let f = m + 194. Is f prime?
False
Suppose -3*r = u - 5832 - 2036, -2*u + 15715 = -r. Is u prime?
False
Let q = -484 + 2254. Suppose -6*k + q = -0*k. Is k a composite number?
True
Suppose 9 = -4*y + 25. Suppose -3*k - 81 = -y*k. Let x = k - -82. Is x prime?
True
Let r be ((-3)/(3 - 6))/((-2)/(-24)). Suppose -15*s + 471 = -r*s. Is s prime?
True
Let y = 48 + -32. Let h(d) = 4*d**2 + 3*d + 1. Is h(y) a prime number?
False
Let x(i) = 1 + 5 + 67*i**2 - 3 - 3*i. Is x(-4) prime?
True
Suppose 3*o - 5858 - 13474 = 0. Is ((-1)/(1 + 2))/((-4)/o) a prime number?
False
Suppose -19 = -x - 3*s, 2*s - 41 = -4*x - 3*s. Suppose -3*d + 2*q + 591 = 0, -3*d + q + 606 = x*q. Is d a composite number?
False
Let f = 8965 - 3186. Is f prime?
True
Is (-1)/((-1)/(-3)) - (10 + -62090) a prime number?
False
Suppose -9*m + 163 = -197. Suppose 3*z + m - 235 = 0. Is z composite?
True
Let d = 15037 - 1008. Is d a composite number?
False
Suppose 2096*z = 2087*z + 13185. Is z prime?
False
Let o(m) = -2*m**3 + 8*m**2 + 41*m + 16. Is o(-9) a composite number?
False
Suppose 34245 = 9*p - 41526. Is p a composite number?
False
Suppose -17*p + 14*p + 8517 = 0. Is p prime?
False
Let x = -978 - -2294. Suppose -3*c - x = -4*d - 4*c, d - 5*c - 329 = 0. Is d a prime number?
False
Suppose 0 = 32*a + 132139 - 352395. Is a a composite number?
False
Let z be (-4)/14 + 4125/7. Suppose 0 = -2*l - 3*a - 552, 2*l + 0*a + 556 = -2*a. Let j = l + z. Is j a composite number?
False
Is (-234626)/(-42) - -13 - 2/6 composite?
True
Suppose 2*b - 5117 = 7725. Is b composite?
False
Suppose -332 = 4*z - 1352. Suppose r = 812 + z. Is r a composite number?
True
Let n = -1167 + 2546. Is n prime?
False
Let l = -4 + 12. Suppose -l*n - 1735 = -13*n. Is n a composite number?
False
Let r(q) = -q**3 - 7*q**2 - 5*q + 1. Let z be r(-6). Let t(s) = -s + 3. Let b be t(z). Is (215/(-4))/(b/(-32)) a prime number?
False
Let n = -5850 + 13373. Is n prime?
True
Let r(z) = 2*z**3 - 58*z**2 + 74*z - 31. Is r(37) prime?
True
Suppose 2*m - 14684 = 3*p, 67685 - 23643 = 6*m - 4*p. Is m a composite number?
True
Suppose 23928 = 2*s - 15394. Is s a composite number?
False
Suppose 0 = -5*b - 6*j + 2*j + 5715, -5*b = 2*j - 5705. Let z = b + -562. Is z a prime number?
True
Suppose -2*z + 3494 = 3*g, 3*g + 0*g = z - 1729. Is z prime?
True
Suppose 0 = -3*o + 16 - 22. Is (o + -317)*(-2 - -1) prime?
False
Let k(g) = 7*g**3 - 3*g**2 - 10*g + 6. Let u be k(5). Let r = u - -643. Is r a prime number?
True
Let z = 0 + -2. Let t be 0/z*(-4)/(-8). Suppose -3*m + 1225 = -5*v, t = m + 3*v + 96 - 523. Is m composite?
True
Let y(s) = -160*s + 2. Let c be y(-5). S