omposite?
False
Let a be ((-3)/(-4))/((-2)/8). Let z(j) = -7*j - 2. Let x be z(a). Suppose 166 + x = 5*n. Is n a prime number?
True
Let f(o) = o**3 - 8*o**2 + 8*o - 3. Let p be f(7). Let i(y) = 0 + 1 - 1 + 43*y + p. Is i(3) a composite number?
True
Suppose 24*b - 25 = 19*b. Suppose 9*j - 4*j + 15790 = b*n, -n + 3143 = -4*j. Is n a prime number?
True
Let m be ((-6)/(-9))/((-4)/(-966)). Suppose 0 = -t + 2*t + m. Let h = t + 240. Is h a prime number?
True
Let s(p) = p**3 - 2*p**2 - 4*p - 12. Let x be s(4). Suppose -x*d = -3*d - 6005. Is d composite?
True
Let w(c) = 20*c**2 - 6*c - 5. Let s(q) = -q**2 + 1. Let h(i) = 6*s(i) + w(i). Is h(6) composite?
True
Let u(f) = -f - 3. Let c be u(5). Let l be 4 + (0 - c)/(-4). Is ((-70)/(-21))/(l/93) composite?
True
Let y be ((-6)/(-6))/(2/(-62)). Is y*(-6)/((-24)/(-20)) a composite number?
True
Suppose -6*o = -2*o + 3*j - 14199, 10643 = 3*o - 4*j. Let h be ((1152/(-45))/(-8))/((-4)/2830). Let d = o + h. Is d composite?
True
Let k(y) = 14*y**2 - 8*y + 133. Is k(-18) a composite number?
False
Suppose a = 4*q + 3*a - 39776, -2*a = 8. Is q composite?
True
Let k(l) = 14*l**2 - 11*l + 22. Is k(4) a prime number?
False
Suppose 10*f + 3321 - 99811 = 0. Is f prime?
True
Let v = 51 + -44. Suppose 0 = v*g - 1042 - 1009. Is g composite?
False
Let m(h) = 55*h**2 + 11*h + 1. Let p be m(-8). Let q = p + -2232. Is q composite?
False
Suppose 4*t = 7*t + 24. Let u(q) = q**3 - 12*q**2 + 7*q + 14. Let z be u(11). Is 2/t*(z + 2) a composite number?
False
Let y(h) be the first derivative of h**3/3 + 1. Let o = -48 - -50. Is y(o) prime?
False
Suppose 56186 = 3*w + 264*y - 265*y, -10 = 2*y. Is w composite?
True
Suppose 16*i = -27287 + 127879. Is i composite?
False
Let p(y) be the first derivative of -21*y**2/2 + 5*y - 4. Let u = -2 - 4. Is p(u) prime?
True
Suppose 2*m = n + 13046, -m - 4*n - 9 + 6532 = 0. Suppose -5*i + m = 1828. Suppose -u - 5*z + i = u, 5*u = 4*z + 2331. Is u a composite number?
False
Suppose 3*w - 15 = 0, 4*c + w - 5*w - 12 = 0. Let d(t) = 2*t**3 - 2*t**2 + 8*t + 4. Let v be d(-5). Is v/(-10) + c/20 a composite number?
True
Let t be 26/(-117) - 2/(-9). Let c be t/((2 - 3)*1). Suppose -4*n + 3*x + 521 + 5 = c, -2*n = -x - 264. Is n a prime number?
False
Let q be 2 - (2 + -3 - 1). Suppose q*t + 0*t - 28 = 4*b, 3*t - 17 = b. Suppose -3*l - 4*i = i - 674, t*l + 2*i = 1117. Is l prime?
True
Suppose 5*f + 4*u = 2*u + 13811, -4*f - 2*u + 11050 = 0. Is f a composite number?
True
Is 139/(792/788 + -1) a composite number?
True
Suppose 9 = 5*l + 29. Is (-152658)/(-306) - l/34 prime?
True
Let r = 1 - -1. Let u(y) = -y - 1. Let m(a) = -33*a**2 + 6*a - 1. Let f(s) = -m(s) - 2*u(s). Is f(r) prime?
True
Let a(n) = -9*n**3 - 3*n + 2. Let g be a(-3). Suppose 0 = 8*y - 6*y - g. Is y prime?
True
Let v be 3/(54/4) - (-6)/(-27). Suppose -j + 6*j - 3985 = v. Is j a composite number?
False
Let b(s) = -85*s + 13*s**2 + 89*s + 3 - 5. Is b(-5) a composite number?
True
Suppose 4*c = -5*v + 63, 5*c = -v - 4*v + 85. Let d = c + 135. Is d a composite number?
False
Suppose -4*n + n + 9 = 0. Suppose 0 = -n*l + 7 - 16. Is (1/l)/(4/(-228)) composite?
False
Suppose -5*q = s - 33, -4*q = -0*q + 3*s - 33. Let d be (-14)/(-21) + 92/q. Is 2/(-4) + 1432/d composite?
False
Let q = -828 + 223. Let s = q + 2127. Is s prime?
False
Let f be -325*5/((-100)/(-8)). Let n = 249 - f. Is n composite?
False
Let l(g) = 80*g**3 + 6*g**2 - 8*g - 2. Let q be l(6). Is (-1)/(q/4362 + -4) prime?
False
Let y = 125627 + -67116. Is y a composite number?
False
Let q(j) = -5*j**2 + 75. Let f(o) = -3*o**2 + 50. Suppose 0 = -2*r - 1 - 9. Let z(u) = r*q(u) + 8*f(u). Is z(0) prime?
False
Let c = 289 + -286. Let g(d) = d - 5. Let k be g(8). Suppose -k*y = -3*r + 102, -4*r + 194 = r + c*y. Is r prime?
True
Let c be 17/((-4)/((-348)/(-3))). Let t = 0 - c. Is t composite?
True
Let w(f) = 306*f**2 + 3*f + 2. Let v be w(-1). Let h = v + 32. Is h a composite number?
False
Suppose -3*r + 6287 = 5*m - r, -r - 6299 = -5*m. Is m a prime number?
True
Let n = 354 - 105. Is n a composite number?
True
Suppose 3*n - 3*m = 4*n - 25870, 3*n - 3*m - 77550 = 0. Suppose -f + 6*f = 5*d + n, -2*f + 10342 = -4*d. Is f composite?
False
Let j(a) = 25*a - 75. Let v be j(9). Is 8/28 - v/(-14) composite?
False
Suppose -4*v + 5*s - 1240 = 584, s = v + 456. Let x = -155 - v. Is x composite?
True
Suppose 11*d = -0*d + 21241. Is d prime?
True
Let a(c) = c**2 - 5*c + 4. Let g be a(4). Suppose -8 = -2*x, -373 = 5*h + 2*x + 44. Let p = g - h. Is p composite?
True
Let x(b) = b**2 - 4*b + 2. Let m be 24/30*(-10)/(-4). Suppose -5*q + m*s + 26 = -0*s, 5*q - s = 28. Is x(q) composite?
True
Let i = -66 - -126. Let p = i + -7. Is p composite?
False
Suppose -12 = q - 4*q. Let o(i) = i**3 - 9*i**2 + 14*i. Let p be o(7). Suppose -2*l + 40 = -5*x + 12, q*x - 8 = p. Is l a composite number?
False
Suppose 2*j - 9 = -j. Suppose -5*w + 8 = -2, 4*w = -5*k + 33. Suppose -5*i = k*p - 355 - 435, 4*i = -j*p + 475. Is p composite?
False
Let o(s) = s**2 - 10*s - 18. Let x be o(12). Suppose -x*i + 3*l = -2*i - 21524, -5381 = -i + 4*l. Is i prime?
True
Suppose 635*z = 632*z + 2*f + 91562, -16 = 4*f. Is z a composite number?
True
Let f(h) = 527*h - 20. Is f(3) a composite number?
True
Let l be (3/(30/(-4)))/(1/15). Let b(z) = -z**2 + 3*z + 6. Let w be b(5). Is ((-753)/l)/(w/(-8)) a composite number?
False
Let r = 9 - 6. Suppose -4*d + 2*g + 518 = 0, -r*g + 319 + 214 = 4*d. Is d a prime number?
True
Suppose -7*c + 54 - 12 = 0. Is c/(-33) - (0 + (-151575)/33) a composite number?
True
Let w(d) = -2*d**3 - 23*d**2 - 10*d + 10. Let f be -26*(-3)/(1*-6)*1. Is w(f) a composite number?
False
Let g(v) = 486*v**2 + 27*v - 70. Is g(4) prime?
False
Let b be (-12)/(-9)*(6 + 0). Let t = 10 - b. Suppose 2*u - 298 = r - 0*r, t*r = -5*u + 745. Is u composite?
False
Let j be (-4)/(-20) + (-28)/(-10) + -3. Let w(t) = -7*t**3 + 6*t**2 - t - 5. Let a be w(-5). Suppose -7*y + 2*y + a = j. Is y prime?
False
Suppose 0 = 4*g - 5*p - 65744, 2*g + 2*p - 23589 - 9265 = 0. Is g a composite number?
True
Let r(h) = -h**2 + 0*h**2 - 4*h - h + 0*h - 6. Let l be r(-4). Let i(x) = -37*x**3 - 2*x - 2. Is i(l) a composite number?
True
Suppose 0 = -2*o + 4, o - 2 = -4*t + 6*o. Suppose 3*n - 1053 = -3*v, -4*n + t*n - 355 = -v. Is v a composite number?
False
Let v(w) = -2037*w + 20. Is v(-3) a prime number?
True
Let q(k) = k**2 - 10*k - 13. Let w be q(11). Let r(n) = -148*n - 3. Is r(w) prime?
True
Let c = 973 - 192. Is c composite?
True
Let a = 501 - 328. Suppose x - a = -3*u + 123, 0 = 4*u + 5*x - 413. Suppose -12*q = -13*q + u. Is q composite?
False
Let t(q) = -1 + 2*q + q + 2*q - 4*q. Let a(w) = 15*w + 4. Let r(c) = -a(c) + 2*t(c). Is r(-3) prime?
False
Is -6*3357/(-2) - (-5 + 3) prime?
False
Suppose 8 = -u + 3*u. Suppose -3*v - d = -1014, u*v - 2*v + 4*d = 666. Is v a prime number?
False
Let u be (18/(-5))/((-4)/10). Let d = 11 - u. Let m(i) = 42*i**2 - 4*i + 3. Is m(d) a composite number?
False
Suppose 3*v = -4*v + 94654. Let c = -9395 + v. Is c prime?
True
Let b(i) = 5 - i + 5*i - 4*i**2 - 2*i**3 + 2*i**2 - 4*i**3. Is b(-2) a composite number?
False
Let p(v) be the third derivative of -v**6/120 + 2*v**5/15 + 7*v**4/24 - 3*v**3/2 + 21*v**2. Is p(-8) composite?
True
Let y = 36 - 43. Is (-298)/(-14) + -2*(-1)/y composite?
True
Suppose 24150 = 4*c + 2790. Suppose 4*o - 8 = 0, -3*s + 2*o = -o - c. Suppose 1524 = 6*d - s. Is d a composite number?
True
Is (-2)/13 - (-80)/13 - -27841 a prime number?
True
Let k(s) = -s**2 + 10*s - 24. Let b be k(6). Suppose b = 4*y - 1677 - 1015. Is y a composite number?
False
Let w be 1/(530/(-177) + 3). Let t = -46 + w. Is t composite?
False
Let y(i) = 5500*i**2. Let k be y(-1). Suppose -3*u = 5*s - k, 3*u - 2*s - 4680 - 827 = 0. Is u a composite number?
True
Suppose 2*x = -n + 68820, -5*n + 5003 + 29416 = x. Is x prime?
False
Let c(y) = 3861*y - 116. Is c(3) a prime number?
True
Suppose -3 + 12 = 3*l. Suppose 0 = -l*p + 1829 + 997. Is (-2)/(-3)*p/4 a prime number?
True
Let d = 478 + 2885. Suppose -1121 = -a - 4*o + o, -3*a = 4*o - d. Is a a prime number?
False
Let f(x) = -2*x + 11. Let o(d) = -d**3 + 2*d**2 - d - 4. Let m be o(2). Is f(m) a composite number?
False
Let k(q) = 1378*q - 493. Is k(15) a composite number?
False
Let m(y) = -68*y