number?
False
Suppose -7*v - 5*v + 4812 = 0. Is v a prime number?
True
Let k(z) = -11*z**3 - 2*z**2 - 3*z - 2. Let b be k(-2). Suppose 0 = n - 5*n + b. Suppose -n = -w + 46. Is w composite?
False
Suppose 5*p - 814 - 201 = 0. Is p prime?
False
Let q be (12/(-18))/(2/(-3)). Is q*4/(-2) - -121 prime?
False
Is 0 + ((-9066)/12)/(1/(-2)) a prime number?
True
Suppose 0 = 3*s - 5 - 4. Suppose -s*m - i = -m - 444, 2*m - 3*i = 436. Is m composite?
True
Suppose -2*v + 16 = 2*v. Suppose v*c + 3*r - 11 = -c, 3*c - 15 = r. Suppose 4 = 4*q - c. Is q composite?
False
Let a = -623 - -1590. Is a prime?
True
Suppose 3*u + 5*c = -3, 5*u - 4*u + 9 = c. Is 4/u*249/(-2) a composite number?
False
Let b = 1 - -4. Suppose -15 - 7 = -4*u + b*c, -3*c = -u + 9. Suppose -q - u*q + 3*p + 28 = 0, 60 = 4*q + 5*p. Is q composite?
True
Suppose -3*w = -0*w - 645. Is w prime?
False
Is 711/12 + 2/(-8) a composite number?
False
Suppose -b - 9 = 3*v - 28, 0 = 5*v + 3*b - 33. Let m(z) = 7*z**2 - 5*z - 7. Let n be m(v). Suppose -4*g + n = g. Is g composite?
False
Let t be (-3)/(-12)*-1*-596. Let m = 360 - t. Is m a prime number?
True
Let z be 0/((3 - 0) + -4). Suppose -1063 = -5*l + 4*u, 4*l = -z*u - 4*u + 836. Is l composite?
False
Let j(p) = 9*p - 7*p + 3*p**3 + 2 - 3*p**2 - 4. Let v be 1 - 5/(10/(-4)). Is j(v) prime?
False
Let v = 7 - 3. Suppose h + 705 = v*h. Is h a composite number?
True
Suppose -4*a = -3*a - 1. Is (4 - a) + (-192)/(-3) a prime number?
True
Let t(b) be the first derivative of 3/2*b**2 - 15*b - 1 + 1/3*b**3. Is t(10) prime?
False
Let p(u) = -5*u**2 + 6*u - 4 + u**3 - 1 + 0*u**2. Let x be p(4). Suppose -2*q = x*q - 665. Is q a prime number?
False
Let m(i) = i**3 - 14*i**2 + 14*i + 10. Let h be m(11). Let v = -132 - h. Is v a prime number?
True
Suppose 4*t + t = 1615. Is t prime?
False
Let t(n) = -n**3 - 2*n**2 - 12*n + 7. Is t(-6) prime?
True
Suppose -2*l = 4*h - 1094 + 318, -1896 = -5*l + h. Suppose -3*y + 475 = 6*f - f, 4*f + 5*y = l. Is f a prime number?
False
Let s = 1519 - 896. Is s a prime number?
False
Suppose 34696 = 12*x - 4*x. Is x composite?
False
Let r(c) = -8 + 5 + 6*c - 8 + c**2. Let n be r(-8). Is (-10)/4*(1 - n) a composite number?
True
Let w(r) = -2*r**2 + 9*r + 4. Let b be w(-9). Suppose 5*x + 5*l = -40, 5*l + 16 = -2*x + l. Is 4/x + b/(-2) prime?
False
Let h(l) be the first derivative of -5*l**2 - 3*l - 2. Is h(-7) composite?
False
Suppose 0 = 3*g - 97 - 20. Is g composite?
True
Let m be 1 + 0 + 0 + -340. Is (m/(-12))/(1/4) a composite number?
False
Let r(y) = -113*y**3 + 2*y + 1. Let i be r(-1). Let u = 168 - i. Suppose -u = -5*m + 39. Is m a prime number?
True
Let d(v) = v**3 - v**2 - 21*v - 10. Is d(9) composite?
False
Let u = -85 - -120. Is u prime?
False
Suppose 0 = 2*f - 8, f + 1 = -3*d + 2636. Is d composite?
False
Suppose -4*j + 502 = -3*v, j - 125 = -0*j + v. Is j prime?
True
Suppose -8*u = 601 - 3249. Is u composite?
False
Let c(y) = -y**2 + 4*y + 12197. Is c(0) a composite number?
False
Let i be -24 + (0/2 - 0). Let f = 9 - i. Is f composite?
True
Let p be (-1)/((-1)/14*2). Suppose 0 = -0*u + u - p. Suppose 0 = u*r - 3*r - 140. Is r prime?
False
Let x(d) = -8*d + 3 + d**3 + 4*d - 2*d**2 - 7. Is x(5) a composite number?
True
Is 13347/36 + (-1)/(-4) a prime number?
False
Let l = 271 - 126. Is l prime?
False
Let d = -912 + 1334. Is d composite?
True
Suppose -y - 25 = -6*y. Suppose d - y*d = -348. Is d composite?
True
Suppose -5*o + 157 = -148. Suppose 4*z + o = v + z, v - 65 = z. Is v a composite number?
False
Suppose 4*a = a + 11196. Let b = a - 1975. Is b prime?
False
Let l(k) = -11*k**3 - 3*k + 1. Is l(-3) a composite number?
False
Let h(j) = -j**3 - 3*j**2 + 3*j + 1. Let z be h(-4). Let u(g) = 6*g**2 - g - 2. Is u(z) composite?
True
Let x(l) = -6*l**3 - 6*l**2 - l + 185. Let c(y) = 5*y**3 + 5*y**2 + y - 185. Let d(f) = -7*c(f) - 6*x(f). Is d(0) a composite number?
True
Suppose -6 = h - 2*g + 4, 3*h = 4*g - 20. Let k = 56 + -50. Suppose h = 2*x - k*x + 88. Is x a prime number?
False
Let f(n) = -n**3 + 17*n**2 + n - 4. Is f(7) a composite number?
True
Let f = -18 + 25. Let x(n) = -7*n**2 + 3*n - 9. Let z(i) = -4*i**2 + 2*i - 5. Let b(t) = -3*x(t) + 5*z(t). Is b(f) composite?
True
Suppose 3*x + 7 = -4*k, -6*x + 3*x = 3*k + 3. Suppose x*j = -2*j + 170. Is j a prime number?
False
Let m be (-8)/((-2 - 4)/3). Let l be (2 - m)*37/(-2). Suppose -w = 4*q - l, -w + 2*q = -0*w - 61. Is w a prime number?
True
Suppose 8040 = 23*s + s. Is s prime?
False
Let s(y) = y**3 + 6*y**2 + 4*y - 7. Let h be s(-5). Let f be (-736)/6*3/h. Let a = f + -119. Is a a prime number?
False
Suppose 0 = -8*g - g + 36747. Is g prime?
False
Let k(m) = -m**3 + 12*m**2 + 16*m - 14. Let w be k(13). Let q = 38 - w. Is q a prime number?
True
Suppose -2*r + 4*r + 8 = 3*q, 0 = 2*q + 5*r + 1. Is (0 + -53)*(-3 + q) a composite number?
False
Suppose 3*y + 0*y - 3 = 0. Let d(i) = -i**3 - 2*i**2 + 1. Let a be d(y). Let h(m) = -3*m**3 - 3*m**2 + 1. Is h(a) a composite number?
False
Let n(k) = 35*k - 4. Let f be 15/(0 - (-5 - -4)). Is n(f) composite?
False
Suppose 5*z + 31 + 9 = 0. Let v(i) = -i**3 - 8*i**2 - 7*i + 2. Is v(z) composite?
True
Let p(t) = t**3 + 13*t**2 - 21*t - 22. Is p(-13) a composite number?
False
Let k = -204 + 547. Suppose -c = -5*w - 2*c + 861, 2*w = c + k. Suppose 0 = j - 4*x - 53, -5*j + x + w + 17 = 0. Is j composite?
False
Let d be (-2)/(-9) + 196/9. Let g = d - 32. Let r = g - -89. Is r prime?
True
Suppose 2*y - 70390 = -8*y. Is y composite?
False
Suppose n = -3*x - 2*x + 2230, 2*n - 455 = -x. Is x a prime number?
False
Suppose -q = -2*q - 4. Let k(a) = -a**3 - 4*a - 1. Is k(q) a prime number?
True
Suppose 5*q - 20 = 4*r + 5, -5*r - 35 = -5*q. Let f(u) = -2*u**3 - 2*u + 1. Let n be f(-2). Let j = n - r. Is j prime?
True
Let a(v) be the second derivative of 2*v**3/3 - 5*v**2/2 + v. Is a(11) composite?
True
Suppose -2*k = 4*k - 90. Is k a composite number?
True
Suppose 8*r + 5316 = 5*r. Is -2 + 3 + r/(-2) a composite number?
False
Let x be ((-39)/(-9))/((-2)/354). Let f = x + 1254. Is f a composite number?
False
Let o = 20 + -13. Let r = -2 + o. Suppose 3*g + 182 = r*g. Is g prime?
False
Suppose 4*d = 4 + 16. Suppose 2*s = d*s - 597. Is s composite?
False
Let f(u) = 2 - 160*u - 3 + 34*u - 32*u. Is f(-1) a prime number?
True
Suppose -11 = 3*q + 4, 0 = 4*m + 4*q - 2024. Is m composite?
True
Let h = -3 - -3. Let o be (2 - (1 - h)) + 12. Let c = 9 + o. Is c a prime number?
False
Let o(y) = y**3 + 4*y**2 + 3*y + 1. Let m be o(-2). Let p(x) = 74*x - 7. Is p(m) a prime number?
False
Let h = 70 - 41. Let c = h + 81. Suppose -k + c = k. Is k prime?
False
Let p = -258 - -1396. Is p prime?
False
Let g(y) = y**2 + 10*y - 7. Let a be (-1)/(-3) - 17/(-3). Is g(a) a composite number?
False
Suppose 3*z + 2*z = 10. Suppose 0*w - 2 = -z*w, -345 = -4*i + 3*w. Is i a composite number?
True
Suppose 24*w - 15545 = 19*w. Is w composite?
False
Suppose -1668 = -4*d + 4*z, 5*d + 0*z - 2081 = 4*z. Is d a prime number?
False
Let c = 89 + -52. Is c composite?
False
Let u be (-4)/(-6)*(2 - -7126). Suppose 5947 = 5*m - 0*c + 2*c, -3*c + u = 4*m. Suppose t - 5*p - 473 = -t, -5*t = -4*p - m. Is t composite?
False
Let y(n) = 3*n**2 - 6*n - 32. Is y(15) prime?
False
Suppose 5 = l + i - 0, -3*i + 10 = 2*l. Suppose l*a + 11 = 4*v, -2*v + 2*a - 2 + 6 = 0. Is 47 - 0*v/(-3) composite?
False
Let i(m) = 34*m**3 + 2*m**2 - 1. Suppose -5*v = 15, 3*w + 2*w = -v + 2. Is i(w) prime?
False
Is (-5790)/(-1*3) + 3/3 prime?
True
Suppose 0 = -2*y - 0*y + 506. Is y prime?
False
Suppose 2*r = -4*k - 10 - 10, 3*r = 5*k + 14. Is -28*-17*(-1)/k a prime number?
False
Let x(s) = s - 3. Let z be (-2)/(((-18)/(-15))/(-3)). Let d be x(z). Suppose 3*f + 2*l - 116 = -f, -d*f - 2*l = -54. Is f a composite number?
False
Suppose -4*a - 897 = -i - 2*a, a = 3*i - 2686. Let o = i + -468. Is o prime?
False
Is (-3)/3*1706*(-4)/8 a prime number?
True
Let q be (-1)/(-3) + (-13)/3. Let p = q - -6. Suppose -5*s = -p*b + 46, -4*b + 32 = -3*s + 8*s. Is b a composite number?
False
Suppose 6*h - 148 = 4*h. Suppose -3*j + j = -h. Is j prime?
True
Suppose -23 = -5*q + 4*p, 3*p - 9 = 5*q - 10*q. Suppose 0 = -l + 5*x + 58, -3*l + 51 = -l + q*x. Is l a composite number?
True
Let f(m) = m**3 + 7*m**2 - 9*m - 5. Let q be f(-8). Suppose 0 = q*z