2/(s/111*-2) a prime number?
True
Suppose -8*r = -4*r - 1780. Is r a prime number?
False
Let j be ((-4)/(-6))/((-6)/(-6876)). Suppose 4*z + 0*z = j. Is z a composite number?
False
Suppose -2*j - 360 - 1852 = 0. Is (-2)/(-1)*j/(-28) composite?
False
Let l = -1 - 0. Let d = l + 32. Is d a composite number?
False
Suppose -7 - 1 = -f. Is f/10*(-310)/(-4) composite?
True
Let k(z) = 7*z - 1 - 4*z**2 - 2*z**2 + 5*z**2. Let m be k(6). Let a(s) = -s**3 + 6*s**2 - 2*s - 5. Is a(m) a composite number?
True
Suppose -801 = -3*x + 3*k, 8*k = 4*x + 3*k - 1072. Is x a prime number?
True
Let p(d) = 31*d - 22. Let g be p(5). Suppose -3*y + 3 = -3. Suppose 4*k + y*i = 133 + g, k - 5*i - 72 = 0. Is k prime?
True
Suppose -2*c - u + 583 = 0, -u + 12 = -5*u. Is c a composite number?
False
Let p = -12 + 17. Suppose -4*q + 1 = -p*i - 2, i = 1. Is -1 + 16/(4/q) composite?
False
Suppose m - 26 = 18. Suppose m = -2*k + 3*k. Suppose k = 3*w + 2. Is w composite?
True
Let w(u) = 726*u**2 - u + 7. Is w(2) composite?
False
Is 3940/25 + 2/5 composite?
True
Suppose -5*t - 5*v + 730 = -10*v, 0 = -2*t - 4*v + 280. Suppose a + a = t. Suppose 4*k + 118 = 3*n, -a = -2*n + 2*k - k. Is n composite?
True
Let g(k) = k - 12. Let j be g(8). Let c = 2 + j. Let o = c + 17. Is o prime?
False
Let j = 2 + 0. Let k be (-3 - (-1 + -2)) + -1. Is k*(-83 - (j - 2)) a prime number?
True
Let z = 110 + 64. Suppose -y = -163 - z. Is y a prime number?
True
Suppose 5*d - 130 = -2*b - 3*b, 47 = 2*b - 3*d. Let u = 6 + b. Is u prime?
True
Let x(t) = -59*t + 4. Let z(y) = 59*y - 5. Let o(f) = 6*x(f) + 5*z(f). Is o(-1) prime?
False
Suppose 2*d + 35 = 3*d. Is d a prime number?
False
Let d(z) = 3*z**2 - 13*z + 11. Is d(-11) a composite number?
True
Suppose 3*r - 5*i - 259 = 0, 4*i + 103 = r - i. Is r/(-2 + 5) + 0 prime?
False
Let g = -7 + 13. Let u = g + -8. Let t(q) = -5*q**3 - 3*q**2 - 2*q - 1. Is t(u) composite?
False
Suppose -3*k - 5*v + 2876 = 0, -2*k = 3*v - 8*v - 1959. Is k a prime number?
True
Let d be (-3)/(-12)*2*178. Let w = 139 - d. Let x = w - 28. Is x prime?
False
Suppose -4*g + 39 = -g. Suppose -5*h + 7 + g = 0. Suppose h*n - 71 - 309 = 0. Is n a composite number?
True
Suppose 3820 = 2*h + 5*j, -4*h + 4*j = h - 9583. Is h composite?
True
Let k(u) = -u + 1. Let w be k(1). Suppose g + 2*g - 15 = w. Suppose -2*l + 3*l - 72 = g*b, -2*b = 3*l - 199. Is l a composite number?
False
Is 35/(3 + 1 + -3) prime?
False
Suppose 4*m - 896 + 232 = 0. Suppose 0 = -5*v + 249 + m. Is v a prime number?
True
Let d = 460 + -321. Is d a prime number?
True
Suppose 3*q = -3, 2*b + 17 = -5*q + 4*q. Let v = b + 8. Suppose v = -4*a - 12 + 224. Is a a prime number?
True
Suppose 5851 = 3*u + 2*s, -2*s + 3 = -1. Is u a prime number?
True
Suppose 2*f - w + 2 = 9, -5*f - 4*w = -11. Suppose -f*n + 666 = -537. Is n a composite number?
False
Let j(g) = -g**3 - 2*g**2 - 2*g + 8. Suppose 0*l = l + 4*t + 19, t - 25 = 4*l. Let v be j(l). Let f = v + 26. Is f prime?
True
Let j(f) = -2*f**3 - 9*f**2 - 11*f - 13. Is j(-6) a composite number?
True
Let z be (-4)/6*(1 + -7). Let k = -19 + 18. Let j = z + k. Is j composite?
False
Let k = -18 - -20. Is k/(-3) - 3064/(-24) composite?
False
Suppose 2*f + 5*v - 1 = 0, 4*f - 13 = v - 0*v. Suppose 2*p = 3*l + 56, 0*l = f*p - 2*l - 94. Is p a composite number?
True
Let r(f) = 5*f**2 - 11*f - 3. Let x be r(9). Let p = 5 - 0. Suppose 3*d = -h + 81 - 16, p*h - x = -4*d. Is h a composite number?
False
Let t(l) = 85*l. Let v be t(1). Let o = v - 50. Is o a composite number?
True
Is 1/(-6)*-2 + (-6604)/(-6) composite?
True
Let h(n) = -n**2 + 5*n - 3. Let i be h(3). Let f(w) = 4*w**2 + 2*w + 1. Is f(i) a composite number?
False
Suppose k - z - 585 = 0, -3*k - z + 2535 = 772. Is k a composite number?
False
Suppose 221 + 63 = 4*b. Is b a composite number?
False
Let a = -78 + 112. Let q(f) = -2 - 2 - a*f + 1. Is q(-2) a composite number?
True
Let o = 8 + -8. Suppose -5 = f, f + 32 = 3*c - o*f. Is c a composite number?
True
Is 942/15*(4 + 1) composite?
True
Let h = 9 + -15. Is ((-658)/h)/(8/24) a prime number?
False
Suppose -v = -6*v + 1195. Is v composite?
False
Suppose 35919 = 5*j + 6889. Is j prime?
False
Suppose 0 = 4*p + 5 - 13. Suppose 50 = p*h + 2*x, 4*h - 3*x - x = 68. Is h a prime number?
False
Let q(n) = 0*n - 2*n**3 - 2*n - 14 + 8. Is q(-5) a prime number?
False
Is (7 + -6)*(-3687)/(-3) a prime number?
True
Let n be 48/32*2/(-3). Is (-623)/(-3*n/(-3)) a prime number?
False
Let h(y) = 67*y + 2. Let i = 18 + -13. Is h(i) composite?
False
Suppose -20 + 341 = 3*y. Let a = -52 + y. Is a prime?
False
Let j = -7 + 14. Is j composite?
False
Suppose -4*n - 113 = -1593. Suppose -4*u + n = -2*u. Is u prime?
False
Let r(z) = 3*z**2 - 7*z + 21. Is r(10) a composite number?
False
Let s(q) = -3*q + 13*q - 3 + 4 + 5*q. Is s(3) a composite number?
True
Suppose -1838 = -5*w - 568. Is w a composite number?
True
Let n = 10 - 7. Suppose 702 = 5*j - n*m, -2*j - 2*j + 565 = m. Is j prime?
False
Suppose -a = -6*a. Let j = 0 - a. Let t(f) = f**3 + f**2 + 89. Is t(j) prime?
True
Is (0 + 86)/((-8)/(-12)) prime?
False
Suppose -5*j + 220 = -155. Suppose 0*l - 5*l = -j. Is l composite?
True
Suppose 3*z - z = 5*c, c - 3*z = 13. Is (1 - c)/((-18)/(-762)) a prime number?
True
Suppose 5*v - 18 = -3. Suppose 110 + 130 = -3*t - v*h, t + 85 = 4*h. Let i = -56 - t. Is i composite?
True
Let f = 8 - -45. Is f a prime number?
True
Is (4/4 + 0)/(3/9) a prime number?
True
Let a(l) = l**2 + 4*l + 6. Let o be a(-4). Is (495/o)/5*2 a composite number?
True
Let y be 3 + -1 - 25 - 1. Is 95/(-2)*y/20 a composite number?
True
Suppose 5*u - 3*d - 20 = 26, -3*d + 10 = 2*u. Let g = u + -5. Suppose 0 = 2*x - g*y - 16, -5*x + 5*y = -3 - 47. Is x a composite number?
True
Suppose 4*l - 4 - 3 = -r, 0 = -4*r - 2*l. Let d(k) = -22*k. Is d(r) prime?
False
Let b(v) = 51*v - 5. Let i be b(8). Let y = -201 + i. Is y prime?
False
Let f(m) be the first derivative of -m**2/2 + 2*m - 3. Let q be f(6). Let a(p) = 2*p**2 + p + 3. Is a(q) prime?
True
Let u = 170 + -43. Is u composite?
False
Let k(h) = 27*h - 3. Let m(p) = 136*p - 16. Let g(o) = 11*k(o) - 2*m(o). Is g(2) a composite number?
True
Let q(k) be the first derivative of k**4/4 + k**3/3 - k**2 - 3*k - 2. Let v be q(-4). Let l = v - -80. Is l composite?
False
Suppose 3*r - 558 = -4*g - 157, 3*r - 5*g = 356. Is r composite?
False
Let b(s) be the second derivative of s**5/10 - s**4/4 - 5*s**3/6 - s**2/2 + 2*s. Is b(4) composite?
False
Suppose -4*u + 2296 = n - 265, -5*u + 4*n + 3217 = 0. Is u a composite number?
False
Let l(j) = -j**2 - 8*j + 1. Let t be l(-6). Suppose -5*u + 143 = t. Is u a composite number?
True
Let a(u) = -157*u**3 - u**2 - u. Is a(-1) a composite number?
False
Let f be (-10)/(-4)*(-8)/(-10). Suppose -f*z - 7*l = -2*l - 18, z + 5*l = 14. Suppose 4*q - p - 1063 = 0, 5*q - z*p - 609 = 728. Is q a composite number?
True
Let o(m) = -18*m + 20. Is o(-19) composite?
True
Let s = -4 - -1. Is ((-15)/(-9))/(s/(-45)) a prime number?
False
Suppose -3*j - 44 = 370. Let p = 223 + j. Is p a composite number?
True
Let n(c) = 132*c + 5. Let x be n(7). Suppose -a - 250 = x. Is a/(-15) + 4/10 composite?
False
Suppose -6*y = -9424 - 8210. Is y a composite number?
False
Suppose -k = -3349 - 4440. Is k composite?
False
Let t be (4/1 - 1) + -1. Is (-51 - t)*1/(-1) prime?
True
Let y(u) = 166*u**2 - 10*u + 17. Is y(3) prime?
True
Is (2/(-3))/(14/(-10227)) composite?
False
Let k = 5 + 1. Suppose -d - 2*d = -k. Suppose 2*u + d = -2, 5*r + 3*u = 109. Is r composite?
False
Let z(i) = -1. Suppose 0 = -0*t - 5*t + 5. Let x(b) = -14*b - 8. Let r(o) = t*x(o) + 5*z(o). Is r(-10) a prime number?
True
Suppose 2*h = 3*h - 10. Let s be (8/10)/(h/25). Is (4/(-8))/(s/(-204)) prime?
False
Let p = -131 + 396. Suppose 2*d - p = -3*d. Is d a prime number?
True
Suppose 5*c = 3*h + 15, -7*c + 15 = -2*c. Suppose 7*m - 3*m = h. Suppose m = 5*n - 3*b - 440, -2*n - 2*b = -126 - 34. Is n prime?
False
Let m be (-491)/(-4) - (-2)/8. Suppose -2*j - m = -1297. Is j a prime number?
True
Let l(z) = -2*z**2 + z + 2. Let r be l(2). Let a(q) = 13*q**2 - 4*q - 1. Is a(r) composite?
False
Let j(c) be the first derivative of c**6/120 - 7*c**5/60 + c**4/3 + c**3/3 + c**2/2 + 1. Let a(h) be the second derivative of j(h). Is a(6) composite?
True
Let w(