 Let h(m) = m - 12. Let x(z) = 2*d(z) - 5*h(z). Is x(q) a composite number?
True
Let f = -2999 - -4726. Is f prime?
False
Let z(x) = -79*x - 31. Is z(-2) prime?
True
Suppose d = -5*q + 65, 2*d + 5*q = 6*d - 185. Let w = d - -50. Suppose 0*z + 89 = 3*z + 5*x, -2*x + w = 4*z. Is z composite?
False
Suppose s = -2*s. Suppose -j + 0*j + 201 = s. Is j prime?
False
Suppose 2*d - 1 = -j - 7, 3*d = -3*j - 6. Suppose 0 = f - j*f - 28. Let b = 43 + f. Is b composite?
True
Suppose 2656 = 4*i + 4*p, 2*i - 661 = i - 2*p. Is i a prime number?
False
Let h(r) = -26 + 12 + 45*r + 9. Is h(6) a composite number?
True
Suppose 5*q = 4*q + 5. Suppose 206 = q*g - 5*j + 36, 5*j = 15. Is g prime?
True
Suppose m + 12 = -2*m. Let p be 7011/(-133) - (1 + 5/(-7)). Is (1 + 27)*p/m a composite number?
True
Suppose 2*y + 23 = -69. Is (-1)/((-1)/(-3)) - y a composite number?
False
Let z(l) = -l + 4. Let h be z(-3). Suppose 2*b = -h + 161. Is b composite?
True
Suppose 5*s - 4*x - 1138 = 0, s + 4*x + 112 - 330 = 0. Is s a prime number?
False
Let a = -439 + 642. Is a prime?
False
Let k(b) = -8*b + 9. Is k(-5) composite?
True
Suppose 2*h = h + 37. Is h composite?
False
Let v(d) = d + 1. Let a be v(2). Suppose -a = -5*q + m + 3, -4*m + 18 = q. Suppose 39 = z + p, 2*z + q*p = 5*z - 107. Is z prime?
True
Suppose -2*r + 48 - 16 = 0. Suppose -4*b = i + r, -2*i - b = -4 + 1. Is 234/12*i/6 a composite number?
False
Suppose 3*n + 2*x - 21 = -3*x, 4*n = -4*x + 28. Is n a composite number?
False
Let h(f) = 11*f - 2. Let z = -6 + 17. Is h(z) a composite number?
True
Suppose -12*n + 3984 = -252. Is n composite?
False
Suppose 0*w - w = -2. Let p(y) = -4*y - w*y - y. Is p(-1) a composite number?
False
Suppose 2*n + 7*u + 24 = 2*u, 0 = 5*n - u + 6. Is (-1774)/(-14) + n/(-7) composite?
False
Suppose 3*o + 3 + 0 = 0. Let m be o/3 + 6/(-9). Is 22/(-6)*(m - 14) prime?
False
Let y(j) = -j - 1 + 13 + 23. Is y(0) a prime number?
False
Let k = -4 + 8. Suppose 4*z - 66 = -5*t + 3*z, k*t = 3*z + 68. Suppose 0*g + t = g. Is g prime?
False
Suppose 3*y + i + 1592 = 8*y, 0 = 2*y - 3*i - 629. Is y composite?
True
Let d(n) = n**2 - n - 1. Let i(o) = -22*o**2 + 3*o + 3. Let f(s) = -2*d(s) - i(s). Is f(2) a composite number?
True
Is (958/(-4))/((-172)/(-88) - 2) a composite number?
True
Let i be (75/20)/(3/(-8)). Let p = i - -15. Is -1 + p/((-10)/(-104)) a prime number?
False
Let s(t) = -t**3 + 13*t**2 - 16*t - 15. Let q be s(12). Let h = 114 + q. Is h a prime number?
False
Let m(q) be the second derivative of -q**3/6 + 67*q**2/2 - 9*q. Is m(0) a prime number?
True
Let x be 2 + 1 + (-6 - 3). Is ((-8)/x)/(4/18) a composite number?
True
Suppose -4*n = -10 - 1258. Is n prime?
True
Suppose 0*h = -3*h + 12117. Is h a composite number?
True
Suppose -2*m - 2*p = 3*m + 25, -2*m - 21 = 3*p. Let u = 30 + m. Suppose -2*b - 4*t + 23 = -u, 3*t + 120 = 3*b. Is b composite?
True
Suppose 0 = 2*j + j + v - 66, 0 = -v. Is j a prime number?
False
Let q(d) = -16*d**3 - d**2 - 3*d - 2. Let p be q(-2). Let j = -57 + p. Let g = j - 50. Is g a composite number?
True
Suppose -2*z + 2802 = 4*z. Is z prime?
True
Let h(k) = -k + 1. Let o = 0 + 1. Let f(q) = 10*q - 3. Let x(s) = o*f(s) + 6*h(s). Is x(4) prime?
True
Let b(x) = x**3 - 4*x - 1. Let k be b(3). Suppose 3*f - y + 5*y + 1 = 0, y + k = 2*f. Suppose f*j - j - 44 = 0. Is j composite?
False
Let o = 21 - 15. Let p be (o/(-2))/(-3) - -5. Suppose -3*c - p = 3*l + c, -l - 1 = c. Is l a prime number?
True
Let a(r) = -r**3 + 2*r**2 + 2*r - 1. Let t be a(2). Suppose -t*m + 24 = m. Suppose s - m*s + 175 = 0. Is s prime?
False
Is 2842 + -1 + (-4 - -3) + -1 a composite number?
True
Let x(c) = 4*c - 3. Let a be x(2). Let d = a + -8. Is -2 - ((0 - 1) + d) composite?
False
Is -2 + 1 + 4 + 376 a composite number?
False
Let j = -2202 - -3211. Is j a prime number?
True
Let m(s) = 2*s**2 - 22*s - 1. Is m(15) prime?
False
Let r(q) = -5*q - 2. Let u be r(-4). Suppose -g = -i - 5*g + 15, 24 = 4*i - 2*g. Let d = u - i. Is d a composite number?
False
Suppose 5*u - 6568 = 7927. Is u a composite number?
True
Suppose 0 = t + 2*s + 2*s + 122, 0 = 5*s + 25. Let q be (t/(-9))/(4/18). Is (-1 - (2 - 1)) + q a prime number?
False
Suppose -2*x + 4 = -86. Let h(o) = 2*o + 2 + x*o - 1. Is h(2) a prime number?
False
Suppose -54 - 10 = -4*i. Suppose -2*y + 6*y = i. Is y prime?
False
Suppose -147 = -u - 2*u. Suppose -51 = -4*c + u. Is 15/6*(c - -1) a prime number?
False
Let o = -150 - -401. Is o a prime number?
True
Let d = -36 + 29. Let q(o) = o - 1. Let v(x) = -30*x - 1. Let k(g) = -3*q(g) + v(g). Is k(d) a composite number?
False
Suppose 12 = 5*m - 8, 0 = 5*c + 2*m - 33. Suppose 5*v + c*w + 50 = 0, 3*v + 0*w + 29 = -2*w. Let x(p) = -p**2 - 10*p - 2. Is x(v) a composite number?
False
Suppose 3*q + 5*r = 171, -3*q - 228 = -7*q - 3*r. Let h = q - -17. Is h composite?
True
Suppose -2*k = -8*k + 1002. Is k composite?
False
Suppose -5*k + g + 925 = 0, 0*k - 185 = -k - 2*g. Is k composite?
True
Let v(f) = 42*f**2 + 4*f - 4. Let m be v(3). Suppose 2*p + 3*n = 242, -n - m = -3*p - 1. Is p a composite number?
False
Suppose -o = 1 + 1. Let l(s) = 18*s**2 - 4*s - 3. Is l(o) a composite number?
True
Suppose -4270 = -4*b - 1202. Is b composite?
True
Suppose l - 10 = 4*b, -3*l = 5*b - 2*b - 15. Let c(o) = 21*o - 3. Is c(l) prime?
False
Let h(w) = w**3 - 6*w**2 + 8*w - 5. Let d be 74/14 + 10/(-35). Let o be h(d). Is (-3)/((-2)/o - 0) composite?
True
Is 6/14 + (-129260)/(-70) composite?
False
Is (3076/16)/((-1)/(-4)) a composite number?
False
Suppose 3*a - 2 = 4. Suppose -a*i - 2*d + d = -10, 4*i = -5*d + 14. Suppose -m + i*m = 125. Is m composite?
True
Let h(d) = 19*d**3 - 2*d**2 + 2*d - 3. Let v(o) = o**2 - 2. Let g(l) = l**3 - 3*l**2 + 4*l - 2. Let m be g(2). Let n be v(m). Is h(n) prime?
False
Let c be 16/12*(-3)/(-1). Suppose 0*f + c*f = 0. Suppose d + g = 22, -4*d + 4*g + f*g + 80 = 0. Is d composite?
True
Let a = 4 - 1. Let s(c) = c**3 - c**2 - 4. Is s(a) composite?
True
Let i = 3 - 1. Let f(y) = y**2 + y**3 - 2 - 6*y - 7*y**i + 2*y. Is f(7) a composite number?
False
Suppose -3*p - 3*m - 39 = -432, 5*p + 3*m - 647 = 0. Is p composite?
False
Let p be (-11230)/150 + 2/(-15). Let u = 83 + 75. Let z = u + p. Is z a composite number?
False
Let n(p) = 3*p - 6. Let f be n(4). Suppose 0 = 5*x + 4*m + 3, -5*x = -4*x + 3*m - f. Is (x/(-9))/(1/93) a composite number?
False
Let j be (0 + -1)*2 + 0. Let m be -18*(3 + j - 2). Let z = 33 + m. Is z composite?
True
Suppose 0*p = -3*p + 414. Let j = 583 - p. Is j a prime number?
False
Let k = 8 - 6. Let o be k/10 - 18/15. Is o/(0 - 1)*131 a prime number?
True
Is (-7137)/(-45) + (-3)/5 prime?
False
Suppose -4*m = -2938 - 658. Is m prime?
False
Suppose 0 = -2*w + 1 + 5. Suppose 0 = w*p - 118 + 664. Is (p/6)/((-1)/3) a composite number?
True
Suppose 0 = -5*z + 83 + 117. Is (-3)/((-6)/z) - 1 a composite number?
False
Suppose 3*z - 3697 = 386. Is z prime?
True
Suppose 3*g = -15, 2*y = 4*y + 2*g - 2. Is 2*(26 - y/2) prime?
False
Let j = -1062 + 1697. Is j prime?
False
Is ((-18028)/(-6))/((-62)/(-93)) prime?
True
Let q = -20 - -12. Let h = q + 8. Suppose h = 2*w - 57 - 97. Is w composite?
True
Let a(g) = 3*g**3 - 2*g - 1. Suppose 0*t - 2 = -t. Is a(t) a composite number?
False
Let u(z) = -12*z**3 - 3*z**2 + 2*z. Let t be u(-3). Is 3 + -4 + t + 1 a composite number?
True
Suppose -4065 = -k + 430. Suppose -5*a + k = 5*j, -3*a - 2*j = 3*j - 2705. Is a prime?
False
Let s be (-19 - -4)/((-2)/6). Suppose -u = 3*q - s, -3*u + q + 102 = -33. Suppose t = 6*t - u. Is t prime?
False
Let k = -2 + 2. Suppose k = 5*q - 4*q - 371. Is q prime?
False
Let j(m) = -m**3 + m**2 + m + 14. Let l be j(0). Let t be (132/(-11))/((-3)/(-2)). Let q = t + l. Is q prime?
False
Suppose 3*u - u = 16. Suppose 0 = -3*h + u*h - 275. Is h composite?
True
Let z(l) be the first derivative of l**6/120 + 185*l**3/6 - l**2 + 2. Let j(o) be the second derivative of z(o). Is j(0) prime?
False
Is (-2)/3 + 20425/15 prime?
True
Suppose 0 = -3*q + w + 708, 2*q - 100 = 2*w + 376. Is q a prime number?
False
Let u(f) = f + 4. Suppose -a - a = 0. Let m be u(a). Suppose 0*b - 3*b - m*c + 126 = 0, b + 2*c - 44 = 0. Is b a prime number?
False
Let i be 1462/18 + (-2)/9. Suppose -i - 25 = -2*t. Is t a composite number?
False
Suppose 5*j - 2*j = 0. Suppo