 - y + 565 = z. Is y prime?
True
Is 476 - (-3 + (-2 - -2)) composite?
False
Let h be (-1284)/16 + 1/4. Let m(d) = d**2 - 45. Let k be m(0). Let c = k - h. Is c composite?
True
Let f(o) be the second derivative of 4*o**3/3 - o**2/2 - o. Let l = -25 + 27. Is f(l) prime?
False
Suppose 2*r - 241 = -5*h, 3*r - 4*h + 0*h = 373. Let y = r - 46. Is y composite?
True
Let f(l) = -l**2 - 9*l + 8. Let w be f(-7). Let a be (2 - -10)/(1 + -2). Let h = a + w. Is h a composite number?
True
Suppose 26*y = 18*y + 6392. Is y prime?
False
Let g(f) = 2*f**3 - f**2 + f + 5. Let r be 0/((0 + -1)*-2). Suppose 0 = -h + 3*i - 8, -h + 6*h + i - 24 = r. Is g(h) prime?
False
Suppose -10*j + 6*j = -28. Let h = 12 - j. Suppose f - 3*c - 27 = 0, h*f + c - 3*c - 161 = 0. Is f a prime number?
False
Let m(p) = -11*p - 27. Is m(-14) a prime number?
True
Suppose l - 564 = -5*u + 421, 4*l - 608 = -3*u. Is (-1)/(-4)*u/7 a prime number?
True
Is (-2111)/((-7)/9 + 4/(-18)) prime?
True
Suppose -b + 109 = l, -2*b + 4*l + 452 = 2*b. Is b prime?
False
Suppose -5*j + 20960 = 4*b - 1374, -5*j = -2*b - 22358. Is j/22 - (-8)/(-44) composite?
True
Let b(z) be the first derivative of 23*z**2/2 + 13. Let h = -5 + 8. Is b(h) a prime number?
False
Suppose 3*q = n + 12, -4*q + 16 = -3*n - 0. Let j = -3 - -2. Is (-1 - n)*(-5 + j) a prime number?
False
Let s = -2 - -1. Let d(l) = 50*l - 4. Let m(i) = -50*i + 5. Let w(j) = -6*d(j) - 5*m(j). Is w(s) a composite number?
True
Is (-3696)/(-64) - (-6)/(-8) a prime number?
False
Let d(p) = p**3 + 7*p**2 + 7. Is d(5) a prime number?
True
Let d(s) = 38*s**2 + 14*s - 47. Is d(7) prime?
True
Is (-4)/20 - ((-35136)/20)/4 prime?
True
Let j be (-1797)/(-6) - 3/2. Is 9/12 - j/(-8) a composite number?
True
Let l be (-16)/(-12)*(-1 + 4). Suppose 3*m - l*q = 1025, -2*m - 2*m - 4*q + 1404 = 0. Is m a composite number?
False
Let v(d) = d**3 + 9*d**2 - 5*d + 9. Is v(-8) a prime number?
True
Let u(x) = -x**3 + 6*x**2 + 1. Let z be u(6). Suppose -a + z + 5 = 0. Is a a prime number?
False
Let x(i) be the first derivative of -5*i**2 + 1. Let a be x(-2). Suppose 2*f = 4*f - a. Is f composite?
True
Let x be (48/20)/(2/5). Let b be (0 - 106)*(-3)/3. Suppose 2*j + w = b, -j - x*w + 53 = -w. Is j a prime number?
True
Suppose -4*q + b + 896 = q, -4*b - 720 = -4*q. Let w = 169 + 155. Let p = w - q. Is p a composite number?
True
Suppose -4*f + 2*p + 3*p = -1680, 12 = -3*p. Is f composite?
True
Let u be 7 + 1 + -3 + 0. Suppose -4*z - u*q + 3 = -328, 247 = 3*z + 4*q. Is z prime?
True
Let l be 2/2*0 - -3. Let y(u) = -4*u**2 - 1 - 3*u**2 + 3*u**2 + 2*u + u**l + 3*u**2. Is y(3) a composite number?
False
Suppose -8*v - 1975 = -13*v. Is v a composite number?
True
Let j(z) = -3*z**3 - 15*z**2 - 18*z + 5. Is j(-10) a composite number?
True
Suppose 0*n = 3*n - 6. Suppose c = -n*m + 153, 0*m + 627 = 4*c + 3*m. Is c prime?
False
Let s be (2/4)/(4/40). Suppose -z + 0*z - s = 0. Is (-104)/(-2) - (4 + z) a composite number?
False
Let b(u) be the third derivative of u**6/2 - u**5/60 - 3*u**2. Is b(1) prime?
True
Let x be (44/8)/((-2)/(-24)). Let w = x + -40. Let h = w + -7. Is h composite?
False
Suppose -376 = -2*r + 46. Is r composite?
False
Let w = 7 + -4. Suppose -4*a = -w*c - 907, -5*a + 2*c + 1090 = 7*c. Is a a prime number?
True
Let m(g) = -31*g**2 + 1. Let a(z) = -32*z**2 - z + 2. Let i(f) = 4*a(f) - 5*m(f). Is i(2) prime?
True
Let g = -3 - -7. Suppose 4*b - 451 + 75 = -g*p, -4*b = -p - 381. Is b a prime number?
False
Let m(c) = -2*c + 9. Let a be m(5). Let i(h) = -109*h**3 - h**2 + 1. Is i(a) prime?
True
Suppose -5*n - 2351 = -3*b, 3*b = -2*b - 3*n + 3941. Is b a composite number?
False
Suppose 506 = 2*r - 0*r. Is r composite?
True
Let o = 29 + -7. Let g(n) = -4 + 0 - 1 + o*n + 1. Is g(3) prime?
False
Let o(k) = -3*k - 7*k**2 + 0*k**2 - k**3 + 2*k**2 - 1. Let m = -10 - -5. Is o(m) a prime number?
False
Let m = -11 - -460. Is m a composite number?
False
Suppose 0 = 3*u + u. Suppose u = -2*j + 4. Suppose j*f - 111 = -f. Is f a composite number?
False
Let j(d) = 196*d**2 + d - 1. Let b be j(1). Suppose -5*h = -39 - b. Is h a prime number?
True
Suppose -12795 = 5*b - 10*b. Is b composite?
True
Is (-18 - -7)/((-2)/34) a prime number?
False
Suppose 2*d = -3*d. Suppose q + d*q = 0. Suppose q = -2*r - 2*r + 260. Is r composite?
True
Let q(x) = -x**3 + 6*x**2 - 2. Let s be q(6). Let d(u) be the second derivative of -27*u**3/2 + u**2/2 - 8*u. Is d(s) prime?
True
Suppose 2*u + 6 = 0, -4*s + 3*u - 8 = -u. Let m be (124 + -8)/((-1)/s). Suppose -3*y - y = -m. Is y composite?
True
Let f = 417 - -734. Is f a prime number?
True
Let c(h) = 2*h**3 + 2*h**2 + h - 1. Let t(j) = j - 2. Let d be t(6). Suppose -20 = -d*k, -4*m + 0*m = -2*k + 2. Is c(m) a prime number?
False
Is 1171*(-2 - (-9)/3) prime?
True
Let l(w) = -14*w**2 + 1. Let r be l(3). Let p = r - -199. Is p a composite number?
True
Suppose -n - 1143 = -10*n. Is n a prime number?
True
Let g be (-252)/(-27) + 1/(-3). Is (-1194)/g*12/(-8) a prime number?
True
Suppose -y = 5*u - 3*y - 639, 0 = -5*u - 4*y + 657. Let w = u + -76. Is w a composite number?
False
Let a = 677 - 139. Is a prime?
False
Let r(x) = x**3 + x**2 + 99. Let y be 1/(-4) + (-1)/(-4). Let z be r(y). Suppose 3*b + 4*w = 338 - z, w = -5*b + 387. Is b a composite number?
True
Suppose 4*o = 4*r + 3*o + 63, -6 = -2*o. Let l be (-2)/(-5) - (-6)/r. Suppose 4*w - 3*g - 38 - 32 = l, -4*w - 3*g + 82 = 0. Is w a prime number?
True
Suppose 0 = -3*d, 6*d - 252 = -4*r + d. Suppose -3*f - 20 = -5*c - r, 5*f = -5*c + 125. Is f prime?
False
Suppose c - 119 = -36. Is c composite?
False
Suppose 5*r - 349 = 3*v, -263 = -4*r - 5*v + 2*v. Suppose 5*m - 234 = -3*x, x + 2*m = -3*m + r. Is x a composite number?
False
Let w = 163 - 84. Is w a prime number?
True
Let u be 86/10 + (-4)/(-10). Is (-60)/u*3/(-2) composite?
True
Let a(d) be the first derivative of -d**3/3 + 4*d**2 - 2*d + 2. Suppose -3*j + 10 + 5 = 0. Is a(j) prime?
True
Let d(p) = 2*p**3 - 12*p**2 + 2*p + 10. Let r(o) = o**3 - 6*o**2 + o + 5. Let k(t) = -2*d(t) + 5*r(t). Is k(6) composite?
False
Suppose 3*n = -4*o, -2*o = 3*o - n. Let i be 12 + (-1 + 2)*-1. Suppose o = -3*w - i + 41. Is w prime?
False
Let c = -3209 + 4842. Is c a prime number?
False
Suppose 0 = -3*f + 2*a + 301, 3*f + 4*a - 465 = -2*f. Is f a composite number?
False
Let v = 12 + -8. Is 37*2*v/8 a prime number?
True
Let t(v) = v - 1. Let f be t(4). Suppose 2*q - 118 = -0*g - 2*g, -4*q - f*g + 236 = 0. Is q prime?
True
Let v(q) = -q - 6. Let s be v(-9). Is s - 1 - (4 + -96) prime?
False
Let f(u) be the third derivative of 5*u**4/2 + 7*u**3/6 + 3*u**2. Is f(5) composite?
False
Suppose -63 + 478 = 5*d - p, 3*d - 249 = 2*p. Is d composite?
False
Let t(b) be the first derivative of b**4/4 - 2*b**3/3 - b**2 - 5*b + 3. Is t(4) prime?
True
Let o = -38 - -79. Suppose -4*r + 35 = -o. Is r a prime number?
True
Suppose 3*l = -2*l + 875. Let i = l + -33. Is i a prime number?
False
Let k(u) = 9*u**3 + 10*u**2 + 19*u + 10. Let w(j) = 5*j**3 + 5*j**2 + 10*j + 5. Let q(n) = -3*k(n) + 5*w(n). Is q(-4) composite?
False
Suppose -2*a - 163 = b, 2*a + 5*b + 87 = -56. Let t = a + 29. Let i = 77 + t. Is i composite?
True
Let v = 1 - 3. Let f = 5 + v. Suppose -g = -5*x + f*g + 595, x = -g + 119. Is x prime?
False
Suppose -8*f + 10297 = -f. Is f a composite number?
False
Suppose 4*w = -2*d + 148, -2*d - 2*w + 133 = -w. Suppose 5*u - 2*y + 0*y = 71, d = 4*u - 4*y. Suppose 5*g - 7 = u. Is g prime?
False
Let c(n) = -11*n. Let l be c(-2). Let h(p) = p**2 + p - 1. Let k be h(-2). Is 0/(k/(-1)) + l a composite number?
True
Suppose 3*r = -4*j - 91, -3*j - 68 = -r + 3*r. Let h = j + 182. Let p = h + -91. Is p prime?
False
Let x = -2112 + 2981. Is x a composite number?
True
Suppose 14 = 4*u + 2. Suppose 0 = u*n - 2*n - 4. Let v(c) = 4*c**2 - 3*c - 5. Is v(n) prime?
True
Let t(c) = 3*c + 1. Let d be t(8). Suppose -5*l + d + 320 = 0. Is l composite?
True
Suppose 0 = -7*z + 2*z + 3165. Is z a composite number?
True
Suppose -r + 1 = -1. Suppose r*g + 240 = -g. Is (2 + -3 - g)/1 prime?
True
Let l = -210 - -387. Is l a prime number?
False
Is (-1591)/(-5) - (-8)/10 prime?
False
Let f(p) = p - 42*p + 0 + 4. Is f(-3) a composite number?
False
Let o be (-8)/(-2) + -2 - 6. Let y = 4 + o. Suppose -p + 3 + 21 = 2*l, y = -3*l + 4*