ime?
False
Suppose 3*d - 3*q - 6231 = 0, -2*d + 3*d = -4*q + 2057. Is d prime?
False
Suppose 5*j - 3*n + 0*n = -209, 76 = -2*j + 5*n. Let r = 106 - j. Is r a composite number?
False
Let s = -11 - -15. Is -3 + -21*s/(-6) composite?
False
Suppose 0 = 4*x - x + 3. Let r = 5 + x. Is (-1)/r + (-3563)/(-28) a composite number?
False
Suppose -4*c - 11 - 17 = 0. Is (c/21)/((-2)/1842) composite?
False
Let o(w) = 59*w - 3. Is o(10) prime?
True
Let m = 567 - 120. Suppose -z - m = -2*v, -3*v + 8*v + z = 1114. Is v a composite number?
False
Let w = 694 + -297. Is w composite?
False
Suppose 3*h + 0*h - 759 = 0. Is h composite?
True
Let h(v) = 5*v**2 - 4*v + 4. Let z(m) = 2*m**2 - 6*m - 5. Let f(r) = 2*r**2 - 5*r - 4. Let j(u) = 4*f(u) - 3*z(u). Let a be j(-1). Is h(a) a prime number?
True
Let u(t) = -t**2 - 13*t - 7. Let z(m) = -m - 1. Let j(x) = u(x) - 2*z(x). Is j(-7) a composite number?
False
Let z(w) be the first derivative of -w**3/3 - 5*w**2/2 + 5*w - 1. Let l be z(-4). Is 1*(-42)/l*-3 a composite number?
True
Let i = 13139 - 9012. Is i composite?
False
Let i(s) = s - 6. Let p be i(6). Suppose k + 2*o = 5, 4*k + p*k - 15 = -3*o. Suppose -10 = -k*z + 101. Is z prime?
True
Let q(o) = 3*o**2 + 10*o - 23. Is q(-10) composite?
True
Suppose -5*s + 0*s = -10. Suppose -105 = -5*m + s*m. Suppose -6*g + g = -m. Is g a prime number?
True
Suppose 2*g = -l - 4*l + 6, -5*l + 5*g + 20 = 0. Suppose 0*j - 137 = -l*c + j, 2*c = 4*j + 122. Suppose -42 = -m + c. Is m a prime number?
True
Suppose 5*o + 2 = 3*o. Let m = 11 - o. Is -2 - -4 - m/(-1) prime?
False
Suppose 2*l + 18311 = 5*l - 4*y, 6121 = l + 3*y. Is l a prime number?
False
Let y(z) = 0 + 0*z - 2*z + 142*z**2 + 1. Is y(1) prime?
False
Suppose 2*b - 2*u = -22, 0 = 3*b - 5*u + 17 + 20. Let x = -5 - b. Suppose x*z = 4*a - 47 + 19, -3*z = 12. Is a composite?
False
Suppose 0 = d - 0*d + 3*k - 188, d - 182 = 3*k. Suppose 0 = 5*o - d. Is o prime?
True
Let y = 326 - 177. Is y a composite number?
False
Is (-20)/80 - 1706/(-16)*2 a composite number?
True
Let b = 4846 + -3377. Is b a prime number?
False
Suppose -3*o - f = -44 + 15, -19 = -2*o - f. Is o a composite number?
True
Let w be (-4)/6*18*-10. Let g = -73 + w. Is g composite?
False
Suppose 2*v - 3*b - 12 = 0, 5*b + 4 = -3*v - 16. Suppose -y - 2*u + 25 + 26 = v, 3*y = 3*u + 171. Is y composite?
True
Let i(q) = q**2 - 8*q + 1. Let s be i(8). Is 1/s + (-231)/(-7) a composite number?
True
Let h(x) = x**3. Let m be h(1). Let d(q) = 118*q + 1. Is d(m) a prime number?
False
Let b be -4 + 4 + 1*2. Let z be ((-3)/(-6))/(b/24). Let j(s) = 4*s - 5. Is j(z) a composite number?
False
Let q(k) = k - 1. Let l be q(2). Let w be 6 - 4 - (1 + l). Suppose -o = w, -5*g = 5*o - o - 185. Is g a composite number?
False
Let n = 272 - -299. Is n composite?
False
Let i be 3 + (14 - 2) - 3. Is (-6)/(-5)*330/i composite?
True
Suppose -x = -0 - 4. Suppose -2*j + 499 = x*b + j, -2*b = -3*j - 263. Is b a prime number?
True
Let t(p) = p**2 + p + 3. Let r be 5/4*8/2. Is t(r) a composite number?
True
Let l be (-5)/(-20) + 25/(-4). Is 33 - (-3)/(l/(-4)) composite?
True
Let c(d) = 10*d + 3. Let n(a) = -29*a - 10. Let v(g) = -7*c(g) - 2*n(g). Is v(-3) a prime number?
False
Is (-2)/10 + (-24894)/(-45) a composite number?
True
Suppose -2*r + 0*r + 128 = 0. Suppose -3*g - 5*i + r = -177, 4*i - 316 = -4*g. Is g prime?
False
Let b be (671 - -1)/(-1) - -1. Let h be (-4)/(-6) + b/3. Let f = 318 + h. Is f composite?
True
Let i = -90 + 172. Suppose 2*h - 104 = i. Is h a prime number?
False
Is 87/2*10/3 a prime number?
False
Suppose y - 3*w - 7 = 4, -9 = -y + 2*w. Suppose 0 = y*x - 2*x + 3. Is ((-30)/(x + -1))/1 a composite number?
True
Let d(o) be the third derivative of -o**6/120 - o**5/12 - o**4/24 - 5*o**3/6 - 4*o**2. Is d(-6) a prime number?
True
Let r = 5 - 5. Is r/2 + (1 - -14) prime?
False
Let o = -6 - -5. Is 1/o*(-4 - 85) prime?
True
Let l = -9 + 106. Is l prime?
True
Suppose 3*i - 52 = -f, -2*i = -f - 0*f - 33. Let d = 0 + 0. Suppose 5*r + 5*c - 70 = d, -i - 8 = 5*c. Is r a prime number?
True
Let c(b) = -b**2 - 8*b - 7. Let x be c(-7). Let p(j) = -j**2 + j + 79. Is p(x) composite?
False
Let y = 1 + 1. Suppose 0 = 4*b - y*m - 3 - 3, -4*m - 2 = -3*b. Suppose b*j + 2*j - 3*s = 30, -4*s + 8 = 0. Is j a composite number?
True
Let v be 8*(15/4)/(-5). Let u be -4*(9/v + 2). Is (88/(-12))/(u/21) a composite number?
True
Let h = 4 + -2. Let w be ((-4)/h)/(-1) + -2. Suppose 2*u + w = 26. Is u a prime number?
True
Let c(v) = -v**2 - 7*v + 3. Let y be c(-7). Suppose 15 = y*l - 0. Let a = l + 10. Is a a composite number?
True
Is -2*(474/(-4))/3 a prime number?
True
Suppose -4*g + 5 - 17 = 0. Is (-3)/18*106*g a composite number?
False
Let o be 9 - (-5)/((-10)/6). Suppose 5*r = -0*l - 2*l + 11, 0 = 3*l + o. Suppose -2*g + r*g = 19. Is g composite?
False
Let c(j) = -5*j. Let x be c(-2). Let b(h) be the third derivative of -h**6/120 + h**5/6 + h**4/8 + 5*h**3/6 + h**2. Is b(x) prime?
False
Let q(x) = x**3 - 3*x**2 - 6*x - 1. Let g(l) = l**3 - 3*l**2 - 7*l - 1. Let b(o) = -3*g(o) + 4*q(o). Is b(6) a composite number?
False
Suppose -6*o + 19*o - 13351 = 0. Is o a composite number?
True
Suppose 2*s + 2*m + 78 = 0, -3*s - 2*m = s + 152. Let d = 42 - s. Is d prime?
True
Let b be (10/(-2))/(6/(-12)). Let n be (-12)/b*380/(-3). Let q = n - 87. Is q a composite number?
True
Suppose -1 + 4 = 3*f. Let s be (1 + -1)*(f + 0). Is s - (-1 + 0) - -32 composite?
True
Suppose -16 = 2*z - 6*z. Let p = 101 - z. Is p prime?
True
Let x(w) = 27*w**2 + 2*w. Let g be 0 + -2 - (1 - 1). Let c be x(g). Suppose 4*t - c = 4*f, -2*t - 5*f + 26 = -26. Is t a composite number?
True
Suppose d = -2 - 16. Is (d/(-12))/((-3)/(-134)) a composite number?
False
Let b(y) = y**2 + 7*y + 3. Let i be b(-7). Let m(n) = n + 9. Let j be m(-7). Suppose -r + x + 14 = -3, i*x = j*r - 36. Is r a prime number?
False
Let t(c) be the second derivative of -c**4/12 - 4*c**3/3 - 2*c**2 + c. Let x be t(-8). Is 6/(x - -3 - -2) a prime number?
False
Let a = -858 + 1489. Is a a prime number?
True
Let a = -32 - -156. Suppose a = 3*f - 0*f + 4*j, -3*j = 5*f - 192. Is (2 - -3) + -2 + f composite?
True
Let n be 0/2 - (-5 - -1). Suppose n*g = 5*g - 35. Is g prime?
False
Let k be (-5 + 2 + 1)/1. Let b(m) = -7*m - 2. Let v be b(k). Is 221/4 - 3/v a composite number?
True
Let u(f) = f**2 + f + 37. Suppose -2*j = j. Is u(j) composite?
False
Is (-1)/(-3) + (-384)/(-9) a composite number?
False
Suppose 1 = -b + 5. Let t(n) = 2*n**3 - 5*n**2 + n + 3. Is t(b) prime?
False
Let k(b) be the second derivative of -b**8/6720 + b**7/280 - b**6/180 + b**5/30 + b**4/6 + 4*b. Let j(a) be the third derivative of k(a). Is j(7) prime?
False
Suppose -3*q + 15 = 0, m - 90 = -3*m + 2*q. Is m prime?
False
Let n be 36/(-28) + (-4)/(-14). Let i(b) be the first derivative of -13*b**2/2 - 4. Is i(n) a prime number?
True
Suppose 0 = 3*d - 5*d. Let s(w) = -w**3 - 7*w**2 - 3*w - 6. Let b be s(-7). Suppose -5*o = -4*i - 61, o + d*o = -2*i + b. Is o composite?
False
Let n(a) = -a**3 + 9*a**2 + 9*a + 9. Let t be n(10). Is 5 - 8 - t*89 composite?
True
Suppose 0 = 4*j + j. Suppose 3*z - 3*i - 15 = j, z - 3*z + 13 = -5*i. Suppose -5*v + 193 = -4*k, z*v - 146 = 2*k - 3*k. Is v composite?
False
Suppose 4*s = -m - 2*m + 37, 3*m + 2*s - 47 = 0. Let j = -12 + m. Is j composite?
False
Let q be (-3)/(2/(-6*2)). Is 8*q/4 + 1 composite?
False
Is (-2 - (-2308)/8)*2 a prime number?
False
Let x(l) = l**3 + 6*l**2 - 8*l + 7. Suppose -3*j = 6 - 0. Let a be j*(-2 + 33/6). Is x(a) composite?
True
Suppose -4*r = -3*k - 7*r + 15, -r + 17 = 5*k. Suppose k*p = p + 298. Is p prime?
True
Let l = 340 - -61. Is l a prime number?
True
Let i be 1029/6 - 2/4. Suppose 10 = -w + i. Is w composite?
True
Let d(y) = 2*y**3 - 4*y**2 - 3*y - 4. Let z be d(5). Let l = -72 + z. Is l composite?
False
Suppose -2*a = 3*x - 8, -5*x + a - 2*a = -4. Is (x + -1 - 6)/(-1) prime?
True
Suppose -2*c + 5 = -11. Is 11154/10 + c/(-20) a prime number?
False
Let u be 0 + 1 - 4/(-2). Suppose -5*a = -2*l - 0*l - 52, 0 = -u*l + 3*a - 60. Let c = 47 + l. Is c composite?
False
Let p be (48/(-1))/(1/(-1)). Suppose -5*h + h = -p. Suppose -o = o - h. Is o composite?
True
Let o = 5 - 2. Suppose -2*b - 2*t = 4, o*b + 0*t - 2*t = 19. Is (-8)/12 - (-71)/b composite?
False
Suppo