l) = -529*l - 20. Let a(i) = -176*i - 7. Let z(c) = 8*a(c) - 3*v(c). Is z(b) prime?
True
Suppose -55017 = -7*q + 26162. Is q a prime number?
True
Is -6 - (5/1 + -2932) a prime number?
False
Suppose 7*u - 8*u + 30483 = 4*r, 4*r = 4*u + 30488. Is r composite?
False
Let g(a) = -2*a**3 + 9*a**2 - 2*a - 12. Let i be g(4). Is 10/i*(-22488)/30 a prime number?
False
Let z(x) be the first derivative of x**4/4 - 11*x**3/3 - 13*x**2/2 + 3*x - 5. Is z(14) a prime number?
True
Let k = 23 - 21. Suppose -75 - 31 = -k*r. Is r a composite number?
False
Suppose 183*r - 47759 = 182*r. Is r composite?
True
Let i(p) be the first derivative of -p**4/4 - 2*p**3/3 - 3*p**2/2 - p - 1. Let w = 138 - 144. Is i(w) a composite number?
True
Let u = -40 - -48. Suppose 5*i = 5, 3*i = 2*y + u*i - 1663. Is y a prime number?
True
Suppose 4*s - 8 - 4 = 0, 5*s + 9 = 4*v. Let l be 6/(-4)*(-20)/v. Is (-12)/20 + 248/l prime?
False
Suppose 0 = 13*b - 10*b - 6654. Is b prime?
False
Let y be 35/6 + 15/90. Suppose 3*z - y*z = -12. Let j(i) = 3*i**2 + 2*i + 3. Is j(z) prime?
True
Let f = -11 - -11. Suppose t + 2*u - 10 = f, -t - 14 = 2*t - 5*u. Is 4/2*11/t prime?
True
Let u = 8847 - 5606. Is u a prime number?
False
Suppose -1 = -5*i + 14. Suppose -2*w = i*w - 2235. Is w a prime number?
False
Let f = 222 - -2885. Is f prime?
False
Suppose -12*z = -9*z - 24. Let n = z - -321. Is n composite?
True
Let y be 8*-2 + (0 - -2). Let i(h) = -104*h + 46. Is i(y) prime?
False
Suppose 5*m - 6684 = -1404. Suppose -4*a = -3*w + 649, 5*w - 21 - m = 2*a. Let o = w + -124. Is o a prime number?
False
Let r = 177747 - 89096. Is r prime?
True
Suppose v - 1791 = 1681. Suppose 5*f - 3*t - 15 = 0, 4*f - 7*f + t = -9. Suppose 2*x - v = -2*x - 3*h, x = f*h + 853. Is x composite?
True
Let k = -756 + 1203. Is k a prime number?
False
Is ((-2)/(-6))/(6/(296042 - -4)) prime?
True
Let t = -9 + 14. Suppose k + 1658 = 4*v, -t*k - 411 = -v - 3*k. Suppose 2*w = -2*f + 276, -5*w + 5*f + 315 + v = 0. Is w composite?
True
Let x = 514 - 107. Suppose -5*i + x + 308 = 0. Is i prime?
False
Let c be 40/15 + (-2)/(-6). Let o be ((-7)/4)/(12/(-144)). Suppose -42 = -c*j + o. Is j a composite number?
True
Suppose -7*o + 42 = 28. Suppose -4*l - 4*k + 992 = 0, -245 = -l - 4*k + o*k. Is l prime?
True
Suppose 0*a + 10*a = 68050. Is a prime?
False
Suppose -2*w + 2368 = 2*j, 2*j - w = -2*j + 4721. Suppose -1147 - j = -4*n + 4*k, 4*k - 577 = -n. Is n a prime number?
False
Let l be -5 - 2*3/(-3). Let t = -1 - l. Is t*4/(-8)*-31 a composite number?
False
Suppose 0*n - 4336 = -4*z - 4*n, -z = -5*n - 1054. Suppose -5*a + 4*k = -z, 0 = k - 6*k + 20. Let l = a - 92. Is l a prime number?
True
Let n(p) = 20*p - 11. Let m(h) = -3*h + 6. Let a be m(5). Let g be n(a). Let r = g - -306. Is r a composite number?
True
Suppose 476571 = 39*d + 28*d. Is d composite?
True
Suppose 3*n - s = 4, 4*n + 6*s = 2*s. Let c(p) be the first derivative of 157*p**4/4 + p**2 - p + 2. Is c(n) a composite number?
True
Let o be 3/(-5) + (-53394)/(-15). Suppose 1133 = -r - 3*x, 3*r + o = 4*x + 95. Is r/(-10) + 5/25 a prime number?
False
Let d = -53 - -30. Let a = d - -28. Let m(t) = 84*t + 7. Is m(a) composite?
True
Let w(k) = 23*k**3 - 5*k**2 + 3*k + 2. Suppose -12 = -3*q - q. Is w(q) composite?
False
Suppose -2*c - c + 15 = x, 3*c - x = 9. Let n be -1764 + c + (0 - 0). Let q = -1125 - n. Is q prime?
False
Let x be 2*(38/4)/1. Suppose 0*p = p. Suppose p = f - 4*d - x, -6*d = 3*f - 2*d - 9. Is f prime?
True
Let p be (5 - 8)*2/(-6). Let f be (-4)/(-10)*(p + 4). Let b(c) = 12*c**3 + 2*c**2 + 2*c - 2. Is b(f) prime?
False
Let m(a) = 22*a**2 + 2*a + 1. Let y be m(-2). Suppose -y*g = -83*g - 1402. Is g prime?
True
Let x(u) = -u**3 - 3*u**2 + 2*u + 5. Let t be x(-4). Let i(z) = -5*z + 3. Let b be i(3). Is (-12)/b + 4*t a prime number?
True
Suppose 3*t = -0*t. Suppose 7*u - 2*u = t. Suppose k = -u*k + 57. Is k composite?
True
Let p be (-48)/(-7) - -2 - (-1)/7. Let v(c) = c**3 + 3*c**2 - 9*c + 30. Is v(p) a prime number?
False
Let z = -144 - -352. Let i = -125 + z. Is i a composite number?
False
Let x be (-128)/(-5)*(-90)/12. Let k = -119 - x. Is k + (-1)/(3/(-12)) prime?
False
Suppose 4*y + 52 = 2*y. Let r = -21 - y. Suppose -h - r*a + 125 = -106, -2*a - 450 = -2*h. Is h prime?
False
Suppose 9*j - 4 = 11*j. Let z(c) = -34*c**3 - 2*c**2 + c + 5. Is z(j) composite?
True
Let y = -91 + 94. Suppose -5575 = -5*p - 4*j, 0 = y*p - 3*j - 0*j - 3318. Is p composite?
True
Suppose 5*o - 14 = 1, -o + 821 = 2*c. Is c a prime number?
True
Let i = -889 + 1304. Suppose -2*u + 7*u - i = -2*c, -2*u - 4*c = -150. Is u a prime number?
False
Suppose 3*l - 864 - 474 = 0. Suppose f + t + 210 = 8, 4*t = -2*f - 414. Let k = l + f. Is k a prime number?
False
Suppose -s - 3*f - 6 = 0, 4 - 43 = 4*s - 3*f. Let x(m) = 11*m**2 - 7*m - 11. Let a(d) = -d. Let i(l) = -6*a(l) + x(l). Is i(s) composite?
True
Let h(d) be the second derivative of -23*d**5/60 + d**4/8 - d**3/6 + d. Let v(g) be the second derivative of h(g). Is v(-5) a composite number?
False
Suppose 0 = -14*v + 16*v. Let l be -4 + (17 - v) + 2. Let w(b) = b**3 - 15*b**2 + 2*b + 5. Is w(l) prime?
False
Let x be 1 + 3 + 0 - 22304/(-41). Let y = x - 151. Is y composite?
False
Suppose 0 = -2*m + 17*h - 14*h + 7354, -3*m + 3*h = -11037. Is m a prime number?
False
Suppose -446 = -5*k + 3*x, -3*k + 256 = -0*k + 4*x. Let u = k + -49. Is u a prime number?
False
Let i(m) = 25*m**2 - 4*m - 4. Suppose -13 = -4*v - 2*c + 7*c, 0 = 5*v - c + 10. Is i(v) a prime number?
True
Suppose -24 - 12 = 6*n. Let y be ((-3 - n) + -4)*-7. Suppose -y*b + 5064 = b. Is b a prime number?
False
Let s = -12010 + 17511. Is s prime?
True
Suppose 0*n + 3*n - 4*c - 23 = 0, n = -5*c - 5. Suppose -5*v - 343 = -2*k, n*k - 1237 = v - 345. Is k a prime number?
True
Suppose 0 = -5*y - v - 15, 6 = 4*y + 4*v + 18. Is y - -19*(-104)/(-4) prime?
True
Let f(w) be the second derivative of 5*w**4/4 + 5*w**3/6 - 5*w**2/2 - 6*w. Suppose -24 = -2*l - 2*l. Is f(l) composite?
True
Let u = 3368 - 265. Is u a composite number?
True
Suppose -3*z + f + 13154 = 0, -5*z - 3*f + 10294 = -11634. Suppose -z = 3*o - 8*o. Is o composite?
False
Suppose 76692 = 4*y - k, 2*k + 12195 = y - 6971. Is y a composite number?
True
Suppose -2*r + 0*r = -6. Suppose -r*q + q = 32. Is (q/(-12))/(6/63) a prime number?
False
Suppose r - 20 = -3*r. Suppose r*a = 20 + 10. Suppose -8*o + a*o + 406 = 0. Is o a prime number?
False
Suppose 2*v + 3*p - 6493 = 0, -v + 13019 = 3*v - 5*p. Is v a composite number?
False
Let d(j) = j**3 + 12*j**2 + 11*j. Let k be d(-11). Suppose -2*r = -k*r. Is 123 + (r - 1 - 3) composite?
True
Let s = 10 - 2. Suppose 0 = 2*d - 4*d + s. Suppose -d*p + 136 = -4*b, 2*b - 1 = -p + 24. Is p a composite number?
False
Suppose -14 = -3*n - m, 0*n + 2*n = -2*m + 16. Suppose 5*q + 15 = 0, 0 = -n*a + q - 0*q + 645. Suppose 5*b - a = 71. Is b a prime number?
False
Let d(h) = 1901*h + 15. Is d(2) a prime number?
False
Suppose -4*i = -4*q + 3744, -3*q = i - 0*q + 948. Let l = i - -1336. Is l prime?
True
Suppose -4*k - k = 0. Suppose k = -y + 4*y - 12. Suppose 0*o + h = -y*o + 173, -4*o - 2*h = -174. Is o composite?
False
Let z(q) = 11*q**2 + 5*q + 7. Let i be ((-1 - -2) + (0 - 0))*5. Is z(i) a composite number?
False
Let p(d) = -51*d**2 + 9*d + 37. Let f(u) = -u**2 - u + 1. Let i(q) = -4*f(q) - p(q). Is i(-10) composite?
True
Suppose 13*v + 12177 = 40*v. Is v composite?
True
Suppose -17229 = -14*j + 18877. Is j composite?
False
Suppose -2123 - 1697 = -4*i. Is i a prime number?
False
Let t = -4045 - -7913. Is (7/14)/(2/t) composite?
False
Let b(a) = -a**3 - 14*a**2 - 14*a - 2. Let z be b(-13). Let q(o) = -o**2 + 14*o - 8. Let c be q(z). Let f = 48 - c. Is f prime?
True
Suppose -2*g - 1540 + 312 = 0. Let c = -249 - g. Is c prime?
False
Suppose -9*n + 2*n = -553. Suppose n = h - 78. Is h composite?
False
Let v be 18/9 + 1 + -5. Let t be 16/6*(-3)/v. Suppose -333 = -t*f - 65. Is f composite?
False
Suppose -y + 78 + 17 = 0. Suppose y + 4 = 3*f. Suppose w - f - 13 = 0. Is w composite?
True
Suppose 153 = 3*i + 15. Is (i/4)/((-12)/(-312)) prime?
False
Let q = -5632 + 11177. Is q a prime number?
False
Suppose -4*u - 3*p + 8020 = 0, 3*u = -0*u - p + 6020. Suppose 3*x - 10507 = -u. Is x a prime number?
True
Let a = -7583 + 10690. Let