t t = -3077 + 4360. Is t composite?
False
Suppose -1289 = -4*d - 3*s + 2*s, -4*d = 4*s - 1280. Is d a composite number?
True
Suppose 0*i + 889 = i - 4*w, 3*i + 2*w = 2625. Is i a composite number?
False
Suppose 2*k + 2*i = 56, -k - 2*i - 3 + 28 = 0. Let t = -10 + k. Is t prime?
False
Let a = 211 - -371. Is (a/(-4))/(2/(-4)) a prime number?
False
Let q be 0/(-4) - (-10)/2. Suppose 2*b - 187 = -q*l, 2*l - 5*b - 106 = -l. Is l prime?
True
Let v be (2 - 23)*2/2. Let p be 1 + -1 - 144/(-4). Let o = p + v. Is o a composite number?
True
Let p(g) = -g - 1. Let n(i) = -i - 1. Let q(z) = -6*n(z) + 7*p(z). Let l(r) = -r + 1. Let d(y) = -l(y) - 2*q(y). Is d(4) a prime number?
True
Let h be 1/(1/(-2)) - -8. Is (159/h)/((-2)/(-4)) a prime number?
True
Let p(i) = -6*i**3 - 2*i**2 - 2*i - 1. Let c be p(-1). Let m(s) = -s**2 + 8*s - 6. Let j be m(c). Is j/(-6)*30/(-3) prime?
False
Is (-6)/(-9)*978/4 prime?
True
Let g be 7/(-7) + (-1 - -1). Is 22/(-5)*(g + -4) a prime number?
False
Suppose -c + 5*z = -5*c + 21, -c - 5*z + 24 = 0. Let r be (302*-1)/(c + 0). Suppose 71 = -3*n + r. Is n a composite number?
True
Let h(r) = r**2 - 3*r - 6. Let l be h(5). Suppose -l*j = -2*j - 468. Let u = j + -157. Is u composite?
True
Suppose 4*v = 3*v + 5. Suppose -p - 2*c + 197 = 0, 961 = v*p - c + 3*c. Is p a composite number?
False
Suppose 2792 = 4*t - z, 4*z - 3511 = -5*t - 0*z. Suppose -t - 171 = -3*l. Suppose 0 = -c - c + l. Is c prime?
False
Let y(s) be the second derivative of -7*s**3/2 - 5*s**2/2 - 2*s. Is y(-2) prime?
True
Suppose -5*u = 8*x - 3*x - 15290, x = 2*u + 3067. Is x a prime number?
True
Let u(c) = 8*c**2 - 4*c + 7. Let m be u(6). Suppose -3*p + 0*j = 4*j - m, p - 89 = -2*j. Suppose -3*h = -6*h + p. Is h prime?
True
Let w be (-2 + 64)*(-2 + 3). Suppose 3*o + w = 6*o - 5*y, o - 17 = -2*y. Is o composite?
False
Is 4 + 126/3 + 0 prime?
False
Suppose -r + 0*k + 104 = -4*k, -5*k + 10 = 0. Suppose -4*z - 24 + r = 0. Is z prime?
False
Let c be 2/(-4) - 366/4. Let y = c - -169. Is y a prime number?
False
Suppose 0 = 3*z + 2*s - 6*s - 3817, 3*s - 2522 = -2*z. Is z a prime number?
False
Suppose 0 = 3*z, 2*c - 672 = -3*z + 818. Is c prime?
False
Suppose 0*h + 4*h = 2*v + 14, 5*v = 25. Let k(r) be the third derivative of -r**6/120 + 7*r**5/60 - r**4/4 + r**3/2 - r**2. Is k(h) composite?
False
Let f(a) be the second derivative of a**5/60 + 5*a**4/24 + 7*a**3/6 - a**2/2 + 2*a. Let r(o) be the first derivative of f(o). Is r(-8) a prime number?
True
Suppose 2*d + t = -0*t, d - 4*t = 9. Let s be -1 + d + 2*7. Suppose 2*y = 4*y - s. Is y a prime number?
True
Is -3 + 12/3 - 316/(-1) composite?
False
Suppose 2*w - 46 - 60 = 0. Is w prime?
True
Suppose 6*k = k + 5. Let a be -4*(-3 + 2/k). Suppose 5*y - p = 66, -4*y + 18 + 22 = -a*p. Is y composite?
True
Let p(b) = 41*b - 4. Let j be p(2). Is j/(-4)*20/(-15) a composite number?
True
Suppose -5*w + 1203 = 388. Is w prime?
True
Let v(r) = 4*r**2 + 5*r + 2. Let n be v(-3). Suppose -3*w + n = 8. Suppose -w*y - u + 240 = 0, -5*y + 173 = -y - 3*u. Is y a prime number?
True
Suppose 0 = 11*j - 5225 - 968. Is j a composite number?
False
Is 2/(4/(-20454)*-3) a prime number?
False
Let x = 38 + -22. Let m(z) = z**2 + 6*z - 6. Let p be m(-7). Is x + -1 + (p - 1) a prime number?
False
Let s(m) = -253*m**3 + 3*m**2 + 4*m + 2. Is s(-1) a prime number?
False
Let d(k) be the third derivative of k**6/120 + k**5/4 + 19*k**4/24 + k**3 + 6*k**2. Is d(-13) a prime number?
True
Let r(l) = l**3 + 8*l**2 - 10*l - 9. Let n be r(-9). Suppose p - 4*p + 225 = n. Let z = p + -22. Is z a composite number?
False
Let g(h) = -78*h**3 - h**2. Suppose -o = u + 2*o - 12, -5*o = 5*u - 40. Let m = u + -7. Is g(m) a composite number?
True
Let u(b) = 1120*b - 7. Is u(3) a composite number?
True
Let f be (18/4)/((-1)/2). Let h = f + 28. Is h composite?
False
Let b(u) = -u**2 - 7*u - 3. Let f be b(-6). Suppose -f*d = -0*d + 3*h + 9, -4*d - 3 = -5*h. Let n(k) = 9*k**2 + 4*k + 3. Is n(d) composite?
False
Is ((-6)/(-18))/(2/1578) a prime number?
True
Let b = -21 + 14. Let z(d) = -10 + 7*d + 2*d**2 + 7*d**2 - 2*d + d**3. Is z(b) composite?
False
Suppose -34 = -2*b + 138. Is b a prime number?
False
Suppose -3*f + 3*t - t = 1, 3*t = -4*f + 10. Suppose 0 = -4*j - 0*j - 8. Is (-22)/j + 3/f prime?
False
Let b(m) = m**2 + 3*m + 13. Is b(-6) a prime number?
True
Suppose 0 = 3*v - 9184 - 4421. Is v a prime number?
False
Let f(u) = 6*u + 641. Is f(0) prime?
True
Let c(q) = -95*q + 1. Is c(-2) prime?
True
Let m = -20 - -23. Is 263/m - 8/12 composite?
True
Let n(a) = 249*a + 35. Is n(6) a composite number?
True
Is 1046/8 - (-1)/4 a composite number?
False
Let l be 2 - (-6)/((-6)/(-355)). Let d = l - 38. Is d a composite number?
True
Suppose -3*a + 46 = 2*l, 4*a + a - 80 = -5*l. Is (-2147)/(-7) - (-4)/a prime?
True
Let p = 70 - 15. Is p composite?
True
Suppose -4*x + 36 = 3*y, 3*x - 4 = -x + 5*y. Let r(l) = 2*l**2 + 7*l + 5. Is r(x) composite?
True
Let o(a) = -a**3 + 4*a**2 + 7*a - 7. Let z be o(5). Suppose -z*t - 15 = -6*t. Suppose -2*x - s = 17 - 152, -s + t = 0. Is x prime?
False
Let o be (-7 + 1)/(12/(-8)). Suppose 0 = o*w - 10 - 2. Suppose w*n = 43 + 14. Is n a prime number?
True
Let b(t) = -10*t**2 - 2 - t**3 + 3 + 4*t + 10 + 1. Is b(-11) a prime number?
True
Is -131*2*((-132)/8)/11 prime?
False
Let f be (79 + 1)*(-3)/(-6). Suppose -2*k + f = 3*g + 1, k - 12 = -g. Is g composite?
True
Suppose -2*x + u - 896 = -5*x, 3*x - 2*u - 899 = 0. Is x prime?
False
Let p be 4 + (257 - (1 + -1)). Suppose -s + 2*s + 2*l - p = 0, -5*s + 1294 = -l. Is s prime?
False
Let w(x) = -101*x - 8. Is w(-5) prime?
False
Suppose -2*g - 360 = 3*g. Let j = g - -103. Is j a prime number?
True
Let a(w) = -w**3 - 10*w**2 - 9*w + 2. Suppose -45 = h + 4*h. Let u be a(h). Suppose k + 23 = u*k. Is k a composite number?
False
Suppose 4*u - 1876 = -4*y, -u + 5*y = 4*u - 2385. Is u composite?
True
Let a(b) = -10*b**3 + 2*b**2 + 2*b + 1. Let h be a(-1). Suppose -2*t + 123 = -h. Is t composite?
False
Let w(b) = b**2 + 2*b + 1. Let v = -5 - -8. Suppose -v*z + z + 4 = 0. Is w(z) a prime number?
False
Let h = -6 - -8. Suppose -h*b = -151 - 147. Is b a prime number?
True
Suppose 5*j - 2*j = 27. Suppose j - 100 = -f. Is f composite?
True
Let o be ((-2)/4)/(2/(-4)). Is (-1)/(22/23 - o) composite?
False
Let f(n) = -2*n + 76. Let o be f(0). Let l = o + -37. Is l a prime number?
False
Let z = -19 + 1550. Is z prime?
True
Let d be (-5)/20 + 61/4. Suppose -4*q + d = q. Is q composite?
False
Let a = -84 - -278. Is a prime?
False
Suppose 4*z = -9 + 105. Let g = 13 + z. Suppose -2*t = -t - g. Is t a prime number?
True
Let y(t) = -7*t - 4. Let g be y(-5). Suppose g - 105 = -2*j. Is j prime?
True
Suppose 5*j = 3*c - 4, 2*c - j - 3*j - 2 = 0. Let o(u) = -u**3 + 0 - 5*u - c - 5*u**2 + 2. Is o(-4) a prime number?
True
Let i(x) = -x**2 - 3*x - 2. Let m = -6 - -3. Let s be i(m). Is (2 - s)/2 + 19 composite?
True
Let k(t) = -3*t - 9. Let o be k(8). Let g be o/7 - (-12)/(-42). Let n(c) = c**3 + 6*c**2 + c - 7. Is n(g) prime?
True
Let m = 105 + -50. Suppose -m = 4*o + 2*a - 353, 236 = 3*o - a. Is o prime?
False
Let z = 7 + -3. Let h(s) = -5*s + 3 - 3*s + 10*s. Is h(z) a prime number?
True
Let w(s) = 3*s + 2. Let n be w(6). Let t be 1585/5 + (-2 - 0). Suppose n - t = -5*p. Is p a prime number?
True
Suppose -4*i = 545 - 109. Suppose -5*f - 134 = 136. Let h = f - i. Is h composite?
True
Suppose -4*c - 78 = 2*p - 632, 5*c - 20 = 0. Is p composite?
False
Is (-1 + (-21)/(-6))*(-2836)/(-10) a composite number?
False
Let v(j) = -174*j + 7. Is v(-15) prime?
True
Let d(g) = -g**3 - 6*g**2 + 6*g - 3. Let j be d(-7). Suppose -t - 116 = -4*p + 121, j*p + 3*t - 217 = 0. Is p a prime number?
False
Let c(h) = h**3 - 1. Let m be c(2). Suppose 5*g = -m - 13. Let a(j) = j**3 + 6*j**2 + 6*j + 5. Is a(g) a composite number?
False
Let d = 1253 + -872. Is d prime?
False
Suppose 0*f - 9 = -3*f. Is 2/f - 763/(-21) a composite number?
False
Let b(v) = v**2 + 7*v - 3. Let o be b(-8). Let k(s) be the second derivative of 5*s**3/6 - 2*s**2 + s. Is k(o) prime?
False
Let v(j) = 4*j**2 + 4*j + 3. Let l = -11 - -16. Suppose l = -3*p - 1. Is v(p) composite?
False
Suppose 68 = -5*c + 413. Is c composite?
True
Let t be 1648/(-6)*144/(-64). Suppose 0 = 2*y - 4*h - t, -5*h - 124 = 