pose 5*u + 5*h - 6*h - 14055 = 0, -4*u + 11244 = -h. Is u a composite number?
True
Suppose 46739 = 15*p - 31216. Is p a prime number?
True
Is 376/28 - 14 - 7890/(-14) a composite number?
False
Suppose 4*g + 317 + 42699 = 4*z, 0 = 5*z + 4*g - 53743. Is z composite?
True
Suppose -l + 3*p - 4 = 0, 5*l + 6*p - 10*p = 13. Suppose -3*d + 8*d + 7115 = l*v, 3*v = -5*d + 4229. Is v a composite number?
True
Let y = -34 + 58. Suppose 4*c - 2*c = y. Let g(r) = 7*r + 10. Is g(c) composite?
True
Let h(r) = 553*r**2 + r - 39. Is h(-5) a composite number?
False
Suppose -2*d + 27 = 3*b, -5*d + 39 = -0*d - 2*b. Let y(z) = -z**2 + z**2 + 3*z**2 - d*z + 11 - 4. Is y(8) a prime number?
True
Let l be (2 - -2) + (-2 - 2). Suppose 2*t - 148 - 22 = l. Is t prime?
False
Let w = -570 + 1193. Is w prime?
False
Suppose 12*x - 551779 = -7*x. Is x composite?
True
Let z(t) = -t**2 - 7*t - 16. Let o be z(-4). Let x(g) = 11*g**2 - 3*g - 19. Is x(o) composite?
True
Let n(c) = -2*c - 2. Let a be n(-2). Let m be (7 - 3) + (-130)/a. Let w = -24 - m. Is w a prime number?
True
Suppose -72*g + 71*g = -5507. Is g a prime number?
True
Is (-20 + 245636/16)/((-3)/(-4)) prime?
True
Let k be ((-3)/10*-12)/((-4)/(-10)). Let t(g) = -g**3 + 21*g**2 - g - 4. Is t(k) prime?
False
Suppose -4*z + 849 + 211 = 0. Let k(g) = 6*g + 70. Let h be k(-14). Let q = h + z. Is q a composite number?
False
Suppose i + 2*w - 36743 = 0, -i - w + 36755 = -3*w. Is i prime?
True
Let c(v) = -407*v**3 + 4*v**2 + 15*v + 35. Is c(-3) composite?
True
Suppose 3*v - f = -3*f - 8, 0 = -4*v + 4*f + 16. Let s = v + 2. Suppose -s*p = -53 - 537. Is p composite?
True
Suppose 15*u = 13*u - 24. Suppose -5*y = -4*y + 1. Let s = y - u. Is s prime?
True
Suppose 5*f - 99 = 17846. Is f composite?
True
Suppose 0 = 6*t - 7*t - 170. Is (3706/t)/(0 - (-1)/(-5)) prime?
True
Let f = 0 - -4. Let h(b) = b**3 + b**2 - b + 1. Let k be h(0). Suppose -f*n + 5*o = -255, k = 5*o - 4. Is n a composite number?
True
Suppose -4*f + 3*p + p = 8, 0 = 2*f - p + 8. Is (2/f)/(3/(-999)) prime?
False
Let g = 19236 - 10037. Is g prime?
True
Let g be (-37)/((-3)/(36/(-4))). Let o be 89*g - (2 + 1). Is 6/(-21) + o/(-42) a composite number?
True
Let p be (-3*2)/(2 + -1). Let l be 0 + 3/((-9)/p). Suppose l*u = 34 + 348. Is u composite?
False
Is (12970 - 29)*1/1 a composite number?
False
Suppose -3*j - 207310 = -8*j - 5*v, 4*v + 165840 = 4*j. Is j a composite number?
True
Let r(x) = x**3 - x**2 - x + 1. Let w(g) = -g + 1. Let d(u) = 35*u**3 - 3*u**2. Let o(m) = d(m) + 2*w(m). Let f(n) = -o(n) + 3*r(n). Is f(-2) a prime number?
False
Suppose 3 = 3*w, 12802 = 4*x - 5*w - 49037. Is x prime?
True
Let b = 276 + -162. Suppose 5*i - i + 261 = 5*m, 2*m - b = 4*i. Is m prime?
False
Suppose 0 = 7*g + 2*g - 1683. Is g a prime number?
False
Let q = -90 + 667. Let j = 13 - 5. Suppose -4*x - 3*v + q = -955, 2*v = -j. Is x a prime number?
False
Let q(r) = 31*r**2 + 2*r - 7. Is q(-10) composite?
True
Suppose -x = 1, -2102 = -2*l + 5*x + 8197. Is l prime?
True
Suppose 6 = z + 3. Let q(g) = -g**2 - 5 + 2 - g + g**z - g**2. Is q(5) composite?
False
Let d(t) = -t - 1. Let x be d(-3). Let a(j) = 3*j + 12. Let k be a(7). Suppose 0 = -u + r + k, -x*r + 6*r = -2*u + 78. Is u prime?
False
Suppose 4*i + 3*x + 4 = 0, 4*i = -0*i + x + 12. Let h be (3 - i) + -4 + 6. Suppose h*j - 248 - 145 = 0. Is j a prime number?
True
Is 1465 + 2 - (-36)/(-6) a composite number?
True
Suppose -16 = 9*c - 8*c. Is c/(-24)*(-26397)/(-6) composite?
True
Let v = 1 - -1. Suppose f + 4 = 9. Suppose f*d - 3*d = -3*l + 169, -v*d - 4*l = -166. Is d a prime number?
True
Let g(h) = h**3 + 44*h**2 - 53*h + 107. Is g(-45) a prime number?
True
Let c(n) = -n**3 - 7*n**2 + 3*n - 11. Let y(j) = 29*j**3 + j**2. Let v be y(1). Suppose -v = -0*o + 3*o. Is c(o) prime?
False
Let h(o) = -o**3 + o**2 + 14*o + 1. Let b be h(-13). Let k = b - 824. Is k a prime number?
True
Let g = 55 - 21. Suppose 0 = 3*j + 5*d - 88, -2*d - g = -j + d. Is j prime?
True
Suppose 4*b = 2*q + 10, -5*q + 4*b = -3 - 2. Suppose q*p - 3*p = 2798. Is p a composite number?
False
Let v(g) = -7*g**3 - 11*g**2 - 18*g + 14. Let j be v(-7). Suppose 407 - j = -5*k. Is k a composite number?
True
Let g = 9 + -8. Let z be (-6404)/(-6) - g/3. Suppose z - 322 = 5*k. Is k a composite number?
False
Let j(d) = d**2 - d. Let r(y) = 14*y**2 - 1 + y - 28*y**2 - 2*y. Let t(q) = -j(q) - r(q). Is t(-2) a composite number?
True
Let p(y) = -649*y**3 - y**2 - 1. Let g(w) = 1299*w**3 + 2*w**2 + 3. Let v(n) = -2*g(n) - 5*p(n). Let h be v(1). Is h/3 + (-2)/3 composite?
True
Let j(l) = -1 + 5*l**3 - 2*l**2 - 4*l**3 - 1. Let f be j(3). Suppose 5*n = f*n - 514. Is n a prime number?
True
Let b(t) = -2*t**3 + 2*t**2 - 2*t - 3. Let k(z) = z - 12. Let a be k(10). Let p be b(a). Is 2142/10 + 20/p a composite number?
True
Is 76454/77 - 2/(-22) composite?
True
Suppose 3*m + 2*m = -2*x + 30, 2*x - 3*m + 2 = 0. Suppose 15 = 4*s - x. Suppose -4512 = -s*y - 5*z - 1587, -10 = -5*z. Is y composite?
True
Is (0 + 3 - 325006/(-17))*1 a composite number?
False
Let x be (8/28)/(0 - (-1)/7). Suppose -3*p - 1686 = -3*d, 1676 = x*d + d - p. Is d composite?
False
Suppose 5*v = -1 + 71. Is (-64)/112 - (-17998)/v a composite number?
True
Let a(z) = z**3 + 5*z**2 + 5*z - 2. Let g be a(-4). Let f = 0 - g. Suppose -9*v = -f*v - 561. Is v composite?
True
Suppose 0 = -3*c + 2*c + 4*u + 467, 0 = 5*u. Is c prime?
True
Suppose -j + 1 + 6 = -p, 0 = -3*j - 5*p - 19. Suppose j*v + 209 = 1471. Is v prime?
True
Let c(o) = 5*o**2 - 3*o + 18. Let r(f) = -f**2 + f - 1. Let i(y) = -c(y) - 6*r(y). Let u be i(5). Is (9 + 3)*u/(-4) a prime number?
False
Let d(j) = -j**2 + 4. Let h be d(-2). Suppose 4*q + 2*w - 4558 = -h*q, q + 4*w = 1129. Is q prime?
False
Let w be 179 - (10/(-5) - (0 + 0)). Suppose -2 + 32 = 5*g. Let f = g + w. Is f composite?
True
Let f(c) = 118*c - 3. Let p be f(-3). Suppose y + 616 = 2*y. Let g = y + p. Is g composite?
True
Suppose -3*m - 1 = f, 2*f - 3*m = -6*m + 1. Suppose 4*t = f*i - 3*i + 1113, -3*t + 2*i + 843 = 0. Suppose -t = -2*v - v. Is v a composite number?
True
Let z = 2041 + 3940. Is z composite?
False
Let o be 52/(-13) + (5 - 0). Is o + 6976/11 - (-74)/(-407) composite?
True
Let q = 390 + -7. Suppose -w + q = -624. Is w a composite number?
True
Suppose 3*l = -4*l + 455035. Is l prime?
False
Is (-118)/(-767) + 105909/13 a composite number?
False
Let n(j) = 2*j**3 - 14*j**2 + 11*j - 10. Let m be -6 - (-2 - 2)*1. Let s = m + 11. Is n(s) composite?
True
Suppose -x + 0*x = -4*d - 103, -4*d - 218 = -2*x. Suppose f = x + 622. Is f prime?
False
Let w be 344/(-72) + 2/(-9). Let a(y) = -y**2 - 4*y + 8. Let n be a(w). Suppose n*b = -3*q + q + 722, -b = -5*q + 1788. Is q composite?
True
Suppose 61*b - 51*b - 3590 = 0. Is b a prime number?
True
Is (-27)/(-18)*15852/9 a composite number?
True
Let y(k) = 80*k - 249. Is y(43) a prime number?
True
Suppose -4*o - 2 = -2*o, -3*t - o + 3338 = 0. Suppose 1179 + t = 2*c + 5*m, -3*c + 3443 = 5*m. Is c a prime number?
True
Let n = 308 - -2469. Is n composite?
False
Let g be ((-96)/2 + 1)*1. Suppose -44*m + 2200 = -22*m. Let w = g + m. Is w a composite number?
False
Suppose -h = 3*v + 11, -v + 2*h - 5 = 1. Let i(n) = -8*n**3 + n**2 - 2*n + 5. Is i(v) prime?
True
Let k(l) = -8*l + 20. Let s be k(6). Let i = s + 41. Is i prime?
True
Is (-974)/(((-312)/(-60))/(-13)) a prime number?
False
Suppose 6*c = 25503 + 18279. Is c a composite number?
False
Is (-1)/(-2*(-5)/(-24130)) a prime number?
False
Suppose 2*q - 9006 = -4*q. Let v = -1047 + q. Let w = -293 + v. Is w prime?
False
Let w = 2703 - 1657. Suppose -4*j + 2540 = 5*r, 3*j = 4*r - w - 1017. Let c = r - 43. Is c a composite number?
True
Let d(x) = x**3 - x**2 - 14*x - 45. Is d(13) prime?
True
Let b be -1 - (4 - 3)*-1. Suppose 35 = t - b. Is (-13*(3 + t))/(-2) prime?
False
Is -1 + 7 - (-103328)/32 a prime number?
False
Suppose -l = -4, -5*l = 5*n - 22 - 13. Let j be (354361/279 - (-2)/(-18)) + -4. Is j/(-8)*(-4)/n prime?
True
Suppose 4*u + u = -20. Is (-9)/(-1)*((-3768)/18)/u a composite number?
True
Let b(r) = -9*r - 4*r + 13*r - 10*r + 27. Is b(-19) a composite number?
True
Suppose -4*n - 1 = -9. Let p be (-16)/20*(-5)/n. Suppose 36 = p*l + 2*l. Is l a composite number?
True
Let u(g) = 681*g - 322. Is u(39) prime?
True