 r - -7810. Is m a composite number?
False
Suppose z - 2*j = 109 + 380, 2*z + 4*j = 994. Is z composite?
True
Suppose 5*l = -2236 - 569. Let i = 968 + l. Is i a composite number?
True
Let v(m) = -m**3 - 16*m**2 + m + 11. Let d be v(-16). Let l(i) = -36*i + 14. Is l(d) a composite number?
True
Let f(r) = -6*r + 17. Let s be 1/(2 + 33/(-15)). Let c(k) = -7*k + 17. Let o(t) = s*c(t) + 6*f(t). Is o(11) composite?
True
Let l(t) = -t - 3*t**3 + 0*t**3 + 2*t**3 - 7*t**2 + 14. Is l(-11) a composite number?
False
Let h = 45 + -40. Suppose 10*s - h*s = 4475. Is s composite?
True
Let p = 22421 + -11874. Is p a composite number?
True
Suppose 256*n - 249*n = 169729. Is n a composite number?
False
Let r(h) = -49*h - 154. Is r(-35) composite?
True
Let f(m) be the first derivative of -3 + 5/4*m**4 - 3*m + 1/3*m**3 + 2*m**2. Is f(2) composite?
True
Suppose -6*g + 0*g = 3534. Let x = 1078 + g. Is x prime?
False
Let b(k) = -k**2 + 5*k - 2. Let m be b(2). Suppose -m = -5*p - 3*z, -4*z - 2 - 4 = p. Is (-79*(-1 + p))/(-1) a composite number?
False
Let i be (46/6)/((-5)/120). Let s = -95 - i. Let w = 231 - s. Is w a prime number?
False
Let b(f) = 2*f**2 + 11*f + 7. Let t be b(-5). Suppose 3*u + t*u = 0. Is 56 - (-2 - (u - -1)) prime?
True
Let w(p) = 155*p**2 + 14*p + 17. Let r be w(-4). Suppose 2*g - r = g. Is g a prime number?
True
Let t(v) = 551*v - 35. Is t(6) a prime number?
True
Suppose 0 = -5*p - 5, 3*n - 969 = 7*n + p. Let z = n - -1095. Is z a composite number?
False
Let j = 20852 + -11721. Is j composite?
True
Suppose 0 = 5*r - 11839 - 5796. Let y = r - 2308. Is y a composite number?
True
Let z be 7/3 - (-6)/9. Let j be (1 + -2)*z/(-1). Suppose -6*q + q + 3*u + 404 = 0, j*q - 231 = -2*u. Is q prime?
True
Suppose -2*l - g + 871 + 526 = 0, l + 4*g = 681. Is l prime?
True
Suppose 4*w = -295 - 129. Let l(m) = 78*m**2 + m - 1. Let f be l(-2). Let k = w + f. Is k a composite number?
True
Suppose -3*a = 3*m - 501, 0*m + 5*m - 871 = 4*a. Let v = 268 + m. Suppose 0 = 5*q - 3*l - v, 5*q - q + 5*l - 366 = 0. Is q composite?
False
Suppose -1385*o + 1397*o = 383124. Is o prime?
False
Suppose -3*z - c + 115516 = -137552, 0 = -5*z + 3*c + 421766. Is z a composite number?
True
Let y(f) = 7*f**3 - f**2 + 3*f - 1. Let l be y(1). Let j(m) = -m**2 + 12*m - 11. Let b be j(l). Suppose b*a = 22*a - 295. Is a prime?
False
Let p(m) = -m**3 - 3*m**2 + 5*m + 2. Let v be p(-4). Is -166*5/v - -4 a prime number?
True
Suppose d = -3*y + 18, 5*y - 20 = 4*y - 5*d. Let u(z) = -3*z + 4. Let c(k) = 9*k - 11. Let n(v) = 3*c(v) + 8*u(v). Is n(y) a composite number?
True
Let r(v) = 18 - 38 + 14 + 448*v + 25. Is r(7) composite?
True
Let h be 14/35 - (-638)/5. Suppose 0 = -4*v + 6844 + h. Let f = 2998 - v. Is f prime?
False
Let w(y) = 200*y**2 - 18*y + 3. Is w(8) prime?
True
Suppose 725 = 5*h - 4*i, -h - 5*i + 2*i + 145 = 0. Let t = h + -56. Is t prime?
True
Let a(n) be the second derivative of 0 - 1/2*n**2 - 1/5*n**5 + 1/6*n**4 + 2/3*n**3 + 5*n. Is a(-3) a prime number?
True
Let d = 12886 - 4545. Is d a prime number?
False
Suppose 0 = 15*w - 9*w - 18. Is ((-148)/w)/((-28)/42) composite?
True
Let o = 19469 - -8412. Suppose 12*d - o = 5*d. Is d prime?
False
Let y(m) = 132*m**2 - 4*m - 7. Let n be y(-5). Suppose n + 411 = 4*i. Let u = i - 500. Is u prime?
True
Suppose 0 = -6*b - 0*b + 240. Suppose -b*o + 45*o = 1070. Is o composite?
True
Let n(o) = 27 - 27 - 184*o - 10*o. Let p = -1 - 0. Is n(p) composite?
True
Let c = 37 + -34. Suppose 8*n - c*r = 4*n + 4397, -5*n = 5*r - 5540. Is n prime?
True
Let q = 12 - 9. Let x be (8/6)/(q/(-27)). Is (3/x)/(3/(-228)) composite?
False
Suppose 4*c = -4*t + 85448, 61*t - 4*c - 64121 = 58*t. Is t prime?
False
Let h = 1382 - -795. Suppose 5*s = -2*s + h. Suppose -u + 414 = -4*y, -4*u - 5*y - s + 1883 = 0. Is u a prime number?
False
Let s = -192 + 126. Is (6556/s)/((-4)/6) a prime number?
True
Let r = 281711 - 197082. Is r prime?
True
Suppose 492 = 3*p - 7*p. Let x = 125 - p. Is x - (0 - 1/(-1)) a prime number?
False
Let m = -2641 + 4017. Suppose 5*w - 448 = -a - 0*a, -w = -3*a + m. Is a a composite number?
True
Suppose -v + 1105 = -i - 251, 5*v - i - 6788 = 0. Suppose -w + 1659 = -v. Is w a composite number?
True
Suppose -5*v - 1204 = -28889. Let m = -3834 + v. Is m prime?
False
Let m(x) be the second derivative of 11*x**4/6 - 3*x**2/2 + 3*x. Let g = 11 + -6. Is m(g) a composite number?
False
Is (-6234)/(-2)*(-4)/(-12) composite?
False
Let f(g) = 4*g**2 - 12*g - 38. Is f(-6) composite?
True
Let k = -798 - -2405. Let t = -1034 + k. Is t a prime number?
False
Let u = -49 - -51. Suppose 20 = o - 6*o, 5*g - 643 = u*o. Is g prime?
True
Suppose 18 = -9*l + 54. Suppose 0 = 4*v + 4*b - 1188, l*b - 13 = 3. Is v prime?
True
Suppose 15 + 17 = 8*j. Suppose 3*d - 351 = -f, -1458 = -j*f + 4*d - 118. Is f prime?
False
Let k(t) = t + 1111. Suppose -2*g + u - 29 = -5*g, -21 = -3*g + 3*u. Suppose 0 = 11*d - g*d. Is k(d) composite?
True
Let c(s) = s**3 + 21*s**2 - 12*s - 3. Let r be c(-18). Is (1/(-3))/((-1)/r) prime?
False
Let h(y) = y**2 + 6*y - 18. Let w be h(-9). Is 179/2*(w - 7) prime?
True
Suppose -3*x = 5*s + x - 6, 4*x - 24 = 4*s. Let k(b) = -2*b + 1. Let u be k(s). Suppose -u*m = -4*v + 1008, -5*v - 4*m = -1035 - 266. Is v a prime number?
True
Let f(a) = 14*a. Let x be f(1). Is (x - -3)/(7/287) prime?
False
Let n(j) = j**3 - 15*j**2 - 13. Let k(p) = -12*p**2 + 7*p**2 - 26*p**2 - 4*p**3 - 26 + 6*p**3. Let y(o) = 2*k(o) - 5*n(o). Is y(9) prime?
True
Let o(v) be the third derivative of -v**4/24 + v**3/6 + 5*v**2. Let n be o(-1). Suppose -4*a - 3*l - n*l = -578, 5*a + 4*l - 718 = 0. Is a a composite number?
True
Suppose 4*o - 53 = 5*v, 5*o = -5*v - 3 - 32. Let t be ((-1599)/2)/(v/18). Suppose 180 = -3*k + t. Is k composite?
True
Let j be 1911 - (-2)/((-6)/9). Suppose -j = -5*b - w, 2*w - 5*w = -9. Is b a composite number?
True
Suppose 12*t = 12333 + 11511. Is t a composite number?
False
Suppose 2*z + 4 = 12. Let f(y) = y**3 - 3*y**2 + 2. Let p be f(1). Suppose z*r + p*h - 132 = -5*h, -20 = 5*h. Is r a composite number?
True
Suppose -4*u = 3*v + 68, -98 = 4*v - 4*u + 2*u. Is (-5936)/v*6/4 prime?
False
Suppose 3*n = -169 - 65. Let k = n + 173. Is k composite?
True
Suppose 0 = -2*t - l - 29, -2*t - 4*l = -l + 23. Let j = t + 20. Suppose -3*r = -2*v + r + 538, -2*v + 498 = j*r. Is v composite?
True
Let s(a) = -a - 13. Let b be s(-13). Suppose -4*h + 36 = 5*l - 0*h, -2*l + 3*h - 4 = b. Suppose y = 4*p + 35, -l*y + p = -69 + 4. Is y a composite number?
True
Is 0 + 9864/7 + (-5)/35 a prime number?
True
Let k = -2 - -6. Suppose -w + k = w. Suppose w*t - 218 = -64. Is t composite?
True
Suppose -38*u + 35529 + 5777 = 0. Is u composite?
False
Let f(i) = -3*i - 12. Let j be f(-5). Suppose -v + 936 = -q, -1865 = v - j*v - 5*q. Suppose -2*r = 3*r - v. Is r composite?
True
Let x = 10 - 7. Suppose -28 = -x*r - 4*r. Suppose -384 = -r*l - 20. Is l a composite number?
True
Let v = 54407 - 38362. Is v a composite number?
True
Suppose 2*v - 2*h - 21120 = 0, -h = 2*v - 18036 - 3081. Is v a composite number?
False
Suppose -i + 0*i = -3*z + 6, i - 6 = -z. Suppose k - 6 = 3. Suppose 169 = i*w + 4*v, w - 64 = -2*v - k. Is w prime?
True
Let o be (-1)/(12/(-9) + 1). Suppose -890 = -5*d + o*d. Suppose y - 6*y + d = 0. Is y a prime number?
True
Suppose -27*a + 305158 = -903821. Is a a composite number?
False
Suppose 15*s - 253465 = 9440. Is s a composite number?
True
Let q(n) = 2 + 2*n**2 + 1 - 2*n - 3*n**2. Let j be q(-3). Suppose w - 65 + j = 0. Is w a composite number?
True
Let n(m) = -147*m**2 - 4*m - 2. Let h(a) = -295*a**2 - 9*a - 3. Let z(i) = -3*h(i) + 5*n(i). Is z(2) composite?
False
Suppose 619430 = 64*x - 50*x. Is x a prime number?
False
Is (1*12/(-36))/(1/(-109851)) prime?
False
Let w = 3181 - 1651. Let z = w + 419. Is z a prime number?
True
Let k = 18 - 16. Is (4 + -5)/(2*k/(-652)) a composite number?
False
Let a(n) = 2*n**3 + n**2. Let m be a(-3). Let q(r) = -r**2 - 24*r - 4. Let w be q(-16). Let v = w + m. Is v a composite number?
False
Suppose -5*a + 2*b + 14444 + 3919 = 0, -a - b = -3667. Is a a prime number?
True
Suppose 0 = 4*c - 958 - 4146. Suppose -7*h = -3*h - c. Is h a composite number?
True
Let x be 8642 + 4 + 1 + (1 - 4). Let o = x - 5811. Is o prime?
True
Let c(p) = -p**3 - 7*p