= -12*o - 3. Let v(i) = -37*i - 9. Let w(p) = -11*t(p) + 4*v(p). Is w(-5) prime?
False
Suppose -33119 = 21*u - 97904. Is u composite?
True
Suppose -3331 + 576 = -5*b. Suppose -b = -3*p - 4*l + 4336, -3*l + 4884 = 3*p. Let d = 2298 - p. Is d a prime number?
True
Let k(g) = 1274*g + 367. Is k(19) a composite number?
True
Suppose -5*a = -163 - 1507. Let u be 3*(362/6 + 1). Suppose 2*n - a = u. Is n a composite number?
True
Suppose -m + w = -6*m - 30, -2*m - 2*w - 20 = 0. Let s(a) = -10*a**3 - 7*a**2 + 4*a + 14. Is s(m) a prime number?
True
Let z(n) = -n. Let x(q) = 27*q + 2. Let f(u) = x(u) - 6*z(u). Let o be f(-2). Let w = 327 + o. Is w a prime number?
True
Suppose -13 = o - 4*i + 4, 4*o = -3*i + 27. Suppose -o*w + 2*b + 1955 = 3*b, -w + 665 = -3*b. Suppose -3*p + w = 182. Is p prime?
True
Suppose b = 4*b + 18. Let h be (0 + -2)/((-12)/b). Let d = h - -48. Is d composite?
False
Is (13/3 + -4)/(2/62214) composite?
False
Suppose -5*i + 21297 = -3148. Is i a composite number?
False
Is -1 + 30/21 - (-16108)/14 composite?
False
Suppose 2*m = -2*m. Let x be (2447/2)/((-1)/(-2)). Suppose 4*r - x + 819 = m. Is r prime?
False
Suppose 5*g - 2*k = 70545, 3*k + 15 = -0*k. Is g a composite number?
False
Let n = 2722 + -1516. Let u = n - 789. Suppose 3*o = u + 354. Is o a prime number?
True
Let q be 6/12 + 2063/2. Is (-10 - q)*(-2)/4 a prime number?
True
Suppose 0 = -0*a - 2*a - 4*l + 2268, 3*l + 6 = 0. Let o = 1891 - a. Is o composite?
True
Let u(k) = k**2 + 3*k - 1. Let z be u(3). Let n be (-2)/4 - z/(-34). Suppose 2*m - 854 - 8 = n. Is m a prime number?
True
Let x = -606 - -987. Is x prime?
False
Suppose -4*u = -z - 10, -u + 7 = 4*z - 2*z. Suppose z*q - c - 74 = 0, 0 = -2*q + 7*q + 2*c - 167. Is q a prime number?
False
Let d(u) be the first derivative of -17*u**2/2 - 5*u - 7. Is d(-6) composite?
False
Suppose 226 + 99 = 5*u + 2*n, 0 = -5*u + n + 325. Let g = u - 42. Suppose -g = -3*k + 22. Is k a prime number?
False
Let c be (-4)/6 + (-341)/(-3). Let s = 32 + -30. Suppose d - s = c. Is d a composite number?
True
Is (-4)/(-12) - (-130216)/6 composite?
True
Let g be (-28)/13 + 2 + (-33804)/(-26). Let z = -41 + g. Is z a composite number?
False
Let m(t) = 282*t + 1. Is m(6) prime?
True
Suppose 2*c + 2 = 3*c. Suppose 4*y - 6 = c. Suppose y*m = m + 13. Is m a prime number?
True
Suppose -4*s + 10007 = s + 4*a, -5*s + 5*a = -9980. Suppose -4*w = -8, -2*r - w - s = -5*r. Is r composite?
True
Suppose 4*l - 2*l + 7001 = 5*u, 3*u - 2*l - 4203 = 0. Is u composite?
False
Suppose 0 = -3*g + 9*g - 3786. Is g a composite number?
False
Suppose -5*y - q + 18 = -3*q, 0 = 3*y - 2*q - 14. Suppose 0 = -y*r - 46 + 526. Suppose 3*v + 3*j = r, j - 309 = -4*v + 2. Is v prime?
False
Let k = 9594 + -3413. Is k composite?
True
Let o be (2 + -1)/(7/14). Suppose o*z + 1815 = 5*z. Suppose -3*q + 347 = -0*q + 2*p, -5*q + 2*p = -z. Is q a composite number?
True
Let r be (-4)/8*(-18)/3. Suppose 2*t + 3939 = 3*m + 4*t, -m - r*t + 1306 = 0. Is m composite?
True
Let j(p) = -2*p**2 - 11*p + 13 - 4*p + 4*p**2 + 6*p + p**3. Is j(7) composite?
True
Let l(m) = -13*m - 3. Let q be l(3). Let d be 396/24*24/(-4). Let s = q - d. Is s a prime number?
False
Let h(c) = 190*c - 5. Let d be h(1). Let n = 2 + 2. Suppose n*o - d = -o. Is o composite?
False
Let y = -6968 - -41881. Is y a prime number?
True
Is (-8)/28*-21 + 1811 composite?
True
Let p be -1*1/((-2)/(-10)). Is 2 + p + (83 - 1) a prime number?
True
Let a = 37 - 23. Suppose 0 = -a*y + 19*y - 15325. Is y a prime number?
False
Let n(s) = 652*s - 171. Is n(7) composite?
True
Let t = -27 + 29. Suppose t*n - 8827 = 8*l - 3*l, 5*l = n - 4406. Is n a prime number?
True
Suppose 0 = z - 158 - 793. Is z a prime number?
False
Let d be (135*7)/3 - (-4 - -1). Let p = -10 - -18. Suppose 0 = -11*u + p*u + d. Is u a composite number?
True
Let l = -285 + 364. Is l a prime number?
True
Let x(s) = s**3 + 29*s**2 + 9*s + 43. Let v be x(-31). Let j = 4475 + v. Is j a composite number?
True
Suppose -452 = 4*n + 720. Let b = 586 + n. Is b composite?
False
Suppose 4*g + 5*i = 14713, 3*g - 2*g + 4*i - 3670 = 0. Suppose -10*o = -3*o - g. Is o composite?
True
Let l be 6/4 + -3 + 196/(-8). Let d(n) = n**3 - 7*n**2 + 7*n - 3. Let o be d(6). Is l/(o*6/(-45)) a prime number?
False
Suppose -c + 16 = 4*x, 4*x - 16 = 3*c - 0*c. Suppose c = 2*k + 5*k - 3101. Is k prime?
True
Let j = 5345 + 3852. Is j composite?
True
Suppose 0 = -55*w + 52*w + 402. Is w a prime number?
False
Suppose 242613 = t - 2*n + 58092, -5*t - 2*n + 922545 = 0. Is t a composite number?
False
Suppose 11*b - 1420 = b. Let i = b + -68. Is i a prime number?
False
Let m(u) be the third derivative of 7*u**2 + 0*u + 3/2*u**3 + 0 + 1/15*u**5 + 5/24*u**4. Is m(8) composite?
True
Let n = 451 + 1206. Is n a prime number?
True
Suppose -12 = -s - 3*a, 0*s = 5*s + a - 4. Suppose 2*k + 0*k = -2*m + 1262, s = 2*m. Is k a prime number?
True
Let x(o) = 657*o**2 + 4*o - 2. Let y be x(3). Suppose 3*s - 4*l - y = 0, 4*s + 4*l - 7887 = -l. Is s a composite number?
False
Suppose -13500 = -4*m + 4*u, 6*m + 4*u - 10139 = 3*m. Is m composite?
True
Let g = 31 - 31. Suppose g = 2*w + 2*u - 248, u = 5*w - 4*w - 114. Is w a prime number?
False
Let l be 2 - (-80)/(0 + -2). Let q = l + 24. Is 111/2 + q/28 prime?
False
Suppose 10643 = 17*m - 33710. Is m prime?
True
Let v be (-21)/(-14)*674/(-6)*-8. Suppose -v = -28*m + 26*m. Is m composite?
True
Is (1/2)/((-3)/(-158046)) - 4 composite?
True
Is (70/15 + -4)/(2/14151) composite?
True
Is (59/4)/((-5)/(-60)) prime?
False
Let f(l) be the third derivative of -15*l**4/8 - 13*l**3/6 + 8*l**2. Let b be f(-10). Is 24/(-60) - b/(-5) prime?
False
Let g(p) = 342*p + 7. Let s be (3/2)/(9/48). Is g(s) composite?
True
Let c be (-738)/(-30) - (-6)/(-10). Let j = -37 + c. Let w(b) = -b**3 - 9*b**2 - 5*b + 14. Is w(j) prime?
False
Suppose -i - 1369 = -3*k, 0 = 5*k + 5*i - i - 2310. Let n = -319 + k. Is n a composite number?
False
Let a(r) = 57*r - 11. Let b be (10/6)/((-70)/(-252)). Is a(b) prime?
True
Suppose -292468 = -4*b - 4*y, 54086 = 5*b - 2*y - 311527. Is b a prime number?
True
Suppose -6*k + 10 = -2. Suppose -5*t - r = -1322 - 4490, -k*t + 2314 = 4*r. Is t prime?
True
Let h be (-1 - -5872) + 5 + -1. Suppose 0 = -a - 4*t + 2939, -2*a - t - 4*t + h = 0. Is a a prime number?
False
Is (1/2)/(4/7112) prime?
False
Suppose 20*z - 19*z - 2 = 0. Let q(k) = 93*k**2 + 3*k - 7. Is q(z) a prime number?
False
Let c be ((-114)/7)/((-2)/14). Suppose 7*k - 5*k = c. Is k prime?
False
Let o(x) = 78*x**3 + 5*x**2 + 2*x + 1. Let q be o(-2). Let r = q + 1834. Suppose 4*b - 2609 - r = 0. Is b prime?
False
Let h(n) = -3*n**3 - 6*n**2 + 24*n + 85. Is h(-14) a composite number?
True
Let b = 102 + -102. Is 2 - (-3 - (116 + b)) composite?
True
Let d(v) = 2438*v**3 + v**2 - 3*v + 1. Is d(1) a composite number?
False
Let r(h) = -47*h**2 + 14*h + 13. Let w be r(-6). Let z = w - -4606. Is z prime?
True
Let i = 24 - 56. Let p = i - -17. Is 2/(-5) + (-4971)/p composite?
False
Let v be 0/(-7 + 4 + 1). Suppose -3*j + 3351 = 5*r, v*r + 4*r = -3*j + 2682. Suppose 0*h = -3*h + r. Is h a prime number?
True
Let h = -298 + 1468. Suppose -5*f + h = -155. Is f a prime number?
False
Let r(c) = c**3 + 14*c**2 + 30*c + 1. Is r(18) composite?
False
Let p(k) = k**3 - 7*k - 7. Let r(m) = m**2 - 7*m - 2. Let f be r(8). Let n be p(f). Suppose -2*v + v = -u + 61, 3*u + 5*v - n = 0. Is u a composite number?
False
Let k(h) = h**3 + 3*h**2 - 9*h + 7. Let o be k(-5). Suppose -18 - 140 = -o*d. Is d composite?
False
Suppose 3*w - w - 3*m + 1511 = 0, 2*m = -5*w - 3768. Suppose 3*f = -2*k + 13, 4*k + 4 = 9*f - 5*f. Is (15/(-15))/(k/w) composite?
True
Let z = -26458 - -70391. Is z a composite number?
False
Let t(b) = b**3 - 16*b**2 + 18*b - 12. Let c(r) = r - 1. Suppose s + s - 6 = 0. Let m(j) = s*c(j) - t(j). Is m(14) a composite number?
False
Let a be 235704/96 + 6/8. Let c = -1687 + a. Is c a prime number?
True
Let i be 1*5*(3 + -2). Suppose -5 + 25 = i*s. Is (-4433)/(-22) - 2/s composite?
True
Suppose 5*b = 7*k - 2*k - 20, 0 = -2*b - 3*k - 3. Let s = b - -5. Suppose s*r - 482 = 552. Is r prime?
False
Is 260300/266 - (-1)/(28/12) composite?
True
Let c = 806 + 311. Is c a prime number?
True
Let v = 166 - -253. Is v composite?
False
Let p = 64 - -127. Suppose 