uppose 4*c - 4 = 0, -6887 = -d*l + l - c. Is l composite?
True
Suppose -r + 12 = 9. Suppose -5*x - 57066 = -5*u + 684, -r*x = 4*u - 46165. Is u a prime number?
False
Let h be 6/(-1)*2/4 - 3. Let v be (4/h*3 - 0) + 7. Suppose 0*k = -v*k - 3*i + 2755, 3*k - 2*i - 1653 = 0. Is k a prime number?
False
Let b = 95268 + 64747. Is b prime?
False
Let q(m) = -540*m + 27787. Is q(0) prime?
False
Let z(x) = -107*x**3 - 3*x**2 - 46*x + 13. Is z(-8) composite?
False
Let l(n) be the first derivative of n**2/2 + 15*n - 12. Let w be l(-13). Suppose 0 + 6 = 2*t, -w*p + 5*t + 1871 = 0. Is p prime?
False
Let z(s) = 71*s**3 - 16*s**2 + 24*s - 17. Is z(10) a composite number?
False
Suppose -4*f + 36 = 2*v, 2*v - 5*v - 3*f + 42 = 0. Suppose 78494 = v*k - 32216. Is k a composite number?
False
Let z be (-59)/7 - 12/(-28). Let u be 90/(-16) + 90/(-240). Is u/(-8) + (-8482)/z a composite number?
False
Suppose 0 = -3*t - 2*v + 19, -5*t + 25 = -0*t + 2*v. Is (-5)/t + (-21)/((-504)/52336) composite?
False
Suppose 5*u - 5 = 4*h, 2 = 3*h - u - 8. Suppose -o = 2*l - 3*o - 4908, 0 = 2*l - h*o - 4902. Suppose -2*a - 2 = 0, -5*i + a + l = -0*a. Is i composite?
False
Let n(k) = 4*k**3 + 20*k**2 - 17*k + 28. Let z(f) = 3*f**3 + 20*f**2 - 17*f + 27. Let c(a) = -4*n(a) + 5*z(a). Is c(18) composite?
True
Suppose -2*i + 5*i = 0. Suppose 15*p - 107266 = -17071. Suppose 13*q - 20*q + p = i. Is q composite?
False
Let p = -403 + 453. Suppose -55*r = -p*r - 21925. Is r a prime number?
False
Let o = 7918 - 1672. Let y = o + -1481. Is y composite?
True
Suppose 3*v = -u + 16229, -3*u - 512*v + 509*v = -48663. Is u a prime number?
True
Suppose -63*k = -68*k + 4*d + 457843, -4*d = k - 91583. Is k a composite number?
False
Let y = 748619 - 464682. Is y prime?
True
Let i = -56 - -36. Let c = 28 + i. Suppose -5345 = 3*a - c*a. Is a a composite number?
False
Suppose -52*m = -228511 - 1072061. Suppose -7*p + m + 8960 = 0. Is p a prime number?
False
Suppose 0 = 4*k - 16*s + 20*s - 88444, 0 = -2*s + 4. Is k a composite number?
False
Suppose -5*y + 5915999 = 2*v, -38*y + 37*y - v = -1183201. Is y composite?
False
Let g(o) = 4575*o**2 - 33*o - 53. Is g(-4) a composite number?
True
Let c = 287 - 285. Is (-22 + 12)/(c/(-389)) composite?
True
Let a be 12 + 1 + -3 + -2. Let s(p) = 8 - 2 + 5*p + a + 68*p. Is s(5) a composite number?
False
Let l(y) = 618*y**3 + 14*y**2 + 102*y - 571. Is l(6) prime?
True
Let m(w) = w + 4. Let c be m(-2). Suppose -8*a - c*a + 20 = 0. Is 2*a/4*478 composite?
True
Suppose 0 = q - 5*y + 78, 2*q + 145 = 5*y - 11. Let u = q - -1291. Is u prime?
True
Is (6/24)/(((-76)/(-1032496))/19) a composite number?
True
Let n(b) = 371*b + 36. Let t be n(-17). Let h = -4054 - t. Is h a prime number?
False
Let h(c) = 674 - 2*c - 30*c**2 - 26*c**2 - 44*c**2 + 101*c**2. Suppose f = 4*f. Is h(f) a composite number?
True
Let u(n) = -57*n**3 - 6*n**2 - 17*n - 79. Is u(-12) a composite number?
True
Suppose -22*g = 8*g - 173730. Is g composite?
False
Suppose 6197747 = 50*n - 4873353. Is n prime?
False
Let m = 5 + -2. Suppose 11*u + m - 102 = 0. Let t(n) = n**2 + 13*n - 13. Is t(u) a composite number?
True
Suppose 0 = 18*a + 1806 - 345004 - 238580. Is a prime?
True
Let x(y) = -y**2 - 10*y - 20. Let b be x(-6). Suppose 152 = -m + 5*q + 890, -2*m = -b*q - 1494. Is m prime?
False
Let o(k) = 49*k**2 + 23*k + 15. Let u be o(7). Suppose 0 = 2*j + 4*a - 3672, -4*j + 2*a - 6*a + 7328 = 0. Let h = u - j. Is h prime?
False
Let m be (-2382 - (-1 + 1))/(86/(-3999)). Suppose m = 33*u - 24*u. Is u a prime number?
False
Let c = 117 - 115. Is ((-49)/(-28))/(c/568) composite?
True
Let u be ((-12)/16)/((0 - 1)/(-4)). Let h be 3229/u - (-15)/45. Let q = h - -2239. Is q prime?
True
Suppose -5*h - 972520 = -5*q, -12*h - 3 = -13*h. Is q prime?
True
Let d(y) = y**3 + 103*y**2 - 123*y - 331. Is d(-100) a prime number?
True
Suppose -4*l = -4*y + 113328, -y - 4*l = -0*y - 28357. Is y prime?
False
Is (-254078)/(-2) - 6/42*0 a composite number?
True
Let a be 5/(-15) + (-143)/3. Let b = -41 - a. Suppose 6*i - b*i = -123. Is i a composite number?
True
Let d be ((-14)/(-4))/((-6)/(-12)). Suppose 0 = 3*n - d*n, 5*z = -n + 18065. Is z a composite number?
False
Suppose m - 3*h - 1 = -m, -2*h - 8 = -5*m. Is (-2 - 0)*(-1511)/m a composite number?
False
Suppose -55219497 = -77*k - 38*k + 33177668. Is k a composite number?
False
Suppose 5*t = -b - 5, -20 = -5*t + 8*b - 4*b. Suppose 2*d - 30*w + 29*w - 17779 = t, 0 = d + w - 8882. Is d a composite number?
False
Suppose -343045 + 3902744 + 2984576 = 75*l. Is l a prime number?
True
Suppose 477*r + 36 = 468*r. Suppose 3*h = -f + 13207, 3*h + 3*f - 11197 = 2006. Is (h/(-14))/(2/r) prime?
False
Let q(o) = 20*o**3 - o + 1. Let b(f) = -10*f**3 - 1. Let t(x) = 5*b(x) + 2*q(x). Let i be t(-1). Suppose 0 + i = 3*c, -4912 = -2*u + 2*c. Is u composite?
False
Suppose 0 = 6*y - 33768 + 10752. Suppose 4*g - 2*m = y, 2*g + 2*g + 3*m - 3856 = 0. Is g a composite number?
True
Let k be (-84387)/(-7) + (12/(-42))/1. Suppose -y + k = 4*y. Is y a prime number?
True
Suppose -12*z - z - 624 = 0. Let r = 48 + z. Suppose r = -4*l + 3818 - 814. Is l a composite number?
False
Let m(s) = 8*s**2 - 3*s + 12. Let c be m(4). Suppose -12*o = c - 8420. Is o composite?
False
Let g be (-1256984)/(-48) + (-2)/12. Suppose -2*f - i + g = 0, 3*f - 65468 = -2*f - 3*i. Is f a composite number?
False
Let q(i) = -19 - 10*i - 81*i**3 - 4*i**2 - 5 + i + 93*i**3. Is q(7) composite?
False
Let q(k) be the third derivative of k**5/30 - 3*k**4/4 - 25*k**3/6 + 8*k**2 - 6*k. Is q(-29) a composite number?
False
Suppose 5*t - 5 = 6*t, -5*t - 198085 = -5*f. Suppose -2*p = -q - 0*q + 9893, 2*p - f = -4*q. Is q a composite number?
False
Let o(n) = -3*n + 6. Let t be o(2). Suppose t*m = 2*s + m - 1264, 5*m + 2556 = 4*s. Is s a composite number?
True
Suppose 2 = 2*t, -5*t + 15 = -4*d - 14. Let m(a) = -296*a - 15. Is m(d) composite?
True
Let v(g) = 17*g - 184. Let c be v(11). Suppose 2*m + y = 23804, -y - 5423 - 30288 = -c*m. Is m a composite number?
False
Let q(z) = 17*z**2 - 5*z + 9. Let h = -86 + 79. Is q(h) a prime number?
True
Suppose g + 2*h - 23 = 0, -2*g + 3*h = -0*g - 39. Let l be (g/2)/(39/208). Is 9/(9/l) + (-1 - 0) composite?
True
Suppose -9 = 3*a, 2*w + a - 27 = -0*a. Let s = 16 - w. Is (-36954)/(-63) + s + 8/(-14) composite?
False
Let i = -8 + 11. Suppose -128 = v - 5*r, -i*v = 2*v + 4*r + 553. Let p = v - -222. Is p a composite number?
False
Let u = 701 - -77. Let c = 1457 - u. Suppose -10*k + 11*k = c. Is k composite?
True
Suppose 0 = d + w - 27 + 28, 3 = 3*d + w. Suppose -t + d*t + 5*a - 3142 = 0, 2*t - 6299 = 5*a. Is t a composite number?
True
Suppose 6*z - 42*z = -108. Suppose -4*p - 1422 = -3*l - 2*p, -3*l + 1422 = -5*p. Suppose m - z*m + 2*x = -l, 2*m + 4*x - 474 = 0. Is m composite?
True
Let g(r) = r**2 - 21*r + 26. Let a be g(20). Is 1/a*3*3506 a prime number?
True
Let f = 149 + -154. Is (-139450)/(-125) - (-3)/f a prime number?
False
Suppose j - 5 = 17. Suppose -v - 4*i + 18 = 0, -2*i = 3*v + 2*i - j. Suppose 2*g = -v*h + 698 - 22, -2*g = h - 339. Is h prime?
True
Suppose v - 14330 = 75. Suppose 1862 - v = -3*l. Suppose 4*y - 1335 = l. Is y prime?
False
Suppose -5*p = -20, p = 5*h - 2*h - 341. Let k = -48 + h. Is k a composite number?
False
Let k be (-2)/(-3)*(6 + 15). Let t(f) = -f**3 + 22*f**2 - 16*f + 2. Let d be t(k). Suppose -x + 5*m + d = 0, 4*x - 2728 = 2*x - 2*m. Is x prime?
True
Let x(b) = -b**3 + 2*b**2 + 10*b - 3. Let r be x(4). Suppose -5*w = -r*y - 685, -2*y + 14 = 6. Suppose -t + 670 - w = 0. Is t prime?
False
Let g be (-1*1)/((-32)/288). Suppose 2*c = g - 13. Is (-1551 + c)*(-40)/8 a prime number?
False
Let k = 349 - 333. Suppose -k*a = -7*a - 232731. Is a a prime number?
False
Suppose 18*u = -10*u + 362874 + 106714. Is u prime?
False
Let u(k) be the first derivative of 637*k**3/3 + k**2/2 - 3*k - 18. Is u(-2) a composite number?
False
Let s be 2/3*(2 - (-85550)/20). Let p = s - -7462. Is p a composite number?
True
Suppose 5*z - 2174616 = -3*u, 346418 = u - 5*z - 378454. Suppose -43*x = -67*x + u. Is x composite?
False
Let k(i) = -51*i - 15 - 149*i - 10*i - 8. Let v be k(-4). Suppose -2*p = 3*f - v, -5*p - 3 + 13 = 0. Is f a prime number?
True
Is ((-418)/(-121))/19 - (-1456101)/11 prime?
False
Let z(p) = p**3 -