True
Suppose -3*w - 15 = -4*w. Is (w/10)/((-3)/(-92)) a prime number?
False
Let g = 68 - 2. Is (16/24)/(4/g) composite?
False
Suppose 5*h + d = -d + 13, h = -3*d. Suppose -h = w, -4*k + 355 + 370 = 5*w. Is k composite?
True
Is -5079*(-2)/9*6/4 a composite number?
False
Suppose 0 = 2*a - 4*a + 586. Is a a prime number?
True
Suppose 27 + 18 = 5*v. Suppose -2*c = -3*d + 10, -4*d + 3*c + 3 + v = 0. Suppose 0 = 4*g + 2*b - 70, d*b - 2*b = 20. Is g prime?
False
Suppose -24*f = -27*f + 1479. Is f composite?
True
Let m be (-3 + (-229)/(-2))*-2. Is m*(3 + (0 - 4)) a prime number?
True
Let u(w) = w**3 + 3*w**2 - w - 1. Let m be u(3). Is m + (6/2)/(-3) composite?
True
Let j(o) = -o**3 - 5*o**2 + o + 6. Let p be j(-5). Let s be (-4 + 3)*(-2)/p. Suppose -s*c + 4*u + 150 - 32 = 0, -4*c + 3*u + 221 = 0. Is c a composite number?
False
Is (260/6 + -1)*3 prime?
True
Suppose -2*m + 20 = 2*y, -3*m + 40 = y + 4*y. Let w(u) = -u**2 + 14*u - 10. Is w(m) a composite number?
True
Suppose 4*s - 2164 = -0*s. Is s a composite number?
False
Let q(t) = 2*t + 4. Let j be q(8). Let g be j/(-2 - 7/(-4)). Is (-1)/3 + g/(-6) a prime number?
True
Is (15952/40)/(2/5) a composite number?
False
Let f = -418 + 655. Is f composite?
True
Let h = 25 - 14. Let p = h - 6. Suppose 2*q - 96 = -3*q - 3*u, -p*u = -2*q + 57. Is q a prime number?
False
Let m = -38 + 1251. Is m a composite number?
False
Let m(u) = u - 5. Let s be m(7). Let c = 1 + s. Suppose -b + 261 = -2*x, 2*b = c*b - 5*x - 267. Is b composite?
False
Let j = 21 + -12. Is (9/(-6))/(j/(-114)) prime?
True
Let u = 361 - 170. Is u a composite number?
False
Let k be 2/(4*(-1)/2). Let l be -2 - (-2 + 1 + -2). Is 37 - (k + l)/(-1) composite?
False
Let u(n) = 4*n**3 + 3*n**2 + 4. Suppose -6 - 3 = 3*t. Let a be u(t). Is 4/(-6) + a/(-3) a prime number?
False
Let v(a) = -a**3 + a**2 + a - 1. Let q be v(0). Let d = 2 + q. Is d*(2 + 7 + 0) a composite number?
True
Let w(m) = -m**3 - m**2 + m + 347. Is w(0) prime?
True
Suppose -2*k - 12 = 2*k, -5*y + 3712 = k. Is y prime?
True
Let v = -2 + 10. Let k = v - 4. Suppose -d = -n + 8, -k*n - d + 52 = -5. Is n a composite number?
False
Suppose -u - 5 = -6*u. Suppose 4*r - 3*r = 5*b - u, 5*b + 17 = 3*r. Is 2/r - (-950)/18 prime?
True
Let r(z) = -z**2 + 6*z - 3. Suppose 4*j - 2*k - 30 = 0, -4*j + 3*k + 27 = -j. Let q be r(j). Let x(t) = -3*t**3 - 4*t**2 - 2*t + 2. Is x(q) prime?
True
Suppose -1011 = -2*c + 327. Is c a prime number?
False
Suppose 7 = 4*l + 5*m + 55, 3*l + 67 = 4*m. Suppose -40 = 3*f + f. Is l/(-5) + 4/f a composite number?
False
Suppose 4*k = 2*j + 158, -2*j + 179 = 5*k + 4. Is k prime?
True
Let o be 2/(-10) - 341/(-5). Let u = -6 + 10. Suppose -u*f + o + 24 = 0. Is f a composite number?
False
Suppose -6*h = -h - 200. Suppose -34 = -2*s + h. Is s prime?
True
Suppose 0 = -3*q - q + 1220. Is q a prime number?
False
Is 70*36 - 10/(-10) prime?
True
Suppose -5*a - 8 = -3*a. Is a/22 + 732/33 a composite number?
True
Let p = -16 - -19. Suppose -5*b + 101 = w + 13, 0 = -3*w + p*b + 246. Is w composite?
False
Suppose 3*p - 15 = -0. Suppose -p*n + 771 = -2*n. Is n a prime number?
True
Let k(r) = 253*r**2 - r - 1. Is k(-1) a composite number?
True
Let h = -25 - -264. Is h a prime number?
True
Let q(h) = h - 1. Let z be q(5). Let s(d) = 4*d - 1. Is s(z) a composite number?
True
Let y be (-8)/3*66/(-8). Let o = -7 + y. Is o composite?
True
Let s(q) = 50*q**2. Let w be s(1). Let a = -15 + w. Is a prime?
False
Let t = -8 + 10. Suppose -t*p = -2 - 176. Is p a prime number?
True
Let d be -1 + (-2 - (-5 - -2)). Suppose 2*q - 2*g + 0 = 140, 5*q + 2*g - 322 = d. Let t = 13 + q. Is t prime?
True
Let r = 1986 + -293. Is r composite?
False
Suppose 0 = -5*l - 25, 0 = 5*h + 4*l - l + 5. Suppose h*y - 6 = 2. Suppose y*b + 5*i = 57, -b + 38 = 2*b - i. Is b a prime number?
True
Suppose -5*f + 4 = i - 15, -4*i = 4. Suppose -f + 241 = 3*r. Is r a composite number?
False
Suppose 0 = 3*z + z - 348. Is z a composite number?
True
Suppose 3*l - 2*t = 6, -3*t + 2*t = l - 2. Let b be -1 - (-2 + -2 + 1). Suppose -b*q + 3*q = l*w + 31, 0 = 4*q + 5*w - 59. Is q a composite number?
True
Suppose u - 5*r = 10, 2*u = 5*r - 14 + 39. Suppose 16 = x - u. Is x a prime number?
True
Let q(z) = -17*z**2 + 5*z + 3. Let h be q(-6). Is h/6*2/(-3) a prime number?
True
Let w be 5*(-6)/(-15) + 59. Suppose 18 = 2*c + 5*d - w, -c = -4*d - 33. Is c composite?
False
Suppose 3*f + 74 = 2*v - 44, 0 = -4*v + 3*f + 236. Let a = v - 8. Suppose 4*p - a = 121. Is p a prime number?
True
Let s(z) = -130*z + 17. Suppose 5*y + 5 = -25. Is s(y) a composite number?
False
Let x = -326 - -183. Is 3/(-6) - x/2 a prime number?
True
Let l be ((-134)/(-6))/(2/6). Let r be 242/2 + -1 - -2. Let n = r - l. Is n prime?
False
Let r be (-3188)/(-6)*(1 + 2). Suppose 5*f + 159 = r. Is f a composite number?
True
Let j be ((-111)/2)/(12/16). Is (j/(-8))/((-1)/(-4)) a prime number?
True
Suppose 0 = 3*z - 3*l + 51, z + 45 = -2*z + 5*l. Is (215/z)/(1/(-4)) a composite number?
False
Suppose -5*x + 25640 = -4*j, 7*x - 3*x - 25640 = 4*j. Is j/(-20)*(-1 + 3) a composite number?
False
Let g(u) = 2*u. Let x(j) = j**2 + 2. Let r be x(2). Let c be g(r). Is (-3)/c - 375/(-12) composite?
False
Suppose 15 = 4*c - 3*q, -q - 5 = -0. Suppose c = -0*h - h + 3. Suppose -2*z - h*d = -4*d - 182, -z + 81 = 2*d. Is z a composite number?
False
Let z be 0 - 2 - 28/4. Let b be (-3)/(z/10)*-3. Let k = 33 + b. Is k prime?
True
Let m(n) = 5*n**2 - 1. Let h be m(1). Suppose -x - 3*y = -12, y - h = -0. Suppose 3*i + 2*g - 107 = x, 5*i - 98 = 4*g + 73. Is i prime?
False
Let h be 2 + 1 - 3/3. Let u be 12/8*(0 + h). Suppose -5*v + 0*v + 71 = u*f, 4*v - 44 = 4*f. Is v a prime number?
True
Let k(l) = -l + 4. Let o be k(0). Suppose p + 2 = 0, 5*h - 1753 = p - 106. Suppose o*m - h = -x, x + 0*x = 1. Is m a composite number?
True
Let j(o) = -69*o**2 - 7*o - 7. Let f(p) = 34*p**2 + 3*p + 3. Let l(v) = 7*f(v) + 3*j(v). Let d be l(2). Let n = d + 213. Is n composite?
False
Let o(v) = v**2 + 3*v - 3. Let r be (4/12)/(2/18). Let n(i) = -i**3 + 2*i**2 + i - 1. Let k be n(r). Is o(k) a composite number?
True
Let m = -63 - -27. Let s = m - -55. Is s prime?
True
Let p = 37 + 414. Suppose 2*y - y = p. Is y prime?
False
Let v(t) = -2*t**3 + 17*t**2 + 4*t - 5. Is v(8) a composite number?
True
Is ((-39)/2 - -1)*-26 composite?
True
Suppose 7*a = 14*a - 12271. Is a composite?
False
Let b(o) be the first derivative of o**4/4 + 4*o**3/3 - 5*o**2/2 - 6*o + 1. Let l(c) = c**2 - 10*c - 4. Let r be l(10). Is b(r) composite?
True
Let l(b) = -50*b - 1 + 327*b + 29*b. Let r be l(1). Let i = -72 + r. Is i prime?
True
Let a be 8/(-36) + (-1005)/(-27). Suppose -3*f - a = -4*f. Is f a prime number?
True
Let a = 10 - -22. Suppose -30 = -2*r + a. Is r prime?
True
Suppose 5*u = -3*x + 3124, -5*u + 3216 = 5*x + 86. Is u a composite number?
True
Is (-1347)/(-3) + -1 + 3 prime?
False
Let z(l) = -31*l**2 + 2*l. Let h be z(2). Let y = -65 - h. Is y prime?
False
Let m be 3/(-2)*(0 - 6). Is 1662/m - 2/(-6) composite?
True
Let d(u) = 1344*u**2 - 3*u - 2. Is d(-1) prime?
False
Let q be 25/(-10)*(-52)/2. Let u = 80 + q. Is u prime?
False
Suppose -2*a - 3*a = -1480. Let h = a + -65. Suppose -q + h = 2*q. Is q a prime number?
False
Let p be (1 - (-4)/1) + -2. Suppose 0 = v - p*v + 3*z - 14, -5*v - 10 = 5*z. Let b(a) = -a - 1. Is b(v) a prime number?
True
Let n be 7860/21 - 2/7. Suppose -3*i + n = 5*w + 123, -3*i - 141 = -3*w. Is w a composite number?
True
Let j = -11 + 38. Let b be 1/1*(4 + -1). Suppose -j = b*x - 132. Is x a prime number?
False
Let b = 37 - 19. Let y = 1 + b. Is y a composite number?
False
Let w be (-1 + 2)*6/2. Suppose -2 = 5*b + w. Is b/(1/83*-1) a prime number?
True
Let t = -232 - -773. Is t a prime number?
True
Suppose -30 = -5*g + 25. Let y(z) = z**2 - 9*z + 15. Is y(g) composite?
False
Let a(k) = 14*k. Suppose -12 = 4*y, 0 = -5*v - 5*y + 2*y + 16. Let b be a(v). Let j = b + -33. Is j composite?
False
Let p be 2/(-4) + 15/10. Suppose -4*c + 6 = -7*c. Is (c - -2 - -114) + p a composite number?
True
Let h(f) = 10*f**2 + 9*f + 10. Is h(-9) prime?
True
Suppose 3*x = 2*n + 74, n + n = 2*x - 48. Let b(j) = j**3 + 5*j**2 - 2*j - 6. Let r be b(-5). Suppose r*t + 10 = x. Is t a composite number?
True
Let u be 2 + 5*7*1. Suppose 0 = -