-4*b. Let h be ((-3)/(-2))/((-2)/(-68)). Let p = h + s. Is p a prime number?
True
Let j(x) be the second derivative of x**4/2 - 5*x**3/6 - 3*x**2 + 3*x. Is j(5) prime?
False
Let c = 14 - -38. Let a = c + 31. Is a prime?
True
Let k(y) = -y**2 + 6*y - 4. Let x be 2*3 + 6/(-6). Let g be k(x). Let v = 7 - g. Is v a prime number?
False
Let h be ((-6)/4)/((-3)/(-4)). Let g be -1 - -3 - 0/h. Suppose -5*u = -g*u - 2*v - 111, v + 153 = 4*u. Is u a prime number?
False
Let y = -1 + 3. Suppose 3*r = -y*r + 155. Is r composite?
False
Suppose 3*d = 2*x + 21, 12 = x + 3*d - 0*d. Let w(m) = -468*m - 3. Let u be w(x). Suppose -3*n = 4*j - 1870, 0*j - u = -3*j - 3*n. Is j prime?
False
Suppose -10 = 2*i, -9490 = -5*v - i - 4*i. Is v a composite number?
True
Suppose t + t = -5*z + 149, -3*z + 333 = 4*t. Is t a composite number?
True
Let w be (-2)/4*16/(-1). Let i(v) = -4*v**3 + 2*v**3 + w*v**3 + 1. Is i(1) prime?
True
Is (-7)/14*-247*2 a prime number?
False
Let h(d) = 2*d**2 - d + 10. Is h(5) composite?
True
Is ((-2)/4)/((-265266)/53052 + 5) a composite number?
False
Let v(b) = b + 2. Let z be v(4). Let r(g) be the second derivative of g**3 - 5*g**2/2 - 5*g. Is r(z) composite?
False
Suppose 879 + 898 = 2*g - 3*v, -4*v = -4*g + 3552. Is g prime?
True
Suppose 2*v + 6 = 5*v. Suppose -2*b - 3*o + 3 = 0, -v*b - 3*b - o + 1 = 0. Suppose g - 4*n - 23 = 0, 2*n = 4*g - b*n - 78. Is g a composite number?
False
Let s(i) = -57*i**2 + i - 4. Let a be s(5). Let m be a/(-14) - (-16)/56. Suppose -3*v = -m - 72. Is v a composite number?
True
Let k = 46 - -9. Is k composite?
True
Is (5 + -4)/(-1) - -20 prime?
True
Let z be (-4)/(-6) + (-5)/3. Let y(d) = -4*d**3 + d**2 + 2*d + 1. Let c be y(z). Suppose h = 3*h - l - 44, 71 = 3*h - c*l. Is h composite?
True
Let x(s) = s**3 + s**2 + 2*s + 3. Let n be x(3). Is (3 - 5) + 1*n composite?
False
Let q(r) = r**2 + 6*r + 4. Let n be q(-6). Suppose -k - 5*i = 25 - n, 4*k - 8 = 3*i. Is 1 + k - (-24)/4 composite?
True
Let z(a) be the first derivative of a**6/360 + 7*a**4/12 - a**3/3 - 1. Let o(x) be the third derivative of z(x). Is o(0) prime?
False
Let h = -15 - -11. Let s be 0*2/h*1. Suppose -5*z + u + 443 = s, 3*z + u - 75 = 194. Is z composite?
False
Suppose -3*z - 3*t = -45, 19 = -4*z - t + 64. Suppose b = 3*y - 2*b - 48, -z = 2*b. Is y a composite number?
False
Let k(j) = 84*j + 5. Is k(1) prime?
True
Let k(c) = 7*c - 3. Let v be k(2). Suppose 4*j = v + 9. Suppose -6 = 2*m, -57 = -j*t + t - m. Is t prime?
False
Let f(j) = 3*j**2 + 6*j + 8. Let c be f(-6). Suppose 0 = z - 4*o + o - c, 2*z - 163 = 5*o. Is z prime?
True
Suppose 0 = -d, 2*d - 5 = 3*z - 2. Suppose 0 = -3*x + 4*x - 2*q + 180, -q = -3. Is (6/18)/(z/x) a prime number?
False
Let o(w) = w**2 - 5*w + 5. Let b be o(4). Suppose q - b + 0 = 0. Is (-187)/((-2)/q + 1) composite?
True
Let x(z) = 3*z**2 - 6*z - 2. Let y(d) = d**2 + 4*d - 7. Let r be y(-6). Suppose -13 - 12 = -r*j. Is x(j) composite?
False
Let b be 3 - (-5 + (3 - -1)). Let c = 7 + -3. Suppose -b*t = -2*t + 4*j - 86, 4*t + c*j - 156 = 0. Is t a composite number?
True
Let y = -365 + 247. Let t = -10 - -7. Is (y/6)/(t/9) a composite number?
False
Suppose 2 = f - 0*f. Let o(l) = 9*l**2 - 2*l - 2. Let v be o(f). Let c = v + -19. Is c composite?
False
Let y(o) = 2*o - 11*o - 4*o + 1. Suppose 8 = -4*k - 16. Is y(k) a prime number?
True
Suppose -4*s + 452 = 3*z, 3*s + 3*z - 339 = -0*z. Is s a composite number?
False
Let v = 44 - 31. Is v composite?
False
Let n(w) = -w**3 + 3*w**2 + 5*w - 6. Let i be n(-3). Let b = 686 + i. Is b composite?
False
Let u be (2/(-4))/(5/60). Is u/(-21) - 430/(-14) a prime number?
True
Let z = 0 - -4. Suppose 0 = -z*j + 2*j - 6, 5*m - 2777 = 4*j. Is m composite?
True
Is 29/(4 + (-201)/51) prime?
False
Suppose -2 = -2*w + 2. Suppose 4*p - 6 = 3*h, -w*h - 8 = -p + 2*h. Let a(r) = r**2 + 7. Is a(p) a prime number?
True
Suppose -769 = -5*w + 906. Is w a prime number?
False
Let p(q) = q**3 - 8*q**2 + 4*q - 16. Let f be (-66)/18*3/(-1). Is p(f) a prime number?
False
Suppose 3*o + 3*m + m - 14 = 0, -4*m - 4 = 0. Suppose 0 = 4*p - p - 54. Is 12/p - (-314)/o composite?
False
Let y(d) = d**2 - 5*d + 1. Is y(-4) a composite number?
False
Suppose 4*p - t - 6 = -3, -3*p - 19 = -5*t. Suppose 2*i = -k + 234, -p*i - k - 456 = -6*i. Is i composite?
True
Let r be 11*(-2)/4*-22. Let x = -38 + r. Is x composite?
False
Let k = -236 + 378. Is k a prime number?
False
Let n be (-417)/(-2)*70/(-21). Let t = -472 - n. Suppose t = 5*g - 262. Is g a prime number?
True
Suppose 3*c - 4*z - 278 = 40, -3*z - 424 = -4*c. Is c a composite number?
True
Let n be 0/(0 + (2 - 0)). Suppose 3*a - 90 = -n*a + 3*w, 0 = -w + 5. Is a composite?
True
Let z(t) = 3*t**2 - 13*t + 9. Is z(6) prime?
False
Let n(g) = -2*g**3 - 11*g**2 - 8*g - 12. Is n(-7) composite?
False
Let q(i) = -i**2 - 4*i + 5. Let s be (0 - 5) + 0/3. Let x be q(s). Suppose x*z + 195 = 5*z. Is z a composite number?
True
Let s = -2 - 1. Let q(h) = 33*h + 4. Let a be q(s). Is 6/(-12) + a/(-2) composite?
False
Let w(i) = i**2 - 6*i - 5. Let y be w(6). Let k be y*(2 + (-36)/10). Suppose 4*a + 26 - k = 2*l, -63 = -2*l - 5*a. Is l composite?
False
Let l(h) = h**2 - h - 2. Let r be l(2). Suppose r = -2*q + 11 + 33. Is q a composite number?
True
Let v(y) = y**2 - 10*y - 4. Let r be v(5). Let b = -9 - r. Suppose -m + b = -3*j, 4*j + 66 + 1 = 5*m. Is m a composite number?
False
Suppose -4*a + 1 + 7 = 0. Let k(s) = 0*s**2 + 11 + s**a - 2. Is k(0) prime?
False
Let g = -782 + 1204. Is g a composite number?
True
Let h = 12 - -145. Is h a prime number?
True
Suppose 0*c + 2*c = p - 7, -3*c = 9. Let j be 3 + -32 - -2 - -2. Let d = p - j. Is d composite?
True
Let a = 667 + 1716. Is a composite?
False
Is (-2 + 1900/(-8))*-2 a prime number?
True
Let s(b) = -b**2 - 7*b + 2. Let r be s(-7). Suppose -5*y + 138 = -r*y. Is y prime?
False
Let v be (-4)/8*-6 + 807. Suppose -3*i + 0*i + 3*f + v = 0, i + 3*f = 258. Is i a composite number?
True
Is (14988/16)/((-2)/(-8)) a prime number?
False
Suppose 3*q = 2*a - 9, -5 = 5*q - 0. Suppose 0 = 3*n - 6*n + 3. Is 129/9 - n/a composite?
True
Suppose 4*a - 90 = -2*j + 152, 3*a = j - 121. Is j a prime number?
False
Let p be ((-4)/7)/((-8)/28). Suppose -42 = -p*d + 10. Is d composite?
True
Let r(v) = -5*v + 3. Let h be r(-3). Let d be 176/h + 4/18. Suppose q - m - d = 0, 0*q - q + 4*m + 13 = 0. Is q a prime number?
False
Let x(z) be the second derivative of 101*z**3/6 + 3*z. Let f be x(-5). Let s = -294 - f. Is s prime?
True
Suppose 5263 = 2*c - 4399. Is c prime?
True
Suppose -238 = -0*d - 2*d. Is d a composite number?
True
Suppose 0*t = 2*x - 5*t - 101, 3*x - 2*t = 168. Is x composite?
True
Let h be 56/(-7)*(-35)/2. Let g = -43 + h. Is g composite?
False
Let p be (2/3)/((-4)/(-6)). Suppose -3*w + p - 4 = 0. Is -1 - -97 - 1*w a composite number?
False
Let x(h) = h**3 + 8*h**2 + 6*h - 5. Suppose 2*a - 14 = 4*m - 2, 4*a = 2*m. Let g = -4 + a. Is x(g) a composite number?
False
Suppose 0*b = -2*b + 96. Let m = 82 - b. Is m a prime number?
False
Let d(h) = 143*h + 1. Is d(4) a prime number?
False
Let k = -2193 - -3559. Is k a composite number?
True
Let m(g) = 11*g**3 + 4*g**2 + 5*g - 1. Is m(4) prime?
True
Let f(r) = -2*r**3 - 7*r**2 + 4. Let g be f(-6). Let x = g + -113. Is x a prime number?
True
Let h be (-2)/(-9) - 392/(-18). Let u be 106/(-12) + 2/(-12). Let p = h - u. Is p composite?
False
Let g be -7 - -4 - 68/2. Let j = -24 - g. Is j prime?
True
Let d be (-2)/4*-13*4866. Is 2/(-13) - d/(-169) a prime number?
False
Let u(n) = 5*n - 1. Let d be u(1). Let h(i) = -i - i**2 - 5 + 4 + 8*i. Is h(d) a composite number?
False
Let p(h) = -h**2 + h - 1. Let g(t) = t - 2. Let c be g(3). Let d(w) = -w**3 + 10*w**2 - 3*w + 1. Let n(i) = c*d(i) + 4*p(i). Is n(6) a prime number?
True
Is (-1 + 6)/(-1) + 1482 prime?
False
Is -310*(2 + (-10)/4) composite?
True
Let d = 55 - 39. Let f = -42 + d. Let q = 20 - f. Is q a prime number?
False
Suppose -6*y + 1865 + 4393 = 0. Is y a composite number?
True
Suppose 36 = 4*v + 4. Suppose a + 8 = -0*x - 4*x, -3*a = -4*x - v. Suppose -4*p + 238 + 78 = a. Is p prime?
True
Let p be ((-24)/(-9))/((-2)/(-3)). Suppose -p*s + 3*x = -1481, 0 = 6*s - s + 4*x - 1859. Is s a composite number?
True
Let z(f) = -f**2 - 10*f - 5. Let c be z(-9). Let n(u) = 35*