4, -2*n - m + 65 = 0. Is n a composite number?
True
Suppose l - 5*l = 5*r + 128, 5*r - 7 = l. Let t = -72 + l. Let u = -13 - t. Is u a prime number?
False
Let b(r) = -6*r**2 + 2*r + 17. Let i(u) = 2*u**2 - u - 6. Suppose 6*g = 3*g - 33. Let h(k) = g*i(k) - 4*b(k). Is h(-3) prime?
True
Suppose -2*d = -2*b - 2372, -3556 = -3*d + 8*b - 3*b. Is d a composite number?
False
Is (1270/15)/((-2)/(-3)) prime?
True
Let q(a) = -3 + 2 + 4 - 1 + 5*a. Let s be q(10). Let y = -29 + s. Is y a composite number?
False
Is 1780/16 - (-1)/(-4) prime?
False
Is (203 + -2)*(52/12 - 4) a prime number?
True
Suppose -r - 45 = -3*s, 2*r - 3*r = 0. Is 1454/10 + (-6)/s prime?
False
Let y(i) = 78*i**2 + 1. Let n be y(1). Suppose -p = -0*p - n. Is p composite?
False
Suppose 16 = -l - 5*n, 5*n + 28 = -4*l + l. Let z(a) = 4*a**2 + 2*a - 1. Is z(l) a composite number?
False
Let j = 229 + 168. Is j composite?
False
Suppose 0 = -2*y + 7*y - 5. Let t(r) = 4*r - y - r + 9*r - 2. Is t(2) composite?
True
Suppose 0 = -3*x - 0 + 6. Is x/(-10) - 930/(-25) a prime number?
True
Let n(o) = -4 + 1 + 2 - 23*o**2. Let w be n(-2). Is w/(-4) - 3/12 prime?
True
Let y(l) = 17*l**3 - 2*l**2 + 1. Let d be y(1). Let t = d - 56. Let f = 37 - t. Is f prime?
False
Let l(r) = -29*r - 8. Is l(-3) prime?
True
Let i(t) = t**2 - 6*t + 9. Let s be i(5). Let q(h) = 1. Let n(g) = 31*g - 7. Let k(y) = n(y) + 2*q(y). Is k(s) a composite number?
True
Suppose 9*x + 171 = 18. Suppose 2*m + 14 = -58. Let q = x - m. Is q composite?
False
Suppose s = -0*s + 3. Suppose -z = 2*i, s*z - 5 = 3*i + 4. Suppose 7 + 5 = -4*m, z*h - m = 47. Is h prime?
False
Suppose -2*u = 4*c - 20, -2*c + 16 = -0*c + 4*u. Suppose -6*g = -3*g + 3, -4*s + 2328 = -c*g. Is s composite?
True
Is (124894/(-55))/(4/(-10)) prime?
False
Suppose 5*w - 4445 = -0*w. Is w composite?
True
Let g(d) = 558*d**2 - 1. Is g(-1) composite?
False
Let m(z) = z**2 + 10*z - 3. Let n(r) = 2*r**2 - 3*r - 2. Let q be n(3). Let p be m(q). Suppose -s = -141 - p. Is s a prime number?
True
Let n = 2231 + -1182. Is n a prime number?
True
Suppose w = -4*c + 77, 343 = 5*w - c - 0*c. Is w composite?
True
Suppose 4*w = 3 + 9, 0 = d - 3*w - 11. Let b be d*(-3 - 106/(-10)). Let c = b + -11. Is c prime?
False
Suppose 0 = 5*l - 455 + 40. Is l a composite number?
False
Let x = -118 - -2037. Suppose 5*r + 154 = x. Is r a prime number?
True
Suppose 4812 = 5*u - 573. Is u composite?
True
Let q(h) = 5*h**2 - 18*h + 24. Let f(x) = 2*x**2 - 6*x + 8. Let j(t) = -8*f(t) + 3*q(t). Let n be j(-6). Let w = -1 + n. Is w a composite number?
False
Suppose 4*u - 2*u = 8. Suppose k + 14 - 63 = 3*h, u*k - 228 = 4*h. Suppose 4*q - 4 = 0, -2*n + 0*q + q + k = 0. Is n a prime number?
True
Let d = -6 + 9. Suppose -y = -d - 1. Suppose -3*r + 7*r - 5*w = 60, -y*w + 60 = 4*r. Is r a composite number?
True
Suppose d + 0*d = f + 14, -4*d + 86 = 2*f. Suppose 5*y - 131 - d = -5*p, 3*y = p + 70. Is y a composite number?
True
Let c(i) = -7 + 11*i**2 - 5*i + i**2 + 3. Is c(-3) prime?
False
Suppose -z - 7 = -18. Is z prime?
True
Suppose n + i = -4*i - 282, -n + 3*i - 282 = 0. Let u = n - -556. Is u a composite number?
True
Suppose 3*k = 5*k + 86. Suppose 395 = 5*z - 5*h, 0 = -2*z - z + 2*h + 232. Let g = k + z. Is g a composite number?
False
Is (-30088)/(-8)*(1 + 2 - 2) composite?
False
Let u(m) = m**3 + 7*m**2 + 5. Let y be u(-7). Suppose -3*x - y*g + 734 + 43 = 0, 5*x + 3*g = 1279. Suppose 3*c - c = x. Is c a prime number?
True
Let p(u) = 45*u**2 - 17. Is p(4) a prime number?
False
Let o = -116 - -274. Is o prime?
False
Suppose 0 = 3*o + 9 - 3, -3*r + 964 = o. Suppose 0*l = l, -2*c - 2*l + r = 0. Is c a composite number?
True
Let h(k) = 4*k**3 + 4*k**2 - 3. Is h(4) a prime number?
True
Is (1 + 3 + -41)/(-1) prime?
True
Let i be ((-2)/(-3))/((-11)/165). Is 97*(i/(-1) + -3) composite?
True
Let f = 42 - -29. Is f prime?
True
Suppose 2*m + 174 - 887 = v, 5*v - 1405 = -4*m. Is m prime?
False
Suppose 0*t + 30 = -5*t. Let i be ((-9)/t)/(9/48). Suppose -j + 10 + 15 = 3*n, -2*j + i = 0. Is n a composite number?
False
Suppose -12 - 18 = l. Let q = 85 - l. Is q prime?
False
Suppose 9*l = 4*l + 725. Is l composite?
True
Suppose 6*x = 2*x - f, 4*f = 3*x + 19. Let q be (10/(-4))/(x/2). Suppose q*i = -g + 68, -3*i + 45 - 9 = 3*g. Is i a composite number?
True
Suppose -3*u + 3 + 3 = 0. Suppose -4*x + 18 = s, -s + u = 2*x - 6. Is 8/(-2)*s/4 composite?
False
Let o(h) = -h - 12. Let c be o(-14). Suppose -c*u = -6*u + 644. Is u a prime number?
False
Let q(w) = -2*w**3 - 3*w**2 - w - 2. Let d be q(-3). Suppose 3*a - 18 = -l, -2*a + 17 = l - 0*a. Let h = d - l. Is h prime?
True
Let v(h) = h**3 + h**2 + h + 89. Is v(0) composite?
False
Let w be (-1)/((-1)/(-3)) + 4. Let p be ((-1)/(-3))/w*9. Suppose -5*k + 6*f = f - 195, -5*k + 179 = p*f. Is k a prime number?
True
Let h(l) = -3*l**3 - 5*l**2 - 2*l - 1. Suppose z + 3*y - 6*y = -10, -4*z - 4*y = 8. Is h(z) a prime number?
False
Suppose 0 = 4*f + 4*n + 4, -f + 6*f - 4 = -2*n. Suppose f*d = -d - 12. Is 2/8 + (-211)/d composite?
False
Suppose -r + 134 = r. Is r a composite number?
False
Let m(x) = -12*x + 19. Is m(-9) prime?
True
Suppose -3*k + 43 = 4*i, 4 - 5 = -i - 4*k. Suppose y - 6 = 2*y - 5*b, 2*y = 5*b + i. Is y prime?
True
Suppose -2*p + 4*p - 5*j - 437 = 0, -3*j = -2*p + 431. Is p prime?
True
Suppose -4*g = -0*g + 32. Is (-231)/(-2)*g/(-12) composite?
True
Is 3 - (-2 + -2*41) a prime number?
False
Let f(v) = 69*v**2 - 5*v - 7. Is f(5) composite?
False
Suppose -5*d + 644 = -251. Is d composite?
False
Let q(s) = 2*s + 6. Let n be q(-8). Let g = n + 12. Is g a prime number?
True
Let d(i) = -i**3 - 5*i**2 + 7*i + 6. Let m be d(-6). Suppose -f + 0*f + 11 = m. Is f composite?
False
Let y = -100 + 687. Is y a prime number?
True
Let u(v) = 1850*v**2 + v. Is u(-1) a prime number?
False
Let f(s) = -s**3 + 2*s**2 + 3*s + 3. Let p be (-2)/9 - 87/(-27). Let x be f(p). Suppose 0 = -2*a + x*a - 51. Is a composite?
True
Let f(s) = -6*s + 7. Let q(r) = -r**2 + 31*r - 35. Let d(g) = -11*f(g) - 2*q(g). Is d(-8) composite?
False
Suppose 8*o - 33 = -2*x + 3*o, 3*x - 5*o + 13 = 0. Suppose -431 = -x*z + 345. Is z a prime number?
False
Let q(p) = p**3 + p**2. Let y be q(-1). Suppose 5*m - 2*w + 15 = y, m - 14 = -5*w + 10. Is (-1)/m - -8*1 a composite number?
True
Suppose 2*q + 4*v = 7*q - 3475, -5*q = -v - 3490. Let u = -476 + q. Is u prime?
True
Let h = 119 - 200. Suppose -5*b - 97 - 103 = 4*g, 4*g - 20 = 0. Let c = b - h. Is c a prime number?
True
Suppose 3*c = -x + 9, 2*c = -3*c + x + 23. Let i(v) = -36*v**2 - 4*v + 3. Let y(n) = -37*n**2 - 5*n + 4. Let t(j) = c*y(j) - 5*i(j). Is t(-1) a prime number?
False
Let f = -1916 + 3277. Is f composite?
False
Let i(u) = 7*u - 3. Let k(m) = -6*m + 4. Let j(h) = -3*i(h) - 4*k(h). Suppose 40 = -0*c + 4*c. Is j(c) prime?
True
Let p(u) = u**3 - 5*u**2 + 7*u - 5. Let z be p(4). Suppose 2*r + 565 = z*r. Is r prime?
True
Let k(y) = -13*y + 5. Is k(-20) a composite number?
True
Let r = 694 + 171. Is r a prime number?
False
Suppose -2*d = 4*l - 564, d - 3*l + 278 = 2*d. Let a = d + -85. Is a composite?
True
Let y(t) = t**3 - 7*t**2 + 2*t - 1. Is y(7) prime?
True
Is (97/3)/(10/30) a prime number?
True
Let c be 1*-1 + 147/3. Suppose -2*s - 3*q = -154, -3*s - q = -225 - 20. Let j = s - c. Is j a prime number?
False
Let q(f) = -f**3 + 6*f**2 - 5*f - 4. Let a be q(5). Let s be 258/a*4/(-6). Suppose 2*d - 621 = -s. Is d prime?
False
Suppose -o = -1696 + 441. Is o prime?
False
Suppose -5*c + 0*c - 702 = -4*m, 2*m = -3*c + 340. Suppose -3*q = -m - 40. Is q a prime number?
True
Let w = -4 + 3. Let r be (w/2)/((-1)/404). Is r/8 - 3/12 prime?
False
Let g(t) = -2*t - 9. Is g(-14) a prime number?
True
Let p = 3204 - 1837. Is p a prime number?
True
Suppose -9*q + 21 = -8*q. Is q prime?
False
Suppose 7*p - 1489 = 3*p - 5*y, -1112 = -3*p + y. Is p prime?
False
Suppose -4*u = u + 1675. Let q = 568 + u. Is q a composite number?
False
Let r(m) = m**3 + 8*m**2 - 4. Let j be r(-8). Is ((-20)/(-25))/(j/(-70)) a prime number?
False
Suppose 3*s + 6 = 6*s. Let v be (-1 + (-9)/s)*-16. Let l = v + -33. Is l a composite number?
True
Let h(n) = n**3 - 7*n**2 + 10*n. Let f be h(5). Let a be ((-6)/1 + 1)/(-1). Suppose f*v + 2 = -v, a*l = v + 297. Is l prime?
True
Suppose 7 = 4*m + 5*h, 0 = -3*m - 5*