0, 3*g = 3*l - 1467. Is l prime?
True
Suppose -3 - 6 = -3*m. Let k be 2/10 - m/15. Suppose -4*f = -5*i + 146, 0*i + 3*i - 2*f - 86 = k. Is i a composite number?
True
Let d(j) be the first derivative of -13*j**4/4 - j**3 - 3*j**2/2 - 3*j - 1. Is d(-2) a composite number?
True
Suppose 5*b = 2*p + 2, 0 = 2*p - p - 4. Suppose 2*l - 156 = -b*l. Suppose 0 = -0*w - 3*w + l. Is w composite?
False
Let q = 3433 + -1484. Is q a prime number?
True
Is (-18)/(-27) - (-955)/3 composite?
True
Suppose 2*r - 255 = -r. Suppose 0 = 2*t - t - r. Is t composite?
True
Let d(m) = 13*m**2 + 7*m + 1. Is d(5) a prime number?
False
Let v(i) = -2*i - 1. Let a be v(-1). Let t = 5 - a. Suppose 4*g + 5*w - 128 = 0, -2*g + 80 = t*w + 22. Is g a composite number?
False
Let y(a) be the second derivative of a**4/6 + a**3/2 - 2*a**2 + a. Let m be y(-5). Suppose 64 = 5*f - m. Is f a composite number?
False
Suppose -3*w + a + 3*a = -23, 0 = -3*a + 3. Is w a composite number?
True
Is ((-1029)/14 + 3)*(-10)/3 a prime number?
False
Suppose 8 = -4*o + 2*j, -4*j = -o - 0 - 2. Let x be (0 + 1)/(o/(-10)). Suppose -t + 5*c = -64 - 52, x*c = 5*t - 560. Is t prime?
False
Let y = 4 + 1. Suppose y*q + 5*m - 1075 = 0, -q + 195 = -2*m - 2*m. Is q prime?
True
Let f = 6 + -3. Suppose 0 = -0*b + f*b. Suppose b*t + 5*t + 168 = 2*y, 4*y - 306 = -5*t. Is y composite?
False
Suppose 10*f + 29301 = 13*f. Is f a composite number?
False
Is (-2)/(4 + 13470/(-3365)) a prime number?
True
Let x = 235 - 144. Is x a prime number?
False
Suppose -2*q - 4*u = -0*u - 1066, 4*q - 5*u - 2197 = 0. Suppose -q = 2*g - 5*g. Is g composite?
False
Suppose 0*f = -f + 115. Is f a prime number?
False
Let f(z) = -z**2 - 17*z - 11. Let a(t) = -t**3 - t**2 + 1. Let i be a(2). Is f(i) composite?
True
Let l(m) = 191*m**3 + m**2 + m - 2. Is l(1) a composite number?
False
Let w(f) be the second derivative of f**4/12 - f**3/3 - f**2 - 3*f. Is w(-3) prime?
True
Let p be (-1 - -11)/((-13)/(-26)). Suppose 2*f - p = 22. Is f a composite number?
True
Let p(a) = a**2 - 4*a + 1. Let s be p(3). Let t be 158/(-4)*(-24)/s. Is (-8)/(-2)*t/(-24) a composite number?
False
Let r be 2/(-2) - (-5 - -1). Suppose -374 = -4*a - r*o, -4*o - 101 = -a - o. Is a prime?
False
Suppose 2*z = 2*f + 14, -2*f - 33 = -5*z - 13. Suppose x + 7 = -3*l - z*l, 2*x = 4*l + 14. Suppose -x*n = -7*n + 76. Is n a composite number?
False
Suppose 1 = f - 104. Let i(t) = t**3 + 7*t**2 + 4. Let w be i(-7). Suppose -w*d = -d - f. Is d prime?
False
Let h be (-47)/(-9) - (-6)/(-27). Suppose -l = -5*t + 3*l - 20, -3*t = -5*l + 25. Suppose -2*n + k = 6*k - 105, t = -h*n + k + 330. Is n composite?
True
Let c = 225 - 68. Is c a composite number?
False
Suppose 0 = -7*n + 2*n + 15. Suppose 121 = n*s - 4*s. Let p = -68 - s. Is p a composite number?
False
Let p = 1 + -8. Let v = 6 - p. Is v composite?
False
Let p be (2 - (-12)/(-2))/1. Let v be (p/5)/((-6)/15). Suppose 4*f - 304 = -0*f - 3*y, f = v*y + 87. Is f a composite number?
False
Let c(a) = a**3 + 5*a**2 - 5*a + 8. Let b be c(-6). Is (-5)/(b/(-45 - 1)) a prime number?
False
Let y be 1/(-5) - 2/(-10). Let f = 5 + y. Suppose -f*u - 51 = -4*z, 0 = -u - 0*u + 1. Is z prime?
False
Suppose 4*n = 3*n + 25. Is n a composite number?
True
Let f(l) = l**3 + 4*l**2 - 7*l - 6. Let o be f(-5). Suppose -198 - 38 = -o*p. Is p a prime number?
True
Let y(h) = -4*h + 2. Let b be y(-7). Let l = 61 - b. Is l composite?
False
Let o(g) be the first derivative of 5*g**2/2 - g + 1. Let i be o(1). Suppose -i*z = -3*y + 49, y - 4*z - 3 = -0*z. Is y a prime number?
True
Suppose 0 = -5*f + 22 + 8. Let z = -47 - -51. Suppose -3*q - 4*i + 373 = 0, -496 = -z*q - f*i + i. Is q composite?
True
Let m be (-550)/11*2/(-5). Let f be 4/10 - 308/m. Let a = 38 + f. Is a a composite number?
False
Suppose i = 434 + 116. Suppose -a + i = -2*o, -5*o + 5*a - 397 = 968. Let q = 398 + o. Is q a composite number?
True
Suppose 2*s - 47 = v, 2 = 5*s + 7. Let d be v/(-14) + 1/2. Suppose 2*z + 0*m = m + 168, -d*m = -16. Is z a composite number?
True
Let j = -2124 - -4305. Is j a prime number?
False
Suppose -l = -6*l + 295. Is l composite?
False
Let k = 4 - 2. Is -2*((-93)/k)/3 a composite number?
False
Suppose -b + 6*z = 10*z - 3977, -z = -2*b + 7945. Is b prime?
False
Suppose 241 = 3*s - 1247. Let c be (-4)/14 + (-23)/(-7). Suppose -5*p + s = 3*b, 4*p = -c*b + p + 486. Is b a prime number?
True
Let n = 19 - -6. Let t = 12 + n. Is t a composite number?
False
Let a be (1 + 0)/((-1)/9). Let j = a + 21. Is -15*4/(j/(-5)) composite?
True
Is 90/(-4)*-2 + 1 composite?
True
Suppose 3*t - 203 = 4*f, -5*f + 0*t - 248 = 2*t. Let k = 30 + f. Let h = k - -43. Is h composite?
False
Let i be -162 - 6*(-2)/4. Let s = 304 + i. Is s composite?
True
Let r(o) = 16*o + 4. Let t be r(3). Suppose -q + 3*q - t = 0. Is q composite?
True
Let u(d) = d**2 + 8. Let n(f) = 6*f**2 + f + 40. Let t(z) = 2*n(z) - 11*u(z). Let k be t(-10). Suppose -v + k + 37 = -2*l, -2 = -l. Is v prime?
True
Suppose -3*f + 4*f + 4*p + 1 = 0, -4*p = -2*f - 50. Let l = f + 31. Is l a prime number?
False
Let m(o) = -o - 5. Let c(v) be the first derivative of -4*v**2 - v + 3. Let r be c(1). Is m(r) a prime number?
False
Suppose 5*x + 512 = x. Let f = x + 379. Is f composite?
False
Let v(i) = 27*i + 5. Is v(18) composite?
False
Suppose 5*q = 2*o - 226, 3*o + 22 = -5*q - 214. Is (10/(-20))/(1/q) composite?
False
Let l(p) be the second derivative of p**7/630 - p**6/144 + p**5/40 + p**4/12 - 3*p. Let n(a) be the third derivative of l(a). Is n(4) composite?
False
Let r(o) = o**2 - 8*o + 2. Let v(a) = -a + 1. Let b(d) = r(d) - 6*v(d). Let x be b(4). Suppose 2*s = -x*w + 208, -3*w + 161 + 0 = -s. Is w composite?
False
Suppose 0 = 4*q + 5*i - 32, q - i = 4 - 5. Suppose -q*x + 1 = -5. Is x composite?
False
Suppose -5*n + 2*c + 3065 = -3*c, 3*n = 5*c + 1839. Is n a prime number?
True
Suppose 0 = -5*k + 489 + 106. Is k prime?
False
Suppose -22 + 7 = -3*a. Suppose -a*q = -25 - 5. Let d = 0 + q. Is d a composite number?
True
Suppose 0 = 7*z - 516 - 13855. Is z composite?
False
Let p(q) = -q**3 - 2*q**2 + 3*q. Let l be p(-3). Suppose -3*f + 87 = u - 185, l = -2*f + 2*u + 184. Is f composite?
True
Suppose -77 = -h + 3*n + 1118, 0 = 4*h - 3*n - 4780. Is h prime?
False
Is 1334/6 + (-12)/9 prime?
False
Let w(f) = 9*f - 1. Let n be w(1). Suppose 5*a - 2403 = -n. Is a composite?
False
Let d(x) = -3*x**3 - 6*x**2 - x - 2. Let v be (-56)/12 - 2/(-3). Let m be d(v). Let p = m + -15. Is p a composite number?
False
Let k(i) = 63*i + 22. Is k(15) composite?
False
Let d = -76 + 23. Let l = 35 + d. Is (-4)/l - 79/(-9) a prime number?
False
Let y be 26/6 + 3/(-9). Suppose -5*c + 6*c = -y. Is (116/(-10))/(c/20) a prime number?
False
Let p(s) = -s**3 - 4*s**2 - 14*s - 14. Is p(-15) prime?
True
Suppose 1910 = 7*m - 2*m. Is m a composite number?
True
Suppose 0 = -4*u + z + 34, -2*z + 3 = u - 5*z. Is (-43)/u*-3*15 a prime number?
False
Suppose 3*p = -2*u - 2*u + 113, -p - 5 = 0. Is (-1084)/u*2*-4 composite?
False
Is -1 + 3 + (-258)/(-2) prime?
True
Let o = -171 - -241. Suppose o = 2*h + 3*h. Is (0 - h/(-4))*2 composite?
False
Suppose 2*f + 4 = -0*f, 0 = -4*a - f + 642. Is a a prime number?
False
Suppose 0 = g + 1 - 0. Is 5*(g - (-222)/15) a composite number?
True
Is (1 - (1 - 1))/((-22)/(-8558)) a prime number?
True
Suppose k + 5*j = 605, 0 = -k - 3*j - 26 + 621. Suppose u - 147 = 2*x, k = 3*u + u - 4*x. Is u prime?
False
Suppose 0 = -0*s + 5*s - 15. Suppose -312 = -v - s*v - 5*y, -16 = 4*y. Is v composite?
False
Let u(c) = -21*c**3 + 2*c**2 + 2*c - 3. Let f(a) = 43*a**3 - 5*a**2 - 5*a + 7. Let n(i) = 4*f(i) + 9*u(i). Is n(-2) composite?
True
Let y = -4 + 4. Let k(s) = s**3 - s + 91. Is k(y) a prime number?
False
Suppose 8 + 8 = 2*r. Let a = 71 + r. Is a a prime number?
True
Let u(z) be the third derivative of 7*z**6/120 + z**5/60 - 5*z**4/24 + z**3/2 - 3*z**2. Is u(2) a prime number?
True
Let k(l) = -l + 11. Let v be k(7). Suppose -6*f - 4*m = -f - 582, 5*f - v*m - 598 = 0. Suppose 4*u - f + 30 = 0. Is u a composite number?
True
Let n(o) = -o - 5. Let t be n(-7). Suppose -4*v = -t*v - 266. Is v a prime number?
False
Let d = -37 - -240. Is d a prime number?
False
Let c(g) = -46*g**2 + 2*g + 3. Let o be c(-3). Let b = -298 - o. Is b a composite number?
True
Suppose 