50 = b*v. Is t a prime number?
False
Let z = 16 - 1. Is z*2 + (-3)/(-3) a prime number?
True
Suppose 0 = -4*n - 6*n + 13510. Is n composite?
True
Suppose 0*t + 2*b - 38 = -2*t, 0 = -t + 2*b + 22. Suppose -5*p - r = -0*r + t, 14 = 2*p - 4*r. Let s(g) = 3*g**2 - g + 4. Is s(p) composite?
True
Suppose -3*n + 2091 - 39 = 5*u, 0 = -5*n - u + 3442. Is n prime?
False
Let u = -11 - -1. Let t be ((-16)/(-6))/(u/(-15)). Suppose v = -t*v + 70. Is v prime?
False
Suppose -3*x + 4*i = -22, 4*x - i = 5 + 20. Suppose l + o + x = -14, 0 = -o - 2. Is (-418)/l + (-4)/18 prime?
True
Suppose -d + 59 = -3*h, -h = 5*d + h - 261. Is d a composite number?
False
Let y(o) = o. Let i be y(-1). Let l be (i - 63/(-6))*2. Is (l/3)/((-2)/(-6)) composite?
False
Let m = -5 + 3. Let r(x) = 41*x + 3. Let w be r(m). Let k = -44 - w. Is k composite?
True
Let n be (-10)/(-4)*(-2)/(-5). Let o be -2*(-2)/n + -2. Suppose 2*s - o*k = 190, 2*k + 12 = -k. Is s a prime number?
False
Let a(l) be the second derivative of l**4/12 - 5*l**3/3 + l**2 - l. Is a(12) a prime number?
False
Let u(o) = -o**2 + 10*o - 2. Let m be u(9). Suppose 0 = z - y - 2, 3*z - m = 4*y - 3. Suppose 0 = -4*p - z*r + 24, 5*r = -2*p - 4 + 7. Is p prime?
False
Suppose -16 = 4*n, u = -4*u + 2*n + 123. Suppose 0 = -4*c - 2*p + 128, u = 5*c - 4*c - 4*p. Is c prime?
True
Let k = -3 + -5. Let w = k + 67. Is w a composite number?
False
Suppose -4*f + 2381 = -3*f - 2*n, 0 = 4*f + 2*n - 9474. Is f prime?
True
Let w(x) be the second derivative of 173*x**5/10 + x**4/6 - x**2/2 - 2*x. Let o be w(1). Suppose o = 3*g - 0*n - 2*n, -n - 1 = 0. Is g composite?
True
Let a be (6 + -3)*-1 + 5. Suppose -a*r - 2*g + 460 = 0, -2*r + g + 475 = -0*g. Is r a composite number?
True
Let a(r) = 2*r**2 + r - 1. Let p be a(-2). Let k = -5 + p. Let f(b) = b**2 + b + 39. Is f(k) prime?
False
Let s(z) = -219*z - 1. Let b be s(-2). Suppose -i + 5*t + b - 63 = 0, 3*i = -2*t + 1139. Is i prime?
True
Let b = -543 + 866. Is b a prime number?
False
Let q(p) = -p**2 + 10*p - 11. Let c be q(8). Suppose c*l - 22 = -7. Suppose 3*b - 348 = -l*f, -b - 3*f = -2*b + 112. Is b composite?
True
Let w be ((-2)/6)/(6/18). Let b be (w + 1)/(3/(-3)). Let v = 59 - b. Is v a composite number?
False
Let g(x) be the third derivative of x**8/5040 + x**7/2520 + x**6/720 + x**5/60 + x**2. Let z(h) be the third derivative of g(h). Is z(-3) a prime number?
True
Let u = 6 + 4. Suppose -4*j = -j - 2*x + u, -2*j - 6 = -2*x. Let d(k) = -7*k + 3. Is d(j) a prime number?
True
Let g(l) = -l**3 + 11*l**2 - l + 2. Let d(c) = 3*c. Let o be d(1). Suppose f = -o*f + 28. Is g(f) a prime number?
True
Suppose 3*g - 5*g = -6. Let s(p) = p**g + 10*p**2 - 4*p + 3*p - 5*p - 2*p**3 + 6. Is s(9) a composite number?
True
Let l(g) = -23*g - 11. Let t be l(-2). Suppose 2*y = -i - 0*y - 6, -5*i = -5*y - 30. Is 4/8*t*i a composite number?
True
Suppose 2*h - 3*h + 5*y + 785 = 0, -2*h = -3*y - 1570. Is h a prime number?
False
Suppose 6*a - 30 = 3*a. Let g(j) = -j**3 + 10*j**2 - 12. Let y be g(a). Is 1/6 - 634/y a prime number?
True
Suppose -w + 1 = -2. Let v be 4/14 - 55/(-77). Is 53/v*(4 - w) a prime number?
True
Suppose 2*z - 92 - 182 = 0. Suppose 5*g = 3*b - z, 0 = -b + 2*b - 5*g - 39. Let s = 126 - b. Is s a composite number?
True
Suppose 2*n + 5*x - 272 = 0, 2*n + x = -n + 421. Is n composite?
True
Suppose 20 = -v - 3*v. Let r be 0/(3 + v - 0). Suppose 5*b + r*b = 255. Is b a prime number?
False
Suppose 3*o - 12 = -5*a + 3*a, -5*a = -15. Suppose 189 + 49 = o*h. Is h prime?
False
Suppose 7*p - 2*k - 970 = 5*p, -3*p + 1447 = -k. Is p composite?
True
Suppose 5*t + 95 = 255. Suppose -5*o + t - 2 = 0. Is o a prime number?
False
Let r(y) = -8*y**3 - 9*y**2 - 3*y + 1. Suppose -5*b = -10*b - 20. Is r(b) a composite number?
True
Suppose q - 12 = -5*g - 4, -5*g = 3*q - 14. Let j(k) = k**2 - 4*k - 1. Let o be j(7). Is g/(-4) - (-185)/o composite?
True
Let c(i) = i**2 - i + 3. Let h be c(0). Let q = 65 + -31. Suppose 0 = 4*p - 5*m - q, -2*p + 16 = -h*m + m. Is p a composite number?
True
Let h be 2/((-8)/(-12)) + 3. Suppose -h*a + d + 728 = -a, -3*a = 5*d - 420. Is a composite?
True
Suppose 3*a = 3*h - 15, 5*h = -2*a + 4 + 21. Let p be (-20)/2*(-124)/h. Suppose 0 = -5*r + p + 297. Is r a composite number?
False
Suppose -j + 5*y + 4945 = 0, -4*y + 4454 = 4*j - 15374. Is j prime?
False
Let l(u) be the first derivative of -3*u**2/2 + 3*u - 4. Let f be l(5). Is -8*1/(f/219) composite?
True
Let w = -1 + 16. Suppose 2*t = -t + w. Let s = t + 32. Is s composite?
False
Suppose 5*s - 3*v + 20 = -2*v, -21 = 2*s - 3*v. Let h = -2 - s. Is 56 + (1 - 3) - h prime?
True
Let g = 11 + -6. Let j(i) = 1 + 4*i**2 + 6 + 0*i**2 + 4*i - 6*i. Is j(g) a prime number?
True
Let a(l) = 5*l**3 - 2*l**2 - 2*l + 4. Let w be 2/(-4) + (-7)/(-2). Is a(w) prime?
False
Suppose 0 = 4*o - d - 127, -2*o - 4*d + 25 = -25. Is o a prime number?
True
Suppose 4*i - 3*f - 9 = 0, 14 = 4*i + 4*f - 2. Is (82 - i) + 0/1 composite?
False
Let k = -12 + 16. Suppose -5*a + k*a = 5*o - 435, -o = 4*a - 87. Is o a composite number?
True
Let c be 20993/(-63) + 4/18. Let j be (-6)/(-9)*c/(-2). Let a = j + -72. Is a a composite number?
True
Is (13 + -6)*(1 + 2) composite?
True
Let o(p) be the first derivative of p**3 + 3*p**2/2 - 7*p - 4. Is o(7) a composite number?
True
Suppose -5*g = -1246 - 219. Is g a composite number?
False
Let r(f) = f**3 - 3*f**2 + f + 3. Let g be r(3). Suppose 5*w - g = 3*w. Let x(s) = 5*s + 4. Is x(w) prime?
True
Let n(k) = -2*k**3 - 18*k**2 - 13*k + 25. Is n(-14) a prime number?
False
Let k(o) = 439*o - 21. Is k(4) a composite number?
True
Let n be 0 + (-2)/(-1) - 6. Let k be n/18 - (-146)/9. Is 77/4 - 4/k composite?
False
Let f be -1*(-2)/(-2)*-6. Suppose r = f*r - 265. Is r a composite number?
False
Let q = -32 + 109. Is q a prime number?
False
Suppose -7*b + 3681 = 2*b. Is b prime?
True
Suppose -5*a + 912 = -143. Is a a prime number?
True
Suppose -8 = 2*u, 0*u + 1889 = 3*d - 5*u. Is d prime?
False
Suppose 2*x = -y + 7, y + 8 = 4*x - 3. Let u be 140/8 + (-1)/(-2). Let m = y + u. Is m a prime number?
True
Let a(c) be the first derivative of 7*c**3/3 + 2*c**2 - 5*c - 2. Is a(2) a composite number?
False
Let g(h) = 2*h**2 - 9*h. Suppose 4*l + 10 = -l. Let i be 7 + 1 - (-2)/l. Is g(i) composite?
True
Let a(r) = 2*r - 8. Let s be a(6). Suppose 2*b = -4*d + 22, 0 = b + s*b + 4*d - 49. Suppose n - b = -5*k, 2*n - k - 36 = -2*k. Is n prime?
True
Let f(z) = 54*z + 1. Let y be f(18). Suppose -196 = 3*s - y. Is s prime?
False
Let q(c) = -c**3 - c + 1. Let u be q(1). Let t(y) = y - 1. Let o be t(u). Is (-1722)/3*o/4 prime?
False
Is (4328/(-24))/(2/(-6)) a composite number?
False
Suppose l = -a + 3, -19 = a + 5*l - 6. Is a a composite number?
False
Let o = -164 - -415. Is o composite?
False
Suppose 0*h - 4 = 4*h. Is -1 + h + 32 + 1 prime?
True
Suppose -3*l + 81 + 60 = 0. Suppose 167 = 2*g + 5*c, -g - 4*c + 32 = -l. Suppose -5*a + 144 = -g. Is a a prime number?
True
Let r(t) = t + 2. Suppose 3*q - k - 3 = 0, -4*k - 11 = q + 1. Let u be r(q). Suppose 3*v - 105 = -4*z, -6*v - 2*z = -u*v - 130. Is v composite?
False
Suppose -4*o + 1 = -s - 3*o, 0 = 2*o - 6. Is s/8 - (-2028)/16 composite?
False
Suppose 3*x + 83 = 4*x. Is x prime?
True
Let r be (3 - 32)/((-2)/(-2)). Let w be 54/(9/2 - 3). Let g = w - r. Is g composite?
True
Suppose 0 = 5*n + 5*w + 7240, -2*n + 4*n + 4*w + 2904 = 0. Let j be n/(-18) - 8/36. Suppose 2*d = 10, 0 = -3*x + 8*x - 3*d - j. Is x composite?
False
Let b = -16 - 4. Is (-1668)/b + 6/(-15) composite?
False
Let y(j) = -j**3 + 6*j**2 - 5*j - 1. Is y(4) a composite number?
False
Let y be (-5)/(1/2*-2). Suppose 0 = 4*b - 4*d - 192 + 28, 209 = y*b - 4*d. Let j = b + -23. Is j prime?
False
Suppose -23 - 47 = -5*k. Let g = k - -9. Is g composite?
False
Let x(v) = v**3 - 3*v**2 - 3*v - 4. Let g be x(4). Is (-19 + g)/(10/(-20)) prime?
False
Let g(b) = -3*b + 9. Let s(v) = v - 1. Let p(a) = -g(a) - 2*s(a). Let i be p(7). Suppose -5*r + 2*c + 94 + 11 = 0, -3*r + 5*c + 82 = i. Is r a composite number?
False
Let f(b) = 3*b**3 - 3*b - 3*b**3 + 2 + b**3 + 0*b + 3*b**2. Let c be f(-4). Is 12 + (-2 + c)/2 prime?
False
Let i(h) = 2*h**2 - 6 + 3*h**3 - 2*h**3 - 3*h**2 - 5*h. Is i(5) a prime number?
False
Let c be -8*1 + 3/(-3). Let r(v) = 4*v**3 + 5*v**2 - 