prime?
False
Let n = -20899 + 37254. Is n composite?
True
Let t be (-18)/(3 - 5) - -4. Suppose 0 = -10*c + t*c - 4971. Is c composite?
False
Let a be (-28 + 5)*(-88)/2. Suppose 3*f = -f + a. Is f a composite number?
True
Let g be (3 - -1)*(6 + -3). Suppose -4*w = -0*w - g. Is (-426)/(-2) + (1 - w) a prime number?
True
Let u be 1*30/(0 - 3). Let t = 8 - u. Suppose -2*x + 2*n = t - 40, -4*n + 91 = 5*x. Is x composite?
True
Let y = -62229 + 112596. Let r be 1/(-5) + y/(-15). Is r/(-8) - (-6)/(-8) composite?
False
Let a be -1 - (-117)/3*3. Suppose 5*v - 28 = -o, 0*o + 4*v = 5*o + 5. Suppose o*w - m - 534 = 0, -m = -w + 60 + a. Is w a composite number?
False
Let h(y) = 6*y**2 - 6*y - 5. Suppose -u - 26 = 4*c, -2*u = -2*c + 3*u - 24. Is h(c) a prime number?
True
Is (-9)/(108/(-48)) - -16975 a composite number?
False
Suppose 2292 = 2*h - 5*h. Is (-2 - -4)/((-8)/h) prime?
True
Suppose 33 = 4*a + 5*y, -y = -4*a + 3*a - 3. Suppose 3*w - 13 = -b + w, 4*b - a*w = 92. Is b prime?
False
Let p(r) = -53*r**3 + 3*r**2 + 10*r + 1. Suppose -5*m - 19 = 1. Is p(m) a composite number?
True
Suppose 16*z - 153290 = 11*z. Is z a composite number?
True
Let m = 1879 - -2830. Is m a prime number?
False
Suppose 2*y + 41 = 5*t, 6*y = -2*t + y + 28. Let f be t/(-2 - 11/(-5)). Suppose 150 = 3*w - f. Is w composite?
True
Let q = -31 - -16. Let p be 1968/(-15) - 3/q. Is p/((6/2)/(-3)) a prime number?
True
Let b be (-3)/18 - 115/30. Is 1/6 + -74938*b/48 a composite number?
True
Let c be 183/9 + 2/(-6). Suppose -4*l - 930 = -a - 24, 5*l + c = 0. Suppose -g = g - a. Is g a prime number?
False
Let b(f) = 9*f**2 - 5*f + 1. Suppose 7 = -2*d + 17. Let x be b(d). Suppose n - x = 4*t, -804 = -4*n - 5*t + 2*t. Is n a prime number?
False
Is 6 - ((-52228)/(-4))/(-5 + 4) prime?
True
Let f = 7578 - 2383. Is f prime?
False
Suppose -4*n - 600 = -2*n. Let c = n - -503. Is c a prime number?
False
Let v(u) = u**3 - 5*u + 4391. Is v(0) prime?
True
Suppose 2*t + 2*t = -m - 208, -m + 269 = -5*t. Let a = 276 - t. Is a composite?
True
Suppose -2*c + 27989 = 6951. Is c a prime number?
False
Suppose 0 = 4*s - 1920 - 20. Suppose -4*j - s = j. Let m = -66 - j. Is m a prime number?
True
Let d = 32 - 26. Let l = 13 - d. Suppose -3*i - 956 = -l*i. Is i a composite number?
False
Let p(m) = m + 2. Let c be p(3). Suppose c*a + 0*o = -3*o + 2217, -3*a + 1331 = o. Suppose 8*d - a = 4*d. Is d a prime number?
False
Let r = 21 - 16. Suppose -1580 = -r*i + 4*j, 2*i + j - 6*j = 632. Suppose 4*k = 8*k - i. Is k a composite number?
False
Let n(z) = 2*z**2 - z - 1. Let m be n(2). Suppose 4550 = m*j + 5*d, -1564 = -4*j + d + 2081. Is j a composite number?
False
Suppose -f = 5*m - 4 - 2, 0 = -m + 4*f - 3. Is (-2162)/(-26) + m*8/(-52) composite?
False
Suppose 5*x + 3*l - 1354 = -0*l, -1339 = -5*x + 2*l. Let k = x - -342. Is k a composite number?
True
Let g = -626 - -1419. Is g prime?
False
Let g be 3 - (1/2)/(8/(-36512)). Is g - 1*(1 - 1) a prime number?
False
Let p(b) = -b**3 - 21*b**2 - 43*b - 130. Is p(-49) composite?
True
Suppose -6434 = -3*f - 5*l, -2*f + f + 2154 = 4*l. Is f composite?
True
Let l = 83 - 80. Suppose 7*b - 3477 = 4*b. Suppose 1577 = 4*z + k, l*z - 2*k - b = 2*k. Is z composite?
True
Let v = -2515 + 908. Let t = v + 2394. Is t composite?
False
Let v(t) = -7*t**3 - t**2 + 6*t + 1. Let k(i) = -9 + 14*i + 2 + 18 - i**2. Let m be k(15). Is v(m) a prime number?
True
Is (-937)/(5*2/(-170)) a composite number?
True
Suppose -n = -3*l + 100, -4*l = -2*l - n - 67. Is 2922/22 + 6/l a composite number?
True
Is (1126/10)/((-3)/(-15)) composite?
False
Suppose y = 5*u + 310, 0 = -u + 3*u + 2. Let a = y + 74. Is a a prime number?
True
Suppose 2*q - 5*s - 2464 = 4540, 0 = 2*q + 5*s - 6984. Is q composite?
True
Let n(m) = m**2 + 6*m - 10. Let g be n(-7). Let i be (3077/g)/((-17)/51). Let s = i + -1960. Is s a prime number?
True
Let j = 6856 + 5215. Is j a prime number?
True
Let m(z) = 4*z**2 + 59*z**2 - 6*z + 15 - 11*z**2. Is m(7) a prime number?
True
Let l(h) = h**2 - 2*h - 1. Let r be l(-1). Suppose -c + 1347 = r*c. Is c a composite number?
False
Suppose z + 3*z = -4*s - 1044, 15 = 5*z. Let q be s + (-1 - 4/(-1)). Let f = q + 512. Is f a composite number?
False
Let a(n) = 83*n - 152. Is a(17) a composite number?
False
Suppose 3*i - 2335 = 1118. Is i composite?
False
Is (13 + -11)*4657/2 composite?
False
Suppose 1399*n - 1402*n = -22521. Is n a prime number?
True
Suppose -2*m = 3*c + 160 - 33, -5*m + 4*c = 260. Is (48/m)/(-3) - (-24813)/7 a composite number?
True
Let h(k) = 2569*k**3 + k**2 - 2*k + 1. Let f = 40 + -39. Is h(f) composite?
True
Suppose 15213 = 6*f + 3807. Is f composite?
False
Let k = 2 - -2. Suppose -s + 9 = 3*n, -4*n + k*s + 12 = -0*n. Suppose 12 = -3*u, n*u = 2*o + 2*u - 338. Is o prime?
True
Is (-27)/(-15) + -2 - 105918/(-15) a composite number?
True
Suppose -3*x + 5*k = -17, -3*k + 5*k = -8. Let d = 3 + x. Is (3 - 229)*(-1)/d composite?
False
Let f = -68 + 622. Suppose f = 5*i - 3*t - 1887, 2*t = -i + 483. Is i a composite number?
False
Let f be 2 - ((-2 - 3) + 3). Suppose h = -u - f*u + 1000, -3*h + 600 = 3*u. Suppose -5*z - 2*k + 0*k = -935, -z - 3*k + u = 0. Is z a composite number?
True
Let m(y) = 10*y**3 + 7*y**2 + 2*y - 3. Is m(8) a prime number?
True
Suppose -p + 11063 = 4*g, g - 3*p - 207 - 2575 = 0. Is g a composite number?
False
Suppose -5*w - 5*z - 14219 = -82724, -2*w + 3*z + 27422 = 0. Is w prime?
False
Let f be 4/(-4)*5/(10/(-164)). Suppose 0 = 2*t - 2144 + f. Is t prime?
True
Suppose 23*o - 31*o = -132152. Is o composite?
False
Let o be 182/(-210) - (-4)/(-30). Is o/7 + 4174/14 a composite number?
True
Let z = -20 - -22. Let u(x) = 381*x**3 - x**2 + 3*x - 1. Is u(z) a composite number?
False
Suppose -4*p = -5*f + 35, f + 4*p - 10 = -3. Let x(t) = -2 + 8 - f + 38*t + 6. Is x(3) a composite number?
True
Let y = 51 - 46. Suppose v = y*v - 1948. Is v composite?
False
Is ((-7)/3)/((-8)/42936) composite?
True
Let f(x) = 138*x - 29. Let p(s) = 138*s - 29. Let u(v) = 5*f(v) - 4*p(v). Is u(16) a composite number?
False
Suppose 2*t - 3 = 17. Let y(i) = 3*i**2 - 18*i - 44. Let g(j) = -j**2 + 6*j + 15. Let b(s) = 17*g(s) + 6*y(s). Is b(t) prime?
True
Let a be (1 + 2)/((-9)/(-12)). Let z = 100 + -100. Suppose 5*f - 883 = -a*t, z = -2*f - t + 87 + 268. Is f prime?
True
Let t = -5782 - -13233. Is t a prime number?
True
Let j(t) = -2*t + 3. Let f be j(-8). Let q(n) = 2*n**2 - 17*n + 14. Is q(f) composite?
True
Suppose 3*n + 3*m = 4*n - 13, -3*n + 15 = -m. Let o(h) = -4*h**2 + 6*h - 5. Let a(l) = 3*l**2 - 6*l + 5. Let g(d) = -7*a(d) - 6*o(d). Is g(n) a prime number?
True
Let p(t) = -3*t**3 + 23*t**2 - 8*t - 37. Let c be p(7). Let h(x) = -5*x**2 + x**3 + 5 + 7*x + 3*x**3 + 6*x. Is h(c) prime?
False
Suppose 4*s + f - 19296 = 0, -4*f + 8*f = 0. Suppose d = -2*d + 5*c + 3611, 4*d - s = 2*c. Is d a composite number?
True
Suppose 5*l - 38 = -5*f - 8, 4*f - 8 = 0. Suppose 6 = -y + l*y. Suppose 0 = -3*q - 1 - 2, 0 = 4*m - y*q - 2166. Is m a prime number?
True
Suppose 3*o + 47 = -4*d - d, -d = -2*o - 1. Is (-1)/(d/3) + 1856/14 a composite number?
True
Let a = 12 + -9. Suppose -x = 4, -a*x - 2*x = -4*r + 1048. Is r prime?
True
Let k = -84089 - -155658. Is k a prime number?
True
Let h = -76581 - -110386. Is h prime?
False
Let r(j) = 365*j + 422. Is r(45) a composite number?
True
Let d = 7343 + -3910. Is d composite?
False
Let s(h) = -h**3 - 51*h**2 + 41*h - 96. Is s(-53) composite?
True
Suppose -17*s + 20 = -12*s. Suppose 0 = -5*f - 4*y + 5*y + 468, f = s*y + 86. Is f a composite number?
True
Let u(q) = 24*q**2 - 7*q + 13. Let v be u(-9). Suppose -2*m + v = 294. Is m composite?
False
Let b(q) = 1893*q + 137. Is b(18) a prime number?
True
Let n(k) = k**2 + 7*k + 7. Let c be n(-6). Suppose -t = -0*t - p + c, 2*t = p + 3. Is 150 - 2/t*2 a prime number?
True
Let p = 27936 - 8405. Is p composite?
False
Let r(m) = 2*m**2 - 3*m + 3. Let j = -16 - -22. Suppose -j - 6 = -3*a. Is r(a) a prime number?
True
Let j(x) = 781*x + 132. Is j(5) a prime number?
False
Suppose -20 = -17*l + 12*l. Suppose 5*y + 5975 = 5*m, 5975 = 3*m + 2*m - l*y. Is m a prime number?
False
Let b(j) = j - 1. Let k be b(-7). Is k/(-4) + (262 - (-4)/4) a prime number?
False
Let u = -69 + 69. Suppose 5*b - 2*f - 290 = u, -2*b + b = -4*f - 58. Is b a 