e ((-9)/18)/(v/112). Let t = g - -93. Is t composite?
False
Suppose 4*b + 16 = 0, -4*n + 3*b + 1017 = -n. Suppose -4*o = 2*m + 470, 3*o + 4*m - 60 + 410 = 0. Let w = o + n. Is w composite?
True
Suppose 0 = 2*l - 10. Suppose l*h - 77 = -w, w + 2*w = 5*h + 231. Is w a composite number?
True
Let c = 8011 - 5114. Is c a composite number?
False
Suppose -250 = -f + 5*x, 0 = -f + 3*x + 81 + 175. Is f composite?
True
Let z(q) = -15*q**3 - 2*q**2 - 3*q - 1. Is z(-3) prime?
False
Let i be (-22 + (-12)/(-4))/(-1). Suppose f - i = 126. Is f a composite number?
True
Suppose -2*n = -3*n + l + 3, 0 = -4*l + 4. Suppose 3*v - n = v. Suppose -3*y - 69 = -2*d, 2*d + v*y = 12 + 52. Is d a prime number?
False
Let r(v) = 2*v**3 - 3*v**2 + v - 1. Let n be r(2). Let b = 7 + -4. Suppose 0 = b*h - 5*c - 97, -n*h + 2*c = -0*h - 168. Is h prime?
False
Let p = 390 + 353. Is p a prime number?
True
Suppose o = -3*w - 3*o + 597, 2*w + 2*o - 398 = 0. Let j = 284 - w. Is j prime?
False
Let m = -51 - -74. Let f be (-4)/(-6) + (-382)/(-3). Suppose -3*t = m - f. Is t prime?
False
Suppose -7*p = -3*p - 220. Is p a prime number?
False
Let d be ((-6)/(-4) - 2)*-10. Suppose k + 4*k = 0. Suppose 2*l - 159 = -5*z, -z = -k*z + d*l - 18. Is z composite?
True
Suppose 0*j - 2685 = -5*j. Is j prime?
False
Suppose 5*w = 4*x - 1504, -2*x - 2*w = -4*x + 750. Is x a composite number?
True
Is 2/5 + (-1659)/(-15) a composite number?
True
Suppose 0 = 5*f - f - 4. Suppose i = -f + 6. Suppose i*d = -17 + 67. Is d a prime number?
False
Let q(a) be the third derivative of -3*a**2 - 7/2*a**4 + 0 - 1/6*a**3 + 0*a. Is q(-1) a prime number?
True
Suppose b - 889 = -3*h + h, -h - 4*b = -455. Is h a composite number?
False
Suppose 5*x - 21 = t, t + 4 = 2*x - 2. Suppose j + 759 = t*j. Is j a prime number?
False
Let g(f) = f**3 - 3*f**2 + 2*f - 1. Let r be g(2). Let x = r - -3. Suppose -j + 105 = x*j. Is j composite?
True
Let z(x) be the first derivative of -4*x**2 - 7*x - 3. Let b(a) = -15*a - 15. Let h(r) = 2*b(r) - 5*z(r). Is h(5) prime?
False
Suppose 2*o = 3*f - 13, 3*o - 5*o = 5*f - 27. Let x be ((1 - 0) + 8)*o. Suppose -s - 2*s = -x. Is s a composite number?
False
Is (-1 + (-8)/(-3))*537 prime?
False
Let i = 1004 - 701. Let w = i - 46. Is w composite?
False
Suppose 4*i - 6*i - 152 = 0. Let l = 163 + i. Is l prime?
False
Let x be -7 - 12 - (1 - 1). Let b = 106 + x. Is b a prime number?
False
Suppose -4*a = a - 2140. Suppose -1079 = -3*v - a. Is v a composite number?
True
Let w(o) = -o**3 + 4*o**2 - o - 3. Let v be w(3). Suppose a + v*a = 100. Is a prime?
False
Is 5320/6 + (-20)/(-60) a composite number?
False
Is (1 + 860)*(-6)/(-18) a composite number?
True
Let c(t) = 108*t**2 - 2*t + 1. Let n be 0 + 2/(-2) - -2. Let r be c(n). Suppose 4*z = -3*y + r, -2*y + 40 + 32 = 2*z. Is y composite?
False
Suppose 8*f - 14785 - 6087 = 0. Is f composite?
False
Suppose 3*v - 2100 = 3*d, 5*v + 3*d - 729 - 2763 = 0. Is v a prime number?
False
Suppose 2*j = -f + 79, 0*f + f + 3*j = 80. Is f a prime number?
False
Suppose -3*a - 54 = -498. Let w = a - 39. Is ((1 + -2)*w)/(-1) a composite number?
False
Suppose 0 = -2*c - 4*s - 15 - 91, -3*c - 127 = -2*s. Let d = c - -70. Is d composite?
True
Suppose 4*k = -0*k + 12. Let g = 6 - k. Is g composite?
False
Let o(a) be the third derivative of a**6/120 + a**5/12 + a**3 + 4*a**2. Is o(-4) composite?
True
Let d(w) = 5*w**2 + 10*w - 4. Let i be d(10). Is i*((-105)/(-12))/7 prime?
False
Let i = 63 + -93. Is (-33)/(-2)*(-740)/i a composite number?
True
Let m(p) = 2*p**3 - 5*p**2 + 9*p + 11. Is m(8) composite?
False
Let y be (2 - 6*-1) + -2. Let z(f) = f + 2*f**2 + 7 - 2*f + 2*f**2. Is z(y) a composite number?
True
Let i(b) = 7*b**2 - 1. Let d = -4 - -3. Let h be i(d). Suppose -v - h = -2*v. Is v a composite number?
True
Let t(n) = -83*n**3 + n**2 + n. Is t(-1) prime?
True
Suppose -d - 22 = 5*u, -2*d - 4*u - 1 - 13 = 0. Is d + -1 + 102/2 a composite number?
False
Let y(p) = -6*p**2 + 4*p + 3. Let u be y(-2). Let x = 40 + u. Is x a prime number?
True
Let b be 26/6 + 2/3. Let n(m) = 12*m**2 - 3*m + 1. Let a be n(2). Suppose -b*x = g - 255, -2*x - a + 145 = 3*g. Is x a prime number?
False
Let u = 17 - 15. Let y = -3 - -5. Is (y - (-15)/u)*2 prime?
True
Let r be (0 - 3)/(0 - 1). Let x(j) = -j**3 + 2*j**2 + j - 2. Let b be x(2). Suppose 0 = -b*s + r*s - 861. Is s a prime number?
False
Let h be 0 + 4*(-1)/(-2). Suppose -j - 126 = -y - h*y, 3*j - 126 = -3*y. Suppose 3*v - 3 = y. Is v prime?
False
Let i = 9 + -6. Suppose -i*w = 2*w - 5. Is 1*w/3*6 composite?
False
Suppose s + 2*s - 287 = 4*d, -3*s = 3*d - 294. Let j = s - 20. Is j a prime number?
False
Let a = 24 - 1028. Let w = -675 - a. Is w prime?
False
Is (-25)/((5 + -4)/(-1)) composite?
True
Suppose -1000 = -3*v + 455. Is v composite?
True
Is (-3)/2 - -3 - (-969)/6 prime?
True
Is -3*-331*(-4)/(-12) a composite number?
False
Let b(f) = -f**2 - 2*f - 1. Let w be b(-2). Let h be (5 + 1)/w*-51. Is ((-1)/(-3))/(2/h) prime?
False
Let l = 4 - 1. Suppose 4*a - l*c - 265 - 247 = 0, -12 = -3*c. Is a a prime number?
True
Suppose 0 = -h - 3*c + 13, -5*h - 4*c + 35 = c. Suppose -h*n + 285 = -n. Is n a prime number?
False
Is (-451)/(((-9)/(-27))/((-1)/3)) a composite number?
True
Let p = 7 - 3. Suppose -5*o = 15, -p*o = -2*w + 1 + 55. Is w a composite number?
True
Let m = -3 + 4. Let a be -1*((-74)/m)/2. Let w = 63 - a. Is w composite?
True
Let y(d) = -d + 9 - 10*d**2 + 7*d + 3*d**3 - 4*d**3 + 4*d**2. Is y(-8) a prime number?
True
Let j be 1/(1/(-1)) + 6. Suppose -2*l + 9 = -5*z, 0 = -j*z + l + 3*l - 3. Let d = 10 - z. Is d composite?
False
Let o(j) = -j**3 + 6*j**2 - 4*j - 5. Let p be o(5). Let n = p - 0. Suppose n = 2*z + 82 - 400. Is z a prime number?
False
Suppose -2*p + 674 = 2*m - 6*m, 0 = -2*m - 5*p - 307. Let s = -45 - m. Is s prime?
False
Let f(k) = k**3 - 13*k**2 + 28*k - 11. Is f(11) a prime number?
False
Suppose 4*y = -18 - 242. Is 14/7 - y/1 a prime number?
True
Suppose 0 = -4*t + 5 + 35. Suppose -b - 1 = -3*g - t, 2*b - 9 = -3*g. Is b composite?
True
Suppose -g + 13 = 3. Let m be 6/g - 66/(-15). Suppose -m*z - 168 = -553. Is z a prime number?
False
Let f(b) = 21*b + 1. Suppose 5*x - 13 = -3. Is f(x) prime?
True
Suppose -5*h = 5*b - 10265, 2*h - h = -5*b + 10265. Is b a prime number?
True
Suppose 5*p - 2*p - 24 = 0. Suppose 25 = -5*n + 3*m, -4*n + p = 4*m - 4. Is n/2*(-37)/1 a composite number?
False
Let c = 4444 - 2465. Is c composite?
False
Let r = 22 - 22. Is r + -8 + 4 + 167 composite?
False
Is 6250 - (-5)/10*-6 a prime number?
True
Suppose 0 = -2*o - 6, -3*o + 203 = 4*b - 0*o. Suppose 3*p + b = 5*t - 131, -5*t + 172 = p. Is (-10)/t - (-23)/7 a prime number?
True
Let u be (-2)/(-13) + 4/(-26). Suppose u = j - 5*j - o + 435, 2*o - 543 = -5*j. Is j a composite number?
False
Let q = -444 + 737. Is q composite?
False
Suppose 2*n + 890 = 2*g, -5*n + 2205 = 2*g + 3*g. Is g a prime number?
True
Suppose -g + 5 = -1. Is ((-41)/2)/((-1)/g) a composite number?
True
Suppose 5*r - t - 1239 = 0, 0*t - 753 = -3*r + 3*t. Is r composite?
True
Let w be 74/(-26) - (-8)/(-52). Let z(c) = -c**3 + 2*c**2 + 2*c - 4. Is z(w) composite?
True
Suppose 2*h = -2*g + 334, 427 = 2*h - 5*g + 79. Is h a prime number?
False
Let l(m) = m**3 - m**2 - m. Let h be l(-1). Is (-1 + -39 - h)*-1 composite?
True
Suppose 3*h - 2 - 4 = 0. Is ((-53)/h)/((-2)/8) a prime number?
False
Let u(g) = 2*g**2 - 6*g + 3. Is u(5) prime?
True
Let p(q) be the first derivative of -q - 6*q**2 + 2 - 1/3*q**3. Is p(-11) prime?
False
Let m(s) = -3*s**3 - 4*s**2 + 3*s + 5. Suppose 26 - 6 = -5*c. Is m(c) prime?
False
Let m = -15 + 37. Is m composite?
True
Let w = 14 + -10. Is 1/w + (-1356)/(-16) composite?
True
Let q = 256 - 126. Let r = q + 127. Is r a composite number?
False
Let q(w) = -w + 10. Let j be q(10). Suppose 4*p = 3*m + 16, j*m = m. Suppose -177 = v - p*v. Is v a composite number?
False
Suppose 5*o + b = 4*o - 2, -b - 5 = 0. Suppose -3*j + 2 + 1 = -o*s, -2*s + 1 = -j. Suppose 0*f + 3*y + 257 = f, 0 = j*y + 6. Is f prime?
True
Is (-3)/((1 + 4962/(-4971))*-1) composite?
False
Suppose 5*s + 17 = -3. Is (262/(-3))/(s/6) a composite number?
False
Let t be -3*((-6)/9)/(-1). Let o = t + 3. Suppose q - 20 = o. Is q composite?
True
Is 3078/21 + 8/(-14) a prime number?
False
Let w(h) = 281*h**3