se -3*j - 75334 = -17*j. Is j composite?
False
Is -158*(15/6)/(-5) composite?
False
Suppose 5*y - 2*q = 3*q - 40, -2*y - 51 = 5*q. Is (-5367)/y - (-14)/91 composite?
True
Let n(w) = -w**2 + 11*w - 7. Is n(5) prime?
True
Suppose -3*d + 4*g = -2709, 4*d + 4*g = -0*d + 3640. Is d prime?
True
Let y be 892/3 + 2/(-6). Let j = y - 201. Suppose 0 = n - 4*f + 1 - 16, 4*n = -2*f + j. Is n a prime number?
True
Let o = -101 + 154. Let k = 80 + o. Is k a prime number?
False
Suppose -2*h + 6*h - 9 = z, 4*z = -5*h + 27. Suppose l - 2*l + 807 = 4*a, 5*a - 2435 = -h*l. Is l a prime number?
False
Let z = 5 - 3. Suppose z*s + s - 39 = 0. Suppose 1 = 3*c - 2*p - s, -36 = -5*c - 3*p. Is c composite?
True
Let y(g) = g**2 + 3*g - 7. Let v be y(-5). Suppose -j = 3*r - 91, -4*j = -j + 6. Suppose -v*a + n = -0*n - r, 5*a - 51 = 2*n. Is a a composite number?
False
Let n(i) = i**3 - 4*i - 5. Is n(4) a prime number?
True
Let l(q) = 70*q**2 + 11*q + 6. Is l(-4) a composite number?
True
Let x(n) be the first derivative of 4*n**3 - 2 + 5/2*n**2 + 4*n. Is x(-3) a prime number?
True
Let m(x) = x**3 - 1. Let r(z) = 28*z**3 - 3*z. Let t(i) = 4*m(i) - r(i). Is t(-3) composite?
True
Let i = -503 + 714. Is i composite?
False
Let n = 8 + -5. Is 2/6 - (-500)/n a composite number?
False
Suppose 15 = 5*t + 75. Is t/8*(-3 + -55) prime?
False
Is 1943 + 5 + (-4 - 3) a composite number?
True
Suppose -21 + 65 = n. Is 1/3 - n/(-3) a composite number?
True
Suppose -z + 6 = 2*z. Suppose z*k = 3*k - 149. Is k prime?
True
Suppose 13*s + 632 = 17*s. Is s a composite number?
True
Suppose 3*b - 2*b - 3 = 0. Suppose b*t = -t + 204. Is t a prime number?
False
Is 52/8*(-3 + 29) a prime number?
False
Suppose -5 = -2*m + 4*f + 1, 4*m + 4*f - 12 = 0. Suppose 0 = -m*b - 5*g + 2*g + 3, 12 = -4*g. Is 2*(-7)/b*-10 a prime number?
False
Is (50/(-40))/((-1)/32) - -3 prime?
True
Suppose -3*m - 2*m = -55. Is m composite?
False
Suppose -3*n = 2*i - 3, -5*n - 1 + 10 = 4*i. Let s be (3 + -4)*(i - 1). Let g = s + 30. Is g a prime number?
False
Suppose -647 = -4*z + r, -7*r = -5*z - 3*r + 817. Is z composite?
True
Let x = 0 - -37. Is x a composite number?
False
Let v(c) = -2*c - 1. Let p be v(-2). Suppose -p*k = -3 - 162. Is k composite?
True
Let o = 301 + -185. Suppose -p - o = -3*p. Is p composite?
True
Suppose q = -2*q - 3*t + 21, 0 = -4*q + 5*t - 8. Suppose q*i = i + 6. Suppose -i*v + 152 + 70 = 0. Is v a prime number?
False
Suppose 3*y - 526 = 47. Is y composite?
False
Let k be (4/2 - 3) + 3. Let t be k + (2 - 4)/(-2). Is (-106)/9*-3*t a prime number?
False
Let v be (1 - -2) + (-1 - 0). Suppose 34 - 8 = -v*k. Let r = 32 + k. Is r prime?
True
Let y = 2 - 3. Let n be 1*y + (-20)/4. Let t(r) = r**3 + 5*r**2 - 6*r + 7. Is t(n) prime?
True
Let n = 11 - 23. Let z = -15 + 9. Let x = z - n. Is x prime?
False
Suppose -81 = 4*r - 225. Let y be r/10 - (-2)/5. Suppose -y*s - 170 = -9*s. Is s a prime number?
False
Suppose -6*b + 197 = -565. Is b prime?
True
Let g be (-4)/6*3/2. Let z be 3/(g/(-4)*2). Suppose 0 = -3*r - 4*c + z, 4*r = -0*c - 2*c + 8. Is r a prime number?
True
Suppose 4*j + x = 23919, j - 8*x + 4*x = 6001. Is j prime?
True
Let z(c) = -c + 1. Let w be z(1). Let q be (w - 0)/(-1) + 2. Suppose 0 = q*a - 91 - 15. Is a prime?
True
Suppose 0 = -f + 3*f + 2. Let o be -29 + (-2)/f + 0. Let k = 76 + o. Is k composite?
True
Is (-2 + 0 + 0)*(-38969)/38 composite?
True
Let c(h) = 5*h**2 - 4*h - 6. Let z be c(-5). Let f be 435/2 + 3/6. Suppose f = 3*t - z. Is t a prime number?
False
Suppose -3*m + 36 = -3*j, -3*j = 5*m - 2*j - 78. Let l be 6/m*-1*-10. Let z = l - -6. Is z a prime number?
False
Suppose 931 + 5222 = 3*u. Is u prime?
False
Let z = 1061 + -343. Suppose i - 2*q - z = -5*q, 0 = 5*i - 2*q - 3522. Suppose 3*n - i = -223. Is n a prime number?
False
Let z(q) = -2*q**3 + 12*q**2 + 5*q + 3. Is z(6) a prime number?
False
Let b(v) = -v. Let h be b(1). Let k = h - -5. Suppose 0 = 3*u - k*f - 22, -4*u = -2*u + 3*f - 43. Is u prime?
False
Is (-2)/6*(-656 + 5) prime?
False
Suppose -3*z - 31 = 8. Let p = z + 20. Is p prime?
True
Let f be 0/2 + (-617 - -1). Is f/(-4)*3/6 composite?
True
Let c = -2 - -6. Suppose c*r - 4*v - 156 = 0, -r + 2*v - 70 = -3*r. Is r a prime number?
True
Let z(c) = 8*c**2 + c + 22. Is z(-11) a composite number?
True
Suppose -2*m = -2*u + 166, -u + 83 = -3*m - 2*m. Is u composite?
False
Let j(k) = k**3 + 3*k**2 - k - 1. Let y be j(-2). Let g(z) = 2*z**2 + z + 4. Is g(y) prime?
True
Let q = 51 + 365. Suppose 4*y - 1226 = -3*t, t - 3*y - q = -8*y. Suppose -3*i + i = 4*x - t, x = -i + 203. Is i a composite number?
True
Suppose -15 = 5*p + 15. Suppose n - 3*x - 2 = -4*x, -n + 2 = 2*x. Is ((-4)/n)/(p/291) a prime number?
True
Let d(a) be the third derivative of 13*a**6/180 - a**5/120 - a**3/3 + 2*a**2. Let i(x) be the first derivative of d(x). Is i(1) a composite number?
True
Let g(w) = w**3 + 8*w**2 - 12*w + 8. Let r be 1/2 - (-38)/(-4). Is g(r) a composite number?
True
Let i(u) = -u**3 - 5*u + 3*u - u**3 + u**3. Is i(-3) a composite number?
True
Let k = 147 + -56. Suppose 0*q = -q + k. Is q composite?
True
Let s(y) = 0 - 2 + 4 + y. Let b be ((-2)/(-4))/((-1)/(-10)). Is s(b) a prime number?
True
Suppose -5*b + 0*p = -2*p - 22, 5*b = -p + 19. Suppose 2*d - 186 = -b*x, 5*x - 2*d - 233 = -4*d. Suppose h - 70 = 4*w - 7*w, x = 2*w + h. Is w composite?
False
Let c be 242*-7*2/(-4). Let f = 1488 - c. Is f a composite number?
False
Let v(h) = 9*h + h**2 - 12*h + 2*h**3 + 1 - 2*h**2. Let d(w) = -w**3 + 6*w**2 - 6*w + 7. Let y be d(5). Is v(y) a composite number?
False
Let g(k) = -34*k + 16. Is g(-7) prime?
False
Let o(z) = 1 + 0 + 2*z + 13*z**2 - 2. Is o(-5) a prime number?
False
Suppose 0 = 5*j - 5*p, 3*p - 2 = 2*j - 0. Suppose -5*k = -4*g + 627, -j*k = 3*g - 425 - 74. Is g a prime number?
True
Let x = 22 + -9. Is (-26)/(-169) + 37/x a prime number?
True
Suppose -i - 993 = -4*i. Is i prime?
True
Let r(y) = 5 - 2*y**2 - y**3 - 6 - 3*y + 2*y**3. Let w be r(3). Let z = w - -3. Is z a composite number?
False
Let j(d) = -d**2 - 10*d - 2. Suppose k + a + 4 = -0*k, 0 = 5*k + a + 40. Let u be j(k). Is u/7 + -1 + 49 a composite number?
True
Let l be (3 + -2 - 1)*-1. Let h(n) = l*n + 13*n - 7 + 14 - n**2. Is h(10) composite?
False
Suppose -6*x + 9*x = 207. Is x prime?
False
Let k = 967 + -548. Is k a prime number?
True
Suppose -h + 4*h + 204 = 0. Let u = 11 - h. Is u prime?
True
Let x = -3 + 6. Suppose 1 = -0*t - t. Let d = t + x. Is d prime?
True
Let o = 26 + -922. Let a be o/(-5) + (-1)/5. Suppose a = 5*n - 4*q, 4*q - 13 = 3. Is n composite?
True
Let z = -185 - -308. Suppose 18 = -3*f + z. Is f composite?
True
Let q = 2570 - 1497. Is q composite?
True
Suppose 0 = -3*i - i + 2108. Let m = 11 + -7. Suppose -m*j + i = 2*t - 957, j - 371 = 2*t. Is j composite?
True
Let v(t) = -t**3 - t**2 - 6*t + 1. Is v(-5) composite?
False
Suppose 0 = 3*p + s - 393, -3*s = -p - 8*s + 131. Is p composite?
False
Suppose l - 550 = 337. Is l a composite number?
False
Let w = 13 + -36. Suppose -94 = -2*t - k, 2*t - k + 36 - 134 = 0. Let v = w + t. Is v a prime number?
False
Suppose v - 2*v = 0. Suppose 5*o + 4*d + 30 = 120, -3*o + 5*d + 17 = v. Is (o - 2 - 1)*7 composite?
True
Let a be ((-5)/2)/(1/(-2)). Let g be (15/(-9))/(6/(-90)). Suppose g + 25 = a*y. Is y composite?
True
Suppose -2 = -y + 2*f, -3*y + 0*f + 3*f = 6. Let v = y - -9. Suppose t - v = 34. Is t a prime number?
True
Let p be (2 - 1)/(2 + -1). Is 7 + -6 - (-87 - p) composite?
False
Let k(i) = -i**3 - 4*i. Is k(-7) composite?
True
Let x = 1 + -1. Suppose 5*r + x*r - 35 = 0. Is r a prime number?
True
Let n = 644 + -316. Suppose 0 = -3*c - c + n. Is c a prime number?
False
Suppose -4*d + 5*x + 5 = 0, 0*d + 4*x - 27 = -3*d. Let a(j) = 3*j**2 - 3*j - 7. Is a(d) a composite number?
False
Suppose 4*u - 10 = -u. Let o(f) = 3*f**3 - f**2 + 5*f - 5. Is o(u) a prime number?
False
Suppose 0 = -2*s + 3 + 3. Suppose 5*d + s*j = 5*j + 1155, -5*j = 5*d - 1155. Let u = d - 164. Is u composite?
False
Suppose -5*d - 5*w = 5, -3*d - w - 9 = -0*w. Is (132/10)/(d/(-10)) composite?
True
Suppose -3*v - 4 = -3*p - 10, 4*v - 5*p - 8 = 0. Suppose 4*r + 8 = -q, v*q - 3*q = -2*r - 10. Suppose q*z = 27 + 113. Is z composite?
True
Let i = -566 - -818. Is (-1)/2 + i/8 composite?
False
Suppose 3*s + 5733 = 3