) prime?
True
Let a(y) = 273*y - 28. Is a(5) composite?
True
Let v be ((-1 - -2) + 2)/1. Suppose -v*c + 25 = -4*d, -14 - 13 = -5*c + 3*d. Suppose -c*q + 53 = -2*q. Is q composite?
False
Let t = -5 + 6. Suppose 2*a - 1 = t. Is 215 - ((3 - a) + -4) composite?
True
Suppose 8*v = 9*v - 2. Suppose -5*n + 3493 = 4*g, 3*n - 705 = v*n - 4*g. Is n composite?
True
Suppose 126 = 14*l - 15*l. Let t = -73 - l. Is t a composite number?
False
Let x(a) = a**3 - 10*a**2 + 11*a - 13. Let k be x(7). Is (-3)/12*0 - k prime?
True
Suppose b - 5*h + 1 = -0, 2*h + 26 = -4*b. Is (9/b)/3 - (-2025)/6 a composite number?
False
Let j(b) = 3*b**3 + 3*b**2 + 2*b. Let a be j(4). Let h = 1509 - a. Suppose h = 6*i - 3*i + 4*w, 2*w - 1678 = -4*i. Is i composite?
False
Let a = -23 + 12. Is 1 + a*(-13 + 1) composite?
True
Let b(v) = v**2 + 10*v - 21. Let f be b(-12). Suppose -8*c = -f*c - 3765. Is c a composite number?
True
Let z = -5 + 9. Suppose l - 5 = -z. Is l/(-2) + 468/8 prime?
False
Suppose 2*r - 2*f = 138484, -89326 + 297054 = 3*r - 5*f. Is r a prime number?
False
Let l be 15/(-5) - 1*-19*-47. Let w(q) = -16*q**2 - 4*q + 5. Let s be w(6). Let r = s - l. Is r a prime number?
False
Let h(l) = -115*l**3 + 10*l**2 + 7*l + 21. Is h(-7) a prime number?
False
Let t(m) = -32*m**3 + 8*m + 1. Let p be t(3). Is p/4*(-2 + -2) a composite number?
False
Let q(x) = 7114*x**2 - 3*x - 2. Is q(-1) a composite number?
True
Suppose -4*b - 248 = 1364. Let o be 4 + (-1128)/15*50/(-4). Let j = o + b. Is j composite?
False
Suppose 0 = 4*k - 4*n - 14015 - 1113, 0 = -2*k - n + 7579. Is k a prime number?
False
Suppose 8070 = 3*s + 3*g + 2043, -s = 4*g - 2006. Suppose -4*j - i + 2679 = 0, -j + s = 2*j + i. Is j a composite number?
True
Let k = -111 + 99. Is ((-3)/k)/(4047/4044 + -1) composite?
False
Suppose -5*r - 819 = -10*r + 2*f, r + f = 161. Is r a composite number?
False
Suppose -6*c + 4*c - 10072 = 0. Is 5/2*c/(-10) a composite number?
False
Suppose 13*z - 8*z + o - 153882 = 0, 4*o = -4*z + 123096. Is z composite?
True
Let x = -11 - -16. Suppose 4*n = x*n - 2. Suppose w + 1 = 0, w + 533 = 5*c - n*w. Is c a composite number?
True
Let m(s) = s**3 - 7*s**2 - 14*s - 2. Let q be m(9). Suppose 328 - q = 6*u. Is u prime?
False
Let m = 15046 + -4463. Is m a composite number?
True
Suppose -3*u = 4*b - 2*u - 7885, u = 2*b - 3941. Suppose -q + 782 - 2274 = -3*d, 4*d = 5*q + b. Is d a prime number?
True
Suppose -2*v = 3*v, 2*y = 3*v + 8. Suppose -11 = 5*q + y. Is (-30)/4*106/q a prime number?
False
Let h = 29 - 14. Suppose 5*w - 2*w - h = 0. Suppose 0*g + w*g = 1595. Is g a composite number?
True
Suppose 5*l = 3*b - 0*b + 32, -4*l - 3*b = -31. Suppose 5481 = l*q - 10234. Is q a prime number?
False
Is ((-8)/10)/((-26)/(-878735)*-11) prime?
False
Suppose -y + 4704 = -d, -d = -9*y + 10*y - 4694. Is y prime?
False
Let v(r) = r**3 + 9*r**2 - 11*r - 8. Suppose z + 12 - 2 = 0. Let l be v(z). Suppose -l*k - k + 106 = 2*t, -5*t + 112 = 3*k. Is k composite?
True
Is 4 + 2892 - (-1)/(1/1) composite?
False
Suppose 15*u + 5*u - 544820 = 0. Suppose 12*c - u = -3325. Is c a composite number?
False
Suppose -351285 = -69*y + 36*y. Is y a composite number?
True
Let y(q) be the second derivative of 19*q**7/2520 + q**6/180 + q**5/60 - 7*q**4/12 + 5*q. Let l(m) be the third derivative of y(m). Is l(-3) prime?
False
Let m(q) = 8061*q + 7. Is m(2) prime?
False
Let t be -10 + 6 - 380/(-8)*4. Suppose -79 = -h - 5*l + 38, 2*h - 2*l = t. Is h a composite number?
False
Suppose 1434 = j + 2*j. Let b = j - 317. Suppose -n + i + 139 + 7 = 0, 4*i = -n + b. Is n prime?
True
Suppose -3*y - 44152 = -4*z, 4*y + 33114 = 3*z - 0*y. Is z prime?
False
Suppose 6*m = 10*m - 24. Let s(x) = -x**2 + 5*x + 9. Let f be s(m). Suppose -4*p + 166 = 2*z, -157 = -2*z - f*p + 2*p. Is z prime?
False
Let u = -22 + 22. Is (-160)/32*(u + 1838/(-10)) a composite number?
False
Suppose -y = 3*u - 1, -4*y + 3*u - u = 38. Suppose -28 = -s - 0*s. Is 8166/14 + y/s a composite number?
True
Suppose 3*r = -5*g + 20247, 10*r + g = 5*r + 33745. Is r a composite number?
True
Let i(p) be the second derivative of p**4/6 - p**3/2 + 11*p**2/2 + p. Is i(8) a prime number?
False
Let w be 27816/44 + 4/(-22). Suppose 0 = -3*m + w - 77. Is m prime?
False
Suppose 36 = p + 120. Let c = 77 - p. Is c a composite number?
True
Suppose -4 = -2*o - 2*u, 2 = 4*o - 3*o - u. Suppose 2*a = -t + 814, 0*a = -o*a - 3*t + 806. Is a prime?
True
Let a = 165 - 320. Let w = 219 - 457. Let p = a - w. Is p prime?
True
Suppose -2*n + 19021 = -s, 0 = 4*n + s - 32628 - 5417. Is n a prime number?
True
Is 180/63 + -3 - 99108/(-14) a prime number?
True
Let o = -1078 - -2681. Is o prime?
False
Let x(w) = 68*w**3 + 6*w**2 - 6*w + 2. Let q(v) = -67*v**3 - 5*v**2 + 5*v - 1. Let y(j) = 4*q(j) + 3*x(j). Let k be y(-2). Suppose -t + k = t. Is t composite?
False
Let k = 27 - 27. Suppose 5*j + 1251 = 5*p + 3*j, k = -5*p + 3*j + 1249. Is p prime?
True
Suppose -5*l = -l + 52. Let y(a) = a**3 + 12*a**2 - 12*a + 5. Let w be y(l). Let u(o) = -o**2 - 11*o + 7. Is u(w) composite?
False
Suppose -3058 = -5*s + 337. Is s prime?
False
Suppose -3*v - l + 2*l = 3, 2*v + 1 = l. Let y(f) = 81*f**2 - f - 7. Is y(v) composite?
True
Suppose 0 = -2*i + g + 5, 4*i - 2*g - 15 = g. Suppose -10*t + 6*t + 2536 = i. Is t composite?
True
Let b = -4 + 1. Let k(q) = 99*q**2 - 4*q - 2. Is k(b) composite?
True
Is 41/(-123) - (-7186)/3 a composite number?
True
Suppose 0 = 5*q + 5*y - 20, 2*q - 5*q + 4 = -y. Is (-284)/q*18/(-12) prime?
False
Suppose 0*u - 3*k = -3*u - 2199, u + k + 739 = 0. Let g = u - -4267. Suppose 7*v + g = 10*v. Is v a composite number?
True
Let t be 8/10 - (-665208)/90. Suppose -3*g + 0*w + 4*w + 5537 = 0, 4*g = 3*w + t. Is g prime?
False
Is (-252)/(-189) + (-519041)/(-3) prime?
False
Let j = -3 - 1. Let g(k) = 19*k**2 - 2*k - 7. Is g(j) composite?
True
Suppose -3*j = 4*j + 14. Let p be 7 + 0*j/6. Suppose -9*r + 222 = -p*r. Is r composite?
True
Suppose -2*i - 30 = -2*r, -2*r = -4*r + i + 27. Is r + -10 - (-124 - 1) prime?
True
Let c(k) = 10*k**2 + 10*k + 12. Let i(l) = l**2 + l + 1. Let s(y) = c(y) - 5*i(y). Is s(5) prime?
True
Let z(b) = b**3 - 34*b**2 - 25*b - 57. Is z(35) a composite number?
False
Suppose 2*x + 0*x = 5*p - 28, 4*x - 4*p = -44. Let n = -7 - x. Is (-7)/(7/n) + 48 a composite number?
True
Let c = 12 + -7. Suppose -b - y = 0, c*b + y = -y + 9. Suppose -x + 596 = b*x. Is x composite?
False
Let p(u) = u**2 + 7*u + 4. Let l be p(-7). Suppose 2*g + g = -5*w - 11, 0 = -l*w + g - 2. Let b(a) = -588*a**3 + a. Is b(w) a prime number?
True
Let h = 0 + 2. Suppose 0 = -5*a + h*a + 12. Suppose 5*g = -w + 230 + 36, -3*g - 995 = -a*w. Is w composite?
False
Suppose 3*u - 29 = 5*r, u + 2*r = 2*u - 11. Suppose -u*i + 888 + 2205 = 0. Is i prime?
True
Suppose 3*f - f = 4*v - 7344, v - 4*f - 1843 = 0. Is v a composite number?
True
Let y = 101050 - 49589. Is y a composite number?
False
Let v(f) = -1813*f - 530. Is v(-9) composite?
False
Let c be 0 + (-4)/(6/(-3)). Suppose 211 = c*l + l + 2*j, 4*j - 351 = -5*l. Is l prime?
True
Let s be -61*(0 - (2 + 0)). Let h = 933 + s. Is h a composite number?
True
Suppose -5*c = z - 50458, -c - z = -7505 - 2585. Suppose -2*r - 3*o = -30155, r - 5*o = 4966 + c. Is r a prime number?
True
Is 5008/4 + (1 - -4) composite?
True
Let p = 37 + -28. Let b(d) = 3*d**3 - 5*d + 7. Is b(p) composite?
True
Suppose 2*r - r = 0. Suppose 3*c - 57 - 21 = r. Let f = c + 27. Is f prime?
True
Let g(x) = -x**3 + 3*x**2 + 5*x + 3. Let h be g(4). Suppose 4*d - 3*d - 3 = -2*a, -d = 3. Suppose -h*c - 807 = -f - 3*c, a*f + 5*c = 2336. Is f a prime number?
True
Let b(c) = 3*c**2 - 20*c - 53. Is b(-22) a prime number?
False
Let p be 12/5 - 6/15. Let n(b) = p*b**2 - b**2 - 4 + 13 + b + 4. Is n(15) prime?
False
Suppose i - 7*p - 4747 = -12*p, -4*i + 2*p = -18944. Is i a prime number?
False
Is (3 + (0 - 2))/(3/4101) composite?
False
Is (-40)/(-25) - (-115656)/40 composite?
True
Let t(l) = -273*l + 9. Let v be t(-7). Suppose 25 = 5*j, -4*z = -0*z - 4*j - v. Is z a composite number?
True
Let p = -4 - -3. Let v be -38*1*p/2. Let b = v + 4. Is b a composite number?
False
Suppose 2*c + 2 = -p, c + 4*p - 3*p + 2 = 0. Suppose 4*r - 274 - 234 = c. Suppose -r = -2*q + q. Is q a composite number?
False
Let k(c) = -41*c + 14. Let f(l) =