?
False
Let j(g) = -5*g + 21. Let o be j(9). Let s be (o/4)/3*-1. Is (-4 + 9/s)*502 a prime number?
True
Suppose -2*a + 4 = 2*a, 2*q + a = 1595. Is q composite?
False
Let k(q) = 8*q**3 + 3*q**2 - 2*q - 2. Let i(h) = 17*h**3 + 5*h**2 - 3*h - 3. Let f(c) = -3*i(c) + 5*k(c). Let d be f(-1). Let j = d + 14. Is j a prime number?
False
Suppose -13*f + 29136 = 4*v - 8*f, -3*v + 5*f = -21887. Is v prime?
False
Is (-2)/2*(-32 - 13797) composite?
False
Suppose 0 = -s - 4*u + 25023, 5*s = -u + 11240 + 113913. Is s a composite number?
False
Suppose -5*f = u - 20, 5*u - 2*f - 12 = -5*f. Suppose u = 4*b - 7263 - 1717. Is b a composite number?
True
Let c(d) = -d**3 + 7*d**2 + 12*d. Let b be c(10). Let l = 263 + b. Is l a prime number?
True
Let t be 2 + -3 + -2 - -1. Let u = 5 + t. Suppose u*m + m = 508. Is m composite?
False
Suppose 2*d - 57718 = -4*x, 7*x = 5*x - 3*d + 28861. Is x prime?
False
Let x be ((-4)/6)/((-2)/12). Let l be (-3*4)/x - -33. Is 1092/l + 6/10 a prime number?
True
Let m be (-8 - -7)/((-2)/6). Suppose 3*t + m*w - 499 = -2*w, t + 5*w = 173. Is t a prime number?
True
Suppose -5*d + 251 = h - 703, 3*h - 2782 = d. Is h a composite number?
False
Is (16/16)/(3/34971) a composite number?
False
Suppose 16*r + 42746 = 38*r. Is r a composite number?
True
Suppose -3*h - 5*w + 84613 = -3*w, 4*w = 20. Is h a prime number?
True
Let y(v) = 70*v**2 + 39*v - 35. Is y(10) prime?
False
Let p be (-4)/(5/((-430)/(-4))). Let c be ((-3)/(18/(-363)))/(1/10). Let t = p + c. Is t prime?
False
Suppose -18486 = -17*r - r. Is r a prime number?
False
Let s be ((-52)/(-12))/(3/(-45)). Is (-29195)/s - 4/26 composite?
False
Suppose 4*q + 12 = 0, -12*g = -16*g + 5*q + 4243. Is g a composite number?
True
Let o(p) = -575*p - 753. Is o(-50) prime?
True
Let d = 1610 - -2343. Is d a prime number?
False
Let w be 0 + 3265 + -1 + 1. Suppose -x - 32 = -3*l + 1039, 4*l + w = -3*x. Let o = x + 1576. Is o composite?
True
Let l be (23/(-4))/((-2)/16). Suppose 31 = -d - l. Let w = d - -166. Is w a prime number?
True
Suppose -101 - 537 = -11*v. Suppose 53*t + 835 = v*t. Is t a prime number?
True
Let r(x) = 3*x**3 - 27*x**2 + 5*x - 15. Is r(20) a prime number?
False
Let o be ((-175290)/25)/(-6) + (-6)/10. Suppose 2*y - 1171 = 6*w - 5*w, -2*y = -4*w - o. Is y a composite number?
True
Is -5 - 102792/(8/(-2)) a composite number?
False
Let t(n) = -11*n + 7. Let f = 6 - 11. Let c be t(f). Is c*(3 - (-20)/(-8)) composite?
False
Let u(s) = s**2 - 8*s + 8. Let a be u(7). Let w be (-1)/(a/(3 + -5)). Suppose -5*p - n = -333, -p + n - w*n = -65. Is p a prime number?
True
Let r be ((-4)/8)/((-2)/8). Suppose 4*q - 2 = r. Is (2 - 1)/(q/19) composite?
False
Suppose -6*y = -y + 3*y. Suppose 3074 = -y*l + 2*l. Is l a composite number?
True
Suppose -14426 = -12*l + 51202. Is l a prime number?
False
Let d = 0 + -259. Let q = -183 - d. Let o = 141 - q. Is o a composite number?
True
Let b = -26 + -526. Let s = b - -775. Is s a composite number?
False
Suppose 6836 = 2*g - 3*t, -g + 0*g + 5*t = -3425. Is g prime?
False
Let b = -53 - -26. Let o be 6/b - (-87)/27. Suppose -r - 3*u + 142 = 0, -o*r - 4*u + 260 + 191 = 0. Is r composite?
False
Let o = -9135 + 13346. Is o a prime number?
True
Suppose 0 = 3*j - 2*s - 104205, j + 69470 = 3*j - 5*s. Is j composite?
True
Let d(z) = -z**3 - z**2 - z + 11641. Is d(0) a prime number?
False
Let h(c) = -1706*c - 1. Let t be h(-1). Is -1 + 1 + t + (-8)/(-2) a composite number?
False
Is -1 + 3 - (9/(-3) - 11858) a composite number?
False
Is (62/6)/(3 - (-5524)/(-1842)) a composite number?
True
Let q be 435/10*6/(-9). Let v = q + 34. Suppose -4*l = -v*i - 94, 3*l + 3*i - 2*i - 61 = 0. Is l a composite number?
True
Let n(x) = 4*x**2 - 10*x - 7. Let t be n(-11). Suppose 5*l + t = 2652. Is l a composite number?
True
Suppose 3*p + 3 = l - 4*l, 5*l + 11 = -3*p. Is 6159/6 + p/6 a composite number?
True
Suppose 20531 = 5*s - z, -3*s = 4*z - 2*z - 12316. Suppose s = 3*i - 0*i - 5*o, -i + o + 1368 = 0. Is i composite?
False
Let x(c) = 473*c**2 - 15*c + 29. Is x(10) prime?
False
Suppose -5*v - 12 = -v. Let q(k) = 197*k**2 + 7*k + 7. Is q(v) prime?
True
Let z(n) = 67*n**2 + 8*n - 4. Suppose 4*m = 4*f - 8, 0*f - 2*f = -5*m + 5. Is z(f) composite?
True
Suppose -c - 4*g + 52929 = 0, 4*g = 5*c - 14718 - 249807. Is c a prime number?
False
Let r = -150 + 161. Suppose 8020 = -7*s + r*s. Is s a composite number?
True
Let q(p) = -p**3 + 14*p**2 - 15*p + 30. Let a be q(13). Suppose -326 = -a*r + 1182. Is r a prime number?
False
Let f(r) = r**2 + 3*r - 11. Let t be -1 - (1/(-4) - (-134)/(-8)). Is f(t) a prime number?
True
Suppose 5*x - 21 = -6. Suppose 2*u = -w - w + 156, w = -x*u + 244. Is u a prime number?
True
Suppose -s = -0*s. Let w(u) = -u**3 + u + 0*u**3 - 2 + 9. Is w(s) a composite number?
False
Suppose 6*q - 3693 - 6969 = 0. Is q a composite number?
False
Let i = -902 - -1543. Is i a prime number?
True
Let m = -6427 - -22322. Suppose -7*r + 3292 = -m. Is r a prime number?
True
Suppose x = 4*x - 2*k + 10, -4*k = -3*x - 20. Is (2 + 417)/(2/2 + x) a composite number?
False
Is (1*15089)/(1 + -1 - -1) prime?
False
Let t(l) = 3*l**3 - 3*l**2 + 19*l - 1. Is t(14) prime?
False
Let i be 1659/14 - 2/4. Suppose 5*x - 603 = -i. Suppose d - x = -u, 2*u - 4*d - 18 = 164. Is u a prime number?
False
Let f(h) be the second derivative of 121*h**3/6 - 2*h**2 - 39*h. Is f(3) prime?
True
Let f be (0 - -3)*(-2)/(-3). Let s(a) be the first derivative of 23*a**4/4 - 2*a**3/3 + 3*a**2/2 - 3*a + 15. Is s(f) composite?
False
Let k be 2 + (0 - 4/12)*9. Is ((-6)/3 - (-3 - k)) + 317 composite?
False
Let h = -5 + 5. Suppose 4*a + a + 20 = h. Let n(x) = -x**3 + x**2 - 6*x - 1. Is n(a) a composite number?
False
Suppose -3*s + 2*m + 11 = 0, 5*m + 5 = 3*s - 0*m. Let w be s/(20/56) + -3. Let h = w + -2. Is h composite?
True
Let a(p) = 7*p**3 - 34*p**2 + 25*p + 3. Is a(13) a composite number?
True
Let b(l) = -3*l**3 + 14*l**2 + 3*l - 3. Let y be b(8). Let z = -233 - y. Is z a prime number?
False
Let u = 203 + 1339. Suppose 0 = -y - 67 + u. Is (y/(-10))/((-2)/4) a prime number?
False
Suppose 11*v - 1550 = 1618. Suppose -12*r = -v - 516. Is r a composite number?
False
Suppose v - 6774 = b - 0*b, -2*b = v - 6789. Is v prime?
True
Let g(f) = -63*f**3 + 7*f**2 + 11*f - 1. Is g(-6) a composite number?
True
Let v(d) = 381*d - 17. Let h(y) = -760*y + 35. Let s(i) = -3*h(i) - 7*v(i). Is s(-13) a prime number?
False
Suppose 185649 + 6406 = 5*y. Is y a prime number?
False
Let b(w) = w**3 + w + 37. Let r be 2*6/8*10. Let h = r - 15. Is b(h) a composite number?
False
Let x(y) = 2*y + 5. Let j(b) = b - 1. Let k(p) = -20*j(p) - 5*x(p). Let r(g) = -2*g + 12. Let v be r(8). Is k(v) a composite number?
True
Let k(a) = -848*a + 205. Is k(-2) a composite number?
False
Let q(j) = -j**3 + 26*j**2 + 34*j - 36. Is q(23) composite?
False
Let h be (-32)/(-6) - (-4)/6. Suppose -h = -3*s, -3 + 14 = o + 4*s. Suppose 3*i - 6 = -3*a + 426, 4*a - o*i - 611 = 0. Is a a prime number?
True
Suppose 3*m = -m - 7004. Let b = m - -2460. Is b a composite number?
False
Let a = 362 - -5991. Is a a prime number?
True
Suppose -4*u + 3*u = -4*v + 14413, 14393 = 4*v + 3*u. Is v composite?
True
Let r(j) = 822*j - 26. Let d(p) = -822*p + 25. Let b(c) = -7*d(c) - 6*r(c). Is b(4) composite?
True
Let d = 1134 + -563. Is d a prime number?
True
Let u be 1/(3 - (-4659)/(-1554)). Let w = u + -295. Is w a prime number?
True
Suppose 1174473 = 9*t + 18*t. Is t prime?
True
Let g be 15 - (-3 - (-4)/(-4)). Let m be (18 - g)/(1/(-4)). Is 6/m*2 + 1946 prime?
True
Let i(a) = 40*a**2 + 2*a + 2. Suppose 0 = u - 5*y + 14, 0*u + 2*u = -y - 6. Is i(u) composite?
True
Let o = 5825 - 2763. Is o a prime number?
False
Suppose 0 = -0*c + 2*c. Let d(b) = -8*b - 2*b + 5*b + 97 + 0*b + 2*b. Is d(c) composite?
False
Is 2*982 + 6/((-84)/(-70)) a composite number?
True
Suppose -2*n - 310 = -1082. Let j = 565 - n. Is j composite?
False
Let k be (4/(-3))/((-4)/126). Let q(r) = -91*r + 189. Let w be q(-4). Let t = w - k. Is t prime?
False
Let s(y) = 17*y**2 - 3*y + 8. Let v be s(-9). Suppose w - v = 2*w. Let r = 3351 + w. Is r composite?
True
Suppose 2*l - o = 6*l - 699, 5*o - 15 = 0. Suppose -1930 - l = -4*u. Is u a prime number?
False
Let t = 30 + -21. Is (-1194)/t*6/(-4) a composite number?
False
Let