(l/(-2))/((-2)/148) composite?
True
Let p(d) = d**2 - 7. Let v(k) = k**3 - 2*k**2 - 6*k + 5. Let b be v(3). Let i be p(b). Suppose 5*q + 3476 = i*q. Is q a composite number?
True
Let g be -3 + (0 - (-2 + -6)). Suppose -2*c - 268 = -4*r, 416 = -g*c + 2*c - r. Is ((-2)/(-6))/((-2)/c) a prime number?
True
Let k be 3/(-9)*54/(-6). Suppose 19914 = k*b - 5*i + 4*i, 3*b - 4*i = 19923. Is b a composite number?
False
Let b(m) = -5 + 28*m - 2*m**2 - 35*m + m**3 + 9*m. Let v(w) = -5*w**3 - w**2. Let u be v(-1). Is b(u) a prime number?
False
Let o be ((-45)/(-12))/(-5) + 26268/(-48). Let m = o + 1063. Is m a prime number?
False
Suppose 5*c = 4*k + 197475, 2*k = 22*c - 18*c - 157986. Is c a prime number?
True
Suppose 8*m = 15*m + 14. Suppose 3*c - 5*q + 19 = 0, 5*c - 4*q + 49 = -0*c. Is ((-103)/m)/(c/(-26)) prime?
True
Suppose 0 = -2*l + 2268 + 1496. Suppose -2*o = 44 - l. Is o composite?
False
Suppose -4*p + 8 = 5*v, -3*v - 2*p + 4 + 2 = 0. Suppose v*y + 723 = 227. Let s = y + 378. Is s composite?
True
Suppose 0 = -3*f + 4*h + 4207, -590 = -f - 5*h + 787. Is f prime?
False
Let v(r) = 4*r**3 + 4*r**2 - 11*r - 1. Let w(j) = j**3 - j**2 - j. Let i(h) = -v(h) + 2*w(h). Let f(o) = -2*o + 6. Let g be f(6). Is i(g) composite?
False
Suppose -6 + 10 = -m. Is (-10)/m*(-1988)/(-10) a prime number?
False
Is (9165/6)/(1/2) - 2 prime?
False
Is (56/(-224))/((-1)/138812) prime?
True
Let g(p) be the first derivative of -112*p**2 + 23*p + 7. Is g(-3) a composite number?
True
Is 6*2463 + -6*15/(-18) a composite number?
False
Suppose -3*j - 2*c = -7*c - 65576, 2*j - 43711 = -3*c. Is j a prime number?
False
Let s(g) = -g**3 + 17*g**2 - 17*g + 18. Let c be s(16). Let h(p) = 570*p - 1 - c - 489*p. Is h(4) a prime number?
False
Let z be (-9327)/(-21) + (-2)/14. Suppose -4*s = -3*i + 271, 4*s + 120 = -4*i + z. Suppose -5*m - i + 1410 = 0. Is m prime?
False
Let l(g) = 20*g**3 - 12*g**2 + 20*g + 21. Let n(x) = 13*x**3 - 8*x**2 + 13*x + 14. Let o(y) = -5*l(y) + 8*n(y). Is o(10) prime?
False
Let d = 1677 + -310. Is d composite?
False
Suppose -b = -4*u + b + 31268, -5*b = -u + 7799. Is u prime?
False
Suppose 0 = -42*u + 15*u + 106299. Is u a prime number?
False
Let u(p) = 8 - p**2 - 3 - 4*p - 6. Let y be u(-3). Suppose -y*m = -4*c - 126, -2*m + 0*m = -c - 114. Is m composite?
True
Suppose -k - 4*i + 459 = -i, -k + 431 = -4*i. Let z = k + -138. Is z a composite number?
True
Let x(o) = 6*o**3 + 15*o**2 + 9*o + 5. Let m(q) = q**3 - 19*q**2 + 7. Let f be m(19). Is x(f) a composite number?
False
Suppose 1 = z - 2. Suppose -174 = z*m + 303. Is (14/(-1))/(6/m) a prime number?
False
Suppose 0 = -2*f + f. Suppose -m + f*m - 128 = 0. Let p = 351 + m. Is p prime?
True
Let j(g) = -66*g + 3. Let y(w) = -w**3 + 10*w**2 - 7*w - 10. Let q be y(9). Let n be (-4 - 2) + q + -5. Is j(n) prime?
False
Let f(w) = 403*w**2 + 3*w - 1. Let q be f(2). Let t = 2338 - q. Is t a composite number?
True
Let b(v) = v**2 + 19*v + 4. Let z be b(-19). Suppose 2*w + 2*j = 3*j + 2156, j + 4314 = z*w. Is w prime?
False
Let c(o) be the third derivative of o**5/30 - o**4/12 + 407*o**3/6 - 19*o**2. Is c(0) a composite number?
True
Let w = 13395 + -6316. Is w a composite number?
False
Suppose -5*i + 1679 = 2*u - 17650, -2*i - 2 = 0. Is u a prime number?
False
Let v(l) = -l + 6. Let b be v(0). Let w be (b/(-5))/((-2)/(-5)). Is -2 + 172 + w/3 a composite number?
True
Is (-1)/(4 - 28110/7026) a composite number?
False
Let h be 3/15*0 + 1. Let o be (h + -255)*(-30)/20. Let m = -44 + o. Is m a prime number?
True
Let c(j) = 26*j**2 + 2*j - 2. Let r be c(6). Let h = r - 567. Is h prime?
True
Suppose 2*q + g + 4*g = 8041, 0 = -q + 4*g + 4014. Suppose 3*s - q = -5*r, r + s = -2*r + 2410. Is r a composite number?
True
Let p(d) = 6*d**2 - 11*d - 80. Is p(-21) composite?
False
Let f(p) = 27 - 237 + 2 - 85 - 2*p. Let m be f(0). Let c = -144 - m. Is c composite?
False
Suppose -21*w + 1560 = -1107. Is w composite?
False
Let b(q) = -15*q**2 - 5*q + 25. Let v(t) = 5*t**2 + 2*t - 8. Let g(u) = 2*b(u) + 7*v(u). Is g(-7) a composite number?
False
Let x = 847 - 470. Is x a composite number?
True
Suppose 38910 = -73*l + 79*l. Is l a composite number?
True
Let r = -4000 - -18563. Is r prime?
True
Suppose -4*x = -0*x + 5*s - 48, 4*s - 51 = -5*x. Suppose x*m - 127 = 356. Is m prime?
False
Let h(s) = -s**3 - 15*s**2 - 12*s - 25. Is h(-29) composite?
False
Is 3709*(1 + 5)/6 a composite number?
False
Let h(z) be the third derivative of 407*z**5/60 - z**4/12 - z**3/3 - 13*z**2. Is h(-1) composite?
True
Let n be ((-7)/2)/(11/(-22)). Let s(i) = -i**2 + 8*i - 8. Let b be s(n). Is 3 + b + 0 - -795 a prime number?
True
Let f(t) = 136*t**3 + 5*t**2 + 20*t - 96. Is f(5) composite?
True
Suppose 15 = -4*d - 5*l, 2*l + 12 = -3*d - 2*l. Is (3 - -1 - d) + 629 a composite number?
True
Let x(p) = p**3 - 3 + 4*p**2 - 3*p - 4*p**3 + 4 + p**3. Let g be x(2). Is 2 - -130 - (g - -3) a prime number?
False
Let o = -206 + 674. Suppose 3*x - 276 = o. Is (x/12)/((-6)/(-9)) a composite number?
False
Let i = -18 - -19. Suppose p - 2 = i, -2*p - 1078 = -4*s. Is s prime?
True
Let v(r) = 3*r**3 + 34*r**2 + 39*r + 5. Let y(i) = -2*i**3 - 23*i**2 - 26*i - 3. Let g(o) = -5*v(o) - 8*y(o). Is g(-11) a composite number?
True
Let g = 2145 - -1285. Suppose -7*x + g - 1113 = 0. Is x prime?
True
Let w be (-1)/3 + (-340)/(-3). Let s = 219 - w. Is s a prime number?
False
Suppose r + 0 - 1 = 0. Let c be r*(7 - (4 + 0)). Suppose 0*i = -5*l + 2*i + 1123, -c*i = -3*l + 681. Is l a composite number?
False
Suppose 3*i + 5*b + 13 - 31 = 0, 0 = -2*i + 5*b - 13. Suppose -2*v - 4*d + 752 = 0, -4 + i = -3*d. Let o = 117 + v. Is o a composite number?
False
Let m = 5 + -10. Let p(o) = -o**2 - o + 42. Let j be p(0). Let d = m + j. Is d composite?
False
Is 25 + (4 - 2) + (18 - 22) composite?
False
Let n(z) = -6*z - 116. Let h(m) = -3*m - 58. Let x(o) = -5*h(o) + 2*n(o). Is x(0) composite?
True
Let n = 146 - -57. Let f = 420 - n. Is f composite?
True
Let x(c) = -c**3 + 15*c**2 + 11*c - 6. Let p be x(7). Suppose -4*h = h + 4*w - 473, w = 5*h - p. Is h prime?
False
Let u(k) = 5*k - 35 - 3*k + 29. Let q be u(4). Is 9 + 54 + 4/q a composite number?
True
Let f(q) be the third derivative of -q**5/60 + q**4/24 + 11*q**3/6 - 8*q**2. Let v be f(0). Let d(i) = i**2 - 7*i - 1. Is d(v) composite?
False
Let b = -56 + 41. Is ((-39670)/b)/(2/3) prime?
True
Let m be (1/10*4)/(1/5). Let n(o) = 61*o**3 + o**2 - o - 1. Is n(m) composite?
True
Suppose -3*z - 5*y - 16 = -2, 4*z + y - 4 = 0. Suppose -6 = -3*m - 3*p, -z*m + 4*p = p - 9. Suppose -m*g + 6*g = 66. Is g a prime number?
False
Let q(p) = -3277*p + 33. Is q(-8) a composite number?
False
Suppose -j = 5*h - 2*j - 24, 4*h + j - 12 = 0. Suppose -h*d + 873 = -d. Is d a composite number?
True
Let g(n) = 1554*n**2 + 11. Is g(-3) prime?
True
Suppose 10645 = -192*i + 197*i. Is i a prime number?
True
Let y = -5045 + 7126. Suppose 5*x + 5*s - y = s, 3*x + 4*s = 1255. Is x composite?
True
Let i = 10 - 15. Let v(a) = -5*a**3 + 10*a**2 - 6*a - 4. Is v(i) prime?
False
Let q be 14/((-7)/((-21)/6)). Let i = 12 - q. Let l(h) = -h**3 + 7*h**2 + 2*h - 5. Is l(i) prime?
False
Let x(l) = -l + 24. Let i be x(10). Suppose -9735 = -y - i*y. Is y a prime number?
False
Suppose 64825 = 6*c - 17681. Is c prime?
True
Let t = 669 + -21. Suppose 8*d - t - 112 = 0. Is d a prime number?
False
Suppose -s - 3*y = -11552, s - 5370 - 6180 = -4*y. Is s a composite number?
True
Suppose -3*f - 40 = 5*d, 3*d - f = 2*f - 24. Let s be (-4)/(-6)*9/(-6). Is (-158)/d*(-4)/s a composite number?
False
Let a(q) = 2*q**3 - 2*q - 1. Let k be a(2). Let x = -7 + k. Suppose 0 = w - x*w + 78. Is w a composite number?
True
Suppose -4*c = -2*a - 2028, 0 = 3*a + c - 701 + 3736. Let d = -1621 - a. Let b = -418 - d. Is b composite?
False
Let t(c) = 31*c**2 - 7*c - 29. Is t(-17) a composite number?
False
Suppose -16*y + 20227 = -16845. Is y prime?
False
Let w = -635 - -209. Let d = w - -805. Is d prime?
True
Is (-69)/23 + 6965 + -3 a prime number?
True
Let s(o) = -67 - 8 - 34 - 2*o. Let p be s(0). Let y = p + 287. Is y prime?
False
Suppose 0 = -14*m + 112 - 14. Let r(f) be the third derivative of f**5/20 - f**4/2 + 7*f**3/3 - 2*f**2. Is r(m) prime?
False
Let m(f) = -9*f**3 + 29*f**2 - 20*f - 41. Let o(i) = 5*i**3 - 15*i**2 + 10*i