= 3*l + 5*t - s. Is l a prime number?
True
Let a = 7438 + -3559. Suppose -17*k = -14*k - a. Is k composite?
True
Let h(m) = m**2 - 7*m + 15. Let o be h(6). Let n = -9 + o. Let w(v) = -v + 111. Is w(n) a composite number?
True
Let q = -319 - -1329. Let t = 791 + -1352. Let b = t + q. Is b composite?
False
Let z(l) = l**3 + 2*l**2. Let y be z(0). Let v(f) = -f**2 + y*f**2 + 1 + 0*f**2 + 2*f + 13*f**2. Is v(2) composite?
False
Let v(k) be the third derivative of 7*k**5/60 - k**4/8 + k**3/2 + 5*k**2. Is v(-7) a composite number?
False
Let y(c) = -97*c - 6. Let p be y(4). Let t = p - -1025. Is t a composite number?
False
Suppose 27 = 4*w - 1. Suppose -4*i = u - 105, 1 + w = -2*i. Is u a prime number?
False
Suppose i + 8 = 2*l, l - 2*l + 2*i + 4 = 0. Is 465 - (-3 + l) - 4/(-2) a prime number?
False
Suppose -9 = -3*z + 3*y, -3*z - 2*y - 7 + 26 = 0. Suppose -4*q = -7 - z. Suppose -3*p + 395 = i, -5*i + q*p = -p - 2051. Is i a prime number?
False
Is (-35268)/8*(-16)/24 a prime number?
True
Suppose -108349 - 39291 = -8*c. Is c a prime number?
False
Let l be 102/14 + (-2)/7. Let u be (1/(-3))/(l/84). Is (1 - 173)/u - -4 a composite number?
False
Suppose z + 3*i = -0*z + 5048, 4*i = z - 5055. Is z composite?
False
Suppose -5*h = -7*h - 428. Let z be 726/2 + 0/(-1). Let n = z + h. Is n a composite number?
False
Suppose 1911 = 3*k + 639. Let w = -261 + k. Is w prime?
True
Let g(a) = 14*a + 873. Let o(i) = -5*i - 291. Let z(q) = -q**3 - 18*q**2 - q - 10. Let n be z(-18). Let m(h) = n*o(h) + 3*g(h). Is m(0) composite?
True
Let t be 24/(-18)*(-3)/(-2). Let w(z) = -z**2 - 3*z - 1. Let g be w(t). Is (0 - -11)/(0 + g) composite?
False
Let x = -6504 - -11329. Let t = -17 - -22. Suppose -t*l + 0*l + x = 0. Is l a composite number?
True
Suppose -2008 = 9*n - 7*n. Let q = -597 - n. Is q prime?
False
Let r(b) = 81*b - 19. Let x = -44 - -50. Is r(x) composite?
False
Let s(c) = 3*c**3 - 6*c**2 - 21*c + 43. Is s(14) a prime number?
False
Let g(m) = 7*m - 5. Let x(f) = -7*f + 4. Let p(w) = -3*g(w) - 4*x(w). Let c be p(1). Let a(q) = 32*q - 7. Is a(c) composite?
True
Let t be -31*(0 + 1)*(-584)/4. Let k = t - 2359. Is k prime?
False
Is (121772/3)/(360/270) a prime number?
False
Let q(f) = -4*f + 31. Is q(-24) composite?
False
Suppose -7523 = 61*i - 62*i. Is i composite?
False
Let c(d) = -7*d - 8. Let x(m) = 3*m + 6. Let o be x(-4). Is c(o) a composite number?
True
Suppose 98*a + 77414 = 100*a. Is a prime?
True
Let q = 26 + -16. Let f be 6/(-15) + 1914/q. Suppose -f = -5*m + 2*z - 0*z, 0 = 3*m + 2*z - 105. Is m composite?
False
Let u(x) = -24 + 26 + 32 - 12*x + 15 + 12*x**2. Is u(6) composite?
False
Let m(i) = 4*i - 15*i + 3*i - 6 + 20*i**2 + 5*i. Is m(5) a composite number?
False
Suppose 0 = 4*m - 3*m + 5341. Let j be (-6)/8 - m/28. Suppose 2*r - 8 = 0, 3*y - 5*y = 3*r - j. Is y a composite number?
False
Let r(f) = -68*f**3 - 3*f**2 + 4. Let w(j) = -9*j + 68*j**3 + 9*j + 4*j**2 - 5. Let k(m) = -5*r(m) - 4*w(m). Is k(1) composite?
False
Let z = -12 + 14. Suppose -3*g - z*g = -2055. Suppose h + 3*h = -5*n + g, 4*n = -2*h + 330. Is n a composite number?
False
Let a = 138779 + -38730. Is a a prime number?
True
Suppose 2*x - 2161 = -z, -12 = 2*z + 2*z. Is x a prime number?
False
Suppose -3*h - 12 + 3 = 3*d, 0 = -5*d - 2*h - 15. Is (-1466 + d)*(-5 - -4) composite?
True
Let u = 22 + -22. Suppose 0 = t - 4*x - 10, -4*x - 4 - 8 = u. Is (-113)/((-6)/2 - t) prime?
True
Let c(a) = -a**3 + 9*a**2 + a + 2. Let v be c(7). Suppose -3*d = -d - 4. Suppose -5*s = -u - d*s + 31, 5*u - 3*s - v = 0. Is u a prime number?
True
Let l be ((-30)/(-9))/((-10)/(-1455)). Suppose -277 = -3*g + l. Is g prime?
False
Suppose -2*t + 4*m = -3458, -12*t = -10*t + 3*m - 3479. Is t a composite number?
True
Let o = -15594 - -30407. Is o a prime number?
True
Let r(b) = -b**2 - 2*b + 4. Is r(-2) prime?
False
Is (-99431)/(-10) + 1/(-10) composite?
True
Let n(r) = 9*r**2 + 2*r - 3. Let z be -32*-2*(-4)/(-16). Suppose 4*v = 2*v - z. Is n(v) prime?
True
Suppose 0 = 5*s + r + 10495, -2*s - r + 4*r - 4215 = 0. Let d be (983/(1 + -2))/(3 - 2). Let w = d - s. Is w prime?
True
Suppose 5*u - 30 + 5 = 0. Let j = 11 + u. Suppose j*y = 11*y + 1645. Is y a composite number?
True
Suppose 18*b - 15*b + 4*h = 1433, 0 = 3*b - h - 1408. Is b composite?
True
Let q = -42 + 46. Suppose -4*w + 1054 = y - 3*w, -q*y - 2*w = -4206. Is y composite?
False
Let n = 8 + -12. Let u be 0/(0 + n + 6). Is -1 - -3 - (-57 - u) a composite number?
False
Suppose 5*z + 5*k = 83417 - 21187, z - 12436 = -3*k. Is z prime?
True
Suppose -6*o + 11*o - 282545 = 0. Suppose 3*v + 10324 = o. Is v composite?
True
Let p(i) = -2*i**2 - 6*i + 3. Let g be p(-3). Suppose -3*m = g*r - 1890, 0 = r + 2*m + 3*m - 610. Is r a prime number?
False
Suppose -r - 24 = -3*r. Suppose r*n - 8*n + 20 = 0. Is 734/2 + (-5 - n) a composite number?
False
Suppose -w = 2*w. Suppose 5*l - 62 = 3*n - 0*l, -5*n - l - 122 = w. Let g = 93 + n. Is g prime?
False
Let s(v) be the third derivative of v**5/60 - 2*v**4/3 + 2*v**3 - 22*v**2. Is s(-13) composite?
False
Is 4*4/(-8) + 40193 prime?
False
Suppose d = 2*v + 16, -d + 4*d = 3*v + 45. Let f(r) = -r**2 + 22*r - 15. Is f(d) prime?
True
Let v = -18 + -9. Let a = 140 - 76. Let u = v + a. Is u composite?
False
Let t = -80 - -85. Suppose 3*i - 1952 = 2*i - 5*x, t*i - 2*x - 9841 = 0. Is i composite?
True
Let y(k) = 1346*k**2 + 7*k + 4. Is y(-3) composite?
False
Let k(u) = u**2 + 10*u + 25. Let w be k(-8). Suppose -w*n - 1302 = -15*n. Is n a composite number?
True
Let n be 6/4*(-8 + 10). Suppose -n + 7 = t. Suppose -t*i + 0*r - 4*r + 368 = 0, -2*i = -4*r - 154. Is i a composite number?
True
Let v = -809 - -2170. Is v composite?
False
Let m(w) be the second derivative of -w**5/10 - w**4/2 + 19*w**3/6 - 5*w**2 - 14*w. Is m(-9) prime?
False
Suppose f = 8*f - 8379. Suppose -4511 = -2*s - f. Is s prime?
True
Is (6103204/(-102))/(6/(-9)) composite?
False
Suppose 10*t - 12*t = -16. Suppose -13*q = -t*q - 2350. Let p = -57 + q. Is p composite?
True
Suppose -4*k + 28573 = -34299. Let m = -9047 + k. Is m a composite number?
True
Let u(v) = -2*v**2 + 3*v - 2. Let y be u(1). Let r(m) = m - 4. Let l be r(4). Is l + (13 - (y + -1)) a prime number?
False
Let g(y) = -y**3 + y**2 + 3*y + 2. Let l be g(0). Suppose 0 = k - 4*n - 26, 2*k - 5*n = 5*k + 7. Suppose -m + k*m = -5*o + 920, m + 353 = l*o. Is o prime?
True
Is (-6)/(-9) - ((-36888)/18 + -3) prime?
True
Let k be -3 + (-2031)/(-3) - 4. Suppose -6*v = -4*v - k. Is v prime?
False
Let h(w) = -13*w + 1. Suppose 5*t - 2 = -3*v + 15, 0 = 5*v + 4*t - 24. Suppose v*g - 30 = 9*g. Is h(g) prime?
True
Suppose -3*d = 4*k + 722, 0*k - 724 = 4*k + 4*d. Let b = 114 - k. Suppose -w + b = -q + 2*q, -5*q - 1172 = -4*w. Is w composite?
False
Suppose -3*n = -3*u, -3*u + 4*n = 7*n + 12. Is 223/(u - (-1 + -2)) prime?
True
Suppose 4*o - 4 = 4*n, 5*n - 2*o + 3 = 10. Is 0*-4*n/(-24) - -3 composite?
False
Let o(d) = -d - 36. Let z be o(0). Let u = -17 - z. Is u composite?
False
Let v = -9567 + 20966. Is v a prime number?
True
Suppose -3*b + 16 = 16. Is 1477 + (-4)/(-16)*b a composite number?
True
Let h(u) = -u + 5. Suppose 6 = 3*p - 2*n, -3*p - 2*p - 4*n = -10. Let x be h(p). Is -7 + x - -7 - -139 composite?
True
Suppose -4*b - 1220 = -8*b. Is b composite?
True
Let m = 6 - 1. Suppose 330 = -m*s - 125. Let y = -12 - s. Is y a composite number?
False
Is (5684/(-2))/(-1) + 1 composite?
False
Let u(o) = o**3 + 3*o**2 + o. Let w be u(-2). Let y = 6 + -3. Suppose -4*j - y*p + 112 = w*p, -70 = -2*j + p. Is j composite?
True
Let d = -26779 + 47246. Is d a prime number?
False
Let m(c) = c + c + 3*c - 4*c + 1. Let g(v) = 138*v + 7. Let d(f) = -g(f) + 6*m(f). Is d(-1) prime?
True
Is 460871/5 + (-30)/25 a composite number?
False
Let w = -127 + 317. Suppose 0 = 5*v + 3*k - 818, -2*v = 4*k - 126 - w. Is v a prime number?
False
Let w = -9520 - -17787. Is w a prime number?
False
Suppose 4*o - 3*o = -1. Let j be (o/2)/(10/(-20)). Let d(k) = 85*k - 2. Is d(j) composite?
False
Suppose -v + 4*v + 3*c = -4707, -4*c = v + 1554. Is (v/(-6))/(20/180) composite?
True
Suppose -3*d = -2 - 7. Suppose 3*v = -4*x + 5 - 2, -1 = d*x - v. Suppose 27 + 276 = 2*h + o, x = -3*o + 15. Is h prime?
True
Suppose -224646 = -210*w + 204*w. Is w prime?
True
Is (53 - -764) + -