 = 2*s + k - 7. Is -2*s/(-2) - -174 prime?
False
Let j(o) = 2*o + 2. Let y be j(2). Let s(i) = i. Let l be s(-6). Is (-3)/l - (-327)/y a prime number?
False
Suppose 2*c - 4*w - 198 = -32, -2*c + 3*w = -169. Is c composite?
False
Let u(p) = 8*p**2 - 2*p + 1. Let k be u(1). Let j(g) = -1 - 3 + k + 8*g - 2. Is j(3) a prime number?
False
Let z(s) = 26*s**2 + 3*s + 12. Is z(5) a composite number?
False
Let f be (5/(-15))/(2/6). Let j be (-21)/(-4) - f/(-4). Suppose 0 = j*k + 15, 4*k + 188 = 5*v + 3*k. Is v prime?
True
Let c = 1 + 2. Suppose 7 - 19 = c*d - 3*a, -5*a = d - 20. Suppose -i + 13 + 33 = d. Is i a composite number?
True
Let n(i) be the first derivative of -i**4/4 + 7*i**3/3 - 3*i**2/2 - 4*i - 2. Let v(z) = -z**3 - 14*z**2 + 5. Let b be v(-14). Is n(b) composite?
False
Suppose 228 = 2*b + 70. Let y be 3/6 - 3/(-2). Suppose b = 3*k - 4*n, -3*k - y*k + n + 160 = 0. Is k a prime number?
False
Is 4/4*(3 + 1 - -2499) composite?
False
Let k(o) be the third derivative of -o**4/2 - 7*o**3/6 + 3*o**2. Is k(-10) composite?
False
Let w(d) = -d**3 + 14*d**2 - 10*d + 16. Is w(11) prime?
True
Suppose -3*p + 3*l + 129 = -0*l, 0 = -p - 2*l + 37. Let b be p/3*9/3. Suppose 0 = -5*r + b + 89. Is r a composite number?
True
Let c(t) = -t**3 + 4*t**2 - 3*t. Let f be c(2). Suppose 1 + f = d. Suppose 678 = 3*a + 3*p + 174, d*p = 2*a - 311. Is a a composite number?
False
Suppose -q - 4*q = -5. Let w(h) = 3 + 12*h**3 - 3*h**3 - 2. Is w(q) prime?
False
Suppose -7 = 5*c + 3. Let l be (1 - 4/c)/1. Is 99 - l/((-3)/(-2)) a prime number?
True
Let j = -122 + 219. Is j a prime number?
True
Suppose -388 = -2*u - 2*u. Is u a composite number?
False
Suppose 5*g - 1318 = r - 0*r, -3*g = 2*r - 783. Is g prime?
True
Let t(q) = 68*q - 9. Let c(p) = 23*p - 3. Let f(l) = -11*c(l) + 4*t(l). Is f(2) prime?
False
Let j = 703 - 338. Is j composite?
True
Suppose 5*d - 67 = -2*l, 0 = -3*l - l + 3*d + 121. Let u = -13 + 13. Suppose -5*g - 10 = 0, -4*t + 2*g + 25 + l = u. Is t a composite number?
False
Suppose -2*n - 2972 = -4*b, -5*b = -n - 3*n - 3709. Is b prime?
False
Suppose -y + 2*k = -0*k - 183, -876 = -5*y - 3*k. Is y a composite number?
True
Is ((-2)/(-2)*1)/(23/125327) prime?
True
Suppose -3*w - j + 31 = 0, -w + 22 = -2*j - 0*j. Is (134/8)/(3/w) a composite number?
False
Suppose 0 = -q - 3, -2*h + 2461 = -q. Let w = 152 + h. Is w prime?
True
Let l(a) = -3*a - 1. Let c be l(-1). Suppose -25 = -v + x + x, -c*v = -5*x - 53. Is v a prime number?
True
Is -1 + (1 - -946) - (0 - -3) composite?
True
Let t be ((-172)/(-10))/(4/(-20)). Suppose -5*i - 178 = b - 5*b, 0 = 5*i + 10. Is (-1)/(t/b - -2) composite?
True
Let k(a) = a**3 - 3*a**2 - 13*a - 17. Is k(10) prime?
False
Let o(k) = 2 + 0 + 1 + k. Suppose 0 = -4*h - h. Is o(h) a composite number?
False
Is ((-219)/2)/((-7)/14) a composite number?
True
Suppose -q - 440 = -3*h, h = 5*q + 208 - 38. Is h composite?
True
Suppose -3*z + 286 = v, 3*v + 2*z - 757 - 136 = 0. Is v composite?
True
Suppose 0 = -4*d + 1272 + 404. Is d composite?
False
Let t = -897 - -1713. Suppose -t = -4*c - y, 2*c + 4*y - 599 = -c. Is c prime?
False
Let r(o) = 3*o**3 + 2*o**2 + 2*o + 3. Let q be r(-2). Let z = 62 - q. Is z prime?
True
Let f(x) = x**2 - 2. Is f(7) composite?
False
Let g(z) = 52*z**2. Let o be g(2). Suppose 4*c - 516 = -o. Is c a composite number?
True
Let l be 42/(-5) + (-12)/(-30). Let w(b) = -b**3 - 9*b**2 - 3*b - 6. Let d(m) = -m**3 - 9*m**2 - 4*m - 5. Let a(s) = -3*d(s) + 2*w(s). Is a(l) prime?
True
Let p = -34 + 533. Is p prime?
True
Let a(g) be the third derivative of g**7/84 - g**6/720 - g**5/20 + 3*g**2. Let h(z) be the third derivative of a(z). Is h(5) prime?
False
Suppose -5*l + w + 5454 = 5*w, 4*w + 4392 = 4*l. Is l a composite number?
True
Let z(p) = -13*p. Let m be z(-1). Is 384/2 - 13/m prime?
True
Is (-7)/(-14) + 2775/6 composite?
False
Let s(c) = -4*c - 2. Let l be s(-9). Let f = 12 - l. Is (0 - 3/6)*f a prime number?
True
Suppose 0*t + 4*t - 172 = 0. Is t prime?
True
Let n = 3 - 1. Suppose n*w - 38 = -0*w. Is w a composite number?
False
Let d be (-4)/(-10) - (-2885)/(-25). Let n = 0 - d. Is n composite?
True
Let c be (5/2 - 3)*-34. Suppose 3*i - 10 - 134 = 0. Let j = i - c. Is j a prime number?
True
Suppose -4*o + 4422 = -5222. Is o composite?
False
Is (-4015)/(-15) - (-8)/(-12) prime?
False
Let t be (4/5)/((-6)/15). Is (t/(-6))/((-3)/(-477)) a composite number?
False
Let x be 1*2 - (14 + -42). Let h = x + -11. Is h composite?
False
Let o = -11 + 11. Suppose 5*y = 4*g - 872, 0*g + 2*g + 5*y - 406 = o. Is g a composite number?
True
Let j(l) = -7*l**3 - 3*l**2 - 7*l + 18. Is j(-7) a prime number?
False
Let c(n) = -2 + 3*n**2 - 2*n - 2*n**2 + 4 + n. Is c(8) a prime number?
False
Suppose -1810 = -5*a - 2*t, -a + 2*t + 380 = 6*t. Let g = 508 - a. Suppose p + 5*r = 87, 2*p - 44 = -r + g. Is p a composite number?
False
Suppose -2*w = 5*x + 211, -3*w - 322 = -x + 3*x. Let f = -61 - w. Is f composite?
False
Is (-710)/(-10)*(1 - 0) a prime number?
True
Let m(q) = -8*q + 1649. Is m(0) composite?
True
Let a(w) = -4*w**3 + 6*w**2 - 6*w + 7. Is a(-6) a prime number?
True
Let g be 0/(0 - (2 - 0)). Suppose 0 = -3*u + 2*n + 1, -u + 2*n + 3 + 4 = g. Is (2*5)/((-3)/u) prime?
False
Let u(c) = -c**3 - 4*c**2 + c + 4. Let i be u(-4). Suppose 3*v - 50 - 7 = i. Is v a composite number?
False
Suppose -6*w + 5*w = -217. Is w a prime number?
False
Let l = -9 + 16. Is l - (1/(-1) + 2) a prime number?
False
Suppose 0 = 5*u - 25, 0*j = 2*j - 2*u - 238. Suppose 0 = q - g - j, 5*g = -25 - 0. Is q prime?
False
Let q(w) = -58*w**3 + 4*w**2 + 6*w - 1. Is q(-2) composite?
False
Suppose -h = -3*h. Suppose 5*i + h*i = 45. Suppose 7*c + 230 = i*c. Is c prime?
False
Let z = 29 + -58. Let c = z - -17. Is (-11 + 6)*c/10 composite?
True
Is 3/(-4) + (-951)/(-4) prime?
False
Suppose -5*i = -5*d - 9*i + 3135, -i = -d + 636. Is d a prime number?
True
Is 18/(-72)*(-3508 + 0) a composite number?
False
Let m(t) = -2*t - 5 + 5*t - 1 + 2*t**2. Is m(-11) composite?
True
Let d = 3 - 6. Let q = -1 + d. Let z = 23 + q. Is z prime?
True
Is 0 + (-1687)/(-5) + 110/(-275) composite?
False
Suppose 1055 = 6*m - m. Is m a prime number?
True
Let l be 0/(2/(-4)*4). Suppose 0 = -l*i + 2*i + 4. Is i/(4/(-6)) - -56 a prime number?
True
Let k(a) = a**2 - a + 6. Is k(5) composite?
True
Let v(o) = 1. Let h(z) = z - 6. Let t(u) = -h(u) - v(u). Let w be t(4). Suppose 5*b - 638 = 3*y, -3*y = -4*y - w. Is b a prime number?
True
Let g(x) = x**3 + 4*x**2 - 1. Let l be g(-4). Let a = 5 + l. Suppose -a*j = -12 - 44. Is j a composite number?
True
Suppose 2*w - 152 = -2*u, -u + 3*w + 91 = -w. Is u composite?
False
Let l(p) = -9*p**2 - 18*p + 23. Let m(x) = -5*x**2 - 9*x + 12. Let d be 16/(-4)*(-6)/(-8). Let a(w) = d*l(w) + 5*m(w). Is a(-7) composite?
True
Let f be (-6)/8 + (-22)/(-8). Suppose 0 = -n - f, 5*n + 4 + 9 = -u. Is (-14)/4*6/u prime?
True
Let f = 611 + -369. Suppose 7*g = 5*g + f. Is g prime?
False
Suppose 4*n - 10 = -4*i - 2, 0 = -4*n - 20. Suppose 2*r - i*r = -805. Let o = 318 - r. Is o prime?
True
Let o = -168 - -245. Is o a prime number?
False
Let g(w) = -w**2 + w + 2. Let k be g(-6). Let h = k + 78. Is h prime?
False
Let w(m) = -m**3 + m**2 + 5*m - 3. Let f be w(3). Let j = 8 + f. Is ((-2)/6 - j)*-6 a prime number?
False
Let y(v) = 19*v + 35. Let f(t) = 9*t + 17. Let a(g) = -13*f(g) + 6*y(g). Is a(-6) a composite number?
False
Let o = -244 + 432. Let r = -67 + o. Is r composite?
True
Let s(x) = x**2 + 8*x - 6. Let q be s(-9). Suppose o + 2*k - 41 = 0, -k = -q*o - 0*o + 88. Is o composite?
False
Suppose 2*d = d - 86. Let l = -51 - d. Let p = -14 + l. Is p prime?
False
Suppose 0 = q + 4 + 99. Let g = q + 51. Let n = g + 95. Is n a composite number?
False
Suppose 9*z = 10*z - 4. Suppose -4*k = -k - 264. Suppose z*v - k = 4*t, -v - 3*t + 18 = -0*t. Is v a composite number?
True
Let t be (1 + 1)*3155/10. Let d = t - 437. Is d composite?
True
Is (0 + -3)*1969/(-33) a prime number?
True
Let x(c) = 10*c + 11. Suppose 2*t + 0*t + 6 = 0, -4*z + 5*t + 47 = 0. Is x(z) prime?
False
Let u(n) = 7*n**2 + 5*n - 1 + 0*n**2 - 1. Let r(x) = -7*x**2 - 4*x + 2. Let k(g) = -3*r(g) - 2*u(g). Is k(3) prime?
True
Let h(u) = -u. Let t be h(-5). Let s = t + 15. Suppose 5*p + v = 51, 3*p - s + 7 = -5*v. Is p prime?
True
Let 