mposite number?
True
Let l(g) = -g + 1. Let o(n) = 5*n**2 - 5*n + 7. Let v(z) = -4*l(z) + o(z). Is v(4) a prime number?
True
Suppose 12 + 4 = -2*g. Let j(i) = -8*i + 7 + 14*i - 8*i - 4*i. Is j(g) composite?
True
Suppose 0*b = 3*b + n + 5, 0 = 4*b + 2*n + 10. Let p be b/((-2 - -4)/(-2)). Suppose p = 8*k - 3*k - 595. Is k prime?
False
Let x be 1*3/(-2)*-12. Suppose c + 0*c = f - x, c = -5. Is f a composite number?
False
Let a be 173 + 12/(-4) + 2. Let m = 317 - a. Is m a prime number?
False
Let l be 2/(2 - (-8)/(-6)). Suppose -4*y + y - j + 715 = 0, l*y + 2*j - 716 = 0. Suppose -3*k - y = -5*k. Is k a prime number?
False
Is -1*2434/(-7 - -5) a prime number?
True
Let y be 54/(-90) + (-6)/(-10). Let d(n) = -2*n**2 - n + 2. Let r be d(-2). Is 2/r*(-42 + y) prime?
False
Suppose -3*n + 14 = -2*m, 0 = n + m + m + 6. Let c be n/2*(-125)/(-1). Let o = c - 88. Is o composite?
False
Suppose 4*k = -2*u + k - 1, 0 = 4*u - 4*k + 12. Is u/(-6) - 1900/(-15) prime?
True
Let l(g) = 2*g**3 - g**2 - 2*g - 1. Let y be (4/10)/((-2)/(-10)). Is l(y) a composite number?
False
Suppose -5*d - 909 = -2*a, 0*a = -4*a + 4*d + 1824. Is a composite?
False
Suppose 15 = -2*p - 5*g, p = 4*g + 17 + 8. Suppose -p = -4*b - 5*h, -h = b - 2*h + 1. Suppose v = -b*v + 7. Is v composite?
False
Let w = 1198 - -261. Is w a composite number?
False
Suppose -u + 1 = -4. Let h = u - -54. Is h prime?
True
Let p(y) be the second derivative of -y**4/12 + 31*y**3/6 - 19*y**2/2 + 3*y. Is p(13) a prime number?
False
Let b(z) = z - 5. Let u be b(9). Suppose q - 729 = -2*q + 4*a, 972 = u*q + 4*a. Suppose 4*c = 4*w + 296, 3*c + 0*c + 4*w = q. Is c a composite number?
True
Let y = -1 - -3. Suppose f = y*f - 1. Is (1 - f) + 0 + 83 composite?
False
Suppose -q = -1 - 1. Suppose -p = -q*k + 3 - 1, 2*k - 22 = -4*p. Is 1 + (-6)/(-1)*k a prime number?
True
Let w be (-9)/12 + 855/4. Suppose 5*t - w = 52. Is t composite?
False
Suppose 3*v + 103 = -20. Let i = 638 - v. Is i a prime number?
False
Suppose 4*h - 17 = -5. Let x(n) = -n**2 + 2. Let q be x(0). Suppose -3*i = 2*m - 16, -h*m + q*m + 7 = 2*i. Is m prime?
True
Let m(w) = -21*w**3 - 1 + 0*w**2 - 4*w - 6*w**2 + 2*w**2 - 2. Is m(-2) a composite number?
False
Let b(r) = -r**2 + 12*r - 10. Let t be b(11). Let q(p) = -p - 1 - 2*p + 0 - t. Is q(-4) prime?
False
Let g = 7 - 4. Suppose -5*w = -3*p + 69, -18 = -p - g*w + 5. Is p prime?
True
Let v(p) = p**3 - 5*p**2 - 5*p - 3. Let f be v(6). Suppose 549 = -f*s + 1752. Is s a composite number?
False
Suppose -2*a - 2*a + 18 = 2*r, -15 = -r - 5*a. Suppose 0*d + r*d = -380. Let g = 37 - d. Is g composite?
False
Is 166*15/(-10)*-1 a composite number?
True
Is 2/(-3)*(-291)/2 a prime number?
True
Let c(u) = 188*u + 5. Is c(2) a composite number?
True
Suppose -2*l + l = -4, 2*l - 581 = -3*v. Is v a composite number?
False
Suppose -g + 54 = 3*j, -3*g - 112 = -6*g + j. Is g prime?
False
Suppose -5*r + 736 = -0*r - 3*x, 0 = -3*r - 3*x + 432. Is r a prime number?
False
Let w(j) = j**3 - 7*j**2 + 7*j + 1. Let t be w(6). Let d = -4 + t. Is (-2)/(d/((-381)/2)) prime?
True
Let b = 14 - -65. Is b a prime number?
True
Let d(s) = 3*s**2 + 7*s - 6*s + 6 + 5*s. Is d(-7) composite?
True
Let t be 13/3 + 4/(-12). Let b(g) be the second derivative of -g**3/6 + 7*g**2/2 - 4*g. Is b(t) prime?
True
Let p = -6 - -10. Suppose -146 = -0*s - p*s - 2*u, 3*s + 4*u = 117. Is s a prime number?
False
Let o(g) = 2*g + 87. Is o(0) prime?
False
Suppose 2*s = 5*q + 48, s - 72 = -3*s - 2*q. Suppose -19 = 2*d + s. Let m = 74 + d. Is m composite?
True
Let v(b) = -b + 1. Let n be v(-3). Let j(q) = 2*q**3 - 6*q**2 + 7*q - 5. Is j(n) composite?
True
Let f be (-3 + 1)*(-14)/(-4). Let l = f + 26. Is l prime?
True
Let h(k) = 3*k**2 - 8*k + 11. Let c(u) = -7*u**2 - 15 - 7 - 1 + 16*u. Let r(b) = -6*c(b) - 13*h(b). Is r(-10) prime?
False
Suppose -i + z + 147 = 0, 4 = -4*i + 2*z + 596. Is i a composite number?
False
Let k(a) = -a**2 + 6*a. Let l be (4/8)/((-2)/(-16)). Let q be k(l). Suppose q*n - 4*n = 4*w + 152, -4*n + 131 = 3*w. Is n a composite number?
True
Let l(k) = 2*k**2 - 3*k - 4. Is l(5) composite?
False
Let b = -201 + 370. Let u be (-1*2 + 6)*1. Suppose -u*g - 4*c = -152, c + b = 5*g - c. Is g composite?
True
Let b = -654 - -1019. Suppose 5*d - 3*n = 2260, -n + b = d - 79. Is d a prime number?
True
Suppose -2*h + 4*h = 2*u - 10, u = -3*h + 21. Suppose -3 - u = 3*s. Let a(j) = -j**3 - 2*j**2 + 6*j + 6. Is a(s) a composite number?
True
Suppose -5 = m - 2. Let i(j) = 9*j**2 - 2*j - 2. Is i(m) a prime number?
False
Let o(c) = -24*c + 1. Let b(z) = -49*z + 2. Let p(s) = 2*b(s) - 5*o(s). Suppose -14 = -5*x + v - 2*v, 0 = -x - v + 2. Is p(x) a prime number?
False
Let t(j) be the second derivative of -j**5/4 - j**4/12 - j**3/3 - 3*j**2/2 - 4*j. Is t(-2) a composite number?
False
Let x = -6 - -6. Suppose -74 = -2*u - x*u. Is u a prime number?
True
Let h be 56 - -2 - (0 - -1). Suppose -3*y = -2*f + 139, -f + 3*y + h = -y. Is f composite?
True
Let h = -13 + 15. Suppose -h*v = -0*v - 878. Is v a composite number?
False
Suppose 2*k = 5*k - 66. Is k a prime number?
False
Let j(n) = -2*n + 33. Is j(-17) a prime number?
True
Let u(g) = g + 2. Let h be u(-4). Suppose 754 - 115 = 3*p. Is p - (3 + (h - -1)) composite?
False
Let j(u) = 6*u**2 - u + 6. Suppose -c + 1 = 6. Is j(c) prime?
False
Let h = 3 - 0. Suppose h*r - 3*k + 7*k - 6 = 0, 3*r - 6 = -2*k. Suppose f - 57 = -r*f. Is f a prime number?
True
Suppose 0 = -z - z + 1144. Suppose 0 = -4*v - 0*v + z. Suppose 1320 = 5*w + 5*u, -3*w - 4*u + v = -654. Is w prime?
False
Is ((-2)/(-6))/((-11)/(-71049)) a composite number?
False
Let t = -18 - -22. Suppose -3 = t*l - 239. Is l a prime number?
True
Let k(i) = i**3 + 5*i**2 - i. Let w be k(-4). Let b = 79 - w. Suppose -5*r + 489 = 2*f, 4*r + 4*f - b - 337 = 0. Is r a prime number?
True
Let y(s) = s**3 + 7*s**2 - 10*s + 5. Let k be 2/(2 + 9/(-4)). Is y(k) a prime number?
False
Let a = 2 - 4. Is 942/15*(-5)/a a composite number?
False
Suppose 5*n - 55 - 70 = 0. Is n composite?
True
Let a(x) = 273*x + 50. Is a(7) a prime number?
False
Let x = 339 + -235. Let v = -88 + 161. Let u = x - v. Is u a prime number?
True
Let h be (-36)/(-15) - (-2)/(-5). Is 214 - -2*(-3)/h a composite number?
False
Let c(t) = 58*t**2 - 4*t + 1. Is c(-3) a prime number?
False
Is 1/(((-8)/(-262))/4) a composite number?
False
Let f(c) = c**3 - 3*c**2 - 4*c - 1. Let n be f(4). Is (-37)/2*6/n prime?
False
Let k(r) = 18*r - 11. Suppose 3*o = -4*j - 12 + 55, -j + 17 = 2*o. Is k(j) prime?
False
Let w = 0 - -3. Suppose 15 = -3*l, 2*l = -2*a + w*l + 163. Is a prime?
True
Suppose -4*a + 2433 + 163 = 0. Is a composite?
True
Let g(a) = a**3 + 7*a**2 - a - 3. Let u be g(-7). Suppose 124 = u*x - 1368. Is x composite?
False
Let h(s) = -s**3 + 15*s**2 - s - 18. Is h(13) composite?
False
Suppose -10112 = -6*p + 2962. Is p composite?
False
Suppose 0*i = -14*i + 17038. Is i a composite number?
False
Suppose -r = -4*l + 39, 0 = -4*l - l + 4*r + 57. Suppose -3*i = 4*u + 40, -i + 0*i = -3*u + l. Is ((-8)/i)/((-4)/(-210)) composite?
True
Let l(t) = 11*t**3 + t**2 - 1. Let a(i) = i**2 - 6*i + 7. Let c be a(5). Is l(c) a prime number?
False
Suppose 2*g = 2*v - 6, -2*v - v + 5*g = -5. Let y(r) = v*r + r**2 - 3*r - 4 + 3. Is y(7) a composite number?
True
Is (-2 + 459/(-6))*-2 a composite number?
False
Let t = 223 + -144. Is t prime?
True
Let l(t) = -t**3 - 8*t**2 + 10*t - 1. Let i be l(-9). Let z be i/25 - 702/(-5). Suppose 2*g - z = -2*g. Is g composite?
True
Let g = 1 + 3. Suppose -3*y = 3*h - 561, -4*h - 776 = -g*y - h. Is y composite?
False
Let x(u) = -u**2 + u + 1. Let t(y) = 2*y**2 - 4*y - 9. Let r(p) = t(p) + 4*x(p). Let v be r(6). Is v*(1 - (2 + 0)) a prime number?
False
Let m = -833 + 1464. Is m prime?
True
Let k(t) = t**3 + 13*t**2 + 8*t - 9. Let q be (4/6)/((-6)/90). Is k(q) a prime number?
True
Suppose -202 - 458 = -4*m. Let k = -34 + m. Is k composite?
False
Let z be 19 + (2/2 - 2). Let k = z + -7. Let p = k - 7. Is p a prime number?
False
Let s = 180 - 86. Is s a prime number?
False
Is 1*1/4*0 - -511 composite?
True
Let f(p) = p + 7. Let j be 2/10 + (-162)/(-15). Let a = j - 11. Is f(a) a composite number?
False
Is 411 - 1 - 1 - (0 + 0) prime?
True
Let j be (-498)/(-4) - 3/(-2). Is (7/(-2))/((-9)/j) prime?
False
Let q