se 3*g - 80 = b, g + 3*b + 0*b - s = p. Is g composite?
True
Let n be (-30)/(-6) - (1 - -1). Suppose 0 = -r + 50 + n. Is r composite?
False
Let l = -1230 + 1861. Is l a prime number?
True
Let h(v) = -54*v + 5. Let w(k) = -3*k - 3. Let s be w(-5). Suppose 0 = -3*j - s. Is h(j) composite?
True
Let g(y) = -y**3 + 9*y**2 + 11*y - 12. Suppose a + 42 = 5*c, -2*a + 12 = c - a. Is g(c) a composite number?
True
Suppose 2*i = -4*u + 288, 0*i - 5*i = -2*u + 132. Is u a prime number?
True
Let c(x) = 4*x - 3. Let r(z) = -z**2. Let f(y) = 3*y**2 - 3*y - 4. Let d(g) = f(g) + 2*r(g). Let u be d(5). Is c(u) a prime number?
False
Let j = 35 + -17. Is (-4)/6 + 3990/j prime?
False
Let w be -4 - -278 - (-1 + 0). Suppose -4*h - h = -w. Is h prime?
False
Let j(q) = q**3 + q**2 + 319. Let u be (-5)/10 - (-2)/4. Is j(u) prime?
False
Let j(g) = 3*g**2 + g**3 + 0*g**2 + 2 - 5*g - 5*g**2. Let t be j(3). Let f = 11 + t. Is f a prime number?
True
Let g = 3 - -2. Suppose -g*u - q - 18 = -4*q, 0 = u + 5*q - 2. Let l = 9 + u. Is l a prime number?
False
Suppose -5 = 3*t + 2*t. Let h(u) = 337*u**2 + u + 1. Is h(t) a prime number?
True
Is 12/(-8)*(-238)/3 a prime number?
False
Let c = 6 + -2. Suppose -c*r + r = -555. Is r a prime number?
False
Let r be 2/(-4)*(-1 - 9). Let s = -1 + r. Suppose -255 = q - s*q. Is q a prime number?
False
Suppose 3*q = -0*q. Suppose -4*x = 2*j - 218, q = x - 3*j - 29 - 15. Is x composite?
False
Suppose 2*u + u + 5*q - 4 = 0, q + 1 = 0. Suppose -3 = -u*d, 5*d - 2*d = 5*l + 3. Suppose 3*a - 7 - 110 = l. Is a prime?
False
Suppose 0 = -4*b - 3*h, 0 = b + h - 0*h. Suppose -4*r + 580 - 71 = -z, 5*r - 637 = 2*z. Suppose r = d - b*d. Is d a prime number?
True
Let k = -1 + 4. Suppose 4 = w - y, 0 = -4*w - 5*y - 5 + k. Is ((-1)/w*-42)/1 prime?
False
Let i(y) = -y**3 + 3*y**2 - y - 2. Let w(f) = -f**3. Let z(q) = -i(q) + 3*w(q). Let d be z(-2). Suppose 623 - 99 = d*h. Is h a composite number?
False
Suppose -r - 2 = -7. Suppose 7*c - r*c = 14. Is c prime?
True
Suppose 3*d - 20 = -d. Suppose 2*v = 5*u - 12, 0*u = u - 2*v - 4. Suppose -3*j - 242 = -d*m, 2*j + 0*j - u = 0. Is m a prime number?
False
Suppose -3*r = c - 4*c + 2592, 0 = r + 2*c + 873. Is (r/6)/(3/(-6)) prime?
False
Let v(l) = -l**2 + 8*l - 3. Let g be v(7). Let n = 234 - 167. Suppose -3*b = 5*t - 116, 0 = g*b + t - 82 - n. Is b prime?
True
Let v(l) = -14*l - 1. Let b = 2 + -8. Is v(b) prime?
True
Suppose -5 = 3*h - 4*h. Let f(b) = 7*b**2 + 5*b + 3. Is f(h) prime?
False
Let y(o) = 35*o + 23. Is y(10) a prime number?
True
Suppose 13*c + 8380 = 17*c. Is c a composite number?
True
Let b = 2 + 1. Suppose -20 = -b*l + 19. Is l composite?
False
Suppose 340 = -5*b + 2325. Is b a prime number?
True
Let y(u) = -u + 8. Let m be y(8). Suppose m*g = -3*g + 267. Is g prime?
True
Let d(n) = n**3 - 8*n**2 - n + 11. Let t be d(10). Suppose -a + t = 2*a. Is a a composite number?
False
Is 5 + (-36)/8 - (-501)/2 a prime number?
True
Let j(v) = -17*v. Let m be j(3). Let a = m - -75. Let b = a + -15. Is b prime?
False
Let w(c) = -c**2 + 4*c - 8. Let k be w(7). Let y = -16 - k. Is y composite?
False
Suppose -212 = -3*w - w. Is w composite?
False
Suppose 0 = 2*j - 2*s + 4, 5*s - 3 = 3*j + 7. Suppose 395 = 3*u + 2*u. Suppose 0 = 3*y - 0*q - 5*q - u, j = -q + 4. Is y prime?
False
Suppose 3*n + 421 = -1829. Let k = n - -1423. Is k prime?
True
Suppose 7 = -0*w - 5*w - i, -5*i = -3*w + 7. Let v be (6/w)/(0 + -2). Suppose -5*k + p = -184, k - 7*p - 33 = -v*p. Is k a composite number?
False
Let d(f) = 243*f - 49. Is d(6) prime?
True
Let u be (10/(-15))/(3/1143). Let l = 249 - u. Is l composite?
False
Let d = -5 - -82. Is d a composite number?
True
Let y be 4/(-14) - (-32)/14. Suppose -25 = y*n - 3*n. Suppose 3*k = 2*c + n, 3*c = 4*k - 34 - 0. Is k prime?
True
Let h be 16/56 + (-74)/14. Let x be (-4 - h) + -3 + 2. Suppose -5*p = 0, 2*p = -2*t - x*t + 194. Is t composite?
False
Let v(j) = -j**2 + 6*j - 2. Let p(l) = -5 - 2*l + 4 - 5. Let q be p(-5). Is v(q) a composite number?
True
Let b(c) be the first derivative of -3*c**4/2 - c**3/3 + 2*c - 2. Let n be b(-2). Is 3*(-2)/(-12)*n composite?
False
Let y be (-34)/8 + 2/8. Is (195 + y)*(2 + -1) composite?
False
Suppose -77*o - 1068 = -81*o. Is o a prime number?
False
Let c = 333 + -26. Is c a prime number?
True
Is (-6)/15 + (-1957)/(-5) composite?
True
Let i(z) = z**2 - 8*z - 1. Let q be i(6). Let v(t) = t**2 - 2*t - 4. Let o be v(11). Let c = q + o. Is c prime?
False
Let f(i) = i**3 - 3*i**2 + i + 5. Let d be f(5). Let a be (-1)/(-1*2/(-58)). Let c = d + a. Is c a composite number?
False
Let x(g) = -11*g + 19. Is x(-6) composite?
True
Suppose -4*k - 4 = 5*h + 19, -5*h - 11 = -2*k. Let d(m) = -m**2 - 5*m - 1. Let i be d(k). Suppose 5*w - 65 = -5*v, 3*w + i + 16 = v. Is v a prime number?
False
Let z(i) = 17*i**2 + 21*i + 21. Is z(10) prime?
True
Suppose -5*x + 2*v - 3*v + 1298 = 0, 2*x - 4*v = 506. Is x composite?
True
Let g be (1*-14)/(-4 + 2). Let m = g - -6. Is m a composite number?
False
Suppose -53 = -3*d + 3*k + 31, 0 = 3*k - 6. Let j(q) = -4*q - 19. Let m be j(-10). Let p = d - m. Is p composite?
True
Let j be (-76)/10 - (-21)/35. Let n = 0 - j. Is n a prime number?
True
Let j(i) = -i**3 - 15*i**2 - 24*i - 23. Is j(-15) prime?
True
Let l be -786 + (0 - -9)/3. Is l/(-5) + (-2)/(-5) a composite number?
False
Let j(o) = -1863*o - 10. Is j(-3) composite?
True
Suppose -4 = 3*q - 637. Is q a prime number?
True
Let p = -7 - -10. Suppose -5*a + 325 = -5*j, -p*a + 257 = a - 5*j. Let o = a - 37. Is o composite?
False
Suppose 0 = 5*y - 360 - 30. Suppose -16 = -s - a + y, 5*a + 420 = 5*s. Is s composite?
False
Let o = 410 + -739. Let h = o - -506. Is h a composite number?
True
Suppose 5*x = 2*n + 1045, 4*x - 836 = -0*n + 3*n. Is x prime?
False
Let l(j) = -18*j + 1. Let p be l(-1). Let q = p - -96. Is q a prime number?
False
Let r be (-5)/15 + 86/6. Suppose 4*v - 62 = r. Is v composite?
False
Let q(i) = -i**3 + 71. Let n be q(0). Let j = n + -44. Let h = j - 18. Is h composite?
True
Suppose 0 = -2*u + 4*u - 28. Let x = u + 5. Is x composite?
False
Let n be -3 + 2 - 2/2. Let m be n + 17*(-2 - 0). Is (-692)/m + (-4)/18 composite?
False
Let c = 76 + -154. Suppose -4*y + 7*y + 2*q = 591, -3*q - 591 = -3*y. Let z = c + y. Is z a prime number?
False
Let b(g) = -8*g**3 - 3*g**2 - 5*g - 2. Is b(-3) a prime number?
False
Let i(n) = 0*n + 3*n + 5 + 2 - n**3 + 0*n**3. Let b be i(-5). Suppose -g - 6*p + 47 = -p, -3*g - 3*p + b = 0. Is g a composite number?
False
Suppose -8*a + 3*a = -3*k + 7692, 0 = 3*k + 5*a - 7722. Is k prime?
False
Let b be (-5)/1 - (1 + -4). Is (-822)/(-4) - (-1)/b composite?
True
Suppose 8*w = -1042 + 354. Suppose 3*m + 3*l + 471 = 0, -m - l - 310 = m. Let g = w - m. Is g a composite number?
False
Let x(p) = -6 + 0*p**3 + 9*p - 4*p + 3*p**2 - p**3. Let i be x(4). Let f(u) = -5*u - 3. Is f(i) composite?
False
Let o(x) = -4*x + 4. Suppose 0 = 3*b - 3, -2*n = 2*n - 2*b + 14. Let d be o(n). Suppose -47 + d = -q. Is q a composite number?
False
Let d be ((-10)/(-6))/((-2)/6). Let y(k) = 5. Let w(j) = -j + 11. Let s(p) = d*y(p) + 2*w(p). Is s(-8) a prime number?
True
Let w(r) = r**2 - 3. Let s be w(0). Let l be -33*2/s - 3. Suppose -b = -0*b - l. Is b composite?
False
Suppose 0 = -2*r - m + 160, -4*r = -6*r + 2*m + 172. Is r prime?
False
Is (-4)/((-8)/(-4)) + 459 a prime number?
True
Suppose 0 = 14*u - 11*u - 165. Is u composite?
True
Suppose 0 = -24*y + 29*y - 5825. Is y prime?
False
Let q(m) = 7 - 3 - 3 - 168*m. Is q(-2) composite?
False
Suppose 0*q + 6*q - 36870 = 0. Is q composite?
True
Is 284/3 + 2/6 a prime number?
False
Let z(y) = 2*y - 6. Let w be z(5). Suppose 6 = w*o - o. Is o/7 + (-215)/(-7) prime?
True
Let s(w) = 91*w**3 + w**2 - 1. Is s(1) a composite number?
True
Let r be (32/(-20))/((-2)/5). Suppose -r*l + 74 = -402. Is l prime?
False
Suppose 3998 - 11088 = -5*s. Suppose 163 = -5*r + s. Is r prime?
True
Let r be (59 - 2) + (0 - 0). Suppose 0 = -3*t - 0*t + r. Is t a composite number?
False
Let x(k) = k**3 + k**2 + 2*k. Let y be x(2). Suppose -4*f + y - 4 = 0. Suppose 5*v = -f*j + 225 - 8, 2*j + 2*v = 150. Is j a prime number?
True
Let i(x) = 10*x + 6. Let v be i(-4). Suppose -771 = -43*h + 46*h. Let d = v - h. Is d a composite number?
False
Let f be (3*2/1)/(-1). Let k 