= -4*r + 3864, 0*r + r - h - 965 = 0. Is r a composite number?
False
Is 3*(-3)/27*1*-25257 prime?
True
Let b be (-1)/(2/(-6) + 0). Suppose 5*l - 47 - 64 = -k, b*l = -2*k + 194. Is k a prime number?
False
Let a be 1167/12 + 1/(-4). Suppose 0*f - f = -a. Is f composite?
False
Let o = -562 - -1571. Is o composite?
False
Let x(o) = 48*o - 10. Is x(14) prime?
False
Suppose -367 + 1272 = 5*k. Suppose 5*u = k + 454. Is u composite?
False
Is ((-8)/6)/((-2)/267) composite?
True
Suppose 3*v - 2*v = -6. Is (-682)/v + 32/24 a composite number?
True
Let c = -70 + 108. Let n = 55 + c. Suppose 0 = -0*u + 3*u - n. Is u a prime number?
True
Let k(j) = 3*j**3 - 9*j**2 - 7*j + 2. Is k(7) a prime number?
True
Suppose 4*k - 1 = 3. Let d be (-3)/3 + 3/k. Suppose -3*w - d*w = -50. Is w prime?
False
Let j(p) = 4 - 4 - 2 - 1 + 5*p. Is j(8) a composite number?
False
Let f(p) = 2*p - 4. Let b be f(3). Let n be b - (-4)/(-2) - -125. Suppose 2*l - n = 69. Is l a prime number?
True
Let d be (12/5)/((-2)/(-545)). Suppose -2*b + 3*w - w + d = 0, -642 = -2*b + 5*w. Is b a composite number?
False
Suppose 5*n = -4*k - 0 - 2, 0 = 2*k - 5*n - 14. Let a(h) = h + 5 - h + 4*h + k*h. Is a(12) composite?
True
Let u = -6 + 8. Suppose -u*h = -5*h - 114. Let p = -3 - h. Is p a composite number?
True
Suppose -2*y + 6 = -0. Suppose m - y*m = 4. Is -2 - (m - (0 - -47)) composite?
False
Suppose 6*u - 2*u = 0. Let a(n) = -n**2 + n + 6. Let q be a(u). Let v = 8 - q. Is v prime?
True
Let w(x) = 6*x - x**3 - 2*x + 5 - 6*x**2 + 3*x. Let c be w(-7). Suppose -m - 216 = -3*y + 2*m, -c*y = -m - 340. Is y composite?
False
Suppose 3*x - 5*x = -118. Suppose -5*b - y = -95, -2*b + x = -2*y + 21. Is b composite?
False
Let u(h) = 2*h**3 - 10*h**2 + 12*h + 5. Is u(6) prime?
True
Let x be -3 + (1 + 8)/3. Is 670/((x - 0) + 2) prime?
False
Suppose 0 = 2*l - 5*l. Suppose l*i = -2*i + 140. Suppose 4*d - i = 4*o + 158, 0 = d + 5*o - 33. Is d a composite number?
False
Is (-4)/((-8)/1193)*2 prime?
True
Suppose -55 = 18*v - 23*v. Is v a prime number?
True
Let z(v) = v**2 + v + 25. Is z(0) a prime number?
False
Suppose -11 = 5*y - 51. Let i(c) = c - y - c**2 + 61 + 0*c + c**3. Is i(0) a composite number?
False
Let h(n) = -28*n + 3. Let j = 0 + -3. Is h(j) a composite number?
True
Let b(i) = -i + 7. Let p be b(4). Suppose 0 = p*q + 2*f - 1995, -q - 2*q = -3*f - 2010. Is q a prime number?
False
Let i be (-11128)/(-14) + (-1)/(-7). Suppose 7*m = 4*m + i. Is m prime?
False
Let q be ((-174)/(-8))/(-3)*4. Let k = 42 + q. Suppose k = x - 24. Is x composite?
False
Let j = 30 - -475. Is j composite?
True
Let z = -3 + 6. Suppose -18 = -2*f - u, -5*f + 30 = -z*f + 4*u. Is f a composite number?
False
Let h(l) = 3 + 0*l**3 + 0*l**3 - 6*l**3 + 5*l**2 - 2*l. Let s be h(-4). Suppose n + 285 = 3*b + 5*n, 5*b + 4*n - s = 0. Is b prime?
False
Let z(j) = 5*j + 17. Is z(8) prime?
False
Suppose 69*o - 66*o - 771 = 0. Is o a prime number?
True
Suppose 5*r + 4445 = 10*r. Is r composite?
True
Suppose 5*q = 6*q - 19. Is q prime?
True
Let g = 133 - 66. Is g a prime number?
True
Suppose 0 = -4*i + i + 15. Suppose 25 = i*l, -5*f + l = 575 - 185. Is (-1)/4 - f/4 prime?
True
Suppose -5*p - 4*u = -6401, 9*p - 3*u = 4*p + 6373. Is p prime?
True
Suppose -3*v = -4*n + 1263, 0 = 2*n - 2*v - 208 - 422. Let o = -212 + n. Is o prime?
False
Suppose 17*g - 15*g - 4 = 0. Let j(n) = n**3 + 5*n**2 - 4*n - 1. Is j(g) composite?
False
Let v(f) = 2*f**2 - 6*f - 1. Is v(-4) a prime number?
False
Let q(z) = 12*z**2 - z + 1. Let w be q(1). Is (w - -106) + 4 + -1 a composite number?
True
Let v(u) = -4*u - 2. Is v(-4) a composite number?
True
Let c(t) = t**2 + 8*t + 3. Let w be c(-8). Let o be -2 + (2 - (w + -5)). Suppose 178 = -0*k + o*k. Is k a composite number?
False
Let a(j) = j**2 - j + 5. Let b be a(0). Suppose 5*r + 3*g - 638 = 0, 2*r - b*r + g = -380. Is r a prime number?
True
Let z = 660 - -109. Is z a composite number?
False
Let x = -3 - -5. Is 0 + 1 - x*-17 prime?
False
Is ((-10)/(-15))/(2/309) a prime number?
True
Let j = -73 + 120. Is j a prime number?
True
Let v be (-2)/(-8) + 19/4. Suppose v - 2 = h. Is 2 - 21/h*-3 composite?
False
Suppose -4297 - 3915 = -4*m. Is m a prime number?
True
Let h be (0 - -44)/((-1)/(-1)). Suppose 332 = 4*n - h. Suppose 2*l - n = -l - 5*v, v = -5*l + 164. Is l prime?
False
Suppose -3*g + 0*g = 2*y - 8, 4*y = -8. Suppose 517 + 535 = g*i. Is i a composite number?
False
Suppose y - 63 = -211. Is (-18)/(-12)*y/(-6) a composite number?
False
Is 9*3/(2 - -1) a composite number?
True
Suppose -s + 305 = r, -s = -r - 286 - 25. Suppose -288 = -4*z - 3*v, 4*v - s = -5*z + 53. Is z a prime number?
False
Suppose 0 = -l + 178 + 13. Let m = l - 124. Is m composite?
False
Let d(w) = 18*w**2 + 11*w - 25. Is d(6) a composite number?
True
Suppose -g + 8 = g. Let o be g/(-10) + (-34)/(-10). Suppose -38 = -o*i + 55. Is i a composite number?
False
Let s(l) = l + 12. Let f be s(-7). Suppose 7 = f*r - 13. Suppose 2*p + r*a - 390 = 0, -4*a = -2*p + 591 - 169. Is p prime?
False
Let r be 1/3 - (-70)/6. Let v = 17 - r. Suppose 0*o + 165 = v*o. Is o a prime number?
False
Let r be 20/(-3)*(-21)/14. Let t(j) = -j**3 + 10*j**2 + 14*j - 13. Is t(r) composite?
False
Let a(r) = 2*r**2 + 2*r + 15. Is a(7) composite?
False
Suppose 2*l + 16 = j - 5*j, -2*l - 3*j = 11. Suppose 3*r - 7*r + l*x = -474, x - 126 = -r. Is r prime?
False
Let s be 2/(-6) + (-38)/(-6). Let y be 314/8 + 1/(-4). Suppose -s*a + y = -3*a. Is a prime?
True
Let l be (0 - 3 - -7) + 0. Let s = 5 - l. Is 185 + ((-1)/(-1) - s) composite?
True
Is (-678)/(-8) - (-2)/8 a composite number?
True
Let j(q) = -4*q - 1. Let i(b) = b. Let s(n) = -3*i(n) - j(n). Let k be s(-3). Is 1 - 2 - (k - 36) a prime number?
True
Suppose 4*a - 9*a + 2 = 2*y, -20 = -4*y - 2*a. Is y a prime number?
False
Let c(n) be the first derivative of n**5/15 - n**4/6 + 5*n**3/6 - 3*n**2/2 - 3. Let w(q) be the second derivative of c(q). Is w(4) composite?
False
Suppose 5*n - 12 = n. Let x be (-2)/n - 3/9. Is 66 + -1*(0 + x) prime?
True
Suppose 4*a = -a - 4*p - 271, -2*p + 94 = -2*a. Let n = 73 + a. Is n a prime number?
False
Let i be 329/4 - 1/4. Let c = i - 56. Is c a prime number?
False
Suppose -2*i - 25 = -4*i - s, -3*s + 5 = -i. Suppose 2*n = i, 2*n + 138 - 1376 = -4*k. Is k a prime number?
True
Suppose -3 = -2*b - 5. Let p be b + 1 - (-4 - 0). Suppose -q + 101 = q - f, -p*q = 3*f - 227. Is q a prime number?
True
Let y = 15 - 13. Let l(j) = 58*j + 2. Is l(y) composite?
True
Let j be -5*((-12)/(-10) - 0). Let z be (j/(-4))/(4/104). Suppose -z = 3*d - 4*d. Is d a prime number?
False
Let d(o) = -o**3 - 9*o**2 + 10*o. Let h be d(-10). Suppose h = q - 0*q - 89. Is q a composite number?
False
Suppose 2*b = 3*b - 2. Suppose q = k + 129, b*k = -q + 56 + 67. Is q a composite number?
False
Let t(n) = 2*n**3 + 24*n**2 - 12*n + 1. Is t(5) composite?
True
Suppose -3*n - 23 = -5*m, 4*m + 0*n = -2*n + 36. Is ((-86)/(-2))/(m + -6) composite?
False
Let k(q) = q**3 - 5*q**2 + 3*q + 1. Let p be k(4). Let a(d) = -4*d + 2. Let g be a(p). Let h = 35 - g. Is h a composite number?
True
Let t(c) = 5*c + 1. Let s be t(1). Let b be 3/(s/(-2)) - 110. Is 1/(1 + 108/b) composite?
False
Is 1/((-8)/3426*(-15)/40) a prime number?
False
Let p be (-4)/18 + 86/(-18). Let m = p + 20. Is m composite?
True
Let h = 670 - 363. Is h prime?
True
Let o(z) = z**2 + 13*z + 14. Let h be o(-12). Suppose -h*f + 5*g = -1091, g - 2645 = -5*f - 3*g. Is f composite?
True
Let z(x) be the first derivative of -4*x**5/5 - x**4/6 - x**3/2 - 3*x**2/2 + 4*x - 1. Let s(v) be the first derivative of z(v). Is s(-2) prime?
False
Let x = 9 + -14. Let d(m) = 5*m**2 + 4*m - 1. Let a be d(x). Let j = a - 49. Is j composite?
True
Let d = 8 + -5. Suppose 3*s - s = -2, -w = -3*s - 8. Suppose 0*b - d*b - w*q = -144, -2*b + q + 109 = 0. Is b a composite number?
False
Suppose 2*y - 8 = -2*y. Suppose -y*p - 5*z = -496, -z - 751 = -3*p - 5*z. Is p a prime number?
False
Let o be 1/4 - 35/(-20). Suppose 4*p + o*c = -6, -3*p - 3*c = -0*c. Is 236/(-6)*p/2 a prime number?
True
Suppose -i = x + 2, -x + 6 = 5*i - 0. Let m be 3/(2 + x + 3). Let h(q) = 11*q + 4. Is h(m) prime?
True
Suppose 3*r - 12 = 6*c - 4*c, 2*c + 4*r - 16 = 0. Let v be c + 4*37*1. Suppose -4*b + v = -0*b - 4*k, b - 37 = 4*k. Is b a compos