244 = -5*d + u. Is d a prime number?
True
Let r be ((-932)/(-8))/((-1)/(-6)). Let y = -406 + r. Is y a prime number?
True
Let u = 2542 - 1703. Is u composite?
False
Is 1/2 + (8178/12 - 5) composite?
False
Suppose 0 = -15*a + 11162 + 1873. Is a prime?
False
Let x(c) = c + 1. Suppose 5*u = -9 + 39. Is x(u) composite?
False
Suppose 4*c + c - 8465 = 0. Is c a composite number?
False
Suppose 0 = 5*f - 736 + 266. Suppose u = -u + f. Is u a composite number?
False
Is -24*(3 + -4) + -2 composite?
True
Let v(m) = 4*m + 2*m - 11 + 5*m - m + 2*m**2. Is v(-8) composite?
False
Let k(p) = -2 - p - 3*p - 4*p + 5. Is k(-7) a composite number?
False
Suppose 3*i + 2*u - 6*u = -11, -4*i = -u - 7. Suppose -i*k = -k - 134. Is k prime?
True
Let b be (-66)/(-4) + (-8)/(-16). Suppose -4*o = -3*f - 277, -172 - b = -3*o - 4*f. Is o prime?
True
Let n(u) = -184*u - 3. Is n(-4) prime?
True
Let m(y) be the third derivative of y**5/60 - 7*y**4/24 + y**3/6 - 4*y**2. Is m(9) a prime number?
True
Let h = 758 - 345. Is h prime?
False
Let c = 80 + -46. Suppose l - c - 189 = 0. Is l composite?
False
Let n = -47 - -28. Let j = 32 + n. Suppose -4*g + j = -3*g. Is g a prime number?
True
Suppose 0 = -6*x + 5909 + 901. Is x a composite number?
True
Is -3*1/(-3)*53 a composite number?
False
Suppose -2*o + 34 + 250 = 0. Is o prime?
False
Suppose 2*z = m - 7, 34 + 1 = 5*m + 3*z. Let n = 10 - m. Suppose n*y = -c + 6, 3*c + 4*y + 1 = 19. Is c a composite number?
True
Suppose -3*x - 2*s = -7521, 3*x + 0*s = -3*s + 7521. Is x a prime number?
False
Suppose -8*d + 7*d = -973. Is d a prime number?
False
Let s = -33 + 160. Is s composite?
False
Let o(c) = 41*c + 2. Let u(n) = 40*n + 3. Let a(t) = 4*o(t) - 3*u(t). Is a(2) prime?
False
Let z(f) = 10*f**2 + 0*f**3 + 0*f**2 + f**3 - f**2 + 5. Is z(-6) a prime number?
True
Let r = 85 - -174. Is r composite?
True
Suppose -6*m - 25051 = -19*m. Is m a prime number?
False
Let r be 2 + (4 - (-4)/(-2)). Suppose -2 = r*x - 5*x. Is 56 - (0 - x)/1 composite?
True
Let f be (-65)/4*-4*1. Suppose -5*y + f + 45 = 0. Is y a composite number?
True
Is 51/(-34) - ((-2283)/6 - 0) prime?
True
Suppose 0 = 5*r + a - 17 + 3, -4*r + 8 = 4*a. Is (0 - r)/(3/(-2)) a composite number?
False
Let x(p) = p**2 + 8*p + 2. Let h be x(-8). Is 1 + 1 - (h + -3) a composite number?
False
Let f(v) = 41*v + 36. Is f(19) a prime number?
False
Is (-4)/22 + 3 + (-141336)/(-44) prime?
False
Suppose b = 1, -6 = -3*w + 3*b + 24. Let c = -4 + w. Is c a prime number?
True
Let q(y) = -46*y**2 - 4*y - 3. Suppose 5*b + 5 = -5. Let h be q(b). Let l = -120 - h. Is l a composite number?
False
Let b = 195 - -146. Is b a composite number?
True
Suppose 0 = -0*i - 2*i + 4. Suppose -2*l + 0*l - i = 0. Is (l + 1 - -85)*1 composite?
True
Is (-2)/((-4)/(-6)) + 148 prime?
False
Let r(z) = -5*z + z**2 + 8*z**3 - 9*z**3 - 8 - 6*z**2. Is r(-6) prime?
False
Is (422/8)/(3/(-48)*-4) composite?
False
Let i(s) = -s**2 + 10*s - 5. Let m(x) = x**3 - 7*x**2 + 7*x - 2. Let t be m(6). Is i(t) a prime number?
True
Suppose -4*j = -3*q + 1, j - 5*q + 17 = 2*j. Suppose 0 = -m - 5*z + 41, m = j*m - 5*z - 61. Is m prime?
False
Suppose 4*t + 2 + 6 = 0. Let f(q) = -q**3 - q**2 - 1. Let y be f(t). Suppose -2*o - y*z - 43 = -3*o, 4*o - 152 = 2*z. Is o prime?
True
Is (-374)/(-4)*1*2 composite?
True
Suppose -2*k + 2234 = 4*b, 4*b + 273 = 2*k + 2495. Is b a composite number?
False
Let y = -2 + -7. Let n = y - -52. Is n prime?
True
Let v(w) = 2*w**2 + w + 22. Let y be v(-9). Suppose 4*r - 3*n = -0*r + y, -5*r = 2*n - 213. Is r a composite number?
False
Let m(s) = -s**3 - 5*s**2 - 8*s - 8. Let g be m(-4). Let l(k) = -3*k - 1. Let i be l(-2). Suppose i*q - 5*j = 55, -q + j + j = -g. Is q a prime number?
False
Let l = 71 - 40. Is l prime?
True
Let b = -18 - -2. Suppose 3*g - 41 = 184. Let h = b + g. Is h composite?
False
Let p be 0 - (-6 + 5 + -3). Suppose p*z = -0*z + 308. Is z a composite number?
True
Let r(c) = 4*c**3 - c**2 - c + 1. Let x be r(1). Suppose x*a - 732 = -177. Is a prime?
False
Suppose 2*h - 10 + 6 = 0. Let q be 0 - (-1*6 - h). Suppose -2*m + q + 70 = 0. Is m prime?
False
Is (-1)/(-2)*(-10 + 96) prime?
True
Let u be (-2)/8 - (-699)/12. Let w = -5 + u. Suppose -s + 0*s + w = 0. Is s a prime number?
True
Let b(i) = 5 - 9 + i**3 - 3*i**2 + 2*i - 3. Is b(5) a composite number?
False
Let t be 2/8 + (-76)/(-16). Suppose -g - 1 + t = 0. Suppose j + 1 = 5*i, g*i = 10 + 6. Is j a prime number?
True
Let s be 4/8 - 6/(-4). Suppose 0 = -s*r + 4*r - 218. Is r a prime number?
True
Let j = 21 + -10. Let d(r) = -r**3 + 11*r**2 + 4*r - 5. Is d(j) a prime number?
False
Suppose -5*f + 1 = 3*y, y + 3*f = 3*y - 26. Suppose 2*m = -w + 12, 4*w = 3*m + y*w - 21. Suppose -665 = -m*j - 4*r, -532 = -4*j - 2*r + r. Is j composite?
True
Let b be (143 - (3 - 1))/(-1). Let o = 50 - b. Is o a prime number?
True
Suppose 4*b = -5*j - 9, 5 = -2*b - 5*j - 2. Is b - (1 + 1) - -130 prime?
True
Suppose -1 = -2*q + 17. Let y be 968/18 - (-2)/q. Suppose -3*d + y = -3*h, 6*h - h - 40 = -5*d. Is d composite?
False
Let s(d) = 5*d**2 - 1. Let k be s(2). Suppose q = -k + 69. Suppose m + 181 = 6*m + 2*w, 5*w = -m + q. Is m prime?
False
Suppose b + 20 = -4*r, 2*b + r + 16 = -b. Let m = 6 + b. Suppose 0 = 3*h + 4*u - 73, 4*h + 5*u - 37 = m*h. Is h composite?
False
Let k(c) = 35*c + 13. Is k(6) prime?
True
Suppose 78 = -5*t + 663. Let g = 238 - t. Is g a prime number?
False
Is 2 + -4 + (-1461)/(-1) composite?
False
Let c(g) = g**3 - 6*g**2 + 5*g. Let x be c(5). Suppose 3*j + x*j = -5*v + 462, v = 5*j - 742. Is j a composite number?
False
Let f = 4 + 40. Suppose -4*q + 3*m = q - 55, 4*m + f = 3*q. Suppose q*n = 3*n + 595. Is n composite?
True
Suppose 0 = 2*u - 7*u - 30. Let k be (-160)/u - 4/6. Let m = k - 15. Is m a prime number?
True
Suppose 16 + 5 = 3*z. Suppose 5*h + 3 + z = 0, 5*k - 108 = -h. Is k a composite number?
True
Let z = -38 + 241. Suppose 4*c - 9 = z. Is c composite?
False
Suppose 1339 = j - 759. Is j a composite number?
True
Let l(m) = 36*m**2 + 2*m + 1. Suppose -4*a + 12 = 2*y, y + 12 = 3*a - 2. Let b = y + 1. Is l(b) a composite number?
True
Suppose 5*t - 2*v = 185, t + 0*t = 4*v + 37. Is t composite?
False
Suppose 153 = -5*q - y, 4*y + 116 = -4*q - 0*q. Let n be 6 + -4 - (q - 0). Suppose i - 5*a = 3*i + 6, -n = -3*i + 3*a. Is i a prime number?
True
Let h(z) be the first derivative of 5*z**3/3 - z**2/2 + 5*z - 3. Is h(-4) a prime number?
True
Let u(l) = 233*l. Let w(c) = -c**2 + 4*c - 3. Let p be w(2). Is u(p) prime?
True
Let d be 2 - 9/3*-1. Suppose -d = -5*q - z, q + 20 = 5*z - 5. Is (q - -3) + (0 - -115) a prime number?
False
Suppose -2*r + 612 = -5*n, -5*n - 703 = 2*r - 95. Let a = n + 173. Let g = a - -2. Is g prime?
True
Suppose 0*b + 4*b + 3*y = 144, 4*b - y = 160. Is b a prime number?
False
Let o be (6 + -1)*4/10. Suppose 3*p - 2*g = 2*g + 1103, o*p + 3*g = 758. Is p prime?
True
Let s(b) = b**3 - b**2 - 2*b. Let r be s(-3). Let y be 6/r + (-32)/(-10). Suppose y*v - 3*l + 13 = 4*v, -5*l = v - 17. Is v a prime number?
True
Let f(k) be the first derivative of 19*k**2/2 + k + 3. Let q be f(-1). Let z = q + 85. Is z a prime number?
True
Let u(q) = 24*q - 29. Is u(15) a prime number?
True
Let r(z) = z**3 - 8*z - 11. Is r(8) composite?
True
Suppose 0 = 3*v - 7*v + 524. Is v a prime number?
True
Suppose 2*s + 0*s = 410. Is s a prime number?
False
Suppose 0 = -3*u - 0*u. Suppose u - 6 = -3*f, 3*p + 2*f = -182. Let a = 149 + p. Is a prime?
False
Let k(i) = i**3 + i + 3. Let u be k(-3). Let m = u - -46. Is m a prime number?
True
Let a = 14 - 11. Suppose -w + a*r + 50 = 0, 3*w + 3*r - 245 = -w. Is w composite?
False
Let p = 1682 + -1009. Is p a composite number?
False
Suppose -4*m - 25 = -5*k, 3*m = k - 3 - 2. Let c = m - -2. Suppose 3*l = -r + 3*r - 230, 222 = c*r - l. Is r composite?
False
Is (267/6)/(8/16) a prime number?
True
Suppose 8*a - 7490 = -6*a. Is a prime?
False
Suppose 0 = s - 2*p + 5, 2*s + 3*p = -2*p + 35. Suppose 0*w = s*w - 635. Is w prime?
True
Suppose -2*a - s = -207, 0 = -5*a + 3*s - 7*s + 510. Is a a prime number?
False
Let w(k) = -13*k - 27. Is w(-6) composite?
True
Let p(x) = 4*x**2 + 5*x - 5. Let t be (1 + -5)*(0 - 1). Is p(t) prime?
True
Let h = 11 - 5. Suppose -5*i = -3*i. Is 1110/h - i/(-1) prime?
False
Suppose 3*l - 2 = -4*r + 