01 = -179. Suppose 4*n - 4*k - 78 = 42, 5*n - j = -4*k. Is n composite?
True
Let h = 6 - -1. Suppose h + 12 = x. Is x a composite number?
False
Let h(l) be the third derivative of l**6/60 - l**5/30 + l**4/24 - l**2. Let n be h(1). Is 0/n + 35 + 0 a composite number?
True
Suppose 6*l - 585 = l. Suppose -2*d = d - l. Is d composite?
True
Is (-5 - -281)/(-4)*(-254)/6 prime?
False
Let k = -2 - -1. Let x = 4 + k. Suppose x*u + 5*c = -u + 69, -5*u + 99 = 2*c. Is u a composite number?
True
Let w(b) = 174*b**2 + 2*b - 1. Let z be w(1). Suppose 6*s - z = s. Is s prime?
False
Let r be 0 - (5 + -1)/(-1). Suppose 0 = -5*c + r*z + 66, z - 5*z = -4. Is c a composite number?
True
Let s be 6/5*(1 + 4). Let c be 0 + (s*1)/3. Suppose -c*g - 3*l = -76, 4*g - 97 = 2*l + 39. Is g composite?
True
Let r = 3564 + -1111. Is r a prime number?
False
Let o = 671 - 467. Suppose 2*m + 808 = 4*f + 6*m, m = f - o. Is f a prime number?
False
Let g be 3/12 + (-11)/(-4). Is (g - 4)*131/(-1) prime?
True
Suppose -6*g = -g - 275. Is g prime?
False
Is -1 + -1 + 369/3 a prime number?
False
Suppose 2*x - 2677 = -3*m, 5*m + 6*x - x - 4470 = 0. Is m a prime number?
False
Let q(x) = 11*x**2 - 6*x**2 + x - 16 + 11*x. Is q(9) prime?
False
Let i = -7 - -12. Is (2/(-4))/(i/(-740)) composite?
True
Suppose -370 = -3*z - z - 5*h, 483 = 5*z - 4*h. Let q = z + 63. Suppose 3*m + q = 575. Is m prime?
True
Let g = -513 - -767. Is g a prime number?
False
Let j = -4 - -7. Is (3 - 4) + 41 - j a composite number?
False
Let f = 2 - -1. Let c(o) = 4*o**2 - 5*o + 4. Is c(f) prime?
False
Let v be (12/9)/((-2)/(-3)). Let z be v/1 + (-5 - -2). Is z/3 + 140/6 a prime number?
True
Suppose -7*b + 5*b = -212. Is b a prime number?
False
Let y(i) = -i**3 - 3*i + 0*i + 4*i + 4*i**3 + 1. Let s be y(-1). Let z = s + 38. Is z a composite number?
True
Let u be (-30)/(-4) - (-3)/(-6). Let l = u - 5. Suppose -l*m = 4*r - 10, 3 = 2*m - r - 2. Is m composite?
False
Suppose -5*u - k - k = -437, -k - 93 = -u. Is u prime?
True
Let v = -215 + 480. Is v prime?
False
Let l(c) = -162*c - 1. Let t be l(-6). Suppose -4*o = 5*b - t, -o + 711 = 5*b - 248. Is b a composite number?
False
Suppose o - 3*j = -27 - 0, 2*j = -5*o - 169. Is 2678/6 + (-22)/o a composite number?
True
Suppose -2*k = 8, -2*k - 12 = -p + k. Suppose 5*l - 385 + 1290 = p. Let s = l - -398. Is s prime?
False
Let f = 3295 + 1590. Is f a composite number?
True
Let f be (-82)/8 - (-3)/12. Let q be (2/(-5))/(2/f). Is (-4 - -2)*(-79)/q prime?
True
Let t(m) = -m**3 - m**2 - 4*m - 5. Is t(-5) a prime number?
False
Let x = 0 - -5. Let v(q) = -q**2 - 4*q + 3. Let l be v(-4). Suppose 0 = 5*i + j - 234, -l*i - 2*i + x*j + 240 = 0. Is i a prime number?
True
Let y = 3189 - 1718. Is y prime?
True
Suppose 2*l + 4 = -0*l. Let w = l - -1. Is 178/(-2)*w*1 prime?
True
Suppose 5*a - 624 = -5*r + 1856, -516 = -a - 5*r. Is a composite?
False
Suppose -3*c + 8684 = 5*p, -6*c - 8660 = -5*p - c. Is p prime?
False
Let n(p) = 9*p**2 - 58*p + 26. Let i(m) = -5*m**2 + 29*m - 13. Let g(q) = 11*i(q) + 6*n(q). Is g(-15) a composite number?
False
Let g(a) = a**2 - a + 67. Is g(0) prime?
True
Let v(r) = -r + 38. Is v(12) a composite number?
True
Suppose 3*y + y - p - 720 = 0, 0 = y + 4*p - 163. Is y a prime number?
True
Suppose 0 = -22*s + 20*s + 494. Is s a composite number?
True
Let z = -302 - -423. Is z a prime number?
False
Is ((-62)/4)/((-2)/4) a prime number?
True
Let g(d) = 525*d + 1. Let c(i) = -1050*i - 2. Let m(h) = 3*c(h) + 5*g(h). Is m(-2) composite?
False
Let f(l) = -4*l**3 - 10*l**2 - 7*l - 18. Is f(-7) a prime number?
False
Is (-4)/((-16)/5028)*3/9 a prime number?
True
Let u(k) = -2*k + 983. Is u(0) a prime number?
True
Let h be (-78)/9 - 6/(-9). Let m(a) = -6*a - 5. Is m(h) a prime number?
True
Let g(p) = -1 + 1 - 11*p - 3. Is g(-2) a prime number?
True
Let t = 6640 - 3701. Is t a composite number?
False
Let x(r) = r**3 - 8*r**2 - 15*r + 9. Let m(f) = f**2 + f - 2. Let o be m(-4). Is x(o) a prime number?
True
Suppose -3*d + 6 = -0*d. Is d - -1 - (-414)/3 a composite number?
True
Let d be (313 + -1)*(4 - 3). Let i = d - 53. Is i prime?
False
Suppose -5*c - 588 = -4*w, 3*c - 8*w + 348 = -4*w. Let n = -77 - c. Is n a composite number?
False
Is ((-7002)/(-36))/((-1)/(-2)) a composite number?
False
Suppose -459 = 2*s + 109. Let q be (-4)/14 + s/(-14). Is 30/(-4)*q/(-25) composite?
True
Let y = -649 + 950. Let p = 196 + y. Is p prime?
False
Let m(g) = 1 - 19*g + 76*g + 1 - 3. Is m(2) composite?
False
Let k(x) = 144*x + 5. Suppose 3*b = 3*p + 78, 4*b + 3*p - 35 = 62. Let l be ((-40)/b)/(4/(-10)). Is k(l) a composite number?
True
Let p = 1373 + -687. Let g be ((-966)/(-4))/((-2)/(-4)). Let q = p - g. Is q prime?
False
Is 5578*(-2 + (-15)/(-6)) composite?
False
Suppose 6 = -j - j. Let t = j + 5. Is (-2 + 1 - -3) + t prime?
False
Let z(l) = 2*l**2 - 23*l - 5. Is z(-7) a composite number?
True
Suppose 0 = 2*n + 4*r - 4038, -n - 8088 = -5*n - 5*r. Is n a prime number?
True
Let j = 63 - 29. Is j prime?
False
Let o(v) = -97*v**2 - 3*v. Let n be o(-2). Is (-7 + 9)*n/(-4) a prime number?
True
Suppose 5*a = 5*j - 6 - 24, j + 2*a = -3. Suppose 0 = 3*u + 5*f - 763, -j*u - 2*f = -7*u + 1000. Is u prime?
True
Let b(p) = p**3 + 2*p**2. Let j be b(-2). Suppose 0 = 6*k - 2*k + 12, -2*q - k + 379 = j. Is q a prime number?
True
Suppose 2*z + 609 = 5*z. Is z a composite number?
True
Let q(g) = 23*g**2 + 6*g - 2. Is q(3) composite?
False
Let c = 22 + -11. Let r = c - 16. Let j(i) = 2*i**2 + 4*i + 1. Is j(r) prime?
True
Suppose 12 = 3*d + 3*u - 12, 20 = 4*u. Is ((-1)/d)/(3/(-342)) prime?
False
Let q = 0 + 0. Suppose 3*n + y + 2*y - 147 = q, -y - 171 = -4*n. Suppose -n = -2*k - 2*k. Is k a composite number?
False
Suppose 3*v - 165 = 4*o, -4*o - 2*v = -9*o - 215. Is -2*(-4)/((-24)/o) prime?
False
Let t(p) = 177*p**2 + 2*p + 2. Is t(-1) composite?
True
Let i(q) = -q**2 + q. Let b be -3 + 5 - (1 + 1). Let t be i(b). Suppose -d + 2*d - 127 = t. Is d composite?
False
Let l(c) = -5*c**3 - 5*c**2 + 1. Let a(d) = 6*d**3 + 6*d**2 - d. Let g(s) = 3*a(s) + 4*l(s). Let q = -7 + 4. Is g(q) a prime number?
False
Let h(l) = l**3 + 10*l**2 + 7*l - 9. Let x = 10 + -16. Let f be -1 + x + 0 + 0. Is h(f) a prime number?
True
Let s(m) = m**3 - 2*m**2 - 4*m + 3. Let f be s(3). Let r(t) = t + 109. Is r(f) composite?
False
Let v = -3 + 2. Let r be (1 + -1)/v - -2. Suppose -3*t + 32 = -z - r, 0 = z + 4. Is t a prime number?
False
Let j = 59 + -32. Suppose -4*b - 5*g + 124 = j, -3*b - 4*g + 73 = 0. Suppose -87 = -d - 2*m, d - 122 = -5*m - b. Is d a prime number?
True
Suppose 0*u - 586 = -u + 2*p, 2*p - 1790 = -3*u. Suppose 5*r = -q - 33 + 172, 4*q + r - u = 0. Is q prime?
True
Suppose -5*b - 4*w = -9*w + 15, 6 = 4*b + 2*w. Suppose b + 2 = z. Suppose 0 = z*a - 17 - 21. Is a composite?
False
Let i(b) = 2*b**2 + b + 2. Let r be i(-2). Let m(p) be the first derivative of 5*p**2/2 - 5*p + 9. Is m(r) a composite number?
True
Suppose j = 4*j - 4*n - 819, -5*j = -n - 1348. Is j prime?
True
Let g(f) = 45*f**2 - 2*f - 1. Let c = 0 + -1. Is g(c) a composite number?
True
Let w = 108 + -87. Is w composite?
True
Let z(f) = -f**2 + 4*f + 8. Let i be z(5). Suppose 8*t - i*t - 415 = 0. Is t composite?
False
Is (0 + 1)*838/2 prime?
True
Let v be 0 - -1 - (6 + -522). Let p = v + -365. Suppose -2*h + p = -146. Is h composite?
False
Let l(s) = s**3 + 8*s**2 + 8*s + 3. Let y(p) = -p**3 - 3*p**2 + 6*p + 2. Let d be y(-4). Let o be l(d). Let z = o - 13. Is z a prime number?
False
Suppose 2*v = -7 + 5. Is v + 0 - (-13 - -6) composite?
True
Let u be 2/(2/204*3). Let j be u/20 - 2/5. Suppose -4*l - 3*d = j, d = 3*l - 3*d - 29. Is l a prime number?
True
Let i(y) = 21*y**2 + 14*y - 41. Is i(6) a prime number?
False
Let c(t) = 7*t - 7. Is c(6) a prime number?
False
Let f(j) = 2*j**3 - 10*j + 7. Is f(6) prime?
True
Let k = -547 - -194. Let j = k - -640. Is j composite?
True
Suppose h = -3*w + 13, 2*w - 2*h + 10 = 32. Suppose w*d - 10 = d. Suppose j - 5*u = 22, 3*j + j - d*u = 178. Is j composite?
False
Let b(t) = -3*t - 2. Let z be b(-2). Suppose z*y - 110 = 222. Is y a composite number?
False
Let x(z) = -5*z + 5. Let c(f) = -f**2 - 24*f + 24. Let a(b) = -2*c(b) + 11*x(b). Let g be a(9). Suppose 2*p - g = -0*p. Is p a composite number?
False
Let v(u) = 2*u - 3. Let