6*q + (-2)/(-2) prime?
False
Let s(n) = 2*n - 1. Let x(l) = -5*l + 1. Let t(c) = -7*s(c) - 3*x(c). Is t(6) prime?
False
Let i = 471 - 52. Is i a prime number?
True
Suppose 705 = 4*q + q. Is q composite?
True
Suppose -8*j + 20387 = 11*j. Is j a composite number?
True
Suppose 0 = 2*i + 1934 - 6712. Is i a prime number?
True
Suppose 28*p - 1081 = 27*p. Is p prime?
False
Let p(x) be the third derivative of x**6/120 + x**5/5 + 11*x**4/24 + 7*x**3/6 + 2*x**2. Let s be (-8)/2*(-10)/(-4). Is p(s) composite?
False
Suppose 0 = -0*w + 3*w - 15. Suppose -450 = -w*y + 115. Is y prime?
True
Let k = 3659 - 2296. Is k prime?
False
Is 1188/20 + (-4)/10 composite?
False
Let j(p) = p**2 - 9*p + 3. Let o be j(8). Let l(h) = h**2 + 7*h + 7. Let d be l(o). Is 7 - 0/(d + 2) a composite number?
False
Let n(x) = 3*x**2 + 3*x + 1. Let h = 6 + -9. Is n(h) a prime number?
True
Suppose 30*x - 21944 = 22*x. Is x composite?
True
Let f = -419 + 785. Suppose 0 = -5*k - g + f, 3*g + 0*g = -12. Is (k/(-8))/(2/(-8)) composite?
False
Suppose 12490 = 5*q + 5*g, 9*q - 7*q + 3*g = 4991. Is q composite?
False
Suppose 2*d + 3*j = j - 112, 0 = 4*d + 5*j + 229. Let l = 118 + d. Is l a prime number?
True
Suppose -z + 35 = 2*z - 2*b, 52 = 5*z + 3*b. Is (z/33)/(2/762) a composite number?
False
Let q be (-2 - 2)/(3 + -4). Let k(n) = n**2 + 2*n + 2. Is k(q) composite?
True
Suppose 427 = -2*w + 2*d + 3*d, 5*w + 1111 = -2*d. Let p be (0 + 0)/2 - w. Let z = p + -136. Is z prime?
False
Let p = -3 + 3. Suppose -h + p = -2. Suppose 2*j - 18 = -a, h*a - j - 48 = -2*j. Is a prime?
False
Suppose -3*l - 2*g - 221 = -4*l, 0 = 3*l - 5*g - 664. Is l a prime number?
True
Let t(o) = o**2 - 7*o + 2. Let y be t(7). Suppose 4*w + y*f + f - 5 = 0, 4*f = 5*w - 14. Suppose -w*m - 187 = -3*m. Is m a prime number?
False
Suppose l + 2*z + 1 = -5, l - 2*z = -6. Let a be 47/(-3) - 4/l. Is ((-5)/a)/(2/114) composite?
False
Let p = -166 + 289. Is p prime?
False
Suppose 5*y - 2*a + 1 = -1, -3*y = -5*a - 14. Is 25176/32 - y/8 a prime number?
True
Suppose 2*p = p. Suppose -3*w = -2*t - 3 - 4, p = -t - w + 9. Suppose 5 - 513 = -t*q. Is q prime?
True
Let c(f) = f**2 - 4*f + 2. Let p be c(3). Let z be (-402)/(-9) - p/3. Suppose 15 = -5*r - 2*t + 59, 5*t + z = 3*r. Is r a prime number?
False
Let b = 7760 - 12164. Is (-4)/14 - b/28 composite?
False
Suppose q + 4 = -2*c, -2*c + 4 = -0. Let h be -1 + (-1 + q)*-2. Suppose h = m + 2*x, -m - 59 = -4*m - 4*x. Is m prime?
False
Suppose -3*g = -0*g - 6, -2*t + 3*g + 756 = 0. Is t composite?
True
Let j(y) = 2 - 3*y + 5*y - 3. Let u be j(6). Let q = u + 15. Is q composite?
True
Let n(u) = u**2 + 6*u + 2. Let l = -9 + 3. Let h be n(l). Suppose 0 = -h*f + 118 - 8. Is f prime?
False
Let z(j) = -j**3 + 5*j**2 + 4*j + 8. Let i be z(6). Let b = i - -6. Suppose b*y = 6, 2*y + 113 = p - 0*y. Is p a composite number?
True
Suppose -4*w + 72 + 300 = 0. Is w prime?
False
Suppose 5*p + c = 9237, -p = -5*p + 4*c + 7380. Is p a prime number?
True
Let i = 105 - 11. Let j = 137 - i. Is j prime?
True
Let w(s) = 6*s - 14. Let h be w(13). Suppose -4*d - 46 = 106. Let a = d + h. Is a composite?
True
Let j(f) be the second derivative of 3*f**4/4 + f**3/3 + f. Is j(3) prime?
False
Suppose -m = 2*x - 3673 + 1171, -2*x + 2490 = -2*m. Is x a prime number?
True
Let g be 1/1 + (-16)/(-4). Suppose 5 = 2*m + 5*c, -1 - 3 = -g*m - 4*c. Suppose 2*l - 7*l - t + 1085 = m, -t - 217 = -l. Is l a prime number?
False
Let k = 771 - 440. Is k a composite number?
False
Let n be -2 - -87*(-3)/(-3). Let t = -18 + n. Is t composite?
False
Suppose -q + 4 = -0*q. Suppose q*n - 430 = -5*x, 204 = 4*x + 2*n - 140. Is x a composite number?
True
Suppose -a = 3 - 9. Let m(b) be the third derivative of b**4/4 + b**3/6 + 7*b**2. Is m(a) composite?
False
Let h(c) = 2*c**2 + 5*c**2 + 5*c**3 + 7*c - 4*c**3 - 4*c + 7. Let s be h(-6). Suppose 0 = -2*j - 3 + s. Is j a composite number?
False
Let h = 484 - 249. Is h composite?
True
Let t(q) = q**3 + 13*q**2 + 11*q - 7. Let o be t(-12). Suppose 4*v - 256 = -o*u, -2*v - u - 3*u = -122. Suppose g + 0*g = v. Is g composite?
True
Is 3 + 46/(-14) - (-50380)/28 a composite number?
True
Suppose b + 2 = 37. Suppose -5*n = -10*n + b. Is 75/7 + 2/n a prime number?
True
Let h(o) = 5*o + 6. Suppose -6 = -f + 2*f. Let k(t) = 4*t + 5. Let y(x) = f*h(x) + 7*k(x). Is y(-4) a composite number?
False
Let x = -966 + 1621. Suppose 2*o = -o + 6. Suppose -7*j + o*j + x = 0. Is j composite?
False
Let u(i) be the first derivative of 2*i**3/3 - 5*i**2/2 + 4*i - 1. Is u(3) prime?
True
Let z(r) = r + 7. Let n be z(-5). Suppose -n*i + 2*s + 0*s = -366, 16 = 4*s. Is i a prime number?
False
Let l = 4 - 7. Suppose -2*i = 3*i. Is 3/l - (-92 - i) composite?
True
Suppose -4*x = -3*n + 1266, 0*x - 3*x = 0. Is n composite?
True
Let r(a) be the first derivative of 28*a**3/3 + a**2 - 2*a + 3. Let d be r(-3). Suppose -5*q + d = 9. Is q a prime number?
True
Suppose 4*s + 32 = 5*s + 5*c, 0 = -3*s - c + 110. Suppose 5*i - 115 = 4*u, 8 = -2*i + 5*u + s. Suppose i = h - 12. Is h composite?
True
Let g(q) = 3*q**3 - 3*q**2 + 6*q - 5. Suppose y = -3 + 7. Is g(y) a composite number?
False
Suppose c = -3*n + 1043, -n + 1727 = 4*n - 4*c. Is n prime?
True
Let v = 235 + -138. Is v a composite number?
False
Let d be 574/6 + (-2)/3. Suppose -q + 91 = -5*x, -x - d = -q - 0*x. Suppose 3*g = o + q, 5*o + 82 = 5*g - 68. Is g a composite number?
True
Let y = -3375 + 5030. Is y prime?
False
Suppose -5*l + 4105 = -2*s, -6*s = -10*s. Is l prime?
True
Let m(t) = 17*t**3 - 4*t**2 + 4*t - 1. Suppose l = -3*l + 5*j + 8, -2*j = 2*l - 4. Is m(l) prime?
True
Let x(r) = r**2 + 8*r + 4. Let l be x(-3). Let q = 14 + l. Is q prime?
True
Let f(n) = n**2 + 3*n + 4. Let j be f(-3). Suppose -l = -j*l + 150. Suppose -4*b + l = -90. Is b a prime number?
False
Suppose 3*i = 15 - 6. Let g(b) = 4*b**2 - 2 + 2*b**2 + 4*b**2 + 3*b. Is g(i) composite?
False
Let p be 20/(-15) - 44/(-6). Suppose 3*s - 222 = -3*v, 2*v + p*s - 138 = 2*s. Is v composite?
False
Suppose -3*u + 907 = -2*u. Is u a composite number?
False
Let c = -2 + 0. Let i be 3*c*3/(-9). Suppose 0 = -2*z - 3*g + 127, 2*g - i = 4. Is z a composite number?
False
Let x(t) = -82*t + 29. Is x(-15) composite?
False
Let s(p) = 2*p + 2. Let y be s(-5). Let b(x) = x**2 + 9*x + 8. Let w be b(y). Suppose 0 = -w*q - 2*q + 26. Is q a composite number?
False
Let d(m) = -m + 1. Let v(f) = -f**2 - 9*f - 3. Let r(h) = -3*d(h) + v(h). Let u be r(-4). Suppose 0 = -n - 4, -u*x + 540 = 2*x - 4*n. Is x prime?
True
Suppose 0 = 5*f - 13 - 7. Let a(h) = -3*h**2 - 1 + f - h**3 + 2 - 4*h. Is a(-4) a composite number?
False
Suppose 270 = 5*t + 5*k, -3*k = -6*k + 6. Let r = 59 + t. Is r prime?
False
Let n(i) = 16*i + 4 - 2 + 0 - 3. Is n(5) a composite number?
False
Suppose 0 = 3*s + 148 - 13. Suppose -p + 5*p = -12. Is (7/p)/(5/s) composite?
True
Let z(c) = -c**3 - c**2 + 3*c - 5. Is z(-4) a composite number?
False
Let a be 2/(-5) - 470/(-50). Is 2/3 - (-327)/a a prime number?
True
Let x(m) = 30*m**2 + 3*m + 2. Let f(d) be the second derivative of -119*d**4/12 - 13*d**3/6 - 9*d**2/2 - 2*d. Let b(a) = 2*f(a) + 9*x(a). Is b(-1) composite?
False
Suppose -4*l = -l - 1134. Let x = -158 + l. Let a = -127 + x. Is a a prime number?
False
Let c(l) = l**2 - l - 9. Let n be c(0). Let q = 35 + n. Is q a composite number?
True
Is (4*265/40)/(3/222) prime?
False
Let d(j) = j**2 - 5*j + 2. Let q be d(3). Is ((-249)/(-6))/((-2)/q) a composite number?
False
Let m(g) = -40*g + 3. Let s = -8 + 4. Is m(s) composite?
False
Suppose 0 = -5*b + 1822 + 3963. Is b a prime number?
False
Suppose -4*g + 86 = -3*g. Let m = 126 - g. Suppose -3*r + 156 = -3*n, -r - 3*n + m = -0*n. Is r a composite number?
True
Let c(v) = 4*v + v**2 - 2 + 2*v + 2. Let a be c(-8). Suppose -668 = -4*m + 4*x, x + a = -3*x. Is m composite?
False
Let g(v) be the third derivative of v**5/30 + v**4 + 7*v**3/6 - 3*v**2. Is g(-18) a composite number?
False
Suppose g - p - 14 = 0, -5*g + 0*g - 5*p = -110. Let n = 107 - g. Is n prime?
True
Suppose g = 3*w + 37, 0 = -2*g + 4*g + 5*w - 129. Let f(c) = -c + 3. Let p be f(0). Suppose -p*o = o - g. Is o a composite number?
False
Suppose -5*s = -2*s - 5*u - 14, -s + 5*u + 8 = 0. Suppose -g - 2*g + 5*r - 4 = 0, -s*r + 14 = 4*g. Is g a composite number?
False
Le