*z + 3*p + 88 = -34, 94 = 2*z + 4*p. Is z composite?
True
Let v be (0 - (-2)/(-2))*-3. Suppose -11 = v*n + 7. Is n + 5 + -1 + 37 composite?
True
Let h(l) = 46*l**2 + 2*l + 2. Suppose 2*s = -2*s - 4. Is h(s) composite?
True
Suppose -3*l = -8*l - 110. Let q = 35 + l. Is q composite?
False
Let y(c) be the first derivative of 8*c**3/3 + 2*c**2 - 4. Let l be y(3). Suppose 5 = -d + l. Is d a composite number?
False
Suppose 41 = -5*j - 19. Let i = -7 - j. Suppose -b = i*w - 2*b - 781, 0 = w - b - 153. Is w a composite number?
False
Let j be (-2 - -16) + 2/2. Let q be (-2)/5 + 51/j. Is (-2 - -4) + 12/q composite?
True
Suppose 6*i + 2*h - 1378 = 4*i, 3*h = -i + 697. Is i a prime number?
False
Is 45/(-6)*(-222)/9 composite?
True
Is 879/3*(-6 - -7) a composite number?
False
Let a(t) = 85*t - 1. Let u(d) = 7*d - 1. Let i be u(1). Is a(i) composite?
False
Suppose 0*k + 12 = n + 3*k, -24 = -3*n - 3*k. Let f = 32 + n. Is f prime?
False
Let v = 73 - 23. Is v - (1 + 2)/3 a prime number?
False
Let n = -5911 + 10508. Is n prime?
True
Let d(g) = g**3 - g + 1. Is d(6) composite?
False
Let i(v) = v + 2. Let r be i(-3). Is r/2*2*-15 a composite number?
True
Suppose -10*y = -7*y + 111. Let g = y + 248. Is g prime?
True
Let y(b) = 210*b + 11. Is y(5) composite?
False
Let r(k) = k**2 + k**3 + 2*k**2 - 1 + k - 5*k**2 + 0*k. Is r(3) composite?
False
Let r be (2 - 0) + 3 + 1. Let l(h) = -r*h - 3 - 7*h + 2*h. Is l(-2) composite?
False
Let f(w) = 3*w**3 - 2*w**2 - 7*w - 99. Let m(q) = -4*q**3 + 3*q**2 + 10*q + 148. Let h(o) = 7*f(o) + 5*m(o). Is h(0) a prime number?
True
Let v = 18 - 6. Is (-1)/6 - (-2582)/v prime?
False
Suppose 2*k = -2*a + 4, -2*k + 4*k + 3*a = 1. Suppose -5*y + 6*o = 3*o - 12, 5*o = k*y - 10. Suppose m = y*m - 110. Is m a prime number?
False
Let g(n) = -n**3 + 8*n**2 - 4*n - 5. Is g(6) prime?
True
Suppose 3*o - 40 = -o + 5*m, 0 = -o - 2*m + 10. Suppose 220 = 3*k + 5*h, -5*k + h = -330 + o. Is k composite?
True
Suppose 2*b - 395 = -3*b. Is (-6)/8 + b/4 a composite number?
False
Let i(y) = y**3 + 2*y**2 + y + 2. Let q(g) = -1. Let p(a) = -i(a) - 3*q(a). Let d be p(-2). Suppose d*l + l = 148. Is l a prime number?
True
Suppose 1 = -3*n + 4*n. Is -2 - n - (2 + -36) composite?
False
Is 2*(-2)/4 - -808 prime?
False
Suppose -3*j = -5*m + 624, -j + 2 = -0. Suppose 2*z + 52 = 2*x, x + 4*z + m = 6*x. Is x prime?
False
Let c(u) be the second derivative of 9*u**5/20 - u**4/12 - u**3/3 + u**2/2 + 2*u. Let w = -6 - -8. Is c(w) prime?
False
Let l(h) = -58*h + 19. Is l(-6) composite?
False
Suppose -v + 0*b = 4*b - 61, -4*v + 301 = -3*b. Suppose 3*y = -6, -3*z + y + v = 2*y. Is z a prime number?
False
Suppose -3 = 2*r - 29. Suppose r*i = 14*i - 37. Is i prime?
True
Suppose -5*i + 2*f = -3490, 3*i + i = f + 2795. Let p = -401 + i. Is p a prime number?
False
Is (-6 - (-13)/2) + (-18882)/(-4) composite?
False
Let f(m) = m**2 + 5*m + 3. Let a be f(-4). Let c(i) = -2*i - 9. Let b(w) = 1. Let d(l) = a*c(l) - 6*b(l). Is d(4) a prime number?
True
Is (498/(-4))/(0 + 15/(-20)) composite?
True
Suppose 3*b = -2*t + b - 6, -2*b - 20 = -5*t. Suppose -t*k - 4*l + 74 = 0, -3*l - 74 = -2*k - 8*l. Is k a prime number?
True
Suppose -2*o + 3*o - 701 = 0. Is o composite?
False
Let m be -3 - (1 + -2) - -6. Suppose 0 = -m*k + 22 - 6. Suppose -k*i = -5*s + 99, -2*s - 3*i + 127 = 3*s. Is s prime?
True
Suppose 24822 = 17*o + o. Is o a composite number?
True
Suppose -4*w - w = -595. Is w prime?
False
Suppose 5*k - 3 = -33. Let p be k/(-12) + (-187)/(-2). Suppose -4*z + p = -142. Is z a composite number?
False
Let i(c) = -52*c + 3. Let s(x) = -52*x + 3. Let m(d) = 3*i(d) - 4*s(d). Is m(4) a prime number?
False
Suppose -29 - 16 = 3*a. Is 12/a*(-795)/6 a prime number?
False
Suppose -v + 5*x + 349 = 0, -3*v + x + 1238 = 233. Is v a prime number?
False
Let y(b) = 416*b**2 + b + 6. Is y(-3) prime?
False
Let b(s) = -15*s - 6. Let w be b(-4). Suppose -4*q - 5*c + 123 = 0, 3*q + 4*c = q + w. Is q a composite number?
False
Let a(m) = 2*m**2 - m + 1. Let q be a(1). Suppose -q*s + 205 = -43. Suppose -k + s = -0*k - 3*h, 3*h = 3*k - 354. Is k a prime number?
False
Let x = -274 + 592. Is -2*(x/(-4))/3 a composite number?
False
Suppose -4*l + 3*k - 1761 = -7*l, -4*l = -3*k - 2348. Is l prime?
True
Let m = -50 + 105. Is m prime?
False
Let z be 68/12 + 1/3. Is (-11613)/14*(-4)/z prime?
False
Let g(h) = 3*h**2 - h + 2. Let f be g(2). Let s = 39 + f. Suppose -s = -3*d - 9. Is d composite?
True
Let l(t) = -41*t**3 - 6*t**2 - 3*t + 7. Is l(-3) a prime number?
True
Let o = 27 + -27. Let y be (315/2)/((-2)/(-4)). Suppose o = 4*c - p - y, -c + 0*c + 81 = 2*p. Is c a prime number?
True
Suppose 2*x + m + 4 = -4, 5*m = 2*x + 8. Let r(w) be the first derivative of 2*w**3/3 - 5*w**2/2 - 3*w + 1. Is r(x) prime?
False
Let u(p) = 49*p - 1. Is u(6) prime?
True
Let y(u) = u**2 + u + 26. Let g be y(0). Suppose -2*x + 0 = -w - g, -2*w + 23 = x. Is 1336/10 - 9/x a prime number?
False
Suppose 5*f = -3*x + 122, -4*f + 0*x = -3*x - 76. Is f a prime number?
False
Let u(t) = -t + 2. Let w be u(5). Let f be 40 + (-7 - w)/2. Is (8 + -7)/(2/f) a prime number?
True
Let k be (-9)/3 + (2 - -1). Suppose -p + u + 15 + 8 = k, -3*p + u = -59. Suppose 2*w - p = -2*i + 24, 2*w = -5*i + 42. Is w composite?
True
Suppose 0 = -4*u - u + 105. Is u a prime number?
False
Let j be (14/5)/((-2)/(-470)). Let n = 1179 - j. Is n a prime number?
True
Let u(m) = 10*m - 21. Is u(4) a composite number?
False
Let q(p) = 35*p + 1. Let u be q(8). Suppose 3*i + j + 354 + 103 = 0, i + 149 = -j. Let g = i + u. Is g a prime number?
True
Let f(r) = -50*r - 3. Is f(-2) composite?
False
Suppose -3*i = -l - 1025 - 19280, 4*l + 20299 = 3*i. Is i a prime number?
False
Let m(g) = -g**3 - 6*g**2 + 7*g + 4. Let z be m(-7). Suppose 2*a = a + 2*i - 10, z*a - i + 19 = 0. Let h(f) = -40*f + 3. Is h(a) composite?
False
Suppose 3*p = 7*p - 48. Is 453/p - (-3)/12 composite?
True
Suppose -1 = 2*n - 5. Let j(q) = 14*q - q**n + 2*q**2 - 2*q**2 - 10. Is j(9) composite?
True
Suppose -122 = -4*h + 594. Is h a composite number?
False
Let q(v) be the second derivative of -1/20*v**5 + 0 - 1/3*v**4 - 2/3*v**3 - 1/2*v**2 + 2*v. Is q(-4) composite?
True
Suppose -122 + 7 = 5*r. Let m = 46 + r. Is m a composite number?
False
Let z(d) = -d. Let m be z(2). Let w be 18/((-6)/m) + 2. Let g = -2 + w. Is g composite?
True
Let j = -248 + 431. Is j composite?
True
Let l = 1610 - 741. Is l composite?
True
Let j(t) = 27*t**3 + t**2 - t. Let k be j(1). Suppose v = k + 90. Is 2/(-4) + v/6 a prime number?
True
Suppose -2*a = 3*w - 2902, 2*w + 2*w = -3*a + 4355. Is a a prime number?
False
Suppose -3*r + 0*r + 294 = 0. Is (-1488)/(-14) + (-28)/r a prime number?
False
Let y be 2/1 - 2*1. Suppose -3*j + 143 + 94 = y. Let z = j - 42. Is z a composite number?
False
Let t be -2*6/(-4) - -2. Let v(g) = 24*g + 7. Is v(t) prime?
True
Let m be (-1)/(-4) + 2/(-8). Suppose m = -0*x + 3*x - 573. Is x prime?
True
Suppose -v + 638 + 399 = -w, 0 = -4*v - 4*w + 4188. Is v prime?
False
Let c(v) = -53*v + 9. Is c(-5) a composite number?
True
Suppose 0 = -3*x + 153 + 27. Let y = 139 - x. Is y a prime number?
True
Let q be 39/6*(-4)/(-2). Suppose 2*y + 23 = -q. Is (-14)/(-63) + (-590)/y a prime number?
False
Suppose 2*d - 301 = 2*m + 207, -3*d = 5*m - 786. Suppose -75 = -4*v + d. Is v prime?
True
Let a(q) = q**2 + q - 10 + q - 8*q. Let x be a(11). Suppose -3*z + 262 = 5*v, -2*v + 56 = 5*z - x. Is v composite?
False
Let t(z) = z + 5. Suppose 0 = 3*d + d + 3*w + 11, 3*w - 19 = 2*d. Let o be t(d). Suppose -4*i - 7 = 1, -2*l + i + 54 = o. Is l a prime number?
False
Suppose -2*l - 2*l + 2084 = 0. Suppose -4*u + l + 195 = 0. Is u prime?
True
Let h(o) = -o**3 + 7*o**2 - 3*o + 1. Suppose -4*r + 15 + 1 = 0. Let u be (1 - -1*r) + -1. Is h(u) prime?
True
Suppose -750 = -2*l + 2*o, -l = -7*o + 2*o - 359. Is l a prime number?
True
Suppose 68 = -0*x + 2*x. Let l = 101 - x. Is l a composite number?
False
Let l = -42 + 955. Is l prime?
False
Suppose -7*u + 4*u = -261. Is u a prime number?
False
Let o = -73 - -18. Let n = 86 + o. Is n composite?
False
Suppose -2*w - 123 - 83 = 0. Let b = -151 - w. Let n = 5 - b. Is n prime?
True
Let i = 6 + -2. Suppose x - 55 = -s - 0*s, 0 = 5*x - i*s - 257. Is x prime?
True
Suppose 2*y + 0*y + 7036 = 4*n, 0 = -5*n 