n(p) - 4*i(p). Is f(-14) a prime number?
True
Suppose c + 2*f = -135, 181 + 107 = -2*c + 5*f. Let m = 154 - c. Is m prime?
True
Let d = -595 + 1752. Is d composite?
True
Suppose 7*b = 1999 - 662. Is b a composite number?
False
Let i(k) = -168*k + 3. Let l be i(-4). Suppose 4*t = -20, 2606 = 2*z + 3*t + l. Is z prime?
False
Let s be 0*(15/6)/(-5). Suppose -w + 0*w = -3*n, s = -4*w + 5*n + 35. Is w a composite number?
True
Let n(y) = -y + 4. Let a be n(0). Is ((-735)/a + -4)*-4 a composite number?
False
Suppose 2*r - r - 12 = 0. Suppose -t = -x - r, 0*t - t = -2. Is (x/(-8))/(2/40) a composite number?
True
Suppose -4*i = -4*j - 568, -i - 4*j + 167 = -0*i. Suppose 0*d + 3*d - i = 0. Is d a composite number?
True
Let l(k) = k**2 + k - 401. Let d be l(0). Let h = 732 + d. Is h prime?
True
Let x = -10 + 2. Let f = 12 + x. Is f a composite number?
True
Is 1/(3/(-18456)*-4*2) prime?
True
Let w be -2 + 4/(8/6). Let g(x) = 52*x - 1. Is g(w) composite?
True
Is 2342/8*(-12)/(4 - 7) a composite number?
False
Is ((-25668)/(-16) - -4 - 3)*4 composite?
False
Let u be 2 - -1*3*1. Suppose -111 = -u*l + 2*l. Is l composite?
False
Let g(n) = 3*n**3 - 12*n**2 + 10*n + 14. Is g(9) composite?
False
Let b(m) = 7*m + 0*m - m - m**2. Let s be b(-6). Let p = s - -139. Is p composite?
False
Suppose 58*h + 3022 = 60*h. Is h a composite number?
False
Suppose -2*i = -6*i + 8. Suppose 5*t - 2*d - 421 = 0, -2*d = i*d - 8. Is t prime?
False
Let f = 684 - 377. Is f a composite number?
False
Let u(t) = 2*t - 3. Let n be u(3). Let s be -1 + (3 - (n + -3)). Let l(j) = 21*j**3 - 2*j**2 + 2*j - 3. Is l(s) a prime number?
False
Let k(a) = -a**3 + 2*a**2 - 12 + 4*a**2 + 2*a**3 + 2*a**2 - 2*a. Let d be k(-8). Suppose d*v - 6*v = -158. Is v prime?
True
Suppose 2*h + 2948 = 4*d - 0*h, 0 = -3*h. Is d a prime number?
False
Suppose -l + 3*n + 3 = 3*l, -4*l = 5*n + 5. Is ((-366)/(-2) - 2) + l composite?
False
Let n = 2 - 2. Let v(i) = i**3 + i**2 + 37. Is v(n) a composite number?
False
Suppose 3*x = 3*u + 486, -5*u + 519 = 4*x - 165. Is x - (0/(-1) - 3) composite?
True
Let c = -400 + 977. Is c composite?
False
Let p = -6 - -3. Let a = 16 - p. Is a a composite number?
False
Let w = -499 - -836. Is w a prime number?
True
Let o(a) = a**2 + 8. Let v(h) = h**3 - 3*h**2 - 3*h. Let b be v(3). Is o(b) a composite number?
False
Let g be (-1)/(-1) + (-2)/2. Is 1*(1 + 20 - g) a composite number?
True
Suppose 2*x = 178 + 904. Is x prime?
True
Suppose -2*t + 448 = 2*t. Suppose -l + 301 + t = 0. Suppose -3*p = 14 - l. Is p a composite number?
True
Suppose -i = 2*c - 20, -2*c + 5*i + 5 = -15. Is 972/c - (-4)/(-20) a prime number?
True
Let k be 0/((5 - 3) + -3). Is 1*(-3 + k) - -92 a prime number?
True
Suppose 33*n + 1506 = 39*n. Is n a composite number?
False
Let f be (-5 - 0)*(-9)/15. Let u be -4*f*(-3)/(-9). Is (-314)/u - (-6)/(-4) a prime number?
False
Let i be (1 - 264)*50/(-10). Suppose 7*n - i = 2*n. Is n a prime number?
True
Let j(w) = -w**2 + 2*w - 1. Let i be j(2). Let f(g) = 5*g**2 + 2*g - 1. Let k be f(-2). Let o = k + i. Is o a prime number?
False
Let l(v) = -13*v + 13. Is l(-4) a prime number?
False
Let r(j) = 55*j**3 + 4*j**2 - 7*j + 9. Is r(2) prime?
False
Let w(x) = -1056*x - 5. Is w(-3) a composite number?
False
Suppose 0 = 4*r - 2*s - 8, -r - 2*s + 4*s = -2. Suppose -r*a - 3*g - 18 = -3*a, a - 5*g = 24. Is a a composite number?
True
Suppose 2*j = -2*j. Suppose 0 = -w - w + 3*d + 2957, 3*d + 15 = j. Is w a composite number?
False
Suppose -3*c - 2*c + 50 = 4*s, 5*c = -2*s + 20. Let y be (-216)/15 + 6/s. Let q = y - -91. Is q a composite number?
True
Let u(f) = -f**3 - 3*f**2 + 3*f - 3. Let b be u(-4). Let a(n) be the second derivative of 55*n**3 + n**2/2 + 2*n. Is a(b) prime?
True
Let h = 795 + -181. Is h prime?
False
Suppose 3*b - 49 = 74. Let y = 2 + 3. Suppose 37 = v + m, 3*v - y*m - b = 54. Is v a composite number?
True
Suppose -g = -1 - 3. Let b(z) = -z**2 + 4*z + 4. Let p be b(g). Suppose -2*l = p*d - 452, 9*d - l - 579 = 4*d. Is d composite?
True
Is (-16)/88 - 4690/(-22) composite?
True
Suppose -128 = -d + 3*d. Is d/(-3) + 6/9 composite?
True
Let c = -998 + 2169. Is c a composite number?
False
Let u = 89 + -15. Suppose -2*o - 12 = -u. Is o a prime number?
True
Suppose -k - 4*y - 144 = -6*k, -k - 3*y + 25 = 0. Let i be (-1)/2 + (-346)/(-4). Suppose 0*j + j - k = -5*p, -2*j + i = -5*p. Is j a composite number?
True
Suppose 2*i = 110 + 320. Let g = -138 + i. Is g composite?
True
Let d be (-3 + 4)/(1/3). Let g(u) = -u**3 - 3*u**2 + 3*u + 3. Let x be g(-4). Let m = x + d. Is m a prime number?
False
Let x(t) = t**2 + 5*t + 2. Let i be x(-5). Let r = 0 + i. Suppose r*f - 26 = 40. Is f a composite number?
True
Let d(q) = 27*q**2 + 2*q - 3. Is d(4) a prime number?
False
Let n(q) = -7*q**3 - 1. Suppose -3*g = -0*g - 18. Let x = 4 - g. Is n(x) prime?
False
Suppose -4*u - 429 = -7*u. Is u a prime number?
False
Suppose i = 24 + 55. Is i composite?
False
Let s(a) = a**3 + 2*a**2 + 2*a + 2. Suppose 1 = -4*v + 13. Is s(v) prime?
True
Suppose 0 = -0*n + 5*n - 515. Is n prime?
True
Let h(s) = 2*s**3 - 15*s**2 + 5. Is h(10) prime?
False
Let v(b) be the second derivative of 36*b**5/5 + b**4/12 - b**3/3 + b**2/2 - b. Let c be v(1). Suppose -29 + c = h. Is h prime?
False
Suppose -3*m + 312 = 3*i, -10 = i + i. Is m composite?
False
Let k(y) = -y**3 + 3*y**2 + 8*y + 1. Let s be k(7). Let a = -50 - s. Is a a composite number?
False
Suppose -5*d + 369 = -0*u + 4*u, 0 = -2*d - 6. Is u - 1/(3/(-3)) prime?
True
Let a = 1970 + -1093. Is a prime?
True
Let m(g) = g**2 + 7*g - 1. Let n be m(-6). Let z be (16 + n)*(1 - 2). Let w = -6 - z. Is w a prime number?
True
Let y = -3 - -7. Suppose -2*q = 3*b + 2387, -3*b - y*q - 1436 - 959 = 0. Is b/(-7) + 4/(-14) a prime number?
True
Let x(d) = 2*d**2 - 4*d + 7. Suppose a - 3*v - 15 = 0, -4*v - 10 + 0 = 2*a. Suppose a*j + j = 20. Is x(j) a prime number?
True
Is 33 + (2 + -1 - -1) prime?
False
Is 80/(0 + 4) - -3 prime?
True
Let b(y) = -2*y**2 + 2*y + 1. Let a be b(-1). Let i = 58 + a. Is i a prime number?
False
Let l(q) = -3404*q + 3. Is l(-1) composite?
False
Is 4/(-24) - -1*(-8870)/(-12) prime?
True
Let q(d) = 2*d**2 + d + 11. Let j be q(-9). Suppose 0 = -5*x + 7*x - j. Is x a prime number?
False
Let r = -18 + 31. Suppose -2*z + z - r = 0. Let d = z + 24. Is d composite?
False
Let k(r) = r**3 + r**2 - r + 93. Suppose 2*g = -g. Is k(g) composite?
True
Suppose -v + 5 = f, -5 = -0*v - v - 3*f. Suppose -m + v*u + 10 = -4, 2*u + 4 = 0. Suppose -m*x - 10 = -242. Is x composite?
True
Let v = -568 - -833. Is v prime?
False
Suppose -3*y - 2*y = 4*q - 76, y - 5*q = -8. Let u be ((-10)/3)/((-2)/y). Let w = 73 - u. Is w a prime number?
True
Suppose -5*h = -4*q - 9465, 5*h = -6*q + q + 9420. Is h composite?
False
Suppose -5990 = -4*w - 1306. Is w a composite number?
False
Let t(j) = -6 + 6*j + 22*j**2 + 0 - 18*j**2. Let k be t(-5). Suppose 0*m + k = 2*p + 2*m, 3*p = m + 116. Is p composite?
False
Suppose -2*c + 745 = -5757. Is c prime?
True
Let p be 2 + 3 + -5 + 1. Let d(x) = 76*x**3 + 8*x**2 + 5. Let t(l) = 152*l**3 + 15*l**2 + 9. Let b(y) = -11*d(y) + 6*t(y). Is b(p) a prime number?
False
Let m(y) be the third derivative of -61*y**4/24 + y**3/6 - 3*y**2. Is m(-6) a composite number?
False
Let o = 377 - 106. Is o composite?
False
Let j(z) = -98*z - 1. Let a be j(1). Let q = a + 322. Is q prime?
True
Let n = 11 + -11. Is -1 + 19 + n - 3 composite?
True
Let f(h) be the second derivative of -h**3/3 + 3*h**2/2 - h. Suppose -33 = 6*m + 15. Is f(m) a composite number?
False
Suppose 2*c = -l - 7 + 42, 5*l - 3*c = 149. Is l a prime number?
True
Let c(j) = 15*j**2 - 4*j + 3. Let f be c(3). Suppose -4*m = -3*l - 42 - 57, 5*m + 52 = -l. Let b = f - l. Is b prime?
True
Suppose -3*a = 5*s - 16 - 38, 3*a = 3*s + 30. Suppose -3 = 5*p - a. Suppose -p*f + f = -77. Is f composite?
True
Suppose -1 = 2*s - 11. Suppose 2*j - j - 128 = -s*l, 0 = -2*l - 3*j + 59. Is l a prime number?
False
Let c(d) = -d**2 + 6*d - 3. Let y be c(5). Suppose y*a - 40 = -3*a. Is ((-30)/a)/(4/(-16)) a prime number?
False
Let z be 66/4*(14 + -4). Suppose -z = 4*f + 1239. Is (f/3)/(-3) + -2 composite?
False
Let y be 4/18 + 350/45. Is (y/16)/((-2)/(-152)) a composite number?
True
Let v be (0 - (-6 + -1))/(-1). Is ((-4)/((-4)/v