4*x + t*o = -50 - 42, 5*x = -o + 97. Is 10/2*444/x composite?
True
Suppose 5*o + 2*i - 9402 = 0, i = -5*o + 2*i + 9414. Suppose -4*q + j - o + 5843 = 0, -j = 5*q - 4958. Is q prime?
True
Let r = -14 + 16. Suppose -3 - 79 = r*j. Let n = j + 184. Is n a composite number?
True
Suppose -7 - 23 = 3*r. Let t = r - -11. Is t + (204 - 8/4) composite?
True
Let s(l) = 41*l. Let t(c) = -40*c + 1. Let v(x) = -3*s(x) - 2*t(x). Is v(-3) a prime number?
True
Let o(h) = 10*h**2 + 17*h + 243. Is o(-46) composite?
True
Let p(b) = 0*b**2 - 2*b**3 - 10*b**2 - b**3 - 3*b - 4*b - 17. Is p(-10) composite?
False
Is 3460 + ((-3)/(5 - 4))/1 a prime number?
True
Suppose -13 = -4*i + 3. Suppose -4*u = c - 55, -i*c - u - 4*u = -253. Is c a composite number?
False
Let s be 15/2*3900/250. Suppose 7 = 3*f - 5. Suppose -y = -f*y + s. Is y a prime number?
False
Is (-4 - -2)/((-16149)/(-3231) + -5) a prime number?
False
Let m(q) be the first derivative of -q**3/3 + 5*q**2/2 - 15*q - 6. Let i be m(8). Let z = 118 + i. Is z composite?
False
Let u be (-24)/9*6/4. Let j be (-534)/u - 2/4. Suppose p + j = 3*i, 3*i - 113 = -3*p - p. Is i composite?
False
Let w(c) be the second derivative of -c**4/12 - 3*c**3/2 + c**2/2 - 4*c. Let v = 9 - 15. Is w(v) composite?
False
Let t(r) = -r**3 + 10*r**2 + 2*r - 8. Is t(9) a composite number?
True
Suppose -386 = -2*m + o + 4*o, 5*o - 930 = -5*m. Suppose 4*c - 3091 = -3*q - 0*c, -4*q + c = -4096. Suppose -i + q = -m. Is i prime?
True
Let w(q) be the third derivative of -7*q**2 - 4/3*q**3 + 5/12*q**4 + 0 + 0*q. Is w(9) composite?
True
Let l(s) = s + 1. Let v be 3/6*(2 - 2). Let k be l(v). Suppose -15 = -2*y - k. Is y prime?
True
Suppose 13 = 2*u + j, 5*u - 2*j = 10 + 9. Suppose -3*p - u*g = -7138, 2*g = 2*p - 0*g - 4732. Is p prime?
True
Suppose -190*b = -176*b - 20118. Is b a composite number?
True
Let v be 568/(-4 + 0)*1. Let o = 268 + v. Let f = 635 - o. Is f a composite number?
False
Suppose -1 + 16 = 5*h. Let a be ((-26)/h)/((-2)/15). Suppose 2*l = -x + a, l + 4*l = -2*x + 163. Is l a composite number?
True
Suppose -3*m + 0*m = 0. Suppose m = -u + 9 - 4. Suppose 3*t + q = 1403, 2341 = u*t + 2*q + q. Is t composite?
False
Let w(d) = -d**3 + 7*d**2 + 3*d - 14. Let o = -33 - -24. Is w(o) a prime number?
False
Is (-4)/20 + (-93168)/(-15) a composite number?
False
Suppose -2*y + 2*p = 4, 4*y + y - 4*p + 8 = 0. Suppose -4 = -4*u - y*u. Is 1/((0 - u)/(-49)) prime?
False
Suppose -82920 = -24*o + 4*o. Suppose 0 = 17*q - 11*q - o. Is q composite?
False
Let h(a) be the second derivative of a**5/20 + 5*a**4/12 + 2*a**3/3 + a**2 + 2*a. Let y be h(-3). Suppose 0 = -y*d + 3*d + 165. Is d a composite number?
True
Is (-4 + 10 + -9)/(3/(-11677)) a prime number?
True
Let w(x) = -x**3 + 6*x**2 - 5*x + 12. Let y be w(5). Is ((-97)/(-4)*1)/(3/y) composite?
False
Suppose -s = 2*h - 3, -105*h = -108*h - 4*s - 8. Let j = 7 - 3. Suppose 0 = -4*v - 5*q + 533 - 40, -h*v = j*q - 496. Is v composite?
False
Let p(s) = 904*s + 9. Is p(3) composite?
True
Suppose -5*s = 2*j - 52262, -3*s + 21126 = 4*j - 10220. Is s composite?
True
Let a(z) = -z**3 + 8*z**2 + 4. Let x be a(8). Suppose -4*d + 3282 = -0*j - 2*j, x*d = 5*j + 3279. Is d a composite number?
False
Suppose -73617 = -y + 5*a, 0 = 3*y + 14*a - 15*a - 220907. Is y prime?
True
Suppose 2*i - 3*a = 3*i - 45683, -2*i + 91366 = 3*a. Is i a composite number?
True
Suppose 0*o - 4*o + r = -368018, 3*o = 2*r + 276011. Is o a prime number?
False
Suppose -u = -5*c - 28, 0 = -3*u - 4*c - 1 + 47. Let y be (-27)/u - 18/(-4). Suppose 57 = t - 5*l, 5*t - 2*l + y*l - 181 = 0. Is t a prime number?
True
Suppose 20 = -4*i - 3*u, 5*u + 27 - 7 = 0. Is 814*(5/i)/(-5) a prime number?
False
Let y = 11547 + -5794. Is y composite?
True
Let h(r) = -5*r - 41. Let p be h(-10). Is 25344/27 + 3/p a prime number?
False
Suppose -7*u + 7 + 0 = 0. Is 6/2*u*10785/45 a prime number?
True
Suppose -3378 = -24*o + 18*o. Is o a composite number?
False
Is 2182 + (-6 + 9)/3 prime?
False
Suppose 0 = 2*m - 3*c - 7105, 3*c + 7104 = 2*m + c. Suppose y - 5*y - d = -m, -884 = -y + d. Is y prime?
True
Suppose -3*m - 856 = -4*a + m, -4*m - 436 = -2*a. Let x be (1*-1)/(5/(-835)). Suppose s - x = a. Is s prime?
False
Let d(h) = h**2 + 6*h. Let a be d(-6). Suppose a*p = p + 5*v - 94, 4*p - 357 = -v. Is p prime?
True
Suppose 2*h = -3*a + 11, 6*a - 3*a = 4*h + 5. Let n be h*6*(-2)/3. Is n - -4 - (-67 + 0) a composite number?
False
Let v(c) = c**3 + 7*c**2 + 13*c. Let t be v(-4). Is (3 - t - 1)*2434/12 a composite number?
False
Let z = -29430 - -50879. Is z composite?
True
Let c(y) be the third derivative of 5*y**4/12 - 13*y**3/2 + 40*y**2. Is c(17) prime?
True
Let k(j) = -7*j**3 - 6*j**2 - 19*j - 6. Is k(-4) a prime number?
False
Suppose 0*m + 13*m = 67951. Is m composite?
False
Suppose -2*c + 10838 = -1100. Is c prime?
False
Let f(j) = 2*j**2. Let a(l) = l**2 + 1. Let o(y) = -3*a(y) + f(y). Let q be o(0). Is (7 + -86)/(q + 2) a prime number?
True
Let b be 735 + 1 + 1/1. Let v = 297 - 293. Suppose v*l - 2725 = -b. Is l a composite number?
True
Let c(p) = 14494*p - 33. Is c(4) composite?
False
Suppose 0 = 6*m - 12*m + 24. Suppose -3*d + 449 = -2*i + m*i, 4*i = -4*d + 896. Is i a prime number?
True
Let t(n) = n**2 - 1. Let j(g) be the first derivative of -26*g**3/3 - 5*g**2/2 - 2*g + 1. Let v(p) = -j(p) + 3*t(p). Is v(-5) prime?
False
Let i(w) = 7*w**2 - 8*w - 4. Let s be i(-16). Suppose 21*k + s = 25*k. Is k a composite number?
False
Suppose -4*t = 18 + 2, c - t - 8196 = 0. Is c a composite number?
False
Suppose -4*u + d + 6 = 0, -4*u + 3*d = 8*d + 6. Let v(f) = -2*f + 3. Let t be v(u). Is 32 + (t - 0 - -2) a prime number?
False
Let v(g) = 2*g - 1. Suppose 10 = 2*w, -4*l + w + 13 = 2*w. Let b be v(l). Is 18/(-27) + 215/b composite?
False
Let l be (2/4)/(4/(-24)). Let w be ((-2)/(-6))/(3/18). Is l + -171*w/(-3) a prime number?
False
Let v(n) = -n. Let h(u) = -258*u**2 + 7*u - 1. Let w(z) = -h(z) - 6*v(z). Is w(2) a composite number?
False
Let g(o) = 7*o - 1. Let p be (5/(-10))/((-1)/(-2)). Let j be g(p). Is ((-20)/j)/5*334 composite?
False
Let x(a) = -a**3 + 4*a**2 - 3*a + 1. Let f be x(3). Is ((-201)/9)/(f/(-3)) a prime number?
True
Is (-21)/35 + (-32028)/(-30) composite?
True
Suppose -16 = 2*a - 6*a. Let j = 18 + a. Is j/55 + 2506/10 a composite number?
False
Let h(u) = 2865*u - 101. Is h(4) composite?
True
Let f = 4 + -16. Is ((-1059)/f)/((-5)/(-20)) a prime number?
True
Let b(w) be the third derivative of -w**6/120 + w**5/60 + 491*w**3/6 + 11*w**2. Is b(0) prime?
True
Is 5442900/375 - 6/(-10) composite?
True
Let k = 8099 + -5713. Is k a composite number?
True
Suppose 4*g - 1653 = 487. Is g composite?
True
Let t(s) be the second derivative of s**4/12 - s**3/6 + s. Let w be t(-1). Is (3/w)/(18/564) prime?
True
Let z(k) be the second derivative of 13*k**5/20 - k**4/2 + k**3/2 - 9*k**2/2 + 15*k. Is z(5) a composite number?
False
Let f = -370 - -523. Suppose 7*i - f = 4*i. Let b = 98 + i. Is b composite?
False
Suppose -3*z + 325 + 362 = 0. Let k = -160 + z. Is k a prime number?
False
Let r be 1 - ((2 - 4) + 800). Let y = -276 - r. Is y a prime number?
True
Let v = -119 + 208. Suppose 0 = -5*p + v - 29. Is (-12194)/(-84) - 2/p composite?
True
Let n(h) = -h**2 - 6*h + 1. Let c be n(-5). Suppose -p - 626 = 3*k - c*k, 5*k - 1060 = 5*p. Let d = -148 + k. Is d a composite number?
False
Suppose 2*r + 206 - 2262 = 0. Suppose 3*n = r - 323. Is n a prime number?
False
Suppose -74 = -4*s - 66. Let x(p) = s - 19*p - 11*p + 7*p + 2*p**2 + 6*p**2. Is x(13) composite?
True
Let p(z) = 3*z + 53. Suppose -4*m = 2*m. Is p(m) composite?
False
Let k(v) be the first derivative of -v**5/20 + 5*v**4/6 + v**3/3 - 5*v + 5. Let s(x) be the first derivative of k(x). Is s(7) prime?
False
Let q(b) = 2*b**2 - 2*b - 95. Is q(24) composite?
False
Let a(c) = -93*c + 8. Let w be a(-3). Let l = 2110 - w. Is l a prime number?
True
Suppose 3 = s + 5*i + 33, 4*s + 2*i + 138 = 0. Let a = -111 + 42. Is a/(-5) - 7/s a composite number?
True
Suppose -3*z - 384 = -3*k, -5*k + 0*z - 3*z + 600 = 0. Is -12 + 16 + k*1 a prime number?
True
Let y be 2063 - (3 - 1)/2. Is (1*y)/(9 + -7) a composite number?
False
Suppose f = 2*w + 3*f - 54, 74 = 2*w - 2*f. Let h be 9/(-9) + (-1 - -5) + 86. Suppose -z + w = -h. Is z a prime nu