 15 = -2*k. Suppose 2*q - n - 716 = k, 3*n + 11 = -1. Let h = -61 + q. Is h composite?
True
Let a(w) = 667*w - 25. Is a(12) composite?
True
Is 2/(-4) - (-135582)/4 a prime number?
False
Let r = 129441 + -70208. Is r a composite number?
False
Suppose 0 = -4*n - l + 2*l - 3, 5*l - 15 = -2*n. Suppose h = 2*y + 109, n = -6*h + h + 5*y + 570. Is h a prime number?
False
Is (-1)/10*65*-331*2 a composite number?
True
Let c be (1 + -35)*(-65)/13. Suppose -5*p + c + 2535 = 0. Is p prime?
True
Let q(m) = 2*m - 4. Let r be q(-10). Let j = -35 - r. Let u = 20 - j. Is u a prime number?
True
Suppose -406*y + 409*y - 21849 = 0. Is y a composite number?
False
Suppose 0 = -2*q + 2*p + 12, 2*q + q + 5*p + 14 = 0. Suppose r + 2*f = 15, 3*r - 30 = -q*r - f. Let x(k) = 19*k - 4. Is x(r) a composite number?
True
Let a be (-3)/2 + (-13)/2. Let l = a + 10. Suppose -4*b + 2*b = -l*k - 464, -230 = -b + 3*k. Is b composite?
False
Let n(k) = 115*k + 1. Is n(3) prime?
False
Let u(z) = 25*z - 2. Let x = 12 - 11. Let k(s) = s - 1. Let p(q) = x*u(q) + 2*k(q). Is p(11) composite?
False
Suppose 10*t - 5*t = -n + 10412, 0 = 2*n + 5*t - 20829. Is n a prime number?
False
Let m(i) = -i**2 + 7*i + 1. Let o be m(5). Let u = 13 - o. Suppose 3*t = u*n + 7*t - 42, -4*n + t = -75. Is n prime?
True
Let c = 9009 + 9260. Is c prime?
True
Suppose r + 3*i = 3598 + 1030, -5*r + 23179 = 2*i. Is r a composite number?
False
Let f be (-4)/1 + (-3 - -4). Let a(v) = -2*v + 15 - 29 + 18 + v**2. Is a(f) a composite number?
False
Suppose -311 = -4*b - k, -b + 2*k + 80 = -0*k. Suppose 2*n - 4*c = b, 0*c + 98 = 2*n + c. Is n composite?
False
Let q(h) = 108*h**2 - 2*h + 3. Let s be q(1). Let k = s + 126. Is k a prime number?
False
Let v(m) = -m**3 - 10*m**2 - 9*m - 1. Let y be v(-9). Let u be 657/((-21)/18 - y). Is u/(-15) - (-1)/5 composite?
False
Let u = 2200 - -157. Is u a prime number?
True
Let t be (0 + 3 - 4) + -2. Let a be 2/t - (-4674)/18. Suppose c - a = -p + 5*c, 994 = 4*p + 5*c. Is p a composite number?
False
Let i(v) = v**3 + 19*v**2 + 25*v + 48. Let o be i(-20). Let p = 4787 + o. Is p prime?
False
Let f(s) be the second derivative of -733*s**3/6 + 3*s**2/2 - 5*s. Suppose -4*c + 1 - 9 = q, 3*c + 6 = -4*q. Is f(c) prime?
False
Let w be (-1 + 0/(-4))/1. Let y(c) = -5*c + 2. Let i be y(w). Suppose -i*g + 8*g - 347 = 0. Is g a composite number?
False
Suppose 44 = 3*w + w. Let v(x) be the second derivative of 16*x**3/3 - 11*x**2/2 - 25*x. Is v(w) prime?
False
Is 98/(-441) - (-160049)/9 composite?
False
Suppose -5*s = -3*k - 25984, 5*s + 3*k = 8*s - 15594. Is s composite?
True
Suppose -4*i + a = 5*a - 231892, 2*a + 173919 = 3*i. Is i composite?
False
Let p(h) = 6*h**2 + 0*h**2 + 1117 - 4*h**2 - 4*h**2. Is p(0) a composite number?
False
Let m = 115 - 195. Let s = m - -387. Is s a prime number?
True
Let d(b) = 2693*b**3 + b**2 + 2*b - 1. Let v be d(1). Let f = -1080 + v. Suppose -4*p = p - f. Is p a composite number?
True
Suppose w = 1 + 2. Suppose 3*z = -n + 3, -2*n - z - 3 = -w*n. Is 2 + (3 - n - -143) a composite number?
True
Suppose -2*c = -4*n - 6, 4*c - 7 = 5*n + 5. Suppose -z = 4*u - 944 + 85, -c*z + 1065 = 5*u. Suppose 4*y - u - 132 = 0. Is y prime?
False
Let a(b) = 2*b**2 + 3*b - 3. Let k be a(2). Let w(l) = -4*l**3 - 38 + 37 + 3*l**3 + l + k*l**2. Is w(6) composite?
True
Suppose 2*y + 2*y - 4 = 0, 0 = 3*x - 3*y - 33. Let n = x + 281. Is n prime?
True
Suppose 5*g + 0*g - 10 = 0. Is ((-6)/g)/((-21)/679) a composite number?
False
Let k(b) = 29*b**2 + 4*b - 20. Let h be k(10). Suppose -13*u + 5*u = -h. Is u prime?
False
Let k(x) = x**3 - 2*x**2 + 2*x + 4. Let d be k(2). Let n(w) = 2*w**3 - 3*w**2 - 12*w + 1. Is n(d) a composite number?
True
Let v(c) = 8729*c**2 + 57*c - 231. Is v(4) prime?
True
Suppose -2*j + 4354 = 2*d, -5*j - 3574 = 4*d - 12280. Is d prime?
True
Let g be (-5)/(-15)*(0 + 9). Suppose -3*h + 73 = g*l - 2*l, -2*h = -5*l + 399. Is l a prime number?
True
Let b(j) = -j**3 - 4*j**2 - 3*j - 6. Let q be b(-4). Let x(u) = -22*u. Let t(n) = -21*n - 1. Let m(y) = q*t(y) - 5*x(y). Is m(-7) a prime number?
False
Let d(l) = -410*l. Let w be d(-4). Suppose -805 = -2*v - o + 9, -4*v + o + w = 0. Is v a composite number?
False
Suppose -37*z = -23089 + 6846. Is z composite?
False
Let b = -10 + 25. Suppose -b*y = -11*y - 3148. Is y a composite number?
False
Let o = 566 + -259. Suppose 1298 = 4*z + m, 20 = z - m - o. Suppose 5*c - 5*y = z, 9*y - 20 = 4*y. Is c a composite number?
True
Let u be 4 - (-3 - -10) - -6. Let w be (u/(-3))/((-4)/(-2060)). Let x = w - -814. Is x prime?
False
Suppose -3*c = 2*u - 2333, 0*u - 775 = -c + 2*u. Let b be -6*(-2)/4 + 2. Suppose b*g - c = 28. Is g a prime number?
False
Suppose -7*s + 18548 = -31922. Suppose 0*a - 3592 = -2*a - 5*p, s = 4*a - 3*p. Is a prime?
True
Let o = -30 + 62. Suppose 10 = 5*j, j - o = -3*i - 0*j. Is (i/(-5))/(6/(-435)) prime?
False
Let t be (-1)/(25/(-15))*10. Suppose v - 8 = 3*w, 5*v + 0*v - t = -2*w. Is 0 + (1 - -877)/v composite?
False
Suppose q = -1 + 3. Suppose q*r + 0*r = 2. Is -1 - (66/(-2) + r) composite?
False
Let d = -14 - -26. Suppose -4*f = d + 4. Is f/1 - 0 - -131 a composite number?
False
Suppose 2*b = 6*b - 22788. Suppose -6*r - b = -15*r. Is r prime?
False
Let d be 22/6*(3 - -3). Suppose 95 = 4*a - 117. Let b = a - d. Is b prime?
True
Let o(b) = -b + 12. Let f be o(6). Let k = 0 + f. Let u(n) = 24*n**2 + 3*n + 7. Is u(k) a prime number?
False
Let j(d) = d**3 - 18*d**2 - 46*d - 64. Is j(21) a prime number?
True
Let v(j) = 3*j**3 + 18*j**2 - 71*j + 13. Is v(10) a composite number?
True
Let w(j) = 1088*j - 291. Is w(10) a prime number?
True
Let t be (0 - (1 - 1))/(6 - 7). Is t + 8 + 83 + 0/1 a prime number?
False
Let s(a) = -5*a - 170. Let g(k) = -2*k - 85. Let c(m) = -7*g(m) + 3*s(m). Let t be 6/4 - (-3 - 36/(-8)). Is c(t) composite?
True
Suppose -t - 5*k = -4*t + 33500, -t = -2*k - 11166. Suppose 14*n - 4*n = t. Is n a composite number?
False
Let r(q) = 2*q**2 - 5*q + 4. Let k(j) be the first derivative of j**2/2 - 16*j + 2. Let g be k(11). Is r(g) a composite number?
False
Let y = -4359 - -9932. Let z = y - 1152. Is z composite?
False
Suppose -5*b = -2*p + 1314, 0 = 4*p + 3*b - 6*b - 2600. Is p a prime number?
True
Let r be 5 + -2 + -2 + 3. Let j be -3*r/(-18)*3. Suppose 2332 = 4*t + 2*w, 2*t - w = j*w + 1150. Is t prime?
False
Is (-135)/180 + (-52094)/(-8) prime?
False
Let p = 79333 - 39264. Is p composite?
True
Let u(n) = 22*n**3 - 67*n**2 + 11*n + 13. Is u(12) prime?
True
Suppose d + 0*d = 0. Let u(k) = 16*k + 105. Let z be u(-6). Suppose -b + 49 + z = d. Is b composite?
True
Suppose -9*i + 4*i + 192 = 3*r, 0 = 5*i - 5*r - 160. Let y = 84 - i. Suppose y - 143 = -5*l. Is l a composite number?
False
Suppose 16163 = 16*b - 9*b. Is b a composite number?
False
Suppose 4*f + 2*i + 23 - 265 = 0, -4*i = 4*f - 252. Is f composite?
True
Let b(v) = -55 - 1595*v + 38 + 267*v. Is b(-3) composite?
False
Let f = 16 - 10. Let a(c) = -c**2 + c. Let m(l) = l**3 + 3*l**2 - 7*l + 1. Let s(r) = 2*a(r) + m(r). Is s(f) a prime number?
True
Suppose 0 = -4*m + 138 + 82. Let u = 3 - m. Let h = u + 123. Is h prime?
True
Let n = -12 - -14. Suppose 0 = -n*v - 2*v - 472. Is ((-3)/(-2))/((-1)/v) a composite number?
True
Suppose 7*x + 4*w - 3260 = 2*x, 2*x - 5*w - 1304 = 0. Suppose -b + x = -225. Is b a prime number?
True
Let j(t) = 6*t**2 - 9*t + 14. Suppose 0 = -3*c + 2*x + 15, -2*c - 2*x + 26 = 2*x. Let z be j(c). Let b = 438 + z. Is b prime?
True
Let w be (-22)/3 + (-1 - 4/(-3)). Is 2269/(-2)*(w + 0 - -5) a composite number?
False
Let r(h) = 22*h**2 + 3*h - 2. Let o be r(-4). Let s = o + -236. Let k = -71 + s. Is k a composite number?
False
Suppose 0 = 3*g - 2*g, 4*o + 5*g - 32324 = 0. Is o prime?
True
Let s(d) = d**2 + 8*d - 4. Let y be s(-9). Suppose 0 = l - 4*w - 442, -y*l + 2333 - 213 = -2*w. Is l composite?
True
Let l = -6 + 3. Let a(h) = -112*h - 7. Let g(t) = -111*t - 7. Let n(m) = l*a(m) + 2*g(m). Is n(6) prime?
True
Suppose -5*j - 5*w = 35, 5*w - 13 = -j - 4. Let m = 66 - j. Is m composite?
True
Let k be 2945/25 + (-4)/5. Let o = -81 + k. Suppose 4*z - 1952 = -o. Is z composite?
False
Suppose -3*k = 4*l - 24113, -5*k + 5*l - 6105 + 46305 = 0. Is k a composite number?
False
Suppose 3*f = 4*k - 14746, f - 6*k + k = -4919. Let d be (f/72)/(6