0 - 18 = -4*x - 4*z. Suppose 12 = -3*h, -h - 560 = -4*c + h. Suppose -x*t + 1190 = c. Is t a composite number?
False
Let x be 3762/14 - (-4)/14. Suppose 2*g - 337 = x. Let w = -82 + g. Is w a composite number?
True
Suppose -65714 = -7*z - 5283. Is z prime?
False
Suppose 4*u + 9805 = 5*j, 0 = -2*j + 2*u - 485 + 4407. Is j a prime number?
False
Let j = 15 + -10. Suppose 22 = -0*i + 4*i + 3*r, 22 = j*i + r. Suppose -56 = i*w - 204. Is w composite?
False
Let r be (2/(-5))/(1/(-100)). Suppose -3*v + r = 2*v. Suppose k - 59 - v = 0. Is k composite?
False
Suppose -28*l = -34*l + 15366. Is l prime?
False
Let b(o) = 33*o. Let q be b(-6). Let k = q + 2019. Is k a prime number?
False
Suppose -7*x + 12*x = 0. Suppose -27 = 5*d - 7, x = -m + d + 8. Suppose -2*v - 602 = -5*v + m*z, 0 = -3*v - 5*z + 557. Is v a composite number?
True
Let o = -5 + 9. Suppose 1830 + 838 = o*n. Is n a composite number?
True
Suppose 45*l = 15*l + 86910. Is l a composite number?
False
Let i(b) = -b**3 + 38*b**2 + 40*b + 32. Is i(21) a composite number?
False
Let s = 34 - 29. Suppose x = s*x - 12. Is 1*3*(x - -10) prime?
False
Suppose -4*c + 16 = 2*m, 6*c - 2 = 11*c - 3*m. Suppose 0 = 3*k - c*a - 1231, 173 = -k - 4*a + 560. Is k prime?
False
Let i(m) = 694*m**3 + 5*m**2 + m - 6. Is i(1) composite?
True
Let u = 880 + -518. Is u prime?
False
Let t(k) = -3*k + 71*k**2 + 3 + 0*k + 4*k. Let z be t(3). Suppose 4*s - z = s. Is s composite?
True
Suppose 0 = -5*n + 4*v + 639415, -n = -5*v - 93120 - 34763. Is n a prime number?
False
Is 3/9 + (-334746)/(-81) prime?
True
Suppose 0 = 5*x - z - 133, 3*x + 2*x = -5*z + 145. Is (-1447)/(-9) + 6/x a composite number?
True
Let z(p) = p - 6. Let f be z(0). Let w = 229 - 233. Is (4/f)/(w/138) a prime number?
True
Let t be 4/6 - (-4)/(-6). Suppose t = -6*h - 2593 + 7447. Is h composite?
False
Suppose -12 = -4*j, -35762 = -4*a + 3*j - 5*j. Is a a prime number?
False
Let c(m) = 5*m**2 - 4*m - 6. Suppose 0 = j - 1. Suppose 44 = 5*v + 3*y, -3*y + j = v - 15. Is c(v) a composite number?
False
Let r be ((-4)/5)/((-34)/(-765)). Is (-2709)/r - (-3)/(-2) a prime number?
True
Suppose 4*t - 10 = 370. Suppose -t = 6*o - 443. Suppose h = -5*q + o, 4*h = h + 2*q + 89. Is h a prime number?
False
Is 1588/5 - -1 - (-50)/125 prime?
False
Let p = 57841 - 34422. Is p a composite number?
True
Suppose -15*z + 153645 = -0*z. Is z prime?
True
Suppose 0 = -3*l + 5*w + 385, 3*l - 413 = -2*w - 0*w. Suppose 3 = -u + 2. Is 1 - u/(3/l) a composite number?
True
Suppose -4186 = -0*i - 2*i. Suppose y - i = 3*j, 0*y - 4*y + 4*j = -8348. Suppose -4*s + 8*s = y. Is s composite?
False
Let g be 4/6*(-18)/(-4). Suppose 5*c - a - 19 + 4 = 0, -16 = 2*c + 4*a. Suppose c*j - j = -g*y + 50, 2*j + y = 115. Is j composite?
False
Suppose -f - 1 = 0, -4*t + 7 = 2*f - 11. Suppose t*n - l = -0*l + 7401, -2*n + 2954 = -2*l. Is n a composite number?
False
Let r = -759 + -56. Let v = 158 - r. Is v a composite number?
True
Let s = 55 - 52. Suppose s*v - 134 = 3*y + 811, -3*y + 969 = 3*v. Is v composite?
True
Let t(s) = -s**3 + 24*s**2 - 8*s - 23. Let w be t(16). Suppose 261 = -4*g + w. Is g composite?
False
Let a(w) be the first derivative of 179*w**4/4 - w**3/3 - w**2/2 + w - 1. Suppose -20*g = -19*g - 1. Is a(g) composite?
True
Let b be -14 + 11 + (-1 - -6). Is 1838 - b - (-2)/(-2) a composite number?
True
Is (-2833864)/176*(-2)/1 a composite number?
False
Suppose -3*k = 8*k - 2585. Is k a composite number?
True
Let g = 20 + -12. Suppose 2 = -2*f + g. Suppose -x - 34 = -f*x + 4*m, -3*m + 101 = 4*x. Is x a composite number?
False
Let v(u) = -33*u**3 + 3*u**2 + u - 4. Is v(-3) prime?
True
Suppose -4*r = 3*a + 1476, -6*a - 2*r - 1476 = -3*a. Is 2/(-2)*a/6 a composite number?
True
Let s(w) = -622*w + 77. Is s(-33) a prime number?
False
Is -1 - 4 - (14 - 1458) prime?
True
Let c(y) = -3*y - 3. Let x be c(5). Let h = 20 + x. Let l(z) = 243*z - 5. Is l(h) a prime number?
False
Suppose 6*s - 34849 = -3*u + 4*s, -s = 4*u - 46472. Suppose 3998 = 23*i - u. Is i prime?
False
Let p be (-6)/(-99)*-3 + (-114)/(-22). Suppose 4*w = -3*g + 3520, -p*w - 4*g = -6*w + 861. Is w composite?
False
Suppose -a + 9*a - 128 = 0. Suppose 334 - a = 2*i. Is i prime?
False
Let i = 25 + -42. Let j = -13 - i. Is 142*(6/3)/j a composite number?
False
Is -30 - -2990 - 6/2 a composite number?
False
Let f = 1043 - 520. Is f a composite number?
False
Let j(f) = -f**3 + 31*f**2 + 199*f + 19. Is j(-6) prime?
True
Let z(n) be the first derivative of -n**4/4 - 20*n**3/3 - 10*n**2 - 22*n + 7. Let g be z(-19). Is -892*1*g/12 prime?
True
Suppose 5*h - 28 = -v, 4*h - 9 = h. Suppose v*c - 301 = 726. Is c composite?
False
Let z = 13 - 9. Suppose 2*g - 1661 = -5*v + 836, 1997 = z*v + g. Is v a composite number?
False
Suppose p + 17963 = 5*x + 403, 0 = x + 4*p - 3491. Is x composite?
False
Suppose -5*j + 5*w = -42795, -2*j + 4*j = -3*w + 17128. Is j a prime number?
False
Let p(d) = 649*d - 14. Is p(1) composite?
True
Let y(f) = -f + 7. Suppose 0 = -3*d - 3, -d - 31 = 4*a - 2*a. Is y(a) a prime number?
False
Is (212/8*1)/((-10)/(-10420)) prime?
False
Let j = 170655 + -110162. Is j a composite number?
False
Suppose 35*a = 39*a + 16. Is -2363*(-2 - 6/a)*2 a composite number?
True
Let a = 544 + -319. Suppose 0 = -7*u + 146 + a. Is u prime?
True
Let a be 177 + -1 + (1 - -1). Suppose 5*i - 5*n + 0*n + 5 = 0, -i = 4*n - 9. Let x = i + a. Is x a prime number?
True
Let u(h) = -122*h + 8. Let a be u(-9). Let c be a/(-3) - (-2)/3. Let i = c - -547. Is i prime?
True
Let w be 4/(-7)*-1*7/2. Is (-586)/(w - 1)*(-7)/2 a prime number?
False
Let p = 33 + -29. Suppose 5*x + 859 = p*a, 1085 = -0*a + 5*a - 4*x. Let f = 33 + a. Is f composite?
True
Let s = -384 + 6233. Is s a prime number?
True
Suppose -5565 = 11*a - 17126. Suppose 3*w = -a + 5674. Is w a prime number?
False
Suppose 4*h = 959 + 9477. Is h prime?
True
Let k be (-6)/9*(-12)/8. Suppose -r - k = -3. Suppose 96 = r*w - 42. Is w composite?
True
Suppose 0 = -9*u - 23279 + 250250. Is u a prime number?
True
Suppose -5*t = -24 - 81. Let y = t - 18. Suppose n = -3*a + 617, 4*a = y*n + 702 + 125. Is a a prime number?
False
Suppose 7*w - 406 = 1911. Let f(n) = -n**2 + 328. Let y be f(0). Suppose 0 = -5*o - 2*j + w, -3*j = 5*o - 2*j - y. Is o prime?
False
Let g(u) be the third derivative of 125*u**5/12 - 5*u**4/24 + u**3/2 + 30*u**2. Is g(1) a prime number?
False
Let a(l) = -98*l**3 + 3*l**2 - 13*l - 13. Is a(-6) prime?
True
Let m be 1/3*13/((-104)/24). Is 0 + m + (1624 - -14) a composite number?
False
Let u be 43/(-15) + 36/(-270). Is u + (21536/4)/1 prime?
True
Let z be (4/(-12) - (-902)/24)*28. Suppose z = 2*w + 85. Is w prime?
True
Suppose -4*y - 12 = -2*a + 4*a, 16 = -2*a - 5*y. Is (1296/8)/a - (1 + -3) a composite number?
False
Let v = -23500 + 65657. Is v prime?
True
Suppose 3*w = 5*a, 4*a = 3*a + w - 2. Suppose -b + 2*b = a. Suppose -b*s = -852 + 81. Is s a prime number?
True
Is 28 + -28 + (0 - -5779) a composite number?
False
Let k = -21 + 9. Let j be ((-844)/6)/(4/k). Suppose -t = 5*g - j, -186 = -4*g - 2*t + 148. Is g prime?
False
Let y = 187762 - 122001. Is y composite?
False
Suppose 0 = 5*j + 4*g - 343105, 2*j + 5*g - 61676 = 75583. Is j prime?
False
Let x(s) = 2*s**2 - 4*s - 1. Let z be x(3). Suppose -z*q + 178 = 5*v - 2482, -4*v = q - 547. Is q a composite number?
True
Let g = 22 + 0. Suppose -g*c = -17*c - 5310. Let m = c + -667. Is m a prime number?
False
Let a(k) = -3*k + 9. Let s be a(12). Let z = s - -22. Is 31/2*(7 + z) composite?
False
Suppose -5*x + 2*a = -10830, x + 3*a = -4*x + 10805. Let m = x + -785. Is m composite?
True
Is 3970/4*(-3)/(90/(-12)) a composite number?
False
Let i(u) = u**2 + 4*u - 1. Let p be i(-5). Suppose g - 416 = 5*v - 3280, 0 = g + p. Suppose 0*d - v = -4*c + 4*d, 0 = 4*d - 8. Is c composite?
True
Let w be (-4)/18 + 166/18 + 2. Suppose -27574 + 3341 = -w*g. Is g prime?
True
Let o(d) = -4*d + 7*d - 25*d**3 + 2*d**2 + 4*d + 137*d**3. Let b be o(5). Is b/25 - 4/10 a prime number?
True
Suppose -3*f = 263 + 82. Let l = 305 + f. Suppose -n = -1, -4*z - 5*n + 51 + l = 0. Is z prime?
True
Suppose -5*h + 0*p - p - 53 = 0, -5*h = 2*p + 56. Let c = -12 - h. Is c/(-9) + (-507)/(-27) a prime number?
True
Let q = 381 + -265. Let s = 66 - q. Let w = s + 127. Is w a composite number?
Tr