ppose 5*c - i - 1358 = 2*i, -537 = -2*c - 5*i. Suppose c - 34 = 3*u. Is u a prime number?
True
Let w = -8 + 10. Suppose 104 = w*g + 18. Is g a prime number?
True
Is (541/(-5))/(22/(-110)) a prime number?
True
Let u(l) = 30*l + 1. Suppose -4*b + 2 = -2*b. Let n be u(b). Let c = n - -22. Is c a prime number?
True
Let r(y) = y**2 - 2*y + 2. Let n be r(3). Suppose 3*s - 144 = -n*o, -s + 6*s = -5*o + 250. Is s a prime number?
True
Let k(y) = y**3 - y**2 - y + 20. Let o be k(0). Suppose -5*z + q + 1 = 5, -5*q = -o. Is (z - -1)*3*2 a prime number?
False
Let q(p) be the first derivative of -p**4/4 + 8*p**3/3 + 9*p**2/2 - 10*p - 3. Let z be q(8). Let r = 177 - z. Is r prime?
False
Let x be (1/1)/(2/14). Let u(z) = z**3 - z**2 - 6*z + 9. Let t be u(x). Suppose -t = -3*c - 0*c. Is c prime?
False
Let g(p) = 3*p**2 + 4*p + 1. Let k be ((-7)/(-14))/(1/10). Suppose -h + x - 27 = -6*h, k*x = -15. Is g(h) a prime number?
False
Suppose -4*s - s = -4*q - 5275, s - 4*q = 1055. Suppose z + 4*z = s. Is z a prime number?
True
Suppose 4*j = -4*b + 9584, j + 2*b + 7183 = 4*j. Is j a composite number?
True
Let i = 73 - 34. Let y = 78 - i. Is y prime?
False
Suppose 1610 = 2*y - 776. Is y prime?
True
Suppose -l + 1116 = 5*n, -3*l + 0*l + 672 = 3*n. Is n prime?
True
Let h = -112 + 394. Let f = -462 + h. Is f/(-8) - (-1)/(-2) composite?
True
Is (6/4 + -1)*41*34 composite?
True
Let a(z) = 17*z. Let w be a(-14). Is w/(-22) + 10/55 prime?
True
Suppose -4 + 12 = 2*i. Suppose 323 = 4*a - x, i*x - 452 + 22 = -5*a. Is a prime?
False
Let u(x) be the first derivative of 83*x**3/3 - x**2 + 3*x + 10. Is u(2) a prime number?
True
Suppose -2*k - 8 = -2*a, -a = 4*k - 2*k + 11. Let h(c) = 2*c**2 - 4. Let r be h(-3). Let n = r + a. Is n a prime number?
True
Suppose 4*c - 25 = -3*i, 11 = 5*c - 4*i + i. Suppose -74 = -4*t + 3*x + 7, -5*t + c*x = -102. Is t*(0 + 1) + 1 prime?
True
Let a(b) = b**3 + 7*b**2 - 3*b. Let c be 5/20 - 46/(-8). Let x be 7*-2*3/c. Is a(x) composite?
True
Is 4/(-28)*-2137 - (-2)/(-7) a composite number?
True
Suppose -o + 930 = 2*q, 4*o + 3*q - 3710 = -0*q. Is o composite?
True
Suppose 5*i - 287 = 453. Suppose h + 3*h - i = 0. Is h prime?
True
Is 406 - (-4)/(8/6) a prime number?
True
Let d(a) = -4*a**3 - 5*a**2 - 6*a - 19. Is d(-6) composite?
False
Let x = 7 + -80. Let u = x + 126. Is u a composite number?
False
Is ((-14)/21)/(-1 - (-19335)/19341) a prime number?
False
Let j = -46 - -102. Suppose 0 = 2*w - j - 14. Is w composite?
True
Let k = 446 + -195. Is k a prime number?
True
Let s(r) = 6 - 4 - 3 + 6*r**2. Is s(-2) a composite number?
False
Let q(a) = -a + 5. Let f be q(5). Suppose 5*l + 0*h - 25 = -5*h, -2*h = -6. Suppose 3 = -0*n + n - 4*g, f = 2*n - l*g - 12. Is n a composite number?
False
Let g(i) be the third derivative of -9*i**5/40 + i**4/12 + i**3/2 + 2*i**2. Let b(n) be the first derivative of g(n). Is b(-7) a composite number?
False
Suppose 3*z - 2*j = 7079, 3*z - z + 3*j - 4715 = 0. Is z a composite number?
True
Is (590/(-2))/(9/(-9)) composite?
True
Let x = 396 - -359. Is x prime?
False
Let r(d) = d**2 + d. Let p(m) = 5*m - 2. Let f(j) = -p(j) + 6*r(j). Is f(3) composite?
False
Suppose -3*z = 2*u - 19, -2*z - u + 2 = -9. Suppose y - 86 = -z*p, -y + 2*y = p + 66. Is y a prime number?
True
Let c(t) be the second derivative of -3*t - 3*t**2 + 0*t**3 + 0 + 1/12*t**4. Is c(-7) a composite number?
False
Suppose -25 = 6*d - 319. Is d a prime number?
False
Let f = -4 - -10. Suppose -4*w - 5*i = -567, w = 3*i - f*i + 140. Is w composite?
True
Let i(s) be the first derivative of s**6/72 - s**5/40 - s**4/24 - s**3/3 - 4. Let z(r) be the third derivative of i(r). Is z(4) composite?
False
Let o(w) = -w**3 + 9*w**2 - 11*w + 10. Let l be o(8). Let r = -22 - l. Is r/(-44) + 2099/11 a prime number?
True
Let v = 9 - 7. Let s(z) be the first derivative of 19*z**2/2 - z + 1. Is s(v) a prime number?
True
Is 6/45 + 99515/75 composite?
False
Let w(r) = 5*r**2 - 10*r + 6. Let m(i) = -4*i - 12*i + 11*i**2 - 5*i + 17 - 4. Let k(c) = -3*m(c) + 7*w(c). Is k(6) a prime number?
False
Let f(a) = -3*a**2 + 6*a - 11. Suppose 2*z + 4*u + 12 = 0, 10 = z - 0*z - 2*u. Let l(h) = 2*h**2 - 3*h + 5. Let w(n) = z*f(n) + 5*l(n). Is w(4) a prime number?
False
Suppose 380 = 3*x - 757. Is x a prime number?
True
Suppose 2*d + 8 = -v, -3*v - 2*d - 9 = d. Suppose 0 = -0*k + v*k - 50. Let c = -18 + k. Is c a prime number?
True
Let u = -4 + 1. Let k = 3 - u. Is 2106/8 + k/(-24) a prime number?
True
Let d(i) = i**2 - 11*i + 10. Let v be d(10). Let f be 78*((-6)/(-9) - v). Suppose -4*w + f = -0*w. Is w composite?
False
Let a(o) = 2*o**2 + 4*o + 3. Let s be 0 - (-1)/(-1 - -2). Let v = s + -5. Is a(v) prime?
True
Let d = -185 + 418. Is d a prime number?
True
Suppose 0*i = -i + 22. Suppose o = -0*o - i. Is o/(0 + -2 + 0) a composite number?
False
Is -177*(5/3)/(-5) composite?
False
Let m(t) = t**2 - 13*t + 13*t. Suppose 0 = f - 2*f - 7. Is m(f) a composite number?
True
Let t(z) = -z**2 + 14*z - 13. Let a be t(11). Let j be 5*-1*(-1048)/a. Suppose 0 = 4*d - j + 14. Is d a composite number?
True
Let g be ((-15)/10)/(3/56). Let j(t) = 3*t**2 + 2*t + 3. Let l be j(4). Let n = l + g. Is n a prime number?
True
Let s be 2/(-2) + (-29 - 0). Let k be ((-8)/(-10))/(3/s). Let d(v) = -v**3 - 5*v**2 - 2*v + 3. Is d(k) a composite number?
False
Let h(t) be the first derivative of 19*t**5/40 - 2*t**3/3 - 1. Let o(p) be the third derivative of h(p). Is o(1) a prime number?
False
Let b(w) = 7*w**2 - 7*w + 5. Is b(-6) prime?
False
Let x(u) = -8*u - 2. Let n be x(-3). Let k be 1/(-3) - n/6. Let w = -1 - k. Is w composite?
False
Let m = 581 - -6. Is m prime?
True
Let i(m) = m**2 + 30*m + 9. Let g be i(-22). Let p(n) = 7*n + 2. Let q be p(-6). Let j = q - g. Is j composite?
False
Suppose -2*h - 6 = -4*i, -2*i + 21 = 2*h - 5*h. Let g = -6 - h. Suppose -g*m - 25 = 2*m, 4*t - 882 = -2*m. Is t composite?
False
Is 1*(-4 + (184 - (5 + -2))) a composite number?
True
Let i(o) = 6*o + 3. Let x be i(4). Let p = 9 + -15. Let a = x + p. Is a composite?
True
Suppose -u + 4*k = 1, 3*u + 3*k - 13 = -k. Is 67/(4/1 - u) a prime number?
True
Let n = 3 + -7. Let a = n + 6. Suppose -3*w = 4*s - a*s - 21, -3*s = 0. Is w composite?
False
Suppose -b = -13 + 3. Let t(w) = -5*w**3 - 35*w**2 + 4*w - 39. Let n(h) = -2*h**3 - 12*h**2 + h - 13. Let p(y) = -8*n(y) + 3*t(y). Is p(b) composite?
False
Is ((-4106)/(-8))/((-13)/(-52)) a prime number?
True
Let d(p) be the second derivative of 127/2*p**2 + 4*p - 1/6*p**3 + 0 - 1/12*p**4. Is d(0) composite?
False
Let n = 122 + -213. Let l = 156 + n. Is l a composite number?
True
Suppose -l = 2*v - 155, 0*v + 183 = l - 5*v. Is l composite?
False
Let k(h) = h**3 + h + 469. Let a be k(0). Suppose -4*b + m = -273 - a, -2*b - m = -368. Is b composite?
True
Let x(j) = -j**3 + 11*j**2 - 4*j - 5. Let l = 1 + 3. Let i be (0 - -2)*14/l. Is x(i) a prime number?
True
Suppose 3*n - 56 = 7. Let f(t) = 3*t - 1. Let z be f(1). Suppose -17 = -z*u + n. Is u composite?
False
Let c(u) = u**3 - 2*u**2 + u - 2. Let a(b) = 2*b**2 - 3*b**2 + 0*b + 3 - 6*b. Let r be a(-6). Is c(r) composite?
True
Let c(x) = -26*x**3 - 2*x**2 - 4*x + 7. Is c(-3) composite?
True
Let n(q) = q**2 + 3*q + 3. Let u be n(-2). Let m(x) = 186*x**3 + 2*x**2 - 2*x + 1. Is m(u) a prime number?
False
Let d be -1 + -3 + 3 - -5. Suppose -124 = -h - 5*k, d*h + 4*k - k = 411. Suppose -4*q = -37 - h. Is q a composite number?
True
Let y(a) = 16*a**2 + a + 1. Let l be y(2). Suppose l = 4*v - 89. Is v a prime number?
False
Suppose 4*c = -2*d + 13518, 4*d - 3*c - 27101 = 2*c. Is d prime?
False
Suppose -5*a - 5*m + 1850 = 0, -4*a = -2*m - 0*m - 1498. Is a prime?
True
Let j = -10 - -12. Suppose -j*i - 4*f = -46, -5*i + 140 = f + 4*f. Is i prime?
False
Let a = 577 + -383. Is a a prime number?
False
Suppose 2*n + 0*n + 10 = 0. Let d(g) = -15*g - 1. Is d(n) a prime number?
False
Suppose 15 = 2*j + 5*i + 2, 3*j - i + 6 = 0. Let v be (j + -1)/(1/(-98)). Suppose -s = -5*s + v. Is s a prime number?
False
Suppose 5*f + 25 = 0, -2*f + 668 + 723 = 3*m. Is m a prime number?
True
Suppose 2*y - 2 + 6 = -3*l, y = -l. Suppose -b = 5*w - 107, 3*w - 2*b = y*w - 25. Is w composite?
True
Let p(u) = 3*u**3 + 2*u**2 - u - 4. Let b = 18 + -12. Let f be p(b). Let t = f + -507. Is t composite?
True