 z(6). Suppose -m = 5*o - 0*o. Let q = 184 + o. Is q composite?
False
Is 18/9*155/2 prime?
False
Let c(n) = -54*n - 5. Let j(v) = -162*v - 14. Let p(t) = 17*c(t) - 6*j(t). Is p(1) composite?
False
Let t(g) = 4*g**2 + 13*g + 1. Is t(6) prime?
True
Let n = 92 - 55. Is n a prime number?
True
Suppose -3*x + 4*x + 254 = 0. Is (-3 + 2)/(2/x) a prime number?
True
Suppose -3*f - 52 = b, -4*b - 8 = f + b. Is ((-212)/2)/(f/9) a prime number?
True
Suppose -9*z + 3*z = -6522. Is z a prime number?
True
Suppose 0 = -4*h + 501 + 67. Is h prime?
False
Let h(j) = j + 6. Let f be h(-8). Is (-436)/(-8) - f/4 prime?
False
Let r be (-27)/(-6) - (-2)/(-4). Let n be 5/(-2)*(r + -6). Suppose 35 = 5*z + 5*m, 3*z - n*z + 4*m = -14. Is z a prime number?
True
Let o be 7/2 - (-8)/16. Suppose -o*m = -7*m + 339. Is m prime?
True
Suppose 2*b + 1 = 5*m, -m + 2*b + 11 = -2*b. Is 4/(-4) - 162/m prime?
False
Suppose -2*a = -4*a + 138. Suppose 4*x - a = x. Is x a composite number?
False
Let o be 0/(-2) + (9 - 6). Suppose -2*x + o*b = 6*b - 307, 3*x = -3*b + 462. Is x prime?
False
Let u(k) = 77*k - 2. Let m be u(-2). Let p = m + 265. Is p a composite number?
False
Let b(v) = -v**3 + 5*v**2 - 5*v + 3. Let o be b(3). Let c(n) = 32*n + 5. Let r be c(o). Suppose -174 = -3*m - 2*s + r, m - 147 = 4*s. Is m prime?
True
Suppose 3*z = 11*z - 424. Is z prime?
True
Suppose 2*k = 7*k - 5*s - 1660, -k - 3*s + 328 = 0. Is k prime?
True
Let a(p) = 47*p + 1. Let k(d) = -23*d - 1. Let w(l) = 4*a(l) + 9*k(l). Suppose 0 = 3*s - 4*r + 16, s = 2*s + 3*r + 1. Is w(s) composite?
False
Suppose 0*l + 3*l = m - 9, 4*l + 8 = 0. Is (-1)/m - 592/(-12) a prime number?
False
Let a be 4/(-10) - 23/5. Let f = 26 + a. Is f prime?
False
Let l(m) be the third derivative of m**6/120 - m**5/15 + m**4/12 - 2*m**2. Is l(7) a prime number?
False
Is (2 - (-21)/(-9)) + (-11364)/(-18) a composite number?
False
Suppose 3 = -j + 7, 5*z + 5 = -5*j. Let b(k) = k + 9. Let n be b(z). Suppose -171 = -n*f + f. Is f a prime number?
False
Let z = 3 - -1. Suppose z*y = 7*y - 363. Is y a composite number?
True
Let k(h) be the first derivative of -3*h**2/2 - 2*h + 3. Let m be k(-2). Suppose v = -m*v + 275. Is v a prime number?
False
Let g(i) = i**3 - 7*i**2 - 9*i + 10. Let l be g(8). Suppose l*w - 46 = -150. Let h = w - -77. Is h a prime number?
False
Let x(j) = 4*j - 5*j - 1 + 0*j - j**2 - 2*j**2 - 2*j**3. Let r be x(-2). Suppose 0 = -4*n + r*b + 807, -2*n - 3*b + 316 = -93. Is n a composite number?
True
Suppose 1015 = 5*g - 0*g - 2*t, 0 = -5*g + 4*t + 1015. Is g prime?
False
Suppose h = 3*g + 30 + 24, -g + 1 = 0. Is h prime?
False
Let n(j) = 80*j**2 - 2*j + 1. Let w be -1 - 4/(3 - 5). Is n(w) a prime number?
True
Suppose -w = 3*r + 10, 8*r = 3*r - w - 16. Is 2/r + (-4939)/(-33) composite?
False
Suppose -2*u + 5 = -3. Let o be (72 - -1) + (-2 - -2). Suppose u*l - 11 - o = 0. Is l prime?
False
Is (-4318)/(-5) + 6/(-10) a composite number?
False
Let m = 17 + -7. Suppose m = -5*g, 3*g = 2*a + 2*a - 274. Is a a prime number?
True
Suppose -352 = c - 5*c. Is c - (-1 + (0 - 2)) prime?
False
Let l(o) = -72*o + 17. Is l(-7) prime?
True
Let p(i) = 50*i**2 - 2*i + 1. Is p(1) a composite number?
True
Suppose 0 = -3*c + 1 + 5. Let z be 242 + 6/(-4)*c. Suppose 0 = -3*s - 5*v + 172, -2*v = -4*s + v + z. Is s prime?
True
Suppose -3*a + 4 = -m, a - 3*m + 27 = 5*a. Suppose 0 = a*l + 2*l + 25. Is (14/l)/((-2)/10) composite?
True
Suppose m - y - 205 = 0, 2*m - 3*m = -5*y - 213. Is m prime?
False
Suppose w = 4*w. Suppose -y + 2 = -w*y. Suppose -y*n - 4*p = -98, n = -0*n - 4*p + 49. Is n prime?
False
Let a(q) = 4 - 9*q + 1 + 2. Let d(t) = -t + 1. Let y(f) = -a(f) + 6*d(f). Is y(5) prime?
False
Let g be (-9)/(-3)*(-8)/3. Let u(h) = -3 - h**3 - 8*h**2 + 6 - 2 - 5*h + h. Is u(g) composite?
True
Let a be (-5 + 8)*(0 + 4). Suppose -r = -3*r - a. Is (-4)/r + 1516/12 prime?
True
Let r = -126 + 230. Let t = 327 - r. Is t a prime number?
True
Let j(h) = h**3 + 10*h**2 - 3*h - 4. Let k be j(-9). Suppose 5*d = -a + k - 27, 2*d - 2*a - 26 = 0. Is d a composite number?
True
Is 2283/2 - (-4)/(-8) composite?
True
Let i(u) = -3*u + 2*u + 2 + 6*u**2 + u**3 + 2. Let r be -4 + 12/(-4) + 1. Is i(r) a prime number?
False
Suppose 4*m = 4*d - 4 - 0, 0 = 3*m - 4*d + 6. Let w(t) = -2*t - 2*t**m + 1 + 3*t**3 - 8*t**3 - 2. Is w(-2) a composite number?
True
Suppose 332 = 2*d + 2*d. Is d composite?
False
Let z = 1 + 1. Is z/(-4) + 371/2 a prime number?
False
Let m(b) = -b**3 - 6*b**2 - 6*b - 2. Let d be m(-5). Suppose -d*k + 170 = 2*k. Let n = 1 + k. Is n composite?
True
Let o = 0 + 3. Suppose -o*s - 2*h - 501 = -4*s, 3*s = -4*h + 1553. Is s composite?
True
Suppose -u - 6 = -4*u. Let n be (-308)/u*(2 + -3). Suppose j - n = -j. Is j a composite number?
True
Let m(x) be the first derivative of -8*x**4 + 3*x**2/2 + x - 2. Is m(-2) composite?
False
Let a = 5 - 4. Suppose -c - 13 = -5*h, 0 = 4*h - 3*c + a - 7. Is 1/h + 340/15 a composite number?
False
Let o(a) = a**2 - 10*a - 8. Let i be o(9). Let s(g) = 2*g**2 - 2*g + 11. Is s(i) composite?
True
Let y = 411 - 148. Is y a prime number?
True
Let z(u) = 16*u**2 - 2*u - 11. Is z(-6) prime?
True
Let i(c) = 36*c**3 + 3*c**2 - c - 1. Is i(1) a composite number?
False
Suppose 0*r + 4*r - 210 = 2*m, 3*m = 2*r - 115. Suppose -3*g = g + 4*y - 16, 3*g - y - 8 = 0. Suppose -r = u - g*u. Is u a composite number?
True
Let b(n) = -101*n**3 + 4*n + 3. Is b(-2) prime?
False
Let x = 830 - 553. Is x a composite number?
False
Is (2 + (-4510)/4)/((-5)/10) a prime number?
True
Let l(h) = 4*h**3 + h**2 + h + 1. Suppose 3*g - 11 = -z, 2*z - 11 = -2*g - 1. Is l(g) a prime number?
False
Let p = 29 - -36. Let s = 192 - p. Is s a composite number?
False
Suppose -d + 115 = 2*c - 4*d, c - 2*d - 55 = 0. Is c a prime number?
False
Let s be 4 - 2 - 1 - -197. Let f = -119 + s. Is f composite?
False
Let p(o) = 2*o**2. Let l be p(-2). Is 2*2980/l + 4 prime?
False
Let f(s) = -2*s**2 + 4*s. Let c be f(3). Let a be (c/(-10))/(2/10). Suppose -76 = -a*j - j. Is j a composite number?
False
Let a(c) be the second derivative of -c**6/120 - c**4/24 + 65*c**3/6 - 2*c**2 - 4*c. Let p(q) be the first derivative of a(q). Is p(0) a prime number?
False
Let b(u) = -103*u**3 - 1. Let m be b(-1). Let n = -54 + 121. Let x = m - n. Is x prime?
False
Let s(a) = -a**3 + 10*a**2 - 4*a + 12. Let u = -8 - -17. Is s(u) a prime number?
False
Let c = -339 - -524. Is c prime?
False
Is (-1179)/(-18)*(-4)/(-2) composite?
False
Let x = -134 - -253. Is x composite?
True
Let g(w) = w**3 + 4*w**2 - 5*w + 3. Let x be g(-5). Suppose -x*h = 5*v + 91, -h + 4*h + 61 = v. Let i = 55 + h. Is i a prime number?
False
Let b(q) = 2*q + 4*q - 6 + 3*q - 4*q. Suppose 25 = 2*r - 3*c, 2*r + 5*c = 4*r - 35. Is b(r) a prime number?
True
Let j(w) = -w - 17. Let c be j(-7). Let v = 18 + c. Suppose 2*z + 152 = 2*r, -3*z = -2*r - v*z + 173. Is r prime?
True
Let a = -14 + 9. Let i(x) = -2*x**2 + 6*x + 1. Let d be i(a). Let r = -53 - d. Is r a prime number?
False
Let n(o) = o**2 + 2*o - 4. Let h be n(-4). Let s be h + (2 + 0)/2. Suppose -s*u - 1 = -56. Is u composite?
False
Is (-2227)/(-17) - (-2 - 1) composite?
True
Let c = -1932 - -399. Let o = -1066 - c. Is o composite?
False
Suppose 4*a - 1229 = 3*u, 5*a - 3*u - 1528 = -2*u. Is a a composite number?
True
Let p be (9 - 1)/((-3)/(-9)). Suppose 41 = 4*s - o, o - p = -2*s + 5*o. Is s a composite number?
True
Suppose 3*s - s = 1174. Is s prime?
True
Is ((-7)/21)/((-1)/669) a composite number?
False
Suppose 5 = b - 4*t - 15, -3*b - 2*t + 4 = 0. Suppose b*k = 1065 - 413. Is k composite?
False
Let q = -311 + 1129. Is q composite?
True
Let o(m) = -6 - 8*m + 5*m + 2*m**2 + 4*m**2 - 5*m**2. Suppose -7 + 23 = 2*n. Is o(n) a composite number?
True
Let p(j) = 123*j + 4. Let h be p(4). Suppose -3*r + t = 3*t - 365, -4*r - 5*t = -h. Is r prime?
False
Let w(a) = a**2 + 5*a - 2. Let f be w(-6). Suppose -t + 143 = f*k, 2*t - 24 - 17 = -k. Let y = k + 0. Is y prime?
False
Let l(y) = -11*y**3 - 6*y**2 - 5*y + 5. Is l(-5) prime?
False
Suppose 4*u - 2 = -10. Is (u/(-3))/((-14)/(-147)) prime?
True
Let t(b) = b**3 - 2*b**2 - 209. Let s be t(0). Let f be (-3)/(1 + (-5)/2). Is ((-12)/f)/(-3) - s composite?
False
Let o(g) = -g**2 - g + 7. Let f(d) = -2*d**2 - d + 8. Let m(a) = 5*f(a) - 6*o(a). Let t be