 m(t) = 3929*t - 354. Is m(11) prime?
False
Let j = -2 + 8. Let x(n) = 7 + 17*n**2 - 2 + 144*n - 137*n. Is x(j) composite?
False
Is ((-30)/(-35) - 5/(-35))*2579 composite?
False
Suppose 4*w = 8, -3234 = -0*y + 5*y + 3*w. Let n be ((-56)/(-32))/(2/(-184)). Let b = n - y. Is b composite?
False
Suppose -4*m = -1242 - 9682. Is m prime?
True
Suppose 27 + 136 = -n - 2*j, 5*n - 5*j + 860 = 0. Let s = n + 258. Is s a composite number?
False
Suppose -4*n + 13641 = -n. Is n a composite number?
False
Suppose 0 = -5*l + m + 16720, 4*l = 16*m - 11*m + 13397. Is l prime?
True
Let f(z) = 22*z**3 - 13*z**2 + 41*z - 9. Is f(17) composite?
True
Let u = 2 + -525. Let o = u - -1521. Is o prime?
False
Let o(y) = 137*y - 5. Let t = 8 - 11. Let f be o(t). Is f/(-12) + (-1)/(-3) a prime number?
False
Suppose -2*i = 8, -10*i = -3*j - 12*i + 4. Suppose -5*h = n - 2910, j*h - 2*n = 2*n + 2352. Is h a prime number?
False
Let q(x) be the first derivative of -x**5/20 - 7*x**4/12 + 5*x**3/3 + 11*x**2/2 + 7*x + 1. Let a(w) be the first derivative of q(w). Is a(-9) prime?
True
Let v be (-70)/(-9) + (-12)/(-54). Is ((-1 + -1180)*1)/((-4)/v) composite?
True
Suppose 207 = f + 2*z - 2028, f - 2239 = 2*z. Is f a prime number?
True
Let n = 93 - -246. Is n a composite number?
True
Suppose -h + 11 + 12 = 0. Suppose -19*u = -h*u + 2492. Is u prime?
False
Let p = 1157 + -404. Let c(l) = -43*l - 82. Let d be c(-2). Suppose h = d*h - p. Is h a prime number?
True
Let i = -230 - -420. Suppose -4*d = i - 1618. Let l = 1498 - d. Is l prime?
False
Let m(n) = 8*n**2 + 21*n - 34. Is m(7) composite?
True
Is (8501/2)/(1/(-10)*-5) composite?
False
Suppose 11*h = 6*h - 230. Let r = h + 64. Is (-1)/(-2) - (-2565)/r prime?
False
Let h be 8/6*8/(96/(-18)). Let l(s) = 168*s**2 - 3*s - 1. Is l(h) a prime number?
True
Let z = 2377 - 184. Suppose -4*r - 2205 = -7*r + 3*t, 0 = -3*r - t + z. Suppose 4*n - c = 4*c + r, -352 = -2*n - c. Is n composite?
True
Let k = -8 - -15. Suppose -3*b = -k*b + 1784. Is b composite?
True
Is 1/(-4) - 655739/(-28) a composite number?
True
Suppose 105*f - 21884 = 101*f. Is f a composite number?
False
Let d(w) = 4*w + 2. Let a be d(-1). Let p(g) = -23*g. Is p(a) prime?
False
Is -3*(-7)/(-42)*-1906 prime?
True
Let q be -2*-3*3/6. Suppose 0 = -7*m + q*m + 20. Suppose m*h + 2*u = 280, 5*h = 2*u - 60 + 360. Is h a composite number?
True
Is (-6)/10 + (1953/5 - -5) composite?
True
Suppose 42 = 2*r - 72. Suppose 199 = 2*n + r. Is n prime?
True
Let i(v) be the second derivative of 41*v**5/20 + v**4/12 - v**2/2 + 2*v. Is i(2) prime?
True
Suppose 4*c = 4*h, -2*c - h - 4*h + 14 = 0. Suppose 0 = c*w - 91 - 1113. Suppose 708 = 5*t - w. Is t composite?
True
Let d(p) be the third derivative of -5*p**4/24 + p**3/2 - 5*p**2. Let w(y) = y + 4. Let s be w(-12). Is d(s) a prime number?
True
Let p = 50 + -27. Suppose 2*m - 2*s - 28 = -3*s, -2*m + 12 = 5*s. Let l = p - m. Is l composite?
False
Suppose -5690 = -4*v - 246. Is v a composite number?
False
Let f(u) = 131*u**3 + u**2 - 4*u - 1. Let n be f(2). Suppose n = 14*r - 7*r. Is r a composite number?
False
Let b = -2136 - -2138. Let l(c) = 2*c**2 - 2*c - 1. Let j be l(2). Suppose 3*p = -4*m + 1673, j*p = b*p - 3*m + 551. Is p composite?
False
Suppose 6*j + 3404 = 10*j. Let x = j - 270. Is x a composite number?
True
Let t = 216 - 54. Let c(d) = 56*d**3 + 3*d - 3. Let w be c(2). Let f = w - t. Is f prime?
False
Suppose -11*b + 189345 - 45014 = 0. Is b prime?
True
Let d(p) = -128*p - 3. Suppose 5*x + 66 = 11. Is d(x) a composite number?
True
Is (8 - -5)*2003 + 6 composite?
True
Let n(l) = -24*l**3 + 29*l**2 + 12*l - 5. Let u(p) = 12*p**3 - 14*p**2 - 6*p + 2. Let v(q) = -3*n(q) - 7*u(q). Is v(-4) a composite number?
True
Is 0 + 0 + -4 + 8465 a prime number?
True
Let u be (-4)/12 + (-3)/(-9) - 95. Let x be (-1)/(2 - (-213)/(-108)). Let o = x - u. Is o prime?
True
Let z = -16 + 26. Let l = -6 + z. Suppose s + 307 = 4*b + l*s, -b + 91 = -4*s. Is b a prime number?
True
Let g(o) = -21*o**2 + o + 10. Let v(w) = -22*w**2 + w + 9. Let x(r) = -5*g(r) + 6*v(r). Let m(q) be the first derivative of x(q). Is m(-2) composite?
False
Suppose 5*a - 2085 = -5*c, 3*a + 2*a = -c + 2081. Let b = a - -7001. Is b composite?
False
Let n = -48 + 53. Let t = -11 + -359. Is t/(-2)*(n + -4) prime?
False
Let l = -444 + 1080. Let u = 1082 - l. Is u composite?
True
Suppose -20 + 11 = -3*z. Suppose 3*t = 3*o - 219, -z*o - 224 = 3*t - o. Let l = t - -131. Is l a prime number?
False
Let v = 7701 + -5000. Is v a composite number?
True
Let f(r) = 74*r + 32. Let a be f(20). Suppose -256 + a = 8*m. Is m a prime number?
True
Suppose 2*v = 5*x - 10, -5*x + 3*v + 4 = -3*x. Let a(w) = 16*w**2 + 39*w**2 - 1 + 13*w**x + 4*w**2. Is a(-1) a prime number?
True
Let t be 6/12 - 6/(-4). Suppose -h + m + 184 = -0*m, -h = -t*m - 183. Suppose 4*r = -r + h. Is r a composite number?
False
Let m(b) = 2*b**2 - 1. Let p be m(-2). Let f = p - 3. Suppose 5*a + 2*o - 57 = 0, -2*o + 42 = f*a - 4*o. Is a prime?
True
Let u(b) = b**3 + 16*b**2 - 10*b + 15. Let q be u(-13). Suppose -2*c = c + j, 4*j = 4*c. Suppose 0 = -4*y - c*y + q. Is y prime?
True
Is (-12)/(-3) + 116094/11 + 1 a composite number?
False
Suppose 0 = -5*s - 3*d + 20516, 2*s - d - 4108 = s. Is s a composite number?
True
Is (-3 - (-4)/(-2)) + (-253280)/(-20) prime?
True
Let q be (-1)/(-5) - ((-19)/5 - 0). Suppose -q*r - 652 = -4*c, 2*r + 101 = c - 62. Is c a prime number?
True
Let m = 3683 - 1230. Suppose -m = 4*a - 15*a. Is a a composite number?
False
Let s = 1181 + 168. Is (3 - 5)/((-2)/s) prime?
False
Let k(c) = 38*c**2 + 4*c - 5. Suppose 10*r + 5 = 9*r. Let h be k(r). Let q = 1322 - h. Is q a prime number?
True
Let h = -16 + 12. Let i = 7 + h. Let q(f) = 7*f**2 - f - 1. Is q(i) a composite number?
False
Let s(d) = d**3 + 10*d**2 + 6*d + 10. Let q be s(-4). Let h = 27 + q. Is h a composite number?
False
Let a(o) = 3*o + 18. Suppose -6*y - 3 = 33. Let t be a(y). Suppose -3*n + 4*z + 0*z + 113 = t, 3*z - 12 = 0. Is n a prime number?
True
Suppose 0 = -c - h + 707, -2796 = -12*c + 8*c + 4*h. Is c a composite number?
True
Suppose -2*k + n + 8 + 7 = 0, 5*k = -n + 20. Suppose q + 12 = -3*b, -5*q - 7 - 3 = k*b. Let i(x) = 10*x**2 + 3*x - 2. Is i(q) composite?
False
Suppose -l + 2 = -1. Suppose l*z - 13 = 14. Suppose 4*o = z*o - 615. Is o prime?
False
Suppose 5*p = 6*p - 6. Let d be 3/(-12)*-19 - (-5)/20. Suppose 0 = 2*m - p, -2*m + 1337 = d*b + 2*m. Is b a prime number?
False
Suppose 3*f - 85 = -m - 12, -5*m + 53 = 2*f. Suppose 20*w + 3684 = f*w. Is w a composite number?
True
Let i = -18 - -19. Let l be i + (-2 - (-15)/(-1)). Is (l/(-24))/((-2)/(-1293)) a prime number?
True
Let f(k) = 7*k**3 - 17*k**2 + 2*k + 13. Let b(l) = -15*l**3 + 34*l**2 - 4*l - 25. Let x(w) = -6*b(w) - 13*f(w). Let s be 14 - (-3 + -3 + 4). Is x(s) prime?
False
Suppose 7*v - 282970 = 57559. Is v composite?
False
Suppose 2*o + 415 = -3*o. Let c = o - -202. Is c prime?
False
Let c(x) = -107*x**3 - 2*x**2 + 2*x - 1. Let a be c(1). Let l = -13 - a. Is 42123/l - 4/10 a composite number?
False
Suppose 5*m = -0*m - k + 840, 4*k = 5*m - 815. Suppose -31 = -3*w + m. Let g = -32 + w. Is g a prime number?
False
Let r(t) = 26*t**2 + 17. Is r(3) a composite number?
False
Let d = 7292 - -9797. Is d a composite number?
True
Let c = 44 + -41. Is (2 - (-3)/(-6))*2434/c a composite number?
False
Suppose -11*s = -6*s - 9780. Let p = s + -1079. Is p composite?
False
Suppose 347 = 4*c - 3*c. Let d = c + -156. Is d a prime number?
True
Let p(a) = -2*a**2 - 16*a - 25. Let h be p(-8). Is 5793*((-5)/h)/((-9)/(-15)) a composite number?
False
Suppose v + 3 = 5. Is 1323/1 + (v - 6) prime?
True
Let h = 3191 - 1794. Is h a composite number?
True
Is (-1220)/(-3) - (-13 + 608/48) a composite number?
True
Suppose 2*r = s - 60513, 173983 + 7546 = 3*s - r. Is s a composite number?
False
Suppose -2*o + 8 = 10, -4*w - 2*o + 59522 = 0. Suppose x = -3*q + 6387 - 1445, 3*x - w = 2*q. Is x composite?
False
Let j be (-14)/(-49) - 2222/(-14). Suppose 5*t = 4*t + j. Is t composite?
True
Let i = -10 - -3. Is 1842 - 0 - (-2)/(5 + i) a prime number?
False
Suppose -8*j - 40732 = -12*j. Suppose 0 = -0*h + 3*h + 4*z - j, -2*z - 13614 = -4*h. Is h prime?
False
Suppose -3*r - 5*l = -2*l - 8121, 2707 = r + 5*l. Is r a prime number?
