4*n - b, 105 = 3*n - 0*b - 2*b. Is n composite?
True
Let m(z) = 32*z**2 - z - 4. Let b be m(7). Suppose -b = -4*d + 2*j - 41, 2*d - 758 = -j. Is d a composite number?
False
Suppose -3*j = -6*j + 399. Is j prime?
False
Let u(d) be the first derivative of d**3/3 + 3*d**2/2 + 4*d + 2. Let i be u(-3). Suppose 3*t + c - 31 = 0, 3*t = -t - i*c + 36. Is t a prime number?
True
Let y(h) = 2*h**2 - 3*h - 4*h + 2*h**2. Let g be y(7). Suppose -55 = 4*f - g. Is f prime?
True
Let g(h) = 4*h**2 + 1. Let i be (-13)/(-3) - 2/6. Suppose -3*j - 8 = i. Is g(j) prime?
False
Let r(i) = i**2 + 3*i. Let p be r(-3). Suppose 5*w = -p*w + 745. Suppose w = 4*g - 159. Is g a prime number?
False
Let k be (-5 + -1)*2/(-4). Suppose k*v - 16 = a + 42, -2*a + 74 = 4*v. Is v prime?
True
Let x be 2 + (-1 + 0 - -4). Suppose 0 = 5*k - x*v + 15, -4*k = -2*v + 3 + 7. Is 682/8 + k/8 prime?
False
Suppose 0 = -5*z + z + 380. Suppose 4*r + z = 19. Let k = -10 - r. Is k composite?
True
Let c be 5/((-10)/(-4)) + 1. Suppose 7*r + 2 = c*r - 2*h, 2*r = 2*h - 16. Is -1 - r - 0/(-2) prime?
True
Let g be (1/(-2))/((-1)/12). Suppose g*q - 110 = q + n, 0 = -2*n + 10. Is q prime?
True
Suppose -10*s = 539 - 1989. Is s prime?
False
Let l(i) = -i**3 + 8*i**2 - 6*i. Let b be l(7). Suppose y + b - 132 = 0. Is (y - -2) + (1 - 1) a composite number?
False
Let l(i) be the second derivative of i**5/5 - i**4/6 - i**3/6 - i**2/2 - 2*i. Is l(2) a composite number?
True
Let z = 9 + -6. Let l(x) = x - 2*x + 2*x**2 - x**2 + 1 + 34*x**z. Is l(1) a prime number?
False
Let d be 44/36 - 4/18. Suppose -2*f + 16 = -i, -2 - d = -f + 3*i. Is f a prime number?
False
Let c(d) = -d + 15. Let s be c(9). Let j(g) = -g**3 + 5*g**2 + 8*g - 1. Let q be j(s). Let z = q - -22. Is z a composite number?
True
Let r(o) = -o**2 + 7*o - 4. Let k be r(6). Let h be -3*9/(36/(-8)). Suppose 124 = h*y - k*y. Is y composite?
False
Suppose -5*x + 5*t - 3*t + 9745 = 0, -2*t = 0. Is x a prime number?
True
Let m = -2735 + 6100. Is m prime?
False
Is (1/(-5))/(1/(-3155)) a composite number?
False
Let a(y) = -2*y**3 - 8*y**2 + 12*y - 2. Let v(q) = -q**3 - 9*q**2 + 11*q - 3. Let i(b) = 2*a(b) - 3*v(b). Let z = 2 + 4. Is i(z) prime?
True
Suppose 0 = h + 5*b + 12, 0*b - 6 = -4*h - 2*b. Let g(w) = 7*w**2 + 4*w - 5. Let p be g(5). Suppose v + p = h*v. Is v composite?
True
Let r = 65 - -48. Is r composite?
False
Let i be (-152)/(-6) - (-10)/15. Let m = 85 - i. Suppose 3*o = 5*b + 54, 0 = -5*o - 3*b + b + m. Is o a prime number?
True
Suppose -116 = 3*y - y. Let b = 4 - y. Suppose 0 = -4*u - 0*s + 4*s + 116, 2*u - s = b. Is u a prime number?
False
Suppose -1 = -5*r + 4*r. Is (195/25)/(r/5) a prime number?
False
Suppose 0 = 2*a + 3*v - 800, -6*a = -3*a + 2*v - 1200. Suppose 0 = 3*c + 2*h - a, 2*c = 4*h - 0*h + 272. Is c a prime number?
False
Let l(r) = 6*r**2 - r + 2. Suppose -3*w = 2*w - 40. Let m = -1 - w. Is l(m) prime?
False
Suppose 0 = a + 1 + 4, -2*a = u + 7. Let v = u + 0. Is v prime?
True
Suppose -2*u + 207 = u. Is ((-10)/(-6) + -1)*u prime?
False
Suppose -4*v + 16 = -0*v, v + 3332 = 3*w. Suppose -2*u = -w + 42. Is u a composite number?
True
Let t(g) = -g**3 + 5*g**2 - 4*g - 4. Let z be t(4). Let l = z + 7. Suppose -p + 2*u + 0*u + 8 = 0, -l*p - 3*u = -33. Is p a prime number?
False
Let i = -5 + 3. Is (141*i*1)/(-2) a composite number?
True
Suppose p + g - 137 = 0, 3*g + 31 + 545 = 4*p. Is p prime?
False
Suppose q = -28 + 266. Suppose 3*o - q = o. Is o prime?
False
Let m(c) = 13*c**3 + 29*c**2 + 25*c - 1. Let r(s) = -3*s**3 - 7*s**2 - 6*s. Let w(n) = -2*m(n) - 9*r(n). Let j be w(-4). Is 1/(j/422 + 0) a composite number?
False
Let m(z) = 19*z**2 + 6*z + 36. Let g(o) = 4*o**2 + o + 7. Let x(u) = -11*g(u) + 2*m(u). Let d be x(7). Is 4/10 - d/20 prime?
False
Let f(r) = 10*r**2 - 2*r - 25. Is f(13) composite?
True
Let s be 6/(-4)*-1*38. Suppose 0 = 5*v - 3*h - 14 - 63, -5*v - 2*h = -s. Is v composite?
False
Let k(l) = 0 - l**2 + 2*l**2 + 2. Let u be k(-3). Suppose -3*x - u = 6*c - c, 0 = x + 5*c + 17. Is x a prime number?
True
Let j(u) = -u + 443. Is j(0) a prime number?
True
Is 4*(-4)/8 + 124 a composite number?
True
Let c = -285 + 442. Is c a composite number?
False
Suppose 0*z = -3*f - 3*z - 120, 8 = -2*z. Suppose -140 = -2*u - 0*u. Let k = u + f. Is k composite?
True
Suppose -2 - 3 = -5*r. Let i(l) be the first derivative of 52*l**3 - l + 8. Is i(r) a composite number?
True
Let g(d) = 3*d + 4. Let c be (-1)/(1/8) + 0. Let r(k) = k**2 + 7*k - 2. Let u be r(c). Is g(u) composite?
True
Suppose 0 = -0*t + 2*t - 3014. Is t prime?
False
Is 833 - (-2*3)/(-3) a composite number?
True
Let w(x) = 66*x**3 - 4*x**2 - 2*x - 2. Let i be w(-3). Let l = i - -989. Is (2/3)/((-10)/l) composite?
True
Suppose 0 = 9*n + n - 6530. Is n composite?
False
Let t = 173 - -78. Is t prime?
True
Is (76/(-5))/((-26)/65) prime?
False
Suppose 2*s - n = 812 + 1202, 5*s - 5*n = 5025. Is s prime?
True
Suppose 7 = t + 4*y, -y + 0*y - 5 = -2*t. Suppose -140 = -t*h + 1753. Is h prime?
True
Let z(v) = -v**3 - 2*v**2 + 4*v + 3. Let c be z(-3). Is c + 3/((-6)/(-52)) prime?
False
Let l(u) = -u + 4. Let d(a) = a - 1. Let v(q) = 6*q - 4. Let k(n) = 5*d(n) - v(n). Let p(h) = 3*k(h) - l(h). Is p(-5) prime?
True
Suppose 0*r - 8 = -4*r, -s = 3*r - 27. Suppose 5*u - 51 = -s. Let d = 12 - u. Is d a prime number?
False
Let z be (-226)/7 - (-8)/28. Let q be 1 - (z + 0 + -1). Let c = 60 - q. Is c a prime number?
False
Let k = 14 - 7. Let f = -4 + k. Is (0 + f/6)*74 prime?
True
Suppose 3*o + 33 - 6 = 0. Let i = 25 - o. Is i composite?
True
Let m(j) = 7*j**3 - 6*j**2 - 4*j + 3. Let a(s) = -s**3 + s**2 + s - 1. Let x(w) = 6*a(w) + m(w). Let i be x(2). Suppose i + 110 = g. Is g composite?
True
Suppose 2361 = 5*s - 2*s. Is s prime?
True
Let u(o) = -o - 13. Let z be u(-9). Is -3 - z - (1 + -43) a prime number?
True
Suppose -3*r = 2*r - 845. Is r a composite number?
True
Let f(s) be the first derivative of 4*s**3/3 + 3*s + 7. Is f(-4) composite?
False
Is (-21)/2*246/(-9) composite?
True
Let l(c) = -103*c + 1. Let p be l(-9). Let i = -582 + p. Is i a prime number?
False
Let h(p) = 3*p**2 + 3*p. Let d be h(-2). Let g(q) = 6*q**2 + 1 - 6*q**2 + q + 6*q**2 - 4*q**2. Is g(d) a composite number?
False
Let c be (-1 - -31)*(-13 + 15). Let h = 113 - c. Is h composite?
False
Suppose l = -5*k - 661, 3*k - 2*l + 627 - 220 = 0. Let n = 192 + k. Is n a prime number?
True
Let q = 1291 + -402. Is q a prime number?
False
Let x = 10 - 7. Suppose -5*g = -3*d - 1792, 3*d = -x*g + 432 + 648. Is g composite?
False
Is 670/2 - (13 - 9) composite?
False
Let g be (-3)/5 + (-987)/5. Let r = 475 - g. Is r prime?
True
Suppose 0 = 3*z + 2*z - 75. Is z a prime number?
False
Suppose u - 5 = -2. Let f(h) = 4 + 2 - 2 + 11*h. Is f(u) a composite number?
False
Suppose -12 = -5*p + 2*p. Suppose r = p*r - 381. Is r composite?
False
Suppose -2*f - 2*f + 3*b = -156, 5*f = -3*b + 222. Let m = 363 - f. Let v = m - -46. Is v a prime number?
True
Let b be -1 + 8/1 - 1. Suppose -b*v + 24 = -2*v. Suppose -33 = -3*d + 3*j, -d + j - 19 = v*j. Is d prime?
False
Let b = -9 + 14. Suppose -b*x + 60 = 5*g, g + x - 9 = -3*x. Is g prime?
True
Suppose -206 = -f + 175. Is f prime?
False
Is (2/3)/((4/(-4629))/(-2)) a prime number?
True
Let b(j) = -4*j**2 - 2 + 3*j + 2*j**2 + 3*j**2. Let h be b(-3). Is 32 + (-3 - h - -2) composite?
True
Let k = -18 - -30. Suppose -4*j = -2*j - k. Is j prime?
False
Suppose -86 = -4*f + 98. Is f prime?
False
Let r = -26 - -211. Is r a prime number?
False
Is (3 - 1072/12)/((-2)/6) a composite number?
True
Let m = 615 + -322. Is m prime?
True
Let i(z) = -z**2 + 5. Let r be i(0). Suppose f + 33 = 2*p, r*p = -4*f - 62 - 18. Let m = f + 72. Is m a prime number?
True
Let i(w) = 19*w - 13. Is i(8) prime?
True
Let p(n) = 58*n**2 + 6*n + 3. Is p(3) composite?
True
Suppose 3*h - 4*h = -1067. Is h composite?
True
Let i = 53 + -32. Is i a composite number?
True
Let s(y) = 4*y**3 + 1. Let q be (-2)/(-7) + (-15)/(-21). Let c be s(q). Suppose 0 = -f + c*f - 60. Is f composite?
True
Suppose 0 = 5*v + g - 633, -3*v + 2*g = g - 383. Is v a prime number?
True
Let t(g) = 3*g**2 + 3*g + 5. Let n be 4/12 - (-16)/(-3). Is t(n) a composite number?
True
Suppose h - 221 = p + 227, -5*p - 15 = 0. Is h composite?
True
Suppose -2*t = s + 3*t - 15, -2*s = -5*t 