4*y + z - 5*z - 144, g = 4*y + 4*z - 152. Is y prime?
True
Let m = 1823 - 375. Let a = m + -939. Is a a prime number?
True
Let l(y) = -y**3 - 9*y**2 - 8*y + 2. Let n be l(-8). Suppose -2*t - n*s + 1 + 13 = 0, t - 7 = 3*s. Suppose 1 = -v + t. Is v a prime number?
False
Let m(p) = p**2 - 8*p + 9. Let l be m(6). Is -1 - (1 + -18) - l a composite number?
False
Suppose i + 0 - 67 = 0. Is i composite?
False
Let r = 22 + -19. Let b(j) be the second derivative of 3*j**5/20 - j**4/3 + j**2 + j. Is b(r) a prime number?
True
Suppose 4*s - 5*u - 271 = 0, s + 3*u = 2*u + 79. Is s a composite number?
True
Let t be 80/6 - (-2)/(-6). Let b = -10 + t. Suppose -b*q + 9 = -0*q. Is q composite?
False
Let o(r) = -r**3 - 6*r**2 - 6*r. Let n be o(-5). Suppose n*v - 702 = 553. Is v composite?
False
Let h(y) = 46*y - 67. Is h(20) a composite number?
False
Is (-2)/(10/(-15)) - -976 prime?
False
Let v(f) be the third derivative of f**6/120 + f**5/12 - f**4/24 - f**3/3 - 4*f**2. Suppose 3*t = 2*d - 15, -3*t - 2*t - 25 = -4*d. Is v(t) a composite number?
False
Let u be (1*3)/((-1)/(-1)). Let t be 2/((-3)/(u/(-1))). Suppose -98 = t*p - 4*p. Is p a composite number?
True
Let a be ((-22)/(-6))/(-1)*-6. Suppose -a = -2*u + 84. Is u a prime number?
True
Let b(g) = g**2 - 7*g - 8. Is b(10) a composite number?
True
Suppose y = -4*d + 3964, -3*y + 1982 = 2*d - y. Is d a composite number?
False
Suppose -4*w + 741 + 527 = 0. Is w prime?
True
Suppose 4*h = -z - 2*z + 17, -2*z + 3*h + 17 = 0. Is z a prime number?
True
Suppose -s = -3 + 6. Is (-3)/9*2*s a prime number?
True
Let u(z) = -z**3 - 2*z**2 - 3*z. Let r be u(-2). Let a(w) = -3 + 2*w**3 + 0*w**3 - 4*w + r. Is a(2) a prime number?
True
Let o(y) = -296*y - 81. Is o(-20) a prime number?
True
Let b = -3027 + 4388. Is b composite?
False
Let a(b) = 16*b**2 - 5*b - 5. Let p be 4*(-2 + -2)/4. Is a(p) composite?
False
Let p(y) = 1104*y**3 - 2*y**2 - 2*y - 1. Let f be p(-1). Let b = f + 740. Let m = 652 + b. Is m prime?
False
Let f = 607 - -6. Is f a composite number?
False
Suppose -5*s + 7 = -8. Let f be 1 + ((-2)/(-1) - 146). Is (-2)/3 - f/s prime?
True
Suppose -3*w - 10 = -8*w. Suppose -w*n + 1005 = 3*n. Is n a prime number?
False
Suppose 0 = a - 5*a. Suppose -4*r + 1020 + 544 = a. Is r prime?
False
Let y(b) be the first derivative of -39*b**2/2 + b - 4. Let t(j) = j**2 - 7*j - 10. Let s be t(8). Is y(s) composite?
False
Let r(s) = -14*s - 9. Let p be r(-8). Suppose 0 = 4*t + n + 4*n - 122, 3*t - 2*n = p. Is t prime?
False
Suppose 257 = 3*a - 73. Let m(w) = 75*w**2 + w - 1. Let o be m(1). Suppose o = 5*p - a. Is p a composite number?
False
Suppose 5*i - 4*i + 2*x - 259 = 0, 3*x + 6 = 0. Is i a composite number?
False
Let i(o) = o**3 - o**2 + 2. Let b be i(0). Suppose -3*c + v + 345 = 0, -b*c - 2*v - v + 230 = 0. Suppose -2*r = -y - 224, 2*y + c = r + 3*y. Is r composite?
False
Suppose -790 = -5*x + 10*x. Let k = x + 237. Is k prime?
True
Suppose 3*n + 318 = -4*c + 57, n + 4*c + 95 = 0. Let d = n + 168. Is d a prime number?
False
Let u be 4/10 + 3248/5. Let j = -16 + 18. Suppose j*s + 139 = w - 0*w, 5*w + 5*s = u. Is w a composite number?
True
Suppose -2*p + 4*h + 18 = 0, -19 = -2*p - p + 2*h. Suppose -r + p*r = -3*t + 61, 4*t + 20 = 0. Is r composite?
False
Let v(p) = 19*p. Suppose 0 = x - w + 3, x = -0*w - 2*w - 3. Let u = x + 6. Is v(u) prime?
False
Is ((-1955)/(-25))/(5/25) composite?
True
Suppose -2*p = -2*g, -4*p - 5*g = -2*g - 7. Let t = 4 - p. Suppose -y + t*y = 246. Is y a composite number?
True
Suppose 2*c = 6*c - 4. Is (-3 + (-210)/(-3))/c a prime number?
True
Suppose -2*w - w - 21 = 0. Is 1563/7 - (-2)/w a composite number?
False
Let o(l) = 338*l + 1. Is o(2) a prime number?
True
Suppose -625 - 1440 = -5*u. Is u composite?
True
Suppose -6*b + 9 = -21. Suppose -q + 0 = -b, -96 = -l - q. Is l a composite number?
True
Let h = -19 - -25. Is h composite?
True
Let z(g) = g - 8. Let r be z(6). Let u be r/(40/19 + -2). Let i = -5 - u. Is i prime?
False
Is 1245/(3 - 2) + (4 - 2) a composite number?
True
Let m(b) = 6*b**2 - 7*b + 9. Is m(-14) a composite number?
False
Suppose -27 = -b - 0*h + 5*h, 5*b - h = 15. Suppose 40 = -b*m - r + 294, 127 = m + 4*r. Is m composite?
False
Let g be (-6)/18 + 350/6. Suppose -4*k + 1 + 15 = 0. Suppose -a + 50 = -q, g = k*a - 5*q - 143. Is a prime?
False
Let o(m) = 41*m**2 - 2*m - 2. Let c be o(2). Suppose 4*x + c = 5*l + x, 4*x - 16 = 0. Is l a composite number?
True
Suppose -4*k + r = -649, -3*k + 6*r = 4*r - 483. Is k prime?
True
Suppose -4*a + 2 = 6. Let p(h) = 2*h. Let j be p(a). Is (9/(-15))/(j/30) composite?
True
Let p(r) = -51*r**3 - 6*r**2 + 4*r + 4. Let f(n) = -51*n**3 - 5*n**2 + 3*n + 3. Let d(a) = -5*f(a) + 4*p(a). Is d(2) a prime number?
False
Let p(i) = i**2 + 3*i - 3. Let o be (-3)/(14/(-4) - -2). Let g be p(o). Suppose 0 = 4*x + 2*j - 560, -2*x + 5*j = -g*x + 695. Is x prime?
False
Suppose -2*s + 0*s - 314 = 0. Let n = s + 224. Is n a composite number?
False
Suppose -2*n + 5*n = 12. Suppose 5*b + h = -2*h + 800, 5*b + n*h = 795. Is b composite?
False
Suppose 5*u - 1270 = 45. Is u prime?
True
Let d = 958 + -647. Is d prime?
True
Is (-36)/(-60) - (-5182)/5 composite?
True
Let p(u) = 222*u + 7. Is p(7) a composite number?
True
Suppose -n = 3*i + 1, 3*n - 6 = i + 1. Is 130/n - (-22)/11 a prime number?
True
Suppose 232 = 2*y - 6. Is y prime?
False
Let y = 7 + -6. Let o be (-3 - -6) + y + -1. Suppose 3*w + w = -o*r + 141, 3*w - 4*r - 87 = 0. Is w a prime number?
False
Suppose 0*d - 5*l + 120 = 4*d, -5*l = 3*d - 90. Suppose -n + 0*n = 0, 3*j - 24 = -n. Suppose j = -w + d. Is w a composite number?
True
Suppose -5*u - 72 + 238 = -4*l, -33 = -u + l. Is u a composite number?
True
Let z(h) = -h + 10. Let a be z(10). Suppose 3*l - 191 - 214 = -4*v, -2*v + 6 = a. Is l prime?
True
Is (7 + -12 + 6)*(360 - 1) a prime number?
True
Suppose -3*r - 15 = -6*r, 10 = -g + 5*r. Let o = 29 - g. Is o prime?
False
Suppose -5*r = -p - 3*r - 4, 0 = -5*r + 20. Suppose p*c + 2*o = -o + 283, 4*c + o - 273 = 0. Is c a prime number?
True
Let q = -9 - -6. Let w(i) = i**3 + 2*i**2 - 4*i + 1. Let k be w(q). Is (k + -2 - -93)*1 composite?
True
Suppose 0 = 2*f - 3*f + 4. Suppose -5*y - f*c = -606, 2*y + c = 135 + 105. Is y a prime number?
False
Let f be (3/(-2))/(2/(-4)). Let m(u) be the first derivative of u**3/3 + 4*u + 7. Is m(f) composite?
False
Let p = -455 - -4174. Is p composite?
False
Let c = -7 - -4. Is 15/10*(-4)/c a prime number?
True
Is 1*(2 + 292 + -1) composite?
False
Let p = 48 - 11. Is p prime?
True
Suppose 0*c - c = 0. Is c - (-1 - 0) - -48 composite?
True
Is (-2 - -320) + (-3)/3 a prime number?
True
Let f = 3 - 1. Suppose -z + 13 = -f*t, 2*z = t + 16 - 5. Is (-2 + 17)*(-3)/t composite?
True
Let t(b) = -b**3. Suppose -3*p = -6*p. Let n be t(p). Suppose c = -z + 48, -2*z + 126 = -n*z - 4*c. Is z composite?
False
Let v(r) = -14*r**2 + r - 8. Let t be v(6). Let g(n) = 2*n**3 + n**2 - 3*n + 3. Let k be g(7). Let l = k + t. Is l a composite number?
False
Suppose 5*u + r = 6*r + 20, 4 = 4*u + 2*r. Let d(k) = -2*k - 13*k**2 + k + 22*k**u + 26*k**2 + 1. Is d(1) prime?
False
Suppose 0 = 4*u + u + 15. Suppose 0 = -5*s + r + r + 33, -3*r = -4*s + 32. Let w = s + u. Is w prime?
True
Let i = 7 + 78. Is i a prime number?
False
Let y(x) = 30*x - 6. Let h be y(4). Suppose 5*i - h = 411. Is (-2)/((-111)/i - -1) composite?
True
Let q(r) be the third derivative of -11*r**4/12 + 5*r**3/6 + 2*r**2. Is q(-5) prime?
False
Let l(t) = 26*t**3 + t**2 - 1. Is l(2) prime?
True
Let b be (-10 + -2)/(-2) + -1. Suppose 0 = b*z + r - 284 - 578, 4*z = 5*r + 707. Suppose -5*j - 58 + z = 0. Is j a composite number?
False
Is (1086 + (-1 + -3 - -5))*1 composite?
False
Let p be 1*-2 + (7 - 3). Suppose 424 + 318 = p*v. Is v a prime number?
False
Let o be 42/(-4)*8/(-6). Let p = 165 + o. Is p a composite number?
False
Let x(k) = -k**3 + 12*k**2 - 12*k + 9. Let m be x(11). Let a be (-11 - m - -1)/(-2). Suppose -2*j - j = -4*d + 101, -a*j = 2*d - 34. Is d a composite number?
False
Is 4/(-18) + 65697/27 a prime number?
False
Let v be (-2)/5 - (-4)/10. Suppose v = 3*a - 6. Is (-2)/(72/38 - a) a composite number?
False
Let d(t) = t**3 + 2*t**2 - 5*t - 2. Let q be d(-3). Suppose 5*f - 3*y = 58 + 60, 3*f = q*y + 73. Is f a prime number?
True
Suppos