 x(g) a prime number?
False
Let m(y) = -14*y**3 + y**2 + y - 2. Let l be m(9). Is l/(-26) + 6/(-39) a prime number?
True
Let d(u) = 171*u**2 + 184*u + 5. Is d(8) composite?
False
Let q(k) = k**3 - 9*k**2 + 5*k - 4. Let i be q(8). Suppose 0*o - 177 = 3*o. Let l = i - o. Is l prime?
True
Let f be -2*(-4 + (-6965)/10). Suppose 1484 = 5*c - f. Is c a composite number?
False
Suppose 3*f - 159126 = -g, f + 6*g - 53046 = 7*g. Is f a prime number?
False
Suppose -3*a - 6*t + 2*t - 29 = 0, -12 = -3*t. Let u = -31 + 57. Let m = a + u. Is m prime?
True
Let k(r) = 42*r + 3. Let q be k(-2). Let p be 8*1/((-6)/(-129)). Let u = p + q. Is u a composite number?
True
Let t(v) = 32*v + 15. Let o(i) = -33*i - 16. Let h(m) = -4*o(m) - 5*t(m). Let b be h(-7). Suppose -b = 2*r - 3*r. Is r prime?
False
Let n(i) = 3*i**3 + 1. Let o be n(-1). Let t be 8/6*(-3)/o. Suppose -t*h = 5*u - 6*h - 335, 0 = -3*h. Is u a composite number?
False
Is 25282 - 15 - (-28)/4 a prime number?
False
Let x be (-6995)/9 - (-14)/63. Let c = -236 - x. Is c a prime number?
True
Let g = 7 - -5. Is 1624/10 - g/(-20) composite?
False
Suppose 3*v = -0*h + 4*h - 35, -5*v - 40 = -3*h. Suppose 511 + 804 = h*d. Is d composite?
False
Let x = -18 + 1. Let g = x + 35. Suppose -g + 4 = -2*l. Is l prime?
True
Let l(x) = x - 6. Let n be l(10). Suppose n - 2 = -g. Is ((-489)/2 - -1)*g a composite number?
False
Suppose -14*d = 14719 + 49933. Is (4 - 54/12)/(1/d) composite?
False
Suppose 2*i + 5*d = 45243, 8*d - 22589 = -i + 12*d. Is i a composite number?
True
Is (-2903)/(-1*(-9)/(-45)) composite?
True
Suppose -36966 = -2*v - 3*o, -v + 0*o + 18493 = -o. Is v composite?
True
Is (-2)/(-2*6*(-1)/(-41394)) a prime number?
True
Let d = 177 + 3502. Is d a prime number?
False
Suppose 808 = -13*w + 5*w. Let m = w + 546. Is m a composite number?
True
Let m(u) be the second derivative of -4*u**3/3 + 5*u**2/2 + 10*u. Suppose -i + 3*p = -11, -i = 2*i - 3*p - 3. Is m(i) composite?
False
Let v(y) = 6*y**2 + 4*y - 3. Suppose 2*d - 3 - 1 = -j, 3*j + 33 = 3*d. Let h be (j/(-3))/((-8)/20). Is v(h) prime?
True
Let j(w) = 3*w - 18. Let f be j(9). Suppose f = 5*s - 11. Suppose s*o + 2*q = 774, 0*o + 3*q - 588 = -3*o. Is o prime?
True
Let f = -26 - 9. Let n = f + 150. Is n a prime number?
False
Suppose q + 515 = 4*g, 3*g + 159 = -5*q - 2485. Let l = q - -918. Is l a composite number?
True
Let x be 62/(-93) - (-2 - (-127)/3). Is 1/(4/(-104)*2)*x a composite number?
True
Let s(r) = 37*r**2 - 7*r + 9. Let a(v) = v**3 - 27*v**2 + v - 22. Let b be a(27). Is s(b) a prime number?
False
Let x(n) be the second derivative of n**7/60 - n**6/360 - n**5/120 - n**4/6 + 3*n. Let z(s) be the third derivative of x(s). Is z(2) prime?
True
Let k = 8 - 4. Is -3 - (-3*452 - k) prime?
False
Let c(i) = -i**3 - 6*i**2 - 6*i + 4. Let s be c(-5). Let d(a) = s + 14*a - 13*a - 14*a. Is d(-5) composite?
True
Suppose -2*f - 3*i = -25, -2*f = 2*i + 2*i - 30. Suppose -4*d - 28 = -2*g + 2, 0 = -5*g - f. Let n(o) = -o - 1. Is n(d) a composite number?
False
Let u = -402 - -264. Let r = -5 - u. Suppose -5*m + r = 28. Is m prime?
False
Is (320/12)/(-8)*-3 composite?
True
Suppose 4040 = 4*g + 1276. Is g prime?
True
Let f = -2018 - -3218. Let n = 2149 - f. Is n a composite number?
True
Suppose 0 = 3*r + 4*f - 6811, r - 12*f - 2271 = -14*f. Is r prime?
True
Let d(g) = -g**2 + 4*g. Let l be d(3). Let m(s) = 82*s + 5. Let r be m(l). Is -4*(-2 - r/4) prime?
False
Suppose 0 = -2*f - 5*m + 7, 0 = 2*f - 4*m + 2. Let a be -2 - (-2 + -2)/2. Is (14 - a)*f/2 composite?
False
Is (8 + -7 - -13362) + 4 composite?
False
Let h = -3 - -7. Suppose -w + o = -2*w + 526, 0 = h*w + 3*o - 2104. Suppose 1046 = -g + 5*g + 5*i, 2*g - w = -4*i. Is g prime?
False
Suppose 2*b = -8, 3*v + 3*b + 28 = 7*v. Suppose -136 - 4 = -v*z. Is (-10)/z - (-158)/14 prime?
True
Suppose -3*d = 3*o + 114, 2*o + 80 = d - 4*d. Suppose -s - 445 = -6*s. Let h = o + s. Is h composite?
True
Let b be (-12 + 6)*8/3. Is (-12)/b + 4265/4 a composite number?
True
Let y(o) = -o - 18. Let c be y(-17). Is (0 - (0 + 79))*c a composite number?
False
Is (-7 - (1 - 5 - -4)) + 27048 a composite number?
True
Suppose -d - 3*s = 4, -s = d + 1 - 3. Suppose -2*h + 5*t - 7 = 2*h, 0 = -5*t - d. Is 38 - (1 - 3 - h) a prime number?
True
Let b be 218/(-8) + (-8)/(-32). Let k = 45 + b. Let u(s) = s**3 - 17*s**2 - s + 1. Is u(k) a prime number?
True
Let x = 131 + 1206. Is x composite?
True
Suppose 114*h + 84 = 110*h. Is ((-3264)/h - -2) + (-12)/28 a prime number?
True
Suppose -4*h + 4*z = -609000, h + 2*z - 152225 = -2*z. Is h composite?
True
Suppose -14*z + 201 = -17*z. Let d = z + 210. Is d composite?
True
Let x(r) be the third derivative of -67*r**6/720 - r**4/4 + 6*r**2. Let g(i) be the second derivative of x(i). Is g(-1) a composite number?
False
Suppose -62912 = 3*b - 8*b + 4*h, -5*b + 62916 = -2*h. Let z be b/(-10) - (-2)/5. Let i = z + 2201. Is i a prime number?
False
Suppose -3086 = 16*a - 18*a. Is a a prime number?
True
Is 15/4*(-1840)/(-60) a prime number?
False
Let p = -435 - -2086. Suppose -2*o = -2*v + 1110, -2*v - 4*o + p = v. Is v a prime number?
False
Suppose -4*y = o - 14, 4*y = -3*o + 12 + 6. Suppose -j + o = -0. Suppose 0 = -j*x + l + 648, x - l - 396 = -71. Is x composite?
True
Suppose -4*f + n - 33 = 0, 0*f + 5*n - 4 = -3*f. Let g(w) = 12*w**2 + 6*w - 5. Is g(f) a prime number?
True
Suppose -3*z = 4*k + 2*z - 8612, -5*z = 3*k - 6459. Is k prime?
True
Suppose 5*j - 1196 = 6999. Suppose -m = -j + 122. Is m prime?
False
Let w(r) = r**3 - 14*r**2 + r + 9. Let x be 14 - ((7 - 3) + -5). Is w(x) composite?
True
Suppose 6*q = 7*q + 6. Is 84 + 2/q*-3 a composite number?
True
Suppose 9*o + 10 = 46. Suppose -5*d + o*q + 2021 - 440 = 0, d = 2*q + 315. Is d a composite number?
False
Let j = -19 + 208. Suppose 0 = -6*w + j - 765. Let r = w + 527. Is r a prime number?
True
Suppose -3481 = 2*x + 3*q, 11*q + 25 = 6*q. Let o = x - -3517. Suppose 3*u = -4*v + o, 4 = u - 0*u. Is v composite?
False
Let w(m) = -2*m - 4. Let z be w(2). Let r(b) = b**3 + 7*b**2 - 9*b - 2. Let n be r(z). Suppose 0 = 2*a - 24 - n. Is a composite?
True
Suppose -3*o + o - c + 13049 = 0, -5*c - 5 = 0. Suppose 9*r = o + 25938. Is r a prime number?
True
Let t(a) = a**2 + a + 1. Let j(i) = -39*i**2 + 2*i. Let v(f) = -j(f) + 5*t(f). Let y(s) be the first derivative of v(s). Is y(2) a prime number?
True
Suppose 34*q + 61227 = 43*q. Is q composite?
False
Let m(a) = 41*a + 6. Let b be m(9). Let d = b + -231. Let t = d - 98. Is t composite?
True
Suppose 3 = o, 0*j + 5*o + 1733 = 4*j. Is j prime?
False
Let j be (19/38)/(1/(-10)). Is 27404/85 + (-3)/j prime?
False
Let b(m) = -12*m**2 + 8*m - 7. Let u be b(1). Let s(x) = 22*x**2 - 9*x - 4. Is s(u) a composite number?
True
Suppose -5490 = -s - 2*s - 4*z, 5*z + 3637 = 2*s. Suppose 4*c = -7*c + s. Is c a prime number?
False
Suppose 3*p = -0*p - 36. Let b = p + 14. Suppose 0 = t + 5*h - 11, -h = -2*t - b*t + 23. Is t composite?
True
Let m = -1212 + 2281. Is m composite?
False
Let h(q) = q**3 - q**2 + 1. Let d(f) = -3*f**3 - f**2 - 14*f + 1. Let b(a) = d(a) + 4*h(a). Is b(9) composite?
True
Let k(d) be the first derivative of -d + 14/3*d**3 - 3/2*d**2 + 1. Is k(4) a prime number?
True
Suppose p - 22 = -5*d, d = -2*d + 2*p + 8. Suppose 2*k - 1055 + 44 = -x, 2*k + d*x - 1026 = 0. Is k prime?
True
Let c(h) = -4*h + 40. Let m be c(8). Suppose -m*j = -12*j + 6236. Is j prime?
True
Let p(o) = 420*o**2 - 2*o + 31. Is p(4) a prime number?
False
Suppose -3*d - 90 = -4*o, -d = -o + 17 + 5. Let n = -74 + o. Is n/(1 - 2) + 3 prime?
True
Let y be 3/(4 - 13)*219. Let j be (-17)/(y/37 - -2). Is -3 - 1 - (2 + j) a composite number?
True
Let s(a) = 82*a**2 - 28*a - 211. Is s(-7) a prime number?
True
Suppose q - 7 = -0*q. Suppose q*u = 9*u. Suppose -2*m + u*m + 230 = 0. Is m prime?
False
Suppose 1426 = 4*s - 3*s - 4*j, 5*s + 4*j - 7154 = 0. Suppose 12*z + 3*m = 7*z + 1804, s = 4*z - 2*m. Is z prime?
True
Suppose 2*t = 3*t. Suppose -26*d + 24*d + 894 = t. Is d composite?
True
Suppose 0*x + 4*x - 20 = 0. Let u(m) = x*m**3 + 0 + 5*m**3 + 0*m**2 + 2*m - m**2 - 1. Is u(2) a prime number?
True
Let r(d) = d**3 - 4*d**2 + 2*d - 6. Let w be r(4). Suppose w*a + 6388 = 6*a. Is a prime?
True
Let z = 5 + -2. Is z + -5 + (575 - -6) a composite number?
True
Let l 