h a prime number?
False
Let z(d) be the third derivative of d**6/120 + d**3/3 - 9*d**2. Suppose 0 = 2*q + 3 - 7. Is z(q) a composite number?
True
Suppose 0 = -3*s + 7*s - g + 10, 2*s = 3*g - 10. Is 116 + s + -3 + 4 a composite number?
True
Let a = 4215 - 2734. Is a prime?
True
Let v = -805 + 429. Let t = v - -1017. Is t prime?
True
Let b(y) be the second derivative of 29*y**3/6 + 2*y**2 - y. Is b(9) composite?
True
Let i = 218 + -133. Suppose 4*v + i = -4*b + 445, -2*b + 190 = 4*v. Is b composite?
True
Let r = 1 - -5. Suppose 0 = -3*s + 3*i + 93, -s + r + 9 = -5*i. Let c = s - 2. Is c a prime number?
False
Let a be 5 + -5 - (-405 + -1). Suppose -a = -2*d - 144. Is d composite?
False
Let q(h) = 77*h**2 - 2*h - 10. Is q(-3) a composite number?
True
Let x(w) = 5*w - 1. Suppose 4*v + 4*u = -0*u + 24, -2*u + 7 = -3*v. Let t be x(v). Suppose t*h - 124 = -48. Is h a composite number?
False
Let n = 160 - 75. Let m = 147 - n. Is m prime?
False
Let v be (-22)/18 - 8/(-36). Is 203/2*(v + 3) a composite number?
True
Let d = -150 - -247. Is d prime?
True
Let k = -1473 - -2686. Is k a composite number?
False
Let k(t) = -34*t - 13. Is k(-21) a composite number?
False
Suppose 2*s + 310 = 7*s. Is s a prime number?
False
Suppose 0*l - 376 = -4*l. Suppose -l = -3*w + 389. Is w composite?
True
Suppose -3*w = -3*i + 6, i = 5*w - 3*i + 6. Let g be (-5)/(-1*1 - 0). Suppose -g*f = 4*j - w*j - 45, -2*f = 2*j - 60. Is j composite?
True
Let n be ((-1 - -5) + -4)/3. Suppose n*k + 5*k = 75. Is k a composite number?
True
Let y(h) = 28*h + 6. Let p = -7 - -3. Let x be y(p). Is (1*x)/((-4)/2) composite?
False
Suppose -k + 3*k = -4*b + 4, 0 = 4*k + 3*b + 2. Is -2*(21/k + 1) prime?
True
Let u(d) be the third derivative of -d**7/1008 + d**6/180 - d**5/15 - d**2. Let q(v) be the third derivative of u(v). Is q(-3) a composite number?
False
Let d(t) = 2*t - 6. Let q be d(-6). Let k be (-50)/(-18) - 4/q. Is (23 - 1)/(2/k) a composite number?
True
Let h = 713 - 195. Suppose -v = v + 2*f - h, v - 247 = 5*f. Is v composite?
False
Let a = -14 + 34. Suppose -5*b + a = -b. Let s(u) = 2*u**2 + 6*u - 6. Is s(b) composite?
True
Suppose 2*y = 4*g + y - 1295, -4*g - y = -1289. Suppose -s - 3*s + 3*w + 651 = 0, -g = -2*s + w. Is s a composite number?
True
Let k = -5232 - -8254. Is k a prime number?
False
Suppose 3*s - 3*i + 493 = 7*s, i = -5*s + 630. Is s prime?
True
Let u = -771 - -1768. Is u composite?
False
Is (10/(-15))/1*34479/(-6) a composite number?
True
Let a(g) = g**3 - g - 1. Let w be 7/(-28) + (-25)/(-4). Let p(b) = -2*b**3 - 2*b**2 + 6*b + 5. Let v(m) = w*a(m) + p(m). Is v(2) a prime number?
True
Let v = -1 + 3. Suppose -110 - 185 = -v*r + 3*y, 3 = -3*y. Suppose 0 = -4*z + 3*a + r, -z + 6*z + 3*a = 196. Is z a prime number?
False
Let g = 14 + 11. Suppose -5*q = -0*q - g. Is (40/(-25))/((-2)/q) prime?
False
Suppose 0 = 3*g - 3*t + 924, 3*g + 2*t - 166 = -1080. Let b = g + 792. Suppose -110 - b = -4*d. Is d composite?
False
Let z = 2 - -3. Suppose -m + z*m - 8 = 0. Suppose -h = m*h - 102. Is h prime?
False
Let l(d) = -d**2 + 77. Is l(0) prime?
False
Suppose -5*b = j - 3*b - 10, 0 = -4*j + 2*b + 20. Suppose -36 = -3*t - h, t - h = -j*h - 2. Is t prime?
True
Let z = 97 + 0. Suppose -u = 3*u - 12. Suppose i - 3*c = 80, c = u*i - 119 - z. Is i composite?
False
Is ((-6)/9)/(4/(-3846)) composite?
False
Suppose -8*t + 3*t = -3*r - 15, -2*r - t = -3. Suppose 4*b = -3*z + 383, r = -5*z - b - 187 + 797. Is z composite?
True
Let r = 9 + -5. Is (r/6)/(2/93) composite?
False
Let w(y) = y - 8. Let n be w(8). Suppose 2*a + n*a = -6. Is (-6)/(-2) + a + 19 composite?
False
Let h(v) = -2*v - 6. Let r be h(-6). Let g be (-1624)/21 + (-4)/r. Let b = 187 + g. Is b prime?
True
Suppose 36*t + 1948 = 40*t. Is t a composite number?
False
Suppose -4*w + 41 = -19. Is w a composite number?
True
Let d = 2674 + 219. Is d a composite number?
True
Let u = 1697 - 1066. Is u a prime number?
True
Let d be 2/((-4)/(-222)) - 2. Suppose -f - d = -4*l, 109 = 5*l - 2*f - 31. Is l composite?
True
Let a(w) = 156*w + 3. Is a(1) composite?
True
Suppose 296 = v - 2*x, -5*x + 2 - 12 = 0. Let l = -161 + v. Is l a composite number?
False
Suppose 0 - 4 = 4*v. Is (-1)/((v/(-19))/(-1)) a prime number?
True
Suppose -1 = -c + 1. Suppose 5*h = c*h + 147. Is (-1 - -39)/(14/h) a prime number?
False
Let d(x) = 5*x**2 - 12*x - 3. Is d(10) composite?
True
Let k = 20 - 18. Suppose -2*b = k*b - 92. Is b composite?
False
Is (-1)/1*(-959 - -4) a composite number?
True
Let f be 79 - (0 + 0 + 1). Suppose -4*a + 3*a = 3*j - f, -5*j = -a - 122. Is j a composite number?
True
Suppose -3*c + 7*c + 64 = 0. Is (-1)/(-4) + (-1420)/c prime?
True
Suppose -5*u + 803 = -82. Is u composite?
True
Let q be (5/10)/((-2)/(-4)). Let r be -3*(-2 + (q - 4)). Suppose 0 = -3*g + r, -z + 4*g - 168 = -3*z. Is z a prime number?
False
Is ((-3)/(-6))/((-4)/(-712)) a composite number?
False
Suppose -141 - 414 = -5*l. Is l composite?
True
Suppose x = -0*x - 31. Suppose -3*d = 2*d. Let t = d - x. Is t composite?
False
Let i be ((-50)/4)/((-1)/(-2)). Let r = 21 + -27. Let y = r - i. Is y prime?
True
Let p(o) = -o**2 - 8*o - 4. Let x(m) = -m**3 - 6*m**2 - 4*m + 1. Let h be x(-5). Let v be (h/6)/(4/30). Is p(v) composite?
False
Let m(z) = -414*z**3 - 1. Is m(-1) a prime number?
False
Let m(y) = y**2 + 1. Let s be m(2). Suppose 4*z - a - 15 = 4*a, 4*a = -s*z + 29. Suppose -2*b + 146 = 4*x, -2*x + z*x = -2*b + 143. Is b composite?
False
Let r = -151 + 85. Let t = -32 - r. Is t a prime number?
False
Let a(o) = o - 8. Let v be a(5). Let f(n) = 2*n + 26. Let l be f(-12). Is 68/(-3)*v/l composite?
True
Let y(a) = -65*a - 12. Is y(-7) a prime number?
True
Is 4109 - 3/(0 - -3)*4 a prime number?
False
Suppose -3*l - b + 4*b = 27, -4*b = 5*l. Is (-25)/(-2) - 2/l a composite number?
False
Let z(p) = p**2 - 4*p - 31. Is z(16) composite?
True
Suppose 0 = a + 3*a. Let i be (1 + a)/((-2)/(-4)). Suppose -i*u + 210 = 4*h, -3*h - 49 = -4*h - 4*u. Is h composite?
False
Suppose 10*p = -290 + 2160. Is p prime?
False
Suppose -2*b + 4 + 0 = 0. Suppose 26 + 4 = b*k. Is k prime?
False
Let z(m) = 119*m - 1. Let b be z(1). Let i(x) = 27*x - 1. Let n be i(3). Let c = b - n. Is c composite?
True
Is (1 + 1443/12)*4 composite?
True
Let f(r) be the third derivative of -r**6/30 - r**5/15 - r**4/24 + r**3/3 + r**2. Is f(-3) composite?
True
Suppose 958 = 40*j - 38*j. Is j composite?
False
Suppose -4*h = h + 10, -1288 = 5*p - h. Is 2/3 - p/18 composite?
True
Suppose -q = 5*g - 21, 0*q + 4*q = 3*g - 31. Suppose g*w - 311 - 744 = 0. Is w composite?
False
Suppose -5*g + 8209 = 2*m, -2*g - m + 3277 = 2*m. Is g a prime number?
False
Let u = 26 - 23. Suppose -2*p + 44 = 5*j, 5*j + 4*p - u*p - 47 = 0. Is j composite?
True
Is ((0 - -2) + 1)*(11 - -42) a composite number?
True
Let m = -1948 - -3841. Is m composite?
True
Suppose 5*w + 2*h = 656 + 159, 4*w - 2*h - 652 = 0. Is w composite?
False
Suppose 2704 = 2*a + 5*c, 0 = -3*a - 6*c + 2*c + 4049. Is a a prime number?
False
Let m = 903 - 616. Suppose -i + 44 = -m. Is i prime?
True
Let x be (-6)/4*692/6. Suppose 113 - 297 = 4*c. Let f = c - x. Is f a composite number?
False
Let c be 8/(-6)*(-3)/2. Suppose 2*k + 150 = 4*h, 2*k = c*h - 0*k - 80. Is h prime?
False
Let o be (6/(-4))/((-12)/16). Let t(x) = 24*x**o + 1 - 1 - x. Is t(-1) a prime number?
False
Suppose 2624 = 5*c - 3831. Is c a prime number?
True
Is ((-2)/6)/(4/(-228)) a composite number?
False
Suppose 0*i - 28 = -4*i. Suppose -9*p + i*p = -166. Is p a composite number?
False
Let g(v) = -49*v - 5. Is g(-4) a prime number?
True
Suppose -t - 3*t = 3*o - 869, 2*t + 293 = o. Is o a prime number?
False
Suppose -2 = 2*g, 4*k - 200 = -5*g + 43. Let d(z) = z**3 + 3*z**2 + z - 2. Let c be d(-2). Suppose c = v - k - 17. Is v prime?
True
Let a = -23 - -21. Is a*((-340)/8 + -2) prime?
True
Let n = 0 - -5. Suppose 5*p - 34 = -4*y, -n*y + 3 = -2. Let b = 21 - p. Is b a composite number?
True
Suppose 5*y + 35 = 5*b, 2*y - 4*y - 26 = -5*b. Suppose 0*s = 2*a - 5*s - 494, -1201 = -5*a + b*s. Is a composite?
True
Suppose -6*q + 56 = -5746. Is q a prime number?
True
Let w = -1090 - -1991. Is w prime?
False
Is 97/(-5)*-1*5 composite?
False
Suppose -7*u + 2*u = 75. Let s = 32 + -11. Let r = s + u. Is r a prime number?
False
Suppose -2