= 870*d + 5. Let c be w(3). Is (c/(-10) - 2)*-2 prime?
False
Let s be 1*577 - (-12 - -15). Let k = s + -373. Is k composite?
True
Let n(q) = -1304*q + 147. Is n(-5) a prime number?
False
Suppose -337*p = -330*p - 87143. Is p a prime number?
False
Let b(f) = 7166*f**3 + 2*f**2 - 5*f + 2. Is b(1) composite?
True
Let m(r) = 2*r**3 + r**2 - 2*r. Let y be m(-3). Suppose t + 15 = i - 5, 3*i = t + 20. Let z = t - y. Is z prime?
True
Suppose -2*l - 4 = -2*x, -3 = -x - l + 5. Suppose -x*f + 4*q + 3595 = -0*f, -4*f - 3*q + 2876 = 0. Is f a composite number?
False
Let y be -5*(-6)/20*(-24)/(-9). Suppose -y*v + 1664 = -4*l, 3*v - 2*v + 5*l - 434 = 0. Is v a prime number?
True
Suppose 2 = p, n + 5*p - 315 = 240. Is n a prime number?
False
Let g(k) = 26*k**3 - k**2 - k + 1. Suppose -6 = -3*y + 3. Is g(y) prime?
True
Suppose 0 = -7*r - 14*r + 392469. Is r composite?
True
Suppose 7*n - 2*n - 40 = 0. Suppose -n*a = -2*a - 1326. Suppose -2*w + a = 3*m, -m - w + 48 + 24 = 0. Is m composite?
True
Suppose 0 = -h - z - 11, -4*h - z - 50 = -3*z. Is (1437/6)/(-3*2/h) a prime number?
True
Let q = -1791 + 4247. Suppose q = m - 0*m - 5*s, -m = 5*s - 2426. Is m a prime number?
True
Suppose -15 = 5*j, o - j - 4 = 2*j. Let a be (-3)/5 - 3/o. Suppose a = 9*s - 6*s - 654. Is s composite?
True
Let s be 0 + -1 + (10 - -2387). Let i = s + -1399. Is i a prime number?
True
Let r(l) = 8*l + 3. Let a be r(-1). Let c(z) = -848*z + 27. Is c(a) a composite number?
True
Let l(r) = 24*r**3 + 6*r**2 + 7*r - 6. Let k(s) = -49*s**3 - 11*s**2 - 13*s + 11. Let u(j) = 4*k(j) + 7*l(j). Is u(-3) a prime number?
False
Let q = -80 - -399. Is q composite?
True
Let p(c) = c**2 - 13*c + 20. Let d be p(11). Let m(g) = -206*g + 3. Is m(d) a prime number?
False
Suppose 4*m - 1282 - 282 = 0. Suppose 2*l + 189 = -m. Let r = 759 + l. Is r composite?
True
Let h = 3415 + -1159. Suppose 642 = -2*n + h. Is n a composite number?
True
Let m = -1038 - -2616. Let x = m - 877. Is x a composite number?
False
Suppose -4*q - 3 = -8*f + 3*f, 6 = 2*f. Suppose -7*b = -q*b - 8. Suppose 2*u = -b, -5*u + 306 = 5*v + 76. Is v composite?
False
Let k(t) = -24*t**2 + 2*t + t + 3*t + 61*t**2. Let s be k(8). Suppose -5*h = -s - 259. Is h composite?
True
Let s be (-480)/(-10)*(-1)/(-2). Let j(f) = 28 + s*f**2 - 14 - 13 - 2*f. Is j(-5) composite?
True
Suppose 0 = 4*g + m - 132, 4*m - 8 = 2*m. Let n = g + -7. Suppose w - n = 42. Is w composite?
False
Suppose -2*j + 3*j = 0. Suppose -20 = -j*x - 2*x. Is ((-8)/6)/(x/(-615)) prime?
False
Let s be (-8)/(-6)*(-45)/(-10). Let d(y) = -57*y + 2. Let c be d(s). Let m = -181 - c. Is m composite?
True
Suppose 4*i - 5*i + 6 = 0. Is 4/i*(-2973)/(-2) composite?
False
Let k(d) = -641*d + 15. Let q(o) = -o**3 + 28*o**2 + 28*o + 25. Let z be q(29). Is k(z) prime?
True
Suppose -5*w + 2*y = -79683, w + 15933 = 2*w - 4*y. Is w a prime number?
True
Let d be -5*(2 + -1215 - 0). Suppose -28*f + 23*f = -d. Is f composite?
False
Suppose 120*v - 121*v + 70783 = 2*b, 0 = 4*b. Is v a composite number?
False
Let p be (3 - 4) + -11 + 2. Is 2 + 5/(p/(-498)) composite?
False
Let s = -82 - -111. Let u = s + -16. Is u composite?
False
Let r = 591 + -20. Is r a composite number?
False
Suppose 3*r + 499 = 2*w + 55, 2*w - 440 = 4*r. Is (w - 11)/(2 + -1) composite?
True
Let l = 18 - 12. Let p be l + -3 - 3 - -5. Suppose 368 + 902 = p*t. Is t a composite number?
True
Is (-2583925)/(-125) - (-4)/(-10) composite?
True
Let f = -14114 + 26737. Is f composite?
True
Let c(b) = -b**2 - 21*b. Let n = 42 + -59. Let l be c(n). Suppose 4*o - 12 = 0, -p + 5*o = -0*p - l. Is p prime?
True
Suppose 8 = 2*r + 2. Suppose -1499 - 475 = -21*c. Suppose -r*t + 17 = -c. Is t a composite number?
False
Let i(h) = -h**3 + 8*h**2 - 5*h + 3. Let j be 2 + 8/(-12)*-3. Suppose 3*q = j*g - 35, 0*g + 4*q + 30 = 2*g. Is i(g) a composite number?
False
Let x(r) be the second derivative of 15*r**4/4 - 2*r**3/3 - r**2/2 - 5*r. Is x(-2) prime?
False
Let q be 3/(-9)*0/4. Suppose -j + 2*o = -519, q*j - 5*o = j - 540. Suppose -3*u + j = 36. Is u composite?
False
Let r = -1417 + 530. Let l = 1424 + r. Is l a prime number?
False
Suppose -f - 4*y + 34 = 2*f, -2*f - 4 = -4*y. Is ((-1689)/f)/((-6)/4 + 1) a composite number?
False
Suppose 0 = -4*t + 135 + 2461. Let g be t/(-11)*(-2)/2. Let y = g + -40. Is y a composite number?
False
Let o(a) = 151*a - 7. Suppose -2*i = -i + 4*x - 11, -3*i + 2*x - 23 = 0. Let c be -1 + -2 - i/1. Is o(c) composite?
True
Let p = 695 - 316. Is p prime?
True
Suppose -2*d - 19 = -n + 3*d, 0 = -5*n + 5*d + 15. Is 251/(-2)*(6 - 4)*n a composite number?
False
Let a = 5443 + -2304. Is a a composite number?
True
Suppose -5*p + 0*i = 3*i - 30, 5*i = 25. Suppose 537 = p*y - 0*f - 2*f, 5*y - f = 902. Let v = -18 + y. Is v prime?
True
Suppose 9*l = 274513 - 58792. Is l a prime number?
False
Let u(w) = 15*w**3 + w**2 - w + 1. Suppose 3*h + 0 - 3 = 0. Let g be (4 - h) + (-2 - -1). Is u(g) prime?
False
Let r(i) = 72*i**3 - 2*i + 1. Let c = 7 - 4. Let x be ((-2)/c)/(16/(-24)). Is r(x) composite?
False
Suppose 4*f - 5444 = -4*h + 2*f, 5*h - f = 6805. Suppose -3*p + 4*p - h = 0. Is p composite?
False
Let q(t) = 2968*t - 45. Is q(1) a composite number?
True
Suppose 4*i + n - 109526 = 0, 4*i + 24*n - 109530 = 21*n. Is i a composite number?
True
Suppose t = -4*u + 5, -3*t + 0*t = -4*u + 17. Let d(c) = -23*c**2 + 12*c**2 + 159 - 2*c + 12*c**u. Is d(0) composite?
True
Let u(i) = -7 - i + 7 + 10. Let h be u(8). Suppose -j + 3*r = -302, -5*j - 4*r = -h*r - 1459. Is j prime?
True
Suppose 2*h - 3*g = 9535, -3*h - g + 3*g = -14305. Is h a prime number?
False
Suppose -j = -3*l + 5, -3*l + j + 7 = l. Suppose 2*s - 3*s + 623 = l*w, w - 627 = -s. Is s prime?
True
Let c = 761 + 2310. Let r be (-4)/(-20) - c/5. Is 4/(24/(-3))*r composite?
False
Let m(t) = -340*t + 1. Let l be m(-7). Suppose 2*q = -k + l, k - 5*q = 5*k - 9527. Suppose -3*p + k = -2*c, 3*c = -p - 350 + 1159. Is p prime?
True
Let o be (-12)/(-5) + 2/(-5). Suppose z + z + 262 = 0. Is (0 - 2)*z/o a composite number?
False
Suppose 35*f = 12*f + 56557. Is f a prime number?
True
Is (-71 + -5360)*(0 - 1) composite?
False
Suppose -16 = 4*q - 8*q. Suppose 857 = -q*u + 4405. Is u a prime number?
True
Let g be 150/(-15)*(-1)/2. Suppose g*x = -0*i + 2*i + 4425, 1749 = 2*x - 5*i. Is x prime?
True
Let y(g) = 2*g**3 + 3*g**2 + 8*g - 1. Suppose -2*b + 4*f - 42 = -7*b, 2*f = 6. Is y(b) composite?
False
Let v = 11 - 14. Let t be (-2 - (-19)/v)*-6. Is t - 3/(-6 - -3) composite?
True
Let f(l) = -l**2 - 10*l + 9. Let i be f(-11). Let g be 2/((-4)/(-18)*3). Is i + ((-534)/g)/(-2) a prime number?
False
Let p = -3515 - -7002. Is p a composite number?
True
Let n = 33 - 31. Suppose n*b = 25 + 153. Is b a composite number?
False
Let c = 4987 + -1650. Is c composite?
True
Let y(i) = 699*i. Let k be y(1). Suppose -a = 2*a - k. Is a prime?
True
Let n = 20132 + -8935. Is n a composite number?
False
Let s = 37 - 22. Suppose -s = -m - 0*m. Suppose r - 3*y - m = 0, 0 = -4*r - 0*y - y + 86. Is r composite?
True
Let q be (-11032)/10 - (-4)/20. Let k = q + 1563. Suppose -375 = -5*i + k. Is i a prime number?
True
Let o(t) = t**3 + 14*t**2 - 14*t - 10. Suppose 18 = -s - s + 4*u, -2*u - 4 = 0. Is o(s) prime?
False
Suppose u - 1146 - 201 = -q, -u + 1323 = -5*q. Is u a composite number?
True
Let q be 4 - (-3 + 7 - 0). Let i(z) = 2*z + z**3 - 2*z + 291. Is i(q) composite?
True
Suppose l = -0*l - 4*j - 75, -l - 2*j - 73 = 0. Let b = l - -74. Is b a prime number?
True
Let h be (6 - -1) + (-2)/6*3. Is (-2074)/(-3) - h/18 composite?
False
Is 0 + 3142 + (-4 - (-15 - -6)) prime?
False
Suppose v + 5*v = 3942. Suppose -j + v = -4*k, 0*j = 4*j + 2*k - 2700. Is j composite?
False
Let f(r) = -2*r**2 - 5*r + 6. Let z be f(-5). Let a = z + 23. Suppose 1611 = 5*y + 4*t, y - 622 = -y + a*t. Is y prime?
False
Let c(r) be the second derivative of -65*r**3/6 - 3*r**2/2 - 2*r - 7. Suppose 15 = -4*z - 1. Is c(z) prime?
True
Suppose 18*u - 478752 = -14*u. Is u prime?
False
Let b(n) = -11*n + 159. Let l be b(14). Suppose 0*y + y - 54 = 0. Suppose -389 + y = -l*i. Is i a composite number?
False
Let g(u) = -9*u + 78. Let r be g(-13). Is r - (1 - (-5 - -2)) prime?
True
Suppose -14*n - 3*n + 71349 = 0. Is n prime?
False
Suppose 4*o - 17 = o - x, -2*o + x = -3. Suppos