d**3 - 8*d**2 - 10*d + 9. Let l be n(9). Let q be 1 - (1 + 2 + l). Is 2 + (q/(-2) - -7) prime?
False
Let x(a) = 11*a**2 + a + 4. Is x(-6) a prime number?
False
Let p be ((-28)/(-3))/(1/(-3)). Is 159/7 + (-8)/p prime?
True
Suppose 0 = -9*a + 13*a - 2516. Is a prime?
False
Suppose 5*x + 2*y = y + 925, 4*x + 5*y - 740 = 0. Is x prime?
False
Let z be 2/7 + 12080/7. Suppose 5*o = -3*t - 253 + z, -4*t = -2*o + 610. Suppose -98 = -5*q + o. Is q prime?
True
Suppose p + 3*d + 41 = 0, -p = 4*d + 18 + 28. Is -6*(-1 + p/3) a composite number?
True
Let d(r) = -r**3 + 11*r**2 - 2*r + 1. Let p(l) = 2*l**3 - 21*l**2 + 3*l - 3. Let w(h) = -7*d(h) - 4*p(h). Is w(6) a composite number?
False
Suppose -8 = -5*f + 12, -5*y - 3*f = -982. Is y composite?
True
Let z = 0 + 0. Suppose 2*u - 3*n - 146 = z, 2*u = u - 4*n + 95. Is u a prime number?
True
Suppose 0 = 5*r - 3*q - 13048, -3*q - 2604 = -r - 8*q. Is r a composite number?
False
Let r = 14 + -4. Is r prime?
False
Is (-2)/(-10) - 5284/(-5) composite?
True
Suppose -3*z - 2*z + 20 = 0. Suppose 5*h - 5*n - 65 = 0, 106 = 4*h + z*n + 38. Let b = h - 5. Is b composite?
True
Suppose -5*n + o - 1482 = 3*o, -3 = 3*o. Let j = -124 - n. Suppose -2*s - j = -6*s. Is s composite?
False
Let m(n) = -595*n + 10. Let y be m(-7). Suppose u - 6*u = -y. Is u composite?
True
Let z(v) = -v**3 - v**2 + 5*v - 2. Let d be z(-4). Suppose 3*w = 2*t - d, w + 4*t = 3*w + 28. Let g = 16 + w. Is g a composite number?
True
Let r(a) = -a**3 + 3*a**2 + 6*a - 6. Let i be r(4). Suppose -i*j + 181 = 7. Is j a prime number?
False
Let w(a) = 2*a**2 + 2*a + 4. Let u be w(3). Suppose 0*h - u = -2*h. Is h a prime number?
False
Let t = 672 + -263. Is t composite?
False
Suppose 0 = 5*m - 1045 - 1180. Is m a prime number?
False
Let r(c) = -8*c + 18. Suppose 2*x + 3*x + 40 = 0. Is r(x) a prime number?
False
Suppose -6261 = -5*g - 686. Is g composite?
True
Suppose -745 - 239 = -4*w. Suppose 14*u - w = 12*u. Is u a prime number?
False
Let h = -36 - -20. Let b be ((-3)/(6/h))/2. Suppose -150 = -b*n + 358. Is n a prime number?
True
Let q = 4033 + -2592. Is q composite?
True
Let w = -47 + 71. Let o = w - 1. Is o a composite number?
False
Suppose -4*l + 495 = -397. Is l prime?
True
Let c = 141 - -254. Is c composite?
True
Let x(k) = -k**3 - 4*k**2 - 2. Let m be x(3). Let y = m - -250. Is y prime?
False
Suppose -471 = 4*x - x. Let h = -90 - x. Is h a prime number?
True
Suppose -2*v - 3*z - 12 = 0, -4*v - 18 = -v + 4*z. Let t(q) = -q**2 - 8*q + 8. Let d be t(v). Suppose -2*y - d = -50. Is y prime?
False
Let x(a) = a**3 - 6*a**2 - 7*a + 7. Is x(8) prime?
True
Is ((-18)/(-12))/((-6)/(-2540)) prime?
False
Let j = -4 + -1. Let i = -2 - j. Let c(p) = 2*p**3 - 3*p**2 - 2*p. Is c(i) a prime number?
False
Suppose 5*x - 1580 = -r, 5*x + 2*r - 596 = 979. Is x a prime number?
True
Let f(n) = -2*n**3 + n**2 - n - 1. Let g be f(-1). Suppose 0 = 3*d + 3, 2*p = -g*p - 3*d + 27. Is p prime?
False
Let l = -348 + 581. Is l composite?
False
Let d(w) = 10*w**2 + w - 2. Let b(t) = -t**3 + 11*t**2 - 10*t + 3. Let l be b(10). Is d(l) a composite number?
True
Suppose 2*a - 178 = s + 136, 785 = 5*a + 5*s. Is a composite?
False
Let d be (0 - -1)/((-1)/(-121)). Let z = -228 - -382. Suppose -5*q + z = -d. Is q a prime number?
False
Suppose -21 = 4*f - f. Let r(d) = d**3 + 9*d**2 + 2*d + 3. Is r(f) a composite number?
True
Suppose -2693 = -4*p - o, -6*o + 2021 = 3*p - 4*o. Is p prime?
True
Suppose 5*b + 5*h - 407 - 273 = 0, b - 124 = -4*h. Suppose -4*z + b = -0*z. Suppose -p = 4*p - z. Is p a composite number?
False
Let k = 60 + 67. Is k prime?
True
Let h = -2473 - -3624. Is h composite?
False
Let y be 2/(-4) - 22/(-4). Let z = 8 - y. Suppose 56 = 3*x - 2*b - 99, b - 161 = -z*x. Is x a prime number?
True
Let g(i) = -15*i + 8. Let f be 1/(1/12*-2). Let a be g(f). Suppose 2*n = -r - 29 + a, -n + 4*r = -57. Is n prime?
True
Let a = 1 + 3. Let m = 4 - a. Suppose t - 13 = -m*t. Is t prime?
True
Let q = 136 - 81. Let t = -33 + q. Is t a composite number?
True
Suppose -2*n - 3*u + 9 = -0*u, -4*u = -4. Let f be 3 + n + -6 - -4. Suppose -f*o = -93 - 223. Is o prime?
True
Let b be (10/(-15))/(4/6). Let g(u) = -u + 9*u**3 - 2*u**2 - 21*u**3 - 23*u**3. Is g(b) a composite number?
True
Let b be (-3 + 0 + 3)/(-1). Suppose b = -7*i + 3*i - 12. Let t = i - -5. Is t prime?
True
Is (-6)/(-2) + (-146)/(-1) a composite number?
False
Is (-1 - -5) + 21/(-3) - -942 a composite number?
True
Let c(i) = -i**3 + i**2 - i + 5. Let m be c(0). Let x(w) = w**2 - 5*w + 6. Let f be x(m). Is 2/f*1*633 composite?
False
Let g(t) = 3*t**2 + 5*t + 12. Let d be g(-13). Suppose -11*c + 10*c = -d. Is c a prime number?
False
Let m(b) = b**3 + 9*b**2 + 5*b + 1. Let u be m(-4). Let a = 220 - u. Is a composite?
True
Let y = 8 + -7. Is (-253 - -2)/(y - 2) composite?
False
Let o = -47 - -118. Is o prime?
True
Let w = 1 - -2. Is (42/(-4))/(w/(-4)) prime?
False
Let g(v) = -37*v**3 - v + 1. Let t be g(1). Let n = t + 73. Let i = -22 + n. Is i a prime number?
False
Suppose 3*z - 5*n = -1, 1 = -4*z + 5*n - 2. Is 40 + 4/z + 1 prime?
False
Let b(c) = 5*c - 6. Let t be b(4). Suppose -j = 5*o + 7, -4*j + 5*o = -t - 8. Suppose 0*v - j*v = 4*k - 136, 0 = -4*k + v + 120. Is k prime?
True
Suppose -z + 3*d + 407 = 0, 1656 = 3*z + z - 5*d. Is z prime?
True
Let t(f) = -6 + 22 + 4*f**2 + 18 - 3*f**2. Is t(0) a composite number?
True
Let b(s) = -3*s**3 - 3*s**2 + s + 4. Let o be (6/4)/(1/(-2)). Is b(o) a prime number?
False
Let c(p) = -16*p**3 - 7*p**2 - 18*p - 10. Is c(-7) prime?
True
Suppose -5*y = -12*y + 57463. Is y prime?
True
Suppose -3*t + 3160 = 2*i, -3*i - t + 4737 = 2*t. Let m = -900 + i. Is m composite?
False
Let o(v) = v**2 + 8*v + 7. Let s be o(-8). Let f be s - (-4 - (-4 + 1)). Suppose 3*k = -f + 209. Is k composite?
False
Suppose n = -2 - 2. Let l(x) = -55*x + 3. Is l(n) a composite number?
False
Suppose 3*a + 5*p = -14, -4 = 2*a - 5*p - 3. Let c be (-2)/((-2)/2) - -36. Is (0 - a/6)*c composite?
False
Suppose 0 = -12*r + 103 + 5645. Is r composite?
False
Suppose -3*c = -2*n + 12, 5 = 4*c + 21. Let b be 1/(n - 1)*0. Suppose g - 3*g + 26 = b. Is g a prime number?
True
Let d(x) = 7 + 5*x**2 - 3*x - 2*x - x + 0*x. Let h be d(5). Let o = h + -65. Is o composite?
False
Suppose -3*v + 5*a = -16, -3*v = -4*a + 5*a - 22. Let g(j) = 21*j - 7. Let n be g(v). Suppose 5*h - n = 95. Is h a prime number?
True
Suppose 3*f = -l + 551, 3*l + f = -f + 1681. Suppose -5*h + 622 + l = 0. Is h prime?
False
Let b(s) = 3*s - 22. Let q be b(9). Let i(m) = 12*m**2 + 5. Is i(q) a composite number?
True
Let u be (-76)/(2*(-1)/4). Let w be (-3)/(-12) - 842/8. Let n = u + w. Is n composite?
False
Suppose 6 = -4*z + 22. Suppose r = -z*r + 15. Suppose -r*g - 63 = -354. Is g a composite number?
False
Is (-2)/8 - 1850/(-40) prime?
False
Let o = -53 + 106. Is o a composite number?
False
Let z(q) = -q**3 - 10*q**2 - 14*q + 9. Is z(-10) composite?
False
Let o(h) = h**2 + 3*h + 6. Is o(4) prime?
False
Suppose 0 = 2*r + 5*s - 979, 0*r - r - 2*s = -489. Is r a prime number?
True
Let d(t) = t**3 + 10*t**2 + 3*t + 5. Let z(j) = j + 3. Let o be z(-7). Is d(o) a prime number?
True
Is (-1)/(-3)*0 - -307 composite?
False
Let u(c) = 17*c**2 - 14*c - 7. Is u(-8) a composite number?
False
Let v = -78 - -127. Is v a composite number?
True
Suppose 4*j = 2*z + 2514, j - 3130 = -4*j + 5*z. Is j composite?
False
Suppose 28 = -2*i + 8. Is 3816/20 - 2/i a composite number?
False
Suppose 156 = 4*f - 100. Suppose -a + 3*b = 6, -4*a + 3*b - f = b. Is (117/a)/(1/(-2)) composite?
False
Let p(a) = 3*a**2 - a - 2. Let s be p(2). Let t(r) = -r**2 + 8*r - 4. Let g be t(s). Let h = g + 41. Is h prime?
True
Suppose -v = n, -2*v = 5*n + 5 + 7. Is (n/8)/(1/(-282)) prime?
False
Is 6/33 + 4 + 361/11 prime?
True
Let b(x) = -4*x + 25. Let r be b(11). Let p(l) = -43*l - 20. Is p(r) composite?
False
Let m = -12 + 31. Suppose 14*d - m*d = -385. Is d a composite number?
True
Let j(o) = 3*o**2 + o - 4. Let b be j(-3). Suppose y = 2*x + b, -2*x - 19 = -2*y - 5*x. Is y a prime number?
False
Let l = 120 - 35. Suppose o - 2*o - 2*s = -73, o - 4*s - l = 0. Is o composite?
True
Let h(k) = k - 3. Let p be h(6). Suppose 4*n - p*w = 333, 0 = -4*w + 34 - 14. Is n prime?
False
Let w = -695 + 1374. Is w a composite number?
True
Su