 7. Let v be (3/2)/(-4 - (-169)/42). Let c = 69 - v. Is s(c) a prime number?
True
Suppose -4*m + m = a - 5, 5*m = -5*a + 15. Suppose 0 = -a*x + 329 - 31. Is x prime?
True
Let i be ((-20)/(-15))/1 + (-5006)/(-3). Let o = i + -4653. Let x = -834 - o. Is x a prime number?
False
Suppose -549*z + 526*z + 62887 = -588726. Is z prime?
False
Let r(a) = -9*a**3 - 19*a**2 - 6*a + 63. Is r(-34) a prime number?
True
Suppose 213043 + 104528 = -9*k + 2802282. Is k a prime number?
True
Suppose 12*q - 13*q + 48 = 2*t, -59 = -3*t + 5*q. Suppose -17281 = t*j - 107970. Is j a prime number?
True
Suppose -j + 5*a = j - 23, 4*j - 5*a - 31 = 0. Suppose -25 = -5*y, j*i - 2*y = -y + 7. Let x(d) = 6*d**3 - 5*d + 2. Is x(i) a composite number?
False
Let r(l) = -283*l**3 + 4*l**2 - 2*l - 6. Let u be r(-2). Let p = -8387 - -18940. Suppose -p = -5*c - u. Is c composite?
True
Suppose 2*l = -3*r + 11658, 16*l = 2*r + 17*l - 7773. Let h = 2673 - 1370. Suppose 3*j - y - h = 1606, 4*j = -y + r. Is j composite?
False
Suppose -y + r + 2080 = 0, 2*y + 1823 = -4*r + 5983. Let h = y + -998. Is h a composite number?
True
Suppose 5*a - 54535 = -5*o, 10*a + 4*o - 32719 = 7*a. Is a composite?
False
Let i(f) be the second derivative of -7*f**5/20 - 2*f**4/3 - f**3 - f**2/2 - 11*f. Let q be i(12). Is q/(-42) + (-1)/6 prime?
True
Let s(z) = 80 - 189*z + 611*z + 558*z + 9*z - 320. Is s(11) a prime number?
True
Let g(f) = f**3 - 3*f**2 - 2*f - 3. Let j be g(4). Suppose -j*c + 14490 = 5*c. Let s = c + -958. Is s composite?
False
Suppose 848*s = -3*h + 844*s + 505765, 3*h = -3*s + 505767. Is h prime?
False
Suppose -3*x = c - 3166, 80*c + x + 15750 = 85*c. Is c prime?
False
Let m(n) be the second derivative of -n**5/20 - 7*n**4/3 - 14*n**3/3 - 21*n**2/2 - 44*n. Let t be m(-27). Suppose -10794 = -t*g + 900. Is g prime?
True
Let p = 96348 - -32615. Is p a composite number?
True
Suppose 51*t = -5 + 821. Suppose -t*h + 31*h - 16185 = 0. Is h a composite number?
True
Suppose 349 + 558 = q. Suppose -q = -k + 350. Is k a prime number?
False
Suppose 9*w = 22941 - 2160. Is w/((-5 - -1) + 5) composite?
False
Let f(x) = 3*x**3 + 7*x**2 + 3*x - 4. Let p be f(-3). Let m = p - -37. Suppose -m*j + 266 = -4*j. Is j prime?
False
Suppose -13*r = -16*r - c + 7, r + c = 3. Suppose -2*s = -5*d + 16365, -4*d + 6546 = -2*d - r*s. Is d a composite number?
True
Let i be 6/10 - (88/(-20) - -3). Is 9975/i - 5/(5 - -5) a composite number?
False
Suppose -t = -i - 11817, 24*t - 20*t - 47304 = -5*i. Is t a prime number?
True
Suppose 3*n - 5073 = -3*k, 0*k - 4*n = -k + 1701. Is k composite?
False
Suppose -2 = p + 2*w, -18*p + 19*p = -w + 1. Suppose 4*s = i + 21722, -s + 5433 = p*i - 3*i. Is s a prime number?
True
Let s = -3933 - -7095. Let i = 6671 - s. Let n = i + -2427. Is n a prime number?
False
Is 1/(-16*(-5)/2098160) a prime number?
True
Let h be ((-36)/45*-1)/(4/(-10)). Is h/5*-10 - (3 + -957) composite?
True
Let n(q) = 19*q - 32*q + 25*q - 137. Is n(27) a prime number?
False
Suppose 0 = -93*q + 87*q + 16110. Let i = q - 1423. Is i composite?
True
Let w = 135271 - 81964. Suppose 29*o = 26*o + w. Is o a prime number?
False
Suppose -2*l - l = 2*m - 12, -4*l = -2*m - 2. Suppose 3*s = 3*a + 8538, m*s + a - 5921 = 2605. Is s a composite number?
False
Is (-52307 + 1)/((-132)/77 - 6/21) a composite number?
False
Let j = -9735 - -50. Let b = 28112 + j. Is b a composite number?
False
Let r = -42041 + 69384. Is r prime?
False
Is -3*4273184/(-12) - -21 composite?
True
Let o = 56259 + -9536. Is o composite?
False
Is (852122*(6 + -5))/4*(2 + 0) a prime number?
True
Let u(c) = 2*c + 33. Suppose 2*w - 14 = 3*w. Let k be u(w). Suppose -3*x = -5*x + k*h + 5873, -5*h + 2944 = x. Is x prime?
True
Suppose 238*z - 235*z = d - 188914, -3*d - 3*z = -566730. Is d composite?
False
Suppose 888917 - 5882646 = -13*a. Is a a prime number?
True
Let x = 254036 - 128115. Is x a prime number?
True
Suppose 0 = n - 35 + 146. Let f = 2804 - 2212. Let s = f + n. Is s composite?
True
Let w = -104 - -109. Let r(q) = 204*q**2 - 10*q + 15. Let x be r(w). Suppose -819 = 11*j - x. Is j a composite number?
True
Let m(c) = c**3 - 22*c**2 - 23*c + 2. Let b be m(23). Suppose 0 = d - 3*d + b*y - 6490, -6475 = 2*d - 5*y. Let g = -417 - d. Is g a composite number?
False
Let m(t) = 1507*t**2 + 29*t - 79. Let l(h) = h**3 + h**2 - 14*h - 5. Let w be l(-4). Is m(w) a composite number?
True
Suppose 0 = d - 0*d + 13*r - 993073, -d + 2*r = -992983. Is d a composite number?
True
Is 465/40 + -12 - 59147/(-8) a composite number?
False
Suppose 0 = -5*l + m + 3, -l - 12 = -5*l + 4*m. Suppose l = -5*o + 3635 + 6380. Is o a prime number?
True
Suppose b + 50048 = 4*o - 0*b, -2*b = -8. Suppose -5*p - 18509 = -3*t, 2*t - 5*t + 18508 = -4*p. Suppose 0 = 13*l - t - o. Is l composite?
True
Let b = 84885 - 25418. Is b a prime number?
True
Suppose -8 = 4*i + p + 13, 23 = -2*i - 3*p. Is (4 + -6)/(i/5158) composite?
False
Suppose -11*r + 54*r = 86. Let b(g) = 876*g - 79. Is b(r) a prime number?
False
Suppose 5*o + 38052 = 2*v, -65*v - 2*o - 95109 = -70*v. Is v composite?
True
Let l = -458 - -1172. Suppose l = -4*d - 566. Let u = 221 - d. Is u composite?
False
Is 3/((-3)/4*(-56)/3246614) composite?
False
Let t = 10977 - 235. Is (-3)/(-12) + t*(-8)/(-64) composite?
True
Suppose -5*d = -2*z - 0*z - 2988, 0 = 5*z - d + 7447. Suppose -12880 = 412*s - 407*s. Let m = z - s. Is m a composite number?
False
Let w be (8 + 25665)*2*2/(-4). Is 1/6 - 9/54*w prime?
False
Suppose 0 = -9*d + 24227 - 80666. Let l = -2318 - d. Is l composite?
True
Let d be (-18)/21 + 30/35. Suppose 0 = -5*k + 9 - 24, d = -4*q - 3*k + 6595. Is q prime?
False
Let y be (-19)/(2/(-1069 + -1)). Suppose -28696 = 4*f - 4*s - 0*s, 0 = -4*f - 4*s - 28664. Let k = y + f. Is k a prime number?
False
Suppose n - 6563 = -5*y, 13102 = 2*n - 4*y + 2*y. Let a = n + -4548. Is a composite?
True
Let d be ((-28)/12)/(2/6). Let w(s) = s + 10. Let z be w(d). Is 9*(z - 12/9) composite?
True
Let p(w) = 2*w + 26. Let k be p(-11). Suppose 0 = -2*d + k*n + 26050, 11*n + 39103 = 3*d + 12*n. Is d a prime number?
True
Suppose 4*f = a - 79, -5*f - 3*a + a - 115 = 0. Let r(y) be the third derivative of y**5/30 + 3*y**4/4 - 25*y**3/6 + 8*y**2 - 7*y. Is r(f) composite?
False
Suppose -18*u - 71456 = -322349 - 801801. Is u prime?
False
Suppose -104*q + 3008744 = -462672. Is q a prime number?
False
Suppose -4*f + 25 = 17. Suppose -f*u = 2*p - 8, u = -2*p + 3*p + 10. Suppose 2*w - u*w + 4195 = 0. Is w a prime number?
True
Let u(k) = 16*k**2 + 61*k - 3464. Is u(-99) a composite number?
True
Let k(i) = -1048*i**3 - 17*i**2 - 35*i - 5. Let v be k(-2). Suppose r = 4 - 0. Suppose r*a + c - v = -0*c, 4*a - 8376 = 4*c. Is a prime?
False
Suppose 401*n - 219*n - 126226646 = 0. Is n a composite number?
True
Is 808546 - (((-4)/(-8))/(-1))/((-10)/(-140)) composite?
False
Let z = -417525 - -1228562. Is z a prime number?
True
Suppose -136249856 = -118*a - 37038241 + 38501583. Is a a prime number?
False
Let a(z) = -3*z + 9. Let l be a(0). Let w be (21/l + -3)/(2/(-12)). Suppose 3*c - c - 1278 = -w*x, 0 = 5*c - 2*x - 3159. Is c prime?
False
Suppose -11 - 64 = -3*y. Suppose -4*x = 2*f + x + 45, -2*f - x - y = 0. Is (-12)/(-7)*(-35)/f a prime number?
False
Let h = 914578 - -1609285. Is h prime?
True
Suppose -3*w + m + 4419 = 0, -2*m - 4422 = w - 4*w. Suppose 4*d - w = -324. Is d a composite number?
True
Let r(q) be the second derivative of 13*q**4/12 + 4*q**3/3 + 5*q**2/2 - 3*q - 3. Is r(-20) a composite number?
True
Let q = 353084 - 224121. Is q a composite number?
True
Suppose -5*o - 3*l + 205661 = 0, -2*o + 22*l = 20*l - 82258. Is o composite?
False
Let r = -192 - -192. Let m(a) = -3*a + 703. Is m(r) a prime number?
False
Let w = 229 - 213. Is (-12)/w + 556/16 prime?
False
Suppose 4*i + 25 = 37. Is (3 - i - -1273) + 6 a prime number?
True
Let i(s) = 51*s**3 - s**2 - s. Let b be i(1). Suppose -42*o + b*o = 48979. Is o a prime number?
True
Is (-68180520)/(-192) + (9/8 - 1) prime?
False
Let m(u) = u**3 + 6*u**2 - 6*u + 8. Let p be m(-7). Let x be 2 - 24 - (p + 0). Is (-4)/2 - (x - 724) composite?
True
Let h be (4/((-64)/(-148)))/((-4)/(-16)). Suppose h*j - 56773 = 15192. Is j prime?
False
Suppose 10*s - 19087 = 461643. Is s a composite number?
False
Suppose -11 = 7*j - 4. Let c(