 y = -258 + 385. Is y a prime number?
True
Let s = 856 - 597. Is s a prime number?
False
Let z be ((-306)/4)/(2/8). Let p = 307 - z. Is p a composite number?
False
Is (2 - 3)*(-74 - -3) a composite number?
False
Suppose 2*l - 4*l + 5*z = 5, 5*z - 40 = -5*l. Suppose 7 + 13 = l*g. Suppose 0 = 3*h + g*x - 74, 5*h - 5*x - 31 = 69. Is h a composite number?
True
Let p(k) = k**3 + k - 1. Let d be p(1). Let h be ((-1)/d)/((-1)/11). Let q = h - -3. Is q a prime number?
False
Let p(d) = -3*d + 7. Is p(-4) a prime number?
True
Let o be 170/(-5) + 4/(-2). Let f = -22 - o. Is f a prime number?
False
Let q(g) = -2*g**2 + 15*g + 4. Let x be q(13). Let w = 20 - x. Is w prime?
False
Let o be (16/(-24))/(1/267). Let y = o + 260. Suppose -2*l + l = 3*a - 8, -4*l + y = 2*a. Is l prime?
True
Let c(m) = -m**3 + 6*m**2 - 3*m - 6. Let n be c(5). Suppose -a = n - 6. Suppose -a*u - 62 = -4*u. Is u a prime number?
True
Let z(d) = 126*d + 1. Suppose 3 = 2*s - 1. Is z(s) composite?
True
Let q(i) = 1 + 0*i**2 - i**2 - 2 + 3*i**2 - 73*i**3. Is q(-1) composite?
True
Let c be 4/(1/(1 + 3)). Suppose c = -4*k - 0*k. Is (-722)/(-6) - k/6 composite?
True
Let d(q) = -q**3 - 4*q**2 - 2*q - 5. Let r be d(-4). Suppose -26 = -r*i - 11. Is 34 + (-3)/(i - 2) a prime number?
False
Let k = -3489 + 6652. Is k prime?
True
Is 6202/7 + (5 - 2) a composite number?
True
Let a(j) = -2*j + 767. Is a(0) a prime number?
False
Suppose -a + 2*i - i + 154 = 0, 3*a + 5*i - 470 = 0. Is a a composite number?
True
Suppose -p - 3*p + 20 = 2*w, 0 = 4*p + 3*w - 22. Is p prime?
False
Suppose -6 = 2*k - 3*k. Let s be 1*(2/1 + 0). Suppose -s*b - k = -3*b. Is b a prime number?
False
Suppose -16 = 4*p - 4, 3 = -t + p. Let k(h) = -2*h**3 + 7*h**2 + 8*h - 1. Let j be k(t). Suppose -3*f - 2*f = -j. Is f a prime number?
True
Let c(m) be the first derivative of -6*m**4 - m**3 - m**2 + m - 1. Is c(-2) composite?
True
Suppose 4*c = 2*z - 4, 2*c - z = 3*z - 8. Suppose 5*u + 0*u - 445 = c. Is u a prime number?
True
Let u = 34 + 16. Suppose -v + 3*w = 6*w - u, v - 46 = -2*w. Suppose v = a + a. Is a a composite number?
False
Let h = 12 - 5. Suppose 0 = -4*z + 20, -2*a + h*a = -4*z + 25. Is (-13)/(a + -3 + 1) a composite number?
False
Suppose g - 4*y - 3787 = 0, 0 = 2*g + g - 2*y - 11361. Is g prime?
False
Let g(a) = -a**2 - 15*a - 13. Let h be g(-10). Suppose -4*k - 4 = 2*r, 5*k + 2 + 1 = -3*r. Let s = h - r. Is s prime?
False
Suppose b = 5*b - 212. Suppose -68 = -5*j + j. Suppose 4*c + 0 - j = -x, b = 4*x + c. Is x composite?
False
Suppose -5*c + 6 = -14. Suppose -2*i + 84 = -c*p - 34, -4*i - 5*p = -288. Is i composite?
False
Suppose -c + 60 + 62 = 0. Is c prime?
False
Suppose m - 1726 = -3*f, -f = -m + 3*f + 1726. Is m composite?
True
Let j(k) = -30 + 2*k + 24 - 4*k. Let h be j(-6). Suppose h = 3*a - 3. Is a prime?
True
Suppose -3*b + y + 146 = -0*y, 0 = 3*b + 5*y - 152. Let w = 8 + b. Is w composite?
True
Suppose -2*w + 5*b = 49, -3*b - 52 = 2*w - w. Let r = -26 - w. Let y = r - -2. Is y a composite number?
False
Suppose -l = -6*l + 10. Suppose -l*r = -0*r. Suppose r = m + 3*m + 2*v - 142, -33 = -m + 2*v. Is m prime?
False
Is 114 + (-3 - (-7 - -3)) composite?
True
Suppose -10 = 2*w, 2*w + 7 = -2*s + 1. Suppose 0*l + 268 = s*l. Is l a composite number?
True
Let k be 2 - (-7)/((-14)/(-1056)). Suppose 5*z + 3*j = 4*j + 1325, 2*z - j = k. Suppose 0 = 2*t + 3*t - z. Is t a composite number?
False
Is (-1)/(-3) + (-56)/(-3) a composite number?
False
Let v be 0/(4/((-8)/2)). Suppose 0*s - 2*s + 3*d = -89, 4*s + 5*d - 123 = v. Is s a composite number?
False
Let i be 1/(3 + 16/(-6)). Suppose i*n = 5*m - 326, -5*n = 3*m - 2*n - 210. Is m a composite number?
False
Let o be (4 + -42)*(-9)/2. Let b(g) = -13*g + 8. Let j be b(-6). Suppose 0*z - c - o = -2*z, -c - j = -z. Is z a composite number?
True
Is (84/54)/7 + (-7009)/(-9) a prime number?
False
Let u = -55 + 10. Let q be u/3*(-18)/15. Let z = q - 5. Is z prime?
True
Let i(x) = 9*x**2 - x - 6. Is i(8) a composite number?
True
Let z be (-9)/9*3/(-1). Suppose -z*r + 4*n + 271 = 0, -3*n - 266 = -3*r + 2*n. Is r prime?
True
Let m be (-1290)/(-27) - (-2)/9. Let s = 113 - m. Is s a prime number?
False
Let u = 29 - 69. Let w = u + 231. Is w composite?
False
Is 4/20 + (-2)/((-20)/5378) a composite number?
True
Suppose 0 = -3*l - l + 832. Let p = -141 + l. Is p a composite number?
False
Suppose -3*i + 1003 = 2*z + 308, 3*z - 1035 = -2*i. Suppose 4*h - 421 - z = 0. Is h prime?
True
Let h(b) = 5*b + 1. Suppose -l = -3*s - 2, 0 = 3*s - l - 4*l + 22. Let t be h(s). Suppose 0 = 5*a - 3*f - 8 + 2, -3*a + f = -t. Is a prime?
True
Suppose 3*q - 390 = -2*q. Suppose -4*o - q = -7*o. Is o a composite number?
True
Let z(f) = f**2 - f + 6. Let t = 6 - 11. Let v be z(t). Let n = 67 - v. Is n composite?
False
Let z(j) = 5*j**2 - j + 3. Let m(o) = o**3 + 10*o**2 - 10*o + 15. Let c be m(-11). Is z(c) composite?
False
Let x = -2 + 10. Let m(p) = -x + 0*p + 0 + 5*p. Is m(6) prime?
False
Let c(u) = -u**2 + 14*u - 10. Let k be (-6)/5*30/(-4). Is c(k) prime?
False
Let d be 40/15 - 1/(-3). Suppose d*g = -4*y + 231, -4*g + 35 + 93 = 2*y. Let m = y - -55. Is m composite?
False
Let g(z) = -319*z**3 + z**2 - 1. Is g(-1) a prime number?
False
Suppose 2*l - 3*d = 6*l - 12, 4*d = l + 16. Is 0 + l - (6 + -37) composite?
False
Suppose 2*y - 4 = 0, 3*y + 1030 = 4*z + 144. Is z a composite number?
False
Suppose 0 = 3*z + z - 2*a - 48, 0 = 3*a. Let i be (-88)/z + (-1)/(-3). Let o = 28 + i. Is o a prime number?
False
Suppose 4*a - 467 - 181 = 0. Is -1 - (-4 - (-4 + a)) prime?
False
Let j(w) = 9*w**2 - w - 15. Is j(7) a prime number?
True
Let a(f) = 69*f + 10. Let z(c) = -1. Let k(h) = -a(h) - 6*z(h). Is k(-3) prime?
False
Let u(s) = -s + 5. Let p be u(0). Let q = 559 - 114. Suppose -77 = -i + 2*t, -3*i + q = 2*i + p*t. Is i prime?
False
Suppose 5*i = 11 + 9. Suppose -i*c + 20 = -16. Is c composite?
True
Let k(y) = 74*y**3 - 9*y**2 + 11*y - 13. Let p(c) = -37*c**3 + 5*c**2 - 6*c + 7. Let a(g) = 6*k(g) + 11*p(g). Is a(1) prime?
True
Let f(k) = 62*k + 6. Let c be f(5). Suppose -4*n - 5*s = -988, -s + c + 672 = 4*n. Is n a composite number?
True
Let a = 3 - 1. Suppose -a*g + 4*g - 298 = 0. Is g a prime number?
True
Let x = 1 - -3. Let o be (-7)/((-7)/x) - -1. Suppose -2*s = 3*i - 771, -o*s = 2*i - 585 + 82. Is i composite?
True
Let n(m) = -m**2 - 26*m + 22. Let y be n(-16). Suppose 1215 = -2*c + 5*c. Let d = c - y. Is d composite?
False
Let d(a) = 8*a**2 - 7*a**2 + 9*a**2 + a**3 - 7. Is d(-8) a prime number?
False
Let x(f) = f**2 - f - 1. Let t be x(3). Suppose -27 - 78 = -t*z. Is z a prime number?
False
Suppose -2*t + 37 = -5*k, t + 0 - 26 = k. Is t composite?
False
Suppose 4*i = -2*m - 852, 0 = -0*i - 5*i - 15. Let j = -31 - m. Is j a prime number?
True
Suppose 3*s = -0*b - 5*b + 7, -9 = 3*s - 3*b. Let y = 1 + s. Let v(g) = g**3 + g**2 + g + 11. Is v(y) composite?
False
Is (4/6)/((-8)/(-5628)) a prime number?
False
Suppose 456 = -5*b - 3*f, 0*b = b - 2*f + 86. Let n be (159/(-2 - 1))/1. Let r = n - b. Is r a prime number?
True
Suppose -5*n + 5*a = -265, -4*n + 98 = 3*a - 114. Is n a prime number?
True
Suppose 0*j + q - 1202 = -4*j, -j + 303 = -q. Is j prime?
False
Suppose -l = -2 + 1. Let o be 0/((-2)/l) + 410. Suppose 4*a + a = o. Is a a prime number?
False
Let z(r) = r**3 + 27*r**2 - 29*r - 32. Is z(-27) prime?
True
Let i = 0 + 4. Suppose i*j - 191 - 117 = 0. Is j composite?
True
Is (-186)/4*(-572)/66 composite?
True
Let m be (68/(-2))/1*-3. Let p = -10 - -14. Suppose -m = -3*f + n, -2*f + 2*n - p*n = -60. Is f a prime number?
False
Let j = 21 + -13. Suppose -3*f = 5*a + 22, 2*a = 2*f - j - 4. Let b(y) = 20*y - 1. Is b(f) a composite number?
False
Let m be (-61)/(-2) - (-2)/(-4). Let u = m - 21. Is u a prime number?
False
Let u(z) = z**3 - 6*z**2 + 2*z - 2. Let d be u(4). Let l = -40 - d. Let h = 9 - l. Is h composite?
False
Suppose 0 = -y - 0*y + 59. Is y composite?
False
Let s(a) = a**3 - 6*a**2 + 5*a + 2. Let n be s(5). Is n/3*(-1335)/(-10) prime?
True
Suppose 5*f - 275 = 2*j - 7*j, j + 145 = 3*f. Suppose -u + 2*x = -1, -5*u = -2*x + x - f. Is u a prime number?
True
Suppose -5*z + 4*d + 7198 = 1963, -5*z + 5*d + 5240 = 0. Is z a composite number?
True
Let t(g) = -11*g**3 - 2*g - 3. Let j be (2/4)/(-1)*-14. Suppose 0 =