3*u + 0*u - 831 = -3*o, -u - 4*o = 287. Let l(z) = z**3 + 3*z**2 - 12*z + 12. Let p be l(-10). Let g = u - p. Is g a composite number?
True
Suppose -41 = -3*b + 502. Let g = -584 + b. Let m = g - -696. Is m composite?
False
Let d(w) = 2*w**2 + 31*w - 11. Let f be d(-16). Suppose 71 = g - h + 8, f*g = 3*h + 323. Is g a composite number?
False
Let q be (87/2)/(2/4). Let t = q - -26. Is t a prime number?
True
Let k = -225 - -245. Let x = 49 - -48. Let o = x - k. Is o a composite number?
True
Suppose 4*q + 5*h + 10996 = h, 4*q - 2*h = -10996. Let k = q - -101. Is k/(-24) + (-4)/(-6) prime?
False
Suppose t - 2*m = -6*m + 20, -2*t + 4*m - 20 = 0. Suppose -2*z + 65 = -w + 202, t = 3*w - 3*z - 402. Is w composite?
False
Suppose 4*p + 2*x - 23870 = 28050, -4 = x. Suppose -q + 6491 = d + 4*q, 0 = 2*d + q - p. Is d a prime number?
True
Let u(j) = -j**3 + 21*j**2 + 3*j - 2. Is u(17) a composite number?
True
Let c(w) = 32*w**2 + 2*w - 7. Is c(-4) prime?
False
Let p(a) = 8*a**2 + 6*a - 7. Suppose 5*q = -q + 48. Is p(q) a prime number?
False
Let b = -73 - -695. Suppose b = 5*i - 4168. Is i prime?
False
Is 3/(((-126)/19663)/(-6)) a composite number?
True
Let n = -1527 - -29650. Is n prime?
True
Suppose 10*w + 631216 = 26*w. Is w composite?
False
Let f be (-1 - -12) + 6/(-24)*0. Let t = 514 - f. Is t a composite number?
False
Let q be ((-8)/(-5))/(24/60). Suppose 0 = q*v - 6*v + 194. Is v a composite number?
False
Suppose c - 42 = -2*c. Suppose 5*m - c = -2*o, -5*o - 3*m + 9 = -7. Is 4/6*2121/o composite?
True
Is (2/(-5))/(2/(-119585)) composite?
False
Is ((-51268)/(-49) - 6/21) + -3 a composite number?
True
Let j = -16 - -5. Let t = -26 + 74. Let x = j + t. Is x composite?
False
Suppose -2*r - 40 = 24. Let n(a) = -6*a + 7. Let g be n(3). Let k = g - r. Is k a prime number?
False
Let i(j) = 225*j**2 + 15*j - 23. Is i(9) prime?
False
Is 3969756/308 - (-2)/11 a prime number?
True
Is 406 - (-5)/(-20)*-4 a composite number?
True
Let z(b) = 2*b + 11. Let c be z(-3). Suppose -4*m - 4389 = -c*t, t + m - 3*m = 879. Is t prime?
True
Suppose 0 = -2*c - u + 3303, -6*u - 88 = -4*c + 6510. Is c a composite number?
True
Suppose 5*w - 3*k = 4*w - 203, -3*w + 5*k - 629 = 0. Let a be (-2)/8 + 1636/16*5. Let n = a + w. Is n composite?
False
Suppose -1169 = -2*l - 4*h + 3*h, 4*l - 2303 = 5*h. Suppose -k - 3*k = 3*p - 2342, -k + p + l = 0. Let c = k - 207. Is c prime?
False
Let o = 2501 - 1519. Suppose 3*d = -3, 2*d = x - 3*x + 1364. Let q = o - x. Is q a composite number?
True
Suppose -31*d + 464 = -27*d. Let m = 827 + d. Is m composite?
True
Suppose -4*l + 27 - 15 = 0. Suppose 5*b + l*t - 3323 = -t, 2*b - 3*t - 1343 = 0. Is b a prime number?
False
Let r be 93/9 + (-2)/(-3). Suppose 0 = 10*d - r*d + 89. Is d a prime number?
True
Let r = -612 - -16865. Is r a prime number?
True
Suppose 41 = -4*o + n + 3719, n + 921 = o. Is o a composite number?
False
Suppose -14798 = -c + i, -5*c + 44*i + 73987 = 42*i. Is c composite?
False
Let b(c) be the second derivative of 29*c**4/4 - c**3 - 3*c. Let l be b(4). Let h = l - 599. Is h composite?
False
Suppose 3*n - 3294 = 2*i - n, 5*n + 6575 = -4*i. Is i/(-21) - (-4)/6 a composite number?
False
Let i(v) = 1120*v**3 - 5*v**2 + 7*v + 5. Is i(4) prime?
True
Suppose 4*o - 12 = 0, 4*o = m - 0*m + 2. Suppose -2*g + 1502 = 2*u, 0*g = 5*g - m. Is u a prime number?
False
Let q = -133519 - -305798. Is q prime?
True
Let u(o) = o**2 - 6*o - 3. Suppose -5*p = 5*m - 40, m + 1 = -2*p + 16. Let f be u(p). Suppose 220 = -f*t + 8*t. Is t composite?
True
Suppose -13*w + 11*w = -5122. Let g = 4792 - w. Is g a composite number?
True
Suppose 3 = 2*z - 5. Suppose -4*g - 670 = -5*g + 2*v, z*v - 1308 = -2*g. Is ((-8)/4)/((-4)/g) a prime number?
True
Let h = -965 - -22668. Is h composite?
True
Suppose 0 = -4*a + 4*t + 524, 9*t = 2*a + 11*t - 270. Is a composite?
True
Let z = -15 + 18. Let n be z + 120 + -3 + -2. Is (n/(-3))/(4/(-6)) composite?
False
Let n = 32574 + -13471. Is n prime?
False
Let q = -74 - -341. Is q a composite number?
True
Let l(t) = -41*t**2 + 8*t + 4. Let a be l(-3). Is (-1)/((-4)/a)*-4 prime?
True
Let t be (2 - 6/3)/1. Let h be 2 + t + -65 + 5. Let z = -21 - h. Is z composite?
False
Let w(l) = -2*l**3 - 10*l**2 - 5*l + 8. Suppose 37 = -3*d + 5*y, 2*d + 3*y - 24 = 4*d. Is w(d) a prime number?
True
Let b = -229 - -492. Is b a prime number?
True
Let j be (-9)/2 + (-1)/(-2). Let l(w) = 10*w - 7. Let q be l(3). Let n = j + q. Is n a prime number?
True
Let l = -4 - -1. Let k be 3 + 3/(l/1). Suppose -32 = 2*y - 2*z - 288, -k*y - 4*z = -250. Is y composite?
False
Let d(b) = -70*b**2 - b - 2. Let t be d(-2). Suppose 0 = 2*j - 571 - 651. Let v = t + j. Is v composite?
False
Let k(v) = -115*v + 145. Is k(-28) a prime number?
False
Suppose -5*i + 8107 = -d, -4*i - d = -5*i + 1623. Let t = i + -1038. Is t a prime number?
False
Suppose 17*f - 137665 = 12*f. Is f prime?
False
Let y be 3 - (-2)/10*0. Suppose -3*u = -y*h - 2*h + 3439, 8 = 4*u. Is h composite?
True
Let x be (3 + -6 + 7)*1. Let n(h) be the first derivative of 9*h**4/4 + h**2 + 3*h + 15. Is n(x) composite?
False
Let l = 205 + -526. Let z be 2/(-8) - (-777)/4. Let v = z - l. Is v a prime number?
False
Let c(w) = 64*w**2 + 3*w + 3. Let j(x) = -5*x**2 + 6*x**2 + 2 - 3. Let s(v) = c(v) + 2*j(v). Is s(-3) prime?
False
Is (0/4 + -5 - -8231) + -3 composite?
True
Suppose -c - 4*s + 14 = 0, 0 = 5*s + 2 - 17. Suppose -3*a = c*a - 15. Suppose 0 = -5*m - w + 4770, m + 0*w + a*w = 940. Is m prime?
False
Suppose 0 = 3*q + 9, 0 = -2*c + c - 2*q + 1556. Suppose -2*j + 383 = -0*d + d, 0 = 4*d + 2*j - c. Is d a prime number?
False
Suppose 4*i = -4, j + 9613 = 4*j + 2*i. Suppose -5*t + 4*b - j = -12194, 0 = -4*t + 4*b + 7188. Is t prime?
True
Let l = -51 - -53. Is (l - 0)/6 - (-9190)/15 prime?
True
Is 38824/3 - (-2 + 7/3) composite?
False
Suppose -31526 = -2*t + 2*i, -5*t - 22*i + 24*i = -78827. Is t a prime number?
True
Let s(q) = q**3 + 26*q**2 - 20*q + 115. Let b be s(-26). Let l be 4 - (1 - 0)*-1. Suppose 80 = l*v - b. Is v composite?
True
Suppose 2*t + 10 = 5*m, 0*m + t = -m + 9. Let s be m*(-12)/(-16)*189. Suppose 5*y - 3*h = s + 62, 3*h = -2*y + 260. Is y composite?
False
Suppose 2*v - 5*s + 1038 = 6*v, 6 = -3*s. Suppose -r + 2*r = v. Suppose -l = -3*l + r. Is l a composite number?
False
Let l be (24/15 + -1)*5. Suppose 0 = -l*c + 2*c. Is 234/6 + (c - 2) a prime number?
True
Suppose 32*g - 101688 = 8*g. Is g composite?
True
Is 2/(-6) + (-6 - 101328/(-18)) prime?
True
Let d = 1224 - 772. Let v = d + -261. Is v prime?
True
Let y be (-117)/18*(-22 - 0). Suppose q = z + y, 8 = 5*z - 2. Suppose 5*h = 40 + q. Is h a composite number?
False
Let f(w) = 153*w - 6. Let c be f(-10). Let p = -769 - c. Is p prime?
False
Let b(f) = f + 5. Let z be b(0). Let p = 4 - z. Is p/(((-2)/(-2))/(-89)) a prime number?
True
Suppose 10*u + 10788 = 13*u. Let y = -2197 + u. Is y a composite number?
False
Let q be (-18)/(-8) + 1/(-4). Suppose 5*t - 4*c + 3 + 2 = 0, -q*c + 1 = -t. Let i = t - -12. Is i a prime number?
True
Let l(u) = -2*u**3 + 9*u**2 - 17*u. Let k be l(-10). Let z = -313 + k. Is z a prime number?
False
Suppose -12 = 3*o, -2*v - 4*o + 1 = 17. Suppose -5*l + 8*l - 93 = v. Is l a composite number?
False
Suppose 3*m - 20 - 1 = 0. Let h be (-3)/30*6 + 986/10. Suppose m*g + h = 9*g. Is g a composite number?
True
Suppose 0 = -4*w + d - 5*d - 20, -w + 5*d = -25. Let s be -3 - -3 - (6 + w). Is 1 - 1*s*43 a composite number?
True
Let v be 7/2*(-64)/(-56). Suppose -3*f + 8027 = v*j, 0 = 5*f - 4*f + 2*j - 2673. Is f composite?
True
Let b(o) = -o**3 + 6*o**2 + o + 319. Is b(0) composite?
True
Suppose 0*g + 28 = 7*g. Suppose f - 5*i = 395 + 40, 3*f = -g*i + 1343. Is f prime?
False
Suppose 0 = -5*b + 2*t + 583847, -2*b + 1116 = -4*t - 232410. Is b composite?
True
Let v be ((-2502)/(-4) + 2/2)*6. Suppose -v = -6*l - l. Is l composite?
True
Suppose 7833 = b - 2*v, 4*b = -10*v + 8*v + 31312. Is b composite?
False
Suppose 27*v - 35553 = 24*v. Is v composite?
True
Let m(c) = c**2 + 12*c - 9. Let b be m(-13). Is (b + -3154)/(-5) - -1 composite?
False
Let u = -114 + 191. Let z(g) = 3 + u*g - 5 + 18*g - 4. Is z(5) a composite number?
True
Let n(l) = 21*l**2 - l + 7. Let f(s) = -s**2 - 12*s - 15. Let b be f(-10). Is n(b) composite?
True
Let u(m) 