*g + 5*m + 4561 = 884, 3*m = 3*g - 3681. Is g prime?
True
Suppose 2*x + 5*z = 2307, -2*z = x + z - 1154. Is x a composite number?
False
Let b(q) = 13*q**2 + 0*q**3 + 3 - 3*q**3 - 10*q - 2*q**3 + 6*q**3. Is b(-11) prime?
False
Suppose 5*z - 6*z - 20 = 0. Let g be 21/5 - (-4)/z. Suppose -2*k = -4*k, g*d + 5*k = 316. Is d prime?
True
Is (0 - 27/6)*1780/(-30) prime?
False
Let c(g) = -6*g + 3. Let w be c(2). Let n = -2 - w. Let h = 20 - n. Is h a composite number?
False
Let b be -3 - 0/3 - -2. Let j = 0 + b. Is ((-3)/1)/(j/11) composite?
True
Is ((-52)/(-12))/(462/153 + -3) composite?
True
Let f(a) = 10*a**3 - a**2 + 2*a + 2. Is f(3) a composite number?
False
Let n = -8 - -15. Let s be 3 - (n - (1 + 1)). Is (314/8)/(s/(-8)) composite?
False
Let v be 101/(-1)*(-2)/2. Let k = v - 62. Suppose 0 = -3*q - 2*l + k, 4*l = -3*q - 25 + 58. Is q prime?
False
Let z = 2502 - -55. Is z composite?
False
Let q = 3 - 0. Let m(i) = -1 - 2 - q - 9*i**2 - 2*i**3 + 2*i**2 - 2*i. Is m(-5) prime?
True
Suppose 4 = 5*u - 36. Suppose 0 = -4*l + u*l - 236. Is l prime?
True
Suppose d = 2, 3*m - 4*d + 57 = 7. Is (-570)/(-4) - 7/m prime?
False
Suppose -6 = -3*o, -n - 2*o - 3*o + 419 = 0. Is n a prime number?
True
Let u be 84/10 + (-6)/15. Suppose 0*y = y - 41. Let s = y + u. Is s a composite number?
True
Let j(z) = -z + 5. Let h be j(12). Is (-528)/(-14) - 2/h a prime number?
False
Let s be 21/2 - (-7)/(-14). Is (s/(-4))/((-6)/1668) a composite number?
True
Let o(g) = 2*g**3 + 5*g - 2*g**3 - 7*g**2 + g**3. Let a be o(8). Suppose 0*q - a = -4*q. Is q composite?
True
Let b = -61 - -104. Is b a composite number?
False
Let u = 15 + 36. Suppose 0 = -q + 1, -w + q + u = -2*w. Let l = w + 131. Is l composite?
False
Let v(b) = -b**2 - 8*b - 5. Let j be v(-7). Suppose 22 + 30 = j*n. Is n a prime number?
False
Let v(g) = g**3 + 4*g**2 + 2*g + 4. Let m be v(-4). Is (24/(-12))/(m/430) a composite number?
True
Suppose -5*v + 1670 = 3*p - 4*p, 5*p = 4*v - 1336. Is v composite?
True
Let p = -2038 - -4409. Is p composite?
False
Suppose 3*q = 35 + 1. Let o(k) be the first derivative of k**4/4 - 4*k**3 + 5*k**2 + 7*k - 10. Is o(q) a composite number?
False
Let v(y) = -2*y - 2. Let o be v(13). Is 4/14 + (-300)/o composite?
False
Suppose 0 = -4*y + 2*o + 2*o - 40, 3*y = 5*o - 32. Is 74/(2 - (-12)/y) prime?
False
Let a(p) be the second derivative of -11*p**3/3 - p**2/2 + p. Let h(j) = -j**3 + j**2 + j - 6. Let n be h(0). Is a(n) prime?
True
Let p(u) = -u**2 - u + 1. Let n be p(0). Suppose -4*k = -m + 12, n = -4*m - 2*k - 5. Suppose m*w - 258 = -3*w. Is w prime?
False
Let d = -17 - -25. Suppose -d = 2*r - 24. Suppose 4*x = -r + 60. Is x a prime number?
True
Let h be (19/(-2))/(2/(-4)). Suppose -g + h = -78. Is g a prime number?
True
Let t(j) = -5*j**2 - 32*j**2 - 5*j - 2*j + 7 + 0. Let u(r) = r**2 + r - 1. Let k(d) = -t(d) - 5*u(d). Is k(-2) composite?
True
Let q(r) be the second derivative of r + 1/3*r**3 - 13/20*r**5 + 0 - 1/2*r**2 + 1/3*r**4. Is q(-2) a composite number?
True
Let b(z) = -z + 2 - 3 - 4 + 3. Let w be b(-2). Suppose -5*x + 5 = 0, 3*k + 3*x - 2*x - 28 = w. Is k a prime number?
False
Let i = -513 - -1424. Is i a composite number?
False
Let i(s) = -2*s - 11. Let n be i(-9). Let o(l) = -l**2 + 9*l - 4. Is o(n) composite?
True
Let r(m) be the second derivative of m**7/360 + m**6/120 + m**5/120 - m**4/4 + 4*m. Let g(q) be the third derivative of r(q). Is g(-4) prime?
True
Let s(u) = -150*u - 7. Is s(-17) prime?
True
Let p(o) = 11*o**2 + 8*o - 10. Is p(9) a composite number?
False
Let u(g) = 28*g**3 - g**2 - 4*g - 1. Is u(3) composite?
True
Let a(p) = -p**3 - 4*p**2 - 1. Let q be a(-5). Suppose -q = 3*i + i. Is (-146)/i - 4/(-6) a prime number?
False
Suppose 2*n = 3*r + 5, 0*r + r - 21 = -5*n. Suppose -n*d + 7*d = -5*j + 274, -5*d + 15 = 0. Is j composite?
False
Let m(t) = t**3 + 7*t**2 + 7*t + 9. Let i be m(-6). Let a be 1/((-2)/(5 - i)). Is (a - 200)/(15/(-10)) a prime number?
False
Let u = 3496 + -2409. Is u composite?
False
Let s(y) be the third derivative of -y**6/120 + y**5/60 + y**4/24 + y**3/6 - 4*y**2. Let m = -2 - 0. Is s(m) prime?
True
Let u = 61 + -35. Is u prime?
False
Suppose 15*u + 20027 = 22*u. Is u composite?
False
Let y = -22 + 50. Suppose 5*w - y - 17 = 0. Is (-2)/w + 1858/18 a composite number?
False
Let w(c) = 32*c - 3. Is w(5) composite?
False
Let b(o) = 7*o**2 - 15*o + 25. Is b(8) a composite number?
False
Let y(t) = 3*t**2 + 5*t + 2. Let n be y(-3). Is 1/2 - (-147)/n a prime number?
True
Is (-28)/32*-10*4 a prime number?
False
Is 2/(-12)*3*-670 composite?
True
Let w(k) = -2*k + 1. Let v be w(-2). Suppose 0 = -v*y - 3*m + 630, 5*y - 595 = 5*m - m. Is y composite?
True
Is (4 + 1)/(1/67) composite?
True
Suppose o - 312 = 169. Is o a prime number?
False
Let j be (3/2)/((-3)/(-6)). Suppose 0 = -j*f + 9 + 6. Suppose -f*o - 1 = -131. Is o a prime number?
False
Suppose 4*m - 11 = -k, 0*m = 3*m + 3*k - 15. Let i = 5 - 2. Suppose 75 = m*w + i*w. Is w a prime number?
False
Suppose -2*c = -1023 - 2283. Let y = c + -1168. Is y prime?
False
Let k be (-588)/(-27) - 4/(-18). Suppose 5*v - w - 42 = 0, v - 3*w - k = -v. Let s = v - 1. Is s composite?
False
Suppose 92 = 3*o + 20. Suppose o = 2*m - 5*m. Is 4/(m/(-62))*1 a composite number?
False
Suppose -2*h + 35 = 3*h. Let m(z) = z**3 - 8*z**2 + 7*z + 3. Let n be m(h). Suppose 0 = n*f + 2*f - 165. Is f a composite number?
True
Suppose -5*u + 4 = -2*v - 9, -3*u - 2*v = -11. Let w(m) = m**2 - 3*m + 4. Let a be w(u). Is a/14 - (-411)/7 composite?
False
Let j(q) = -250*q**3 + 1. Is j(-1) a composite number?
False
Let q(i) = -i**3 - 11*i**2 + 2*i + 15. Let o be q(-11). Let u be o*((-52)/14 + 2). Is 225/u - 2/(-8) composite?
False
Let x = 1197 + -610. Is x a prime number?
True
Let u(t) = -t - 6. Let p be u(-8). Suppose 5*r = p*r. Suppose 5*y - 63 + 8 = r. Is y composite?
False
Let m be (5 + -2)*-1*-1. Suppose 11 = -m*h + 104. Is h a prime number?
True
Let f(s) = s**2 + 2*s + 5. Let m = -3 - -11. Suppose 5*k + m = -32. Is f(k) a prime number?
True
Let v(n) = -3*n + 16. Let q be v(8). Let d(p) = p**3 + 10*p**2 - p - 5. Is d(q) prime?
True
Suppose a + 2 = k, -3*a - 10 = -0*k - k. Is 4/(a/13)*-1 a prime number?
True
Let s(b) = -78*b - 9. Let l be s(-5). Suppose r = -2*r + l. Is r composite?
False
Suppose -o + 330 = o. Suppose 2*h + o = h. Is (2 + -1)/((-5)/h) a prime number?
False
Is (2618/21)/(4/6) a composite number?
True
Let w(u) = 23*u**2 - 3*u + 5. Is w(-3) a composite number?
True
Let o = 4456 - 2815. Is o composite?
True
Suppose -w + 156 = m, 0 = 3*w - 4*m - 0*m - 475. Is w composite?
False
Let l = 338 + -67. Suppose -4*f = w - 267, 2*f + 2*f - 3*w = l. Is f a composite number?
False
Let f(k) = k**2 - k - 1. Let j(c) = -4*c**2 + 11*c. Let a(b) = 3*f(b) + j(b). Let y be a(7). Suppose 23 - 171 = -y*u. Is u a prime number?
True
Suppose 0*k + 2*k = 10. Let d be -35*k/(50/(-4)). Let s = d - 3. Is s a prime number?
True
Suppose o = -s, o - 12 = 4*s + s. Is (-161)/(2/(-4 - s)) a composite number?
True
Let t(s) = 2*s**3 - s**2 - 2*s - 1. Suppose 3*g = 4*w + 29, 5 = -g - 3*w - 7. Is t(g) a composite number?
True
Let h(f) be the first derivative of 5*f**2/2 + 14*f - 9. Is h(7) a prime number?
False
Let l = -1 + 1. Suppose c - o - 8 = l, 5*o + 8 = -c - 2*c. Suppose -c*x - 51 = -187. Is x prime?
False
Suppose -4 + 0 = 2*u, -4*u + 2868 = 4*w. Is w a prime number?
True
Let u = 11 - 1. Suppose 3*l + u = 67. Is l composite?
False
Suppose 0 = -2*s + 4, 0 = -3*o - 2*o + 3*s + 3149. Is o prime?
True
Suppose 0 = 5*i + 677 + 368. Let z = i + 483. Suppose -5*o + 0*o + z = 4*x, 5*x + 4*o - 347 = 0. Is x a composite number?
False
Let m(z) = -z**2 - 8*z - 3. Let n be m(-8). Is 434/3 + (-1)/n a prime number?
False
Let g(k) = 10*k**2 - 3 + 2 - 3 + 3*k. Is g(-3) a composite number?
True
Suppose -4*q = -232 - 260. Is q a composite number?
True
Let j(w) = 49*w**2 + w. Let u be j(-3). Suppose q + 258 = 5*x - 285, q = -4*x + u. Let d = x + -60. Is d a prime number?
False
Let h(m) = 3*m**2 + 4*m + 1. Let c be -1 + (0 - -1 - 15). Let y = 11 + c. Is h(y) prime?
False
Let n(m) = -100*m - 20. Let a(w) = 33*w + 7. Let b(o) = 11*a(o) + 4*n(o). Let k be b(-3). Let u = 177 - k. Is u prime?
False
Suppose k - 5*l = -95, -2*l - l - 63 = k. Is (-1)/(-4) - k/4 a prime number?
