(f) = -84*f + 7. Is j(-5) a prime number?
False
Let r be 8/(-3)*(-4 + 7). Let k(i) = -18*i**2 + 2*i + 1. Let n be k(r). Is n/(-12) - 2/8 prime?
True
Let j(u) = -4 + 2 + 10*u - 27*u + 1. Let a(o) = o**3 + 2*o**2 - 5*o. Let d be a(-4). Is j(d) composite?
True
Suppose -3*n = -395 - 550. Let v = 548 - n. Is v a composite number?
False
Let q(y) = 524*y - 1. Is q(6) composite?
True
Let j = 6 - 2. Suppose -3*o + 1 = 2*m - j, 13 = o - 5*m. Suppose o*z = 175 + 32. Is z prime?
False
Suppose 0 = -2*c - 5*i + 294, -i = c + 2*c - 454. Suppose 5*d - c + 47 = 0. Is d a composite number?
True
Suppose -1670 = -5*z + 5*m, -m + 1022 = 3*z + m. Let l = z + -99. Is l a prime number?
True
Let n(x) = -x. Let w(h) = 88*h**2 - 6*h - 1. Let q(s) = -4*n(s) + w(s). Is q(-1) prime?
True
Let x(o) = -4*o**3 + 4*o**2 + 4*o - 2. Let z be x(4). Let y(k) = k**2 + 9*k - 11. Let f be y(-10). Is f/4 + z/(-8) a composite number?
True
Let f(h) = -3*h**3 + 7*h**2 - 2*h + 9. Let u be f(6). Let q = -188 - u. Is q composite?
False
Suppose -16*t = -11*t - 715. Is t composite?
True
Suppose -q = -2*c + 1, c = -3*c - 3*q - 3. Let z = -37 + c. Is (z - -6)*-1*11 prime?
False
Let p be 8/(-12)*3*-1. Suppose -p*w - w = -69. Is w a composite number?
False
Let t(x) be the first derivative of x**7/840 + 7*x**6/360 - x**5/12 + 5*x**4/24 - 2*x**3/3 + 3. Let n(h) be the third derivative of t(h). Is n(-8) prime?
False
Let n = 5038 - 1638. Let c = n + -2393. Is c composite?
True
Let o be 2 + -3 + -1 - -6. Let f(z) = -o - 1 + 0 + z + 5*z. Is f(7) prime?
True
Let m be 1/((7/(-3))/7). Is (-2)/m*2790/12 a prime number?
False
Suppose -3*b = 12, k - 3*b - 15 = 4*k. Is 7 - 0*(-1)/k a prime number?
True
Is (14 + -3)/((-1)/254*-2) composite?
True
Let g(d) = 4*d**2 + 1. Let c be g(-1). Suppose q = -0*q + 71. Suppose -q = -c*z - 6. Is z a prime number?
True
Let i(v) = 2*v**3 - 3*v**2 - 5*v + 13. Is i(6) a prime number?
True
Let m be (-2 - 0)/((-3)/156). Suppose 13 = -w - m. Let o = w + 248. Is o a prime number?
True
Suppose 2*h - 8 = -6. Is -37*(3/(-3) - h) a prime number?
False
Let q be (-1 - 105/(-2))*4. Let k = 50 + 15. Let m = q - k. Is m composite?
True
Let c be 3 + (-2)/1 - -3. Suppose 5*x - c*x - 82 = 0. Is x prime?
False
Let k = 162 + -35. Suppose -b + k = -2*i, 3*i - 115 = -b + 2*i. Is b prime?
False
Suppose 3*l - 5*d = 16, 4*l - d + 0*d - 10 = 0. Suppose 3*v = z - 62, -l*v - 144 = -3*z + z. Is z a prime number?
False
Suppose -5*h + 6 = -4. Suppose -3*f - 2*y = -1561, -2*y + 515 = 3*f - h*f. Is f a prime number?
True
Let m(z) = 1564*z**2 - 3*z + 2. Is m(1) a prime number?
False
Let w(y) = -y**3 - 6*y**2 - y - 3. Let m be 1 - 5 - (-2 + 4). Let t be w(m). Suppose 5*j + 25 = 0, 0 = -3*x + t*j - 0 + 78. Is x a composite number?
True
Let i be (-2)/(-9) + (-194)/(-18). Let f = -4 + i. Is f a composite number?
False
Suppose 3*v - 968 = -2*q + 3203, 1397 = v - q. Is v a composite number?
True
Let t be -6*(2 + 20/(-6)). Let l(f) = f**2 - 2. Is l(t) composite?
True
Let s(w) = -192*w + 17. Is s(-4) composite?
True
Let i = -396 - -949. Is i composite?
True
Suppose -u = -3*u - 300. Let b = -61 - u. Is b prime?
True
Let f = -18 - -124. Let d be 2/(-3) + 34/6. Suppose 5*i + 16 = -d*t + f, -3*t - 15 = 0. Is i composite?
False
Let d = 35 + 23. Is d a prime number?
False
Let a(y) = y**3 - 6*y**2 + 11*y - 7. Is a(9) a composite number?
True
Let n = 6 + -8. Let o be 57/9 - n/(-6). Is o/(-21) - (-690)/14 prime?
False
Suppose 2*o - 2125 = -4*v + 5*o, 2*o - 10 = 0. Is v prime?
False
Suppose 2*h + 8 + 18 = 0. Let v = h + 7. Is ((-148)/v)/(8/12) a prime number?
True
Suppose -2*f = h + 4, h = f + 4 - 2. Suppose h = -3*o - 2 + 11. Suppose 0 = o*x + x - 132. Is x composite?
True
Suppose 0 = 6*k - 2*k - 52. Suppose 0 = s + s - 8. Suppose k = -s*i + 161. Is i composite?
False
Suppose 28 = 5*n - 67. Is n a composite number?
False
Let f(i) = -3*i - 9. Is f(-5) a composite number?
True
Let i(m) = 8*m**2 - 8*m - 5. Let u(l) = -9*l**2 + 9*l + 5. Let f(c) = 7*i(c) + 6*u(c). Is f(-5) a composite number?
True
Let w(m) = m**2 + 8*m - 5. Is w(6) composite?
False
Let a(r) = 3*r**2 - 7*r - 2. Let f be a(5). Let i be (-1245)/(-21) - (-8)/(-28). Let g = i - f. Is g composite?
True
Let q be (38/6)/(3/45). Suppose -7*h = -2*h - q. Is h composite?
False
Suppose -r + 4*w + 6 + 20 = 0, 2*r + 8 = -4*w. Let d(m) = 24*m**2 + 2*m + 1. Let t be d(-2). Suppose -r = -3*j, -s - j = -0*s - t. Is s a prime number?
False
Let d(f) = 12*f - 17. Let m(u) = -1. Let l(v) = -d(v) + 6*m(v). Is l(-5) a prime number?
True
Let k(h) = -29*h + 4. Let o be (-26)/3 - (-1)/(-3). Let n be k(o). Suppose 0*u + 5*u = n. Is u a prime number?
True
Let b = -91 + 296. Is b prime?
False
Let p = 31 + -17. Is ((-8)/6)/(p/(-1407)) a prime number?
False
Let t be 2890/20 + 2/(-4). Let i = 0 - -1. Let p = i + t. Is p a prime number?
False
Is (1 - 2)*-11 - 2 a composite number?
True
Suppose 0 = -2*m + 7*m + 30. Let d(i) = i**3 + 5*i**2 - 8*i - 9. Let n be d(m). Is (-2)/n + 113/3 prime?
True
Suppose 3*u = 6*u - 1599. Is u a composite number?
True
Let v(s) = 3*s + 4*s**2 + s**2 - 1 - 4*s**2. Let p = -4 - 1. Is v(p) a prime number?
False
Let w(g) = 2*g**3 - 2*g**2 - 7*g - 1. Let z(m) = 2*m**3 - 3*m**2 + m. Let p be z(2). Is w(p) prime?
True
Let a be 1*(-3 + 7)*27. Let p = a + 185. Is p a prime number?
True
Suppose 5*x + 1877 = -883. Let u = x + 859. Is u a prime number?
True
Suppose 0 = 2*b - 0*b - 4. Suppose -15 = -3*u + x, -b*u + 4 + 6 = 4*x. Suppose -u*o + 156 = -169. Is o composite?
True
Let u = 2016 + -655. Is u composite?
False
Suppose 2*z - 4*z - k + 5 = 0, z = 5*k - 3. Suppose z*p - 3 = p. Suppose -m + p*i + 88 = 0, 3*m + i - 5*i - 249 = 0. Is m a prime number?
True
Is (-2)/(-4)*(-2096)/(-8) a composite number?
False
Let v = 388 + -74. Suppose 308 = 2*y - 3*h, h - 2 = -2*y + v. Is y a composite number?
False
Is (472/10)/(4/10) prime?
False
Let i = 18 - -29. Let u = i - 12. Is u prime?
False
Suppose -v + 18 = v. Let r = 7 - v. Is 118 - (r - (-5)/1) prime?
False
Let h = -3 + 1. Let v be (5 - (-2 + 2)) + h. Suppose 5*p + 6 = v*o - 4*o, 0 = o - p - 24. Is o prime?
True
Suppose 3*n + 2850 = 3*d, 2*d - n - 239 = 1664. Is d composite?
False
Is 545 - -1*(0 - 4) prime?
True
Let a be (-20)/8*(-4)/5. Suppose -2*q - 28 = -0*w - a*w, w = 2*q + 17. Is w prime?
True
Let r(p) = -p**2 + 10*p - 10. Let u be r(7). Let q = 30 - u. Is q a composite number?
False
Let h(l) = 26*l + 4. Let z be h(8). Let u = z + 11. Is u composite?
False
Suppose 227 = 4*l - 617. Is l prime?
True
Is (-13)/2*(-962)/13 composite?
True
Suppose -q = 3*q. Suppose q = -2*g - 27 + 201. Let v = g + -56. Is v a prime number?
True
Suppose 34 = -d - 1. Let b = 54 + d. Is b a prime number?
True
Suppose 3*d - 728 = -2*a, -d - d = 3*a - 477. Suppose 2*m + m - d = 0. Is m prime?
False
Let l(j) = -18*j**3 - 6*j**2 - 7*j + 3. Is l(-4) a composite number?
False
Let f be (1/2)/((-2)/12). Is (-2)/f*1965/10 a composite number?
False
Let m(u) = -3*u**3 + 6*u**2 + 6*u + 7. Let z be m(5). Let y be (-2)/(-1) - (-353)/(-1). Let q = z - y. Is q a composite number?
False
Is (-267)/623 - 3/(42/(-59968)) a prime number?
True
Suppose 0 = 4*h - 167 - 461. Is h a prime number?
True
Let v be (-1)/(-3)*24/1. Suppose -v = -4*y - 0. Suppose -y*f + 5*a + 8 = -178, 416 = 4*f + a. Is f a composite number?
False
Let m(o) = 186*o + 1. Let k be m(-1). Is (k/4)/5*-28 prime?
False
Let q(d) = -6*d + 4*d**2 - 8 - d**2 + 6*d**2 - d**3. Let i be q(7). Let b = i + -33. Is b prime?
False
Let h(v) = -4 - v + 3*v**3 - 5*v + 0*v - 2*v**2. Is h(5) a prime number?
False
Suppose -5*c = -c - 1092. Let b = c - 82. Is b a prime number?
True
Is (-2)/4 + (-10451)/(-14) prime?
False
Let w = -3 - -6. Is ((-21)/35)/(w/(-435)) composite?
True
Let h(z) = -3 + 0*z + 4*z + 10. Let k be h(6). Suppose f - k = -i - 2*i, 4 = 2*i. Is f prime?
False
Let i(l) = -l - 4. Let v be 0/((0 - 1)*1). Let q be i(v). Is q/(-6)*(-171)/(-6) composite?
False
Let g(l) = -3*l**3 - l**2 + 2*l + 2. Let h be g(-4). Let q = h - 91. Is q composite?
False
Let j(k) = -k**2 - 10*k + 11. Let q = -35 + 8. Let y be 176/(-18) - (-6)/q. Is j(y) a prime number?
True
Suppose 4*f + 2517 - 185 = 0. Let g = 149 - 377. Let p = g - f. Is p composite?
True
Suppose -k - 15 = -4*k. Suppose k*d + 47 = 177. Suppose -2*s + 0*s + d = 0. Is s