1)/(-2))/((-2)/h) a composite number?
True
Let s(a) = 306*a**2 + 6*a + 25. Is s(-3) prime?
False
Let p(m) be the second derivative of -17*m**3/3 - 7*m**2/2 - 16*m. Is p(-5) a composite number?
False
Suppose 5*b - 3*t - 704 = 0, 8 = -2*t + 6*t. Suppose -2*j + b = -2*r - 4*j, -5*j + 284 = -4*r. Let z = r - -150. Is z prime?
True
Is -2 + -2 - (-1)/(1/4985) composite?
True
Suppose -291 = -5*w + 4*f - 7*f, -w - f + 57 = 0. Let t be (-129)/(-2)*w/18. Suppose 3*y - t - 247 = 5*m, -164 = -y + 5*m. Is y composite?
False
Suppose -49*p + 904862 + 244629 = 0. Is p composite?
False
Let w(c) = -17*c + 30. Suppose 46 = -4*d - 2*y, 4*d = 2*y + 9 - 67. Is w(d) a prime number?
True
Suppose -810 = -18*n + 12*n. Is ((-45316)/(-18))/2 - (-30)/n a composite number?
False
Suppose 5*z + 16 = -5*x + 256, -3*z + 149 = 2*x. Is z a composite number?
False
Let v(w) = 66*w**2 + 11*w + 19. Is v(-12) prime?
True
Suppose -s + 10*j - 7*j + 364 = 0, 1910 = 5*s + 3*j. Is s composite?
False
Let s(u) be the third derivative of -149*u**5/24 - u**4/12 + u**3 - 5*u**2. Let r(n) be the first derivative of s(n). Is r(-1) composite?
False
Suppose 38652 = 65*a - 53*a. Is a composite?
False
Let b(c) = -c**2 - 8*c - 10. Let f be b(-7). Let u be f/24 + 33/8. Suppose u*j - 1179 - 1169 = 0. Is j prime?
True
Let k(n) = n**3 - 8*n**2 + 4*n - 27. Let u be k(8). Suppose u*o - 303 = 2*o - 3*y, 0 = -3*o - 4*y + 298. Is o a composite number?
True
Let c be (9 + 0)/(-3) - -11. Let t = c - 2. Suppose m + 3 = t. Is m composite?
False
Let r = -30794 + 54823. Is r a prime number?
True
Let d be (344868/54)/2 + 8/(-36). Let o be -1*(-2 - 0) - -3. Suppose -9 = 3*y, 3*y - d = -o*v - y. Is v composite?
False
Suppose 0 = b + k - 8, -13 - 3 = -5*b + 3*k. Suppose -b*u = -6*u + 58. Suppose -i + u = 9. Is i a composite number?
True
Let p(s) = 235*s + 7 + 12 + 16 - 38. Let r = 0 + 2. Is p(r) a composite number?
False
Let s(o) = -28*o**2 - 18 - 37*o**2 - 16*o + 80*o**2. Is s(13) composite?
False
Let n(y) be the first derivative of y**4/4 - y + 6. Let p(w) = 2*w**2 - 2*w - 1. Let x(f) = -n(f) - p(f). Is x(-5) prime?
True
Suppose 0 = -0*b + 3*b - 75. Suppose q + b - 1383 = -2*f, -q + 3389 = 5*f. Is f prime?
True
Suppose -565 = 3*c + 851. Let o = c - -315. Is -2 + 0 + (0 - o) a composite number?
True
Suppose 0 = 4*u + 3*i - 6*i - 106499, 26633 = u + 2*i. Is u a prime number?
True
Let o = -14 - -17. Let c(m) = 104*m + 2. Let q(v) = 52*v + 1. Let a(g) = o*c(g) - 5*q(g). Is a(7) a prime number?
False
Let i be 12/(-12) - (-4)/1. Suppose i*g - 11694 = -3*g. Is g a prime number?
True
Let d(i) = -i**2 + 6*i. Let z be d(5). Suppose -h = -1 - z. Suppose -648 = h*r - 2202. Is r composite?
True
Suppose 86*z = 92*z - 7638. Let v = z + -824. Is v prime?
True
Is (75/(-10) + 6)/(12/(-40312)) composite?
False
Let d(r) = 7*r**2 + r. Suppose 5 = 4*s + 1. Let q(t) = -t**2. Let h(f) = s*d(f) + 6*q(f). Is h(-2) composite?
False
Is 7/(140/12895)*4 composite?
False
Let p(d) = -9 + 14*d**2 + 21*d**2 - 21*d**2 + 19*d**2 + d. Is p(3) composite?
True
Suppose -27561 = -5*d + 2*j, j - 6*j - 27555 = -5*d. Is d prime?
False
Let s = -259 + 168. Let h = s + 632. Is h a prime number?
True
Suppose -3 - 2 = v. Let i(f) be the third derivative of -37*f**4/4 + 5*f**3/6 + 185*f**2. Is i(v) a prime number?
False
Suppose 7*u + 93037 = 251006. Is u prime?
True
Suppose 0 = 4*w + 39*k - 41*k + 892, -2*k = -3*w - 669. Suppose -2*y = -0*y - 1264. Let r = w + y. Is r a composite number?
False
Let f(o) = 148*o**2 + 1. Is f(-1) composite?
False
Let o(u) = 1 + 100*u**2 + 161*u**2 + 467*u**2 + 71*u**2 + 3*u. Is o(2) a prime number?
True
Is (-3)/(-1) + (15 - 14) - -903 composite?
False
Let g(v) = -v**3 - 3*v**2 + 3*v - 4. Suppose 4*c - 3*h + 31 = 0, -2*c + 2*h = 3*c + 30. Let t be g(c). Suppose -m + 0*m + 7 = t. Is m prime?
True
Let t = -249 - -214. Suppose 6*s - 243 = 3*s. Let a = s + t. Is a a prime number?
False
Is 5/70*18190 + 2/(-7) a composite number?
True
Suppose -1324*v + 48998 = -1322*v. Is v a composite number?
False
Let t = 510 - 451. Let c = -1 + 5. Suppose -5*l + c*l = -t. Is l a prime number?
True
Suppose -j = -b + 48, 8*j - 3*j = 4*b - 244. Let t be (-36)/(-24)*((-157)/(-3) - 1). Let v = j + t. Is v prime?
False
Let i = 2 + 4. Suppose -i*x = -2*x - 16. Is (-376)/(-20)*10/x a prime number?
True
Suppose 0 = m + 2*m - 15. Suppose 5*y + 5 = -m*b, 0 = -4*y + b - 26 + 7. Is y/6 - 699/(-9) a composite number?
True
Is 419190/21 + (-6)/14 composite?
False
Suppose 4*u - 267524 = -4*o, 0 = -5*u + 9*o - 4*o + 334365. Is u prime?
True
Let a(l) = -2*l + 3*l - 12 - 8*l. Let f = -12 + 3. Is a(f) composite?
True
Let x = 43 + -41. Suppose -x*h + 149 = -h. Is h a prime number?
True
Suppose -5*i + o + 12 = 0, -3*o + 3 = -2*i - 0*o. Suppose 0 = -5*h + i*v + 16635, -3*h + 13308 = h - 3*v. Is h prime?
False
Let g(m) = -6*m**3 + 5*m**2 + 15*m + 13. Is g(-6) a prime number?
True
Let a = 7455 + 2512. Is a a prime number?
True
Suppose -j = 2 + 2, 0 = 3*t + 3*j - 30. Let i be t/(-3) - (-2)/3. Is ((-124)/i - 0)*1 a composite number?
False
Suppose h - 2*f = 438, -3*h - 3*f + 535 = -815. Suppose 20 = 2*z - h. Is z prime?
True
Let d(o) be the first derivative of 6*o**3 + 3*o**2 + 3*o + 3. Let j be d(5). Let l = 308 + j. Is l a composite number?
True
Let g(f) = -f + 3. Let v be g(0). Suppose -5*t = -7*t + 4*t. Suppose t = 4*d - v*d + 5*l - 43, -d + 37 = 2*l. Is d a composite number?
True
Let v be ((-3)/(-9))/((-9)/(-189)). Suppose v*l = 21*l - 5110. Is l prime?
False
Suppose 4*u = 1804 + 10524. Let b = u + -1605. Is b a composite number?
True
Suppose -4*v + 184374 = 52186. Is v composite?
True
Suppose 1384 = 3*h - 530. Let z = h - 259. Is z a prime number?
True
Let l(k) = 3*k**3 - 14*k**2 - 5*k + 12. Let t be l(10). Suppose 0 = 5*f + 5*c + 2323 - 378, t = -4*f - c. Let b = -264 - f. Is b a composite number?
False
Suppose -4*t + 5*m - 15 = 0, 3*m - 6*m + 9 = 4*t. Suppose 3*q + 2*l - 1396 = t, 0 = q + 3*l - 649 + 193. Suppose 0 = -6*f + q + 2454. Is f prime?
True
Let c(h) be the second derivative of 70*h**4/3 - h**3 - 13*h**2/2 + h. Let l(p) = -140*p**2 + 3*p + 7. Let k(u) = 4*c(u) + 7*l(u). Is k(-2) a prime number?
True
Suppose 0 = -4*b + 8*b - 20. Suppose 2*o + 2075 + 11946 = b*l, 4*o = 4*l - 11224. Suppose 4*h = 3*y + 758 - l, 3*h = y - 680. Is y composite?
False
Is 1 - ((-2)/4 + 1142/(-4)) a composite number?
True
Is 11/11 - 1071/3*-78 composite?
False
Suppose 3*x = -p - 0*x + 11, 36 = 2*p - x. Let y = p - 12. Suppose -7*a + 508 = -3*a - 4*k, 4*a + y*k - 544 = 0. Is a composite?
False
Let n = -5358 + 7537. Is n composite?
False
Let v(g) = -2*g - 2*g**3 + 0*g**2 + 2*g**2 - 7 - 4*g. Is v(-5) composite?
True
Let q(d) = 2*d**3 - 4*d**2 + 6*d - 7. Let g be q(2). Suppose 3*u = 2*t + 4379, 2*t - 3 = -g. Is u a composite number?
False
Let z be (-2 + 1)/(-1 - -2)*-26. Is (z/(-3))/(23/(-69)) a composite number?
True
Suppose -5510 - 4668 = -14*j. Is j a prime number?
True
Let x = 111 + -119. Let w = x + 2731. Is w composite?
True
Let b(o) = -465*o - 1 + 467*o - o**2 - 4 - o**3. Is b(-5) a composite number?
True
Let y be (-4)/(-6)*12/(-8). Is y/4 + 3325/20 composite?
True
Suppose 307*a + 22228 = 311*a. Is a prime?
True
Let q = 15873 - 9184. Is q a prime number?
True
Suppose 3*r = p + 2871, -p - 2*p + 2859 = 3*r. Let g = r - 583. Is g a prime number?
True
Suppose -3*v + 4*z + 26 = 0, 2*v + 5*z + 11 = 2*z. Suppose v*x = 669 + 745. Is x a composite number?
True
Let q = 35 + -33. Is 1/((-766)/(-382) - q) a prime number?
True
Let l(x) = -x**2 - 2*x - 3. Let g be l(-2). Suppose 7*i = 12*i + 3*c - 2693, -i + 561 = -5*c. Is i + 0/(g + 7) prime?
True
Let h(g) = g**3 + g**2 - g + 1. Let v(r) = -4*r**3 - 4*r**2 - 2*r - 13. Let j(s) = -6*h(s) - v(s). Is j(-6) a composite number?
True
Let s = -247 + 368. Is s a prime number?
False
Let a(q) = -q**2 + 6*q + 7. Let o be a(5). Let k be 18/4 - (-6)/o. Suppose -3*s + y + 2*y = -351, 4*y = k*s - 587. Is s a prime number?
False
Suppose 3*w = 4*i - 4155, w = 3*w + 2. Suppose 7*k - 5*k = i. Is k prime?
False
Let o(n) = n**2 + n - 947. Let f be o(0). Let d = f + 2034. Is d prime?
True
Let q be (-26)/(-4) - (-2)/(-4). Let x(a) = 7*a + 2*a**2 - 5*a**2 + 1 + 4 + a**3. Is x(q) prime?
False
Suppose -40985 = -m + 2*p + 8890, 2*p = -2*m + 99726. Is m a composite number?
Tru