 3 + -6 + 0 prime?
True
Let z be (-4)/(2/(-1)) + 261. Let u = z + -160. Is u a prime number?
True
Let z(n) = -79*n. Let y = 6 + -15. Let u = y - -8. Is z(u) a composite number?
False
Suppose 3*z = 5*z - 110. Is z composite?
True
Suppose 3*i + 2*i = 25. Suppose -305 = -i*n - 10. Is n composite?
False
Suppose 3*i - 816 = -3*d, -4*i - d + 1048 = -5*d. Is i prime?
False
Let w = -11 - -18. Let o be 0/(-1)*(-3)/6. Suppose 1 + w = -4*l, o = -n - 3*l + 25. Is n composite?
False
Let q(y) = y**3 + 6*y**2 - 11*y + 5. Is q(4) composite?
True
Let g be 3636/15 - (-3)/5. Suppose -j + g = 5*y, 0 = -2*j - 4*y + 453 + 39. Let f = 45 + j. Is f prime?
True
Let i be 2 - (-5)/(5/2). Suppose -i*v = z - 16, -5*v - 2*z + 14 = -3*v. Suppose -f - 5*y = -5*f + 544, -v*f = 3*y - 381. Is f a composite number?
False
Let v(w) = w**2 - 6*w - 2. Let b be v(6). Let u be 9/(-30)*b*565. Suppose 2*y + u = 5*y. Is y a prime number?
True
Let j(u) = -4*u**3 - u**2 - 2*u - 1. Let m be j(-1). Suppose -v + m*v = 138. Is v composite?
True
Let f(s) = 464*s - 5. Is f(2) a composite number?
True
Suppose 141 = n - 5*m, 3*m = 5*n - 334 - 437. Let q = n + -67. Is q prime?
True
Let q(i) = 2*i**3 - i**2 + i + 2. Let c be q(4). Suppose -d = -s - 139, -3*d = 3*s - c - 323. Is d composite?
True
Let a(z) = -2*z + 3. Let w be a(2). Let u be 0 - (1 + w - 222). Is (2/6)/(2/u) prime?
True
Let m = 326 + 81. Is m composite?
True
Let j(n) = -n**2 + 16*n - 6. Suppose -3*y = -1 - 2. Let x be (y + -2)*-11 - 0. Is j(x) composite?
True
Suppose -b + 172 = -121. Is b a composite number?
False
Let o = 309 + -217. Let g = 359 - o. Is g a composite number?
True
Let l = 9 - 9. Let n(x) = -x**2 - x + 7. Is n(l) a prime number?
True
Let k = -6 - -8. Suppose 0 = u - k - 4. Is u prime?
False
Let f(u) = -u**3 - 6*u**2 + 7*u + 2. Let i be f(-7). Let o = i + -5. Is -1*(-1 + 22)/o a prime number?
True
Suppose 2*b = m - 6*m + 32, -2*b = -2*m - 18. Suppose 9 = n - 5*q - b, 5*n - 28 = q. Suppose -n*l + 81 = -109. Is l composite?
True
Let c = -323 - -185. Is ((-11)/(-3))/((-2)/c) a prime number?
False
Suppose 2*v + 1961 = 7439. Suppose 5*i - v + 644 = 0. Is i a composite number?
False
Let b = 3 - 3. Suppose 3*t = 1 + 2. Is 38 - (b + 1/t) prime?
True
Suppose 6*z + 449 = 7*z. Is z a prime number?
True
Suppose 5*u + 17 - 3732 = 0. Is u a composite number?
False
Let x(s) = -s - 2*s**2 + 4*s - 4*s + 3*s**3. Let j be x(2). Suppose 4*f - j = 3*f. Is f a prime number?
False
Let i(u) = 2*u**3 - 2*u + 3 - u - u**3 + 8*u**2. Let o be i(-4). Suppose 3*w = 59 + o. Is w composite?
True
Is (-1150)/(-15)*(-12)/(-8) a prime number?
False
Let t(a) = -a**2 + 5*a + 3. Let w be t(4). Let y be (-23 - (-2)/1)*-1. Suppose 3*k = -4*q + 33, -y = 3*q - w*q + k. Is q prime?
False
Is (-3)/9 + 2044/21 prime?
True
Let p(o) = 12*o - 1. Is p(6) a composite number?
False
Is (44 - 3) + (-3 - (3 - 3)) a prime number?
False
Let k = -729 + 455. Let d = 78 - k. Suppose -d = -3*m + 41. Is m a composite number?
False
Suppose -24 + 4 = -5*f. Is (-7 + 5)/(f/(-586)) a prime number?
True
Let z be (-107)/(-2) - (-1)/2. Let i = 85 - z. Suppose -2*a + i = -y, -3*y + 44 = 3*a - 4*y. Is a prime?
True
Let t be 0/(-5) + 24/(-2). Let v = 67 + -18. Let x = t + v. Is x composite?
False
Suppose 3*r + 2*s = 4*r + 47, 3*r - s + 116 = 0. Let u be (-2)/5 + 557/5. Let x = u + r. Is x a composite number?
True
Is (-1)/((-4*2/388)/2) composite?
False
Let a = -2804 - -6055. Is a a prime number?
True
Let y be 2/((-2)/(-6)*2). Let b be (6 + 0 - y) + 145. Suppose -b = -5*o + o. Is o composite?
False
Suppose 5*l = 6*c - c + 30, -5*l = -20. Let a = c + 4. Suppose -a*o - 195 = -7*o. Is o a prime number?
False
Let h = -732 + 1219. Is h a prime number?
True
Suppose 0 = -2*a + 8, l + 5*a = -3*l + 20. Suppose -4*i + 9*i - 1055 = l. Is i a composite number?
False
Let m = 443 + -192. Is m a prime number?
True
Let g(n) = -22*n**3 + n**2 + n. Suppose 5*u - 17 = 3. Suppose 0 = 5*m - u*s + 9, -7*m + 3*m = -4*s + 8. Is g(m) a composite number?
True
Let y = 761 + -330. Let q be y/3 - 2/(-6). Let z = q - 31. Is z prime?
True
Let b(x) = 578*x - 5. Is b(2) a composite number?
False
Suppose -5*q + 2*r + 146 = 27, 9 = 3*r. Let p = 140 - q. Is p composite?
True
Let m(n) = -91*n**3 - 2*n - 1. Let b be m(-1). Is b - (-2 - -5 - 2) composite?
True
Suppose 44 = w - 23. Is w a prime number?
True
Let k be 2 + ((-12)/4 - -6). Suppose -k*c + 72 = -203. Is c composite?
True
Suppose 0*l - 1174 = -2*l. Is l a composite number?
False
Let v(t) = -15*t**3 + 6*t**2 + t + 6. Let h(k) = -16*k**3 + 7*k**2 + k + 7. Let i(a) = 5*h(a) - 6*v(a). Is i(3) composite?
False
Let i = 1629 + -488. Is i composite?
True
Suppose 0*g = g - 2921. Is g a composite number?
True
Suppose -2*a - a = -3*r + 69, -4*r + a = -80. Let m = 8 - r. Let s = m + 34. Is s a prime number?
True
Let x(c) = c**2 - 8*c + 7. Let p be x(7). Suppose 4*z = -0*o + o - 81, 2*o + 4*z - 174 = p. Is o prime?
False
Let a = 7 - 2. Suppose a*d - 5*j - 170 = 0, -170 = -4*d - d + j. Is d a prime number?
False
Suppose 2*z + 0 = 4*m - 16, 2*m - 18 = -4*z. Let l = 51 + 9. Suppose 0 = m*n - l + 10. Is n prime?
False
Let h(r) = -r + 6. Let z be h(8). Is z - (-21 - 0/2) composite?
False
Let t(s) = 56*s**2 + 1. Is t(1) composite?
True
Let v(a) = 15*a**2 + 6*a - 1. Let c be v(-5). Suppose -4*p + 81 = -3*p + 2*h, -4*p - 3*h + c = 0. Is p composite?
False
Let g(p) = p**3 + 8*p**2 + 1. Let o be g(-8). Let j be -5*(0 - o)*20. Let c = j - 47. Is c prime?
True
Let s(k) = -k**2 - k + 31. Is s(0) a composite number?
False
Let p be 1/((-1)/2) - -10. Suppose 0 = -3*v + p*v + 14650. Is 4/18 + v/(-18) a prime number?
True
Suppose -4*c = 4*h + 8, h = 3*h - 2*c - 12. Suppose 0 = -2*x - h*i + 50, 6*i - 3*i - 49 = -2*x. Is x prime?
False
Let b(h) = -17*h + 8. Let x be b(-9). Suppose 5*r + 2*q = x, -2*r - 2*q = 3*q - 77. Is r composite?
False
Let w(d) = -231*d**2 - 1. Let f be w(-1). Let u be f/(-6) + (-2)/(-6). Suppose -5*m + 71 = -u. Is m a composite number?
True
Suppose -4*x + 142 = 5*v, 0*v = -4*v - 4*x + 116. Suppose 0 = 6*k - 3*k, -5*f + 3*k = 0. Suppose f = -5*t + 96 - v. Is t prime?
False
Let b = -325 + 560. Let j = b + -158. Is j composite?
True
Let b(c) = -c**2 + 3*c + 3. Let h be 11/4 - 2/(-8). Let i be b(h). Suppose 3*f - 2*t = -2*f + 263, i*t = -2*f + 109. Is f a composite number?
False
Let o be (-159)/9 + (-1)/3. Suppose -5*h = -2*h - 249. Let g = h + o. Is g a prime number?
False
Let k(q) = 14*q**2 + 9. Let s(b) = -15*b**2 - 10. Let x(j) = 6*k(j) + 5*s(j). Is x(-3) a prime number?
False
Suppose 0 = 4*k - y - 4328, -2*k = -3*k + y + 1085. Is k composite?
True
Is 3 + (-65)/20 - (-1341)/4 composite?
True
Let h be (9/(-6))/(3/4). Let j = -70 - -45. Is h + 3 + j/(-1) composite?
True
Let h = 15 - 9. Is h composite?
True
Suppose 0 = -b + 1 + 1. Suppose 0*d - 2*n - 47 = 5*d, 0 = b*d - 4*n + 38. Let w = 2 - d. Is w a composite number?
False
Suppose -p + 4231 = 4*m, 1991 = 5*m - 2*p - 3288. Is m a prime number?
False
Let i = 347 + -142. Is i a prime number?
False
Let b be (-141)/(-27) + 2/(-9). Let n = -1 + b. Suppose 0 = n*z - 9 - 371. Is z prime?
False
Suppose 0 = 2*u - 4*p - 3 + 27, 4*p = -2*u + 16. Let x(l) = 21*l**2 + 2. Is x(u) a prime number?
False
Let k(y) = 6*y**2 - 7*y + 10. Let x be k(6). Let r = x - 69. Is r composite?
True
Let m(p) = -2*p - 6. Let t be m(-4). Let z(g) = 9*g**3 + g**2 - 2. Let c be z(t). Suppose 0*n - c = -2*n. Is n prime?
True
Suppose 5*f + 10*g - 5*g - 20 = 0, -12 = 3*f - 3*g. Is 3 - (-538 - f/1) a composite number?
False
Suppose 2*s + 1 = 3*b - 8*b, 3 = b. Let z be (s - (2 + -1)) + -2. Is (-35)/10*(z - -1) prime?
False
Let d(j) = 3*j - 1. Is d(18) a composite number?
False
Let a(v) = 7*v**2 + 1. Let l be a(-1). Let x be 2/l - (-7)/4. Is (-298)/x*(1 - 2) composite?
False
Let f(w) = -48*w + 1. Let a be 24/(-9) + 4/6. Is f(a) a composite number?
False
Suppose 381 = -7*v + 10*v. Is v prime?
True
Let z(w) = w**2 + w + 5. Let m be z(-7). Suppose 2*i - 3*i = -m. Is i prime?
True
Let u = -32 + 56. Suppose 3 - 1 = -i + 2*a, u = 2*i + 3*a. Is 2/i + (-724)/(-6) prime?
False
Let d be 3/(-2) - 10/(-4). Let y = d + -1. Suppose -6*q + q = 4*g - 34, y = -2*q - 4*g + 4. Is q a prime number?
False
Let h be (10/3)/((-4)/(-6)). Suppose -x + 1 = -n - 1, -h*x = 4*n - 37. Suppose -m + j = -