Suppose d + 4*x + x = 1176, 0 = -3*d - w*x + 3463. Is d prime?
True
Let b = -4 + 11. Let y be (b - 11)*(0 + (-10)/(-4)). Is (-12164)/y + (-69)/(-115) prime?
True
Suppose 336*d - 87956 - 22689529 = 22356387. Is d prime?
True
Suppose 0 = -3*p + 11 - 2. Let s(y) = -y**3 + 13*y**2 - 20*y + 23. Let t be s(-8). Suppose t = p*h - 144. Is h prime?
True
Let a(g) = 3*g**2 + g - 9. Let m(v) = 1 + 14*v**2 + 112*v - 46 - 106*v. Let t(h) = 11*a(h) - 2*m(h). Is t(4) prime?
True
Let l = -53 - -55. Suppose 0 = -l*o - 5*f - 7, -3*o + 6 = 2*f - 0. Is -254*(-87)/54 - o/18 a composite number?
False
Let o be -383*(-8 - -3 - -2). Suppose -l = -n + o, -n = 3*n + 4*l - 4612. Is n a composite number?
False
Suppose 303739 = 7*m + c, -m + 3*c = 7402 - 50787. Is m prime?
True
Suppose 8*k + 12472 = 10*k. Suppose 10*d = 8*d - k. Let w = d - -4437. Is w prime?
True
Suppose -6 = -9*w + 21. Suppose 0 = -5*t + 4*x + 1905 + 12794, 2936 = t + w*x. Is t a prime number?
True
Let q be 141/((-4)/((-16)/3)). Let w = 28 + -26. Suppose w*o - 450 = q. Is o prime?
False
Let h = -31 - -31. Let m be (4*(h + 1) - -8214)*1. Suppose -5*o = -o + 2*l - m, 3*o - 6165 = -2*l. Is o composite?
False
Let r(l) = 283*l**2 + 5*l - 37. Let a = -18 - -23. Is r(a) composite?
True
Suppose 4*n - 619261 = -5*v, 13*v - 9*v + 3*n - 495409 = 0. Is v a prime number?
True
Suppose -4*a - 15704 = 2*o, -2*a = 3*o + 6519 + 1337. Let h = a - -8778. Is h a prime number?
False
Let u = -206 + 207. Is 1*-7*u*(-186597)/189 a prime number?
True
Let u = 202083 - 142094. Is u a composite number?
True
Let k be (-10)/4*(1 - 15). Let l = k - 35. Suppose -5*n + 268 - 17 = 4*m, l = 5*m - n - 292. Is m composite?
False
Suppose 1388 = 87*l - 83*l. Let q = l - -572. Is q composite?
False
Let o = 383 + -443. Is (-213099)/(-6) - (-90)/o composite?
True
Let h(t) = 62*t**2 + 3*t + 427. Is h(64) composite?
True
Suppose -2*z - 5*q = -z + 8, 6 = -2*z - 5*q. Suppose -z*y + 7*y = 75. Is (-402)/4*(-50)/y a prime number?
False
Let l = -63949 - -211326. Is l a composite number?
False
Let q = -86 + 88. Suppose -q*t - 34 + 1270 = d, -4*d + 4*t + 4884 = 0. Suppose 1204 = -5*o - 3*l + 3224, 0 = -3*o + l + d. Is o composite?
True
Let z = 5 - 3. Suppose 3*a - 52010 = n, -a + 3*n + 52020 = z*a. Is a prime?
False
Suppose 2713 = -10*o - 1037. Suppose 8544 = 2*q + 4*q. Let w = q + o. Is w a prime number?
True
Let k = 147474 - 70043. Is k prime?
True
Let c be -4 - (9 + -2 - 7531). Let q be ((-1)/3)/((-2)/12). Suppose -q*p = -a - 0*p + 1517, 0 = -5*a - 3*p + c. Is a a prime number?
False
Suppose -45*x + 30 = -35*x. Suppose -g = -2, -57781 = -x*a - 2*a - 3*g. Is a a prime number?
False
Let n be 4 + (-285)/20 + (-1)/(-4). Let q be 885/n*160/(-12). Suppose q = 6*f - 578. Is f prime?
True
Let u = -289 + 2236. Let b = u + -1046. Is b a prime number?
False
Suppose -4*f - 4*t + 1220 = 0, 2*t + 900 = 2*f + f. Let m = f + 785. Is m a prime number?
True
Let g(j) = 4*j**2 + 2*j - 5. Let s be g(-4). Let m = s - 55. Let l(a) = -45*a - 17. Is l(m) composite?
False
Suppose -d - 647 = -q - 0*d, -650 = -q + 4*d. Let n = 1097 - q. Is n a prime number?
False
Let h(z) = 2*z + 28. Let t be h(-13). Suppose 0 = 4*c + r + 2*r - 3269, -t*c = r - 1633. Is c a prime number?
False
Suppose b + 2*v + 260551 = 931232, 2*b - 1341363 = -5*v. Is b prime?
False
Let a(o) = 62*o**2 + 23*o + 8. Let x be a(-9). Is x/(-14)*(4 - 6) a prime number?
False
Let y(t) = -7*t**3 - 6*t**2 - 7*t - 1. Suppose 3*f + 0*f - 51 = -5*u, f - u = 17. Suppose w = -5*c - f, -2*c + w - 3 - 8 = 0. Is y(c) prime?
True
Suppose -218109197 = -85*c - 16*c. Is c a composite number?
False
Let a = -251 - -251. Suppose -19*n + 65184 + 7909 = a. Is n composite?
False
Let k = -154377 + 261760. Is k composite?
True
Suppose -11 = -4*x - 3, -2 = 3*h - 4*x. Suppose -10681 = -y - 2*f, -y - 2*y + h*f + 32067 = 0. Is y a prime number?
True
Suppose 11*t = q + 166455, -75649 = -5*t - 25*q + 27*q. Is t a composite number?
True
Is (-9)/(-11 + 12) - -220 a composite number?
False
Let y be (-15)/3 - (-32)/2. Is (564102/15)/y - (-2)/10 composite?
True
Suppose 77 = -n - 6. Let v = n - -84. Let u(r) = 77*r**2 + 4*r - 2. Is u(v) a composite number?
False
Is (-19)/((-228)/(-8)) + (-823985)/(-3) a prime number?
True
Let a = 12381 - 30826. Let p = a - -26384. Is p a composite number?
True
Let w(h) = -1380899*h - 58. Let y be w(-2). Is y/228 + (-4)/(-38) prime?
True
Is (((-91)/7)/(-26) + (-273)/(-2))*1019 prime?
False
Suppose 5*j = -2*v - 292, 4*v = -3*j - 2*j - 294. Let a = 63 + j. Suppose -a*h = -2*w + 3883, -3*w + 0*h + 4*h = -5835. Is w prime?
True
Let g = 76063 - 44300. Is g composite?
True
Let j(d) = -d**2 + 14*d - 15. Let f be j(12). Suppose 4*p - b = 13, 2*p - b + 4 - f = 0. Is p*186 + -3 + -6 + 10 a prime number?
False
Let y(c) = 12*c**2 - 24*c + 3. Let h be y(-19). Let i = h - 2158. Is i composite?
False
Suppose -p - 2*o = -7167, -5*p - 3*o = -p - 28653. Suppose 0 = -3*i - 4*i + p. Suppose 4*n + 2*k + 75 - i = 0, 5*n - 1171 = k. Is n a prime number?
False
Let q be -14*1/(-4)*2. Let a(n) = 33*n + 4. Let x(s) = 3*s - 2. Let o(f) = a(f) - 3*x(f). Is o(q) a composite number?
True
Is 422813/10 - (-111)/(-370) prime?
True
Suppose -5*y = 3*a - 209752, 3*a - 209765 = 50*y - 42*y. Is a prime?
False
Let k be (-3)/4 - (-57)/12. Suppose 0 = -3*p + 6*l - l - 41, 0 = k*p - l + 32. Let o(i) = 20*i**2 + 7*i - 12. Is o(p) a composite number?
False
Suppose 172 + 2285 = 3*k. Let i = k + -236. Is i prime?
False
Let v be 171/38 - 1/2. Suppose 3*q = -2*k + 901, v*q - 1735 = 4*k - 547. Is q composite?
True
Let j(n) = 13*n + 29. Let l be (-1965)/(-45) - 2/(-6). Let v = -26 + l. Is j(v) a composite number?
False
Suppose 3*f - 15099 = -4*f. Suppose 0*k = -2*k + 5*y + 7394, -3*y = 4*k - 14762. Let l = k - f. Is l composite?
True
Suppose -4*g + 81008 = -2*k - 30316, -2*g = -2*k - 55666. Is g composite?
True
Suppose 91*t - 174*t - 169151 = -84*t. Is t prime?
True
Let x = -199 - -202. Suppose -v + 533 = -x*g, -525 = -12*v + 11*v - g. Is v composite?
True
Let j(c) = 22105*c**3 + 3*c**2 - 5*c + 2. Let n be j(1). Suppose 2*i - n = -4*a - 7533, i = 0. Is a prime?
True
Let v(f) = 6 - 1 + 3 - 41*f. Suppose 4*j + 4*s + 40 = -12, -39 = 3*j + 2*s. Is v(j) a prime number?
True
Suppose -4*g = g - 15. Suppose -g*x + 20 = 2*x, -r - 4*x + 25 = 0. Suppose -r*m - m + 8380 = 0. Is m a prime number?
False
Let z be (-5 + (-212)/(-28))/((-2)/(-14)). Suppose 12*f - z*f + 6522 = 0. Is f a composite number?
False
Let o(g) = g + 9. Let t be o(-5). Suppose 2*r + 2*x = 0, 2*r = 4*r + t*x - 6. Is (r/6)/(((-18)/4244)/9) a prime number?
True
Let m(p) = -11*p - 6. Let c(r) = -20*r - 13. Let s(y) = -2*c(y) + 5*m(y). Suppose 2*d - 4*h = -8*h - 22, -3*h = 3*d + 39. Is s(d) composite?
True
Suppose 6 = 5*l - 3*x - 33, 4*x = 2*l - 10. Suppose -2*g - 26509 = -l*g. Is g prime?
False
Suppose 5*b = -3*j + 13, -2*j + 38 = 10*b - 14*b. Suppose j*k - 146632 = -55871. Is k composite?
True
Let b(r) = 48*r**2 + 95*r - 818. Is b(27) composite?
False
Let x be (1 - 0)/((-16)/16784). Let m(g) = g**3 + 10*g**2 - 9*g + 17. Let j be m(-11). Is x*(j + (-3 - -7)) prime?
True
Suppose 808387 = 3*t + y - 456074, -2*t - y = -842974. Is t composite?
True
Is 3/(-1) + (-22 - 1) + 1183633 composite?
False
Suppose k - 13 + 10 = 0. Suppose 7*p = 2*p + k*y + 6577, y + 1317 = p. Is p a composite number?
True
Suppose -6582 = -4*w - 2*i, 4*w - 3*i + 4*i = 6581. Let r = 2858 - w. Is r a composite number?
False
Suppose -2*z = 2*r - 66, 3*z - 18*r + 13*r - 75 = 0. Suppose 28*s - z*s + 9502 = 0. Is s a prime number?
True
Suppose 0 = -11*h - 9*h - 35760. Let n = 1307 - h. Is n a composite number?
True
Let f be ((-30)/(-16)*2)/(18/48). Let j be 44/f*(18 + -8). Is ((-2)/(-11) + 14/j)*982 composite?
False
Suppose -81*w + 9499133 = 21*w - 10855885. Is w a composite number?
False
Let m be (2 - 26) + 12/3. Let b be m/(-10)*267/(-6). Let o = b + 216. Is o composite?
False
Let n be -1 - -8 - (27 - 27). Suppose 3*k = -n*k - 10. Is ((-33297)/44)/(k/4) prime?
False
Suppose 9*h = 4*h + d + 55, 0 = 4*h - 4*d - 60. Suppose -h*y + 16410 = -26120. Is y a composite number?
False
Let b = 29322 - 20659. Is b composite?
False
Suppose 7*q - 310 = -177. Suppose -q*s + 3537 = -2068. Is s a prime number?
False
Suppose 19*c - 2338410 - 251528 = -458860. Is c pri