-k*r, -3*r - 4548 = -3*q. Is q prime?
True
Suppose -4*m + 8 = 0, -4*i - 4*m + 5978 = -9*m. Is i prime?
False
Suppose -322*q = -318*q - 22028. Is q prime?
True
Suppose -11*s + 3437 = v - 9*s, -4*s = -5*v + 17157. Is v a composite number?
False
Let s be -6*(-1)/(0 - 1). Let o = s + 10. Suppose -o*d + 637 + 1147 = 0. Is d prime?
False
Is 1244411/42 + (-18)/(-108) a prime number?
True
Suppose -7*d + 8 = 50. Is d/30 + (-20984)/(-20) composite?
False
Let f be 4/14*(-420)/(-30). Is f/(-28) - 5224/(-14) a prime number?
True
Suppose 5*g + 0*f - 15 = -5*f, -18 = -4*g + 2*f. Suppose -869 = -3*s + g*k, 1266 = 5*s - k - 205. Is s a prime number?
False
Let p(o) = 2*o**2 - 2*o - 5. Let h be 6/(-4) + (-9)/18. Let m(f) = -2*f**2 - f + 3. Let i be m(h). Is p(i) composite?
False
Suppose -4*l = -3 - 5. Suppose -3*c + 12 = 3*s, 0*s - 22 = -4*c + l*s. Is ((-466)/c)/(6/(-15)) composite?
False
Suppose 3*a - 42*s + 37*s - 24728 = 0, -4*a + 32999 = -s. Is a prime?
False
Let o(p) = 541*p - 423. Is o(34) a prime number?
True
Let f(t) = t + 87*t**3 - 88*t**3 - 20*t - 5. Is f(-8) a composite number?
False
Let k(c) = c**2 + 2*c - 19. Let r be k(-6). Is -304*220/(-24) - r/(-15) prime?
False
Let m(a) = 16*a - 3. Let h(j) = -j**3 + 10*j**2 - 9*j + 1. Let o(r) = -r**2 + r - 1. Let c(l) = h(l) - 4*o(l). Let q be c(13). Is m(q) prime?
False
Suppose 4*d + 1556 = n - 0*n, -8 = 2*n. Let x = -646 - -377. Let v = x - d. Is v a prime number?
False
Let l = 2593 + -1244. Let b = l - 828. Is b composite?
False
Is (-76072)/(-12) + 20/(-15) prime?
False
Let h(y) = -44*y**3 + 3*y**2 + 19*y - 3. Is h(-8) composite?
True
Suppose a - 1121 = -j, 17*a = 5*j + 12*a - 5565. Is j composite?
False
Let p = 48257 - -26490. Is p prime?
True
Let h be -2*(-3)/(-6) + 0. Let v be (h*(-2 + 4))/(-2). Is 3*309/9*v a prime number?
True
Suppose 2*s = 0, 3*p + 5*s = -p + 8. Suppose p*u - u = 5, 0 = -5*a + u + 6080. Is a a prime number?
True
Let d(v) = v - 1. Let l be d(4). Let k be l*(-2 - -1) + 5. Suppose -4*q - 5*t = -291, 0*q - 150 = -2*q + k*t. Is q prime?
False
Let q be (5/4)/((-3)/(-12)). Let p(h) = -55*h - 17. Let d be p(-7). Suppose -q*y + d = -207. Is y composite?
True
Suppose -7*f + 32 = -11*f. Let i = f - -66. Is i prime?
False
Let i(k) = -3*k - 58. Let q be i(-19). Is 1 + q*4 + 710 + -1 prime?
False
Suppose 187*p - 1099 = 186*p. Is p a composite number?
True
Let i = 10 - 14. Let l(u) = -1 - 8*u + 3 - u - 3. Is l(i) a prime number?
False
Let s(g) = 5 - 5*g**2 + 18*g**2 - g**3 - 12*g - 2*g**2. Is s(9) a prime number?
True
Let a(o) = 555*o**2 + 6*o - 14. Is a(-3) a prime number?
False
Let t = 2656 + -1543. Suppose -7 + 1 = -3*f. Suppose -t = -d - f*d. Is d prime?
False
Is 20*(-21)/(-35) - -29257 prime?
True
Is 4/24 - (-11 - 311773/66) prime?
False
Let p(r) = -2*r**2 + 2 + 31*r - 2*r**2 - 30*r + 2*r**3. Let g(z) = -z - 3. Let f be g(-6). Is p(f) composite?
False
Suppose -j + 7 = 3*r, -j - 2*j - 4*r + 16 = 0. Suppose -2*s = -0*k - k + 165, j*k + 2*s - 630 = 0. Let w = k - 38. Is w a composite number?
True
Let u(j) = -26913*j - 10. Is u(-1) composite?
False
Let n(d) = d + 8 + 0*d + 0*d**2 - 5*d**3 - 4*d**2 + 6*d**3. Let y be n(6). Suppose 0 = -5*l + 2*o + 227, 0 = -2*l - o + 3*o + y. Is l prime?
True
Let q be 2 + 14*(-2)/(-4). Suppose 0 = -p + 3*s - q, 3*s - 22 = -2*p - s. Suppose -p*h = -4*h + 4*n + 53, 0 = -3*h + n + 115. Is h a prime number?
True
Suppose -450 = 10*a - 11*a. Let x = a - -7. Is x composite?
False
Suppose -s = -3*n + 4, -2*s - 1 = -4*n + 1. Let z be 4/n*(-4014)/(-12). Is z - (0 - 1 - 2) prime?
True
Let m(p) = 218*p**2 + 2*p + 1. Let y be (-34)/(-8) - (-1)/(-4). Suppose 5*c + y = c. Is m(c) a composite number?
True
Let j be (4 - 5)/((-1)/3). Suppose -j*b - 5 = -4*b. Suppose -i - 281 = -4*i + 4*s, b*s + 192 = 2*i. Is i a prime number?
False
Let z(l) = 3119*l**2. Is z(1) a composite number?
False
Let u = -52 - -51. Is (88*3)/1 + u composite?
False
Let p(g) = 96*g**2 - 9*g + 32. Is p(7) a prime number?
True
Let w(a) = 2717*a**3 - a**2 + 4*a - 1. Is w(1) a composite number?
False
Suppose 9 = 2*p - 9. Suppose -246 = -5*l + p. Is l a prime number?
False
Let j(p) = 112*p + 5. Suppose 3*h = m - 10, -2*h + 0*m - 10 = -4*m. Let x be j(h). Let g = 474 + x. Is g a composite number?
True
Let k(z) = -17793*z + 102. Is k(-3) a prime number?
False
Let w(t) = 5*t**3 - 7*t**2 - 4*t - 9. Let h(l) = 5*l**3 - 6*l**2 - 3*l - 8. Let x(p) = 6*h(p) - 5*w(p). Let u be x(2). Let r = 168 - u. Is r a composite number?
False
Suppose 0 = -k - 3, 4*a = 8*a - 2*k - 1442. Let f = 114 + -330. Let z = a + f. Is z prime?
False
Let z = 30 - 20. Suppose 0 = 2*s - 4*c + 12 + z, 3*s + 18 = 3*c. Let m = s + 120. Is m a prime number?
False
Let t = 21030 + -14610. Suppose u = -4*u + t. Suppose -3*p - u = -9*p. Is p composite?
True
Let i = -8 - -45. Suppose 4*v + 23 + i = 0. Is (-3156)/v - (-6)/10 prime?
True
Let u(b) = 378*b + 65. Is u(6) prime?
True
Suppose 2*h + 15249 = -5*t, 0 = t + h + 168 + 2883. Let q = -716 - t. Is q a composite number?
False
Is 90542/34 - 3*-2 composite?
True
Suppose 2 = 5*c - 18. Let v be c/3*(-42)/4. Is v*(-44)/8 + 2 a prime number?
True
Let x be 5 + -2 - (-41338)/11. Suppose 0 = 2*b - x + 1243. Is b composite?
False
Let p be 4*(-5)/30 - 548/(-3). Let k = 309 - p. Is k a composite number?
False
Suppose 5*j = -15*j + 200140. Is j a composite number?
False
Suppose -6*k + 7*k = 541. Is k composite?
False
Is (8/(-4) - -53)/((-60)/(-18940)) a composite number?
True
Let n = -118 - -209. Is n a composite number?
True
Let x(v) = -v**3 + 13*v**2 - 15*v. Suppose 7 - 40 = -3*g. Is x(g) composite?
True
Let d = -5 - -9. Suppose 2*u + u - d*v = 9, u + v = 3. Suppose u*b - 347 = -2*n, b - 3*b + 233 = 3*n. Is b composite?
True
Suppose -25*f - 13*f = -144134. Is f composite?
False
Is 3/(27/30516) + (-25)/15 composite?
False
Let a(d) = d - 6. Suppose 3*n = 4*n + 4*t - 17, -5*n - 3*t = -51. Let f be a(n). Suppose -f*b + 187 = -4*g, 4*b - 2*b + 5*g - 163 = 0. Is b prime?
False
Let k(v) be the first derivative of -v**4 - v**3 - v**2 - v - 10. Is k(-2) a composite number?
False
Let j(g) = -2*g**3 - 10*g**2 + 7*g + 1. Let y be 132/(-16) + (-3)/(-12). Let i be j(y). Suppose -2*o = -7*o - 2*m + i, 3*o - 3*m - 189 = 0. Is o a prime number?
False
Let s be (-36)/(-9) - -123*2. Suppose -i + s = -279. Suppose -w + 525 = 2*v, w + 3*v - 5*v = i. Is w a prime number?
False
Let t(i) = -i**3 + 18*i**2 - 13*i - 9. Suppose s + 15 = 5*d + 3, 4*s - 47 = d. Let y be t(s). Let l = -476 + y. Is l prime?
True
Let k be 3*(2*13605/18 - 1). Suppose -c - k = -5*v, v = 5*v - 4*c - 3616. Is v a prime number?
True
Let x be (1 + -2)*(-6 + 12). Let d be x/9*(0 - 9). Suppose -1055 = -d*c + c. Is c a composite number?
False
Let s be 1 + -1 + (-13)/(-13). Let v(r) = 439*r + 4. Is v(s) a composite number?
False
Let v(k) = 2*k**3 + 38*k**2 - k. Let o be v(-19). Suppose 18*w = o*w - 614. Is w prime?
False
Let k(w) = w - 7. Let a be k(10). Suppose 2*m + 0*m - 545 = -a*l, -3*l + 15 = 0. Suppose 2*s + 4*j = 3*s - m, -2*s + 5*j + 530 = 0. Is s composite?
True
Suppose 6384 + 4343 = 17*m. Is m composite?
False
Let b(d) = 7*d**3 - 11*d**2 - 30*d - 29. Is b(15) a prime number?
False
Let o = 441 + 2258. Is o prime?
True
Suppose 4*r - 5*f = 1199, 1468 = 5*r + 2*f + 2*f. Suppose -2*x - 118 = -r. Is x prime?
True
Let a(m) = 3*m + 17. Let g be a(-5). Suppose h + 2 = 2*o - g*h, -5*h + 2 = 2*o. Is (-2*157)/(-3 + o) prime?
True
Suppose g - 5*h = -h + 21, 0 = -5*g + h + 29. Suppose 3*l + 2*u = -2*u + 7721, -2599 = -l + g*u. Is l prime?
True
Let w = 57 - 32. Suppose w = 3*n + c + c, -59 = -5*n + c. Is n composite?
False
Let l = -60 - -63. Suppose l*s = 3137 + 640. Is s prime?
True
Let z(h) = -h + 4. Let s be z(-5). Let o(k) be the third derivative of k**4/6 - k**3/3 - 5*k**2 + 1. Is o(s) composite?
True
Let d(n) = n**2 - 2*n - 10. Let i be 5/(-10)*(0 + 6). Let r be d(i). Suppose -949 = -r*x + 1456. Is x a prime number?
False
Suppose -21*u = -24*u. Suppose u = 5*y - 1509 - 1426. Is y prime?
True
Suppose 0 = 11*r - 937 - 1516. Is r composite?
False
Suppose -8*q - 38 = 122. Let a(g) = -g + 38. Is a(q) a prime number?
False
Let c(m) = 340*m**2 + 1. Let q = -31 - -34. Suppose 0*x - 2*x = -q*r - 4, -x = 5*r + 11. Is c(x) a composite number?
True
Let h = 24 - 19. Suppose -542 = -h*s -