 - h. Is s composite?
False
Let l(f) = -f - 9. Let j be 3 + 7/(7/(-12)). Let y be l(j). Suppose q + 4*q - 195 = y. Is q prime?
False
Let r = 17 + -15. Suppose -4*z + 2766 = -r*j, -3*z + j = -0*j - 2074. Is z prime?
True
Suppose -843 = b - 4*b. Suppose -k + 5*d - 37 = 0, d = 6*k - k + b. Is (k/4)/((-1)/4) composite?
True
Let t(z) = -39*z - 4. Suppose -3 + 6 = -b + 2*p, 4*b - p = -26. Is t(b) a composite number?
False
Let c(l) = -8 - 6 - 249*l + 12. Is c(-1) composite?
True
Let v(d) = -3*d + 1. Let o be v(-5). Let l = -5 + 7. Suppose 0 = -l*i + 94 - o. Is i a composite number?
True
Suppose 4*d + 2 = 50. Is 4035/d + 3/4 a composite number?
False
Let a = 1 + 3. Suppose -524 = 3*d - 4*r, 0*d - a*r = d + 196. Let u = -121 - d. Is u a prime number?
True
Let p(g) = g - 6. Let v be p(9). Suppose -468 = -3*s + v*w - 6*w, -669 = -4*s + 5*w. Is s composite?
True
Let d(y) be the second derivative of -y**5/60 + 13*y**4/24 - y**3/6 + y**2/2 + 2*y. Let h(f) be the first derivative of d(f). Is h(8) a prime number?
False
Let g(t) = t**3 - t**2 - 6*t - 9. Let x be g(-6). Let v = -46 - x. Is v prime?
True
Is ((-15)/10)/((-3)/794) a composite number?
False
Let r(k) be the second derivative of k**4/12 + k**3 - 3*k. Is r(5) composite?
True
Let j = -7 - -13. Suppose -j*u + 12 = -4*u. Suppose -5*o - 65 = -u*o. Is o prime?
False
Let w(s) = 4*s**2 - 2*s + 9. Is w(10) a composite number?
False
Let q(s) = -s**3 - 6*s**2 + s + 4. Let a be q(-6). Let l be (-4)/((-12)/21) + a. Suppose -2*o + u - 637 = -7*o, 0 = 2*o + l*u - 264. Is o prime?
True
Suppose 0*d = -3*d. Suppose 0 = -d*g + 3*g + 1326. Is (-4)/(-24) - g/12 composite?
False
Let z = -30 - -63. Is z a prime number?
False
Let h(d) be the second derivative of 127*d**5/20 - d**4/12 + d**2/2 + 2*d. Is h(1) a prime number?
True
Is (4 - 3) + 1 + 141 a prime number?
False
Let q be (8/(-3))/((-1)/3). Let v = -137 - -194. Let l = v - q. Is l composite?
True
Is (0 - -1)*(-7)/(42/(-5442)) a prime number?
True
Let p be ((-10)/(-3))/((-6)/(-9)). Suppose -p*s - 5*k + 200 = 0, 0*s = -s + 5*k + 52. Suppose 0 = -3*c + 5*c - s. Is c a composite number?
True
Let p = -5 + 8. Is 2 + p/(-3) - -34 composite?
True
Let v be (-26)/(-6) + (-2)/(-3). Suppose -3*m + v*m = 94. Is m prime?
True
Let l(j) = -j**2 + 11*j + 7. Let b be (-3)/(-3)*2*3. Is l(b) a prime number?
True
Let s = -1 - -4. Let z = 94 + s. Is z prime?
True
Let a be ((-2)/(-2) - 0) + 10. Suppose 5*p - 39 = a. Is p prime?
False
Let n be (-2 - 0) + -7 + 7. Is (-115)/n*8/10 a prime number?
False
Suppose -5*g + 2 + 3 = 0, 4*k + 30 = -2*g. Let w = 11 + k. Is w a prime number?
True
Let b(s) = s**3 - 8*s**2 - 10*s + 9. Let x be b(9). Let o = 14 + x. Is o a prime number?
False
Suppose 4*y - 4*z = -760, 3*y = -2*y + z - 934. Let v = y - -268. Suppose 5*h - 33 - v = 0. Is h a composite number?
False
Suppose 3*x - 3*d = 717, 5*x - 133 = -5*d + 1032. Suppose -5*m + 39 + x = -4*a, 5*a = 0. Is m prime?
False
Suppose 4*n = 8025 - 2653. Is n prime?
False
Let j(q) be the first derivative of 5*q**3/3 + 3*q**2 + 3*q + 3. Is j(-4) prime?
True
Let k(o) = -46*o + 11. Is k(-8) prime?
True
Suppose -4*r - 2 = -2*r. Let x be (r - (-4 - -2)) + 44. Let b = x + -30. Is b composite?
True
Let q(w) = -4 + 4 - 26*w + 1. Is q(-2) a prime number?
True
Suppose 3*o - 3 = m, -4*m + 10 = -0*m - o. Suppose -m*h = -9, -2*w - 2*w = 3*h - 241. Let g = -24 + w. Is g composite?
True
Let x be 4/(-10) + 234/10. Suppose 0 = 2*b - 3*b + x. Is (5*-1)/((-1)/b) a composite number?
True
Let o(w) = w**2 - 10*w + 4. Let c(r) = -r**2 + 9*r - 5. Let s(q) = -6*c(q) - 5*o(q). Is s(13) a composite number?
False
Suppose -4*v + 5 + 20 = 5*q, -5*q - 5 = -2*v. Let h(p) = -4 - q - 16*p + 4. Is h(-3) a prime number?
True
Suppose -2*d = 2*d - 80. Suppose 4 = -2*v, y - 6*v + 2*v = 39. Let p = y - d. Is p a prime number?
True
Let f(d) be the third derivative of d**5/30 + 5*d**4/24 + d**3/2 - 4*d**2. Is f(-8) a prime number?
False
Suppose -4*n + 3*m + 2257 = 0, 5*n - m = -0*n + 2824. Is n composite?
True
Suppose 0 = -3*g - 0*g. Let f = 6 + g. Suppose 3*k - 5*p = 52 - f, 4*p + 48 = 4*k. Is k a composite number?
False
Let x = 7 - 0. Suppose 0 = -3*r + x*r - 56. Is r a prime number?
False
Suppose -t - 2*t - 5*n + 157 = 0, t = -5*n + 59. Suppose t = -b + 216. Is b prime?
True
Let k(m) = -4*m + 8. Let z(i) = -i + 2. Let u(r) = 4*k(r) - 18*z(r). Let p be u(4). Suppose -2*o - 3*a + 332 = 0, 5*a = -p*o + 700 - 38. Is o prime?
True
Let g = 2 - 3. Let w be (-452)/3 - g/(-3). Let o = -84 - w. Is o a composite number?
False
Suppose -458 = -3*y + 5*i, 296 = -0*y + 2*y - i. Let f = y + -79. Is f prime?
True
Let z(a) = a**3 - 5. Suppose -4*q = -5*w + 15, 2*w + 0*w - 8 = 2*q. Let v = 1 - q. Is z(v) a prime number?
True
Let m = 6004 - 3647. Is m a composite number?
False
Let c(n) = 2*n**2 + 4*n - 3. Let f(s) = s**3 - 2*s**2 + 7*s**2 - 4 + s - 8*s. Let j be f(-6). Is c(j) a prime number?
True
Suppose 2*w - 5*t = 1624, 5*w - 1525 = 4*t + 2552. Is w prime?
False
Suppose i + 52 = -2*v + 4*v, -5*i - 78 = -3*v. Let a(u) = 5*u - 2. Let d be a(5). Let h = v + d. Is h a prime number?
False
Let j = -7 - -6. Is 146 + j/2*2 a composite number?
True
Let r = -312 + 566. Is r composite?
True
Suppose -2*f + 6*r + 18 = 4*r, -4*f + 6 = 2*r. Suppose -3*c - 4 = f*y - 25, -5*y = 3*c - 24. Suppose -c*o + 49 = -50. Is o composite?
True
Let i be 1146/4*16/(-6). Is (-3)/9 - i/6 a composite number?
False
Let v(w) = -69*w - 1. Let z be v(-5). Suppose b - 350 = 3*m, b = 2*b - m - z. Is b a prime number?
False
Suppose -4*j = -5*r + 12635, 3*r - 5*r - 2*j = -5072. Is r a composite number?
False
Let u(b) = b**3 + 2*b**2 - 3*b. Let x be u(-3). Suppose 3*p + 152 - 641 = x. Is p a composite number?
False
Let t(o) = 14*o**2 + 3*o + 4. Let j be t(-3). Suppose 4*l = 5*s - j, 0*s - 5*l = -4*s + 104. Is s composite?
True
Suppose -6*y = -5*y - 547. Suppose -y = -6*i + 143. Is i a prime number?
False
Let b be 3/(-21) + (-29)/(-7). Suppose 3*l = -0*y - 5*y + 60, -b*y = -l + 37. Is l a prime number?
False
Suppose 0*p = -4*i - p + 311, -291 = -4*i - 5*p. Let w = -30 + i. Is w a composite number?
True
Let c(s) = -s - 1. Let x be c(-1). Suppose -4*g - 2*y - 32 = 2*y, 4*g + y + 17 = x. Is -21*1*3/g a prime number?
False
Let h = 50 - -3. Is h prime?
True
Suppose 0*y - 750 = -y. Let n = y + -497. Is n prime?
False
Let g(o) = -o**3 - 2*o**2. Let x be g(-2). Let l = 2 - x. Suppose -l*k - 5*s + 125 = 0, 8*s = 2*k + 3*s - 135. Is k prime?
False
Let v(o) = o**3 + 8*o**2 + o + 5. Let a be v(-8). Is 1197/(-14)*2/a a composite number?
True
Let q = 167 - 70. Is q a prime number?
True
Suppose -3*a + 5 = -2*l, 0 = -5*l - 4*a - 1 + 23. Suppose -30 = -o - l*o. Is (-4)/o + (-37)/(-5) prime?
True
Suppose 5*m + 1225 = 4*x + 375, 2*x + 5*m = 410. Is (0 - 1) + x + -4 a composite number?
True
Suppose 2*v - 17 = -1. Let x(d) = -d**2 + 7*d + 10. Let t be x(v). Suppose 4 = -2*g - 4*y, t*y - 12 = -5*g + 3*y. Is g a prime number?
True
Suppose t = g - 2*g + 3, -4*g = -2*t - 12. Is g*(-236)/(-12)*1 composite?
False
Let z(y) = -y**2 - 7*y - 3. Let p be z(-6). Suppose -p*v + 54 = -v. Let w = v + -16. Is w a prime number?
True
Suppose 12*o - 17*o + 735 = 0. Suppose 3*b + 170 - 2 = 0. Let l = b + o. Is l composite?
True
Let a(w) = -w - 1. Let m(u) = -4*u - 3. Let f(c) = 4*a(c) + m(c). Is f(-5) prime?
False
Suppose g = 2*g - 4*d - 56, g = d + 41. Let k = -3 + g. Is k composite?
True
Let r(h) = 2*h**2 - h + 7. Suppose 0*d + 16 = 2*d. Is r(d) a composite number?
False
Let b(u) = -104*u + 19. Is b(-9) a prime number?
False
Suppose 0 = -6*v + 3*v - 7011. Is v/(-21) - 4/14 a prime number?
False
Is (1 + 1)*5444/8 a composite number?
False
Let d(y) = -6*y + y**2 + 4*y + 0*y - 2. Let o = -9 - -6. Is d(o) prime?
True
Let a(l) = -l. Let t(w) = w - 9*w + 1 - 2*w. Let f(x) = -a(x) + t(x). Is f(-2) composite?
False
Suppose 4*c - 3*c = 341. Is c a composite number?
True
Suppose -3*g = -4*g + 1, -3*m + g = -98. Is m composite?
True
Suppose -o = -3, -400 = -4*k - 6*o + 2*o. Is k composite?
False
Let k(c) = -c + 2. Suppose 0 = -5*r + 5*a - 40, -3*r + 6*r + 8 = -a. Let b be k(r). Suppose 0 = -3*v - b, 0 = -3*x - 2*v + 10 - 5. Is x prime?
True
Suppose 51 + 42 = 3*g. Suppose -3*q = -3*n - 199 + g, 3*q - 148 = -n. Suppose -2*c = 3*a - 17 - q, 0 = 3*a + 6. Is c p