63 = s. Let m = q - -136. Is m a composite number?
False
Let p = -51 + 173. Suppose -p = -y - y. Let a = 92 - y. Is a a composite number?
False
Let x be (4/(-3) + 2)*-6. Let z = -28 - x. Let u = z + 38. Is u composite?
True
Let g be 3/((-9)/(-75)) - 2. Let t = 49 - g. Let p = t + -5. Is p a composite number?
True
Suppose -2*m + 3*z = 2*m - 14, -2*z + 29 = 5*m. Suppose s = m*c + 4*s - 607, 4*c - 488 = -3*s. Is c a composite number?
True
Suppose 26*j - 17*j - 1431 = 0. Is j a prime number?
False
Suppose 5*q - 1749 = 2*q. Is q prime?
False
Let a(f) = -4*f**2 + f - 1. Let l be a(1). Let h be 2/l*(-1 - 3). Suppose -h*k - 3*k = -35. Is k prime?
True
Suppose -3*s - 4*v = -48, 2*s + 69 = 5*s - 3*v. Suppose s = 3*m + 2*m. Suppose 0 = -m*a - 5*o - 55 + 207, a = -o + 38. Is a prime?
False
Suppose x + 82 = 4*c, x + 47 = -5*c - 17. Let p = 108 + x. Suppose 5*o = p + 301. Is o a prime number?
True
Let t(s) = 42*s**2 - 3*s - 8. Is t(-3) a prime number?
True
Let o(q) = 14*q**3 - 2*q**2 + q + 2. Let z be o(-2). Let c be 2/7 + z/28. Let k = 30 + c. Is k a prime number?
False
Suppose 3*j = -f + 251, 3*f + 6*j - 3*j = 753. Is f a prime number?
True
Suppose 2*g - 116 = -4*r, 4*r + 47 - 135 = 5*g. Is 3/((r/57)/3) composite?
False
Let s = -6 - -9. Let b be ((-264)/9 + 1)*s. Is (2 + (-36)/15)*b a prime number?
False
Suppose -o = -200 + 21. Is o composite?
False
Let p(z) = -z**2 - 2*z + 4. Let k be p(-3). Suppose 5*f + 95 = -5*a, -2*f = -3*f - k. Is (-10)/45 - 2182/a a prime number?
False
Let u be (-3 - 28*1)*-1. Let l = 3 - -1. Suppose -i - u = -a - l*i, 0 = -2*a + 3*i + 80. Is a composite?
False
Suppose 0 = -5*k + 6*k - 1. Let w be (1 - 1/2)*46. Is w/((-1 - -1) + k) a prime number?
True
Suppose 8*x - 4828 = 780. Is x a composite number?
False
Let w(c) = -c**3 + 11*c**2 - c + 9. Let o be w(11). Is 82 + 0*1/o composite?
True
Suppose 4*r - 4877 = -97. Is r a prime number?
False
Let c = -79 - -145. Suppose 3*y - 4*d + 11 = 0, 4*y - 3*d = -y. Suppose y*f - c = f. Is f a composite number?
True
Suppose 0 = x, 2*i - x - 18 = -i. Suppose -i*d + 11*d = 165. Is d composite?
True
Suppose -5*s + 1127 = -4*o, -3*o + 1084 = 5*s - 22. Is s a prime number?
True
Let x(n) = -106*n + 1. Let w be x(4). Let q = -178 - w. Suppose 2*u - q = -5*j, -5*j + 84 + 136 = -3*u. Is j a prime number?
True
Let n be 10/2*6/15. Let r be 0 + n - (-4)/2. Suppose -z - 3*z - 5*k + 17 = 0, -r*k = -z - 1. Is z a prime number?
True
Let o(x) = x**3 - 17*x**2 - 15*x - 2. Let v be o(17). Let j = v + 400. Is j composite?
True
Suppose 0 = -6*x + x + 1235. Is x a prime number?
False
Let x = 1 - -2. Let o = x - 5. Is (3 - (2 + o))*11 prime?
False
Let c(f) = -f**2 - 7*f + 4. Let o be c(-7). Suppose -1 = 3*x - 4*n - 811, -2*x - o*n = -560. Suppose -x - 141 = -5*u. Is u a composite number?
False
Let f = 182 + -79. Is f prime?
True
Let d(y) = 3*y**3 + 9*y**2 + y - 1. Suppose -2*j - 6 = -j. Let a be d(j). Let o = -182 - a. Is o prime?
True
Let d(y) be the third derivative of -y**5/60 + 5*y**4/12 + y**3/3 - 3*y**2. Is d(9) a composite number?
False
Let o(u) = u**2 + 14*u + 3. Let t be o(-14). Suppose 2*p = -t*p + 1905. Is p composite?
True
Let d = 0 - 1. Let v(c) = 3*c**2 - c - 1. Let h be v(d). Suppose -3*z + z + y = -69, h*z - y = 104. Is z prime?
False
Let h(n) = 103*n + 1. Let f be h(6). Suppose f = x - 4*r - 180, -5*x + r = -4071. Is x prime?
False
Let j(l) = -4*l**3 + 2*l**2 - 5*l - 2. Let o be 6/(-45) + (-73)/15. Is j(o) a prime number?
False
Let l = -7 + 11. Suppose -2*w + 10 = -3*d, 2*w - d - 2 = l. Suppose q - 81 = w*b, 4*q + 42 = 3*b + 386. Is q a composite number?
False
Let f = -1 - -1. Suppose 5*n + 2*t + 227 - 1027 = 0, -t = f. Suppose -5*p - 45 = -n. Is p a composite number?
False
Let u(r) be the first derivative of -1/3*r**3 + 2 + r - 5*r**2. Is u(-6) a composite number?
True
Is 0 + 0 + 1 + 14 composite?
True
Let v = 1 + 143. Suppose 4*p + 2*b - v = 0, 0*b = 4*p - 5*b - 130. Is p a composite number?
True
Let t = -195 - -2632. Is t composite?
False
Let o be -2 - 7/(28/(-800)). Suppose -2*j + 5*w + o = 0, 532 - 196 = 4*j + 5*w. Is j a prime number?
True
Let a(n) = -n**3 - 2*n**2. Let c be a(-2). Suppose c = -2*k + 12 - 2. Suppose 3*i - k*f = 190, 2*i = 5*f + 50 + 75. Is i a prime number?
False
Let o(g) = -g + 7. Let k be o(7). Suppose 0 = -4*f - k*f - 28. Let r(w) = -w**2 - 6*w + 10. Is r(f) composite?
False
Let v(g) = -g**3 + 3*g**2 - 2*g - 1. Let z be v(2). Is z + (-3 - -85) - 2 composite?
False
Let z be 2 - (0 + (-1 - -2)). Let b(k) = z - 2*k + k + 2*k - 5*k + 2*k**2. Is b(-3) prime?
True
Let c be 6/(-4) + (-1)/2. Let g be (-2)/4*c*2. Suppose j - 465 = -g*j. Is j a prime number?
False
Let u(p) = -2*p - 2 + 2 - 2*p. Let k be u(-1). Suppose k*l - 68 = -2*j + 378, 5*l - 446 = -2*j. Is j composite?
False
Let r(s) = 4*s**3 - 18*s**2 + 2*s + 1. Is r(9) a prime number?
False
Let v(w) = 2*w**2 + 3*w + 12. Is v(-7) a prime number?
True
Suppose 0 = -3*y - 1 + 7. Suppose 2*o - 8 = 2*h, -o + 4*h = -0*h + y. Is o a prime number?
False
Let y = 149 + -76. Suppose 4*g + y + 18 = i, -3*g = 0. Is i composite?
True
Let m(q) = 15*q - 6. Let p = -8 - -13. Is m(p) a composite number?
True
Suppose 8*q - 1565 = 27. Is q a composite number?
False
Suppose b = -3*v + 6*b + 178, -2*b + 2 = 0. Let h be 111 - 2/(1 + 1). Let z = h - v. Is z a prime number?
False
Let c(g) = 3*g**3 + g**2 + 3*g - 1. Let f be 0 + 0 - (1 - 8). Let b(v) = -v**2 + 8*v - 5. Let a be b(f). Is c(a) prime?
False
Suppose -2*n + 424 = 2*n - 4*i, 0 = 4*n + i - 409. Let v = n + -44. Is v prime?
True
Let n = -2 - 1. Let d = 5 + n. Suppose -a - 19 = -d*a. Is a a composite number?
False
Suppose o - 3*w + 13 = 2*o, 3*o - 23 = -w. Is -33*(o/(-3) + 2) prime?
True
Suppose -1899 + 6513 = 6*f. Is f a prime number?
True
Suppose -3*m + n - 3 = 0, 2*m - 2*n = m - 6. Suppose m = -5*v - 0*v + 215. Is v a composite number?
False
Let f = 1282 + -695. Is f prime?
True
Suppose l + 4*l + 40 = 5*s, -4*l = 5*s - 4. Suppose m - 25 = s*t, -3 - 85 = -4*m + 4*t. Is m prime?
False
Suppose 15 + 0 = 5*z. Suppose 132 = 7*h - z*h. Is h a composite number?
True
Suppose 0 = -43*p + 41*p + 8210. Is p a composite number?
True
Let q(p) = -p**3 - 6*p**2 - 5*p + 6. Let k be q(-5). Suppose 3*i + 5*n + 124 = k*i, i - 43 = 2*n. Is i composite?
True
Suppose 0 = 2*y + o + 2 - 4, o = 2*y + 2. Suppose y*h - 4*h = -20. Suppose -205 = -2*p - 2*p + h*z, 5*z - 180 = -3*p. Is p prime?
False
Let l(i) = i**3 + 2*i**2 - 3*i + 2. Let r be 48/(-20) - (-3)/(-5). Let w be l(r). Suppose 2*d + w*d - 2*z = 242, -3*d + 183 = -z. Is d a prime number?
False
Suppose -4*t + 4565 = 3*q, 5*q + 2*t = -0*t + 7627. Is q a prime number?
False
Suppose -3*r + 4130 = -853. Is r a prime number?
False
Suppose -2*r + 21 - 3 = 0. Suppose -2*n = -n - 4*k + r, 0 = 5*k - 15. Is 556/12 - 1/n prime?
False
Is (1 - 8/20)*25 composite?
True
Let y(f) = f**3 + 5*f**2 + f + 4. Let p be y(-5). Let g be p*20*(-1)/2. Is (-14)/(-5) + 2/g prime?
True
Let a = 3 - 2. Is a/(-3) + (-1902)/(-9) a composite number?
False
Suppose -6*c - 4*k - 4 = -c, 3*k - 4 = -2*c. Let m(h) = -19*h + 3. Is m(c) a prime number?
True
Suppose -5*p + 1508 = -p. Is (-2)/(-2) + (p - -3) a composite number?
True
Let j = -5 - -2. Let b be (20/(-8))/(j/(-144)). Let o = 178 + b. Is o composite?
True
Suppose 4*m + 2*r = -r + 832, -3*m = 2*r - 625. Is m composite?
False
Let u(j) = 3*j - 1. Let n be u(1). Suppose s + 2*p = 4*s + n, -3*s = 2*p - 14. Suppose 1 = -s*o + 23. Is o composite?
False
Let q(s) = 4*s**2 - 2 - 5*s - s**2 - 7. Is q(8) composite?
True
Let m be 6/(-4)*(-16)/12. Suppose 3*k - m*k = 5*u - 7380, 3*u + k = 4436. Is u prime?
False
Suppose 0 = z - 2. Let a(t) = t**3 + 5*t**2 + 3*t - 2. Let c be a(-4). Suppose -z*f + 204 = c*f. Is f a composite number?
True
Suppose 67 = q - 0*q. Let w = 22 + q. Is w a composite number?
False
Let a = -8 + 6. Let l be (0/(6/a))/2. Suppose -z + l*z = -79. Is z a prime number?
True
Let t = 47 - 29. Let n be (24/t)/(4/6). Suppose 4*l + n*c - 90 = 3*c, 4*l - 4*c - 84 = 0. Is l a composite number?
False
Suppose 6*d - 22 = 5*d. Suppose 2*z - 4 = d. Is z prime?
True
Let r(g) = 14*g**2 - 6*g + 7. Let n be r(-5). Is (-1*1)/((-9)/n) a prime number?
True
Let g = 696 - 131. Is g a prime number?
False
Let j(u) = -u**2 + 23*u - 1. Let o = -6 + 17. Is j(o) a