 4 + 3 - 4. Is p(-9) prime?
False
Suppose 0 = -4*x + 6 + 2. Is -53*(3 - (2 + x)) prime?
True
Suppose 32 = 4*q + 4*h, h - 16 = q - 4*h. Suppose 4*w - 8 = 2*w + q*j, 2*w + j = -17. Is 44/w*3/(-2) a prime number?
True
Let w = 59 + -30. Suppose 3*r = 3*x - 287 + w, x - 4*r = 83. Is x a composite number?
True
Let k(m) = 185*m. Let j = -4 + 5. Is k(j) prime?
False
Let l(g) be the third derivative of g**6/120 + 2*g**5/15 - 3*g**4/8 + 7*g**3/6 + 2*g**2. Let o be l(-9). Suppose -s + o = -28. Is s composite?
True
Suppose b - 6897 = -188. Is b a prime number?
True
Let h be ((-1)/2)/((-5)/30). Suppose 1073 = -h*y + 2696. Is y prime?
True
Let v(o) = -38*o + 4. Suppose 0 = -3*j + 3*p - 18, -4*p = -5*j + 8 - 35. Is v(j) composite?
True
Suppose -3*v = v + 4. Let d be v/1 - (-3 - -2). Suppose d = 5*y + 20, -5*f + f + 360 = -y. Is f prime?
True
Let g = 109 - -126. Is g a prime number?
False
Let d = -152 - 54. Is 4/(-12) - d/6 composite?
True
Suppose 0*f = 3*f - 6. Let c be f/(-8) + (-795)/(-12). Suppose -3*s - 3*a = -123, s - c = -s + 2*a. Is s a prime number?
True
Let t(h) = 18*h - 14. Is t(4) a prime number?
False
Let l = -674 + 1177. Is l composite?
False
Let g = 10 + -2. Is g/(-20) + (-864)/(-10) a prime number?
False
Let b(z) = -20*z**3 + z**2 + 2*z + 1. Is b(-2) prime?
False
Let w(z) = 6*z**3 - 3*z**2 - z + 4. Let j be w(3). Suppose 42 = 2*r - 4*l - j, 0 = -4*r + l + 356. Is r prime?
True
Is (-3 - 5/(-2))*-170 a prime number?
False
Let c(o) = 10*o**2 - 3. Is c(-14) composite?
True
Let g(r) = 4*r + 1. Let h be ((-2)/4)/(2/(-20)). Is g(h) a composite number?
True
Let d(o) = -o - 8. Let l be d(-5). Let m be (-1)/l*(-165)/(-5). Let x = m + -8. Is x a composite number?
False
Suppose 4*c = 2*x - 1914, -10 = -4*c + 10. Is x composite?
False
Let q = -64 + 90. Is q a composite number?
True
Let d be (-9)/(-4) - 1/4. Let s be -133 - (d + 0 + 0). Is s/(-20) + (-2)/(-8) a composite number?
False
Let c = -110 + 200. Let z = -43 + c. Is z composite?
False
Suppose -6*a + 10*a - 1220 = 0. Is a prime?
False
Suppose -6*d = -2*d - 792. Let u = 501 - d. Is u prime?
False
Let a(y) = -y**3 - 11*y**2 + 7*y + 24. Is a(-17) a prime number?
False
Suppose 2*p - 3*p = 4*x + 310, 4*p = 2*x + 146. Let c = 116 + x. Is c composite?
True
Let x(p) = -117*p + 17. Suppose -1 = 4*s - 4*f + 23, 5*f = 0. Is x(s) a prime number?
True
Suppose -4*o - 5*k = -184, -10 = o - k - 56. Is o prime?
False
Let h = 3 - 3. Suppose 5*f + 4*d = -d, 14 = -4*f + 3*d. Is h - ((-19)/1 + f) a prime number?
False
Suppose 16699 = 7*p - 1564. Is p a prime number?
True
Suppose -l + 163 = -2*j - 90, -2*l + 506 = -5*j. Is l a prime number?
False
Suppose f - 4 - 43 = 0. Is f prime?
True
Let k = -19 + 318. Is k composite?
True
Let i(z) = z**2 - 12*z - 1. Let f be i(11). Let r = 25 + f. Is r prime?
True
Let a(u) = u - 2. Let c be a(8). Let z = c - 7. Is (z + -513)*3/(-6) prime?
True
Suppose 3*a = 6*a - 381. Is a composite?
False
Let x be (-7 - -6)*(-1072 - 1). Let u = x + -732. Suppose 183 + u = 4*d. Is d a prime number?
True
Let m be (-3 - (-24)/9)*-261. Is (2 - 0)*m/2 prime?
False
Is (-6)/(-8) + (-4221)/(-36) prime?
False
Let a(u) be the third derivative of u**5/30 - u**3/3 - 2*u**2. Let r be a(2). Is -706*3/r*-1 prime?
True
Suppose -50 = 2*w - 4*w. Is w prime?
False
Suppose 7*t - 256 = 3*t. Suppose -b = -51 - t. Is b a prime number?
False
Let s(o) = -o**2 + 7*o + 6. Let p be s(8). Let h be 0/((2 - 2) + p). Suppose y = -h*y + 37. Is y a composite number?
False
Let o(g) = -g**2 - 4*g + 3. Let l be o(-4). Let h be 1/(-2 - (-7)/l). Suppose h*s - 291 - 90 = 0. Is s prime?
True
Let r be -8 + 6 - -1*47. Let w be (-2)/(-8) + (-14)/(-8). Suppose -5*o + 2*o + 47 = w*d, -2*d - o = -r. Is d a composite number?
True
Let a = 660 - -57. Is a a composite number?
True
Suppose -443 = -3*b - 4*l, -4*b + 331 + 260 = 5*l. Is b a prime number?
True
Suppose 0 = h - 3. Let i(g) = 5*g - 2. Is i(h) composite?
False
Let o(y) = 2*y**2 - 2*y + 2. Let m be o(3). Is m/35 - 1283/(-5) a prime number?
True
Let b(k) = -27*k + 2 - 4 + 8. Is b(-3) a composite number?
True
Suppose -4*s - 5*l = -132, l + 0*l - 66 = -2*s. Is s composite?
True
Suppose 302 = v - 13. Let b be (v/(-5))/(3/(-28)). Suppose 0 = -4*a - 2*c + b, 3*c - 6*c - 133 = -a. Is a a prime number?
False
Suppose -2*x - 18 = -5*x. Suppose 4*m - 6 = 2*f + 16, x = 2*m + 4*f. Suppose 2*d = m*g - 809, g + g - 318 = -2*d. Is g a composite number?
True
Let d(y) = -4*y - 1. Suppose 20 = 5*l, 0*f + 4*f + 3*l - 64 = 0. Let q = f + -19. Is d(q) prime?
True
Suppose -5*i + 13 = -2*n, -5*n - 2*i + 4 = -7. Let m be n/2*-4 - -6. Suppose 8*g - 3*g = 3*d + 565, m*d = -g + 113. Is g a prime number?
True
Suppose -2*b + b = -13. Is b a prime number?
True
Let g be 3/(-5) - (-558)/5. Suppose -3*a - 29 = -b, 3*b + 0*b - g = -3*a. Is b a composite number?
True
Suppose -4*r = -5*r + 991. Is r prime?
True
Suppose 4*x - 182 = 2*x. Is x + 2/2 - 1 prime?
False
Let v(l) = l - 4. Let m be v(4). Suppose -248 = -m*z - 4*z. Is z prime?
False
Suppose -d = 47 - 393. Is d prime?
False
Suppose -5*g + 0*g - 5*u + 730 = 0, u = -3. Is g composite?
False
Let j = -4 + 4. Suppose j = g - 2. Is (g + -2 - -21) + -2 a prime number?
True
Suppose g + 7*y - 4*y + 8 = 0, -20 = -3*g + 2*y. Suppose -2*c + 60 = 3*k, -g*c + 120 = -8*k + 3*k. Let r = c - 9. Is r a prime number?
False
Suppose 2*b = -7 - 1. Let h be 2 - (-2)/b*4. Suppose 5*a + 4*n + 1 - 59 = h, -5*a - 3*n = -56. Is a a composite number?
True
Suppose 7*i = 2*n + 3*i, 4*i - 8 = 4*n. Let g(q) be the second derivative of -5*q**3/2 - 5*q**2/2 - q. Is g(n) composite?
True
Suppose 0 = -b - b. Is 83/(-2 + (b - -3)) a prime number?
True
Let j(m) = -101*m + 9. Is j(-4) a composite number?
True
Suppose 0 = -2*x + 2*s + 12 - 2, s = -5*x - 5. Suppose -5*g + 2671 + 244 = x. Is g a prime number?
False
Is ((-652)/3)/((-8)/12 - 0) a composite number?
True
Let b = -122 + 59. Let s = -20 - b. Is s a prime number?
True
Let c = 17 - 4. Suppose -z = -c - 33. Is z prime?
False
Let y = 10 - 4. Is (-30)/(-4) + (-3)/y composite?
False
Let f(u) = 5*u**2 - 6*u + 5. Let z(v) = -v**2 - 14*v - 14. Let c be z(-12). Is f(c) a composite number?
True
Suppose -q = -3*q + 4. Suppose q*h - 75 = -1. Is h prime?
True
Suppose 8 = -r - 3*r. Let l = 344 - 187. Is (-1)/3*(r - l) a prime number?
True
Let p = 305 - -92. Is p a prime number?
True
Let x = 4515 + -3106. Is x composite?
False
Is 159/51 + -3 - (-140835)/85 prime?
True
Suppose z - 22 = 4*t + 57, 2*z = 2*t + 158. Is z a prime number?
True
Let d(q) = -q**2 + 19*q - 19. Let y = 12 + 1. Is d(y) a composite number?
False
Let w(t) = -t + 8. Let p be w(6). Suppose -p = 5*v - 22. Suppose -v*n = -71 - 21. Is n prime?
True
Suppose 4*x - 3*i + 63 = 0, -3*i + 14 = -1. Let p(m) = m**2 + 3*m + 15. Is p(x) a prime number?
False
Suppose 0 = -f + 5*f - 16. Suppose l + 0 = -2*t + 7, f*t - 5 = -5*l. Is (-1)/(((-9)/(-147))/l) a composite number?
True
Suppose 4*v - 2*v - 10 = 0. Suppose 11 = r + 3*c, -r + 0*r - v*c = -5. Is r + (-3)/3 + 0 a prime number?
True
Let q = -7 - -9. Is q/(-4)*(-94)/1 a prime number?
True
Let f(d) = d - 5. Let b be f(5). Let t be 1/(-2 - 10/(-4)). Suppose b = -4*x + 2*o + 134, 0 = -0*x + 2*x + t*o - 76. Is x a composite number?
True
Let y(b) = -10*b**2 + 7*b**2 + 2*b + b**3 - 1 - 3. Let d be y(3). Suppose 0 = -d*f + 7*f - 115. Is f prime?
True
Suppose -2*c = 2, 3*c + 13 = -g + 2*g. Is g a prime number?
False
Let g(h) = -h**2. Let f(y) = -y**3 + 12*y**2 - 2. Let m(n) = -f(n) - 4*g(n). Let o be m(9). Suppose 2*l - l = o. Is l prime?
True
Let a be (-28)/3*(-6)/4. Suppose -3 = m + 6. Let o = a - m. Is o prime?
True
Let q be 60/14 + (-10)/35. Suppose 0 = 4*o - 3*m - 290, -5*m = q + 6. Is o composite?
False
Suppose 1040 = o - 887. Is o a prime number?
False
Is 886/1 - 12/(-4) a composite number?
True
Let l(k) = 2*k - 6. Let r be l(5). Suppose -t + r = 0, t + 4 + 2 = 5*w. Suppose 5*f - 537 = -c + 57, w*c - 117 = -f. Is f prime?
False
Suppose 3*x = 15, d - x = 930 + 311. Suppose r + r = d. Is r composite?
True
Let i be (-3)/(-1*3/108). Suppose z - i = -3*y, 218 = 2*z + y + 3*y. Is z composite?
True
Suppose 5*s = 3*s + 3800. Suppose a = 2*w - 191 - 1080, 5*a = -3*w + s. Is w prime?
False
Let g(m) = -m**2 + 7*m - 6. Let z be g(5). Suppose -78 = o - z*o. Is o a composite n