r + 5. Let z(n) = 3*n + 2. Let b(x) = 4*q(x) - 9*z(x). Let l be b(2). Is m(l) prime?
False
Suppose -2*x - 24 = -2*y, -2*x = -y + 8 + 6. Suppose 5*n + 0*n = -y, -3*n + 44 = 2*i. Is i prime?
False
Let b = -5 + -1. Is (-614)/(-3)*(-9)/b prime?
True
Suppose -3*m = w - 371, -3*m + 356 = -2*w - 0*w. Suppose -m = -i - i. Suppose -3*f + r = -3*r - i, -44 = -2*f + r. Is f a composite number?
False
Let z(b) = -b**3 + 8*b**2 - 8*b + 10. Let c be z(7). Let o be (1 + 1)*1/2. Let s = c - o. Is s a prime number?
True
Let c be 13874/4 - 2/4. Suppose -p - 3*p + c = 0. Suppose 5*s - p = -172. Is s a composite number?
False
Let a(w) = -702*w + 4. Let f be a(-2). Let n = -999 + f. Is n a prime number?
True
Suppose 5 = 4*z - 3. Suppose 3*m = z*m. Suppose -2*l + 4*l - 158 = m. Is l a composite number?
False
Let h(u) = u - 2. Let x be h(-2). Is ((-238)/x)/((-5)/(-10)) composite?
True
Suppose -20 = -4*z, 2*p - 4*p + 3*z = 7. Is 3 + p/(-4) + 465 prime?
True
Let t(y) = -y + 4. Let f be t(5). Let z be -10*((-2)/(-4) + f). Suppose 0*h - 49 = -h - z*x, 4*x = -4*h + 228. Is h a prime number?
True
Let d = -17 - -12. Let a be 96/20 + (-1)/d. Suppose 5*v - z = 15, a*v - 21 = v - z. Is v a prime number?
False
Suppose -r - 726 = -2*b + 3*r, 1845 = 5*b - 4*r. Is b prime?
True
Suppose -2*t = -2868 + 734. Is t a prime number?
False
Suppose 2*m - 3*j - 552 = -7*j, -j + 828 = 3*m. Suppose -5*f - m = -2*b, 2*f + 2*f = 8. Is b composite?
True
Let y(v) = -3*v - 2*v**3 - 8*v**2 + 0*v**3 + 0*v**3 + 3. Let z be y(-6). Suppose c = -2*c + z. Is c a prime number?
False
Suppose 8*n - 745 = 3*n. Is n a prime number?
True
Let j(r) = 17*r**2 - 19*r**2 - 3 - r + 7*r**2. Is j(10) composite?
False
Let j(w) = w**2 - 3*w. Let p be j(-3). Let k = 22 + -40. Is (-4)/p - 256/k a prime number?
False
Let x(g) = g**2 + g + 53. Suppose 0*w = -w. Is x(w) prime?
True
Let f(g) be the first derivative of 1/2*g**2 + 35*g - 3. Is f(0) prime?
False
Let q = 10 + -8. Suppose 3*l - q*l + w - 170 = 0, 4*w + 12 = 0. Suppose -l = -5*f - 2*s - 0*s, -4*f = 2*s - 138. Is f prime?
False
Is (4 + -6121)/(-3) + (1 - 1) a prime number?
True
Let c = 6 - -335. Is c prime?
False
Is -2 - (-3)/(-12)*-523*4 prime?
True
Suppose -5*r - 5*t = -r - 2534, 3*r - 3*t - 1887 = 0. Is r prime?
True
Let c(l) = 19*l. Let i be ((-2)/(-3))/(6/63). Is c(i) a prime number?
False
Suppose 0 = 2*f + 4*c - 662, 0 = f + 3*c + c - 335. Is f prime?
False
Let i = -17 - -18. Is -1 + i - -92 - 3 a prime number?
True
Suppose z - 6*z - 17 = -2*x, 5*x - 26 = -4*z. Let t(h) = 15*h - 5 - 3*h**2 + 2*h**2 + 4. Is t(x) a prime number?
True
Let d be (6/(-4))/((-12)/3136). Suppose -2*f + 4*f = -d. Let w = -101 - f. Is w prime?
False
Let x be (3 - (-1 + 3))*17. Let d = 45 - x. Let u = d + -14. Is u a composite number?
True
Let a be (-1)/(-2) - (-129)/6. Let m(s) = -s**3 - 4*s**2 - 2*s + 4. Let d be m(-3). Let f = a + d. Is f a prime number?
True
Suppose 3*o - r - 7 = 0, 0*r - 1 = r. Suppose 0 = 4*l + o*t - 230, 2*l - 2*t = l + 65. Is l prime?
True
Let y(f) = f**2 + f + 4. Let n be y(0). Let j be 9/12*4 + 0. Suppose 77 = j*s + n*t, -4*s + 2*t = -t - 86. Is s a composite number?
False
Suppose 0*n - 2*n = -k - 135, -n = -2*k - 63. Is n a prime number?
False
Let v(w) = -3*w + 4. Let f be v(3). Let h = f + 10. Suppose 4*n = 5*l - 83, -h*l + 30 + 43 = n. Is l prime?
False
Suppose -2 = -h + 4. Suppose -3*v = -h*v - 138. Let m = v - -84. Is m a composite number?
True
Suppose i - 5 - 175 = -5*a, 20 = 4*i. Is a a composite number?
True
Let y = 114 - 63. Is y a prime number?
False
Suppose 4*q = -2*o - 700, -2*o + 4*o + 709 = 5*q. Let d = -209 - o. Is d a prime number?
False
Let p(g) = -g**2 + 11*g. Let i be p(10). Let q = i + -5. Suppose 17 = -q*z - a + 191, 2*z - 80 = -3*a. Is z prime?
False
Let a(g) = 6*g**2 - 3*g + 4. Suppose 6 + 6 = 4*i. Is a(i) a composite number?
True
Suppose 21 = -4*b - 3. Let d(i) = 9*i + 2 + i**2 - 3*i - 5 - 4*i. Is d(b) a prime number?
False
Let b = 24 - 34. Let u = b + 20. Is u composite?
True
Let a(b) be the third derivative of -b**6/30 - b**5/20 + b**4/12 + 2*b**3/3 - 3*b**2. Is a(-3) prime?
True
Suppose 4*i - 136 = -48. Let f = -3 + i. Is f a prime number?
True
Suppose -4*h + 4*a = 1368, 4*a = -0*h + h + 333. Let k = -86 - h. Is k composite?
True
Suppose 4*a - 4*f - 24 = 0, 0 = -5*a - 4*f - 0 + 3. Suppose -2*o = 2*x + 5 - 1, a*o + 2 = x. Is o/(-3)*(1 + 248) a composite number?
False
Let h(o) = o**2 + 6. Is h(-7) prime?
False
Is ((-46)/4)/((-3)/30) prime?
False
Let c = 128 + 246. Suppose 3*l - 73 = c. Is l a composite number?
False
Let o(g) = 6*g**2 - 7 + 13*g - 15*g**3 - 11*g + 2. Is o(-4) a composite number?
True
Suppose -2*a - 1340 = -11082. Is a prime?
True
Let t(m) = -75*m - 7. Is t(-6) composite?
False
Suppose -f + 4 = 2*f - l, 4*l = -4*f. Let q(h) = 3*h**2 - 11*h + 2. Let w(g) = -g**2 + 6*g - 1. Let r(j) = 4*q(j) + 7*w(j). Is r(f) composite?
True
Suppose -43 = -3*a - 4*y, 4*y = -5*a + 3*y + 83. Suppose -5*t + 7 = -3*z - a, -8 = -4*z. Let l = t + 29. Is l a composite number?
True
Let h(s) = -571*s - 7. Is h(-3) composite?
True
Let p = -4 + 18. Is p composite?
True
Let k be ((-2)/6)/((-2)/12). Let p(u) = 4*u**3 + 2*u**2 + 3*u - 3. Is p(k) a composite number?
False
Suppose 11*c = c + 670. Is c prime?
True
Let j(w) = 29*w + 14. Is j(13) composite?
True
Suppose 0 = 3*c + 3*d + 15, 3*d = -c - 8 - 7. Let u(l) = -4*l - 1 + c + 12*l. Is u(4) a composite number?
False
Let d = 4 - 10. Let k(x) = 9*x**2 + 5*x - 1. Is k(d) a composite number?
False
Suppose -4*a = -13 - 3. Suppose 271 = a*m - 45. Is m a composite number?
False
Let z(r) = -r - 1. Let x(s) = 322*s + 7. Let q(m) = x(m) + 6*z(m). Is q(1) a composite number?
False
Suppose -3*h - 3723 = -3*f - 12405, 0 = -2*h - f + 5803. Is h a prime number?
False
Suppose -4*i - 12817 = -s - 2*s, s = -4*i + 4251. Is s a prime number?
False
Suppose -t = -v + 1518 + 1066, 4*v - 10341 = 5*t. Is v a composite number?
False
Let o(p) = -p**3 - 4*p**2 + 5*p + 7. Let u be o(-5). Let j(w) = -26*w. Let l be j(u). Let d = -99 - l. Is d composite?
False
Let o = -73 + 104. Suppose 4 + o = 5*p. Is p composite?
False
Suppose 7*v - 6818 = -7*v. Is v a composite number?
False
Let o = -705 + 1406. Is o composite?
False
Suppose 8*a + 1151 = 9*a. Is a a composite number?
False
Let p be (9/15)/((-3)/(-645)). Let k = p + 50. Is k a composite number?
False
Suppose -1011 = -b + 662. Is b composite?
True
Let m = -42 - -22. Let q = 44 + m. Suppose -15 - q = -3*h. Is h prime?
True
Let z(f) = -f**3 - 5*f**2 + 6*f + 2. Let a be z(-6). Suppose 0 = -a*u + 487 - 117. Is u a composite number?
True
Let w(p) = 3*p**2 + 8*p - 4. Let y(u) = -u**2 - 2*u + 1. Let b be y(-4). Is w(b) composite?
True
Let g be (-9)/(-2) - 2/4. Let v = 41 - 37. Suppose 0 = 4*b - b + v*w - 77, 4*b - g*w = 56. Is b prime?
True
Let w be (1 - (1 - 0)) + 4. Suppose w*d = -d + 635. Is d a prime number?
True
Let l = -101 - -699. Suppose l = 5*z - 227. Suppose -2*v - z = -535. Is v composite?
True
Suppose 4*s = 2*s - 20. Suppose 2*j + 31 + 3 = 0. Let z = s - j. Is z a prime number?
True
Let v = 1723 - 1202. Is v prime?
True
Let n(t) be the first derivative of -t**5/20 + 7*t**4/12 + t**3/6 + 2*t**2 - 2*t - 2. Let k(u) be the first derivative of n(u). Is k(5) composite?
False
Let p = 30 + 25. Is p composite?
True
Let c = 7 - 10. Let v be (-2 - (-2 - c)) + 32. Suppose 68 = z - v. Is z prime?
True
Let k = 204 - 49. Suppose c - k = -4*m, -2*c - 3*m - 321 = -4*c. Is c prime?
False
Let x = -1297 + 2118. Is x prime?
True
Suppose 22 = 5*r + 2. Suppose 0*o = -o + 11. Suppose p - o = -r. Is p a composite number?
False
Suppose n = 159 + 142. Is n composite?
True
Let p = 1 + 1. Suppose 3 = z + p. Is (-2 + 6)/(1 + z) composite?
False
Is (-4 + (-4522)/(-4))/(3/2) a composite number?
False
Let t(g) = 3*g + 1. Let n be t(1). Suppose -4*d = -n, -x - x + 146 = 4*d. Is x a composite number?
False
Let a = 3756 - 1435. Is a composite?
True
Let h = -188 + 286. Let c = h - 63. Is c a composite number?
True
Suppose -4*z - 32 = -380. Is z prime?
False
Let y(q) = -191*q. Is y(-1) a composite number?
False
Suppose -2*m + m + 5*h + 10 = 0, -4*m + 4 = -2*h. Let w(b) = b**3 + b**2 + 87. Is w(m) composite?
True
Suppose z = 194 + 390. Is z/12*(-30)/(-4) a prime number?
False
Let p(m) = m**2 + 8*m + 2. Let c b