pose 4*j - m = -4*u + 122, -4*j - 5*u = -183. Is j a prime number?
True
Let i(s) = -48*s + 2. Let o be i(-2). Suppose -5*u - 584 = -3*d, -3*d + 521 + o = 2*u. Is d composite?
True
Let a = -7 + 6. Is a/(3/9) + 208 a composite number?
True
Let m = -17 - 118. Let b = 10 - m. Is b prime?
False
Let w(x) = 2*x**2 - 8*x - 18. Is w(14) prime?
False
Let q be (-3)/9 - 20/(-6). Suppose -q*j + 308 = j. Is j a composite number?
True
Suppose 4*d - 2*m - 1963 = 3*d, 0 = -d + m + 1968. Is d a prime number?
True
Let z(m) = 14*m**2 + 3. Let y be z(10). Let d = -718 + y. Is d prime?
False
Let x(f) = f**3 - 4*f**2 + 5*f - 3. Let y be x(3). Suppose -y*o + 0*o + 669 = 0. Is o a prime number?
True
Suppose 5*c + 10*t - 5345 = 8*t, -2*c + 2138 = -t. Is c composite?
False
Let p be (20/(-15))/((-4)/6). Suppose p*f + 2*d - 216 = 0, -3*d = -f - 7*d + 105. Let z = 12 + f. Is z prime?
False
Let m = -10 + 17. Let b = m - 7. Let u = 13 + b. Is u a prime number?
True
Let i = 5 + -3. Is (-1 - i/(-4))*-4 a composite number?
False
Suppose -3*a + 645 = 3*h, a - 3*h - 195 = h. Is a composite?
False
Suppose -k - 2*m + 159 = 0, 5*k - 2*m + m - 773 = 0. Suppose k = -3*z + 509. Suppose 4*x - z + 14 = 0. Is x a prime number?
False
Suppose 9*c - 4*n = 4*c + 2721, 1633 = 3*c - 2*n. Is c a composite number?
True
Suppose 0*n + 3*x + 9 = 2*n, -2*x = 3*n + 6. Is (0 - n/(-1)) + 7 a prime number?
True
Let v(a) = -2*a + a**3 - 3 - 2*a - 4*a**2 + a**2. Let n be v(4). Let w(b) = -12*b + 1. Is w(n) composite?
False
Is 513/6 - (-1)/(-2) a prime number?
False
Suppose -4*g = 3*b - 27 - 1, 3*g + 4*b = 28. Suppose 2*v = g*v - 94. Is v a composite number?
False
Let q(c) = 3*c + 3. Let z be (-38)/14 + 4/(-14). Let x be q(z). Let y(r) = -2*r + 7. Is y(x) a prime number?
True
Let w = 6 - -42. Let b = w + -3. Let k = b + -26. Is k a composite number?
False
Let i = -169 + 296. Let z = i + 138. Is z prime?
False
Is 11 + -7 - (2 - 203) a prime number?
False
Let i = 55 + -30. Is i a composite number?
True
Let b be (-65)/9 + 4/18. Let k(v) = 2*v**2 + 10*v - 9. Let o(j) = -5*j**2 - 20*j + 17. Let c(s) = b*k(s) - 3*o(s). Is c(9) a composite number?
False
Suppose -13*r - 6295 = -18*r. Is r a prime number?
True
Is 1*(-1 - -562) + -4 prime?
True
Let d(b) = 69*b**2 - 3*b + 11. Is d(3) a composite number?
True
Suppose 4*g = 0, 5*z - 4*z = 2*g. Suppose -w + 3*w - 6 = z. Is w a prime number?
True
Let c = 199 - -34. Suppose 5*m + 4*l + c = 0, -3*m + l - 2*l = 137. Let f = m - -418. Is f prime?
True
Let b(i) = i**2 + 5*i + 4. Let z = -24 + 17. Let w be b(z). Suppose w - 2 = 4*c. Is c prime?
False
Let m = 14 - -5. Is m prime?
True
Suppose 7*x - 6*x - 1657 = 0. Is x composite?
False
Suppose 24*r = 17*r + 7693. Is r prime?
False
Let d(l) = -43*l. Let r(m) = -m**3 + 6*m**2 + 7*m - 1. Let k be r(7). Is d(k) prime?
True
Let w = -91 - -506. Is w prime?
False
Is (-2 + -3)*(-9597)/35 a composite number?
True
Let a(y) = -y**3 + y**2 + 2*y. Let g be a(2). Let s be g/((-4)/((-4)/(-3))). Let r(l) = -l**3 + l**2 + 10. Is r(s) prime?
False
Let p(o) = -5*o**3 - 2*o - 1. Let k(x) = -x**3 + 8*x**2 - 7*x - 3. Let l be k(7). Let y be p(l). Suppose -y = -5*s + s. Is s prime?
False
Let l(s) = 261*s**2 - 3*s + 1. Is l(1) composite?
True
Let w(h) = 0 - 5*h + 1 - 8*h. Suppose 14 = -5*v - 16. Is w(v) prime?
True
Suppose -3*f - 288 = -4*a + a, 20 = -4*f. Is a prime?
False
Is (-1639)/((-2)/10 + 4/(-5)) prime?
False
Let j(l) = -2*l**3 + l**2 + l - 2. Suppose -2*n - b = -2*b, -4*b + 14 = -n. Let r be j(n). Is r/(-9)*(-15)/(-2) composite?
True
Let m(r) = 33*r**2 + 7*r + 5. Is m(-6) prime?
True
Let y be (0 - 2)*5/(-2). Suppose y*s - o = 484, -487 = -5*s + o - 3*o. Is s a composite number?
False
Let q be 56/4 - (-1 - -1). Is (-1865)/(-35) - 4/q prime?
True
Let s be (-9 + 14)*2/10. Let h(z) = 166*z - 3. Is h(s) composite?
False
Let y = -146 + 1059. Is y a prime number?
False
Let g be 6*(-2 - 10/(-4)). Suppose 0 = 4*c - 4*n - 28, -33 = -g*c - 2*n - n. Suppose 4*z = 7*z - c. Is z a composite number?
False
Let x(y) = -y - 4. Suppose -2*s - 3*s = 25. Let k be x(s). Is 13/(k/6*2) prime?
False
Let f(h) = -h**3 - 4*h**2 - h - 2. Let a be f(-2). Let u(m) = m + 3. Let x be u(a). Let b = x + 26. Is b prime?
False
Let l be (-12 + 4)*(-31)/(-4). Let k = l + 153. Is k composite?
True
Let x(m) = -m + 1. Let a be x(-1). Suppose -a*n + 31 = -31. Is n composite?
False
Let r(u) = 70*u - 1. Let a(w) = -w**2 + 4*w - 1. Let g be a(4). Let y be r(g). Let m = y - -194. Is m a composite number?
True
Is (-12437)/(-15) + 14/(-105) composite?
False
Let h = 2 + -5. Let r(s) = s - 1. Let a be r(h). Let u = a + 19. Is u a prime number?
False
Let f be 2/8 + (-15)/(-4). Let d = -1 + f. Suppose 0*q + 32 = m + q, -d*m = -3*q - 126. Is m composite?
False
Let s(q) = q**3 - 3*q**2 - 3*q + 3. Let y be s(3). Let j be ((-15)/y)/(3/(-18)). Let o = j - -73. Is o composite?
True
Suppose 18097 - 4804 = 9*l. Is l composite?
True
Let q(g) = 3*g**3 + 5*g**2 + 2*g. Let p be q(-4). Let s = p + 235. Is s a prime number?
False
Let z(p) = -p**2 + 12*p - 14. Let v be z(10). Let a = 296 - v. Suppose a = 2*j + 60. Is j a composite number?
True
Let d(q) = 6*q**2 + 5*q + 13. Suppose o + 8 = 2*s, -3*o - 2 = -3*s + 4. Is d(s) prime?
False
Suppose 3083 = -2*p + 5*p + 2*x, 0 = -2*p - 3*x + 2057. Suppose -3*l = -4*w - 623, 5*l = -w + 2*w + p. Is l composite?
True
Suppose 0 = -2*z - 2*z. Is 3 + -3 + z + 89 prime?
True
Let s be (369/18)/(1/(-2)). Let m = s - -110. Is m prime?
False
Let q(h) = 2*h - 58*h**3 + 0*h - 3*h. Is q(-1) a prime number?
True
Suppose 0*z + 3*z - 4*h = -537, 3*h = 0. Let o = z + 328. Is (-2)/3 + o/3 a prime number?
False
Let o(w) = 58*w**2 + 2*w - 2. Let b be o(-2). Let a = b - 147. Is a prime?
True
Is -2 - -43*(183 - (-4 - 0)) composite?
False
Suppose 4*n + 11 = -3*m, 0*m - n - 20 = -5*m. Suppose q + 4 = -0*q, -m*h = q - 335. Is h composite?
False
Suppose 0 = -3*p - 15, p + 4*p = -5*v. Suppose 0 = 4*d - s - 1 - 79, 4*d - 96 = v*s. Is d composite?
False
Let n(d) = d - 2. Let j = 2 - -4. Let q be n(j). Suppose 0 = q*k - 6*k + 178. Is k a prime number?
True
Let i be 11 - (1 + 1 + 0). Suppose 0 = 5*j - i*j + 1028. Is j composite?
False
Let x be (-1 + 2)/(2/(-16)). Let z(r) = -r. Let i be z(x). Let t(p) = 3*p - 1. Is t(i) a prime number?
True
Suppose -o - 32 = -5*o. Let p be (12/o)/(2/4). Suppose p*m = -2*m + 245. Is m a composite number?
True
Let r(l) = -l**2 - l + 6. Let b(u) = u**3 - 2*u**2 + 1. Let h be b(1). Let c be r(h). Is (-45)/c*44/(-6) composite?
True
Let i be 4/26 - 18/117. Suppose -6*t + 7*t - 141 = i. Is t a composite number?
True
Suppose -s = h + 3*h - 1543, 4*h - 1546 = 2*s. Let d = h - 267. Is d prime?
False
Let p(n) be the third derivative of 7*n**4/8 - 7*n**3/6 - 2*n**2. Let z be p(5). Suppose -2*o + 4*l = -62, o + l + z = 4*o. Is o a composite number?
True
Suppose 0 = -4*g + 950 + 1614. Is g prime?
True
Suppose -2*f + 106 = 3*y, 3*f - f + 64 = 2*y. Is y prime?
False
Suppose 0 = -7*d + 4304 + 463. Is d a composite number?
True
Let q(m) = -m**2 + 5*m - 1. Let l be q(2). Suppose -l*v + 4 = 4*z + 14, -5*z = 5*v + 10. Is 2 + (0 + v - -19) a composite number?
False
Let x(n) = n**3 - 4*n**2 - 2. Let d be x(3). Let t(c) = c**2 + 3*c + 1. Is t(d) a prime number?
True
Suppose -7 - 3 = 2*p, 2*b - 6109 = 3*p. Is b a prime number?
False
Suppose 6 = -g + 3*g. Let w(b) = b**3 - 14*b**2 + 2*b + 10. Let c be w(14). Let k = c - g. Is k a composite number?
True
Let j(y) = 82*y**3 + 4*y**2 - 4*y - 3. Let s(i) = -83*i**3 - 5*i**2 + 5*i + 4. Let r(h) = -5*j(h) - 4*s(h). Let u = -6 - -5. Is r(u) composite?
True
Let f(g) = 50*g - 12. Let y be f(-9). Let w = y + 779. Is w prime?
True
Let r(y) = y**3 + 4*y**2 - 2*y - 4. Let v be r(-4). Suppose -i + 4 = -0*i + 2*l, 2*l = -v*i + 10. Suppose 61 = p + i*x, 3*p + 4*x - 177 = x. Is p prime?
False
Suppose k + 16 = p, 2*k + 1 = -3. Let w be 48/(-21) - (-4)/p. Let c(d) = -8*d**3 + d**2 + d + 1. Is c(w) prime?
True
Let z(m) = -m**3 - 6*m**2 - 6*m - 7. Let r be z(-5). Let v be -1*(r + -1 + -1). Is ((-30)/4)/((-2)/v) prime?
False
Suppose 0 = -4*t + 3*z + 2779, -3*z = -t + 140 + 566. Is t a composite number?
False
Let i(q) = -q**3 - 4*q**2 - q - 8. Let l be i(-6). Let b be -4*(1 - l/8). Is (b/4)/(4/16) a composite number?
False
Is (-3756)/(-15) + (-12)/(-20) a compo