ose -3*t = -603 - 477. Suppose 23 = -2*c + 2*g + 209, -4*c - 2*g + t = 0. Is c composite?
True
Suppose -25 = -2*q - 5*k, -q + 2*k - 4 = 6. Suppose 3*n - 7 + 1 = q. Is (130/4)/(1/n) a composite number?
True
Let v = 6 + -8. Is 470 - ((2 - v) + -1) a composite number?
False
Let l(b) = 9*b - 10. Let u(f) = f**3 - 8*f**2 - 8*f - 4. Let k be u(9). Is l(k) prime?
False
Suppose 1 = h - 1. Let z = -1 - h. Is ((-74)/6)/(z/9) a prime number?
True
Let h be 424/6 + 4/(-6). Suppose -2*s + h = 3*s. Is s a prime number?
False
Suppose 0*n - 2*n = 5*i - 8, -i = 4*n + 2. Let j = 4 - i. Suppose j*f + 3*f = y + 50, f + 2*y - 21 = 0. Is f prime?
True
Suppose -3*f + 20 = 2. Suppose 0 = -3*b - 12, n - f*n = 3*b - 58. Is n a composite number?
True
Suppose -p - 5 = -3*i, 0 = 2*p - p + 5. Suppose i = 6*v - 4*v + h - 174, 2*h + 332 = 4*v. Is v prime?
False
Suppose 2*m - 3287 = -3*n + 2*n, 0 = -m + 4*n + 1639. Is m prime?
False
Suppose t - 3*t + 110 = 0. Is t a prime number?
False
Let j(b) = b**3 + 11*b**2 + 4*b - 7. Is j(-6) a prime number?
True
Let j be (1 - 0)*-1 + 8. Let l = j - 4. Suppose 102 = l*q - 3*n, 113 = 5*q + 2*n - 36. Is q prime?
True
Is (6/18)/((-1)/(-417)) composite?
False
Let b(d) be the first derivative of d**2/2 - 2*d - 2. Let h be b(5). Suppose -2*k - 25 = -h*k. Is k a composite number?
True
Suppose 0 = 4*a - 6*a. Suppose z + 2*z = a. Suppose z = 5*v - 0*v - 335. Is v composite?
False
Let a be 10*(247/5 + 1). Let v be (-6 - -5)*(-178)/1. Suppose -2*j + a = v. Is j a composite number?
False
Let g = 217 - 138. Is g prime?
True
Suppose -t - 1 = 0, 0*u - u + 2*t + 253 = 0. Suppose -c = -2*c + u. Is c prime?
True
Is (-2)/3 + (-430)/(-6) a composite number?
False
Suppose -j = 2*j - 66. Let b = -22 + 55. Let p = b - j. Is p a composite number?
False
Let r = -6 - 2. Is ((-6)/r)/((-4)/(-176)) a composite number?
True
Suppose 5*b + 4*x + 66 = -70, 2*b = 5*x - 61. Let t be (-120)/b - (-4)/(-14). Suppose -t*s = -7*s + 231. Is s prime?
False
Let f = 15540 - 10585. Is f a composite number?
True
Let s(u) be the second derivative of -8*u**3/3 + 3*u**2/2 - 4*u. Let d = -3 - 1. Is s(d) prime?
True
Let q = 191 + -136. Suppose -4*v - q = -5*v. Is v a prime number?
False
Let u = 50 - -1520. Suppose g + r + 785 = 2*g, 2*g = r + u. Is g composite?
True
Let n(t) = t**2 - 5*t + 7. Let y be n(5). Suppose y*f - 2*f = 0. Suppose f*m + 110 = 2*m. Is m prime?
False
Suppose -2*u + 946 = 4*c, 425 + 763 = 5*c - 3*u. Is c composite?
True
Let k(b) = b**3 + 9*b**2 - 8*b - 13. Is k(-9) prime?
True
Let d(m) = m**2 + 8*m + 4. Let h be d(-8). Is h/2*(-104)/(-16) a prime number?
True
Let w(p) = -8*p**3 - 3*p**2 - 3*p - 1. Is w(-2) a prime number?
False
Let q = -7 + 12. Suppose 147 = -q*z - 373. Let x = 17 - z. Is x prime?
False
Let h = 70 + 73. Is h a prime number?
False
Suppose 5*x = 4*a - 15, -2*a + 8*x - 3*x + 5 = 0. Suppose -2*l + 167 = b, a*b - 2*l - 770 = l. Is b composite?
False
Suppose -5*a = 3*j - 2341, j + 2*a = 3*j - 1550. Suppose -151 = -t + 3*d, 5*t = 4*d - 0*d + j. Is t composite?
False
Let q = 26 - -59. Is q a prime number?
False
Let p(n) = 6*n**2 - 2*n - 4. Let t be p(-5). Suppose -4*k = -0*k - t. Let a = 72 - k. Is a composite?
True
Suppose -a + 155 + 156 = 0. Is a a composite number?
False
Let a be 9/3*10/(-6). Let s be 2/10 - 29/a. Suppose 580 = s*v - 2*v. Is v prime?
False
Let i = 0 + 2. Suppose -17 - 101 = -i*r. Is r composite?
False
Let u(w) = -w**2 - 6*w + 8. Let y be u(-7). Suppose 3*z + 10 = 3*g + y, g + 3*z - 11 = 0. Suppose m = g*h + 58 + 83, -5*h = -2*m + 282. Is m prime?
False
Suppose -4*a + 3*g + 277 = 0, -4*g = -4*a + 155 + 121. Is (1 + -2)/((-2)/a) a prime number?
False
Let x(v) be the second derivative of v**6/4 + v**4/24 - v**3/2 - v. Let l(t) be the second derivative of x(t). Is l(-1) prime?
False
Suppose -3*j - 2*g = -352 - 139, 2*j + 4*g - 314 = 0. Suppose -3*f - v + j = v, -3*f - 4*v + 157 = 0. Is f a composite number?
False
Let p(w) be the third derivative of -w**4/24 - w**3/3 - w**2. Let f be p(-3). Is (f/(-2))/(5/(-190)) prime?
True
Suppose 0 = 4*d + 3*v - 453, 5*d - 4*v - 4 - 539 = 0. Is d prime?
False
Let k(m) = 4*m + 10*m**2 - 3 - 2*m**2 + m**2. Is k(4) a prime number?
True
Suppose 0 = 11*g - 8*g - 174. Let h = -23 + g. Is h prime?
False
Is (-6669)/(-7) + (-22)/(-77) a prime number?
True
Let f(n) = 1 + 0*n**2 + 0*n**2 + 13*n**2 - 5*n. Is f(5) a prime number?
False
Is 53397/27 + 2*(-4)/(-6) a composite number?
False
Suppose 4 = a + 3*a. Suppose -l + 3 = a. Is (l - (-141)/1) + 2 a composite number?
True
Let z be 42*1 - (-6)/(-3). Suppose -212 = -5*d + 3*m, d - z = -5*m + 8. Is d a prime number?
True
Let x be 0/(1 - -2)*1. Let c be (1 - x) + (-2 - -2). Is (-196)/(-6) - c/(-3) prime?
False
Let o(g) = 2*g**2 + 5*g + 13. Is o(-6) a composite number?
True
Let j(d) = 4*d**2 + 2*d + 2. Let q be j(-2). Let p be q/(-8) + (-1)/4. Is 1418/18 + p/(-9) a composite number?
False
Let r(d) = 12*d + 2. Let w be r(-3). Suppose -2 = 2*k, -5*n - 73 = -k - k. Let o = n - w. Is o composite?
False
Let n(d) = 311*d + 1. Let p be n(3). Suppose p = 2*f + 2*f - 2*t, 0 = -5*t + 15. Is f prime?
False
Let z(h) = 43*h - 40. Is z(9) a composite number?
False
Is -13 + 498 + -1 + 1 prime?
False
Let b be (-14)/(-49) - 1552/(-7). Suppose -h = h - b. Is h prime?
False
Suppose 0*x + 4 = 2*x. Suppose j + x*j = -3*q + 216, -5*q = -25. Is j a prime number?
True
Let a(q) be the third derivative of -19*q**4/24 + 7*q**3/6 + q**2. Is a(-4) composite?
False
Let u(b) = -2*b**3 + 2*b**2 + b. Let c be u(-1). Suppose -615 = c*d - 8*d. Is d prime?
False
Is 50 - (-12)/(0 - -4) a prime number?
True
Suppose -3*u = 0, 3*b - 25 = -2*b - 5*u. Suppose -b*q + 65 + 220 = 0. Is q composite?
True
Let j be (-2)/(0 + (-2)/4). Let b be j/4*(2 - -5). Suppose 0 = q - b. Is q prime?
True
Suppose 2*y - 32 = y + 3*v, -109 = -5*y - 2*v. Suppose -y + 190 = z. Is z prime?
True
Let v = 266 + 421. Is v a prime number?
False
Let h be 8/10*(-15)/(-6). Suppose 3*d - 5*n = 628, 126 = h*d - 3*n - 293. Is d a prime number?
True
Let x(c) = -c + 1. Let i be x(-5). Let p(t) = -t**2 + 6*t + 3. Let w be p(i). Suppose -2*a = 5*q - 138, -2*q - 169 = -w*a - 0*q. Is a prime?
True
Suppose 0 = 2*q + 8, 5*t - 2*t + 4*q + 10 = 0. Suppose -t*v - 14 = -4*v. Is v composite?
False
Let f(i) = -i**2 - 7*i - 10. Let q be f(-11). Let s = 92 + q. Is s a prime number?
False
Suppose 3*b + 2*b = 5*q - 10, 5*q - 19 = -4*b. Let o(g) = 3*g**2 + 4 - b - 2. Is o(2) prime?
True
Is (8 - -169)/((-6)/(-10)) composite?
True
Let j(u) = -u**3 - 3*u**2 + 3*u - 5. Let y be j(-4). Let m be 1/y*(5 - 0). Let l = 18 - m. Is l prime?
True
Let a(s) = -s**2 + 10*s + 3. Let r be a(10). Suppose r*z = -6 + 51. Is z composite?
True
Is (3/(-6))/(2/7672*-2) prime?
False
Suppose 11*r + 159 = 14*r. Is r a prime number?
True
Suppose 0 = 3*g + 2*r - 1, 0 = 3*g + 2*g + r - 11. Suppose g*k - 204 = -k. Is k a composite number?
True
Let x(g) = -g**2 - 2*g + 4. Let o be x(-3). Let q be o/(0 - -1) + -65. Is q/(-5) - 1/(-5) prime?
True
Suppose 2*b + 3*k + 15 = 0, 2*b - 2*k + 13 = -17. Is b/3 + 45*2 composite?
True
Let i(w) = w + 2. Let t be i(-3). Let v(f) = 60*f**2 + f. Is v(t) a prime number?
True
Suppose g = 5*d - 2*g - 34, 2*d + 5 = -5*g. Suppose 0 = -d*v, 0 = -3*f - 2*f - 5*v + 890. Is f a composite number?
True
Let x(f) = 219*f - 7. Let s be x(7). Suppose 5*i = j - 2*j + s, -i = -5*j - 300. Is i a composite number?
True
Suppose 3*n - 24 = -5*p + 4*n, -n + 21 = 4*p. Suppose 0*b = -p*b + 95. Is b composite?
False
Suppose -2*b + 18 + 10 = -5*z, 5*z + 12 = -2*b. Suppose -5*x - 11 = -h, 5*x = b*h - 2 - 102. Is h composite?
False
Let h = 42 + 89. Is h prime?
True
Let j(m) = -m**3 - 10*m - 10. Is j(-7) a composite number?
True
Let k = -53 + 288. Is k a composite number?
True
Let c be 175 - -4 - (1 - 0). Let i = c - 60. Is i composite?
True
Let i = 852 - 579. Suppose -4*j - 340 = -5*c + j, -5*j - i = -4*c. Is c a prime number?
True
Let i(l) = -l**3 - l**2 + 77. Let o be i(0). Suppose o = 5*n - y, -y = 2*n - 5*y - 38. Is n composite?
True
Let z(p) = -p**3 + 6*p**2 - 5*p. Let v be z(5). Let s be (v - 0) + 2 + 4. Is (-26)/(-4)*1*s a composite number?
True
Let w(n) = -24*n**3 - 2*n**2 + 1. Let k = -3 - -2. Let r = -2 - k. Is w(r) a prime number?
True
Suppose 0 = -5*t + 2067 + 868. Is t a prime