b + 4. Is -7*(b/(-1) - 3) prime?
False
Suppose 2*v - 7 = -f - 2, 0 = v. Is (18 - 1)/(f/10) a prime number?
False
Let r be (5/(-5))/(3/(-15)). Suppose 10 - 265 = -r*m. Is m composite?
True
Let h(p) = 38 - 9*p - 8*p**2 - 38 + 2*p**3 - 3*p**3. Is h(-7) a composite number?
True
Let a = -626 + 955. Is a a composite number?
True
Suppose 3*u + 2*z = 309, 0*z + 309 = 3*u - 2*z. Let p = u + -66. Is p composite?
False
Suppose 20 = 4*h + h. Let j(c) = c**2 - 2*c - 5. Let d be j(h). Suppose -d*t = -t - 410. Is t a composite number?
True
Let c = -1136 - -1782. Let q = -443 + 84. Let l = q + c. Is l composite?
True
Let s = 327 - -230. Is s a composite number?
False
Suppose -56 = -4*s - 0*s. Is -1 + 7/(s/284) a composite number?
True
Let a be 1 + (4 - 3) + 2. Suppose 2*q - u = 201, -2*q + a*u + 0*u = -210. Suppose 4*z + 123 = 3*i, -52 = -4*i + z + q. Is i composite?
False
Let h be (-8)/(-6)*9/6. Suppose -h*n = -n - 155. Is n prime?
False
Suppose 4*w = 14 + 18. Suppose 3*z + 168 = 4*d + w*z, -2*d - 3*z = -82. Is d a composite number?
False
Suppose -15 = -5*l - 2*c, -3*l = -2*l - 3*c - 3. Suppose l*h + 0*h = 57. Is h a prime number?
True
Suppose 0 = -2*n + 699 + 611. Is n a composite number?
True
Suppose 0 = 3*g + g - 3028. Is g prime?
True
Let n(k) = -12*k + 1. Let l(x) = 4*x**2 + 4. Let a(g) = g**2 + 1. Let f(i) = -9*a(i) + 2*l(i). Let s be f(0). Is n(s) prime?
True
Suppose i - 2*i + 28 = 4*r, 2*i - 5*r - 69 = 0. Let d = 70 - i. Suppose -71 = -2*w - 5*k, 2*w - 5*k - d = 23. Is w a prime number?
False
Is (5 + 0)*((-474)/15)/(-1) a prime number?
False
Is (-7674 + -7)*(-2)/2 composite?
False
Suppose -4*s + 2396 = 4*r, 5*s + 2*r - 2753 = 233. Let u = -265 + s. Is u composite?
False
Let l(m) = m**2 - 2*m + 14. Suppose 3*g + 27 = -3*y, 4*g + 27 + 7 = -5*y. Is l(g) prime?
True
Let g = 504 + -359. Let n = g + -90. Is n prime?
False
Let b be 1/(-3) + 21/9. Suppose -2*g + b*o = -462, -56 = -2*g + 5*o + 394. Is g a composite number?
True
Let m = -5 - -10. Suppose 0 = m*l + 2*q + 276 - 2987, -q = -3. Is l composite?
False
Let h(x) = 2*x**2 + 10*x - 12. Let q be h(11). Suppose -2*r + 170 = 2*u, -3*r + q = r + 5*u. Is r prime?
False
Let x(d) be the third derivative of -d**6/120 + d**5/60 + 5*d**4/24 - d**3/2 - 2*d**2. Let t be x(3). Is 25 + t - 0/2 composite?
False
Let y = -177 - -116. Let i = 144 + y. Is i prime?
True
Let f(l) = -l**2 + 7*l + 9. Let h be f(8). Is (2/4)/(h/118) composite?
False
Suppose 3*a - 6 = a. Suppose 2*w - 398 = -4*u, -a*w + 171 = -2*w - 5*u. Is w composite?
False
Suppose 4*g + 3*d = -4 + 30, 5*d = -3*g + 25. Suppose -6*i + 2*i = -3*p - 530, 4*i = -g*p + 514. Is i a prime number?
True
Let l(w) = -w**3 - 11*w**2 - 3*w + 4. Is l(-11) prime?
True
Suppose n = 5*k + 346, -n + 4*k + 350 = 3*k. Let a = -242 + n. Let q = a + -74. Is q prime?
False
Suppose -3*o = 2*o + 5. Let f = 7 + o. Is f composite?
True
Is (-1 + 3)*443/2 composite?
False
Suppose -2*s + 1 - 2 = r, 4*s = -5*r - 5. Suppose 4*p - 2 = 4*f + f, -4*p = -4*f. Is 23 + f + (r - -1) prime?
False
Suppose 3*i = 2*i. Suppose -g + 3*g = i. Suppose 4*o - 61 - 111 = g. Is o a composite number?
False
Is ((-21723)/52)/((-6)/8) a composite number?
False
Suppose 29110 - 7079 = 3*c - 4*k, -5*c = -2*k - 36737. Is c a prime number?
True
Let f = -37 - -19. Is (-12)/f + (-854)/(-6) a prime number?
False
Let x be 12/16 + 77/4. Let s = 51 - x. Is s prime?
True
Let o = 125 - 79. Is o a prime number?
False
Let q(l) = -84*l + 59. Is q(-13) a composite number?
False
Let z(o) = o - 2. Suppose -2*i - 24 = i. Let h be z(i). Let m = 3 - h. Is m prime?
True
Let c(g) = g**3 + 5*g**2 + 3*g - 2. Let y = -3 - 1. Is c(y) composite?
False
Suppose -4*t + 2 = 5*g - 5, -3*t = -3*g - 12. Suppose 5*p - 500 - 119 = -t*i, -4*p = 16. Is i a composite number?
True
Let p(x) be the first derivative of x**4/4 - 2*x**3 + 5*x**2/2 - 8*x - 4. Is p(6) prime?
False
Suppose 2*o = -y + 3, 6 = 7*o - 2*o + 3*y. Suppose -3*m = -3*f + 1 - 10, -3*f + m - o = 0. Suppose 0*c - c + 223 = f. Is c prime?
True
Let u(z) = z**3 - 2*z. Is u(5) a prime number?
False
Let p(q) = 6*q**2 + 3*q + 10. Is p(-9) composite?
True
Suppose i = 3, 8*g - 6*g - 2*i = 2296. Is g a composite number?
False
Suppose -15 = -3*n, -4*n - 2881 + 305 = -4*r. Is r a composite number?
True
Let k be 1/((-1)/19*-1). Suppose -5*z + 6*v + k = 5*v, -2*v - 5 = z. Is (2/z)/((-6)/(-585)) composite?
True
Suppose l + 5 = 0, -4*d + 3*l = 8*l - 2843. Is d a prime number?
False
Let m = 277 + -92. Is m a prime number?
False
Let q(k) = -7*k**2 - 4*k + 3. Let t be q(2). Let a = t + 59. Is a a prime number?
False
Suppose -18 = 8*l - 6*l. Is -1*(l/(-3) + -130) a composite number?
False
Let o = -156 + 274. Suppose u - 25 = -2*y + 30, -3*u + 2*y = -197. Let a = o - u. Is a a prime number?
False
Let x = -527 + 1264. Is x a prime number?
False
Let q = -3 + 3. Suppose -4*p + 5 + 3 = 0. Suppose q = -4*v + p*b + 326, 291 = -v + 5*v + 5*b. Is v composite?
False
Let z(l) = -3*l - 1. Let p be z(8). Let s = 318 + p. Is s composite?
False
Let d be 3 + (-1 - -3 - 3). Suppose 5*l = 4*g - 303, 3*l = -0*g - d*g + 179. Is g a composite number?
True
Suppose 0 = 2*v + 2*v + 32. Is 30/9*(-132)/v composite?
True
Let w(b) be the first derivative of 2 - 9*b + 5*b**2 - 11/3*b**3 - 1/4*b**4. Is w(-12) prime?
False
Is (-14)/(-49) + 5022/14 a prime number?
True
Let a(b) = 4*b**2 + 2*b + 3. Is a(17) prime?
True
Let i = 0 - 0. Suppose 5*m + 0*z + 4*z = i, 0 = -3*m + 3*z. Is (m + -50 - -1)/(-1) a composite number?
True
Let i = 760 - 455. Is i a prime number?
False
Let q(m) = -m**2 - 2*m. Let z be q(-3). Let s be (-571)/z - (-6)/9. Let g = s - 106. Is g a prime number?
False
Let v be (-35)/(-1)*12/10. Is (v/(-9))/((-2)/183) prime?
False
Let b = 1431 - 644. Is b prime?
True
Let g be (-3)/2*6/(-3). Is (633/(-9))/((-1)/g) prime?
True
Let k be (-2)/(0 - (0 + 1)). Suppose -k*i = 30 - 432. Is i prime?
False
Suppose -5*i + 8503 + 3097 = 5*n, -3*i = -2*n - 6965. Is i a composite number?
True
Suppose 503 + 557 = 4*r. Is r a prime number?
False
Let i be (-9)/(-7) - 2/7. Suppose 5*d - 11 = -i. Suppose d*w = -3*w - 5*r + 45, w - 2*r = 0. Is w composite?
True
Suppose -4*y + 11 + 25 = 0. Let r = y - -24. Is r a prime number?
False
Suppose 0 = -2*m - 10, 0 = -q - 5*m + 46 + 92. Is q prime?
True
Suppose -8 = -0*z - 2*z. Suppose -3*y - 14 = -z*n, -4*y + 10 + 8 = 2*n. Suppose -y*d + 6*d = 204. Is d a composite number?
True
Suppose -4*u = -146 - 50. Is u a composite number?
True
Let b be (7/2 + -2)*6. Is (-201)/(-2)*6/b composite?
False
Let j = 771 + -464. Is j prime?
True
Suppose 2*m - 10217 = -5*b, -b - b = 3*m - 4078. Is b prime?
False
Suppose 20 = 4*s - 212. Is s a prime number?
False
Suppose 12*o = 9*o. Suppose o = 2*d - 49 - 177. Is d prime?
True
Let v(b) = -7*b**2. Let l be v(1). Is 8/28 - 677/l a prime number?
True
Suppose -3*n - 2*n = 0. Suppose n = 4*x + 6*q - 5*q - 20, q + 5 = x. Suppose 3*z - 6*z - 43 = -p, -5*p = x*z - 295. Is p a prime number?
False
Let r = 163 + 142. Is 2 + -3 + r + 3 a prime number?
True
Let d(k) = 2*k**3 - 3*k**2 + 2*k - 3. Let b be d(2). Suppose 5*o = -0*l - l - b, -2*l = 2*o + 2. Suppose -4*i + 62 + 22 = l. Is i a prime number?
False
Suppose 4 = 2*k + s, -3*s = -2*s + 2. Suppose -d + 5*h - 18 = 0, 0*h + 3*h = 5*d + 2. Suppose 117 = 5*f - d*g - 52, -k*f - 5*g = -89. Is f prime?
False
Let r = -536 - -1055. Is r composite?
True
Let m(a) = 3*a**2 - 4*a + 19. Is m(-12) a prime number?
True
Is 779/11 + 2/11 a prime number?
True
Suppose 3*f + 1174 = 5*f. Is f prime?
True
Let r = 747 + 832. Is r a composite number?
False
Let q(a) = 3*a**3 + 2*a**2 + 3*a - 1. Is q(4) a prime number?
False
Is (193 - 2)*(2 + -1) a composite number?
False
Let k = 2 + 1. Suppose 4*d - f = 2*f + 88, -k*d + 79 = f. Is d a composite number?
True
Is (1*-58)/(16/(-424)) a composite number?
True
Suppose 4*m + 163 = -i, 0*m - 31 = m - 3*i. Let d = -49 - -23. Let j = d - m. Is j a prime number?
False
Suppose -4*a + 11 = 3*x, 0 = 3*a - 0*a - 2*x - 21. Suppose -a*c = s - 2*c + 1, 0 = -2*s - c - 2. Is (6/(-9))/s*3 a prime number?
True
Let j(o) be the first derivative of 44*o**3 + 2*o**2 - 3*o - 2. Is j(2) a composite number?
True
Let c be (-21)/12*(2 - -2). Let h(f) = 2*f**2 + 11*f + 10. Is h(c) a composite number?
False
Let r = 121 - 78. Is r prime?
True
