ose -5*x + 29 + d = 0. Is x composite?
True
Let n(d) = d + 1437. Is n(0) a prime number?
False
Suppose 0 = 5*y - 149 - 286. Is y a composite number?
True
Suppose -9558 = -14*q + 7116. Is q a composite number?
True
Let o(k) = k**3 - 6*k**2 + 6*k - 5. Let j be o(5). Is (-211)/(-2)*2 + j prime?
True
Suppose -2*f - 3*f + 255 = -2*o, 3*f = -3*o + 174. Is f composite?
False
Let o = 391 + 190. Is o a prime number?
False
Let b be (-3)/(-1) - (-1 + 1). Suppose b + 28 = o. Suppose o = r - 0*r. Is r composite?
False
Suppose 0 = -z - 7*z + 1168. Is z a composite number?
True
Let p(b) = 14*b**3 + b**2 + 3*b - 3. Let z be p(2). Suppose -z - 72 = -c. Is c prime?
True
Let y = 0 + 0. Let z(c) = -c - 1. Let q(x) = 4*x + 22. Let n(a) = q(a) + 3*z(a). Is n(y) prime?
True
Let q be (-1)/2 - 1/(-2). Let y(t) = t**3 + 293 - 3*t**3 + t**3 + t**2. Is y(q) a composite number?
False
Let r = 62 - 89. Is 4/18 - 2451/r a prime number?
False
Let s(p) = 18*p**2 + 1. Let d be s(3). Let q = d - -84. Is q composite?
True
Let l = 0 + -2. Let n be (40/(-15))/(l/45). Let i = 187 - n. Is i composite?
False
Let t(v) be the third derivative of 7*v**6/120 + v**5/60 - v**4/12 - 7*v**3/6 - 4*v**2. Is t(3) composite?
True
Let m(i) = 3*i**2 - 17*i - 2. Is m(-8) a prime number?
False
Let i = -9 + 12. Let k(u) = -2 + u**2 + u + 0*u - u**3 + 3*u**2. Is k(i) prime?
False
Let u(z) be the first derivative of z**4/4 - 7*z**3/3 - 7*z**2/2 - z - 2. Suppose 0 = -2*d - 11 + 27. Is u(d) prime?
True
Suppose -3*d + 3 = -2*d. Let k(b) = 8*b**2 + b - 1. Let q be k(1). Suppose -d*l - 165 = -q*l. Is l composite?
True
Let u be (-9)/(-18) + 1262/4. Suppose -q = -5*q + u. Is q composite?
False
Is 1/(-1) + 1 + 23 a composite number?
False
Is (-9864)/(-27) - 2/6 a prime number?
False
Suppose 2230 = -20*s + 22*s. Is s a prime number?
False
Let h(r) = -1 + 91*r + 23*r + 32*r - 29*r. Is h(2) a prime number?
True
Let c(k) = -k**2 + 12. Let t(b) = 2*b - 35 + 2*b + 3*b**2 - 3*b. Let r(f) = -7*c(f) - 2*t(f). Is r(13) composite?
True
Is 4332/15 - 3/(-15) a composite number?
True
Let m = 233 - 139. Is -8 + 6 + m + -1 composite?
True
Suppose 18575 - 2921 = 6*p. Is p composite?
False
Suppose -5*g = -4*q + 11, -5*g = -g - 4*q + 12. Suppose -x = 1 + g. Is (-1)/x - 109/(-2) prime?
False
Let m(q) = q**3 - 5*q**2 + 4*q + 3. Let c be m(4). Suppose 48 = 2*t + 5*x - 43, 2*t - 131 = c*x. Is t a prime number?
False
Let y = 773 + -480. Is y prime?
True
Let w be (1/3)/(6/72). Suppose -2*d + w*d = 158. Is d a composite number?
False
Let r = -3 - -6. Suppose -2*q + 4*z = r*q - 40, -5*z = q - 37. Let p = q + -2. Is p prime?
False
Suppose x + 0*x - 6 = 0. Suppose b - 81 = x. Is b composite?
True
Let z be (-3 + 2)*(-10 - -3). Let d(k) = 0 - 2 + z*k - 4 + 2*k**2. Is d(5) composite?
False
Let t = -74 + 405. Is t prime?
True
Let j(d) = -d**3 + 9*d**2 - 9*d + 5. Let w be j(8). Is 19*(-44)/(w - 1) a prime number?
False
Let m = 3 + -7. Let d = m + 7. Is -1 + (75 - d/1) a prime number?
True
Let k = -57 + 90. Suppose -32*d = -k*d + 103. Is d prime?
True
Let x = 8285 - 4644. Is x a prime number?
False
Let y(d) = 2*d - 2. Let q be y(2). Suppose 4*o = -2*n + 1366, q*o = -0*n + 5*n - 3379. Is n prime?
True
Suppose -8*m = -14*m + 474. Is m a prime number?
True
Let c(d) = -3*d**3 - 1. Let z be c(-1). Suppose -7*s = -6*s - 1. Is s*z/((-6)/(-57)) composite?
False
Suppose 0*a = 4*a + 80. Let h = a - 47. Let g = 98 + h. Is g a composite number?
False
Let j(c) = -c**3 - 5*c**2 + 2. Let y be j(-5). Suppose 507 = g - 5*z + 161, -y*z = 6. Is g a composite number?
False
Let v = -1 + 3. Let w = 7 - v. Is (-5)/w*(-9 + -1) composite?
True
Suppose 0 = 2*g + 5*l - l + 4, 0 = 3*g - 4*l - 4. Suppose -2*a + 254 = -g*a. Is a a prime number?
True
Suppose 9*f = 4*f + 10. Suppose -116 = -4*t + f*t. Is t a prime number?
False
Suppose 2*n + 4*t = 348, -5*t + 6 = -2*t. Let x = n - 103. Is x a composite number?
False
Let x(a) = -a**2 - 2*a - 1. Let w be (-4)/(-10) + (-28)/20. Let i be x(w). Suppose -3*r - r + 92 = i. Is r a composite number?
False
Let d be 38/4 - 1/(-2). Suppose -x - 4*x - d = 5*w, -19 = -4*w + 5*x. Suppose -l + 8 = -w. Is l a prime number?
False
Let l(u) = 10*u**2 - 6*u + 1. Let y(v) = 4*v**2 + 2*v - 1. Let b be y(1). Is l(b) a composite number?
True
Let a be (-159)/4*(-8)/3. Is 3/(-9) + a/3 composite?
True
Is (153584/28 - 0) + 1/(-7) composite?
True
Let k(w) = 10*w**2 - 7*w - 15. Is k(-10) a composite number?
True
Let g(r) = r**2 + r. Let f(h) = -h**3 + h**2 + 3*h - 6. Let z(d) = -f(d) - 2*g(d). Let n be z(6). Let p = 193 - n. Is p composite?
False
Is 3 - ((-2010)/(-4))/(15/(-40)) prime?
False
Let h be 7/(-21)*-3*1. Let m be h*-10*2/(-4). Suppose r + 5*d + 340 = 6*r, 3*d + 338 = m*r. Is r a composite number?
False
Let s = -381 - -592. Is s composite?
False
Suppose -5*m - 3*h = -427, 2*m = 3*m - h - 79. Is m prime?
True
Suppose -i = -5*i + 860. Is i composite?
True
Let n be ((-5)/10)/(1/(-8)). Suppose -n*x + 14 = 2. Suppose -x = -4*i + 3*j, -3*i - j + 4*j = 0. Is i prime?
True
Suppose 0 = -2*l - 135 - 353. Let c = -31 - l. Is c a prime number?
False
Let i = -48 + 30. Let a be (2/(-6))/(1/i). Is ((-4)/a)/(8/(-36)) a composite number?
False
Let i = 128 + -277. Is (0 + -2)/(2/i) prime?
True
Let y(r) = r**2 + 8*r - 6. Let f be y(-9). Suppose -4*w - 2 = -f*i - 1, 5*i - 3*w = 9. Is 48 + i + -4 + 2 composite?
True
Let f be 0/6 + (1 - -502). Suppose -5*i + 2*i - 4*h = -f, -5*h + 830 = 5*i. Is i a composite number?
True
Let f be (-1)/(-2) - 4/8. Suppose 20 = -4*w, -3*v + 114 = -f*v + 3*w. Is v a composite number?
False
Let z(r) = 4*r**2 + 3*r**2 + r + 8 - 4*r + 0*r**3 - r**3. Is z(6) prime?
False
Let i = 6 + -9. Let j be (i/(-2))/((-2)/(-12)). Is (-2)/(1/1) + j prime?
True
Let k be (-1 + 3)/2*2. Let p = 5 - k. Suppose -p*z = -0*z - 45. Is z prime?
False
Suppose 0 = -5*c - 5*d - 50, 0*c + 5*d + 36 = -4*c. Is 376/28 - (-6)/c a composite number?
False
Let d = 2 - 1. Is (d - 5)*(-11)/4 a prime number?
True
Let v(k) = 1 - 4 + 11*k + 1. Let q = -2 - -7. Is v(q) a composite number?
False
Let q = -4061 + 7300. Is q prime?
False
Suppose 6 = 5*i - 4. Suppose 0 = 3*g - 2*g - 12. Is (15/6)/(i/g) prime?
False
Suppose 4143 = 48*m - 45*m. Is m composite?
False
Let r(q) = q**3 - 5*q**2 - 2*q - 10. Let p be r(7). Suppose 0 = o + i - p, -2*o = 2*o - 2*i - 326. Is o a composite number?
False
Let w(o) = -595*o**3 + o**2 - o - 1. Let t be w(-1). Let s(v) = 2*v - 5. Let p be s(5). Suppose -4*f - l = -t, 2*f - 2*l = -p*l + 298. Is f prime?
True
Suppose -6979 = -5*w + 4*l, 3*l = -0*w + 3*w - 4185. Is w prime?
True
Suppose -84 = -w + 165. Let k = w + -26. Is k a prime number?
True
Suppose -1069 = -4*r + 3*r. Is r a composite number?
False
Suppose 4*w - 2978 - 1874 = 0. Is w composite?
False
Suppose 0 = 10*t - 1614 - 9536. Is t prime?
False
Let j(m) = 3*m**2 + 2*m + 6. Let h be (-4)/((-2)/1)*1. Let t be (3 - -1*h) + 0. Is j(t) a prime number?
False
Let c = 11937 + -5266. Is c composite?
True
Let a = 77 + 10. Is a a composite number?
True
Let u be 6/(-4) + 491743/(-14). Is (-28)/(-210) + u/(-30) a composite number?
False
Let k be (-423)/3*(-3)/3. Is 3 + 6/(-2) + k a composite number?
True
Let c(k) = -6*k + 1. Suppose -3 = q - 1. Is c(q) composite?
False
Let d(o) = -o**3 + o. Let z be d(-2). Suppose z = i - 20. Let a = 81 - i. Is a composite?
True
Let m(l) = 515*l - 21. Let s be m(11). Is s/12 + 6/9 a prime number?
False
Suppose -4*o - 170 + 750 = 0. Is o prime?
False
Let g = 2089 - 1358. Is g a prime number?
False
Let t = 23 - -276. Is t a composite number?
True
Suppose -4*x = -3 - 1. Let d = -2 - -66. Let w = d + x. Is w prime?
False
Let h(j) = j + 485. Suppose 0 = b - 3*b. Let s be h(b). Suppose s = -4*p + 9*p. Is p prime?
True
Suppose k + 54 = 19. Is 22/5 + 14/k a composite number?
True
Let c(i) = -2*i**3 - 3*i**2 - 10*i - 17. Is c(-10) prime?
True
Is (-3)/(-3)*(376 + 1) composite?
True
Suppose 5*j = -2*w + 138, 3*j = 2*w + 6*j - 146. Is w a composite number?
False
Let r(h) = 4*h**2 + 4*h + 1. Suppose 5*g - n - 10 = 1, 0 = -4*g + 3*n. Let w(j) = -3*j**2 - 4*j - 1. Let m(i) = g*r(i) + 2*w(i). Is m(3) prime?
True
Suppose -5*c + 175 = 3*p, 7*p - 2*p - 273 = c. Is p prime?
False
Let m be (-48)/(-21) + 4/(-14). Let i = 0 + m. Suppose -i*l + l = -35. Is l prime?
False
Suppose 0*z - 2061 = -5*f