Let u = 7 - s. Is a(u) composite?
True
Let s = 2829 + 3620. Is s prime?
True
Let q(h) = -2*h + 12. Let r be q(3). Let w(j) = 90*j - 13. Is w(r) a composite number?
True
Suppose 2*x + 6 = -12. Let m be (-63)/12*24/x. Is (56/(-10))/(m/(-35)) a composite number?
True
Is 3637 + 2 - 16/4 prime?
False
Suppose 0 = -10*z + 3813 + 18857. Is z a prime number?
True
Let z(f) = -233*f - 380*f + 4*f + 2 + 2. Is z(-1) a composite number?
False
Suppose 2*h = -0*h - 5*n + 31, 0 = 5*h + 4*n - 35. Let g(j) = -3 + h*j**2 - 2*j**2 + j**2 + 10. Is g(6) composite?
False
Suppose -4*l - 5503 + 19711 = 2*v, -2*v = 2*l - 7106. Is l composite?
True
Let g(h) = -h**3 - 4*h**2 + 22*h - 67. Is g(-22) composite?
False
Let t(m) = -4*m**3 - 2*m**2 + 2*m + 5. Let q be t(-5). Let d = -126 + -12. Let s = d + q. Is s a composite number?
False
Suppose -6*v + v = -9005. Is v prime?
True
Suppose -21 = 5*p + 2*p. Is ((-5138)/28)/((p - -2)/14) a prime number?
False
Suppose -2*k = -t - 34 + 1677, -2*k - 3294 = -2*t. Is t composite?
True
Suppose -324*k + 342*k - 396108 = 0. Is k a prime number?
False
Is -140222*(-2)/4*1 a composite number?
False
Let t = 2655 + -1137. Suppose 3*r - t = 3393. Is r composite?
False
Suppose -4 = -0*g + 4*g. Is 753 - g - (-3 - (-4 - 0)) composite?
True
Is 2/(7/(33054/12)) composite?
False
Suppose 2*t - 16 = -3*u + 3*t, -u = -t - 8. Suppose 0*x + u*x = -4*m + 872, 2*m = -x + 441. Is m prime?
True
Let g be 597882/9 + ((-8)/6)/(-2). Suppose -5*o + g = 2627. Is o composite?
True
Suppose w - 5 = 0, -4*n + 0 = -w - 11. Let d be n/8 + (-7)/(-2). Suppose d*u = 2*x + 468, -575 = -5*u + x + 4*x. Is u a prime number?
False
Let r = 18355 + -9326. Is r a composite number?
False
Let u(s) = -s**2 - s + 2. Let d be u(0). Suppose -r + 2*a + 74 = 7*a, -2*r + d*a = -148. Is r a prime number?
False
Let x(g) = -g**3 - g**2 + 5*g + 2. Let o be x(-3). Suppose -p = -0*p - 3*q + 286, 3*p - 4*q = -873. Is (o - 6) + (-1 - p) a prime number?
True
Let k(v) = -v**2 + 2*v + 15. Let m be k(-8). Let c = m + 108. Is c a composite number?
False
Suppose -2*h = -3*h + 4. Suppose 4*l = 8, h*i = 3*i + l + 96. Suppose 5*v + 100 = 4*u + v, 4*u - i = 3*v. Is u a composite number?
False
Suppose 4*a + 3*m = 33, -4*m = -3*a - a + 68. Let d be a/(-8) - (-6)/4. Suppose d = 4*v + 2*t - 667 + 67, 0 = -4*v + t + 594. Is v a prime number?
True
Let z(u) = -3*u**2 + 6*u**2 + 12*u - 16 - 1 - u**3 + 4*u**2. Is z(-9) a composite number?
False
Let n = -2744 - -30755. Is n a prime number?
False
Let h(z) = -244*z - 2. Suppose -v + n - 6*n = 24, -3*n = 15. Let f be h(v). Let p = 563 + f. Is p prime?
True
Suppose -5*w = 3*y - 1396, 5*w = 160*y - 164*y + 1863. Is y composite?
False
Let s = -1 + 3. Suppose -2*w = s*w. Is (w + 2)/(4/890) a prime number?
False
Suppose 205*m - 16048 = 189*m. Is m a composite number?
True
Let n = 9 + -4. Suppose x - 47 = -4*u, u - 120 = n*x - 397. Is (x/10)/(3/42) a prime number?
False
Is 1 - -5 - (7 + -4050) a prime number?
True
Is 56/7 + 17509 + (-2 - -4) composite?
False
Let f = 20 + -12. Suppose 0 = -l - 5*g + 406, -5*l = -f*l - 5*g + 1188. Is l composite?
True
Suppose -403 + 192 = -r. Is r a composite number?
False
Let v be ((-6)/8)/(2/(-8)). Let z(t) = 3*t + 3. Let f(m) = 231*m + 16. Let j(b) = f(b) - 3*z(b). Is j(v) composite?
False
Suppose z - 29 = -20. Is 4669/z + -2 - 8/(-36) composite?
True
Suppose -4*m + v = -5*m + 8141, 4*m - 3*v = 32578. Is m composite?
True
Let r be -3*(2 + -3) + -1. Suppose -r*q = -5*q. Suppose q = -5*d + 3*k + 470, -2*d - 5*k - 5 = -193. Is d a prime number?
False
Let c be 3667/(-5) + (44/10 - 4). Let u = c + 2580. Is u prime?
True
Let h(j) = 137*j - 1. Let p(r) = -134*r - 3. Let d(a) = 135*a + 2. Let b(x) = 4*d(x) + 3*p(x). Let k(c) = 3*b(c) - 4*h(c). Is k(-4) a composite number?
True
Suppose -6 = -4*z + 2. Suppose 0 = -6*s + z*s + 9704. Suppose -s = 2*v - 4*v. Is v a prime number?
True
Suppose 5*s - 2*x - 14 = 2*s, 3*s + 4*x - 26 = 0. Suppose s*f - 8*f = -130. Suppose d - f - 213 = 0. Is d composite?
True
Suppose 808 + 371 = 4*x - 5*r, 0 = -2*r - 6. Is x composite?
True
Suppose 0 = 5*c - c. Suppose 617 = 4*q - u - 90, c = -5*q + u + 885. Let r = 339 - q. Is r a composite number?
True
Suppose -o + 3*p + 3 = 2*p, 0 = -2*p. Suppose -o*b + 17 = l - b, 0 = 2*b - 4. Is l a composite number?
False
Suppose 0 = -11*j + 17769 - 5053. Let n = -749 + j. Is n a composite number?
True
Suppose 4*x = -3*x + 14. Suppose -1072 - 3130 = -x*s. Is s composite?
True
Suppose 0*i + 2*i - 1475 = o, 0 = i + 4*o - 751. Is i prime?
True
Suppose -4*m + 8515 = w, 5*m - 3*w + w = 10647. Is m a prime number?
True
Suppose -n - 2*n = 5*p - 643, 0 = 5*n - 5. Suppose 5*y - 157 = p. Let c = y - -14. Is c a prime number?
True
Let b be 143/(-77) - (-1)/(-7). Is (4 + b - 1)*265 prime?
False
Let j = 4218 + -169. Is j prime?
True
Let w = 3094 - 1385. Is w prime?
True
Suppose 2*d = -d - 9. Is (-18)/d - 3 - -828 a prime number?
False
Suppose 28*s = -m + 24*s + 7163, 0 = -m + 3*s + 7128. Is m a prime number?
False
Let k(d) = -2*d - 1. Let j be k(-3). Let q be (-330)/(-50) - (-2)/j. Suppose 4218 = q*f - f. Is f prime?
False
Let i be 3/(-27)*-29 - 6/27. Suppose -4*z - 2*s = -6338, -s - i*s = 4*z - 6336. Is z prime?
False
Let l = -3493 - -10784. Is l composite?
True
Suppose j + 0*j - 5*v = 17176, -j = 5*v - 17126. Is j a prime number?
False
Let c(j) = -24*j**3 + 10*j**3 - 16*j**2 + 20 - 8*j - 4 + 15*j**3. Is c(29) composite?
True
Let w(i) = -144*i**3 + 2*i**2 - 2*i + 1. Let p be w(-2). Suppose 0*s - 2*s - 3*b + p = 0, s - 2*b - 579 = 0. Is s composite?
True
Let v = 211 - 136. Let l = v - -14. Is l composite?
False
Suppose o = 5*u + 6*o - 170, 3*u - 3*o - 108 = 0. Is (-2)/(-10) - (-17668)/u a prime number?
False
Suppose 2*r - 12 = 4*q, 0*r - 4*q = -3*r + 20. Let o(w) = 9*w**2 - 14*w + 15. Is o(r) composite?
False
Let g = -288 - -577. Is g a composite number?
True
Suppose -5*n + 202 = 3*m - 15, 5*m - 335 = -3*n. Let x be m + -3*(-2)/6. Let z = -34 + x. Is z a composite number?
False
Is (-4 - (-5)/10)*-142 composite?
True
Let u = -48 + 48. Suppose -k - 43 + 161 = u. Is k a prime number?
False
Suppose -572847 + 176748 = -9*c. Is c composite?
True
Suppose 530 + 1402 = 4*a. Suppose 2*r - a = -r. Is r a prime number?
False
Let j(u) = 34*u - 2. Let r be j(-1). Is (-1179)/r*(4 - 0/1) composite?
False
Let c = 3 - 0. Suppose 7 = w + c*b + 27, -b - 16 = w. Is w/(-4)*(-4 + 138) a prime number?
False
Is 63461 - (-6)/(-5 - -6) composite?
False
Suppose 2*b + 3*b = -5. Is (118 - (b + 6/(-3)))/1 a composite number?
True
Let x(c) be the first derivative of 1/2*c**2 + 23*c + 5. Is x(0) a prime number?
True
Let b = -890 + 2701. Is b composite?
False
Suppose -8*d + 17 = 1. Let n = 449 - d. Is n prime?
False
Let r be -1 + 0 + 1968/16. Suppose 1945 = h + r. Is h a prime number?
True
Suppose 0 = -3*r - a + 10865, 4*r - 906 - 13583 = a. Is r a composite number?
True
Suppose -4*o - t + 76056 = -0*o, -4*t - 57023 = -3*o. Is o a prime number?
True
Let k = 1939 - 396. Is k a composite number?
False
Suppose 9*j = 11*j - 4534. Is j a composite number?
False
Let p = -940 + 17817. Is p a prime number?
False
Let s(k) = 18913*k**2 + 51*k - 143. Is s(3) a prime number?
True
Let k = 165873 - 116966. Is k a prime number?
True
Let k = -775 - -842. Is k a prime number?
True
Let q be (4/(-3))/(4/(-6)). Let w(h) = -12*h + 1. Let g(n) = -47*n + 5. Let r(o) = 4*g(o) - 18*w(o). Is r(q) prime?
False
Let l(a) = a + 24. Let q = -50 - -29. Is l(q) prime?
True
Suppose 7*i - 4*i = 387. Let w(y) = -11*y - 73. Let h be w(-7). Suppose h*t - 707 = i. Is t a prime number?
False
Suppose 3*s + 1873 = -362. Suppose -4*o + 90 = 2202. Let r = o - s. Is r a composite number?
True
Let z(j) = j + 11. Let b be z(-7). Suppose -b*p + 26 + 10 = 0. Suppose 3*d = -5*v + 239, 2*v - p - 79 = -5*d. Is v a prime number?
False
Let h(b) = b**3 + 17*b**2 + 16*b - 14. Let j be h(-16). Let l = -8 - j. Let k(u) = -u**3 + 8*u**2 + 7*u - 5. Is k(l) a prime number?
True
Let t = -17798 + 29317. Is t a prime number?
True
Let q be (-248)/(-56) - 4/(-7). Suppose -q*a = -15, -2*g - 2*a + 843 + 309 = 0. Is g a composite number?
True
Suppose 5*s = 5 + 10. Suppose m + 3 = -h, h - s*h = -5*m - 8. Is (-1830)/(-50) + m/(-5) a prime number?
True
Let v(a) = -577*a + 148. Is v(-7) composite?
Tru