4*u, -4*p + u + b + 1 = 0. Suppose -d = -2*n + 3814, -p*d - 815 - 1092 = -n. Is n composite?
False
Suppose 232*o = -13*o + 731278956 - 140102531. Is o a prime number?
False
Let i = 3382 + -2143. Suppose -2*z + 3*a - i + 5098 = 0, -z + 5*a + 1919 = 0. Is z prime?
False
Suppose 3*w + 17934 = -2*n, 6*w - 5*w = -4*n - 5988. Let r = -2027 - w. Is r a composite number?
True
Suppose 17*w + 270 = 22*w. Suppose -18 = -12*x - w. Is (-1948)/6*((-9)/(-6) + x) prime?
True
Let j = -47528 + 255595. Is j composite?
False
Suppose 2 - 2 = 5*f. Suppose f = 5*v + 6*v + 83446. Is v/(-4)*(-13 + 15) a prime number?
True
Let h be -4*-1*(-3)/(-6). Let z(x) = -x + 7. Let s be z(h). Suppose 3*k = 7*k + s*u - 864, -4*u = -k + 195. Is k composite?
False
Suppose -4*r - 12 = 3*b, -5*r = -3*b + 4 + 11. Is 2/(((-10444)/(-5221) - b) + -2) a prime number?
False
Let x(u) = -1306*u + 1620. Is x(-19) a composite number?
True
Let t = 306 + -304. Suppose 16548 = 4*a - t*s, -3*a = s + 1990 - 14411. Is a prime?
True
Let r(b) = 2*b**3 - 39*b**2 - 56*b + 18. Let w be r(30). Let o = -7825 + w. Is o prime?
True
Let o(q) = 846*q - 461. Is o(18) a prime number?
True
Let m(q) = 299*q**3 + 4*q**2 + 47*q - 169. Is m(9) prime?
True
Let q be (16/(-6) - -2)*-3. Suppose -q*x - 2*f = -4658, 3*x + x = 5*f + 9352. Is x composite?
False
Is -6 + 15499 + -34 + 20 composite?
True
Suppose 0 = -21*y + 136*y - 256132 - 10783. Is y a prime number?
False
Let t be (-419)/(15/14 - 1). Let y be t/(-1)*11/22. Suppose 0 = 5*z + 2*z - y. Is z prime?
True
Let n(u) = 3*u**3 - 12*u**2 + 5*u - 17. Let j be n(4). Suppose 3*x - 2*r = 3163 - 938, j*r = -5*x + 3740. Is x prime?
False
Suppose -113*z + 109*z = -m - 63241, 3*m + 47424 = 3*z. Is z a prime number?
False
Let o(z) = -3*z**2 - 12*z + 61. Let k be o(-7). Is (-2*k/4 - -3) + 11655 prime?
False
Let z(w) = w**2 + 14*w - 10. Let d be z(-15). Suppose 3*r - 2*f = -r + 1008, 5*f = -d*r + 1245. Is r prime?
True
Suppose b = -5*v - 6, -b + 0*v = 2*v. Let w be 2/(-4) - (6/b + -2). Suppose w*a = -4*a + 1324. Is a a prime number?
True
Suppose 7*r - 280599 = -13745 - 1197. Is r prime?
True
Suppose -4*a - 3*m = -2322302, 0 = -4*a - 5*m + 547408 + 1774906. Is a a prime number?
False
Let h(s) = -s**3 - 9*s**2 - 19*s - 35. Let i be h(-7). Suppose 11*f - 111372 - 50779 = i. Is f a composite number?
False
Suppose 2*n - 33917 = 3*t + 64826, 0 = 2*t + 10. Suppose -5*w + 5141 = -n. Is w a prime number?
False
Let v = -1275 - -4966. Is v prime?
True
Let x be 1 - -214 - (-5 + 9)/2. Suppose 216*r - 9 = x*r. Is 22928*r/18 + (-1)/3 composite?
False
Let a(n) = 12*n**2 - 6*n + 13. Let f be a(-14). Suppose 2*b - 2386 = 5*c, f + 1130 = 3*b - c. Is b a prime number?
True
Let k be ((-407277)/708)/((-3)/(-4)). Let n be 1 - 2/(4/(-2146)). Let o = n + k. Is o prime?
True
Let h(q) = -1731*q + 3421. Is h(-30) composite?
False
Let a = 252 - 250. Suppose -3*t + a*i + 11531 = -3*i, 5*t - 4*i - 19227 = 0. Is t a prime number?
True
Suppose -4*u + 11 = -9. Suppose 0 = c - u, -2*c + 39 = 2*s + 9. Suppose -s*p = -6*p - 1076. Is p a prime number?
True
Suppose -4*d + 235323 + 282307 = 2*k, 0 = -k + 2*d + 258791. Is k a prime number?
True
Let y = 3646 - 2212. Suppose -q = -5*n - y, 0 = -18*q + 14*q + 3*n + 5753. Is q prime?
True
Let n(a) be the first derivative of -a**4/4 + 13*a**3/3 - 9*a**2/2 + 15*a - 19. Let p be n(11). Suppose 12*s + p = 14*s. Is s prime?
True
Suppose 91*m = 89*m + 5*u + 41732, 0 = -m - 5*u + 20821. Is m composite?
True
Let l(i) = -4*i + 99. Let p(g) = -g + 1. Let u(h) = l(h) - 2*p(h). Let j be u(0). Let o = j - -26. Is o prime?
False
Let h(b) = -3*b**3 - 3*b**2 - 4. Let a be h(-2). Let v be 4/26 + a/(-52)*1. Suppose -5*t = -2*q + 1314, v*q + t - 643 = -q. Is q a composite number?
False
Let g(c) = -37*c**2 - c - 32. Let t be g(-22). Let n = -3841 - t. Is n a prime number?
False
Let j(f) = -119*f + 13. Suppose -5*x = x - 36. Let m be j(x). Is m*2*1*3/(-6) a prime number?
True
Let o(r) = -53096*r**3 - 5*r**2 + 44*r + 175. Is o(-4) a prime number?
True
Suppose 2*b - 23653 = -3*s, 23647 = b + b - 3*s. Let a = 373 - 370. Suppose 0 = 4*u - y - b, 2*y + a*y = -4*u + 11843. Is u composite?
False
Let f = -78 - -72. Let p be (-5)/(45/(-174)) + (-4)/f. Is (0 + 9236/p)*(-10)/(-2) a prime number?
True
Let u(o) = 10*o**2 + 16*o - 31. Suppose -2*i + a - 9 = 3, 5*i + 28 = 2*a. Let r(w) = 2*w - 2. Let b be r(i). Is u(b) composite?
False
Let v = -47389 - -120135. Is v a composite number?
True
Let d = 9744 + -5794. Suppose 86*w - 767 = 85*w + 4*h, -5*w - 3*h + d = 0. Is w a composite number?
False
Let x = -223765 + 588846. Is x a prime number?
False
Let z(j) = -2*j**2 - 1. Let n(s) = 14*s**2 - 28*s + 116. Let b(l) = n(l) + 3*z(l). Is b(-48) a prime number?
True
Let v be (-8)/2 - (0/(-1))/3. Is 3351*((-55)/15 - v) a composite number?
False
Is (3 + 680030/(-30))/(12/(-18)) a composite number?
False
Suppose 6*j = 2*j - 5*c + 57807, -j - c + 14452 = 0. Is j a composite number?
True
Let x = -22941 - -22943. Suppose -t + 1 = -3. Suppose 0 = -t*u + 4 + 12, 0 = -4*v - x*u + 6292. Is v a prime number?
True
Suppose 5*i + 395 = -5*n + 1140, n = 3*i - 439. Let f = -147 + i. Suppose f = 9*x - 11*x + 15818. Is x prime?
False
Is (-7)/1 - (762/(-12))/(8/19040) prime?
False
Suppose -4*q + 8 = 0, 21*r - 66691 = 18*r - 2*q. Is r a prime number?
True
Suppose -5*b = -4*y - 127012, -2*b + 6*b = 2*y + 63500. Let v = y + 66743. Is v composite?
True
Suppose -3 = -f, 0*m - 5*m - 2*f + 21 = 0. Suppose -5*a + 4*s = -6793, -4*a + m*a - 3*s = -1351. Is a a prime number?
False
Suppose -3*t - 2*z + 3756787 = 0, 0 = -2*t + 7*t + 5*z - 6261325. Is t composite?
True
Let w(n) = n**3 - 3*n**2 + 2*n + 16255. Let r be w(0). Suppose 2*i = 7*i - r. Is i prime?
True
Let n(f) = f + 5. Let a be n(-3). Let q(g) = -3*g**a + 2*g + 0*g + 3 + 6 - g. Is q(0) prime?
False
Let c be 4*(-2)/(-4) + -4. Suppose 0 = -5*u + v + 9008, 8*u - 3*v - 5400 = 5*u. Is (-1 - (-1 + (u - 0)))/c a composite number?
True
Let a = -9 - -1. Let p(i) = -i**3 + 8*i**2 - 7*i - 11. Is p(a) a prime number?
True
Let l = -79 + 84. Let g = 30 - 26. Suppose 3864 = 3*m + 3*d, -l*m + g*d + 693 = -5702. Is m composite?
False
Suppose -22907 = -13*i + 25830. Is i a composite number?
True
Let u(n) = n**3 + 10*n**2 + 11*n - 11. Let q be u(-9). Let a = q - 748. Is (2 - -1) + (a/(-3) - -3) prime?
False
Suppose -6484440 = -94*g - 26*g. Is g composite?
False
Suppose 20*c - 18*c + 3210 = 0. Let t = c + 2274. Suppose t = 12*g - 11*g. Is g prime?
False
Suppose -2*g = 2*f - 6*g, f = -3*g. Suppose 5*d + s - 5435 = f, -d + 1121 = 4*s + 34. Is d a composite number?
False
Let q = -62914 + 100825. Is q prime?
False
Let d(t) = t**2 - 22*t + 69. Let c be d(7). Is ((-133074)/(-24))/(c/16 + 3) a prime number?
True
Suppose -3*l = -3*a + 66656 + 63736, 0 = l - 7. Is a prime?
False
Suppose 4*b + 7 = 71. Suppose -50*n + b = -46*n. Suppose 0 = n*c, z + 0*z + c - 493 = 0. Is z composite?
True
Is (-35467744)/(-46) + 3 - (-134)/1541 composite?
True
Let t(c) = -1478*c - 75. Let q be 6/(-14) - (2 - (-405)/35). Is t(q) a prime number?
False
Suppose 11*z + h - 611803 = 0, 2*h - 5*h + 278077 = 5*z. Is z prime?
True
Suppose -27*r + 3712739 + 6027945 = 65*r. Is r prime?
False
Suppose 4685*z - 4695*z + 268790 = 0. Is z composite?
False
Let c(k) be the second derivative of -k**5/10 - k**4/12 - k**3/6 - 269*k**2/2 - 11*k. Let u be c(0). Let i = u - -492. Is i composite?
False
Let f be ((-52)/(-18)*-3)/((-2)/2067). Suppose 2*q - 371 - f = -s, 0 = 5*s + 10. Let x = q + -3328. Is x a prime number?
False
Suppose 272820 = 4*w + 6*w. Is (-26)/(-39)*w/4 prime?
True
Let r(p) = 13*p**2 - 96*p - 1136. Is r(-13) a prime number?
True
Suppose 5*u - 2989 + 23247 = 3*r, 3*u = 4*r - 27007. Suppose -4*d = -3*g + r, g = -3*g - 2*d + 9038. Is g composite?
True
Let b(r) = r**3 - 2*r**2 - 8*r + 5. Let k be b(4). Suppose v - 11 = k. Suppose -f + 5*z = -v - 84, -3*f + 240 = 5*z. Is f composite?
True
Let a = -354 - -387. Let o(m) = m**2 - 5*m + 12. Let q be o(8). Suppose -y = -a - q. Is y a composite number?
True
Let t = 72514 + -42137. Is t a prime number?
False
Let w(i) = i**3 - 13*i**2 - 9*i + 7. Suppose 27 = 3*n + 4*t, -71 = -8*n + 3*n + 2*t. Let r be w(n). Let k = r + 499. Is k composite?
False
Let m = -1780 - -666. Let p = -483 - m. Is p prime?
True