 = 4*z. Is z a composite number?
False
Suppose -9*d + 436 + 95 = 0. Is d composite?
False
Suppose -d = -19 - 15. Let u = -22 + d. Let q = u + 3. Is q a prime number?
False
Let r = -1302 - -3805. Is r a composite number?
False
Suppose -14 - 2 = 5*u + 3*w, -2*u - 5*w + 5 = 0. Suppose 5*s = s + 12. Is u/(15/(-34))*s composite?
True
Let c(n) = 481*n - 69. Is c(8) a composite number?
False
Let p(j) = 7*j + 4. Let c(x) = -7*x - 3. Let o(w) = -6*c(w) - 5*p(w). Is o(7) composite?
False
Let y(j) = -j**2 + 7*j + 4. Let w be y(6). Suppose f = -4*f + w. Suppose -l = f*l - 345. Is l a prime number?
False
Suppose -v = 5*y + 2*v + 2, -20 = -2*y + 4*v. Suppose y*t - 1 = 61. Is t prime?
True
Let t be (-10)/2 - (2 - -1). Let q be 1/(-3)*(t - 4). Suppose o + 390 = 5*i, 5*o + 74 = i + q*o. Is i a composite number?
False
Is (4 - (-2)/(6/(-15))) + 306 composite?
True
Let d be 46/(-8)*12/3. Let n = d + -16. Let y = n + 122. Is y a prime number?
True
Let u = -5 - -8. Let a be 3*(2 - (-4)/u). Is (5 - -1)*a/6 a prime number?
False
Suppose -22 = -3*d - 5*v, 0 = -0*d + 3*d - 5*v - 2. Suppose -3*t - 4*q + 3 = -6, -d*q - 15 = -5*t. Is 2/(-4)*(-78)/t prime?
True
Let p(s) = s**2 - 9*s + 3. Let l = -5 + -2. Is p(l) composite?
True
Suppose -s - 4*r = -8, 4*s + 3*r - 6 = -0*r. Let a(c) = -c + 139. Is a(s) prime?
True
Is 123 - (-3 + (-1 - 0)) composite?
False
Let v = 18 - 11. Suppose -v*s + 2*s = -455. Is s composite?
True
Suppose 27*c - 1916 = 23*c. Is c a prime number?
True
Is 14/77 + (-128)/(-22) a composite number?
True
Is (-8665)/(-4) - (-12)/16 prime?
False
Let l(b) = b**2 - 11*b - 7. Let w be l(12). Suppose 0*m = -2*m. Suppose c - w*q - 86 = m, -q = -5*c - 6*q + 460. Is c a prime number?
False
Suppose -3*h + 9*h - 19578 = 0. Is h a prime number?
False
Suppose -35 = -3*k + 2*k. Is k prime?
False
Let l be -3 + 1*6/3. Is (-5)/l*(-1 - -8) a prime number?
False
Let a = 176 - -5. Is a a prime number?
True
Is 3*(-5)/15*-587 a composite number?
False
Let z = 2720 - 1923. Is z prime?
True
Let m = 6 - 5. Is m - 1 - (-46)/2 a prime number?
True
Let o = -6 - -10. Let q(j) = 4*j**2 - 4*j + 4. Let y be q(o). Suppose -3*b = 4*s - 371 + y, 0 = 2*s + 2*b - 160. Is s prime?
True
Let y(f) = -3*f - 59. Let i(b) = 7*b + 118. Let j(p) = -2*i(p) - 5*y(p). Is j(0) a composite number?
False
Let i(v) = v**3 + 18*v**2 + 31*v + 1. Is i(-15) composite?
False
Let l = 79 - 69. Is l a composite number?
True
Let a(f) = 79*f**2 - 8*f - 19. Is a(-4) prime?
True
Let y be 4/(-1)*(-3)/6. Let m(f) = -f**3 - 4*f**2 - 2*f - 4. Let b be m(-4). Suppose -n + 160 = b*n - 3*g, -y*g - 165 = -5*n. Is n prime?
False
Suppose -5*a = -12 - 8. Let y(q) = 8*q + 8. Let z(x) = -9*x - 7. Let m(w) = -2*y(w) - 3*z(w). Is m(a) a prime number?
False
Let x(q) = q**3 + 5*q**2 - 2*q - 6. Suppose 0 = 2*d + 2*d + 2*h + 20, 3*d + 16 = -2*h. Let t be x(d). Suppose 0 = -5*z + 52 + t. Is z composite?
True
Let m(a) = a**3 + 8*a**2 - 4*a - 4. Let g be m(-8). Is (49/14)/(2/g) a prime number?
False
Suppose 4*x = -8, 2*z - 106 = 7*x - 5*x. Is z a composite number?
True
Suppose 0 = k + 4*k + 60. Let w = 24 + k. Suppose -m + w = m. Is m composite?
True
Let k(m) = 77*m - 5. Is k(2) a prime number?
True
Let m be (8/(-6))/(2/6). Is m/(1/(-74)*4) a prime number?
False
Let j(a) = a**3 - 5*a**2 + 8*a + 5. Let b be j(6). Suppose 0 = 3*x + 9, s + 2*x - 156 - b = 0. Is s prime?
True
Let s(r) = r**2 - 21*r - 5. Is s(-7) prime?
True
Suppose -3*g + 10 = -47. Is g a composite number?
False
Suppose 0 = -2*p - p + 777. Is p composite?
True
Let b = 24 + -1. Is b composite?
False
Suppose a = 4*a - 9, -r + 3*a = -958. Is r a composite number?
False
Suppose 3*p + 114 + 273 = 0. Let h = 187 + p. Is h a prime number?
False
Suppose 0 = -0*p - 2*p + 8. Let b be ((-4)/3)/(p/(-12)). Suppose -b*t + 90 = g - t, 4*g + t - 349 = 0. Is g prime?
False
Let n(h) = -h**3 + h**2 + 16. Let z(m) = m**3 + 9*m**2 - m - 9. Let b be z(-9). Let k be n(b). Suppose u + 1 - k = -g, -2*g = 4*u - 52. Is u a composite number?
False
Is (5/(-10))/((-2)/1228) a prime number?
True
Suppose t + 4*t = -1635. Let h = -115 - t. Suppose h = -0*a + 4*a. Is a prime?
True
Suppose k + 2*w - 7 = 0, 0 = 3*k - 2*w - 5 - 24. Suppose -7 = 5*r + 3*j + 10, r + k = 5*j. Is (-122)/(-18) - r/18 composite?
False
Suppose -5*n - 2*u = -22441, -2*u - 4496 = -n - 5*u. Is n a prime number?
False
Let l = -917 + 1591. Suppose 0 = 3*g + n - l, 0 = 2*g + 4*n - 700 + 234. Is g a composite number?
False
Let h = 101 + 2. Is h composite?
False
Suppose q = -4*h + 2*q + 20, -5*q = -2*h + 28. Suppose -l - h*l - 5 = 0. Is 2 + 7 + (-1)/l a prime number?
False
Let j(a) = a**3 - a**2 + a - 3. Let h be j(0). Is (h + 5)/((-2)/(-149)) a composite number?
False
Suppose 2868 = d + 3*d - 2*g, -2*g = 5*d - 3603. Is d a composite number?
False
Suppose -8*j = -3*j - 90. Suppose 2*b = 136 + j. Is b prime?
False
Let q = -17 + 16. Let h(p) = 32*p**2 + 0 + 77*p**2 - p - 1. Is h(q) prime?
True
Let k(o) = o**3 - 2*o**2 - 7*o + 7. Let y be k(5). Let n = 93 - y. Is n composite?
True
Let q be 84/39 + 4/(-26). Let d(i) = 2*i**3 + i**2 + 4*i - 3. Is d(q) composite?
True
Let x = -402 + 1265. Is x prime?
True
Let z(n) be the first derivative of 2*n**2 - 2*n + 2. Suppose -2*j + 9 = 1. Is z(j) composite?
True
Let r be (-26)/(-8) - 2/8. Suppose 0 = r*q + 570 - 2031. Is q a prime number?
True
Let j(s) = s**2 + 9*s - 5. Let t be j(-6). Let q = t - -44. Is q a composite number?
True
Suppose 253 + 5 = 3*p. Suppose -p = -2*j - 16. Is j prime?
False
Let t = 14 + 27. Suppose 0 = -h - 2*h + 12. Let s = t - h. Is s composite?
False
Is 2/(3 + 1605/(-537)) composite?
False
Suppose 2*a - 3*a = -12. Let y be (244/a)/(1/3). Let c = -42 + y. Is c composite?
False
Suppose b + 12 = 5*y, 4*b = 2*y + 3 - 15. Suppose -12 = y*l - 4*l. Is -2*1*(-423)/l a prime number?
False
Suppose 0 = -4*t + 2*u + 44, -3*u = -3*t - 8*u + 59. Let w = -8 + t. Suppose b - 250 = n - 4*n, -w*n + 450 = -5*b. Is n composite?
True
Let i(z) = -5*z + 12. Let f be i(-6). Let c = f - -221. Is c prime?
True
Let q be 2/4 + 9/6. Suppose -5*g + q*x + 809 = 0, x + 799 = 5*g + 4*x. Is g composite?
True
Let a = 1069 + -300. Is a composite?
False
Is (27/18)/((-3)/(-68)) a composite number?
True
Suppose -6*x - 15 = -x. Is (86 - 0) + 4 + x prime?
False
Suppose -2*v = 1 - 5. Suppose 3*f - 4*f = 0, v*f + 4 = 2*u. Suppose -2*c - c = u*o - 8, 0 = -c + 5*o + 31. Is c a prime number?
False
Is (508*(-3)/2)/(-2) a prime number?
False
Let p be (-30)/70 - (-31)/7. Is (-3 + p - 0) + 36 a composite number?
False
Let b(a) = -a**3 + 2*a**2 + a - 2. Let s be b(2). Let g be (1 + s)/(1 + 0). Is 2/4*(21 - g) composite?
True
Let j(l) = 3*l + 20. Let d be j(-8). Let c(f) = f**2 + 2*f + 5. Let r be c(-6). Let b = r + d. Is b composite?
True
Let v(o) = -2*o**3 + 2*o**2 + 5*o - 4. Let t be v(-4). Suppose -2*u - 12 = -6*u. Suppose z = -u*z + t. Is z prime?
False
Let u = 56 + 859. Suppose -4*x - x = -u. Is x prime?
False
Let s be 1 - 0 - 0/(-2). Is s*2*94/4 a composite number?
False
Let j(o) = 49*o - 20. Let k(s) = 16*s - 7. Let a(w) = -6*j(w) + 17*k(w). Suppose -8 = 2*b - 2. Is a(b) a prime number?
True
Let g(w) be the first derivative of 23*w**2 + 3*w - 5. Is g(2) composite?
True
Suppose -2*x - 1 = 11. Let h(d) = 7*d**2 + 9*d + 1. Is h(x) a composite number?
False
Suppose -u - 3*z + 2*z + 11 = 0, 15 = u + 5*z. Let p(m) = m**2 - 5*m - 4. Let v be p(u). Let q = 1 + v. Is q prime?
True
Suppose 951 = 11*d - 10*d. Is d prime?
False
Let b be (-2442)/(-30) + 4/(-10). Suppose 191 = 5*w + b. Is w a composite number?
True
Suppose 5*a + 12 = 2, 0 = -2*r - 5*a + 948. Is r a composite number?
False
Let g(o) = -o**3 - 2*o**2 + o - 5. Let m = 8 + -12. Is g(m) a prime number?
True
Let v(t) = -5*t**3 + 2*t**2 + 5*t + 4. Let x be v(-3). Let j = 359 - x. Is j a composite number?
True
Let j(y) = -2*y**3 + 30*y**2 - 18*y - 5. Let b(z) = z**3 - 15*z**2 + 9*z + 2. Let x(m) = -9*b(m) - 4*j(m). Is x(13) composite?
False
Suppose 2*k = -5*c + 3389, -3404 = -5*c - 2*k + 5*k. Is c composite?
True
Let a(u) = -u + 601. Let n be a(0). Let m = 1160 - n. Is m a prime number?
False
Suppose -a - 2 = -3*o - 6, 3*a - 3*o - 12 = 0. Suppose -4*m + a*d = d - 27, -4*m = d - 39. Is m composite?
True
Suppose -5*x - 10 = -3*o - 5, 1 = -o - x. Suppose o*h + h = 0. Suppose d + h*p + p 