7). Let r = -444 - m. Is r composite?
False
Let l = -288 + 288. Let d(u) = -5*u**3 - 5*u**2 - 3. Let h be d(-4). Suppose l*y + 3*y = h. Is y a prime number?
True
Let b be -2 + (-13)/(-5) + 64/10. Suppose 3*z + 30 = -2*z. Let t = b - z. Is t prime?
True
Let p(i) = -15*i + 3*i**2 + 18*i - 7 - 3. Is p(7) prime?
False
Let w = -16 - -22. Suppose -2*z = 2*i - w, -2*i - 6 = -3*z + 3. Suppose -g - 1333 = -5*v, 5*g - 1345 = -i*v - 5*v. Is v composite?
True
Suppose 5*k + 44490 = 5*t, 0 = -t - 28*k + 31*k + 8888. Is t prime?
False
Suppose -7*p + 436 = -3*p. Let c = 11 + p. Suppose -4*g + 644 = c. Is g composite?
False
Let u(t) = 23 - 16 - 8 + 5646*t. Is u(1) a prime number?
False
Let c(n) = -2*n + 12. Let l be c(6). Suppose l*k - 345 = -5*k. Is k a prime number?
False
Suppose 0 = 31*y - 29*y - 88. Is (0 + -22)/(y/(-814)) prime?
False
Let k(g) be the second derivative of -3*g**5/20 - g**4/4 - g**3/2 - g**2 - 3*g. Let b be k(-3). Let p = b - 6. Is p composite?
True
Let x = 3 + -11. Let i = 10 + x. Suppose i*p = 127 - 25. Is p prime?
False
Suppose 3*o = -3*z + 3108, 2*z = o - z - 1032. Let h = o + -698. Is h prime?
True
Let c(j) be the third derivative of 161*j**5/60 - j**4/8 - 3*j**3/2 - 49*j**2. Is c(-7) prime?
True
Suppose 19 = -2*q + 4*q + 3*y, 0 = 4*q - 2*y - 14. Let t(x) = 131*x + 30. Is t(q) a composite number?
True
Let x(u) = 41*u**2 + 22*u - 40. Is x(-23) prime?
True
Let p(d) = 25898*d**2 + d + 1. Let l be p(-1). Suppose -9655 = -3*z + l. Is z a composite number?
True
Suppose -2*y + 0*b = -5*b - 48, -y + 3*b + 24 = 0. Let i = 131 + y. Suppose 0 = -5*t + 920 + i. Is t a composite number?
True
Let u(c) be the third derivative of -29*c**4/12 + c**3/3 - 9*c**2. Let m be u(-7). Let d = m - 217. Is d prime?
True
Is (566652/(-42))/(8/(-28)) composite?
False
Let f(l) be the first derivative of 47*l**2/2 + 6*l - 24. Is f(23) composite?
False
Let b = 9944 + -18716. Let l = 3 - 0. Is b/(-18) + (-1)/l composite?
False
Suppose -5*j = -3*x + 8, 5*j = -0*j - 2*x - 28. Let g(n) = 5*n**2 - 4*n - 3. Is g(j) composite?
True
Suppose 3*l + 0*w + 8 = 2*w, 4 = -2*l + w. Let h = l + 4. Is 12/(-9)*(-174)/h a prime number?
False
Suppose 0 = 5*r - 77791 + 16846. Suppose 18*x - 15*x - r = 0. Is x a prime number?
False
Let h(s) = -s**3 + 4*s**2 + s - 1. Let u be h(4). Suppose o - 1 = -2*r, 10 = o - 3*o. Suppose u*p = -3*q + 474, 0*q + r*p = q - 170. Is q prime?
False
Let s(r) = 67*r**3 - 2*r**2 + 2*r + 2. Let p be s(2). Suppose 0 = -5*q + 5 + 10. Suppose 4*u - 744 - p = -5*h, 502 = 2*h - q*u. Is h prime?
False
Let d(z) = 2*z**2 + 4*z - 3. Let b be d(-4). Let u = b - 9. Suppose 5*y - 3*a + 229 = 699, 368 = 4*y - u*a. Is y a prime number?
True
Let h be (-40)/16*(-12)/10. Suppose r - h*r - 1768 = 3*c, -4*r - 606 = c. Let f = c + 1497. Is f a prime number?
True
Let l(h) be the third derivative of 7/20*h**5 + 5/6*h**3 + 0 + 2*h**2 + 1/8*h**4 + 0*h. Is l(4) a prime number?
True
Let d be (3 + -2 + -1)*1. Let q be 0/1 + 0 + d. Let w(r) = -r + 121. Is w(q) composite?
True
Let z be (-12)/8*2 + 3. Suppose n + 3 + 12 = z. Is (-828)/(-16) - n/(-20) a prime number?
False
Let q be 504 - (2 + (1 - 0)). Let p = q + -354. Let h = -92 + p. Is h composite?
True
Let q be 4*(-1)/(-4) - -3. Suppose o - q*o + 2046 = 3*n, 3 = o. Is n composite?
True
Suppose -63*p = 6*p - 1271877. Is p a prime number?
True
Let n(v) = 32*v**2 + 178*v + 35. Is n(27) a prime number?
False
Let l = -14 + 24. Suppose d + 10 = -4*h + 6*d, -3*h + 5*d - l = 0. Suppose -5*n + 470 = -h*n. Is n prime?
False
Suppose 15 = -3*u - 3*c, 10*c = 5*u + 7*c + 1. Is 6 + u - (-406 + (-6)/(-6)) a prime number?
True
Let f = -996702 + 1521233. Is f prime?
False
Suppose z = 3*z - 278. Suppose -2*p + 364 = -2*f, f - z - 427 = -3*p. Is p a composite number?
True
Let n = 3 - 3. Suppose n = 5*c - 3*c - 4. Suppose -c*p = -4*p + 12. Is p a composite number?
True
Let g = 12503 + 2174. Is g a prime number?
False
Suppose 2533 = -4*i + 7661. Is i a composite number?
True
Let i = -3999 + 13276. Is i a prime number?
True
Let k be ((-4)/6)/((-22)/5775). Let h = k - 36. Is h prime?
True
Suppose 10 = -b + 2*h, b + b + 4*h - 20 = 0. Suppose b = 3*c - 4*i - 691 - 903, i + 1609 = 3*c. Is c prime?
False
Let x = -842 - 34. Is ((-3)/(-9))/((-2)/x) a prime number?
False
Suppose -3*a = -4*g - 17, 2*a + 0 = g + 8. Suppose a*b - 28 - 4 = -5*y, 0 = -4*y - 4*b + 32. Suppose -2*w + y*w = 86. Is w a composite number?
False
Let s = -22 + 28. Is s/(-27) + 110665/45 a prime number?
True
Suppose 0 = -3*m - 6 + 27. Suppose 3*q + 5 + m = 0. Is q/8*2*-35 prime?
False
Suppose 103*q - 12 = 100*q. Let k(h) = 13*h**2 + 6*h + 3. Is k(q) a prime number?
False
Suppose -16842 = -4*m - 19*a + 21*a, 3*m = 2*a + 12631. Is m a composite number?
False
Suppose -12*o + 238681 = -25235. Is o prime?
False
Let r = -2 + -1. Let a(u) = -17*u**2 - u - 31. Let b(h) = -9*h**2 - 16. Let k(i) = r*a(i) + 5*b(i). Is k(-6) a prime number?
True
Let n = -548 - -379. Suppose -d = 4*i + 169 + 253, -d + 4*i - 382 = 0. Let h = n - d. Is h composite?
False
Suppose -6*i + 4264 = -4730. Is i a composite number?
False
Let f(c) = 5*c**3 + 2*c**2 - 4*c - 1. Suppose 3*g + 0 = 6. Is f(g) a prime number?
False
Suppose 1 + 11 = 6*p. Suppose 0 = p*d + 5*d - 217. Is d prime?
True
Let j(l) be the first derivative of -8*l**2 - 3*l - 1. Let c be -5 + (-6 - -6)/(-2). Is j(c) a prime number?
False
Let l = -40 - -45. Let d(k) = -155*k - 1. Let f(m) = 154*m + 1. Let i(s) = -4*d(s) - 3*f(s). Is i(l) prime?
False
Suppose -c = -g - 6, 2*c = -3*g + c - 6. Let l be -2 + 264 - -3 - g. Suppose -680 = -4*x + l. Is x a composite number?
True
Suppose 4 = c, 2*c + c + 584 = 4*g. Suppose -10 = -4*b + 158. Let a = b + g. Is a composite?
False
Let a be (-1)/(3 + -4) - -20. Suppose -a*k = -25*k + 5444. Is k a prime number?
True
Is (-2050607)/(-117) - (-8)/18 composite?
True
Is (-105576)/(-32) - 6/24 a prime number?
True
Let z(c) = 92*c. Let i be z(10). Suppose 0*q = 8*q - i. Suppose 2896 = 4*f - 4*b, -f - 5*b - q = -809. Is f prime?
True
Let d be 6/10 + 84/60 + 3. Let j be 2/(-3) + 38/(-6). Is (-50)/d*j/2 prime?
False
Let k(h) = 7*h**2 - 7*h**2 - 1 - 18 + 7*h**3 - 35*h - 11*h**2. Let o(x) = -11*x**3 + 16*x**2 + 53*x + 29. Let i(r) = 8*k(r) + 5*o(r). Is i(11) prime?
True
Let i(y) = -12*y**3 + 11*y**2 + 16*y + 11. Is i(-8) prime?
False
Let p = -15 + 21. Suppose 3*w - 27649 = -5*y, y - p*w = -4*w + 5535. Is y a prime number?
True
Let d(y) = -2*y**2 + 12*y + 4. Let h be d(6). Suppose 4*c + 12 = -0*c, 0 = 4*i - h*c - 2088. Is i composite?
True
Let d be ((-88)/5)/((-2)/70). Let r = d + -323. Is r prime?
True
Suppose 1585 = 4*x - 8975. Suppose 5*k + 6*m - x = m, -2*k + 4*m + 1050 = 0. Is k prime?
False
Let q(k) = -5*k - 3. Let b be q(1). Is (b/12 - -1)/(2/3126) a prime number?
True
Let p(x) = 2440*x + 3. Let r be p(6). Suppose 0*o - o - y + 2931 = 0, r = 5*o + 2*y. Is o prime?
True
Is 1344 + (2 - (-2 - -5))/1 prime?
False
Suppose 0 = -u - 0*u - p + 3, 0 = 4*u - 3*p - 5. Suppose 3*s + s - 1274 = -u*l, 2*l - 323 = -s. Is s a composite number?
False
Let y = 94168 - 63909. Is y a prime number?
True
Suppose -23 = 2*a - 7. Let f be (-2)/a + 900/48. Suppose -5*j - 4*r + f = -16, -3*r + 15 = 0. Is j a composite number?
False
Let l(f) = f**3 + 16*f**2 + 14*f - 12. Let y be l(-15). Suppose -y*i - i = -452. Is i composite?
False
Let d(x) = -x**3 + 11*x**2 - 4*x - 7. Let s be d(10). Is s/(3 - 0 - 2) a composite number?
False
Suppose -3*b - 64 = 74. Let u = 202 + b. Let m = -109 + u. Is m a prime number?
True
Suppose 11*s - 7*s = 26256. Suppose 5*j + 4*r = -633 + s, 4 = r. Suppose 2*t = -3*f + 797, -j = -3*t - 0*f - 2*f. Is t composite?
True
Is (138/12 + -12)/(2/(-75596)) a composite number?
False
Let k = -22 + 23. Let m be 7/14*k*4. Suppose 2*i - 3*o - 55 = -5, o = -m*i + 34. Is i composite?
False
Let i = 111 + 2. Is -1 + -1 + i + 0 a prime number?
False
Let a(u) = 78*u**3 + 2*u**2 - 6*u + 11. Is a(5) a composite number?
False
Suppose -303*k - 13610 = -305*k. Is k a composite number?
True
Let m(y) = -y. Let c be m(-5). Let x be (-154)/(-10) + 3/c. Is (57/12)/(4/x) composite?
False
Let i(m) = m**2 + 2. Let c be i(0). Let x be (5 - c)/((-3)/(-4)). Suppose f = 6*f + 3*l - 1950, -1592 = -x*f + 4*l. Is f prime?
False
Let c = -3316 - -12095. Is c composite?
False
Let