s w(6) prime?
False
Let j be (-1 + -1)/(6/(-300)). Is 1 + 1 + (j - -7) a composite number?
False
Suppose -i + 0 = -4. Let u = i + -4. Suppose u*y - y = -31. Is y composite?
False
Let y(t) = 2*t**2 - 5*t + 6. Let o be 10/24*-3*-4. Is y(o) composite?
False
Let y = 1 - -1. Suppose -6*j + 3*j = 4*v - 1, 0 = 2*v + 4*j + y. Is 2 + -3*v*-11 a composite number?
True
Let d be (-2)/((16/820)/(-2)). Let h = d + -116. Is h a prime number?
True
Let z = -606 - -1148. Let f = z - 784. Let s = f - -375. Is s a composite number?
True
Let j(d) = 26*d**2 + d - 19. Is j(-8) a composite number?
False
Let f = 0 - -1. Let j(b) = 5*b**2 - b + 1. Let k be j(f). Let l(d) = d**3 - 5*d**2 + d - 2. Is l(k) a composite number?
False
Suppose 3*x - 2 = 4*x. Let p = 0 + x. Is (1*62)/((-4)/p) a composite number?
False
Suppose 16*y - 1538 = 14*y. Is y a composite number?
False
Suppose -s = 4*s + 15. Is 149/(((-9)/15)/s) a prime number?
False
Let t = 100 + 2. Suppose -n = -155 - t. Is n prime?
True
Let n(a) = a**3 + 5*a**2 + 5. Let l be n(-5). Suppose 0*v - 189 = -4*v + p, 0 = -l*v + 2*p + 240. Is v + (3 - (-4)/(-2)) a composite number?
False
Let i(d) = -5*d + 3. Let w be i(-4). Suppose -2*o + 5 = 2*o - n, 5*n - w = -4*o. Suppose 0 = -o*q + 4 + 2. Is q composite?
False
Suppose k = -0*k + 5, -2*b - 2*k + 72 = 0. Is b prime?
True
Let i(j) = 9*j**2 + 6*j + 6. Let f be i(6). Is 4 + f + 3/1 prime?
True
Let b = -11 - -14. Suppose 0 = -b*s + 7*s - 316. Is s a prime number?
True
Suppose -n + 2 = 1. Suppose n - 13 = -4*y. Suppose 44 = -y*z + 143. Is z a prime number?
False
Let f(j) = -j. Let l be f(-6). Suppose -5*s - 3*n + 0*n = -29, 3*n + l = 0. Suppose -2*v = -21 + s. Is v a prime number?
True
Suppose 4*q - 27 = 2*j - 3*j, -3*q + 18 = 3*j. Suppose -2*b = -q*b + 1085. Is b composite?
True
Let t be ((-12)/(0 + -2))/(-2). Let a be (-14)/(3 - 1) - t. Is ((-2)/(-4))/(a/(-1256)) a prime number?
True
Let u(f) = f**3 + 7*f**2 - 4*f - 8. Let h be u(-7). Suppose 0 = 2*j - h + 8. Suppose -j*x = -x - 125. Is x a prime number?
False
Suppose 3*x - 667 = -4*h, 5*x - 532 + 18 = -3*h. Is h a prime number?
True
Let b(h) = 161*h**2 + 5*h + 1. Is b(-2) a prime number?
False
Let a = 30 - 16. Suppose -x = 0, 0*w + x + a = w. Is w composite?
True
Let z(s) be the first derivative of -163*s**4/24 + s**2 + 2. Let y(r) be the second derivative of z(r). Is y(-1) prime?
True
Let m = 47 + -27. Is -2 + (-3 - m*-1) a composite number?
True
Suppose -3*m = -m - 74. Let h = 33 - 7. Let r = m - h. Is r composite?
False
Suppose -89*i + 84*i + 215 = 0. Is i a composite number?
False
Let s be (4/7)/((-2)/(-7)). Suppose -2*o + 3*p + 0*p + 12 = 0, -s*o + 14 = -2*p. Is o a composite number?
True
Let x(j) = 49*j + 32. Is x(3) composite?
False
Suppose b - 6 = 4*b. Let z be 2 + b + (-4)/1. Let a(q) = q**2 + 3. Is a(z) prime?
True
Let x = 855 - 232. Is x prime?
False
Let y(w) be the second derivative of w**5/20 + 5*w**4/12 - 5*w**3/6 - 5*w**2/2 + 2*w. Is y(-4) composite?
False
Let f be (-1)/((-21)/(-11) + -2). Suppose 0 = -4*y + f - 3. Is 37 + 3 + -1 - y a prime number?
True
Is (4 - 7)*22/(-2) prime?
False
Suppose c + 7*c = 8392. Is c prime?
True
Suppose 0*m = 4*m - 24. Let n be 3/m + (-1426)/(-4). Suppose -n = o - 4*o. Is o prime?
False
Suppose 0 = 4*a + 15 + 13. Let l = -3 - a. Suppose -78 = w - l*w. Is w prime?
False
Let n(v) = v**3 - 4*v**2 - 11*v + 4. Is n(7) prime?
False
Let c(d) = -3*d**3 + 2*d**2 - d + 1. Let j(t) = -t**2 - t. Let g(f) = -c(f) + 4*j(f). Is g(5) a composite number?
True
Let z(r) = -2*r**2 - 4*r + 5. Let p(o) be the first derivative of -2*o**3/3 - 2*o**2 + 4*o - 1. Let c(l) = -4*p(l) + 3*z(l). Is c(-4) a prime number?
False
Let y = 1196 + -789. Is y composite?
True
Suppose -h = 3*h - 16. Suppose -2*c - h*k = -366, 3*c = 2*k + 3*k + 560. Is c a composite number?
True
Suppose -2*x = -4*x, 5*b = 4*x + 10. Suppose 25 = -b*q + q. Is -2*q/(-2)*-1 a prime number?
False
Let q(x) = 20*x**2 + 5*x - 19. Is q(-10) composite?
False
Suppose -2*h = 4*l - 12794, -3*l - l = -2*h - 12814. Let u be l/5 + (-1)/5. Suppose 0 = 4*i - 5*x - u, -3*i - 171 = -4*i + 4*x. Is i a prime number?
False
Let i be (-2)/7 + 115/35. Suppose -i*m + 4*o + 607 = -172, 0 = -4*m - 2*o + 1002. Is m composite?
True
Let y(k) = k + 8. Let i be y(-11). Is ((-134)/i)/(16/120) a composite number?
True
Let y be (4 - 3) + (4 - 1). Is (-2)/(-2 - -4) + y a composite number?
False
Suppose l - 3 = -4. Is 67/2*(3 + l) composite?
False
Let p(h) = -h**3 - 7*h**2 - 3*h - 6. Let i be p(-4). Suppose -3*t + 0*a = a + 265, -3 = 3*a. Let v = i - t. Is v prime?
False
Let w(a) be the first derivative of -a**3/3 + 5*a**2 + 7*a - 1. Let j = -7 + 13. Is w(j) a prime number?
True
Let k = -183 + 934. Is k composite?
False
Let x = 69 - 43. Suppose -44 = -2*u + x. Suppose -t = 4*t - u. Is t a prime number?
True
Let u = -13 + 18. Suppose u*y - 518 = 3*y. Is y composite?
True
Let x be 1 - (-2)/(-1) - -1. Suppose v + 39 = 4*v + 2*g, v - 5*g - 30 = x. Is v composite?
True
Let s = 0 + 31. Is s a composite number?
False
Let v = 4528 - 2943. Is v prime?
False
Let a be (-80)/14 - 6/21. Let c = 12 + a. Is -1*74*c/(-12) a composite number?
False
Let k(s) = -86*s**3 - s**2 + 2*s - 1. Is k(-2) composite?
True
Let p = 174 + -111. Let m be 3/(-2)*(-4)/6. Suppose 2*q - 3*a = p + 46, a = -m. Is q prime?
True
Let t be ((-6)/9)/((-3)/9). Suppose -t*w - 5*d + 111 = 0, -w + 43 = -4*d - 6. Is w prime?
True
Suppose -4*j + 8 = -0. Let l(h) = 13*h**3 - 3*h**2 + 3*h - 3. Is l(j) a composite number?
True
Let y be (-3)/6 + 15/2. Suppose -y = -3*p - 1. Suppose 3*v + 3*c - 252 = 0, -c = p*c - 15. Is v a composite number?
False
Let r(h) = 5*h**2 + 2*h + 1. Let n be r(-1). Let s = -25 - -25. Suppose s = -3*v + n*g + 221, 0 = -2*g + 3*g + 5. Is v a composite number?
False
Suppose -35*b + 34*b + 196 = 0. Suppose 3*x - 4*d - 323 - 30 = 0, d = 3*x - 338. Let v = b - x. Is v a prime number?
False
Suppose -2*x + 10 + 1 = -5*n, -5*n - 15 = 0. Is (-35)/25*10/x a composite number?
False
Let z(g) = g**2 + 1. Let a be z(-1). Suppose u - 2*f = 129, a - 1 = -f. Is u a prime number?
True
Let g = -455 + 1096. Is g a composite number?
False
Suppose 4*y - 1544 = y + j, 510 = y - 5*j. Is y composite?
True
Suppose -2*x = -2*k - 6, x = 2*x + 5*k - 3. Suppose x*r = -2*r + 115. Is r a composite number?
False
Let i = 1548 - 37. Is i a prime number?
True
Let m(f) = 2*f + 3 + 10*f + f. Let k be m(7). Suppose -4*o + 0*o - 2*i + k = 0, 5*o = 2*i + 95. Is o prime?
False
Let t(i) = 8*i**2 + 10*i - 3. Let b be 2/(-5) + 84/(-15). Let q(x) = 7*x**2 + 9*x - 3. Let a(z) = b*t(z) + 7*q(z). Is a(5) a composite number?
False
Let o(i) = 23*i**2 + i. Let k be o(1). Suppose c - 1 - 10 = -4*l, k = l - 4*c. Suppose t + 4 = 0, -4*h + 744 = l*t + t. Is h composite?
False
Let v be 1695/55 + 4/22. Suppose 3*x + 5*y = 165 - v, x - 42 = y. Let w = x - 24. Is w a prime number?
True
Suppose -4*l = 1 + 3. Is (-1324)/(-5) + l/(-5) prime?
False
Suppose 4*v = 9*v. Let s be 2 - (v - (-2 - -3)). Suppose -s*f + 1325 = 2*f. Is f a prime number?
False
Suppose 3*f - t - 726 - 450 = 0, 2*t - 1167 = -3*f. Is f a composite number?
True
Let a(r) = -r**3 + 2*r**2 + r + 1541. Is a(0) prime?
False
Suppose -4*n + 0*n = 12. Is n + 63 + 8/(-4) a composite number?
True
Let k be 2/(-7) + 4/14. Suppose y + 7 = -k. Let o = 16 - y. Is o a prime number?
True
Let z = 7 + -12. Is 38 + z - 4/(-1) prime?
True
Suppose 3*j = -j. Suppose j*l = -l + 14. Is l*(-1 - (-21)/6) a composite number?
True
Suppose 9*l - 14*l = -1455. Is l a composite number?
True
Is (57/3)/(3 + -2) a composite number?
False
Suppose 0 = -n - 4*k + 8, -2*n + 8 = 5*k - 8. Let g = 21 - n. Is g composite?
False
Suppose 0*g = -3*s - g + 3647, -4*g - 4884 = -4*s. Is s a prime number?
True
Suppose 0*z = -z + 4. Suppose 0 = -3*r - a + 9, -z*r - a + 9 + 4 = 0. Is (-2)/r - (-318)/4 a prime number?
True
Suppose -4*y + 197 = 2*u - u, 0 = y + 1. Is u composite?
True
Suppose 8 = 2*j, -64 = z - 5*j + 76. Let w = -55 - z. Is w a composite number?
True
Let y(h) = -11*h - 7. Let a(j) = -21*j - 14. Let s(q) = -6*a(q) + 13*y(q). Let l be s(-6). Suppose 7 - l = -4*f. Is f composite?
True
Let b(v) = 280 - v**2 + 56 + 0*v**2 - 5. Is b(0) prime?
True
Let w be ((-8)/(-10))/(4/30). Suppose w*c - 44 = 2*c. Suppose 4*b = -c + 135. Is b a co