*u - 28, 0 = 3*i - 3*u - 18. Let z = i - 5. Is g(z) prime?
False
Let k = 72 - 29. Is k composite?
False
Let f(v) = -22*v - 10. Let q be f(-7). Suppose 366 + q = 6*t. Is t a composite number?
True
Suppose -4*u - 5*w = -3*u - 181, 0 = -2*u + 4*w + 362. Is u prime?
True
Let n(o) = -3*o - 5. Let b be n(-7). Let p = b - -9. Is p a composite number?
True
Let l = -2622 - -3985. Is l prime?
False
Suppose -3 = i + 1. Is 514/4 - 2/i prime?
False
Suppose 0*d = 3*d + 33. Let s = -7 - d. Let n = s + 19. Is n a prime number?
True
Suppose 4*w - 1243 = 5*t, -4*w + 931 = -w - 4*t. Let r = -118 + w. Is r prime?
True
Let w be (-4 - -4) + 2*1. Suppose -14 = 3*n - w, 0 = g - 4*n - 38. Is g a composite number?
True
Let w(d) = d**2 + 14*d + 52. Is w(21) composite?
False
Let d(w) = w**2 - 6*w + 6. Is d(9) prime?
False
Let n(b) = 12*b - 2. Let c be n(4). Suppose -2*i - 1 - 9 = 4*w, 0 = -2*w - 2*i - 10. Suppose 0*x + 2*x - c = w. Is x composite?
False
Let j be (-3824)/(-12) - (-4)/(-6). Suppose -5*x + 227 = -j. Is x a composite number?
False
Is (-5158)/4*(-8)/(3 + 1) a prime number?
True
Let q be (7 - -3)*2*1. Suppose 8 = 2*o, -2*t - o - 2*o = -q. Suppose t*a - 5*c + c - 52 = 0, -2*a - c = -32. Is a prime?
False
Suppose -5*u - 2 = -32. Let b(i) = -45*i**2 - 7*i + 6. Let a be b(u). Is (-4)/(-6) + a/(-27) a composite number?
True
Suppose 0*w + p + 137 = w, -2*w - p = -262. Is w a composite number?
True
Suppose -5*j = -l + 891 - 3315, 0 = 3*j + l - 1456. Is j a prime number?
False
Let b be 5 - 2*(-9)/(-6). Suppose -n + b*n - 22 = v, -1 = v. Is n a prime number?
False
Suppose 0 = 5*y - 3 - 2. Let d(v) = 5*v**3 - 2*v**2 + 2*v - 1. Let l be d(y). Is l/(-2)*166/(-4) a composite number?
False
Suppose 3*f + 2*f = 25. Suppose -407 = -2*d - 0*k + k, -f*d + k + 1016 = 0. Is d a composite number?
True
Let z be (-4)/(-3)*9/6. Suppose 0 = -n + 4 + z. Is n composite?
True
Is ((-3)/(-6))/(1/2798) composite?
False
Let u(o) = -153*o + 11. Is u(-16) composite?
False
Suppose 2*h + 338 = -4*k, 0*k - 4*k - 3*h - 341 = 0. Let l = k - -142. Is l a composite number?
False
Suppose 5*s - 2750 = -5*p, -4*p + 11 = -9. Is s composite?
True
Is (648 + -4)*68/16 + -3 a prime number?
False
Suppose -3*o - 3*w = -7*w - 66, o - 2*w = 20. Is o composite?
True
Suppose -2*j - 3*j - 6 = -i, -4*j = 20. Let r = 8 + 42. Let o = r - i. Is o prime?
False
Is 30/42 + -1 - (-1563)/7 prime?
True
Is 321 + (-9)/((-18)/4) composite?
True
Let u(a) = 4*a**2 + a - 1. Suppose 5*p = 4*p + 1. Let q be u(p). Suppose -3*n = -5*z - 4*n + 35, 0 = q*n. Is z composite?
False
Let w(i) = -2*i + 0*i - 8 + i. Let l be w(-6). Is (-23)/(2/(l*5)) a composite number?
True
Let b be ((-102)/9)/(2/(-12)). Let w = 133 - b. Is w a composite number?
True
Let a = -8 + 10. Suppose -a*u + 6 = 2. Suppose -l + 111 = u*l. Is l composite?
False
Let r = -9 - -7. Is (r + 1)*-1*134 a composite number?
True
Let b(h) = 11*h - 20. Is b(9) a prime number?
True
Suppose 0*b + 6*b = 4458. Is b composite?
False
Suppose -4*k - 135 = -j, -141 = 3*j - 4*j + k. Let b = -74 + j. Is b a prime number?
False
Let d = 9 - 6. Suppose 5*k - 8 = -v + 5, -21 = -5*k + d*v. Suppose 3*z + x = -z + 191, 4*z = -k*x + 181. Is z prime?
False
Suppose -3*t + 3*i - 21 = 0, -t - 2*i + 1 + 1 = 0. Let f(h) = -20*h**2 + 4. Let w be f(t). Is w/6*(-12)/8 prime?
True
Suppose 5*p - 30 = -2*y, 9*p = 4*p - y + 35. Let q(h) = h**2 - h - 5. Let v be q(-7). Let w = p + v. Is w prime?
True
Let h(l) = -l**2 - 4*l - 2. Let r be h(-5). Is r/(-3)*(-3 + 6) prime?
True
Suppose 3*z + 20 = 4*m, m - 2*z - 6 = -z. Let r be (0 - 3) + m - -10. Is (-6)/(-2) + r + -1 prime?
True
Let q(r) = 1 - 1 + 13 - r. Let z be q(9). Let i(n) = 7*n**2 - 3. Is i(z) a composite number?
False
Let c(u) = -u**2 - u + 1. Let h be c(-2). Let k be 10/2*(0 - h). Is -2*(465/(-6))/k a prime number?
True
Let j(r) = 181*r - 22. Let y(v) = 121*v - 15. Let p(u) = -5*j(u) + 7*y(u). Is p(-5) a prime number?
False
Let s be 5*(-1 + 3 - 1). Let a = s + -3. Suppose 2*c - 1 = -3*h + 61, -a*h + 132 = 4*c. Is c composite?
True
Suppose 0*a - 4*a + 2228 = 0. Is a composite?
False
Suppose -6 = -3*g, -134 = -3*a + 2*g + 48. Is a composite?
True
Suppose 2*u = -0*u + 8. Suppose 669 = -u*d + d. Let g = d + 354. Is g prime?
True
Let c = 262 + 157. Is c composite?
False
Suppose -u = -62 - 65. Is u composite?
False
Let c(s) = 3*s - 3. Let d be c(3). Let g = 8 - d. Suppose -2*q - g*q = -316. Is q composite?
False
Suppose -h = -5*h + 136. Suppose 4*l + h = 1526. Is l composite?
False
Let g be -188*((-5)/4)/1. Suppose -4*t = 4, 2*t = -7*c + 4*c + g. Is c a composite number?
False
Let m(i) = 2*i + 5. Let t be m(-5). Let k be 3 + t - -4 - 79. Let n = -8 - k. Is n composite?
True
Suppose 0 = 2*a - 0*a - 6. Suppose -j + 30 = -0*j - a*p, 0 = -j + 5*p + 30. Suppose -4*r + 6 = -4*d + j, 0 = 5*d - 3*r - 32. Is d a composite number?
False
Suppose -5*b = -b - 456. Suppose -3*a - 96 = 45. Let q = a + b. Is q a prime number?
True
Let n(s) = s**2 - s + 9. Let j be n(0). Let p = j - 6. Suppose -5*k - m + 270 = 0, 0*k + 3*m = p*k - 144. Is k prime?
True
Let k be ((-4)/5)/((-2)/10). Suppose 0*o = 2*o - 3*g - 184, 4*o - 348 = g. Suppose o = k*t - 14. Is t prime?
False
Let r be 384/21 - (-8)/(-28). Suppose -14 = 2*w - 2*t - 3*t, -4*w = -5*t + r. Is (834/12)/(w/(-4)) prime?
True
Let c = -401 + 636. Is c a prime number?
False
Suppose 5*w - 3*w - 1574 = 0. Is w a prime number?
True
Let x = 261 - 202. Is x a prime number?
True
Suppose -958 = -4*h + p - 3*p, -2*h + 469 = -p. Is h a composite number?
True
Suppose 4*s - 137 = 2*p + p, 0 = -3*s + 3*p + 102. Is s a prime number?
False
Let d(v) = v**3 - 5*v**2 - 5*v + 8. Let w be d(4). Is ((-14)/4)/(2/w) a composite number?
True
Let g = -4592 - -8433. Suppose 0 = -4*o - 3*l + 8*l + g, -4*o - 5*l + 3831 = 0. Is o a composite number?
True
Let l be 39/6*(-3 + 1). Let y be (3 - l) + 2 - -3. Let o = 0 + y. Is o a composite number?
True
Suppose -54 = 2*y + y. Let k = y + 31. Is k composite?
False
Suppose -5*v - 4*y - 58 + 3 = 0, 0 = -y. Let o = 102 - v. Is o prime?
True
Let d be 0 - -5 - (-5 + 3). Let p(u) = -10*u + 3. Let c(v) = -15*v + 5. Let g(r) = d*p(r) - 5*c(r). Is g(11) a prime number?
False
Let m = -48 - -89. Suppose 0 = q + 125 + m. Is 10/4*q/(-5) prime?
True
Let i = 12 + -8. Suppose i*v - 30 + 6 = 0. Let j(o) = -o**3 + 8*o**2 - 10*o + 7. Is j(v) a prime number?
True
Let m be 9/(-2)*20/(-15). Suppose 4*v = m + 222. Is v prime?
False
Suppose 0 = -k - k + 28. Is 4/k + 80/14 a prime number?
False
Let c = -4 - -6. Suppose -c*z = -20 - 42. Is z composite?
False
Let c(g) be the third derivative of 23*g**4/12 + g**3/3 + 4*g**2. Is c(2) prime?
False
Suppose -5*y + 31 = -0*y + j, -4*y + 44 = -4*j. Suppose -3*u + y = -11. Is 3*u/9 + 51 a composite number?
False
Let b(q) = q**2 - 5*q - 1. Let d be b(6). Suppose 2*x = -d*t - 4, x + 3*t - 5*t - 7 = 0. Suppose 0 = 5*f + x*m - 85, -2*m - 9 = -f - m. Is f prime?
False
Let u = 12 + 1. Is u a composite number?
False
Let v = 71 + 1. Let a = v + -38. Is a composite?
True
Let z be -1 + 2 + 7 + 3. Let m(b) = 1 + 9*b + 4*b + z*b. Is m(9) prime?
False
Let w(y) be the first derivative of y**4/4 + 8*y**3/3 + 2*y**2 - 10*y + 2. Is w(-7) composite?
False
Let l(t) = 2*t - 3. Let z be l(3). Suppose z*b + 373 = 136. Let f = b + 112. Is f composite?
True
Suppose n - 108 = -2*n. Let c = 6 + n. Let b = c + -19. Is b a composite number?
False
Let o(v) = -23*v**3 + 7*v**2 - 20*v - 19. Is o(-7) composite?
False
Let j(b) be the third derivative of 7*b**5/60 - 11*b**4/24 + 5*b**3/6 + 4*b**2. Let k be j(7). Suppose 4*g = 85 + k. Is g prime?
True
Let f = -45 - -1840. Is f prime?
False
Suppose -w + 619 = 2*k, 0*k - 4*w - 1515 = -5*k. Is k a composite number?
False
Let c(k) = 17*k**2 + 1. Let m be c(-1). Let a(g) = -g - 3. Let b be a(-5). Suppose 5*l + 6 = -b*o, 2*o + l - 2*l - m = 0. Is o composite?
False
Let j be (-3)/12 - 9/(-4). Let k be 17/j*(-6)/(-1). Is (-3)/((-9)/6) + k a prime number?
True
Suppose -81 = -2*z + 97. Is z prime?
True
Suppose 7 + 5 = 2*w. Is w a composite number?
True
Let o be 1 - 2*(-3)/(-6). Suppose g = 13 - o. Is g a prime number?
True
Let n(f) be the second derivative of f**7/140 - f**6/120 + f**5/120 + f**4/24 - f**3/2 - 3*f. Let l(j) be the second derivative of n(j). Is l(2) composite?
True
Let c(b) 