 -2*u - 2*w, 5*u - 242 = -4*w + 3707. Is u a prime number?
False
Suppose -5*i + 4*i = -3. Is 67*(1 + i - 1) composite?
True
Suppose 11*d = 5 + 39. Suppose -2*b = -d*s + 245 - 825, b - 286 = 3*s. Is b prime?
False
Let c(y) = y**2 - 11*y + 14. Let a be c(10). Suppose 0 = 5*t - 4*u + 3*u - 6067, -a*t + 5*u = -4862. Is t composite?
False
Let y(s) = -348*s**3 - 2*s**2 - 4*s - 11. Suppose -10*k - 2*k = 24. Is y(k) prime?
False
Suppose 3960 = 4*j + 4*s, -3*j + j - 3*s = -1985. Is j a composite number?
True
Let s(n) = n + 30. Let b be s(-26). Suppose 3*v - 4*x = 116 + 5747, 0 = -x - b. Is v a composite number?
False
Let c be 2*(-6)/(-4) - (-10 - -11). Suppose 15*n - 6443 = -c*n. Is n prime?
True
Let n = 9887 + -6706. Is n a prime number?
True
Let j(c) = c**3 + 2*c**2 - 2*c - 3. Let w be j(-2). Let z(h) = -h - 2 - 24*h + w - 6. Is z(-6) composite?
True
Let i(y) = 7512*y - 49. Is i(9) composite?
False
Let s(z) = 0 - 4*z - 6*z**2 + 4 - z**3 + 8*z + 4*z**3. Let q(h) = h**3 - h**2 + h + 5. Let i be q(0). Is s(i) composite?
True
Let o(u) = -2*u**3 + 4*u**2 + 7*u - 10. Let c = 18 - 13. Let t be o(c). Let m = -72 - t. Is m composite?
False
Let l(z) = -5*z + 22. Let i be l(4). Suppose -i*p + 9465 = 5*d, p = -2*d - p + 3780. Is d a prime number?
False
Suppose -2*a - 648 = -4*a. Let o be 17/((-15)/(-5) + -2). Let i = a - o. Is i a composite number?
False
Let q(g) be the second derivative of 11*g**4/12 + g**3/3 + 2*g**2 - 14*g. Is q(-3) a prime number?
True
Let l be 3/(-1) - 3/(15/(-35)). Suppose 0*m - 2*z + 891 = m, -l*z = -4*m + 3540. Is m composite?
False
Let x = 92 + -94. Let t(w) = w + w + 4*w**3 - 13*w**3 + 3. Is t(x) composite?
False
Let b = -432 - -2052. Suppose 5*t = -2*y + b, t + 803 = 2*y - y. Suppose 4*o - y + 209 = 0. Is o prime?
True
Suppose 33*f - 128357 = 80632. Is f a composite number?
True
Suppose -2*q + b + 4 = -11, -5*b - 15 = 0. Suppose 3319 = q*f - 3287. Is f a composite number?
True
Suppose 5*c + 25 = 0, -5*b = c - 822 - 29163. Is b a composite number?
True
Let p(m) = -558*m - 125. Is p(-19) composite?
False
Let p be 12/(-10)*(-10 + 0). Let v(f) = -f - 3 - 5*f**3 + 5*f - 3*f**2 + p*f**3. Is v(2) composite?
True
Let p(s) be the third derivative of 71*s**5/40 + s**4/12 - s**3/6 + 12*s**2. Let y(m) be the first derivative of p(m). Is y(1) a prime number?
False
Suppose -7*j + 3908 = -11*j. Is (j/(-2))/(3*(-3)/(-18)) prime?
True
Let b = -7406 - -10999. Is b a composite number?
False
Suppose 0 = -0*t + 2*t + 2, 20274 = 4*l + 2*t. Is l composite?
True
Let u be ((-526)/(-3))/(7/42). Suppose -3*d + 5*n - 1565 = 0, 6*d + u = 4*d - n. Let y = d - -760. Is y a prime number?
False
Suppose -2*r = 3*y - 24, 4*r - 2*r - 3*y = 0. Suppose 86 = -r*h + 548. Is h composite?
True
Suppose -6116968 = -84*b - 20*b. Is b prime?
False
Let n be 2718 + 10*-5*6/(-75). Suppose 6*g - n = 4*g. Is g a composite number?
False
Let l = 49 + -17. Suppose 4*y + 4*a = l, -a = -3*y - 5*a + 27. Suppose 5*b + 18 - 56 = -3*n, -16 = -3*b + y*n. Is b prime?
True
Let x(f) = 40*f + 24*f - 3*f. Let y(n) = -12567*n. Let w(i) = -413*x(i) - 2*y(i). Is w(-1) a prime number?
True
Let i be 5*9/((-135)/78). Let t = i + 26. Suppose t*m - 895 = -m. Is m prime?
False
Suppose 5*f - 2*l - 456409 = 0, 5*f + 4*l = 8*f - 273837. Is f prime?
True
Let o(m) be the third derivative of 7*m**6/36 + m**5/120 + m**4/6 - m**3/6 - m**2. Let g(a) be the first derivative of o(a). Is g(-3) prime?
True
Let i be (5 + 4/(16/(-12)))*1. Suppose 4*d + i*b = -306 + 902, 5*b = 5*d - 745. Is d composite?
False
Let w(d) = 1823*d + 73. Is w(10) a prime number?
False
Let u = 18837 + -9026. Is u a prime number?
True
Let n be (-3)/(-1) - 2/(-2). Suppose -n*l = -k - 15, 2*l + 4 = 3*l. Let z = k + 2. Is z a prime number?
True
Suppose 2*s + 48 = 2*p, -s = 4*s - 3*p + 112. Is 434/6 + s/15 composite?
False
Suppose 2532 = 7*g - 751. Is g composite?
True
Let h = -83 + 218. Suppose 389 = 2*r + h. Is r prime?
True
Let o = 57917 + -31120. Is o prime?
False
Let o = 62 + -50. Suppose -o*q + 10*q + 6034 = 0. Is q a prime number?
False
Let m be (4 - -1)*(2 + -1). Suppose t - m*t = -52. Is t a composite number?
False
Let v = -1970 - -4117. Is v a prime number?
False
Suppose -3*j - 193103 = -40*j. Is j composite?
True
Let t(x) = -x**2 - x + 86. Let m be t(-18). Let y(o) = -3*o**3 - 3*o**2 - 5*o + 4. Let n be y(-5). Let w = m + n. Is w a prime number?
True
Is (-2)/((-63876)/111734 + (-172)/(-301)) a prime number?
False
Let d = -75870 - -113983. Is d prime?
True
Let d(c) = -296*c + 2. Let r(k) = -k + 5. Let u be r(3). Let m be d(u). Is (3 + 0)/((-6)/m) prime?
False
Is (-259894)/(-30) + 114/(-855) a composite number?
False
Suppose -p + b + 373 = 0, 0*p - 2*p - 3*b + 751 = 0. Suppose -4*a + p = -2*a. Is a a composite number?
True
Let y(n) = 15*n - 2. Let h(l) = -1 - 14*l + 2 + 0. Let a(s) = -4*h(s) - 5*y(s). Is a(-9) a prime number?
False
Let y = -8 + 7. Let d(l) = -2*l**3 - l**2 - 3*l - 2. Let p be d(y). Suppose 0 = p*f - 11 - 1. Is f prime?
False
Let g(p) be the first derivative of p**4/4 - 10*p**3/3 + 8*p**2 - 4*p - 23. Is g(15) a composite number?
False
Suppose 0 = -2*r - 3*t + 12, -5*r + 0*t + 16 = 4*t. Suppose 2*v = h - 364, -v = 2*h - r*h - 748. Is (h + 1)*(-2 - -3) prime?
True
Suppose 693 = o + 4*x + 98, -5*o + 2943 = 4*x. Suppose -8764 + o = -13*t. Is t a composite number?
True
Let r be (3506/(-4))/(((-52)/96)/(-13)). Is r/(-10) - (-12)/(-20) a prime number?
False
Let m(k) = -4*k**3 - 3*k**2 + 5*k + 10. Let q be m(-4). Suppose -4*w - 2*a + 807 = -3*a, w = -a + q. Is w a prime number?
False
Let r be (5388/(-30))/(4/(-10)). Let p = -188 + r. Suppose 0*q - 3*q = -p. Is q prime?
False
Let z = -40 + 34. Is z/(36/21)*-74 a prime number?
False
Suppose -130254 = -12*n + 582966. Is n a prime number?
False
Let l be 1208/12 - (-1)/3. Let p = -68 + l. Is p composite?
True
Let g = 23606 - 10779. Is g prime?
False
Suppose 215 = 3*d + 5*b - 80, -3*d + 5*b = -305. Suppose -6*n + n = -d. Suppose -t - 2*u = -n - 191, 0 = -2*u. Is t a composite number?
False
Let g(l) = 12*l**2 + 67*l - 19. Is g(-46) composite?
False
Suppose -5*p = 0, -40*i = -35*i + 5*p - 250935. Is i a prime number?
False
Suppose -3528 = -15*w + 7*w. Let v = w - -374. Is v prime?
False
Let j(o) = -o**3 + 8*o**2 - 5. Let t be j(10). Let c = t - -582. Is c composite?
True
Suppose 6*b + 152535 = 21*b. Is b composite?
False
Is (-1)/((-4)/(-6)) + 445452/24 a composite number?
True
Let b(w) = 23*w - 4. Let o be b(1). Let h = 21 - o. Is h prime?
True
Let g(a) = -a**3 + a**2 + a + 2. Let d be g(2). Suppose d = -0*h + 5*h - 3290. Suppose 2*k + 2*j = h, -5*j + 1401 = 4*k + 85. Is k a composite number?
True
Suppose -8*r = -6*r + 12. Let k be r/4 - 2/4. Is (1/(-3))/(k/2514) a composite number?
False
Let v = -1593 - 480. Is v/(-2)*(-6)/(-9) composite?
False
Suppose -3*v + 6*v + 2*t = 13, 4*v - t = 32. Suppose 5*g - v = 8, -4*l + 3*g + 139 = 0. Is l composite?
False
Let c = 6100 + 2823. Is c composite?
False
Let m(v) = 202*v**2 - 4*v. Let i be m(2). Suppose -3*g - 5*z + i + 696 = 0, -2*g - 2*z = -996. Is g a composite number?
True
Suppose -445791 = 52*g - 1204523. Is g a composite number?
False
Suppose 128 + 28 = -4*h. Is ((-586)/6)/(13/h) composite?
False
Suppose -3*r - 2*r = -3780. Let u be (-1)/3 + -8 + 100/12. Suppose 3*j - 4*s - 761 = u, -6*s - r = -3*j - 3*s. Is j composite?
True
Let y(u) = 4*u**3 - 4*u - 9. Is y(5) a prime number?
False
Is (481037/(-74))/((-1)/2) a prime number?
True
Let a(q) = 46*q**2 - 11*q + 2. Let y be a(6). Let l = y + -937. Is l prime?
False
Suppose -32*c + 36*c = 728. Let a = c + 639. Is a a prime number?
True
Suppose -3*a = 5*i - 1012, -411 = -3*a + 5*i + 551. Let d = 666 - a. Suppose 0 = 3*n - 2*n - d. Is n a prime number?
True
Suppose -5*a = 4*w - 16 - 2, 0 = -5*w - 5*a + 20. Suppose 4*t - 772 = -w*k, 0 = -4*t + k + 259 + 519. Is t a composite number?
True
Suppose 5*o - 8427 - 6303 = 0. Suppose -4*c + 7*w = 2*w - o, 5*c = -5*w + 3705. Is c composite?
False
Is (-12 - -15)*63734/6 a composite number?
True
Let s(q) = 87*q**2 - 7*q - 2. Let g be s(7). Is (-4)/1 + -1 + g a prime number?
False
Suppose -4098 = -3*a - 2*m, -a = -4*a + m + 4098. Is a a composite number?
True
Suppose -3*g + 17443 + 59558 = 0. Is g composite?
False
Let r = 92 + 650. Suppose -4*w - q = q - r, 2*