 t + 118, -19 = -r - t - 4*t. Let o = 6 + r. Is o composite?
True
Let o(b) = -47*b - 57. Is o(-16) a prime number?
False
Suppose 3*j = -2*h - h + 348, -5*j + 4*h + 625 = 0. Is j a composite number?
True
Let m(p) = 4*p**2 + 2*p - 1. Let f be m(1). Let n = f - -78. Suppose 0 = -0*x - x + n. Is x a composite number?
False
Suppose -204 = -2*n + 502. Is n composite?
False
Let z be 25/4 - (-1)/(-4). Let i(a) be the third derivative of a**4/4 - 5*a**3/6 - 2*a**2. Is i(z) prime?
True
Suppose 4*h = -4*u + 163 + 173, -5*h = -u - 426. Is h a composite number?
True
Let p = 286 - -1269. Is p a composite number?
True
Let h(y) = 15*y + 1. Let s(b) = 60*b + 5. Let v(z) = -9*h(z) + 2*s(z). Is v(-11) composite?
True
Let x = 7 + -4. Suppose 0 = x*a + 60 - 231. Is a prime?
False
Is 1/4 + -1 + (-55096)/(-32) composite?
False
Suppose 0 = 3*l - 3*m - 4065, -18*m + 17*m = -5*l + 6759. Is l a composite number?
True
Let i(a) = -625*a**3 + 2*a**2 + a. Let r be i(-1). Let u = r - 333. Is u prime?
True
Suppose 2*d - 93 = 145. Is d composite?
True
Let y(m) = -m**3 - 7*m**2 - 4*m - 3. Let t be y(-6). Suppose 0 = 3*z + 2*u + 66, -u + 21 = -2*z - 23. Let g = t - z. Is g composite?
False
Let i(n) = 4*n**3 - n**2 + 3*n - 4 + 1 + 20*n**3. Let q(f) = f**2 + 6*f + 7. Let t be q(-5). Is i(t) a composite number?
False
Suppose 6*g - 1105 = g. Is g a prime number?
False
Suppose -2*v + a + 4*a + 14 = 0, 0 = 4*a + 8. Is 84/8 + v/4 prime?
True
Let x = 7 + -5. Suppose n - 702 = p - 6*p, -x*p + 267 = 5*n. Is p composite?
True
Let i(c) = c - 9. Let y be i(7). Let h be (-5)/(y + (-10)/(-4)). Is (-888)/h - (-4)/20 prime?
True
Suppose 3*w = w + 4. Suppose -x + 69 = w*x. Is x a composite number?
False
Suppose 3*o - 1229 = 232. Is o composite?
False
Let q(d) = 4*d**3 - d. Let a be q(1). Let t be (-38)/6 + 1/a. Is (-92)/t - 8/24 a prime number?
False
Let t(r) = 3*r**3 - r**2 - 2*r + 3. Suppose -4*n + 30 = l + 4*l, 2*l + 11 = 3*n. Is t(l) composite?
False
Let m(f) = -2*f**3 - f**2 - 4*f - 1. Let p(k) = k**3 - k**2 + 1. Let i(h) = m(h) + p(h). Is i(-3) a prime number?
False
Let z = -497 - -1726. Is z prime?
True
Let o = 54 + -60. Let l(f) = 0 - 18*f + 4 - 1. Is l(o) a prime number?
False
Let b = 47 + -12. Let l be (-1)/(1 - 36/35). Suppose 0 = 2*o - l - b. Is o prime?
False
Let h(k) = 0*k + 2*k - 1 + 2. Suppose -4*m = 8 + 4, -2*v - 2*m = -2. Is h(v) composite?
True
Suppose 0*z - 8207 = -5*u + 3*z, -2*z + 8212 = 5*u. Is u a composite number?
True
Let w = -235 + 850. Let z = w - 428. Is z a prime number?
False
Let t = 29 + -23. Suppose 6295 = -d + t*d. Is d a composite number?
False
Is -4 + -1*67*-5 a prime number?
True
Let b = 0 - -1. Let p = -20 + b. Let t = p + 28. Is t a composite number?
True
Suppose -k + 2*k - 1040 = -5*d, 5*d = -3*k + 3150. Is k a composite number?
True
Let y be -3 - (1 + -2) - 2. Let s be (-3)/4 + 1/y. Is 2 - s/((-1)/(-9)) composite?
False
Let c(u) = -16*u + 12 - 1 + 12*u. Is c(-9) prime?
True
Is (-890)/(-6) - (1/3 + -1) composite?
False
Suppose 1925 = 2*g - 3*k, -k + 950 = -5*g + 6*g. Is g composite?
True
Suppose -3*x = -3*k - 9, 2*x - 4 - 4 = 3*k. Is (22/33)/(k/(-369)) prime?
False
Let c(n) = n**2 - n - 8. Let p be c(4). Suppose 5*f = -3*z - 0*z + 402, -p*f = 2*z - 266. Is z composite?
False
Suppose 4*z = 2*z + 1366. Is z composite?
False
Let r(k) = k**3 + 3*k**2 - 3*k - 3. Let l be r(-3). Suppose h = -3*j + 93, l*h = j + 3*h - 21. Suppose -j + 117 = t. Is t a composite number?
True
Let u(x) = -2*x**3 - 2*x**2 + 4. Let o be u(-4). Suppose 3*a + a = o. Is a a prime number?
False
Suppose 3*q - 2*m - 4477 = 1668, 4*q + 2*m - 8170 = 0. Is q a prime number?
False
Suppose -3*v = -2*g - 12, -3*g - 5*v = 2*g - 20. Let b(w) = -w**3 + w**2 - 2*w + 485. Is b(g) a composite number?
True
Suppose -27 = -4*a + 3*g, -a - 4*g = 9 + 8. Is a a composite number?
False
Let w(t) = 20*t**2 - 2*t - 1. Is w(-7) a prime number?
False
Let i(v) = v - 3. Let s be i(3). Let b(r) = -r**2 + 37. Is b(s) a composite number?
False
Let d(q) = -4*q + 2. Let g be d(3). Let f(h) = 2*h**2 + 21*h + 35. Let x(w) = -w**2 - 10*w - 18. Let b(i) = -3*f(i) - 5*x(i). Is b(g) a prime number?
False
Let k(h) = h**3 + 21*h**2 - 4*h + 5. Is k(-21) a prime number?
True
Suppose 0*s + 103 = 2*s + 5*r, 4*s + 4*r - 236 = 0. Let a = 123 - s. Is a prime?
True
Suppose 0*j = 4*j - 5*s - 4229, 2125 = 2*j + s. Is j a prime number?
True
Let k be (-12)/(-4) - (1 - 3). Suppose -152 + 37 = -k*n. Is n prime?
True
Let t(a) be the second derivative of 14*a**4/3 + 2*a**3/3 + 9*a**2/2 + 6*a. Is t(-4) composite?
True
Is (-3)/((-48)/(-7388))*(-4)/1 a prime number?
True
Is (36174/(-4))/((-45)/30) prime?
True
Let c(g) = -2*g. Let h be c(-2). Let f(n) be the second derivative of n**4/6 + n**3/3 - n**2/2 - 10*n. Is f(h) a prime number?
False
Suppose 6*g - 40 = 1178. Is g composite?
True
Let k = -5 + 8. Suppose -2*d + 3365 = k*d. Is d prime?
True
Let j(x) = -6 - 2 - 12*x + 3*x. Let z = -32 - -25. Is j(z) prime?
False
Let t(u) = -7*u**3 + u + 5. Is t(-4) prime?
True
Suppose 0 = f - 5*q + 20, 4*q - 43 + 6 = 5*f. Let n = 18 - f. Is n composite?
False
Suppose -3*u = -5*c + 22, u - 2*c + 1 = -8. Let s be ((-6)/u)/(-2) + 0. Suppose -2*m = -6, -3*m + 19 = -s*i + 457. Is i composite?
False
Let s = -18 + 21. Suppose -3*g - 791 = -l, -g + 2395 = s*l + g. Is l a prime number?
True
Let s(p) = -7*p**3 - 17*p**2 + 3*p + 9. Is s(-10) prime?
True
Let u be 2/(-7) - (-2)/7. Suppose -b + 63 = y, u*b + 181 = 3*y + b. Is y a composite number?
False
Suppose 0 = -j + 5*j - 13768. Is j a prime number?
False
Let o be (-1)/((-1)/2 + 0). Suppose -2*l - v + 77 = -l, o*l - 160 = v. Is l a composite number?
False
Let i be (-5 - 0)*(1 - 2). Let b = 10 + i. Is b a composite number?
True
Let o be ((-1)/(-2))/((-3)/(-18)). Suppose -7*n + 16 = -o*n. Suppose -v - n*l - 8 - 9 = 0, 0 = -4*v - 2*l + 2. Is v a prime number?
True
Suppose 2*a = -b + 18, -4*a - 3*b = -37 + 3. Let j = -7 + a. Is (6/j - 256)/(-2) prime?
True
Suppose 9*d = 8*d. Suppose -f + 1 + 1 = 0. Is d + 2/f + 126 prime?
True
Let g be 6/(-4) + 1788/8. Suppose 3*a - 60 - g = 0. Is a prime?
False
Is (-2)/(((-12)/(-746))/(-3)) a composite number?
False
Suppose -1341 = -6*c - 363. Is c prime?
True
Let g(s) be the first derivative of s**3/3 + s**2 + 3*s - 2. Let b be g(-2). Suppose -3*a = 2*o - 34, 0 = -b*o - 3*a + a + 61. Is o a prime number?
True
Let y be 237/27 - (-2)/9. Suppose 16 = 5*s - y. Suppose s*k = 62 + 133. Is k a composite number?
True
Suppose 0 = -3*n - 5*w - 10, 3*w = 4*n + 2*w - 25. Suppose i + n*v - 196 = 0, -2*i + 5*v = v - 364. Suppose -105 - i = -3*f. Is f prime?
True
Suppose 5*u - 2*l - 1176 = 2813, -3*u = l - 2389. Is u a composite number?
False
Suppose 4*f + 71 + 761 = 4*c, 4*c - 838 = 2*f. Is c a prime number?
True
Let m = -4011 + 8481. Suppose -5*r = -5*n + m, 6*n = 3*n - 2*r + 2657. Is n a composite number?
True
Let x = 2 - 2. Is 95 - (0 - x/(-2)) prime?
False
Suppose 0 = -4*o - 2*v + 22, 7 + 7 = 5*o - 2*v. Suppose 2*x - 2*k = 4, -o*k - 4 = x - 3*x. Suppose m + 0*m - 127 = -3*t, x = -m. Is t a composite number?
False
Let l be (0 + -6)*(-32)/6. Suppose -4*o - 5*k = -l, -3*k + 5*k = 5*o - 7. Suppose -41 = -o*n - 4*v, -2*v = 3*n + 9 - 46. Is n prime?
True
Suppose -s + 4 = -1. Suppose -5*k + 70 = -5*m, 1 = 3*k - s*m - 33. Suppose 10 + k = 2*d + 3*w, -2*w + 15 = d. Is d prime?
True
Let f(u) = -11*u - 5. Is f(-12) a prime number?
True
Let f = 30 + -5. Suppose 0 = 3*q - 8*q + f, 272 = -2*l - 4*q. Let d = l - -257. Is d composite?
True
Suppose 0 = -4*a + 2*a + 424. Let c = -49 + a. Is c composite?
False
Let q(v) = 1 - 7 + 3*v**3 + v**2 + 4 + 2*v. Let l be q(2). Suppose -60 = -2*r + 4*s + l, 2*s = 4*r - 210. Is r a composite number?
True
Let b(i) = i**2 - 6*i + 5. Let d be b(7). Let o = -6 + d. Suppose -4*y = -3*t + 33, -t + 5*y + 16 = -o. Is t a prime number?
True
Let k = -16 - -10. Let n be (-4)/k + (-11382)/(-18). Suppose 0*v + 5 = v, -4*h - v = -n. Is h a composite number?
False
Let y = 108 + -160. Suppose 6*n - 3*n - 321 = 0. Let f = y + n. Is f composite?
True
Let m(j) = -6*j**3 - j**2 + 4. Let v be m(-3). Let y = v - 80. Is y a composite number?
True
Let b be 3*(-5)/(5/46). Let l = b + 883. Is l a composite number?
True
Let i = 42 - -293. Suppose -9*n = -4*n - i. Is n a composite number?
False
Suppose -