-1 - 0)*1). Let m = u - 7. Is m a prime number?
True
Let n = 213 - 145. Let u = -128 + n. Let x = 19 - u. Is x a composite number?
False
Suppose -2*z + 3*u + 6 + 5 = 0, -5*u - 25 = -5*z. Suppose z*q = -14 - 2. Is 119 + -1 - 4/q composite?
True
Let a = 545 + -322. Is a composite?
False
Let d(y) = 7*y**2 - 6*y - 3. Is d(5) prime?
False
Suppose 29 = -i + 2*i. Suppose -21 = -3*f - 5*m + 47, 12 = 2*f - 5*m. Let u = i - f. Is u a composite number?
False
Let i(y) = y**3 + 5*y - 2. Let v be i(3). Suppose -b + 116 + v = 0. Let k = -101 + b. Is k composite?
True
Suppose -451 = -c - 156. Is c a composite number?
True
Suppose 0 = -4*j - 2*p - 14, -2*j - 1 = 3*j - 3*p. Let f be 88/32 + j/(-8). Suppose f*g = x - 10, -g = -6*g - 5. Is x a composite number?
False
Is (-1689)/(-12) - 1/(-4) a prime number?
False
Let j(y) = -y**2 - 6*y - 1. Let f be j(-5). Is 69/2*f/3 a prime number?
False
Suppose 12 = 3*h - 3. Suppose h*l = 2*l + 153. Is l composite?
True
Let f be (1/(-2))/(1/(-66)). Suppose -5*k - f = -368. Is k a composite number?
False
Let r = 10 - 7. Let g be 16/(-12)*r/(-2). Suppose -5*c + 97 = m - g*m, 0 = 5*m + 10. Is c composite?
False
Let g(q) = q**3 - 3*q**2 - 3*q + 5. Let w be g(4). Let l = 57 - w. Is (-2 + l)/((-4)/(-10)) a prime number?
False
Is 5/(15/1242) - 1 prime?
False
Let w(t) = 5*t**2 - 4*t + 1. Suppose 12*g + 20 = 16*g. Is w(g) a prime number?
False
Let g(z) be the second derivative of 47*z**4/6 + z**3/2 - z**2/2 + 2*z. Is g(2) composite?
True
Let f(p) = -8*p**3 - 4*p - 3. Let n be f(-2). Suppose 0 = k - 0*k + 2*h - n, 0 = 3*k + 3*h - 222. Is k a composite number?
False
Suppose 3*t + 3 = 3*m, -3*t = -0*m + 2*m - 17. Suppose m*b + c = -8, 4*b + 5*c - 11 = b. Is ((-45)/b)/(0 + 1) a prime number?
False
Let f be ((-9)/(-6))/((-2)/(-20)). Suppose -4*t + f = -5. Suppose p = -2*p - t*b + 78, -2*b + 6 = 0. Is p composite?
True
Let f(a) be the third derivative of a**5/60 + a**4/12 + a**3/2 - 3*a**2. Let h be f(-2). Suppose 0 = -h*y + 322 + 125. Is y prime?
True
Let i = 5 - 2. Suppose 0 = -2*a + 3*g + 13, 18 = 4*a - g + i*g. Suppose -z + 57 = 2*d, -z - 94 = -a*d + 31. Is d composite?
True
Suppose -4*g - g = -15. Suppose -4*z + 317 = -5*c, -g*z + 147 = 4*c - 52. Let t = z - 50. Is t prime?
True
Let v = 520 - 371. Is v a prime number?
True
Suppose 0 = 2*y - 826 - 2250. Is y a prime number?
False
Let n = 12264 - 8417. Is n composite?
False
Let o(x) = -x**2 - 4*x. Let n be o(-3). Let p = 3 - n. Is p - (357/(-3) + 0) a composite number?
True
Let s(j) = 50*j**3 - j**2 + j - 1. Suppose 3*o + 2*n - 4 = o, 0 = o + 4*n - 2. Suppose 2*a + o*a - 4 = 0. Is s(a) a prime number?
False
Let m = -41 - -99. Is m a composite number?
True
Suppose 0 = x - 5 - 0. Suppose -3*u + 17 = x, -2*u - 54 = -2*o. Is o a composite number?
False
Let t(w) = 2*w**2 + 1. Let x be t(-2). Suppose 10*k - x*k = 65. Is k prime?
False
Suppose 0*x = -4*x + 180. Let v = x + 39. Let o = v + -7. Is o a prime number?
False
Let t = 21 + -19. Suppose 36 = t*k + 2*k. Is k prime?
False
Let s(c) = 2*c - 18. Let m be s(10). Suppose 5*a + 5*h - 560 = 0, 3*a = m*h + 109 + 212. Is a prime?
True
Let y = 249 + -74. Suppose 0*x = -5*x + y. Is x prime?
False
Suppose 0 = x - 3*x + 6. Suppose 28 - 94 = x*f. Is f/(-4) - 1/(-2) prime?
False
Let i(m) = -m**2 + 11*m - 7. Let x be i(7). Is (-3)/x - 1620/(-21) a prime number?
False
Suppose 0 = 2*n - 3 - 3. Let a(x) = 33*x**2 - x - 1. Let z be a(-1). Suppose 9 + z = n*j. Is j a composite number?
True
Let g = -32 - -177. Is g a composite number?
True
Suppose -2*q = -619 - 1229. Suppose -339 + q = 5*k - 5*b, 4*b = k - 123. Suppose k + 97 = 4*n. Is n prime?
True
Is (-6)/(-10) + (29340/(-25))/(-9) composite?
False
Let p(j) = -134*j + 7. Is p(-5) prime?
True
Is 2*(74 + -1) + -1 composite?
True
Suppose 4*w - d = -5*d + 4532, d = -3*w + 3407. Is w prime?
False
Let k(a) = -2*a**3 + a**2 + a. Let g be k(-1). Suppose 0 = -5*v - 0*v + 15. Suppose -g*q = y - 89, 3*q = y - v*y + 178. Is y a composite number?
False
Suppose -4*s + 43 = 5*y + 14, -5*y - s = -26. Suppose -3*k + 17 - 5 = -4*u, 2*u = -y*k + 20. Is 4*(-1)/(k/(-7)) prime?
True
Is 0 + 1 + 12 + 280 a prime number?
True
Suppose -30 = -4*t + 2*y, 0*t - 5*y + 15 = -t. Let g = 15 - 11. Is g/20 + 528/t a composite number?
False
Let w(x) = 2*x**2 + 9*x + 17. Let d be w(-7). Suppose -d = -4*c + 296. Is c prime?
False
Suppose 8 = -0*l + 4*l. Suppose 0 = -4*i + 3*i + l. Let u = 5 + i. Is u prime?
True
Suppose -29*i + 9332 = -25*i. Is i prime?
True
Let h be ((-10)/8)/((-1)/4). Let x(u) = 2*u**2 - 8*u + 5. Let a be x(h). Suppose -2*i = 3*i - v - 280, -3*v = a. Is i composite?
True
Suppose l - 20 = 5*p, 2*l = -0*l. Let v(k) = -k**3 - k**2 + 2*k - 3. Is v(p) a prime number?
True
Suppose 0 = i + 1, 3*q + 0*i = -2*i + 931. Is q composite?
False
Is -1*((235 - -3)/(-2) + -3) a composite number?
True
Let o(f) = f**2 - f. Let a be o(1). Let d be ((-2)/2)/1 + a. Let c(p) = 78*p**2 - 2*p - 1. Is c(d) composite?
False
Suppose 10*m - 11*m + 487 = 0. Is m composite?
False
Suppose -2*a + 4 = 2*l, 2*l - 10 = 7*l. Suppose -3*i = -a*i - 1. Is (i - 60/9)*-6 prime?
False
Suppose -13 = -2*w + 5*m, -2*m = w + m - 34. Let u = w + -11. Let x(h) = -h**3 + 8*h**2 + 5*h - 5. Is x(u) a composite number?
True
Suppose -3*i + 100 = -8*i. Let b be (144/i)/((-1)/30). Let s = -125 + b. Is s a prime number?
False
Let d(s) = s. Is d(3) a composite number?
False
Let h(m) = -2*m**3 + 3*m**2 - m + 2. Let u be h(2). Is (442 - 1) + u/(-2) composite?
False
Is 3802/(2 - 0) + 0/4 composite?
False
Let h be (0 - 62/(-2)) + -1. Suppose h + 22 = 2*j. Is j a composite number?
True
Suppose 2*l - 4*z - 2 = 3*l, -2*z = 5*l + 28. Let b(q) = 5*q + 9. Let h be b(13). Is l/(-9) - h/(-6) prime?
True
Let v(n) = -n**3 + 6*n**2 + n - 2. Let l be v(5). Suppose 0 = -r + l - 9. Is r a prime number?
True
Is 33/2*(-154)/(-21) a composite number?
True
Let z(s) = -17*s**3 + 6*s**2 + 2*s - 5. Is z(-4) a prime number?
True
Suppose -4*r = 5*n - 426, -4*n = -2*n - 2*r - 174. Let l = n - 29. Is l a prime number?
False
Let q = 608 - 397. Is q a composite number?
False
Let b = -319 + 477. Is b a prime number?
False
Let o(i) = -16*i - 1. Let h be o(-1). Let b be -35*2/h*3. Is 0/(-2 - 1) - b prime?
False
Let x(v) = -v - 3. Let u be x(-8). Suppose 0 = -2*r + 5*i + 183, -440 = -5*r - 0*i - u*i. Is r a composite number?
False
Suppose 3*d - 2*d - 473 = 3*a, -4*a = -d + 469. Is d prime?
False
Let t = 13 + -9. Suppose -t*j - 123 = -27. Let q = j + 37. Is q a prime number?
True
Let j(q) = q**3 + 9*q**2 - 3*q + 11. Let g be j(-9). Suppose g = -0*h + h. Suppose -3*w + h = -w. Is w a composite number?
False
Let m(w) = -22*w**3 - 2*w**2 - 2*w - 1. Let a be m(-1). Is (4/(-6))/((-1)/a) composite?
True
Suppose -3*h - h + 3*z + 22 = 0, 4*z = -2*h. Suppose 5*n + h*q = 773, 0 = -q - 1 - 2. Is n prime?
True
Suppose 5*x - 12 = 2*x. Suppose 3*n - 229 = 4*v - 38, -x*v = 3*n - 199. Is n composite?
True
Let m = -104 + 24. Let c(i) = -20*i - 3. Let k be c(-7). Let r = k + m. Is r a composite number?
True
Let y(t) = 6 - 3*t + t**2 + t**3 + 0*t**2 + 2*t. Let s be y(5). Suppose 0*f = -3*r + f + s, -2*r = -f - 102. Is r composite?
True
Suppose -18 = -v + 41. Is v composite?
False
Is 3/3 + 378/1 a prime number?
True
Let i = 9 + -6. Suppose -2*c = i*y - 173, 131 = 4*c - y - 180. Is c composite?
False
Let b = 983 + 230. Is b a prime number?
True
Let x = 1 - -1. Suppose 0 = -4*p + 2*r - 100, 0*p + 5*r + 75 = -3*p. Is (-2985)/p + x/(-5) composite?
True
Let d(o) = 35*o - 8. Is d(2) prime?
False
Let t(r) = -r + 1. Let m be t(-2). Suppose -m*c = -2*c + 66. Let j = 92 + c. Is j a prime number?
False
Let s(x) = x + 14. Let y be s(-10). Suppose y = t - 111. Is t composite?
True
Suppose d = h - 1131, -2*d + 4489 = 4*h + d. Is h a prime number?
False
Let r(a) = 3 + 41*a + 1 + 1. Is r(6) a composite number?
False
Let g(n) = n - 3. Let s be g(8). Suppose -2*k - 676 = -5*l, 389 - 2037 = s*k - 2*l. Is k/(-10) + 2/10 a composite number?
True
Is 248 + (2 + 12/(-4) - -2) a composite number?
True
Let x = -174 + 271. Is x a prime number?
True
Suppose o + 0*o + p = 5, 0 = 2*o - 5*p + 11. Let j = 1578 + -960. Suppose o*x = i + 181 + 131, 4*x = -i + j. Is x composite?
True
Suppose 4*f + 3*v = 3 - 0, 3 = -4*f + 3*v. Suppose f = -d + 18 + 13. Is d prime?
True