 - t - 7 = v. Is c composite?
False
Let k(l) = -420*l**3 - 2*l**2 + l + 2. Is k(-1) a composite number?
False
Let h be 470/(-70) - 4/14. Is 1*56 - 14/h composite?
True
Let k be (-2 - 0)*-1 - -3. Suppose 231 = k*z - 69. Suppose -3*d - 2*d + z = -5*n, -5*d = 3*n - 68. Is d prime?
True
Let k be -3*73*(-2)/6. Let l = -36 + k. Is l a composite number?
False
Suppose -4*z + 5*d = 0, 8*d = -5*z + 4*d. Suppose 0 = -z*a + 2*a - 42. Let j = a - 8. Is j composite?
False
Let q(i) = i - 3 + 4 + 1. Let d be q(-2). Suppose 67 + d = a. Is a prime?
True
Let y = -1 - -2. Let c be 3/y - (2 - 2). Suppose -4*t + c*t + 35 = 0. Is t a composite number?
True
Suppose 2*v = 5 + 5. Suppose 4*d + 0*g - 5*g - 501 = 0, g + 621 = v*d. Let i = -77 + d. Is i prime?
True
Let l(q) = -8*q + 0*q**2 + 9 - 2 + 0 + 2*q**2. Is l(7) a composite number?
True
Suppose k - 4*b = -6, -6 = 2*k - 5*b - 0*b. Suppose p = -j + 100, 2*p - k*j = -3*j + 195. Is p composite?
True
Let y = 37 + -14. Is y a prime number?
True
Let g(w) = -w**3 - 6*w**2 - 6*w + 2. Let r be g(-5). Let u(k) = 16 + 9*k**2 - 25*k**2 + 3*k + k**3 - 7 + 10*k**2. Is u(r) a prime number?
True
Let x(h) = -2*h - 1 + 4*h**2 + 118*h**3 + 3*h**2 - 4*h**2. Is x(2) prime?
False
Let u = 21 - -4. Is u composite?
True
Let y be -1*(-3 - -25 - 2). Let o be y/(-15) - (-4)/6. Is ((-177)/2)/(o/(-4)) a composite number?
True
Is (-2 + -81)/((-2)/14) composite?
True
Let o(t) = 2*t**2 + 2*t - 6. Let b be o(-5). Let d be -1*3 - (-1 + -5). Suppose b = s + d. Is s a prime number?
True
Let y be (-4)/(-10) + 152/(-5). Let z = y - -216. Suppose z - 34 = 4*w. Is w a composite number?
True
Suppose 0 = -4*c - c. Suppose 5*h + 5 = c, -112 = -4*s + 4*h + 64. Is s a composite number?
False
Let l = 3173 - 2236. Is l a prime number?
True
Let j(d) = -3*d**3 + 3*d**2 - d - 2. Let p be j(2). Let g = p - -22. Is g a prime number?
False
Let o(d) = 24*d**2 + 23*d - 18. Is o(-11) prime?
True
Suppose 6*s - 3*s + 264 = 0. Is 0/3 - (s - -3) a prime number?
False
Let w(q) be the first derivative of 5*q**3/3 + 5*q**2/2 - 7*q - 3. Suppose 5*d + 5*p = -40, 0*d + 2*p - 2 = d. Is w(d) a composite number?
True
Suppose -5*n + 1475 = 5*j, -3*n = 5*j + 238 - 1133. Suppose -b = b - n. Is b a composite number?
True
Let g(a) = a**3 - 2*a**2 + 8*a - 7. Let t(h) = -2*h**3 + 5*h**2 - 15*h + 13. Let b(n) = -5*g(n) - 3*t(n). Let k be (3/9 - 0)*15. Is b(k) a composite number?
True
Let n(d) = -d**3 + 28*d**2 - 24*d - 37. Is n(26) a prime number?
True
Let n(h) = 54*h**2 - 2*h + 9. Is n(3) prime?
False
Suppose 6*o - 55 = 5*o. Is o prime?
False
Suppose -3*o - 13 = -31. Suppose 3*l = -0*l + o. Suppose -2*r + 86 = -4*p, p + 59 = l*r + 6*p. Is r a prime number?
True
Suppose 6*p - p = -25, -3*r + 499 = -5*p. Let k = 5 + r. Is k prime?
True
Let h(c) = -c**3 - 6*c**2 - 5*c + 5. Let m be h(-5). Suppose -o + 138 + 27 = 2*n, 2*n + 813 = m*o. Is o a composite number?
False
Let b be 12/(-4) + (-3 - -2). Is 57 + -2*4/b a prime number?
True
Let r = 6 + -3. Suppose r*l + 3*a + 10 = -a, -5*l + 2*a + 18 = 0. Suppose 4*j = t - 39, 5*t - 90 = -3*j + l*j. Is t prime?
True
Let o = -26 + 42. Suppose -2*l + 162 = 4*r, l - 82 = r - o. Is l a prime number?
True
Let t(m) = -16*m - 1. Let r be 5 + -4 + (-1)/(-1). Suppose r*p = -3*p - 15. Is t(p) a composite number?
False
Let z be 2*-3*(-1)/3. Suppose -2*m - z*g + 6*g + 302 = 0, -3*g = -2*m + 301. Is m prime?
True
Let w(l) = 5*l**2 + l. Let v(o) = -o**2 - 5*o + 7. Let h be v(-6). Let s be w(h). Let f(a) = a**2 - 4*a - 5. Is f(s) a prime number?
True
Suppose 3*c - 2*c = 12. Let l be 4/c - 5/(-3). Suppose d = -l*d + 417. Is d composite?
False
Let q(l) = l - 6. Let k be q(9). Suppose 0 = k*i + 5 - 17. Is 57 - 3/(-6)*i a composite number?
False
Let n = 591 + -416. Suppose -b + n = 4*b. Suppose 10*j - 5*j = b. Is j prime?
True
Suppose s + 885 = 5*m, 3*m = -s - 0*s + 539. Is m composite?
True
Is (-30)/((-36)/(-6))*-701 a composite number?
True
Suppose -82 = -3*y - 13. Suppose -475 = -2*i - y. Suppose 0 = 4*a - 3*s - i, 2*a + 5*s - 42 = 58. Is a composite?
True
Let w = -8 - -6. Let d be 3 + -2 + 0 + w. Is (198 + 3)*d/(-3) composite?
False
Suppose 2*u - 1453 = 2241. Is u a prime number?
True
Let w(x) = -2*x - 1. Let z be 1*((-1 - 1) + 0). Let o = -7 - z. Is w(o) composite?
True
Let a(p) = -2*p**3 - 3*p**2 - 2*p + 10. Is a(-6) prime?
False
Let u(q) be the second derivative of 5*q**3/3 + 5*q**2/2 - 3*q. Suppose i + 2*w + 5 = 0, -2*w - 2*w = -4*i + 40. Is u(i) prime?
False
Suppose 0 = 4*f + u + 179, 4*u = -2*f - 36 - 36. Let j = f - -111. Is j composite?
True
Let l = 3398 - 2329. Is l a prime number?
True
Let h = -1267 - -2732. Is h prime?
False
Let w = 3 - 0. Is (-134)/(-4)*(w - -3) composite?
True
Suppose -8*a + 3*a + 5045 = 0. Is a a composite number?
False
Suppose 0 = 2*v + m - 421, 4*v - 2*m = 3*m + 849. Is v prime?
True
Is (88632/42)/4 + 8/(-14) prime?
False
Let j(i) = -i**2 - 4*i + 8. Let s be j(-6). Let q be (s/6)/((-2)/(-6)). Is q/6*(1 + -142) a composite number?
False
Let s = 1186 - 563. Is s a prime number?
False
Suppose -5*p - 4*d = -4365, 4*d + 4390 = 5*p + 3*d. Is p a composite number?
False
Suppose -4*h = -8*h + 4804. Is h composite?
False
Suppose -t = k + 3 + 1, -4*t = -3*k + 2. Let y = 8 + k. Suppose 105 + y = 3*o. Is o composite?
False
Suppose 0 = -5*x + x - 32. Let y(h) = -9*h + 7. Is y(x) composite?
False
Is (-631)/(-17) - 6/51 a prime number?
True
Suppose 665 = 3*j + 2*j. Is j composite?
True
Suppose 0 = -2*v - 2313 + 177. Is (-2)/(-4)*v/(-6) a prime number?
True
Let t = 14 - 9. Let o = 19 + -16. Suppose -5*u + 65 = z, -t*u + o*z + 0*z + 65 = 0. Is u composite?
False
Is (39675/7)/3 - 2/7 prime?
True
Suppose -9*i + 6*i + 6459 = 0. Is i prime?
True
Let n = -3 - -5. Suppose 255 = 4*r + 51. Suppose -d = -n*d + r. Is d composite?
True
Let t = 294 - 133. Is t composite?
True
Let h = 4658 + -2727. Is h a prime number?
True
Suppose -4 - 1 = 2*s + l, -10 = 2*l. Suppose s*n + 2*n = 170. Is n a composite number?
True
Suppose 0 = 4*v + 3*o - 77, 2*o - 10 = 4*o. Is v prime?
True
Let m(r) = -7*r**2 + 4*r - 410. Let h(y) = 4*y**2 - 2*y + 205. Let l(p) = -5*h(p) - 3*m(p). Is l(0) prime?
False
Let r = -94 - -177. Suppose -v - 2*o = 41 + 7, 0 = -4*v + o - 174. Let m = r + v. Is m a prime number?
False
Is 1/4*-623*-4 a composite number?
True
Let x(b) = -b**2 + 6*b + 5. Let d be x(8). Let y = d + 17. Is y a prime number?
False
Let b be (2*2)/(36/27). Suppose b*o - 35 = -2*o. Is o a composite number?
False
Let d = 3 + -1. Suppose 0 = 5*y + 3*u - 43, -y - d*y + 45 = -3*u. Let t = 18 - y. Is t a prime number?
True
Suppose 6*k - 4490 = -4*k. Is k prime?
True
Let m = -94 - -205. Is m composite?
True
Let s(i) be the third derivative of 0 + 13/120*i**6 + 0*i - 1/2*i**3 - 1/30*i**5 - 2*i**2 + 1/12*i**4. Is s(2) composite?
False
Let o(x) = x**2 - 5*x + 6. Let y be o(4). Suppose 0 = 3*d - 15, -5*m + y*d + 0*d + 70 = 0. Suppose m + 26 = 3*c. Is c composite?
True
Suppose 4*k + 221 = z - 46, 3*z - 3*k = 765. Is z a composite number?
False
Let j(a) = 4*a - 13. Suppose 3*q + 15 = 0, -4*o + 18 = 3*q - 5*q. Suppose 3*d - o*d = 12. Is j(d) a prime number?
False
Let a(n) = 6*n**3 - n**2 - 3. Let f be a(4). Is (-1)/4 - f/(-4) prime?
False
Suppose 0 = -9*c + 7*c + 62. Is c composite?
False
Suppose 1 = 2*x - 9. Suppose a - 59 = -b + 3*a, -2*b - x*a = -163. Let h = 124 - b. Is h a prime number?
False
Let x be ((2*12)/3)/2. Suppose -a = -5*g - 4 - 11, x*a - 110 = -5*g. Is a prime?
False
Suppose -2*z = z - 12, 2*z = n - 87. Is n prime?
False
Let f = -178 + 72. Let z = f - -225. Is z a prime number?
False
Let w be (-2)/4 - (-14)/4. Suppose -3 = a + w. Is ((-12)/(-9))/((-4)/a) composite?
False
Is 6/(-4) - (-605)/10 a composite number?
False
Let m(v) = v**3 + 11*v**2 + 3*v - 12. Suppose 3*l - 7*l = 40. Is m(l) prime?
False
Let b be 1673 + (0 + 2)*-1. Suppose -b = -5*o + 704. Is o/9 - (-2)/9 composite?
False
Let y be ((-10)/3)/(1/3). Let z = y - -6. Is (15/z)/((-4)/16) composite?
True
Let q(f) = -224*f - 27. Is q(-7) composite?
True
Let z = 7 + -6. Suppose -5*v + 2*o = -1043, -2*o = -z - 1. Is v prime?
False
Let a(i) = i**3 - 5*i**2 - 5*i - 7. Let y be a(6). Suppose 2*k + 0*q + q + 63 = 0, 3*q = 3*k + 99. Is 1/(y - k/30) a composite number?
True
Suppose 0*w + 5*w - 95 = 0. Is w prime?
True
Let t(z) = 14