e of 397*f**4/12 - 18*f. Is j(1) a prime number?
True
Let d(s) = -25*s + 1. Let f be d(-5). Let x = f + -69. Is x prime?
False
Let v = 914 + 523. Is v composite?
True
Let s(y) = 17*y**3 - 9*y**2 + 6*y + 5. Let j(m) = 35*m**3 - 19*m**2 + 13*m + 10. Let a(b) = 6*j(b) - 13*s(b). Is a(-3) prime?
False
Let f(t) = -170*t**3 + 3*t**2 + 5*t + 3. Let p be f(-2). Is (3 + p/6)*4 composite?
True
Suppose -2*g + 0*g - 2*z = 22, 0 = g - z + 11. Let l be (-12 + 7)*g/(-1). Let m = l - -166. Is m a composite number?
True
Suppose -4*q + 24 = 4*r, 0*q = 4*q + r - 18. Let j be (-4 - q)/(-4) + 4. Suppose j*t = 2106 - 204. Is t a composite number?
False
Suppose 44036 + 28417 = 3*t. Is t a composite number?
False
Let b = -29 - -78. Let v(a) = 10*a**2 + 6*a - 8. Let x be v(-5). Let t = x - b. Is t a prime number?
True
Let v(c) be the first derivative of -43*c**2/2 - 6*c + 8. Is v(-9) a prime number?
False
Is 6/21 + (-51336)/(-56) prime?
False
Let c(i) = -21*i - 22. Let s be c(-10). Suppose -8*l + 6*l = -s. Is l prime?
False
Let w be (-60)/(-9)*-9*(-5)/(-30). Let f(a) = 132*a - 59. Let k(x) = 33*x - 15. Let u(z) = 2*f(z) - 9*k(z). Is u(w) composite?
False
Let c(t) = -4*t**3 + t + 1. Let f be c(-1). Suppose 0 = f*u - s + 1, 5*s - 28 = -3*u - 0*u. Is (-9 + 6)/(u/(-7)) prime?
False
Suppose -3*l - 3 = -24. Suppose -l*i - 609 = -10*i. Is i a composite number?
True
Let u(s) = -506*s - 103. Is u(-12) prime?
False
Let y be (-4)/4 + -13689 - -1. Is y/(-65) - 4/(-10) a composite number?
False
Suppose -2*f - 2*f + 1580 = -5*h, 5*f = -3*h - 985. Let r = h - -535. Is r composite?
True
Let o(b) = -6 + 1785*b - 93*b + 7. Is o(1) a composite number?
False
Let o(f) = 5*f**2 - 10*f + 2. Let n(y) = -6*y**2 + 9*y - 2. Let w(c) = -4*n(c) - 3*o(c). Is w(-5) composite?
False
Let b = -70 + -283. Suppose 4*n = 3224 - 584. Let y = n + b. Is y a composite number?
False
Suppose -2*u = -7699 + 2177. Is u a prime number?
False
Let m = -1396 - -2087. Is m prime?
True
Let z(r) = -51*r**3 - 5*r**2 - 3*r - 1. Let h be z(-3). Let u = -709 + h. Is u prime?
True
Let v = -59 - -9. Let i be 40/v - 6382/10. Let o = 1190 + i. Is o a composite number?
True
Let n be (1*-1 + 30)*(118 - 117). Let f(a) = 2*a**2 - 40*a - 73. Is f(n) a composite number?
False
Let x(j) = 10*j**2 + 2*j + 9. Let c(z) = -z**2 - 1. Let q(m) = 3*c(m) + x(m). Let w be q(-4). Let l = w + -73. Is l a composite number?
False
Is (2/(-3))/((-2)/59217) a composite number?
False
Let r = -18 + 11. Let b = -5 - r. Suppose -3*d = -4*h + 151, b*h + 0*h - 53 = -3*d. Is h prime?
False
Let k = -7 + 7. Suppose z - 233 = -k. Is z composite?
False
Let c be 48/(-22) - (-8)/44. Is (-56562)/(-42) + c/(-7) a prime number?
False
Let t(m) = m**3 + 14*m**2 + 14*m + 5. Let o be t(-13). Let p(s) = 14*s**2 - 10*s + 1. Is p(o) prime?
True
Let h = -17 + 17. Suppose h*r - 388 = -4*r. Is r a prime number?
True
Let t = 1519 + -888. Is t a composite number?
False
Let n be (-7)/((-21)/3420)*(4 + -3). Suppose 3421 = 3*p - b - b, 0 = -p + b + n. Is p a composite number?
True
Suppose 0 = v - 2*c + 12 - 1, 0 = 5*v - 5*c + 35. Let u be 4 - (10076/(-12) - (-2)/(-6)). Is v/(-2)*u/6 composite?
False
Suppose 17858 = 7*t - 29511. Is t prime?
False
Let z = 24 - 22. Let p = 263 + -151. Suppose 5*y - 2*q = 445, 4*y - z*q - 244 = p. Is y a composite number?
False
Let k(w) = w**2 + 5*w + 33. Let f(v) = 7*v + 29. Let a(o) = -4*f(o) + 3*k(o). Let m(t) = -t**2 - 8*t. Let x be m(-6). Is a(x) a prime number?
False
Is 90/(-72) - 143643/(-12) a prime number?
True
Let t = -8864 + 14091. Is t a composite number?
False
Let u = -4605 + 17192. Is u prime?
False
Let o(j) = 5*j**2 - 37*j - 43. Is o(-13) prime?
True
Suppose 8 = -4*h, -4*s = -5*h - 89 - 137. Suppose -3*k - 3 = -4*k. Let p = s + k. Is p a composite number?
True
Suppose 3*h - 16221 + 3844 = 5*p, 2*p - 16468 = -4*h. Is h composite?
True
Suppose 5*z = -2*k + 6*k + 15175, 0 = 4*z - 4*k - 12136. Suppose -z = -4*a - 5*m, -3 = m + 2*m. Is a prime?
True
Suppose 3*w + 7 - 16 = 0. Suppose -3*v = -3, -2*v + 449 = w*y + 33. Let j = y + -7. Is j a prime number?
True
Let b = -4322 - -7749. Is b prime?
False
Suppose 3*r - 65887 = 4*w, 3*r + 2*w - 33585 - 32296 = 0. Is r prime?
True
Let r be ((-342)/15)/((-4)/10). Suppose 0 = -5*n + 2*g + r, -n + 39 = 3*n + 5*g. Suppose 4*j + n = h + 73, 54 = 4*j + 3*h. Is j composite?
True
Suppose -23*z + 60 + 32 = 0. Suppose 0 = -3*u - 0*u + 480. Suppose 0 = 5*f - 0*o - 3*o - 160, 4*f + z*o = u. Is f a composite number?
True
Suppose u = 3*j - 11306 - 17090, 0 = -3*j + 5*u + 28376. Is j a prime number?
True
Suppose 0 = 18*d - 56*d + 207898. Is d a composite number?
False
Let h = -71 - -71. Suppose h = 3*l - 2683 - 956. Is l prime?
True
Let c = 968 - 579. Is c a composite number?
False
Suppose -2*l - 5*p = -13, 0 = -5*l - 2*p + 5*p + 79. Suppose -s + 11 = -3*n, 2*s + 4*n + l = 4*s. Is 33 + -6 - s*4 a prime number?
True
Suppose -3*j - 20344 = -11*j. Is j a prime number?
True
Let z = 22 + 354. Suppose l = -2*l + 5*u + z, -4*l + 2*u + 506 = 0. Is l composite?
False
Let n(l) = 6*l + 27. Let u be n(-6). Is (-2975)/(-63) + 2/u a composite number?
False
Suppose 914 - 44 = -3*r. Let z = r + 483. Suppose 41 = s + o - 0*o, -5*s - 2*o + z = 0. Is s prime?
True
Let p be (-29)/(-2) + (-6)/(-12). Suppose 8*g = 3*g + p. Let o(x) = 2*x**3 - 5*x**2 + x + 2. Is o(g) a composite number?
True
Let x(h) = 75*h**2 - 8*h. Let z be x(6). Suppose j - 4*j = -z. Suppose 0*d + 4*d = j. Is d prime?
False
Let a(u) = -u + 7. Let x be a(0). Suppose -4*p = -4*z - 3996, -x*z = 5*p - 4*z - 4979. Is p a composite number?
False
Suppose 35 = 3*g + 26. Suppose -3*y + 1 = 25. Let v = g - y. Is v composite?
False
Let a = -6230 - -10941. Suppose 0 = -6*h - h + a. Is h prime?
True
Let c(o) = -o**2 + 4*o - 4. Let v be c(2). Suppose v*w - 2*w + 4 = 0. Suppose 0*b + 5*f - 232 = -w*b, -b + 4*f = -90. Is b prime?
False
Let w = 32 - 27. Suppose 0 = q + h - 689, w*q - 3475 = 2*h - h. Is q a composite number?
True
Is 1771011/36 - -1*1/4 composite?
True
Let y(m) = -m. Let u(h) = 20*h**2 + 12*h + 18. Let p(d) = u(d) - 12*y(d). Is p(10) prime?
False
Let v be (-199)/(3 + (-95)/30). Let h be ((-210)/(-9))/((-4)/(-294)). Let c = h - v. Is c composite?
False
Suppose -5*s - 4*z + 14 = 0, 4*z + 0 = s + 2. Suppose 5*b - s*a + a = 428, 0 = -3*b - 4*a + 243. Is b a composite number?
True
Suppose -5*b - 13428 = -3*l, 3*b = 6 + 3. Is l a prime number?
True
Let v be (3794/(-8))/7*(-13 - -1). Is v - (-1 + 1*(2 + -3)) composite?
True
Suppose 3*u = 4*f + 20, 4*f - 8 - 20 = -3*u. Let l be (-2)/u + 26/8. Suppose 390 = 3*r - 0*j - l*j, j = 4*r - 529. Is r a composite number?
True
Let u(j) = -238*j**3 + 20*j**2 - 3*j + 2. Is u(-3) prime?
False
Suppose 7154 = 2*g - 3*f + 6*f, 3*f = 5*g - 17843. Is g prime?
True
Let b be (1 - -2) + (-2 - 0). Let m = b + 130. Is m prime?
True
Let c = 102814 - 60191. Is c a composite number?
True
Suppose -10*u + 78436 = -49024. Is u composite?
True
Suppose 2*p = -5*j + 5062 - 144, -p + 3*j + 2481 = 0. Is p prime?
False
Let a(w) = -207*w - 27. Let h be a(10). Let o = 2960 + h. Is o composite?
False
Suppose 5 + 7 = 4*v. Suppose -847 = -v*s - 4*m + 186, 3*s - 1013 = m. Suppose 2*r - 1081 = -s. Is r composite?
True
Let j(q) = -28*q - 35. Is j(-22) prime?
False
Let u be 54/4*((-20)/15 + 2). Is 1 + u/(-5) + 244302/190 a prime number?
False
Let w(l) = 3161*l - 353. Is w(8) a composite number?
True
Let z = -4601 + 9256. Suppose 5*g + 6*i - 4*i = z, 0 = -g + i + 938. Is g composite?
True
Let y = -9 - -8. Let m be -364 + (4/(-1) - y). Let p = m - -746. Is p a composite number?
False
Let i = 4103 - -14976. Is i prime?
True
Let s be (-6)/((-12)/(-5))*-2. Suppose -4*t = -16, 2*u = s*t - 69 + 163. Is u composite?
True
Let l(u) = 3841*u**2 - u. Let b be l(1). Suppose -2*v + 3*c = -7705, 2*v = v - c + b. Is v a composite number?
True
Suppose -3*y - 9235 = 3*n - 8*n, -3*n - 5*y + 5541 = 0. Is n composite?
False
Suppose 3*k - 6*k = -5046. Let t(v) = 4*v - 84. Let s be t(21). Suppose s = -b - b - 6, b = -5*c + k. Is c a prime number?
True
Is (15037165/75)/11 - 2/(-15) a prime number?
False
Let f = -48988 + 81857. Is f a composite number?
False
Let x(b) = 81*b**2 - b - 803. Is x(24) a composite number?
True
Let m(s) = 10 - 4*s + 5*s + s. Suppose d - 6 = -9. Is m(d) prime?
False