*v + 3. Let r be q(4). Suppose 4*y - 800 = -5*t + r, 2*t - 5*y = 316. Is t prime?
True
Suppose 3*q - 6*q = 15. Let w(b) = -5*b**2 - 2*b - 9. Let o(h) = -6*h**2 - h - 10. Let u(y) = 3*o(y) - 4*w(y). Is u(q) a composite number?
False
Let x(l) = l**3 - 13*l**2 - 13*l - 12. Let f be x(14). Suppose -7 = f*k - d - 23, 44 = 4*k - 5*d. Is k composite?
True
Let h(y) be the first derivative of 11*y**7/840 - y**6/180 + y**4/24 - y**3/3 - 1. Let g(k) be the third derivative of h(k). Is g(1) a composite number?
True
Let l(t) = 5*t**2 - 2*t - 8. Is l(-5) prime?
True
Let o be ((-6)/12)/((-1)/270). Let l = -68 + o. Is l composite?
False
Is 9/6*-2 + 392 a prime number?
True
Let v(u) = u**3 - 4*u**2 + 2*u + 2. Let j be v(3). Let l be 0 - (8 - (-1)/j). Is (1 - 2)*(l + -2) prime?
False
Is (3/(-9))/(1/(-57)) a composite number?
False
Let r(b) = b**2 - 10*b + 3. Suppose 2*v - 12 = u, -3*u - 22 = v + 7. Is r(u) composite?
True
Let x be 27 - (-1 - -4)/(-3). Let t = 49 - x. Is t a composite number?
True
Suppose 2583 = 5*n + 3*w + w, 0 = 4*w - 8. Suppose 0*s + 5*s = n. Is s prime?
True
Suppose 1 = 3*z - 4*z. Let q = z - -26. Is q a composite number?
True
Let h(v) = v + 11. Let r be h(-7). Suppose 4*f = -s + 206, -3*s - f + 573 = -r*f. Is s prime?
False
Let i be 580/(-18) + (-8)/(-36). Let g = i - -83. Is g a composite number?
True
Let c(s) = s**2 - 3*s - 5. Let p be c(5). Suppose -3*l + 30 = -p*l. Let r = l - -226. Is r prime?
True
Let r(d) = d**3 - 8*d**2 + 14*d + 10. Is r(7) a prime number?
True
Suppose 1 = 4*z + 5. Let x be 1 - ((2 - 1) + z). Is (3 + -4)/(x/(-83)) a prime number?
True
Suppose 13*j + 686 = 27*j. Is j a prime number?
False
Let l(n) = 42*n**2 + 2*n + 7. Is l(-3) prime?
True
Is 67 + -2*3/3 a composite number?
True
Let m(o) = o**3 - 7*o**2 + 11*o + 11. Is m(8) a composite number?
False
Let p be 4 - (2 - (3 + 80)). Suppose r = 124 + p. Is r a composite number?
True
Suppose 4*n - 3*c - 20 = 0, 2*n + 0*n = -2*c - 4. Suppose -n*y = -y. Suppose 31 = -y*x + x. Is x prime?
True
Let p(l) = -l + 1. Let j be p(-3). Let k(m) = m**2 + 5. Is k(j) a prime number?
False
Suppose 0*l + 2*l + 3*t = -11, 5*t - 3 = 2*l. Let x(s) = s**2 + 4*s + 2. Let p be x(l). Suppose 3*y - 379 = 2*r, 169 = p*y - 4*r - 81. Is y composite?
False
Suppose 2*m = -x + 352, x + 194 = 2*m - 166. Let g(k) = -k + 4. Let w be g(4). Suppose -4*l - 30 + m = w. Is l a composite number?
False
Let j be 0 + (1 - 2) - -1. Let l be (j - 0) + 1*46. Suppose 3*w + 7 = l. Is w composite?
False
Suppose -3*c - 6*s + 5*s = -578, -3*c - 4*s + 593 = 0. Let r = c - 88. Is r a composite number?
False
Let c(i) = i + 5. Let p be c(11). Suppose 5*u = -4*s + 29, -3*s - p - 23 = -3*u. Is 6/9 + 1281/u composite?
True
Let f = 15 - 1. Is (-9 - 34)/((-2)/f) composite?
True
Let h = 4900 + -2801. Is h prime?
True
Let j be (-2)/6 - 26/(-6). Suppose 256 + 321 = 4*t + 5*q, 4*q = j. Is t a composite number?
True
Let r = 5 + -2. Suppose -7*c = -2*c - r*x - 1804, 0 = -3*x - 9. Is c a prime number?
True
Let c be (-1)/((-2 + 4)/(-2)). Let i be (-20 - 2)/(-2 + c). Is i + (-1 - (0 + 0)) prime?
False
Is -3*(-29 + 4 + -4) a prime number?
False
Suppose 0*j - 5*j + o - 6 = 0, o = 4*j + 4. Is (4/j - -139) + -3 prime?
False
Let p be 0/(-1) - 2*1. Let h be 44 + 1*(p + 4). Suppose f + 0*f = h. Is f composite?
True
Let f = 1 + 1. Let q(j) = 5*j**2 - 2*j + 2. Let y be q(f). Suppose -4*g + 10 = -y. Is g a prime number?
True
Let t be (-2)/4*(-8)/2. Let w = 69 + -34. Suppose t*s - 101 = 5*h - w, -h - 96 = -4*s. Is s prime?
True
Let c(s) = -s - 5. Let b be c(-7). Suppose -5*h = q - 1, 2*h = -b*h. Is q - -12*(-12)/(-3) a composite number?
True
Is 2/(16/12)*106 composite?
True
Let l = 0 + 2. Let j(x) = x**2 - 5*x + 2. Let s be j(6). Suppose -l*p - s = -38. Is p composite?
True
Let z be -1 - 1 - (-200)/(-5). Let m = 187 + z. Is m composite?
True
Suppose 3 = 4*s - 9. Suppose -d - 3*d + 271 = -3*i, s*d - 200 = -i. Is d a composite number?
False
Suppose -5*t + 39 = -4*u, -5*u - 3*t - 18 = t. Let m = u - -11. Suppose -56 = -m*i + 49. Is i a prime number?
False
Let c(a) = 69*a**3 + 12*a**2 - 16*a + 21. Let q(k) = 17*k**3 + 3*k**2 - 4*k + 5. Let t(r) = -2*c(r) + 9*q(r). Is t(2) a prime number?
True
Suppose 3*d - 5 = 2*d. Suppose 0*q - 4*q + 163 = -3*w, d*q - 205 = 4*w. Is q a prime number?
True
Suppose 4*s + 4*v = 2*s + 1266, 3*v = -4*s + 2522. Is s a composite number?
True
Let f(y) = -4*y + 7. Let d be f(5). Let x = d + 38. Suppose x = 5*z, -2*z = 2*v + 2*v - 142. Is v a prime number?
False
Let q(n) = 57*n**2 + 13*n - 1. Is q(-6) composite?
False
Let h(a) = 7*a**2 + 7*a + 4. Is h(-3) a prime number?
False
Let h(o) = o**3 - 8*o**2 - 5*o - 1. Let r be 194/22 + (-6)/(-33). Is h(r) a prime number?
False
Is (1 - -94) + (-12 - -14) prime?
True
Let r(p) = 5*p**3 - 6*p**2 - 7*p + 1. Let u be r(5). Suppose u - 1253 = -4*l. Is l a composite number?
True
Is (-4)/16*-4 + 5876/2 composite?
False
Let j(z) = -z**2 + 67. Suppose 2*i + 0 = -8. Let l = i + 4. Is j(l) a prime number?
True
Suppose -q = -5*r + 26635, -3*r - 2*r = 4*q - 26635. Is r composite?
True
Suppose 2342 = 5*b + 867. Is b a prime number?
False
Let o be (-15)/(-3)*1 - 0. Is (-12)/(-60) - (-1114)/o composite?
False
Suppose 0 = -3*j + 2236 - 439. Let g = -388 + j. Is g a prime number?
True
Let r be 10/(-10)*(-7 - -1). Suppose 0 = r*w - 785 - 337. Is w a prime number?
False
Suppose -3*h + 4 + 2 = 0. Suppose 0 = h*v - 5*v - 615. Let c = 354 + v. Is c a composite number?
False
Suppose -k = 3*k. Suppose k = n + n. Suppose 3*u - 3 - 18 = n. Is u prime?
True
Suppose 0 = -2*b - 3*b - 10, 4 = u - 2*b. Suppose u*z - 16 = -4*z. Suppose z*x + 50 = s, -232 = -5*s + 4*x - 2*x. Is s composite?
True
Suppose 7*n - 56 = 2583. Is n a prime number?
False
Let v(q) = 307*q + 1. Let x be v(-1). Let m = x - -557. Is m a composite number?
False
Let w(p) be the first derivative of -17*p**2/2 + 4*p + 3. Is w(-3) composite?
True
Let i = 16 + -12. Suppose i*z - 519 = 109. Is z prime?
True
Let o be (-1)/5 - (-64)/20. Suppose -5*p - o*y = -2 + 17, -4*y = 2*p + 20. Suppose 3*t - 3 = p, 0*t - 2*t = l - 5. Is l prime?
True
Suppose -18 = t - 103. Is t a composite number?
True
Let w(x) = x**2 - 2*x - 1. Let b be -12*(-2 + 5/2). Let i = b - -2. Is w(i) a prime number?
True
Is (4/(-22) - (-3841)/11) + -3 composite?
True
Let m(d) = 92*d**2 + 1. Is m(1) composite?
True
Suppose -3*t + 4985 = 2*t. Let w = t + -666. Is w a prime number?
True
Suppose -4 = -z - 0. Suppose -z*n + 15 = -n. Suppose -w = 2 - n. Is w a prime number?
True
Suppose -3*u + 2*u + 4*p = -200, -5 = -5*p. Is (u/(-10))/((-10)/25) a composite number?
True
Let x(q) = q**3 + 5*q**2 + 3*q + 6. Let l be x(-5). Let t = l + 11. Suppose t*a + 2*a - 819 = -3*g, a - 2*g - 191 = 0. Is a prime?
False
Suppose -3*s + 4*z + 2 = -0, 5*s - 4*z - 6 = 0. Is s composite?
False
Is (-2)/7 - -9*(-258)/(-42) composite?
True
Let u be (-1 + (-1)/(-2))*-4. Let q be 54*(-1)/1 - u. Is (-4)/10*(q - -1) a composite number?
True
Suppose 0 = -2*q + 14 - 4. Suppose -4*k = 3*p + 28 - 155, q*p - 197 = -3*k. Let o = 102 - p. Is o prime?
False
Let j(c) = 2*c**2 + 9*c - 9. Is j(-8) a composite number?
False
Let v(z) = -172*z - 6. Let d be v(-3). Suppose d = 4*j - i, 633 = 5*j - 0*i + i. Is j prime?
True
Suppose 3*j - 148 = 5*r, -j = -0*j + 4*r - 38. Is j + 0 - 2/(-2) composite?
False
Let k(p) = -130*p - 23. Is k(-25) a composite number?
True
Is ((-2)/(-4))/(8/6704) a composite number?
False
Let h = 4 + -1. Suppose -4*f - 12 = 0, f = k + h*k - 15. Is (-4)/12 - (-274)/k a composite number?
True
Let r be ((-2)/(-4))/(3/354). Let x = r - 26. Is x a prime number?
False
Let h = 16 - 2. Is h a composite number?
True
Is 35*(-4)/(-4 + 0) a prime number?
False
Let m = -2535 - -4820. Is m composite?
True
Let n = -1 + -5. Let x(w) = -6*w**2 - 14*w + 1. Let p(a) = -5*a**2 - 13*a. Let c(m) = 5*p(m) - 4*x(m). Is c(n) composite?
True
Let h be 2*3/6*103. Suppose 0 = 5*f - 303 + h. Let a = f - 25. Is a a prime number?
False
Let m = -4 + 4. Let n = m + -3. Is n/9 - 1074/(-9) a prime number?
False
Suppose 6*y - 5*y + 4*u = 16, -13 = -y - 3*u. Suppose c = 5*a - 2*c - 218, -y*a = -c - 173. Is a a prime number?
True
Suppose -i + 6*o = 3*o - 11, 0 = -2*i - 5*o. Suppose 0 = -i*t + 40 + 25. Is t a prime number?
True
Suppose -l - 4*g = 3*l - 194