 Is c a prime number?
False
Suppose 2*f = 4*b - 18, -12 = -2*b - 5*f + 15. Let c(z) = 7*z**3 - z - 1. Let h be c(3). Suppose -b*k + h = -k. Is k a prime number?
True
Let x(l) = l**2 - 3*l + 2. Let i be x(8). Suppose 0 = 3*n + 3*y - 30 - i, -5*n = -3*y - 136. Is n a prime number?
False
Let l(g) = -g**3 + 3*g**2 - 3*g. Let s be l(2). Let w = 0 - s. Let x = w - -5. Is x composite?
False
Let m = 1 - 3. Let r = m - -36. Is r a composite number?
True
Suppose c - 3 = 0, 0 = -0*o + 5*o + 4*c - 272. Let g = 85 - o. Is g a prime number?
False
Let l(u) = -u**2 - 4*u + 4. Let q be l(-5). Suppose 2*g = -3*o - 2, -10 = o - 2*g - 4. Is q/(o*(-1)/(-322)) a composite number?
True
Suppose 0 = -4*f + 3 + 9. Suppose 0 = -l + 2*t + f*t - 4, 0 = 5*l + 2*t - 7. Let m(h) = 30*h**3 + 2*h - 1. Is m(l) prime?
True
Suppose -h - h + 4*y + 30 = 0, 2*y = 3*h - 25. Suppose -12 = -z - h. Is z composite?
False
Let a(u) = -u**3 - u**2 + u - 1. Let m(d) = -6*d**3 - 13*d**2 - 3*d - 10. Let n(i) = -5*a(i) + m(i). Let l be n(-7). Is -46*(l + (-15)/6) prime?
True
Is 986 + ((-2)/(-4)*2 - 2) prime?
False
Let r = -687 + 1696. Is r prime?
True
Let s(q) = 4 + 4*q + 3 - q**2 + 3*q. Let j be s(7). Suppose 3*k - j - 11 = 0. Is k a prime number?
False
Let w(t) = 220*t**2 + t + 2. Let x(a) = a**2 - 4*a - 6. Let s be x(5). Is w(s) a prime number?
False
Suppose -2*z + 165 = 5*b, 7*b - 3*z - 190 = 2*b. Let v = -4 + b. Is v composite?
False
Let k(g) = -g**3 + 11*g**2 + 4*g - 4. Let t be k(11). Suppose 3*i + 3*l - 96 = 0, -i + l = 10 - t. Is i prime?
True
Let u(g) = g + 11. Let s be u(-8). Suppose 3*w - 32 = -w. Suppose s*q - 49 = w. Is q composite?
False
Let c(h) = -25*h**2 + 13*h - 2. Let x = 9 + -18. Let d(q) = -12*q**2 + 6*q - 1. Let t(s) = x*d(s) + 4*c(s). Is t(1) composite?
False
Let v(k) be the second derivative of -4*k**3 + 7*k**2/2 - 4*k. Let d(b) = 25*b - 6. Let j(r) = -6*d(r) - 5*v(r). Is j(-4) composite?
True
Suppose 3*t + 3*m = -4 + 61, -2 = 2*m. Suppose 5*b - t = 75. Is b a prime number?
True
Suppose -4 = -2*t - 3*i + 2, 0 = i. Let z(a) = -26*a**3 - a - 1 + 12*a**t - 23*a**3. Is z(-1) a prime number?
True
Is -4 + (1159 - 3) + -1 a composite number?
False
Suppose 1643 = -2*p + 6705. Is p a prime number?
True
Let j = 37 - -714. Is j composite?
False
Suppose n + 3*f - 10 = 0, 5*n + 22 = -f + 4*f. Let i be 4 + n - (-66)/2. Suppose 0 = -b + i. Is b a composite number?
True
Let m(n) = 2*n**3 + 2*n**2 - 3*n + 3. Suppose -4*r + 5*z - 4 = 0, 3*z = 5*r + 6 - 1. Let i be (2/3)/(r/(-3)). Is m(i) a prime number?
False
Let b(o) = 6*o + 1. Is b(11) composite?
False
Let u(p) = p**3 + 7*p**2 - 5*p - 6. Suppose 4*m + 3*z = -8, 2*m = -z - 5 - 1. Let x be u(m). Suppose x = 4*s - 3*s. Is s a prime number?
False
Suppose 0 = 4*x + x - 110. Is x a composite number?
True
Let k(x) = -x**3 - 4*x**2 + 3. Let j be k(-4). Suppose j*u - 3*a = -2*u, 4*a = -u. Suppose -5*d + 78 + 97 = u. Is d a prime number?
False
Suppose 9 - 1 = 4*w. Suppose -w*s - 5 = 3*s. Is (s + 0)*502/(-2) prime?
True
Let r = -7 - -11. Suppose -t - r*t = -10. Is (-5)/(-2)*t*7 a prime number?
False
Suppose -5*x + 379 = 44. Is x a composite number?
False
Let f = 13 + -9. Suppose -1 = -2*j + 3. Is 458/f + (-3)/j composite?
False
Suppose z - 2*h = -16, 3*z - 5*z - 7 = h. Is ((-2)/z)/((-4)/(-1524)) prime?
True
Let i be (-4)/((2/4)/(-1)). Is (52/(-6))/(i/(-12)) composite?
False
Let k be 1447/5 - (-8)/(-20). Let s = 148 - 306. Let x = s + k. Is x composite?
False
Let j(m) = m**3 - 13*m**2 - m + 4. Let p be j(13). Let k = -4 - p. Suppose -105 = -4*t - k. Is t prime?
False
Suppose -4 = -2*t, -5*t + 3983 - 946 = 3*n. Is n composite?
False
Let n(c) = -c**3 - 8*c**2 - 5*c - 5. Let a be n(-9). Suppose 0*y = y - a. Is y a composite number?
True
Let d(k) = 6*k. Let c be d(3). Let s be (-10377)/(-135) + 4/30. Let w = s - c. Is w composite?
False
Let w = 535 + -284. Is w a composite number?
False
Let p = 1298 - 675. Is p a prime number?
False
Let o be (2/3)/((-2)/(-12)). Suppose -4*g + 2 = -w, -o*w - w = -4*g + 10. Suppose -3*x - 4*p = -g*p - 121, -4*x - 3*p = -173. Is x prime?
True
Suppose 350 = 5*x + 3*c, -x + 5*c + 24 + 18 = 0. Is x a composite number?
False
Suppose 0*j + 628 = -4*j. Let u = 306 + j. Is u composite?
False
Let f(c) be the third derivative of -c**5/60 + 2*c**4/3 - 5*c**3/3 - c**2. Is f(9) prime?
True
Let o = -72 + 144. Suppose 0*w - 4 = -j - 5*w, 5*w = 3*j - o. Is j a prime number?
True
Suppose 4*p - 27 = -5*n, -3*p + p + 21 = 5*n. Suppose -2*y + 7*y + 10 = 0, -s - 4 = y. Is n*s/(-6) - -6 a prime number?
True
Let d(g) = -g**2 - 8*g + 12. Let p be d(-9). Suppose 321 = p*n - 396. Suppose -29 - n = -4*v. Is v a prime number?
True
Let d(h) = -h**3 + 7*h**2 + 5*h + 9. Let w be d(7). Suppose 0*b - 4*b - 84 = 0. Let x = w + b. Is x a composite number?
False
Let w(a) = 3*a**3 + a + 2*a - 2*a. Is w(2) a prime number?
False
Let o(p) = p**2 + 4*p - 3. Let f be o(-5). Let j be 5 + (3 - (4 - 0)). Suppose 4*q - f*h - 48 = -0*q, j*h - 30 = -q. Is q prime?
False
Let w = 76 + -34. Let o = -11 + w. Is o composite?
False
Let n = 583 - 404. Is n prime?
True
Let n(h) = -h**3 + 4*h**2 + 4. Let t be n(4). Suppose 4*o = -2*g + 214, -t*o - 20 = 3*g - 231. Is o composite?
True
Suppose -4*n + 233 = -3*n. Is n a prime number?
True
Let t(w) = -56*w - 3 + 1 + 1. Is t(-1) a prime number?
False
Suppose 11*m + 40090 = 21*m. Is m a composite number?
True
Let s be -1 + (-5)/((-15)/102). Let n be 15/(-20) + s/12. Suppose -4*u = n*h - 392, -3*u - 4*h + 493 = 2*u. Is u a composite number?
False
Let o = 85 + -55. Is (3/(-2))/(o/(-2360)) a composite number?
True
Suppose 0 = -x + y - 0 + 2, 4*y = -3*x + 13. Suppose 3*s - 35 = -6*i + i, 4*s - 24 = -i. Suppose -x*t = -i*t + 149. Is t composite?
False
Let c(j) = 23*j. Let v(g) = -45*g - 1. Let u(a) = -5*c(a) - 3*v(a). Is u(7) a prime number?
False
Let i = 3083 + -1282. Is i a prime number?
True
Suppose 0 = -v - 3 - 1. Let f(a) = 4*a**2 + 2*a - 3. Is f(v) prime?
True
Is (-6 - 3)/(1/(-17)) + 2 a composite number?
True
Let r(m) = 5*m**2 - m - 3. Suppose 4*g + 5*f - 6*f - 5 = 0, -2*g - 2 = -2*f. Let n(h) = -20*h**2 + 5*h + 13. Let d(u) = g*n(u) + 9*r(u). Is d(2) a prime number?
False
Suppose u = -2*u - 6. Let c be ((-4)/8)/(u/(-52)). Let j = -6 - c. Is j prime?
True
Suppose 2*k = -5*m + 4, -5*k = m + m - 10. Let o = 52 - 27. Suppose 2*t - 3*t + o = m. Is t a composite number?
True
Let i(d) = d**3 - 6*d**2 - 6*d - 6. Let n be i(7). Let k = n - 4. Is ((-14)/(-4) + k)*74 prime?
True
Is (-3 + 3 - -23)*43 a composite number?
True
Suppose 4*r + 3*f = 703 + 486, 4*r - 5*f - 1197 = 0. Is r prime?
False
Let v(t) be the second derivative of t**7/120 + t**4/6 - 2*t. Let q(r) be the third derivative of v(r). Is q(-1) prime?
False
Let z(q) = 10*q - 2. Let b be z(2). Let f be 74/(-9) - (-4)/b. Let g = f + 22. Is g prime?
False
Let c(k) = 16*k**2 - 6*k - 8. Is c(-5) prime?
False
Is (57 + 1 + 1)*1 composite?
False
Suppose 3*x - 38 = -k, 0*k + x = -3*k + 154. Let p = k + -7. Is p composite?
True
Let q(g) = 7*g**3 - 2*g**2 + 2. Let w(o) = o**2 + o + 1. Let r be w(-2). Let u be q(r). Suppose u = 3*c - 100. Is c composite?
True
Let m be (-3)/(-1) + 2 - -1. Suppose -m*n + 1504 = -2*n. Suppose -4*x + n = 28. Is x a composite number?
True
Let r(l) = l**3 + 12*l**2 + 6*l - 3. Let x(m) = -3*m + 9. Let o be x(5). Is r(o) a composite number?
True
Let n(f) = -42*f**3 + 2*f**2 + f + 1. Let p be n(-2). Let m = -36 + p. Is m prime?
True
Suppose -5*z = -0*z. Let r(c) = 2*c - c**2 + 307 - c + z*c**2. Is r(0) a composite number?
False
Let z = -7 - -7. Suppose -4*j + 2*j + 182 = z. Is j composite?
True
Suppose -2*q - 76 = 2*q. Let d = q + 32. Is d a composite number?
False
Let u(x) = -3 - 8*x**2 + 0*x + 3*x + x + 7*x**2. Let h be u(3). Suppose h = 6*b - 4*b - 254. Is b prime?
True
Let t = -859 + 2258. Is t composite?
False
Let v = 1 + -2. Let o be (0 - v)*(0 - -5). Is ((-21)/3)/((-1)/o) prime?
False
Let a(f) = -f + 3. Let k be a(-4). Suppose k = -5*b + 302. Is b a prime number?
True
Suppose 6*c - 8*c = -2554. Is c a prime number?
True
Let d(v) = 3*v**3 + 2*v**2 + 5*v - 6. Let f be d(-6). Let t = 1001 + f. Is t a prime number?
True
Let j(h) = 2*h - 9. Let i(n) = -3*n + 9. Let y(s) = -3*i(s) - 4*j(s). Let p be y(-6). Suppose 3*f + 12 = 0, 2*b - f = p*f + 22. Is b prime?
T