alse
Let y(j) = 3*j - 3*j**2 + 2*j**3 + 2 - 1 - 2. Is y(3) composite?
True
Is (554/8)/(23/(-8) + 3) a prime number?
False
Suppose 5*x - 445 = -0*x. Is x a prime number?
True
Suppose 3*g - 1883 = -4*l, -3*g - 482 = -2*l + l. Is l prime?
False
Suppose j - 19021 = -3*l, -3*j - 9*l + 13*l = -57115. Is j composite?
True
Let s(q) = 58*q + 7. Is s(7) a composite number?
True
Suppose -3*o + 9 = 5*p - 7, -p + 2*o = 2. Suppose p*m + s - 657 = 0, -s = -3*m + 3*s + 1013. Is m composite?
False
Suppose 3*l - 4749 = -4*m, 3*l + 1206 = m - 0*l. Is m composite?
True
Let s = 8 + -3. Suppose 0*a = s*a - 325. Is a a prime number?
False
Let c be (4/5)/(2/5). Let z(u) = -u**3 - u + 8*u + 2 - 4*u**c + 3. Is z(-6) a prime number?
False
Let x(d) = 11*d**3 + d**2 - 3*d + 1. Let l = 7 + -5. Is x(l) a composite number?
True
Let a = -355 - -746. Is a a composite number?
True
Let c = -1 + -7. Is -3 + c/(-2) - -5 composite?
True
Suppose 2*l + 3*l - 235 = 0. Is l/2 - 36/(-24) a composite number?
True
Let d be 4/6*(7 + 2). Is (2 - (d + -2)) + 55 a composite number?
False
Suppose -t - 13 = -5*a + 10, -5 = -a. Suppose -122 = -t*r + 3*o, 3*o + 31 = r - 24. Is r a prime number?
True
Let p(m) = 2*m**3 - m**2 + 1. Let l be p(1). Suppose w + 3*s = -3*w + 1219, -l*w + s = -617. Is w a prime number?
True
Suppose -4*n + 79 = 15. Let a = n + 3. Is a prime?
True
Let v = -4 + 7. Suppose 0 = -v*w + 177 + 60. Is w a prime number?
True
Let b(o) = 2*o**2 + 9*o + 1. Let s(i) = -i**3 + 9*i**2 + 12*i - 8. Let r be s(10). Let t = 6 - r. Is b(t) composite?
False
Suppose -5*s + 5 = 0, 4*l + 2*s - 12 = -l. Suppose -l*u = -6*u + 92. Is u a prime number?
True
Suppose 0 = -2*y + 3*y + 3. Is (-4)/(-9)*y*-3 composite?
True
Let g(r) = r**2 - 7*r + 4. Let b be g(7). Suppose 0 = l - b - 1. Suppose 3*n - l*n = -254. Is n composite?
False
Let c = 4 + 68. Suppose -q + 2*d = -d - 4, 3*q + 3*d - c = 0. Suppose -3*k = 3*u - 117, u + 2*k - 24 = q. Is u a composite number?
True
Let s(m) = 22*m**2 + 3*m + 1. Suppose 0 = 4*v - 8, 0*f - 12 = 2*f + 2*v. Let z be f/12 + 8/(-6). Is s(z) a prime number?
True
Let c(l) = -2*l - 3. Is c(-26) a composite number?
True
Let m(u) = -u. Let f be m(4). Let q be f/10 + 978/(-5). Let j = -131 - q. Is j a composite number?
True
Suppose 0*r = -r + 149. Is r a composite number?
False
Let p(l) = -l**3 + 11*l**2 + 18*l - 12. Let v be p(12). Suppose 0 = -5*q + q - v. Is 2388/20 + 6/q prime?
False
Let h be -1 - (-3)/((-6)/(-4)). Let y = -23 - -11. Is y/4 - (-86)/h a prime number?
True
Suppose 31 = 4*y + 6*f - 3*f, -23 = -3*y - 2*f. Suppose 10 = 2*g - y*g. Is g/8 - (-114)/8 composite?
True
Let r(w) = -w**2 - 5*w + 2. Let s be r(-5). Suppose -13 = -5*d + s. Suppose d*g - 36 = 63. Is g composite?
True
Let z = -134 - -87. Let a = 366 - z. Suppose 5*m - 852 = a. Is m a prime number?
False
Let k(l) = l**2 - 7*l + 8. Let f be k(7). Let z = -9 + f. Is 72 + (3 - (7 + z)) prime?
False
Suppose c = -3*c + 16. Let j(a) = -a**3 + 6*a**2 - 4*a - 5. Is j(c) prime?
True
Suppose -5*o - f = -10, 2*o - 3*f - 4 = f. Suppose o*p = 2 + 8. Suppose -425 = -p*z - 5*i, -i - 545 = -5*z - 132. Is z composite?
False
Let r = -12 + 13. Is ((-1167*1)/(-3))/r a prime number?
True
Suppose 2*a + 5*v + 4 = 3*v, -6 = -5*a - v. Suppose -107 - 126 = -3*m + a*z, -m = z - 76. Is m composite?
True
Let d = 329 - -120. Is d a prime number?
True
Suppose 0 = -r + 1. Suppose 3*k + 19 = r. Is 46 - 2*9/k a composite number?
True
Suppose -14 = -5*a + 1. Suppose j + 582 = a*j. Is j prime?
False
Suppose 2*w + 12 = -6. Let u = w + 11. Suppose -2*x + 3*y + 33 = -57, -31 = -x - u*y. Is x prime?
False
Let q(g) be the third derivative of 0*g - 1/60*g**5 + 2*g**2 + 0 + 7/6*g**3 + 1/8*g**4 + 1/120*g**6. Is q(6) composite?
True
Let w(m) be the second derivative of m**4/6 + 2*m**3/3 + 3*m**2/2 + m. Suppose -f - 24 = 3*f. Is w(f) composite?
True
Suppose r + 4*y = 2145, 2*r + 2157 = 3*r + y. Is r a prime number?
True
Let d(q) = -17*q**2 - 2*q + 2. Let m(h) = -460*h**2 - 55*h + 55. Let p(v) = -55*d(v) + 2*m(v). Suppose -4*u + u - 3 = 0. Is p(u) a prime number?
False
Let x(o) = o - 4. Let l be x(4). Suppose 5*i = -l*i. Suppose i*p = -p + 14. Is p composite?
True
Let h(y) = -y**3 + 10*y**2 - 4*y - 32. Is h(-9) a composite number?
False
Let r(u) = -u + 15 - 1 - 1. Is r(-10) composite?
False
Is (-16344)/(-42) + 1/(-7)*1 a composite number?
False
Let w = 8 - 3. Suppose 3*x = 4*m + 569, -3*x + 6*x - w*m = 568. Is x a prime number?
True
Suppose -2*z - 3*z + 15 = 3*k, -2*z + 4*k - 20 = 0. Suppose 2*i + 5*y - 120 = z, 203 = 3*i - 4*y - 0*y. Is i a prime number?
False
Let t(x) = -x**2 + 3*x + 3. Let c be t(-2). Let w(i) = -i**2 - 10*i - 10. Let s be w(-7). Let m = c + s. Is m prime?
False
Let h = 9 - 5. Let l be 21/(-14)*1*h. Let j(q) = -12*q - 7. Is j(l) prime?
False
Let u be 0/(-1 - 0 - 0). Suppose -2*f - 3*s - 14 = 0, u = f - 3*s + 20 - 4. Is f/(-4)*14/5 prime?
True
Suppose -5*u - 4*y + 3397 = 0, 4*u + 8*y - 5*y - 2717 = 0. Is u prime?
True
Suppose 0 = 5*y + 29 - 364. Is y composite?
False
Let z = 36 + -14. Is z a prime number?
False
Let o(w) = w**3 + 5*w**2 - 2*w. Let d be o(-6). Let k be (345/(-12))/(2/d). Let t = k + -196. Is t a prime number?
True
Let h(j) = j - 3 - 3 + 4 + 1. Let f be h(6). Suppose 85 = f*s - 10. Is s a prime number?
True
Let v(y) = -10*y**3 + 2*y**2 - 1. Let p be v(-2). Let j = p + -36. Is j prime?
False
Suppose 2*j = m + 18, -4*m + 2*j + j - 47 = 0. Let r = -10 - m. Is -2 - 242/r - 0 composite?
True
Let a(u) = -u - 8. Is a(-14) composite?
True
Let q(g) = g**2 - 11*g + 14. Let k be q(10). Let o be 2/(-4)*-2 + -1. Suppose k*l + 4*u = 56, 4*u + o = -4. Is l a composite number?
True
Let s(z) = 234*z**3 - z**2 + z - 1. Is s(1) composite?
False
Suppose -5*g - 714 = -r, -g + 1167 = 5*r - 2429. Is r a prime number?
True
Suppose 2*u = -5*i + 245, -15 = -3*i - 6. Let z = u + -62. Is z prime?
True
Let c(t) = 73*t**2 - 2*t - 3. Is c(-2) a composite number?
False
Suppose 5*o - 259 = -2*o. Is o prime?
True
Let n(o) = -o**3 - 7*o**2 - 7*o - 4. Let a be n(-6). Is a/(-2) + 12*12 a prime number?
False
Let s(z) = 14*z. Let o be s(-1). Let t be o/(-4) + 6/(-12). Let b = 12 - t. Is b composite?
True
Suppose -522 = -5*l + 13. Suppose -145 = -h - 2*x, -183 - l = -2*h - x. Is h prime?
False
Let m(k) = -6*k**3 + k - 3. Is m(-4) a composite number?
True
Suppose 3*x = 2*x + 5. Suppose -l = -5*z - 0*l + 13, z - l = x. Is (-121)/(-1)*(3 - z) composite?
True
Let v = -3 - -6. Suppose -v*y + 0*y = -33. Is y a composite number?
False
Let w(g) = 115*g - 4. Let y = 3 - 0. Is w(y) prime?
False
Let j(g) = -6*g - 20 + 7*g + 7*g + 21. Is j(6) a composite number?
True
Let m(p) = 13*p**2 + 22*p - 10. Is m(7) composite?
True
Suppose n + 2*n = 21. Suppose -4*c = -n - 1. Suppose -t - 13 = -c*t. Is t a prime number?
True
Let o(r) = r - 2. Let d be o(-7). Let z = d - -4. Let w = 7 + z. Is w composite?
False
Let u(o) = 2*o**2 - 9*o - 3. Is u(14) prime?
True
Let p(o) = -o + 4. Let b be p(0). Suppose -4*m = -5*r + r + 224, -b*r = -2*m - 230. Is r a prime number?
True
Let t(k) = -79*k - 16. Is t(-5) prime?
True
Suppose 4*g + 10 = -c, -4*c - 2*g + 5 = -g. Suppose 3*k = 2*u - 0*k - 127, -2*k - 128 = -c*u. Is u a prime number?
False
Let y be 3 + 27/(-12) + (-1)/(-4). Suppose i = 5*q + 5*i - 16, -q + 3*i = 12. Suppose q = -l + y + 68. Is l a prime number?
False
Suppose s - 2*s = -2*h + 6407, 0 = -4*h - 2*s + 12810. Is h prime?
True
Let b be 6/(-10) - (-54)/15. Suppose b*n = -8 - 31. Let l(i) = -21*i - 16. Is l(n) prime?
True
Suppose -6*i - 725 = -5*g - i, -731 = -5*g - i. Is g a composite number?
True
Let n = -12 - -8. Is 1/(n - -5) + 112 a prime number?
True
Let m(f) = f**2 + 14*f + 16. Let t be m(-13). Suppose -407 = -4*w + t*w. Is w prime?
False
Let j = 8 - 8. Suppose j = -b + 331 + 48. Is b prime?
True
Suppose -5*w + 6*w - 587 = 0. Is w prime?
True
Suppose 0 = 2*a + 35 + 51. Suppose -s = -6*q + 2*q + 74, -5*q = -15. Let u = a - s. Is u composite?
False
Let y(n) = n**2 - 9*n + 12. Let t be y(8). Suppose 2*x - f + 150 = 0, -209 = 4*x - t*f + 83. Is -2 + (2 - 0 - x) prime?
False
Is 0 + 335*(3 - 2) a prime number?
False
Let r = -412 - -1334. Is r a prime number?
False
Suppose 2*z = 3*n + 4*z - 1917, 2*z = -2*n + 1276. Is n prime?
True
Let k(p) = -p**3 - 13*p**2 + 2*p + 1. Let m(x) = -x