ivative of k - 3 + 52/3*k**3 + 0*k**2. Is q(-1) composite?
False
Let x(r) = 265*r + 2. Is x(1) a composite number?
True
Suppose 2*q + 738 = -q. Is 0 + q/(-2 - 0) a composite number?
True
Let v(f) = -73*f + 2. Is v(-3) composite?
True
Let m(d) = -19*d + 8. Let s be (2/(-4))/(1/12). Is m(s) prime?
False
Let h = 2974 - 1217. Is h a prime number?
False
Suppose 0 = 2*z - 3*k + 9, -5*k + 15 = -4*z. Suppose -2*t - 1 - 3 = z. Let y(d) = -2*d + 2. Is y(t) a prime number?
False
Let n be (42/8)/(6/(-48)). Let v = 107 + n. Is v a prime number?
False
Let p(g) = 6*g**2 - 3*g - 14. Is p(7) composite?
True
Suppose 4*h = 111 + 21. Let l = 26 + -8. Suppose -j = -h - l. Is j a prime number?
False
Let g = -13 - -15. Let v(w) = 2*w + 1. Let z be v(2). Suppose z*d = -g*c + 524, 797 = 3*c - 5*d - 14. Is c a prime number?
False
Suppose -119 = -2*q + q. Let b = -84 + q. Is b prime?
False
Let v = 1016 - 709. Is v prime?
True
Suppose -c + 2*c - 37 = 0. Suppose -4*z + 7 = -c. Is z a composite number?
False
Let v be -2 + 5 + -3 + -3. Is (17 + v)*(-1)/(-2) a prime number?
True
Let x(v) = 63*v**3 + v**2 - v + 2. Let y be x(2). Let h = 765 - y. Is h a composite number?
False
Suppose 0 = -j - 0*j + 5*r + 470, 4*j + 3*r - 1949 = 0. Is j a prime number?
False
Let a = -19 + 28. Let w be (2/6)/((-3)/a). Is (w - (50 + 2))/(-1) a composite number?
False
Let u(r) = 5 + 7 - r - 5 + 7. Is u(7) prime?
True
Suppose -4*m - 5 = 5*r - 2*m, 0 = 5*r + 3*m + 10. Let b be r/4 + 28/16. Suppose f = b*f - 13. Is f composite?
False
Let h(o) = -2 - 21*o + 3 - 14*o. Let g be h(-1). Let k = g - -41. Is k a composite number?
True
Suppose -2*r = -4*b + 12, 3*b + 4*r + 12 = 5*b. Let o be (0/(-9))/(0 - 2). Suppose o = -b*q + 106 - 32. Is q prime?
True
Let w(z) = 292*z**2 + z. Is w(-1) prime?
False
Suppose 8*n - 359 = 7*n. Is n composite?
False
Suppose 48 = o - 129. Is o prime?
False
Let b(d) be the second derivative of d**4/12 - 5*d**3/6 + d**2/2 + d. Is b(-4) composite?
False
Let c = 16 - 14. Suppose 3*f + 2*x = 2*f + 9, c*f + 2*x - 22 = 0. Is f composite?
False
Suppose 0*f + 2*f = -2*g + 300, 3*g = -6. Suppose m + f = 5*m. Suppose -12 = -5*y + 4*j + m, y - j = 11. Is y prime?
False
Suppose -3*b - b - 68 = 0. Let p = 26 - b. Is p prime?
True
Let u(d) = -21*d - 1. Let c be u(6). Is (c/3)/(2/(-6)) a prime number?
True
Let b(s) = s**3 + 4*s**2 + s + 3. Let k be b(-4). Let t = k + 157. Let v = t + -105. Is v composite?
True
Let d(c) = c + 11. Let t be d(-7). Suppose -30 - 110 = -t*m + 2*i, 5*m - 177 = 2*i. Is m prime?
True
Let w = 1194 - 1792. Let d = -389 - w. Is d prime?
False
Suppose 8*q = 4*q + 1704. Suppose -q = -2*a + t - 5*t, t + 216 = a. Is a a prime number?
False
Suppose -m - 4*i = -3673, 4 = -i + 3. Is m a composite number?
False
Let q = 858 - 447. Suppose c = -c - 2*t + 782, c = 4*t + q. Suppose -5*a - 5*l = -0*l - c, 0 = -4*a + 2*l + 334. Is a a composite number?
True
Is 0/(-3) - (0 - 1867) a prime number?
True
Let r be 249*(1 - 2/3). Suppose 4*j - 411 = -r. Is j composite?
True
Let p be -1 - 0 - (-6 + -1). Suppose -37 + p = -h. Is h prime?
True
Let m(h) = -53*h + 8. Is m(-7) a prime number?
True
Let n be (-11)/(-2) - 2/(-4). Let x(p) = 10*p**2 - 5*p - 1. Is x(n) a composite number?
True
Suppose 0 = -4*y + 6*y. Let z(m) = m + 11. Is z(y) a composite number?
False
Suppose -2*k - 444 = -6*k. Let c = 376 - k. Suppose -6*t + c = -t. Is t composite?
False
Suppose -3*s + 251 = 2*v, 3*s + 351 = 3*v - s. Is v prime?
False
Is 52793/117 + (-4)/18 a prime number?
False
Let u = -18 - -51. Is u composite?
True
Let u be 6 + 3/((-6)/(-2)). Suppose 4*g + 393 = u*g. Is g a prime number?
True
Suppose -7*w + 582 = -w. Suppose 3*h - w = -2*m + 22, 0 = 3*m + 4*h - 178. Is m a composite number?
True
Suppose b = -0 + 1. Let d be b/(-4) - 762/(-8). Suppose -3*f + 3*k + 238 + 23 = 0, -f + d = 3*k. Is f composite?
False
Let j(h) = 2*h**2 + 6*h + 3. Suppose -p + 3 = 1. Suppose -4*y = -3*v - 0*v + 13, 0 = -p*y + v - 7. Is j(y) composite?
False
Let f(b) = -b**3 + 14*b**2 - 3*b + 1. Is f(11) prime?
True
Let j(d) = d**3 + 24*d**2 - 36*d + 31. Is j(-24) prime?
False
Let h = -4 + 7. Suppose 5*n = n. Suppose -h*i = u - n*i - 46, 5*i = 20. Is u a prime number?
False
Suppose -g = l + 8, -2*g - 2*l - 11 = -l. Is 8/12 - 631/g composite?
False
Suppose 144 - 1734 = 5*a. Let g = 616 + a. Is g a composite number?
True
Let c(o) = o**2 + o + 145. Suppose -3*f = a - 11, -7*a + 2*f = -4*a. Suppose 0 = a*s - 4*s. Is c(s) prime?
False
Let c = 611 - -188. Is c a prime number?
False
Let d be (-2)/(3/((-294)/4)). Let a be 4/14 + 82/7. Let v = d - a. Is v composite?
False
Suppose -o = -4*o. Suppose o = 4*s - 3*s. Is 11 + (s - -2) + 2 prime?
False
Is 1074/2 - 6/3 a composite number?
True
Let o = -31 - -7. Let p be 2 + 1 + -1 - o. Suppose -2*u + 400 = 5*d, -233 = -u + d - p. Is u prime?
False
Suppose 15 = 5*d - 0. Let b(v) = -2*v**3 + 4 + 0*v**3 - d - v**2 + 3*v. Is b(-3) composite?
False
Let h(r) = -5*r. Let q be h(-1). Is (-100)/5*q/(-4) composite?
True
Suppose -5 - 3 = -2*d. Suppose d*m = 2829 - 497. Suppose 5*v = m + 232. Is v a prime number?
True
Let q = 1425 + -692. Is q composite?
False
Let q = -14 - -35. Is q a prime number?
False
Let n(v) = -187*v. Let z(f) = -f**2 + 8*f + 8. Let t be z(9). Is n(t) a composite number?
True
Let y(v) = 10*v**3 + 19*v**2 + 5*v + 6. Let a(f) = 7*f**3 + 13*f**2 + 3*f + 4. Let k(r) = -7*a(r) + 5*y(r). Let o be k(-3). Let n = o + 3. Is n composite?
False
Let o = 325 + 106. Is o a prime number?
True
Let b = 341 + -4. Is b prime?
True
Let c(s) = 4*s - 9. Suppose -7 = -3*v + 3*j + 2, -2*v + 26 = 3*j. Is c(v) composite?
False
Let a(y) = -111*y - 14. Is a(-5) a composite number?
False
Let n be 70/(-21)*(-6)/5. Suppose -2*m = n*x - x - 400, -4*m - 696 = -5*x. Suppose -x - 12 = -4*i. Is i a composite number?
False
Let y be -6*6/16*8. Let f = y - -77. Is f a composite number?
False
Suppose -5*q = 379 - 1184. Is q prime?
False
Suppose -2*a + 8 = 2*a. Suppose 0 = -z + 13 + 8. Suppose -a*t + z + 41 = 0. Is t prime?
True
Suppose 4*c = -2*y + 5247 + 14059, -9665 = -y + c. Is y a composite number?
False
Suppose 0 = -2*r - 3*h + 1243, 4*r = -4*h - 1715 + 4207. Let f = r + -375. Is f a composite number?
False
Let a = -25 + -5. Is (a/(-4) + 1)*4 a prime number?
False
Is (-3348)/(-8) + (10/4)/5 a prime number?
True
Let o = 3 + -2. Is ((-20)/12)/(o/(-9)) a prime number?
False
Let z(n) = 4*n + 12 - 3 + 4*n + n**2 - 3*n. Is z(-7) a prime number?
True
Suppose 9 = -2*y + g, -2*y = -y - 4*g - 6. Is (-3)/y*2 + 22 a prime number?
True
Suppose -6*y = -2*y - 120. Suppose y = -0*r + 2*r. Is r prime?
False
Let j = -2164 - -7599. Is j a composite number?
True
Let g = -314 + 525. Is g a prime number?
True
Suppose -4*q = q. Suppose -3*z = h - 17, q = -3*z - 0*z + 3*h + 33. Is z composite?
False
Let d(g) be the first derivative of g**2/2 + 2*g - 3. Is d(7) prime?
False
Let o be -4 + (2 - 0) + 2. Suppose o = -4*l + 4*y - y + 248, 20 = -5*y. Suppose 0 = 3*w + l - 170. Is w prime?
True
Suppose -t - 1 = 3. Let d be 1*-3*12/t. Is 2/(-9) - (-1451)/d a prime number?
False
Let a be -3*(1 + (-6)/9). Is 2/a*1 - -60 a composite number?
True
Suppose -4 = 2*h + 2*b, -2*h - 3*b - 4 = -0. Let y be (-4 - h)*(-1 - 0). Suppose -186 = -y*l + 2*r - 0*r, 4*l - 3*r = 370. Is l prime?
False
Let a be -1051*((-6)/(-3) - 1). Let q = a - -1488. Suppose -2*h = -5 - 3, 3*h = -5*u + q. Is u a composite number?
True
Is 1/((-2)/(-29))*6 prime?
False
Suppose 595 = b - 5*m - 707, -4*b + m + 5113 = 0. Is b a prime number?
True
Suppose -5*f - 3 = 4*d, -3*f + 2*f - 15 = -4*d. Let n(w) be the first derivative of 8*w**2 + w - 1. Is n(d) prime?
False
Let k(p) = 98*p - 43. Is k(17) prime?
False
Let i = 0 - -3. Suppose -2*h = i*h - 455. Is h a composite number?
True
Let w(d) = -d**2 + 10*d + 8. Let n be w(10). Is 2/n - (-588)/16 a composite number?
False
Let a = 9 - 1. Suppose 1023 = 5*b + a. Is b composite?
True
Suppose -i + 4*i = 2055. Is i a composite number?
True
Let l = -401 - -564. Let p be (5 - 3) + l + 1. Suppose -3*h = -5*h + 5*f + p, -h = 4*f - 83. Is h a composite number?
False
Let j(z) = z**2 - 2*z + 4. Let c = -6 - -10. Suppose 3*q = -3, 0 = -2*v + c*v - q - 7. Is j(v) prime?
True
Suppose -2*x = 2*l + 3*x - 4131, -2*l - 4*x + 4126 = 0. Is l a composite number?
False
Let