 10 prime?
False
Let b(s) = 894*s - 25. Is b(2) composite?
True
Let s be (-3)/(-12)*0*1. Suppose -5*h = -2*b + 332, -3*b + 6*h - 3*h + 489 = s. Is b a composite number?
True
Let r = 79 - 77. Suppose 0 = -5*n - 15, 5*l - 1408 = 3*l + r*n. Is l a prime number?
True
Let t(m) = 23*m**2 + m**3 - 39 + 11*m - 7 + 4*m. Is t(-21) a prime number?
True
Suppose z = -z. Suppose 2*j - 837 = -i, -2*i = -2*j - z*i + 852. Suppose -4*y - 253 = -2*w + 41, -4*y = 3*w - j. Is w prime?
False
Let w = 19615 + -4562. Is w prime?
True
Suppose m = 5*p - 19, 5*p - 9 - 6 = 5*m. Is p/14 + (-8)/((-280)/2895) prime?
True
Suppose -3*v + 11 = 56. Let u be 2674/8 + v/(-20). Let g = u - 169. Is g composite?
True
Suppose 1265 = 3*b + u - 81, 2*b - 3*u = 879. Is b composite?
True
Let i(p) = -6550*p + 171. Is i(-4) prime?
True
Let m(g) = g**3 + 5*g**2 + 5*g + 2. Let x be ((-4)/8)/(-1)*-6. Let j be m(x). Suppose -3*i - 2176 = -j*r - 618, -r + 3*i + 314 = 0. Is r a composite number?
False
Let h = 411 + -1006. Let o = h - -1257. Is o a prime number?
False
Suppose 2*m = 4*m - 986. Suppose 2*j - m = 541. Is j a composite number?
True
Suppose -4 = 2*c, -k - 3*c + 4 = 8. Suppose k = 2*b - b. Suppose 5*i + 4*a = 810, -i - 5*a - 133 = -b*i. Is i a prime number?
False
Let r = -45457 + 82622. Is r prime?
False
Let c = -29140 + 58739. Is c a prime number?
True
Let f(g) = g**3 + 10*g**2 + 10*g + 9. Let s be f(-9). Let y = 46 + -41. Suppose 0 = -s*c + y*c - 425. Is c a prime number?
False
Let d = -491 + 903. Suppose -4*h + 3*h + j + 9 = 0, 8 = 4*h + 3*j. Suppose -245 = -3*u + 4*a, -h*a = -5*u - 2*a + d. Is u prime?
True
Let g = -3 - -36. Suppose 13*m - g = 10*m. Is m a prime number?
True
Is ((-33836)/(-20) - -2) + (-12)/15 prime?
True
Let n(k) = 77*k**2 + 11*k - 41. Let f = 28 - 21. Is n(f) a prime number?
False
Let c = -12 - -15. Suppose u - 8 = c*u. Is (-35)/(u - (3 - 6)) prime?
False
Let k = 1111 - -820. Is k prime?
True
Let f(o) be the third derivative of o**6/120 - 3*o**5/20 - o**4/3 + 5*o**3/2 - 4*o**2. Let p(u) = 9*u**3 + u**2 - 2*u + 2. Let v be p(1). Is f(v) prime?
False
Suppose -51082 - 9869 = -11*x. Is x a composite number?
True
Let d(z) = -z + 135. Is d(-8) a prime number?
False
Let k = 9392 - 2943. Is k a composite number?
False
Let j = -87 - -311. Is j - (-2 - 21/(-3)) composite?
True
Let z = 21577 + -9403. Suppose 3309 = -9*v + z. Is v composite?
True
Is (6 + (-131105)/(-10))*2 composite?
True
Suppose -142*n + 125*n = -309349. Is n a composite number?
True
Suppose -3*z = -6*z. Suppose -5*l - 374 + 3079 = z. Is l a prime number?
True
Suppose 3*l + 3*v = -1029, 5*l - l + 3*v + 1376 = 0. Let r = 1470 + l. Is r prime?
True
Let k(p) = -p**3 + 13*p**2 - 12*p - 25. Is k(11) prime?
False
Let u(i) = -3*i**2 + 22*i - 5. Let b be u(7). Suppose -165 = -b*s - n, 0*n = 4*s + n - 331. Is s prime?
True
Let x(m) = 6747*m**2 + 9*m - 7. Is x(1) prime?
False
Is 0/2 - (67698/6)/(-3) a prime number?
True
Suppose -2*i + v = -7371, 2*i = -2*i - 2*v + 14722. Is i composite?
True
Let f = 17 - 14. Let b = -1 + f. Is -2*(-249)/12*b composite?
False
Let y(k) = 29*k - 11. Let a be y(-6). Let j = a + 298. Suppose 6*t = j + 217. Is t composite?
True
Let n(a) = 2*a + 13. Let q(s) = s**3 + 4*s**2 - 3. Let f be q(-4). Let j be (-18)/(-5)*(-10)/f. Is n(j) a composite number?
False
Let d(c) = 23*c**2 + 58*c + 11. Is d(-14) composite?
True
Suppose -2236 = -29*f + 25*f. Let u = f - -1494. Is u composite?
False
Let c(k) be the first derivative of -k**2/2 + 17*k - 3. Let d be c(-13). Let w = d + -9. Is w a composite number?
True
Suppose 3*t + m - 5 = 0, -3*t + 4*m + 24 + 1 = 0. Suppose -3*n - 1 = 4*c - 8, -13 = -c + t*n. Suppose -5 = c*q - 17. Is q prime?
True
Suppose -21 = -c + 28. Is c prime?
False
Let c(u) = 191*u**3 + 5*u**2 - u - 1. Let h be c(5). Let z = 13956 - h. Is 4/(-26) - z/182 a prime number?
False
Let s(x) be the second derivative of 13*x**4/6 - 7*x**3/6 + 7*x**2 - 31*x. Is s(-9) prime?
False
Let z be 7/(140/152) + (-4)/(-10). Is z/(-32) - 6773/(-4) a prime number?
True
Let q(m) = -170*m - 4. Let o(c) = 85*c + 2. Let k(j) = -7*o(j) - 4*q(j). Let x be 11 + -9 + (0 - -1). Is k(x) prime?
True
Let x = -29646 + 54383. Is x composite?
True
Let t = -3 + 2. Let n(v) = -v - 1. Let u(b) = -9*b + 6. Let l(q) = t*u(q) + 5*n(q). Is l(8) prime?
False
Suppose 2*f + 75 = -3*f. Let y = 18 + f. Suppose -358 = -y*t + t. Is t a prime number?
True
Let y(p) = -p**3 - p**2 - 4*p + 3. Let q(o) = 2*o**2 + o + 1. Let c be q(-4). Let t = 26 - c. Is y(t) a prime number?
False
Suppose 9*u - 22355 = 27316. Is u composite?
False
Suppose -3905 = -a + 5*q + 5476, 3*a = 5*q + 28123. Is a composite?
False
Let g = -90 - -95. Let d(c) = 5*c**3 + 6*c - 6. Is d(g) composite?
True
Let n be (-50)/75 + 14/3. Is (-17)/((n - 8)/44) composite?
True
Suppose -2*n = 3*n - 15. Let s(t) = t**2 + n + 7 + t - 3 + 4*t. Is s(-12) a composite number?
True
Let y be (-8)/48 - (-14)/12. Suppose 2*c - 4 = -r - y, r = 5*c - 18. Suppose 1004 = c*a - 577. Is a a composite number?
True
Is (-2072)/222*((-3426)/(-8))/(-1) composite?
True
Let o(i) = -2*i**3 + 2*i**2 + 2*i - 2. Let v be o(2). Is ((-2492)/10)/(v/15) a composite number?
True
Let i = 19 - 14. Suppose -15 = 2*q - 5*n, -i*q - n + 3 = -2*q. Suppose 102 = -q*r + 3*r. Is r prime?
False
Suppose 3447*w = 3445*w + 111526. Is w a composite number?
False
Suppose -2*a + 59 = -95. Suppose -4*d + 2375 = -a. Is d composite?
False
Suppose 5*a = m - 30449, -4*a + 2*m - 24363 = 5*m. Let u = -3652 - a. Suppose 0 = -5*q - j + 4440, -u = -3*q + 2*j + 239. Is q composite?
True
Is (4/2)/((-6357571)/(-489041) - 13) prime?
False
Let s be -146*(1 - 15/6). Let a = s + 297. Suppose a + 58 = 2*l. Is l composite?
True
Suppose -30080 - 13326 = -22*i. Is i a composite number?
False
Suppose -23*j = -15*j - 235160. Is j prime?
False
Suppose -4*z + 8603 = -w - 2*w, 3*w = 9. Let a = z - 396. Is a a composite number?
True
Let y = 7554 + -4213. Is y a composite number?
True
Let z = 1552 + 225. Is z a prime number?
True
Suppose 4*n - 3 = -15, 4*n = j - 5483. Is j prime?
True
Is 16/(-24)*9 + 97993 prime?
True
Suppose -2*o + 19604 + 35774 = 0. Is o prime?
True
Let z(w) = -w**3 + 2*w**2 + 4*w - 3. Let j be z(3). Let d(g) = 3*g + 47 - 4*g - g**2 + j*g**2. Is d(0) composite?
False
Suppose 0 = -6*l + l - 5*b + 20, 2*b = 4*l - 16. Let u(a) = 117*a**2 + 7*a + 1. Is u(l) a prime number?
True
Let w(i) = 2*i**3 - 22*i**2 + 26*i - 17. Is w(14) prime?
True
Let k(w) = -w**2 + 9*w - 16. Let c be k(8). Is c/(-12)*105/2 composite?
True
Let t be 1/(2 + 11/(-5)). Is t*439/(-2) + (-1)/2 a composite number?
False
Let y(z) be the first derivative of -z**4/4 + 4*z**3/3 - 3*z**2/2 - z - 15. Is y(-6) prime?
False
Let j(a) = 734*a - 2. Let g be j(5). Suppose -5*k + k = -g. Is k prime?
False
Let w(p) be the first derivative of -p**4/4 + p**3 + 7*p**2/2 + 5*p - 21. Is w(-6) a composite number?
True
Let j be ((-1129)/(-3))/((-1)/(0 - -6)). Let y = j - -3225. Is y a prime number?
True
Suppose 5*m - 4*m = 1660. Suppose -m = -5*l - 2*q, -4*l - 5*q + 1645 = l. Is l prime?
False
Suppose -49 + 349 = -4*w. Let h = 104 - w. Is h composite?
False
Let b = 71 + -27. Suppose k = -k + b. Is k prime?
False
Suppose 43*r = 916930 + 1141781. Is r prime?
False
Let g = -259 - -3212. Is g a composite number?
False
Suppose 5*h = 4*i + h - 32, -3*i = -4*h - 28. Suppose -4*j = j + d - 12, -j + 15 = -i*d. Suppose j*c = 126 + 231. Is c a prime number?
False
Let i be -13 + 1 + (-1 - -1). Let a(v) be the second derivative of -11*v**3/3 - 13*v**2/2 - 6*v. Is a(i) composite?
False
Let i = 817 + -1384. Let u = i - -826. Is u a prime number?
False
Let z = -1 - -3. Let q(p) be the first derivative of 3*p**4 - 2*p**3/3 + p**2 - 3*p - 29. Is q(z) prime?
True
Suppose -2841 = -6*o + 13665. Let z = -1600 + o. Is z composite?
False
Let u(y) = 4047*y**3 + y**2 + 4*y - 3. Is u(1) a composite number?
False
Suppose b + 0*b = 0. Suppose -g + 1 + 1 = b. Suppose 0 = -g*k - 4, -2*v - 100 = -4*v - 5*k. Is v a composite number?
True
Let p = 69 + -69. Suppose -i + 684 + 595 = p. Is i a prime number?
True
Suppose 7*k - 3*k + 1952 = 0. Let r = -97 - k. Is r a composite number?
True
Let c = -46 + 50. Suppose -7*q + 3*q + 5781 = 3*b, c*q - 3850 = -2*b. Is b a composite number?
False
Let o be 3 - (-1 - 4/(-2)). Let y be (3