16/4 + -8 - -639 a prime number?
False
Suppose 0 = 4*z - 16 - 0. Let r(j) = -j**3 + 3*j**2 + 4*j + 2. Let h be r(z). Suppose v = -h*v + 159. Is v prime?
True
Let j = 2 - 2. Suppose j*p - 6 = p - 2*o, 2*p + 7 = -o. Is (9/3 - p)*5 prime?
False
Let y be 2/4 - (-397)/2. Suppose -q + 69 = 2*b - 8, -5*b - y = -2*q. Is q a prime number?
False
Let a = -11 - -30. Is a a composite number?
False
Is 3/((-45)/(-4610)) + (-1)/3 composite?
False
Suppose -1 = -x + 2. Let u(s) = -20*s + x + 0 + 1 - 7. Is u(-2) a composite number?
False
Let o(j) = -j - 5. Let a be o(0). Let u be (-5 - a)/(-1 + -2). Suppose u = z - 3*z + 194. Is z a prime number?
True
Suppose n - 26 = -5*z, -2*z - 32 = -5*n + 17. Suppose n*t - 1015 = 6*t. Is t a prime number?
False
Let g(d) = d**2 - 3. Let m be g(6). Suppose -2*f + w = -m, 2*f + 2*w - 23 = 25. Is f a composite number?
False
Let t = 144 - 79. Is t a prime number?
False
Let h = 186 + -101. Is h composite?
True
Let t(a) = -15*a - 8. Is t(-9) a prime number?
True
Suppose 4*w - 10 = 10. Let n be 3522/w + 4/(-10). Let k = n - 493. Is k a composite number?
False
Suppose -2*r - 902 = -2*t + 958, 0 = 2*r + 5*t + 1860. Suppose 5*q + 13 = 2*o, 0*q - 11 = 5*o + 2*q. Is r/(-25) + o/5 a composite number?
False
Let p(d) = d**3 - 10*d**2 - d + 12. Let c be p(10). Suppose -n = -o - c, 10*n + 18 = 5*n - 2*o. Is (-5 + 1)/(n/3) a composite number?
True
Let g(n) = 17*n**2 - 2*n**3 + n**3 - 9*n + 2 - 4*n + 2. Is g(11) a composite number?
False
Suppose 0 = 3*s + 3*d - 1569, -3*d - 2623 = -5*s - 6*d. Is s composite?
True
Let j(y) = y + 2. Let n be j(-6). Let h(a) = -14*a - 3. Is h(n) composite?
False
Let i(s) = s**3 + 7*s**2 - s - 5. Let z be i(-7). Let v = z + 1. Is v prime?
True
Let p(w) = -w**2 - 2*w + 6. Let b be p(-12). Let j be (51/(-9))/(2/24). Let v = j - b. Is v a prime number?
False
Let p = 20 + 247. Is p a composite number?
True
Let h(p) = -176*p**3 + p**2 - p - 1. Suppose -f + 4*s = -3*f + 18, -3*f - 4*s + 17 = 0. Is h(f) a composite number?
True
Suppose -3 = -5*f + 2. Let d(g) = 10*g**2 - g. Is d(f) prime?
False
Suppose 412 = 2*j - 0*j. Let u be j - (2 + -2)*-1. Suppose 3*y = 403 + u. Is y a prime number?
False
Let d be (6/5)/((-9)/(-510)). Suppose 27 = 5*v - d. Suppose 2*n = -4*a + 54, 5*n + a - 136 = -v. Is n a composite number?
False
Suppose 0*g - 1 = -g. Is 1*-1*g*-22 prime?
False
Suppose 0 = -4*q + 2*q + 258. Is q a composite number?
True
Let y = -9 - -20. Suppose -8*b - 801 = -y*b. Is b a composite number?
True
Is -1*2 + 479 + -11 a prime number?
False
Let u(k) = k**3 - 11*k**2 - 19*k - 23. Is u(16) a prime number?
True
Suppose -54 = 5*w - 154. Is 5/w - 219/(-4) a prime number?
False
Let j(k) = k - 9. Let o be j(13). Suppose 3*i = 5*n + 309, 1 - 4 = -n. Suppose s + 3*f = 77, 35 = -s - o*f + i. Is s prime?
True
Let z(v) be the third derivative of -v**5/60 + 5*v**4/24 - v**3/3 + 4*v**2. Let d be z(4). Suppose 0 = d*m - 6*m + 580. Is m prime?
False
Suppose 2*w - 33 = -5*i, -5*w + 59 = -w + 3*i. Suppose -z = -0*z - w. Is z a composite number?
True
Let z(r) = -4*r - 5. Let d(m) = -8*m + 1. Let v = -4 - -5. Let o be d(v). Is z(o) a composite number?
False
Suppose 0*c - 2*q - 848 = -4*c, 1053 = 5*c + q. Is c a composite number?
False
Suppose -p - 4*p = -15. Suppose 11 = p*f + 2. Suppose 0 = -2*n - 2*q - 3*q + 211, -3*q + 330 = f*n. Is n prime?
True
Let q(s) = s**2 - 4*s - 4. Let w(f) = -f**2 + 7*f + 7. Let i(k) = -5*q(k) - 3*w(k). Let l be i(-1). Is ((-3)/l - 2)*-14 a prime number?
True
Suppose -5*m = -2*m + 12. Let i(x) = x**2 + 4*x + 4. Let h be i(m). Suppose 50 = 5*v + 3*y, 0 = 5*v + h*y - 52 + 7. Is v prime?
True
Let i(h) = 30*h - 13. Is i(11) a composite number?
False
Let z(i) = 5*i**2 - 4. Is z(5) a composite number?
True
Let o be (-2)/2 + 1 - 0. Let f be 74/4 - (-3)/6. Suppose o = 2*y + f - 65. Is y prime?
True
Suppose -3*k + 8*k - 10 = 0. Suppose 5*n = 2*n + 2*l + 7, 5*n - k*l - 13 = 0. Let u = 16 + n. Is u prime?
True
Let i be -4*2/(-8) + 1. Suppose 0 = -6*x + i*x + 676. Is x composite?
True
Let b = 94 - -1. Is b composite?
True
Suppose 5*b - 2*b - 1047 = 0. Suppose 3*p - 882 = 3*u, 2*p - 3*u - 236 = b. Let m = -164 + p. Is m prime?
False
Let j(g) = g. Suppose n - 4*y + 20 = 0, -2*n = -y - 0 + 5. Let i = 6 + n. Is j(i) prime?
False
Let n(s) = -s**3 - 2*s**2 + 5*s**2 + 64 - 2*s**2 + 13. Is n(0) prime?
False
Suppose -3*l = 5*o + 4 + 9, 5*o + 14 = -4*l. Let m(c) = -c. Let w be m(o). Is (-1 + w/4)*-38 prime?
True
Let b = -149 - -212. Let v = -66 + 40. Let c = v + b. Is c prime?
True
Suppose 3 + 1 = -4*x. Let v = 4 + -2. Is x/v + (-39)/(-2) a composite number?
False
Suppose 0*y + y - 2041 = -3*n, -3*y + 3*n + 6099 = 0. Suppose -13*o + y = -8*o. Is o prime?
False
Let a be (-2)/(-6) + (-155)/15. Let p(g) = -3*g - 9. Is p(a) prime?
False
Suppose 2*z = 3*z - 4*h - 253, 3*z - 759 = h. Is z prime?
False
Suppose 0 = 55*z - 57*z + 20. Is z prime?
False
Let r(l) = -l**3 - 8*l**2 + 2*l + 5. Is r(-12) prime?
True
Suppose 10*r = 8*r. Suppose r*d = -2*d + 370. Is d a composite number?
True
Suppose -4*x - 7 - 5 = 0, 4*f + 3*x = 7. Suppose 0 = 5*d + s - 32 - 7, -f*d + 44 = 4*s. Is d composite?
False
Let t = 12 - 9. Let k = t + -3. Suppose 2*p - 223 + 41 = k. Is p prime?
False
Let v(t) = 24*t - 1. Suppose -3*k - i + 5 = 0, -2*i - 2*i + 20 = 0. Let h be (k - 4/10)*-5. Is v(h) composite?
False
Suppose -2*b + 22 = 18. Suppose 0 = -b*z - 2*i + 646 - 152, 5*z = -i + 1243. Is z composite?
True
Suppose 0*j = 3*j - 633. Suppose 0 = 2*p + 4*q - 458, p - q - j = 3*q. Is p a composite number?
False
Let g = -95 - -45. Suppose 0 = -q + 3*q - 162. Let p = g + q. Is p composite?
False
Let c(i) = 610*i**3 + i**2 + 3*i - 3. Is c(1) a composite number?
True
Is 6/4 + -1 - 89404/(-56) composite?
False
Let t(v) = -13*v - 9. Let y be t(-6). Let c be (-2)/(-5) + y/15. Suppose 3*o - 71 = -c. Is o a prime number?
False
Let p be ((-1)/2)/(2/20). Is p + 3 + (-120)/(-2) composite?
True
Suppose 0 = -2*t + 4*v + 8, 2 = 2*t + v - 6. Suppose -4*u + 40 = 5*n, u + t*u - 25 = 0. Suppose -4*l - 4*z + 0*z + 32 = 0, -n*l + 31 = 3*z. Is l composite?
False
Let z(a) = a**3 - 4*a**2 + 3*a + 5. Let b be z(7). Let m = 398 - b. Suppose m - 73 = 4*s. Is s a prime number?
False
Let g be 3 - 1 - (-1 + -31). Suppose 5*q = g + 71. Is q a prime number?
False
Suppose -3*f - 2*w + 1046 = f, 2*f - 513 = w. Is f prime?
False
Let t = -10 + 17. Let g = -13 + t. Is 1*23*(g + 7) a composite number?
False
Let h(i) be the third derivative of -15*i**4/4 - i**3/6 + 2*i**2. Let n = -22 + 21. Is h(n) a prime number?
True
Let f be (1 + 20)/(1 - 2). Let r = f + 88. Is r a prime number?
True
Let d(w) = -13*w**3 + 2*w**2 + w. Let y(b) = b**2 + 3*b - 5. Let o be y(-4). Is d(o) composite?
True
Let n(c) = 2*c. Let v be n(1). Suppose -129 = -m - v*m. Is m a prime number?
True
Suppose 0*g + 5*g - 15 = 0, -5*g = -2*n + 939. Let o be 3/(-2) - (-1342)/4. Let i = n - o. Is i a composite number?
True
Suppose 1830 = 5*c - 0*c. Let x = -217 + c. Is x prime?
True
Suppose 2*r + 4*i = 48, r - i - 15 = -0*r. Let g be 4/r + (-76)/18. Is (-1)/g + (-30)/(-8) prime?
False
Let j be 4/6*(-36)/(-8). Suppose 321 + 126 = j*l. Is l prime?
True
Suppose 0*f - 3*f = 3. Let b = f - -5. Suppose -b = -2*i, 4*i - 5 = s - 0. Is s prime?
True
Let t(a) = -6*a + 2 - a**2 + 6*a**2 + a - 7*a. Is t(9) composite?
True
Let w = -27 + 47. Suppose -5*k + 5*s = -w, k + k = -s + 2. Suppose -4*z = -5*z - v + 11, 38 = 4*z - k*v. Is z composite?
True
Let g(j) = j**2 + j + 2. Let z be g(0). Let c = -11 + 13. Suppose c*o = 3*o, -z*m + o + 4 = 0. Is m a composite number?
False
Let t be 6/(-4)*16/(-12). Suppose -2*c + 28 = t*c. Is c a prime number?
True
Suppose -362 = -4*c - g + 225, 2*c - 5*g = 321. Suppose 0 = -2*t + 6*t - c. Is t composite?
False
Suppose -5 = -2*i - 2*t - t, 5*i = -t + 19. Suppose -2*h - i*x + 237 + 1017 = 0, -3*h = x - 1871. Is h a prime number?
False
Suppose 87 = -3*w - 126. Let u be 1 - (w*1 + 2). Suppose -2*o = -36 - u. Is o prime?
True
Let v = -2 + 6. Suppose 0*k - v*a - 170 = -5*k, 2*k - 4*a = 80. Let w = k + 25. Is w a prime number?
False
Let d = 7 + -2. Suppose -4*v + d*s - 21 = 0, -2*v - 30 = v + s. Let w = 92 + v. Is w a composite number?
False
Suppose u = w - 0*u - 154, 0 = -3*w + 2*u + 463. Is w a composite number?
True
Suppose 65*z = 6