(1788/10)/(k/(-5)) prime?
False
Let d(o) = 2 + o - 1 + 6. Let u be d(-3). Is u/4 - 3*-84 composite?
True
Let k(l) be the second derivative of 12*l + 3/2*l**2 + 157/6*l**3 + 0. Is k(4) prime?
True
Suppose -8*y + 41 - 1 = 0. Suppose 3347 = y*g - 1038. Is g a composite number?
False
Is (3 - 5 - -1)/(2/(-29486)) prime?
False
Let x be 50/12 - (-7)/(-42). Suppose 0 = -x*a + 56 + 1460. Is a a composite number?
False
Let g be -1*(-11 + 2 - -4). Let p be (1 + 1)/(-1) - -2. Suppose g*r - 1294 = -p*a + a, -r - 2*a + 261 = 0. Is r prime?
False
Suppose -670 - 412 = -2*y. Is y a composite number?
False
Let n(y) = -882*y - 115. Is n(-11) a prime number?
True
Let t(m) = 26*m**2 + 2*m - 5. Suppose -4*i - l - 4 = 0, 5*l = 5*i - 0*l - 20. Suppose i = 8*k - 10*k + 8. Is t(k) composite?
False
Let u = 10 - 8. Let m be (5/10)/(u/(-4)). Let y(v) = -150*v**3 - 2*v**2 + 1. Is y(m) composite?
False
Let l be 3 + -3 - (-6224 + 4). Suppose -l = 9*x - 13*x. Is x a prime number?
False
Let o = -289 + 1076. Is o a prime number?
True
Let n = 1614 + -712. Suppose 2*g = -2*c + n, -6*g + 1321 = -3*g - 5*c. Is g a prime number?
False
Suppose -5*q - 36057 = -5*v + 18848, v = -q + 10977. Is v a composite number?
False
Let v(h) = 435*h + 36. Let y(x) = -145*x - 12. Let o(r) = 2*v(r) + 7*y(r). Is o(-5) composite?
True
Let p(g) = g**3 + 17*g**2 + 17*g + 19. Let j be p(-16). Suppose j*x - 7 - 2 = 0. Let u(w) = 3*w**3 + 4*w**2 - 8*w + 2. Is u(x) prime?
False
Let n = 663 + -656. Is n composite?
False
Let b = -955 + 3056. Is b a composite number?
True
Let a(g) = -11*g. Let b be a(-1). Suppose 1277 = 8*l - b. Is l composite?
True
Let n be -1 - ((-22)/(-10) + (-4)/(-5)). Is ((-2)/(-4))/(n/312*-1) a composite number?
True
Suppose 3*a = 7*a - 1964. Is a a prime number?
True
Let u = 4267 - 2138. Is u prime?
True
Let s = -3923 - -117274. Is s a composite number?
True
Suppose 4*d - 3*i + 2*i - 1308 = 0, 2*d - i = 652. Suppose d = -0*u + u - q, 3*u - 2*q = 979. Is u prime?
False
Let r(z) = -z**2 - 12*z + 3. Let a be r(-6). Let i be (-3)/1*(-52)/a. Is i/2 - 1251/(-3) a prime number?
True
Suppose 10*k = -4*a + 9*k + 730, -5*a + 4*k + 923 = 0. Is a a prime number?
False
Let y(o) = -o**2 - 4*o + 14. Let s be y(-6). Suppose 4*h + 269 = f + s*h, -f = -3*h - 272. Is f a prime number?
True
Suppose 5*u - 3*q = 3*u + 15281, 0 = 3*u - q - 22918. Is u a prime number?
True
Let g = 23221 + -10518. Is g composite?
False
Suppose 2*z + 0 = -3*t - 1, 0 = 3*t - 5*z - 34. Suppose i = -2*i - t. Let j(h) = -186*h**3 + 2*h**2 + 3*h + 2. Is j(i) a composite number?
True
Suppose -673*d + 674*d = 2921. Is d a prime number?
False
Let m = -27029 - -43566. Is m a prime number?
False
Suppose 2*b - 3*n = 2*n + 40, 2*b - 40 = -2*n. Let j = b - 17. Is -1*j + 219 + 1 prime?
False
Let m = 136 + -215. Is 3*m*(-11)/3 a composite number?
True
Let c be 25/(-10)*12/(-10). Suppose 1624 = 3*h - v, c*v = h + v - 543. Is h a prime number?
True
Let y(w) = 12*w**2 - 2*w + 1. Let j be y(2). Let f(q) = 122*q**3 - 2*q**2 + 2*q - 1. Let n be f(1). Suppose 2*v - j - n = 0. Is v a composite number?
False
Let p be (26/(-6))/((-7)/21). Let u = p + -11. Suppose j = -u*j + 1659. Is j composite?
True
Let j = 2851 - -6736. Is j prime?
True
Let l(q) = q**2 - 20*q + 23. Let u be l(19). Let b = -1 + 5. Is 453/b - 1/u a prime number?
True
Suppose -3*m + 5*t + 62091 = 0, 3*m = -4*t - 16208 + 78299. Is m prime?
False
Let p = 13641 - 7456. Is p a prime number?
False
Suppose -y + 1475 = 2*d, -3*y + 4*d + 4432 = 3*d. Suppose 2*t + 5*t = y. Is t a composite number?
False
Suppose -5*o - 3*s + 1806 = -9206, 3*o = -3*s + 6612. Suppose -14091 = -5*w - u, -615 - o = -w + 3*u. Is w composite?
True
Suppose a - 1109 - 600 = 0. Is a a prime number?
True
Suppose 25*z - 64542 = 19*z. Is z a prime number?
False
Suppose 0*m = -3*c + m + 12289, 3*m = 2*c - 8181. Suppose -3*o - 3*o + c = 0. Is o composite?
False
Suppose 1320*q = 1303*q + 456943. Is q a prime number?
True
Suppose 2*r - a - 3 = -2*a, -r + 4*a = 3. Suppose 0 = -5*n - r + 16. Is -662*((-3)/2)/n prime?
True
Let t(j) = -14*j + 13. Suppose -2*n = -3*n - 3. Let w(a) = 15*a - 14. Let k(v) = n*w(v) - 4*t(v). Is k(9) a composite number?
False
Suppose -5*d + 15143 + 6554 = 4*t, -27105 = -5*t - 3*d. Suppose -3*q + 8137 = -2*k - 2*k, k = 2*q - t. Is q a composite number?
False
Let a be 14/(-105) - (-456)/45. Let r = 68 - a. Is r a prime number?
False
Let b(a) = 7*a**3 - 3*a**2 + 5*a - 4. Is b(5) composite?
False
Suppose -5*k + 1 = -4*p, -p - 3*k + 26 = k. Let g(l) = 39*l + 2. Let m be g(p). Let b = 51 + m. Is b prime?
False
Let o be (-1)/(-4) - 22/(-8). Let b be 1 - o - 1 - -444. Suppose -304 - b = -5*f. Is f a prime number?
True
Let y(l) = -l**3 + 10*l**2 + 2*l - 1. Let w(c) = c**3 - 10*c**2 - 2*c. Let x(t) = 2*w(t) + 3*y(t). Is x(7) a composite number?
True
Let w(u) = u**2 + 17*u + 4569. Is w(0) a prime number?
False
Let h = 20415 + -11998. Is h prime?
False
Suppose d + x = 2*d + 4, 0 = -5*d - 2*x - 13. Let t be (0 - 0) + -84 + -1. Is -1*(d + 5) - t a composite number?
False
Let u = -73 + 72. Is -1*(-662)/6*(u - -4) prime?
True
Let x(g) = -20*g**2. Let q be x(1). Let j be ((-8)/(-10))/(8/q). Is 3 - (j + -92)*1 a composite number?
False
Suppose 539 = -2*d + 9*d. Suppose -d*m + 1473 = -74*m. Is m a prime number?
True
Let a be ((-4)/(-3))/(7/21). Suppose -2032 = a*g - 7892. Is g a prime number?
False
Let f(z) = -25*z + 2. Let t be f(-4). Suppose -456 = -7*d - d. Suppose t = 3*h - d. Is h a prime number?
True
Let y(n) = 5*n - 1. Let l be y(1). Let s(r) be the second derivative of 13*r**4/12 + r**3/3 - 5*r**2/2 + 2*r. Is s(l) composite?
False
Let s(q) = q**2 - 10*q + 4. Let r be s(9). Let w(z) = -z**3 - 3*z**2 - 8*z - 7. Is w(r) a composite number?
False
Let p(u) = u**2 + 7*u + 7. Suppose -4*s + s + 3 = 0. Let f(h) = h. Let r(m) = s*p(m) + 2*f(m). Is r(-15) composite?
False
Let o(m) = -m + 14. Let c be o(12). Suppose -c*k = k - 963. Is k prime?
False
Let h = -1 - -3. Suppose -h*z - 1868 = -6*z. Is z a prime number?
True
Let m(t) = -t**3 + 6*t**2 - 2*t + 3. Let v be m(6). Let y = v - -17. Is ((-39)/(-12))/(2/y) a prime number?
True
Let j(k) = -521*k. Let r(b) be the first derivative of -b**4/4 + 2*b**3 + 3*b**2 + 6*b - 1. Let a be r(7). Is j(a) composite?
False
Let p = -349 + 352. Let n be 1*4*(-3)/(-4). Suppose 0*i + 439 = n*i - 5*b, 431 = p*i - b. Is i a composite number?
True
Suppose -3*a = 3*d - 18, 0*d = -4*a + 5*d - 3. Suppose -3*n - 2 = a*x - 5, 3*n + 2 = -4*x. Suppose 0 = -n*b + 10*b - 364. Is b prime?
False
Suppose -6*i + 16*i = 124510. Is i a prime number?
True
Let p(i) = 3*i - 263. Let s(o) = o - 88. Let y(m) = -6*p(m) + 17*s(m). Let x(n) = n - 4. Let c be x(4). Is y(c) a composite number?
True
Let d be (-3 - -4) + (-2 - -3). Suppose 0 = 2*s + d, 5*f + s + s + 2 = 0. Suppose b - 2*q - 96 = -b, -4*q + 12 = f. Is b a composite number?
True
Suppose 0 = -55*p + 69*p - 29806. Is p prime?
True
Suppose -9*i + 8*i = -4. Let a be i/6 + 1384/12. Suppose -2*c + 32 = -a. Is c prime?
False
Let p be (-4)/8 + 471/6. Let i = -53 + p. Suppose 5*l + 3*a - 272 = 58, -5*a - i = 0. Is l prime?
False
Suppose 2*x + 9 = 5*m, 2*x = -x + 5*m - 6. Suppose 0 = x*r + 1 - 7. Suppose r*u + 3*u = 1735. Is u a composite number?
False
Let u(f) = f**2 + f + 4. Let m be u(3). Suppose m*z = 20*z - 4748. Is z a prime number?
True
Let o(l) be the first derivative of l - 197/2*l**4 + l**2 + 2/3*l**3 - 5. Is o(-1) prime?
False
Suppose 175052 = 11*b - 19967. Is b a prime number?
True
Suppose -y - 3*y = -20. Let u = -5 + y. Suppose m - 5*m + 424 = u. Is m prime?
False
Let s(k) be the first derivative of k**4/2 - k**3 - 2*k**2 + 4*k - 2. Let c be s(5). Is c/6*(-1 - -3) a composite number?
False
Suppose 0 = 3*z - 3*n - 5848 - 10949, 0 = -2*z + 3*n + 11198. Is z prime?
False
Suppose 2*h - 510 = 286. Let i = 729 - h. Is i a composite number?
False
Suppose -4*q + 3*w = -27, -3*q + 2 = q + 2*w. Suppose q*p = -p - 3*m - 9, 2*m = p + 5. Is (p - 75)*-3 - -1 prime?
False
Suppose 57*c + 71397 = 66*c. Is c prime?
True
Let g = 42654 - 30203. Is g prime?
True
Suppose 2*z = -5*w + 49, -2*z + 7*z = -2*w + 28. Is 2818 - (-1 + 1) - (w - 10) a composite number?
False
Let q(l) = 5745*l - 119. Is q(6) prime?
True
Let c(w) = w**2 - 9*w. Let f be c(9). Suppose 4*i - 20 = -4*m, 2 