) - 1286/c a prime number?
False
Suppose -3034 = -4*r + 1258. Suppose -4*h - 237 = -r. Is h a composite number?
True
Suppose 6*r = 5*r + 191. Let v be (-8)/36 + r/9. Is (6/v + 0)*329 a composite number?
True
Suppose -4*a + 2*a - 10 = 0. Let i be ((-92)/a)/(2/10). Suppose 181 + i = 3*z. Is z a composite number?
True
Let p(a) = a + 17. Let c(i) = 2*i + 35. Let x(t) = 3*c(t) - 5*p(t). Is x(-7) prime?
True
Suppose -p + 4*r + 100423 = 0, -9*r + 10*r + 3 = 0. Is p a prime number?
True
Let r(w) = -w**3 - 8*w**2 + 17*w - 4. Let l be r(-10). Suppose n - 6 = -p + 20, -p + l = -3*n. Is p a prime number?
False
Let u = 16 + -14. Suppose 2*h + u = -6. Is 5 + h + 2 - -862 a prime number?
False
Let v(u) = 5*u**2 - 2*u - 3. Let o be v(3). Suppose 7*j - 2*j + 87 = -2*h, -66 = 4*j - 2*h. Let z = o - j. Is z a prime number?
True
Suppose -5*f - 4*g + 0*g = -22, -2*g = -3*f. Suppose 5*d = -f*k + 23, 0 = -4*k + 2*k - 2. Suppose 248 = d*y - 107. Is y a prime number?
True
Suppose 65 - 45 = 2*u. Let y(i) = 3 + 3*i - 4 + 11*i. Is y(u) prime?
True
Suppose -544 = -10*f + 5396. Let a = f + 2327. Is a composite?
True
Suppose -6*k + 4*k - 4*c = -22422, -3*c + 11216 = k. Is k a composite number?
True
Let a(j) be the first derivative of j**4/4 + 19*j**3/3 + 8*j**2 - 3*j - 12. Is a(-17) composite?
True
Is ((-57)/30*-4)/(42/315) a composite number?
True
Let m = 13585 - 7604. Is m composite?
False
Suppose 3*d + 4*t - 15079 = 0, -2*d - 13*t + 10022 = -18*t. Is d composite?
False
Suppose -25274 - 20209 = -3*g. Is g prime?
True
Let n be 1410 + ((-12)/18 - 2/6). Let w = n - 960. Is w prime?
True
Let v = -23 - -28. Suppose -v*u = -1996 - 989. Is u composite?
True
Let a(s) = 6*s**3 - s**2 + 6*s + 6. Is a(13) a prime number?
False
Let m = 47 + -45. Is (m + (-3036)/16)/((-2)/8) a composite number?
False
Let j(x) be the third derivative of 7*x**6/60 + x**5/30 - 7*x**4/24 - 11*x**3/6 - 11*x**2. Is j(4) a prime number?
False
Suppose 2*h = -5*m + 890, -3*m = 4*h - 4*m - 1736. Suppose 4*s = -0*l - l + h, 1357 = 3*l - s. Is l prime?
False
Let x(a) = -2*a + 19. Let k be x(9). Let c(o) = 78*o**2 - 1. Is c(k) prime?
False
Let q be (19 - 0) + (-18)/6. Suppose 9*o = 5*o + q. Suppose -4*i - 7 = -l + 176, 3*l - 565 = o*i. Is l a prime number?
True
Suppose -13*p + 16*p = 4*n + 87381, 0 = -5*n - 15. Is p a composite number?
False
Let j(u) = 13*u**2 - 22*u + 42. Let h be j(28). Suppose 4*v + 2*q - h = 0, 0 = -2*v - 6*q + 3*q + 4799. Is v a composite number?
True
Let n = -13256 - -22437. Is n prime?
True
Suppose -20 = -4*z - 2*i, 16 = -0*z + 3*z + i. Let p = 15 + z. Is p a composite number?
True
Let x(z) = -z. Let r be x(6). Let j be ((-2)/r)/(4/108). Suppose 8*k = j*k - 83. Is k prime?
True
Let l(o) = 8*o**2 - 12*o - 21. Is l(4) composite?
False
Let f(l) = 6*l**3 + 4*l**2 - 7*l + 6. Let j = -27 - -32. Is f(j) composite?
False
Suppose l + 5 = -5*v + 33, 5*l = 5*v + 140. Let u be l/15 + 6/45. Suppose -7*w + 215 = -u*w + 4*d, 4*w - 203 = 3*d. Is w prime?
True
Is 4*((-420277)/(-220) + 3/(-5)) a composite number?
False
Let d(s) = -s**3 - 5*s**2 - s - 2. Let m be d(-5). Suppose -5*z + 2*z = 3*g - 108, -m*z = -5*g - 116. Let y = -15 + z. Is y a composite number?
True
Suppose 5*m = -2*q + 34 + 129, -5*q + 5*m + 390 = 0. Suppose -q = -5*p + 386. Is p prime?
False
Let d(r) = -4*r + 59. Is d(6) composite?
True
Is (-23)/(-92) - (-94764)/16 a prime number?
True
Let b(z) = -6*z**2 - z + 1. Let h be b(-2). Let t be 518/h*(0 - -3). Let s = -41 - t. Is s a prime number?
False
Suppose -10 = -0*b - 5*b. Let s(y) = -b*y + 7*y + 12*y. Is s(5) a composite number?
True
Suppose 2*h + 3*w = -3, -2 = 4*h + 5*w + 3. Let z(c) = -c**2 - c + 2437. Is z(h) prime?
True
Let o be (-20)/6*48/(-32). Suppose 2*w + 10 = 4*p, -4*w - 4 = o*p + 3. Suppose p = -l + 24. Is l a prime number?
True
Let s(x) = x**2 + 5*x**2 + 1 - 3*x - 11*x + 2*x**3. Is s(5) a composite number?
False
Let w(m) = 23*m**2 + 65*m - 1. Let q(z) = -12*z**2 - 33*z + 1. Let s(p) = 11*q(p) + 6*w(p). Is s(18) a prime number?
False
Let i(o) = o - 1. Let f be i(2). Let r be (0 - -3)/(0 + f). Suppose 0 = -r*h + 2*v + 275, -h - h + 192 = 3*v. Is h a composite number?
True
Let z(i) = 43*i**2 - 2*i - 7. Let v be z(5). Suppose 2*j - l = -3*j + v, -627 = -3*j - 2*l. Is j a prime number?
True
Let r = -12 + 9. Is r + -1198*(-1 + 0) a composite number?
True
Let n be (-2 + 2 + 0)/2. Is (n + 0 - (1 + -332))/1 composite?
False
Is ((-2)/((-10)/2455))/((-2)/(-4)) prime?
False
Suppose 0 = -0*o - 6*o. Suppose o*a + 5*a = 1685. Is a composite?
False
Let c = 271 - 122. Let y(f) = 2*f + 13. Let a be y(-5). Suppose a = -i + c. Is i composite?
True
Let m(d) = 2*d**2 + 2*d - 8. Let r be m(-8). Let i be ((-3)/(-4))/(39/r). Suppose -199 - 55 = -i*z. Is z a composite number?
False
Let x be ((-6 - -8) + 370/6)*3. Suppose 0*h + x = h. Is h composite?
False
Let z = 108 - 114. Let l(i) = 14*i**2 + 9*i - 7. Is l(z) a prime number?
True
Let s = -10609 - -15590. Is s composite?
True
Let y = 31 + -27. Suppose 1507 = -x - y*u, 3*x - 502 = 4*u - 5103. Is (x/12)/((-5)/20) composite?
False
Let a(l) = l + 3. Let p be a(-12). Let k = 11 + p. Is k*(-2 + 46/4) a composite number?
False
Suppose 3*b = 5*u - 12, -5 = 5*b - 3*u - 1. Let m = b + -7. Is (111/(-2))/(m/12) a composite number?
True
Let f be 0*4/8 + 1286. Let g(m) = 421*m + 2. Let d be g(5). Let k = d - f. Is k a composite number?
False
Suppose 0 = k - 6*k + 1010. Suppose 2*l - k = 10. Is l composite?
True
Let j(b) = -340*b + 13. Let p be j(-5). Let t = p - 772. Is t a composite number?
False
Is ((-2 - -9065) + (-6 - -2))*3 a composite number?
True
Let x be ((-5)/2)/((-25)/20). Suppose 0 = -x*r + 421 + 201. Is r a prime number?
True
Let d = -141 - -370. Suppose 1084 - d = 5*n. Suppose 0 = -v + 5*p + n, -p - 191 + 959 = 4*v. Is v a prime number?
True
Let c(t) be the second derivative of 25*t**3/6 - 7*t**2/2 + t. Is c(12) composite?
False
Let t be 7/(-2)*2/(-7)*6. Suppose 0 = t*f - 5*f - 1709. Is f a composite number?
False
Suppose 2*k = 4*n + 1754, 5*k + 0*n + 3*n - 4333 = 0. Suppose 0 = -0*g - g + k. Suppose u - 641 = -2*o + g, -3*u = 0. Is o a composite number?
True
Suppose 0 = -h + 4, -h + 4226 + 1533 = 5*y. Is y composite?
False
Let v(z) = z + 15. Let c be v(-11). Suppose -2*l = -5*x + 48, 0*x - 5*x - c*l + 54 = 0. Suppose x*u = 5*u + 185. Is u a prime number?
True
Let z = 215 + 444. Is z prime?
True
Suppose -3*q - 1738 + 100 = 0. Let i = q + 771. Let w = -106 + i. Is w a prime number?
False
Suppose 9*f - 52 = 4*f - 3*m, f = 5*m - 12. Suppose 35*i = 31*i + f. Suppose -i*c - 791 = -9*c. Is c a prime number?
True
Let j(l) = -l**2 + 6*l - 7. Let w be j(5). Let t = w - -3. Is 7/(((-3)/(-141))/t) a prime number?
False
Suppose 0 = 3*p + 18*p - 1940589. Is p prime?
False
Let b = 22528 + -12715. Is b composite?
True
Suppose -2*l = 3*r - 85 - 2685, 0 = -2*r - 2*l + 1850. Suppose 5*h - r = 4*o, 6*h - 3*h - 223 = o. Let q = 858 + o. Is q prime?
False
Let b(f) = 106*f + 6. Let l be b(5). Suppose -n - 25 = -6*n, 0 = -3*a - n + l. Let p = -16 + a. Is p prime?
False
Let w(c) = c**3 - 9*c**2 + 13*c - 1. Let y be w(7). Is (-2724)/y*40/12 prime?
False
Let p(n) = 1 + 4 - 5 + 44*n. Let f be p(3). Suppose -63 = -5*o + f. Is o a prime number?
False
Suppose -34823 = -17*h + 28026. Is h composite?
False
Let b = 176 + -36. Let x be (b/(-16))/((-2)/24). Suppose -v = -4*p - x, 174 = 3*v + 2*p - 155. Is v prime?
True
Suppose -4*r = 4*g - 28, 15 = 5*g - 0*g - 5*r. Suppose -215 = -g*s + 1375. Suppose -3*x + s = -x. Is x a prime number?
False
Let a(h) = -h**2 + 6*h + 10. Let l be a(7). Let x = l - -1. Suppose -x*p + 41 = -299. Is p prime?
False
Let q(j) = 380*j**2 - j + 2. Let n = -30 + 31. Is q(n) a prime number?
False
Suppose 4*r + 6 = 2*f, 0*r + 5*r + 2*f = 15. Is -1*(-258 + 3 + r) composite?
True
Suppose -15*v + 83190 + 47700 = 0. Is v composite?
True
Let d(l) = -3978*l + 23. Is d(-3) a prime number?
False
Let d(b) = -1290*b + 73. Is d(-5) composite?
True
Suppose 3*g - 5920 = -m + 1272, -5*m = -g - 35880. Is m a composite number?
False
Let t be (68/(-85))/((-4)/(-10)). Let j(a) = -374*a + 3. Is j(t) a prime number?
True
Let g = 38 - 2. Suppose 0 = -i - g + 448. Suppose -y - 5*z + i = 0, -5*y = -z + 864 - 2898. Is y a prime number?
False
Let f = 29 + -25. Suppose -5*n + 3*y + 2936