 prime number?
False
Let j(l) = -7*l**3 + 2*l**2 - l - 6. Is j(-4) composite?
True
Let p(l) = 9*l**3 - 4*l**2 - 2*l - 5. Is p(4) prime?
True
Suppose 0 = -0*h + h. Suppose 2*k + 5*n - 344 = 0, 2*k - 3*k - n + 169 = h. Is k a prime number?
True
Let b = 1381 + -962. Is b a composite number?
False
Suppose 5*b = -5, 3*y + 2*b - 16 = 6*b. Suppose 2*f - 5*j - 63 = 0, 3*f + 72 = 5*f + y*j. Is f prime?
False
Let v(f) = 67*f**2 - f - 1. Let s be v(-1). Suppose -23 = 4*k - s. Is k composite?
False
Let o(c) = -115*c + 11. Is o(-4) prime?
False
Suppose -5*r = -9 - 11. Suppose -4*w = 4*m + 1 - 25, r*m - 18 = -2*w. Suppose 173 = 2*v + w*b, -2*v = -3*b - b - 138. Is v prime?
True
Is 12/(-30) + (9227/5 - -2) a composite number?
False
Is 1*-1*(7 + -300) prime?
True
Suppose -3*a - c - 4*c + 18 = 0, -a - 14 = -5*c. Let x = 3 + a. Suppose -360 = -x*s + 76. Is s a composite number?
False
Let n = 23 - -4. Suppose 248 = 5*p - n. Is p a composite number?
True
Suppose 4*h = 1564 - 504. Is h prime?
False
Suppose -2 = w + 3*v - 1, -2*v - 6 = -2*w. Let t(y) = -3*y - y + 1 + 14*y. Is t(w) composite?
True
Let t(f) = 70*f**3 - 3*f - 1. Is t(2) a composite number?
True
Let n = 19 - 5. Let j = n - 10. Suppose 3*y = j*a + 26, 14 + 38 = 5*y + 2*a. Is y a prime number?
False
Let m(b) = b + b - 4 + b + 1 + 28*b**2. Is m(2) composite?
True
Let q = -15 - -16. Let w(l) = 292*l**2 + l. Is w(q) a prime number?
True
Suppose -9*l + 10329 = -6*l. Is l a composite number?
True
Suppose 16 = q + 3*q. Suppose 5*o - 83 = -q*x, -4*o = -5*x - 33 - 17. Is o a composite number?
True
Suppose 5*g - 2*v + 4953 = -7293, 2*g - 5*v = -4890. Is (-5)/(-10) - g/4 composite?
False
Let o = 5 - 4. Let f be o/(-3)*177/(-1). Suppose 0*m + m - f = 0. Is m a composite number?
False
Suppose 4*i = 438 + 590. Is i a composite number?
False
Suppose -421 + 2660 = 3*t + 4*r, r = -4*t + 2994. Is t a composite number?
True
Let l = -63 + 798. Suppose -5*x = -0*x - l. Let o = 230 - x. Is o composite?
False
Suppose -2*r + 0*o = 3*o - 971, -3*r = -5*o - 1504. Is r prime?
False
Let x(a) = 11*a - 20. Is x(13) a prime number?
False
Let o(x) = x**3 + x**2 + x - 1. Let c be o(2). Let k(q) = -q**2 + 20*q - 11. Let s(p) = 2*p**2 - 41*p + 23. Let g(a) = c*k(a) + 6*s(a). Is g(8) a prime number?
True
Suppose a + 3*a = -32. Let d(u) = -u**3 + 3*u**2 + 3*u - 11. Is d(a) a prime number?
False
Suppose -7*r = -434 - 4277. Is r prime?
True
Let s(l) = 3*l**2 + 5*l + 2. Let p be s(-3). Is 298/p - (-2)/(-7) a composite number?
True
Suppose j = -0*q + 4*q - 4680, -3521 = -3*q - 2*j. Is q a prime number?
True
Let h = 48 - -9. Suppose -h + 243 = 5*a + q, 42 = a + 5*q. Is a composite?
False
Suppose 0 = -s + 2*m + 6, -5*m - 21 = -6. Suppose x - 83 = -s*x. Is x composite?
False
Let n be (4 - 1)/(3/748). Suppose -n = -16*l + 12*l. Is l a composite number?
True
Let o(y) = -y**3 - 11*y**2 - 6*y + 6. Let i be o(-9). Let l = -39 + i. Let j = l + 256. Is j composite?
True
Suppose 0 = 5*j - 1061 - 404. Is j composite?
False
Suppose 385 = 2*r + 39. Suppose 3*j - r = -i + 6*j, 0 = -5*i - 4*j + 903. Is i composite?
False
Suppose 3*u = 6*u - 78. Suppose -y = -5*j - u - 2, 4*y + 2*j - 2 = 0. Suppose 4*m = -3*h + 33, -5*h + y + 1 = m. Is m composite?
True
Let j(n) = 3*n**2 - 2*n. Is j(3) a composite number?
True
Let x(u) = 9*u**2. Let t be x(-5). Is t/2 + (-5)/(-10) prime?
True
Let z(t) = -t**2 - 5*t + 8. Let x be z(-6). Suppose 2*d = 3*g - d + 18, -4*d - 6 = g. Is x - g/(-2) - -8 prime?
True
Suppose 22 = 2*p - 4*k, 2*p + 0*p = k + 10. Let n(j) = -4*j - 2*j**3 - 3 + p*j - 1. Is n(-3) a composite number?
False
Let t be -1*(1 + -3 - 3). Suppose 4*y - 508 = -4*l, 3*l = t*l + y - 254. Is l composite?
False
Let k(n) = 4*n - 3. Let j be k(-3). Let x be 0 - (-1)/((-3)/j). Suppose -x*q + 57 = -2*q. Is q prime?
True
Suppose 2*v = 4*v - 3*c - 582, 3*c = -4*v + 1164. Is v a prime number?
False
Suppose 0 = -2*c + 302 + 732. Is c a prime number?
False
Let b(t) = t**2 + 4*t - 6. Let m be b(-6). Suppose -y + 10 = -0*y - 2*j, y + 10 = -3*j. Is (-2)/(-8)*m*y prime?
True
Let f(z) = z**3 + 6*z**2 + 5*z + 4. Let n be f(-5). Suppose -3*y = -n + 19, -b + 26 = -3*y. Is b a composite number?
False
Is ((-2)/3)/(4/(-5982)) prime?
True
Let r be -1*(0 - 0)/(-1). Let x(u) = 3*u**2 - 8*u - 2. Let d be x(7). Suppose r = -3*q + 4*q - d. Is q composite?
False
Let w = -12 + 22. Is w a composite number?
True
Suppose 0 = w + 2*b - 279, 4*w - 5*b - 587 = 581. Is w a composite number?
True
Let g = 232 + 44. Let l = g + -120. Suppose 4*h + l - 41 = 3*i, 0 = -5*i + h + 186. Is i a prime number?
True
Let i(t) = t**2 + 6*t - 1. Let w be i(-6). Let r(n) = -95*n + 2. Is r(w) a composite number?
False
Suppose z + 2434 = 2*s - 3*z, -4*z = -4*s + 4860. Is s prime?
True
Let m(b) = b**2 - b - 72. Let n be m(0). Let t = n - -263. Is t prime?
True
Let b(j) be the third derivative of 5*j**4/12 - j**3/6 - 3*j**2. Is b(8) composite?
False
Let k(j) = j**2 + j - 128*j**3 + 3 - 511*j**3 - 3. Let s be k(-1). Is (-4)/14 - s/(-7) prime?
False
Let v = 0 - -2. Suppose 3*l = 2*d, l + 3 = d + v. Suppose 621 = 3*w - 4*x, -2*x + 281 = d*w - 358. Is w prime?
True
Suppose -3*s + 261 = -2*f, -f - f + 6 = 0. Is s a prime number?
True
Let t = 17 + -2. Suppose t - 35 = -5*b. Suppose b*u = 400 - 36. Is u a prime number?
False
Let w(q) = q**3 + 13*q**2 + q - 9. Let f be w(-9). Suppose -2*v - o = 2*o - 317, o - 1 = 0. Let k = f - v. Is k prime?
True
Suppose -3*f + h + 4078 = 0, -4*f - 5*h + 225 + 5244 = 0. Is f prime?
True
Let k = 19 + 9. Suppose 0 = 4*a - 304 - k. Is a composite?
False
Let v(s) = -s**3 - 7*s**2 - 4*s + 10. Let j(z) = -z**3 + z**2 + 2*z + 4. Let l be j(3). Is v(l) composite?
True
Let d be (-9)/(-6)*4/1. Let i(t) = -t - 5. Let a(u) = u. Let k(g) = 4*a(g) - i(g). Is k(d) composite?
True
Is 1/(-2) - (-1845)/6 prime?
True
Suppose 5 = -5*a + 6*a. Suppose 2*x + 60 = a*x. Suppose -o = -17 - x. Is o a prime number?
True
Let f(s) = 2*s**2 - 4*s + 4. Let t be f(-5). Suppose -n - n = -t. Is n prime?
True
Let j(v) = -v**3 - 14*v**2 - 17*v - 2. Let s be j(-12). Let x = 169 + s. Is x composite?
False
Let i(j) = 163*j**2 + 2*j - 3. Let l(o) = -54*o**2 - o + 1. Suppose 0 = -3*y - 4*d + 14, -2*y + 23 = -y + 5*d. Let s(n) = y*i(n) - 7*l(n). Is s(2) composite?
True
Let o(i) = -3078*i + 3. Is o(-3) composite?
True
Suppose -x = 3*x - 8. Suppose -x*z - 4*k - 8 - 4 = 0, -2*k = 4. Is 7/((-3)/z + -1) prime?
False
Suppose -5*r - 7 = -2*o, 0 = 2*r - 5*o + 8 - 1. Is ((-609)/(-9))/(r/(-3)) composite?
True
Let x = 481 - 222. Is x prime?
False
Suppose 184 - 756 = -4*f. Is f a composite number?
True
Let m(w) = 4*w - 1. Let k(p) = p**3 + p**2 + p - 4. Let o be k(0). Let q be ((-8)/10)/(o/10). Is m(q) prime?
True
Let s = -11 - -18. Is s composite?
False
Suppose 0 = -u + 6 - 2. Let r be ((-1)/(-2))/(u/168). Suppose -r = -4*o + 19. Is o composite?
True
Suppose v = j - 185, v + 8 = -3*v. Is j a composite number?
True
Let i = 58 - -19. Is i composite?
True
Is 2*((-82)/(-4) + -1) prime?
False
Let b be 3/(-6)*-2*-49. Let g = 100 + b. Is g a prime number?
False
Let a be (-2)/(-5)*(47 - -3). Is 194/5 - (-4)/a composite?
True
Suppose -a - 3*w = -4*w - 489, -4*w = -5*a + 2441. Is a prime?
False
Let x = 732 + -403. Is x a composite number?
True
Suppose -3*v - 12 = 0, -i - 2*v - 16 - 43 = 0. Let p(a) = 5*a + 1. Let u be p(-15). Let n = i - u. Is n a prime number?
True
Let x = 1 - -3. Suppose 2*k + y = 9, -k - 2*y + 21 = x*k. Is 78 - (3 - (5 - k)) prime?
False
Suppose 2*x + 193 - 1719 = 0. Is x a prime number?
False
Let d(x) = x**3 - 5*x**2 - 5*x - 4. Let s be d(6). Suppose -s*c + 2342 = 4*a, 2*a + 0*c - 1177 = c. Is a composite?
False
Let o(n) = -10*n**3 - n**2 - 3*n + 1. Is o(-3) prime?
True
Suppose -j - 4*j = 3*u - 40, 0 = u - 4*j + 15. Suppose u*b = -5 - 0. Let n(m) = 119*m**2 - m - 1. Is n(b) a prime number?
False
Let v(j) = -19*j - 1. Let l = -1 - -4. Let r = 1 - l. Is v(r) a composite number?
False
Let v = 22 - 33. Is (-5289)/v + 26/143 a prime number?
False
Suppose 6*o - 5670 = -0*o. Is o/18 - 1/(-2) composite?
False
Let y(c) = -6*c - 5. Is y(-7) prime?
True
Let r = -5 + -11. Let n = r + 27. Is n a prime number?
True
Suppose 0 = -5*a + a. Suppose -3*f - 8*g + 4*g + 459 = a, 0 = 5*g + 15. Is f a prime number?
True
Let h be (6/15)/(2/110). Suppose -2*w +