et k = r + -242. Is k composite?
False
Let a be -2 + 1 - (1 + 17). Let k = a - -24. Suppose 0 = -k*z + 312 + 113. Is z composite?
True
Let z(v) = v**2. Let c be z(2). Suppose m + c*j - 1283 = 0, -m + 1297 = -2*j - j. Is m composite?
False
Suppose 5*t = -3*o + 50433 + 56282, -5*o + 64029 = 3*t. Is t a composite number?
True
Let p = 2528 + -75. Is p prime?
False
Suppose -k - 4*k = -45. Suppose k = -4*t + 157. Is t composite?
False
Suppose -o - 5*h = 15, -2*h + 4 = -o + 3. Let m be o*(0 - (-3)/(-3)). Let a(l) = 52*l + 5. Is a(m) composite?
True
Let f(q) = -6*q - 17. Let h be f(-4). Is (-1161)/(-21) - 2/h a composite number?
True
Let l(p) = 20*p + 5 - 12*p**2 - 6*p + p**3 - 3*p. Is l(14) a composite number?
True
Let k(t) = -3*t**3 + 3*t**2 - t - 1. Let r be k(2). Let l = r - -19. Suppose 2*i + 30 = l*i. Is i a prime number?
False
Let b = 1227 - 850. Suppose -k + j - 38 = -b, 5*j + 10 = 0. Is k a prime number?
True
Suppose -4*g + 3*s = 1049, -g + 2*s + 3*s - 275 = 0. Let l = 385 + g. Let b = l - 56. Is b prime?
False
Suppose -a + 0*a + 3*g = 453, 3*a = 4*g - 1384. Let k = -95 - a. Is k a prime number?
True
Let b = -5634 - -24173. Is b composite?
False
Let i = -8 + 10. Suppose q + 675 = i*q. Let h = -344 + q. Is h composite?
False
Let g(b) = -1830*b + 123. Is g(-30) prime?
False
Suppose -2*q - 5*n = -4401, 5*q - 4*n - 17438 = -6419. Is q prime?
True
Let y = -14834 + 9098. Let f(u) = 11*u + 1. Let c be f(-3). Is y/c + (-1)/4 a composite number?
False
Is 0 + -3 + 1 + 436*13 composite?
True
Is (-1103616)/(-120) + ((-4)/(-10))/2 composite?
True
Let f(y) = 2*y**3 - 9*y**2 + 9*y - 37. Let r be f(5). Suppose -7 = 3*o + 4*d, -o = d + 3*d + 5. Is (737/r)/(o/(-3)) a prime number?
True
Let a = 1467 - -4300. Is a a prime number?
False
Suppose 82143 = 21*n - 12*n. Is n prime?
True
Let y(g) = g**2 - 7*g - 7. Suppose 8*x - 35 = 3*x. Suppose s - 3*p = x, 3*s + 0*p - 34 = -4*p. Is y(s) a prime number?
True
Suppose -3*i + 6931 = -365. Suppose -3*h + i = h. Let b = h - 423. Is b prime?
False
Suppose 2*p - g = -3*g - 2, -2*p + 3*g + 3 = 0. Let s(i) = -i**2 - i + 391. Is s(p) a composite number?
True
Suppose 3*v = 8*v + 5, -16837 = -2*r - v. Is r composite?
False
Let d(n) = 4*n**2 + 8*n + 25. Let g be (9/(-4))/((-3)/8). Is d(g) a composite number?
True
Suppose 35 = -5*k - 415. Let h be (-20)/(-3)*k/75. Let x(r) = -r**2 - 13*r - 6. Is x(h) prime?
False
Let k(z) = -9168*z**2 - z - 1. Let v be k(-1). Is v/(-8) - (-1 - 0) a composite number?
True
Let p = -984 + 1753. Is p a composite number?
False
Let u(t) = -4*t + 7. Let o be u(6). Let n = 22 + o. Suppose 0 = n*i - 2*g - 732, 2*i - 57 = -4*g + 231. Is i a prime number?
False
Suppose 86 = 4*k - 54. Let r be k/(-3) - 6/(-9). Is -9 - r - 16/(-2) prime?
False
Let o(v) = 27*v**2 + 9*v - 21. Suppose -5*a - 58 = -13. Let k be o(a). Suppose 3*w + k = 6*w. Is w a prime number?
False
Suppose r - 5*r - 5*b + 328 = 0, -b - 91 = -r. Let p = r + -52. Is p composite?
True
Suppose -952 - 2533 = -5*g. Suppose -3*v = -4*v + g. Is v a prime number?
False
Let x(u) = 14*u**2 - 21*u - 46. Let w be (19/2)/(2/4). Is x(w) composite?
True
Suppose -26*a = -75*a + 1179479. Is a composite?
False
Let s(u) = 9*u - 1. Let v be s(1). Let h(r) = r**3 + 10*r**2 + 9*r + 2. Let x be h(-9). Suppose -2*w + 125 = -5*l, x*w - v = -5*l + 127. Is w prime?
False
Let y(d) = d**3 - 5*d**2 + 5*d. Let m be y(4). Let i = m + -6. Is -719*(4 + i + -3) a prime number?
True
Let s be -40*((-24)/(-4))/(-3). Suppose z + 21 = 2*w - w, -4*w + 5*z = -s. Let m = w + -10. Is m a prime number?
False
Let k(f) = -9*f + 18781. Is k(0) a composite number?
True
Let n(s) = s - 10. Let v be n(12). Is (-1)/(v - 10556/5276) a composite number?
False
Is 1*-7 + (-51054 - -6)/(-6) composite?
False
Let i(x) = -x**3 - 2*x**2 - 2*x + 1. Let v be i(-2). Suppose 1 + 14 = -v*u. Is u*(-3)/18*118 a composite number?
False
Suppose -3*f - 2*f + 495 = 0. Suppose -264 + 3228 = 19*b. Let w = b - f. Is w a prime number?
False
Let w(f) = -99*f**2 + f - 3. Let s(h) = -197*h**2 + 2*h - 6. Let v(l) = -3*s(l) + 5*w(l). Is v(-2) composite?
False
Let j(z) = -z**2 - z + 24. Let b be j(4). Let a(l) be the third derivative of 29*l**5/60 + 5*l**3/6 + l**2. Is a(b) a composite number?
True
Let t(d) = -d**2 - 10*d - 12. Let h be t(-8). Suppose 0 = -4*i + h*m + 24, m + 1 - 3 = -3*i. Suppose -i*b + 5*a = -3*b + 40, a - 5 = 0. Is b composite?
True
Let k = -2986 - -7243. Let c = -3008 + k. Is c prime?
True
Let u = 896 + 1437. Is u a composite number?
False
Let x = 1511 + -822. Is x prime?
False
Suppose 12*b - 42132 = -17496. Is b a composite number?
False
Let j be -15 + 13 - -1*3. Suppose 2*l - 7 = -j. Let q(z) = z**3 - 2*z + 2. Is q(l) composite?
False
Let k = 63 + -72. Let p(c) = 6*c**2 + 12*c + 2. Let m be p(-8). Is m/2 - (k + 5) a prime number?
True
Is 390/(-273) + 1143/21 composite?
False
Suppose 6 = 8*x - 6*x. Is 3/x*(1684 - (-7 + 4)) prime?
False
Suppose 12*t - 7*t + j - 34163 = 0, 3*j + 6839 = t. Is t a prime number?
True
Suppose -5 - 4 = -3*u. Suppose 5*i - 37 = u. Suppose -395 = -i*k + 3*k. Is k prime?
True
Let f = 133 + -71. Suppose c - 134 = -2*m, -3*m = -0*c + c - 139. Let t = c - f. Is t a composite number?
True
Let v(f) = -2*f + 5*f + 20*f**3 + 2 - 8*f + 5*f**2. Let y be v(3). Suppose q - y = -3*q. Is q prime?
False
Suppose 6 = -10*b + 11*b. Suppose -b*y - 1 = -7*y. Let v(r) = 114*r**2 + r. Is v(y) prime?
False
Suppose -4*u = -o - 3*u + 3, 3*o = 2*u + 6. Suppose o = -3*t - 5 + 11. Is (-493 + -9)*(-1)/t a prime number?
True
Let b(i) = -18837*i**3 + 3*i**2 + i. Is b(-1) a composite number?
False
Suppose 0 = 10*y - 3500 - 2130. Is y a composite number?
False
Suppose 7*w = -w + 16128. Let x = 4165 - w. Is x a composite number?
True
Let n be 264/55 - (-1)/5. Suppose 2655 + 297 = 4*p + 4*r, 2*p = n*r + 1511. Is p prime?
True
Let n = -1864 - -13293. Is n prime?
False
Suppose -7 = -3*m + 2*t - 4*t, -5*m + 5 = 5*t. Let f = 280 - 498. Let q = m - f. Is q a composite number?
False
Let u be 1/(3/2 + -2). Let f = u - -2. Suppose y = -f*y + 19. Is y a prime number?
True
Let o = 21303 - 11754. Is (o/6)/((-6)/(-4)) composite?
False
Let r be 2/(-1) - (-6 - -2). Suppose 5*q = -3*u - 7, -3*u + r + 7 = -3*q. Is 8/q*25/(-4) a prime number?
False
Is (45/(-420)*8)/((-2)/24577) a composite number?
True
Suppose 0 = -3*s - 0*a - 2*a + 3759, 4*s = -5*a + 5005. Let b = s - 576. Is b composite?
True
Suppose -204 = -3*b - b. Let x = 94 - b. Is x a prime number?
True
Let l = 13250 - 6481. Is l a composite number?
True
Let l be ((-7)/14)/((-2)/4). Let u(b) be the third derivative of 43*b**6/40 + b**5/60 - b**4/12 + b**3/6 + 4*b**2. Is u(l) a prime number?
False
Suppose -2*l - 2*v + 1206 = -504, 0 = 4*l - 2*v - 3426. Suppose -y + 1259 = s - 8*y, 5*y - 3725 = -3*s. Let z = s - l. Is z prime?
True
Suppose -2*d + 4 = -2. Let y be 0*3/(-9) - -253. Is d*(y/3 - -2) a composite number?
True
Let u = 5573 + 5810. Is u composite?
False
Is 10/(10/3) + 7606 prime?
False
Let f(v) be the third derivative of v**6/120 - 11*v**5/60 + 13*v**4/24 - 7*v**3/6 + 3*v**2. Is f(10) a composite number?
False
Let m be ((-6)/15)/(1/(-3360)). Suppose -4*g - a - 1877 = 3499, -2*a + m = -g. Let t = -899 - g. Is t a prime number?
False
Let t(s) = s + 14. Let o be t(-8). Let v be o/(-27) + (-29)/(-9). Suppose -x = -n + 122 + 12, -4*n - v*x = -536. Is n a prime number?
False
Let j be (2/(-4))/(1/3032). Let n be (j/(-6))/(17/51). Suppose -2*t + n = -0*t. Is t composite?
False
Suppose -9*n + 29 = -16. Suppose m - 3*m = -n*l - 1104, -4*m = -3*l - 2222. Is m composite?
False
Let k = -3770 + 5401. Is k prime?
False
Let z = 4253 + -1611. Suppose 4*m - 1682 = z. Is m a composite number?
True
Suppose 14 = 5*a - 6. Let t be -2 + 9 + a/(-4). Suppose -565 = 5*p - t*p. Is p prime?
False
Let s be 4 + (1 + 5)/(-2). Suppose -3*f + s = 2*r - 21, 0 = -f + 4*r - 2. Suppose 0 = f*x - 527 - 1075. Is x composite?
True
Let c(i) = i**3 + 3*i**2 + i. Let h be c(-3). Let w(n) = -n**2 - 5*n - 4. Let o be w(h). Suppose 406 = 2*j + l, 3*j + o*l - 203 = 2*j. Is j a composite number?
True
Is (-12 - (-16 + 6))*(-4270 - 1) prime?
False
Suppose 25 = -2*u - 3*u, -4*u + 8314 = 2*b. Is (-2)/(-11) + b/11 a prime number?
True
Let l = 1645 - 2812. Let p = -416 - l. Is p a prime number?
True
Suppose 11*b = -239