4*m + 4724. Let y = m + 615. Is y a prime number?
False
Let g(a) be the first derivative of 2*a**2 + a - 9. Let o be g(1). Suppose 0 = -o*k - 2*j - 1192 + 35227, -27215 = -4*k + j. Is k a composite number?
True
Let n(v) = -57*v**3 + 19*v**2 + 516*v + 23. Is n(-12) a composite number?
False
Let h be 180/81 + (-4)/18. Suppose h*t + 1657 = 8789. Is t a prime number?
False
Let m(r) = -4912*r + 1367. Is m(-6) a composite number?
False
Let y be -1*(-94 - 1) + (23 - 22). Suppose -14*v + 86 + y = 0. Suppose -2*h - 2659 = -v*d + 8*d, 3*d = 5*h + 1584. Is d composite?
True
Suppose 6*n - 17*n = -27*n. Suppose 155*d - 152*d - 51537 = n. Is d composite?
True
Suppose -22*k = -183901 - 155801. Is k a prime number?
False
Let z(a) = 430*a**2 + 66*a - 51. Is z(-20) prime?
False
Is 3 - (-2399595)/21 - (-5 + (-646)/(-119)) composite?
False
Let k(p) = 47*p**3 - 8*p**2 + 8*p - 11. Suppose 7*g = 33 + 9. Is k(g) a composite number?
False
Let f(w) = -12*w - 21. Let s be f(-10). Suppose 367 - s = 2*a. Is a - (-1 - 1 - -5) a composite number?
False
Suppose 0*x + 4*x = 2*s - 114, 3*s = -3*x + 162. Let w = s - 45. Suppose 5*n - a = 6*n - 319, 2*a = w. Is n prime?
False
Let r(y) = -y**3 - y**2 + 10*y + 19. Let g be r(-2). Suppose -g*o + 6*o = 65127. Is o a prime number?
False
Let u(c) = 1585*c**2 - 23*c - 195. Is u(-8) a composite number?
False
Let x(m) = -70787*m**3 - 42*m**2 - 161*m - 17. Is x(-4) a prime number?
False
Let u(d) = 2*d**3 + 30*d**2 - 114*d + 45. Is u(17) prime?
True
Suppose 0 = 18*s - 8 - 28. Suppose -4*t = 5*d - 2717, s*d + 2*d = 5*t - 3345. Is t a composite number?
False
Is (3/(-10))/((-52)/(-130)) + (-105959)/(-4) a prime number?
True
Suppose 2*z - 42*t - 255676 = 0, 3*z - 33*t - 383573 = -29*t. Is z prime?
True
Let r = -142844 - -234423. Is r a prime number?
False
Suppose 10*n - 13*n = -21. Suppose 3028 = -n*v + 11*v. Is v a prime number?
True
Let i be (-5)/(-3*2/24). Suppose 17*c - i*c - 2*v + 5879 = 0, 2*c = -5*v + 3912. Is c prime?
False
Is 6/(-3) - (-38104 + 91) a composite number?
False
Suppose 0 = 6*w - 59*w + 795. Let f(i) be the second derivative of i**5/20 - 5*i**4/4 + i**3/6 + 5*i**2 - i. Is f(w) composite?
True
Suppose 4*p = 3*u + 47463 + 80962, 321075 = 10*p + 5*u. Is p composite?
True
Let z = 48 - 24. Suppose z = d - 5*d. Is (-22 - 7)*d/2 a prime number?
False
Suppose 8 - 44 = 6*o. Is o/39 - (266376/(-39) + -5) a prime number?
False
Suppose 5*g + 25 = 0, 6*d - d + 3*g = 0. Suppose -2*r - 3*i = 5, 3*i = -5*r - 2 + d. Is 1 + (3 - r) - -111 a prime number?
True
Let o = 35 - 21. Suppose 0 = 19*x - o*x - 2970. Let f = -289 + x. Is f a prime number?
False
Let m = 94 + 156. Suppose 247*g - m*g = -9597. Is g prime?
False
Let p(a) = 4*a**3 + 43*a**2 - 41*a + 419. Is p(36) prime?
False
Let v be (-1)/((-6)/(-104))*(15 + -639). Suppose -c - 3*b + v = -0*b, 4*b + 54175 = 5*c. Is c a prime number?
True
Suppose -4*a + 3*p = -14, 0 = 5*a + p - 0 - 8. Suppose 4*i - 20635 = 4*t + 31029, 6 = -a*t. Is i prime?
False
Let g(n) = 38119*n + 13146. Is g(5) composite?
True
Is 277*263 + 47/(470/(-80)) a prime number?
False
Let j = 9740 + -8599. Let p be -3*(0 + 1)*-1. Suppose 0 = p*k + j - 5572. Is k a prime number?
False
Suppose -18*q + 102 = -24. Suppose q*f - 25572 = -1793. Is f prime?
False
Let p = 44 - 36. Suppose 2 = 2*u + r - 2, 5*r - p = -4*u. Suppose -11817 = -11*t + u*t. Is t a composite number?
True
Suppose -1780*r = -1697*r - 74952569. Is r a prime number?
False
Let r = -732 + 735. Suppose -65*k - 4*l + 44959 = -62*k, -5*k = -r*l - 74893. Is k a composite number?
True
Let x(w) = 63*w**2 - 3*w - 5. Suppose -5*p - 8 = -2*p + 4*n, 5*p + 3*n = -6. Suppose 4*q + 4 = 0, -t + p*q = -q + 1. Is x(t) prime?
False
Suppose -3*i - 5690747 = -22*i - 0*i. Is i a prime number?
True
Let h(l) = 35*l**2 + 198*l - 319. Is h(120) composite?
False
Let t(f) = 338*f + 7. Let z be t(-6). Let c(v) = -21*v + 283. Let j be c(7). Is ((-936)/j - -7) + z/(-17) prime?
False
Suppose -205*u + 104232 = -199*u. Suppose 14*l - 13470 - u = 0. Is l a prime number?
True
Let w = -5156 + 8545. Suppose -w = -5*g - f + 503, -1558 = -2*g - f. Is g a composite number?
True
Suppose 5261 = x + 3*a + 2*a, 36*a = 38*a. Is x composite?
False
Let p be (-1)/(3/12*4). Let u be 4654*(p/(-2) - 0). Suppose -i - 2*i = -3*b - 6963, -i + 4*b = -u. Is i a composite number?
True
Let u(r) = -87*r - 67. Let l(i) = 2*i - 29. Let p be l(12). Let d(s) = 44*s + 33. Let b(w) = p*d(w) - 2*u(w). Is b(-9) a composite number?
False
Let z = 513433 + -279960. Is z a prime number?
False
Let o = 8357 + 9075. Let p = o + -7629. Is p a composite number?
False
Suppose 5*p = -4*k + 53, 3*p - 36 = -3*k - 0*p. Is 2/k - (-2)/((-56)/(-692)) prime?
False
Suppose -2*b = -3*v + 4805, 2*b + b - 2*v = -7215. Let h = 840 - b. Is h composite?
True
Let z = 2324 + 161. Let p = 4854 - z. Is p a prime number?
False
Let i(g) = -61862*g**3 + 4*g**2 + 10*g + 5. Is i(-1) composite?
False
Let v be (-60)/(-40)*33590/3. Suppose -105*c - v = -106*c. Is c a composite number?
True
Let r(k) = 390*k**2 - 10*k - 23. Suppose 10*b + 15 = -45. Is r(b) composite?
True
Let y(v) = v**3 - 5*v**2 + 9*v - 5. Let a be 7/2 + 7/(-14). Let z be y(a). Suppose -4*b - 3*x = -197, 0 = -z*b - 5*x + 148 + 39. Is b composite?
False
Let s(y) = -7 + 13 + 15 + 2663*y. Is s(2) a composite number?
False
Let y(f) = 2827*f**2 + 4*f - 4. Let x = 89 - 101. Let u be (4 + (-1)/1)*x/(-36). Is y(u) a prime number?
False
Let h(s) = s**3 + 3*s**2 - 2*s + 8. Let j be h(-4). Suppose j = -t + 5 - 3. Let n(f) = 255*f - 1. Is n(t) a composite number?
False
Suppose -10*j = -15*j - q - 22, 3*j + 27 = 4*q. Is 13/(j + (-636)/(-127)) a prime number?
False
Suppose -i + 98444 + 109444 = 4*h, 0 = -3*h - i + 155917. Is h prime?
True
Suppose -26 = -5*i + 3*a, 6*i - 2*a = 5*i + 8. Suppose 2*u + 2*s - 18394 = 0, 0*u + i*s = 2*u - 18406. Is u composite?
False
Is (-580)/1305 + 1362135/27 a composite number?
True
Let f(h) = -14*h - 11. Let b be f(-5). Let o = 82 - b. Let g = 45 - o. Is g composite?
True
Let b(k) = -38*k + 96. Let d be b(2). Let u(x) = 17*x**2 - 37*x + 7. Is u(d) composite?
False
Let i = -88 + 15. Let h = -59 - i. Suppose -h*n = -8*n - 1266. Is n composite?
False
Suppose 34184 = -56476*z + 56485*z - 17449. Is z a prime number?
True
Suppose 281*a = 283*a - 2. Is (4605/15)/(a - 6/9) a composite number?
True
Let k(x) = 5736*x - 5371. Is k(9) prime?
False
Suppose 46*y + 26*y - 215503650 = -78*y. Is y composite?
True
Suppose -4*v = 5*p - 79119 - 134032, 0 = -p - 2*v + 42623. Is p a composite number?
True
Is (-2073670)/(-30)*(-22 + 29 - 2*2) composite?
False
Let u = 95 - 55. Let s = u + -43. Let b = 70 + s. Is b prime?
True
Suppose -39*o = -31*o. Suppose 5*z - 4*v - 34973 = o, -3*z + 2*v + 20988 = v. Is z a composite number?
False
Is 22*(-190023)/(-114) + (-4)/(-190)*-5 prime?
True
Let a(c) = -21*c**3 + 153*c**2 - 55*c - 13. Is a(-30) a prime number?
True
Let m be (-18)/4*(-2 - 54106/39). Let g = 647 + m. Is g composite?
False
Suppose -14*d = 35 - 7. Is ((-76525)/10 + -1)/(1/d) a prime number?
True
Let d = 293079 + -105532. Is d composite?
False
Suppose -4*x = -3*f + 1175 + 377, 0 = -5*f - 5*x + 2575. Suppose 12*m - 3288 - f = 0. Is m prime?
True
Let q(k) = -8*k - 33. Let w be q(-9). Suppose c = -5*s + 4 + w, c + 13 = 2*s. Suppose 15*p - 2653 = s*p. Is p a composite number?
False
Let h(g) = -g + 8. Let v be h(6). Let o be (-2)/(-3)*33/v. Is -3 - 11/(o/(-980)) prime?
True
Let r be -1*1 - (25 + -25). Let i be ((-69)/9)/(r/30). Suppose -3*l + 8*l = i. Is l composite?
True
Suppose -4 - 31 = -w. Suppose 3*s - 7 = w. Suppose -1630 = 9*k - s*k. Is k a prime number?
False
Let i = -47 + 96. Let s = i + -74. Let f = s - -40. Is f a composite number?
True
Suppose 15*z - 78 = 9*z. Let s be 2/z - 2 - (-2)/(-13). Let d = 177 - s. Is d prime?
True
Suppose 14*l + 6 = -8. Is (-3)/(-15)*0 - (-3420 + l) a composite number?
True
Let p be 8*1/(-10) - (-8)/10. Let l(d) = -2*d + 27 + 75*d**2 + p*d - 9*d. Is l(5) a composite number?
False
Let w(r) = 32*r + 5. Let i be w(5). Let b = 2694 - 2723. Let n = i - b. Is n a composite number?
True
Is 66841 + 0 + -7 + -5 + 12 prime?
True
Suppose 4*w - 5*j - 28 = -4, -2*w - 3*j - 10 = 0. Is (2 - w)/((-1)/(-2039)) prime?
True
Let r(l) = l**3 - 49*l**2 + 47*l - 12. Let v be r(35). Let q