z + 237 = 0. Is z prime?
True
Let y(k) = 300*k**2 + 5*k - 4. Is y(1) a prime number?
False
Let m = -9 - -12. Suppose -178 = -m*j - 40. Is j a prime number?
False
Let i be 1*((0 - 0) + -4). Let q be 2198/4*108/(-63). Is q/(-30) + i/10 prime?
True
Suppose -u + 2*u - 5 = 0. Suppose 4*g - 646 = 394. Suppose u*w - g = w. Is w prime?
False
Let k = -63 + 126. Let u = k + -24. Is u composite?
True
Is ((30/9)/(-5))/((-12)/15354) prime?
True
Let b(t) = -t**2 - 11*t - 8. Let n be b(-10). Suppose n*v + 0*v - 106 = 0. Is v composite?
False
Suppose -6*w + 27 = -5*d - 3*w, 2*w - 28 = 5*d. Let x be ((-75)/6)/((-3)/d). Let q = 0 - x. Is q a prime number?
False
Is (-3)/3 + (-1638)/(-3) composite?
True
Let x(h) = -38*h + 1. Is x(-3) prime?
False
Let y(u) = -u. Let s be y(-6). Suppose -x + s = x. Suppose j + 2*g = -0*g + 43, 5*j - x*g = 280. Is j a composite number?
False
Let a = 8 + -8. Suppose -h = -5*j + 178 + 147, 2*j - 4*h - 130 = a. Is j composite?
True
Let l = -16 + 7. Let p(a) = a - 1. Let c(h) = -19*h - 8. Let r(u) = c(u) + 5*p(u). Is r(l) composite?
False
Is (0 + 2*-1)/((-44)/14806) a prime number?
True
Let k be (-1 - 0)/(2/(-4)). Let v be -2 + 3 + k/(-2). Suppose v*r + 159 = 3*r. Is r composite?
False
Let r(s) be the first derivative of -s**3/3 + 9*s**2/2 + 5*s - 2. Is r(5) a composite number?
True
Let d = 5 - 13. Let s(v) = 4*v**2 + 7*v - 6. Let o be s(d). Let z = -115 + o. Is z prime?
True
Let x be 6/(-9)*3/1. Let m = 6 + x. Suppose -59 = 2*f - m*f - w, 4*f = 4*w + 136. Is f composite?
False
Let v(r) = 6*r**2 - 10*r - 10. Let m(a) = -5*a**2 + 9*a + 9. Let i(d) = -4*m(d) - 3*v(d). Suppose -5*t = -3*t - 10. Is i(t) a composite number?
True
Let b = -17 + 129. Suppose b = 2*m - 6. Is m composite?
False
Suppose -1 + 5 = 4*j. Is (-70)/(-8) + j/4 a composite number?
True
Suppose 0*i + 2 = -2*i. Let c(n) = 132*n. Let z(d) = -19*d. Let j(h) = 3*c(h) + 22*z(h). Is j(i) composite?
True
Let h(o) = 10*o**2 - 17*o - 17. Is h(16) a prime number?
False
Suppose -1 = -2*z + 177. Is z a composite number?
False
Let u = -242 - -360. Let z = -61 + u. Is z a composite number?
True
Is (3 - (-1)/(-2))*82 a prime number?
False
Let n = -851 - -2890. Is n composite?
False
Suppose 0 = 2*u + 2, 4*u + 6 = -2*l - 8. Let f(x) = 3*x**2 + 4. Is f(l) a prime number?
True
Let u(b) = 18*b**2 - 1. Is u(-3) composite?
True
Suppose -3*t + 5 = -2*s - 7, 4*t = 3*s + 16. Let c be (s/1 - -1) + 2. Suppose -2*f = -23 - c. Is f a composite number?
False
Let b = -4 - -4. Let q be (b + 1)*(2 + -1). Let a(i) = 35*i**2 - i + 1. Is a(q) composite?
True
Suppose 3*w = -5*g + 1046, 2*g - 2*w - 118 = 310. Is g composite?
False
Let m = 106 + 143. Suppose -2*i + 0*i + 5*j = -126, 4*j = -5*i + m. Is i a composite number?
False
Suppose -3*k + 3*z = -0*k + 216, 2*z - 69 = k. Is 5/(k/(-9))*10 prime?
False
Let b be 3/12 + (-169)/4. Let p = b + 93. Is p prime?
False
Suppose p + 4*o - 7 = 0, -5*p + 4*o + 16 = 5*o. Suppose z + 2*z + 5*f - 8 = 0, -5*z + 2*f = -p. Is 1*-49*z*-1 a composite number?
True
Suppose -4 = -3*s + 2*s. Suppose j + 472 = s*n, 0 = -n + 3*n + 3*j - 250. Is n composite?
True
Suppose -4*a = -7 + 3. Let l be (-273)/(-9) + a/(-3). Suppose -3*g - l + 189 = 0. Is g prime?
True
Is 3364/5 + (-6)/(-30) a prime number?
True
Let j(s) = s**3 + s**2 - 7*s + 7. Is j(6) a composite number?
True
Let o = 3533 - 2172. Is o a composite number?
False
Let h = -290 - 316. Is h/(-5) - 7/35 a prime number?
False
Let s(u) = -u + 1. Let y(a) = 22*a - 7. Let c(l) = 3*s(l) + y(l). Let h = -6 + 9. Is c(h) a prime number?
True
Let a(n) = n**3 - 4*n**2 - 4*n - 6. Let k be a(5). Let w be -36 + (-2)/4*-4. Is 1 + (k - (w + -1)) composite?
True
Let h(j) = -6 - 7 + 3*j - 7*j - 2*j. Is h(-14) a composite number?
False
Let x be 0/(16/(-4) - -2). Let v(s) = s**3 - 2*s**2 - 2*s + 2. Let t be v(3). Suppose x*p = t*p - 70. Is p a prime number?
False
Let h be (-1)/(-2) - 1/(-2). Let v(b) = 80*b**2 - 2*b + 1. Is v(h) a composite number?
False
Let a = 483 - 218. Suppose a = j + 4*j. Is j composite?
False
Let l(v) = -v + 17. Let k be l(11). Let u(r) = 6*r**2 - 8*r - 5. Is u(k) a prime number?
True
Let g = -17 - -29. Let w(s) be the second derivative of 11*s**3/6 + 11*s**2/2 + 2*s. Is w(g) composite?
True
Suppose -3*l - 3 = -4*k + 1, -4*k - 2*l + 4 = 0. Let f be k/(-3) - 106/(-3). Suppose -3*b = -64 - f. Is b prime?
False
Let c = -3 + -3. Is 2*(-3)/c - -114 composite?
True
Let l be ((2 - -2) + -3)*2. Is (4/2)/l + 418 a prime number?
True
Let y = -38 - -115. Suppose 4*w - 4*z + 64 = w, -4*w - 3*z = y. Let t = w + 79. Is t prime?
True
Let t be (-2)/(-8) - (-6)/8. Let x(p) = -42*p**2 - 1. Let n be x(t). Let a = 64 + n. Is a a prime number?
False
Suppose -2*a + 230 = -4*k, -4*k + 2*k - 448 = -4*a. Is a a composite number?
True
Suppose 10*u + 748 = 14*u. Is u a composite number?
True
Let p(m) = 6*m**2 - 179*m**3 - 6*m**2 - 1 + 2*m + 0*m**2. Let g be p(1). Is g/(-3) + (-4)/12 a composite number?
False
Suppose -w - 316 = -4*c + 3*w, 0 = c - 2*w - 74. Suppose 0*p - c = -3*p. Let d = -9 + p. Is d prime?
True
Let s(j) = -110*j**3 + 2*j + 1. Let g be s(-1). Suppose -m + 52 = -g. Is m prime?
False
Is (83/(-3))/((-12)/180) prime?
False
Let v = 570 + -277. Is v composite?
False
Suppose -3*f - 513 + 3144 = 0. Is f composite?
False
Let d = 646 + -311. Is d a composite number?
True
Suppose 4*b + 3*x = -154, -b = -3*x + 4*x + 38. Let z = b + 74. Is z composite?
True
Let u(w) = -8*w - 1. Is u(-4) a prime number?
True
Let u(g) = -g**3 + 3*g**2 + g - 2. Let o be u(3). Suppose -o + 8 = h. Is h composite?
False
Suppose 51 = -3*n - 2*n + 2*q, 12 = 4*q. Let s = 9 + n. Suppose s = 2*k - 4*k + 98. Is k a prime number?
False
Suppose 3*n = -0*n + 180. Let s = -38 + n. Is s prime?
False
Suppose -2*d = 4 - 2. Is 53/(-2)*2/d composite?
False
Suppose 4*v - 23 = -3*d, 3*d - 28 = -0*d - 5*v. Let r be (d + 2)*(-10)/6. Let n(h) = h**3 + 4*h**2 - 6*h + 2. Is n(r) a prime number?
True
Let v = -7 - -11. Suppose 4*i - 4*g - v = 0, 4*i + 5*g + 11 = -21. Is 49*(3/i)/(-1) a composite number?
True
Suppose -2*y = -32 - 56. Let n = y - 23. Is n a composite number?
True
Let l(k) = k**3 - 5*k**2 + 5*k - 6. Let u be l(5). Let x = u + 0. Is x composite?
False
Let d = -2 + 5. Suppose 564 = d*m + m. Is m composite?
True
Suppose 0 = 3*y + 4*f - 45, -64 = -4*y - 0*f - 4*f. Is y composite?
False
Suppose 4*q + 6 = 490. Suppose 8 = 4*p, -4*p + q = b - 5*p. Is b composite?
True
Let n be (25/(-4))/(2/(-24)). Is n/(-12)*(-2 + -2) composite?
True
Suppose z = -5*p + 9 - 1, -2*p - z = -2. Suppose -2*f = p*f - 812. Is f a composite number?
True
Suppose 0 = -2*m - m + 5*r - 3, 4*m - 3*r - 7 = 0. Suppose 5*l = -i + 3*i - 32, m*l - 25 = -3*i. Is i a composite number?
False
Let o(c) = -c**3 - 5*c**2 + 3*c + 5. Suppose -5*t + 0*t + 15 = 0. Let l(s) = s**2 - 4*s - 3. Let a be l(t). Is o(a) a prime number?
True
Suppose -20 = -3*v + 7*v. Let f(t) = 2*t**2 + 6*t + 6. Is f(v) prime?
False
Let c = -10 + 13. Let y(z) = 12*z**2 - 4*z + 1. Is y(c) a composite number?
False
Let v = -19 + 27. Let k(c) = -c**3 + 8*c**2 + 6*c - 11. Let a be k(v). Let q = -26 + a. Is q a prime number?
True
Is 1/3 - (6240/(-18) + 8) a composite number?
True
Suppose 0*b = 2*b - 1006. Is b a prime number?
True
Let z be 48/(-21) - 4/(-14). Let i be (4/z)/(2/(-9)). Suppose -5*v = -6 - i. Is v composite?
False
Suppose -3*v - 48 = -204. Let j = -15 + v. Is j composite?
False
Let q(u) = u + 17. Let f be q(-13). Suppose -f*z + 42 = 2*z. Is z a prime number?
True
Suppose 26 = 6*x - 2*x + 2*f, 0 = 4*x + 3*f - 31. Suppose -2*t - 4*i = -x - 6, 3*t - 3*i - 51 = 0. Is t composite?
False
Suppose -k + 10 = -3*u, -2*k + 3*u = 3*k - 62. Let y(f) = -f**3 + 12*f**2 + 16*f - 16. Is y(k) a prime number?
True
Let i(b) = 5*b**3 - b**2 - b. Let l be i(-1). Let j(y) = -4 - 4*y**3 - 8*y - 11*y**2 + 3*y**3 + 5*y**2. Is j(l) prime?
True
Let c be 191 + 1 + 0/(-2). Let l(x) = x**2 + 6*x - 2. Let p be l(-7). Suppose -c = -p*s - 17. Is s composite?
True
Let g be 2*1/((-6)/9). Let k = g + 3. Suppose y + 2 - 6 = k, d - 2*y - 11 = 0. Is d prime?
True
Let w(h) = h**3 - h**2 + h - 4. Let r be w(0). Let k be 1/r + (-18)/(-8). Is -1 - 0 - -56*k a prime number?
False
Is (635/(-10))/(-1)*2 prime?
True
Suppose u - 29 = -4*s, -s - 2*u + 5 = -4*u. Let m = -5 + s. Suppose -2*t + 4*v