ime number?
True
Suppose 0 = -3*i - 23 + 8. Let z(u) = -5*u - 4. Let v be z(i). Let o = 58 - v. Is o prime?
True
Let j(r) = 423*r**2 - 31*r - 23. Is j(8) a prime number?
True
Let h be (-62440)/(-14)*(-1)/(-4). Suppose -61*g = -56*g - h. Is g a composite number?
False
Suppose -2*b = -2*i + 34, 5*b = -5*i - 67 - 38. Suppose -3*g + 7 = 2*a - 14, g = -3*a + 21. Let q = a - b. Is q composite?
True
Suppose 7*l = 3*q + 3*l - 52223, 2*l = -3*q + 52193. Is q prime?
True
Let z(v) = -19*v**2 + 21*v**2 + 4*v**3 + 13 - 2*v + 0*v + 2*v**3. Is z(3) composite?
True
Let f(p) be the second derivative of p**3/6 - p**2/2 - 6*p. Let n be f(-2). Is (2 + n)*(-65 - 4) a prime number?
False
Suppose 0 = -10*q + 9413 + 37617. Is q composite?
False
Let n(r) = -r**3 - 3*r**2 - 2*r - 1. Let y be n(-2). Let a be -6 + 11 + y + -1. Suppose 4*u - 740 = 2*f - 0*f, 3*f + 549 = a*u. Is u composite?
True
Let b = -46 - -49. Let i(c) = 55*c**2 + c + 3. Is i(b) composite?
True
Let v = -1049 - -1561. Let g = v + -79. Suppose -2*i - 4*u = -438, 3*i - u - g - 203 = 0. Is i a prime number?
False
Suppose -7 = 2*o + 3*b + 8, 4*b = 4*o + 20. Let k be o*133/(-2) - -3. Suppose k = -6*j + 9*j. Is j a composite number?
True
Suppose 1565 = 4*n - n - o, 5*n + o - 2603 = 0. Let s = n - 304. Is s a composite number?
True
Let x(s) = s**3 - 10*s**2 - 2. Let o be x(10). Suppose -5*g = 3*r - 11, g + 3*r + 2*r = 11. Is o + (-2 - -11)*g composite?
False
Let g(o) = -2*o**3 - 4*o**2 - 2*o + 1. Suppose -s - 5 = -0*s. Is g(s) composite?
True
Let q = 57 + -47. Suppose 0 = 2*k - q, k + 654 + 2736 = 5*t. Is t prime?
False
Suppose j + 16*r = 11*r + 2986, 4*j = r + 11923. Is j composite?
True
Suppose -4*b - 2406 + 854 = 0. Let f = b - -573. Is f composite?
True
Suppose -2*s - 5 = 3*m + 8, m - 3 = 3*s. Let j(c) = 11*c**2 - 6*c + 1. Is j(m) composite?
True
Let f = 63 - 41. Let s = 23 - f. Let r(t) = 289*t**3 + t**2 - 1. Is r(s) composite?
True
Let n = -1470 + 365. Let x = n - -2024. Is x prime?
True
Let t(n) = 11*n - 43. Let d be t(5). Is (-1)/4 - (-18447)/d a composite number?
True
Let q = 786 - 454. Suppose 2*i = -2*i + q. Let m = i + 36. Is m a prime number?
False
Let j(c) = -c**3 + 20*c**2 - 12*c + 8. Suppose 5*q + 6*r - 95 = r, 0 = 4*r. Is j(q) composite?
True
Let c be 17/5 - 6*1/15. Suppose 0 = -3*o - 2*s + 5081, -2*o - c*s - 2*s + 3391 = 0. Is o prime?
True
Suppose 0 = -10*s + 8*s + 6382. Is s prime?
True
Let i = -39291 - -62431. Is 2/9 - (2 + i/(-36)) prime?
True
Let q be 14 - 6 - (0 + 0). Let l = q - 21. Is (l + 0)/(1/(-17)) a composite number?
True
Suppose 2*i - 8 = -3*p, p - 4*p - 13 = -i. Suppose -3*o = -i*o. Is (-2 - o)/2 - -40 a prime number?
False
Suppose 2*i + 11062 = 4*w - 40100, -63950 = -5*w + 5*i. Is w prime?
True
Let q(k) = k**3 + k**2 - 5*k + 2921. Is q(0) composite?
True
Let d(j) = -j + 4. Let a be d(3). Let s be 14/21*(-9)/a. Let k(f) = -f**3 - 2*f**2 + 6*f + 7. Is k(s) composite?
True
Let x(n) = 67*n**2 + 155. Is x(-8) composite?
True
Let r = -6957 - -16210. Is r a prime number?
False
Suppose 2*a + 5*w = -a - 11, 2*a = -4*w - 10. Let b(g) = -38*g - 20. Let q be b(-3). Suppose o + q = a*o. Is o a composite number?
False
Suppose 3*d - 26 = -4*b, 0*d - d - 3*b + 2 = 0. Let q be 85770/70 - 4/d. Let p = -872 + q. Is p prime?
True
Suppose -u + 78 = l, -15 = 4*l + l. Let i = 30 + u. Suppose m - i = 268. Is m a composite number?
False
Let x(p) = -3*p - 2. Let v be x(2). Is (6/v - -2)*8344/14 a prime number?
False
Let p(b) = -b**3 + 2*b**2 + 4*b - 3. Let s be p(2). Suppose -2*g + 14 = -4*q, 4*q - 4 = s*g - 27. Suppose g*t + 0*t = 27. Is t a composite number?
True
Let n = -6179 - -9830. Is n prime?
False
Let j(q) = 280*q**2 + 3*q + 3. Let v be (4 + 0)/(-2) + 0. Is j(v) prime?
True
Let z(r) = 5*r**3 + 17*r**2 + 22*r + 5. Is z(21) prime?
True
Let v(j) be the third derivative of j**5/10 + j**4/4 + j**3/2 + 4*j**2. Let q be v(-6). Let b = q + -94. Is b a prime number?
True
Suppose 4*g = -4*p + 20, 3*g = p + 4 + 3. Suppose -5*v = -5*c - 0*c + 2055, 5*v = -g*c + 1249. Is c a prime number?
False
Let x be 0 + -3 - 31400/12*-3. Let y = x - 5485. Is y prime?
False
Let o be (-500)/(-12)*-62 - 1/(-3). Let b = o - -4006. Is b a prime number?
True
Let x(w) = w**3 - 6*w**2 + 4*w - 6. Let c be x(7). Let y = -142 + 228. Let i = c + y. Is i a composite number?
False
Let f(d) = 6*d**3 - 6*d**2 + 5*d + 4. Let v be f(5). Let b = v - 1066. Let s = -18 - b. Is s prime?
True
Let n(i) = 35*i**3 + 2*i**2 - 18*i + 3. Is n(4) prime?
True
Suppose 5*v + 5*s = 21106 + 4844, s - 20748 = -4*v. Is v a composite number?
True
Let j(q) = -20*q**3 + 5*q**2 + 9*q - 11. Let z(n) = -4*n + 27. Let v be z(8). Is j(v) a composite number?
True
Suppose 0 = 4*k - 0 - 16. Suppose k*h - 9 = 7. Suppose q + q - 1081 = -d, -3*d - 2167 = -h*q. Is q a composite number?
False
Suppose -q + 4*q = 9. Let r(m) = -6 + 0*m - 2*m + 6*m + m. Is r(q) prime?
False
Let x(b) be the second derivative of -3*b + 1/2*b**2 + 0 + 11/2*b**3. Is x(9) a composite number?
True
Suppose 6*n = 46*n - 258760. Is n composite?
False
Suppose 35785 = -33*i + 38*i. Is i composite?
True
Suppose -8841 = -3*i + 4*p + 31244, -i + 4*p = -13351. Is i prime?
True
Let r = 3022 - 843. Is r a prime number?
True
Let q(a) = 10*a**3 + 6*a**2 - 11*a - 4. Let x be q(5). Is 2/((-3)/x*-6) a composite number?
False
Let y be ((-6)/(-21))/(3/21). Suppose -a + i = -4, 0 = -y*a - 2*i - i + 13. Suppose -a*c - 286 = -7*c. Is c composite?
True
Is ((-396)/(-27))/22*(-72915)/(-2) prime?
False
Suppose 0 = 2*q - 4. Let d = -23 + q. Let s = 52 + d. Is s composite?
False
Suppose 81*x + 738060 = 86*x + 5*k, 0 = -5*x - k + 738040. Is x composite?
False
Let i(b) = 2*b**2 + 37*b - 17. Let p be 234/(-12)*4/3. Is i(p) prime?
True
Is 2/((-56)/(-542773)) - (-2)/8 a prime number?
False
Is 1/9 + 655720/180 a composite number?
False
Is 20/30 - (-42794)/6 a composite number?
True
Let a(x) = -x**2. Let j(f) = f**3 - 7*f**2 + f - 7. Let i(n) = -2*a(n) + j(n). Let q be 1/3*(0 + (19 - 1)). Is i(q) a prime number?
False
Let r(q) = -9976*q**3 + 2*q**2 - q - 2. Is r(-1) a composite number?
True
Suppose -4*n + 70736 = 4*n. Is n composite?
True
Let q(s) = 145*s**2 + s - 1. Suppose 4*k = -2*v + 12, 5*k + 12 = 3*v + 8*k. Is q(v) a composite number?
True
Let b = 16 + -10. Is 369 + 3 + 6/b a composite number?
False
Suppose 0 = -108*w + 113*w - 3*u - 213692, -42737 = -w + 2*u. Is w prime?
False
Let x(k) = 90*k**2 - k - 3. Suppose -12*o + 10*o = 4. Is x(o) a prime number?
True
Is (-1 - (-14)/10) + 7761404/140 prime?
True
Suppose -726*a = -717*a - 213471. Is a prime?
True
Let i = 40 + -7. Let g = i + -5. Suppose 5*p - 12 = -m, 3*p + g = -m + 2*m. Is m a composite number?
True
Suppose 2*f - 2938 = w, -5*f - 5*w + 30 = -7345. Is f composite?
False
Let y = -55487 - -100354. Is y a prime number?
True
Is (-7 + 14706)/(2/10) prime?
False
Let z(m) = -354*m + 199. Is z(-43) a composite number?
True
Is (-3 - (-4 - 3)) + (-1674)/(-3) a prime number?
False
Let j(y) = -y**3 + 19*y**2 + 2*y + 40. Let b be j(19). Let a(z) = -145*z. Let t be a(-1). Let l = b + t. Is l prime?
True
Let r(w) = 82*w - 1. Let z(f) be the first derivative of f**2/2 + f - 3. Let d(m) = r(m) + 2*z(m). Is d(4) prime?
True
Let t(d) = -8 - 284*d**3 - 2*d + 7 + 4*d. Let y be t(1). Let f = -106 - y. Is f prime?
False
Let t(m) = 3*m + 4. Let p be t(-3). Is -1*p/(-5)*-257 a prime number?
True
Suppose 2*m - 4*c = -2, -9 = 3*m - 0*c - 4*c. Let z(t) = 21*t**2 - 4*t + 12. Is z(m) a composite number?
False
Let h = -42 - -35. Let v(d) = 3*d**2 + 2*d + 1. Is v(h) composite?
True
Let d(o) = -10*o - 25. Let t be d(-14). Let g be 4/7 - t/(-7). Is (-2 - -1) + 3 + g composite?
False
Let r = -24 + 23. Let w(n) = -8*n**3 + n**2 + n. Let d be w(r). Let m(h) = 2*h**3 - 12*h**2 + 10*h + 11. Is m(d) a composite number?
False
Suppose 0 = -3*p - 2 + 17. Suppose -k + 67 = 3*q, -3*k + 165 = 2*q - p*q. Is k a composite number?
True
Suppose 8*f = 3*f + 3935. Is f composite?
False
Is (2 - -387) + -16 + 22 prime?
False
Suppose 5*s + 5*h + 150 = 0, 2*s + 61 - 1 = 4*h. Let d be (-10)/s*12*1. Is 1570/(-5)*(-2)/d prime?
True
Suppose -7552 = -2*h + a, 4*a - 8*a - 18877 = -5*h. Is h prime?
False
Let v(l) be the third derivative of 25*l**4/12 + 5*l**3/6 + 5*l**2. Is v(3) composite?
True
Suppose 32*i + 15 = 37*i. Sup