a = -3*l + 921, 0 = 2*l + l + 5*a - 913. Let k = -148 + l. Let w = 342 - k. Is w a composite number?
False
Suppose -3*r + 0*r = 0. Let a be r - -15 - (-1 + 1). Suppose 3*z + a = 3*l, -2*l + l + 4*z + 8 = 0. Is l a composite number?
True
Let z = 11 + -7. Suppose z*t - 5*a + 1368 - 3800 = 0, -t + 599 = a. Suppose -5*j - 4*r = -t, 0 = -j - 4*r - r + 129. Is j a composite number?
True
Let m be (-4)/14 + 2/7. Suppose m = 7*f - 6*f - 79. Is f a composite number?
False
Let o = 232 + -111. Is o a prime number?
False
Let n be 8*(6/(-4) + 2). Suppose 262 = 3*i - 4*a - 21, -3*i + 299 = n*a. Is i a composite number?
False
Let h(u) = u**2 + 18*u - 12. Let l(j) = -j**2 - 1. Let d(o) = h(o) + 2*l(o). Is d(12) a composite number?
True
Let y = 334 + -207. Is y a composite number?
False
Let z be 0/(2*(-1 - 0)). Suppose z*s + 2*i = -4*s + 302, 2*s - 166 = 4*i. Is s prime?
False
Let s(y) = 3*y**2 + 7*y + 2. Let c = 4 - 13. Let g be s(c). Suppose 0 = 4*n - 5*k - 779, -n + k - 4*k + g = 0. Is n prime?
True
Let c = -6 - -8. Suppose 3*f = -4*s + c*s + 345, 0 = -5*f + 2*s + 575. Is f composite?
True
Let o(l) = 3*l**2 + 26*l + 74. Is o(-29) prime?
False
Suppose -5*z + 10 = -10. Suppose 5*j - x = z*x + 1320, -5*x = -2*j + 543. Is j a prime number?
False
Suppose 4*j + 49 = -5*y - 159, 3*y - 5*j + 110 = 0. Let n be 2882/5 + 16/y. Suppose -2*s - 2*t + 588 = 2*s, 4*s + 5*t = n. Is s a prime number?
True
Let y(u) = 6 - u + 0*u + u + 4*u. Let m be y(-4). Is (-2954)/m - 6/15 a prime number?
False
Let w be (-4 - (-1 - 0)) + 0. Let m = 5 + w. Is m composite?
False
Let r(f) = -f - 214. Let j be r(0). Let l = -3 - j. Is l composite?
False
Suppose 0 = 10*y - 11*y + 761. Is y a composite number?
False
Let a(u) = 26*u + 1. Let v be a(-1). Let n = v - -158. Is n prime?
False
Let w = 5 + -6. Let m(u) = -16*u - 1. Is m(w) composite?
True
Let m be (1 + 0)/((-1)/(-5)). Let t(c) = 18*c**2 - c - 3. Let v be t(m). Is (-12)/(-20) + v/5 a prime number?
True
Is 36 - (3 - (-1 - -1)) composite?
True
Suppose i + 635 = 6*i. Is i prime?
True
Suppose 0*u = -u + 522. Let i = -373 + u. Is i a composite number?
False
Let y(z) = 2*z**2 - 2*z - 3. Suppose 4*f + 7 = -h, 0*f - 5*f - 20 = -h. Is y(h) composite?
False
Let u = -159 - -250. Let f = u - 0. Is f a prime number?
False
Suppose -q = 4*b + 182, 0 = -5*q + b - 104 - 785. Is ((-7)/(7/q))/2 a composite number?
False
Let i(o) = 10*o**2 + 7*o - 1. Is i(-6) a prime number?
True
Suppose -a = 4*s - 6, 16 + 86 = 5*a + 2*s. Is a a composite number?
True
Let a = -441 - -655. Suppose 4*l = 94 + a. Is l a composite number?
True
Let d(n) = -n**3 + 7*n**2 - 3*n. Let j be d(3). Suppose g + b = j, 14 = 3*g + 5*b - 77. Is g composite?
True
Let d(k) = 2*k**2 - 7*k - 7. Let s be d(6). Let t = s - 15. Let x = 15 - t. Is x a composite number?
False
Suppose -652 = -m - 0*m. Let v = -201 + m. Is v composite?
True
Suppose k - 749 = 312. Is k composite?
False
Suppose -5*o + n = -4, 0 = -3*o - 3*n - 0*n - 12. Suppose -34 = -2*v - 2*m, o = -5*v - 4*m + 2*m + 97. Is v a prime number?
False
Let d = -8464 - -17117. Is d prime?
False
Suppose -107*r + 103*r = -88. Is r a prime number?
False
Let z be (-4 - (-1 + 2))/(-1). Let w = -12 + z. Let l = w + 42. Is l composite?
True
Suppose -3*h = -2*f - 1891, 0 = 5*h + 5*f - 1807 - 1353. Is h a prime number?
True
Let n be (-66)/(-14) - (-8)/28. Suppose 3*w = n*w - 46. Is w prime?
True
Is 4/1 + 1704 + -1 composite?
True
Suppose -5*i - 1294 = -2*r, -4*i = 3*r + i - 1966. Suppose -3*k + r = k. Is k a composite number?
False
Let z = -144 - -86. Let v = 105 + z. Is v a composite number?
False
Let f be -3*2*(-2)/6. Let g = f + -3. Is -1 + 259 + g - 0 a prime number?
True
Suppose 5*k + 3 = 2*k, 4*i + 213 = 3*k. Let y = -14 - -115. Let d = i + y. Is d a prime number?
True
Suppose 595 = 2*v + 4*q + q, v - 3*q - 303 = 0. Let t = -97 + v. Is t a prime number?
False
Let k be (1/3 - 0)*6. Let q(t) = t**3 - t**2 + 2*t - 2. Is q(k) composite?
True
Let f(d) = d**2 - 12*d + 2. Let q be f(11). Let h be (-43)/q - (-2)/9. Suppose -2*b = 5*y - 48, 69 - 22 = 3*b - h*y. Is b prime?
True
Suppose 7*v - 14*v + 889 = 0. Is v prime?
True
Let r(s) = -4 - s**2 + 4 + 3. Let f be r(3). Is (-33)/f*(1 + 3) a prime number?
False
Suppose 1 = -a + 13. Suppose -2 = 5*x - a. Suppose -x*w + 128 = -2. Is w prime?
False
Let d be (-6)/5*20/(-8). Suppose 293 = 2*i + 5*h, -2*i - d*h + 85 = -202. Suppose -2*c + i - 29 = 0. Is c a prime number?
False
Let f be 2/3 - (-262)/(-6). Let l = -17 - f. Let u = l + 13. Is u composite?
True
Let f = 0 + 1. Let s = f + -5. Is s/8*356/(-2) a prime number?
True
Suppose 3*j - 11 = 1. Suppose -j*x + 3*x + 299 = 0. Is x composite?
True
Let c be 2 - (1 + -114)*1. Suppose -v - 5*m = -4, 4*v - c = 4*m - 27. Is v composite?
False
Suppose 0 = -3*a + 6. Suppose 2*s + 42 = 2*i, -3*s - a = -2*s. Is i prime?
True
Let m(k) = k**3 + k + 2. Let j be m(0). Suppose j*n - 524 = 210. Is n a composite number?
False
Suppose -5*p + 4*o - 100 = 0, p + 0*o + 19 = o. Suppose -5*n + 75 = -5*g, 4*g - 2*n + 31 = -33. Let u = g - p. Is u composite?
False
Let c(j) = 4*j**2 + j - 4. Suppose -2*r - 8 = 2*r + 4*s, -3*s = 5*r + 20. Let d = 10 + r. Is c(d) a prime number?
False
Let p(g) = g**2 - 5*g + 3. Let i be p(7). Suppose 13*h = i*h - 892. Is h composite?
False
Let b(f) = -8*f**2 + 5*f - 11. Let z be b(9). Is (z/4)/((-3)/6) composite?
False
Suppose 0*d + 132 = d. Let q be (d/8)/(6/(-8)). Is (-15 + 1)*q/4 prime?
False
Let x(c) = c**2 - 6*c - 5. Let o be x(7). Let d(w) = 7*w**3 - 3*w**2 + 4*w - 3. Let s be d(o). Suppose -l + s = -a, 31 = 3*l + a - 132. Is l prime?
True
Let c(b) = 45*b**2 - 7*b - 7. Is c(-3) prime?
True
Let z be 12/6 - 1*-1. Suppose -x = -z*x. Suppose -7*v = -y - 2*v + 92, y - v - 80 = x. Is y prime?
False
Let v = 6 - 3. Suppose -2*x - v*x + 295 = 0. Is x a prime number?
True
Let i = 1520 + -829. Is i a composite number?
False
Let b(y) = -2*y + 15. Let f be b(8). Let u(w) = -342*w**3 + w. Is u(f) a prime number?
False
Let p = 3 + 5. Let u = 12 - p. Suppose 2*b - u*l - 26 = 0, -b + 2*b - 8 = l. Is b a prime number?
True
Let m(r) = -2*r**2 + 2*r + 1343. Is m(0) composite?
True
Is ((-1)/(-3) + 0)/(3/26343) a prime number?
True
Suppose -18 = -h + 5*y, -h - 2*h = 4*y - 35. Let j(o) = 5 - 3 - 3 + h*o. Is j(4) a prime number?
False
Let d(i) = -i**2 - 13*i - 3. Let a(s) = s**3 - 6*s**2 + 5*s - 6. Let n be a(5). Let z be d(n). Let k = -26 + z. Is k a composite number?
False
Suppose 0*b + b = -10. Is 44/3 + b/(-30) prime?
False
Suppose -2*k = k - 6. Let z = 34 - 23. Let h = z + k. Is h composite?
False
Let q(v) be the first derivative of 53*v**3/3 - v**2 + v + 2. Is q(2) prime?
False
Suppose 0 = -z - 0*z. Suppose -r = -4*k + 815, z = 4*k - 2*r + 380 - 1190. Is k a prime number?
False
Let z = 3 - 1. Let l(q) = -q - 2. Let n be l(-6). Suppose n*s - z*s = 4. Is s composite?
False
Suppose 0 = 58*d - 60*d + 2918. Is d composite?
False
Let d(g) = g**2 - 2*g + 3. Let u be d(2). Suppose 207 = 4*r - u*r + 2*v, 3*v - 838 = -4*r. Is r prime?
True
Is 7/((-210)/18) + (-2933)/(-5) composite?
True
Let b = 659 + -352. Is b a composite number?
False
Let n = -1 + -3. Let q(v) = 12*v**2 - 5*v - 1. Is q(n) a composite number?
False
Let o = 490 + -332. Is o prime?
False
Let r = 10 - 7. Suppose -6 = -r*s + s. Suppose s*k - 2*k - 5*p - 50 = 0, -k + 5 = 4*p. Is k a composite number?
True
Let r(n) be the second derivative of -3*n**5/20 - n**4/12 - 2*n**3/3 - n**2/2 - n. Suppose -8 = 4*z + 4. Is r(z) a composite number?
False
Suppose -6*s - 3*q = -s - 11846, -4*s = -2*q - 9490. Is s composite?
False
Suppose 6*b + 3089 = 24155. Is b composite?
False
Suppose 0*u + 14*u - 5908 = 0. Is u prime?
False
Let w = 78 + -47. Is w a composite number?
False
Suppose 0 = 4*o - 6*o + 142. Is o a prime number?
True
Let g(x) = -x**2 + 6*x + 5. Let h be g(7). Let u(s) = -s**3 + 8*s**2 - 8*s + 1. Let m be u(7). Is 33 + (m/3 - h) composite?
True
Let d(v) = 53*v + 2. Is d(19) a composite number?
False
Suppose -112 = -4*g + 360. Let q = -61 + g. Is q a composite number?
True
Let d(h) = -h**2 + h**2 + h**2 + 6 + 6*h. Is d(7) prime?
True
Suppose -14 = -3*i + 2*i. Is i a prime number?
False
Let r be 439/3 - 3/9. Let s = -93 + r. Is s a prime number?
True
Let w(g) = -g + 1. Let a(i) = -96*i + 3. Let k(f) = -a(f) + 5*w(f). 