 257 = 4*y + g*j. Is y prime?
False
Let l(o) = o**2 - 6*o - 4. Let p be l(6). Let b = 7 - p. Is b prime?
True
Is (-3 + 20/8)*-134 a prime number?
True
Suppose 0 = 2*h - 1 - 5. Let z be 15/h*(-8)/(-10). Suppose z*d = 127 + 21. Is d a prime number?
True
Is 1*2732 - (31 - 32) a composite number?
True
Let f = 229 + 94. Is f a composite number?
True
Suppose -2*d = -2*j + 4, -j + 2 = 3*d - 2*j. Suppose 2*i - 5*m - 262 = 0, i - 393 = -d*i + 2*m. Let x = i + -88. Is x prime?
True
Suppose -63 - 21 = -4*i. Suppose 2*r + 12 = 4*r. Is 130/14 - r/i composite?
True
Suppose 117 = -i + 4*i + 2*b, -3*b = 3*i - 120. Is i composite?
False
Let s = 144 - -419. Is s a prime number?
True
Let y(w) = -w**3 + 3*w**2 + 2*w - 3. Let x be y(3). Suppose 0 = 3*s - 3*t + 2*t - 289, 0 = x*s + 4*t - 299. Is s a composite number?
False
Suppose 3*w - 2*u - 6 = 0, w + 2*u = -3*u + 19. Suppose w*f - 2*o = 98, 0 = -o + 2*o + 3. Is f composite?
False
Suppose 15*b - 75 = 10*b. Is b a composite number?
True
Suppose 2*c - 7*c = -4175. Is c a prime number?
False
Is (-49068)/(-15) + ((-4)/5)/4 a prime number?
True
Let p = 6 - 8. Let n be 5/(-1 - 0 - p). Suppose -3*u + n*u = 74. Is u composite?
False
Let o = -12 - -21. Let x(z) = -z + 4. Let b be x(0). Is (o - -2)/(2/b) composite?
True
Suppose -4*p = 4*u - 200, -u + 0*u - 2*p = -47. Is u a prime number?
True
Suppose -2*k = 5*z - 3*z - 26, 51 = 5*z - 2*k. Let b = z + -8. Is b a prime number?
True
Let g(h) be the third derivative of h**8/10080 + h**7/5040 - h**6/144 + h**5/60 + h**2. Let t(m) be the third derivative of g(m). Is t(-4) a composite number?
False
Suppose 2*w = -s + 6*w + 471, 4*s + 5*w - 1863 = 0. Is s a composite number?
False
Suppose q - 16 - 402 = 0. Let l = q - 257. Is l a composite number?
True
Let t(w) = 4*w**2 + 19*w + 4. Is t(-9) a composite number?
False
Let k(o) = -o + 2. Let n be k(5). Let q be n/(-9) + (-64)/(-6). Let w = 10 + q. Is w a composite number?
True
Suppose -2*f - 2 = 4. Suppose -4*a - 56 = 4*b, 2*b + 28 = 5*a - 0*a. Is (f + b)*-1 + 2 prime?
True
Suppose 0 = 2*d - 213 - 205. Is d a composite number?
True
Suppose -8*r = -5*g - 4*r - 118, -g + 5*r - 32 = 0. Is (-2)/4*g + -1 composite?
True
Let d(b) be the second derivative of b**5/20 + b**4/12 - b**2/2 - 2*b. Is d(4) a composite number?
False
Let w = -4 - -11. Suppose w*d - 725 = 2*d. Is d a prime number?
False
Let q be 2 + 0/(1 - -1). Is (-525)/(-6) + q/(-4) a composite number?
True
Let c = 104 + -70. Is c prime?
False
Let t = -32 - -8. Suppose -4*n - 167 = -3*p - 0*n, 5*p + 2*n - 287 = 0. Is -4*2*p/t composite?
False
Suppose -15 = -3*l - 0. Let i(q) = q**2 - 4*q - 3. Let z be i(l). Let r = 21 - z. Is r composite?
False
Let y be (-1 - 4)*4/10. Let w be 6/(3 - 1)*1. Is w/y*(-1524)/18 prime?
True
Let m(j) = -j**3 + 6*j**2 + 9*j - 3. Suppose b = 3*y + 2, -1 = -b - y + 1. Suppose g - 2*u = -3*u + 7, -b*u = 0. Is m(g) a prime number?
True
Let r(i) = 2*i + 4. Let s be r(7). Suppose 0 = -w + 3*g - 10, 2*g + 4 = -3*w + 29. Suppose -w*l = -167 - s. Is l a prime number?
True
Suppose -3*j = 14 - 59. Suppose -j - 95 = -2*n. Suppose 0 = -u + n - 2. Is u a composite number?
False
Suppose -6*p - 15 = -9*p. Suppose -3*y - p*z = 12, -z = -2*y + 2*z + 11. Is y/(-2) - 1434/(-12) a composite number?
True
Let i be (14 - 13)*4*1. Suppose 2*t = 6 + 2, 0 = -4*b - i*t + 524. Is b a composite number?
False
Let n = 244 + 391. Is n a prime number?
False
Let s = 16 - 11. Suppose -69 - 46 = -s*m. Is m prime?
True
Let x = 263 - -144. Is x a composite number?
True
Is (5/(-3)*-73)/(7/21) composite?
True
Suppose -9 - 12 = -2*s - 3*v, 8 = -4*s + 4*v. Suppose -q - w - 2*w = -268, -4*q + s*w = -997. Is q a composite number?
True
Let u = -3 + 6. Suppose 5*q - 655 = -4*p, -p = -u*q - 3*p + 393. Is q composite?
False
Suppose -4*p + 10 = -4*s + 2*s, -5 = p - 3*s. Suppose 3*v = 5 + 7, -p*v = -t + 73. Is t a prime number?
True
Let i = -575 - -815. Suppose -3*q + 7*q - i = 0. Suppose 0 = 2*l + 2*f - q, -5*f - 95 = l - 3*l. Is l composite?
True
Suppose -s + 162 = r, -s - 5*r = -6*s + 780. Suppose 0 = -5*t + 5, 2*m + 4*t = -3*m + s. Is m prime?
True
Suppose 24*x = 28*x - 524. Is x a composite number?
False
Let s = -2 - -5. Suppose s*l = 6*k - 3*k + 366, 2*k = -5*l + 589. Is l a composite number?
True
Suppose 0 = 4*p - 5*r + r - 5088, -3*r - 1282 = -p. Is p a composite number?
True
Suppose 0 = 4*u - 0*u - 1352. Suppose 3*h = -5*l + 496, -4*l = -h - h + u. Is h composite?
False
Let j = 7 - 7. Suppose j = g - 72 - 13. Is g prime?
False
Let o = -1134 + 2045. Is o composite?
False
Let s(o) = 48*o - 1. Suppose 48 = 2*h - p + 3, -h = 3*p - 19. Suppose -f = u - 5, 0*f - 2*f = 5*u - h. Is s(f) composite?
False
Let n = 10 - 5. Suppose 4*y - 321 = -3*q - 66, y = 0. Suppose 5*a = -k - 3*k + q, -4*a - n*k + 77 = 0. Is a a composite number?
False
Let b(i) = -i**3 + 8*i**2 + 9*i - 5. Let k be (-7)/(-1)*5/5. Let z be b(k). Let p = 172 - z. Is p a composite number?
True
Suppose -27*t + 28 = -20*t. Is t a composite number?
True
Is -12 + 9 + 1*2 + 978 composite?
False
Suppose -5*k - 8 = -k. Let f be 1/(-3) + k/(-6). Suppose -8 = -2*j - f*j. Is j a prime number?
False
Let u(n) = -51*n + 12. Is u(-11) prime?
False
Let s be 2/(-3)*(-9)/2. Suppose -5*x + 72 = i, s*i - 5*x - 121 = -x. Suppose 0*n + i = n. Is n a prime number?
True
Suppose -5*w = -2807 - 1148. Is w composite?
True
Let a(h) = -24*h**2 + 0 - 1 + 2*h + 216*h**2 + 2. Is a(-1) composite?
False
Suppose 0 = -2*f + 1 - 17. Is -2*2/f*242 a prime number?
False
Let m = 14 - 6. Let h be (-1)/(-2) + 4/m. Is h + 0/1 - -36 a composite number?
False
Let o be 1/2*(-9 + 7). Let x be 7 + o + -1 + 0. Suppose 0 = -x*k + 15, -21 = -w + k - 5. Is w a prime number?
True
Suppose -5*w = 2*n - 85, -43 - 147 = -3*n + 5*w. Is n a prime number?
False
Let y be (-14)/(-4) - 1/2. Suppose 5*n - 4*j = 8, -4*n + 0*j + 2*j + 4 = 0. Suppose -201 = -y*s - n*s. Is s a composite number?
False
Let t be 2/(-4) + 10/20. Suppose t = -4*v - v + 35. Is v a prime number?
True
Let l(u) = -3*u**3 - u**2 + u + 1. Let b be l(-1). Suppose b*z = -2*z + 8. Suppose z*o - 3*h - 270 = -h, 4*h - 657 = -5*o. Is o a composite number?
True
Suppose -2*u + 1603 = 5*c, 3*c = -3*u - 0*c + 2418. Is u composite?
False
Let d = 1018 + -605. Is d composite?
True
Let z(q) = 0 - 2 + 1146*q + 2. Let d be z(-1). Is d/(-4)*(-4)/(-6) a composite number?
False
Let b(p) = -3*p - 3. Let z(g) = 5*g + 7. Let d(h) = -7*b(h) - 4*z(h). Let r be d(7). Suppose r = 4*s - 38 - 18. Is s composite?
True
Suppose 0*h - 5*h = 5. Is (-3 - h)/((-2)/127) composite?
False
Suppose -2*a - 4*z + 8*z - 230 = 0, a = -2*z - 99. Let u = a + 154. Is u composite?
False
Let p = 31 - -366. Is p a composite number?
False
Suppose 0 = 50*w - 42*w - 4696. Is w a composite number?
False
Let i be 6*(0 - (-1)/(-3)). Is i/(-4)*22 + -2 a composite number?
True
Let s be 5/(2*1/(-16)). Is s/(-2) - 2/(-1) a prime number?
False
Let a(g) = g - 7. Let y be a(5). Is -23*(y - (-4)/(-4)) a composite number?
True
Suppose 180 = 2*q - 286. Is q a prime number?
True
Let q(r) = r**2 - 7*r + 4. Let d be q(6). Is (1 + d/3)*102 a composite number?
True
Is 244 + 5/10*6 prime?
False
Suppose -4*w = -3*w - 306. Is (-1 - 3)*w/(-24) prime?
False
Suppose -2*r + 293 = m, 0*m + 4*r - 879 = -3*m. Is m prime?
True
Is 2/8 - (-6335)/20 a prime number?
True
Let q(l) = l**3 - 2*l**2 - 3*l + 2. Let f be q(3). Suppose -f*k = -0*k - 14. Is k prime?
True
Suppose 5*z - 1245 + 245 = 0. Let c(h) = 2*h - 5. Let w be c(5). Suppose -w*y + z = -435. Is y a composite number?
False
Let r = 8 + -3. Let p = r + -1. Suppose -146 = -p*n + j, -2*j - 2*j - 29 = -n. Is n prime?
True
Suppose h - 2137 = 2*t, 3*t + 10682 = 5*h + 25. Is h a prime number?
True
Suppose 2*f - 65 - 461 = 0. Is f composite?
False
Suppose 0 = -3*a - t + 19, 0*t + 24 = 4*a + t. Let r(u) = u**3 + u**2 - 2*u + 5. Is r(a) composite?
True
Let z(f) = f - 1. Let s(v) = -4*v + 3. Let a(g) = -s(g) - 2*z(g). Let t(q) = 4*q - 10. Let c be t(4). Is a(c) a prime number?
True
Let b = 65 - 32. Is (b - 0)*(-8)/(-12) prime?
False
Let q = -811 - -1718. Is q composite?
False
Let m = 0 - 5. Let j(f) = -2*f**3 - 15*f**2 + 14*f - 9. Let q(p) = -p**3 - 8*p**2 + 7*p - 5. Let c(a) = m*q(a) + 2*j(a). Is c(-10) a composite number?
True
Let w be 2/10 + 30795/25. Suppose 2*a =