composite number?
False
Let y(z) = z**3 + 6*z**2 - z - 5. Let n(r) = -r**3 + 8*r**2 - r + 4. Suppose 0 = -m - 2*l + 18, 2*m + l = m + 13. Let q be n(m). Is y(q) a composite number?
False
Suppose 0*b = -2*r + 4*b + 13178, -5*b = -25. Is r composite?
False
Suppose -12 = -2*s - 6. Let n be (-2)/2*19*s. Let d = n + 90. Is d a composite number?
True
Suppose 50*n - 22617 = 103283. Is n prime?
False
Let x(y) = -y**2 - 10*y - 13. Let c be x(-8). Suppose -5*a = 2*m - 1142, -1713 = -c*m - 0*a - 5*a. Suppose p - 3*n + 287 = 3*p, -4*p + m = 5*n. Is p composite?
False
Let v(d) = 63*d**2 - 11*d + 39. Let g(b) = -21*b**2 + 4*b - 13. Let t(a) = 8*g(a) + 3*v(a). Is t(8) prime?
False
Let l(p) = p**3 - 2*p**2 + 2*p - 12. Let h be l(3). Let b(v) be the third derivative of v**5/12 + v**4/12 - 2*v**3/3 + v**2. Is b(h) prime?
True
Let k = -24 - -25. Let l(j) = 345*j + 1. Is l(k) prime?
False
Let x be (-322)/(4/(-8)*4). Let t = -92 + x. Suppose 2*i = o + t, 42 + 31 = 2*i + 3*o. Is i a prime number?
False
Suppose -7*d = -3*d. Suppose 4*o - o - 858 = d. Suppose -2*j - 2*j - 20 = 0, -3*q + o = -5*j. Is q a composite number?
True
Let g(b) = -128*b + 255. Is g(-53) prime?
True
Let r(s) be the third derivative of -s**6/120 - s**4/4 + 5*s**3/3 - 7*s**2. Is r(-7) a composite number?
True
Let c be (-86)/1*1/(-2). Let j = 1404 - c. Is j a composite number?
False
Suppose 2418 = 66*d - 69*d. Let s = d - -4011. Is s composite?
True
Let z = 41180 + -10393. Is z prime?
False
Suppose 10*b = 8*b + 6. Suppose -961 = -2*u + b*j, 2*j = -3*u - 2*u + 2393. Is u prime?
True
Let d(g) = g**3 - 2*g**2 + 2*g + 7987. Let b be d(0). Is b + 19 - (1 + 0) prime?
False
Suppose 0 = 2*j + 3*j. Suppose j = -2*y - y. Suppose -6*p + 5*p + 3 = y. Is p prime?
True
Is -2*1*((-7085175)/34)/25 a composite number?
True
Suppose 0*j + 74 = j. Let w = j + -35. Is w - (2 - 1)*2 prime?
True
Let b(v) = -v**3 - 7*v**2 + 63*v + 28. Is b(-19) a composite number?
False
Is 38*(167/8)/(3/12) a composite number?
True
Let r(u) = 0 + 5*u + 4 - 3*u. Let d be r(-4). Let k(x) = 43*x**2 - 6*x - 3. Is k(d) a composite number?
False
Let a(h) = -h**2 - 12*h + 26. Is a(-10) a composite number?
True
Let n(q) be the second derivative of 113*q**3/6 + q**2/2 + q. Is n(6) prime?
False
Suppose 5*q + 10964 = 2*z, 4*z - 9*z + 27410 = -q. Is z composite?
True
Suppose 0 = -d - 2*i + 1359, -2*i + 5442 = -10*d + 14*d. Is d composite?
False
Let h = -99 + 101. Suppose 4*t + 1891 = 3*s, -h*s + 2517 = 2*s - t. Is s a prime number?
False
Suppose 4*y + 5*j + 211 = 0, -2*y = 3*y + 2*j + 268. Is (11484/y)/(2/(-3)) a composite number?
True
Let b be 18/(-12)*(-40)/6. Suppose 3*u = 8*u - b. Is ((-776)/(-12))/(u/3) composite?
False
Suppose -4*d + 2*x = -828, 5*d + 2*x + 172 = 1189. Let o = 536 - d. Is o prime?
True
Suppose -16*f + 186029 = 36797. Is f composite?
True
Let t be (-3)/(-2) - 1/(-2). Let u be 0/((-1 - -2)*t). Suppose u = 5*p - 4*i - 411, 171 = 2*p + 3*i + 2*i. Is p a composite number?
False
Is -5 - (-4 + -11012 - -8) prime?
True
Suppose 0 = -n - 3*n + 14544. Suppose 5*p - n = -301. Is p a prime number?
False
Let b(s) = -71*s - 6. Let t be b(7). Let z be (t/(-3))/((-1)/6). Let q = -365 - z. Is q prime?
True
Suppose 0 = 9*i - 5*i - 2244. Suppose -r - f + i = 0, -2*r + 1132 = -4*f + f. Is r prime?
True
Suppose b + 3*q - 290 = 3*b, -5*b = -3*q + 707. Let d = b + 73. Let u = 383 - d. Is u a composite number?
False
Let r(y) = 31*y + 7. Let z be r(5). Let d = z - 103. Is d a composite number?
False
Let k(l) = -2*l**3 + l**2 + l + 307. Suppose -2*x + 6*x = 0. Is k(x) a prime number?
True
Let g(k) = -16 + k**2 - 2*k**3 - 29*k**3 + 15 + k. Let h be g(1). Let p = 55 - h. Is p a prime number?
False
Suppose 3*l + 2*l = 15. Suppose 2*i - 4*k + 14 = 0, 7 + 2 = -3*i + l*k. Suppose 184 = 5*r - i. Is r composite?
False
Let y = 486 - 127. Suppose 2*g - 5*q = 3*g - y, g - 383 = q. Is g a composite number?
False
Let u(n) = 2*n**3 - 2*n + 43243. Is u(0) composite?
True
Suppose 6*u - 34490 = 66568. Is u a prime number?
True
Is (-3)/(347008/49576 - 7) a prime number?
True
Suppose -5*c + 5*o + 28 = -3*c, 12 = -3*o. Suppose 3*h + w = 2292, 4*w + 3542 = c*h + 486. Is h/(-8)*(-4)/2 composite?
False
Let o = -1004 - -1473. Is o a composite number?
True
Let k be (3 - 3)/(-4) - -3. Suppose k*m = 3*a - 3, 2*m + 5*a = -0*a + 5. Suppose -4*q + 939 + 625 = m. Is q composite?
True
Let r = -7739 + 29116. Is r a composite number?
False
Suppose -1734 = 68*p - 74*p. Is p a composite number?
True
Let q(l) be the first derivative of l**4/4 - 4*l**3/3 - 7*l**2 + 19*l - 8. Is q(9) a composite number?
True
Let k = -16 - -21. Suppose y - 340 = -k*u - 0*u, -330 = -y + 5*u. Is y prime?
False
Suppose -5*s - 3313 = -2*z, 2*z - 3289 = -0*z - 3*s. Is z a prime number?
False
Let o(s) = -2*s + 15*s**2 + 20*s**2 - 2 + 0*s. Suppose -6*k = -7*k + 2. Is o(k) a prime number?
False
Suppose 60*l = 64*l - 333860. Is l a composite number?
True
Suppose -6 = 2*b - 12. Suppose 3*u - u = -4*f + 1162, 4*f = -b*u + 1165. Is f a composite number?
True
Is ((-1238052)/(-96) - 7) + 6/(-16) a composite number?
False
Let d = -37 - -61. Let j = 226 - d. Is j a prime number?
False
Let h(c) = -4*c - 3. Let b = 3 - 0. Let g be h(b). Is (-66)/(-10) - 6/g composite?
False
Is 94382/9 - (-13)/117 a composite number?
False
Suppose -4*r = -2 - 14. Suppose 349 = 2*u - 3*v - 477, -r*v - 8 = 0. Suppose -u + 124 = -q - 3*z, 2*q + 5*z = 577. Is q a composite number?
True
Let h(p) = 4480*p**2 + 13*p + 8. Is h(-2) a composite number?
True
Suppose 2*y = -378 + 3698. Suppose 2*s - y + 148 = -2*v, 0 = 2*v - 2*s - 1516. Is v composite?
False
Let g(a) = -6*a**3 + 14*a - 1. Is g(-6) composite?
True
Suppose -3*z - 14 + 49 = -5*r, z + 5*r = -15. Suppose 0 = -z*y + 7*y - 66. Is y a prime number?
False
Let u be 159632/308 + (-2)/7 + 0. Suppose 4*j = -8, -876 = -2*k - 4*j + u. Is k prime?
True
Let u(k) = 18*k**2 + 21*k + 38. Is u(-33) a composite number?
False
Suppose 9 = 8*g - 15. Suppose w - 4*w = -4*o - 1058, -1018 = -g*w - 4*o. Is w prime?
False
Let z = 10397 + -3178. Is z prime?
True
Let d(z) = 634*z**2 - 21*z - 48. Is d(-5) a composite number?
False
Let j = 7 - -1. Let r(b) = b**3 - 4*b**2 - 4*b + 5. Let s be r(j). Suppose -24 = g - s. Is g a composite number?
True
Suppose -4*u + 540 = 5*t, 2*u - 266 - 60 = -3*t. Let q = 47 + t. Suppose -7*a + q = -4*a. Is a a prime number?
True
Let i(p) = -p**2 - 9*p - 9. Let y be i(-7). Suppose y*s = -w + 40, 84 + 116 = 5*w - 4*s. Suppose -5*v + w = -270. Is v prime?
False
Let m(y) = 15*y**2 + 18*y + 23. Let t(q) = 10*q**2 + 12*q + 15. Let j be (-48)/9*18/(-12). Let d(r) = j*t(r) - 5*m(r). Is d(-6) prime?
True
Is (196/21 - 9) + 34480/6 a prime number?
False
Let f(t) be the first derivative of 64*t**3/3 - t**2 - 11*t - 14. Is f(-3) prime?
True
Let l(o) = 819*o**2 - 46*o - 44. Is l(-1) a prime number?
True
Let k be ((-82)/8 - 0)*-4. Let n = k + -27. Suppose -r + 3*r - n = 0. Is r a composite number?
False
Let y be (-4)/5*40/(-16). Suppose -4*m - 5*s = 1370, -3*m = m + y*s + 1376. Let i = m + 650. Is i a prime number?
False
Let t = 18 - 14. Suppose -d - 447 = -t*d. Is d prime?
True
Suppose -5*f = -20*z + 19*z - 29820, 5*f = -z + 29830. Is f a prime number?
False
Suppose 5*w + 20 = -2*p, 4*w + 7 = -9. Suppose p = 4*n - 3*n - 4. Let r(k) = 27*k**2 - 6*k + 7. Is r(n) prime?
False
Let v(t) = -60*t**2 - 8*t + 18. Let r be v(8). Let c = -2351 - r. Is c a prime number?
False
Suppose 5*g + 11036 - 29076 = 0. Suppose g = 3*m - 2077. Let y = -1150 + m. Is y a composite number?
True
Suppose p = 315 + 18. Suppose -w - 78 = -3*r + 929, -p = -r + w. Let v = r - 210. Is v prime?
True
Let q = 38 - 30. Let x(s) = 83*s + 7. Let f(k) = 166*k + 13. Let a(p) = -2*f(p) + 5*x(p). Is a(q) a composite number?
False
Let x(z) = -5790*z + 49. Is x(-1) a composite number?
False
Let v = -60 - -60. Suppose v = -o - 4*o + 22435. Is o a composite number?
True
Suppose 2*y - 6842 = -3*w - 1876, -y = -5*w - 2457. Is y a composite number?
False
Suppose -2*v = 2*t - 7*v - 172473, -5*t + 4*v + 431191 = 0. Is t a composite number?
False
Let n = 8888 + -5089. Is n a composite number?
True
Suppose -5*w + 107539 = 4*d - 13127, -5*d + 150839 = 3*w. Is d composite?
False
Suppose -3*s - 863 = -x, -s - 3*x - 579 = s. Suppose -9*y - 7 = 38. Is s/y - 