(-55) + 84/n. Is (t/12)/((-3)/126) a composite number?
True
Let i be -1 + (-9)/3*1. Let r = i - -195. Is r a composite number?
False
Suppose 2*n - 7*n = 0. Suppose -4*f - 4*t + 932 = 0, 4*f + n*t - 2*t - 932 = 0. Is f a prime number?
True
Let q = -6 - -9. Suppose -2 - 1 = q*r. Let m = 7 + r. Is m a composite number?
True
Let z be 2/(-9) - (-4034)/9. Suppose -2*w + 0*w = -z. Suppose 0 = d - w - 149. Is d composite?
False
Let y(p) = -881*p - 25. Is y(-6) prime?
True
Is (59 - 1)*649/22 composite?
True
Let t be 0/(2 + 1/(-1)). Suppose t = 4*j + o + o - 382, -4*j - 5*o + 397 = 0. Is j a composite number?
True
Suppose 0*n + 461 = -2*a - 5*n, -4*a - 5*n - 897 = 0. Let d = a + 315. Is d prime?
True
Suppose b + b = -8. Is b/(-6) + 618/18 a prime number?
False
Is 1/2 + (-13648)/(-32) composite?
True
Suppose 0 = -0*j - 2*j + 74. Is j composite?
False
Suppose 34*h - 36*h = -170. Is h a composite number?
True
Let o = -11 - -32. Suppose 10 = 3*s + 3*t - t, 0 = 4*s - 5*t - o. Suppose 0 = -0*b - s*b + 484. Is b a prime number?
False
Suppose 6*b = 791 + 61. Is b prime?
False
Let p(a) = -2*a**3 - 2*a**2 + a + 5. Let j be p(-4). Suppose 5*v = -0*v - 4*b - 236, -3*v - 140 = 2*b. Let f = j + v. Is f composite?
False
Let p(t) = -51*t + 3. Let a be p(-3). Suppose -4*b = -0*b - a. Is b a prime number?
False
Let j(x) = 5 - x - x - 14. Let w be j(-6). Suppose 4*t = 3*p + 85, -w*t = -4*p - 97 + 28. Is t a prime number?
True
Let p be (-33)/2*14/(-21). Let v(d) = 25*d - 22. Is v(p) prime?
False
Let j = 16 + -11. Suppose -5*g + 3*v + 128 = -42, j*v = g - 12. Is g a prime number?
True
Let t(a) = -3*a. Let q be t(-1). Suppose 20 = -q*k - 16. Is (113/4)/((-3)/k) a composite number?
False
Let d = 737 - 295. Suppose 4*g = 370 + d. Is g prime?
False
Let z(m) = 42*m - 7. Is z(2) a composite number?
True
Let b = 252 - 143. Is b a composite number?
False
Suppose 0 = -0*i - 2*i - 5*t - 706, 8 = -2*t. Is i/(-3) - (-10)/15 composite?
True
Suppose -318 = 4*t - 7*t. Is t prime?
False
Suppose 0 = -q - 2*o + 72, 4*q + 2*o - 126 = 192. Suppose -3*d - 3*f = -90, 3*d + 5*f - q = -0. Is d a prime number?
False
Let x(v) be the third derivative of -1/6*v**4 - 1/24*v**6 - 3*v**2 - 1/3*v**3 - 1/15*v**5 + 0 + 0*v. Is x(-3) composite?
False
Let q(x) = -x**2 - 11*x - 10. Suppose 4*v + 11 = -y + 2*v, -2*y = 5*v + 24. Let r be q(y). Let n = 29 - r. Is n a prime number?
True
Let a(x) = x**3 + 5*x**2 + 3. Let b be a(-5). Let w be (6 - 700)*1/(-2). Suppose -4*l = -b*s + w + 38, 126 = s + l. Is s a composite number?
False
Suppose -5*c + 4090 = 4*u - u, -4*u - 3240 = -4*c. Is c a composite number?
True
Is (-2 - 2)*(-6)/4 composite?
True
Let d be (-2)/4 + 102/(-12). Let r(u) = -6*u - 1. Is r(d) prime?
True
Let b be 2/4 + (-1)/(-2). Suppose -10 = 7*k - 5*k. Is -3*k*1*b a composite number?
True
Suppose -5*h = 3 - 18. Let x(q) = 7*q**2 + q**2 + 2*q + 4*q**2 + 0*q**2 + 1. Is x(h) composite?
True
Let o = 18 + -21. Is 2 + o + 339 + -1 a composite number?
False
Let f(h) = -2*h**3 - 6*h**2 + 5*h + 7. Let q be f(-5). Let w = q + -35. Is w composite?
False
Suppose 50 = a - 83. Is a a prime number?
False
Is ((-1 - 408)*1)/(-1) a prime number?
True
Let f(m) = m + 4. Let w be f(-3). Let c = w + -2. Is (0/1 - 15)/c prime?
False
Suppose 5*q - 269 = -9. Suppose -5*f + 3*v = -98, -q = -4*f + v + 25. Let j = 29 - f. Is j a composite number?
True
Let z = 164 + 605. Is z composite?
False
Suppose -4*c = -6*c + 594. Let g = c + -178. Is g a composite number?
True
Is (2 - (-4)/(-6)) + (-1061)/(-3) a composite number?
True
Is (-228)/(-36)*(-1 - -112) a prime number?
False
Suppose 0 = -4*r + 5*r - i - 2, -2*r + 5*i = 8. Let g = r - 12. Is 8*g/(-4) + 2 prime?
False
Let s be 106/4*2*-1. Let f = -32 - s. Is f prime?
False
Let f = 1 + -5. Let p be 0/(-1) - 704/f. Let c = p + -79. Is c a prime number?
True
Let j be -1 - -1 - (-3 + 1). Suppose j*h + 3*u - 271 = 0, -h - u = 2*h - 396. Let g = h - 85. Is g composite?
True
Let w(h) = -155*h**2 + h - 3. Let o(k) = 156*k**2 - k + 2. Let b(s) = 3*o(s) + 2*w(s). Is b(1) a composite number?
False
Let q = 145 - 75. Suppose -s + 6 = s. Suppose 2*j = -s*j + q. Is j composite?
True
Let o(n) = -n**2 - 1. Let x(r) = -2*r**2 - 12*r + 1. Let g(k) = 3*o(k) - x(k). Is g(5) composite?
False
Let o = -280 + 687. Is o a prime number?
False
Let g = 102 + -71. Is g prime?
True
Let f(g) = 25*g + 2. Is f(5) a prime number?
True
Let s(a) = 25*a**2 + 6*a - 17. Is s(-8) a prime number?
False
Let z = 453 - 765. Let h = -218 - z. Is h prime?
False
Let v(n) be the second derivative of 11*n**6/360 - n**5/120 - n**4/6 - n. Let y(b) be the third derivative of v(b). Is y(2) a prime number?
True
Suppose -1 = -3*a - 3*k + 5, -5*a = 4*k - 11. Is (1/(a/(-93)))/(-1) a prime number?
True
Let h(y) = 12*y + 1. Let i be h(-7). Let u = i - -145. Is u composite?
True
Is 3/((4/(-298))/(-2)) prime?
False
Let a(o) = 358*o**2 - o + 1. Let f = 4 + -6. Let j be a(f). Suppose t + 4*t = j. Is t composite?
True
Let h(b) = b**3 + b**2 + 3. Let y be h(0). Let k(z) = -1. Let u(r) = 41*r + 2. Let l(s) = -2*k(s) + u(s). Is l(y) a composite number?
False
Let j(g) = -g**3 - 9*g**2 + g + 11. Let c be j(-9). Suppose c*k - 645 = -k. Suppose 5*p = -5*t + 255, -5*p - t + k = -6*t. Is p prime?
True
Let p(f) = 45*f - 14. Is p(5) a prime number?
True
Suppose 3*o + 5*t - 20 = 4*o, 0 = -2*o + 2*t. Suppose -4*c - 84 = -4*s - c, o*s = -2*c + 105. Is (-2 + 4)*-1 + s a composite number?
False
Is (4/6)/((-20)/(-39450)) prime?
False
Let h = 13 - 6. Let p(s) = 7*s - 8. Let a be p(h). Suppose a = 4*r - 107. Is r composite?
False
Suppose 0 = -j - 5 + 1168. Is j prime?
True
Let k(g) = 36*g + 21. Is k(5) a composite number?
True
Suppose -q - 3*q - 100 = 2*f, f + 62 = 4*q. Let a be (-12)/4*214/(-6). Let z = f + a. Is z prime?
True
Let b = 12 + -17. Let t be (b/4)/(2/(-8)). Suppose -t*j + 1689 = 2*w, -2*w = -4*j - 5*w + 1354. Is j a prime number?
True
Let m = 10 + -6. Is (118/m)/((-1)/(-14)) prime?
False
Suppose -3*c + 712 = 4*a, 5*c - 4*c + 3*a - 229 = 0. Let g = -105 + c. Is g a prime number?
True
Let v be 81/(-12) + (-6)/(-8). Let j be 6/(-4)*8/v. Suppose 3*c = -4*u + 190, -3*c + 3*u - j*u + 185 = 0. Is c composite?
True
Suppose -2*k - 4*n - 11 = 1, -3*n = -5*k + 35. Suppose 0*d = -d + k. Suppose 0 = d*o - 122 - 18. Is o a prime number?
False
Suppose 4*x + 3*y = 467, 2*x - 2*y - 109 = 107. Is x composite?
False
Suppose 5*f - 13 = 2*b, 3 = -2*b - b + 2*f. Suppose 0 = -5*r + 14 + b. Let i(a) = a**3 + a**2 + 4*a - 1. Is i(r) a composite number?
False
Suppose 7 = 5*i - 8. Suppose i*n - n = 74. Is n a prime number?
True
Suppose -13*w - 2621 = -22888. Is w composite?
False
Suppose 3*o = -0*o + 15. Let s = o - -4. Suppose -y + 150 = -s. Is y a prime number?
False
Suppose 0 = 14*j - 7*j - 4739. Is j a composite number?
False
Suppose 4*q + 220 = -0*q. Let d = 135 + -43. Let y = q + d. Is y a composite number?
False
Let y(p) = -p**3 + 4*p**2 + 3. Let z be y(3). Suppose 0*f = -f - 3*i + 6, 2*f - 3*i - z = 0. Let m = -3 + f. Is m prime?
True
Let k be 35/15*3*1. Suppose 2*y + 23 - k = 0. Is (y/20)/(2/(-50)) composite?
True
Let q(a) = -a**2 - 3*a + 3859. Is q(0) prime?
False
Suppose -173 = 5*f - 438. Is f composite?
False
Is (-2)/(-10) + 714/5 a composite number?
True
Let f = -3 - -3. Let u = f + 1. Is (7/(-1))/(u/(-7)) prime?
False
Suppose -6*w = -7*w + 25. Suppose 251 = 2*h + w. Is h a composite number?
False
Let s(u) = -2*u - 5. Let t(p) = p. Let x(a) = s(a) + 4*t(a). Suppose -13 = -2*g - 1. Is x(g) composite?
False
Suppose 0 = 2*p - p - 2. Let a(b) = b**2 + 6*b + 3. Let k be a(-6). Suppose -k*n = p*n - 245. Is n composite?
True
Suppose -206 = -5*r + 3*r. Is r composite?
False
Suppose 0 = 2*f - 3*f + 2. Suppose 2*d = -3*w - 95, 0 = -0*w + w + f*d + 33. Is (-5 - -1)*w/4 prime?
True
Is (-209)/(5/((-20)/4)) composite?
True
Suppose 0 = -2*y + 6*y - 3452. Is y prime?
True
Let x(v) = 10*v**2 - v + 1. Let c be x(1). Is -25*1*(-6)/c a composite number?
True
Let u(v) = 31*v - 3. Let d(n) = -46*n + 4. Let r(f) = -5*d(f) - 7*u(f). Is r(1) prime?
False
Let s be 2/(-3) - 4/(-6). Suppose s*j = -5*j + 95. Is j a composite number?
False
Let i(m) = -m**2 + 8*m - 2. Let v = -12 + 19. Let j be i(v). Suppose -13 = -j*o + 92. Is o a composite number?
True
Suppose -3 = -q - l, -4*q - 7*l + 10 = -