 a composite number?
True
Let s = 5 - 3. Let y be (-6)/3*(-1)/s. Is (-111)/6*(-2)/y a prime number?
True
Let w be ((-182)/8)/(9/(-180)). Suppose 5*u = -2*z + w, 0*z + 5*z + 420 = 5*u. Is u a prime number?
True
Let l be (-10*2 + 0)/(-1). Suppose 3*m - 4 = 2*f - l, 4*m + 10 = -3*f. Suppose 0 = f*p - 4 - 8. Is p a composite number?
True
Suppose 7*k - 3*k - 7692 = b, -2*b = -4*k + 15400. Let f be b/(-18) - (-2)/(-9). Suppose 0*o + 4*o - 3*n - 853 = 0, 2*n = 2*o - f. Is o prime?
True
Suppose 2*c = -51 - 15. Is c/(-2 + -3 + 4) prime?
False
Suppose 5*n + 11 = -184. Is (-3 - (-24)/9)*n a prime number?
True
Let i = 3 + 4. Let r be i/2 + 15/(-10). Is 4/r + 0/8 composite?
False
Suppose -4*n = 4*j + 12, -2*j = -1 + 5. Let w be 2 - (-5 + n)/(-3). Suppose w = -3*a + 2*a + 7. Is a composite?
False
Let l be (-17)/(-15) + 4/(-30). Suppose -y + l = -184. Is y a composite number?
True
Let b(u) = 2*u**2 - u + 3. Let l be b(0). Suppose -a - 2 = 0, -f = -5*f - 4*a + 4. Suppose -f*z + 4*z + 102 = l*y, z = y - 34. Is y a composite number?
True
Is 1/((-2)/(-614) + 0) composite?
False
Suppose -3*g + 6896 + 1765 = 0. Is g composite?
False
Let c(j) = -8*j**2 - 2*j - 1. Let d be c(-1). Let x(s) = -7*s + s - 10 + 2*s - 5*s. Is x(d) prime?
True
Suppose -2*y + 0*y + 8 = 0. Suppose 4*q - 8 = 4. Suppose 0 = q*w + 5*s - 3*s - 53, y*w - 74 = -s. Is w a composite number?
False
Suppose -3*c - 3 = -12. Let z(i) = 6*i**2 + i. Is z(c) a prime number?
False
Let m(r) = -280*r + 5. Is m(-2) prime?
False
Suppose -3 + 24 = 3*k. Suppose 2*b + 580 = k*b. Let y = b + -69. Is y prime?
True
Let z(n) = -49*n + 83 + n**2 + 49*n. Let f = 1 - 1. Is z(f) composite?
False
Let r(o) = -3*o - 1. Let t be r(2). Let b = 14 + t. Is b prime?
True
Let m = -6 - -6. Suppose 0*i - 3*i + 57 = m. Is i a composite number?
False
Let o = -30 + 19. Let g = o - -5. Is (-67)/(-2) + g/12 prime?
False
Let c(g) = 19*g**2 + 2*g. Let a be c(-3). Let u(y) = -y**3 + 4*y**2 - 3*y + 2. Let r be u(5). Let o = a + r. Is o a composite number?
False
Suppose 3*m - 316 + 916 = 0. Let p = m + 327. Is p composite?
False
Is (106*-2 - 0)*(-77)/28 a composite number?
True
Let l = 6 - 6. Suppose 2*t + t - 45 = l. Is t composite?
True
Let i(f) = f**3 - 7*f**2 + 5*f - 5. Let o be i(5). Let x = -67 - o. Let a = 62 + x. Is a a prime number?
False
Let z(g) be the third derivative of -g**5/60 - 13*g**4/24 - g**3/2 - 2*g**2. Let q be z(-5). Suppose -q = -k - 11. Is k a composite number?
True
Suppose 2*y - 3*h + 1 = -4, -3*h + 3 = -3*y. Let g(n) = n**2 + 1 - n - n - n + 7*n**3. Is g(y) composite?
True
Let k(v) = 53*v**3 + v**2 - 1. Is k(1) prime?
True
Let d = 15 + -10. Suppose -q = -d*q + 5*w + 67, 51 = 2*q + w. Is q a prime number?
True
Let r be (-4)/14 - 38/14. Let f = r + 6. Suppose -f*l + 3*u + 89 = u, 4*l = u + 127. Is l prime?
False
Let o(j) = -4*j**2 + 22*j - 15. Let s(u) = -3*u**2 + 15*u - 10. Let m(x) = 5*o(x) - 7*s(x). Let p be m(-4). Is (6/p)/(4/(-114)) composite?
False
Let m = 1 + 1. Is (98/4 - 1)*m a composite number?
False
Let f be 3 + -5 + -2*1. Let d be (-50)/f*(-308)/(-35). Suppose 2*i + 4*s = d, s = 2*i - 3*s - 150. Is i composite?
True
Let m be 3/4 + (-25)/(-4). Suppose 0 = -2*r + m - 1. Is (-6)/r*1/(-1) a composite number?
False
Let p(v) = v - 7. Let t be p(11). Let l be 2 - (-3 + -1 + t). Suppose l*g = -10, -2*q + 94 = -0*q - 4*g. Is q a composite number?
False
Let r(w) = w**2 - w - 19. Is r(7) composite?
False
Let o be 4/(-3)*15/5. Let q(v) = 3*v**3 - v**2 + 2*v + 1. Let g(x) = -7*x**3 + x**2 - 3*x - 1. Let z(s) = -4*g(s) - 9*q(s). Is z(o) composite?
True
Let m = 736 - 413. Is m prime?
False
Let x(a) = -a + 6. Let h be x(6). Suppose 4*s + h = 8. Is s a prime number?
True
Is 1 + 86 + 2*(-3)/3 a prime number?
False
Let j(p) = -p**2 + p + 89. Let z(a) = a**2 + 7*a + 6. Let t be z(-6). Is j(t) composite?
False
Suppose -24 = -2*k - k. Let d = -2 - -6. Suppose k - 32 = -d*l. Is l composite?
True
Let d(g) = 52*g - 1. Is d(9) prime?
True
Let j = -14 + 5. Is (0 + j)*-4 + 1 a composite number?
False
Suppose 4*w + 0*w - 2*a = 44, -5*w = 2*a - 73. Suppose -i = -40 - w. Is i composite?
False
Let m = 17 - 2. Is m prime?
False
Let m(i) = 162 + 49 + 0 + 3*i**2 - 4*i**2. Is m(0) a composite number?
False
Let x = -5 + 8. Suppose 61 - 22 = x*z. Is z prime?
True
Let a be -1 + -1 + 3 + 2. Suppose 2*j - a*j = -53. Is j composite?
False
Suppose -4*p + 6 = 5*b - 4, 5*p + 2 = b. Let u(z) = 2*z + 67. Is u(p) a prime number?
True
Let r(v) = -2*v - 6. Let l be r(-7). Suppose -3*t - 3*o = 0, -l = t - 6*t - o. Suppose 22 = t*c - 0*c. Is c prime?
True
Suppose -d = 5, 5*u - 18410 = 2*u - 5*d. Is u composite?
True
Suppose w + 0 - 2 = 0. Suppose w*h - h - n - 87 = 0, 0 = -2*n + 8. Is h a prime number?
False
Let r(l) = 6*l - 1. Let d be r(1). Suppose -982 = -d*s + 748. Suppose -t = 4*j - 227, 2*j - s = -2*t + 84. Is t prime?
True
Let v(b) = -6*b**2 + 2*b + 4. Let l(h) = -12*h**2 + 3*h + 8. Let d(p) = 4*l(p) - 9*v(p). Let y be d(5). Suppose 3*x - 58 = y. Is x a prime number?
False
Let j(p) = p**2 + 4*p + 4. Let y be j(-3). Is -2 + 14/y - -2 a composite number?
True
Let r be ((-4)/10)/1*-5. Let i be 1*94 - (-1 + r). Is (-2 - 8)/((-6)/i) a prime number?
False
Suppose 4*d = -d + m + 40, 5*m = 3*d - 24. Suppose 0 = -d*x + 4*x + 8. Is x composite?
False
Let i be (-1 - 1/2)*-2. Let t(s) = s + 9. Let m be t(6). Is 473/i - 10/m a prime number?
True
Let r be (-33)/(-3) + (1 - 1). Let x = -8 + r. Is ((-2)/x)/((-10)/1455) composite?
False
Let k(s) = 18*s**2 - 8*s - 4. Let n be k(-5). Is n - -1 - 0/(-1) composite?
False
Suppose -q + 3*p + 467 = 0, -5*q + 0*p + 2392 = 4*p. Suppose -2*a - 2*c = -238, -a + 5*a = 2*c + q. Is a prime?
False
Let x(w) be the first derivative of 19*w**3 - 3*w**2/2 + w + 1. Is x(2) a prime number?
True
Let b = -5 - -450. Is b composite?
True
Suppose -3*a + 1 = -g - g, 2*g = 4*a. Let u be g*3*(-1)/(-6). Is (-5 - -83) + u*1 a prime number?
False
Let w(u) be the first derivative of 7*u + 1/3*u**3 + 7/2*u**2 + 2. Is w(6) prime?
False
Suppose p + 10 = -51. Suppose l + 160 = -3*l. Let q = l - p. Is q prime?
False
Suppose -j + 144 + 803 = 0. Is j a prime number?
True
Let o(c) = c - 9 + 6 + c + 3*c**2. Is o(-4) composite?
False
Let b(n) = -15*n - 1. Let m(i) = -i**2 - 2*i - 3*i + i + 4. Let a be m(-5). Is b(a) composite?
True
Suppose -r - 5*o + 72 = 0, o - 11 = -r + 41. Is r a prime number?
True
Let f(t) = 5*t**2 - 2*t. Let m(s) = 6*s**2 - 3*s + 1. Let o(g) = 5*f(g) - 4*m(g). Is o(3) composite?
False
Let q = 145 + -18. Is q prime?
True
Suppose 5*d + 181 + 344 = 0. Let g = d + 179. Let p = 171 - g. Is p a prime number?
True
Let y(z) = -z - 4. Is y(-6) prime?
True
Let v(o) = 21*o**2. Let f be v(1). Let d = 17 + f. Is d composite?
True
Suppose -d + 2*d - 191 = 0. Is d a prime number?
True
Let p(r) = 11*r + 5. Let j(z) = -11*z - 4. Let x(o) = 5*j(o) + 4*p(o). Is x(-1) composite?
False
Suppose 3*g - 122 = 5*z - 16, -3*g = -2*z - 109. Is g prime?
True
Let w = -115 - -212. Is w a composite number?
False
Is -83*2*(-4)/8 a prime number?
True
Suppose 788 = -6*g + 2*g. Let n = g - -286. Is n composite?
False
Let f(o) = 892*o + 15. Is f(2) prime?
False
Let l = -2 + 0. Let y be l/(-6) + 5/3. Suppose -44 + 130 = y*z + 4*t, -2*z + 2*t + 68 = 0. Is z a composite number?
False
Let h be ((-13)/(-1))/(4/4). Let i = -8 - h. Let k = i - -30. Is k composite?
True
Suppose 5*p = -p + 4494. Is p a prime number?
False
Suppose -10 = 5*u - 30. Let w be 7/u - (-2)/8. Suppose -w + 57 = 5*t. Is t a composite number?
False
Suppose -690 = -4*b + 2*b. Let x = b - 184. Is x a composite number?
True
Suppose -5*i + 18 - 3 = 0. Suppose 0 = -i*t - 68 - 103. Is ((-2)/6 + -2)*t composite?
True
Suppose -54 = -4*t + 18. Suppose -3*f + t = -9. Is f a prime number?
False
Let g(w) = 2*w**3 + 3*w**2 + w + 4. Let c be g(3). Suppose -n + c = -3*z, -4*z + 241 = 5*n - 142. Is n a composite number?
False
Let t(y) = y**3 + 4*y**2 - 6. Let s be t(6). Suppose 0 = 3*d - s + 123. Is d composite?
True
Let j(o) = -o**3 - o + 127. Let p be 3 + (-1 - (-3 + 5)). Is j(p) a prime number?
True
Suppose -5*f - 10 = -5*z, -4*z = z - 10. Suppose -20 = -5*k - f*k. Is (-2)/k - (-10)/4 composite?
False
Suppose 0 = -0*n + n - 1. Let y(a) = -64*a**2 - 3*a - 4. Let h(t) = -129*t**2 - 5*t - 7. Let d(l) = -4*h(l) + 7*y(l). Is