(k) = k**2 - 9*k + 8. Let u be l(8). Suppose 5*j - 24 - 318 = -c*i, u = i - 3*j - 77. Is i prime?
True
Suppose 5*w - 3*l - 11 = 0, 0 = -2*w - 2*w + 4*l + 12. Suppose f = -0 - w. Let u(x) = 126*x**2 - 2*x - 1. Is u(f) prime?
True
Let n be (8 - 12)*(-1)/2. Suppose -3*i = -3*w - 405, 0*w = n*w - 8. Is i a composite number?
False
Suppose 0*k + 5*k + 331 = 3*n, -5*n + 257 = -4*k. Let g be (-2)/5 - k/20. Is 86/(1 + 4 - g) prime?
True
Suppose 0 = -3*d + 5*o + 2412, 5*d - 4036 = 4*o - o. Is d composite?
False
Let v be 4/(-6) + 1/(-3). Let r be (1 + v/1)/2. Suppose 5*q + 3*z = -r*z + 181, 0 = 3*q + 5*z - 99. Is q a prime number?
False
Let d be (104/10)/(4/110). Let u be (-10)/25 - d/10. Let b = 48 + u. Is b a composite number?
False
Is 544 + -2*(-9)/(-6) composite?
False
Is ((-2)/3)/(4/(-1266)) prime?
True
Let k(l) = -l**2 - 4*l. Let j = 2 + -5. Let n be k(j). Suppose 0 = n*h - 57 - 276. Is h a prime number?
False
Suppose l - 19 - 143 = 0. Suppose z + 348 = 13*z. Let f = z + l. Is f composite?
False
Suppose -2*v + 1410 = -0*v. Suppose 3*x - 246 = -3*d + 276, 0 = -4*x + 5*d + v. Let m = -56 + x. Is m a composite number?
True
Let x = 2 - -10. Is -3 - (-3)/(x/752) a composite number?
True
Suppose -5*a = -a - 8. Let n(u) = 9*u**3 + u**2 - 2*u - 1. Is n(a) a prime number?
True
Let z(k) = 7*k**2 + 4*k - 3. Let i be z(6). Suppose 3*t - t = 5*n - i, -5*t = 4*n - 192. Is n a prime number?
True
Let r = -1055 - -1540. Is r composite?
True
Let v be 617 - -2 - (-4 - -3). Suppose 2*x + v = 1722. Is x prime?
False
Let q(v) = 15*v**2 - 2*v - 9. Is q(-4) a composite number?
False
Suppose 5*x = -5*w + 7*x + 37771, w - 5*x - 7545 = 0. Is w composite?
True
Suppose 5*y = 15, 4*g - 1642 = -4*y - 462. Suppose -4*j + 3*j + g = h, -870 = -3*h - j. Is h prime?
False
Let p be 15*1 + -2 + 1. Suppose -4*x - 5*n = 4, 4*n = 2 + p. Is (1*2)/(x/(-63)) composite?
True
Suppose m - 4*s = 21, 5*m + 0*m - 2*s - 51 = 0. Suppose 0 = t - 8 - 24. Suppose -m = -u + 3*w - 2*w, 3*u = 2*w + t. Is u a prime number?
False
Let t(n) = n + 6. Let k be t(-6). Suppose k = i + 12 - 42. Let y = i - -4. Is y a prime number?
False
Let l be -2 - ((-3)/1 - 63). Let c = l + -21. Suppose 0*r + 5 = 2*r - 5*h, -4*r - h + c = 0. Is r a prime number?
False
Let g = 3 + -4. Let v = 13 - g. Let x = v + -7. Is x a prime number?
True
Let l(g) = -g**3 - 7*g**2 - 5*g + 8. Let y be l(-6). Suppose 13 = -3*n - o - 1, y*o + 4 = 0. Let s = 33 - n. Is s a composite number?
False
Let v(i) = i**2 - 8*i - 4. Let r be v(9). Suppose r*g + q - 2*q - 478 = 0, -3*g + 3*q = -294. Is g a prime number?
False
Let k(q) = -13*q - 4. Is k(-15) prime?
True
Let g = -3 - 0. Let j be (10/(-6))/(1/g). Suppose -t + 2*t - 14 = j*s, 4*s = 4. Is t a prime number?
True
Suppose -381 = -4*v + 1415. Is v a prime number?
True
Let g(a) = 576*a - 3. Is g(1) a composite number?
True
Is (21/6 - -3)*58 a prime number?
False
Let h = -7 - -4. Let c(p) = -4*p**3 + 2*p**2 - 3*p + 4. Let f(w) = w**3 - w**2 + w - 1. Let t(i) = h*f(i) - c(i). Is t(2) a composite number?
False
Let i(h) = -h**2 - 14*h + 7. Suppose -y = 5*m + 8, 0*m - 3*m + 68 = -5*y. Let r = y - -5. Is i(r) a prime number?
False
Suppose -206 = -3*a - 5*v, a = -0*a - 3*v + 70. Is a composite?
False
Suppose 3*k = k + 6. Suppose -2*b + 25 = -k. Is b prime?
False
Let b(k) = -2*k**2 - 7*k - 1. Let t(h) = -5*h**2 - 21*h - 4. Let a(q) = -11*b(q) + 4*t(q). Suppose -w = 2*w + 12. Is a(w) composite?
True
Suppose 4*c - 59 = 3*c. Is c prime?
True
Is (-635)/(-2) + 9/6 composite?
True
Suppose -4583 = -4*v - 195. Is v prime?
True
Let p(l) = -4*l**3 + 6*l**2 + 4*l + 5. Let q(t) = t**3 - t**2 + t + 1. Let r(d) = -p(d) - 3*q(d). Is r(6) composite?
True
Let n(f) = -2*f + 4. Let w be n(6). Let s = w - -14. Is ((-45)/s + 2)*-2 prime?
True
Let q(y) = 6*y**3 - y**2 + 3. Let m(n) = 11*n**3 - 3*n**2 - n + 6. Let p(v) = 3*m(v) - 7*q(v). Let z = -6 - -4. Is p(z) a prime number?
True
Suppose -o + 1223 = -4*s, -4*o - 3*s = o - 6161. Is o prime?
True
Suppose s - 10829 = -2*t, 0*s + 3*t = -2*s + 21662. Is s a prime number?
True
Suppose 0 = 7*g - 3*g - 764. Is g composite?
False
Let z = -123 + 484. Suppose 4*v + b = z - 121, 0 = -5*v + 4*b + 279. Is v composite?
False
Suppose -151 + 26 = -5*p. Suppose 4*g - p = 495. Suppose -3*j = 4*z - 5*j - g, -4*z = j - 133. Is z prime?
False
Suppose -4*j + 7 = -2*w + 1, 25 = 5*w. Suppose 0 = j*y - 138 + 14. Is y composite?
False
Let n = 231 + -138. Is n prime?
False
Let n be 4850/5 + (1 - -2). Let y = n + -666. Is y prime?
True
Suppose 0*t + t + 83 = 0. Is (-3)/(-12) - t/4 a prime number?
False
Let n(y) = -2*y + 4. Let v(b) = -3*b + 8. Let s(r) = -5*n(r) + 3*v(r). Let m be s(-5). Is ((-2)/4)/(m/12) prime?
False
Let t = -17 + 178. Is t a prime number?
False
Let s be 6/4*(6 - 2). Suppose 2*m = s*m. Suppose 4*v + m*d = 3*d + 201, v - 3*d - 48 = 0. Is v a composite number?
True
Suppose -h + 5 = 2. Let r = 7 - h. Suppose r*y = -x - x + 128, -5*x - 43 = -y. Is y prime?
False
Let i(f) = 2*f**2 + f + 1. Let o be i(-1). Let x(l) = l + 1. Let v be x(3). Is ((-69)/(-6))/(o/v) composite?
False
Let i(l) = -4*l**3 - l**2 + 2*l - 12. Is i(-5) a prime number?
False
Let t be (-16)/9 - 4/18. Is 212 + t + (4 - 3) a prime number?
True
Suppose 0*m + m + 3 = -a, -2*a + 15 = -5*m. Suppose -4*l - 2*u + 1002 = a, 2*l - 333 - 164 = -5*u. Is l prime?
True
Is -13 - -13 - (0 - 769) a prime number?
True
Let l(r) be the first derivative of r**4/4 - r**2/2 + r - 2. Let k be l(3). Suppose d - 23 = -2*g - 3*g, -d = 4*g - k. Is d a composite number?
True
Let m(n) = 141*n**2 + 6*n + 16. Is m(-5) a composite number?
False
Is -9 - -7 - 1*-15 prime?
True
Suppose 5*l - 118 = 37. Is l a prime number?
True
Suppose -3*x + 8*x - 11660 = -5*s, 4*s = 2*x - 4646. Is x a prime number?
False
Let w(v) = 28*v + 1. Let o be w(6). Let m = -58 + o. Is m prime?
False
Suppose 18 = 5*y + 3*f - f, 0 = -y - 4*f. Let c = 26 - y. Is c a composite number?
True
Let k be 5224/12 - 4/(-6). Suppose -q - k = -2*y, 4*q = -3*y + 884 - 230. Is y a composite number?
True
Let d(f) = 15*f**3 - 2*f**2 - 2*f - 5. Let s be d(5). Is (s/(-8))/((-5)/20) a prime number?
False
Let k(h) = -66*h**3 - 4*h**2 + 5. Let i be k(-4). Let b be 2/5 + i/25. Suppose 0*g - g = 2*m - b, -3*m = -g + 172. Is g a composite number?
True
Let v(c) = 3*c**2 + 5*c + 3. Let q(h) = -2*h**2 - h. Let n be q(1). Let l be v(n). Is 3/l + (-184)/(-5) prime?
True
Suppose -b - 4 = -2*b, -k = -2*b + 5. Suppose g = 4*l - 0*g - 9, -3 = -k*l - 3*g. Suppose l*q - 5*q = -63. Is q a composite number?
True
Let a(n) = 2*n**2 + 3*n + 2. Suppose -3*k + 15 = -v + 4*v, -4*k = -3*v - 27. Suppose 0 = 3*t - k, 43 = -5*c + t + 3*t. Is a(c) composite?
False
Let m(x) = 7*x - 14. Let j(f) = f - 1. Let s(a) = 6*j(a) - m(a). Let z be s(4). Let h(q) = 6*q + 2. Is h(z) a composite number?
True
Suppose 0 = -2*n + 19 + 1. Suppose d = -5*v + n, 3*v - 1 = -2*d - 2. Suppose v*p + 73 = 5*m - 22, 0 = 2*p. Is m a composite number?
False
Suppose -3*r = -134 - 112. Is r a composite number?
True
Let g(n) = 2*n**3 - 3*n**2 - 2*n + 3. Let x be g(5). Suppose 0 = -2*b + 5*c + 162, 279 + x = 5*b - 2*c. Is b composite?
True
Suppose -3*s - 5 = -y, -4*y - 9 = 4*s + 3. Let q = s - -5. Suppose -2*h + 146 = -q*j, 3*j - 113 = -h - 22. Is h composite?
False
Let p(i) = i**3 - 11*i**2 - 12*i + 16. Let d be p(13). Suppose 2*r - 85 = 2*z - 3*z, 2*z - 3*r = d. Is z composite?
True
Suppose -108 - 188 = -4*u. Is u a composite number?
True
Suppose 2*q - 166 = 976. Is q composite?
False
Let c = 4092 + -2923. Is c prime?
False
Suppose f = -2*f + 879. Is f a prime number?
True
Suppose 0 = d - 5*q - 49, q + 291 = 4*d - 0*q. Is d a composite number?
True
Suppose -r + 2*r = 65. Suppose -5*n = 4*h - r, 3*h - 6*h - 13 = -n. Is n a prime number?
True
Suppose -l = 2*x - 19, 49 - 134 = -4*l + x. Suppose -3*g + 45 + l = 0. Is g a composite number?
True
Suppose -4*m - 4 = -5*c, -4*m - 3*c = -1 - 27. Let l(a) = -a**2 + a - 1. Let x(o) = 11*o**2 - 6*o + 5. Let t(d) = m*l(d) + x(d). Is t(-2) a composite number?
True
Suppose -4 = -v + 4*c + 8, 3*v - 22 = 5*c. Suppose v*t = 39 + 85. Is t composite?
False
Suppose 0 = -3*m, -5*r - 2*m + 4865 = -7*m. Is r a prime number?
False
Suppose -2*c + 10 = 2. Let s(x) = -6*x - 5. Let z be s(c). Let t = z - -82. Is t a prime number?
True
Su