2, 3*z - 2*p = 67 + 257. Let x = -155 + z. Let m = -24 - x. Is m a prime number?
False
Let y(q) = 54*q**2 - 1. Suppose x + 0 - 1 = 0. Is y(x) composite?
False
Let k = 19 + -25. Let y(x) = -2*x - 5*x - 9 - x**2 - 3*x. Is y(k) composite?
True
Suppose 3*q - 2*q = 0. Let f be 339/3 - (q + -2). Let r = f - 53. Is r a composite number?
True
Is 1/((2/1)/74) a composite number?
False
Let k(i) = -i**3 - 3*i**2 + 3*i + 1. Let d be k(-4). Suppose 0 = h + u - 12, -5*h = -d*u - 55 - 5. Suppose -q = x - h, -4*x + 45 + 5 = 5*q. Is x prime?
False
Let l = 70 - 103. Let v = 18 - l. Is v a composite number?
True
Suppose 0 = 2*p - 4*p + 1642. Is p composite?
False
Let p = 350 - 21. Is p a prime number?
False
Let r(o) = -20*o - 1. Is r(-4) composite?
False
Suppose -2*d + 3*d - 42 = -i, -d = -2*i + 75. Is i prime?
False
Let p(k) = -230*k**3 - 5*k**2 + 2*k + 7. Is p(-2) a prime number?
True
Suppose 4*v - 4850 = b + 1518, -3*v + 3*b + 4785 = 0. Is v composite?
True
Suppose -2*j + 4 = -2. Suppose j*w = -w - 2*v + 554, v + 1 = 0. Is w composite?
False
Is 10/15*-6 - -525 prime?
True
Suppose -4*d = -7*d - 21. Let y(p) = p**3 + 8*p**2. Is y(d) a prime number?
False
Suppose -4*p - 2*g = -16, -6*g = -g. Suppose 0 = 8*u - p*u - 524. Is u a composite number?
False
Let s(l) = -l**3 + l**2 + l. Let m(h) = -5*h**3 - h**2 + 5*h + 2. Let f(v) = m(v) - 4*s(v). Is f(-7) a composite number?
True
Let k = -1 - -25. Let y = k + -9. Suppose -5*w + 2 = -m - 17, -3*w = -5*m + y. Is m prime?
False
Let n(x) = x + 1. Let a(s) = 60*s - 15. Let h(z) = a(z) + 9*n(z). Let k be h(4). Suppose -k = -4*d + 2*l - 3*l, -l + 2 = 0. Is d a prime number?
True
Suppose -5*j + 5*v = -4979 + 969, -v = j - 792. Is j composite?
False
Let s = 4 + 0. Suppose s*o - 1566 = -0*o - 2*r, 0 = 3*o + r - 1172. Is o a prime number?
True
Let o = 1 + 0. Let f = 1 + o. Suppose -f*u + 47 = d, -3*d - d = -5*u - 227. Is d composite?
False
Let y(r) = -11*r + 2. Let f(k) = k**2 - k - 2. Let v be f(0). Let d be 12/9*(-1 + v). Is y(d) a composite number?
True
Let y(a) = 4*a + 8. Let s be y(-4). Let i(r) = 5*r**2 + 7*r - 5. Is i(s) a prime number?
False
Let v(z) = 2*z - 9. Suppose 4*u - 5*n = 29, -5*n + 0 - 17 = -2*u. Let x be v(u). Is x/(-2)*28/(-6) composite?
False
Let d be (-17 - -11)*21/2. Let z = -6 - d. Is z a composite number?
True
Suppose 5*i = -5*z + 35, 3*i - 3*z = 2*z - 3. Suppose -2*y + 26 - 8 = 0. Suppose i*n - y = n. Is n composite?
False
Let h(p) = -p + 7. Let z be h(5). Suppose z*f - 5 = 5. Suppose f*v - 43 = 72. Is v prime?
True
Suppose 0 = o - 6*o + 650. Is o - (1 + (4 - 9)) a composite number?
True
Suppose -4*b - 3*f = 36 - 649, -172 = -b + 3*f. Is b a composite number?
False
Suppose j + 7 = -5*m, 3*m = 3*j + 2 + 1. Let f(x) = 50*x**3 + 5. Let n(s) = -49*s**3 - 6. Let k(b) = -5*f(b) - 4*n(b). Is k(m) a composite number?
False
Let p(c) be the first derivative of 2*c**3/3 + c**2/2 + 5*c - 1. Suppose -30 = -13*j + 8*j. Is p(j) a composite number?
False
Let g(f) = f + 1. Let z be g(-2). Let a be 1*34 + -2 + z. Suppose 2*x + a = 77. Is x a composite number?
False
Let g = 180 - 104. Suppose 18*k - g = 14*k. Is k a composite number?
False
Suppose 3*u + 5 = 20, -5*a - 4*u = -21025. Is a a prime number?
True
Suppose 3*v - 35 = -2*g - 3*g, 1 = -3*v + 4*g. Let l(j) = 2*j - 7. Let p be l(v). Suppose -17 - p = 5*i, 2*c - 5*i - 174 = 0. Is c composite?
True
Let z(f) = 3*f**2 - f**3 - 7 + 5 + f + 4*f. Let c be z(4). Is c + 2 + 219/3 prime?
False
Let i(f) = 121*f**2 - 2*f + 1. Let y be i(1). Let m(k) = k**2 - k - 2. Let l be m(-2). Suppose 2*u - y = -2*u - l*g, 0 = u - 5*g. Is u a prime number?
False
Let h = 15 + -11. Suppose 3*t = 4*s + 485, -h*t - 3*s + 818 = t. Is t prime?
True
Let r = -72 + 87. Is r a composite number?
True
Let p be (17 - -1)*316/8. Suppose -6*z + 4*z + 378 = 4*a, -p = -4*z + a. Is z prime?
True
Let c be (-3*(-2)/3)/2. Let b be (0 - c)/(1/(-181)). Let t = -86 + b. Is t composite?
True
Let u be 3 + (3 - 4) + 3. Suppose 5*h - u*q = 505, -5*h + q + 660 = 147. Is h composite?
False
Suppose -2*h = w - 226 - 33, 0 = 5*h + w - 640. Is h a prime number?
True
Suppose -4*y - 109 = -3*h, -5*h + 0*y + 5*y = -185. Is h composite?
True
Is 0 + 1 + -1 + (942 - -9) prime?
False
Is (5 - -17)*(-10)/(-4) a prime number?
False
Suppose 3*s - 2853 + 96 = 0. Is s prime?
True
Let h = -481 + 1038. Is h composite?
False
Let s be 12/(4 + -1) + -1. Suppose 0*h - 3*h + 27 = -2*m, 2*m = -s*h + 39. Is h a composite number?
False
Suppose 4*k + 344 = 2*k. Let i = k + 333. Is i prime?
False
Let q(f) = -3*f**2 - 5*f + 9*f**2 - f + 3 - 4. Is q(-7) prime?
False
Let k(i) = i**3 - 3*i**2 + 2*i + 1. Suppose -b + 2 = -1. Let q be k(b). Let d = 16 + q. Is d composite?
False
Is 1087*((-1)/(-3))/(1/3) a composite number?
False
Is (44 - 1)*((-6)/6 + 8) a composite number?
True
Let k(f) = -97*f - 3. Suppose 5*t - 10 = 5*d, d + 2*t - 2 = t. Suppose 0 = -d*l - l - 2. Is k(l) a composite number?
False
Suppose 2*k + 2*k - 764 = 0. Is k a prime number?
True
Let s = 1 - 2. Let z be -6*(s - (-2)/4). Suppose -z*n - n = -36. Is n prime?
False
Is (-107)/(-2) - (-11)/(-22) a composite number?
False
Let r(a) = -a**3 + a + 487. Is r(0) a composite number?
False
Suppose 3*x = -x - 20, 34 = 3*w + x. Is (-2)/w + (-2006)/(-26) composite?
True
Is 641/((-3 - -1)/(-2)) composite?
False
Is ((-369)/36)/(1/(-52)) prime?
False
Suppose -2*z - z + 69 = 0. Suppose -29 = -2*j - j + 2*w, 5*j + 3*w - z = 0. Is j a composite number?
False
Let s(k) = 6*k - 36. Let j(u) = u - 1. Let b(h) = 5*j(h) - s(h). Is b(0) composite?
False
Let j(l) = 20*l**2 + 2*l + 5. Suppose 0*u - u - 8 = -5*a, -7 = 2*u - a. Is j(u) prime?
True
Let c = -629 - -1464. Is c a prime number?
False
Suppose -1252 = -2*h + 3*s, -2*h + 5*s + 1254 = s. Is h prime?
False
Let o(z) = z + 367. Is o(0) a prime number?
True
Suppose 5*v + 48 = 13. Let f(q) = -q**3 - 7*q**2 - 2*q - 5. Let t be f(v). Let g = 22 - t. Is g a prime number?
True
Let t(h) = -h + 78. Let u be t(0). Let r be ((-2)/6)/((-2)/u). Suppose -i - 4*j + r = 0, -115 = -6*i + i + 5*j. Is i a prime number?
False
Let j(m) = m**2 + 7*m - 11. Is j(-15) a composite number?
False
Let m(d) = -d**2 + d + 95. Let b = -8 + 10. Suppose b*j = 4*j. Is m(j) a composite number?
True
Suppose 1485 = 5*k + 5*g, -k - 5*g + 305 = -2*g. Is k a prime number?
True
Let g = -12 + 12. Suppose -u - 23 + 164 = g. Is u composite?
True
Let b(y) = -6*y - 1. Let v be b(-1). Suppose -v*o + 2 = 2*r, o + 5*r + 24 = 3*o. Suppose o*x = 0, 0 = 2*k - 4*k - 2*x + 110. Is k a composite number?
True
Let s(g) = 3*g**2 + 6*g - 7. Let i be s(-5). Suppose 4*a - i = 2*a. Is a a prime number?
True
Suppose 0 = 5*r - 2*r - 36. Suppose q + 36 = k - r, -5 = q. Is k a composite number?
False
Suppose -4*v + 8 = 0, -v - 2*v = 3*q - 447. Let r be (99/(-20) + 6/30)*-4. Suppose -q = -2*o + r. Is o composite?
False
Let i = 168 - 118. Let g = 141 - i. Is g composite?
True
Let r(p) = p**3 - 4*p**2 - 5*p. Let b be r(5). Suppose 2*c + 37 - 263 = b. Is c a prime number?
True
Suppose 2*b = -5*l - 28, 2*l + 16 = -0*b + 4*b. Let n = l + 9. Suppose -o - 2*o = s - 754, -2*o = n*s - 491. Is o composite?
True
Let j = -226 - -623. Is j a prime number?
True
Let s be 1/((-18)/4)*-9. Suppose -158 + 580 = s*i. Is i a prime number?
True
Let x(l) = l**3 + 5*l**2 - 6*l + 2. Let t be x(-6). Let y(p) = 3*p**t - 3 + 4*p - p**3 - p - 4*p**2. Is y(-4) composite?
True
Let c(n) = 4 - 7*n + 3 + 0. Is c(-6) prime?
False
Suppose v = -2*v + 9, 4*k = -3*v - 2607. Let r be 4/22 - k/33. Suppose 5 + r = d. Is d a composite number?
True
Let t(w) = 3*w**3 - w**2 + 1. Let m be t(1). Suppose m*r = -171 + 804. Is r a prime number?
True
Let t(s) = 4*s**2 - 14*s + 5. Is t(7) prime?
True
Is (-423 - -1)/(10/(-5)) a prime number?
True
Let w(d) = -9*d**2 + 15*d + 13. Let m(s) = 5*s**2 - 8*s - 6. Let v(h) = -7*m(h) - 4*w(h). Let u = -9 - -2. Is v(u) composite?
False
Suppose -5*m = -4*t - 437, -7*t + 186 = 2*m - 3*t. Is m a composite number?
False
Let z(v) = v**3 + 10*v**2 + 3*v + 2. Let p be z(-9). Let f = 93 - p. Is f a prime number?
True
Let o(l) = l**2 - 4*l - 3. Let y be o(5). Let d(n) = -8 + 5*n + 10 - 1. Is d(y) composite?
False
Suppose 3*k + 0*k + x = 5, -5*k + 5*x = -15. Let w(m) be the second derivative of 7*m**3/6 - 5*m. Is w(k) composite?
True
Let n(c) 