 m(12). Is k(v) composite?
True
Suppose 4*s + 0*s = 8. Suppose 2*p = 3*p + y + s, 0 = p + 3*y + 10. Suppose 74 = p*z - 148. Is z a composite number?
True
Let o(y) = -2*y - 1. Let w be o(-6). Suppose 3*u = i + w, 2*i = u + 6*i - 21. Suppose 4*j - 3*j - 3*c - 61 = 0, u*j = -c + 289. Is j prime?
False
Let t(z) = -691*z - 22. Is t(-5) a composite number?
False
Let q be (-17)/(-2)*196 + 5. Suppose q + 1361 = 4*w. Is w a prime number?
False
Is ((-34068)/(-10) + 5/25)/1 composite?
False
Let i = 82 + -78. Suppose -4*g + i*b + 0*b + 8640 = 0, -b - 8625 = -4*g. Is g a composite number?
True
Suppose -13*x + 4*x + 65061 = 0. Is x a prime number?
True
Let x(t) = 38*t**3 + t**2 + 13*t + 3. Let f(s) = 2*s - 36. Let a be f(20). Is x(a) a prime number?
True
Let z(u) be the third derivative of u**6/120 - 3*u**5/20 + 5*u**4/8 - 6*u**2. Is z(7) composite?
False
Let f = 5620 + 3289. Is f a composite number?
True
Let k(g) = 14*g**2 + 2*g. Let v be k(1). Let y = 6 - v. Let o(a) = a**3 + 17*a**2 - 11*a - 3. Is o(y) a prime number?
False
Suppose -3*m + 3015 = -5*n, -4*m = 5*n + 2934 + 46. Let t be -1 + n/(3 + 0). Let d = 346 + t. Is d composite?
True
Suppose -25 = 5*f, 4*v + 2*f + 8836 = 7*v. Suppose 9*n = 7*n + v. Is n prime?
True
Is (30 - -8113) + 0 + 0 a composite number?
True
Suppose -3*i = -78 + 3. Suppose 4*m - k = i, 6*m - m + 5*k = 0. Suppose -h = s - 49, -s + 139 = 2*s + m*h. Is s a composite number?
False
Suppose 3*z + z = -2*p + 6, -25 = -5*z + p. Suppose -z*u + 824 = -3*a, -2*u + a = -4*u + 412. Is u a prime number?
False
Let y(z) = z**3 + 9*z**2 + 2*z - 3. Let u be y(-8). Suppose -4*v = -9*v + u. Suppose 2*c + c - v = 0. Is c composite?
False
Let y = 50054 + -33459. Is y composite?
True
Let h be 24/11 + (-12)/66. Suppose -h*m - 2*l + 64 = 0, l - 4*l = m - 26. Is m prime?
False
Let o(a) = 4*a**2 - 6*a - 5. Suppose 6*f - f - 15 = 0. Suppose 4*t - 32 = -2*s - t, -f*s + 3*t + 6 = 0. Is o(s) a composite number?
False
Suppose -5*b + 529310 = 5*w, -3*b + 196210 + 121378 = w. Is b prime?
True
Suppose 4*l - 869 = 5*b + 1238, 0 = l + 5*b - 558. Is l prime?
False
Let p = -32920 + 46301. Is p a prime number?
True
Suppose 3*j = 4*j - 2013. Suppose -2*m + j = i, 1616 = 2*m - 4*i - 422. Is m prime?
True
Let d(b) = 5*b**2 + 2*b + 5059. Is d(0) prime?
True
Suppose -57*i + 4852 = -53*i. Is i a prime number?
True
Is (-74)/(5/670*-4) a prime number?
False
Let m be 0 - (3 + (-75)/5). Is (-3)/m - 5434/(-8) prime?
False
Suppose 120116 = 9*o - 5*o + 5*b, -4*o + 120116 = -5*b. Is o a composite number?
False
Let z(q) be the first derivative of 3*q**4/4 + q**3 + 5*q**2/2 + 2*q - 7. Let w be z(6). Let y = w - 537. Is y prime?
True
Let u(c) = -c + 1. Let d = 20 + -23. Let s be u(d). Is (-3)/(s/((-2148)/9)) a composite number?
False
Let j = 4861 + -2388. Is j a prime number?
True
Let u(w) = -4*w**3 + 3*w**2 + 5*w - 1. Let y(b) = b**2 + b. Let m(t) = u(t) - 5*y(t). Let z(k) = k**3 - 5*k**2 + 4*k - 2. Let o be z(4). Is m(o) a prime number?
True
Is (-1 - (-235062)/6) + 5 prime?
True
Suppose 1860 = 24*z - 6180. Is z composite?
True
Let i(p) = 5*p + 6*p - 26*p - 29. Is i(-4) a composite number?
False
Suppose 0 = 30*h - 32*h + 312. Let b = h - -161. Is b composite?
False
Suppose 29764 - 130893 = -7*f. Is f a prime number?
True
Is 780681/30 - 6/(-20) prime?
False
Is 220876/8 - -3 - 96/64 prime?
True
Suppose -2*p + p + 1193 = 0. Suppose 0 = -4*y + 1779 + p. Is y a composite number?
False
Let c = -83 - -35. Let z = c + 271. Is z a composite number?
False
Suppose -3*y + 3125 = 10532. Let z be (-2)/15 + y/45. Let l = 364 - z. Is l prime?
True
Suppose -6*b + 9*b = -9. Is 23/(b/(-45)*3) a composite number?
True
Let k = -3713 - -20676. Is k a composite number?
False
Suppose 41*l - 34*l = 82117. Is l a prime number?
True
Let u = -594 + 157. Let s = -120 - u. Is s a prime number?
True
Let c = -171 + 175. Suppose 0 = 5*a + 4*h - 40, 0 = -2*a - 0*h + 3*h - 7. Suppose -c*j + 148 - 8 = -a*p, 8 = 2*p. Is j a prime number?
False
Is 10029830/738 + 8/18 a prime number?
True
Suppose -15*d + 28195 + 43070 = 0. Is d a composite number?
False
Is 1/((15/3639)/5) composite?
False
Let g(k) = 12*k**2 - 3*k + 3. Let r be g(4). Let c(y) = 4*y**3 + 3*y**2 + 1. Let x be c(-3). Let h = r + x. Is h a prime number?
True
Suppose -37054 = -12*x + 66398. Is x composite?
True
Let z be 0/(10/15 + (-2)/(-6)). Suppose z = -3*b + 15*b - 4548. Is b prime?
True
Suppose -f = -1, -5*f = 3*u - 3 - 20. Let x be (1 + u)/1 - 3. Suppose 0 = 4*s + 5*c - 79, 4*s - 124 = x*c - 0*c. Is s composite?
True
Let d be ((-2)/(-2))/(7/(-35)). Let v(z) = z**2 + z + 8. Let x be v(d). Suppose h + 3*h + 4*i - 52 = 0, 0 = -4*h + 4*i + x. Is h a composite number?
True
Suppose 0 = -3*w - w + 24. Suppose 10*a - w*a = 532. Is a a composite number?
True
Suppose -2*c - 3*s - 2*s = 20, -4*c = 5*s + 40. Is (-8)/c - 38955/(-25) a composite number?
False
Suppose -1973 = -5*s - 3*i, -1576 = -4*s - 4*i + i. Is s prime?
True
Let w = -110 + 147. Suppose w*q = 36*q + 379. Is q prime?
True
Let b = -149 - -548. Let y = b - 258. Is y a prime number?
False
Is (104576/(-12) + 1)*-3 composite?
False
Let z = 5063 + -3216. Is z a prime number?
True
Let d(t) = -138*t + 6. Suppose 0 = -2*b - 0*b + 8. Let c be d(b). Let r = -325 - c. Is r prime?
False
Suppose -3*k + 4 = 3*a - 8, 0 = -5*k - 3*a + 12. Suppose k = 7*x - 6632 - 81. Is x composite?
True
Let k(b) = -b**3 - 7*b**2 - 2*b + 3. Let u be k(-7). Suppose u*c - 21*c + 7436 = 0. Suppose 2*n + 4*v = 982, -v - c = -5*n + 574. Is n prime?
True
Let v be (-9)/(-2) - (-4)/8. Suppose 2*l - 3*l = -v. Suppose l*f - 4*t = 323, -2*t = -3*f + 131 + 64. Is f a composite number?
False
Suppose -4*i = 2*z + 3 + 1, 4*z - 2 = -3*i. Let v = -11 + 15. Is ((-745)/10)/(i/v) composite?
False
Let u = 3189 + -5783. Let f = 4797 + u. Is f a composite number?
False
Let t(u) = -210*u + 3. Let c be t(-7). Let p be ((-10)/(-15))/((-2)/c). Let z = -324 - p. Is z a composite number?
False
Suppose -n - b + 1906 = 0, -7*n + 4*n - 2*b = -5719. Is n prime?
True
Suppose 3*n - 3*f = -6 - 0, 0 = -2*f + 4. Suppose 3014 = j + 2*j + q, n = -2*j - q + 2011. Is j prime?
False
Let i(g) = -31*g - 49*g + 4 + 9. Let p(r) = -r**2 - 2*r + 2. Let v be p(2). Is i(v) composite?
True
Let d(a) be the second derivative of 1/3*a**3 + 5/3*a**4 - a + 0 + 1/2*a**2. Is d(4) composite?
True
Let o(d) be the third derivative of d**4/24 - 7*d**2. Let a be o(6). Suppose a + 7 = t. Is t composite?
False
Let v = 83576 - 43417. Is v a composite number?
True
Let h = -1365 + 3994. Is h a prime number?
False
Let t = 16363 - 2442. Is t a composite number?
False
Let k = 3559 - 818. Let j(q) = q**2 - q + 4. Let s be j(0). Suppose -s*b - 17 = -k. Is b a prime number?
False
Let h(q) = -185*q - 2. Let y = 12 + -15. Let c(u) = -93*u - 1. Let f(s) = y*h(s) + 7*c(s). Is f(-2) prime?
True
Let l = 48799 - 17420. Is l a prime number?
True
Let a(s) = 2 - 15 - 6 - 33*s - 648*s. Is a(-4) a composite number?
True
Is (-8)/12*(-1 - -3 - 671) prime?
False
Let n(g) = 91*g - 20. Let a(b) = -1. Let l(u) = 3*a(u) + n(u). Is l(10) prime?
True
Let c = 58457 + -32050. Is c prime?
True
Suppose 176 + 438 = 2*a. Is a prime?
True
Suppose -3*x - 1 = -2*x + 2*f, 0 = -f. Is 1259 - 2*x - (7 - 5) a prime number?
True
Let u be (8/12)/(1/3). Suppose 0 = 4*v - 12 - 12. Suppose 4*w = -v - u, 5*i - w - 3487 = 0. Is i a composite number?
True
Let u(l) = 8*l**3 - l**2 + l + 2. Let d be u(3). Suppose -d = -4*r - 0*r. Suppose 0 = o + 4*w - r, 2*o - 2*w - 94 = 2*w. Is o a composite number?
True
Is (-1759546)/(-290) - (-2)/(-5) prime?
True
Is 4054 - (45/(-12))/((-27)/36) composite?
False
Suppose -p + 3*p - 2*n = 14, n = 5*p - 43. Is 1286/4 - p/(-6) prime?
False
Let f(m) be the second derivative of m**6/120 + m**5/60 + m**3/3 - m**2/2 - 3*m. Let u(x) be the first derivative of f(x). Is u(3) a composite number?
True
Suppose 0 = d + 2*x - 1269, 1805 = 5*d + 2*x - 4532. Is d a composite number?
True
Let w(z) = -4*z + 11. Let b be (8 + -1 - 3) + 0. Suppose -b = 2*q + 6. Is w(q) prime?
True
Suppose -2*t - q = -4, -5*q + 3 + 7 = 5*t. Suppose -y + 102 = -4*n + 5, -t*y + 3*n = -174. Let b = y + -44. Is b a prime number?
True
Let l = -6541 + 4671. Let k = -1117 - l. Is k prime?
False
Let w(i) = -i**3 + i + 26921. Is w(0) a prime number?
True
Suppose 