 - 182240 = -15*l. Is l a composite number?
False
Suppose -10*h = -5*h - 70. Suppose h = -3*q - 4. Is 255/q*4/(-2) a prime number?
False
Suppose -24 = 3*f - 0*u - 3*u, -f = 4*u + 18. Let w(c) = -c**3 - 4*c**2 + 9*c + 1. Is w(f) a prime number?
False
Let l(r) = -4*r - 7. Suppose 3*z = -2*z + 15. Let s(b) = 5*b + 8. Let q(i) = z*s(i) + 4*l(i). Is q(-11) a prime number?
True
Let u be ((-4 - -4)*1)/(2 - 3). Let v(n) be the first derivative of n**4/4 - n**3/3 + 15*n - 1. Is v(u) prime?
False
Suppose 5*n = 3*a + 21358, -a + 0*a + 21354 = 5*n. Let w = n - 2872. Is w prime?
True
Suppose 0 = -26*f + 3736 + 19118. Is f prime?
False
Let z(f) = -f**3 + 12*f**2 + 26*f + 17. Is z(12) prime?
False
Let a = -322 - -3261. Let r = -1228 + a. Is r prime?
False
Let r = -4152 + 2686. Let l = -563 - r. Suppose 6*q - 9*q + l = 0. Is q composite?
True
Let o = -1801 + 5884. Is o a prime number?
False
Suppose -2*w - 2 = 4, 4*i - 10660 = -4*w. Let a = i - 8. Suppose 5*q = -0*l + 5*l + a, 3*l - 3 = 0. Is q composite?
True
Let u(o) = 6*o**3 - 5*o**2 - 3*o + 1. Let l(w) = 2*w + 16. Let v be l(-6). Is u(v) a composite number?
False
Suppose -16*a + 21*a = -5*f + 10495, 10 = -5*f. Is a a composite number?
True
Let h(n) = n**3 - 6*n**2 + 2*n - 7. Let c be h(6). Suppose c*u = -2*m + 2763, -3*m - 175 = -u + 381. Is u a composite number?
True
Let z = -5 + 8. Suppose 5*m + 1509 = z*d, -4*m = 5*d - m - 2549. Suppose -2*v + 6*v - d = 0. Is v a prime number?
True
Suppose 0 = 3*s + 3*d + 3, 0*s - 11 = 2*s + 5*d. Suppose a = 2*b + 97, -s*a - b + 9 + 195 = 0. Let m = -18 + a. Is m a composite number?
False
Let g(f) = 5*f + 30. Let a be g(-6). Let t(h) = -h**2 - h + 191. Is t(a) a prime number?
True
Let u(b) = b**2 - 1. Let v(h) = -3*h**2 + 2. Let q(c) = 4*u(c) + v(c). Let f be q(-3). Suppose f*y = 2*y + 725. Is y a prime number?
False
Let i = 76363 + -36560. Is i a composite number?
True
Suppose 5*h - 3*h + 6 = 0. Let u(f) = -2*f**2 + 14*f**2 + 5*f + 0 + 2. Is u(h) a prime number?
False
Suppose 3*s = 12, -2*u = -6*u - 5*s + 484. Let f be -1 + -1 + u + 6. Suppose -2*t + w + 201 + 38 = 0, 0 = t - w - f. Is t a composite number?
True
Let v(z) = -253*z + 3. Let u(k) = 759*k - 10. Let t(i) = 2*u(i) + 7*v(i). Let o be t(-1). Suppose 3*b = b + o. Is b composite?
False
Let k(y) be the second derivative of -y**5/20 + 5*y**4/4 + 17*y**3/6 + y**2 - 4*y. Suppose -66 = -4*m - 6. Is k(m) a composite number?
False
Let u(h) = 22*h + 11. Let j be (11/(-2) - -1)*16/(-12). Is u(j) a prime number?
False
Let d(j) = 3341*j - 9. Is d(2) a prime number?
True
Suppose -79376 = -20*r + 1604. Is r a composite number?
False
Let n = -1652 - -4915. Is n composite?
True
Suppose -29*t + 34*t = 56955. Is t a composite number?
True
Let t = 128 + -320. Let q = t - -295. Is q composite?
False
Let f be (-2 + 4)/((-3)/(-6)). Suppose 0 = -r - f*w + 179, 4*r + 0*r = -4*w + 752. Is r a prime number?
True
Suppose -2*a = 25 - 9. Is ((-2811)/6)/(a/16) composite?
False
Suppose -2*l = -3*u - 206578, -14*l + 516445 = -9*l + u. Is l a composite number?
False
Let d(f) = -f**3 + 6*f**2 + 11*f - 8. Let i be d(7). Is 2/4 + 39530/i composite?
True
Is ((-2817855)/108)/(5/(-4)) prime?
True
Let g(u) = u**3 - 4*u**2 - 2*u + 3. Let j be g(4). Is (15/(-3))/j - (-260 - 2) a prime number?
True
Let s = 2323 + 10192. Is s prime?
False
Suppose -2*c = c + 12, 3*j = -4*c - 7. Is j/(-6)*(-325 + -1) a composite number?
False
Let c be 2 + (-3 - (-4 + -2)). Suppose 0 = -4*y + c*y - 2053. Is y a prime number?
True
Suppose -94*v + 98*v - 9484 = 0. Is v prime?
True
Let g(i) = 7*i**2 + 6*i - 25. Let d(w) = -3*w**2 - 3*w + 13. Let u be (-5 - -4)*(-13 + 2). Let c(o) = u*d(o) + 6*g(o). Is c(-6) a prime number?
False
Suppose 5*z = -5*o + 6830, z + 3*o - 6824 = -4*z. Is z prime?
False
Suppose 4*t - 17 = -3*o - 0*o, -3*t - 4*o = -18. Suppose 2*d = 3*g - 1363, -3*g + d + 2260 = t*g. Is g composite?
True
Suppose 11 = 3*b + k, 13 = 2*b + 3*k + 1. Suppose -1184 + 290 = -b*s. Is 1 - 1 - (5 - s) a composite number?
False
Let v(t) = -t**2 - 9*t + 1. Let y be v(-5). Let q = y - 18. Suppose -q*z - z + 532 = 0. Is z composite?
True
Let a(v) be the third derivative of v**4/24 + 371*v**3/6 + 10*v**2. Is a(0) composite?
True
Suppose 4*q + 5*v = -9757, 0 = 2*q + 2*v + 2*v + 4874. Let f = -1412 - q. Is f prime?
True
Suppose 0 = -s + 20384 + 287. Is s a prime number?
False
Let a be 6/(-15)*-2*995. Let j = -34 - -39. Suppose -a = -j*b + 2649. Is b prime?
False
Let h(b) be the second derivative of -3*b**3 + 5*b + 1/6*b**4 + 0 + 7/2*b**2. Is h(15) composite?
True
Let n(s) = -3*s**3 - s - 1. Let c be n(-1). Let x = -12 - -53. Let q = x - c. Is q a prime number?
False
Let l = 481 + -264. Let k = l - 68. Is k composite?
False
Let k(t) be the first derivative of -4 - t - 3/2*t**2 + 2/3*t**3 + 1/4*t**4. Is k(7) composite?
False
Let r be (1 - -4)/(4/(9 + -5)). Suppose -3*q - 3*g - 124 = -775, -q + r*g + 199 = 0. Is q composite?
True
Let t(h) = -5*h - 21. Let w(i) = 3*i + 10. Let n(o) = -4*t(o) - 7*w(o). Let u be n(11). Is 48 + 0 + -2 + u a prime number?
False
Let f(i) = i**2. Let k(p) = -2*p**2 + p - 3. Let c(g) = -f(g) - k(g). Let o be c(0). Suppose -o*l = -5*t - 1903, l - 2530 = -3*l + 3*t. Is l composite?
False
Let m(w) = -w - 3. Let b be m(-8). Suppose -r = -h - 123, b*r + 4*h - 176 = 430. Is r a prime number?
False
Is (-3)/39 - 3591708/(-377) a prime number?
False
Let k(r) = 2*r**2 - 3*r - 8. Let x = 17 + -10. Let y be k(x). Suppose p - 20 = y. Is p a composite number?
False
Let g(j) = -j - 2. Let a be g(10). Let f = 176 + a. Suppose f + 101 = 5*p. Is p a prime number?
True
Suppose -76 = 4*c - 4*j, -c - j + 91 = -5*c. Let t = 24 + c. Suppose 7*r - 2418 + 409 = t. Is r a composite number?
True
Let y(l) be the third derivative of 95*l**4/24 + l**3/2 + 11*l**2. Is y(6) composite?
True
Let z(m) = 877*m**3 + 3*m**2 + 3*m - 5. Is z(1) a composite number?
True
Suppose 34*u - 375540 = 447498. Is u a composite number?
True
Suppose 0*f + k = 3*f - 19, -2*k - 14 = -2*f. Let p be (-8)/(9/f - 1). Let o = p + 107. Is o a composite number?
True
Suppose -4*i - m = -6*m - 28, -40 = -5*i + 5*m. Suppose i = f - 3. Is f composite?
True
Let p = 5234 + -2632. Is p a composite number?
True
Let c = 385 - 159. Suppose -4*p = -c - 154. Is p a prime number?
False
Let g(v) = 3*v**2 + 3*v + 5. Suppose 4 = -p + 17. Let d = 8 - p. Is g(d) composite?
True
Let f = 31807 + -17160. Is f prime?
False
Let a(h) = h**2 + 8*h - 4. Let j be a(-9). Suppose t - n = 419, -850 = -4*t + 2*t + j*n. Is t prime?
False
Let c = 15 + -13. Let r be (-8 - -7) + 2/c. Suppose -f + 4*z + 331 = -8, 3*f - 5*z - 1003 = r. Is f a composite number?
False
Suppose 8*l = 2*l + 300. Suppose -2*m = f + f + 46, -5*f + 3*m - 83 = 0. Let q = f + l. Is q a composite number?
False
Let a(x) = x**3 + 7*x**2 - 8*x + 5. Let s be a(-8). Let c(p) = 8*p**2 - p + 28. Is c(s) a prime number?
True
Let p = 25 + -55. Is (p - -15)*(-58)/6 composite?
True
Let u = 1535 + -364. Is u prime?
True
Suppose -489 - 1431 = -4*o. Suppose 3*h + o = -2*h. Let f = 207 + h. Is f a composite number?
True
Let q(a) = 0*a + 852*a**2 + 35*a**2 - 2*a + 4 - 2. Is q(1) a prime number?
True
Let b = 137 - 147. Is (-1128)/b + (-19)/(-95) a composite number?
False
Let c(i) = i**3 + 23*i**2 + 4*i - 53. Is c(-20) a prime number?
False
Let y = 21 + -13. Let n be ((-118)/(-4))/((-4)/y). Let p = 85 + n. Is p a composite number?
True
Is (-9624494)/(-176) - (-3)/8 composite?
True
Let w(o) = -2*o**3 - 12*o**2 - 37*o - 43. Is w(-16) a composite number?
False
Let f(n) = 8*n**3 - n**2 - 4*n + 3. Let y be 1 + 0/(-1) - -3. Suppose 0 = -2*r - 3*w + y, 4*w + 8 = 4*r + 2*w. Is f(r) a composite number?
True
Let w(v) be the second derivative of -3*v**5/10 + v**4/12 + v**3 + 3*v**2/2 - 17*v. Is w(-4) a prime number?
True
Is (0 + -1)*5 + 1523088/84 a prime number?
True
Suppose -5*t = -20, -2*l - 2*l - t = 28. Let b(r) = -r**3 - 6*r**2 + 11*r + 13. Is b(l) prime?
True
Let t = -11 - -9. Let h = 13 + t. Suppose -2*s + 309 - h = 0. Is s prime?
True
Let q = -165 - -284. Suppose q - 60 = k. Is k composite?
False
Let o = -344 + 173. Let b = -109 - o. Suppose b = -4*h + 154. Is h a prime number?
True
Let a = 7 + 3. Suppose -7 = -4*k - x, 0 = 4*k + k + x - a. Suppose k*o = -o + 556. Is o composite?
False
Let f(a) = -a**