) a prime number?
True
Is 129286/2 - (25/(-15))/((-55)/198) a prime number?
False
Let m be (-5 - -18)/(-1) + 5. Is 65078/(-91)*28/m composite?
False
Suppose -3*c = -12, -c - 80435 - 22074 = -3*q. Is q prime?
True
Suppose 0 = 7*k - 1493592 - 1371557. Is k a composite number?
True
Suppose -7 = 2*f + 3*x, -x + 11 = 4*f - 0*x. Let o be f/3*6/4. Is ((-2)/4)/(o/(-13812)) a prime number?
False
Suppose -7*v = -868 - 2261. Suppose 3346 = 2*g + 4*m, -5*g - 5*m = -8807 + v. Is g a prime number?
False
Let q(g) be the first derivative of -30*g**2 + 23*g + 36. Suppose -4 = 4*n + 24. Is q(n) prime?
True
Let z(x) be the first derivative of 53*x**2 - 7*x + 2. Suppose -5*u + 45 - 15 = 0. Is z(u) composite?
True
Let l = 34694 - 18991. Let y = l - 9702. Is y prime?
False
Suppose -4*f + 16 = 0, 2*j - 5*f - 2 = 12. Suppose -20*l + 5943 = -j*l. Is l a composite number?
True
Suppose -65*j + 3098359 = -384666. Let s = j + -32844. Is s a composite number?
True
Let m(d) = 14*d + 5 - 18*d - 4. Let k be m(-1). Suppose -3*b + x + 1012 = b, 0 = -k*b + 2*x + 1262. Is b a prime number?
False
Suppose 21*y - 25834 = -60661 + 350940. Is y composite?
False
Let l(t) = 19*t**3 + 4*t**2 - t + 17. Let o be l(7). Let z = o - 2960. Is z composite?
True
Suppose 16617 = -18*k + 21*k. Is k prime?
False
Let w(x) = -x**3 + 35*x**2 + 1962*x - 163. Is w(-48) composite?
False
Is (7 + 7 - -46247)/((-3)/6 - -1) composite?
True
Let v(x) be the third derivative of 19*x**5/15 - 5*x**4/24 + 13*x**3/6 - 43*x**2. Is v(10) a composite number?
True
Let x = 3111 + -1833. Let v = x + -687. Suppose 2 = -p + 6, 5*a - p = v. Is a a prime number?
False
Suppose 20 = -4*n, -5*n - 17 = 5*b + 8. Suppose -4*x + 9 = -3*i, b*x - 5*x = 2*i - 17. Let a(j) = 7*j**3 + 7*j + 1. Is a(x) prime?
True
Suppose 0 = 23*y + 38*y - 4318321 - 6568288. Is y a prime number?
True
Suppose 6*o + 51 - 27 = 0. Let n be (-10)/o - 9/(-6). Is (-8838)/45*(1 - 14/n) a prime number?
True
Suppose 80707 = m + 3*p + 12320, -4*p = -5*m + 342011. Is m prime?
True
Let o = 579 + -581. Is ((-5 + -8093)/o)/1 prime?
True
Let w be (16/(-10))/((-13)/(260/8)). Suppose 2*r = w*p - 690 - 942, -5*p + 2039 = -3*r. Is p composite?
False
Let y = 146674 + -104503. Is y a composite number?
True
Let g(s) = -2*s + 3. Let h be g(-6). Suppose 2*d - h = -5. Suppose d*m + z = 2694, -5*m - 5*z + 2706 = -z. Is m composite?
True
Let r = 460209 + -159910. Is r a prime number?
True
Let n be 6/4 - (7 - (-7)/(-2)). Let r = 0 - n. Suppose 0 = 6*m - r*m - 356. Is m a prime number?
True
Suppose -7*f = -7636094 - 607575. Is f a composite number?
False
Let t(r) = -730*r + 3. Let i(l) = -734*l + 4. Let k(p) = -4*i(p) + 3*t(p). Is k(3) a composite number?
True
Let b be -14 + 12 + (0 - 5). Let c = -4 - b. Suppose 0 = d + c*h - 1801, 5*d - d - 7204 = 4*h. Is d composite?
False
Let b be 2/3 - (-749)/(-21). Is 252 + (b/7)/(-5) composite?
True
Suppose 0 = 3*l - 2*w - 238, 200 = 3*l + 4*w - 8. Let h = l + -57. Suppose 18*b = h*b - 1639. Is b composite?
True
Let f = -85030 + 146361. Is f a prime number?
True
Let v(m) = 29*m**2 + 124*m - 3126. Is v(-133) composite?
True
Let q be (-5)/(-20)*0/(-5). Let z(c) = 499*c**3 + c - 1. Let i be z(1). Suppose 3*n - 1772 - i = q. Is n prime?
True
Let t(c) = -c**2 + 2*c + 69. Let x be t(0). Let f = 67 - x. Is 101 + 4/(f/(-1)) composite?
False
Suppose 2068325 = -84*j + 326*j - 33495753. Is j prime?
False
Let w(i) = i - 38. Let n be w(28). Let b(a) = 206*a + 5. Let s(f) = 41*f + 1. Let c(v) = 2*b(v) - 11*s(v). Is c(n) composite?
False
Suppose 0 = 54*m - 51*m - 24. Let t(k) = -k**2 + 9*k + 14. Let z be t(m). Is 2*1 + 13926/z a prime number?
False
Let s = 13 + -8. Suppose 0*u + 5*u = -2*l + 6999, 4*u - 5606 = -s*l. Is u prime?
True
Let a(r) = 2473*r + 39. Let p be a(9). Let w = p - 11050. Is w a prime number?
False
Suppose -2*v + 2 + 14 = 0. Let x be (-2)/v - 38*(-150)/16. Suppose -465 - x = -i. Is i composite?
False
Is 13/(-2)*(-9)/(-351)*-10684302 a composite number?
False
Let z(y) = -2*y**3 + 3*y**2. Let b be z(-3). Suppose 982 - b = 17*d. Let a = d - -374. Is a prime?
False
Let l be ((-5)/((-25)/6))/(21/35). Suppose 3*j + 4383 - 65 = 2*f, -3*f + 6477 = -l*j. Is f a prime number?
False
Suppose 5*a - 7*a = -8. Suppose -a*o - 8 = l, 4*o - 8 = l + 3*o. Let h(x) = -2*x + 27. Is h(l) composite?
False
Suppose -m + 123459 = -4*c, 4*m + c - 242615 = 251357. Is m composite?
False
Let k = 51 + -47. Let h be (-7)/(-3) + (0 - k/12). Is 1192/6*((-7)/(-2) - h) a prime number?
False
Let b(i) = 1343*i**3 + 146*i**3 + 419*i**3 + 2*i**2 - 2 + 1. Is b(1) prime?
False
Let y be 21*-4*100/6. Is (-795473)/(-25) + (-112)/y composite?
True
Let r(a) = 723*a**2 + 232*a + 27. Is r(24) a prime number?
False
Suppose 186477 + 382574 = 35*q - 28*q. Is q a prime number?
True
Let k(c) = 804*c - 105. Is k(13) composite?
True
Let h(x) = 2*x**3 - 68*x**2 - 110*x + 999. Is h(59) prime?
True
Suppose -173*x + 178*x + 490 = 0. Let s = 117 + x. Is s a prime number?
True
Let a(k) = 1262*k + 2983. Is a(42) a prime number?
True
Let q(h) = h - 3. Let v be q(3). Let w(i) = -i**3 + 7*i**2 + 17*i + 21. Let r be w(9). Suppose v = 4*f + n - 14608 + 1697, -r = -4*n. Is f a prime number?
False
Let f(y) = 2072*y**2 - 10*y + 21. Is f(4) a composite number?
True
Let s be (22/4)/((-4)/(-1592)) + -2. Let z = s - 1556. Is z a composite number?
False
Is (-85)/(2720/(-24956736)) - (-1 + -4) composite?
True
Let o(z) = 559*z + 113. Let j(d) = -2793*d - 565. Let x(n) = 2*j(n) + 11*o(n). Is x(7) a composite number?
True
Let l(a) be the first derivative of 27*a**4 + 2*a**3/3 - 3*a**2/2 - a + 1. Let n be 3*22/(-33)*-1. Is l(n) a prime number?
False
Let i(j) = 119*j**2 + 6*j + 12. Let v be i(-5). Suppose -3*p - h = -v, p - 5*h + 3950 = 5*p. Is p a prime number?
False
Suppose -4*x + 471091 = -5*k, 0 = 3*x + 2*x - 2*k - 588868. Suppose 10735 = -29*l + x. Is l composite?
False
Let i(m) = -m**2 - 4*m. Let s be i(-1). Suppose -s*v + 13 = -2. Suppose 4*p - 1954 = r, -v*p + 205 = r - 2242. Is p a prime number?
False
Let z(c) = -74*c**3 + 55*c**2 + 32*c + 202. Is z(-15) a composite number?
False
Suppose 6*a - y = a + 10, -3*a + 6 = -3*y. Suppose a*u - 28 = 6*u. Let p(r) = 16*r**2 - 6*r + 9. Is p(u) a prime number?
False
Let l = 392339 + 288750. Is l a composite number?
False
Suppose 3*x + 2*p - 44 = 0, 0 = -2*x - 2*p - 2 + 32. Suppose -r + 2 - 4 = 0. Is 161/x*(86 - (r + 2)) composite?
True
Suppose 2*g + 43 = -5*p, 0 = 6*g - g - 5. Let y(o) = 564*o**2 + 14*o + 89. Is y(p) composite?
True
Let z(o) = -o**3 + 10*o**2 - 17*o + 2. Let n be z(8). Is (-4465)/(-5 + 0) - n a prime number?
False
Let t(b) be the third derivative of -b**6/120 + 4*b**5/5 - b**4/24 - 7*b**3/2 + 188*b**2. Is t(8) a prime number?
True
Let y(j) = 11*j**2 - 894*j - 169. Is y(-68) prime?
True
Is 319243 + 4*((-21)/(-2) + -8) a composite number?
True
Let s = 61 + -38. Suppose -543*x + 548*x = -2*a - 907, 3*a + 1369 = x. Let c = s - a. Is c a prime number?
True
Let p be 11/((-55)/(-20)) - -7. Suppose 31449 = p*z + 7216. Is z a prime number?
True
Suppose -25*a + 28*a = 468. Is 24/a + 1315102/26 composite?
False
Let p be (-44 - -8)/((-32)/17 - -2). Let a = p + 383. Is a a prime number?
False
Let j be (-318)/(-14) + 50/175. Suppose -2*y = -j*y + 171885. Is y a composite number?
True
Suppose -4*p = 3*x + 26, 22 = -2*x - p - 4*p. Is x/(-16) - (-444145)/104 prime?
True
Let w = 96288 + -41005. Is w a composite number?
True
Suppose y = 3*t + 459368, 105*y - t + 2296808 = 110*y. Is y a composite number?
True
Suppose -2*v + 2*s + 36090 = 0, 0 = -3*v - 2*s + 17102 + 37033. Suppose -10*z + 33265 = -v. Is z prime?
False
Suppose 83412 = 16*j - 124252. Is j prime?
True
Let b(v) = 57488*v - 1765. Is b(4) a prime number?
False
Suppose -12*i = -91 + 31. Suppose 3*b - i*b = -2242. Is b a prime number?
False
Is (-2)/(0 + 42/(-63)*3/661603) a composite number?
False
Let b(s) = -s**3 + 17*s**2 + 5*s - 31. Let i be b(17). Suppose 47*d - i*d + 67739 = 0. Is d a prime number?
True
Let o = -18 - -25. Let n be o/((-35)/(-4)) + 20002/10. Suppose -v = 4*y - n, v - 2 = 3. Is y a prime number?
True
Let f(o) = 4338*o + 5. Let m(d) = d**3 - 10*d**2 - 2*d + 22. Let v be m(10). Is f(v) a prime number?
True
Suppose 3*w - 5 = 5*r, 0*r + 1 = -2*r + w. Suppose 5*q + r*q - 3682 = 0. Suppose -q = -0*d - 