l = 9*l + 319670. Is l a prime number?
False
Let v = -254 + 264. Suppose p - 3951 = 4*a, 13*p + 3*a = v*p + 11823. Is p a composite number?
False
Let u(h) = -478*h**3 + 24*h**2 + 6*h - 27. Is u(-11) a composite number?
True
Let o(s) = 2*s + 14 + 5 + 4*s - 40. Let f be o(5). Suppose -3297 = f*k - 12*k. Is k a prime number?
False
Is 623974 - -3*(-40)/8 composite?
True
Let t = 129 + -328. Let q = 840 + t. Is q a composite number?
False
Suppose -5*x - 1 = -3*b + 3, -4*x = -3*b + 5. Suppose -r - 2 = y - 1, 19 = 5*y - b*r. Suppose y*q + 4*m - 361 = q, q + 2*m = 369. Is q prime?
False
Suppose 0 = 5*w - 42 + 17. Suppose 0 = -g + 3*g - 1274. Suppose -h - 2*p + g = 0, h = w*h - p - 2521. Is h a prime number?
True
Let n = 68 + -67. Is ((-6379)/(-3) + n)*33/22 composite?
False
Let n(k) = k**3 + 78*k**2 - 65*k - 29. Is n(-70) a composite number?
False
Suppose 28233 = 125*k - 122*k. Suppose -3*q + k = -3*w, 22*q - 27*q + 15685 = 2*w. Is q a composite number?
False
Let y(a) = 12*a + 52. Let k be y(-4). Suppose 4*r + 3048 = 4*z - 2632, -z + 1435 = -k*r. Is z prime?
False
Is (56/(-21))/(5*32/(-26658120)) prime?
False
Let p(g) = -g**3 - g + 1. Let b(l) = 38*l**3 + l**2 - 5*l + 9. Let x(k) = b(k) - 4*p(k). Let h(u) be the first derivative of x(u). Is h(1) a composite number?
False
Suppose -f + 46031 = l - 46605, 5*f - 463204 = 3*l. Is f a composite number?
False
Suppose c = 19*c - 18. Is -1 + ((-3662)/(-4) - c/2) prime?
False
Let z(y) = y - 42. Let p be z(0). Let v be 266/p + (-2)/(-6). Is (14292/(-54))/(4/v) prime?
True
Suppose -307*o = -311*o + 2920. Suppose v - 797 - o = 0. Is v composite?
True
Let c(x) = 3*x**3. Let r be c(1). Let d(l) = 3*l + 4 + 4*l**3 - 2*l**3 - 11*l**2 + l**r + 0*l. Is d(7) a prime number?
False
Let w(x) = 20870*x**2 - 45*x + 17. Is w(6) a prime number?
False
Let j(c) = -187*c + 120. Suppose 4*k + 111 = -5*u, 2 = -k + 3*k. Is j(u) a prime number?
True
Suppose -5*g + 4*k = 386, 4*g + g = -2*k - 362. Let n = 627 + g. Is n a composite number?
True
Let c = -536 + -291. Let o be (352/5)/(4*3/240). Let b = o + c. Is b prime?
False
Let t(p) be the first derivative of p**3/3 - 3*p**2/2 + 6139*p + 32. Let u be t(0). Suppose 3*b = 10*b - u. Is b prime?
True
Let m(f) = -47 + 63 - 84 - 61 + 164*f. Is m(5) prime?
True
Suppose 0 = -5*x - 2 - 3, -3*i = 4*x - 79217. Is i prime?
True
Let z(j) = -394*j**3 - 2*j**2 - 3*j - 1. Is z(-4) prime?
False
Suppose -173662 = -12*f + 473774. Is f a composite number?
True
Let j be (4 - 5)*-1*44. Let l(d) = -j*d + 8*d - 12*d + 1. Is l(-6) composite?
True
Let n(f) = 3*f**2 + 3. Let p be n(0). Is ((-4)/(-8))/(p/54468) - -5 a composite number?
True
Suppose -4*z + 3*v - 5*v + 11930 = 0, 0 = 2*z + 3*v - 5971. Let p = -1722 + z. Is p composite?
False
Suppose -698*h = -697*h - 6. Suppose h*d + 39925 = 11*d. Is d a prime number?
False
Suppose -4*g - 2*d + 0*d = -100, -2*g + 60 = -4*d. Suppose 2*b - 10 = -0, 4*b - g = -r. Is 2 - (105/r)/((-3)/54) prime?
True
Is (542679/(-74))/((-3)/2) a prime number?
True
Suppose -9240 = 2*w - w. Is 1/(-1 + w/(-9235)) composite?
False
Let j(r) = 3*r**3 - 9*r**2 - 5*r + 7. Let c be j(-6). Let h = 5437 - 7973. Let p = c - h. Is p prime?
True
Suppose 0 = -155*y + 160*y - 753745. Is y a prime number?
False
Suppose -3*b - b = 0. Let u be 8 - 8/(b - -2). Suppose -u*p = -6*p + 742. Is p a prime number?
False
Suppose 4*f = 472 - 448. Suppose -13125 = -3*v - 3*b, 4387 = v - f*b + b. Is v a composite number?
True
Suppose s - 7329 = 2*g, 106*s = 104*s - g + 14638. Is s a prime number?
True
Let i(u) = 2*u**3 - 37*u**2 - 12*u + 33. Let g(x) = 2*x**3 - 38*x**2 - 13*x + 33. Let z(j) = 4*g(j) - 3*i(j). Is z(22) a prime number?
False
Let o(x) = -5*x**3 + 7*x**2 - 45*x - 14. Let a be o(8). Let h = 3673 + a. Is h a composite number?
False
Suppose -15 = 2*i - 21. Suppose 18 = i*j + 4*u, -1 = -2*j - 3*u + 12. Suppose 0 = 4*o - 3*p - 3631, 0 = -3*o + 8*o - j*p - 4537. Is o a composite number?
False
Suppose 2*u + 595 = -675. Let q = -329 - u. Suppose -6*f = 2*j - 4*f - q, 0 = -j - 4*f + 165. Is j a composite number?
False
Let v be (36/(6/(-3)))/(9/6). Let f be ((-87390)/v)/(6/(-8)). Is 3*(-4)/(-18) + f/(-6) a prime number?
True
Suppose 4*m - 30 - 140 = -a, -775 = -5*a + 5*m. Suppose 0 = 4*w - 2*n - a, -2*w = 3*n + 21 - 80. Suppose 2*h = -w + 195. Is h prime?
True
Let s be 21/5 - 2/10. Suppose -5*a + 8 - 1 = s*j, -3*a = 2*j - 5. Suppose 8*u - 3*u = a*g - 397, -g - 3*u = -151. Is g a prime number?
True
Let i(g) = 203*g + 4810. Let q be i(-19). Let k = 646 + -922. Let h = q + k. Is h composite?
False
Let t be ((-55)/(-50) - (-6)/(-10))*300. Let x be t - (-3 + (-1)/1). Is (-904)/(-11) + (-28)/x composite?
True
Let r be -4*(-78)/20*(-80)/24. Let u be (1941 - 4) + (-7 - -1)/3. Let i = r + u. Is i composite?
True
Let g(t) = 2*t**3 + 26*t**2 + t + 22. Let x be 1 - 6 - (-11 + 4) - -7. Is g(x) a composite number?
True
Let p(g) be the second derivative of -4*g**2 - 205/6*g**3 - 13*g + 0. Is p(-15) a prime number?
True
Let v = -79 - -77. Is -12*v/6 + 2719 composite?
True
Suppose 6*x + 5131 = x + q, -2050 = 2*x + 2*q. Let w = 473 - x. Is w composite?
False
Let v(m) = -m**3 + 25*m**2 - 57*m + 21. Let u be v(19). Suppose 5*b + 5*t - u = 4*t, -t = -4*b + 885. Is b composite?
True
Let n(x) be the first derivative of x**7/420 - x**6/360 + 17*x**5/120 - 23*x**4/24 - 32*x**3/3 + 37. Let q(v) be the third derivative of n(v). Is q(7) prime?
True
Suppose 61 = -2*m + 37. Let p be (-21)/(-2) + 2*3/m. Suppose 0 = 7*l - p*l + 15771. Is l composite?
True
Let i(s) = 738*s - 1. Suppose 4*a - 7 = -c + 4*c, -2*a + 5 = -3*c. Let g be i(a). Let r = -519 + g. Is r prime?
False
Let j be (-4 - -10) + -4 - 1. Let c(r) = 2*r**2 + 4*r - 2. Let z be c(j). Suppose -z*y = -2*y - 2, y = 5*l - 954. Is l prime?
True
Suppose 14*p - 18795 = 7*p. Let z = p + -1534. Is z composite?
False
Suppose -3*v + 3*n + 625794 = 0, -6 + 9 = -n. Is v a prime number?
False
Let r(x) = -439*x**3 - x**2 - x. Let a be ((-8)/4 - -1) + -31. Let s = a + 31. Is r(s) a prime number?
True
Let u be 1/(-3) - (-1280)/(-30). Let a = u - -50. Is (-4 - a/(-2))*-422 prime?
True
Suppose 2*r = k - 1402, -4*k = -3*k + 3*r - 1402. Is 364/(-26)*k/(-4) composite?
True
Suppose -1904223 = -20*q + 52960 - 122643. Is q composite?
True
Let o = 1115645 + -577942. Is o prime?
True
Let v = -134 + 136. Suppose 3*d + v*w - 813 - 1954 = 0, 4*d - 3*w = 3661. Is d a composite number?
False
Let l = 665 - 657. Let a(z) = 2554*z + 249. Is a(l) prime?
True
Let r(q) = 596*q**2 - q - 20. Is r(-3) composite?
False
Let m(s) = 89*s**3 - 10*s**2 + 3*s - 47. Is m(5) a composite number?
True
Suppose 12*j - 35 = 37. Let w(k) = -3*k**3 - 4*k + 5*k + 8 - 1 - 14*k**2 + j*k. Is w(-11) prime?
False
Suppose -3*o = 12, o - 38 = 5*k - 62. Suppose -6*a + 152070 = k*u - 7*a, 2*u = 2*a + 76038. Is u prime?
False
Suppose 132 = -t + 27. Let k = 106 + t. Is (-1)/(2/k)*-1738 a prime number?
False
Suppose 0 = 2*g + 69 - 77. Suppose -112 = -g*z + 348. Let a = z + -62. Is a prime?
True
Suppose 0*u = -u + 3. Suppose 2*h - 64 = -2*a, -h = u*h + 3*a - 127. Suppose h*w = 33*w - 498. Is w a prime number?
False
Suppose -j - 2*b = -55, 0 = -4*j - 3*b + 199 + 1. Suppose 4*c - 49 = 3*p, -4*p = -4*c + p + j. Suppose c*f - 2794 = 2*f. Is f prime?
False
Let s(d) be the second derivative of 19*d**4/12 - 7*d**3/2 + 43*d**2/2 + 8*d + 7. Is s(-17) prime?
False
Is (998251/(-8))/((-95)/760) a composite number?
True
Let d(m) = m**2 + 9*m + 49. Suppose -31 = 3*t + 5. Is d(t) prime?
False
Suppose 2*h + 8 = -2*h. Let t be 4 + -3 + 249 + h. Is (15/6)/(4/t) prime?
False
Let f = 12 - 10. Suppose 2815 = 2*r - b, f*b - 7159 + 1533 = -4*r. Suppose r = 2*h + 5*h. Is h a composite number?
True
Let f(j) = -13 + 24 + 36 - 719*j. Is f(-10) prime?
True
Let v = 56 - 55. Let f be v*(76 - (3 - 3)). Suppose f*g = 80*g - 140. Is g a composite number?
True
Let b(n) = -9896*n - 20. Let s be b(-2). Let y = s + -12423. Is y a prime number?
True
Let r(l) = l**3 + 5*l**2 - 1. Let x be r(-5). Let h(s) = -13*s - 16*s + 62*s**2 - 12*s + 2*s + 44*s. Is h(x) a prime number?
False
Let i(n) be the third derivative of -7*n**4/12 - 19*n**3/6 + 442*n**2. Let l = -25 - -18. Is i(l) composite?
False
Suppose 26*l - 23*l + 72 = 0. Let a be (-8)/l + (-22)/(-6). Suppose 0 = 5*j - a*b - 1449, -j + 146