s m prime?
True
Let j(t) = t - 3. Let n be j(6). Suppose m = -m - 2*v + 10, 0 = n*m + 5*v - 15. Suppose -4*y + 3 = -y, m*y = 4*c - 591. Is c prime?
True
Let k(d) = -d**3 + 33*d**2 - 19*d + 41. Is k(20) a prime number?
True
Let p(x) = -14*x - 3. Let i(n) = -99*n - 22. Let m(k) = -3*i(k) + 22*p(k). Is m(-13) composite?
True
Suppose -2*k + 3*m - 7759 = 0, 4*k = -0*k + m - 15503. Let l = -2118 - k. Is l a composite number?
True
Let p = 8427 - 1624. Is p composite?
False
Suppose -8*i = -2*i + 810. Let a = i + 466. Is a a composite number?
False
Let z(t) = 1 - 3*t - t - 6 + 10. Is z(-4) prime?
False
Let g(c) = -c**3 - 5*c**2 - 4*c + 8. Let n be g(-3). Is (n*2/(-4))/(4/(-15628)) a composite number?
False
Let h(j) be the third derivative of 0 + 1/120*j**6 + 13/6*j**3 + 11/60*j**5 + 0*j - 4*j**2 - 1/6*j**4. Is h(-9) composite?
False
Suppose 2*k - 31 + 1 = 0. Let z be 1930/k + 1/3. Suppose 5*i - 1317 = t, 5*t - z + 1454 = 5*i. Is i a composite number?
False
Suppose 6*k = 12*k + 12. Is k/(-3) - (-1)/((-12)/(-3676)) composite?
False
Let h = 7724 + 2899. Is h a composite number?
True
Let z be -3 - 4/((-20)/(-75)). Is -2086*(-5 - z/4) a composite number?
True
Let w(x) = -5 + 519*x + 248*x - 8 - 54*x. Is w(3) prime?
False
Suppose -2*z - 2*q - 256 = -0*z, 5*z - 3*q + 600 = 0. Let g = z + 250. Is g a composite number?
False
Let i(u) = -147*u. Let z be i(-4). Let l be (-5)/(-15) - 1684/(-6). Let b = z - l. Is b prime?
True
Let j(v) be the first derivative of v**3/3 + 17*v**2/2 + 7*v - 1. Is j(13) a composite number?
False
Let y(h) = -5*h - 2. Let o be y(-2). Suppose 12 = -4*c + o*c. Is 144 - 3 - 4 - c a prime number?
False
Suppose 1049*f - 5253 = 1046*f. Is f prime?
False
Is 15284*(1/(-7))/((-28)/49) prime?
True
Let b be 6/15 + (-66)/(-10) + -4. Suppose -1394 = -5*w - 4*l + 1231, b*w - 5*l = 1538. Is w prime?
True
Suppose 6*g - g = -10. Let l be (-894)/4 + g/4. Let j = l + 385. Is j composite?
True
Suppose 5*b + j - 246384 = -52314, 2*j - 77636 = -2*b. Is b a prime number?
False
Let r = 16 + -13. Suppose -r*m + 8*m + 700 = 0. Let w = m - -199. Is w a prime number?
True
Suppose 2*m = -4*m - 3396. Let s = -247 - m. Is s a composite number?
True
Is (-204602)/(-10) + (-360)/300 prime?
False
Let h = 36 + -35. Let q(k) = 91*k - 2. Is q(h) prime?
True
Let k(u) = -u**3 + 32*u**2 - 31*u + 55. Is k(23) composite?
True
Let o(x) = x**3 + 59*x - 69*x + 5*x**2 + 0*x**3 - 15. Is o(13) composite?
False
Suppose 3*j + 10650 = 6*j. Suppose -u + j = 9*u. Is u a composite number?
True
Suppose 6*b = b - 2*d + 6859, -5*b + d = -6853. Is b prime?
False
Let p(w) = -7*w**3 - 1 + 3*w + 8*w**3 - 3*w**2 + 0. Let h be p(3). Let c = 90 - h. Is c a composite number?
True
Let v(n) = 228*n - 7. Let g = -3 - -5. Is v(g) composite?
False
Let f(k) = 4920*k - 39. Is f(4) a prime number?
False
Let y(z) = z**2 - z + 19. Let q(d) = -d**2 + 10*d + 10. Let r be q(12). Let t = -14 - r. Is y(t) a prime number?
True
Let w(r) = -r**3 + r**2 + r + 382. Let z be w(0). Suppose 3*f - 2 = 2*b + 3, -3*b + 5*f - 9 = 0. Suppose z = -0*o + b*o. Is o prime?
True
Let b(v) be the second derivative of 25*v**3 + 7*v**2/2 + 34*v. Is b(2) a composite number?
False
Let g(n) = -n**3 + 6*n**2 + 4*n - 6. Let x = -9 - -7. Let s be -1 - (1 - x)*-2. Is g(s) a composite number?
True
Let v(u) = 6*u**2 - 4*u - 556. Let f(q) = -q**2 + q + 1. Let y(o) = -5*f(o) - v(o). Suppose -4*s + 4*m + 4 = 0, -3*s - 5*m = 215 - 210. Is y(s) a prime number?
False
Let d = -323 + 720. Suppose g = -20 + d. Is g a prime number?
False
Suppose 6*j = 8*j + 18. Let w(l) = 7*l**2 - 2*l - 2. Is w(j) prime?
False
Is 763578/144 - 6/(-16) a composite number?
False
Suppose -5*p = -3*p. Suppose 2*s = 0, p*s + 5 = 5*v - s. Is v/3*1608/8 a composite number?
False
Suppose 2*w - 11653 = 3*j + 5944, -2*w = 3*j - 17615. Is w composite?
False
Is -5 - ((-337359)/165 + 6/10) a prime number?
True
Suppose 8*w - 38195 = 693. Is w prime?
True
Suppose 3*w + h = 11839, -5*w + 4*h + 7275 = -12468. Suppose -2*d + 6*d = -5*n + w, -3*d = -3*n + 2352. Is n a prime number?
True
Let h = 9 - 5. Let q be (-1110)/h*(-2)/3. Suppose 3*x - 2*x = q. Is x prime?
False
Let w(x) = -861*x - 422. Is w(-11) a composite number?
False
Let q = -31 + 36. Suppose q*n - 3*v - 1012 = 0, 3*v + 404 = 2*n + v. Is n a composite number?
True
Let z(i) = 582*i - 283. Is z(16) a composite number?
False
Let k be ((-14)/(-8))/(2/32). Suppose -3*g + 5*w - 121 = -k, 2*g - w + 62 = 0. Let s = 46 + g. Is s prime?
False
Let m be (-1)/1*(-5 + 1). Suppose m*i = 11*i - 413. Is i a prime number?
True
Suppose -12585 = -2*p + 10745. Is p a composite number?
True
Is -17691*6/(-9)*(-5)/(-10) composite?
False
Let n be (-2610)/(-42) + 3/(-21). Suppose 1 = 2*j - 9. Suppose j*d - 1183 = n. Is d prime?
False
Suppose -15*x = -20*x - 1690. Let o = x + 487. Is o prime?
True
Let t(o) = 2*o**3 - 6*o**2 - 2*o + 4. Suppose 5*j + a = -3*a + 53, 0 = -2*j + 5*a + 8. Is t(j) a prime number?
False
Let x(c) = -2846*c - 17. Is x(-6) prime?
False
Let p(b) = -b + 228. Let i be p(0). Suppose -y + i + 439 = 0. Is y prime?
False
Let k be (17/4)/(-4*5/(-160)). Suppose 0 = -k*h + 36*h - 838. Is h composite?
False
Let x = 6468 - -7613. Is x prime?
True
Let z be 1 + -1 - (-5 + 3). Suppose -z*v + 5588 = 1974. Is v a composite number?
True
Suppose 2*s - 4 = 4. Let w be s/5*5/1. Suppose 0 = w*l - 26 - 50. Is l a prime number?
True
Suppose 5*u - 3*g + 4*g = 7982, -u + 5*g + 1612 = 0. Is u prime?
True
Let c = 183 + -9. Suppose -3*b + 15 = -2*f + 80, 5*f + 4*b = c. Is f prime?
False
Is 70/105*144051/2 composite?
False
Suppose -25*y + 39008 = -184067. Is y prime?
True
Let z be 0 + 2 - -2 - 1348. Let r = 313 - z. Is r a composite number?
False
Let w be (-4)/(-20)*1138 + (-3)/5. Suppose w = -r + 1960. Is r composite?
False
Suppose 40*c - 23*c = 107049. Is c a composite number?
True
Let d = -1205 - -1690. Is d prime?
False
Is 8334410/686 - (-4)/(-14) composite?
False
Suppose -3*o + 18659 = 4691. Let w = o + -1385. Is w a prime number?
True
Let n(q) be the third derivative of -1/120*q**6 - 1/20*q**5 - 1/4*q**4 + 0*q - 5*q**2 + 0 - 1/6*q**3. Is n(-4) a prime number?
False
Let w be 2/(-3) - (-1232)/21. Suppose -j = 3*p - w, 4*p + 3*j - 65 = 9. Suppose -b = -2*z - p - 21, 2*z + 152 = 4*b. Is b composite?
False
Let c(l) = -l. Let d(n) = -191*n - 1. Let b(q) = 4*c(q) + d(q). Is b(-2) a prime number?
True
Suppose 15*x - 14*x + 4*z = 19730, -3*z = -5*x + 98719. Is x a prime number?
False
Is 272391/14 + ((-15)/6 - -3) a composite number?
False
Suppose -3 - 9 = 6*b. Is (b - -12)*((-62)/(-4) - 1) prime?
False
Is 5/6*(-8 + 7562) prime?
False
Suppose 2*b = -0*b + 3*j + 7, -j = -3*b + 7. Suppose 3*i - 1655 = -b*i. Is i composite?
False
Let o be 4/14 - (-204)/21. Suppose 0*h = 5*h - o. Suppose 5*s = 4*f - 547, -h*f - 2*f = -s - 567. Is f prime?
False
Suppose -60891 = -13*l + 100972. Is l a prime number?
True
Let d(u) = 849*u**2 + 5*u + 3. Is d(2) composite?
True
Let r = 17 + -13. Suppose -r - 8 = -3*u. Suppose -4*a = -4*z - 164, 5*a - 3*a + u*z = 64. Is a composite?
True
Let k = 21 - 24. Let p be 2 - ((4 - -1) + k). Is (p + -3)/(-3)*457 a composite number?
False
Let z(g) be the third derivative of 5*g**4/24 - g**3/6 - 5*g**2. Let p be z(2). Is (-2 - -1)/(p/(-477)) prime?
True
Suppose -5*i = -59672 + 11427. Is i composite?
False
Suppose h = 5*j - 9728, -7794 = -5*j + j - 5*h. Is (j/4 + -1)*2 prime?
True
Is 4/(-10) + (-351886)/(-290) a prime number?
True
Let j(z) = 188*z**3 - 2*z**2 + z. Let h be j(1). Suppose -3*l + 242 = -h. Is l composite?
True
Suppose -c + 11889 = w, -3*w = -c - 18577 - 17082. Is w a composite number?
False
Let o(c) be the third derivative of -71*c**4/12 - 11*c**3/6 + 18*c**2. Is o(-3) a composite number?
True
Let r = 67207 - 22114. Is r composite?
True
Let f be (-42)/(-9)*(-6)/(-4). Suppose f = -3*l + 4*l. Suppose 3*m - k = l*m - 1036, -2*k = 2*m - 518. Is m a composite number?
True
Let m be (-17)/(-34) + (-9)/(-2). Suppose -5*k + 39 = -u - 0*u, -5 = -m*u. Suppose 6*n + 242 = k*n. Is n a prime number?
False
Suppose -11*y + 5*y = 0. Suppose -3*i - p = -5964, y = 4*i - 5*p - 6942 - 991. Is i a composite number?
False
Let r(j) = -4*j**3 - 54*j**2 + 14*j + 17. Let z(p) = p**3 + 18*p**2 - 5*p - 6. Let q(f) = 2*r(f) + 7*z(f). Is q(15) a composite number?
True
