 Suppose 265 = 2*z + c*z. Is z a composite number?
False
Let k be (-32)/(-14) + 2/(-7). Let m = 59 - -43. Is ((-2)/k)/((-2)/m) a composite number?
True
Suppose j + 3*s = 98, -4*j + 7*j - 269 = -4*s. Suppose 4*m = 265 + j. Suppose -4*i + 729 = 4*h - m, -h - 2*i + 203 = 0. Is h a composite number?
True
Let n(i) = -39*i - 1. Let z be n(-3). Suppose 0 = 5*c - 15, 2*s - 4*s + 4*c = -z. Suppose 10 = v - s. Is v prime?
False
Let b(q) = 13 - 35 + 7 + 12 + 28*q. Let a be ((-3)/2)/(3/(-4)). Is b(a) a prime number?
True
Let s(u) = -u. Let c(h) = 6 + 6*h - 10*h + 1 + h**2. Let j(w) = c(w) - 2*s(w). Is j(-6) composite?
True
Let t be (-1 - 0)/1 + 1. Let w be t + (3 - -1) + 0. Suppose -w*f + 27 = -33. Is f prime?
False
Suppose 0 = 4*m, 0 = -2*d + 2*m + 2 + 122. Is d/10 + 1/(-5) a prime number?
False
Suppose 764 = 4*x - 3*a, -380 = -2*x - 0*x + 2*a. Is x a composite number?
True
Suppose 0 = n - 3*s - 125, -4*n + 524 = -0*s - 4*s. Suppose 4*l = 3*l + n. Is l a prime number?
False
Suppose r = 6*r - 115. Is r composite?
False
Suppose -2*g = -4, -5*g = 5*z - 2*g - 1381. Let t = z - 130. Is t prime?
False
Suppose 2*c = 5*c + 555. Let z = -128 - c. Suppose -3*w = -6*w + z. Is w a prime number?
True
Let j(y) = y**2 - y. Let t(x) = 5*x**2 - 13*x + 7. Let p(h) = -3*j(h) + t(h). Suppose -2*k - 18 = -5*k. Is p(k) composite?
False
Let z(s) = -55*s - 2. Let c be z(-2). Let g = c + -75. Is g a prime number?
False
Suppose -5*n - 5*y = 15, 3*n - n = 3*y - 26. Let t = n + 6. Let w(o) = 44*o**2 + 2*o + 1. Is w(t) a prime number?
True
Let g = 9 - 13. Is (-462)/g - 1/2 composite?
True
Let m(q) = 14*q + 35. Let y(d) = -9*d - 23. Let v(p) = -5*m(p) - 8*y(p). Is v(7) composite?
False
Suppose 1394 = k + k + 2*n, 5*n = -3*k + 2097. Is k composite?
True
Is 24/(-18)*102/(-4) a prime number?
False
Let s = 407 + 704. Is s a prime number?
False
Suppose -p + 19 = -7. Suppose -5*o = m - 374 - p, -3*m = -15. Is o prime?
True
Suppose 0 = 3*g - 4*m - 109, 6*m = 2*m - 16. Is g composite?
False
Let d = 1300 - 399. Let u = d - 639. Suppose -4*s + 2*j = -u, -3*j = 2*s - j - 140. Is s a composite number?
False
Let d(g) = 27*g + 25. Is d(14) prime?
False
Let l be 22/(0 - (-5 + 3)). Suppose 2*k = 1 + l. Let w(u) = u**3 - 6*u**2 + 10*u - 7. Is w(k) composite?
False
Suppose 0 = 2*p + 2*p + 28. Let n(b) be the third derivative of b**6/120 + b**5/10 - 7*b**4/24 + b**3/2 - b**2. Is n(p) composite?
False
Suppose -11 = 3*p - 4*n, -4*p + 23 = -3*p + 4*n. Let d(u) = 40*u**2 - 6*u + 5. Is d(p) a prime number?
True
Suppose -5*n + 2124 + 281 = 0. Is n a composite number?
True
Is (-3)/2 + (-5)/(30/(-2487)) composite?
True
Is 424/2 - 21/(-7) a prime number?
False
Let a(b) = 9*b - 1. Let h be (11/33)/((-2)/(-36)). Is a(h) prime?
True
Let m = 3 - 0. Suppose -k = m*k - 32. Suppose -66 = -2*t + k. Is t a composite number?
False
Suppose 11*f + 1311 = 14*f. Is f a prime number?
False
Let g(k) = 13*k**3 - k**2 - 4*k + 5. Is g(3) prime?
False
Let y(p) = -p**3 - 12*p**2 + 13*p + 4. Let f be y(-13). Suppose 7*u - 789 = f*u. Is u a prime number?
True
Let w(k) = -11*k**2 + 7*k - 11. Let p(r) = 2 - 1 + 5*r**2 - 3 + 7 - 3*r. Let z(s) = 9*p(s) + 4*w(s). Is z(-11) composite?
True
Let c(s) = 3*s + 9*s - 4*s**2 + 3*s**2 - 10 - 3. Is c(9) a prime number?
False
Let g = 1198 - 625. Is g composite?
True
Let n = 422 - -23. Is n prime?
False
Let d(g) = 10*g - 3. Let h(x) = -x**2 - 7*x + 4. Let f be h(-7). Suppose f*n = 5*w + 36, -w = -5*n + 3*w + 36. Is d(n) composite?
False
Suppose 0*p + 8 = 4*p. Suppose 0*u + 692 = p*u. Suppose t - 23 = -r + 64, 5*t - u = -4*r. Is r composite?
False
Let q = -299 + 426. Is q composite?
False
Suppose -11468 = 2*d + 3*d - 4*n, 3*d + 6882 = 2*n. Let o be d/(-10) + (-6)/(-15). Suppose 3*s = 5*l + s - 575, 5*s = -2*l + o. Is l composite?
True
Suppose 0 = -f + 6 + 2. Is 540/f + (-2)/4 a prime number?
True
Suppose 0 = 3*r - 0*n + 3*n - 2664, -2*r - 4*n = -1782. Suppose 0 = 3*l - 738 - r. Is l composite?
False
Let g = 56 - 25. Is g composite?
False
Let f(x) = 2*x**3 - 11*x**2 + 9*x + 1. Let g(q) = -q**2 + 3*q + 4. Let m be g(3). Suppose 0 = m*h + 4*k - 12, -3*k + 0*k = h + 5. Is f(h) composite?
False
Let w = 103 + -73. Let j = w - -76. Is j prime?
False
Let g(v) = 5*v**2 + 2*v + 0*v**2 - 7*v + v**3. Suppose 0 = -2*o - 2*u + 5*u - 13, 4 = -o - u. Is g(o) prime?
False
Suppose 0 = -2*u + 39 + 55. Is u*(-3)/((-9)/3) a prime number?
True
Let j(o) = -2*o**2 - 3*o. Let n be j(-2). Let b = -4 + n. Is (178/b)/((-4)/12) a prime number?
True
Let a(t) = 341*t**2 + 4*t + 5. Is a(-2) a prime number?
True
Let w = 10 - 6. Is w*(0 + (-141)/(-12)) a prime number?
True
Let l = 21 + -14. Suppose 0 = 2*m - l*m. Suppose n - 5*n + 140 = m. Is n composite?
True
Suppose -928 - 527 = -3*q. Is q a composite number?
True
Let d(p) = -p**2 + p + 337. Is d(0) a composite number?
False
Suppose -3*h = -2*h + 4*x - 941, 2*h + 2*x = 1852. Is h a composite number?
True
Let s = -132 - -313. Is s a composite number?
False
Suppose 1594 = 3*b - 1589. Is b composite?
False
Suppose 4 = -2*n - 4. Let z be (-8)/(-6)*(-1 - n). Is (z + 1 + -4)*113 a prime number?
True
Let c = -6 - -5. Let n be c + 827 - (-3 - -3). Is n/10 - (-16)/40 composite?
False
Let g(b) = -18*b + 1. Let u be ((-14)/(-8))/1*-4. Is g(u) a prime number?
True
Is (-4914)/(-5) - (-8)/40 composite?
False
Is ((-2871)/18)/((-1)/(-2))*-1 composite?
True
Is -1*(78276/(-72) + (-2)/(-12)) composite?
False
Let n be 1/4 - 110/(-8). Let f be (-1)/(-7) - 4386/(-119). Let o = f - n. Is o a prime number?
True
Let j(f) = -f**3 + 4*f**2 - f + 4. Let d be j(4). Suppose 0 = -2*c + 4*z + 206, d = -c + 5*z + 62 + 50. Is c a composite number?
False
Let b(p) = -p**2 - 2*p - 3. Let x be b(-3). Let v be (x + 5)/(2/190). Let g = -40 - v. Is g composite?
True
Let v(a) = 3*a**2 - 2. Let b be v(3). Suppose c + b = 6*c. Is 31/(-3 + c - 1) prime?
True
Let r = 51 - 26. Is r a composite number?
True
Let m(g) = -g**2 + 2*g. Let b be m(2). Suppose 3*c - 2*o - 3*o - 333 = b, -3*o = 0. Let p = -26 + c. Is p prime?
False
Let v = -344 + 558. Is v prime?
False
Let u(k) = -k**2 + 2*k + 77. Is u(0) a prime number?
False
Let o(j) be the first derivative of j**4/4 + j**3/3 + j**2/2 + 14*j + 3. Let c be o(0). Is 1082/c + (-10)/35 a prime number?
False
Suppose 2*j - 5*b - 8 - 298 = 0, 5*j + 2*b = 707. Is j composite?
True
Let n = 3 + 1. Is n/6 - (-122)/6 composite?
True
Let y = 9 + -5. Suppose 8*x - 3*x + 109 = y*t, -140 = -5*t + 5*x. Is t prime?
True
Is 412 + 5/10*6 a prime number?
False
Let u = 397 - 104. Is u a composite number?
False
Suppose -5*f + 65 = -5*n, 0*f + 43 = 3*f - 4*n. Is (-3)/f + 536/6 prime?
True
Suppose 0 = 3*h - 228 - 18. Is h composite?
True
Suppose 2*z = 162 + 264. Is z a prime number?
False
Let r be (12/4 + 145)/2. Let b(i) = 72*i**3 - 2*i**2 + 1. Let x be b(1). Suppose -x = -k - 4*f, 2*k - r = 2*f + 118. Is k prime?
False
Suppose 688 + 316 = 2*i. Is i composite?
True
Suppose -5*v - 2 = 8. Let l = -4 - v. Is (l - -3)/(5/445) prime?
True
Let s be (16/(-10))/((-2)/(-7330)). Is s/(-20) + (-3)/15 prime?
True
Suppose 5*h - 7 = 3. Let u = -60 + 105. Suppose 2*k - u = -3*b, b + h*b + k - 42 = 0. Is b prime?
True
Let t(j) = -4*j + 0*j - 1 - 4*j. Is t(-3) prime?
True
Let p(i) = -i - 2. Let u be p(-1). Is (0 + u - -47) + 1 a composite number?
False
Suppose 2*j - 900 = -3*n - j, 5*j + 1191 = 4*n. Is n prime?
False
Let m(r) = r**3 - 3*r**2 - r + 1. Let k be m(3). Is 114 - (-1)/k*2 a composite number?
False
Is 304/9*1 + (-2)/(-9) a prime number?
False
Let b = -3 - -6. Suppose 5*h + d = 4*d - 27, 4*d = b*h + 14. Is 333/h*4/(-6) composite?
False
Let s(n) = -118*n**2 + 1. Let y be s(1). Let i(b) = -b**2 - b + 6. Let x be i(5). Is y/(-12)*x/(-9) composite?
True
Suppose 4*l + l = -3*c + 19069, -3*c + 19049 = -5*l. Is c a composite number?
False
Let l(n) = 2*n**2 + n + 1. Let j be l(-1). Suppose -j*c + 1 = -3*c, -4*c = 3*m - 227. Is m a composite number?
True
Let i(d) = d**3 - 2*d**2 - 3*d + 2. Let q be i(3). Is 142/4 - q/4 a prime number?
False
Let w = 20 - -7. Suppose -4*l - 4*s + 7 = w, 5*l = -s - 5. Suppose l = -3*h - 2*n + 4*n + 463, 2*h - 326 = -3*n. Is h composite?
False
Let t(b) = -b + 11. Let o = 16 + -8. Let i be t(o). Is (i + 0)*9/3 prime?
False
Let n(i) = 12*i + 19. Let c(g) = 10*g. Let z be c(1). Is n(z) a compo