ber?
False
Let b = -42 + 51. Suppose 753 = -6*u + b*u. Is u prime?
True
Suppose 3*x + 5 = -2*r, 0 - 8 = 3*x + 5*r. Is (-1 + x - (-1785)/(-14))*-2 a prime number?
False
Let z(b) = -5*b**2 + b**3 - 18 + 4*b**2 + 0*b**3 + 20. Let r = -2 + 4. Is z(r) composite?
True
Let q = 0 + 9. Let h = q - 4. Suppose h*f = -4*o + 773, 8*f - o - 631 = 4*f. Is f composite?
False
Suppose -13 + 1 = -4*i. Suppose s - 20 = -3*d, 16 = i*d + s + s. Suppose -4*r + d*r = 892. Is r a composite number?
False
Suppose 11 = 3*l - 13. Suppose 5*j + 300 = l*j. Suppose u - j = 19. Is u prime?
False
Let v(t) = 20*t**2 + t - 11. Let l be v(5). Let m = 35 + l. Is m composite?
True
Let h(q) = q**3 - q**2 - q + 1. Let d(r) = r**3 - 5*r**2 + 6*r - 7. Let f(b) = -d(b) + 2*h(b). Let p be f(-7). Let s = p - -242. Is s composite?
True
Suppose 7*a + 18067 = 14*a. Is a a prime number?
False
Let f(o) = 15*o**2 - 6*o + 8. Let c be f(5). Suppose q = -2*q + 15, 3*k - c = 2*q. Is k composite?
True
Suppose -7 = 9*l - 52. Suppose 186 = -l*w + 3041. Is w composite?
False
Let c = 366 + 1967. Is c a prime number?
True
Let j = -1 + 3. Suppose -2*k - 28 = -2*u, 5*u = j*k + 74 + 5. Let q(c) = -c**2 + 25*c + 3. Is q(u) a prime number?
True
Let q = -9 - -8. Let c be (6 + -8)/((-1)/q). Is ((-116)/(-8))/(c/(-8)) composite?
True
Suppose -4*c - 2*l + 5440 = 0, 8*c = 9*c - l - 1363. Is c a prime number?
True
Suppose -6*q + 0*q + 378 = 0. Let b = 128 - q. Is b composite?
True
Let b(o) = -o**3 + 20*o**2 + 13*o + 5. Suppose 23 = 4*u - 49. Is b(u) a composite number?
False
Let n(o) = -4*o**2 - 31*o + 11. Let l be n(-8). Suppose -11 = -2*q + 4*i - 1, l*i - 25 = -q. Is q prime?
True
Is (1 - 20/(-5)) + 5*1986 prime?
False
Suppose -691 = 4*t + 17. Let a = t + 354. Is a a prime number?
False
Let x = 8909 + -3640. Is x a prime number?
False
Let b = -1067 + 2224. Is b prime?
False
Let o = 2963 + -1366. Is o prime?
True
Let o = -9 - -11. Let y = 1 + o. Is y + 214 + -3 + -3 prime?
True
Suppose 19877 = 3*t - 4*w, -5*w - 23502 = -3*t - 3620. Is t composite?
False
Suppose 2*q - 6929 = 1049. Is q a composite number?
False
Let p be (-1 + (-2)/(-3))/(6/(-12906)). Let g = p + -103. Is g prime?
False
Let r(u) = 92345*u**3 - u**2 + u - 1. Let b be r(1). Is 1 + 4/(-6) - b/(-42) a composite number?
True
Let t be (-611)/(-65) - 4/10. Is (-5079)/t*3*-1 a composite number?
False
Let s(u) = 6*u - 2 + 5 + 3 + 0*u**3 - 8*u**2 + u**3. Let m be s(7). Let g(w) = -127*w**3. Is g(m) a prime number?
True
Let q(x) = -x**2 - 14*x + 4. Let l be (21 - 0)*(-10)/15. Let z be q(l). Suppose -p = -4*a - 351, z*p - 2082 + 626 = 3*a. Is p a composite number?
False
Suppose -4*a = -12, -3*q = -5*a + 5871 - 54117. Is q a prime number?
True
Let s = 1 + -4. Is ((-4635)/1)/s - 4 a composite number?
True
Let h = -9 + 1. Let b(x) = -x**2 - 10*x - 1. Let a be b(h). Suppose o - 22 - a = 0. Is o composite?
False
Let d be (3 + 4/(-1))*1*-16. Is (4*(-6)/d)/(6/(-1604)) a composite number?
False
Let a(f) = -4054*f - 449. Is a(-9) a prime number?
True
Let f = -1891 + 6173. Is f composite?
True
Let o(k) = 84*k - 35. Suppose -2*n - 23 = -q, 3*q = 2*q - 5*n + 2. Is o(q) composite?
True
Let x = 390 + 3067. Is x prime?
True
Suppose -19 = 4*k - 2*t + t, -28 = 5*k + 3*t. Let j be (-3)/(k/(-2) - 4). Suppose 7*y - j*y - 1967 = 2*n, -5*y + 5*n = -1955. Is y composite?
True
Is (6/(-24) - 0)/(3/(-157452)) composite?
False
Let n = 3457 - -1770. Is n composite?
False
Let i = -1021 - -2936. Suppose -4*w + 512 = 2*u, 0 = -5*u - 4*w + i - 665. Suppose 3*t - u = -3*h, h - 22 - 62 = t. Is h composite?
False
Suppose 0 = 22*v - 28*v + 95262. Is v a composite number?
False
Suppose -18*b + 110988 = 18*b. Is b prime?
True
Let s = 12 - 7. Let c = 31 - 31. Suppose c = -s*w + 188 - 23. Is w prime?
False
Let d(t) = 2373*t - 68. Is d(25) prime?
False
Let o(n) = 2 - 8*n**2 + n**3 - 9 + 8 - 12*n. Let f be o(10). Suppose 3*c = 300 + f. Is c a prime number?
True
Suppose -q = 5*a - 26734, -2*q = -2*a - 5135 + 15831. Is a a prime number?
True
Suppose 15 = -5*z - o, 4*z - 2*o + 5 + 7 = 0. Let v(k) = 23*k - 8. Let i(q) = -22*q + 7. Let w(j) = z*v(j) - 4*i(j). Is w(2) a prime number?
False
Let h(g) = 374*g**2 + 1. Is h(-2) prime?
False
Let p = 4 + -9. Let a = p - -44. Suppose 0*d = -d + a. Is d composite?
True
Is (-10)/((-120)/89772)*5 prime?
False
Let d = -19 + 19. Suppose r - 990 = -d*r. Is (-6)/10 - r/(-25) a prime number?
False
Suppose 5*g - 41 = 4*m - 7*m, 0 = -4*m + 4*g + 12. Suppose 0 = -m*t - 1238 + 4171. Is t composite?
False
Let x = 11 + -19. Let d(c) = -c - 14. Let i be d(x). Is 1 + 72*(-8)/i a composite number?
False
Is (15448/(-16))/(-1 - 3/(-6)) prime?
True
Let c(q) = -373*q + 2. Let m = 23 + -21. Suppose 0 = 4*y - 4, m*i - 6*i - 11 = y. Is c(i) a composite number?
True
Let i = 10 - 4. Suppose 2*q = 10 - i. Suppose q*a = -7 + 49. Is a a prime number?
False
Let i(r) = 0 + 5*r + 0*r - 1 - 6*r. Let y be i(-1). Suppose 4*m = a + 370, y*m - m + 3*a + 87 = 0. Is m a composite number?
True
Let y(p) = 3*p**3 - 3*p**2 - p - 1. Let k be y(3). Suppose 10*r = 15*r + k. Let z(c) = -c**3 - 9*c**2 + 5*c + 8. Is z(r) composite?
True
Let f = 235 + -76. Let z = 18 + f. Is z a prime number?
False
Let z(n) = 49*n**2 + 5*n - 72*n**2 - 36 + 69*n**2. Is z(11) prime?
False
Let w be (-36)/(-12) - (7 + 0). Let c(q) = -4*q - 10. Let n be c(w). Let a(b) = 17*b - 7. Is a(n) a composite number?
True
Let i = -4023 + 5873. Suppose 4*z + i = 5*r + 253, -5*r - 2*z + 1579 = 0. Is r prime?
True
Suppose -r + 1 = 0, 3*z - 2874 = 2*r + 11683. Is z a composite number?
True
Let w = -28 - -453. Suppose 0 = -2*t - 2*k + 498, -5*k = 3*t - 318 - w. Is t a composite number?
False
Let b = 6426 + -2015. Is b a prime number?
False
Let v(s) = s**2 - 4*s - 20. Let y be v(9). Suppose 5 = -2*z + y. Is z a prime number?
False
Let t(d) = -1806*d + 641. Is t(-18) prime?
True
Let f(m) = m**2 + 17*m + 16. Let w be f(-16). Suppose w = -b - 85 + 25. Is (-5676)/b - (-4)/10 a composite number?
True
Let t be -3 + 495 + -2 + 4. Suppose -4*s = 46 + t. Let o = s + 209. Is o composite?
True
Let u = 15 - 11. Suppose -u*j + 40 = 3*n, -86 + 36 = -5*j + 2*n. Suppose -5*z = j - 140. Is z a composite number?
True
Is (5110 - 33)/((-1)/(-1)) a prime number?
True
Let s = 333 + 270. Suppose -s = -4*v - 0*f - 5*f, 2*v - 4*f = 334. Is v a composite number?
False
Is 9561/3 + 1/((-6)/36) prime?
True
Suppose 2*g - 2*d = 22, -2*d - 30 = -3*g - 0*d. Suppose 0 = 3*m - g*m + 20. Suppose -5*c + 640 = 5*v, 0 = -m*v + 4*c - 5*c + 521. Is v a prime number?
True
Let p(f) = f**3 + f**2 - 4*f + 12491. Is p(0) a prime number?
True
Let p(y) = 802*y - 1. Let f be p(1). Let x be 2/13 - f/(-117). Suppose 297 = j - x*n + 3*n, -4*j + 1167 = 5*n. Is j a composite number?
False
Is (-13 + 17)*(131031/12 - 4) composite?
False
Let t = 2 + -2. Is t - (0 + -316 + -3) a composite number?
True
Let a = -1123 - -526. Let w = 118 + a. Let l = 732 + w. Is l prime?
False
Suppose -5*i - 1 + 34 = 2*h, 3*i + 4*h - 31 = 0. Suppose -3*o - 4*d = -24, -5*o + 33 = i*d - 2. Suppose 0*k = -o*k + 340. Is k prime?
False
Suppose 0 = -y + 4*r - 3243, -2*y - 4167 = 2*r + 2369. Is (-2 - y)*2/6 composite?
False
Let j(q) = 11*q**2 + 5*q - 4. Let m(h) = 21*h**2 + 11*h - 9. Let k(f) = 5*j(f) - 2*m(f). Let w be k(-5). Suppose -r + 5*r = w. Is r prime?
False
Let x = -815 + 1134. Is x prime?
False
Let s(k) = -2*k**2 - 7*k - 3. Let h be s(-3). Suppose 3*i - 3*t - 2583 = h, i + 4*t - 886 = -0*i. Is i composite?
True
Let x = 3 - -2. Suppose -x*f + 1790 = 4*q + 341, -3*q + 3*f = -1053. Let v = q + 23. Is v a composite number?
False
Suppose 3*x + 3 = 0, 0 = 3*h + 6*x - 5*x + 16. Is (188/(-8))/(h/130) composite?
True
Let u(j) = -j**3 - 2*j**2 + 8*j - 3. Let z(i) = -i**3 + 7*i**2 - 8*i + 6. Suppose 4*y + 4 = -12, -4*y - 4 = 2*c. Let d be z(c). Is u(d) composite?
True
Let w(c) = 19*c - 6*c - 1 - c**3 + 3 - 10*c**2 + 0. Let q be w(-11). Is 68/(-12)*(q + -1) composite?
True
Suppose 3*z - 1615 = -4*g, 5*g + 140 = 2*z - 952. Is z prime?
True
Let c(s) = 105*s + 26. Let j be c(11). Let r = 1812 - j. Is r a prime number?
True
Suppose -7 = -4*u - q, -2*q = -8 + 2. Let m = -7 - u. Is (-5343)/(-9) - m/(-12) prime?
True
Let l be (-14)/(-18) - 1 - 3478/(-423). Let p(r) = r**2 - 5 + 5*r + r**2 - 4*r. Is p(l) composite?
False
Let u be ((-3)/(-2))