Is x(7) composite?
True
Let k = 4054 - -2085. Is k prime?
False
Let y(d) = d**2 - 2*d. Let q be y(3). Suppose -3*h = -0 + 3, -5*h = q*s - 7. Suppose -3*j + 20 = 5*a, -4*j - s = 3*a + j. Is a composite?
False
Suppose -3*i + 2*u = -1349, -u + 890 = 2*i - 0*u. Is -1*-2*i/6 a composite number?
False
Let s be 2*(-1 - 5)/(-3). Is ((-12)/6)/(s/(-46)) a prime number?
True
Suppose 4*y - 472 = -3*b, 0 = -5*b - 0*b - 20. Is y composite?
True
Let f = 5 - 10. Let d be (-1641)/15 + (-2)/f. Let y = d - -178. Is y prime?
False
Suppose 3*q + 102 = -3*g, 2*q = 3*g + 7*q + 112. Let c = 40 + g. Is c a prime number?
True
Suppose -2 = -q + 2. Let k = q + -9. Is 1/(-1)*(-32 + k) prime?
True
Let x be (17 - 1)*(-6 - -5). Let r be -4*(-2)/x*14. Let y(l) = l**3 + 9*l**2 + 7*l + 9. Is y(r) a prime number?
False
Let n be (1 + 3)/((-1)/56). Let k = 373 + n. Is k composite?
False
Let v(a) = -a**3 - 3*a**2 + a - 6. Let o be v(-5). Let m = o - -8. Is m prime?
True
Let u be 16/(-6)*30/(-20). Suppose 0 = u*s - 2*a + 3*a - 231, 0 = 5*s + 5*a - 270. Is s composite?
False
Let c = 1 + 0. Let r be 77 - (-4 + c + 2). Suppose -r = -2*k - 2*q, -3*k + 113 = -2*q + 4*q. Is k a composite number?
True
Suppose t + t = -5*b + 6297, -b - 2*t = -1261. Is b a prime number?
True
Let i = -7 - -11. Let v = i - 1. Suppose -v*z + 31 = c, -2*c + c - 2*z = -31. Is c a composite number?
False
Let x = 8 - 4. Let u(k) = k + 1 + 10*k + 2*k. Is u(x) composite?
False
Let x(b) = 18*b**2 - 3. Let c be x(-3). Suppose -2*j + c = -4*m + 9, -227 = -3*j + 4*m. Is j composite?
True
Suppose 2*a + 0*a - 226 = 0. Is a prime?
True
Let z(k) = 30*k**2 - 3*k + 2. Let g be z(2). Let j = g - 73. Is j prime?
True
Suppose 0 = 3*z + 4*b - 390, 2*z - 179 = -4*b + 77. Let o = -65 + z. Is o prime?
False
Let j be (8/(-20))/((-1)/5). Suppose -2*i = -4*t - 30, 0*i + 10 = -j*i - 4*t. Let y = i - -20. Is y a prime number?
False
Suppose 0 = -3*i + 4*n + 14, -3*i + 4*n + 10 = 2*i. Suppose g + 2*r = -5 + 4, -4*g + 4*r - 28 = 0. Let t = i - g. Is t a composite number?
False
Suppose -3*d + 6437 = 3*r + 491, 0 = -d + 3*r + 1970. Is d composite?
False
Let b(l) = 42*l**2 + l. Let g be b(-1). Let j = g + -26. Is j prime?
False
Let w(c) = 14*c + 17. Is w(5) composite?
True
Let r be 727 - (-2 + 4) - 1. Let w = 865 + -578. Suppose -3*f = -2*j + w, 0*j - f = -5*j + r. Is j a prime number?
False
Suppose 2*v + 32 = 4*s + 5*v, -4*v = -s + 27. Let b = -8 + s. Suppose b*w = 408 - 135. Is w prime?
False
Suppose 0 = -4*z - 395 + 1979. Suppose z = 2*o + 2*i, -721 = -5*o - i + 289. Is o a composite number?
True
Let n(l) = -l**3 - 3*l**2 + 4*l + 6. Let i be n(-5). Let d = 79 + i. Suppose 2*c - 3 - d = 4*g, 4*c - 4*g = 252. Is c a prime number?
True
Suppose -16 + 116 = -2*j. Let w = j - -211. Is w a prime number?
False
Let t(n) = -n**2 + 2*n + 4. Let f(p) = 2*p**2 - 4*p - 8. Let l(d) = -2*f(d) - 5*t(d). Suppose -12 = -0*g + 4*g. Is l(g) a composite number?
False
Let r(n) = 3*n**3 - 5*n**2 + 4*n - 3. Let x(k) = k**3 + k**2 - k + 1. Let p(o) = -r(o) - 5*x(o). Is p(-3) composite?
False
Let z(v) be the third derivative of -v**6/120 - v**5/20 + v**3/6 + v**2. Let i be z(-3). Let p(o) = 23*o. Is p(i) composite?
False
Let x = 6 + -9. Let u be -2 - -1 - (-7)/1. Is (-95)/x - u/9 a composite number?
False
Suppose -2*i + 174 = -2*l, 0 = -4*i + 3*l + 229 + 121. Is i a composite number?
False
Let o(c) = -c**3 + 9*c**2 + 10*c - 6. Let x be o(7). Let q = 353 - x. Is q prime?
True
Let a(t) = t**3 + 5*t**2 - 7*t - 2. Let o be a(-6). Let c = o + -4. Suppose -3*q - 3*x + 30 = c, -5*q + 4*x - 42 + 128 = 0. Is q a composite number?
True
Suppose x = -4*q + 643, 4*q + 1881 = 3*x - 0*q. Is x composite?
False
Let x = 15 - 12. Suppose -4*c - 57 = -4*g + 95, 2*g - 71 = -x*c. Is g composite?
False
Let a(k) = k**2 - 5*k - 4. Let y be a(6). Suppose 10 = y*c - 0*c. Is c/(((-12)/15)/(-4)) prime?
False
Let x be 84/22 + 4/22. Let b(p) = 11*p - 10. Is b(x) composite?
True
Let z = -4 - -7. Let x(r) = 3*r. Let h be x(1). Suppose 0*n + 11 = n - z*p, 3*n - h*p = 33. Is n prime?
True
Let d(i) = -288*i**3 - 2*i**2 - 2*i - 1. Is d(-1) a prime number?
False
Let v = 192 - 106. Is v a composite number?
True
Let b(q) = 3*q**2 - 5*q + 5. Let g = -1 - -3. Suppose 7*a - 32 = 3*a - g*i, i + 8 = 2*a. Is b(a) a composite number?
False
Let c = 629 - 238. Is c prime?
False
Let x(s) = 4*s**2 - 15*s + 1. Is x(-8) prime?
False
Suppose 0 = 4*h + 7 + 89. Is (1 - -315)*(-6)/h prime?
True
Is 2436/9 + 3/9 a prime number?
True
Let h(t) = 6 + 7 + t**2 - 5*t - 5. Is h(6) a prime number?
False
Suppose -f - 2*k - 6 = -3*f, 0 = -4*f + k + 12. Suppose -3*i + 2*t + 25 = 0, 4 = f*i - i + 5*t. Is i prime?
True
Let c(d) = -d**2 - 11*d - 1. Let a be c(-6). Suppose -q = -a - 8. Is q a prime number?
True
Let f(j) = j**2 + 6*j + 7. Let w be f(-5). Suppose 4*c + k - 16 = 0, 4*c - 2 = w*c - 2*k. Suppose 2*i - 9 = 2*b + 5, c*b + 19 = -3*i. Is i a composite number?
False
Suppose 4*z - 73 - 13903 = -2*c, -3*c = 2*z - 6992. Is z a prime number?
False
Let y = -18 - -12. Is 14 + 0 + 5 + y a prime number?
True
Let a(v) = v**2 - 5*v + 1. Let w be a(5). Let t(k) = 6*k**2 - k + 1. Is t(w) a prime number?
False
Let u(z) = 2*z**3 - 7*z**2 - 4*z + 2. Is u(7) a composite number?
False
Suppose 0 = -p + d - 3*d - 4, -d - 1 = 0. Let g = -2 - p. Suppose g = 2*u + 2*u - 24. Is u a composite number?
True
Let m = -991 + 6352. Is m prime?
False
Let q(b) = -40*b - 22. Is q(-14) composite?
True
Suppose 5*x + x - 1218 = 0. Is x a composite number?
True
Suppose 3*h - 313 + 1210 = 0. Let x = h + 630. Is x composite?
False
Let p(z) = -33*z**3 - z**2 + 2*z + 1. Is p(-3) prime?
True
Suppose -h = -r - 6, r - 30 = -5*h + 3*r. Suppose -2*u + h = -2*o - 4, -3*u + 15 = 2*o. Suppose o = y - f - 61, -y = 4*y - 3*f - 313. Is y a prime number?
False
Let q(i) = -i**3 - 3*i**2 - 3*i - 3. Let r be q(-2). Is r*(-209 - 6/3) a prime number?
True
Suppose -12 - 4 = 4*u. Let t(g) = 7*g**2 - 2*g + 1. Is t(u) composite?
True
Let g(u) = -u**2 + 2*u + 4. Let p be g(4). Let f = 1 + p. Let t(q) = -2*q**3 + 5*q**2 + 3*q - 1. Is t(f) a prime number?
True
Let h be 5/(10/4) + 3. Suppose -x = 4*r - 2166, 4*r - 2*x = -h*x + 2170. Is r a composite number?
False
Let o = 0 - -3. Suppose o*r + 92 = 5*r. Is r composite?
True
Let a(z) = -z**2 + z + 122. Let d be a(0). Let l = -87 + d. Is l composite?
True
Suppose -5*f + 8*f - 2142 = 0. Suppose -5*a + 781 = -f. Is a a composite number?
True
Let i be (3 + -2)/(1/4). Suppose -182 = -r - f, -r + i*f + 955 = 4*r. Is r a composite number?
True
Let d = 238 + 25. Is d a prime number?
True
Let v = 140 + 23. Is v a composite number?
False
Suppose -2*j = n - 2, 0*j + n = -j. Suppose -j*f - 3*f + 18 = -3*k, -3*f - 5*k + 38 = 0. Is -2 + 3/(f/110) composite?
False
Let a = 10 - 9. Let h = 3 - a. Suppose 0*f = 4*f + 4*g - 88, 0 = -h*f + 5*g + 23. Is f composite?
False
Suppose 10 = 5*l, -3*c + 4*l + 0*l - 14 = 0. Let a be (-104)/5 - c/(-10). Let t = a + 52. Is t composite?
False
Is ((-5043)/6)/((-7)/14) a composite number?
True
Suppose 2*u - 7*u = 5*b - 460, 3*b = 2*u + 286. Is b a prime number?
False
Suppose -3*w + 1325 = 2*o, -w = -4*w - o + 1321. Is w composite?
False
Is (-3 - (-100)/36) + (-13601)/(-9) a prime number?
True
Is ((-413)/21)/((-1)/3) a prime number?
True
Suppose 2*b + 0*d = d + 42, -4*b = -4*d - 88. Suppose 5*m - m = b. Is m/15 - 34/(-6) prime?
False
Is (32 + (14 - 9))/(2/14) a prime number?
False
Let p(a) = 2*a**2 + 6*a - 3. Suppose -2 = 3*d - 14. Is p(d) a prime number?
True
Let a(z) = -z**2 + 7*z + 8. Let y be a(9). Let t = y - -16. Is t composite?
True
Suppose 4*i + 4*c = 8, -2*c + 5 = 1. Suppose 0*s - 2*s + 4 = i. Suppose 0 = 4*k - o - 321, s*o = -0*k + 4*k - 326. Is k prime?
True
Let i(h) = -h**3 - 11*h**2 + h. Let n be i(-12). Suppose 28 - 553 = -5*d. Suppose -3*s + n + d = 0. Is s a composite number?
False
Let v(r) = -r**3 + 3*r**2 + 5*r + 1. Let p be v(4). Suppose -2*j = 4*n - 230, -7 + 2 = -p*n. Is j a composite number?
False
Suppose -2*y - y - 2*p = -47, -90 = -5*y - p. Is y composite?
False
Let n(t) = 3*t**3 - 6*t**2 + 9*t - 5. Let b be n(6). Let u = 920 - b. Is u a composite number?
False
Let l be (1 + 1)/((-2)/4). Let f be l/(-2) - (0 + 211). Is (-5 + 3)/2*f composite?
True
Suppose 3 = f + 1, -4*l + 3*f = 886. Let n = -75 - l. Is n