) a prime number?
False
Let o(f) = -1704*f - 19. Is o(-5) a prime number?
True
Let r be (2/(-2))/(3/(-30)). Let u = 41 + r. Is u a prime number?
False
Let g = 160 + -117. Is g prime?
True
Is (5/(-10))/((-3)/7602*1) composite?
True
Let l = 987 - 198. Is l a prime number?
False
Let r(v) = 5*v**2 - 3*v - 13. Is r(-5) a composite number?
False
Suppose 0 = b - u + 170 + 757, u = -5*b - 4653. Let x be b/(-25) - 2/10. Suppose x = l - 0*l. Is l a composite number?
False
Let k be 4/(-6) + 280/24. Suppose k*l = 14*l - 357. Is l a composite number?
True
Let n be (-5)/(0 + (0 - 1)). Suppose 1146 = 4*f + l - 2*l, -f + n*l + 277 = 0. Is f a composite number?
True
Let f be 1 - -2 - (-2 - -3). Suppose 2*y + 5*p + 15 = 1, -f*p + 7 = 5*y. Is 1/(y + (-460)/154) a composite number?
True
Let v = 9 + -5. Suppose 0 = -f + 4*f + 4*m - 631, v*f - 2*m = 856. Is f prime?
False
Suppose z + 2 = -4*f - 3, 20 = -2*f - 4*z. Let q = f - 2. Is 364/12 + q/(-3) prime?
True
Let i(b) = 22*b**2 - b - 4. Let f(r) = r + 8. Let v be f(-5). Is i(v) a prime number?
True
Let n be (-7917)/(-14)*(-4)/(-6). Suppose -3*i = -4*i + n. Is i composite?
True
Suppose w + w - 1125 = l, 4*l + 2240 = 4*w. Is w a composite number?
True
Let i = -135 + 209. Let k(p) = p**2 - 2*p + 1. Let a be k(1). Suppose l + l - i = a. Is l a composite number?
False
Let t be (1 - 2)*(-3 - -4). Is 82 - (t + 3 - 3) a composite number?
False
Suppose p = -5*t + 2326, 3*t + 5420 = 5*p - 6350. Is p a composite number?
False
Let n be (-684)/(-10) - (-2)/(-5). Suppose 3*c + n = 167. Suppose -3*s + 0*s = -c. Is s prime?
True
Let l = -9 - -28. Is l composite?
False
Suppose -3*o = -5*g + 2*o - 40, 5*g + o = -34. Let q(u) = u**2 - 3. Is q(g) a composite number?
True
Let o(a) = 1500*a**3 - 4*a + 3. Is o(1) prime?
True
Let h(k) = 9*k + 8. Suppose 4*m + 4*g + 38 = 2, -3 = 3*m - 5*g. Let l be h(m). Is (l/4)/(2/(-4)) composite?
False
Let p(h) = -4*h + 5*h**2 + 6*h**3 - 2*h**2 + 6 - 3. Suppose 2*g - 13 = -9. Is p(g) a composite number?
True
Let u be 1/(-2)*(2 + -2). Let g(j) = -j + 187. Is g(u) composite?
True
Let f(i) = 94*i**3 + 2*i**2 + i. Let w be f(2). Let x = -259 + w. Is x a prime number?
True
Let p = 3387 + -2305. Is p composite?
True
Suppose -16 = -2*p - 0*p. Is 1/(-2 - (-18)/p) prime?
False
Is (4 + -3)*-3 + 160 prime?
True
Suppose -2*w - 2*w = 5*h - 613, 0 = -w + 5*h + 172. Is w prime?
True
Let u(a) = -2*a**3 - 2*a. Let h be u(-3). Is h - (6/(-3) - -4) a prime number?
False
Is (3/(-2))/((-15)/590) a composite number?
False
Let q = 3 - 7. Let s(p) = -p**3 - 5*p**2 - 5*p - 1. Let r be s(q). Let z(n) = 6*n**2 + n - 4. Is z(r) prime?
True
Suppose 4*q - 2785 = 867. Is q a prime number?
False
Suppose -5*f - 3*f + 3176 = 0. Is f prime?
True
Let z be (3 - -1) + (-5 - -3). Suppose z*d = 249 + 337. Is d a prime number?
True
Let x = 10 - 0. Suppose -x*p + 5*p + 335 = 0. Is p composite?
False
Suppose -2*d = -4*m - 414, 0*d - 2*m = -5*d + 1051. Is d a prime number?
True
Suppose -3*i - m + 1431 = 0, 2*m - 1841 - 65 = -4*i. Is i a prime number?
False
Let a = 295 - -592. Is a composite?
False
Let h = 386 - -155. Is h composite?
False
Let d = -26 - -28. Suppose 5*p = -2*o + 874, -p + 866 = d*o + 2*p. Is o a composite number?
True
Suppose 2382 = -14*h + 20*h. Is h composite?
False
Suppose -d + 570 = 4*d. Suppose -4*p + y = 3*y - d, -5*p + 140 = 3*y. Suppose 3*o - 3 = -0*o, o = -3*j + p. Is j composite?
True
Let p(l) = l**2 + 5*l + 2. Let s be p(-5). Suppose 4*m = -2*t - 18, -2*m - 3*t + 3 = s*t. Is (-86)/m + (-6)/(-9) a prime number?
False
Let w(m) = 2*m**3 + 6*m**2 - 5*m - 4. Is w(5) a composite number?
True
Suppose -8*z + 4*z = -12. Let j(q) = 5*q - 6*q + 10*q - z. Is j(6) composite?
True
Suppose 2*l - 1636 = -522. Is l a composite number?
False
Let c = -44 + 63. Suppose 4*z - 3*d = 40, 3*d = -z + 6*d + c. Is z a prime number?
True
Let t(s) = 2*s + 7. Let f be t(-5). Let a(i) = 47*i - 11. Let m(l) = -24*l + 5. Let u(c) = f*a(c) - 7*m(c). Is u(3) prime?
True
Let k be 1 + -1 - (-1 + 9). Let h = k - -4. Is 2/h - 129/(-6) composite?
True
Suppose 5*b - 3 = -3*h + 1, 4*h = -8. Suppose -106 = -4*i + b*i. Is i a prime number?
True
Let y(t) = 60*t - 2. Let v be y(-2). Let c be (1/1)/((-2)/v). Let u = -26 + c. Is u prime?
False
Let t be (60/3)/(3 - 1). Is ((-15)/t)/(2/(-116)) a composite number?
True
Let v(q) = 26*q + 7. Let k(f) = 51*f + 13. Let y(a) = 6*k(a) - 11*v(a). Is y(8) composite?
True
Suppose -d = -4*v - 61, 4*v - 16 = -0*v. Suppose -n + 2*h + d = 0, 2*n + h = -3*h + 178. Is n composite?
False
Let c = 64 + -6. Is c a prime number?
False
Let r = 0 - -6. Suppose p - w = w + 47, r = 2*w. Is p a prime number?
True
Let m(f) be the second derivative of -f**5/60 + 5*f**4/12 + 5*f**3/3 + f**2 - 2*f. Let h(u) be the first derivative of m(u). Is h(7) composite?
False
Suppose 0 = 4*p + 5*a - 6 - 1, 3*a - 1 = -2*p. Is ((-10)/(-3))/(p/84) prime?
False
Let q = 113 - 28. Is q prime?
False
Let z(f) = 7*f**2 - 26*f + 4. Is z(9) composite?
False
Let n = -128 + 507. Is n a prime number?
True
Let i be (-1)/2 - 3/(-6). Suppose 3*x + i*x = 12, 0 = 3*o - 2*x - 97. Is o a composite number?
True
Let o be (-83)/((4 + -3)*-1). Let t = 162 - o. Is t a composite number?
False
Let l(c) = -18*c - 2. Let j be l(2). Let s = 249 - j. Is s a composite number?
True
Let r(c) = -c**3 - 12*c**2 - 2*c + 27. Is r(-12) prime?
False
Let v = -2293 - -4092. Is v prime?
False
Suppose -3*q - 2*q = -4*w - 5, 3*w = q - 1. Let a(f) = -3 + 13*f - 3 - q. Is a(5) composite?
True
Suppose 0 = 5*z - 3*a - 6886, 3*z - 4149 = -9*a + 5*a. Is z a prime number?
False
Let y = 30720 + -20455. Is y a composite number?
True
Let n be (4/2)/(-1 + 0). Let d(u) = 3*u - u + 2*u**2 + 2 + 5*u**2 - 3*u**2. Is d(n) prime?
False
Is (-27)/9 + (111 - -1) prime?
True
Let z(x) = 250*x**3 + 1. Is z(1) composite?
False
Let u(v) = v**2 + 3*v - 3. Let m be u(-5). Suppose 3*y - m*y + 24 = 0. Is 159/y*(0 + 2) prime?
True
Let m = -217 - -420. Is m a prime number?
False
Let p(o) be the third derivative of 71*o**4/24 - o**3/3 + 3*o**2. Is p(3) composite?
False
Suppose -o + 0*o = -25. Suppose -6*l + l = -o. Suppose 0 = -t + 8 + l. Is t prime?
True
Let q(m) = m + 2. Let w be q(7). Suppose 0*j + 5*j = 65. Is 6/(w/3) + j composite?
True
Let h(q) = 732*q**2 - q + 1. Let b be (3*1)/(2 + 1). Let l be h(b). Is (-2)/(-5) + l/20 a composite number?
False
Let c be (-3 - -2)/(1/151). Let p = c - -218. Is p prime?
True
Let k(g) = 2*g + 10. Let d be k(-7). Let q = d - -17. Is q a prime number?
True
Let k be 7 - ((-2)/(-2) - -2). Suppose -5*q - k*z + 1055 = -2*z, 0 = q + 3*z - 211. Is q composite?
False
Is 39704/24 + 2/3 a composite number?
True
Suppose -n - 3*n = 2*p - 14, 0 = -4*n + 5*p + 7. Suppose 0 = -n*y + 2*c + 103, c + 101 + 80 = 5*y. Is y a composite number?
False
Suppose -648 = -6*l + 114. Is l a prime number?
True
Let b(r) = -20*r + 3. Let q(f) = 20*f - 4. Let d(j) = 7*b(j) + 6*q(j). Is d(-2) composite?
False
Let z(m) = 193*m**2 + 6*m + 7. Let f be z(-3). Suppose x = -x + f. Is x a prime number?
True
Suppose 3*t - 2*i + 76 = 0, -t - 3*i - 29 + 0 = 0. Let s = 101 - t. Is s prime?
True
Let m(n) = 82*n**2 - 1. Suppose -t = -2*t - 4*f + 5, 0 = -2*t + 2*f. Let o be m(t). Suppose -o = 3*i + 3*l - 249, 100 = 2*i - 2*l. Is i composite?
False
Suppose 3*m + g + 9 = -m, 5*m - g = 0. Let s(b) = 24*b + 2. Let l be s(-4). Is (l/4)/(m/2) composite?
False
Is (3453/6)/(2/4) composite?
False
Suppose 0 = 5*s - z - 36, s - 2 = -z + 10. Let c be (-9 + s)/((-2)/(-24)). Is (134/4)/((-6)/c) a composite number?
False
Suppose 0 = 2*u - 12 + 4. Suppose 8*t - 132 = u*t. Is t prime?
False
Let x(k) = -6*k + 11. Let y be x(-9). Let s = y + -46. Is s a prime number?
True
Suppose -5*h + 16 = -g, -4*g = -9*g + h + 16. Let t(i) = 3*i**2 - 6*i**2 - 6 + 0 + 4*i + i**3 + 0*i**2. Is t(g) prime?
False
Suppose -3*m - 4 + 10 = 0. Suppose -c + 0*c + m = 0. Suppose -3*k - c*k = -65. Is k a prime number?
True
Suppose 4*s - 648 = 4*z, -3*s = 5*z - 292 - 194. Let g = -77 + s. Is g a composite number?
True
Suppose 0 = -5*y - 5*p - 25 + 115, 5*y = 2*p + 125. Let u = 8 + y. Is u prime?
True
Suppose -2*s + 5*f + 21 = 2*s, -2*f = 2. Suppose -5*w = -s - 21. Is 21/9*3*w a composite number?
True
Let g be 172*15/(-36)*-3. Let d = g - 30. Is d a composite number?
True
Let m(o) = 8*o