omposite number?
True
Let i = -186 - -409. Is i a prime number?
True
Let p(i) = -23*i**3 - 2*i**2 + 1. Let m be p(-1). Let z = m + -1. Let a = z - -2. Is a a composite number?
False
Is 8/(-12)*3*-17 a prime number?
False
Let s be (-4)/16 - 14/8. Let w be (0 - 0)/(-2) + 8. Is ((-4)/w)/(s/260) prime?
False
Suppose 2*g - 2480 = -5*y + 3379, 5*g + 2332 = 2*y. Is y composite?
False
Let r = -101 + 222. Is r prime?
False
Let i(y) = 744*y**2 - 10*y - 15. Is i(-2) a composite number?
True
Let d = -48 - -97. Is d composite?
True
Is (-7868)/(-10) + 18/90 a prime number?
True
Suppose -3*r = 2*r - 11215. Is r prime?
True
Let x be (-5)/(-5) - 96/(-2). Let m be 0 - (-8)/(2/1). Suppose m*n = x - 9. Is n a composite number?
True
Let j(b) = -b + 6. Let m be j(6). Suppose m = -5*g + 43 - 163. Let y = 11 - g. Is y a prime number?
False
Suppose 0 = w - 1 - 3. Suppose 161 = w*u - 51. Is u prime?
True
Let w = -482 - -2815. Is w a prime number?
True
Suppose 17 = 4*m + 1. Is m - (-2)/(2/555) prime?
False
Suppose 5*d = -0*l + 2*l + 4, -5*d = 5*l - 25. Suppose -d*f = -3*j - 98, -3*f + 266 = 2*f + 3*j. Suppose 0 = -3*c - c + f. Is c prime?
True
Is ((-1)/(-4) + 0)*356 composite?
False
Let n be (-4)/2*1 + 2. Suppose 3*j - 15 = n, -5*b + 5*j + 277 = -33. Is b a composite number?
False
Is (-98 - (-1 + 0))*-1 a composite number?
False
Let z(m) = 980*m**2 - 45. Let r(n) = -89*n**2 + 4. Let y(s) = -45*r(s) - 4*z(s). Is y(1) a prime number?
False
Let a(x) = x + 3. Let v be a(-9). Let y(j) = -35*j - 7. Is y(v) a composite number?
True
Let k = 7 - 9. Let x(m) = -24*m - 2. Is x(k) a prime number?
False
Suppose 0 = 18*x - 14*x - 856. Is x a prime number?
False
Let q(p) = -2*p**3 - 18*p**2 + 4*p - 13. Let k(t) = -t**3 - 9*t**2 + 2*t - 6. Let u(y) = 7*k(y) - 3*q(y). Is u(-11) prime?
False
Suppose 0*w - 10 = -4*w - k, 0 = -4*w - 3*k + 14. Suppose w*x = 8, 2*m + m + x - 10 = 0. Suppose -v - 22 = 3*f - 60, -m*f + v = -32. Is f a composite number?
True
Suppose -14*o + 13*o + 3 = 0. Is o a prime number?
True
Suppose 0 = 5*c - 2*z + 173, 4*z + 50 = c - 3*c. Is (7/(-3))/(11/c) a prime number?
True
Let g(v) = 10*v**2 + v + 7. Let h = 0 - -8. Is g(h) composite?
True
Is 481/7 + (-2)/(-7) prime?
False
Suppose 2*m - 96 = -y, -5*m - y + 230 = 4*y. Suppose j = -5*h + 2*j + 130, -5*j + 50 = 3*h. Let u = m - h. Is u a prime number?
False
Suppose z + 4*z - 425 = 0. Is z composite?
True
Let w = 353 - 80. Let u = -8 + w. Is u a prime number?
False
Is (3 - 125/40)*-8*1517 a composite number?
True
Suppose 3*x + 93 = -0*x + 3*b, 3*x + 3*b + 69 = 0. Let p = -1 - -4. Is (0 - -1) + (p - x) composite?
False
Let z be 174/30 + 1/5. Suppose 0 = c + c - z. Suppose 5*s - v = -4*v + 253, -c*v = 12. Is s composite?
False
Suppose x = 2*x + 19. Is (x/(-2))/(3/6) composite?
False
Suppose 2*o = 5*o - 753. Is o a composite number?
False
Suppose 5*b + 4*w + 3 - 30 = 0, -3*b + 6 = -w. Suppose -2*o - 36 = -4*c + 158, -2*c + 117 = b*o. Is c prime?
False
Let c(b) = 5*b**2 + 4*b - 16. Is c(-15) composite?
False
Suppose -2*x + i + 24 = -0*i, -x + 5*i = -12. Suppose -z = 2*z - x. Suppose -3*c - c + 80 = z*v, 2*c - 58 = 4*v. Is c composite?
False
Let x(t) = t**3 + 10*t**2 + 6. Is x(7) a composite number?
False
Let l(c) be the third derivative of c**5/60 + c**4/6 - c**3/3 + 3*c**2. Let z be l(4). Suppose 4*j = 290 - z. Is j prime?
False
Let c(i) = 2*i**3 - 6*i**2 + 4*i - 7. Suppose -3*r + 30 = 2*r. Is c(r) a composite number?
False
Let i(w) = -3*w**3 + 3*w**2 - w - 5. Is i(-3) a prime number?
False
Suppose -3*p + 5*p - 4 = 0. Let n be (p/(-3))/(4/(-12)). Suppose 60 = 2*x + n*x. Is x a composite number?
True
Suppose 0 = -h - 3*a + 77, -3*h - 4*a + 346 = 120. Let v = h - -70. Suppose 5*t + 4*c + 64 = 199, -4*t + v = -4*c. Is t a composite number?
False
Let p be (-6)/(-15) + 286/10. Let y = p + -18. Suppose -y = -i + 10. Is i a prime number?
False
Suppose d - 10 = 3*y - 103, -4*y = -d - 124. Suppose x - 16 = y. Is x a composite number?
False
Suppose 2*y - 990 - 966 = 2*i, 2*y = -4*i + 1950. Is y a prime number?
True
Suppose -2*o = o + 21. Let k(u) = -9*u + 4*u**2 - u**2 - 3 + u**2 - 5*u**2. Is k(o) a composite number?
False
Let t(x) = -x**2 - 6*x - 5. Let g be t(-5). Suppose -2*y + 4*y + 5*v - 220 = g, -y = -2*v - 128. Suppose -4*r + m + y = 0, 4*r - 47 - 97 = -5*m. Is r composite?
False
Suppose 0*b - 108 = 4*b. Let k = b - -60. Let p = -20 + k. Is p a composite number?
False
Suppose -5*s + 0*s = 0. Let y be -1 - (-5 + (-1 - s)). Suppose -y*j = -10*j + 105. Is j prime?
False
Let u(q) = -16*q**3 - 20*q**2 - 31*q - 16. Let o(k) = 3*k**3 + 4*k**2 + 6*k + 3. Let h(y) = -11*o(y) - 2*u(y). Let l be h(-3). Suppose -l - 11 = -t. Is t prime?
True
Let s = 0 + 4. Suppose -s*m + 7*m - 129 = 0. Suppose 0 = -f + g - 5*g + m, -f + 4*g = -3. Is f prime?
True
Let b(w) = -2 + 0 - 1 + 3*w - 34*w. Let q be b(-5). Suppose -j + q = 3*j. Is j composite?
True
Let n = 512 + 1667. Is n a composite number?
False
Let l(x) = -3 + 24*x + 62*x + 2. Let n be -1 + (-3 + 5)*1. Is l(n) a composite number?
True
Suppose -3*p + 2*m + 475 = 0, 3*p = -0*m - m + 478. Is p a prime number?
False
Suppose -2*f - 4*h = -0*h - 86, -3*f + 85 = -5*h. Let n be (-4)/(-14) - (-620)/f. Is (-4)/n - (-128)/9 composite?
True
Let n(r) = r - 4. Let t be n(4). Suppose t = -c + 4*c - 33. Is c composite?
False
Let a(r) = -r**2 + 9*r + 4. Let l be a(9). Let t be 324/10 + l/(-10). Suppose -4*y + 6*z = z - 123, -y + z + t = 0. Is y composite?
False
Suppose 3*x - 490 = -103. Is x a composite number?
True
Let t = 1 + -1. Suppose t = -2*s + 3*s + 2. Is (-514)/(-14) + s/(-7) a composite number?
False
Let h be 34 - 5/(10/(-4)). Let i = -21 + h. Is i composite?
True
Let i be (-3)/1*(-44)/6. Suppose 0 = 4*g - i - 54. Is g a composite number?
False
Let y(j) = j**3 + j + 2. Let r be y(0). Suppose v + 6*x + 10 = r*x, -2*v - 4*x = 8. Suppose -o + 18 = f, v*f + f - 55 = -2*o. Is f prime?
True
Let q(v) = v - 1. Let x(c) = 2*c**2 - 4*c + 3. Let d be x(2). Let s be q(d). Suppose y + 5*p - 122 = 0, s*p - 15 = -p. Is y composite?
False
Suppose -2*n + 114 = -40. Let q = n + -18. Is q composite?
False
Is (-1)/5 - (-636)/5 a prime number?
True
Let o(k) = -k**2 + 5*k + 8. Let r be o(6). Suppose 5*w = 3*q - 9, 0 = 5*w - 0*q + 5*q - 15. Is (w + 3)*2/r composite?
False
Let j = -495 - -832. Is j composite?
False
Let s = 495 + -228. Is s composite?
True
Suppose -5*a - 5 = 0, 4*a = -y - y + 74. Suppose 246 - y = 3*k. Is k composite?
True
Let u = -11 + 13. Is u + 106*3/6 composite?
True
Let b be -6*(16/(-6))/4. Let z be -18*(-10)/(-8)*-2. Suppose -b*q + 111 + z = 0. Is q a prime number?
False
Let h = 12363 - 7210. Is h a composite number?
False
Suppose -2*j = -0*j - 4. Suppose b - 1 = j*b. Is -1 + 12*b*-7 a composite number?
False
Suppose -10 = 2*s, -2*y + 3*s + 69 + 208 = 0. Is y prime?
True
Suppose -13 = -4*l - 5. Suppose 2 = 2*h, 2*h + 0 = l*q + 4. Is q*(-1 - 4*5) composite?
True
Let k(l) = -10*l**3 - l - 1. Let t = -1 + 0. Is k(t) prime?
False
Let s be (-6)/(-15)*(2257 + 3). Suppose 51 = 5*m - s. Is m a prime number?
True
Let y(u) = -61*u - 86. Is y(-27) a composite number?
True
Let w be 2 + (33/1)/1. Let s(c) = 28*c + 8. Let k be s(4). Let j = k - w. Is j a composite number?
True
Let x be 12/15*(5 - 0). Suppose -62 = -q - 5*z - 7, -q = -x*z - 55. Is q a prime number?
False
Suppose 3*f - 590 = -4*i + 8*f, -4*f - 443 = -3*i. Is i a prime number?
False
Is (2 + -1230)/(-2)*3/6 a composite number?
False
Suppose -u + 7 + 99 = 0. Is u a composite number?
True
Let b(m) = m**3 - 2*m**3 + 3*m**2 + 2*m + m - 1 + m**2. Is b(4) composite?
False
Let m = 4 + -7. Suppose 2*t - 4*t = -2. Is t*1/m*-141 a composite number?
False
Suppose 401 - 3614 = 3*w. Let m = -144 - w. Suppose -m = -3*v - 132. Is v prime?
False
Suppose -38 = -2*a - 0. Let t = 8 - 8. Suppose -2*h + h + a = t. Is h a prime number?
True
Let v(m) = 4*m**2 - 1. Let a be v(-1). Suppose -a*d + 3 + 0 = -2*t, 2*d + 3*t - 15 = 0. Is (-78)/4*(-2)/d prime?
True
Suppose v + 5 = -4. Let o be (-1 + (-12)/v)*6. Suppose 180 = 5*j - k, -k + 5*k - 94 = -o*j. Is j composite?
False
Let w(x) = x**2 + 6*x - 105. Let z(v) = -2*v**2 - 13*v + 209. Let k(d) = -13*w(d) - 6*z(d). Is k(0) a composite number?
True
Suppose 5*f + b = 3*b + 639, -f = b - 125. Is f a composite number?
False
Let w b