. Is j prime?
False
Let y be ((-15)/(-12))/(((-2)/8)/(-1)). Suppose 1610 = -y*m + 5805. Is m prime?
True
Let h(l) = -l**3 - 14*l**2 - 2*l - 258. Is h(-25) prime?
False
Suppose 4*d + 2*i - 14 = 1342, -4*d + 1370 = -5*i. Is (4 - 1) + d + -8 a prime number?
False
Suppose 7043 = -10*x + 28033. Is x a prime number?
True
Suppose -22865 = -5*b + 5*d, -4589 = -b + 2*d + 3*d. Is b composite?
True
Let s(u) be the first derivative of 11*u**4/6 + u**3/3 - 7*u**2/2 + 8*u - 1. Let n(g) be the first derivative of s(g). Is n(5) a composite number?
True
Suppose d + 0 = -3, -2*c - 3*d = -2429. Is c composite?
True
Let u be ((-2468)/6)/((-8)/(-36)). Let w = -718 - u. Is w composite?
True
Let s = -959 + 1703. Suppose -y - y + s = 0. Let j = y - 233. Is j prime?
True
Suppose 2*r + 2*p + 12 = -0*r, 0 = -p - 4. Let k be (-1 - 1)/r - 39. Let h = k + 59. Is h prime?
False
Suppose 5928 = 3*f + 3*r - 1509, 3*f + 5*r = 7429. Is f composite?
True
Let i(c) = 86*c**2 - 2*c + 4. Let r be i(-5). Suppose -33*x + 37*x - r = 0. Is x a prime number?
True
Let m = -44 - -245. Let i = 9 - 5. Is (i/(-2))/((-6)/m) a prime number?
True
Let s(i) = i**3 - 4*i**2 + 2. Let o be s(4). Suppose -5*n = -0*y - o*y - 273, -5*n + 257 = 2*y. Is n composite?
False
Let h = 73 - 72. Let y(t) = 672*t**3 + t**2 - 2*t + 2. Is y(h) prime?
True
Let u(h) = 0*h**2 + 3 + 4*h**2 + h**2 - 26*h**3 - 5*h + 8*h. Let n be u(4). Is n/(-5) - (-2)/10 a composite number?
True
Suppose 4259 = 11*g - 8600. Is g prime?
False
Suppose 31630 + 5166 = 2*t. Is t prime?
False
Let t = -9 - -13. Suppose 0*h - 12 = -t*h. Suppose -o + h*o = 246. Is o composite?
True
Suppose -1063198 = 614*n - 660*n. Is n prime?
False
Let m = -89 - -98. Is (-6)/m*(10602/(-4) + -3) prime?
False
Let k(n) = -3*n**3 + 156*n**2 + 46*n + 148. Is k(49) a prime number?
False
Let l(n) = n**3 - 2*n**2 + 3*n - 6. Let c be l(2). Suppose 13188 = 4*w - 2*u, 13180 = -c*w + 4*w - 4*u. Is w composite?
False
Suppose -3*c + 0*c + 2*u = -1, 0 = 2*c + 5*u - 26. Let g be (25665/(-261))/((-1)/9). Suppose c*i + 168 = g. Is i a composite number?
False
Let u = 26288 - 7831. Is u prime?
True
Let r = -2 + 3. Is 3/(-6)*-28*r a composite number?
True
Suppose k - 44*s - 6104 = -41*s, s + 12183 = 2*k. Is k prime?
True
Suppose 20 = 3*v - 100. Let c = 21 - v. Is (c/(-4))/((-3)/(-12)) a composite number?
False
Suppose 3*k = 4*k - 6. Is 3*998/k + 0 a composite number?
False
Let p = -20 + 25. Let r be 1*p*(-2 - -4). Suppose r = s - 21. Is s a composite number?
False
Let w = -342 + 344. Let c(f) = f**3 - 5*f**2 + 5*f - 1. Let u be c(4). Suppose 25 = u*m - 8*m, -291 = -w*p + m. Is p a composite number?
True
Suppose 5*w + 178 = 2*s, -2*w + 267 = s + 2*s. Is s composite?
False
Let i(v) = 80*v**3 - 14*v**2 - v + 77. Is i(8) composite?
True
Suppose -8*b = -4641 - 35495. Is b composite?
True
Is (-1 + 0)/(7/(-98833)*7) composite?
False
Let x(y) = -304*y**3 + y**2 - 3*y - 2. Let s be x(-2). Suppose 4*d = 1884 + s. Is d a prime number?
False
Suppose 7*o - 285 + 5080 = 0. Let w = 1548 + o. Is w composite?
False
Suppose 2*s + 10 = -4. Suppose f - 5*q = -16, 5*f + 3 = 3*q - 11. Is (3/f - s) + 247 prime?
True
Let l(m) = 3*m**3 - 7*m**2 - 6*m - 4. Let g = 5 + 1. Let z be l(g). Is (2/(-4))/((-2)/z) composite?
False
Let l be 5/(3*-5)*3. Is -2*(936/(-4) - l) prime?
False
Suppose 0 = v - 8425 - 2518. Is v a prime number?
False
Let l(d) = -d**3 - 6*d**2 + 6*d - 7. Let u be l(-7). Suppose -5*o = w - 417, o - 2*w - 2*w - 75 = u. Is o prime?
True
Let p = 3 + 18. Let f = p + -27. Is ((-844)/f)/((-32)/(-48)) a prime number?
True
Let j be (1/(-3))/(5/(-45)). Suppose -2*a = 3*m + 6 - j, 2*a + m = -5. Is ((-766)/6 + 4)*a a prime number?
False
Let d = -7802 - -47739. Is d prime?
True
Let l(y) = 1835*y + 269. Is l(16) prime?
True
Let b(s) = 389*s - 75. Is b(18) a composite number?
True
Suppose -2*t + 19 = 15. Is ((-76)/(-12) - 6)/(t/5058) prime?
False
Suppose -4*r + 3*r = -19. Suppose 25 = 14*p - r*p. Is (-4 + 9)/p + 320 a prime number?
False
Suppose -5*c + 11 = 1. Suppose c*x + 183 = 5*p - 748, 380 = 2*p + 3*x. Is p a prime number?
False
Let m(q) = q**3 + 8*q**2 - 6*q - 2. Suppose c - 38 + 44 = 0. Is m(c) prime?
False
Let z = 5633 + -388. Is z a prime number?
False
Suppose -5*o - 5*l = -45, -19 - 7 = -4*o - 2*l. Let n be (-32)/(-4)*(-2)/o. Is (-31)/n*(-4 - -16) prime?
False
Let n(f) = f**3 + 66*f**2 - 18*f + 268. Is n(-63) composite?
False
Let v(o) = 22*o**3 + 3*o**2 - 6*o + 10. Let x(d) = 11*d**3 + d**2 - 3*d + 5. Let k(n) = -3*v(n) + 5*x(n). Is k(-4) a prime number?
False
Let a = -18077 - -36276. Is a a composite number?
False
Suppose -45*g + 545721 = 24*g. Is g composite?
True
Let k be 6327/(-4) + -4 + (-15)/(-4). Let t = -545 - k. Is t a prime number?
False
Let i = 1595 - 487. Let n = -146 + i. Is (n/6)/((-10)/(-30)) prime?
False
Is 6846 + (19 + 1)*(-3)/12 composite?
False
Is (1/(-15)*-3)/((-25)/(-1116125)) composite?
False
Let t = 51409 - 26628. Is t prime?
True
Suppose 0 = 3*o + 2*o. Suppose -2*d - d - 2*i + 14 = o, 3*d - 2*i = 10. Suppose 2*g = -4*c + 302, -654 = -d*g - 3*c - 35. Is g prime?
True
Suppose 3*b - 4*b = -82. Suppose 0 = -4*t + 4*h - 200, 86 = -2*t + h - 6*h. Let d = t + b. Is d a prime number?
False
Suppose -1060663 = -15*g + 40382. Is g composite?
True
Let j(z) = 28*z**2 - 61*z - 1. Is j(6) prime?
True
Let f(o) = -o**3 + o**2 - o + 37. Let v be f(0). Let k = 19 + -18. Is -1 - (k + (-2 - v)) prime?
True
Suppose s - 4*k - 195 = -k, k - 5 = 0. Is s + -2 + (5 - 2) a composite number?
False
Let m = -461 - 806. Let x = m + 1850. Is x a composite number?
True
Let g = 2 + -3. Is 393/(-6)*2*g a prime number?
True
Suppose 4*u = 16, u = 2*y - 15074 + 4808. Suppose 4876 + y = 3*i. Is i prime?
False
Let y(c) be the third derivative of 359*c**7/840 + c**6/360 - c**4/24 - 5*c**3/6 - c**2. Let w(h) be the first derivative of y(h). Is w(1) a composite number?
False
Suppose -3*g + 4 = g. Is 882 + (-10 - -7) + (1 - g) a composite number?
True
Suppose 3*r + 3*p = -p + 377490, -5*p = -15. Suppose r = 5*a - 75954. Is a/60 - (-4)/10 a composite number?
False
Let h = -14239 + 8771. Let x = 8047 + h. Is x prime?
True
Suppose -3*b + 2*b = 0. Let k be (-1 - -2)/((-7)/(-14)). Suppose -3*c - k*c = 4*n - 199, b = -3*n - 3*c + 150. Is n a prime number?
False
Let h = -60 - -62. Suppose -4*w - h*u + 312 = 0, 2*u + 229 = 3*w + 6*u. Is w a prime number?
True
Is ((-12)/(-18))/(-8*2/(-382008)) a prime number?
False
Let f(n) = n**3 + 7*n**2 + 6*n + 3. Let d be f(-6). Suppose t + 5*c = 215, -6*c + d*c = 4*t - 792. Suppose -150 = -3*b + t. Is b composite?
True
Suppose -4*x = -0*g + 3*g + 11, 5*x + 25 = 0. Suppose 3*d - g = 12. Suppose d*u - 250 = -5*z, -2*z = z + u - 148. Is z a prime number?
False
Let d(i) = 2*i + 11. Let p be d(3). Suppose -a + 69 = 5*y - 0*a, 0 = -y + 3*a + p. Is y prime?
False
Is 1539 - 7/21*-6 a prime number?
False
Suppose 62*d - 10 = 67*d. Is 24291/6 + -3 + d/4 a prime number?
False
Let n = 57699 - 13348. Is n a composite number?
False
Let c = 4 - 2. Let r(a) = -a - 3 + 8*a + 6*a**2 + 2*a**2 - 3*a. Is r(c) composite?
False
Let p(d) = 2930*d - 253. Is p(4) composite?
False
Let m(q) = -22*q - 27. Suppose -42 = 4*i + 2*w, -4*i - 4*w + 48 = -7*i. Is m(i) a composite number?
True
Let w(d) be the third derivative of -7*d**4/12 + 3*d**3 + 12*d**2. Is w(-4) a prime number?
False
Let i(b) = -4*b**3 + 12*b + 39. Is i(-11) composite?
False
Is (3/(-2))/((-13)/((-1834820)/(-6))) composite?
True
Let p be (491 - (-5 + 4)) + -2. Let o = 1029 - p. Suppose -o = -6*j + 247. Is j a prime number?
True
Let m(l) = l**2 - 8*l - 33. Let a be m(11). Suppose -3*f + 3*b + 2979 = a, -2415 = -4*f + 3*b + 1559. Is f a composite number?
True
Let v(s) = s**2 + 8*s + 8. Let g be v(-6). Is (-14974)/(-6) + g/6 composite?
True
Suppose -3*c = -5*i + 8*i - 70191, 5*i - 2*c - 116999 = 0. Is i prime?
True
Let u = 0 + 2. Let s be (u/5)/((-1)/(-5)). Suppose -484 = -s*p - 2*p. Is p a prime number?
False
Suppose 0 = 2*o + 9924 + 1504. Let c = 4057 + o. Is 46/161 + c/(-7) a prime number?
False
Is -6*(-1)/18*2229 composite?
False
Suppose p - 2*z + 2 = -p, 0 = 3*z - 15. Suppose -4*l = r - 1381, -16 - 4 = -p*l. Is r prime?
True
Let z(v) = 17*v**3 + v**2 - 8*v - 9. Is z(5) prime?
False
Let m be (4/(-3))/(1/3). Let b be 76/10 + m/(-10). Suppose 0 = 4*j - 