(o) a prime number?
True
Suppose 1804574 = 28*x - 9*x - 1756805. Is x composite?
False
Let t = 208 + -203. Is (0 - (t + (-8)/4)) + 16424 a prime number?
True
Let v = 330 - 186. Suppose l = -7*l + v. Is 11768/12*l/12 a prime number?
True
Let w(m) = -30*m**3 + 8*m**2 + 69*m - 41. Is w(-6) a prime number?
False
Suppose -5*b - 2*k = 2*k - 1190, -4*b + k = -952. Suppose -b + 694 = r. Suppose 1890 = 2*y + r. Is y composite?
True
Is (-2)/3 - (-6 - (-1626946)/(-6)) a composite number?
False
Let p = -428 + 284. Let t = -408 - p. Let n = -85 - t. Is n a prime number?
True
Suppose -s = -4*j + 122290, -2*s = -3*j + 47626 + 44094. Let v = 56535 - j. Is v a prime number?
False
Suppose -5*t - h + 6897111 = 0, -5*t + 29*h - 23*h + 6897139 = 0. Is t prime?
True
Let t(f) = 1419*f**2 + 3*f + 1. Let y(a) = a**2 - 3*a - 67. Let w be y(-7). Is t(w) a composite number?
False
Let w(b) = 2492*b + 140. Let z be w(9). Suppose 5*x = 4*a - 90317, -a + 17*x = 12*x - z. Is a a prime number?
False
Let t(z) be the first derivative of 34*z**3/3 + 6*z**2 - 29*z + 3. Is t(14) a prime number?
True
Let n(m) = 17*m + 8*m**2 + 48*m**3 - 7*m**2 - 4*m - 3. Let b be n(5). Suppose -3*g + b = 1158. Is g a prime number?
False
Let p(j) = -451*j + 5 - 1 + 289*j - 811*j. Suppose 25*k + 41 + 34 = 0. Is p(k) a prime number?
False
Let r(c) = 7*c - 28. Let m be r(4). Suppose 3*f - 565 = 4*u, 2*u - 4 = -m*u. Let n = f - 30. Is n a prime number?
False
Suppose 20 + 25 = 5*w. Let p(k) = -25*k. Let a(q) = -73*q - 4. Let s(b) = 2*a(b) - 7*p(b). Is s(w) prime?
False
Suppose -82*j + 80*j + 8 = 0. Let l(s) = -6 - 10 + 12 + 215*s - j. Is l(6) a composite number?
True
Let s be 27*-17*(-1 + 1 + 3). Let h = -480 - s. Suppose -4*c - 2*b = -1806, -2*c = -3*b - 2*b - h. Is c a composite number?
True
Suppose 189 + 14 = -d + 4*z, -5*d - z = 1036. Let b = 734 + d. Suppose b = r - 316. Is r prime?
False
Let l = -8794 - -21251. Suppose -3*s + 11629 = -2*k + 4152, k + l = 5*s. Is s a composite number?
True
Let c = 23 - 23. Suppose 0 = 3*q + 4*h - 19, 0 = -2*q + 4*q - 2*h - 8. Suppose -q*o - 3*s + 1477 = c, -6*s + 4 = -5*s. Is o prime?
True
Suppose -101*s - 1912448 + 13776543 = -2582238. Is s prime?
False
Let q be (-1 + -3 + 1)*5*-1. Suppose -d - 1 = q. Let w(l) = l**3 + 20*l**2 + 20*l + 47. Is w(d) prime?
True
Let a(o) = -675*o + 56. Let n be a(3). Let k = 8924 - n. Is k a composite number?
True
Suppose 0 = 2*v + 2*d - 83600, -3*v + 130225 = 5*d + 4831. Is v a composite number?
True
Let v(r) = -4*r + 21. Let b be v(5). Suppose -4*i = -b - 7. Is 2/i*(481 + 4) composite?
True
Is (((-6)/84)/(8/(-112)))/(4/303412) a composite number?
False
Suppose 5*t - 16843 = 17727. Suppose 44*b - t = 43*b. Is b a prime number?
False
Is (-134)/(-17) - (-72)/612 - -126129*1 composite?
True
Let v(f) = 25*f**2 - 230*f - 1418. Is v(-49) a composite number?
False
Let z(w) = 1780*w**2 + 8*w - 61. Is z(7) composite?
True
Let h = 1077 - -306. Is h a prime number?
False
Suppose 83 - 218 = -5*c. Suppose 0 = c*f - 330232 + 68791. Is f composite?
True
Let v be 2/((-24)/84 + 48/70). Suppose v*b = 4*y - 6088, -5*y + 12*b = 14*b - 7577. Is y a prime number?
False
Let d(z) = -z**3 - 9*z**2 + 14*z - 20. Suppose -22 = 9*m - 7*m. Let u be d(m). Let x = 249 - u. Is x prime?
True
Suppose 0 = -28*c + 3*c + 75. Suppose 623 = -c*x + 2930. Is x composite?
False
Suppose -28404 = -l - 5*m, -106*l + 105*l - 4*m + 28409 = 0. Is l composite?
False
Suppose 4*j = 4*b - 1962832, -20*b - 3*j = -21*b + 490706. Is b composite?
True
Suppose -333*f - 7474146 + 435180 = -471*f. Is f composite?
True
Suppose 6*q - 7199 - 14023 = 0. Let s = 2559 + q. Let p = -1505 + s. Is p composite?
False
Suppose 69*x + 9522 = 16955448 + 6159759. Is x a prime number?
False
Let x(a) = -145*a - a**3 + 71*a - 14 - 18*a**2 + 74*a. Is x(-19) prime?
True
Is (27402/(-10))/(201/(-1675)) prime?
False
Suppose -5*l + 317906 = -3*j, -58*j = -62*j - 28. Is l composite?
False
Let o(a) = a - 4. Let p be o(4). Suppose 123*u = 47*u - 78*u + 632632. Suppose p = 5*z - 3*z + 3*h - 4112, -4*h = 2*z - u. Is z a prime number?
False
Let i(g) = -2*g**2 + 15*g - 27. Let j be i(2). Is (-6)/4 + ((-35090)/4)/j composite?
False
Suppose -r = 5*s - 28, 3*s - 24 + 15 = 2*r. Suppose -2062 = -2*j + 4*u, s*j = 18*u - 16*u + 5187. Is j composite?
False
Let y be 34/(-119) + 74/14. Suppose 4*s + 2*p - 1666 = 0, -3*p = s - y*s + 1691. Is s prime?
True
Let l be (-29 - -2)/((1 + 7)/(-3304)). Suppose -l = 10*j - 75641. Is j composite?
False
Let b be (7 - -1)*(-3)/(-4). Suppose -13*x = -15*x + b*x. Suppose -2*r + 939 + 434 = -3*v, -4*v - 20 = x. Is r a prime number?
False
Suppose 13*y - 3748199 = 5*y - 5*y. Is y a prime number?
False
Let m = 38 + -39. Let j be (-3 - -171) + (-3)/(m + 4). Suppose a - j = 696. Is a prime?
True
Suppose 78 + 352 = 10*v. Suppose -54*c = -v*c - 33869. Is c prime?
True
Let k(h) = 16*h**3 + 9*h**2 + 3*h - 14. Suppose -19*x = -14*x + 30. Let z be k(x). Let u = -2191 - z. Is u composite?
True
Let a = 73 - 156. Let f = a + 75. Is (-10082)/f - 9/(-12) a composite number?
True
Suppose -29*b - 811213 = -3*q - 27*b, -q - 3*b + 270419 = 0. Is q composite?
False
Let u(z) = 7*z. Let x be u(4). Let s be (-1341)/(-3)*3*x/6. Suppose -v = 5*v - s. Is v prime?
False
Suppose 0 = 6*m - 2*m + 4. Let u(b) = 99*b**2 - 41*b - 5. Let o(r) = 148*r**2 - 65*r - 8. Let v(g) = -5*o(g) + 8*u(g). Is v(m) composite?
True
Suppose -g + 3*k = -0*k - 504859, -18*k + 504712 = g. Is g prime?
False
Let q = 438 + -361. Suppose -84*g = -q*g - 82439. Is g composite?
False
Suppose j - 13 = -2*v, j + 14 = 3*v - 3. Suppose 0 = -v*k - 348 + 4854. Is k a prime number?
True
Let m = 129832 + -81159. Is m a prime number?
True
Let t(n) = 13012*n + 74. Let u be t(9). Suppose -7*d - u = -33*d. Is d composite?
False
Suppose 2*y - 10 = -0*n + 5*n, -3*y + n + 2 = 0. Suppose y*c - 6 = 3*c + 5*x, 3*c + 3*x = 0. Suppose 2*o - 246 = -2*g, -o = 5*g - c*g - 123. Is o composite?
True
Let q(z) = 10*z**2 + 19*z + 15. Let i(l) = l. Let p = 43 - 49. Let j(d) = p*i(d) + q(d). Is j(-8) a composite number?
True
Suppose 5*r - 12355 = 2*x + 15081, r = 2*x + 5484. Suppose 0 = -5*c + r + 10327. Is c a composite number?
False
Let t(s) be the third derivative of -s**6/120 + s**5/15 - 5*s**4/24 - 13*s**3/6 + 15*s**2. Suppose 66 = -14*w - 74. Is t(w) composite?
True
Suppose 4*t - 149994 = -2*w + 6*t, t - 149982 = -2*w. Is w prime?
False
Suppose -5*j + 4*y = -79917, 3*y - 8*y - 15 = 0. Suppose 4*h + 4009 = k - 0*h, 0 = -4*k + 5*h + j. Is k composite?
False
Let u = -163043 - -288280. Is u prime?
False
Let p(a) be the second derivative of -a**5/10 - 3*a**4/4 + 5*a**3/6 + a**2/2 - 3*a - 13. Is p(-7) a prime number?
True
Suppose -3*h + 4*x = 74920, -h = -5*h - 5*x - 99852. Let n = -9541 - h. Is n prime?
True
Suppose 8*d - 72 = 5*d. Let c = d + -23. Suppose -o = c, 3*y - 5*y + 1818 = -4*o. Is y composite?
False
Suppose -3*g + 5*p + 16978 = -20461, -4*p = -2*g + 24958. Let y = -4280 + g. Is y composite?
True
Suppose 3*p + 372 = 390. Is 501/p - 22/44 prime?
True
Let g(r) = 5*r**2 - 22*r. Let j be g(3). Let d be (-2 + 13)/(7/154). Let a = d - j. Is a prime?
True
Let w(n) be the second derivative of -162*n**3 + n**2/2 + 17*n. Is w(-1) prime?
False
Suppose -4*v = -3*u - 64048 - 80112, 3*v - 5*u - 108131 = 0. Is v a prime number?
True
Let m = 2565 + 25718. Is m a composite number?
False
Let s be (27/1)/(4*5/100). Suppose -31*k = -26*k + s. Let h = k + 58. Is h a prime number?
True
Let k = -839 - -2248. Is k composite?
False
Let p(l) = 2986*l - 334*l + 14 + 1853*l + 2978*l. Let m be p(8). Is 1/(-3) + m/39 prime?
False
Let g be -56*((3 - 7) + 9). Let h = g - -54801. Is h composite?
False
Suppose 15*m + 46675 = -10*m. Suppose -2*f - 3*f - 13440 = 0. Let w = m - f. Is w prime?
True
Let q(f) = 833*f**2 - 5*f + 265. Is q(7) a composite number?
False
Let z be 5/(-15) + (-143)/(-33). Suppose 5*x = x - z*v + 174656, 5*x + 3*v = 218326. Is x prime?
False
Let l = -59 + 59. Suppose 2706 = -l*h - 2*h. Let b = h - -2138. Is b a composite number?
True
Let c be 2/(-3) + (-2444)/(-12). Let g = c - 114. Let a = 8 + g. Is a composite?
False
Suppose -21*g + 18*g - 177 = 0. Let q = g + 61. Suppose -3*w + q*v + 6225 = 1729, 2*v = -3*w + 4516. Is w prime?
False
Let x = -7433 + 1519794. Is x a prime number?
True
L