 a = -31 - v. Is a a prime number?
False
Let p = 25 - 0. Suppose -p = -2*l + 13. Is l a composite number?
False
Let n(k) = -k + 12. Let j be n(12). Suppose 5*x - x = j. Suppose x = -w - 4, -2*w - 41 = -3*s + 2*s. Is s a prime number?
False
Let v(s) = -s**2 - 6*s. Let o be v(-5). Suppose o*g + 2 = 3*g. Is -119*(-2 + (g - -2)) prime?
False
Let m(s) = 18*s**3 - 3*s**2 - 4*s - 3. Let u be m(-3). Let v = -131 - u. Is v a prime number?
True
Let k be 5/(-15) + 16/(-6). Let f(b) = 4*b**2 - 3*b + 2. Is f(k) prime?
True
Let r(j) = 119 - 4*j**2 - j**3 - j**2 + 4*j**2. Is r(0) prime?
False
Let i be 0/(-1) + 1 - 1. Suppose q + i*q = 2*f - 12, -12 = -2*f - 3*q. Suppose l - f*l = -385. Is l a composite number?
True
Is 2*((-469)/2)/(-7) prime?
True
Suppose 4*f + 2*h = -h - 6, f + 4*h + 8 = 0. Let k = f + -1. Is k - (-33)/(2 + 1) prime?
False
Let i(b) = 27*b**2 + 7*b - 9. Is i(-5) a composite number?
False
Suppose 2*k - 28 - 14 = 2*p, k + 2*p = 18. Is -466*(k/(-8))/5 prime?
True
Let k(u) = u**3 - u**2 - u + 1. Let m be k(2). Let b be 3 + -3 + 6/m. Suppose -i - 3*t = b, -5*i = -0*i - 3*t - 44. Is i prime?
True
Suppose -2267 = -6*j + 367. Is j prime?
True
Suppose -1013 = -4*d - 3*u + 272, -1592 = -5*d + u. Is d a prime number?
False
Let y(s) = -257*s + 3. Let t be y(-3). Suppose -3*j = 165 - t. Let v = -112 + j. Is v prime?
False
Let z(b) = 4*b**2 - 4*b**2 + 1 + 0 - 50*b**3. Let h be z(-1). Let p = 94 - h. Is p prime?
True
Suppose 0 = -f - 3, 0 = 3*s + 5*f - 2*f - 798. Is s a prime number?
True
Is 0 - (-8)/(-4)*-13 a composite number?
True
Let r(z) = z + 230. Suppose 6*k = k. Let m be r(k). Suppose -m = -v - v. Is v composite?
True
Suppose -4*b - 2370 = -10*b. Is b prime?
False
Suppose -3*i + 1646 = 2*z + 385, -4*i + 1674 = -z. Is i prime?
True
Let n = 89 + 38. Is n a composite number?
False
Suppose -3*w - 586 = -178. Let q = 263 + w. Is q prime?
True
Let i(y) = -y**2 - 18*y + 15. Is i(-18) a prime number?
False
Suppose -o - 372 = -2*q - 6*o, 4*o = 5*q - 963. Is q a composite number?
False
Suppose 0 = -4*m + 12. Let y(s) = -s**2 + 3*s + 4. Let u be y(m). Suppose -9 = -3*r, -u*z - r + 53 = z. Is z composite?
True
Let i = -14 + 10. Let z = i + 5. Is (17/(-1))/(z/(-3)) a prime number?
False
Suppose 395 + 83 = q. Is q composite?
True
Let b be (536/10)/(8/20). Let m be 1 + 1 + 0 + -3. Is m/2 - b/(-4) composite?
True
Let y = 9 - 7. Suppose -l = 2*d - 12, -2*d + 0*d - 4 = -3*l. Suppose d*u = -8, 0 = y*b - b + 2*u - 11. Is b prime?
False
Suppose 2*p = q - 1, 5*q - 2*p = -p + 14. Is 16 - (2 + -2 - q) a prime number?
True
Let s(m) = m**2 - 2*m + 11. Is s(0) prime?
True
Suppose 0 = -5*y - b + 953, -5*y + 1091 = 3*b + 142. Is y composite?
False
Suppose 5*y - 2*n = 793 + 802, -3*y + 5*n = -957. Is y prime?
False
Is (-4 + 7 - 1754/(-1)) + 2 a composite number?
False
Let f(l) = 2*l**3 + 1. Let p be f(1). Suppose -91 = -p*m + 542. Is m a composite number?
False
Let i(n) = 197*n**2. Let g be i(1). Suppose 0 = -3*a + g + 196. Is a prime?
True
Suppose -2*k - q = -4, -9 - 3 = 2*k - 3*q. Suppose k = h - 1, 3*g - 3*h - 295 = g. Is g a composite number?
False
Let s(i) = 73*i + 4. Is s(3) a prime number?
True
Let o(s) = 2*s**3 + 4*s**2 - s - 3. Let z be o(-3). Let f be (-4)/z - 5975/(-45). Is -3*(f/(-3))/1 prime?
False
Suppose -2*t - 228 + 650 = 0. Is t prime?
True
Let i be (2*-1)/(6/(-219)). Let p = -11 + i. Is p a prime number?
False
Suppose -10 = 2*s + 22. Let n = s + 137. Is n prime?
False
Suppose -2*h = -c - 3*c, c + 5*h = -11. Let o be (-12)/(-4) + (c - 2). Suppose o = -a - 4*a + 30. Is a a prime number?
False
Suppose j + 2*j = 0. Suppose 3*t - 53 = -2*g + 27, 4*g - 3*t - 142 = j. Is g composite?
False
Suppose 0 = -3*z - 5*b + 164, -13 + 273 = 5*z - 5*b. Is z a prime number?
True
Suppose -5*j + 4*j - 12 = -2*g, -j - 4*g - 42 = 0. Let f = 47 + j. Is f a composite number?
True
Let u = -38 + 58. Is (-4)/u - (-13584)/20 a composite number?
True
Suppose -5*m = -1895 - 70. Is m composite?
True
Is -2 + 673 - 14/(-7) composite?
False
Let i(n) = -109*n - 1. Is i(-3) composite?
True
Suppose 12 = -4*a, -2*n + 5*a + 657 = -0*n. Is n composite?
True
Suppose v = -0*v - 929. Let u = -625 - v. Suppose -5*k - 5*d = -280, -2*k - 3*k + 3*d + u = 0. Is k composite?
False
Let r(i) = 37*i**2 + i - 1. Is r(6) a prime number?
False
Suppose -4*u + 148 = -116. Let s = u + -32. Is s a prime number?
False
Suppose -a = -2*a - 3*c + 12, -18 = -2*a - 3*c. Suppose -a = -2*x + 2. Suppose -u - 53 = -6*n + 3*n, -n - x*u + 35 = 0. Is n composite?
False
Let d(c) = 38*c - 1. Let u be d(1). Suppose -3*x + 8 + u = 0. Suppose n + 1 = x. Is n a composite number?
True
Let r = -520 + 875. Is r composite?
True
Let v be (3/(-9))/((-2)/18). Let g be ((-4)/(-2))/(v - 2). Let h = g - -19. Is h prime?
False
Suppose -2*t - 92 = -3*s - 0*s, t = -5*s - 20. Let j(p) = -p**3 + p**2 + 2*p + 5. Let v be j(-4). Let k = t + v. Is k a composite number?
False
Suppose 4*l + 2 + 0 = -r, 2*r = 2*l + 6. Suppose -r*g + 6 = 4. Is (3 - g)*265/2 composite?
True
Let k(s) = -4*s - 4 + 19 + 3*s. Let h be k(11). Suppose 20 = 2*r - 7*r, h*l - 12 = r. Is l a prime number?
True
Let w be (6/(-4))/(3/276). Let y be (w/(-10))/(2/10). Is (y/(-2))/(3/(-6)) prime?
False
Let s be 1/(-2)*3*2. Is 846 - s*3/3 composite?
True
Let y be 2/8 + (-1)/4. Suppose -2*u + 297 + 109 = y. Is u prime?
False
Let v(j) = j**3 - 9*j**2 + 9*j + 12. Let b be (-5)/2*(-18)/5. Is v(b) composite?
True
Let h(n) = 6*n + 7. Let y be h(7). Let u be (10/(-4))/((-1)/2). Suppose -216 - y = -u*o. Is o a prime number?
True
Let c(t) = -t**2 + 4*t + 4. Let h be c(5). Let b = h + -1. Let n(d) = -74*d - 3. Is n(b) a prime number?
False
Let t(h) = 640*h**3 + 2*h**2 - 2*h + 1. Let f be 2/(-4)*(-5 + 3). Is t(f) a prime number?
True
Suppose 2*y - 6*x + x - 784 = 0, -5*y + 1975 = -5*x. Is y a composite number?
False
Suppose -2*l + 3*l = 526. Is l composite?
True
Suppose 0 = z - 0*a + 2*a - 274, 551 = 2*z + 5*a. Suppose h + 3*h = z. Is h prime?
True
Suppose -4*g + 20 = -6*g. Let z = g - -15. Suppose -4*b - 29 = -3*y, 4*y - 3*b = z*y + 12. Is y composite?
False
Let h(i) = i**2 - i. Let k(f) = 6*f**2 + 5*f - 2. Let n(u) = 2*h(u) + k(u). Let z be n(2). Suppose 0 = -5*j + 19 + z. Is j composite?
False
Let c = 359 - 133. Suppose -c - 668 = -5*p + 2*x, p - 3*x - 184 = 0. Let j = p - 51. Is j composite?
False
Let o be (-86)/(-3)*180/8. Suppose -2*v - o = -7*v - 5*r, -2*r + 127 = v. Is v prime?
True
Let f(p) = 9*p - 4. Let n be f(3). Suppose j - n = 32. Is j prime?
False
Suppose t - 36 = 136. Suppose 86 = 2*l + 4*q, 4*l + 3*q - t = -15. Is l composite?
False
Let o(i) = -117*i + 7. Let d be o(-3). Is (-3)/(-6*1)*d prime?
True
Let c(k) = -65*k - 8. Is c(-5) a prime number?
True
Suppose 4*d - 2*t - 583 = 831, t + 355 = d. Suppose 3*s - d = 4*z, 0 = -2*s + 3*z - 0*z + 233. Suppose -47 = -3*l + s. Is l a prime number?
False
Let t be (-21)/1*(-4)/6. Let g be -13 + 55 - (0 + 1). Let h = t + g. Is h prime?
False
Suppose 3*c - 5*w + 3*w - 1601 = 0, -4*c - w = -2131. Is c prime?
False
Let v = 215 + -148. Is v composite?
False
Let y(i) = i**3 + 5*i**2. Let q be y(-5). Is 67/(4 - (3 - q)) a composite number?
False
Let m be -15*(-1)/(-6)*-2. Suppose -7*u + 3*u = -m*l - 11, 0 = -4*u + 4*l + 12. Suppose 0 = 4*h - 3*b - 37, u*h - 7 = -3*b + 12. Is h a composite number?
False
Is 4668/60 + 4/(-5) a composite number?
True
Suppose -2*d = -0*d + 2. Let i = 56 + d. Is i a prime number?
False
Suppose 3*x - 2*x = -6. Let l(i) = 6*i**2 - i + 1. Is l(x) a prime number?
True
Let u be 1 - 0 - 1 - -17. Suppose 379 = 4*k - u. Let c = k - 40. Is c prime?
True
Let p(i) = -89*i**2 + 6*i - 5. Let g(c) = -c**2 + c - 1. Let u(a) = 5*g(a) - p(a). Is u(-1) a prime number?
False
Let l = -626 - -877. Is l a prime number?
True
Is 162 + (-4)/(-16)*4 a prime number?
True
Suppose -4*r = -3*r + 5*g - 439, 2*g + 411 = r. Is r a prime number?
True
Suppose 0 = 71*p - 74*p + 1899. Is p a prime number?
False
Let i be 0*(1 + (-4)/3). Suppose -5*q + 514 - 119 = i. Suppose -b - 20 + q = 0. Is b a prime number?
True
Let m be 9 - 2 - (3 + -1). Suppose -5*d - 3*t = -25, m*d = -4*t + 39 - 14. Suppose 18 = 2*g - d*a, 5*a - 41 = -5*g + 74. Is g composite?
False
Suppose -7*z + 11 = -6*z. Is z composite?
False
Suppose -5*z - 24 = 16. Let m be 2/8 + 42/z. Is 2/m + 134/