prime?
True
Suppose 0 = p - 2522 - 983. Is p a composite number?
True
Suppose -s + 6 = -0*s. Suppose 0 = 3*t - q - 23, -5*t - q + s*q + 55 = 0. Suppose -4*j + t*j = 68. Is j a prime number?
False
Let b(c) = 2*c + 3*c**2 + 6*c**2 - 6 + 7 + 3*c**2. Let j be b(-1). Suppose 317 = -10*x + j*x. Is x a composite number?
False
Suppose -275*k = -277*k + 97502. Is k a composite number?
False
Suppose -2*w = -8*w. Suppose 2*u - 167 - 207 = w. Is u a composite number?
True
Let d(k) be the second derivative of k**4/12 - 7*k**3/3 - 5*k**2 - 7*k. Let t be d(15). Suppose n + 92 = y, 5*y + n - 459 = t*n. Is y a composite number?
True
Let w be -4*(-1)/10*-15. Let d(b) = b**3 + 6*b**2 + 2*b + 8. Let m be d(-6). Is m/w - 859/(-3) prime?
False
Let a = 42 - 43. Is ((2 + -1)/1)/a*-13 a composite number?
False
Suppose 5*s + 5*v = 35, -4*s = -2*v - 4 - 0. Suppose s*g + 4*z - 521 = 0, 3*g + z = 426 + 80. Is g composite?
False
Suppose 5*z - 20283 = -4*y, -2*y + 2*z + 2391 = -7773. Is y a composite number?
False
Let r = -241022 + 351111. Is r composite?
True
Let o(x) = -166*x + 10. Let j(l) = -165*l + 10. Let a(y) = 2*j(y) - 3*o(y). Is a(4) composite?
True
Let u(p) = 2357*p**2 - 29*p - 211. Is u(-6) a composite number?
True
Suppose -60 = -3*k - v, 4*k - 2*v - 23 = 47. Let b = k - 27. Is (-793)/(-3) - b/12 a composite number?
True
Let k(l) = 8*l**3 + 7*l**2 + 14*l + 4. Let p(m) = -m**3 + m - 1. Let t(o) = k(o) + 2*p(o). Is t(7) prime?
False
Let u(d) = 6*d**3 + 5*d**2 - 5*d - 1. Is u(12) a prime number?
True
Let f be ((-15)/9)/((-5)/(-255)). Let q = f + 216. Is q composite?
False
Suppose 253246 = 79*t - 65*t. Is t a prime number?
True
Suppose -f + 5 = 3. Suppose -90 = f*j - 2. Let y = j - -83. Is y a composite number?
True
Let m(y) = -2*y**2 + 13*y - 4. Let p be m(6). Let d(n) = 16*n**2 + 7*n - 11. Is d(p) composite?
False
Let a(h) = h + 3. Let d be a(-5). Let b be d/(-4)*(2089 + 21). Suppose -f - b = -6*f. Is f a prime number?
True
Let n(p) be the first derivative of -3*p**4/8 + 10*p**3/3 + 5*p**2/2 + 2. Let m(h) be the second derivative of n(h). Is m(-11) a composite number?
True
Let n(t) = t**3 - 10*t**2 + 9*t - 2. Let c be (-51)/(-6) + 4/8. Let d be n(c). Is 180 + (d + 1 - 2) composite?
True
Suppose 2052 - 30222 = 6*d. Let j be (d/(-5) + 2)*11. Suppose 0 = 4*i + 3291 - j. Is i a prime number?
False
Let a = 862 - -2137. Is a composite?
False
Suppose 4*q + 2*i = 14078, -5*i + 6*i - 5 = 0. Suppose 2*v - s = q, 0 = -4*v - 5*s - 1849 + 8862. Is v a prime number?
False
Suppose o = -2*z + 23261, -21532 = -2*o + 2*z + 24978. Is o prime?
False
Suppose 29460 - 6657 = 3*h + 5*q, -3*q = 0. Is h composite?
True
Let l(j) be the third derivative of -17*j**4/12 - 25*j**3/6 - 2*j**2 - 22*j. Is l(-18) composite?
False
Suppose 3*z + z = 3*c + 1035, -3*c = 15. Let y = z + 298. Is y composite?
True
Is -5*5/25*-44677 a composite number?
True
Let w(u) = u**3 - 6*u**2 - 12*u + 21. Let r be w(7). Let s(a) = -a**3 - 10*a**2 - 15*a - 3. Is s(r) a prime number?
True
Is (7 + 14166 - -13) + -6 + -1 a composite number?
True
Suppose c + 8 = -3*c. Let h = 37 - 38. Is h/c*(22 + 0) a composite number?
False
Let c(i) = 34*i**2 - 11*i - 15. Let z be c(-11). Suppose -29*l + 33*l = z. Is l a composite number?
True
Let w = -3751 + 6450. Is w a prime number?
True
Suppose 2*y = 3*y - 3. Suppose 2*f = -r + 9367, 9361 = 2*f - 0*f + y*r. Is f prime?
False
Suppose 0 = 33*g - 29*g - 92756. Is g a prime number?
True
Let m = -117 + 121. Suppose -2*w = -m*d - w + 744, d + 2*w - 195 = 0. Is d a prime number?
False
Let m = -34960 + 60551. Is m prime?
False
Let d = 23 - -7. Let m(c) = 5 + d*c**2 - 3 + 4 - 3 + 4*c. Is m(4) a composite number?
False
Let s be 4/44 - 236055/(-55). Suppose 6*z - 10*z = -s. Is z a prime number?
False
Is 11226/(-12)*(-2 + 1 + -3) a composite number?
True
Let i(n) = n**2 - 3*n + 6. Let v be i(0). Suppose 0 = 4*y - q - 282, -3*q + 65 = y - v*q. Let c = y + -25. Is c composite?
True
Let n be (8 - (1 - 0)) + 3. Suppose 15*s - n*s = 6425. Is s composite?
True
Let w(u) = -236*u**3 - 7*u**2 + 2. Let a be w(-3). Let y = a + -3410. Is y a composite number?
True
Let d = 16 - 11. Suppose -23 = -j + d*i, -4*j + 5 = j - 3*i. Is (-16)/(j*2) + -1 composite?
False
Let h(x) = 78*x - 49. Is h(4) a composite number?
False
Suppose 5*x - 8*x + 3*h = -45033, x = -3*h + 15019. Is x a composite number?
False
Let t = -934 - -1371. Is t prime?
False
Suppose -164 = -2*r + 3*y, 330 = 4*r + y - 6*y. Suppose 3*i - r = 4*v + 70, -5*v = 3*i - 137. Is i a composite number?
True
Let l = 9367 - 3588. Is l prime?
True
Suppose c - 7*c = -6. Suppose -2*k + 5 = -c, 5*k = 2*g + 25. Let l(z) = -29*z + 12. Is l(g) a composite number?
False
Let j = 46463 - 32598. Suppose -2*c + j = 3*c. Is c a composite number?
True
Let j(t) = 5*t**3 - t**2 - 2*t - 8. Let i(a) = -a**3 + a + 1. Let s(u) = 3*i(u) + j(u). Is s(6) prime?
True
Suppose -4*f + 3*f - a = -86, 0 = -2*f - 4*a + 162. Is f composite?
True
Suppose -2*s - 2*s + 1 = 3*i, 5*s - 9 = 4*i. Let p(x) = x**3 - 8*x**2 - 20. Let j be p(8). Is s - -1098 - (j + 16) composite?
False
Let t(q) be the third derivative of -q**6/120 - q**5/15 + 3*q**4/8 - 11*q**3/6 + 2*q**2. Let c be t(-8). Suppose -2*p + c = -153. Is p a prime number?
True
Let l(g) = 1263*g**3 + g**2 - 7*g + 7. Let u be l(1). Let p(v) = 4*v - 1. Let m be p(1). Suppose m*x = -4*i + 1681, u - 3518 = -4*x + i. Is x composite?
False
Let b = 1752 + -897. Suppose b = -0*y + 9*y. Is y prime?
False
Let v be (-4)/36*3*0. Suppose -4*w + 56 = y, 2*y + v = -3*w + 42. Is w a composite number?
True
Let u = 613 + -267. Is u composite?
True
Let t(w) = 0*w**2 + w**2 + 2 - 9. Let l(m) = -2*m - 6. Let f be l(2). Is t(f) prime?
False
Let n = 53 - 49. Is (751/3)/((-52)/(-12) - n) a prime number?
True
Let b be (-528)/64 + ((-2)/8)/(-1). Is 38/b*(-3 - 1) a prime number?
True
Let y = -14 - -18. Let r = 2 - y. Is (73 + -2)*(3 + r) prime?
True
Let x(p) be the first derivative of -7/2*p**2 - p + 13*p**3 - 5. Is x(3) composite?
True
Suppose 0 = 3*q + 4*l - 5797, -l - 4494 = -5*q + 5206. Is q composite?
True
Suppose 3*y - 3*s - 783 = 0, -y - 2*s = 12 - 285. Is y a composite number?
True
Let i(y) = -30 + 10*y - 27 + 9*y + 64. Is i(9) composite?
True
Suppose o + 2*g - 1 = -8, -4*o + 5*g = -37. Suppose 4323 = 3*z - o*x, 5*x - 1002 - 415 = -z. Is z a composite number?
True
Suppose -34497 = -85*l + 76*l. Is l a prime number?
True
Let i(v) = -v**3 - 45*v**2 - 55*v - 37. Is i(-44) prime?
False
Let v(o) = 95*o**2 + 22*o + 360. Is v(-13) a composite number?
True
Let u(d) = -d**3 - 7*d**2 + 14*d - 23. Let k be u(-12). Suppose 0 = 14*o - 13*o - k. Is o a prime number?
False
Suppose 4*g = 8 - 0. Let r = -18 + 18. Suppose y = r, -2*j + g*y - 295 = -3*j. Is j composite?
True
Suppose -2*m = k - 185, 0 = -13*k + 10*k - 4*m + 555. Is k prime?
False
Suppose 0 = -3*w + 3*m - 2*m + 5563, 5*w = 2*m + 9273. Is w a composite number?
True
Let d(t) = 102*t**2 - 10*t + 3. Is d(5) prime?
True
Suppose -16 + 0 = -2*h. Let u be h/52 + (-557)/(-13). Suppose u - 185 = -2*c. Is c prime?
True
Let t = 6877 - 2486. Is t a composite number?
False
Suppose -406 = -2*b + 2080. Is b a composite number?
True
Let q = 83 + -83. Suppose 5*p = 3*c - 2687, -p - 4*p + 10 = q. Is c composite?
True
Suppose -2*i + 5 = 1. Let u be 531/i + (-3)/(-6). Suppose 0*q + u = 2*x - 4*q, -3*x + q + 419 = 0. Is x a composite number?
True
Suppose -4*u + u = -147. Let c be 14/u - 66/(-14). Suppose -3*t - 56 = -2*k, -119 = -c*k - 0*k - 3*t. Is k a prime number?
False
Let w(v) be the third derivative of v**9/60480 - v**8/4032 + v**7/2520 + v**5/12 + 9*v**2. Let q(g) be the third derivative of w(g). Is q(5) a composite number?
True
Let n(u) = 0 - 464*u - 1 + 128*u. Let g be n(-1). Suppose 0*j + 5*j - g = 0. Is j prime?
True
Suppose -77 = -l - z + 46, -4*l + 2*z = -504. Let g = l + 20. Suppose -3*s = -2*s - g. Is s composite?
True
Let q(n) = n**2 + 11*n + 34. Let h be q(-7). Suppose 9 = 3*k, j - 5*k = -h*k + 1282. Is j composite?
False
Suppose -4*u + 2*u - 3*f + 10 = 0, -u - 5*f + 5 = 0. Suppose 0 = -a - 1, 5714 + 2503 = 4*c - u*a. Is c a composite number?
False
Let s = 2238 + -901. Is s prime?
False
Let x(y) = 4*y - 11 - y - 3*y - y. Let j be x(-10). Is j/((-2 - -6)/(-316)) a prime number?
True
Suppose -8*z + 22843 = -82989.