) a composite number?
True
Let a = -21 + 26. Let d = 41 - a. Suppose -98 - d = -2*b. Is b prime?
True
Let u be (-8)/(-48) - (2 - 70/12). Suppose 0 = 2*j - u*j + 218. Is j a composite number?
False
Suppose -10*g = -81 - 509. Is g a composite number?
False
Let n be (-30)/12*(-4)/(-2). Let g(s) = -4*s**3 + 2*s**2 - 4*s + 4. Let h be g(n). Suppose -4*l = -2*l - h. Is l composite?
True
Suppose 3*u - 11*u - 896 = 0. Let q = 930 + u. Is q composite?
True
Let m(r) = -r**3 + 8*r**2 + 38*r - 4. Let x be (-1)/2 - (420/8)/(-7). Is m(x) a prime number?
True
Suppose 0 = -4*d + 3*d + 24. Let c = d - 13. Is c prime?
True
Let l = 12650 + -2959. Is l composite?
True
Suppose 2*x + 130428 = 20*x. Is x composite?
True
Suppose 2288 + 394 = 6*b. Is b prime?
False
Let a = -2128 - -3086. Is a prime?
False
Suppose 27464 = 69*n - 61*n. Is n a prime number?
True
Suppose 0*n - n + 13986 = 4*g, 2*g + 4*n = 6986. Is g prime?
False
Let c = -6 + 10. Suppose 6*f - 1574 = c*f. Is f a prime number?
True
Suppose 0*u - 18 = 3*u. Let b(c) = -c. Let a be b(u). Let o = a + 0. Is o a prime number?
False
Let j(b) = -3 - 3*b - 6 + 0 + 5. Let k be j(-2). Suppose -k*h = h - 417. Is h prime?
True
Suppose 0*h - 5*v = -4*h + 101199, 2*h - 50601 = v. Is h a prime number?
True
Let j be (-3)/(-6) - (-4)/(-24)*-33. Let y(t) = 145*t - 2. Let n be y(6). Suppose 0 = 2*u - j*u + n. Is u composite?
True
Let d(j) = 1. Let p(t) = -t**3 + 13*t**2 - 11*t + 10. Let c(i) = -5*d(i) + p(i). Is c(8) prime?
False
Let p = -51 - -55. Suppose p*o - 1342 = -3*q, -q - 2*q = 3*o - 1005. Is o a composite number?
False
Let j(p) = -6 - 76*p - 8*p - 17*p. Suppose 6 + 2 = 4*f, -x + 5*f - 15 = 0. Is j(x) composite?
False
Suppose -175 = -7*o + 12*o. Let w = -30 - o. Suppose -232 = -2*j - w*b, 3*b + 246 = 2*j + b. Is j a prime number?
False
Suppose 0 = -174*i + 171*i + 13935. Is i a prime number?
False
Suppose -45*s + 51*s = 82638. Is s a composite number?
True
Let b(q) be the second derivative of -604*q**3/3 - 5*q**2/2 + 17*q. Is b(-2) a prime number?
True
Let g = 384 - 59. Let a = -90 + g. Is a composite?
True
Let q(z) = z**3 + 13*z**2 - 13*z + 15. Let t be q(-14). Is t/3 + 10000/15 a composite number?
True
Let q(a) = 40*a**2 + 9*a. Suppose i - 6*i = -s + 22, -3*s - 24 = 3*i. Is q(i) prime?
False
Suppose v + 167 = -113. Is ((-79)/(-4))/((-14)/v) a prime number?
False
Let b be (-13 - -289)*6/4. Let f(a) = 30*a - 11. Let s be f(-8). Let i = s + b. Is i a prime number?
True
Let y(x) be the second derivative of -x**5/20 + 407*x**2/2 - 3*x. Is y(0) a composite number?
True
Suppose 7*y = 9*y - 8. Let s be (6/y)/(24/80). Suppose -5*u = -3*n + 254, 0 = -s*n - 2*u + 132 + 281. Is n prime?
True
Let f(s) = -s**3 - s**2 - 52. Let a(d) = -d**2 + 1. Let y(n) = a(n) - f(n). Let j be y(0). Suppose -q - j = -916. Is q a prime number?
True
Suppose 21*i = 12*i + 1035. Is i a composite number?
True
Let g be 6/4*8/6. Let l be 1/((-1)/22*g). Let w(t) = -27*t - 2. Is w(l) a prime number?
False
Let o(m) = -m**3 - 4*m**2 + 3*m + 9. Let q be o(-4). Let r be 3/(-6)*(-11 - q). Suppose -2*g - 51 = r*d - 263, -4*g = 0. Is d composite?
False
Let j be (-4)/(-4) + -5 - -11. Suppose j*q = 10*q - 4113. Is q composite?
True
Suppose -5*a + 5*l = -3*a - 10, -10 = 4*a + 5*l. Suppose -3*b + 23 + 79 = a. Is b a prime number?
False
Suppose 2*o = 5*k + 16, -k + 0*o + 7 = 3*o. Let d be -790*(k + 16/10). Suppose 3*w + 3*p - 225 = 0, 4*w - 3*p - d = p. Is w prime?
False
Let p(w) = -9*w**2 + 3*w + 1. Let d be p(7). Let c = d - -32. Let t = 554 + c. Is t a prime number?
True
Let y(v) = 616*v**2 + 4*v + 1. Let a = 6 - 3. Is y(a) prime?
True
Suppose -116*q + 108*q = -123496. Is q prime?
False
Let j(x) = 132*x**2 - 8*x - 57. Is j(-7) a prime number?
False
Let n(m) = m**3 + 8*m**2 + 10*m + 23. Let f be n(-7). Is 6/4 - (-315)/20*f prime?
False
Suppose -s - 5*a = -12032, 28102 + 19978 = 4*s + 4*a. Is s a prime number?
False
Is 1358 - 1 - 6*6/(-9) prime?
True
Let b(n) = -3*n**3 + 9*n**2 - 9*n + 26. Is b(-17) composite?
False
Suppose 5*l = 3*n - 53, 4*n + 2*l = n + 25. Is n/22*10*61 composite?
True
Let r be ((-65)/(-26))/(2/4). Suppose 0 = -2*t - r*y + 3*y - 6, -3*t + 5*y = -15. Suppose t = 2*k - 34 - 84. Is k a prime number?
True
Suppose 0 = 4*b - 7*b + 4*a + 26, -21 = -3*b + 3*a. Let z be (-45)/(-10) + (-2)/4. Suppose -z*t = t - 20, -5*o + 53 = b*t. Is o prime?
False
Let j = 294 + -140. Let c = 272 - j. Is c a composite number?
True
Suppose 5*y + 3*l + 261 = 0, -2*y = 3*y - 4*l + 282. Suppose 0 = -4*k - 3*q + 234, 0 = -3*q - 2 + 8. Let b = k - y. Is b composite?
True
Is (-46294)/(-30) + 118/(-885) composite?
False
Let y(f) be the second derivative of 3*f**5/10 - f**4/6 - f**3/3 - 2*f**2 - f. Let t be y(-2). Let s = t - -93. Is s a composite number?
False
Let a(p) = -p**3 + 4*p**2 + 3*p - 7. Suppose j + 2*s + 4 = 0, -5*s + 7 - 39 = -3*j. Let z be a(j). Suppose z*l = 835 + 1275. Is l a prime number?
False
Suppose -1 = 3*u + 4*k + 2, u - 4*k = 15. Suppose -2*m - u*m = -490. Suppose p = m - 33. Is p prime?
False
Suppose 12 = 4*n - 0*n. Let c(l) = l**2 - 3. Let d be c(n). Suppose 10*j - d*j - 364 = 0. Is j prime?
False
Let c(r) = 460*r**2 + 2*r + 17. Is c(-7) a composite number?
False
Suppose 0 = -0*n - 3*n + 1095. Suppose -5 = -5*i + w + 5, -3*w = -15. Suppose i*r - 2*r = n. Is r composite?
True
Is (4/(-10))/((-72)/(-90))*-21388 a composite number?
True
Suppose -n - 2*n - 39906 = -3*p, -2*p + 4*n + 26610 = 0. Suppose 2*y + 10641 = 4*i - y, 5*i - 3*y = p. Is i/12 + 9/6 prime?
True
Let f be 0*((-9)/(-3))/6. Suppose f = 2*t + 3*t. Suppose -234 = -2*c + 2*i + 2*i, t = 5*c + 3*i - 598. Is c composite?
True
Let t(v) = -4*v + 18. Let h be t(6). Is 189 + ((-3)/h - 3/(-2)) a composite number?
False
Suppose 0 = -5*k + d + 11, 3*d - 6*d + 6 = -2*k. Suppose -n = -k - 2. Suppose n*g - 180 = -15. Is g composite?
True
Suppose -402 = -9*m + 390. Suppose 4*z = -8 + 72. Is (m/z)/((-2)/(-116)) prime?
False
Suppose -6*l = -8*l - 24. Let o be ((-63)/l)/(3/(-360)). Let u = 923 + o. Is u a composite number?
False
Suppose 8*z - 225 = 3*z + 5*x, 2*z - 4*x = 96. Let p = z + -19. Let k = 308 + p. Is k prime?
True
Suppose -5*c - 6 = -16. Suppose 2*x + 4599 = 5*g, -c*x - 8 + 4 = 0. Is g composite?
False
Let d(r) = -r**2 - r + 1. Let b(u) = -7*u**2 + 7*u + 1. Let v(k) = -b(k) + 2*d(k). Is v(6) a prime number?
True
Let j(s) = 0*s**2 + 6 + s**3 - 4*s**2 + 0*s**2 - 3*s**3 + 6*s. Is j(-4) a prime number?
False
Let l(o) = -o**2 + 19*o - 19. Suppose 3*c + 3*a - 23 = 2*c, 0 = c - 5*a - 47. Suppose c = 2*h + 2*t, -t + 2*t = 3*h - 36. Is l(h) composite?
False
Let z(f) = -f**2 - f + 6617. Is z(0) a prime number?
False
Let r(b) = 24 - 47 + 17*b**2 + 42 + b**3 + 14*b. Is r(-14) a prime number?
False
Let p(v) = -v**3 - 2*v**2 + 2*v - 2. Let k be (-2 + 0/1)/1. Let b = -6 - k. Is p(b) prime?
False
Let z be 2/(4/2006) - (-5 - -3). Is ((-4)/(-6))/(z/333 + -3) a prime number?
True
Suppose 53*n - 33*n - 51580 = 0. Is n composite?
False
Let v(r) = -3*r**2 - 5*r - 11. Suppose 0 = 4*y - 8, -3*i + y + 15 + 7 = 0. Let l be v(i). Let d = l - -500. Is d prime?
True
Suppose -3*l + 5*l - 5*b = 39373, 0 = -5*l - 2*b + 98389. Is l a composite number?
True
Suppose 5*j - 5*o = 6075, -2*j - 4*o + 6039 = 3*j. Is j composite?
True
Let p = -4969 - -2189. Let c = 4150 + p. Suppose -11*y = -9*y - c. Is y a prime number?
False
Let h = 8312 - 11699. Let y = 1652 - h. Is y a composite number?
False
Let h(l) be the second derivative of -l**4/12 - 4*l**3/3 - 4*l**2 - l. Let z be h(-7). Is 34/(-3 - z)*-7 a prime number?
False
Let p(m) = 16*m - 4. Let y be p(5). Is 1/((2/y)/((-35)/(-14))) composite?
True
Let c(o) = 1005*o - 93. Is c(6) composite?
True
Let g = -23 - -99. Suppose 0*n + n + 5*t = 2, -4*n = 3*t - g. Is n a prime number?
False
Let o = -535 - 1420. Let p = o + 3606. Is p a composite number?
True
Suppose 4*k - k - 3*y = 1803, 3*y - 2965 = -5*k. Suppose -k = 33*b - 37*b. Is b prime?
True
Is ((-1)/4)/(15/(-291660)) composite?
False
Let w be (-252)/66 + (-4)/22. Let q be 74/14 + w/14. Let h(j) = 28*j - 7. Is h(q) prime?
False
Let l be (-12)/(-15) + (-1041)/(-5). Let f = l + -22. Is f prime?
False
Suppose 3309 = -111*h + 112*h. Suppose 0 = p + 2*q - h, 5*p - q = 10418 + 6182. Is p a composite number?
False
Let a = -5 + 7. Let x = -3 - a. Let