= 2*p - 5*p + x. Suppose -3*i - 251 = -4*j + p*j, -3*j = -3*i - 378. Is j a composite number?
False
Let v(u) = -6*u**3 + u**2 - u - 1. Is v(-2) prime?
True
Is (502/6)/(3/9) prime?
True
Suppose a + 367 + 1203 = -5*x, -a = 0. Let y = 477 + x. Is y composite?
False
Suppose 20 = w - 59. Is w composite?
False
Let g(d) = d**3 - 8*d**2 - 8*d - 7. Let w be g(9). Suppose -5*x + 2653 = -z, -x + 0*x = -w*z - 527. Suppose 4*p - x = 529. Is p composite?
True
Let j(r) = r**3 + 5*r**2 + 6*r + 3. Let w be j(-4). Suppose -5 = -2*s - 1. Let y = s - w. Is y composite?
False
Suppose -124 + 3 = -j. Is j a composite number?
True
Let a(m) = m**3 + 21*m**2 + 4*m - 27. Is a(-20) a composite number?
False
Suppose 3*m = -29 - 34. Suppose 0 = -4*l - 3*u + 157, -4*l - 3*u - u = -156. Let z = m + l. Is z composite?
False
Suppose -4*r + 4 = -4. Suppose 42 = r*d + 16. Is d a composite number?
False
Let m(f) = 2*f**2 + f + 37. Is m(16) a composite number?
True
Let t = -4 + 1. Let l(q) = 8*q**2 + 4*q - 1. Let z be l(t). Suppose -i - 2*k - 3*k + z = 0, 3*i - 3*k - 177 = 0. Is i a prime number?
True
Suppose u - 3*u = -10. Suppose p + 588 = u*p. Suppose 0*m - 165 = -4*k - 3*m, -4*k + 3*m = -p. Is k a prime number?
False
Let q(u) = 13*u - 2 - 2 - u**2 + 16. Is q(11) a composite number?
True
Suppose -m = -0*m - 4. Suppose -5*a + m*a = 185. Let b = -106 - a. Is b composite?
False
Suppose n - 2*n = -2. Suppose l - 88 = 3*t, -216 = -n*l - 0*l - 2*t. Is l composite?
False
Suppose -u = -5*d + 2, -2*d = -u - 0*d + 13. Suppose -4*b = 7 - u. Suppose b*i + 19 = 5*i. Is i composite?
False
Let w(n) = 2*n - 10. Let c be w(7). Suppose 0 = c*z - 48 + 12. Is z a composite number?
True
Let w = -623 + 944. Is w composite?
True
Let x(z) = 5*z**3 - 7*z**2 - 4*z + 17. Is x(7) a prime number?
True
Is (3/3 - -1617)/2 a composite number?
False
Let a = -118 - -501. Let b = a - 205. Is b composite?
True
Is 10144/16*(-2)/(-4) composite?
False
Is (8/((-64)/(-66)))/((-6)/(-88)) a prime number?
False
Let f = 148 - 62. Let d(w) = w + 177. Let m be d(0). Suppose -2*z = -5*a + 187 + m, 4*z - f = -a. Is a a prime number?
False
Let x be 26/(-10) + (-2)/5. Is (-57)/x - (1 - 1) composite?
False
Let i be (-2)/(((-24)/27)/(-4)). Let o = -5 - i. Suppose -o*r + 87 = -109. Is r composite?
True
Suppose 2*p - 6809 = -5*j, 0 = 3*j + 2*p - 500 - 3587. Is j composite?
False
Let i(b) = b**3 + 7*b**2 + 6*b - 7. Let d be i(-6). Let v(p) = 3*p**2 - p - 5. Is v(d) a prime number?
True
Is (-191)/(-2 - (4 - 5)) prime?
True
Suppose 4*k - 9 = 7. Suppose 0*r + 1036 = k*r. Is r composite?
True
Suppose f = -2*f + 111. Is f prime?
True
Suppose -3*k = -5*a + k + 557, 0 = 2*a + k - 228. Is a a prime number?
True
Is (-12586)/(-10) - 6/(-15) a prime number?
True
Let g(j) = -j**2 + 4*j - 2. Let l be g(2). Suppose -l*p - 2*p + 47 = w, -5*w + 259 = -4*p. Is w prime?
False
Suppose 15 = -5*x, 5*c - 319 = -2*x + 960. Is c a composite number?
False
Let l = -1727 - -2647. Suppose -5*b + 5*w = -l, b - 5*w - 365 = -b. Is b a prime number?
False
Let x(a) = -33*a - 5. Is x(-7) a prime number?
False
Let d(i) be the first derivative of 7*i**2/2 + 5*i - 14. Let a(p) = -5*p + 1. Let k be a(-1). Is d(k) prime?
True
Let l(r) = r**2 - 7*r - 7. Let i be l(8). Is 2*i*22/4 a prime number?
True
Suppose 0 = -6*m + 2*m + 20. Let v(j) = 0*j + 0*j - 6 + m + 78*j**2. Is v(-1) a composite number?
True
Suppose -4*r - 3 = -7. Is (-20)/(-2) - (-1)/r composite?
False
Let c = -130 + 489. Is c a composite number?
False
Suppose -i + 6 = 3*y, 5 = -y - 4*i - 4. Suppose 0 = y*l + l - 8. Is 8 - (l + -2 + -2) prime?
False
Let m = -231 + 1790. Is m prime?
True
Let y = -3383 + 6106. Is y a prime number?
False
Suppose -476 - 1040 = -4*g. Is g a composite number?
False
Let k(o) = -3*o - 2. Let c be k(-2). Suppose 414 = c*d - 1358. Is d a composite number?
False
Let a(v) = 2*v - 2. Let h be a(-6). Let w be ((-34)/(-6))/((-1)/(-9)). Let k = w + h. Is k composite?
False
Let y = 1181 + -124. Is y a composite number?
True
Let r = -21 + 57. Let d = 5 + -8. Is r - (-1 + -1 - d) a composite number?
True
Let s = 473 + 174. Is s a prime number?
True
Suppose -5*n = -3*n. Let w(c) = -c**3 + c**2 + 3. Let m be w(n). Suppose 35 - 8 = 3*z - 3*u, m*z = -3*u + 57. Is z composite?
True
Let h(g) = g**2 - g. Let c be h(-1). Suppose -12 = i + 5*u + 7, c*i + 5*u + 23 = 0. Is (113/i)/((-1)/4) a prime number?
True
Let c(a) = a - 2. Let n be c(5). Let s(h) = 3*h**2 - 3*h + 1. Is s(n) a prime number?
True
Suppose -s + 0 = -2. Suppose a - 6*a + 483 = -s*m, a + 4*m - 101 = 0. Is a prime?
True
Let j = -14 - -27. Is j a composite number?
False
Let q = 6673 + -4042. Is q a composite number?
True
Let a(b) = -b**2 + 2. Let p be a(-2). Let m(q) = -8*q**2 + q - 1. Let t(i) = 16*i**2 - 2*i + 2. Let s(j) = 11*m(j) + 6*t(j). Is s(p) a composite number?
True
Let v = 8975 + -4774. Is v a prime number?
True
Let w(g) = g**2. Suppose 3*j = -z - 1 + 3, -6 = -3*z - 2*j. Let x be w(z). Suppose x*d = 2*d + 5*l + 33, -4*l + 10 = d. Is d composite?
True
Suppose 3*u - 9 = 0, a - 5*u = -3*u - 10. Let n be (1*a*-1)/1. Suppose 0 = 4*q + 3*t - 112, -4*q - n*t + 78 = -38. Is q a prime number?
False
Let k = -560 + 811. Is k composite?
False
Let w = 730 + -196. Suppose w = 4*c + 2*q, 5*c - 667 = -q - q. Suppose -3*z - 46 = 3*i - 175, 3*i + 2*z - c = 0. Is i a prime number?
True
Suppose 77 = -5*j - 28. Suppose -2*c - 16 = -c + 2*a, -3*c - 32 = -2*a. Is j*(1 - c/(-9)) a prime number?
True
Let r = -162 - -777. Suppose -3*n + 306 = -r. Is n prime?
True
Let x(m) = 2*m - 9. Let k be x(6). Let c = 37 - k. Is c prime?
False
Let x = 152 - 67. Let v = 122 - x. Is v prime?
True
Let l(g) = 4*g**2 - 2*g + 2. Let h be -1*((-2)/(-2) + -1). Let m be (h - 1)/(1/(-2)). Is l(m) composite?
True
Let t = 15 - 10. Is (2/(-8))/(t/(-460)) a composite number?
False
Suppose -3*k = -6*k + 111. Is k a prime number?
True
Suppose 0 = 8*j - 3*j + 5. Let s be (-3)/j*(0 - -1). Suppose -30 = -s*g - 3*z, -2*g + 16 = 4*z - 4. Is g a prime number?
False
Let x be 12 + 9/3 + 0. Suppose -4*i + 65 = -x. Suppose 5*o - m = 46, o = -o + 2*m + i. Is o a composite number?
True
Let k be -34 + (0 - (5 - 1)). Is 102/3*k/(-4) composite?
True
Let q(u) = -u**2 - 7*u - 2. Let h be q(-6). Suppose 60 = -3*p - 2*m - 2*m, -3*m = -h*p - 80. Let x = p + 69. Is x a composite number?
True
Suppose 16*m + 1326 = 2*n + 12*m, -3*n = -m - 1969. Is n composite?
True
Is (-72)/(-48)*(-1966)/(-3) a composite number?
False
Let q = 1106 + 303. Is q prime?
True
Let m = 9 + -5. Suppose -m*q = -2*q - 94. Is q composite?
False
Let i be -1 - 0 - 2/(-1). Let u(p) be the third derivative of 7*p**6/10 - p**4/12 + p**3/6 + 7*p**2. Is u(i) a prime number?
True
Let w = 7 + -3. Suppose 5*a = -w*h + 40, -3*h - 2*h + 25 = 0. Let y(l) = l**2 - 2*l + 6. Is y(a) composite?
True
Let l(d) = 5*d - 50*d - 2 - 1. Is l(-2) a composite number?
True
Suppose -2*a + 3 + 5 = 0. Suppose 2*y + 7 = 3*z - 17, -3*y + 15 = a*z. Let s(l) = 31*l + 1. Is s(z) composite?
True
Let r(o) = -o - 5 + 5 + o**2. Let m be r(-1). Is (-1)/((m - 3)/79) composite?
False
Let d = -1447 - -2586. Is d a prime number?
False
Let l(c) be the second derivative of c**7/840 + c**6/180 - c**5/40 + c**4/6 - 3*c. Let s(v) be the third derivative of l(v). Is s(-8) a composite number?
False
Suppose -t + 4*t + 42 = 0. Let z = 33 + t. Is z prime?
True
Let b be (1/(-3))/(4/(-24)). Suppose h = 3*o + 106, -b*o - 3*o + 179 = 2*h. Is h prime?
True
Let u(g) be the first derivative of -2*g**3/3 - g**2 + 2*g - 2. Let b(n) be the first derivative of u(n). Is b(-4) a composite number?
True
Let m = -3 - -4. Let x = 8 - m. Suppose -d = -x - 6. Is d a composite number?
False
Let v(m) = -m**2 + 10*m + 8. Let p be v(9). Let i = p + -11. Is i a composite number?
True
Let h(k) = -k**3 - 8*k**2 - 9*k - 9. Let j be h(-7). Suppose 3*f - f = -j*g + 262, -f + 113 = -2*g. Is f a composite number?
True
Let c = 1021 + -714. Is c a prime number?
True
Let a = 6 - 2. Suppose -a*k + 5*s - 3 - 6 = 0, -2*s = 6. Let x(p) = p**3 + 7*p**2 - p + 5. Is x(k) a prime number?
True
Let u = 776 - 513. Suppose -4*t + 8 = -2*r - t, 20 = -5*r + t. Is (u/(-2))/(2/r) a prime number?
True
Let c(x) = -2 + 8*x + 3*x**2 + 2. Let t be c(-7). Suppose 2*i + 0*r - 33 = r, 0 = -4*i - 3*r + t. Is i prime?
True
Suppose 3*r = 3*u - 