se -2*c = 3*c - 1090. Is (c/(-4))/((-9)/18) prime?
True
Let u(t) = 109*t**3 + t. Let d be u(1). Suppose 4*i + i - d = 0. Is i composite?
True
Let g(j) = 364*j**3. Suppose o + 3*x = -o - 10, -2*o = -3*x - 14. Let h be g(o). Let v = -255 + h. Is v composite?
False
Let x(t) = 7*t**2 + 11*t**2 - 4*t**2 - 2 + 2*t**2. Let g be x(4). Suppose -p - p = -g. Is p composite?
False
Suppose 2*h = -3*f + 110, -5*f + 215 = 4*h - 5. Is h a prime number?
False
Is (60/36)/(2/6522) a prime number?
False
Let a(s) = -81*s + 23*s - 316*s + 1. Let u be a(-1). Is 1/(-4) - u/(-12) a composite number?
False
Let g(v) = 2*v + 4. Let w be g(-3). Is (4 + 15)/((-2)/w) composite?
False
Let a(r) = -5*r**2 - r + 557. Let s(y) = -11*y**2 - 2*y + 1115. Let p(o) = 9*a(o) - 4*s(o). Is p(0) prime?
False
Let n(b) = b**3 + 10*b**2 + 4*b - 4. Suppose -5*r - 28 = 7. Is n(r) composite?
True
Is (-14)/49 + 79/7 composite?
False
Let n = 1884 + 2161. Is n composite?
True
Let f = 6 - 3. Suppose -6*j + f = -3*j. Is 79 + (j - (4 - 1)) prime?
False
Let s be ((-1)/(-3))/((-2)/(-12)). Suppose 87 + 87 = s*j. Is j a composite number?
True
Let a be 24/(-3)*(-3)/4. Let w(o) = 4*o + 4 - o**2 + 4 + 5*o + 0*o. Is w(a) a prime number?
False
Let c(p) = 19*p**2 - 5*p - 7. Suppose 5*d - 3*w + 21 = 0, 0*d + 3*w = 2*d + 12. Is c(d) a composite number?
False
Let u(n) = n - 1107. Let j be u(0). Is (4/(-6))/(6/j) a composite number?
True
Let x(r) = -r**2 - 6*r - 3. Let f be x(-6). Is 0/(f/1) + 163 a prime number?
True
Let u be (-14)/63 + (-58)/(-18). Suppose 442 = -y + u*y. Is y a prime number?
False
Let n(d) = -d**3 - 5*d**2 + 5*d - 2. Let j be n(-6). Suppose -5*p - b + j*b = -1669, -4*p = -4*b - 1332. Is p prime?
False
Suppose 0 = -2*k + j + 10, -k + 15 = 2*k - 4*j. Let y = 8 + k. Is y a composite number?
False
Suppose -960 = -4*t - 4*s, 5*s + 696 = 3*t - 0*s. Is t a composite number?
True
Let k = 224 + -102. Suppose 2*h - k = 52. Is h a composite number?
True
Let y(m) = -m**3 - 9*m**2 + 6*m + 13. Suppose -3*h - 32 = -2*r, -3*h + 6*r - 3*r - 33 = 0. Is y(h) a composite number?
False
Suppose -93 = 5*r - 898. Is r composite?
True
Is ((-163)/2)/(5/(-10)) composite?
False
Let b(v) = 1668*v + 1. Is b(1) a composite number?
False
Is (149/4)/(2/40) a composite number?
True
Suppose 45 + 50 = 5*x. Is x composite?
False
Let p(f) = -f + 3. Let h = 2 - 2. Let a be p(h). Let s(q) = 12*q - 3. Is s(a) prime?
False
Let t be -102 + ((-6)/(-2))/1. Let j = -16 - t. Is j prime?
True
Suppose 0 = 4*w - 6*r + 4*r - 3810, -3*w = 2*r - 2875. Is w a prime number?
False
Suppose 2*s + 95 = j, 3*j + 75 = -3*s + s. Let p = s + -13. Let g = 111 + p. Is g a composite number?
False
Let q be (-4)/6 + 60/9. Let s(u) = 2*u**2 - 4*u + 1. Is s(q) a prime number?
False
Let p(n) = -n**2 - 5*n - 1. Let l be p(-3). Suppose 6 = v + l*y - 192, -3*v + 608 = y. Is v prime?
False
Let n = -191 - -486. Is n composite?
True
Let p(i) = -19*i - 2. Is p(-5) composite?
True
Let f be 18/(-3)*(-10)/4. Suppose -5 = -2*l + 1. Suppose -c - 18 = -l*m + 2*c, -c = 2*m - f. Is m composite?
False
Let v(a) = -a + 8. Let b be v(3). Suppose -b*d + 115 = -n, 0 = 2*d + 3*n - 50 + 4. Is d composite?
False
Let r = 49 + -49. Let n(o) = -o**2 - o + 11. Let y be n(0). Suppose 4*p + y - 3 = 0, -2*s + p + 78 = r. Is s a prime number?
False
Let m = 14 + -24. Is 4/m + 1335/25 prime?
True
Suppose -4*q + 7 = -25. Suppose 3*v - 5*g + 0*g + 1 = 0, -5*v + 2*g = q. Let k(l) = -82*l - 3. Is k(v) a prime number?
False
Suppose -2*i - g - 2 = -i, -2*g - 4 = 3*i. Suppose k + 4*k - 1065 = i. Is k prime?
False
Let v(x) = -x**3 + 7*x**2 + 2. Let m be v(7). Suppose m*k = 3*i - 93, -2*k - 13 = 4*i - 151. Is i a prime number?
False
Let j(h) = -878*h + 1. Let i be j(-1). Suppose 0*p + i = 3*p. Is p a composite number?
False
Let a(g) be the first derivative of g**3/3 + 412*g - 3. Let s be a(0). Suppose -4*f = -s - 48. Is f prime?
False
Let l = -28 + 12. Let r = 22 + l. Is (-49)/(-21) + (-2)/r a composite number?
False
Suppose 0 = -3*x - 2*t + 1140, -976 = -4*x + 5*t + 567. Is x a composite number?
True
Let l(b) = -11*b - 6. Let g = -6 - -1. Let a be l(g). Suppose -269 = -2*y + 5*h, y = 4*h + a + 90. Is y prime?
True
Let i = 110 + 803. Is i a composite number?
True
Let y be 23*(-2)/4*-4. Suppose 2*d + 5*p = 79, 4*d - 5*p = 83 - 0. Let v = y - d. Is v prime?
True
Let v(q) = q**2 - 6. Let c = 12 - 22. Is v(c) prime?
False
Is 1 + 3 + -7 + 320 + 0 prime?
True
Is 96 + 2 - (-3)/(-1) a composite number?
True
Let t(j) = 2*j**3 - 9*j**2 + 4*j + 7. Let k be t(7). Let n = k + -193. Is n prime?
False
Suppose -4*z + 3*n = -720, -3*n - 8 = -5*n. Suppose 0*d - d - 182 = -2*s, z = -d + s. Is (-8)/52 + d/(-13) a prime number?
False
Is (-2 + (-948)/(-4))/1 a prime number?
False
Let h be ((-4)/(-2))/(10/345). Let s = -16 + h. Is s prime?
True
Let y = 8350 + -5904. Is y prime?
False
Let i(l) = 0 + 3 - 4 + 48*l. Let r(t) = -t - 4. Let z be r(-5). Is i(z) a composite number?
False
Suppose -169 - 76 = 5*g. Let p = g + 126. Is p prime?
False
Suppose -9*f - 2*u + 19 = -4*f, -5*f - 5*u + 25 = 0. Is f + -3 - -1*7 a composite number?
False
Let s(r) = 21*r**3 - 4. Is s(3) a composite number?
False
Let q be (-6 - -3 - -2)*-2. Suppose -z + 531 = q*z. Is z a composite number?
True
Suppose t + 5*w = w + 20, -2*t = -2*w + 10. Suppose -2*c + t + 74 = 0. Is c prime?
True
Suppose 3*g = -g + 12. Let c = 3 - g. Suppose 4*j + s - 4*s - 129 = 0, -3*j + 2*s + 97 = c. Is j a composite number?
True
Is 0 + 0 - 1 - (-7320)/10 prime?
False
Is (-29)/(-2) - (-1 - 4/(-8)) composite?
True
Suppose -528 = -5*w + 187. Suppose -88 = -2*c - 3*r, 3*c - r + 0*r - w = 0. Is c prime?
True
Let v(o) = o**3 - 12*o**2 + 12*o - 9. Let u be v(11). Let k = 1 + -1. Is u + 2 + k + 79 a prime number?
True
Let t(q) = 90*q - 1. Is t(1) composite?
False
Let n(d) = -d**3 - 2 - d**2 - 11*d**2 - d + 11. Is n(-13) a prime number?
True
Suppose 2*r = 4*s - 0*r - 20, 2*s - 3*r = 14. Is 134/s + 1/2 composite?
True
Let l = 599 - 191. Suppose -q = 4*n + l, 4*n - q + 424 = 2*q. Let d = -14 - n. Is d prime?
True
Suppose -3*t + 9 = 3*b, -4*b - 5*t = -0*t - 17. Let d be b/(-3)*6/4. Let m(u) = 3*u**3 + 1. Is m(d) a composite number?
True
Let h(u) = u**3 - 4*u**2 - 4*u - 6. Let n be h(5). Is (-320)/(-6) - n/(-3) prime?
True
Suppose 4*m - 1071 - 13973 = 0. Is m a prime number?
True
Let u(f) = -f - 9. Let x = -3 + -5. Let p be u(x). Is 57/5*(4 - p) prime?
False
Suppose -b + 308 = 3*b. Is b a prime number?
False
Let x = -1 + 4. Suppose -120 = -x*m + 63. Let q = 98 - m. Is q prime?
True
Let j(s) = -s**2 - 5*s - 5. Let x be j(-4). Let c = x + 3. Suppose 4*o = 16, -3*u - 2*o = c*u - 813. Is u prime?
False
Let u(h) = -4*h - 7. Let m be u(-3). Is m - 2 - 2 - -33 composite?
True
Let f = 354 + 39. Is f a prime number?
False
Let k(d) = 37*d + 5. Let o be k(-5). Let l = -22 - o. Suppose -u - l = -3*u. Is u composite?
False
Let g be ((0/1)/(-3))/1. Let a = -22 - -33. Let h = a - g. Is h a composite number?
False
Suppose -n + 65 = -5*w - 84, -2*n + 298 = 4*w. Is n a prime number?
True
Suppose -1971 = -2*i - 5*q, -4*i + q = i - 4860. Is i prime?
False
Suppose -1552 = -4*l - 3*r, -3*l + 1164 = -4*r - r. Let j = -57 + l. Is j a composite number?
False
Suppose w - 127 + 3 = 0. Suppose 0 = r + 3*r + w. Is 1*1*r/(-1) composite?
False
Let g(n) = -17*n**2 - 4*n - 4. Let w be g(4). Let h = -165 - w. Is h a prime number?
True
Let b(v) = v**3 + 3*v**2 - 6*v - 6. Let a be b(-4). Suppose 0 + 4 = a*k. Suppose -5*n + 335 = 2*j, -n + k*j + 3*j = -67. Is n a prime number?
True
Let k be (-2)/5 + 726/15. Is ((-87)/4)/((-18)/k) a composite number?
True
Let b be -3 + 3 - (-15 + 2). Let c = b + 26. Is c composite?
True
Let s = -5 + 9. Suppose 4*t - s = 0, -2*g + 0*t - 10 = -4*t. Is 1/(g/6) - -9 a prime number?
True
Suppose -4*l + 2317 = -1591. Is l a prime number?
True
Let f(v) = v**3 + 8*v**2 - 8*v + 6. Let i be f(-9). Let x(g) = -9*g + 4. Is x(i) a prime number?
True
Suppose -2 = 3*s - 2*s. Let x = s + 2. Is (-2 - -2) + x - -31 a prime number?
True
Suppose 4*w - 22 = 3*s - 0*w, -4 = -4*s - 3*w. Let d(l) = 46*l + 53*l + l**2 - 1 - 18*l**3 - 98*l. Is d(s) prime?
False
Suppose -3*w + 0*w = 9. Is ((-59)/w)/((-3)/(-27)) a composite number?
True
Let q = 382 + -263. Is q prime?
False
Let r = 42 + -28. Let a = -1613 + 1133. Is 4/r