486. Is k composite?
False
Let x(k) = -111*k. Let n be x(3). Let u = n - -544. Is u prime?
True
Suppose -3201 = -8*n + 3367. Is n composite?
False
Suppose 3*b - 2 = 5*b. Let r(j) = j**2 - 3*j. Let c be r(-3). Is (-2)/b*c/4 a composite number?
True
Suppose -291 = -5*d - 2*m, 0 = -2*d - 6*m + 3*m + 112. Suppose -4*z + 2 + 0 = -t, 3*t = -4*z + 10. Suppose t*w - d = 195. Is w prime?
True
Is 7*(4 + (-2 - -5)) composite?
True
Let n be 6/9*15/10. Suppose -5*k + 369 = c, 3 = -k - n. Is c composite?
False
Suppose -939 = -5*p + 1156. Is p a prime number?
True
Suppose -3*a + a = -446. Let v = a - 138. Is v prime?
False
Let r(x) = 34*x - 15. Is r(7) a composite number?
False
Let d = 474 + -293. Is d prime?
True
Let y = 723 - -196. Is y a prime number?
True
Let d be 5/(15/6)*1. Is (-1 - -2)*74/d prime?
True
Let b(z) = z**3 + 11*z**2 - 16*z - 13. Is b(-11) prime?
True
Let x(f) = f**2 - 2*f - 3. Let u be x(4). Let t(l) = -l**3 + 8*l**2 + 2*l - 4. Let c be t(5). Suppose -251 = -u*w - c. Is w a composite number?
True
Let o = -93 - -175. Is o prime?
False
Let r = -13 - -17. Suppose -r*x + 2907 = 695. Is x composite?
True
Suppose -3*f = 5*m - 30, 0 = -0*m + 4*m + 2*f - 24. Let a be 8/(-12) + 34/m. Suppose 4*r + 4*s + 40 = 148, -3*r + a*s = -41. Is r a prime number?
False
Suppose 6*b - 3*b + 2016 = 3*o, -3*o = -5*b - 2006. Is o prime?
True
Suppose -v + 9 = 2*v. Suppose 0 = f - 3, -2*r - 8 = v*r - f. Is (0 + 1)*(r - -70) a composite number?
True
Let r = -23 + 46. Suppose -17 = -b + 3*o, -4*o + 3 = r. Suppose -155 = b*g - 7*g. Is g a composite number?
False
Let b(s) = 2*s - 1. Let g be b(6). Suppose 2*h = g - 3. Suppose -h*x = 2*k + 2, -3*k + k = -2*x - 22. Is k composite?
False
Suppose 14*w = 15*w - 1711. Is w a prime number?
False
Let q be 11256/44 + (-2)/(-11). Let j = q + -127. Suppose 0 = -4*n - 0*n - 4*b + 252, j = 2*n + 5*b. Is n a composite number?
True
Let h = 3 - -2. Let x be 2 + (-2)/(-2) + -1. Suppose h*y + x*j = 337, -5*y = j + 2*j - 338. Is y a prime number?
True
Suppose 4*n + 5 - 13 = 0. Suppose 0 = u + 4*u. Suppose -n*i + 4*i - 28 = u. Is i a composite number?
True
Let h be -846*(-1)/(-4)*2. Let t = -200 - h. Is t a prime number?
True
Let q = -4 + 6. Suppose q = -2*v + 104. Is v a prime number?
False
Let v = 61 + -96. Let n = v - -70. Is n prime?
False
Suppose -g + 0*g = 5*t + 165, -2*g = 0. Let f = 1 - t. Is f prime?
False
Suppose 4*r - 307 = 529. Is r composite?
True
Let c(a) = 3 - 13 + 2*a - 2*a**3 - 7*a - 9*a**2 + a**3. Is c(-9) composite?
True
Let a(v) = -v + 4. Let g be a(2). Suppose g*n - 10 = -0*n. Suppose -n*o + 2*z + 26 = -29, 5*z = 0. Is o a prime number?
True
Let t = 886 - 345. Is t composite?
False
Let q be 161/(-2) - (-2)/4. Let m be (-127)/((2 + -3)/(-1)). Let j = q - m. Is j a composite number?
False
Let j(p) = -p**2 - 7*p - 2. Let a(x) = x**3 - 2*x**2 - 3*x + 3. Let n be a(2). Is j(n) composite?
True
Let y = 1250 - 373. Is y a prime number?
True
Let y be (6 - 1)/(1 + -2). Let u = 42 - 2. Let s = y + u. Is s a prime number?
False
Let p be (-506)/(-2) - (5 + -3). Let v = p + -177. Is v prime?
False
Suppose -56 = -3*c - 3*w + 5*w, 0 = c - 3*w - 28. Let r be (-3)/(-1)*(-116)/(-6). Suppose -2*q + c = -r. Is q composite?
False
Let a(o) = -351*o - 3. Is a(-4) composite?
True
Suppose -5 - 72 = -4*h - 5*z, 101 = 4*h - 3*z. Let c = 1 - 0. Suppose -3*g + 11 = 5*r - h, 0 = 3*g - 2*r + c. Is g a prime number?
True
Let b(f) = f - 36. Let g(h) = -h + 37. Let v(i) = -6*b(i) - 5*g(i). Is v(0) a prime number?
True
Suppose j - 1714 = -2*j - 2*k, 0 = 3*j + 4*k - 1718. Suppose 240 - j = -2*h. Is (-1)/(-2 - (-327)/h) composite?
True
Is (-836)/(-10) - (-12)/(-20) composite?
False
Let r(c) = -27*c**3 - c**2 - c. Is r(-2) composite?
True
Let n = 139 + 99. Suppose 0 = 3*c - u - n, 0 = -5*c + 5*u + 255 + 145. Is c a composite number?
False
Is (24/(-32))/(2 - 690/344) prime?
False
Suppose 2*u + 10 = 2*p, 3*u + 0*u + 5 = -2*p. Suppose p*d - 3*d = 86. Let t = 153 + d. Is t composite?
False
Suppose 4*s + 9*j + 17 = 4*j, 0 = 4*s - 4*j - 28. Suppose 8 = q - 2*r, 0 = -s*r - 2 - 0. Let t(m) = m - 4. Is t(q) a composite number?
False
Let l be 3*((-7)/(-3) - 2). Let o be (-4 - 0)/(l/11). Let c = -21 - o. Is c prime?
True
Let p = 11 + -9. Is (-1368)/(-16) - (-1)/p prime?
False
Suppose -z + 969 = y + 4*z, -3*y = -4*z - 2945. Is y prime?
False
Let c = -3 - -5. Suppose -c*h = -6*h + 348. Is h prime?
False
Let m(s) = -4*s + 0*s**2 + 2 + s**2 + 0*s**2. Let b be m(4). Is b/4 + (-63)/(-6) prime?
True
Suppose 0 = 5*g + 2*g - 15043. Is g prime?
False
Suppose 0 = 2*z - 7*z + 1115. Is z composite?
False
Let k = -19 + 146. Is k a prime number?
True
Suppose 4*r + 0*r = -36. Let j be -54 - 0*(-3)/r. Let w = j - -107. Is w a prime number?
True
Let z = 62 - 41. Suppose -15 - 10 = 5*o. Let p = z - o. Is p a composite number?
True
Let y(p) = p**3 - 6*p**2 + 8*p - 9. Suppose -3*a + 3 = -15. Is y(a) prime?
False
Suppose 0 = -5*p - 3*a + 1688, 3*p - 6*a + 10*a = 1015. Is p prime?
True
Suppose -4*l + 286 = -5*p, -5*l - 4*p + 199 = -2*l. Is l a composite number?
True
Let u(j) = 6*j**3 - j**2 + 2*j - 1. Suppose 4*w - 14 = 4*z + 10, 4*w + 5*z = -21. Is u(w) prime?
False
Let w(f) = f - 2. Let o be w(6). Suppose -o*k - i - 107 = -378, 2*k = 5*i + 119. Is k prime?
True
Let h(s) = -54*s + 5. Let d(p) = 55*p - 4. Let f(m) = -5*d(m) - 4*h(m). Is f(-1) a composite number?
False
Suppose -2*h = -4 - 2. Suppose -w - 5*v = 25, w + 25 = -w - 5*v. Suppose w = -0*r + h*r - 213. Is r composite?
False
Let d(r) be the second derivative of -21*r**5/20 + r**4/6 + r**3/3 + r**2/2 - r. Let o = 4 + -5. Is d(o) a composite number?
True
Is (13 + -2)/(1/29) composite?
True
Let c(b) = -b + 3. Let u be c(0). Suppose -5*i + 10 = 2*y, -2 + 0 = -i + u*y. Is (-3)/((-18)/93)*i a composite number?
False
Suppose -r - 89 = -5*x + 2*r, -4*x - 2*r + 80 = 0. Suppose 0 = 3*q + 2*f + 3*f + 157, 5*f = q + x. Let b = -10 - q. Is b prime?
False
Suppose 0*n + n = -50. Let t(z) = -2*z + 15. Let v be t(-12). Let x = v - n. Is x prime?
True
Suppose -5*o = -4*l - 2810, 3*o + 2*o = 5*l + 2810. Is o prime?
False
Let w = -4 + 8. Suppose -5*q - o = -640, -5*q + 704 = w*o + 49. Is q a prime number?
True
Suppose 10*u = -0*u + 110. Is u a prime number?
True
Let g = 1 + -11. Is 0 + 22/(-4)*g a composite number?
True
Let h = 2218 - 167. Is h a prime number?
False
Let u = -54 + 36. Suppose 4*g = -0*g - 12. Is g/u + 77/6 a composite number?
False
Let k be ((-4)/6)/(2/3). Let s = k - -124. Is s prime?
False
Let t = 1042 - 163. Is t a composite number?
True
Suppose -15*y = -2*y - 20761. Is y prime?
True
Let s = 27 + -19. Let a = s - 23. Let d = a - -28. Is d prime?
True
Suppose -x - 3 = 2*x. Let z(s) = 19*s**2 + s + 1. Is z(x) a prime number?
True
Is 3/((1 + -3)*(-15)/23570) a composite number?
False
Let v(m) = 75*m**2 + 2*m + 4. Is v(-3) a composite number?
False
Let a = -16 - -22. Suppose -2*u = -a - 6. Is u a composite number?
True
Let b(h) = 196*h**2 - h - 3. Is b(-1) a prime number?
False
Suppose -4*z = -0*v + 3*v - 3634, z = -4*v + 915. Is z prime?
True
Let b = 1437 + -3067. Let g = -986 - b. Suppose 2*h - 6*h = -g. Is h a prime number?
False
Let v(o) = -o**3 + 8*o**2 - 4*o + 5. Is v(6) prime?
True
Let x(g) = -g + 88. Let z be -2 + (1 - 2) + 3. Let y be x(z). Suppose 2*l - y = 210. Is l a prime number?
True
Suppose 55 = m - 97. Suppose b + 3*b = m. Is b composite?
True
Let v = 867 - 580. Let f = v + -48. Is f composite?
False
Is 2*451 + -1 + -1 + 1 prime?
False
Suppose -6731 - 27799 = -6*k. Is k prime?
False
Suppose 2*k + u + 9 = 0, k - 4*k = u + 13. Let i(o) = o + 13. Let b be i(-11). Is (-17)/2*(k - b) a prime number?
False
Suppose -914 = 4*k - 6*k. Is k composite?
False
Let f(b) = -8*b**2 - 2*b + 1. Let u be f(2). Let i = u + 88. Is i a prime number?
True
Let s(n) = -2*n + 18. Let d be s(0). Suppose 2*r + 12 = 5*r. Is r/(-18) - (-1390)/d composite?
True
Suppose 0 = 5*n - 58 - 127. Is n prime?
True
Let m(f) be the second derivative of f**4/6 - 2*f**3/3 + 3*f**2/2 + 2*f. Let n be m(2). Let x(j) = j**2 + 3*j - 4. Is x(n) a prime number?
False
Let b(k) = -10 - k + 2*k + 4. Let r be b(0). Is (r/4)/(6/(-8)) a prime number?
True
Let u(z) = -z**3 - 4*z**2 + z - 9. Let g(d) = d**2 - 2*d - 1. Let p be g(3). Suppose 5*t - p*b + 33 = 0, -19 = 3*t + b -