t j(a) = -127*a - 235. Is j(-14) composite?
False
Let r be (-1 - (-18)/14) + (-48)/21. Is r - -5 - 13*-98 composite?
False
Let j(t) = 2*t**2 + 2*t - 2. Let d be j(1). Suppose -3*u = -d*y - 516, 4*u - 2*y - 179 = 507. Suppose -487 - u = -3*g. Is g a composite number?
True
Let a = -10 + 1. Let b be 2*a*(-4)/24. Suppose b*d - 42 = 405. Is d a composite number?
False
Suppose 0*u - 3*u - 3*j = 42, 3*j + 12 = 0. Is (6/(-9))/(u/3585) a prime number?
True
Let j be (-4)/(-6) - 32/(-6). Suppose 7*h + j = 9*h. Suppose -h*l - 37 + 139 = 0. Is l a prime number?
False
Let m(v) = -v**3 + 11*v**2 + 32*v - 7. Suppose 3*i + 4 - 34 = 0. Is m(i) a composite number?
True
Suppose -y + 8 = 5*t - 26, 4*t = -y + 35. Is y a prime number?
False
Let o = 5395 - 1004. Is o prime?
True
Let c be -4*1 - 35298/(-6). Suppose 7*g - 2934 - c = 0. Is g prime?
True
Suppose -c + 20 = 4*c. Suppose 0 = 5*i + 4*q + 275 - 1020, 455 = 3*i + c*q. Is i prime?
False
Let z(m) = 2*m**3 - m**2 + 17*m - 9. Suppose -40 = -3*q - 2*q. Is z(q) prime?
True
Let k be -2*((-6)/(-4) - 2). Let i(c) be the third derivative of 19*c**6/8 + c**5/30 + 4*c**2 + 7. Is i(k) a prime number?
False
Let b = 10 - 6. Suppose 5*y = b*p + 2820, -p = 2*y + 221 - 1362. Let r = y + -377. Is r a composite number?
False
Suppose -4*s - 2*i - 10985 = -7*s, -10*s - 3*i + 36578 = 0. Is s a prime number?
True
Suppose 20 = -5*c, -2262 = 3*m + 2*c - 7144. Let u = m - 807. Let h = -570 + u. Is h composite?
True
Let y = -208 - -1135. Suppose a - y = 100. Is a a prime number?
False
Let j(b) = -b - 1. Let c(w) = 4*w + 27. Let v(z) = c(z) + 5*j(z). Let q be v(9). Suppose -q - 42 = -o. Is o prime?
False
Let z(w) = w**3 - 6*w**2 + 6*w - 2. Let i be z(5). Let q be 1/i - 16/(-6). Suppose 102 = 3*m + q*k, -2*k + 103 = 2*m + m. Is m prime?
False
Suppose -4*d + 7 = -2*b - 1, 4*d = -2*b + 16. Let v(j) = 1 - 4*j + b - j**3 + 3*j**2 - 4*j**2 - 12*j**2. Is v(-13) a composite number?
True
Let h(c) = 2*c + 24. Let s be h(-10). Suppose -5*z + s*k = -2062, 2*z - 575 = -2*k + 239. Suppose 0 = -4*v + 2*v + z. Is v a composite number?
True
Let x(b) = 993*b**2 + b. Let m be x(-1). Let d = -661 + m. Is d a composite number?
False
Suppose 8 = 2*z + 2*f, 5*f = 10 + 10. Suppose -2*y + 4076 = 4*w, 2*w - 2038 = -z*w - 5*y. Let n = 1468 - w. Is n a prime number?
True
Suppose 0 = -101*z + 27*z + 139786. Is z a prime number?
True
Let q be (2/4)/(4/136). Suppose -22465 = q*y - 22*y. Is y prime?
True
Let w = -35 + 21. Let l = w + 30. Is 157/2 + 8/l a prime number?
True
Suppose 2*b - 1056 - 452 = 0. Let w = -666 - -1263. Suppose -j = -w - b. Is j a composite number?
True
Suppose 4*v + 4 = -5*f - 7, 2*v = -3*f - 7. Suppose v = -2*m + 3*m, 0 = -5*t - 5*m + 6280. Is t a composite number?
True
Let i be 35 + (0/2)/(-1). Let x = -24 + i. Let j = 2 + x. Is j a prime number?
True
Suppose 0 = 2*h - v - 2239 - 480, 2*v = -h + 1367. Is h composite?
False
Let b(w) = 748*w**2 + 13*w - 39. Is b(4) a prime number?
True
Let s(z) = -1130*z - 25. Let c(r) = -226*r - 5. Let v(j) = -11*c(j) + 2*s(j). Is v(6) a composite number?
False
Let n be (-2)/(-8) - 174/24. Let h = n - -2. Is (-3 + (-3 - h))*-53 a prime number?
True
Let k(g) = 2*g**2 + 3*g - 9. Let s = -13 + 1. Let m be k(s). Suppose 665 = 2*r + m. Is r composite?
False
Suppose -7*k + 6*k + 5 = 0. Suppose -k*s + 910 - 170 = 0. Suppose s = 7*q - 3*q. Is q prime?
True
Suppose -6*j + 3*j + 27 = 0. Suppose -12*p + 1758 = -j*p. Is p composite?
True
Let p be 11 - (-1 + (-28)/7 + 10). Let o(l) = -3*l - 4. Let c be o(-4). Suppose -p*h - 362 = -c*h. Is h a prime number?
True
Let f be (5/10)/((-1)/16). Let a(x) = 5*x + 1 - 3*x**3 - 7*x**2 + 2*x**3 - 12. Is a(f) composite?
False
Let i(z) = -37*z. Let w be i(-1). Let a be 2 - 3/((-3)/w). Let g = 72 - a. Is g a prime number?
False
Let p(n) = 35625*n**2 - 14*n - 3. Is p(2) prime?
True
Suppose -p + 163 + 63 = -2*k, p = 4*k + 454. Suppose 3885 = 12*j - 1527. Let r = j + k. Is r a composite number?
False
Suppose -h + 12 = 3*a, 8*h = 3*a + 7*h - 6. Suppose -2*o - 2 = 4*d, 2*o + 1 = -9. Suppose 13 = -d*l + a, 2*g = 2*l + 72. Is g a prime number?
True
Let z(m) = -m**3 - 8*m**2 - 7*m + 4. Let n be z(-7). Is 3/(-5) - n/10 - -878 prime?
True
Let p be (-10)/(-3) - 2/(-3). Suppose -b - 2895 = -p*b. Let j = 2136 - b. Is j a composite number?
False
Is (-14)/2 + 4916/1 composite?
False
Let h be 13/(-2)*-83*(-70)/(-7). Suppose -4*k - k - 2*v = -h, -5*k = 4*v - 5395. Is k prime?
False
Suppose -18668 = -4*d + 44*l - 46*l, -23320 = -5*d + 5*l. Is d prime?
False
Let i(o) = o**3 - 7*o**2 + 3*o - 18. Let c be i(7). Suppose -204 = -c*x + 1215. Is x prime?
False
Suppose h - 25 = -3*q + 2*h, -h - 35 = -4*q. Suppose -4*o = 3*u - 70, -3*o + 3*u - q = -52. Is 189/2 + (-8)/o a composite number?
True
Let k(a) = 6*a**3 - 6*a**2 + 5. Suppose 0 = -2*h - 2*w + 4, h - 5*w + 3 = 17. Is k(h) prime?
True
Suppose -a - 72 = -4*a. Is 19*(-1 + a)/1 composite?
True
Let a(w) = -18*w + 16. Let q(f) = -f + 1. Let g(u) = 3*a(u) - 48*q(u). Let s be g(-1). Suppose -7*c + s*c = -155. Is c composite?
True
Let h = -63 - -95. Suppose -h = 2*r + 5*o, 0 = -2*r - 5*o + 2*o - 32. Is 38/(-1)*88/r prime?
False
Let h(z) = -12*z**3 + z**2 + 9*z - 4. Let a(m) = -13*m**3 + m**2 + 10*m - 5. Let t(b) = -6*a(b) + 7*h(b). Let d be t(-3). Suppose -3*r + d = -85. Is r prime?
True
Let p(y) = y**2 + y - 1. Let r(m) = m**3 - 3*m**2 - 6*m + 2. Let l(u) = -4*p(u) - r(u). Let z(t) = t + 3. Let k be z(-6). Is l(k) a composite number?
True
Suppose -5*z = -4*y - 13270, 2*z + z - y - 7969 = 0. Suppose -4*c + 3*m = -c - 7899, 0 = -c - 4*m + z. Is c a prime number?
False
Let t = 37573 - 9504. Is t a composite number?
False
Let w = -193 - -565. Suppose 0*x = 4*x - 5*l - 27, 5*x + 3*l - 6 = 0. Suppose -w = -f - x*f. Is f a composite number?
True
Suppose 3*u = -4*w + 73, 4*w = 2*u - 37 - 25. Suppose -3*i + u = -0*i. Suppose -i*b = -13*b + 424. Is b prime?
False
Suppose -24 = -5*h - 24. Suppose -u = 2*t - 141 - 16, -2*t = h. Is u prime?
True
Let l(i) = 0*i - 3 + 3*i + 2*i + i. Let f be l(-5). Let y = 220 + f. Is y prime?
False
Let k(a) = -5*a**2 - 5*a + 32. Let j be k(16). Let u = 2425 + j. Is u a composite number?
False
Let d(a) = 281*a**2 + 4*a + 4. Let z = 54 + -57. Is d(z) composite?
False
Let h(b) = 9*b**2 + 8*b + 8. Is h(-3) prime?
False
Suppose 0 = -3*w - 2*w - 30. Let a be 104184/(-44) - w/(-33). Is (-3 - a/4) + 2 a prime number?
False
Suppose -5*f = 5*y + 1563 + 922, 5*f + 2497 = -2*y. Let p(q) = -11*q**2 - 7*q - 2. Let s be p(-5). Let g = s - f. Is g a composite number?
True
Let i(k) be the first derivative of k**4 - 2*k**3/3 - k + 11. Let d(t) = t + 8. Let n be d(-6). Is i(n) prime?
True
Suppose 10*m + 16 = 6*m. Let k(l) be the first derivative of -2*l**4 + 4*l**3/3 + 5*l - 4. Is k(m) a composite number?
True
Let p be 0/1 + (-4)/(-2). Suppose k - 114 = -c - p*c, 0 = -5*k - 4*c + 559. Suppose -33 = 3*v - k. Is v prime?
False
Is 6 + 1/(1/2105) a composite number?
False
Let y = -70 - -74. Suppose 0 = -y*d + 221 + 491. Is d a composite number?
True
Let o be 240*5 + (-1)/(1/3). Suppose 0 = -5*h - u - 393 + 6354, u = h - o. Is h a composite number?
False
Is 6/75 + 1223398/25 + 7 a composite number?
True
Let x(i) = i + 17. Let z(k) = -3*k + 3. Let o be z(6). Let l be x(o). Suppose l*t + 2*t = 1268. Is t a composite number?
False
Let n = 560 + -252. Let x = n - 143. Let u = 254 - x. Is u composite?
False
Let h(z) = -z**2 - 11*z - 24. Let n be h(-7). Is (-8 + 12)*329/n a composite number?
True
Suppose -5*z + 345 = 4*b - 11, -3*z = 0. Let h = b - 317. Let j = -79 - h. Is j composite?
False
Let f(u) = -2*u**2 - 3*u - 2. Let z be f(-3). Let i(j) be the first derivative of -4*j**2 - 14*j + 4. Is i(z) a prime number?
False
Suppose 0 = -5*l - 6*h + 3*h + 11665, 11665 = 5*l - h. Is l prime?
True
Let h = -4 + 4. Let p be 0 - -4 - h - -2. Is (9 + -6)*230/p composite?
True
Let s be (76/(-10))/((-1)/60). Let x = 31 + s. Is x a prime number?
True
Suppose 3*b + 5 = 2. Let i(k) be the third derivative of -95*k**4/24 + k**3/3 - 3*k**2. Is i(b) a composite number?
False
Let o = -27 - -16. Let h = 17 + o. Is h a composite number?
True
Let a = -466 + 2389. Is a a composite number?
True
Suppose -4 = o - 2*o, -x + 2*o - 9 = 0. Let r(z) = -1. Let c(y) = 27*y + 6. Let j(d) = x*c(d) - 2*r(d). 