*n = 6*n - 5*l - 822, 3*n - l = 834. Let h = 424 - n. Let u = h - 66. Is u a prime number?
True
Is (4 - (-3 - 46))/1 prime?
True
Let b(c) = 11*c**2 + 3*c - 1. Let p be b(2). Suppose 0 = 2*j + 3 - p. Is j prime?
True
Let h be (8/(-12))/(4/6). Let g = 3 + h. Let q = 4 + g. Is q prime?
False
Let k(o) = -18*o - 11. Is k(-6) prime?
True
Suppose 152 = a - 3. Is a a prime number?
False
Let o(a) = -8*a. Let s be o(-13). Let k = s - 7. Is k prime?
True
Let s = 7 - 4. Suppose 0 = 2*x + 4, x + 62 = 4*k + 4*x. Let n = k - s. Is n a composite number?
True
Suppose z + 5*p + 2 = 135, -4*z = p - 570. Is z composite?
True
Is (2 + 1 + -1)*5666/4 a composite number?
False
Suppose -5*f = 4*h + 4, -5*h - 2*f - 10 - 12 = 0. Let l(q) = q**2 + 6*q + 4. Is l(h) composite?
True
Let k(u) = 11*u**2 - 2. Is k(7) prime?
False
Suppose q + 5*t + 14 = -4, 26 = 3*q - 5*t. Is (-1)/((-1)/244*q) a prime number?
False
Let x(k) = -45*k + 2. Suppose -2*i = 2*c + 8, -i - i = -c + 5. Is x(c) a composite number?
False
Let k = -9 + 15. Let n = k + -1. Suppose 4*z + 22 = 3*p, 36 + 17 = 2*p + n*z. Is p a prime number?
False
Suppose 5*u = 352 - 77. Is u prime?
False
Suppose 4*l + 31 + 463 = 3*x, 5*l - 476 = -3*x. Suppose -x = -4*o + 682. Is o a composite number?
False
Let x be -22 + (0 - 0) + -1. Suppose 3*f + 40 = 136. Let z = x + f. Is z composite?
True
Let v(o) = -1527*o - 14. Is v(-3) a prime number?
True
Let s be 2 + 4*(-1)/(-2). Suppose -s*p = z - 11, -z + 0*z + p = -16. Let a = 16 + z. Is a a composite number?
False
Let o(q) = -q**3 + 7*q**2 - q - 6. Suppose 2 = -3*y - 13. Is o(y) prime?
False
Let m(r) = 2*r**2 + 13*r - 24. Is m(-19) composite?
True
Let w(y) = 3*y**2 - 18*y + 2. Is w(16) a composite number?
True
Let j = 370 - 77. Is j a prime number?
True
Let z(a) = a**2 - 6 - 2*a**2 + 0*a**2 + 2*a + 2*a. Let n be z(5). Let p(c) = -c**2 - 13*c. Is p(n) a composite number?
True
Let p(x) = 2*x**2 + x + 1. Let n be p(-10). Let a = 706 - n. Is a a composite number?
True
Suppose 3*w - 532 = -2*w + t, -w + 102 = 2*t. Is w prime?
False
Let h = -137 - -243. Let o = h + -27. Is o composite?
False
Is 6469/9 + (-12)/(-54) prime?
True
Let p = -507 + 749. Let m be (6 - p)*10/8. Let s = -174 - m. Is s a prime number?
False
Let i(h) = 13*h**3 + h**2 + 1. Is i(3) a composite number?
True
Suppose 3*t - 4*j = -2*j + 827, 3*t = -5*j + 862. Suppose -b + 6*b - 4*d = t, 3*b = -2*d + 163. Is b a composite number?
True
Let s = 1 - -4. Suppose 12 = 4*u - 4*l, 4*u - 12 = 2*l - s*l. Is u a composite number?
False
Suppose -3*r + 3 = 0, 0 = -6*g + 3*g + 5*r + 163. Suppose -g = -4*n + 36. Is n prime?
True
Is (-4)/26 - 325584/(-247) a composite number?
True
Let s = 170 - 258. Let t = 309 + s. Is t composite?
True
Let n = 4304 - 3038. Suppose 11 + 19 = 5*s. Is ((-2)/s)/((-2)/n) prime?
True
Let p = -94 - -140. Suppose -5*d - p = -4*y - 174, d = -4*y + 40. Is (3 + 1)*d/16 a prime number?
True
Suppose 5*n - 4*n = -2. Let g be (-3 - (n - -1))/(-1). Suppose 3 = g*j - 47. Is j prime?
False
Suppose -h = 4*i - 3*h - 716, 0 = -2*h - 4. Is i a prime number?
False
Let f(s) = -6*s + 11. Is f(-8) a prime number?
True
Suppose 5440 + 1755 = 5*b. Is b composite?
False
Let v = -9 + 5. Let b(m) = -6*m + 0*m**2 + 4 - 5 + 2*m**2. Is b(v) a composite number?
True
Let i(p) = -p**2 + 6*p + 3. Let t = 0 + 7. Let z be i(t). Is (80 - -1) + 2 + z composite?
False
Suppose -3*s = -3*z - 63, 5*s + 2*z = -2*z + 87. Is (s - 8)/((-1)/(-17)) a prime number?
False
Let v be 7/(-3) + 3/9. Let x be (-10)/v - (2 - 3). Is 1*3/9*x prime?
True
Suppose 4*n = 5 + 7. Let h be (-2 + -1)*(-8)/6. Suppose -c + 3*t = -23, -h*c - c + 163 = -n*t. Is c prime?
False
Suppose n - 5 = 0, -4*m + 786 = -3*m + n. Is m composite?
True
Is 490688/123 + (2 + -1)/(-3) composite?
False
Let j(v) = 61*v**2 + 5*v - 7. Is j(-14) prime?
False
Let v(j) = -5*j - 7. Is v(-8) a prime number?
False
Let z(v) = 34*v - 9. Let s = 17 + -13. Is z(s) a composite number?
False
Let a(z) = z**2 - 6*z - 6. Is a(-7) a composite number?
True
Suppose 5*o + 29650 = 5*v, 0 = -3*v + 4*v - 3*o - 5934. Let l be v/21 - (-2)/(-7). Suppose -5*g = -2*x - 104 + 313, -3*x + l = 3*g. Is x prime?
True
Let c(w) = -1143*w - 2. Is c(-1) prime?
False
Suppose -3*m - 8 = -2*r, 6*m - 4*m - 5*r - 2 = 0. Let c(i) = -i - 4. Let n be c(-5). Is n - (m + 0 - 2) composite?
False
Suppose -2*o = -6*o + 12. Let j = 5 - o. Suppose j*h - 7*h = -190. Is h composite?
True
Let k = -85 + 269. Suppose 4*c - 4*l - k = 0, 5*l - 220 = -0*c - 4*c. Let x = 71 - c. Is x a composite number?
True
Let w(b) = 2*b**3 - 6*b**2 - 7*b + 2. Is w(5) prime?
True
Suppose 0*g + 3*g - 93 = 0. Is g a prime number?
True
Suppose 0*v - 4*v = 0. Let a = 19 + v. Is a prime?
True
Let y(l) = 9*l**3 - 7*l**2 + 3*l - 2. Let s(q) = -5*q**3 + 4*q**2 - 2*q + 1. Let u(j) = 7*s(j) + 4*y(j). Is u(6) a composite number?
True
Suppose 0*z + 88 = -2*z. Suppose 3*n + 0*n = 231. Let b = n + z. Is b prime?
False
Suppose 0 = 2*c + 3*c - 1655. Is c prime?
True
Let s = -523 - -837. Is (-2)/(-4) - s/(-4) a prime number?
True
Suppose 4*d + s = d + 46, 0 = d - 3*s - 2. Is d composite?
True
Let k(q) be the first derivative of 21*q**2/2 - 2*q + 7. Is k(1) prime?
True
Is 109284/9 + ((-20)/(-15))/4 prime?
True
Is 717/9 + 8/(-12) prime?
True
Let r be (-2)/(-3)*(-747)/(-6). Let x be (2 - 2 - -4) + 0. Suppose -3*a - 225 = -3*t, x*t - 3*a = 5*t - r. Is t composite?
True
Let c(x) = -6*x + 15. Let j be c(11). Let q = j + 86. Is q prime?
False
Let k(f) = -f**2 - 2*f - 3. Let n be k(4). Let c = 50 + n. Suppose z = -0*z + c. Is z prime?
True
Let j be 3 + 0 + 0/2. Suppose 439 = j*y - 542. Suppose -y = -4*h - 115. Is h a composite number?
False
Let d be (-6)/(-4) + (-1253)/(-14). Let t = 240 - d. Is t prime?
True
Let u(k) = -k**3 + 5*k**2 + 2*k + 6. Let o be u(6). Let s = 105 - 72. Let p = o + s. Is p a prime number?
False
Let n(i) = -5 - 26*i**2 - 9*i**2 + 4. Let s be n(5). Is s/(-15) - 2/5 composite?
True
Suppose -674 = -4*l + 58. Is l a composite number?
True
Suppose 5*h = 5*k + h - 45, 5*k + 4*h - 45 = 0. Suppose 894 = -6*g + k*g. Is g composite?
True
Let c(f) = -f + 20. Let z be c(0). Suppose 0*p - 15 = -4*p - 3*o, z = p + 4*o. Suppose p = 5*n - 5*v - 90, 0*v + 1 = v. Is n prime?
True
Suppose -4*t + 5*t - x - 6 = 0, -5*x = 3*t + 6. Suppose -2*n - 4*d = 0, 4*d + 20 = -t*n + 6*n. Suppose 135 = -0*z + z - 5*u, 0 = n*z - u - 616. Is z composite?
True
Suppose 2*k = -o + 9 - 33, -3*o + k - 93 = 0. Let q = 17 - o. Is q a prime number?
True
Suppose 61286 + 17259 = 23*p. Is p a prime number?
False
Let n = -147 + 221. Is n composite?
True
Is (3 + 8/(-3))*(-3 - -10788) a composite number?
True
Suppose -2*j = -0*j + 5*g - 4, -2*j + 5*g = -44. Is (-2 + j)*58/4 a composite number?
True
Let p be 2 - (-6)/(-2)*-1. Suppose -4*m - 2801 = -0*m + p*l, -2*m = l + 1399. Is m/(-9) + 4/(-6) a composite number?
True
Suppose -6*m = -1208 + 62. Is m prime?
True
Suppose 2*z + 15 = -1. Is (0 - 148/z)*2 a composite number?
False
Let d(b) = -2*b + 3. Let w be d(8). Let l = -6 - w. Is l a prime number?
True
Let r = -10 + 10. Let n = 15 - r. Is n a prime number?
False
Let h = 40 - 3. Is h a prime number?
True
Let m(y) = y**2 + 12*y + 9. Let s be m(-11). Is (-2)/((-1836)/(-921) + s) a prime number?
True
Let o = 422 - -2597. Is o composite?
False
Is (-342)/(-2) - (1 + 1) a composite number?
True
Suppose 166 = i - 0*i. Let x = -72 - -119. Let o = i - x. Is o composite?
True
Suppose -3*x + 562 + 911 = 0. Is x composite?
False
Let m be (-1)/(-4) + 399/4. Let s = m - 41. Is s composite?
False
Suppose -k = -n + 21, -5*n - 19 + 120 = -4*k. Suppose n = 5*c + 67. Is (c/(-4))/5*50 a composite number?
True
Let w be 3 - (0 + -3 - -1). Suppose -v + 2*v + 2*q = 32, w*q = -2*v + 69. Is v a composite number?
True
Suppose 2*d + 105 - 823 = 0. Is d a prime number?
True
Let r be (-28)/(-6) + 6/(-9). Suppose 1373 = r*c - 3*m, -2*m = 4*c - 0*m - 1358. Is c a prime number?
False
Let p = -8 + 15. Is p composite?
False
Let i be (-1)/1 - (-12)/3. Let u(q) = q**3 - 3*q**2 - 2*q - 5. Let d be u(4). Is i/(-1*d) - -36 a prime number?
False
Let m = 6 + -3. Suppose -3*n + 45 = 2*y - 20, -2*n + 2*y = -40. Suppose z - m*w + n = 6*z, 0 = 5*z + 5*w - 25. Is z composite?
False
Suppose 0*w - 40 = 2*w. Suppose p + 4*r + 50 = 3*p, -145 = -4*p - r. Let j = w + p.