 0 = -3*n + n - 14. Let o(s) = -s**2 - 25*s - 19. Let f(v) = -v**2 - 17*v - 13. Let y(h) = -8*f(h) + 5*o(h). Is y(n) prime?
True
Is (2073/(-24))/(30/(-240)) a prime number?
True
Let w be ((-2)/6)/((-13)/858). Let g(j) = 4 + 19*j + 12*j - w - 8*j. Is g(11) composite?
True
Let i(j) = 2432*j - 6. Let w be i(1). Suppose w = -m + 3*m. Is m a composite number?
False
Suppose r = -3*w + 24545, 18*w - 20*w + 16361 = 3*r. Is w composite?
True
Suppose 17*n - 68754 = 3*n. Is n composite?
True
Let k be 4/14 - (-6)/(-21). Let h = k - 2. Is h/(-1) + 1 - -16 prime?
True
Let r(u) be the third derivative of u**6/120 - u**5/4 + 11*u**4/24 - 7*u**3/2 + 17*u**2. Is r(16) a prime number?
False
Suppose -3*c = -k - 10, k + 2 = -2*c + 12. Let x be ((-6)/(-18))/(k/1098). Is 8/20 + x/5 a prime number?
True
Let z be (-3)/6 + 7906/4. Suppose 0 = 8*q - 0*q - z. Is q prime?
False
Let a = -323 - -7. Let c = a - -565. Is c composite?
True
Let g = 44 - 42. Suppose -5*c = -g*t - 4955, 3*t - 1 - 14 = 0. Is c prime?
False
Let w be 37*(-20)/(-5) - -3. Is ((-8)/20 + w/(-10))*-14 composite?
True
Suppose 3*i = -3*p + 31284, 0*p + 41709 = 4*p + i. Is p composite?
False
Suppose -4957 = -5*c - p, 742 = 2*c + 5*p - 1250. Is c prime?
True
Let h(o) = 237*o**2 + o - 1. Let k = -29 - -28. Is h(k) a composite number?
True
Suppose 0 = 4*c - 2*m + 4 - 420, -4*m = 16. Suppose g + 0*g - 9 = 0. Is (-4 + 7)/(g/c) a prime number?
False
Suppose 4*p + f = 2*f + 15175, -5*p - 4*f = -18953. Is p a composite number?
False
Let y(w) be the third derivative of -49*w**4/3 + w**2. Let f be y(-3). Suppose -5*h + x + 78 + f = 0, 497 = 2*h - 5*x. Is h composite?
False
Suppose 7*s - 2*s - 26 = -2*j, -2*j = 2*s - 14. Suppose s*l = 12, -5*z - 4*l + l + 24 = 0. Suppose -p + z*h = 3*p - 809, 4*h = -3*p + 613. Is p composite?
True
Suppose 7332 = 2*w + 3*l, -11*l = 4*w - 7*l - 14668. Is w composite?
True
Suppose -4 = 2*d - 5*h + 6, 0 = -3*h + 6. Suppose d = 10*j - 6*j - 152. Suppose 2*r + 434 = 5*v, -j = -v - 3*r + 42. Is v a prime number?
False
Suppose 2*q + 15 = 3*q. Let f = 15 - q. Suppose -4*a + 9*a - 2228 = 3*n, f = -5*n - 5. Is a a prime number?
False
Suppose -30912 + 319461 = 27*u. Is u prime?
True
Suppose 3*q + 0*q = 0. Suppose -h - 3 = -q*h. Is (1 - -3) + (h - -68) prime?
False
Suppose x + 12 = -4*y - 1, 4*x - 5*y - 32 = 0. Suppose -8*q + x*q + 2*a = -18, -4*q - 4*a = -20. Let j(v) = 5*v**3 + 3*v - 3. Is j(q) a composite number?
True
Suppose -v + 0 + 3 = 2*m, v - 3 = m. Suppose m = 23*q - 20*q - 921. Is q composite?
False
Let t(u) = 3*u - 15. Let n be t(5). Suppose 3*o = -n*w + w + 1842, -o = -5*w - 628. Is o composite?
False
Let m(f) = 2*f**2 + 6*f + 5. Let r be m(-6). Let y(p) = p - 5. Let j be y(9). Is (r - j)/(0 - -1) a prime number?
True
Let s(t) = -1710*t + 1. Is s(-2) a composite number?
True
Let i(m) = -m**3 - 9*m**2 - 8*m + 18. Suppose q - 26 = 3*q. Let w be i(q). Suppose -l + 4*l - 5*n - 1205 = 0, 2*l - 2*n - w = 0. Is l a composite number?
True
Suppose 2*m = 5*z + 34022, 0 = 4*m + 4*z - 6*z - 68044. Is m a composite number?
False
Suppose 2*q - 2*b - 22896 = 0, 3*q = -b + 20182 + 14142. Is q composite?
False
Is (-2)/(43185/(-8635) + 5) a composite number?
True
Let o = 37 - 62. Let t = 28 + o. Suppose -2*f + 2247 = t*f - i, f + 2*i - 445 = 0. Is f composite?
False
Let c(q) = q**3 + 16*q**2 + 16*q + 18. Let b be c(-15). Is 885/3*(b + 52/(-20)) a prime number?
False
Suppose 3*k - 651 = -0*k. Let f = -97 + k. Suppose l - 7 - f = 0. Is l prime?
True
Let p(x) = -x + 5. Let y be p(6). Let m = 265 - 112. Is 2*(m/6 - y) composite?
False
Let a be (20/20)/(1/17). Let d(i) = -i**3 + 23*i**2 - 21*i - 28. Is d(a) prime?
False
Suppose -5*k - 2*a = -52, a + 3 - 4 = 0. Suppose x - 2*f = -4*f + 5, -2*x - 3*f + k = 0. Suppose 3*c + 2*l + 188 = 7*c, x*l + 225 = 5*c. Is c composite?
True
Let t = 2346 - 835. Is t prime?
True
Let z(b) = 701*b + 2. Let a be z(1). Suppose 0 = 5*g - a + 258. Is g composite?
False
Suppose -66*h + 69*h = 3687. Let a = h - 78. Is a a prime number?
True
Suppose 8*t - 1 + 17 = 0. Is (989/(-2) - (7 - 6))*t a composite number?
False
Let w(s) = 2*s. Let z be w(3). Suppose 485 = -v + z*v. Suppose -q - 4*o = -v, 0*o + 97 = q - 2*o. Is q prime?
True
Suppose 13190 = -59*j + 64*j. Is j prime?
False
Suppose -4*i + 27114 = 5*d - 7*d, 0 = -5*i - d + 33896. Is i composite?
False
Suppose 1819 = 4*f + 3*t, 3*f - 381 = 2*t + 962. Is f prime?
False
Let l = -20 - -28. Suppose n = -3*n + l. Is (-1 + n)/((-5)/(-1285)) composite?
False
Suppose 5*s + 4988 = 9*s. Is s composite?
True
Suppose -42940 = -30*i + 10*i. Is i prime?
False
Is (-18)/6 + -5 + 3601 composite?
False
Suppose 0 = -4*z - 4*s - 21 + 129, 3*z - 4*s - 67 = 0. Let k be (-2 - -1)/((-17)/85). Is 2096/k - 5/z prime?
True
Suppose 2*z = 8984 - 3318. Is z a composite number?
False
Let v(y) = -8331*y + 79. Is v(-4) a prime number?
True
Suppose 5*l = -5*x, -2*l = l - 2*x - 10. Let n be 3 + l/(-6)*0. Suppose -3*a - 478 = -4*y, n*y + 3*a - 300 - 69 = 0. Is y a prime number?
False
Let k(a) = 4*a**2 - 4*a + 2. Let d be k(2). Let m(y) = y - 3. Let j be m(d). Suppose -j*v = -99 - 34. Is v prime?
True
Let i = 25 - -153. Let b = 1169 - i. Is b a prime number?
True
Let w(h) = 252*h - 37. Is w(3) composite?
False
Suppose -30 = 5*v - 8*v. Let r(f) = 3*f**2 - 5*f + 17. Is r(v) prime?
False
Let r be 0/1 + 3 + -3. Let k be (-96)/(-18) - (-8)/(-6). Suppose k*s - 319 = -w, r = 3*s + 3. Is w prime?
False
Let y be 18/4 - 6/12. Suppose 3924 = 3*x - y*k + k, x + 5*k - 1338 = 0. Is x prime?
False
Let l(q) be the first derivative of 51*q**2/2 + 14*q + 15. Is l(19) prime?
True
Let i(h) = 2*h**2 + 2. Let a(b) = -b**3 + 6*b**2 - 6*b - 3. Let c be a(3). Is i(c) a composite number?
True
Suppose 5*s - 3*y = -y + 84059, 2*y = -s + 16807. Is s prime?
True
Suppose 68003 + 40100 = 3*m - o, -144124 = -4*m - 2*o. Is m a prime number?
False
Suppose -13 = -5*w + 4*i + 62, -2*i = -3*w + 43. Let f be 8/(-44) + 46/w. Suppose 0 = -f*l + y + 446, 5*l + 2*y = -0*l + 551. Is l prime?
False
Let i(a) = -a**2 - 5*a + 3. Suppose -2*s + 12 = -6*s. Let h be i(s). Is (-3284)/(-36) - 2/h a prime number?
False
Let x = -12 - -16. Let l be (-8)/(-16)*1*x. Suppose 3*m + l*m = 695. Is m a composite number?
False
Suppose 4*m + 4 = 0, -24 = -4*x + 3*m - 5. Suppose 3*z - x*o - 2017 = 0, -5*z + 5*o + 2736 = -624. Is z a composite number?
True
Let r = -17 - -10. Let l = -9 - r. Let b = l + 39. Is b a composite number?
False
Let w = -71 + 78. Suppose -4111 = -w*b + 6*b. Is b prime?
True
Let c = -10433 + 26160. Is c a prime number?
True
Suppose 5*z - 4345 = 3*x, -1628 = -2*z + 3*x + 110. Is z composite?
True
Suppose 3*a - 3 - 9 = 0. Let c(u) be the second derivative of 26*u**3/3 + u**2/2 + 4*u. Is c(a) a composite number?
True
Let o(k) = -k**2 - 9*k - 9. Let z be o(-8). Let b be (-2 + 209)*-1*z. Suppose 0*h + b = 3*h. Is h a composite number?
True
Suppose -3*o + 5*s + 32008 = 0, -4*o - 6*s + 3*s = -42658. Is o a prime number?
False
Suppose 0*x + 12548 = 4*x + 4*g, 5*x + g - 15685 = 0. Is x composite?
False
Let f(l) = -l**2 - 9*l - 10. Let a be f(-7). Suppose q = a*k - 225, -5*q + k = -3*k + 1205. Let w = q - -428. Is w a prime number?
False
Suppose 1648 = -0*t + t - 5*h, 3*h = 2*t - 3261. Is t prime?
False
Suppose 7*m = -6*m + 26. Suppose -70 = -m*l + 528. Is l a prime number?
False
Let b(r) = -r**3 + 6*r**2. Let a be b(6). Suppose a = -0*c + c - 236. Suppose -11 = -s + c. Is s a composite number?
True
Suppose -8 + 4 = 2*v. Is 8626/18 + v*1/9 a prime number?
True
Let w be (7 + -6)/((-2)/(-1538)). Let n be (-4)/10 - (-4816)/(-10). Let a = n + w. Is a prime?
False
Let w = -4 - -18. Suppose -11*j = -w*j. Suppose -9*r + 4*r + 215 = j. Is r composite?
False
Let u(c) = -c - 13. Let s be u(-10). Let f be (-1800)/s + -1 + 4. Suppose -2*k + f = k. Is k a composite number?
True
Let c = -6 - -6. Suppose -3*z = -2*f - f + 108, c = 3*f - 4*z - 113. Is f a prime number?
True
Let r(g) = 1. Let n(z) = -3*z - 9. Let a(p) = n(p) + 2*r(p). Let d be a(-3). Suppose -d*l + 10 = -3*w - 82, 0 = 2*l - 2*w - 90. Is l composite?
False
Let i = 30 - 26. Suppose -2*m = -i*n + 1234, -2*m - 1470 = -3*n - 543. Is n a composite number?
False
Let q(o) = o**3 + 11*o**2 + 10*o + 5. Let t be q(-10). Suppose -3*u - 3*k - 30 = 48, t*u + 2*k = -115. Is (-3649