g composite?
True
Let x be 4/(-18) + 20/9. Suppose -3*d = -x*d - 47. Is d prime?
True
Suppose -d = -0*d - 41. Suppose -5*p + 54 = -d. Is p a prime number?
True
Let f(t) = -40*t**3 + t**2 + t - 3. Is f(-2) prime?
False
Let w be (109/(-5) - 3)*10. Let p = -109 - w. Is p prime?
True
Suppose -8*i = -4*i + 556. Let r = -63 - i. Suppose -384 - r = -4*y. Is y composite?
True
Let s be 4326/35 - (-4)/10. Suppose 2*c - s = 130. Is c a prime number?
True
Suppose 4*g = -6 - 2. Let b(d) = -4*d**3 - 2*d - 1. Is b(g) prime?
False
Let a be 65/15 - (-2)/3. Suppose b - 5 = 0, 20 = -a*w + 4*b - 0*b. Suppose w = 4*n - 6*n + i + 75, 2*i + 2 = 0. Is n composite?
False
Suppose 2*o - 2*j - 114 = 88, 5 = 5*j. Let r be o + 1/(-1) - 0. Suppose -4*g + 3 + r = 0. Is g composite?
True
Let p be ((-196)/(-1))/2 - -2. Let j = p + 111. Is j prime?
True
Suppose 0 = -0*l + 4*l - 164. Suppose j - l = 18. Is j prime?
True
Suppose -2173 - 3202 = -5*h. Let z = h + -590. Suppose 5*l - z = -0*l. Is l a composite number?
False
Is ((-5)/(-10))/(2/1324) prime?
True
Let h = -208 + 663. Let k = h + -316. Is k prime?
True
Is (117 - 4) + (2 - 0) composite?
True
Suppose -2*q + 5*w = -22, 4*q - 4*w + 0*w = 32. Let i = 3347 - 2292. Suppose -q*o + o + i = 0. Is o a prime number?
True
Let o(m) = 12*m + 2. Suppose -l + 4*q = -13, -l + 2*q + 10 = 1. Is o(l) a prime number?
False
Suppose 3*t - 1613 = 5*g, -8*g + 4*g - 533 = -t. Is t a composite number?
False
Let y(x) = x**3 + 5*x**2 + 6*x + 2. Let m be y(-4). Suppose 3*l = 6*l + 12. Is m/l*44/6 prime?
True
Let w = -1 + 6. Suppose -w*r - 12 = -6*r. Let z = 35 - r. Is z a prime number?
True
Let i(y) = 2*y**3 - 3*y**2 + 2*y - 2. Let v = -6 + 8. Is i(v) a composite number?
True
Let y(o) = o**2 - 2*o - 1. Let f be y(-2). Let i(q) = -3*q + f - 2 - 2*q. Is i(-10) composite?
True
Suppose 3*p + r = 630, p = 5*p + 3*r - 835. Is p prime?
True
Let j = -6 - -9. Suppose 0 = -j*o, -4*s - 41 = 4*o - 237. Is s composite?
True
Suppose 2*y + 18013 = 5*j, -2*y + 2733 + 860 = j. Is j composite?
True
Let c(x) be the first derivative of -2*x - 1 + 4/3*x**3 - 1/2*x**2. Is c(-3) a composite number?
False
Let g = 386 + -135. Is g a composite number?
False
Let k(y) = 190*y + 27. Is k(5) prime?
True
Let x(v) = v**2 + 2*v - 11. Let b be -6 + 0/(-1) + -1. Let s(i) = i**2 + 7*i - 8. Let o be s(b). Is x(o) a prime number?
True
Let y(w) = 6*w**3 - 8*w**2 + 5*w + 5. Is y(6) a composite number?
True
Let u be (2/2)/1 - 7. Let r(t) = t**2 - t - 6. Let d be r(u). Let j = d - -1. Is j a prime number?
True
Let x(c) = 154*c**2 + 1. Let u be x(-1). Is (-2)/(-2)*(u - -2) composite?
False
Let g = -24 + 15. Let y be g/(-2) + (-2)/(-4). Suppose -y*q + 75 = h, -3*h + 7 - 67 = -4*q. Is q a composite number?
True
Let t = 7 - 5. Suppose -t*m + 5*m - 159 = 0. Is m composite?
False
Is (1/1)/((-17)/(-2822)) a composite number?
True
Let q(y) = -214*y**2 - y. Let w be q(2). Let k = w + 1519. Suppose 2*z + k = 3*h, 0 = -h - 3*h - z + 863. Is h a composite number?
True
Let c(j) = -j + 2. Let f be c(-3). Suppose q = f*q - 228. Suppose k = -2*k + q. Is k a composite number?
False
Let k(u) = u**3 - 6*u**2 + 5*u - 6. Let j be k(4). Let n be 40/18 - (-4)/j. Suppose 3*w - 3*i = 81, 1 = i + n. Is w composite?
True
Suppose 3*x - 6332 = -x. Is x a prime number?
True
Let b(c) = 4*c**2 + 3*c - 3. Is b(6) prime?
False
Suppose 88*m = 90*m - 14066. Is m a composite number?
True
Let k be 2/3 + (-4)/(-3). Suppose -k*n = 2*n - 20. Suppose -5*o = -4*j + 252, -2 = -n*o - 22. Is j a prime number?
False
Let s be ((-6)/3 - -4)*-103. Let c = s + 439. Is c prime?
True
Let m(u) = -4*u + 13. Suppose 5*s = 3*g - 5*g - 945, -5*s = 4*g + 1865. Let d be 4/18 - g/(-45). Is m(d) prime?
True
Suppose 0*d - 4*d - 11 = -3*z, -5*z + 30 = 5*d. Is 1574/12 - z/30 a prime number?
True
Suppose h = -4*h + 120. Let z = 45 - h. Is z a composite number?
True
Suppose 0 = 3*c - 5*c + 1198. Is c prime?
True
Suppose -3*f + 5*d = -7291, -4*f + 2*f = 4*d - 4846. Is f a prime number?
False
Suppose 5*w - 21 = -0*w + 2*g, -w = g. Suppose -f + p = -2*f + 124, -p = w. Is f composite?
False
Let s be ((-2)/3)/((-4)/582). Suppose 4*y - 10 = -y. Suppose g = y*g - s. Is g prime?
True
Let j(d) = -d + 15. Suppose h + 9 = -0*h. Let t be (0*3/h)/(-2). Is j(t) a composite number?
True
Let t(k) = 48*k + 17. Is t(4) prime?
False
Let h be (-6)/(-4) + (-15)/2. Let d = h - -23. Let y = 24 - d. Is y a prime number?
True
Let w(j) = -2*j**2 - 19*j + 7. Let p(t) = -t**2 - 9*t + 4. Let f(o) = -5*p(o) + 3*w(o). Suppose 0 = -b, -4*b - b = g + 10. Is f(g) a prime number?
False
Let j(u) = 21*u**2 - 3*u - 1. Is j(2) a composite number?
True
Suppose 2810 = 3*f - 7285. Is f composite?
True
Let i(m) = -m**2 - m + 138. Let n be i(0). Let l = n + -85. Is l a composite number?
False
Is (((-27)/(-3))/(-3))/(2/(-562)) prime?
False
Let j(z) = -116*z + 25. Is j(-8) composite?
False
Let a be (-5 - -3)*-25 - -3. Let i = -38 + a. Is i a prime number?
False
Suppose 10 = -2*l + 4*r, 0 = -r + 4 - 1. Suppose 0 = -3*k - 5*p + 3, -2*k + 5*p + 26 = -l. Suppose 3*b + 4*v = 43, -3*v + k*v = 3*b - 78. Is b composite?
True
Let p be (24/3)/(2/43). Suppose 3*f + f - p = 0. Is f a composite number?
False
Let d = -35 + 676. Is d a prime number?
True
Let b be (24/10)/(6/20). Suppose 0 = -5*h + 7 + b. Is h prime?
True
Suppose -f - 19 = x, -2*f - f + 2*x = 77. Let u = f + 1. Let m = -3 - u. Is m a prime number?
True
Let s(l) = -2*l**3 - 15*l**2 + 10*l - 22. Is s(-15) composite?
False
Let n(b) be the first derivative of 13*b**3/3 + b + 4. Let q(i) = -i**2 + 3*i + 2. Let o be q(4). Is n(o) a composite number?
False
Let a(h) = 78*h**2 + 5*h - 3. Is a(2) composite?
True
Let i be (1 + 0)*(6 + -6). Suppose i = 5*m - 3*u + 132, -3*m - u - 77 = -5*u. Let k = m - -40. Is k a composite number?
False
Suppose 0 = -0*k + 4*k - 2524. Is k a prime number?
True
Is -5*(276/(-36))/(10/12) a prime number?
False
Let j = -629 - -1042. Is j a prime number?
False
Let o(a) = 4*a**3 + 1. Let b be o(1). Suppose b*y - 9 = t, 4*t = -2*y - 2*y - 12. Is 7 + ((-2)/(-2) - y) prime?
True
Is (-9)/36 - (-629)/4 composite?
False
Suppose 2*o - 1 = -3*w + 20, 5*o = -2*w + 69. Is o prime?
False
Let b = -10 - -3. Let f(v) = -v**3 - 6*v**2 + 10*v + 10. Let k be f(b). Let n = k + 78. Is n a composite number?
False
Let b = 1218 + 125. Is b a prime number?
False
Suppose 4*b + z - 448 = 0, -2*b + 242 = -0*z + 5*z. Is b a prime number?
False
Let o = -23 - -35. Suppose -o = 3*q, -2*u - q - 41 = -3*u. Is u composite?
False
Suppose 2*l = -m + 25, -6*l = -l + 15. Let f = 9 - -6. Suppose f = 3*w, -w = 5*b - 86 + m. Is b a composite number?
True
Let t(s) = -678*s - 25. Is t(-5) a prime number?
False
Let y be 2*(-6)/8*-2. Suppose y*x = u - 67, 0 = 3*u + 2*x - x - 241. Is u a composite number?
False
Suppose -2*l + 3*l + 3*n + 3 = 0, 2*l = -3*n. Is 32 + -3 + l - -1 composite?
True
Let b(u) = 10*u**2 - 12*u - 19. Is b(-8) a prime number?
False
Let g(x) = x**3 + 4*x**2 - 3*x + 1. Let c be g(-4). Suppose 5*t + 2 + c = 0. Is (2/t)/((-2)/339) prime?
True
Suppose f = 3*m - 590, 4*m = f - 41 + 827. Suppose 0 = 5*v + 5*h - 25, -11 = -5*v - 0*h + 2*h. Suppose -g = v*g - m. Is g a prime number?
False
Is ((-1)/1)/(3/(-669)) a prime number?
True
Suppose 5*m + 2*u = -0*u + 22537, -3*m + 4*u + 13517 = 0. Is m a prime number?
True
Let q(w) = -w + 6. Let l be q(5). Suppose 0*p + l = -p, 5*y - 2*p = 752. Suppose -d = 4*c - 225, 4*d - d = 3*c - y. Is c a composite number?
True
Is 42 - -1 - (-21)/7 a composite number?
True
Let k be -2*(2 + -2 - 1). Suppose -k*u + 5*u - 102 = 0. Is u composite?
True
Let u(w) be the second derivative of 17*w**5/120 - w**4/8 - w**3/6 + w. Let p(a) be the second derivative of u(a). Is p(2) prime?
True
Suppose 3*j = -138 + 795. Is j prime?
False
Suppose 5*y = -4*l - 15, l - 4*y - 4 - 8 = 0. Suppose l*b + 561 = 3*z - 2*b, -2*z + 3*b = -374. Is z a prime number?
False
Suppose -3*o - 3*k = -741, o - 4*o - 4*k = -737. Is o composite?
False
Suppose 5*m - 761 = 3*b, 198 = -b + 3*m - 49. Let d = -175 - b. Is d a composite number?
True
Suppose j + 2599 = 4*s + 254, 0 = 5*s - 3*j - 2926. Is s composite?
False
Suppose -5*l - 2*c + 503 = -142, 5*l + 3*c - 650 = 0. Is l prime?
True
Suppose 2*l = -11 + 19. Suppose 0 = 3*b - y - 2660, 4*b - y - 3543 = l*y. Is b prime?
