y(5). Let h be -2 - u*(-3)/(-3). Suppose -3*q - 10 = -r, 2*r = -h*r - 2*q + 44. Is r composite?
False
Let q(r) = -2*r**3 - 5*r**2 + 2. Is q(-5) composite?
False
Suppose 3*u - 6 = 27. Is u a prime number?
True
Let k(n) = 24*n + 7. Let m be k(-9). Let p = m + 432. Is p prime?
True
Let l(v) = v**3 - 8*v**2 + v - 8. Let b be l(8). Let p be b/(-4 + 2)*1. Suppose 3*f - 148 - 47 = p. Is f composite?
True
Let k(c) = c**3 - 2*c**2 + 2*c - 2. Suppose 2*g = -4*a - 4, -g = 3*a - 6*a - 8. Is k(g) a composite number?
False
Let l = 91 + 28. Is l a prime number?
False
Let b(h) = h**2 - 5*h + 7. Suppose -o + 0 = -2. Let r = 8 - o. Is b(r) prime?
True
Is ((-743)/(-2))/(-3 + (-28)/(-8)) prime?
True
Let k(l) = l + 8. Let z be k(-6). Suppose 5*y - 3*s + 2 = 0, -z*y + 0*s + 12 = 2*s. Suppose -f + 3 = -y*b + 1, -4*b + 8 = 4*f. Is f a composite number?
False
Let r(y) = -y + 4. Let z be r(2). Let d be (-6)/(z/(-4)*3). Suppose 4 = 4*v, v + v = -d*u + 766. Is u composite?
False
Suppose 3*x - 48 = -6. Suppose 2*v - x = -0*v. Is v a composite number?
False
Is 0/(-8) + 1*326 prime?
False
Let p be 1 + 4 + (-2)/(-1). Suppose -p = -5*d + 3. Suppose -3*a = -3*m - 156, d*a + 4*m - 184 = -2*a. Is a composite?
True
Let q be -4 + 2 + 495 + 3. Suppose -2*w = -q + 22. Suppose 5*n = 3*f - w, -53 = -f + n + 26. Is f composite?
False
Let i(o) = 114*o. Let q be i(2). Let n = q - 376. Let v = -61 - n. Is v a composite number?
True
Suppose 0 = 4*v - 1277 + 225. Is v prime?
True
Suppose -4*m = -1013 - 3675. Suppose 9*x = 5*x + m. Is x composite?
False
Suppose 0 = 5*r + 4*a - 6, -5*r + 2*r + 8 = -2*a. Let c(o) = -5*o - 3 + 1 + 0*o**2 + 2*o**r. Is c(5) prime?
True
Suppose -35006 = -11*h - 10905. Is h composite?
True
Let s be (-17 - (0 + -2))/(-1). Suppose -2*t = -3*g + 9, 0 = 4*g - 2*t - 14. Suppose -j + s = g. Is j prime?
False
Suppose -2*n - 3*r = -n - 9, 0 = -4*n - 4*r + 12. Suppose w - 3*d + 31 = n, -w = 2*w + 2*d + 38. Let m = w + 22. Is m prime?
False
Suppose 0 = 2*c + 2*x, 0 = -0*c - 5*c - 3*x. Suppose c*m - 213 = -3*m. Suppose -4*d + m = -53. Is d prime?
True
Let m = 230 - -115. Suppose -m = -3*o - 0*o. Is o a prime number?
False
Let w = -2013 + 3268. Is w a prime number?
False
Let q(s) = -6*s**2 - 4*s - 3*s + 4 + 2*s**3 - s**3. Let a(i) = i**3 + 6*i**2 - 7*i + 7. Let x be a(-7). Is q(x) prime?
False
Let p = 2 - 0. Let x(d) = 8*d**2 - 4*d + 2. Is x(p) prime?
False
Let l be 11/(4*3/732). Suppose 2*n = n + l. Is n a composite number?
True
Suppose -3*p - 15 = 0, -3656 = -7*x + 3*x - 4*p. Is x composite?
False
Let z(p) = -2*p - 1. Let d be z(-2). Let a = 3 + 2. Suppose 0 = a*v + 2*f + d*f - 125, f - 4 = 0. Is v a prime number?
False
Let h = 9 + -5. Suppose h*o - 2*a - 58 = 112, 3*o = 4*a + 125. Is o composite?
False
Suppose -2*t + 0*t + 134 = -2*v, 0 = -4*v - 20. Suppose -t + 239 = r. Is r a composite number?
True
Suppose 0 = -x + 3, -4*u - 2*x + 248 = 2*x. Is u prime?
True
Let s(v) = 18*v**2 + v. Let a be s(2). Let d = 131 - a. Is d a prime number?
False
Suppose 4*z = -z. Suppose 5*d - 2*w - 475 = z, -d - 4*w + 21 = -96. Is d composite?
False
Let y(j) = 2*j**2 + 9*j + 2. Is y(-9) prime?
True
Let c = -57 - -278. Is c composite?
True
Let j = -879 - -1630. Is j a composite number?
False
Let n(o) = -o**3 - o. Let x be n(0). Suppose 4*y - 522 = -x*c - 5*c, -2*c + 202 = 5*y. Is c prime?
False
Suppose 35 = d - 133. Suppose 2*s - 674 = -d. Is s composite?
True
Suppose 0 = -4*x + 261 - 49. Is x a prime number?
True
Suppose -2*m = 5*q - 29 - 6, q = 2*m - 5. Suppose -3*d = -5*d + 8, -3*r - q*d + 32 = 0. Suppose 0 = -5*o - 2*g - 2*g + 31, r*g + 25 = 3*o. Is o composite?
False
Suppose -8 = -4*v + 56. Suppose -2*x - 22 = -4*u + v, 2*u - 111 = 5*x. Let h = -12 - x. Is h a composite number?
False
Suppose q - 28 = -3*q. Suppose 3*v = 3*o - q*o + 200, -2*v - 8 = 0. Is o a prime number?
True
Suppose -1868 = -7*n + 3*n. Is n composite?
False
Suppose 3*n - n = 0. Suppose 2*h + 2*z - 28 = n, -h + 2*z + 4 = 2. Suppose h*f - 115 = 5*f. Is f prime?
True
Suppose 5*v - 7 - 8 = 0. Suppose -v*z = -0*z - 354. Is z a composite number?
True
Suppose 0 = 5*v - 5, -3*v - 25 = 5*x + 2*v. Let p = x - -10. Suppose p*g = -0*g + 76. Is g a prime number?
True
Let h = 138 + 101. Is h prime?
True
Let n = -87 + 278. Is n composite?
False
Let q(h) = -1 - 1 - 5*h**2 + 5*h - 5 - h**3. Let w be q(-7). Suppose w = -4*t + 8*t. Is t a prime number?
False
Let y be 2/(((3 + -1)/28)/(-1)). Suppose 88 + 78 = 2*p. Let g = p - y. Is g prime?
False
Let d(l) = 2*l - 13. Let x be ((-7)/4 - -1)*-12. Let t be d(x). Suppose -2*b = -t*y - 14, y = b + 5*y - 7. Is b a composite number?
False
Let b(s) = -68*s - 9. Is b(-2) prime?
True
Let c(h) = h**2 - 11*h - 37. Is c(18) a prime number?
True
Is -62*(-12)/8 + (-1 - -3) a prime number?
False
Let c = -930 + 1451. Is c a composite number?
False
Let w = -22 + -3. Let h = w + 35. Is h a prime number?
False
Let w(h) be the first derivative of -h - 3 + 25/2*h**2. Is w(6) prime?
True
Let v(s) = -69*s - 23. Is v(-8) a prime number?
False
Let f(p) = 124*p**2 + 11*p + 12. Is f(-5) a prime number?
False
Let i = 5 + 0. Suppose 0*y - i*y = -185. Is y composite?
False
Suppose -5*b + 20 = -5*q, -b + 4*b - 15 = 0. Is q/5 + (-7032)/(-15) a prime number?
False
Suppose 5*y + 3*g = 114, 3*y = 5*y - g - 39. Suppose -51 = -w + 3*x + y, 5*w + 5*x - 340 = 0. Is w prime?
False
Suppose 4*h = 2*h + 410. Suppose -22 - h = -p + 2*a, 0 = -a - 2. Is p prime?
True
Suppose v + 166 = -3*s + 692, s + 3*v = 162. Is s prime?
False
Suppose -2*v + 10 = -0. Suppose -j - 5 = 2*p, 2*p - 10 = 3*j + v. Is (-2)/((-4)/154 + p) composite?
True
Let x(c) = -1938*c**3 - c**2. Is x(-1) a composite number?
True
Let i = -10 + 20. Let f = 165 - i. Is f a composite number?
True
Is (17/51)/(1*(-2)/(-3378)) prime?
True
Let u = 29 - 27. Suppose 0 = 4*x - 5*h - 799, -h = -2*x + u*h + 399. Is x prime?
False
Let b(p) = 2*p**3 - 17*p**2 + 6*p + 18. Is b(11) a composite number?
True
Let x(c) = -c**2 - 19*c + 35. Is x(-13) composite?
False
Let i(f) = 241*f + 5. Is i(2) a composite number?
False
Let m(l) = -2*l - 1. Let n be m(-4). Let h = n - 3. Suppose h*d = -2*g + 188, -4*d + 3*d = -2*g - 57. Is d a prime number?
False
Suppose -2*o - 3*o = 3*h + 334, 0 = 5*h - 4*o + 495. Let j = 161 + h. Is j composite?
True
Suppose u = -4*p + 30, 135 = 4*u + 3*p - 2*p. Is u a prime number?
False
Let p = 267 - -3278. Is p prime?
False
Let u(t) be the third derivative of -t**6/120 + t**5/60 - t**4/24 + 37*t**3/6 + 2*t**2. Is u(0) a prime number?
True
Let i be (2/5)/((-1)/(-25)). Let d(c) = -c + 1. Let m(h) = h + 6. Let j(z) = i*d(z) - 2*m(z). Is j(-2) composite?
True
Let v(l) = l**2 - l. Let z be v(3). Suppose -i + 2*w + 4 = i, -i = -3*w - z. Suppose -q + 3*q + 200 = 2*x, 4*q + 20 = i. Is x a prime number?
False
Let h = 571 + -366. Is h prime?
False
Let i(q) = q**3 - 10*q**2 - 13*q + 1. Is i(12) prime?
False
Let q(c) = c. Suppose -m + 2*o + 12 = 0, -3*m - o = -m - 4. Let p be q(m). Suppose 5*i + 5*f - 191 = 2*f, -i + 29 = -p*f. Is i a prime number?
True
Let s(o) = -133*o - 1. Let m be s(-2). Suppose -4*b + m = b. Is b prime?
True
Suppose 3*j - 2*t = -4*t + 16229, 3*j - 16241 = -5*t. Is j composite?
False
Let l = 2 + 2. Suppose 8 = -3*w - l*k + 27, 4*k = 4. Suppose -3*j + w*j - 446 = 0. Is j a prime number?
True
Let t(m) = -m**3 + 10*m**2 - 9*m - 7. Is t(7) a prime number?
False
Suppose 189 + 72 = 3*p. Is p prime?
False
Suppose -554 = -5*f + 81. Is f a prime number?
True
Let i be (-86)/(-14) + 1/(-7). Suppose -2*g + i*g = 140. Is g prime?
False
Suppose 6*y - 4*y = 5*k - 74, -3*k + 4*y + 50 = 0. Is k*3*(-118)/(-12) composite?
True
Let c be -2 - -769 - 1*3. Let m = c - 538. Let y = 459 - m. Is y a prime number?
True
Let t be (-2)/2 - (3 - 3). Let q = t - -8. Is q a composite number?
False
Suppose -4*v + 4 = 0, 7*q + 220 = 2*q + 5*v. Let h = 10 - q. Is h composite?
False
Suppose 29 = 2*z + 3*i, -z + i = 2*i - 17. Is z prime?
False
Let c(b) = -26*b. Let n be (2/(-6))/(1/3). Let y be c(n). Let v = y + -16. Is v a composite number?
True
Suppose -5*v + 2073 = 5*y - 3122, 3*v + 5227 = 5*y. Is y a prime number?
False
Let v(d) = 22*d**3 - d**2 + 2*d + 2. Is v(3) a prime number?
True
Suppose -4*x = -3*t - 0*t - 251, -3*x + 183 = -4*t. Let h = x + 48. Is h prime?
True
Suppose 0*r - 62 = 5*