*v - 4. Let l = 44 + v. Suppose 3*m - 169 = 4*u, -2*m + 2*u + 64 + l = 0. Is m a composite number?
True
Suppose -4*z = z - 1055. Is z prime?
True
Let v(x) = -2*x**2 + 3*x + 7 + 5*x**2 - 2*x**2. Is v(-7) composite?
True
Suppose 0 = -3*m + 5*m - 4. Suppose 0*v - m*v = -174. Is v a composite number?
True
Suppose 5*j = 3*k - 202, -144 = -4*k + 2*j + 130. Is k prime?
False
Let z be 814*(0 + 4/8). Let v = z - 206. Is v composite?
True
Let h(w) = w**3 + 3*w**2 - 5*w + 2. Let v be h(5). Suppose 265 = 2*k - v. Is k a composite number?
True
Let j(b) = -495*b + 2. Is j(-1) composite?
True
Is (407/33)/((-2)/(-6)) prime?
True
Suppose 1 = v - z - 0, 4*z + 6 = 5*v. Let s = -7 + v. Let u(b) = b**2 + b + 5. Is u(s) prime?
False
Suppose -3*r + 4 = -5. Suppose -5 = -r*p + 4. Suppose 8 = -p*v + 26. Is v composite?
True
Let n(p) = -42*p - 1 + 38*p**2 + 42*p. Is n(-1) prime?
True
Let t be 226 - (-4 + 4)/(-2). Suppose -5*k = 3*r - t, -4*r - 4*k = -155 - 133. Is r composite?
False
Suppose 3*j = -0*j + 231. Is j prime?
False
Suppose -5*u + 590 + 425 = 0. Is u prime?
False
Suppose 3474 = t + 5*t. Suppose -h - 5*n = -584, h + 0*h = -4*n + t. Is h a composite number?
True
Let p be (-2)/11 + 448/(-77). Is (-158*(-3)/p)/(-1) composite?
False
Suppose 0*k - 2*k + 164 = 0. Is k composite?
True
Let m(s) be the second derivative of s**4/12 + s**3/3 + 7*s**2/2 - 4*s. Is m(-5) a composite number?
True
Let b(i) = 27*i**3 + 6*i**2 - 4*i + 3. Let r(n) = 27*n**3 + 5*n**2 - 3*n + 2. Let z(s) = 3*b(s) - 4*r(s). Let o be z(1). Is (o/6)/((-2)/3) composite?
False
Is (2/(-4))/((-2)/4876) composite?
True
Let n(j) = 2*j**3 + 6*j**2 + 9*j + 4. Let g be n(-6). Let p = g + 601. Is p a composite number?
True
Let t(o) = -o**3 - 7*o**2 - 7*o - 4. Let d be t(-6). Suppose -4*j + 50 = -2*f, -37 = -6*j + 3*j + d*f. Is j a composite number?
False
Suppose -4*g = 4*d - 704, 0*g - 5*d - 920 = -5*g. Suppose 0*s = -3*s + g. Suppose -5*j = -j - s. Is j a composite number?
True
Let j(g) = -2*g - 1. Let m be j(-2). Let a(n) = 2*n - 3. Let h be a(m). Suppose o - 5*o + 4*y = -64, 0 = -h*o + y + 54. Is o composite?
False
Suppose 4*h = 11 - 3. Is (8/(-24))/(h/(-474)) a prime number?
True
Let b be (-15)/(-25) + (-24)/(-10). Suppose -4*y = -b*y - 77. Is y composite?
True
Let s(x) = -x**3 + x**2 + x. Let b be s(0). Suppose f + 0*f - 95 = b. Is f prime?
False
Suppose 15 = 5*i, -8*b - 4*i = -3*b - 32. Is 19*(-2)/(2 - b) a composite number?
False
Is (-2)/(-2)*(0 - -157) composite?
False
Let m be (-3320)/(-15) + (-4)/(-6). Suppose -5*b = -2*l + 39 - m, 4*l - 41 = -b. Is b prime?
True
Suppose -v + 198 = 4*z, 0 = -5*z - 0*v + 5*v + 235. Let f = -34 - -109. Let u = f - z. Is u a prime number?
False
Let c = -7 + 14. Suppose 4*t - 21 = c. Suppose -2*k - 3*a = -t*k + 274, k + a - 50 = 0. Is k composite?
False
Suppose 0*m = -5*m. Suppose -5*i = 3*p - 4*p + 180, -p - 3*i + 220 = m. Suppose -5*d + 430 = -p. Is d a prime number?
True
Suppose -14 = -2*r + 4*r - 2*l, 5*r + 3*l = -75. Is (-608)/(-3) - 4/r a composite number?
True
Let q(d) = d**2 - 3*d + 1693. Is q(0) a prime number?
True
Suppose -j + 1 + 1 = 0. Suppose -g + 117 = j*g. Suppose -3*u + 6*u = g. Is u a prime number?
True
Suppose -5 = -5*a + 5. Suppose 4*w - 3*h - 78 = 0, -a*w + 15 + 29 = h. Is w composite?
True
Let f = -241 - -712. Is f prime?
False
Suppose -1376 = 4*c - 8*c. Suppose 4*q - c = 2*r, -2*r = -q - 4*q + 431. Is q a prime number?
False
Let t(m) = m**3 - 4*m**2 - 4*m - 7. Let s be t(5). Suppose -16 + 139 = 3*o. Let a = o + s. Is a prime?
False
Let k(o) = -o**2 + 9*o - 3. Let b be k(8). Let w(x) = -x - 6. Let p be w(b). Let c = p - -34. Is c composite?
False
Let o(v) = v**3 - 2*v**2 - 3*v + 2. Let l be o(3). Is -549*(7/(-3) + l) prime?
False
Suppose 3*a - 4*a = 6. Let s = -11 - a. Let k(r) = -7*r - 2. Is k(s) a prime number?
False
Let c = 281 + -28. Is c a composite number?
True
Suppose -9 = 4*h - 5*m, 5*m = 24 + 1. Suppose -h*y - 16 = 0, 4*d - 2*y - 158 = d. Suppose 54 = 4*l - d. Is l a composite number?
True
Let s(q) = -169*q + 1. Is s(-4) a prime number?
True
Let p(l) = -l**2 - 4*l + 14. Let y be p(-6). Suppose y*r - 213 = -3*v + 2*v, 3*v - 3*r = 684. Is v a prime number?
True
Let w(f) = -18*f + 16. Let y(j) = 18*j - 15. Let z(t) = -4*w(t) - 5*y(t). Is z(-8) prime?
False
Let j(i) = i**2 + 3*i + 5. Suppose 4 = 2*k - 0. Suppose g - 4 = 2*g + 4*u, -g = k*u. Is j(g) a composite number?
True
Let j be (-2)/5 + 414/10. Suppose 3*g - 4*k = -119, -j = g - 0*k - k. Is (-1 + g/(-12))*4 composite?
False
Suppose -8*c - 253 = -8597. Is c a prime number?
False
Let f = 3 - 1. Suppose -2*i = f*i - 148. Is i prime?
True
Suppose 0 = -5*z + 4*j + 45, 4*z + 5*j = -z. Suppose -5*y + 811 = -2*i, y - 3*y = -z*i - 337. Is y composite?
True
Let u = 4 - 5. Let o = 7 + u. Is (-3)/o - 103/(-2) composite?
True
Is 6/(-36) - 8620/(-24) a prime number?
True
Suppose -x = 8 + 4. Is 654/14 + x/(-42) a composite number?
False
Is (65 + -7)*26/4 a prime number?
False
Let y(n) = -6*n - 7. Suppose -2*o - 27 = -5*o. Suppose 0 = 3*q - 2*q + l + o, 1 = 3*q - 4*l. Is y(q) composite?
False
Suppose 0 = -2*y - 0*y + 672. Suppose 4*w = 2*w + 6, 3*r - y = 3*w. Is r prime?
False
Suppose 0 = 3*p + 3*q - 0*q - 66, -4*q = -16. Let s = -91 + 151. Suppose p = -2*r + s. Is r prime?
False
Let f(a) = -41*a - 12. Let o = -27 + 15. Let m be f(o). Is 2/(-2 - m/(-237)) prime?
True
Let n be 16/(-6) - 5/15. Is ((-267)/(-9))/((-1)/n) composite?
False
Let v = -500 - -1261. Suppose -v = -2*x - 7. Is x a composite number?
True
Suppose -5*i = 4*j - 3504, 5*j - 4363 = 2*i - 4*i. Is j prime?
False
Let q(t) = -t. Let g = -8 - -5. Let i be q(g). Suppose -i*r + r + 66 = 0. Is r prime?
False
Let k(x) = 488*x - 1. Is k(1) a prime number?
True
Let l(s) = 4*s**3 - s**3 + 2*s - 2*s**2 + 9 - 4*s**3. Is l(-6) a prime number?
False
Suppose 0 = -4*i + 6*i. Is i + (-20)/(-5 - -3) a prime number?
False
Suppose c = -3*j - 3, 7*j - 2*j + 21 = c. Let w(m) = 2*m + 2. Is w(c) a prime number?
False
Suppose -2*a + 3*v - v + 1226 = 0, -2*v + 613 = a. Is a prime?
True
Let l = 20 - 15. Suppose 0 = -l*g + 4*z + 1010, -g + 202 = -0*g - z. Is g composite?
True
Let f = 0 - -38. Let h = f + -17. Let m = 40 - h. Is m prime?
True
Let m = -439 + 924. Is m a composite number?
True
Let p(o) = -o**3 - 13*o**2 + 13*o - 16. Is p(-15) a prime number?
True
Suppose 3*i + 4*w + 13 = 0, 2*i - 3*w + 16 = -4. Is (2/4)/(i/(-2086)) prime?
True
Is -1 - -1 - (-2 + -199) a composite number?
True
Suppose -u = 4*y - 2*y - 223, 4*u = 12. Suppose -3*c - 2*i + 1011 = -y, -4*c + 4*i + 1468 = 0. Is c composite?
True
Let a(s) = 18*s**2 - 5*s**2 - 2*s**2 - 4 + 10*s**2 + 2*s. Is a(3) a prime number?
True
Suppose 968 = -8*j + 6*j. Let f = -177 - j. Is f a composite number?
False
Let q = 21 + -8. Suppose 335 + q = 4*p. Is p a composite number?
True
Let m be (2 - -2) + -1 + 1. Suppose 5 = m*r + 41. Is (-2 + (-15)/(-9))*r a prime number?
True
Let l(d) = -2*d. Let a be l(4). Let h be 3/(6/(-4)) + a. Is (-10)/25 + (-1274)/h prime?
True
Let m = -10 - -6. Let w = m - -7. Suppose 4*b = -3*k + 319, 6*b = 3*b - w*k + 240. Is b prime?
True
Let z be (-3 - -1)/(-4)*28. Suppose o + z = 2*o + 2*j, -5*o + 35 = 3*j. Is o a composite number?
True
Suppose -163 = -2*r - y, 0*r + r - 68 = -5*y. Suppose 7*c = -4*m + 2*c + 332, -m + 5*c = -r. Is m a prime number?
True
Let k = -4 + 57. Let t = k + -16. Is t prime?
True
Suppose t + p = 2, -3*t + 8 = t - 5*p. Suppose t*b = -8, -5*b = 4*s - 7*s + 491. Is s a prime number?
True
Let v(g) = 30*g - 4. Let w(q) = -q - 1. Let p(i) = -4*i - 2. Let j(f) = p(f) - 3*w(f). Let u(z) = 3*j(z) + v(z). Is u(2) prime?
True
Is 41/(-2 + 92/44) prime?
False
Let a(g) = -13 - 4 + 4 - 69*g. Is a(-12) a composite number?
True
Suppose 0 = -4*j - 2*z + 82, -4*j - 21 = z - 98. Suppose -b + a + 28 - 4 = 0, b + 2*a - j = 0. Is b a prime number?
False
Suppose 3*o + 3*m - 1 = m, -2*o - 5*m + 19 = 0. Is 125 - (-2)/(4 + o) composite?
False
Let a(m) be the third derivative of m**6/120 - m**5/6 - 5*m**4/12 - 5*m**3/6 + 2*m**2. Let k be a(11). Is 534/(-3)*(-3)/k a prime number?
True
Suppose 0 = -2*v + 23 + 461. Suppose -25 = k - v. Is k a composite number?
True
Suppose 11*s = 3188 - 603. Is s prime?
False
Suppose -617 - 1487 = -4*f. Let o = -341 + f. Is o prime?
False
Suppose z - 1431 + 3758 =