k(p) = -3*p - 11. Let g(j) = 14*k(j) + 4*u(j). Let s be g(-10). Is o(s) a composite number?
True
Suppose 4*b - 10 - 13 = 5*v, 9 = -3*b - 5*v. Let p be 487/((-5)/b - -3). Suppose -p = -4*s + 2*s. Is s composite?
False
Let l(t) be the first derivative of 5*t**3 + 5*t**2/2 + 7*t + 15. Is l(-3) prime?
True
Let r be -2 + 2 + 6/2. Let p be ((-284)/6)/(2/r). Let j = 108 + p. Is j a composite number?
False
Suppose 3*h - o = -0*h - 1006, 2*h + 662 = 5*o. Let v = 815 + h. Is v a prime number?
True
Let y(w) = 8372*w**2 - 4*w + 3. Is y(1) a prime number?
False
Suppose -9*d = 7*d - 286816. Is d a prime number?
False
Let g = -2762 - -5253. Is g a composite number?
True
Let g(q) = -444*q + 17. Is g(-5) a prime number?
True
Let y = 7 + -4. Let x(v) = -8*v**y - 7*v**2 + 2*v + 6*v**3 + 0*v**3 + 12. Is x(-5) a composite number?
True
Suppose 3*c + 3 = q, 2*c - 4*q + 17 - 5 = 0. Suppose -6*t + 11*t = c. Suppose g - 265 = -t*g. Is g a composite number?
True
Let m = -12 - -39. Let d = 0 + m. Let b = -8 + d. Is b a prime number?
True
Let v = 17 - 6. Suppose -3*t + 1 = -v. Is (664 - -10)*2/t prime?
True
Suppose 12023 - 99312 = -41*p. Is p a prime number?
True
Suppose -4*x + 32 = 4*x. Is -1041*((-6)/x + (-1)/(-2)) composite?
True
Let t = 4432 + -2305. Is t prime?
False
Let u(w) = -46*w**2 - w + 5. Let n be u(-4). Let h = -516 - n. Suppose p = h + 82. Is p a composite number?
False
Let z = -3 + 21. Let d = z - 3. Is d prime?
False
Suppose -7534 = -12*l + 1478. Is l a composite number?
False
Let w(v) be the first derivative of -v**4/4 + v**3 - v**2 + 6*v - 1. Let l be w(3). Suppose 3*g + 0*g - 669 = l. Is g composite?
False
Let t(n) = 9*n + 3259. Is t(0) composite?
False
Let q = 997 + -362. Let a be (-9)/1*(-16)/24. Suppose -a*o - q = -11*o. Is o composite?
False
Suppose -1868 = -6*l + 5*l. Let x = -979 + l. Is x composite?
True
Let m(h) = 229*h**2 + 13*h - 9. Let w(l) = -114*l**2 - 7*l + 4. Let v(x) = -2*m(x) - 5*w(x). Is v(5) a composite number?
False
Let v(r) = -2428*r - 385. Is v(-12) composite?
False
Suppose -11*d + 10*d - 19 = 0. Let m = 22 + d. Suppose -242 = -5*t + m*t. Is t a prime number?
False
Suppose -12027 = -5*c - 2*t, 2*c - 2*t - 4822 = -0*c. Is c a composite number?
True
Suppose -2*t - 11 = 3*z, 9 = -3*t + z + 2*z. Let r(a) = -10*a + 3. Let u be r(t). Let f = 336 - u. Is f prime?
True
Let x = 9781 + -5352. Is x a prime number?
False
Let k be 1 - 4/(4/3). Let v(u) = 1. Let q(n) = 252*n + 7. Let h(a) = -q(a) + 4*v(a). Is h(k) a prime number?
False
Suppose 3*z = -z + 16. Suppose 3*h = -2*o + z*h + 1, 0 = -o + 4*h - 10. Suppose -5*v + 373 = 3*g, -2*g + o*v = -v - 274. Is g a composite number?
False
Suppose 5*u - 35 = 3*h, 3*u + u + 46 = -5*h. Let y be 1 + 1 - 130/h. Suppose -y*s - 267 = -18*s. Is s a prime number?
True
Let n(r) = 0 + 3 + 703*r**2 + 155*r - 159*r. Is n(2) a prime number?
False
Let z be 75/2 - (-5)/10. Suppose -79 = 3*p + z. Is -4*(-2)/(-4) - p composite?
False
Let z(a) = 152*a**2 + 28*a + 237. Is z(-10) prime?
False
Let w be -2*(-2 + (-3)/(-6)). Let h(n) = -21*n + 20*n - 75*n**w + 0 - 2. Is h(-1) a prime number?
False
Suppose 0 = f - 3894 - 641. Is f prime?
False
Let m(k) = -282*k**3 + 2*k**2 - 2*k. Let l be m(1). Let d = l - -1643. Is d composite?
False
Suppose 4*a - 3*c - 29 = -11, -2*c + 8 = 4*a. Suppose 6*f - a*f - 3183 = 0. Is f composite?
False
Let f(y) = -y**3 + 17*y**2 - 8*y + 1. Let g be f(16). Let p = 21 + g. Is p/(3 + 0) + -3 a prime number?
True
Let r = -12 - -16. Let m = 64 - r. Let d = m + -13. Is d composite?
False
Let y(z) = z**3 - 10*z**2 - 10*z - 8. Is y(15) a prime number?
True
Suppose -3*i + 4*x + 1 = 7, -5*i - 4*x = -22. Suppose -i*b = -183 - 1083. Is b a prime number?
False
Let f = -62403 + 195416. Is f a prime number?
True
Let a(u) = 3*u - 23 + 3*u + u + 4*u**2. Is a(-10) prime?
True
Let y = 666 + 1183. Is y prime?
False
Let q(n) = -10*n - 58. Let x be q(-6). Suppose 0 = 4*c - 8, 3*b + x*c - 166 - 192 = 0. Is b composite?
True
Let y be 5/(-10) + 11/2. Suppose y*z = -0*z + 10. Let i(t) = 71*t**3 - 2*t**2 + 3*t - 3. Is i(z) composite?
False
Let n(j) = -j**3 - 4*j**2 + 4*j. Let b be n(-5). Is (103/(-5))/(b/(-25)) a composite number?
False
Let i be -4 - -6 - (-7 - -3). Suppose i*f = 8*f - 2518. Is f a prime number?
True
Let v(h) = 377*h**2 - 4*h + 10. Let c be v(3). Suppose c - 23851 = 5*g - 5*a, 16356 = -4*g + a. Is (-2)/12 + g/(-48) prime?
False
Let n be ((-2)/(-2))/(-1*2/(-10)). Suppose -4*q = -n*o + 35681, -2*o + 4*q - 145 = -14427. Is o prime?
False
Suppose 3526 = -70*m + 72*m. Is m composite?
True
Let r(u) = 2*u + 30. Let k be r(-18). Let h be ((-88)/k)/((-16)/(-24)). Is (-104)/(-10) + h/(-55) composite?
True
Let f = 3735 - -2004. Is f a prime number?
False
Let f(t) = t**3 - 8*t**2 - 24*t - 14. Is f(17) prime?
True
Let h(a) = -11*a. Let c be -2*(-6)/(-4) + 0. Let j be h(c). Let b = j + 13. Is b prime?
False
Let i = -2536 + 3577. Is i prime?
False
Let o(k) = -225*k + 67. Is o(-8) composite?
False
Suppose -27*g = -29*g + 4. Is 0 + 2 - (g - 1082) composite?
True
Let n(t) = -131*t - 55. Is n(-10) a prime number?
False
Let w = -68 + 68. Suppose w = -8*d + 9884 - 2628. Is d composite?
False
Let l(w) = -w**3 + 3*w**2 + 3*w - 4. Let k be l(3). Is (-192)/(-14) + 165/(-35) + k prime?
False
Suppose 5*b - 321 = -26. Suppose b*z - 61*z = -958. Is z a composite number?
False
Let c(u) = 14*u**3 - 7*u - 9. Is c(4) a composite number?
False
Let i(r) = -r**2 - 89*r + 35. Is i(-38) a composite number?
False
Let o be 2 + -2 + -3 + 3 - 6. Is 7754*(-4)/(-16) - o/(-4) a composite number?
True
Let k(v) = v + 1. Let d be k(-1). Let i = 3 - d. Suppose -x - i*s + 227 = 0, 0*x - 2*s = 2*x - 462. Is x a prime number?
True
Suppose 5*f - 5*c = 7420, -4472 = -3*f + c - 3*c. Suppose 3*t - x = 386 + 1845, 2*t - x - f = 0. Is t prime?
True
Suppose -r = -2381 + 1242. Is r a prime number?
False
Let s(o) = 10*o + 7. Let f(p) = -10*p - 8. Let v(x) = 4*f(x) + 5*s(x). Is v(8) a prime number?
True
Let h(r) = -r**3 + 11*r**2 - 11*r + 8. Let i be h(10). Suppose 4*s - 3*g = 2*g + 17, 2*s = -5*g - 29. Is (381/3)/(i/s) composite?
False
Is (-2)/(-11) - (85708/(-22) + -3) a prime number?
False
Let s be (-6)/(-15) + 4/(-10). Suppose 4*n - n + 45 = s. Is (-25 - -1)*n + -1 composite?
False
Let u = 3003 + -2061. Suppose -a - v + 6*v = -5, 2*a - v - 1 = 0. Suppose 5*r - 953 - u = a. Is r composite?
False
Suppose -4*y + 17 = p - 9, -y + 24 = 2*p. Suppose -41 = p*q - 351. Is q composite?
False
Let j(p) = -p**3 - 23*p**2 - 131*p - 5. Is j(-20) prime?
False
Suppose -7*k = -43456 + 13195. Let b = -2864 + k. Is b a prime number?
True
Suppose 0 = 2*b - 8, 2*a - 4*b - 15919 = -3*a. Suppose 0 = 3*p + 3*y - 887 - a, 0 = 2*p + y - 2719. Is p composite?
False
Let d(f) be the first derivative of f**3/3 + f**2 - 41*f + 11. Is d(-17) prime?
False
Let o(a) = -a**3 + 16*a**2 - a + 5. Is o(-7) composite?
True
Let m(b) = -1 + 52*b + 66*b + 12*b. Is m(2) composite?
True
Suppose -71403 - 331953 = -12*m. Is m composite?
False
Let b(r) = 9*r - 22. Let y(p) = 4*p - 11. Let j(o) = 3*b(o) - 5*y(o). Is j(10) a composite number?
False
Is (2 - 8/3)*(-32295)/10 composite?
False
Let s(o) = o**2 - 4*o - 12. Let j be s(6). Suppose 3*m + 2*m - 5*a + 2290 = j, 0 = -3*m + 2*a - 1370. Let w = m - -655. Is w prime?
False
Suppose -2*i - 5*m + 10599 = 0, -5*i = m + m - 26487. Is i composite?
False
Let o(n) = -n**3 - 16*n**2 - 40*n - 25. Is o(-18) prime?
False
Let t = -26468 + 38977. Is t a prime number?
False
Let t(n) = -5*n - 70. Let o be t(-16). Let m(b) = 16*b**2 + 8*b + 13. Is m(o) a prime number?
True
Let v(n) = 29*n**2 - 19*n - 1. Let k(g) = -g**2 - g + 6. Let d be k(0). Is v(d) a composite number?
False
Is ((-569158)/(-69))/((-2)/(-3)) a composite number?
False
Let o(p) = -4*p**3 - 3*p - 4. Is o(-9) composite?
False
Suppose 3*m + 1 = -2*m + 3*h, -5*m = 3*h - 11. Let z be (1 - 1) + m - 5. Is (-406)/21*(z + 1) prime?
False
Suppose 9*y = 13*y - 144. Suppose y*s + 564 = 38*s. Let b = s - -97. Is b a composite number?
False
Let v(j) = 1669*j + 32. Is v(3) composite?
False
Let t(p) = -2 + 2 - 3 - 28*p + 1. Let h be t(3). Let d = 5 - h. Is d composite?
True
Suppose -2*w + 1022 = 5*n, 4*w = -w - 4*n + 2589. Is w a composite number?
False
Suppose 5*o + 4341 - 12306 = 0. Suppose -7*f + 724 = -o. Is f prime?
T