posite number?
True
Let v be -4 - -7 - (13 + 0). Is v/35 + 891/7 a prime number?
True
Let t(o) = -o + 379. Let x be (-2)/(-7) - (2 - 60/35). Is t(x) composite?
False
Let q(w) = -w + 4. Let f be q(5). Is -34*f/(-2)*-5 a prime number?
False
Let h = -35 - -76. Suppose d = -1 - 23. Let l = h - d. Is l prime?
False
Let u be (-2)/(-3) - 4/(60/(-755)). Suppose -u*y + 1316 = -47*y. Is y a composite number?
True
Suppose -10*m + 4471 = -8139. Is m composite?
True
Is (-3)/45 - 186888/(-45) a prime number?
True
Let k = -236 - -355. Let s = 390 - k. Is s composite?
False
Let c = 3365 - 1572. Suppose 0 = -4*y + l + c, -l = -0*y + 2*y - 901. Is y a prime number?
True
Let n = 16 + -12. Suppose -1024 = -s - 5*p, -5*s + n*p = -s - 4024. Is s composite?
False
Let t(v) = -12*v**2 + 35*v**2 - 34*v + 28*v + 12. Is t(5) a composite number?
False
Let z = -310 + 193. Let a be 643/3 - (-1)/(-3). Let o = a + z. Is o a composite number?
False
Let q(y) = y + 6. Let t = -36 + 30. Let a be q(t). Suppose 2*x - x - 5*b - 1036 = a, -3*x - 5*b = -3208. Is x prime?
True
Let t = -23 - -27. Is -2*t/((-24)/915) + 2 composite?
False
Let o(p) = -1 + 2 + 5 - p + 6. Let u be o(12). Suppose 4*f - 41 - 405 = -3*s, u = -3*f + s + 341. Is f composite?
False
Let p(m) = -m**2 - 4*m - 4. Let k be (-17)/(-1 + 1 + 1). Let j(a) = 2*a**2 + 11*a + 12. Let s(l) = k*p(l) - 6*j(l). Is s(9) a composite number?
False
Suppose -3*t - 13 = -3*n + 5*n, -3*t + 2*n = -7. Let r be 2 + 0/(1 + 1). Is t/((-2)/150) + r a composite number?
True
Suppose 4*l - 519 + 55 = 0. Suppose -2*w - 35 = -3*n + 52, -4*n + l = -4*w. Let s = 240 - n. Is s prime?
True
Suppose 4*j - i = 21, -10 - 2 = -3*j + 2*i. Suppose -w + 3*l + 13 = 0, -3*l + j*l + 6 = 0. Is w a prime number?
True
Suppose -t - 4 - 32 = 0. Is 19102/18 + 8/t a prime number?
True
Suppose -3*n + 558 + 15 = 0. Is n a prime number?
True
Let n(a) = -2*a**2 + 4*a - 17*a**3 + 31*a**3 - 3*a**2. Let q be n(3). Suppose 6*k = 3*k + q. Is k prime?
False
Let r(t) = -5*t - 2. Let a be r(-1). Suppose 0*b - 3 = a*b, -2*s - 4*b = -306. Suppose 0*n + s = n. Is n composite?
True
Let q = -945 + 1660. Let f = 259 - q. Let b = f + 847. Is b composite?
True
Suppose -13 = -5*k + 2. Let d be 7 + k + (-3 - 0). Let o = 48 + d. Is o composite?
True
Let t(f) = 9*f - 113. Let y be t(-6). Let x = 320 + -71. Let c = y + x. Is c a prime number?
False
Let w(k) = 38865*k - 140. Is w(3) composite?
True
Suppose -z - 2*z + 12 = 0. Is (-19)/1*3/(1 - z) a prime number?
True
Let s(j) = -18*j + 48. Let y be 21/4 - 1/4. Let r(h) = -9*h + 24. Let w(t) = y*r(t) - 2*s(t). Is w(-7) a composite number?
True
Suppose -3*w + 9 = -2*y - 4, -3*w - y = -7. Let o be ((1 - 2) + 1)/(7 - 6). Is 1 - (w - o) - -189 composite?
True
Let m(c) = c**2 + 10*c + 7. Suppose -5*y = 3*n - 2*y + 18, 0 = -n - 4*y. Let z be m(n). Let o(v) = -4*v - 5. Is o(z) composite?
False
Let c be 12 + 4/(0 + -2). Suppose 0 = -2*g - 10, -g - c = -2*i - 3*g. Suppose 2*r = 7*r + i, 0 = -5*d - 5*r + 360. Is d composite?
True
Suppose a + 1561 = -4*x, -4*x - 1579 = -0*a - 5*a. Is x*(-2 + (4 - 3)) a prime number?
False
Let z(p) = -8408*p - 39. Is z(-1) a prime number?
True
Let a be ((-4)/5)/((-32)/3840). Suppose 5 = 3*q + g, -5*g = -10*g - 20. Let i = a - q. Is i a prime number?
False
Let k = 1843 + -472. Is k prime?
False
Let j be (7 + 1)/4 - -57. Is j*7 + 0 + -4 prime?
True
Let w be (-6 + 4)/(2/(-1108)). Suppose 0 = -2*k + 6, w = 3*o + 5*k - 578. Is o a composite number?
False
Let d(z) = -585*z**2 + 20*z + 25. Let y(a) = -117*a**2 + 4*a + 5. Let k(b) = 2*d(b) - 11*y(b). Is k(-2) composite?
True
Let z = 5303 - -795. Is z a prime number?
False
Suppose -30 = 5*a + 45. Let j = 21 + a. Is (-4)/j + 670/6 a composite number?
True
Let o = 29214 - 18013. Is o a composite number?
True
Let l = 16 + -14. Let b be (8/(-12))/(l/9). Is 1/(b/1665*-3) a prime number?
False
Let s be 10/4*-1*-358. Suppose z = -229 + 235. Suppose i + s = z*i. Is i composite?
False
Let z = 11 - 7. Let u(b) = 3*b - 6. Let k be u(3). Suppose -k*m = -z*r + 877, 2*r + 5*m = -3*r + 1140. Is r a composite number?
False
Let l = 409 + 480. Is l a prime number?
False
Let z = -23 + 29. Let v(y) be the first derivative of -y**4/4 + 3*y**3 + y**2 + 7*y - 7. Is v(z) a composite number?
False
Suppose -8*x + 3580 = -3*x. Is 3/(6/x) - (-3)/3 a prime number?
True
Suppose 2*d + 5*s - 48226 = -12797, 0 = 5*d - s - 88586. Is d a composite number?
True
Is 71795*(-1 + (-24)/(-20)) a prime number?
False
Let y = 63500 - 12361. Is y a prime number?
False
Let z(y) = y**3 + 6*y**2 + y - 13. Let m(s) = -6*s**3 - 29*s**2 - 5*s + 65. Let c be (2/(-1) + 3)*-2. Let u(g) = c*m(g) - 11*z(g). Is u(9) prime?
False
Let r(f) = 0*f - 4*f + 7 + 14*f + 8*f. Let t(u) = -u**2 + 8*u - 2. Let c be t(7). Is r(c) a composite number?
False
Suppose -5*n - 2*a + 20 = -7*a, 3*n - 20 = -a. Let w(c) = 2*c**3 - 10*c**2 + 7*c - 1. Is w(n) prime?
True
Let k = -82 + 301. Suppose 3*c = -2*c + 290. Let s = k - c. Is s prime?
False
Let n(c) = 1699*c - 516. Is n(11) composite?
True
Let i = 438 + 1877. Is i a composite number?
True
Let h = 55113 - 36308. Is h prime?
False
Suppose 2*o - 1 = -11. Let u be (-698)/o*15/1. Suppose 5*m - u = -109. Is m a prime number?
True
Let d = 15390 - 8921. Is d a composite number?
False
Let f = 204769 - 120236. Is f prime?
True
Let u(d) = -d**3 + 9*d**2 - 7*d - 9. Let p be u(8). Is 4197/5 - (p - 21/(-15)) a composite number?
False
Let g(a) = -a**2 - a - 3. Let z be (-8)/(-2)*(-10)/20. Let h be g(z). Let j(n) = 9*n**2 + 3*n + 5. Is j(h) composite?
True
Let y = -12 + 17. Let u(w) = w**3 + 4 + 0*w - 2*w**2 - y*w**3 + 3*w**3 + 2*w. Is u(-3) a prime number?
True
Suppose -3*l + 350 = -4*f, -l = -0*f - 4*f - 114. Suppose 3*p + 5*b = 4 - 5, 4*p = 4*b + 20. Suppose -p*j = -j - l. Is j prime?
True
Let p = 17344 - 8393. Is p composite?
False
Suppose 5*i = 1 - 11. Let j be (-3 - (i + -2))*1. Let f(v) = 488*v**3 - v. Is f(j) a composite number?
False
Let o = 17504 - 9241. Is o prime?
True
Suppose 9*l - 468966 = 3*l. Is l prime?
False
Let k(x) = x**3 + 9*x**2. Let h be k(-9). Suppose c - 379 = -h*c. Is c a prime number?
True
Suppose n - a = 1945, 7784 = 3*n + n - 3*a. Is n a composite number?
False
Suppose -65 + 63 = 2*l. Is l + 340 + 8/(-4) prime?
True
Suppose h - 8 + 4 = 0. Suppose 412 = -h*a + 28. Let k = 173 + a. Is k prime?
False
Suppose 47906 = 3*o - 39877. Is o prime?
False
Suppose -21*o - 14*o = -47915. Is o composite?
True
Let x = 3156 + -1894. Is x a composite number?
True
Suppose 31 = 4*a - 5*l, -3*l + 1 = 10. Suppose -a*n + 272 = -0*r + r, n + 5*r = 87. Is n a prime number?
True
Suppose -o + 2*l - 5*l = -436, -2*l - 896 = -2*o. Suppose 0 = -u - 0*u - j + 446, u + 2*j = o. Is u prime?
False
Let o(l) = -l + 11. Let j be o(-7). Let f = 49 - j. Is f a composite number?
False
Let s(d) = -4*d - 5. Let f be s(0). Let h(o) = -13*o - 3. Is h(f) composite?
True
Suppose -5*a - d - 2811 = 4381, -2*d = 5*a + 7189. Let n = a + 2070. Is n composite?
False
Suppose -4*o + 5*f = -12, -8*o + f + 28 = -4*o. Let r be (-12)/5 + (-6)/(-15). Is 86*r/o*-2 prime?
True
Suppose -a - 4*a + 2*c = -22, -a - 5*c - 1 = 0. Suppose -9277 = -2*f + h, a*h = 5*f + 5*h - 23182. Is f composite?
False
Suppose -5*b = -b - 4. Is b*(-412)/(-4 + 0) a prime number?
True
Let p = 218 + -146. Let w = 72 + p. Suppose 0 = -2*l - i + 323, -2*l + l + w = -3*i. Is l a composite number?
True
Let h = -392 + 1399. Let b = 1512 - h. Is b a composite number?
True
Suppose -61*f = -71*f - 5980. Let z = -852 + 1713. Let j = z + f. Is j a prime number?
True
Let o be (-4)/14 - (-8)/28. Let i = 278 - 26. Suppose o = s - i - 539. Is s prime?
False
Let z = 7 - -1. Let o(f) = -2*f**2 - 4 + 9*f**2 + z*f + 0*f**3 - f**3 + 8. Is o(8) prime?
False
Let y(g) = -21*g - 3. Let t be (2 - 0)/((-7)/(-7)). Suppose -6 = -h - t*x, -h + 0*h - 4*x + 14 = 0. Is y(h) a prime number?
False
Let q be -5*2*(12/(-5) - -2). Is ((-710)/(-6) - 3) + q/(-12) composite?
True
Suppose -2*u = -8 + 16. Let f(s) = s + 4. Let i be f(u). Suppose i*v + 2*v = 194. Is v composite?
False
Let d(m) = -m**2 + 9*m - 18. Let h be d(6). Suppose h = 5*r - 2609 - 1656. Is r a composite number?
False
Let u(q) = -q**3 + 9*q**2 - 8*q + 2. Let y be u(8). Suppose 3*b + 775 = y*i, -3*i = 2*i + 5*b - 1925. Is i a composite number?
True