. Suppose 0*d + 4*d = f*c + 1170, -d + 290 = -3*c. Is d prime?
True
Is ((-2510)/(-3))/((-2)/(-3)) composite?
True
Suppose 0*r = -4*r + 484. Let g = r + -36. Is g prime?
False
Let s(v) = v + 5. Let z be s(-5). Suppose z*n - 5*n + 25 = 0. Suppose -p - 18 = -5*p + n*k, k = p - 5. Is p a prime number?
True
Let d(r) = -r**3 - 6*r**2 - 7*r - 5. Let g be d(-5). Let k(h) = 24*h + 3. Let f be k(g). Suppose m + 4 = f. Is m a prime number?
False
Let r(j) = 7*j**2 + 4*j - 4. Let b be r(3). Suppose -5*u - 4*y = -319, y = u - 0*u - b. Is u a prime number?
True
Suppose -12 = -4*u - 2*b, -2*u + 5*b = -10 - 20. Let c(n) = n - 1. Let k be c(u). Suppose -4*s + 188 = 3*h, k*s = -0*h + 4*h + 188. Is s a composite number?
False
Suppose -2*q + 60 = -0*q. Suppose -m = m - q. Is m prime?
False
Let n(v) = -v**2 + 3. Let p be n(0). Suppose -2*o + 2*r + 3*r = -178, 267 = p*o + r. Let g = -36 + o. Is g prime?
True
Let i = -19 - -57. Let r = 53 - i. Is r composite?
True
Let w be 1/(-2*3/12). Let l be (w/(-1) - 1) + -8. Let j(h) = -h**2 - 11*h - 5. Is j(l) a prime number?
True
Let t be 3 - (14 + (-1 - 2)). Let m(k) = -2*k - 12. Let a be m(t). Is (a/(-2) + -49)/(-1) a prime number?
False
Suppose 2*r = -3*s + 684, 2*s - 3*r = 16 + 440. Is (-222)/4*s/(-18) a prime number?
False
Let j(t) = -3*t - 11. Suppose d - 2*w - 4 = 0, -5*d = -3*w - w - 32. Let l be j(d). Is 4/(-14) - 2985/l a prime number?
False
Suppose -2*f - 3545 = -7*f. Is f a composite number?
False
Let f be 4/3*54/24. Suppose f*t + 4*l = 1420 + 65, -2470 = -5*t - 5*l. Is t prime?
True
Let c(b) = b**2 - 3 - 4 - 8*b - 2*b**2. Let p(q) = 3*q**2 + 25*q + 22. Let r(i) = 7*c(i) + 2*p(i). Is r(-4) a prime number?
True
Let y be (-3452)/(-12) + 2/(-3). Suppose 0 = 5*a + 2*d - 518 - y, 5*a + 3*d - 810 = 0. Suppose -q + a = 2*q. Is q a prime number?
True
Suppose -3*b = 2*b - 25. Suppose 3*g = b*g - 788. Is g prime?
False
Let f(d) = d**2 - 7. Let p be f(-3). Suppose p*i + 285 = 7*i. Is i a composite number?
True
Let f be (-1)/2 + 28/8. Is (2/f)/(8/924) composite?
True
Let g = 15395 + -10862. Is g a prime number?
False
Let f = 529 + -193. Suppose -3*i - 2*s = s - f, -s + 338 = 3*i. Is i a composite number?
False
Suppose -5*d - 144 = 176. Let x = 115 + d. Is x a prime number?
False
Suppose 0 = t + 5*y + 32, 5*y + 0*y - 36 = 3*t. Let l = t + 38. Is l prime?
False
Let y = 7 + -4. Suppose -y*r = -7 + 1. Suppose r*g = -5*u + 44 + 143, -4 = g. Is u composite?
True
Suppose 3*f + f + 584 = 0. Let n = f - -411. Let p = n - 186. Is p a prime number?
True
Suppose -4*a - 202 + 950 = 0. Is a composite?
True
Is (-54)/(-18) + 628/1 a prime number?
True
Let z = -246 - -433. Is z a composite number?
True
Suppose -4*w + 2205 = -5399. Is w prime?
True
Suppose p - 109 - 568 = 0. Is p composite?
False
Suppose 6*x = -0*x + 834. Is x composite?
False
Let t(k) = -460*k - 3. Is t(-1) a prime number?
True
Let i = -1 + 4. Suppose 0 = 5*o + t - 273, 0 = 3*t + i + 3. Is o prime?
False
Is 8974/(-21)*(-6)/4 a composite number?
False
Let o = -305 + 1296. Is o composite?
False
Is ((-3)/18*2)/(2/(-5826)) composite?
False
Let t = 31 + -27. Is (t/(-10))/((-4)/1270) prime?
True
Let u(c) = 3*c**2 + 2*c + 1. Let q be u(-1). Suppose 3*f = 5*d + 91, 0 = -2*f - 0*d + q*d + 66. Is f composite?
False
Let d(y) = -y**3 + 5*y**2 + 8*y + 3. Let h(i) = 0 + 1 + 3*i**2 - i + 3*i**2. Let w be h(1). Is d(w) a composite number?
True
Let r(b) = b**2 + 6. Let m be r(0). Let j be 1/2 - m/(-4). Is 6/(-3) + (99 - j) a prime number?
False
Let p(c) = c**2 + 6*c + 2. Let t be p(-6). Suppose -t*h = -6*h + 2*i - 18, -2*h - 2*i = -6. Let f(s) = -s**3 + 2*s**2 - 1. Is f(h) prime?
False
Suppose -2*q - 2*j + 0*j + 262 = 0, 4*q = 2*j + 518. Suppose 4*v - 2*y = q + 872, 4*v - 999 = 5*y. Is v a composite number?
False
Let c(h) = -2*h - 7. Let i(r) = 5*r**2 - r - 1. Let j(l) = -11*l**2 + 2*l + 1. Let q(o) = 13*i(o) + 6*j(o). Let y be q(0). Is c(y) a prime number?
True
Let y = -132 + 331. Is y a composite number?
False
Let b = -66 - -131. Is b a composite number?
True
Let i(w) = w + 9. Let c be i(-7). Suppose c*l - 4 = 2. Suppose 0 = -g + 7 + l. Is g a composite number?
True
Suppose u = -q + 316, -4*u + 1514 = -q + 255. Let a = -184 + u. Is a a prime number?
True
Suppose 4*b = -b + 25. Suppose -z + 13 = b*y, -z - 4*y + 23 = 4*z. Suppose 4*v - 7*k = -3*k + 80, -z*k = -5*v + 90. Is v a prime number?
False
Let h = -4 - -1. Let f(b) = b**2 - b + 2. Let j be f(0). Is (-9)/h - (-56)/j composite?
False
Let j(f) be the first derivative of 34*f**3/3 - f**2 - f + 1. Is j(-1) composite?
True
Suppose n - 3*a - 138 - 14 = 0, -2*a + 172 = n. Suppose 4*t - 629 = h + 4*h, -h + n = t. Is t prime?
False
Suppose -4*o - 26 = 5*g - 10*g, -4*o = 16. Let m be 1*(2 + 1 + g). Suppose -125 = -10*d + m*d. Is d a composite number?
True
Suppose -6 = -3*c + c. Suppose -c*o - 750 = -6*o. Suppose -5*u + 25 = -o. Is u a composite number?
True
Let z(h) = h**2 + 2*h - 3. Let f be z(2). Suppose f = 5*t - j, -1 = 3*t - j - 4. Suppose 45 + t = 2*l. Is l a prime number?
True
Suppose -2*w - 516 = -6*w. Suppose -5*k = -5*a - 205, -2*k + 5*k - w = 5*a. Is k composite?
True
Let k be -3 + -184*5/(-10). Let c(x) = -6*x**2 + 4*x. Let t be c(3). Let l = k - t. Is l composite?
False
Let q(u) = 4*u - 6. Suppose 4*y - x + 5*x = 56, 0 = 5*y + 3*x - 62. Is q(y) composite?
True
Suppose 4*j = 13 - 1. Is j composite?
False
Suppose 0 = -3*j - 96 + 762. Suppose -3*x + j = -123. Is x a composite number?
True
Let t(u) = -u**3 + 9*u**2 - 6*u - 9. Is t(7) a composite number?
False
Suppose -38 = 4*o + l - 542, 2*o + 3*l - 252 = 0. Suppose 2*h = 68 + o. Is h a prime number?
True
Let v(h) = h**3 - 9*h**2 - 3*h - 2. Let n be v(10). Suppose -180 = -4*b + n. Is b composite?
True
Let k be (1 - 1)/(1 - -1). Suppose -y + 3*i - 10 = -k*i, 3*i = -4*y + 35. Suppose x + 59 = 4*v, 10*v - x = y*v + 74. Is v a prime number?
False
Suppose 4*y - 7 = 3*c, 5*y - 4 = 4*c + 4. Let j(h) = 2 + 6*h + 6 - c. Is j(9) prime?
True
Let i be (-2)/(-3)*81/18. Suppose -1081 = -i*y - 382. Is y a composite number?
False
Suppose -5*l + i + 2667 = 0, -2*l - l + i = -1601. Is l a prime number?
False
Let s(r) = -5*r + 10. Let p(n) = -n**3 - 9*n**2 - 6*n + 6. Let f be p(-8). Let h be (-3 - -2) + 0 + f. Is s(h) prime?
False
Let j = -511 + 778. Let y = -110 + j. Is y a composite number?
False
Let w be 2446/(-9) + (-22)/99. Let u = w + 507. Is u composite?
True
Let r(m) = m**3 + m**2 + 2*m - 2. Let t be r(2). Let v be t*(-2 + 3 - -1). Suppose -2*i + 4*i + v = 4*h, -4*h + 4*i + 20 = 0. Is h a composite number?
True
Let q(a) = a**2. Let s(p) = 24*p**2 - 1. Let v(r) = -4*q(r) + s(r). Is v(2) a composite number?
False
Let c(i) = i**2 + 3*i + 2. Let p be c(-2). Let v(q) = q**3 + 2. Let k be v(p). Let u(w) = 23*w. Is u(k) composite?
True
Let z be (-8 - -6)/(1/3). Is (-888)/(-36)*z/(-4) prime?
True
Let y(v) = v**3 - 5*v**2 - 6*v + 2. Let p be y(6). Suppose 5*n - 165 = p*n. Is n composite?
True
Suppose -4*d + 1 = -5*k, -d + 4*d = k + 9. Let q(i) = -2*i**2 - 4*i - 7. Let x(h) = 3*h**2 + 8*h + 13. Let o(p) = 5*q(p) + 3*x(p). Is o(d) composite?
True
Let p = -11 - -25. Suppose 2*o - p = 5*g + 32, 0 = 4*g - 16. Is o a prime number?
False
Let b = 9 - 5. Suppose j = -0*l - l + 70, -2*l + 146 = b*j. Is l composite?
False
Let p(j) = -20*j**3 - j**2 + 1. Let y be p(-1). Is 2416/20 + 4/y a composite number?
True
Suppose -7*d - 485 = -8*d. Is d composite?
True
Suppose 3*u = 6 + 3. Suppose 13 = 4*b - 235. Suppose -5*t = -u*t - b. Is t a composite number?
False
Suppose -2*t + 82 = 4*u, 0 = 3*t - 8*t + 5*u + 175. Is t a composite number?
False
Let l(m) = -82*m**3 + 2*m**2 + m. Let q be 30/8 - (-5)/20. Suppose -4*n + 3 = -3*p, p + 3*n - 3 = q*p. Is l(p) a prime number?
True
Let x(r) = 7 - 5*r**3 + 4*r - 12*r**2 - 2*r**3 + 8*r**3. Is x(12) a prime number?
False
Let o(f) = f**2 - 12*f - 14. Is o(18) prime?
False
Suppose -2436 - 2934 = -6*j. Is j a prime number?
False
Suppose 4*r - 3242 = -3*q, -q + 1610 = 2*r - 5*q. Is r composite?
False
Is 1 + 47688/14 + (-22)/77 prime?
True
Let j(b) = -b + 91. Let a be j(0). Suppose 5*t + a = -3*y, -4*y + 0*t - 131 = -3*t. Let o = y + 54. Is o a composite number?
True
Let o be (17 - 1)/((-1)/(-14)). Suppose o = 5*p + 2*u, -u - 125 = -2*p - 39. Suppose -s = -9 - p. Is s a composite number