 + 2, -p - 4*y + 0*y = r. Suppose 4 = b - p. Is b a composite number?
True
Let v(g) = -3 - g**3 - 6*g - 1 - 4*g**2 + 2. Let z be v(-5). Let y = z - 28. Is y a prime number?
False
Suppose 0 = -10*c + 1074 + 976. Is c a prime number?
False
Let r(u) = -u**2 + 5*u - 3. Let a be r(4). Let m be 3/(-3) - a*-47. Is 1 - (-1 - -1 - m) a prime number?
True
Let a = 17 - 17. Suppose v - 2*h - 79 = a, -4*h - 18 = -5*v + 407. Is v a prime number?
True
Let d(s) = -s - 1. Let y be d(-1). Suppose y = -5*x - 2*w + 625, 4*x = 2*x + 5*w + 279. Is x a composite number?
False
Let n = -674 + 1032. Is n prime?
False
Let w(d) = -212*d. Let h be w(2). Is (-3)/(-5) - h/10 a composite number?
False
Let a(u) = 3*u**3 + 17*u**2 + 9*u + 30. Let h(i) = i**3 + 6*i**2 + 3*i + 10. Let d(s) = -2*a(s) + 7*h(s). Is d(-7) a prime number?
False
Is (-6)/(-9) + 1339/3 a prime number?
False
Let c = 12 - 5. Suppose 2*i + 189 = c*i - 4*a, 0 = -2*i + 2*a + 76. Is i prime?
True
Suppose c - 915 = -2*c. Is c a prime number?
False
Suppose 0 = -i - 8 + 94. Suppose 4*y + 2*j - 1052 = 0, 2*y = -4*j + i + 440. Is y prime?
True
Suppose -4*j + 3*n = -j - 1674, -3*j = -n - 1664. Is j a composite number?
True
Is (-105)/(-6)*(-48)/(-40) a composite number?
True
Let t = 985 + 161. Is (-24)/(-36)*t/4 composite?
False
Let n(q) = 8 - 3*q**2 - 7*q + 10*q**2 + 6*q**2 + 5*q**2. Let h be n(6). Let u = h - 423. Is u prime?
True
Let v be 266/18 + 14/63. Suppose -v = -7*s + 2*s. Suppose s*k - 308 = -k. Is k prime?
False
Suppose -3*z + 39 = -3. Is (0 + z)*(-17)/(-2) a composite number?
True
Let l = -74 + 112. Suppose l = -4*w + 778. Is w a prime number?
False
Let m = 146 - 63. Is m a composite number?
False
Suppose -296 = -0*k - 4*k. Is k prime?
False
Let j(m) = -2*m - 2. Let w be j(-6). Suppose -28 = -5*v + n + 2, 0 = -v - 3*n - w. Suppose 2*p - v*l = 3*p - 99, 4*p = -4*l + 364. Is p a prime number?
True
Suppose -4*x + 2*x = -10. Let h be (1 + -1)*x/(-10). Is 0 + (3 - h - -11) a prime number?
False
Suppose 4*k + 2*f - 10 = 0, -5*f - 3 = 3*k - 0*f. Is k a prime number?
False
Let d be -6*5/(45/(-6)). Let h(z) = z**3 + z**2 - 4*z + 1. Is h(d) a prime number?
False
Let y(x) = 2*x**3 - 31*x**2 + 3*x + 31. Let j(i) = i**3 - 15*i**2 + 2*i + 15. Let c(n) = -5*j(n) + 2*y(n). Is c(12) a prime number?
True
Suppose -25 = 5*s - 10*s. Suppose 7*y - 80 = 5*y - x, 127 = 3*y + s*x. Is y prime?
False
Let z be (-3 + 1)*(-1)/2. Let c(g) = 30*g + 1. Is c(z) a prime number?
True
Let p = 2753 - -56. Is p composite?
True
Suppose 11*l - 8*l - 6609 = 0. Is l a prime number?
True
Suppose -2*r = 5*m - 596, 3*r + 3*m + 873 = 6*r. Is r a prime number?
True
Let k(i) = -i**2 + 6*i - 6. Let v be (-2)/((0 + -2)/4). Let d be k(v). Suppose -2*r = s - 42, -2*r = s + d*s - 50. Is r composite?
False
Let d(h) = 10*h**2 - 2. Let l be d(-4). Let b = l + 403. Suppose -4*n - 3*o = -356 - 84, 0 = -5*n - o + b. Is n composite?
False
Let a(i) = i**3 + 5*i**2 + 4*i + 5. Let z = 10 - 14. Let y be a(z). Suppose -2*g + 0*g - y*h + 66 = 0, 0 = -3*g - h + 73. Is g prime?
True
Suppose -3*c + 5*w = -8173, 4*w = 3*c - c - 5446. Is c a composite number?
False
Let n(f) = 537*f - 1. Let m be n(1). Is (m/2)/(4/2) a prime number?
False
Suppose m = -2*s + 7, 0 = -7*s + 3*s - 4*m + 24. Let t = 1 + s. Suppose 4*z - t*z = -4*x + 92, -4*x - z = -88. Is x prime?
False
Suppose -5*r = -5 - 15. Suppose c - n = 417, -n - r*n - 1259 = -3*c. Is c composite?
True
Suppose -y + b = -4*b, 6 = y + b. Suppose 3*k - w = 137, -5*w - y = -25. Suppose -3*a + u = -143, k = 2*a + 3*u - 41. Is a a composite number?
False
Let q = -16 + 133. Suppose -40 + q = s. Is s composite?
True
Suppose 0 = -5*q + 9 + 1. Suppose 0 = q*a - 2*o + 100, 2*o = -3*a + 4*o - 151. Is (-2)/3*-3 - a a composite number?
False
Let m(c) be the second derivative of c**4/12 + 5*c**3/6 + c**2/2 - 2*c. Is m(6) a composite number?
False
Let q be (-27)/(-9) - (-4)/1. Let c(s) = 15*s + 8. Is c(q) a composite number?
False
Suppose 3*p + 4 = -p, 0 = 3*c - p - 1. Suppose 4 = -m - m + 4*x, 3*m - x + 1 = c. Suppose -4*y + 44 + 272 = m. Is y composite?
False
Let f = 4 - 0. Suppose b + 19 = 5*c, 2*c = -2*b + f + 6. Suppose -r + c*r = -4*u + 245, 5*u - 4*r = 345. Is u prime?
False
Suppose 4*c - 8*c - r = -4825, -5*r = -c + 1180. Is c a prime number?
False
Suppose 3*j - 14 + 4 = a, 0 = -5*j + 5*a. Let y(n) = 5*n**2 + 0 + 1 + n - n + n. Is y(j) composite?
False
Let q(i) = 2*i. Let n be q(2). Suppose -4 = -n*g + 56. Is g a composite number?
True
Let b = -145 - -476. Is b composite?
False
Let h(a) = -11*a**3 + 9*a**2 + 6*a - 1. Let v(u) = 22*u**3 - 17*u**2 - 11*u + 2. Let p(s) = -7*h(s) - 4*v(s). Is p(-3) prime?
False
Suppose -4*s = 1 - 269. Is s composite?
False
Let z = 5 + -10. Let q be 3/(z/8 - -1). Let f(n) = -n**3 + 9*n**2 - 7*n - 2. Is f(q) a composite number?
True
Let i(w) = w**2 + w + 1190. Let q be i(0). Let a = -676 + q. Suppose -a = -5*v - 89. Is v composite?
True
Let z be 5 + (-1 - (0 + 0)). Let h = -9 - -21. Suppose 8*w = z*w + h. Is w composite?
False
Let t = -427 + 302. Let v = t - -240. Is v a composite number?
True
Let c = 18 + -164. Suppose 2*u - 6*u = -892. Let z = u + c. Is z composite?
True
Let l(b) = 56*b + 1. Is l(6) prime?
True
Is 23/2*234/9 a prime number?
False
Suppose -4*j + 126 = -2*w, -3*w - 5*j - 148 = 74. Is (-1)/(210/w - -3) prime?
True
Is 161 - (-3)/((-12)/16) a prime number?
True
Let j(f) = -f**2 + 4*f. Let a be j(7). Let l = 38 + a. Suppose 0 = i + l - 172. Is i a composite number?
True
Suppose -2*x = 2*c - 3458, x + 0*x - 1749 = 4*c. Is x prime?
True
Is (-1101)/(-9) + (-1)/3 a composite number?
True
Let d be 0/((-1 - -3)/(-2)). Suppose -4*i + 2*i + 18 = d. Is i composite?
True
Suppose j = 4*r - 130, 0*j - j + 5*r - 129 = 0. Let f = j - -261. Is f a composite number?
False
Is -3777*10/(-12)*10/25 composite?
False
Let s(u) = 2*u**3 - 10*u**2 - 4*u + 7. Is s(10) composite?
False
Let w(d) = -d**3 + 6*d**2 + 4*d + 3. Let v be w(5). Suppose 3*o - m = 2*o + 18, 4*o + 4*m = v. Is o prime?
False
Let m(h) = h**3 + 5*h**2 + 2*h - 5. Let k be m(-6). Let b = k - -172. Is b composite?
True
Let h(x) = x - 4. Let v be h(7). Suppose 2*n = n + 3*t + 50, -168 = -3*n + v*t. Is n composite?
False
Let k be (-152)/6*(-3)/1. Let u = -41 + k. Is u a composite number?
True
Let y be 0/(-4*3/(-6)). Suppose 6 = f - y*f. Is f prime?
False
Suppose 2 = r - 0. Suppose -s - 1 = -r*s - 3*p, p = -2*s + 7. Is 2/s - 27/(-18) a composite number?
False
Let l = -5 - -7. Suppose 0*r = -l*r. Suppose r = -4*o - o + 215. Is o prime?
True
Let a = 0 + -2. Is (-111)/(-12) - a/(-8) a composite number?
True
Let f = -8 - 34. Let c = 95 + f. Is c composite?
False
Let x(h) = -h**2 - 5*h + 7. Let u be x(-5). Suppose 99 = 4*i + u. Is i composite?
False
Is ((-5958)/(-24))/(6/8) a composite number?
False
Let m(l) = l - 6. Let c be m(7). Let t be 7 - 2/(c + -2). Is (-2)/6 + 174/t a composite number?
False
Let t be (-15)/(-3)*28/(-10). Is t*(2/(-4) - 1) a composite number?
True
Let g = -5 - -9. Suppose c + 5*k = 7, 3*c + 7*k = g*k + 9. Let x(z) = 5*z**3 + 3*z**2 - z + 1. Is x(c) a prime number?
False
Suppose -4*q = 5*d - 5*q - 659, 0 = 2*d - 5*q - 282. Is d a prime number?
True
Let i = -59 + 35. Let v be i/(-16)*52/3. Suppose -2*k = k + d - v, 2*k - 4*d = -6. Is k prime?
True
Let t(v) = -v + 1. Let j be t(-2). Suppose -d + j = -7. Is d prime?
False
Suppose -9108 = 4*p - 23744. Is p composite?
False
Let k(x) = -x**2 + 8 - 2*x + 3 + x + 2*x. Is k(0) prime?
True
Let k = 1 - -2. Suppose 0 = -k*n + 594 + 195. Is n composite?
False
Suppose 0*s - 3*s = -348. Suppose s = -3*y + 317. Is y prime?
True
Let m be (-15)/(-6) - 12/(-8). Suppose -2*l - 4*u = -126, 4*u + m - 20 = 0. Is l prime?
False
Suppose 0 = -y + 4*n + 209, 2*n = 4*y + y - 1099. Is y composite?
True
Let v be (14/7)/((-2)/(-5)). Suppose 651 + 404 = v*o. Is o prime?
True
Let v = -262 + 560. Is v prime?
False
Let t(w) = -563*w**3 - w**2 + 1. Is t(-1) composite?
False
Is 350 + (-9)/(-6)*2 a prime number?
True
Suppose 5*r - 2234 = 26661. Is r a composite number?
False
Let c(n) = 3*n**2 - 2*n - 2. Let v be c(2). Suppose v*d + 76 = 10*d. Is d composite?
False
Let b(l) = 2*l**3 - 10*l**2 + 8*l + 11. Is b(7) a prime number?
True
Let f = 2072 - 662. Is (-1)/(-3) - f/(-9) a composite number?
False
Let y(l) be the seco