 c prime?
False
Let v be (-4)/20 - 1/(-5). Suppose v = -0*b + 2*b - 4. Suppose 26 = b*m - 12. Is m a composite number?
False
Let j = -3 + 173. Suppose 9*i = 7*i + j. Is i composite?
True
Let j(o) = 226*o + 15. Is j(4) a prime number?
True
Let x be (17 - 1)*(-15)/(-6). Suppose 0 = -3*c + 23 + x. Is c prime?
False
Let g(d) = -75*d + 2. Is g(-1) a prime number?
False
Let b = -5 - -3. Let y = b - -4. Suppose y*v = 8, -3*c + 3*v = c - 64. Is c a prime number?
True
Is 584 - -3 - (-5 + 9) prime?
False
Let x be (2 + 0)/((-12)/(-30)). Let n = 18 - x. Is n composite?
False
Suppose u - 2*s = 433, -5*s + 2240 = -2*u + 7*u. Is u a prime number?
True
Let w(u) = 8*u**2 + u - 2. Let q be w(-5). Suppose -3*l + q = 5*m - 487, -2*m = 4*l - 286. Is m a prime number?
False
Let r(t) = 2*t**3 - 8*t**2 - 5*t + 5. Let d be r(7). Suppose 3*i - d = -0*i. Suppose 0 = -f + i + 1. Is f composite?
False
Is (561/(-6))/((-3)/6) prime?
False
Is (2 - -1380) + 12/(-4)*1 composite?
True
Let f = -4 - 0. Let k be 16 + (4 - (5 + -3)). Is ((-50)/15)/(f/k) a composite number?
True
Let w be 0 + (-1 - -3) + 3. Suppose w*y + 3*f = -2*f + 25, 4*f = 5*y + 20. Suppose -3*z = -3*a - 2*z + 160, y = -3*a - 2*z + 157. Is a prime?
True
Suppose -4*o - o = -n - 798, -4*o + 633 = n. Is o prime?
False
Let v = 7 + -7. Let h = 21 + v. Is h prime?
False
Suppose -11*y + 3*y = -344. Is y a composite number?
False
Let l be (-6)/(-33) + (-1690)/(-22). Suppose -38 - l = -5*t. Is t composite?
False
Suppose -2*q = -2*a, -3*q - 2*a = -q - 16. Let p = q + -5. Is 2*(p - -2) - -4 a prime number?
False
Let l = -4 + 27. Is l prime?
True
Suppose 4*u = -0*u + 144. Is (-8)/u + (-479)/(-9) prime?
True
Suppose -5*t + 5484 + 3311 = 0. Is t a composite number?
False
Let u be (0 + 4/(-10))*5. Is (u - -35)*14/6 a prime number?
False
Suppose 5*t - 2635 = -465. Suppose 0 = 4*j + 4*l - 836, 5*l + 43 = 2*j - 389. Let m = t - j. Is m a composite number?
False
Suppose d + 7108 = 5*d. Is d a prime number?
True
Let v(w) be the third derivative of 43*w**5/30 - w**4/6 + w**3/6 - 4*w**2. Is v(-3) prime?
True
Suppose -5*p = -15, 5*x + 0*x - 4*p - 1798 = 0. Is x prime?
False
Suppose 2*s - b + 46 = 5*s, 0 = -5*s - 4*b + 86. Suppose z - 3*z + s = 0. Let i = 44 - z. Is i prime?
True
Let j(m) = 3*m**2 + 5*m - 1. Is j(-11) composite?
False
Let f(q) = 3*q**3 + q**2 + 3*q + 2. Let z be f(4). Let u = z - -266. Suppose -6*d = -2*d + 5*c - u, 0 = 5*c + 20. Is d prime?
True
Suppose -3*l + 0*l = -6087. Is l a composite number?
False
Let n = -65 - -1268. Is n composite?
True
Suppose -3*w = 3*s - 1152, 3*w + 3*s - 1157 = s. Is w prime?
True
Let a(o) = -50*o - 9. Is a(-4) prime?
True
Let d = 14 - 8. Suppose 5*n + 49 = -d. Let k = -7 - n. Is k composite?
True
Suppose 0 = -0*t + 4*t - 4*w - 2244, 0 = 3*w + 12. Suppose -2*m + 45 = -5*r + 972, t = 3*r - 2*m. Is r a prime number?
False
Let i(s) = 3*s**2 + 4*s + 2. Let g be i(-2). Let q be (1 + (-4)/4)*1. Let n = g + q. Is n prime?
False
Suppose -2*p - 549 = -5*p. Is p composite?
True
Let u = 147 - -73. Let q = 309 - u. Is q a composite number?
False
Suppose 3*h = -15, -2*h = -3*a - 5*h + 3624. Is a prime?
True
Let f = -998 + 1644. Let p = f - 339. Is p composite?
False
Suppose h + 2 = 3*k - 0*k, 0 = 2*h - 5*k. Suppose 5*m = -2*n + 35, n + 2*m + h = 5*n. Suppose 1231 = n*z - 4*i, i = -4*z + 509 + 480. Is z a prime number?
False
Let s = 906 + -287. Is s composite?
False
Let p = -3 - -8. Suppose -5*d + 15 = -l, 31 - 6 = p*d - 3*l. Suppose 3*i - 150 = 3*u, d*u = 3*i - 2*i - 49. Is i a composite number?
True
Suppose 1 = o - 3. Suppose o*v - 39 = 5. Is v a composite number?
False
Let i be (4/(-10))/(3/(-60)). Suppose c - 13 = i. Is c a prime number?
False
Suppose -z - 2*j = 0, -11 - 1 = -4*z + 4*j. Let f = z + 51. Is f a composite number?
False
Suppose 0 = 2*f - 116. Let n = f + -21. Is n a composite number?
False
Suppose 3*i = -3*j - 21, 2*j + 1 = 2*i - 1. Let f(z) = -z + 8. Let k be f(6). Is (k*j + 1)*-23 a prime number?
False
Let c = 9 - 4. Suppose r - 5*r = -12, 3*y - c*r - 972 = 0. Is y prime?
False
Let r(h) = -h**2 + h + 35. Let p be 0 - 0*(-2 - -3). Let l be r(p). Is l - 2 - (2 - 0) a composite number?
False
Let w = 3547 + -1700. Is w prime?
True
Suppose -g + 2*q + 1 = -3, 4*q = -g - 8. Suppose g*y = -5*y - 110. Let f = -3 - y. Is f composite?
False
Suppose -4164 = -5*i + i. Is i a prime number?
False
Suppose -2*a - a = -9, 0 = 5*h - 5*a + 1505. Let x = h - -473. Suppose r + x = 6*r. Is r prime?
False
Let b = -2 + 13. Suppose m - b = -9. Is m a composite number?
False
Let v(y) = 42*y + 7. Suppose -14 = -3*h - g, 7 - 23 = -4*h - 2*g. Is v(h) a prime number?
False
Let i(g) = -g**2 + 15*g - 15. Is i(13) composite?
False
Let w(x) = -x**2 + 1. Let u(b) = -4*b**2 - 4*b + 8. Let y(r) = u(r) - w(r). Let c be y(-5). Is (22/(-8))/(4/c) a prime number?
False
Suppose 2*h - 54 - 1206 = -2*v, -5*h - v + 3170 = 0. Is h a composite number?
True
Let j(w) = -w**2 - 6*w + 11. Let f be j(-7). Suppose -890 = -6*z + f*z. Is z a prime number?
False
Suppose 1612 = 8*g - 4*g. Is g prime?
False
Let b be (-6)/(1 + 1 + -1). Suppose 0 = 2*u - 0*u - 16. Is b/(-8)*(0 + u) composite?
True
Let l = 1952 + -963. Is l a prime number?
False
Let c = 4 + -2. Let p be (1 - 0 - c)*-7. Suppose p*n = 2*n + 105. Is n prime?
False
Suppose 0*j + 20 = 2*j. Is (575/j)/((-1)/(-2)) composite?
True
Suppose w = -4*w + 1325. Let l = 572 - w. Is l a composite number?
False
Suppose 0 = -0*n + 3*n + 537. Let j = -114 - n. Is j composite?
True
Suppose 5*t = f + 15, -5*t = -2*f - 4 - 6. Suppose -555 = -t*y - y. Let n = y + -56. Is n a composite number?
True
Let t(x) = -x**2 - x + 1049. Is t(0) a composite number?
False
Let r(n) = n**3 + 3*n**2. Let m be r(-2). Suppose -a - 65 = -4*q, m*q - 5*q + 3*a + 19 = 0. Suppose 15 = s - q. Is s composite?
False
Let h be -24*(-6)/((-24)/5). Let q = h + 277. Is q composite?
True
Let a = -796 + 1605. Is a a composite number?
False
Suppose z - 3*r - 6 = 72, 0 = -3*z + 3*r + 210. Suppose 4*d + 0*d = 4*b - 68, -4*b - 84 = 4*d. Let t = d + z. Is t a composite number?
False
Let n(f) = -f**2 - f + 12. Let t be n(0). Suppose -4 + 8 = 5*d + z, -2*d + t = 3*z. Suppose 5*p - r - 102 = d, 3*r - 18 = -p + 4*r. Is p prime?
False
Let r(d) = d**2 + 2*d + 2. Let a be r(-2). Suppose 0 = 2*k - 5*k - 4*o - 4, a*k = -4*o. Let n(f) = 8*f**2 + 2*f - 1. Is n(k) a composite number?
True
Let n(g) be the second derivative of -5/6*g**3 + 1/6*g**4 - g - 3/2*g**2 + 0. Is n(5) prime?
False
Let w(f) = -f**3 + 7*f**2 + 8*f + 6. Let o be w(8). Let u be (-8)/o*6/(-4). Suppose u*q - 74 = -0*q. Is q composite?
False
Suppose 10*p - 5*p - 870 = 0. Suppose -4*w = -4*h + 126 + p, 4*h + w - 320 = 0. Is h a prime number?
True
Let d(h) = -4*h**3 - 8*h**2 + 5*h + 7. Is d(-6) composite?
True
Let o = 5 - 2. Suppose 0 = -o*l + l. Suppose b - 3*b + 326 = l. Is b prime?
True
Let w = 31 + -7. Let g = w - 5. Is g a prime number?
True
Let n = 26 - 7. Is n a prime number?
True
Let f(g) = g**3 + 7*g**2 + 2*g - 5. Let r(x) be the first derivative of x**3/3 - 7*x**2/2 + 4*x - 2. Let p be r(5). Is f(p) a composite number?
False
Suppose 2*g = -5*r + 21, 2*r - 3 = -5*g + 6*r. Suppose -g*o + o = -110. Is o prime?
False
Suppose -216 = t + 3*n, 3*t = 8*n - 3*n - 606. Let i be (-2)/(-3) - 2492/21. Let j = i - t. Is j composite?
False
Is (-2)/(3156/(-790)*-1 + -4) prime?
False
Let y = -51 + 370. Is y a composite number?
True
Let z = 795 + -470. Let h = z + -228. Is h a prime number?
True
Suppose -5*l = 3*f - 1552 - 181, -l = -4*f + 2326. Is f prime?
False
Is (59 + 0/1)*(3 + 4) a composite number?
True
Suppose i + j - 2049 = 0, 0*j + 3*j = -i + 2041. Is i composite?
False
Let q(v) = v + 17. Let y be q(-12). Suppose 0*k - 967 = -y*k + 3*u, 3*u - 943 = -5*k. Is k a composite number?
False
Suppose -345 = -5*r - 5*n, -175 = -3*r + 2*n + 3*n. Let u = -44 + r. Is u composite?
True
Let b be (-1742)/18 + 2/(-9). Let g = b - -176. Suppose -3*k + 3*n = -87, 4*k - g = k + 5*n. Is k prime?
False
Let x(p) = -p**3 + 10*p**2 - 5*p - 9. Suppose 3*n = -4*o - 1, -4*o = -0 + 4. Let t be (n/3)/(4/96). Is x(t) prime?
True
Let d(j) = -2 + 3 + 15*j + 9. Is d(5) composite?
True
Suppose -9*s = -12*s. Suppose -t + s*t + 367 = 3*g, -2*t + 738 = 5*g. Is t prime?
True
Let k = -6 + -5. Let r(t) = 2*t**2 + 12*t - 1