 = 1104. Is u a prime number?
True
Suppose -4*n = n - 430. Is n a composite number?
True
Is ((-1796)/10)/((-6)/15) composite?
False
Let h = -353 - -616. Is h prime?
True
Suppose -2*m - 27 = -4*c - 269, -m - 5*c + 93 = 0. Is m a prime number?
True
Let l be (0/(-1))/(5 - 4). Suppose -3*y + 219 = 3*j, -3*j + l*j = -3*y - 243. Is j a prime number?
False
Let r(w) be the first derivative of -w**4/4 - 2*w**3 - 3*w**2/2 - 8*w + 1. Is r(-7) prime?
False
Suppose 129 = 2*c + 45. Suppose -5*w - 4 = -m + 2*m, w = -5*m - 140. Let f = m + c. Is f prime?
True
Let w(v) = 137*v**3 - 4*v + 4. Is w(3) a composite number?
False
Let m be (-4)/6 + 430/6. Suppose -4*a = -s + m + 16, 5*a = 10. Suppose 8*v - s = 3*v. Is v composite?
False
Let u = -748 - -1079. Is u a prime number?
True
Suppose -4 = -11*w + 9*w. Suppose 2*n = -w*n + l + 2038, -4*n + 4*l + 2044 = 0. Is n prime?
True
Suppose 0 = -5*m + 5*o + 1660, 2*m + 0*o - 667 = 5*o. Is m a composite number?
False
Suppose -74 = 5*g + 16. Is 127*2 + g/(-6) a prime number?
True
Let g(y) be the third derivative of -25*y**4/24 + 3*y**2. Let t be g(-1). Suppose x = -h - 4 + 11, -4*x = 5*h - t. Is x a composite number?
True
Let n(l) = -5 + 7 + 5 + 2*l. Is n(8) a prime number?
True
Let v = 5005 + -178. Is v composite?
True
Let v = 828 - 492. Suppose 2*l - 4 = 2. Suppose 4*h - v = -4*i, -2*i - 2*h = -l*i + 99. Is i composite?
False
Let y = 6 + -3. Suppose y*a - 12 = 0, -5*x + 11 + 0 = -a. Suppose -2*f = x*f - 70. Is f a prime number?
False
Suppose 2*s = 6*s - 16. Is (-2)/s + (-29)/(-2) prime?
False
Suppose 7*k = 12*k - 2065. Is k a composite number?
True
Suppose 15*v = -38 + 4463. Is v a composite number?
True
Let r be (-1)/(10/(-8) - -1). Suppose o + l = -8, r*o = o - 4*l - 28. Let z = 11 - o. Is z a prime number?
False
Let y(s) = -s**3 - 7*s**2 - 5*s + 9. Let m be y(-9). Let g = m - 140. Is (-7)/(-14)*g/2 composite?
False
Suppose -4394 = -4*a + 5*f, -3*f + 2204 = 2*a - 2*f. Suppose 0 = n + 5*g - 642 + 54, 5*g + a = 2*n. Is n composite?
False
Suppose 0*x - 2*x + 100 = 0. Suppose x = y - 1. Is y a composite number?
True
Let b = 5 + -1. Let t(g) = 7*g**2 - 15*g + 27. Let z(y) = -3*y**2 + 7*y - 13. Let p(h) = b*t(h) + 9*z(h). Is p(-7) composite?
False
Is -586*(6/4 - 2) prime?
True
Let f(i) = 2*i**2 - 6*i + 1. Let w be f(4). Let p be (-5 + 2)/w*3. Is 3/(98/92 + p) a prime number?
False
Suppose 5*h + 16 = h. Let p be (-206)/14 + h/14. Let o = p - -52. Is o composite?
False
Suppose -2290 = -4*h + 694. Is h composite?
True
Let i = 105 + 98. Is i composite?
True
Let r be (-5 - -2)*16/(-12). Suppose -r = -f - 3*b + 196, 0 = -3*f + b + 630. Is f a composite number?
True
Let o = 24 - 9. Let j(n) = n**2 + 13 + 50 - 13 - n + o. Is j(0) a composite number?
True
Suppose 2*h - 100 = 3*r, -3*h - 2*r + 172 = -r. Suppose 4*j - j + h = t, 4*j = -4. Is t a prime number?
True
Suppose 7 = 5*y - 3. Suppose 9 = 3*s, -2*b - 4*s = y*b - 196. Is b composite?
True
Suppose 4*r - 98 = l, 390 + 70 = -4*l - r. Let b = l - -229. Is b prime?
False
Suppose -4*b + 186 - 30 = 0. Is 3/((-9)/(-1))*b a composite number?
False
Let v be (-3)/(-2 + (2 - 1)). Suppose 0 = 4*k - 2*k - 4*y - 2, 0 = 2*y - 4. Suppose 53 - 142 = -k*z - v*b, -3*z + b + 59 = 0. Is z a prime number?
True
Suppose -14*q - 2421 = -18535. Is q a composite number?
False
Suppose 5*j = 3*c + 22, -3*c + 18 = 3*j - 0*c. Suppose 0 = -2*q - h - h + 312, -3*h = -j*q + 820. Is q composite?
True
Let h(w) = 20*w - 3. Suppose 38 = 5*f + 2*i, -3*i + 23 = -4*f + 58. Is h(f) a prime number?
True
Let g(w) = 7*w**2 - 5*w - 11. Is g(-6) composite?
False
Let g(d) = 2*d - 8. Let i be g(8). Suppose 1115 = i*a - 3*a. Is a a composite number?
False
Suppose 0 = 4*i + i + 3*l + 285, 5*l - 245 = 5*i. Suppose -v = 4*v + 175. Let w = v - i. Is w a prime number?
True
Let o(a) = -8*a**2 - 1. Let k be o(1). Let m = -2 - k. Let f(r) = r**3 - 8*r**2 + 10*r - 8. Is f(m) a composite number?
False
Let y = 62 - 42. Suppose 5 = -4*j - 3*a + y, 2*j + 4*a - 10 = 0. Suppose -w = -d + 45, -2*w = -2*d + j*w + 87. Is d composite?
True
Let p = 33 - -17. Let v(m) = 2*m**2 + 2*m - 2. Let k be v(-2). Suppose k*q + 0*q = p. Is q prime?
False
Let b = 7 + -5. Suppose -b*o - 37 + 1347 = 0. Is o composite?
True
Let l(t) = -t - 5. Let z be l(-9). Suppose -9 = 3*p - 3*w, p - z*p + w - 5 = 0. Is p - (-7 - (3 + -2)) a composite number?
False
Let i = -4 + 10. Is -334*(-3 - 3/i) a prime number?
False
Let i be (-127085)/(-85) + (-2)/17. Suppose x = 6*x - i. Is x composite?
True
Let o = 14 + -11. Suppose -57 = 2*v - o*v - 2*i, 0 = 2*i - 8. Is v a composite number?
True
Suppose -4*c = -0*s - 2*s, 0 = -3*s + 6. Let z(n) be the first derivative of 5*n**2 + n - 1. Is z(c) composite?
False
Let n = 2853 - 1486. Is n composite?
False
Let p(u) = u**3 - 16*u**2 + 15*u + 3. Let y be p(15). Suppose -5*c + y*z + 183 = 55, -5*c = -z - 126. Is c prime?
False
Let m(x) = -x**2 - 7*x - 6. Let t be m(-6). Suppose t = -3*i + 120 + 753. Suppose i = 2*u + u. Is u prime?
True
Is ((-3)/6*1)/((-6)/1524) prime?
True
Suppose 3*t - 4 = 2*t. Suppose -6*a - 5*u + 135 = -t*a, 10 = 2*u. Is a a prime number?
False
Suppose 0 = -2*j - 5*u, 2*u + 2*u = 0. Suppose 3*k + 0*k - 33 = j. Is k prime?
True
Suppose 0 = 5*n + 4*r, 2*n - 18 = r + r. Let x = -4 + n. Suppose -2*c + 21 = -3*p, 0*c - 3*c - 2*p - 1 = x. Is c composite?
False
Let r(t) = -t**2 + 3*t - 2. Let p be r(2). Suppose -2*x + p*x = -1008. Suppose 3*q = u + 38 + 360, 4*q + 4*u - x = 0. Is q prime?
True
Let a be (-8)/(2 + -3 + -1). Let z(n) = n**3 + 3*n**2 - 4*n - 1. Is z(a) a prime number?
False
Let l(r) = -r**3 - r**2 + 5*r + 4. Let p be l(-3). Suppose -5*x + p = -13. Suppose -39 = -z - 2*j, x*z - j + 5*j - 140 = 0. Is z composite?
False
Is 2114/10 - 10/25 a composite number?
False
Suppose g - 6*g = -335. Is g composite?
False
Let v(x) = 1. Let i(h) = h + 4. Let y(d) = i(d) + v(d). Let j be y(-4). Is 30/(-4)*-2*j a prime number?
False
Let z = 269 + 140. Is z composite?
False
Let p = -4992 - -7157. Is p a prime number?
False
Let r(k) = k**3 - 5*k**2 + 5*k - 2. Let i be r(4). Let t be ((-6)/4)/((-1)/2). Suppose i*v + 13 = t*v. Is v a prime number?
True
Let j(b) = -b**2 - 7*b + 1. Let x be j(-7). Suppose 3*d = 4*d - x. Let f(r) = 148*r + 1. Is f(d) composite?
False
Let b(o) be the third derivative of -o**2 + 0*o + 0 - 7/24*o**4 + 2/3*o**3. Is b(-6) composite?
True
Let s(q) = -q**3 + 14*q**2 - 7*q - 13. Is s(13) composite?
True
Let q(v) = -1281*v - 1. Is q(-2) a prime number?
False
Suppose 4*g + 3 = 3*i, 2*g + 3*i + 1 = 22. Let c(w) = -29*w - 2. Let p(z) = 14*z + 1. Let k(h) = 2*c(h) + 5*p(h). Is k(g) composite?
False
Suppose -5*x = 3*s - 593, -s + 4*s - 3*x = 561. Is s prime?
True
Suppose -8 - 8 = -2*f. Let p be -160*1/(10/f). Is (-2)/6 + p/(-6) prime?
False
Let j(f) = -f**3 + 4*f**2 - 2*f + 1. Let k be j(3). Let u be 194/k - 1/(-2). Suppose -2*h + 123 = u. Is h composite?
False
Let g(k) = -k - 10 - 2*k**2 - 2*k - 2*k + 4*k**2. Let h be g(8). Suppose 2*w = 56 + h. Is w a prime number?
True
Let m(c) = c**3 - 3*c**2 + 3*c + 4. Let u be m(3). Suppose u = -3*q + 4*q. Is q prime?
True
Suppose -u + 2 = -5*o - 10, -5*o + 30 = 5*u. Is u composite?
False
Let r = -14 - 60. Let u = -44 - r. Is 22/(-4)*u/(-5) a composite number?
True
Let b = -1 + -1. Let q be 1/b*-694 - 0. Suppose 0 = -4*y + q - 31. Is y a composite number?
False
Let n be (4/5)/(6/45). Is ((-6)/(-4))/(3/n) a prime number?
True
Suppose -4 = 2*q - 4*q. Suppose s + 5*c - 4 = 4*s, -s + 6 = q*c. Suppose -9 = -3*a, 6*x = 2*x + s*a + 134. Is x a composite number?
True
Let z = 0 + -60. Let j = -21 - z. Is j prime?
False
Suppose 0 = -5*h + 3*h + 3*b + 7, 3*h - 2*b = 8. Suppose h*k + 65 = 3*k. Is k a composite number?
True
Let v be 8/1*5/(-10). Is 2/(-8) - 453/v composite?
False
Let s be (4 - 1)*70/1. Let u(g) = -14*g**3 - 3*g**2 - 3*g - 7. Let y be u(-3). Let d = y - s. Is d prime?
False
Suppose -8*v + 1492 + 868 = 0. Is v composite?
True
Let s be 0/((2*-3)/(-3)). Suppose s = -2*r - 7 + 1. Is 1/r + 43/3 a composite number?
True
Suppose -5*k - 305 = -8*k - f, 5*k + 3*f - 515 = 0. Let d = -26 + k. Suppose -3*x = -5*a - d, 2*a - 61 = -4*x + 29. Is x prime?
True
Let m(w) = -3*w**3 - 2*w - 1. Let v be m(-1). Suppose -2*s + 1184 = -2*h, -v*s - 2*h = s - 2925. Is s prime?
True
Let p be (-8)/6*3