 m(r) composite?
True
Let k be -4*(2 + (2 - 5)). Suppose 0 = -k*g - x + 70 + 266, 4*g - 324 = -4*x. Is g prime?
False
Suppose r + r - 4*u = 16, -13 = -r - 3*u. Is r a prime number?
False
Suppose 0 = -3*f - 5*h + 188, -4*h = 15 + 5. Is f a composite number?
False
Let w(n) be the first derivative of 22*n**2 - 7*n + 4. Is w(4) prime?
False
Let h = 14 - 9. Let z(u) = -u**2 + 8*u + 7. Is z(h) a prime number?
False
Let n(q) = 97*q**2 - 4*q - 1. Is n(2) a prime number?
True
Suppose -9*u + 9654 = -10857. Is u a composite number?
True
Let o be (-1 - (-2 + 4)) + -115. Let a = o - -371. Is a a composite number?
True
Suppose -7*y = -8*y + 307. Is y a prime number?
True
Suppose -4*m + 336 = m - k, 200 = 3*m + k. Is m a composite number?
False
Let t(q) = 2*q**3 + 4*q**2 - q - 4. Let n be t(-3). Let p(a) = 5*a**2 + 2*a + 3. Let y be p(-3). Let r = n + y. Is r a prime number?
True
Suppose 3*k - 3074 = -3*h - 53, -5*h = 4*k - 5037. Is h a prime number?
True
Let z(m) be the third derivative of 0*m + 2*m**2 + 5/12*m**4 + 0 - 1/60*m**5 + 1/2*m**3. Is z(8) a prime number?
True
Let x = 471 - 124. Suppose 6*g - 2*g = -h + 82, 3*g = 4*h - x. Is h a composite number?
True
Is (-4)/(-14) + -2315*2/(-14) prime?
True
Suppose 1 + 20 = 3*l. Suppose 0 = 3*p - l*p + 212. Is p a composite number?
False
Let v be 62 - 5 - (-4)/2. Let h = v + -24. Is h prime?
False
Let w = 4 - 4. Suppose 3*q + 0*q - 18 = w. Is 99/(-6)*(-4)/q prime?
True
Suppose 0 = m - 2*m + 3. Suppose g = 2*g - m. Suppose 115 = g*v - 4*b, -3*b - 49 = -5*v + 139. Is v a prime number?
True
Let z be (-259)/35 + (-2)/(-5). Let l(d) = -d**3 - 4*d**2 + 2*d. Is l(z) prime?
False
Let y = 5 + -3. Suppose -r = 4*g + 2*r + 6, 0 = y*g + 5*r + 10. Suppose 2*q = a - g*a - 305, -5*a - 5*q + 1495 = 0. Is a prime?
False
Let z = -3 + 1. Let i = z + 5. Suppose 2*h = -i*h + 95. Is h a prime number?
True
Let l(f) = f**3 + 7*f**2 + f + 7. Suppose 4*k + 33 - 9 = 0. Is l(k) a composite number?
False
Suppose 2*d - 558 = 424. Is d composite?
False
Let u be 4/10 + 14/(-10). Is 42 + u + -6 + 4 a prime number?
False
Let h = 1107 + -640. Is h a prime number?
True
Let a(s) = 215*s - 7. Is a(4) prime?
True
Let q(z) = z**3 + z**2 + 8*z - 6. Let w be q(-7). Is (-9)/15 + w/(-10) composite?
True
Suppose 0 = -2*m + 3 + 7. Suppose -3*a - b + 99 = -502, m*a - 991 = b. Is a a prime number?
True
Let a(w) = -w - 2. Let m be a(-4). Let x = m - -1. Suppose 85 = x*l + 16. Is l a prime number?
True
Suppose 2*d = 4*d + 20. Let t = 77 - d. Is t a composite number?
True
Let i(f) = -15*f**3 - 8*f**2 - 10*f - 19. Is i(-5) composite?
True
Let g = 1 + -5. Let q(t) = t**3 + 8*t**2 + 7*t - 7. Let s(o) = 3*o**3 + 24*o**2 + 20*o - 21. Let j(r) = g*s(r) + 11*q(r). Is j(-8) prime?
True
Let x = 151 + -86. Suppose -5*k + 1 = -4. Is (-2 + k)/((-1)/x) composite?
True
Suppose z + 144 = 2*y, -5*y - 4*z = -10 - 337. Suppose -3*x + 4*x - y = 0. Is x composite?
False
Suppose -618 = -10*c + 7*c. Is c a prime number?
False
Let b(k) be the first derivative of -17*k**4 - 2*k**3/3 + k + 1. Is b(-1) a composite number?
False
Is ((-6861)/12)/(1 - 20/16) a prime number?
True
Let k(t) = -t**3 - 6*t**2 + 3. Let p be k(-6). Suppose 0 = x + p*x - i + 46, 21 = -x + 5*i. Is 138/(-6)*x/1 prime?
False
Let h = 0 + 2. Is (1/3)/(h/4518) composite?
True
Is -2 - 2*(-2043)/6 a prime number?
False
Is 1*213/(-6)*-2 prime?
True
Let j(v) = -v**2 + 3*v + 4. Let m be j(3). Suppose d + m = r, 3*d - 4*r + 16 = -0*d. Suppose d = 3*z - 3*y - 549, 3*y + 11 = -z + 210. Is z prime?
False
Let x be 4/(3/((-12)/8)). Is (3855/(-30))/(x/4) composite?
False
Let d be 1/(0 + (-3)/(-201)). Suppose a - d = -0*a. Is a a prime number?
True
Suppose r - 110 = 3*r. Let f = 96 + r. Suppose 4*p = 19 + f. Is p composite?
True
Let h(w) = -w**3 - 7*w**2 + 8*w + 2. Let f be h(-8). Let q be (-5 - -5)/(f + 0). Is 92 - (3 - q)/3 a prime number?
False
Let g(a) = 25*a - 61. Is g(16) a prime number?
False
Let n(b) be the third derivative of -b**4/24 + b**3/6 - b**2. Suppose -4*f = -5*h + 15, -f = -2*h - 0*h. Is n(f) prime?
True
Let a = -10 - -5. Suppose -4*j = -3*h - 2*j + 31, 4 = 4*j. Let t = a + h. Is t a prime number?
False
Suppose 3*w - 112 = 4*m + 8*w, 0 = -m + 4*w - 7. Let l = 44 - m. Is l composite?
False
Let b = -96 - -138. Suppose w = -b + 125. Is w prime?
True
Let q = 0 - 2. Let r be (72/10)/(q/10). Let t = r + 62. Is t prime?
False
Suppose -7*r + 3*r = -8, -65 = -3*n + 5*r. Suppose 0 = c + 3*g - n, 5*c + g + 2*g - 149 = 0. Is c a prime number?
True
Let d(m) = -m - 8 - m + 2. Let t be d(-4). Suppose 5*j = -t*f + 267, 3*f = j + 4*f - 54. Is j prime?
True
Let z(m) = -8*m + 3. Suppose -5*l - 4*i + 30 = 0, -l = -4*i - i - 6. Let n = 2 - l. Is z(n) prime?
False
Suppose 5*a - m = 3*m + 4895, 0 = -a + 3*m + 979. Is a a composite number?
True
Suppose -c = 4 + 3. Let k(x) = -x + 2. Is k(c) a prime number?
False
Suppose 8 = -y + 3*y. Suppose 0 = 5*n + y*j - 95, -3*n - 2*j = 2*n - 95. Is n a prime number?
True
Let s(b) be the first derivative of -3*b**2 + 7*b + 6. Is s(-12) composite?
False
Suppose a = -5*d + 33, 0 = -4*d - 5*a - 11 + 50. Is d a composite number?
True
Suppose y + 61 = -d + 4*y, 3*y + 6 = 0. Is (-1)/(1/d + 0) a composite number?
False
Let n be (16/24)/(1/3). Suppose -y + f + 60 = 0, n + 6 = -4*f. Is y a prime number?
False
Suppose r + 956 = 3*m - 0*r, -5*m - 5*r + 1600 = 0. Is m prime?
False
Let c = 135 + 272. Is c a composite number?
True
Let g(r) be the second derivative of 5*r**4/12 - 7*r**2/2 + 5*r. Is g(5) a composite number?
True
Suppose -5*h + 0*v - 4*v = -301, 5*h - 293 = -2*v. Is h prime?
False
Let f(v) = 3*v**2 - 7*v - 6. Let l(z) = z - 1. Let s be l(-4). Let c be f(s). Let a = -61 + c. Is a composite?
False
Is ((-399)/(-9))/((-6)/(-18)) composite?
True
Suppose 20 = 4*m - 0*m, 5*m - 980 = -5*d. Is d a composite number?
False
Let r(h) = h**3 + 5*h**2 - h + 7. Let c be r(-5). Is (-113)/(-3) - 8/c a composite number?
False
Let s(h) = 2*h + 1. Let x be s(4). Suppose -x + 3 = 2*n. Is n - 7/((-21)/318) a composite number?
False
Suppose -4*u + 11820 = -2*a, 4*u + 4*a - 2937 = 3*u. Is u a prime number?
True
Let s(i) = 2*i**2 + 1. Let v be (-3)/(-2)*8/6. Suppose 3*l + 6 = u, -v*l + 5*l = 4*u + 3. Is s(u) composite?
False
Suppose -519 = -2*x + 295. Is x a composite number?
True
Suppose 4*a + 4*v - 40 = 0, -2*a + 20 = 4*v - 3*v. Is a a composite number?
True
Let b(a) = -9 - 11*a - 8*a - 11*a - 4*a. Is b(-8) a composite number?
False
Let p(k) = 3*k**2 - 7*k + 9. Suppose -16 = l - 3*l. Is p(l) composite?
True
Let o(f) = 31*f - 14. Is o(7) a prime number?
False
Suppose 29 = 5*k - 4*n, n + 4 - 13 = -2*k. Suppose 20 = k*v, 0 = -5*j - 6*v + 2*v - 4. Let c = j + 8. Is c a prime number?
False
Let p(j) = j**3 + 4*j**2 + 4*j + 2. Let v be p(-2). Let k(b) = 16*b - 1. Is k(v) prime?
True
Suppose -5*q + q = -120. Let g be (-9)/(-15) - 54/15. Is q/(0 + -1 - g) composite?
True
Suppose 4*i = i + 9. Suppose 4*q - i*u = q + 153, 205 = 5*q + 5*u. Is q composite?
True
Suppose 1464 = 2*d + 4*g, -2*d + 2*g - 475 = -1945. Is d a prime number?
False
Let m = -3 - -6. Suppose i - m*t - 5 = -6*t, 0 = 4*t - 4. Suppose 171 + 224 = 3*n - 2*g, i*g + 133 = n. Is n prime?
True
Let b = -403 - -857. Is b prime?
False
Suppose -4*m + 790 = -206. Is m composite?
True
Let l(m) = m**3 + 12*m**2 + 5. Let x be 168/(-32) - (-6)/(-8). Is l(x) a prime number?
False
Let f(n) = 4*n + 10. Let b(g) = 3*g + 10. Let m(v) = 3*b(v) - 2*f(v). Let s be m(-11). Is (22 + 1)/s*-5 a composite number?
True
Let f be 3 - 3/(-3) - 2. Suppose 3*m + f*k = -0*m - 148, -2*m + 5*k = 105. Is (m/(-6) + -1)*3 prime?
False
Let z(y) = -y**2 - 14*y - 12. Let r = 2 - 1. Let b(s) = -9*s**3. Let k be b(r). Is z(k) prime?
False
Let t be (-8212)/(-10)*20/8. Suppose 12 = 5*q - t. Is q composite?
True
Suppose 5*o = 4*z - 646, 0*z - o - 162 = -z. Let k = z + -95. Is k a prime number?
False
Suppose 13*p - v = 9*p + 12315, 2*v - 3081 = -p. Is p a composite number?
False
Suppose -4*s + 1067 = -3*s. Is s a composite number?
True
Let s(z) = 6*z**2 + z - 1. Suppose -f + 3 = -0*f. Suppose 5 = 2*r + f*r. Is s(r) prime?
False
Let b(z) = -36*z**3 + 2*z**2 - 4*z + 5. Is b(-4) composite?
False
Let h be (-1)/(12/(-9))*4. Let d(f) = 0*f**3 - 7*f - 3*f**3 - 6*f**2 + f**3 - h + f**3. Is d(-7) prime?
False
Let l be -4