= i + 2*k, -2*i + 3542 = -2*k - 0*k. Is i a composite number?
True
Suppose 5*l - 16793 = d, 5*d - 16799 = -5*l + 3*d. Is l prime?
True
Let h(p) = -3*p + 11. Let z(w) = -w - 4. Let n be z(4). Is h(n) a composite number?
True
Suppose -3*x + 0*x = -2355. Is x a prime number?
False
Suppose 4*q - g = -539, -362 = 3*q - 2*g + 46. Let w = 21 - q. Is w a composite number?
True
Suppose 0*k = -3*k + 861. Suppose -k + 99 = -4*a. Is a a prime number?
True
Let o(a) = -15*a - 3. Let t(f) = -f - 1. Let d(p) = o(p) - 2*t(p). Suppose -2*g = -5*r - 11, 2*g - 2 + 6 = 0. Is d(r) a composite number?
True
Let f = -113 + 58. Let m = 102 + f. Is m a prime number?
True
Let r(x) be the first derivative of x**4/4 + x**3/3 - 5*x**2/2 - 5*x + 4. Is r(6) a composite number?
True
Is (-1)/5 + 2238/15 prime?
True
Let s(y) = 1 + y**2 + 0*y - 2 + 2*y. Is s(-5) a composite number?
True
Is 4/18 - 248710/(-306) a prime number?
False
Let m(z) = -3*z**3 - 2*z**2 + 1. Let f be m(-1). Is (1/f)/(4/368) composite?
True
Let t(n) = -n**3 + 2*n**2 + 5*n - 2. Let k be t(3). Is (2 - -46)/k + -2 a prime number?
False
Suppose -3*h = -4*h + 4. Suppose -h*r + 96 = -28. Is r prime?
True
Suppose 3*j - 5*j = r - 63, 0 = -2*j + 4. Is r composite?
False
Let m = 10 - 6. Is m/10 - 1686/(-10) a prime number?
False
Let o = -172 - -260. Let p be ((-1)/(-3) - 1)*-3. Suppose 4*t - 5*c = 221, 4*t = p*t - 2*c + o. Is t prime?
False
Let x be (-258)/18 - (-4)/(-6). Is 6/15 - 144/x prime?
False
Let u(i) = i**2 - 19*i + 4. Let c be u(16). Is (-47)/(((-8)/(-2))/c) composite?
True
Let m(q) = -2 - q - 3 + 3. Let p be m(-4). Suppose -p*s + 91 = -27. Is s prime?
True
Is ((-815)/(-4))/((-7)/(-28)) prime?
False
Let n = 16 - 7. Let a = -2 + n. Is a composite?
False
Suppose 1037 = 5*r - 928. Is r a composite number?
True
Let z(u) = -2*u - 1. Let s be (2/3)/(3/(-27)). Let t = s - 1. Is z(t) a composite number?
False
Let q(f) = 107*f**2 + 5*f. Let v be q(4). Suppose 5*i + 617 - v = 0. Is i a prime number?
True
Let s(i) = 8*i**2 + 2*i - 3. Suppose -3*o + 25 = 2*o. Suppose 4*u = 3*u - o. Is s(u) a prime number?
False
Let o be (6/5)/(6/15). Suppose 0 + 15 = o*f. Suppose -f*p + 237 = -2*p. Is p a prime number?
True
Suppose 5*r - 369 = c + 352, 4*c = r - 129. Is r a prime number?
False
Is (-94895)/(-30) + 33/18 + -2 a composite number?
False
Suppose 3*x - 2*t + 460 = -t, 3*t = 5*x + 760. Is (-8)/(-10)*x/(-2) a composite number?
True
Let i(w) = w**3 - 10*w**2 + w + 1. Let u be i(10). Suppose -u - 944 = -5*a. Is a a composite number?
False
Let i be 10/35 - (-4)/(-14). Is (i + 0)/(-1) + 79 composite?
False
Let r be 4 + 0/(2*-1). Suppose -2*m + 0 - r = 0. Is m + 0/1 - -48 prime?
False
Let f = 7 - 3. Let a be 2*(255/3 + 2). Suppose -184 = -f*o + 4*b, -a + 34 = -3*o + b. Is o a composite number?
False
Let y = 105 - -93. Is y/8 - (-5)/20 prime?
False
Let u be 0 + -2*(1 + 0). Let r be 1/((-5)/(-2) + u). Let j(l) = 27*l**3 + 3*l**2 - 2*l - 1. Is j(r) prime?
True
Suppose 5*a = 4*n - 301, -9 = 2*n + 3*a - 176. Let l = 312 - n. Is l a composite number?
False
Suppose o = -0*n + 4*n + 21, 37 = -3*n + 5*o. Let z(p) = -7*p - 1 + 1 - 3 - 7*p. Is z(n) composite?
False
Suppose 3817 = 12*q - 3275. Is q a prime number?
False
Let m = -167 - -852. Is m a composite number?
True
Suppose -3*n + 8 = 38. Let u = 170 - 249. Let p = n - u. Is p a composite number?
True
Is (-16)/(-80) - (-5448)/10 prime?
False
Suppose 4*r + 77 = 33. Let q = 17 + r. Suppose -b + q = -3. Is b prime?
False
Suppose 149*y - 145*y = 4164. Is y a prime number?
False
Let s(p) = -589*p - 4. Is s(-2) composite?
True
Suppose 0 = 3*z - u - 1262, -5*z + 4*u - 2*u = -2105. Is z composite?
False
Suppose -t = 3*t - 216. Suppose 0 = -4*v + 130 + t. Is v a prime number?
False
Suppose -10*f = -4*k - 12*f + 1920, -f = -4*k + 1926. Is k a prime number?
False
Suppose 0 = -3*t - 2*t - 50. Let n be -1 - t - -1 - 2. Is n/(-28) + (-1082)/(-14) a prime number?
False
Let b(s) = -s**2 - 13*s - 4. Let m be b(-13). Is (1467/36)/((-1)/m) a composite number?
False
Is (-1)/(-1) - 134*-2 prime?
True
Let b(a) = a**3 + 6*a**2 + 4*a - 3. Let r be b(-5). Is -314*((-3)/r - 1) composite?
True
Suppose 3*v - 19 = -q - q, 0 = -3*v + q + 4. Suppose 0 = -v*o + 2*o - 273. Is (1 + 1)/((-6)/o) a composite number?
True
Let i = -6 - -9. Suppose -2*g = -10, -g = i*z - 5*g + 14. Is z a composite number?
False
Suppose 292 = l + 5*d, -5*l + 4*d = -l - 1240. Is l a composite number?
False
Let k be 7/(-4) - (-2)/(-8). Let i = k + -1. Is (i + 0)/((-1)/5) composite?
True
Suppose 5*x + 1142 = -0*x + 4*g, -461 = 2*x - 3*g. Let t be -3 + (-1)/(2/x). Suppose k - 3*k = -t. Is k composite?
True
Is (-6 + 3)*179/(-3) composite?
False
Let r = 478 - 333. Is r a composite number?
True
Let i = 528 - 317. Is i prime?
True
Is -4 + 2*102*(-15)/(-12) a prime number?
True
Let p(s) = -8*s - 6. Let g be p(-5). Suppose 0 = -3*d + 3*h + 63, 2*d - g = -3*h + h. Is d composite?
False
Let h be (0 - 30)*(-22)/33. Suppose t - h = 2. Is t a prime number?
False
Suppose -6751 - 541 = -4*d. Is d composite?
False
Let z = 2037 + -1118. Is z composite?
False
Let c = -449 + 660. Is c prime?
True
Let b(c) = -7*c**3 + 5*c + 1. Let k be b(-2). Is k/(3*1/6) a composite number?
True
Let h = 379 - 86. Is h prime?
True
Suppose -a - 2*x - 16309 = -4*a, -4*a = 4*x - 21732. Is a composite?
True
Suppose -4*m = -2*r + 3106, 1003 - 7200 = -4*r + 5*m. Is r a prime number?
True
Let y be ((4 - 2)*-5)/(-2). Suppose -y*f + 350 = 5*n, 4*f - 2*n - 184 = 72. Suppose -321 = -5*p - t, 2*p - f - 68 = t. Is p a composite number?
True
Let c be (15/(-2))/(-3)*-2. Let g(h) be the first derivative of -h**4/4 - h**3 - 2*h**2 + 7*h + 5. Is g(c) a composite number?
True
Let i = -22 - -22. Suppose i*v + 725 = 5*v. Is v composite?
True
Let r = -2 + -4. Let z = r - -15. Is ((-6)/z)/((-2)/111) composite?
False
Is 811 - ((-2 - -5) + -1) composite?
False
Let n = 12 - 16. Is (-2)/((-32)/(-628))*n a prime number?
True
Let x(k) = k**3 + k**2 + 171. Suppose 4*z + 23 = -4*j + 7, -z = 4. Let u be x(j). Suppose -b = 2*n - u - 151, 5*n = -2*b + 807. Is n composite?
False
Let s(r) = -15*r + 2. Let v = -5 + 8. Let d(k) = 15*k - 3. Let l(j) = v*s(j) + 2*d(j). Is l(-1) a composite number?
True
Let k be -1 - -6*(-4)/(-6). Let h(v) = 3*v**3 - 3*v**2 - 2*v - 1. Let g be h(k). Suppose -b + 2*f = -24, f = -5*b + 18 + g. Is b prime?
False
Let t(x) = 5*x**2 - x - 37. Is t(-13) a composite number?
False
Is 2250/27 - (-2)/(-6) composite?
False
Let m = 722 + -511. Suppose -3*k = -4*k + m. Is k composite?
False
Suppose 4*k - 447 = -s, 0 = -2*k - 0 + 8. Is s a composite number?
False
Let m(q) be the third derivative of -q**4/2 - q**3/2 + 2*q**2. Suppose 3*w + 2 + 7 = 0. Is m(w) a prime number?
False
Let b(v) = -3*v**2 + v + 6. Let a(w) = -w**2 + w + 3. Let r(u) = 7*a(u) - 4*b(u). Suppose 2*y + 3*y = 15. Is r(y) a composite number?
True
Let f = 8 - 6. Suppose -t + f*t - s - 113 = 0, 0 = -t + 3*s + 109. Is t prime?
False
Let h(t) = -t**2 - 4*t + 2. Let z be h(-3). Suppose w + 3*f = 4*w, -z*f = 3*w - 40. Suppose 2*g + 69 = w*g. Is g a composite number?
False
Is (156 - 2) + (-2 - -5) a prime number?
True
Let k(z) = 1164*z**3 - z**2. Is k(1) a prime number?
True
Suppose 0 = -7*l + 8*l - 1055. Is l composite?
True
Is 1361*(-2 - -5)/3 prime?
True
Let o(v) = v**2 - 5*v + 3. Let p be o(5). Suppose -3*y = -a + 2, 2*y - p = a - 2*y. Let k = a + -10. Is k a prime number?
True
Suppose -3*f - 20 = 5*i - 66, -5*f = -5*i + 30. Let r = i + -2. Suppose -q + r*q - 50 = 0. Is q prime?
False
Let v(h) = -9*h**3 - 4*h**2 + 7*h + 7. Is v(-4) a prime number?
True
Let k = -3 + 13. Suppose 12*f - 10*f = 6. Let p = k + f. Is p composite?
False
Let h(q) = q**3 + 3*q**2 - 1. Let c = -6 + 9. Is h(c) composite?
False
Suppose -5*d + 2*x - 16 = 0, -2*d - x = -4*d - 7. Let m be (74 + -3)*(d + 1). Let y = -50 - m. Is y composite?
True
Let m(z) = -z**2 + 87. Let a be m(0). Suppose 36*c - 29*c = 952. Let h = c - a. Is h a prime number?
False
Let w(d) = d**3 + d + 1. Suppose 7 = -3*n - 2. Let h(y) = 4*y**3 + 6*y**2 - 8*y - 4. Let j(c) = n*w(c) + h(c). Is j(-7) a composite number?
True
Is (-31 - -3)*-41 - (-2 - 1) a composite number?
False
Suppose -m - 4*t = -10, 4*m + 3*t + 4 = -2*t. Suppose 3*i + 2*i = -3*c + 22, -5*i = -3*c + 32. Let o = c + m. Is o a composi