False
Suppose -428 - 691 = -5*d + 4*n, 450 = 2*d - 4*n. Is d a prime number?
True
Let j(l) = l**3 + 9*l**2 - 11*l - 7. Is j(-10) a prime number?
True
Let v(k) = -4*k + 1. Let z be v(5). Let w = 35 + z. Let i = w - -67. Is i prime?
True
Suppose -5*b = -20, v - 2*v = -3*b + 5. Let m = 8 + v. Is m a prime number?
False
Let x = 775 + -12. Is x composite?
True
Suppose -5*n + 12 = -2*j, -2*j = n - 0*n. Suppose n*c - c = 10. Is c prime?
False
Let l be (-30)/9*6/(-5). Suppose 130 = s + l*s. Let q = s - -5. Is q composite?
False
Let m = -1 + 7. Is ((-188)/m)/((-2)/6) prime?
False
Let y(t) = -2*t - 8. Let m be y(-5). Suppose x = -m*x + 978. Is x a prime number?
False
Let n = -5 - -120. Suppose 3*v - 676 + n = 0. Is v a prime number?
False
Let w be 2/6*(-4 - -10). Let g be (-3 + 0)*w/6. Is -3 - g - (-28 + 1) a composite number?
True
Let f(n) = 7*n**2 - 10*n + 2. Is f(-9) a composite number?
False
Suppose 14 = -5*u + 4. Is ((-237)/(-9))/(u/(-6)) composite?
False
Let a(k) = k**2 - k**2 + 1 - k**2 - 4*k. Let c be a(-3). Is (77/c)/((-1)/(-4)) composite?
True
Let v = 8 + -2. Suppose 4*g - 4*q = -4, -4*g + 0*q = -2*q + v. Let h(j) = -j**3 - j**2 - j. Is h(g) a composite number?
True
Let b = -10368 - -17233. Is b a prime number?
False
Let j(t) = 5*t**2 + 5*t + 13. Is j(-6) a composite number?
False
Suppose 5*g = 15, o - 7 = -5*g + g. Let s(y) = y**3 + 4*y**2 - 7*y - 6. Let b be s(o). Is 346/18 + b/(-18) a prime number?
True
Suppose -c - 289 = -2*u, u + c = -2*u + 436. Is u a prime number?
False
Let h = -3 - -6. Let a(o) = o**3 - 4*o**2 - 3*o - 2. Let v be a(5). Suppose -h*y = -y - v. Is y prime?
False
Let b(q) = 2*q**3 + q**2 - q. Let s be b(1). Suppose 0 = s*f - 3*f + 155. Is f a prime number?
False
Let y = 24 + 73. Is y a prime number?
True
Is (2/6)/(2/186) a composite number?
False
Suppose 0*m - 18 = -3*z - m, 4*m - 12 = 0. Suppose 9*u = z*u + 12. Suppose -u*p = -5*x - 22 - 200, p - 2*x - 75 = 0. Is p prime?
False
Suppose 0 = -4*x + 9961 - 2081. Suppose -2*f - x = -4*f. Is f a prime number?
False
Let k = 4416 + -2909. Is k prime?
False
Suppose -h + 3*h + 12 = 0. Let f(j) = -22*j + 1. Is f(h) a composite number?
True
Let a = 61 - -202. Is a prime?
True
Let j = -6 - -11. Let n = -2 + 5. Suppose -u + j = -0, -73 = -4*h + n*u. Is h a prime number?
False
Let j = 18 + -13. Suppose 12 = 3*n, 3*z - 34 = z - j*n. Suppose z - 35 = -2*d. Is d a composite number?
True
Suppose -4*r = -s, -6 = 3*s - 4*s - 2*r. Let g be (6/s)/(3/4). Suppose 0*h - g*h = 6, -4*h = 4*u - 448. Is u a prime number?
False
Let o(g) = g**3 - g**2 - 8*g. Let i be o(6). Let v = i - -607. Is v a composite number?
False
Let t = 4 + -3. Is 6/(-4)*t*-4 a prime number?
False
Suppose 3*s + 726 = 3*w + 2*w, 585 = 4*w - s. Let t = w + -63. Let d = -45 + t. Is d composite?
True
Let t be (-1604)/(-9) + 6/(-27). Let y(z) = -z**3 + 2*z**2 + 3*z. Let o be y(3). Suppose o = -5*a + t - 63. Is a a composite number?
False
Suppose 4*n - 11 = 5*f, n + 3*n = -2*f - 10. Let p = -19 + 27. Is 48/p*n/(-2) a composite number?
False
Is (-12)/3 - (3 - 2160) composite?
False
Let m(g) = -432*g**3 + g - 1. Is m(-2) a composite number?
True
Let v = 2 + 3. Suppose -v*d = -2*i - 130 - 199, 4*d = -5*i - 872. Let u = -119 - i. Is u prime?
True
Let z(v) = -v**2 - 8*v + 12. Let c(t) = t**3 + 5*t**2 + 2*t - 5. Let h be c(-4). Let b be (-28)/h + 3/9. Is z(b) prime?
True
Let b(l) = l - 12. Let u be b(15). Let y(q) = -q**3 + 7*q**2 - 5*q - 4. Let t be y(6). Suppose -2*m = 4*i - 56, -u*i = -1 - t. Is m prime?
False
Is 2/(-13) + (-9524)/(-52) a composite number?
True
Suppose -330 = 3*u - 1287. Is u a prime number?
False
Let w = 100 - -49. Is w prime?
True
Suppose -6*v = -4*v - 668. Let m = -4 + v. Suppose -15 = 5*y, 35 + m = 4*s - 3*y. Is s composite?
False
Let l = 185 + 72. Is l a prime number?
True
Let b(z) = -z**3 + 3*z**2 + 3. Let d be b(3). Suppose -g - 108 = -d*g. Suppose 4*h - 2*x = 78, 3*h = x + 2*x + g. Is h a composite number?
True
Is 12/16*6/(-9)*-1994 prime?
True
Suppose -4*b = r - 6, -6*r - b + 9 = -2*r. Suppose -r*k - 195 = -5*k. Is k a prime number?
False
Let n = -1 - -2. Let l be 0/(-2) - 2/n. Is 1/(-2) + (-39)/l prime?
True
Let o(i) = -69*i + 2. Is o(-5) a composite number?
False
Suppose 2*m + 2*m = 12. Let t = 3 - m. Suppose -2*h + 67 + 7 = t. Is h a prime number?
True
Let w(j) = j**3 + 5*j**2 + j - 5. Let g(q) = q**3 + 11*q**2 + 9*q - 14. Suppose 2*m - 1 = 3*v + 25, 5*m + 60 = -5*v. Let x be g(v). Is w(x) composite?
False
Let r(v) = 4*v**3 - 6*v**2 + 5*v - 2. Let a(s) = -9*s**3 + 11*s**2 - 9*s + 4. Let w(b) = 2*a(b) + 5*r(b). Suppose 5*p = 17 + 8. Is w(p) prime?
True
Let q = -4900 - -7479. Is q a composite number?
False
Suppose 2*i + 5 = i. Let y(m) = m**3 + 8*m**2 + 3*m - 7. Is y(i) prime?
True
Let c(b) = -972*b**3 + 2*b**2 + b. Is c(-1) composite?
True
Suppose 4*b - 12 = b. Suppose 0 = -2*h + b*h - 5*k + 753, 4*k + 1164 = -3*h. Is h/(-5) - 1/(-5) a prime number?
False
Let y(u) = 7*u**2 - 17*u + 47. Is y(-14) a composite number?
False
Let o = 9 + -5. Suppose o*t = -0*t - l + 16, -5*t = -2*l - 33. Suppose -t - 1 = -3*s. Is s composite?
False
Let p(k) = 5*k + 8. Is p(19) a prime number?
True
Let h(g) = 3*g + 7 + 0*g - 10*g - 8*g. Is h(-4) a composite number?
False
Let k(o) = 6*o**3 + 2*o**2 + 3*o - 3. Is k(2) a prime number?
True
Suppose -o + 3260 = 3*o. Is o a prime number?
False
Let b = -979 + 2198. Is b prime?
False
Let f(t) = -t**3 + 7*t**2 + t - 9. Let j be f(-8). Let r = j - 622. Is r composite?
True
Is 105/(-42)*98/(-5) prime?
False
Suppose -3*q - 15 = -3*f, -4*f + 26 = -q + 3*q. Let v(h) = -3*h + 3*h - 3 + 4*h. Is v(f) a prime number?
False
Let f(w) be the second derivative of w**5/20 - w**4/3 + w**3/3 - w**2/2 - w. Is f(4) a composite number?
False
Let u = 20 - -4. Let d = u + -11. Is d prime?
True
Let j(q) = -q**3 + 7*q**2 + 2*q - 7. Is j(7) a composite number?
False
Let o(x) = -2442*x - 1. Is o(-1) prime?
True
Suppose 0 = 15*d - 23600 - 9715. Is d composite?
False
Suppose 3*j + 0*f - 9 = 3*f, j + 5 = -3*f. Let z be -3*(j - 5/3). Suppose -181 + 3 = -z*c. Is c a composite number?
False
Suppose 5*v = 2*g + 3*g + 10, -5*v - 5*g + 40 = 0. Suppose v - 435 = -2*h. Is h a composite number?
True
Let d be (3/2)/(2/4). Is 1/d*3 - -1 composite?
False
Suppose 2*l - 942 = -5*v - 389, v = -4*l + 125. Is v a composite number?
False
Let m = 1 + 3. Suppose -k = -s - 56, 3*k + m*s + 1 = 190. Is k a prime number?
True
Let z(x) = -443*x. Is z(-1) a composite number?
False
Suppose -2*d + 2*i + 0*i + 1502 = 0, -d = -5*i - 743. Suppose 2*f + 0*v - 1493 = 5*v, -d = -f - 4*v. Is f prime?
False
Let n(q) = q**2 - q. Let c be n(-1). Is -1*(c - 3)*149 a prime number?
True
Suppose 4*n = 5*i + 29, -4*n - 5 = n + 2*i. Is -333*(n/(-3) - 0) a composite number?
True
Let u(s) = -4*s**2 - 2*s. Let o be ((-2)/(-3))/((-1)/(-3)). Let h be u(o). Is (-2)/(-8) + (-1095)/h a prime number?
False
Suppose -3*i + 448 = -311. Is i a prime number?
False
Let o be ((-2)/4)/((-5)/10). Suppose -2*g = o - 3. Let a(t) = 68*t**2 - 1. Is a(g) a prime number?
True
Let q(h) = -14*h**2 + 17*h - 8. Let u(d) = 5*d**2 - 6*d + 3. Suppose 3*g - 21 + 3 = 0. Let z(b) = g*q(b) + 17*u(b). Is z(-4) prime?
True
Let g(z) be the first derivative of 5*z**3 - 4. Suppose 0 = -5*c + 25, 2*m - 5 = -3*c + 8. Is g(m) composite?
True
Suppose 2*o + 2*o + 20 = 5*k, 5*o - 4 = -k. Is (1174/(-5))/(k/(-10)) a composite number?
False
Let k(p) = p**3 - 7*p**2 - 3*p - 5. Is k(8) composite?
True
Let l be 2 + 4*(-2)/(-8). Suppose 2*y - 78 = 5*q, l*q - 130 = -4*y - 0*q. Is y a prime number?
False
Let y(s) = 5*s + 7. Let n(h) = 4*h + 7. Let u(c) = -3*n(c) + 2*y(c). Let t be u(-7). Suppose 2 = -2*a, -o = a - 47 - t. Is o a prime number?
False
Let f = 3886 - 2645. Is f a prime number?
False
Let m = -7 - 3. Let v = -7 - m. Is v a composite number?
False
Let r(l) = -6 + 3*l - 8*l**2 + 3*l**2 - l + l**3 + 2*l. Let h = 11 + -6. Is r(h) a prime number?
False
Let h be 8/(3/3 - -1). Suppose -h*y - 248 = -708. Let r = 18 + y. Is r a prime number?
False
Let p(u) = 3*u**2 + u - 1. Let d be p(1). Suppose -s - s - 3*a + 15 = 0, s - d*a = 3. Suppose j + 2*j = s, 0 = -2*v + 2*j + 186. Is v composite?
True
Let u(h) = 12*h**2 + 2*h + 1. Is u(2) a composite number?
False
Let k(g) = 6*g**2 + 7*g - 14. Let p(z) = z**2 - 1.