 - u. Is l prime?
False
Let g(o) be the first derivative of o**4 - o**3/3 + 3*o**2 + 4*o - 3. Is g(7) a composite number?
True
Suppose 6*q = 5*q + 618. Let g = q - 277. Is g a prime number?
False
Is 9745 - (2 - 3)*-2 prime?
True
Suppose -1350 = -0*u - 5*u. Suppose 840 = -3*x - u. Let d = -171 - x. Is d a prime number?
True
Suppose 0*l = 5*l. Suppose 2*f + b - 1170 = l, 0*f + 3*f - 1753 = -b. Is f a composite number?
True
Suppose -11029 = -4*n + 5*b, 2*b - 5*b - 11035 = -4*n. Is n a composite number?
True
Suppose 3*i = -i - 2*d + 56904, 0 = -2*i - 2*d + 28448. Suppose -3*r = r - i. Suppose -5*p + r = 12. Is p a prime number?
True
Suppose -100*q = -104*q + 12. Suppose -4*h + 25546 = 5*y, -9*y + 5*y + 19159 = q*h. Is h prime?
True
Let q(s) = -s**2 - 3*s + 20. Let i be q(-8). Is (-38168)/(-10) + (-4)/i a prime number?
False
Suppose 0 = 5*v - y - 4*y, -5*v - 4*y + 27 = 0. Let j be 2 - ((-12)/3 - -3). Is 138 - (3/j + v) a composite number?
True
Let o = 25673 - 17172. Is o a prime number?
True
Let v = 9 + -14. Let h(w) = 70*w**2 - 4*w - 11. Is h(v) a prime number?
True
Let o = 6 + -6. Suppose o*u = -u. Suppose 4*i - 92 = -u*i. Is i prime?
True
Let q be (-7 + 6)/((-1)/934*-2). Let p = -216 - q. Is p a composite number?
False
Let z = 801 + 1636. Is z a composite number?
False
Let c(o) = 82*o**2 + 15*o - 24. Is c(-15) a composite number?
True
Let p(q) = q**2 + 5*q + 3. Let o be p(-5). Suppose o*y - 4*y = -3*u - 546, 4*y - 2133 = -5*u. Is y a composite number?
True
Let r = 26 + -62. Is (r + 3)/(-5 - -4) composite?
True
Let v = -397 + 72. Suppose -193 - 477 = 5*g. Let w = g - v. Is w prime?
True
Let n(c) = 3702*c**2 - 2*c + 2. Let m be n(1). Let d = m - 2453. Is d a composite number?
False
Let q(n) = n**3 - n**2 - n + 1. Let b be q(1). Suppose b*v = v - 503. Is v a composite number?
False
Let j(q) = -3 - 36*q + 0 + 201*q - 4. Is j(4) prime?
True
Let n(b) = 22*b. Let l be n(2). Suppose -9*r - 15 = -6. Is (r - -2)*(l - -3) composite?
False
Suppose -3385 - 87487 = -8*n. Is n a composite number?
True
Let t(y) = 102*y**2 - 4*y - 12. Let q be t(-5). Suppose 11*f = q + 357. Is f prime?
False
Suppose -6*x + 1227 + 627 = 0. Suppose 7*k = -x + 1954. Is k a composite number?
True
Suppose 0 = 4*u + 8, -j + 3*u + 863 - 208 = 0. Is j a prime number?
False
Suppose -2*j = c - 12, -5*c + 0*j - 3*j = -32. Let m = c + -22. Let t = m + 67. Is t a prime number?
False
Suppose -7*j - 12*j = -8417. Is j prime?
True
Suppose -2*g = -2*h - 2*h + 96, 0 = -5*g - h - 207. Is -4 - ((-14)/g + 2372/(-6)) prime?
False
Let h(t) = -92*t - 11. Suppose -4*v - 8 = -16. Suppose -4*j - v - 10 = 0. Is h(j) composite?
True
Suppose -3*k = -5*d + 8260, -3*k - 1569 = -2*d + 1735. Suppose -v + 6*g + 15 = 3*g, 4*v - 16 = g. Suppose -o = v*o - d. Is o prime?
False
Let g(z) = 90*z**2 - 5*z - 14. Let i(c) = -45*c**2 + 3*c + 7. Let w be -2 + 7 + 4 + -5. Let n(h) = w*g(h) + 7*i(h). Is n(-3) prime?
False
Let y(b) = -2*b**2 + 1. Let a be y(-2). Let z(u) = u**3 + 8*u**2 - 2*u + 14. Is z(a) prime?
False
Let x = -28 + 32. Suppose -519 = -2*k + 259. Suppose -3*w = 4 - 1, -x*a + k = -w. Is a a composite number?
False
Let j(p) = p**2 - p - 2. Let x be j(3). Suppose -4*n - 5*i + 374 - 1445 = 0, -5*n - x*i = 1332. Let c = n - -473. Is c prime?
False
Is ((-17023)/(-2) - 0)/(8/16) prime?
False
Suppose 2*s - 20 = 28. Suppose -22*a - 526 = -s*a. Is a a composite number?
False
Suppose -5*a = 5*z - 5, -z + 0 = 1. Suppose x - 4 = -3*u, -4*u + 2*u - 9 = 3*x. Is u - 2/(4 - a) a prime number?
True
Suppose -5*t - 276097 = -2*w, 23*t + 690184 = 5*w + 30*t. Is w composite?
False
Suppose -3*z - c = -0*z + 10474, -13992 = 4*z - 4*c. Let p = z - -4934. Is p a prime number?
False
Suppose 0 = l + 4 - 5. Let u be 4 - 2 - 26/l. Is (-5068)/u + (-1)/6 a prime number?
True
Let q(o) = -170*o - 69. Is q(-16) a composite number?
True
Suppose 8 = -2*x, 2*x - 1261 = -3*m - 3*x. Suppose 0 = -v + m + 524. Is v prime?
False
Let w be (-10 - -4)*37023/(-6). Suppose 15*m - w + 7788 = 0. Is m prime?
True
Suppose -20*j + 8974 = -18*j. Is j composite?
True
Let g be 526/(-10) - (-2)/(-5). Let l = -341 - -410. Let n = l - g. Is n prime?
False
Suppose j = -s + 97021, 25*j - 22*j - 291065 = -2*s. Is j a composite number?
True
Let s(a) = 458 + 3*a - 445 - 9*a**2 + 6*a**3 - 2*a**3. Is s(6) a composite number?
False
Let q = -13237 + 22824. Is q composite?
False
Let i = -13646 + 9148. Let q = i + 6599. Is q prime?
False
Let n = -23 - -28. Suppose -4*l = -n*u - 1036, 2*u - l + 382 = -30. Let m = u - -359. Is m a prime number?
False
Let f(y) = -2*y - 12. Let l be f(-6). Suppose 4*p - 1 - 19 = l, -p = -2*m + 113. Is m/(3/(6/2)) prime?
True
Suppose 0 = -112*u + 114*u - 1542. Is u a composite number?
True
Suppose -4*t + 3075 = 287. Suppose -u + t = -4*j, 3*u - 7*u = -5*j - 2766. Is u a composite number?
True
Suppose 3*b + 14799 = 3*a, -13750 - 1065 = -3*a - b. Is a prime?
True
Let l(p) = -31*p**3 + 4*p**2 - 7. Is l(-3) prime?
False
Let f be -6*(4/(-8) - 0). Suppose -2*q + 2*i - 3 = -1, -q + f*i - 3 = 0. Suppose 4*c + 3773 = 5*d - q*c, 5*d - c = 3782. Is d a prime number?
True
Is -6 + 0 + 12 + 315 composite?
True
Let i(y) = 8*y**3 + 14*y - 31 - y**3 - 12*y**2 - 6*y**3. Is i(14) a prime number?
True
Let t(l) = 4*l**3 + 11*l**2 - 11*l + 61. Is t(11) prime?
False
Suppose 6*d + 30 = 11*d. Suppose -d*r = -3*r + 2*b - 537, -2*r = 2*b - 358. Is r composite?
False
Is 43496/14 + (-12)/(-84) prime?
False
Suppose 4*v + 298 = 2*l, -2*l = 2*l - 2*v - 626. Suppose 2*o - 961 = -l. Is o a prime number?
True
Let w(z) = 48*z + 38. Is w(13) a composite number?
True
Let q be ((-9)/3)/((-1)/(-7)). Let s be q/(-7) - (0 + -146). Suppose 0*t + s = t. Is t a prime number?
True
Let x = 12 + -8. Is ((-166)/x)/((1 + -4)/42) a prime number?
False
Suppose 0 = i + 4*n - 287, -i + 5*n + 287 = -0*i. Let v = i + -198. Is v prime?
True
Let w = 1003 + -511. Let i be 8/3*w/8. Let h = 283 - i. Is h a composite number?
True
Let l(d) = -343*d + 28. Is l(-13) prime?
False
Let w(f) = -29*f + 10. Let a be w(14). Let u = -247 - a. Is u a composite number?
False
Let y(h) = -6*h**2 - 5*h - 7. Let b(i) = i**2 - i. Let x(a) = 4*b(a) - y(a). Let o be x(5). Suppose 2*m - 2*q = 2*q + 270, -2*m + 2*q + o = 0. Is m prime?
True
Let o be (-180108)/(-45) + 4/(-10). Suppose o = -4*c + 10*c. Suppose g - 4*g = -2*h + c, g = 4*h - 1319. Is h composite?
True
Let f be (-2)/8 - 32013/12. Let h = -197 - f. Is h a composite number?
True
Is (-2818)/((-72)/135 - 2/(-15)) a prime number?
False
Let f be 1*(-1 + 2)*0. Suppose 4*w - 1521 - 91 = f. Is w a prime number?
False
Is (-130686)/(-15) + (48/20)/4 prime?
True
Suppose 2 = 3*c + 5. Let q(p) = 189*p**2 + 2*p. Is q(c) a prime number?
False
Suppose -8*l = -13*l + 8065. Suppose -2*d + l = -m, -4*m + 3256 = -d + 5*d. Is d composite?
False
Suppose -2*o = -5*o + 3*l - 1971, 2*l = o + 655. Let r = 1246 + o. Is r prime?
True
Let k = 70875 - 34158. Is k a prime number?
False
Let x(l) be the first derivative of 41*l**3/3 + 2*l**2 + 2*l - 15. Let r(i) = i - 9. Let y be r(6). Is x(y) composite?
False
Let i(q) = -192*q**3 - q**2 - 2*q. Let o be i(-1). Suppose -14 = -s - 54. Let n = o - s. Is n prime?
True
Suppose -2*j - 1636 = -3*p - 6149, -4*p = -4*j + 9016. Is j composite?
True
Suppose 4*l + 218 = 2*l. Suppose -5*z - 270 = m - z, -2*m + 5*z - 501 = 0. Let j = l - m. Is j composite?
False
Suppose 1416 = 2*q - 2230. Is q composite?
False
Suppose -3*p - 2*p = 0. Let q(a) = -2*a + 233. Is q(p) prime?
True
Suppose 493*i = 502*i - 46503. Is i composite?
False
Let w = 4 + -1. Suppose -5*v = 8*z - w*z, -5*z + v + 24 = 0. Suppose -2*t = -z*t + 314. Is t a composite number?
False
Let l be (-4)/6*(-485 - 1). Let f = l - 224. Suppose f = c - 59. Is c a prime number?
False
Let a be (0/(-4 + 2) + -1)*12. Let z(w) = 4*w**2 - 12*w - 17. Is z(a) prime?
False
Suppose -9*u + 36 = 9. Suppose u*i + 2884 = 5*t, -576 = -t - i + 2*i. Suppose -w + 70 = -2*k - 126, 3*w + 4*k - t = 0. Is w a composite number?
True
Suppose -223*h + 226*h = 2901. Is h composite?
False
Let b(x) = 2*x**2 - 5*x + 3. Let j be b(3). Is (2 - 0)/(j/2157) prime?
True
Suppose -5*a + 4*r = 16, -2*a - 2*r + 8 = -4*a. Suppose -2*s + 4442 + 864 = a. Is s composite?
True
Let t be (-3)/2 - 210/(-20). Suppose 2*g + 3 - 15 = 0. Let m = t + g. Is m co