Suppose -8*f + 3440 + 2936 = 0. Is f prime?
True
Let n(r) = -r + 1. Let k be n(-3). Suppose -2*v = 5*c - 53, -v - k*c = -4*v + 114. Is v a composite number?
True
Let l(f) = -15*f + 1. Let w(a) = -15*a + 1. Let o(d) = 7*l(d) - 6*w(d). Suppose 35 = -4*n - 4*t + 11, 0 = n + 4*t + 18. Is o(n) a composite number?
False
Let i(u) = u**3 + u**2 + u - 4. Let p be i(0). Let v = -11 - p. Let o(m) = -m**2 - 12*m + 2. Is o(v) prime?
True
Suppose 5*u + 20 = -0*u, 4*w = -5*u - 36. Let x = 6 + w. Suppose x*y - 35 = -3*y. Is y composite?
False
Let j(g) = -g**2 - 7*g + 2. Let w be j(-7). Let m(d) = -4 + 0 - 5*d**3 + d + d**w - 2*d. Is m(-3) prime?
False
Let b(d) = -d**3 - 7*d**2 + 7*d + 7. Is b(-9) a composite number?
True
Let j(g) = 6*g - 1. Suppose -x = -5*x + 4. Let a be j(x). Suppose 0 = a*c - 35. Is c composite?
False
Let a = 899 + 98. Is a a prime number?
True
Let s(r) = 2*r**2 + r + 7. Is s(6) composite?
True
Suppose 4*y - 85 - 559 = 0. Suppose -5*v + 2*f + 282 = -y, -5*f - 84 = -v. Is v a composite number?
False
Let g = 437 + -231. Is g prime?
False
Let l(u) = 1. Let x(k) = -14*k**2 - 2*k - 4. Let s(o) = -29*o**2 - 5*o - 9. Let a(j) = 2*s(j) - 5*x(j). Let g(c) = a(c) - 3*l(c). Is g(-1) a prime number?
True
Let w(t) be the second derivative of t**5/20 + 2*t**4/3 - 4*t**3/3 + 11*t**2/2 + 2*t. Let z be w(-9). Suppose 5*f = -z*m - 3 + 28, -5*f + 40 = 3*m. Is m prime?
False
Suppose -12*i = -16*i + 2948. Is i composite?
True
Let w = -10 + 50. Suppose -p + w = 4*p. Is (-2)/p - (-474)/8 prime?
True
Let s(p) = -51*p + 73. Is s(-26) prime?
True
Suppose -2*x + 0*x + 220 = 0. Let g = -53 + x. Is g composite?
True
Let k(g) = -2*g - 6. Let b be k(-4). Suppose -2*c + b*x + 10 = c, c + 1 = 5*x. Suppose 4*s - 2*d - 36 = -c, -5*s = 3*d - 29. Is s composite?
False
Let l = 934 - -109. Is l a prime number?
False
Let s = 4 + 0. Let z(r) = r**3 - r**2 + 4*r - 2. Let w be z(s). Suppose 3*t + w = 2*h - 2*t, 3*t = -3*h + 51. Is h composite?
True
Let i = 378 - 155. Is i a prime number?
True
Suppose -4*q + 6 = -5*y + 2*y, -12 = -4*q. Suppose o = y*o - 50. Let u = 27 + o. Is u a composite number?
True
Suppose 11*d - 6*d = 2895. Is d a prime number?
False
Let q(w) = -w**3 - w**2 - 5*w + 8. Let f be q(-10). Suppose 2*i - 3*l = 589, 67 = -3*i + 2*l + f. Let d = i - 180. Is d prime?
False
Let s = 4 - 2. Suppose -5*i - 5*b = -320, 3*i - s*i - 58 = -3*b. Is i prime?
True
Let d(n) = n**3 + 5*n**2 + 8*n + 3. Let c(m) = -3*m**3 - 10*m**2 - 9*m - 14*m - 6 - 5*m**2 - 3. Let s(j) = 6*c(j) + 17*d(j). Is s(-5) a prime number?
True
Let n = 98 - 31. Let v = n - -5. Suppose -10 = 3*s - 4*s + 3*u, 4*u = 4*s - v. Is s composite?
True
Let g = 14 + -8. Let z(o) = o**2 + 3*o - 3. Let p be z(-4). Is 68/g + p/(-3) prime?
True
Let y(i) = 2*i**2 + 1. Suppose 4*u - l + 6*l = -35, u + 5*l + 20 = 0. Is y(u) a composite number?
True
Let j = 10 + -5. Suppose -97 - 148 = -j*g. Is g a prime number?
False
Is (-1 + 1815)/(18 + -16) prime?
True
Let y(k) = k**3 - 14*k**2 - 31*k + 18. Is y(17) a composite number?
True
Let x(c) = 570*c + 41. Is x(4) a composite number?
True
Suppose 0*a = -3*a + 255. Let h = a + -33. Suppose -3*x + 14 = -h. Is x prime?
False
Let f(p) = -p**2 + 5*p. Let y be f(4). Suppose -y*b + 91 = -1. Let o = b - -12. Is o composite?
True
Let f be 2/(-2 - (-10)/4). Suppose 2875 = 4*u - 3*c + 32, 4*u - f*c = 2844. Suppose -q = 4*q - u. Is q a composite number?
True
Is 14/(24045/(-72513) + (-2)/(-6)) composite?
True
Let w = -58 + 91. Suppose -w = -2*s + 29. Is s a prime number?
True
Let h = -1 + 3. Suppose 4*x - 157 + 53 = -h*s, -65 = -3*x + 5*s. Is x prime?
False
Let o = 12 - 6. Let b be 40/o + (-6)/9. Suppose 2*a = -q + 153, -2*a + b*q + 183 = q. Is a prime?
True
Let m(g) = g**2 + g - 3. Let y = 8 - 16. Is m(y) a composite number?
False
Let x = 15 - 15. Let k(s) = -2*s + 10. Is k(x) composite?
True
Let u(z) = 44*z + 3. Let v be u(-2). Let n = v - -274. Let b = n - -28. Is b prime?
False
Let s = 6 + -3. Suppose -s*z = 2*z - 295. Is z a composite number?
False
Suppose -2*o + 2 = 0, 2*d - 4*o + 1 = -3*o. Let j be 3 - 0 - (-5 + 5). Suppose z + 37 = 4*m - 4*z, d = -z + j. Is m a prime number?
True
Let d(v) = 22*v**2 - v + 1. Suppose -3*s - 2 = -2*o, 0 = -4*s - s - 10. Is d(o) a composite number?
True
Let m(p) = -38*p - 15. Is m(-6) a composite number?
True
Suppose w - 46 - 13 = 0. Let j = w - 28. Is j a composite number?
False
Let h be (-2)/(-6) + (-21)/9. Let b(r) = 6*r**2 + r - 1. Let a be b(h). Suppose 0*w + 3*w = a. Is w prime?
True
Suppose -5*w - 3 + 638 = 0. Is w prime?
True
Let k(w) = -w**2 + 5*w - 5. Let u be k(4). Let i be (1 - u) + 3/3. Suppose -120 + 3 = -i*p. Is p a composite number?
True
Let t(g) = 3*g + 1. Let p = 3 - 2. Let d be t(p). Suppose 455 = d*l + l. Is l a prime number?
False
Suppose -4*a + 632 = -548. Suppose 5*k - 4*y - a - 706 = 0, k + 2*y = 203. Is k composite?
True
Suppose 0*y - 4*y = -100. Suppose -2*k + 146 = p - y, -2*p = -5*k + 405. Is k a composite number?
False
Suppose -8*s + 12*s = 64180. Is s a prime number?
False
Suppose 2*o + 4*w - 110 = 0, -3*o - 5*w + 49 = -2*o. Is o a prime number?
True
Let m be (-922)/4*(-8 + 6). Let y = m - -84. Suppose 4*h = 5*b - y, 2*h = -2*h. Is b composite?
False
Suppose -5*y + 56 = -579. Is y a prime number?
True
Is (-121)/(1 + -4 - -2) prime?
False
Let j(n) = n**3 - n - n - 1 + 4*n + 4*n - 10*n**2. Is j(10) composite?
False
Let g be 184/(-2 + 0)*1. Let j = g + 294. Let x = -117 + j. Is x composite?
True
Let i(b) be the second derivative of -b**5/10 - 5*b**4/12 - 2*b**3/3 + b**2/2 + 6*b. Is i(-4) prime?
False
Let f(v) = 2*v - 1. Let h be f(-4). Let b = 15 + -9. Is h/6*(-40)/b a composite number?
True
Suppose 3*y = 5*w - 15, -7*w - 5*y + 12 = -3*w. Is (2 - w) + 3 - -9 composite?
False
Let f = 182 + -95. Is f composite?
True
Suppose -5*n + 25 + 55 = 0. Suppose 0 = 2*w + 5*h + n, w + 6 = 2*w - h. Suppose w*c = c + 91. Is c a composite number?
True
Suppose -r + 21 = 4*s, -8 = -s - s. Suppose r*c + 595 = -55. Let z = -53 - c. Is z a prime number?
False
Suppose h + h + 94 = 2*a, -2*h = -8. Is a composite?
True
Suppose -2*d = 17 - 1. Let l(y) = -y**3 - 9*y**2 - 8*y - 6. Let m be l(d). Let j(r) = -13*r + 1. Is j(m) prime?
True
Let a(m) = -2*m**3 + 2*m**2 + 2*m + 1. Let g be a(-1). Suppose 3*f - g = -0*f, -4*c + 17 = f. Suppose c*v + 6 = 5*v. Is v composite?
True
Let s(a) = 2*a**2 + 5*a + 7. Is s(-4) a composite number?
False
Let w = 4 - 0. Suppose 407 = w*r - l, 6*r - 3*l - 201 = 4*r. Suppose 0 = 3*y - r + 3. Is y prime?
False
Suppose 0 = -4*c + 13578 + 10070. Is c/88 + 2/(-11) a prime number?
True
Suppose 3*g - 46 = -5*b + 2*g, 5*b - 70 = 5*g. Let y = 1 + b. Let w(v) = -v**2 + 13*v + 13. Is w(y) composite?
True
Suppose -3*q = -0*q + 2*p + 10, -p = -2*q - 16. Let d be 2/4 - q/12. Is (d - 0) + (14 - 2) a composite number?
False
Let x(l) be the first derivative of -l**3/3 + 2*l**2 - l + 3. Let m be x(5). Is m/(-4)*6 - 2 a prime number?
True
Let f(z) = 2*z**2 + 10*z + 3. Let x be f(-5). Suppose 0 = -4*o - 4*k + 856 - 16, 0 = 3*o - x*k - 624. Is o prime?
False
Suppose 2*c = -10, -3*k = 4*c + 8 + 15. Is (k/(-3))/(1/78) a composite number?
True
Let x = 7 + 0. Suppose o - x*v + 2*v + 19 = 0, -4*v + 57 = -3*o. Let m = 29 + o. Is m prime?
False
Suppose -12*u + 10*u + 2086 = 0. Is u a prime number?
False
Suppose 0 = -3*d + 48 - 6. Suppose a - d - 5 = 0. Is a a composite number?
False
Suppose -6 = h - 0*h. Let q be (3/h)/((-2)/24). Is (0 + -3)*(-62)/q a prime number?
True
Suppose 5*f - p - 343 = 2013, 2358 = 5*f - 3*p. Is f prime?
False
Suppose v - 30 = 99. Is v a prime number?
False
Let l be 144/(-14) - 6/(-21). Let m be (l/(-8))/(2/24). Is (-10)/m*(-258)/4 composite?
False
Let m(q) = -q**2 - 7*q - 2. Let s be m(-6). Suppose -1 = t - 3*p, s*t + 0*p = -p + 22. Suppose t*z = 402 + 193. Is z prime?
False
Let h = 1 + 0. Let j = h - -2. Suppose 5*y - 383 = -2*z, j*z - 8*z - 5 = 0. Is y a prime number?
False
Suppose -32 = 3*b - 7*b. Is (-35)/2*b/(-10) a prime number?
False
Let h be 186/(-3)*(-6)/4. Suppose 0 = -2*a + 6*a - 200. Let u = h - a. Is u a prime number?
True
Let y(g) = -8*g. Let d be y(-1). Let p(l) = l**2 - 8*l + 5. Let w be p(d). Is (-4)/(-10) - (-423)/w a composite number?
True
Suppose 6 = -c + 1. Is 2/c + (-574)/(-10) a prime number?
False
Suppose