= 316 + p. Is l a composite number?
True
Suppose -8817 = 16*t - 19*t. Is t a prime number?
True
Let q = 21 - 18. Suppose 3*o - q*n + 9 = 0, -5*o + 25 = 4*n - n. Suppose -5*v + o*g + 1035 = 7*g, v + 5*g - 191 = 0. Is v composite?
False
Let d be ((-2)/(-4) - 1)*794. Let c(f) = -925*f + 24. Let z be c(-2). Let u = d + z. Is u composite?
True
Suppose -4*r + 840 = x, 1043 = 5*r - x + 4*x. Is r composite?
False
Let l be ((-26)/(-6) + 5)*57/2. Let g = l + 4119. Is g composite?
True
Suppose 2*k = -5*u + u + 12, 5*k + 14 = u. Let x(v) = -110*v**3 - 2*v - 2. Let w be x(k). Suppose i + 2 = 5, 5*d = i + w. Is d prime?
False
Suppose -37*o + 152811 = -28*o. Is o prime?
True
Suppose 6 = 3*x, 0 = 3*u + 3*x - 2679 - 2190. Is u a prime number?
True
Let k(s) = -3*s**3 + 9*s**2 - s - 13. Let r(q) = -9*q**3 + 27*q**2 - 4*q - 38. Let o(z) = 17*k(z) - 6*r(z). Is o(6) a composite number?
False
Let z(p) = -p - 1 + 3*p - 2 - p. Let t be z(3). Suppose 0 = 2*i - v - 150, t*i + 154 = 2*i - 3*v. Is i prime?
False
Suppose 2*j - 6 = 2*w, 4*j - 1 = 5*w + 11. Suppose -r = -5, -j*d + 2*r = -r + 3. Suppose 0 = -d*s + 1212 + 416. Is s a composite number?
True
Let c be (-32)/10 + 24/(-30). Is 1/(-4) - 869/c a composite number?
True
Suppose -t = -0*t - 218. Suppose 0*l + t = 2*l. Is l composite?
False
Let u = -1581 + 2696. Suppose -5*q + 3695 = -u. Is (-5)/(40/q)*-4 prime?
False
Let a(r) = 903*r**2 + 2*r - 1. Suppose -15*i + 14*i = -1. Let u be a(i). Is u/24 - 8/(-6) a composite number?
True
Is (4570/(-6) + -8)/((-2)/6) a composite number?
False
Let v be (-2*18)/((-9)/6). Let n be v/(-16) + 2/4. Is (-5 + 0)/(n/47) a prime number?
False
Let m(f) = -242 - 2*f + 1013 + 4*f**2 - 3*f**2. Let h be m(0). Suppose -6*c = -9*c + h. Is c a prime number?
True
Suppose 0 = 25*f - 19*f - 8226. Is f a prime number?
False
Let h = 16186 + -3747. Is h a prime number?
False
Let v(x) be the first derivative of x**3/3 - 5*x**2/2 + 1. Let y be v(5). Suppose -5*i + 5*t + 440 = y, -2*t - 2*t + 20 = 0. Is i a prime number?
False
Let t be 22/(-55) + 52/5. Suppose -5*b + t*b - 5755 = 0. Is b a prime number?
True
Let l be 475/4 - (-3)/12. Let r = 183 - l. Suppose v - 187 = -r. Is v a prime number?
False
Suppose 8 + 16 = 8*f. Suppose -10*g + 1043 = -f*g. Is g a prime number?
True
Let s = -97 - -67. Is (2598/s - -4)/((-1)/5) composite?
True
Is -3*(-1)/(-9)*-921 composite?
False
Suppose 3*g = -4*b - 1, 3*b - 6 = -2*g - b. Let s(h) = -194*h - 6. Let o(u) = 1. Let a(w) = 3*o(w) + s(w). Is a(g) prime?
False
Let p = -428 + 640. Let x = p + -145. Is x a composite number?
False
Let k be ((-4)/2)/(13/((-66638)/4)). Let y = 6774 - k. Is y prime?
True
Suppose 32*a = 27*a + 6945. Suppose 4*r + a = y, -1500 = 5*y - 2*r - 8481. Is y a prime number?
False
Suppose -3*f + 1854 = 5*l, 2*l = -3*f + 5*f - 1252. Is f composite?
True
Let m(k) = -2*k**2 + 19531. Is m(0) a composite number?
False
Let t(r) = r**3 + r**2 + 235. Let y be t(0). Let i = 42 + -83. Let d = y + i. Is d composite?
True
Suppose 3*k + 1499 = -400. Let f = 1220 + k. Is f composite?
False
Suppose -10*d + 14688 = -7*d. Let f = -2629 + d. Is f a composite number?
False
Let n(h) = 21*h**2 - 21*h + 10. Let v = 58 - 50. Is n(v) a composite number?
True
Let u(a) = a - 12. Let s be u(6). Is (-2 - (-1 + s))/(2/362) composite?
True
Let u be 8/(-3) - -2 - 15369/(-9). Suppose -4*h + u = -2*o + 685, -o - 5 = 0. Is h composite?
True
Suppose 22*p = 25*p + 2*r - 21315, -r - 7100 = -p. Is p a prime number?
True
Let y(u) = -12*u + 3. Let h be y(1). Let n(v) = 5*v**2 + 2*v - 14. Is n(h) composite?
False
Let n = -17 + 14. Let s be 3 + (-2 - n)*-1. Suppose -u + 177 = -4*x, -4*u = -x - s*x - 734. Is u a prime number?
False
Let z = -405 - -200. Let r = z + 354. Is r composite?
False
Let v(q) = -q**3 + q**2 - q - 2. Let u be v(0). Let k(i) = -144*i - 1. Let d be k(u). Suppose l + 0*l - d = 0. Is l a prime number?
False
Suppose 0 = -5*g - 2970 - 75. Let c = g + 1648. Is c a composite number?
False
Let p(o) = 3128*o - 23. Is p(2) composite?
True
Let k = 166991 - 99148. Is k a composite number?
False
Is 13910/195*(-381)/(-2) a composite number?
True
Let r = -75 - -262. Suppose b - 510 = r. Is b composite?
True
Suppose 9*f - 8 = 10. Suppose -z - 145 = -f*z. Is z composite?
True
Suppose 0*h + 3 = -3*h. Let z(b) = -25*b**3 + 1 - 129*b**3 + 26*b**3 - 2*b**2. Is z(h) a prime number?
True
Suppose -13*s + 17*s = -y + 242871, 5*y = -2*s + 121413. Is s composite?
False
Let y(c) = 157*c**2 - 3*c + 1. Let j(u) = -472*u**2 + 8*u - 2. Let n(v) = -6*j(v) - 17*y(v). Is n(1) a prime number?
False
Let m(t) = -816*t + 2. Let g be m(-3). Suppose 4*n + 590 = 3*w - 2*w, 4*w - g = -2*n. Suppose 0 = -0*v - 2*v + w. Is v a composite number?
True
Is (-16)/32 + (-1035)/(-2) composite?
True
Let p be -1*4 + (-371)/(-7). Let u = 21 - 48. Let v = u + p. Is v prime?
False
Suppose 50882 + 83313 = 5*t. Is t a prime number?
True
Suppose 0 = z + 4*h - 2929, -2*z - 4*h - 2248 = -8098. Is z prime?
False
Is (81/135)/((-6)/(-35270)) a prime number?
True
Let u(f) = 4*f**2 - 13*f + 4. Let g(l) be the second derivative of -l**4/12 - 7*l**3/6 + 3*l**2/2 - 2*l. Let s be g(-6). Is u(s) composite?
False
Let m(p) = -3*p**3 - 9*p**2 - 8*p + 5. Let r = -13 - 52. Let l be (-4)/(-8) + r/10. Is m(l) a composite number?
True
Let d = 7 - 2. Suppose -d*j + 10*j = 615. Suppose -4*x = -1 - j. Is x composite?
False
Let d(v) = -525*v - 1. Let c be d(-1). Suppose 4*u + 144 = c. Is u a composite number?
True
Suppose 0*s = s - 19741. Let o = -13104 + s. Is o a composite number?
False
Let r = 6 + -4. Let i be (389/(-4))/(r/(-8)). Let b = -198 + i. Is b prime?
True
Let d(w) = -1135*w. Let a be d(1). Is (14/7 - a)*10/6 a prime number?
False
Suppose -9*n + 14216 = 2777. Is n a prime number?
False
Suppose 0 = -214*h + 211*h + 64455. Is h prime?
False
Suppose -i - 4*i + 5 = 0. Suppose -1364 = 10*z - 1384. Suppose -383 + i = -z*d. Is d composite?
False
Suppose -5*f - 2*t + 28037 = -6656, -6917 = -f + 5*t. Is f composite?
True
Suppose -20*n - 350 = -2*x - 18*n, 0 = 3*x + n - 509. Let q be 5080/18 - 4/18. Let r = q - x. Is r a prime number?
False
Let q(a) = -a**2 - 3*a - 1. Let t be q(-1). Is t - 3 - (8 - 327) composite?
False
Let h = -13414 - -30625. Is h a composite number?
True
Suppose -24 = 2*d - 4*d + 4*x, 2*x = 3*d - 20. Suppose -m + 12 = -4*l - 90, 0 = 4*m - d*l - 348. Is m prime?
False
Let s(l) = 3149*l + 2. Is s(1) a prime number?
False
Let i = -32 + 38. Suppose -i*d + 99 = -3*d. Is d composite?
True
Let z = 29 - 42. Let m = z - -7. Is (-472)/m + 14/42 composite?
False
Suppose 2*s = -4*t + 3154, 12*t = -2*s + 7*t + 3159. Is s a prime number?
True
Let m = 21548 + 26623. Is m a prime number?
False
Suppose 0 = -4*m + 3*q + 15, -m - 3*q = -2*q + 5. Suppose m = -2*p + 5 - 1. Suppose -p*x = -3*r + 572 + 787, -3*r - 2*x + 1347 = 0. Is r composite?
True
Suppose -4*b + 3126 = 2*a, -3*b + 4778 = 3*a + 86. Is a a prime number?
False
Suppose -215 - 1 = -6*s. Let g be 1431/s - (-1)/4. Suppose -2*j + g - 119 = -3*u, 0 = 5*u + j - 123. Is u a composite number?
True
Is 35370/1 + (4 + 8 - 5) prime?
False
Let t(w) be the first derivative of -363/2*w**2 + 2 - 5*w. Is t(-2) prime?
False
Is 4/(-32) + 521325/40 + 0 composite?
False
Suppose 6*n + 83919 = 17*n. Is n a composite number?
True
Is ((-26)/10)/((-71)/45085) prime?
False
Let n be (3 - 5) + 2*5. Suppose n*b - 5*b = 165. Is b*(2 + -1) + 4 a prime number?
True
Let b(k) = -29*k - 8. Let n(q) = 88*q + 23. Let t(j) = -7*b(j) - 2*n(j). Is t(7) composite?
False
Let m(n) = 23*n**3 + n**2 - 5*n - 3. Let r be m(4). Let h = r + -451. Let u = -603 + h. Is u prime?
False
Suppose -17 = -5*a - 7. Suppose b - a*b = 2*m - 133, -337 = -5*m - b. Suppose -2*d + w + 159 = 0, -d + 5*w = -m - 34. Is d a composite number?
True
Let d = -7921 - -30534. Is d composite?
False
Let u(n) = -3*n + 9. Let f be u(3). Suppose c - 10932 = -3*x + 4*c, f = x - 5*c - 3656. Is x prime?
False
Let w(l) = l**2 + 8*l - 7. Let q be w(-9). Suppose -p + 15 = n + q*n, p + 9 = 3*n. Suppose -3*g + n*m = -493, 2*g + m - 268 = 57. Is g a composite number?
False
Let c = -9 + 9. Suppose 6*v - 7*v + 295 = c. Is v composite?
True
Let a(m) = 44*m + 16 - 42*m + 13. Is a(12) composite?
False
Let i = -36 + 195. Suppose -b + 4*o - 16 = -o, 4*b - o + 159 = 0. Let y = i +