i(y) = y**2 + 4*y. Let s be i(-5). Let f(a) = 6 - s*a + 0*a - 2*a. Is f(-7) a composite number?
True
Suppose 2*t + 0*t - 490 = 4*c, -3*c + 947 = 4*t. Is t a composite number?
False
Let s(d) = d**2 + 3*d + 3. Let t be s(-2). Let b(i) = -5*i**2 + i - 1. Let u be b(t). Let h = -2 - u. Is h a prime number?
True
Is (1268/(-6))/(10/(-30)) composite?
True
Let t(k) = 15*k**3 + 3*k**2 + 3*k + 2. Suppose 3*d = -0*d - 6. Let u be t(d). Let v = -35 - u. Is v a composite number?
True
Let i = -312 - -619. Is i a composite number?
False
Is (7/14)/((-1)/(-118)) prime?
True
Let g(x) = x**3 - 2*x**2 - x - 3. Let q be g(3). Suppose o - 47 = 3*h, -2*o - 218 = -6*o - q*h. Is o prime?
True
Suppose -4*m + 1 - 5 = 0. Is m + ((-6)/3 - -40) a prime number?
True
Suppose 0 = -n + 2*n - 319. Suppose 3*y = 4*y - n. Is y prime?
False
Let v(k) = 14*k + 7. Let d(r) = -1. Let p(f) = -6*d(f) + v(f). Is p(4) a prime number?
False
Let j = -3 + 3. Suppose 5*r + i - 212 = j, -4*i - 11 = r - 42. Let b = 62 - r. Is b a composite number?
False
Suppose 575 = 4*m - 189. Is m composite?
False
Let y(w) = -2*w**3 - 11*w**2 + 5*w + 2. Let d(a) = -5*a**3 - 33*a**2 + 14*a + 7. Let m(t) = -3*d(t) + 8*y(t). Is m(6) composite?
False
Let b(t) = -2*t**3 - 35*t**2 + 17*t + 25. Is b(-18) composite?
False
Let f(u) = 23*u**2 + 4. Let k be (-10)/(-4) + 1/(-2). Suppose 4*t - 3*z = -2*z - 7, -4*t - k = -2*z. Is f(t) prime?
True
Let x(w) = 54*w - 5. Let z(r) = -r. Let j(t) = -x(t) - 3*z(t). Let l be j(4). Let h = -30 - l. Is h a composite number?
True
Suppose -2*t = 5*q - 13 - 14, 2*q - 12 = -2*t. Suppose -3*f + q*f = 70. Is f a composite number?
True
Is (1 - 4)*-1 - -66 prime?
False
Suppose 4*i = 5*r - r - 4, 0 = 4*r + 4. Is (59 - -12)/(i/(-10)) prime?
False
Let r(c) = -c**2 - 7*c - 2. Let x be r(-6). Let g(a) = -a**2 - 1 + a**2 + 0 - 3*a + 3*a**2. Is g(x) a prime number?
False
Let f(n) = 3*n**3 + 3*n**2 - 6*n - 2. Let l(j) = -5*j**3 - 5*j**2 + 11*j + 4. Let c(b) = 7*f(b) + 4*l(b). Let s be c(-2). Let a = 13 + s. Is a a prime number?
True
Let k = -921 + 1666. Is k prime?
False
Is ((-4)/4 - 796)*-1 composite?
False
Let x = -41 - -136. Let p = 54 + x. Is p composite?
False
Let x = 0 - -3. Let l = 2 - -2. Suppose a - p - 30 = x*p, 2*a + l*p = 0. Is a prime?
False
Let q(d) = d**3 + 5*d**2 - 11*d - 22. Let t be q(-7). Let f(g) = 76*g**3. Let b be f(-1). Let x = t - b. Is x a composite number?
True
Let v(n) = -263*n - 42. Is v(-5) composite?
True
Suppose 4*p + 0*p - 20 = 0. Suppose p*y + 0*y - 185 = 0. Is y prime?
True
Let o(y) = -y + 10. Let n be o(7). Suppose n*z + 9 = 2*r + 85, 5*z - 2*r = 132. Let w = z + -15. Is w composite?
False
Let b = -496 + 892. Suppose -2*n + b = -298. Is n a composite number?
False
Suppose 0*q - 3*q = -633. Is q prime?
True
Suppose -3*v + 2*b = 1402, -2*v + 2*b = 5*b + 913. Let d = v + 675. Is d a prime number?
True
Let q be (3 + (-15)/6)*10. Suppose 2*k - 69 = -5*t, -t = 3*k - 54 - 17. Suppose 3*o = -d + 33, -q*o = -3*d + d + k. Is d a prime number?
False
Is (-2)/(-9) + (-232)/(-9) a composite number?
True
Suppose 0 = -5*x + v + 6595, -2*v = -2*x - 70 + 2708. Is x a prime number?
True
Suppose 697 = -3*z + 3*g + 3529, -3*z = -4*g - 2831. Suppose -z - 170 = -5*x. Is x a prime number?
True
Suppose -2*h = -h - 58. Let r = h - 25. Is (0 + 1)/(1/r) a composite number?
True
Let u(d) = d**2 - 6*d + 3. Let n be u(6). Is 54 + 0/4 - n prime?
False
Let r = -9 - -8. Is r + (0 - (-25 - -2)) composite?
True
Suppose 5*j + 7 = -4*h, 9 - 3 = -2*h. Is (j/1)/((-4)/(-1016)) composite?
True
Suppose 4*p + 771 = 7*p. Is p a prime number?
True
Let i(x) = 8*x**3 - 3*x**2 + 3*x - 1. Is i(1) a composite number?
False
Let a = 334 - -783. Is a a composite number?
False
Let x = 117 - -620. Is x a prime number?
False
Let x(o) = o**2 + 3*o + 4. Let f be x(-3). Let s be f + 0/(1/(-1)). Let r = 19 - s. Is r a prime number?
False
Let v(c) be the second derivative of c**4/12 + c**2/2 + 6*c. Let i be (-4)/2 + (-3)/(-1). Is v(i) a composite number?
False
Suppose 0 = -4*n + 429 - 5. Is n a prime number?
False
Suppose -5*p + l + 68 = 0, p - l - 10 = -2*l. Let u = p - 8. Suppose 26 = 3*j - 4*t, -22 = -u*j + 2*t - 6*t. Is j composite?
True
Let z = 2 - 0. Suppose z*j + 4*y = 30, -2*j + 9 = -3*y - 7. Is j composite?
False
Let m = -15 + 19. Suppose m*o = 575 + 429. Is o a composite number?
False
Suppose -5 = -s, 5*y + 0*s = s - 1360. Let f = y - -458. Is f prime?
False
Let c(g) = 10*g**2 + g - 1. Let u be c(1). Suppose 0 = 7*v - u*v + 393. Is v composite?
False
Let s = 257 - 178. Is s prime?
True
Let q be (-26)/(-13)*(-69)/(-2). Suppose -i = -4*y + 465, 31 = y + 3*i - q. Is y a prime number?
False
Let q = 1035 + -532. Is q prime?
True
Suppose -2 = 3*x + 4. Let a be 3 + x/4*0. Suppose -a*z - 2*z + 165 = 0. Is z a prime number?
False
Suppose -3*r + 29 + 118 = 0. Is r a prime number?
False
Let y = 8 + -8. Suppose 2492 = 4*h - y*h. Is h composite?
True
Let l = -53 - -108. Is l a prime number?
False
Let p = 10 + 2. Suppose p*u + 662 = 14*u. Is u prime?
True
Suppose 805 - 2055 = -5*r. Is r/1 - (-4 - -3) a prime number?
True
Suppose 4025 - 850 = 5*o. Is o composite?
True
Let i(m) be the first derivative of -9*m**2/2 + m + 1. Suppose 5*g = 14 - 64. Is i(g) a prime number?
False
Is -2*(740/(-8) - -2) prime?
True
Let s(m) = m**2 - 2*m - 1. Let u be s(2). Is 2 - (-153)/(u + 4) a composite number?
False
Suppose 188 = -4*w - 232. Let x = w - 27. Is x/(-10) + (-6)/30 a composite number?
False
Let l(o) = 8*o**2 + o**3 + 19 - 16 + 4*o - 14*o. Is l(-8) composite?
False
Suppose -2*a + 2 = -0*a. Let w be (165/10)/11*2. Is 14/(w - a)*13 a prime number?
False
Let i be 2 + (-4 + 3 - -58). Suppose 2*p - i - 105 = 0. Is p prime?
False
Let j(a) = 4*a**2 - 2*a - 3. Is j(-17) a prime number?
True
Suppose 5 = j, 2*l = -3*l - 2*j + 50. Is 86*(3 - 4/l) a composite number?
True
Suppose h + 3*h = -3*r + 569, -3*h - 958 = -5*r. Is -1 + r + 10 + -13 a prime number?
False
Let g(x) = x**3 - 3*x**2 + x + 1. Let t be g(3). Suppose -h - 9 = -t*h. Suppose -2*n + 575 = h*n. Is n a prime number?
False
Let l(v) = v - 3. Let o be l(3). Is 71 + (1 - 5) + o a composite number?
False
Suppose 0*v + v = 3. Let t(x) = -38*x + v - 3. Is t(-1) a prime number?
False
Let a be (-1)/1 + (-2 - -504). Is (-4)/10 + a/15 a composite number?
True
Suppose -w + 0*w = -8. Suppose -6*f + 33 = -3*f. Let t = w + f. Is t a composite number?
False
Let q be 28/3*114/(-4). Let x = 477 + q. Is x a composite number?
False
Is ((-22812)/(-16))/((-3)/(-4)) a composite number?
False
Suppose -m - m + 1084 = 0. Let b = -355 + m. Is b composite?
True
Let h be 12/(-3)*(-3 + 2). Suppose x - 3*z = 68, 357 = h*x + z + 4*z. Is x a composite number?
False
Suppose 5 = 2*s + 1. Is ((-130)/(-4))/(1/s) prime?
False
Suppose -2*p = -3*u - 3*p + 2902, 1930 = 2*u - 4*p. Is u prime?
True
Let s = -10 - -14. Suppose -m = -3*u + 360, s*u + 0*u - 5*m - 469 = 0. Is u prime?
False
Suppose -m + 6*m - 635 = 0. Is m prime?
True
Suppose 2*f + 5*x - 45 = -3*f, 3*x - 23 = -2*f. Suppose 0 = -f*u + 3*u + 565. Is u prime?
False
Let r(v) = -v**3 + 11*v**2 + 7*v - 3. Let l be r(5). Let o = l + 19. Suppose b = 4*a - 2*b - o, 3*a - b - 152 = 0. Is a prime?
False
Suppose 0 = 3*t + 11*t - 9422. Is t prime?
True
Let j be (-5)/(5/(-12)) + -1. Let a(c) = -2*c + 8. Let d be a(0). Let h = j - d. Is h composite?
False
Is (-3)/((-12)/5)*40 - 1 a prime number?
False
Suppose -5*p + 12 - 63 = -2*j, -2*p = 4*j - 66. Suppose b - j = -5*u + 2*b, -18 = -4*u - b. Suppose 65 - 373 = -u*y. Is y a prime number?
False
Let d be (-1206)/(-4) + (-5)/10. Suppose -5*n - 61 = -d. Let j = n - 26. Is j a composite number?
True
Suppose -m + 12 = -3*y, -2*y - 5 = 3*m + 3. Suppose m = 3*g - 3*i - 3, 4*i = -g + i + 17. Suppose 72 = g*c + s, -c + 4*c = 4*s + 34. Is c prime?
False
Let p(z) = z + 5. Let c be p(8). Let k = 19 - c. Is k a prime number?
False
Suppose 12*h = 15*h - 5781. Is h composite?
True
Let f = 291 + -167. Suppose -f - 25 = -t. Is t a prime number?
True
Let s be 1 + -119 + (-5)/(-5). Let x = 10 - s. Is x composite?
False
Let h be (-65 - 15)/((-1)/6). Suppose -4*y + h = 2*p, 234 = 2*y - 4*p + 2*p. Is y prime?
False
Let m(q) = -81*q**2 - 3*q - 1. Let t(r) = 163*r**2 + 7*r + 2. Let p(b) = -5*m(b) - 2*t(b). Is p(-1) prime?
True
Let w = -17 + 20. Suppose 