152, -4*n - 4 = 0. Is l a prime number?
False
Let n(d) = 5*d**3 - 3*d**2 + 5*d + 1. Is n(4) prime?
True
Suppose -4*j + 7 = -1. Suppose -163 = h - j*h. Is h a composite number?
False
Suppose -3*h + 8 = h. Suppose -4*k + k = h*w - 70, 3*k - 62 = -4*w. Is k a composite number?
True
Let q be (-2)/(-8) + 261/12. Let h be 3/(2 + q/(-8)). Is 220/(-6)*6/h composite?
True
Let f be (4 - 6)*(-422)/4. Suppose 0 = -0*y + y - f. Is y prime?
True
Let u(b) = -3 - 7*b - b + 2*b. Is u(-6) a composite number?
True
Suppose 2*w - 120 = -6*h + 2*h, 16 = 4*w. Suppose h = 4*v + 3*d, 2*d + d - 8 = v. Suppose 3*u = v*a + 101, 105 = 3*u - 5*a + 2*a. Is u a prime number?
False
Suppose 0 = -7*g + 4*g - 24. Let k(s) = 2*s**2 + 9*s - 10. Is k(g) a prime number?
False
Suppose 0*h = 2*h + 5*o - 426, 3*h + 4*o - 625 = 0. Is h a prime number?
False
Suppose 4*i - 230 = -i. Is i prime?
False
Suppose -y = -0 - 1, -4*q + 4*y = 204. Let u = q + 87. Is u a prime number?
True
Suppose 176 = w + g + 12, 0 = -4*g - 16. Suppose -k + 6*k + 2*u - 189 = 0, 4*u = 4*k - w. Is k composite?
True
Let v be ((-10)/(-4))/(-1)*6. Let i be -2 - 2*v/6. Suppose 0 = -i*d - 3*n + 84, -2*n - 48 = -d + n. Is d a prime number?
False
Let f be ((-4)/8)/(3/(-804)). Is (-1)/(-2)*f*1 a prime number?
True
Suppose 7*y - 2*y = 3*k + 305, 5*k + 183 = 3*y. Suppose 0 = h - y - 102. Is h a composite number?
False
Let v(y) = -y**3 - y**2 - y + 6. Let n be v(0). Let b be 16/n - 2/(-6). Suppose u - b*u = -14. Is u composite?
False
Suppose 167 + 37 = 4*r. Suppose -r = -k + w + 94, -4*k + 616 = 5*w. Is k a prime number?
True
Suppose 4*q = -12, -5*z - 3 = 4*q - 3*q. Is (z - -2 - 4) + 79 a composite number?
True
Let j = 4655 - 2476. Is j composite?
False
Suppose -5*w - 1 = -2*p, -4*w + 4*p - 2 = 3*p. Let q be (-4 - w)/(-3) - -4. Suppose -456 = -3*r + r - q*c, 4*r - 5*c = 882. Is r prime?
True
Let x = 6 + -3. Let s be -1 + 2 - (x - 5). Is (-2 + s/2)*-102 composite?
True
Let g(d) = 2*d**2 - 3. Suppose 3*m - 21 + 6 = 0. Let t(j) = -j**2 + 5*j + 5. Let o be t(m). Is g(o) composite?
False
Let t(m) = 2*m - 2. Let v be t(2). Suppose 32 = a + 3*g, 2*a - 15 - 41 = -v*g. Is (a/6)/((-3)/(-63)) composite?
True
Suppose -14 = y - 2*f, 2*f + 15 = 5*f. Let k(g) = 2*g**2 + 6*g + 5. Is k(y) a prime number?
True
Let w = 474 - 237. Is w prime?
False
Let q(j) = 9*j**2 + 6*j - 25. Is q(6) composite?
True
Suppose 0 = 4*c - 16, -5*m + 6*c = 4*c - 2. Suppose -m*y - 3 + 13 = 0. Let k = 30 - y. Is k a composite number?
True
Let k(b) = -2*b + 19. Let x be k(13). Let n(a) = 1 + 1 + 7*a - 3*a**2 + 5*a**2. Is n(x) a prime number?
False
Let u(v) = -12*v - 5. Let b be u(8). Let m = b + 207. Let t = m - 27. Is t composite?
False
Let i = 113 - 168. Is i/(-4) - 3/4 composite?
False
Let c = 3 - -1. Suppose -4*l = -c*p - 0 - 28, -3*l + 13 = 5*p. Suppose -h + 5 = u, 5*h = 2*u - l*u + 22. Is h a composite number?
False
Let t = -7 + 13. Is (0 - 0) + t + 407 composite?
True
Let z(h) = h**2 - 1. Let i be z(0). Suppose 0 = -4*q - 4*b - 12, 0 = -3*q - 3*b + 2*b - 1. Is q + i/(-1) + 31 prime?
False
Let k = -30 + 53. Let a be 15*(1/3 - 0). Suppose a*r = k + 72. Is r a prime number?
True
Let j = 503 + 242. Is j a prime number?
False
Suppose 0*o + 6730 = 10*o. Is o a prime number?
True
Let d(b) = -7*b**2 + 4*b - 3. Let o(w) = w**2. Let k(t) = -d(t) - 2*o(t). Is k(2) prime?
False
Let r(q) be the third derivative of q**8/6720 - q**7/360 + q**6/240 - q**5/15 + q**4/8 - 3*q**2. Let t(w) be the second derivative of r(w). Is t(7) composite?
False
Let j(q) = 3*q - 1. Let i be j(1). Suppose i + 2 = k. Let z(p) = p**2 + 2*p - 3. Is z(k) a composite number?
True
Let l(w) = 25*w**2 - 29*w - 10. Is l(-7) composite?
True
Suppose -4850 = -8*x + 1446. Is x a prime number?
True
Let t(w) = 62*w - 5. Let h(r) = -r**3 + 9*r**2 + r - 1. Let i be h(9). Is t(i) a composite number?
False
Let d = 5486 - 3319. Is d a composite number?
True
Suppose 0 = 2*f - 1517 - 873. Is f prime?
False
Let i(q) = q**2 + 8*q + 11. Is i(-10) composite?
False
Suppose 2 = 2*y, -o - 3*y + 5 - 2 = 0. Suppose -2*m + 6 + 232 = o. Let s = -42 + m. Is s a composite number?
True
Suppose 0 = 2*l - 0 + 6. Let r(x) = x**3 + 3*x**2 + 3. Let m be r(l). Is (-53)/(m + (-7)/2) a prime number?
False
Suppose 0 = -l + 4*l. Let o be (2 + l/3)*-3. Is (o/(-9))/((-6)/(-117)) composite?
False
Let r(h) = h - 4. Let c be r(6). Suppose c*f + 196 + 26 = 0. Let u = f - -222. Is u composite?
True
Let y(x) = 66*x + 1. Is y(4) a composite number?
True
Suppose 0 = a - 1 + 6. Let z = 8 + a. Is (-6)/z*7/(-2) prime?
True
Let s = 60 - -64. Let t = 62 - s. Let l = 139 + t. Is l composite?
True
Let c(u) = 2*u - 4. Let v be c(4). Suppose 60 = v*g - 0*g. Is g a prime number?
False
Let g be (-4)/8 - (-127)/2. Suppose 2*y = -5*s - g, 4*s - 17 = 3. Let k = 9 - y. Is k composite?
False
Suppose b = -4*j - 24, -2*b - 2*j - 36 = 3*j. Is ((-362)/b + 0)*4 composite?
False
Let l(w) be the third derivative of w**6/120 - w**5/20 - 7*w**4/8 + 11*w**3/6 + 9*w**2. Is l(8) a composite number?
False
Suppose 0 = -2*b + 2 - 14. Let o(u) = 19*u**2 + 2 + 8*u - 7 - 9*u**2. Is o(b) a prime number?
True
Suppose 147 = -3*y - 96. Let a = y - -118. Is a composite?
False
Let c(q) = 35*q**2 - 9*q + 1. Let b be c(-4). Suppose -b = -4*u + u. Is u prime?
True
Let r = 256 + -42. Is 4/(-12) + r/3 prime?
True
Suppose -2*b - r + 6 = -0, 4*b - 2*r = 28. Suppose b*u - 2*u = 21. Is u composite?
False
Let v(p) = p**3 + 5*p**2 + 4*p. Let y be v(-4). Suppose y = -2*w + 4*w + f - 586, -3*f = 0. Is w prime?
True
Is -2 + 448 + 7/(-7) prime?
False
Let g = -4 + 4. Suppose 0 = q + q - 8, g = c + 2*q - 11. Suppose -c*o + 102 = -o. Is o composite?
True
Let l(r) be the second derivative of r**5/30 + r**4/8 - r**3/6 + r**2/2 - 2*r. Let w(a) be the first derivative of l(a). Is w(-5) a prime number?
False
Let p = -699 + 1673. Is p prime?
False
Suppose 0 = -4*f + 5*x + 356, 0 = -f - x - x + 89. Is f composite?
False
Let g(a) = -100*a**3 + 2*a**2 + a + 1. Is g(-2) a prime number?
False
Let t(h) = 25*h**2 + 1. Suppose 4*k - 8 = 0, 2 = -6*r + 2*r - k. Is t(r) a prime number?
False
Let v(s) = 24*s. Let h be v(-1). Let i = h - -17. Let t(y) = -y**3 - 7*y**2 - 7*y + 4. Is t(i) composite?
False
Let g = -28 + 321. Is g prime?
True
Suppose 3*v = 275 + 610. Is v a composite number?
True
Let a(g) = 2*g**2 + 1. Let q be a(1). Let w(x) = -3*x**2 + 7*x. Let i(o) = -o. Let z(m) = -3*i(m) - w(m). Is z(q) a prime number?
False
Let m(t) be the third derivative of 25*t**4/24 - 3*t**3/2 + 2*t**2. Is m(6) a prime number?
False
Let a = -12 - -10. Is -3 + 2/a*-22 prime?
True
Is (0 - 28)*(-7087)/76 composite?
True
Suppose 2*u + 2 - 12 = 0. Let h(o) = 7 - 3*o + 7*o - u*o + 10*o. Is h(8) a prime number?
True
Let w(u) = -73*u - 29. Is w(-10) a composite number?
False
Let u(p) be the first derivative of 3/2*p**2 - 2 + 10*p. Is u(7) a composite number?
False
Suppose 3*h = -h. Suppose 0 = 2*d - 0*d - 4. Suppose d*c = -h*c + 20. Is c a prime number?
False
Suppose 0 = -12*b + 14*b - 1082. Is b a prime number?
True
Let d = 9 - 5. Suppose d*v = 436 + 284. Is v/8 - (-1)/2 a composite number?
False
Is (0 - 8578/(-14)) + 14/49 prime?
True
Let g = 723 + -424. Is g composite?
True
Let l be (2 + -21)/1*-2. Suppose 14 = 2*t - l. Is t a composite number?
True
Let q(v) = v**2 - 6*v + 4. Let c be q(6). Let f(h) = h + 4. Let j be f(c). Is (j - 162)*(-2)/4 a prime number?
False
Suppose 1227 = 42*l - 39*l. Is l a prime number?
True
Let f be ((-2)/6)/(1/(-6)). Suppose k = -3*k + 184. Suppose -k = l - f*l. Is l a composite number?
True
Suppose q + 855 = 6*q. Suppose 5*x + 2*s = 903, -x + s + s = -q. Is x composite?
False
Let a(p) be the first derivative of 2*p**2 - 9*p - 1. Is a(7) a prime number?
True
Let l(a) = a**3 + a**2 - a + 2. Let j be l(-2). Suppose j*b - m - 527 = -4*b, -m - 128 = -b. Is b a composite number?
True
Suppose 7*y = 4*y + 6. Suppose y*t = -3*t + 455. Is t prime?
False
Let x(q) = 868*q**3 + q. Is x(1) composite?
True
Suppose 8 = 3*h - 7. Suppose m + 4*o = 16, m = -h*o - 0*o + 17. Suppose 3*g - m = 105. Is g prime?
False
Let j(o) = -135*o + 1. Is j(-8) prime?
False
Suppose -3*w - o = -2, -3*w + 26 = 2*w - 4*o. Let l(u) be the second derivative of 7*u**3/6 + u**2/2 + u. Is l(w) prime?
False
Let h(u) = -u - 10. Let g be h(-7). Let a(l) = 