- 26 = 2*c - 90, -3*p + 15 = 0. Let g be (-17)/102 + (-103)/(-6). Let x = g + c. Is x prime?
True
Let g(r) = 13*r**2 - 2*r + 7. Let l be g(-5). Let q = l + -197. Is q a composite number?
True
Let u = 2902 - 6639. Let h = -1944 - u. Is h a prime number?
False
Suppose 3*o - 3*g = 279 + 648, 931 = 3*o + g. Let l = o - 215. Is l a prime number?
False
Let b = 34 + -25. Suppose 9146 + 349 = b*p. Is p composite?
True
Let l(i) = 153*i**2 - 5*i + 7. Suppose -f - 13*f = 42. Is l(f) prime?
True
Suppose 4*o - 77 = 11*o. Is 13125/11 - 2 - (-2)/o prime?
False
Let g(r) be the second derivative of -r**4/12 - 4*r**3/3 + 877*r**2/2 - 7*r. Is g(0) composite?
False
Is (1 + -3 + 102/34)*491 a composite number?
False
Let w = 19 + -226. Is (-4)/1 - (w + 12) composite?
False
Is (5 - -2) + 2731*2 a prime number?
False
Let v(m) = -24*m - 53. Is v(-11) a prime number?
True
Suppose -p + 3*v = -11, 8 = 5*p + v + 1. Suppose -4*q = -p*b + 302, -2*b + q + 278 = 3*q. Is b a prime number?
False
Let z = 8 + -11. Is (0 + -5 - z) + 182 + -1 a composite number?
False
Let b(g) = -1971*g - 455. Is b(-3) prime?
False
Is (87/174)/(1/143642) a composite number?
False
Suppose -4*a + 28 = 2*g + g, 5*a - 32 = -3*g. Is ((-34)/g)/(5/(-230)) a prime number?
False
Let i(r) = r**2 + 4*r - 8. Let n be i(2). Suppose n*x = 1271 + 2949. Is x prime?
False
Suppose 0 = -m - 3 + 5. Suppose 1075 = 5*n - 4*t, -2*n = -3*n - m*t + 201. Is n a composite number?
False
Is (0 - 11114/3)/(4/(-6)) a prime number?
True
Let c(w) = 9*w - 5 + 1 + 77*w - 9. Is c(7) composite?
True
Suppose -2*g - 5*i - 1 = -0*g, 5*g + 2*i = 8. Suppose 0 = -2*u - g*a + 1646, -2*u + 6*a + 1634 = 2*a. Is u a composite number?
False
Let w(l) = -4*l + 2. Let n be w(1). Let v be 17 + 2 + (n - 2). Is ((-3508)/(-10))/(6/v) prime?
True
Let p be ((-1334)/(-5))/(1*(-1)/(-5)). Let r = p - -147. Is r composite?
False
Let j(a) = 7*a - 1. Let z be j(-1). Let y be 5/(-20) - 2/z. Suppose -3*l = 0, -s + 4*l - 3 + 56 = y. Is s composite?
False
Let g = 15 + -34. Let y = 9 + g. Is 13*5 + 10 + y prime?
False
Suppose 4*t - 84 = -0*t. Let l be (t/2 - 0)*22. Let q = l + -82. Is q composite?
False
Let f = 1398 - 789. Suppose 5*r - f - 406 = 0. Is r composite?
True
Let n = 90 - 407. Let w = n + 528. Is w prime?
True
Let y be ((-57)/(-76))/(2/(-8)). Let a(h) = -68*h - 19. Is a(y) composite?
True
Let o(w) = -3 - 7 + 31*w - 4. Is o(9) a prime number?
False
Suppose 0 = -3*b + 19808 + 20959. Is b prime?
False
Let d = -1 + 1. Suppose d = 4*y + 4*v - 9*v - 5, y + 4 = -4*v. Suppose -3*j - 2*j + 1025 = y. Is j prime?
False
Suppose -l = 5*r - 0*l - 8806, -2*r = l - 3523. Suppose 4*t + r = 7*t. Is t prime?
True
Suppose 4*w = 3*f - 112 + 68, w + 2 = 0. Let n(y) be the second derivative of y**5/20 - 5*y**4/6 - 5*y**3/6 + 7*y**2/2 - y. Is n(f) a composite number?
True
Let z = 15805 + 14872. Is z prime?
True
Let k(c) = -17*c - 43. Let m(q) = 11*q + 29. Let d(n) = 5*k(n) + 8*m(n). Let j be d(-5). Suppose -1241 = -j*g + 265. Is g composite?
True
Suppose 4*p = -3*a + 66241, -2*p = -5*p + 4*a + 49687. Is p composite?
False
Suppose -p - 3*p = -2100. Let u = -322 + p. Is u a prime number?
False
Let f(r) = 14 + 3*r - 20 + 10*r. Let i(h) = -h**2 + 11*h - 7. Let t be i(10). Is f(t) prime?
False
Suppose t + 2472 + 16342 = 4*n, -n + t + 4705 = 0. Is n prime?
True
Let k(z) = -10*z - 12. Let i(u) = -u**3 + 5*u**2 - 3*u + 6. Let r be i(5). Let h be k(r). Suppose -h = 2*d - 4*d. Is d a prime number?
False
Suppose 5*l + 42 = -3. Is 6/27 - (-20)/l - -9 prime?
True
Let m = 48 + -58. Let x(z) = 5*z**2 + 5*z - 11. Is x(m) prime?
True
Suppose 0*a - 4*a = -r - 337, 5*a - 5*r - 425 = 0. Let o = -28 + a. Is o/4 + -5 + 2 a composite number?
False
Let v(l) = -762*l + 25. Is v(-6) a prime number?
True
Suppose 5*u + 2 = 2*r - 7, -u + 1 = r. Suppose m + 0 = -b - 2, -r*b - 10 = 5*m. Suppose -2*p + b*p = 0, -5*z = 5*p - 425. Is z prime?
False
Suppose 15 = 3*o, 37*w - 6970 = 32*w + 5*o. Is w composite?
False
Let a = 9 - 15. Let f be (-3 - 0)*(8 - a). Let n = 181 - f. Is n prime?
True
Let m be (-1)/(-3) + (-12)/9. Let x be 25/(m - 15/(-12)). Suppose -z = -5*u + x, -4*u - 12 + 68 = 4*z. Is u a prime number?
True
Let a(k) = 4*k. Let d be a(0). Let r(v) = 142 + v + 89 + 6 + 160. Is r(d) a composite number?
False
Let v = -137 - -6256. Is v composite?
True
Let v(r) = 31*r**2 - r + 6. Let q(h) = h**2 + h + 1. Let p(k) = -2*q(k) + v(k). Let y be p(3). Suppose -4*w + y = 4*b, -w - 3*b + 47 = -11. Is w a prime number?
True
Let p(v) = 4*v + 28. Let a be p(-10). Is (-8046)/a*2/3 prime?
False
Suppose 0 = 185*s - 194*s + 8523. Is s a composite number?
False
Suppose -7117 = -2*l - 7*v, 4*v = -11 + 31. Is l prime?
True
Let g = -17904 + 33589. Is g prime?
False
Let s(t) be the first derivative of 128*t**2 - t - 22. Is s(3) a prime number?
False
Let t(f) = 6*f**3 + 11*f**2 - 11*f + 14. Let a be t(8). Suppose 1142 + a = 14*p. Is p composite?
True
Let v = 5 - -46. Is v composite?
True
Let p(x) = 122*x - 195. Is p(28) a composite number?
False
Suppose -2*f - 3*z + 4 = 15, -z = 5. Let j = -82 + 200. Suppose 0*i = -f*i + j. Is i a prime number?
True
Let k(t) = 8*t**2 - 12*t + 1. Let l be k(12). Suppose 0 = 11*j + l - 6696. Is j a prime number?
False
Suppose 2*t = -2*x + 4, t + 10 = 4*t + 4*x. Let f(r) = -r**3 - r + 75. Let p be f(0). Let o = p - t. Is o prime?
False
Suppose 491*u - 498*u = -160279. Is u a prime number?
False
Suppose 11176 = 8*k - 91328. Is k a prime number?
False
Suppose 5*j = -4*i + 28723, 35*j + 21571 = 3*i + 33*j. Is i a composite number?
False
Let n = 1360 + -968. Let u = -618 + n. Is (4 - u)*(-2)/(-4) a composite number?
True
Let d = -1857 + 3960. Is d composite?
True
Let g(w) = 34*w - w + 4 + 18*w - 8*w. Let n be g(-8). Let a = n - -566. Is a a prime number?
False
Suppose 2584 = 5*u + 3*u. Let z = u + 635. Is z a prime number?
False
Suppose -5*a - 3*u + 2*u + 74972 = 0, -4*a + 59986 = -2*u. Is a composite?
True
Let c(h) = -h - 18. Let t(q) = -q**2 - 4*q - 6. Let r be t(-6). Let g be c(r). Suppose g = -2*z - 2*z + 296. Is z prime?
False
Let f = 9 + -5. Suppose -4*u + 0*x + 88 = -4*x, -f*u = 3*x - 88. Is u + -1 + 4 + 0 a composite number?
True
Let r be (-72)/(-27)*(-3)/(-2). Suppose 0 = r*i + 4*y - y - 208, 0 = 5*i - 4*y - 291. Is i a composite number?
True
Is 11255/((-3 + 5)/2) a prime number?
False
Let i = -15 - -3. Let x = i - -134. Suppose -x = -o - 4. Is o a prime number?
False
Let m = -7762 - -16275. Is m composite?
False
Suppose 3*g + 124 - 478 = 0. Let d = g + 31. Is d a prime number?
True
Let i be ((-5)/10)/(3/(-1428)). Is 15262/34 + 28/i prime?
True
Suppose -s + 2*g - 2 = 0, 5*s - g = 4*g + 10. Is (3/s)/(5/9170) composite?
True
Suppose 4*m + 4*k = 904 + 1580, 5*m - k - 3129 = 0. Let h = -388 + m. Is h a prime number?
False
Suppose 5*r + 26 = 3*l, 6*l - 2*l - 12 = r. Suppose 3*g - 391 = -l*m, -5*g = -4*m - 0*m - 659. Is g composite?
False
Suppose -4*d = 4*f - 9*d - 47, 4*d = 4*f - 44. Suppose 2*c = g - 4, 2*g - 5*c - f - 1 = 0. Is (-2 + 10)/g - -139 a composite number?
True
Let f = 12755 + -2202. Is f a composite number?
True
Let b(x) = 26*x**2 + 16*x - 29. Is b(6) composite?
True
Suppose 0 = 2*b + 8, -5*o + 9823 + 7445 = -2*b. Let q = -2311 + o. Is q a composite number?
True
Suppose 0 = -6*i - 68 + 2. Let l = i + 340. Is l a prime number?
False
Suppose t + 5*c = 988, -c = 5*t - 4*c - 4884. Suppose -6*q + 0*q = -t. Is q a prime number?
True
Suppose 0 = -5*y - r - 9, 0*r = -y - 2*r. Let f be -3 - ((-6)/y - 0). Let z(s) = -16*s - 7. Is z(f) composite?
False
Let f = 9 + -14. Let c(q) = 35*q**2 - 4*q + 3. Is c(f) a prime number?
False
Let s be (-3 + 0 + 12 - 2) + 0. Suppose 0 = 13*p - s*p - 1218. Is p a prime number?
False
Let w(b) = 103*b**2 + 70*b + 464. Is w(-7) prime?
True
Suppose 25*g - 24*g - 81 = 0. Let d(b) = -b**2 - 28. Let m be d(0). Let i = g + m. Is i prime?
True
Suppose 5*f = 3*z - 5269, f = -4*z - z + 8763. Is z prime?
True
Is 42/(-28)*(177928/(-12) - 4) composite?
False
Let c(m) = -m**2 - 19*m + 48. Let k be c(-21). Suppose -k*z - 268 = -10*z. Is z a composite number?
False
Let t(y) = -5 - 393*y + 2 - 324*y. Is t(-6) a composite number?
True
Suppose 7*j = -g + 4*j + 5574, 3*g = 5*j + 16764. Suppose -3*p + x = -g, -2*p - 9305 = -7*p - 3*x. Is p a prime number?
True
Is 80/38 + -2 - 148