2*k**2 + 2. Is w(h) prime?
True
Suppose -s + 4*q + 0*q + 8 = 0, 5*s - 86 = -3*q. Is (136/s)/((-2)/(-28)) a prime number?
False
Suppose -5*u - r + 853 = 0, 3*u + r = 405 + 108. Suppose -5*s + u = -4*g, -4*g = s - 28 - 6. Is s composite?
True
Let o be 1 - (1 - 0)*-3. Let y be (-126)/o - 1/(-2). Is y/2*-2 - 0 a prime number?
True
Suppose -m - 2*m = 5*y - 703, 2*y + 5*m - 285 = 0. Let i = y - 69. Is i a composite number?
False
Suppose 3*u + u - 860 = 0. Is 6/(-4)*(1 - u) a prime number?
False
Let w = 737 - 435. Is w prime?
False
Let c = -102 + 191. Is c a prime number?
True
Suppose -4*m - 4 = 5*n, 0 = 2*m - 6*m - 4*n. Suppose -m*z = -2*z. Suppose -4*d + 7*d - 111 = z. Is d composite?
False
Let o be (-1986)/(-12)*(-2 - -6). Let n = -471 + o. Is n prime?
True
Let f be 6/(-5)*1860/(-9). Let z = f - 43. Let a = z + -146. Is a prime?
True
Suppose -2*v + 1025 = 3*v. Suppose -5*k = -2*u - 746, -v - 381 = -4*k - 2*u. Suppose 6*s - 2*s = k. Is s prime?
True
Suppose -4*n + v + 192 - 64 = 0, -3*v + 12 = 0. Is n a composite number?
True
Let n = -170 - -1137. Is n composite?
False
Let v(b) = 7*b + 3. Let k be v(7). Let z = -33 + k. Is z a composite number?
False
Suppose -4*n + 2*r = -r - 7, 5*n = -4*r + 32. Suppose -n*l + 115 = -201. Is l a composite number?
False
Suppose 0 = 20*p - 10468 - 14872. Is p a composite number?
True
Let g(y) = 5*y + 1. Let q be g(7). Suppose -v = -3*f + 107, 137 + q = 5*f - 3*v. Is f a prime number?
True
Is (1803 - 5) + -3*(-1 + 0) a composite number?
False
Suppose 2*w - 1232 = -5*r - 440, 0 = -4*w + 4. Is 1/(-2) + r/4 a composite number?
True
Is (-1 + -1)*(-902)/4 a prime number?
False
Let j = 14 - 7. Suppose 5*a - 2*p - 1941 = 0, -j*a + 3*a - p = -1558. Is a composite?
False
Let k = 262 - -9. Is k a composite number?
False
Suppose 5*r = 5, -4*t + 3*r + 0*r - 7 = 0. Let o = t + 4. Suppose -3*v - o*g = -234, -3*g = v - 13 - 67. Is v composite?
True
Let h = 115 + -50. Is h composite?
True
Let f = -191 - -305. Let w = f - 340. Let s = w - -381. Is s prime?
False
Suppose 7 = 2*l + 3*f, -2*l - 2*f + 6 = -2. Suppose -m + 3*i + l = 0, 3*m - 2*m + 5*i - 5 = 0. Suppose -3*a - 91 = -o, -m = a - 3. Is o composite?
True
Suppose -2*m - t = -650 + 28, -5*m = t - 1555. Suppose -115 - m = -2*i. Is i prime?
False
Let t be 1*(20 - (0 + 2)). Let h = 31 - t. Suppose h = 2*b - b. Is b a prime number?
True
Suppose -2*o - 258 = -4*o + 2*v, 0 = 3*o + v - 403. Is o a composite number?
True
Let r = 23 - -138. Is r a prime number?
False
Let n be (-5061)/6*24/(-14). Suppose 5*i + 151 = n. Is i a prime number?
False
Let s = -1 - -8. Let w = s + -5. Let d(a) = 6*a**3 - 3*a**2 + 2*a - 3. Is d(w) a composite number?
False
Let b = -36 - 20. Let g = b - -93. Is g composite?
False
Let v be (-6)/(-9)*(-1 + -2). Let q be -2*(10 + -2)/v. Suppose 92 = q*p - 4*p. Is p prime?
True
Let m(b) = -b**2 - 6*b + 6. Let q be m(-6). Let w be q/2 + (-462)/(-1). Suppose x = 6*x - w. Is x composite?
True
Let f(n) be the second derivative of 27*n**3/2 + 4*n**2 + 3*n. Is f(5) composite?
True
Suppose 5*t = -5*s + 879 - 219, s = 2*t - 249. Is t a prime number?
True
Let x = -4 + 5. Is (-1)/((-276)/273 + x) a composite number?
True
Let w(f) = f**2 - 2*f + 1151. Is w(0) a composite number?
False
Suppose 3034 = 2*n - 0*n. Is n prime?
False
Let h(m) = -m**2 - 18*m + 12. Is h(-13) composite?
True
Suppose 5*y + 272 = y. Is (3 + y)*(2 - 3) a prime number?
False
Let b = 4 - -93. Is b prime?
True
Let g = -7 - -11. Suppose -4*s - 15 = -5*n, -4*n + 11 = -4*s - 1. Suppose g*x - n = 3*x. Is x a prime number?
True
Suppose 6 = -3*u, -3*q - u = -2*q - 1317. Is q a prime number?
True
Let f = -5 + 12. Let s = f + -2. Suppose 0 = 5*n - 5*k - 40, 5*k - s = 2*n - 18. Is n a composite number?
True
Let a(l) = 2*l**3 - 9*l**2 + 8*l - 7. Is a(6) a prime number?
True
Is (-48)/(-12) - (-2 + -1) a composite number?
False
Let q be 3 - 3/(6/4). Is (q - 8)/((-3)/15) composite?
True
Let r be (-52)/(-14) - (-4)/14. Suppose 0 = r*y - 4*c - 3 - 1, 5*y - c - 13 = 0. Let s(z) = 6*z - 3. Is s(y) a composite number?
True
Suppose 0 = -3*y - 2*y. Suppose y - 4 = -j. Suppose 4*q - 5 = x - 18, -j*x - 4*q + 92 = 0. Is x composite?
True
Let x(i) = 3*i**3 + 4*i**2 + 3*i - 4. Let u(s) = 4*s**3 + 4*s**2 + 4*s - 4. Let k(m) = 4*u(m) - 5*x(m). Let a be k(3). Is 4 + 75 + (a - 0) a prime number?
False
Let i(a) = -52*a**3 - 2*a**2 + 2*a + 3. Let w(k) = 260*k**3 + 10*k**2 - 11*k - 16. Let c(g) = -11*i(g) - 2*w(g). Is c(1) a composite number?
False
Suppose 0 = 5*z + 1 + 4. Is 61 - (4 - 1) - z prime?
True
Suppose 2*k + 10 = -2*j, -2 - 20 = 2*j - 2*k. Is (-522)/j - 2/8 prime?
False
Let q = -8 + 12. Suppose 5*u - 803 = q*a, -5*a - 646 = -u - 3*u. Is u a prime number?
False
Let g = 1152 + -239. Is g a composite number?
True
Let b(u) = -5*u - 7. Let g(r) = -10*r - 14. Let k(p) = 9*b(p) - 4*g(p). Let d(f) = -10*f - 15. Let x(h) = 3*d(h) - 7*k(h). Is x(3) a composite number?
False
Let l = 64 + 1053. Is l composite?
False
Let d = -9 - -13. Suppose 0 = -2*w + d*a + 204, 604 = 5*w + 4*a + 66. Is w prime?
False
Let m(n) be the second derivative of 7*n**4/6 - n**3/6 + 4*n. Suppose -4*p = -3*p + 5*g + 1, -1 = p - 3*g. Is m(p) composite?
True
Suppose 0*w - 126 = 2*w + 4*z, -5*z + 153 = -2*w. Let g = w - -106. Is g a prime number?
True
Let g(j) = 5*j**3 - 2*j**2 + j - 7. Let v be g(6). Suppose 0 = 4*y + 163 - v. Is y a prime number?
True
Let h = -6 + 8. Suppose 3*c - h*x - 13 - 74 = 0, x = c - 28. Is c prime?
True
Suppose -5*l - 199 - 35 = -3*u, -5*l = -5*u + 240. Let c = 76 + l. Is c a prime number?
True
Suppose 0*d = -4*d - 3400. Is d/20*1*-2 a composite number?
True
Suppose 0 = -3*k + 15, 5*g - 17 = -4*k + 18. Let v be -542*(g/6 - 1). Let y = 462 - v. Is y composite?
False
Let j(r) = -106*r + 2. Let b be j(-2). Suppose n - 3*n + 2*l = b, 3*l - 216 = 2*n. Is n/(-6)*4/5 a composite number?
True
Suppose 0 = -6*a + 3*a, 2*k - 5*a - 76 = 0. Is k a composite number?
True
Let r(w) = -20*w**2 - 4*w - 2. Let b be r(-3). Let u be (-2006)/22 - (-6)/33. Let m = u - b. Is m a prime number?
True
Let a be 7*(-3 + 66/14). Suppose s = -4*x - 27, -2*x + 5*x - 2*s + a = 0. Is -33*(16/x)/4 prime?
False
Let s(t) = -6*t + 1. Let y(v) = 23*v - 4. Let q(o) = 9*s(o) + 2*y(o). Is q(-3) a composite number?
True
Let w(n) = -3*n**2 + 2*n**3 + 3*n**3 + 1 + 2*n**2 + 2*n**3. Is w(2) prime?
True
Let k(d) = d**3 - 4*d**2 - 5*d + 2. Let j be k(5). Let m(i) = -i + 32*i**2 + 2 - j. Is m(1) composite?
False
Suppose 169 = 4*z - 339. Is z a prime number?
True
Let u = -24 - -97. Let q(c) = 7*c**2 - 2*c + 2. Let o be q(2). Suppose u = 3*f + 2*w, w + o = f - 0*f. Is f a composite number?
True
Let q be ((-11)/3)/((-1)/(-3)). Let f = q - -21. Is f a composite number?
True
Suppose -z + 0*z + 7 = 0. Is (-2220)/(-7) + (-1)/z a prime number?
True
Suppose 0 = -3*k + 4*k - 5. Suppose 6*i - 6 = 3*i. Is (k/i)/((-2)/(-8)) a composite number?
True
Let d(x) = -3*x**3 + 5*x + 4. Let g be d(-5). Suppose 4*r - 2*r = g. Is r prime?
False
Let g(l) = -36*l**2 - 2*l - 1. Let u be g(2). Suppose -4*f + 1504 = 4*p, p = -p + 8. Let b = u + f. Is b composite?
False
Let i(r) = -2*r + 3 - 1 + 9*r. Is i(3) a prime number?
True
Let s(g) = 4*g**3 - 2*g**2 + 1. Let n be s(1). Suppose 2*h + n*h = 20, -3*u - 5*h = -29. Is 10/2*u/5 a composite number?
False
Suppose 2*i = -v - 4*v + 866, 5*v = -4*i + 872. Suppose -233 = 2*m + 13. Let d = m + v. Is d composite?
True
Is 36/(-9) + -1 + 64 a composite number?
False
Let f = 16 - -107. Suppose f = l + 47. Suppose 4*r = -5*o + 47 + l, 4*o = 3*r - 131. Is r a prime number?
True
Let c be (2/(-7))/(1/(-7)). Suppose -c*t - 2*t + 12 = 0. Suppose b + t*b - 356 = 0. Is b composite?
False
Let y(k) = -k**3 - 6*k**2 + 8*k + 9. Let b be y(-7). Let r be (b - 2)/(-3 - -1). Suppose r = -l + 16 + 75. Is l a prime number?
False
Suppose -2*t = t + 4*a - 21, 2*t + 3 = 3*a. Suppose 2*c + 19 = -u - t*c, -29 = -4*u + c. Suppose -4*n + 64 = 4*l, -4*n + l + u = -3*n. Is n prime?
True
Suppose -2*c - 67 = -9. Let n = c + 67. Is n a prime number?
False
Suppose -4*p + 4*c = -2084, 3*c = 5*p - 1090 - 1519. Is p a prime number?
True
Suppose -6 = 2*o - 2*m, 3*o + 3*m - 3 = 6. Suppose 0 = -3*c + 5*w + 309, 0*c + 2*c - 4*w - 206 = o. Is c a composite number?
False
Let r(y) = -21*y - 8. Is r(-10) a prime number?
Fa