s l a composite number?
True
Let k(g) = -113*g**3 + g**2. Let u be k(1). Let n = u + 289. Is n prime?
False
Suppose 5*h = 3*h. Suppose -4*i + 2*r + 8 = 0, 3*i + 2*r = -h*r + 13. Suppose i*b - 2*b = 211. Is b prime?
True
Suppose 884 = 11*a - 7*a. Is a a prime number?
False
Suppose -2*p - 4*q = -3*p + 5567, -11146 = -2*p + 4*q. Is p prime?
False
Suppose 4*i + 6 = -3*n, 4*i - 3*i + 3 = 0. Suppose -n*w + 0*w - 12 = 0. Let h(p) = p**3 + 7*p**2 + 3*p - 7. Is h(w) prime?
True
Suppose -4*u - 234 = 202. Let w(s) = 4*s**2 + 6*s + 6. Let p be w(-7). Let q = p + u. Is q a prime number?
False
Let k be 7/2 - (-3)/(-6). Suppose 2*y + 2*y + 462 = 2*j, -k*y - 1169 = -5*j. Suppose -2*c = 3*c - j. Is c a composite number?
False
Suppose -4*f + 12 + 0 = 0. Suppose -8*w + f*w = -745. Is w composite?
False
Suppose -2*c = 37 - 335. Is c prime?
True
Suppose 11*j - 15*j = -13540. Is j a prime number?
False
Let k be (-2 - -2 - 4) + 908. Let y = -645 + k. Is y composite?
True
Suppose -t = -6*t, 892 = 4*i - t. Is i a composite number?
False
Is 14/(-49) + 3 + (-3084)/(-14) a prime number?
True
Let l(p) = 3*p**2 + 3*p - 31. Is l(17) a composite number?
False
Suppose 5*f - 7 = 13. Suppose -7*u + 279 = -2*u + f*c, 162 = 3*u - 3*c. Is u composite?
True
Suppose 17 = 4*k - 3, -k - 735 = -4*z. Is z a composite number?
True
Suppose -2*f + 6 = 2*f + n, -2 = -4*f + n. Is (f - 4) + (-404)/(-2) composite?
False
Let q = 39 + -19. Suppose 0 = 5*h + i + q, -4*h - 23 = -3*h + 4*i. Let p(o) = -20*o + 2. Is p(h) composite?
True
Suppose 4*x - 80 = -2*j, 12 + 74 = 3*x - 5*j. Is x a composite number?
True
Let m be 79/(-11) + (-6)/(-33). Let k = m + 19. Let x = k + 7. Is x a composite number?
False
Let y be (-14)/(-3) + (-8)/12. Suppose -y*h - 52 = -4*r, -4*r + 5*h + 50 = -0*r. Is r a composite number?
True
Let k(n) be the second derivative of n**3/3 + 2*n. Let z be k(2). Suppose 4*p + p = z*c - 119, 4*c - 126 = -2*p. Is c a composite number?
False
Let v(q) = -q**3 + 2*q**2 + 3*q - 3. Let t be v(3). Let m be (-7)/6 + 3/18. Is t - -82 - (1 - m) a composite number?
True
Let l(w) = 2*w - 2. Let y be l(1). Suppose y = -r - r + 446. Is r prime?
True
Let y(c) = -c**3 + 3*c**2 - 14*c - 1. Is y(-6) a composite number?
True
Let w(t) = 2*t**3 - 12*t**2 - 12*t + 37. Is w(11) prime?
False
Suppose -3*d + 225 = 2*d. Suppose 6 = -4*a + 18. Suppose -o + y + 15 = 0, -2*y + d = 4*o - a*y. Is o a composite number?
True
Let v be (-2 + 1)*-4 - 2. Let u(b) = -6*b + b - 6*b**2 - v + b**3 + 2. Is u(7) a composite number?
True
Suppose -t = 4*r - 1365, -2*r = 3*t - t - 2742. Is t prime?
True
Is ((-18)/(-12))/((-3)/(-44)) composite?
True
Let f = 1034 - 715. Is f a prime number?
False
Let v(i) = 4*i**2 - 10*i + 1. Let r(l) = l + 3. Let s be r(4). Is v(s) composite?
False
Let t(h) = 111*h**2 - 8*h - 11. Is t(-2) composite?
False
Suppose 1082 = -5*k + 7*k. Is k composite?
False
Let x(t) = -t**3 + 8*t**2 + 8*t - 2. Let b be x(9). Let n = -8 - b. Suppose 0 = v - 4*v - n*l + 45, v - 12 = 2*l. Is v prime?
False
Let c(b) be the third derivative of 0*b + 0 - 1/6*b**3 + 2*b**2 + 1/3*b**4. Is c(1) composite?
False
Suppose -2*n = 5*z - 248, -4*n - z = -3*n - 130. Is n a composite number?
True
Let z = 1345 - 354. Suppose 4*b = -139 + z. Is b a composite number?
True
Let g be (4/6)/((-4)/(-36)). Suppose -3*v - 12 - g = -h, 3*h - v = 62. Suppose 0*d - h = -d. Is d a prime number?
False
Is ((-82)/(-4))/((-1)/(-14)) prime?
False
Let f(h) = -h**3 - 3*h**2 + 5*h + 5. Let n = 10 + -8. Suppose -3*u - 23 = -3*b - 8, 0 = -u + n*b - 4. Is f(u) a prime number?
True
Suppose k = 82 - 4. Suppose -168 = -3*y + k. Is y a composite number?
True
Let k(b) = b + 2. Let t be k(2). Suppose -5*q - 50 = -5*c, -c - 4*q = t*c - 77. Is c composite?
False
Suppose 0 = -5*f - 15, 4*y - f - 2*f = -2503. Let h = y + 887. Let a = h - 182. Is a a composite number?
True
Suppose -2*s - s - 4*d + 7 = 0, -2*s + 14 = -2*d. Suppose -557 = -3*j + s*b, 2*j - 4*j - b = -354. Is j prime?
True
Suppose 3*n - 5967 = 954. Is n composite?
True
Suppose -q + 3*y - 6*y = 10, 18 = q - 4*y. Let g = -2 + q. Suppose 3*s - 3 - 18 = g. Is s prime?
True
Let y(c) = -c**3 - 3*c**2 + 4*c + 1. Let f = 8 + -13. Is y(f) a composite number?
False
Let y = 127 - -87. Suppose -5*r - 827 = -4*t, 3*t - y = 5*r + 410. Is t composite?
True
Suppose 0 = -2*o + 3*o - 81. Let g = 148 - o. Is g a prime number?
True
Suppose 2863 + 373 = 4*d. Is d a composite number?
False
Suppose 8 = 4*v, -67 = 3*r - 0*v - 2*v. Suppose 38 = 2*u - 30. Let w = u + r. Is w a prime number?
True
Is 3 + -1 + -6 - -921 a prime number?
False
Suppose 0*v = -2*v. Suppose -2*w - w + 66 = v. Is w a prime number?
False
Suppose -2*p + p = -649. Is p a composite number?
True
Let y be 432 - (6*-2)/4. Suppose -j - 2*j = -y. Is j composite?
True
Let d = -7 - -40. Is d prime?
False
Let q(d) = -d**3 - 11*d**2 - 13*d + 2. Suppose -n = -2 + 8. Let y(g) = -g**3 - 7*g**2 - 5*g - 5. Let h be y(n). Is q(h) composite?
True
Let h be 52 - (5 + -2) - 1. Suppose h + 30 = 2*c. Is c composite?
True
Let a(i) = i + 3. Let q be a(-5). Let c be (q/(-5))/(3/165). Is c/3 + (-2)/6 a composite number?
False
Suppose -2 = -l + 3*l. Is 2/4*(-14)/l a prime number?
True
Let u be 1/3 + (-4)/12. Suppose -k - 4*k - 2*w = -205, u = 3*w + 15. Is k a prime number?
True
Let o(x) = 32*x**2 + 4*x - 3. Let q be o(2). Suppose -4*y - q = -5*y. Is y prime?
False
Let c(j) = 4*j - 10. Let y(p) = -5 - 4 + 4*p + 0 + 0. Let u(r) = -2*c(r) + 3*y(r). Is u(11) a composite number?
False
Let p = -155 - -237. Is p a prime number?
False
Let y(z) be the second derivative of -2*z - 17/3*z**3 + 0 + 5/2*z**2. Is y(-4) prime?
False
Let d(c) = 5*c**3 - c**2. Let n be d(1). Is (-1)/(-1) - n*-14 a prime number?
False
Let u(p) = 7*p - 11. Suppose -4 = -4*t + 32. Let a be u(t). Suppose r - 53 = -4*z, 0 = -5*r + 4*r - 3*z + a. Is r composite?
True
Suppose -3*j + 401 = -139. Suppose j = 2*c + 14. Is c composite?
False
Is (1754*(2 + -3))/(-2) a composite number?
False
Let p(r) = -r**2 + r - 2. Let f be p(3). Let q(m) = m**2 - m + 444. Let d be q(0). Is ((-2)/3)/(f/d) composite?
False
Let r = 1013 - 106. Is r a composite number?
False
Suppose 0 = 14*o - 10*o - 644. Is o composite?
True
Suppose 4*g = 3*g + 2. Is 1458/42 + g/7 prime?
False
Let r = 11 + -6. Suppose -n - 3 = -r. Suppose -88 = -n*q + 102. Is q a composite number?
True
Let z(d) = -12*d**3 - 1. Is z(-2) composite?
True
Let u(m) be the first derivative of 6*m**2 - 7*m + 2. Is u(16) composite?
True
Suppose -7 + 1126 = 3*l. Is l composite?
False
Suppose -5*z + o = 1 + 5, o = 2*z. Let t be 860/12 + z/3. Let b = t - 6. Is b a composite number?
True
Let n(m) = 5*m - 5. Let b be n(6). Let r be -5*6*2*-2. Let u = b + r. Is u composite?
True
Suppose 0 = 12*c - 8*c - 764. Is c prime?
True
Let m = -2 + 5. Suppose -96 + 1013 = 3*i + c, -3*i = -m*c - 933. Is i a prime number?
True
Let w be 1108/(-3) + 2/6. Is w/(-7) + (-4)/(-14) a composite number?
False
Suppose -3 = -t - 0*t, -3*t = -4*n + 11. Suppose -n*i - y - y + 735 = 0, -720 = -5*i - 5*y. Is i composite?
False
Let z(k) = -k**3 + 11*k**2 - k + 12. Let j be z(10). Let f = -31 + j. Is f a prime number?
True
Let h(i) = -i. Let w be 4/8 + 22/(-4). Let p be h(w). Suppose -2*z - 6 = 0, a - 16 = -p*z - 5. Is a a composite number?
True
Let z(c) = -c**3 + 4*c**2 + 3. Let o be z(4). Suppose o*l = 4*l - 116. Suppose -21 = 5*v - l. Is v composite?
False
Let w be (-5)/(-1) - 0/6. Suppose 4*q - w*q = -149. Is q a prime number?
True
Suppose -4*r + 84 = 3*z, -2*z = 2*r - 0*z - 42. Suppose 0 = 3*n - r - 36. Is n a composite number?
False
Let p(i) = -i**2 + 10*i - 12. Let a be p(8). Let c(h) = -h + 5. Let k be c(a). Is (-7)/(-1) - (-1 - k) composite?
True
Let v(l) = -l**3 - 11*l**2 - 12*l - 11. Let s = 28 - 6. Suppose 0 = -3*d + d - s. Is v(d) a prime number?
False
Let m(o) = o**3 + 4*o**2 - 4*o + 7. Let y be m(-5). Suppose 0 = -y*g + 6*g - 596. Is g composite?
False
Let o be 1/(-2) + 4/8. Suppose -6 = u - o*u. Is u/4*-10 + -2 prime?
True
Suppose -3 = -5*k - 13. Let p be (-13)/(-2) - (-1)/k. Suppose 3*g - 5*d = 83, 3*g - d = -p*d + 103. Is g composite?
False
Let c(r) = -r**3 - 10*r**2 - 6*r + 9. Let f be c(-9). Let z = f - -12. Let x(w) = -w**3 - 5*w**2 + 4*w - 5. Is x(z) a composite number?
False
Let t(c) = 2*c**3 - 7*c**