t h = o + -562. Is h composite?
False
Suppose 0 = -13*y + 180673 + 229074. Is y composite?
True
Suppose -k + 5*k = -27208. Let u = k - -10595. Is u prime?
True
Suppose 207*o - 334*o = -161*o + 8934826. Is o prime?
False
Suppose -5*p + 5439 = -42131. Let t = p - 1416. Is t composite?
True
Suppose 4*c + 20 = 2*j, 6*c + 30 = 5*j + c. Suppose j*v - 5507 = -3*n, -n + 667 = 3*v - 1171. Is n prime?
False
Suppose 4*m - 12 = 0, 0 = 3*x - 5*m - 4230 + 417. Suppose 0*j + x = r - j, 5*r - 6375 = 4*j. Is r prime?
False
Suppose 0 = -62*q + 55*q - 63. Let h(w) = -434*w - 44. Is h(q) prime?
False
Let k = -198720 - -448823. Is k composite?
True
Suppose 10 = 2*d, -2*h - 2 = d - 3*d. Suppose 4*y + 10*w = 7*w + 7067, -5*w = y - 1788. Suppose -3*p - 4*s = -3*s - y, 0 = -p - h*s + 595. Is p a prime number?
True
Suppose 13*l + 5*l - 84474 = 0. Suppose -3*z - 2*c + l = 0, 7*z - 4*z - 3*c - 4668 = 0. Is z a composite number?
True
Let c(u) = u**3 - 8*u**2 - 7*u - 13. Let z be c(9). Suppose 0 = z*r - 7414 + 79. Suppose -2*i - 2*q + 479 = -i, 3*i - 4*q - r = 0. Is i composite?
True
Suppose 0 = -4*l + 16, 4*l = 2*d + 11 - 1. Suppose -r + d*u = -6769 + 1637, -2*r + 2*u + 10276 = 0. Is r prime?
False
Is (-17 - (-22 + -4)) + 247848 a prime number?
False
Let a(y) = 92*y**3 + 2*y**2 + 7*y - 4. Let w(n) = -4*n + 79. Let s be w(19). Is a(s) a prime number?
False
Is (-166)/83 + (-1 - -63821) + (-7)/1 a prime number?
False
Suppose 5*m = -0*n - 4*n + 996, -3*n - m = -758. Is n*(-3 - 3*(-8)/6) composite?
True
Let x(d) = -15*d**3 + 196*d**2 - 13*d + 1. Let w be x(13). Let h = 3 + -7. Is w*(-4)/h*503 composite?
False
Suppose -371892 - 926061 = -w - 5*g, 0 = 4*w - 5*g - 5192012. Is w composite?
False
Suppose 14 = 5*r + g, -16*r + 11*r - 2*g = -18. Suppose -3*w - 3*l + 11640 = 0, -r*w - l + 6975 = -786. Is w prime?
True
Suppose -4*l + 2626571 = 1926683 - 2806484. Is l prime?
True
Let c be -2 + -5 + 10 + -4. Is (-7 + -4 + -6803)*c/2 composite?
False
Is ((-62969)/(-2))/(-61*10/68 - -9) prime?
False
Suppose -5*d - 4*q = -6*d + 398641, 0 = d - 6*q - 398651. Is d a composite number?
False
Suppose 10 = 3*z - 5, -3*y - 3*z = -3. Let v be y + (-2 + 1117 - 2). Suppose -5*d - 4 + v = 0. Is d composite?
True
Suppose 48391 = r + 4*o, 3*r = 8*r - 6*o - 242059. Is r prime?
True
Suppose -2*r - 30 = -4*r - 2*w, 3*r + 4*w = 48. Let n(i) = 72*i + 18. Let h be n(r). Let t = h + 2225. Is t a composite number?
True
Let u = -2684 + 46795. Is u prime?
True
Let k = -36 + 46. Suppose -8*g = -k*g - 734. Let j = g - -534. Is j a prime number?
True
Let z be -7*(-4 - (157 + -2)). Let a = -480 + z. Let f = 1346 - a. Is f prime?
False
Let k(f) = -10*f - 145. Let i be k(-25). Suppose -i*n = -107*n + 4406. Is n composite?
False
Suppose 0 = 13*j - 11*j - 10. Suppose -3*g = -6 - 9, j*c - 3*g = 15170. Is c composite?
False
Let o be -1 - (-7 - -2) - -34. Suppose -o = -4*s + 2*w, -5*w + 45 = 5*s - 10. Suppose 0 = -v - a + 1758, 4*v - s*a - 7040 = -6*a. Is v composite?
False
Let m be 1815/4 + 26/104. Is (33/6)/(1/m) prime?
False
Suppose 54*v - 3*q = 57*v - 82290, -4*v - 5*q = -109723. Is v prime?
True
Let s = 22697 - 15341. Let k = s - 3929. Is k a prime number?
False
Let n = -590 + 1452. Is n a prime number?
False
Let l = -19912 + 30959. Is l a composite number?
False
Let s be 18/(-33) + 1092/308. Suppose s*j = 4*m - 17555, -m = 4*m - 2*j - 21949. Is m prime?
True
Suppose 632*z - 650*z + 3227706 = 0. Is z composite?
False
Suppose 7*o - 144 = -2*o. Suppose -2*d = -20 + o. Suppose 2*f - c - 2*c - 139 = 0, -4*f - d*c = -238. Is f a prime number?
False
Let j be (-15)/6*(-24)/15. Let a be j/6 - 179816/21. Let g = -5155 - a. Is g a prime number?
True
Suppose -5*r - 15500 = 2*c, 5*r - 17347 = 5*c + 21403. Let z = 6213 - c. Is z composite?
False
Let n be 118/(-2) - (14 - 13). Let l be ((-3485)/3 + 1)/(n/90). Let u = -1022 + l. Is u composite?
False
Suppose x + 3*v = -2, -3 = 3*v - 6. Let b(i) = -2*i**3 + 2*i**2 + 20*i - 9. Is b(x) a prime number?
True
Let b(h) = 2*h**2 - 2*h - 8. Let z be b(-3). Let p(d) = 7*d**2 + 14*d - 25. Let g be p(z). Suppose g = j + 474. Is j a prime number?
False
Suppose 3*h - 1609 - 5441 = -4*x, 2*x - 3516 = 3*h. Suppose -2*p + p + n + x = 0, -3*p - 4*n + 5269 = 0. Is p prime?
True
Suppose 307*z - 198*z = 7078133. Is z a prime number?
True
Let a(x) = -3125*x**3 - 2*x**2 - 24*x - 37. Is a(-2) prime?
False
Let p(h) = 4207*h - 2344. Is p(14) prime?
False
Is 11/(-1 + 2)*(-20257)/(-47) a composite number?
True
Suppose b - 29455 = -2*c, -16*c + 11*c = 2*b - 58917. Is b a composite number?
True
Suppose -34*j - 48 = -18*j. Is (1 - j)/(-2) - 73*-97 a prime number?
True
Let q(k) = 97*k - 102. Suppose -4*f + 37 - 1 = 0. Is q(f) a composite number?
True
Is -7*(-1)/(-3)*-73641 composite?
True
Suppose -l - 3*f + 15 = 0, 3*l + 7*f - 6*f = 5. Suppose -34620 = -4*g - 2*k, 0*g - 2*g - 5*k + 17318 = l. Is g a prime number?
False
Let p(k) = 25*k**3 - 6*k**2 - 12*k + 13. Suppose 2*d = -2*x + 14, 4*d - 5*d + 39 = 5*x. Is p(x) prime?
False
Suppose 7*b - 3*b + a = 73, -3*b = -3*a - 66. Let s(f) = 494*f + 147. Is s(b) prime?
True
Let m(q) = q**3 + 18*q**2 + 16*q - 19. Let j be m(-17). Let i be 6/((-6)/j) + 1. Suppose -685 = -3*w + r + 1835, i*w = -2*r + 2511. Is w a composite number?
False
Let z be 127/5 - (-10)/(-25). Suppose 22*b = z*b - 16545. Is b a prime number?
False
Let z be ((-6)/1)/(15/20). Let m be z/(-12) + (-385)/(-3). Suppose -109 = -2*o + m. Is o composite?
True
Let q = -9607 + 25934. Is q prime?
False
Let d = 104156 + 172422. Is d composite?
True
Let y(g) = -1141*g + 458. Is y(-29) composite?
False
Let o be -8 + 3 - -3*(-1774)/2. Let q(y) = -9*y**3 + 2*y**2 + 2*y + 1. Let a be q(-2). Is 44/a + o/(-14) a composite number?
False
Suppose -2*i - 336040 = -4*l, -47*l + 5*i = -54*l + 588087. Is l a composite number?
False
Let s(c) = -3143*c - 111. Let n be s(4). Let d = -6336 - n. Is d a prime number?
False
Let l be 2/4 - (-25)/10. Suppose -3*s - 2*v - 1 = 0, 3*s = -2*v + l*v - 13. Is (11/s)/((-24)/9864) a composite number?
True
Let t(d) = 82*d**3 + d**2 + 1. Let l(o) = o**2. Let n(a) = a**3 + 5*a**2 + a + 1. Let u(c) = -4*l(c) + n(c). Let k(r) = t(r) - 2*u(r). Is k(2) a prime number?
True
Let x = 5647 - -9076. Let a = x + -8334. Is a composite?
False
Suppose -2*u + 1189 = -6*w + 3*w, 4*w + 2*u + 1576 = 0. Let y(l) = -9*l**3 + 5*l**2 - 7*l - 3. Let v be y(-5). Let a = w + v. Is a a composite number?
False
Let m = -705 + 3300. Suppose -m = 33*q - 36*q. Is q a prime number?
False
Let p = -40132 - -63591. Is p prime?
True
Suppose 5*m = -5*i + 3497985, -3*i - 99*m + 2098695 = -108*m. Is i composite?
True
Let b(v) = 4074 - 8136 + 4063 + 303*v**2. Let o(t) = 2*t. Let n be o(-1). Is b(n) a prime number?
True
Suppose 3*h - 61818 = -5*z, 101506 = 5*h - 5*z - 1564. Is h composite?
False
Let x be (-2)/(-8) - 504/(-32). Let y = x - 16. Suppose -6*a - 1408 + 6394 = y. Is a a prime number?
False
Let f(l) be the first derivative of 19*l**3/3 + 28*l**2 + 6*l - 208. Is f(-10) a composite number?
True
Suppose -20 = 17*n - 12*n, -79989 = -3*q + 3*n. Is q a composite number?
True
Let v be ((-2)/4*5)/(6/(-12)). Is v/4 + -1 + (-180150)/(-200) prime?
False
Suppose 18*d = 5*y - 76313, 0 = 5*d - 10 + 15. Is y composite?
False
Suppose 3*g = -2*j + 29940, 0 = -2*g - j - 550 + 20511. Let y = -7023 + g. Is y prime?
False
Let z be 2 - (-1 - -1 - -7). Let o(g) be the second derivative of -g**5/20 - g**4/3 + 6*g**2 - 2*g + 1. Is o(z) prime?
True
Let a(t) = 4208*t + 91. Let i(j) = 2102*j + 45. Let k(l) = -6*a(l) + 11*i(l). Is k(-2) prime?
True
Is (-2681744)/(-28) - (-126)/294 a prime number?
False
Let k(u) = -114850*u + 2295. Is k(-5) a prime number?
False
Let f(t) = -46894*t + 2477. Is f(-5) a composite number?
False
Suppose -35*j - 525 - 26401 = -776451. Is j a composite number?
True
Let g = -1359 + 2431. Suppose -28*w = -24*w - g. Let b = 591 - w. Is b a prime number?
False
Let a(f) = 296*f**2 + 111*f + 59. Is a(-20) prime?
True
Suppose -4*s + 372 = -3*d, 2*d - 7*d = 2*s - 186. Let m = s + -159. Is (-28171)/m - 2/(-12) a prime number?
False
Let w = -78813 - -115134. Is w a prime number?
False
Suppose -2*o + 11370 = -4*q, 2*q + 15520 = 3*o - 1555. Suppose 4*i - k - 4556 = 0, 5*i + 6*k - 10*k - o = 0. Is i a prime number?
False
Let j(f) = 3*f**2 + 