er?
True
Suppose 0 = -2*v + 2*d + 2*d - 166, 2*v = 3*d - 166. Is (v/2)/((-5)/10) a composite number?
False
Suppose -v + 229 = 3*j, 0*v + j - 468 = -2*v. Suppose -289 = -4*y + v. Is y a composite number?
False
Let k(d) = -d**3 - d**2 + d + 2. Let o be k(0). Let s be o/(112/54 + -2). Let m = s + 86. Is m composite?
False
Let s(z) = -2*z**2 + 48*z - 33. Is s(23) prime?
True
Is -4 + 83 + 3 - 3 prime?
True
Let a(k) = -5*k + 9. Let l(i) = -7*i + 14. Let q(n) = -8*a(n) + 5*l(n). Let c be q(-2). Is (-1)/(-4) + (-225)/c a composite number?
False
Let s(d) = 71*d + 4. Is s(2) a prime number?
False
Let b(p) = 24*p**2 + 2*p - 3. Let l be b(6). Suppose 5*t - 1282 = l. Is t composite?
False
Let m = 0 + 0. Suppose 3*f - 2 = 7. Suppose m = f*c + 2*a - 43, -c + 4*a = 3*a - 16. Is c composite?
True
Let y be 306/12 - 1/(-2). Let c = y + 11. Is c composite?
False
Let h = 192 - 30. Suppose -4*x = 5*z - 1035, z - h = 5*x + 16. Is z composite?
True
Suppose -n + 8 = -4*y, 4*y - y = -6. Suppose 3*c - 309 = -n*c. Is c a composite number?
False
Suppose 2*q + 2988 = 4*z, -6*z + 5*q = -2*z - 3000. Is z a prime number?
False
Let k(p) = p**2 + 3*p - 4. Let q(y) = -y - 2. Let i be q(3). Let x be k(i). Let a(t) = t**2 + 4*t + 5. Is a(x) a prime number?
False
Suppose -4*v = -5*k + 55, 5*k = v - 4*v + 20. Let m(b) = -32*b - 3. Let l(w) = -16*w - 1. Let t(h) = 11*l(h) - 6*m(h). Is t(k) a prime number?
False
Suppose -3*w + 4*w = 131. Is w a composite number?
False
Let c be 0 + (-1)/1 - 14. Let s = 22 - c. Is s prime?
True
Let u be 9 - 1 - (0 + 2). Let n be 76/18 + u/(-27). Suppose -3*s - r = 2*s - 435, -n*r = 5*s - 435. Is s a prime number?
False
Is 25248/40 + (-2)/10 a composite number?
False
Let z(f) = 4*f**2 - f + 1. Let n be z(1). Let m = 19 - n. Is (-10)/m - 88/(-6) a composite number?
True
Let r(n) = -n**3 - 7*n**2 + n + 9. Let o be r(-7). Suppose -f - o*f + 2*m + 191 = 0, 2*m = 4. Is f a composite number?
True
Suppose 0 = 4*c + 12, 4*c + 9 = 3*h + c. Is -2 + (h + 120 - 3) composite?
True
Let a be (-793)/7 + (-4)/(-14). Let m = a + 328. Is m a composite number?
True
Suppose 4*n - 15452 = 7200. Is n a composite number?
True
Let h(b) = b**3 + 11*b**2 - 10*b - 5. Suppose -48 = 5*d - 8. Let f be h(d). Let q = -64 + f. Is q a composite number?
True
Let r = 4793 - 2970. Is r a prime number?
True
Suppose -2*a + 2*h = -16, -5*a + 2*h - h = -48. Suppose -6*l = -l + a. Is 6 + l + -2 - -77 a composite number?
False
Suppose 4*v + 10 = 3*i, -6 - 4 = i + 2*v. Is i - -5 - 2 - -248 a composite number?
True
Let d(y) = 64*y**2 - 3*y - 3. Is d(-2) prime?
False
Suppose 0*j + 2*s - 3439 = -3*j, 3*s = -4*j + 4586. Is j prime?
False
Is 50/20*-4*67/(-2) a composite number?
True
Suppose 0 = p - g - 1344, -4*g = 4*p - 0*g - 5384. Is p composite?
True
Let r(a) = -a**3 + 6*a**2 + 5*a - 7. Is r(-6) a composite number?
True
Let v(x) = 3*x + 4. Suppose 2*q - 60 = -3*q. Suppose -3*f + 7*f = q, -5*s = -5*f - 10. Is v(s) a composite number?
False
Suppose r = -k - 20, 0 = r - 0*r - 2*k + 8. Let q be r/2 + -5 + 3. Let o = q - -23. Is o prime?
True
Let k be (4/(-5))/(-1)*-5. Let a be 0 - ((k - -1) + 0). Suppose -182 = -a*f + f. Is f a composite number?
True
Let d(z) be the third derivative of 13*z**4/24 + 5*z**3/6 - 3*z**2. Let k be d(8). Let n = k + 54. Is n a prime number?
True
Suppose -4*b + 2*d = -232, d - 339 = -4*b - 119. Let z = b - -37. Is z a composite number?
True
Let r = 9 + -224. Let l = -145 - r. Is 0 + l/(-2)*-1 prime?
False
Let r(k) = -k + 10. Suppose 0*q = -q. Is r(q) composite?
True
Suppose -4*h + 12895 = h. Is h prime?
True
Let b be (-3)/6 + (-11)/(-2). Let h = -22 - -25. Suppose 2*l = p - l - 48, -132 = -h*p + b*l. Is p composite?
True
Let c(n) = -4 - 6*n**2 + 4*n**2 - 8*n**2 + n**3. Let f be c(10). Is 50/((f - 2)/(-3)) a prime number?
False
Suppose l - 12318 = -5*l. Is l a prime number?
True
Let p = 1659 + -220. Is p a composite number?
False
Is -3 + 0 + 100*4 prime?
True
Suppose -3*g + g = 0. Suppose -5*h - 20 = 0, -3*o + 2*h + g*h + 173 = 0. Is o a composite number?
True
Let n be (-3 - -3)/2 + -3. Is 157*(n - -1 - -3) a composite number?
False
Let h(q) = q - 5. Let n be h(7). Suppose -4*v = -n - 86. Is v prime?
False
Let r(z) = z - 7. Let c be r(7). Suppose c*q - q = -293. Is q a composite number?
False
Let s(h) = 28*h - 24. Let q(c) = -7*c + 6. Let n(p) = -9*q(p) - 2*s(p). Is n(9) prime?
False
Let w(v) = -5 - 8*v - 12*v + 0 + 2. Is w(-5) a composite number?
False
Let v = 0 - 0. Suppose g - 4 + 6 = v, 0 = -l + 4*g + 11. Suppose 0 = -3*d - l*a + 108, -5*a + 3*a - 33 = -d. Is d a prime number?
False
Suppose -5*u = -v - 2*v + 753, 0 = 5*v - 4*u - 1255. Is v a prime number?
True
Let g be 0 + 4 + 8/(-4). Let y be (-90)/(-8) + g/(-8). Suppose j - y = -4*d, -4*j + 12 = -2*d + 4. Is j a composite number?
False
Let h(u) = -u**3 - 4*u**2 + 4*u. Let b be h(-5). Suppose -4*c + 86 = 14. Suppose -b*k - g = -58, 5*g = -2*k + 19 + c. Is k a composite number?
False
Suppose -2*m + o = 2*o - 5, 5*o - 5 = 0. Let a be (-1)/3 + 2/6. Suppose -m*h + 64 + 42 = a. Is h prime?
True
Suppose 3*h - 2*a + 1 + 11 = 0, 0 = 3*h - a + 12. Let w(r) = -2*r**3 - 5*r**2 - 3*r - 5. Is w(h) a composite number?
True
Suppose 3*z - 160 - 221 = 0. Is z composite?
False
Let y(s) = 80*s - 7. Is y(3) composite?
False
Let b = -2779 + 5942. Is b prime?
True
Suppose 4*y - 415 = -y. Is y a prime number?
True
Suppose 3*t + 5*k = 2921, -t + 0*t + 955 = -3*k. Is t composite?
False
Let x(j) = 107*j**2 + j - 7. Is x(-3) composite?
False
Let k = 0 + 6. Let y be 4/k - 208/(-3). Suppose 2*i - y = 240. Is i a composite number?
True
Let r = 438 - 131. Is r prime?
True
Let d be 0*(6/(-2))/3. Let b be 3/6*d + 7. Let q = 12 + b. Is q composite?
False
Suppose 4*s + 12 = 3*j, 20 = -4*s - j + 6*j. Suppose d + 6 = 4, s = -3*f + 5*d + 55. Is f a prime number?
False
Suppose 7*g + 243 = 4*g. Let o = 119 + g. Is o a composite number?
True
Suppose -4*q = -y - 17, 0 = -3*q - q + 5*y + 21. Suppose -5*k + 200 = q*t - 255, -3*k + 449 = 4*t. Suppose 3*r - 5*r = -t. Is r prime?
False
Suppose 4*r - 14 = -2*l, -3*r + 3*l - 5 = -r. Suppose s = 4*g - r*g - 228, -3*s + 581 = 5*g. Is g a prime number?
False
Let i = -21 - 2. Let x = i + 44. Is x a composite number?
True
Let d = 88 - 45. Suppose d + 3 = z. Is z composite?
True
Let x = -118 + -68. Let j = x - -296. Suppose -4*w - t = -316, 3*w - j = -5*t + 127. Is w a prime number?
True
Let n(s) = -s**3 - s**2 - s + 74. Is n(0) a prime number?
False
Let g(u) = u**2 + 9*u + 11. Let v be g(-8). Suppose v*b = 2*b + 187. Is b a composite number?
True
Suppose 3*r - 8*r = -570. Suppose 5*b = -3*x - 34 + 137, 4*x - r = 5*b. Is x composite?
False
Let c(a) = -a**3 + 4*a**2 + 2*a - 1. Let q be c(4). Is (3 + -4)*0 + q a composite number?
False
Let i = 1 + -7. Is ((-10)/(-15))/(i/(-7029)) prime?
False
Let y be (-3 - (274 - -3)) + 1. Is 1/(1 - y/(-282)) a prime number?
False
Suppose x = 5*x - 132. Is 20/6*x/2 composite?
True
Is ((-4)/(-4))/2*418 prime?
False
Let i(d) = 33*d. Let s be i(-1). Is (-291)/s + 4/22 composite?
True
Let b be ((-94)/(-3))/(6/9). Suppose 2*g + 1 = b. Is g composite?
False
Let x = 3708 - 2347. Is x composite?
False
Let x = 149 - 77. Let t = x + -39. Is t prime?
False
Suppose 673 = -2*a - a - l, 2*l = 10. Let h = 427 + a. Is h a composite number?
True
Let r(s) = -s**2 + s + 55. Let w be r(0). Let l = -21 + w. Is l a composite number?
True
Let c be -2 - -4*(-9)/(-6). Suppose c*h = -4*a + 40, 3*a + h = -2*a + 30. Suppose -i + 5*i - 256 = -2*n, -a*i - 4*n = -317. Is i a prime number?
False
Suppose 5*u - 4*p - 31 = -2, -2*u + 2*p + 12 = 0. Let m(d) = 2*d**2 - 1 + 1 - 3*d. Is m(u) a composite number?
True
Suppose 0 = 5*m - 1505 - 1040. Is m a composite number?
False
Let n = -1913 + 3016. Is n a composite number?
False
Let b(i) = i**3 - 8*i**2 - i - 2. Let z(v) = 3*v**3 - 25*v**2 - 3*v - 5. Let y(j) = -7*b(j) + 2*z(j). Is y(5) composite?
True
Let a(n) = -n**3 - 4*n**2 - 5*n + 2. Let f be (-2 - -2)/(0 - 2). Suppose 3*z + 4*v = f, 5 = -5*z + 3*v - 24. Is a(z) prime?
False
Suppose 6*h - 3*h - 21 = 0. Suppose -h*w = -3*w - 372. Is w composite?
True
Let u = -82 - -43. Is 1*-1*(-8 + u) composite?
False
Suppose 3*b - 18 = -0. Suppose 19 = -p - 2*g, 0 = -4*p - g - 58 + 17. Let v = b - p. Is v a composite number?
True
Let u(s) 