x) = 67*x + 2. Is m(t) prime?
False
Suppose -8*y = -y - 1561. Is y a prime number?
True
Suppose -31 = -3*a - y, 2*y = 4*a + 3*y - 42. Suppose -13 - a = -4*x. Suppose -x = -4*j + 46. Is j composite?
False
Suppose -3*d + 0 + 18 = 0. Let u = 89 - d. Is u composite?
False
Let r(n) = n**3 + 8*n**2 + 2*n - 1. Let j(b) = b**2 - 5*b. Let a be j(4). Is r(a) prime?
False
Let l(g) = 278*g**2 + 4*g - 23. Is l(4) composite?
False
Let n = 8 - -11. Suppose -2*o + n = o + u, -2*o = -3*u + 2. Suppose q - 4*q + 5*t = -59, -o*t - 82 = -4*q. Is q prime?
True
Let n = -1170 + 2227. Is n a prime number?
False
Let g(y) = -5*y + 7. Suppose 5 = -5*p + 4*p, 4*b - 5*p - 1 = 0. Is g(b) prime?
True
Let s(y) = -99 + 3*y**2 + y**2 + 94 - 6*y. Is s(-7) a composite number?
False
Let o be -3*(1 + -2) + 0. Suppose -o*m + 7*m - 212 = 0. Is m prime?
True
Suppose 0 = 3*x + k - 2753, k + k + 4603 = 5*x. Is x prime?
True
Let q = 10 + -6. Suppose -5*z - 3*g + 6 = 0, 5*z - q = -0*z - 2*g. Is 25 + (0 - z/2) prime?
False
Suppose -5*q + 144 = 24. Suppose 0 = -4*a + 256 + q. Suppose a = f + f. Is f composite?
True
Let m be (6 + -5)*0/2. Suppose m = -4*z - 2*l + 336, 0*z + 421 = 5*z + 3*l. Is z a composite number?
False
Is (-390)/(-40) - 5/(-4) a composite number?
False
Is ((-31)/2)/((-2)/20) prime?
False
Suppose -3*h + 5*h = -68. Let y = h - -71. Is y prime?
True
Suppose -3*d = -5*f - 1073, -208 = -d + f + 151. Is d composite?
True
Let m(a) = 5*a + 2. Let s(y) = 5*y + 3. Let t = 3 - 0. Let i(n) = t*s(n) - 4*m(n). Is i(-4) a composite number?
True
Let j(c) = c**3 + 4*c**2 + 4*c + 3. Let i be j(-2). Suppose -113 = -i*h + 28. Is h prime?
True
Suppose 36*i + 13833 = 45*i. Is i a composite number?
True
Let w(p) be the third derivative of -p**5/60 + p**3/6 - p**2. Let f be w(-1). Suppose f*v + 2*v - 66 = 0. Is v a composite number?
True
Let c be 4*((-7)/(-2) + -3). Suppose -2*k + g + 17 = -c*g, 5*k = -3*g - 10. Is (67/(-2)*-2)/k prime?
True
Let y = 963 + -572. Is y composite?
True
Let i = 1 + -1. Suppose 0 = -i*w + w. Suppose w = -f + 5 + 6. Is f a composite number?
False
Let x be (-430)/(-4) + 27/(-18). Is (-5)/(316/x - 3) a prime number?
False
Suppose -187 = -4*a + 89. Is a composite?
True
Suppose 5*t - 2 = 13. Let g(y) = -2*y**2 - 3 + y**t - 4*y**2 - 4*y + 1. Is g(7) prime?
True
Let t be (2 - (-6)/(-4))*2. Let c be 39/t*(3 - 0). Suppose 5*v = -2*k + c, -k = 3*v - 26 - 45. Is v a prime number?
False
Suppose 123 + 1457 = 4*w. Suppose 0 = -2*d + 27 + w. Is d composite?
False
Let c(g) = g**3 - 10*g**2 + 17*g - 16. Let v be c(11). Let j = -165 + v. Is j a prime number?
True
Let w(z) = -5*z**3 + 4*z**2 + z + 3. Let r(j) = -j**3 - j**2 + 1. Let v(o) = -4*r(o) + w(o). Is v(6) a prime number?
False
Let x be (-3 + 1)/(22/1881). Is 7/(x/87 - -2) prime?
False
Suppose 3*i = 3*s + 39, -5*s - 6 = -2*i + 50. Let o = s + 7. Is o + 2 - (1 - 147) composite?
True
Let n = -821 + -625. Is 1/(-1 - n/1443) a composite number?
True
Suppose 0*n - n - 18 = -4*y, -2*n + 24 = 4*y. Suppose 2*a + 3*m - 12 = 0, 0*a = -n*a + 3*m. Suppose 97 = a*s - 2*s - 4*b, 2*s - b = 180. Is s prime?
True
Suppose -2*h + 2 = -h. Let q(o) = -o - 1. Let j(z) = 8*z**2 + 5. Let x(i) = j(i) + 2*q(i). Is x(h) a composite number?
False
Let o be 3 - (-3 + 3 - 75). Is (20/(-6))/((-4)/o) a prime number?
False
Suppose 4*l + 140 = -128. Is (l - -1)/((-8)/4) a composite number?
True
Suppose -29*p + 462 = -15*p. Is p composite?
True
Suppose -79 = 3*t + 263. Let d = 173 + t. Is d prime?
True
Let a = -2 + 7. Let b be 2 + (0 - a - -3). Suppose t - 2*t + 119 = b. Is t prime?
False
Let y(s) = s**3 - 4*s**2 + 2*s - 7. Let z(j) = j**2. Let r be z(-1). Suppose -r = -q + 5. Is y(q) composite?
True
Let m(h) = -10577*h**3. Is m(-1) prime?
False
Suppose 0 = -3*l - 2*x - 14, 0 = 2*l + x + 4*x + 24. Let a = l - -7. Suppose f - o - 96 = -3*f, -f + a*o + 43 = 0. Is f a composite number?
False
Let i(n) = -n**2 + 5*n - 2. Let k be i(4). Suppose -k*r + 19 = -5*h, -5 = -2*r - 4*h + 5. Is r prime?
True
Is 63/21 + 2*695 a prime number?
False
Let z = 1144 - -2463. Is z a prime number?
True
Let p(z) = z**2 - 3*z + 1. Let o be (-2)/(-4) - (-9)/6. Let a be p(o). Is a/2 - (-78)/4 prime?
True
Suppose 23*a + 5410 = 33*a. Is a prime?
True
Let t = -566 + 1013. Is t a composite number?
True
Let g(i) = -2*i - 12. Let s be g(-8). Suppose -s*w + 9*w - j = 440, -3*w + 3*j + 276 = 0. Is w a composite number?
True
Let j(r) = 2*r**3 + 5*r**2 + 9*r + 2. Is j(5) prime?
False
Let a(f) be the third derivative of -f**5/60 + 5*f**4/12 - f**3/6 - 7*f**2 + 3*f. Suppose -4*r + 4 = -5*i + 22, -4*i + 36 = 4*r. Is a(i) a composite number?
False
Let q(u) be the first derivative of u**6/360 + u**5/20 + u**4/3 + u**3 + 3. Let c(s) be the third derivative of q(s). Is c(-7) a prime number?
False
Let m be ((-4)/3)/(2/6). Let s be 95/35 + m/(-14). Suppose -j - s*n + 11 = -64, 3*n = 4*j - 270. Is j a prime number?
False
Let a(y) = -y + 5. Let v be a(0). Let g = 66 - v. Is (2 - 5) + -1 + g composite?
True
Suppose 0 = -4*t + 457 + 51. Let c = 288 - t. Is c a composite number?
True
Let t = 215 + 20. Is t a composite number?
True
Suppose 5*f + 17 = 47. Is f a composite number?
True
Let j = 103 + 1216. Is j a prime number?
True
Let a = -617 + 1252. Is a a composite number?
True
Let i(p) = p**2 + 29*p - 25. Is i(19) composite?
False
Suppose 0*d + d - 3*v = 751, d = -3*v + 727. Is d a composite number?
False
Let t(x) = -3 + 33*x - 6*x + 3 + 2. Is t(3) composite?
False
Is (-69)/(-1) + (-24)/12 composite?
False
Let d(c) = -c**3 + 4*c**2 - 4*c. Let r be d(3). Let w = r - -1. Is (-74)/(2*w/2) composite?
False
Let l(g) be the first derivative of 6 + g - 9 + 6*g**2 + 5*g**2. Is l(4) a prime number?
True
Let b = 23 + -20. Suppose -b*o + 302 = -295. Is o a composite number?
False
Let z = 1365 + -4148. Is 2/5 - z/5 a prime number?
True
Let y be (-2 - 1) + -2 + 3. Let d(q) = 4*q + 7*q**2 + 0*q**2 - 6 + 8. Is d(y) a prime number?
False
Let r = 0 + -4. Let g = -3 - r. Is g + 1 - 4*-3 a prime number?
False
Let b(c) be the first derivative of c**4/4 + 4*c**3/3 - 2*c**2 - c + 3. Is b(-4) a prime number?
False
Let b = -89 - -538. Is b prime?
True
Suppose 2*v = -0*r - 2*r - 100, -3*r + 3*v = 138. Let x = -11 - r. Suppose 4*d = 0, 5*u - 4*d - 152 = -x. Is u composite?
False
Let r = 25 - -188. Is r a composite number?
True
Let r = 114 + 26. Let y = 219 - r. Is y composite?
False
Let n be (-4 - -4)/(-1) + -2. Is -2*(n + (-282)/4) composite?
True
Suppose -805 = -6*b + b. Is b prime?
False
Let d(o) = 6*o**2 + 27*o + 13. Is d(-12) a prime number?
False
Let t be 3/(-1)*(-7)/7. Suppose 5*b = 3*r - 467, 3*b = t*r + 2*b - 475. Is r composite?
True
Suppose l - 936 = -2*w, 2*l - 3 = 1. Is w a prime number?
True
Let o(h) = h**3 - 6*h**2 + 7*h - 7. Let a be o(5). Let y = 6 - a. Suppose 4*j = 3*m + y*j - 127, -3*j = -6. Is m a prime number?
True
Let m = -12 - -17. Suppose -j + 115 = j - 5*p, 0 = -5*p - m. Is j composite?
True
Let j(c) be the first derivative of 121*c**2/2 + 3. Let y be j(3). Suppose u - y = -2*u. Is u a composite number?
True
Suppose -4*b - 3*q - 27 = 0, -3 = -b - q - 3*q. Let d be ((-66)/b)/(2/3). Suppose 0 = m - 2 - d. Is m a prime number?
True
Suppose 4*w = 7734 - 394. Is w a prime number?
False
Suppose -2*u = -3*f + 487, 486 = 3*f - 2*u - u. Is f composite?
False
Let y(g) be the second derivative of 13*g**6/360 - g**5/120 - g**3/3 - 2*g. Let n(q) be the second derivative of y(q). Is n(-1) composite?
True
Let t = 299 + 18. Is t composite?
False
Suppose -5*q = -4*q - 3. Let v be q + -2 + (-2 - -4). Suppose v*g - 176 = -17. Is g composite?
False
Let i = 84 - 51. Is i composite?
True
Let u(q) = 15*q**2 + 3*q + 7. Is u(7) a composite number?
True
Let b be (-2)/(-4) - 11/2. Let j(h) = 2*h - h - 5*h + 1. Is j(b) a composite number?
True
Let s be (-1)/(0 - 1) + -186. Is -3 - (s + -1) - -2 a prime number?
False
Suppose 0 = -5*d - 15, 5*d = -0*j - 3*j + 348. Is j prime?
False
Suppose 3*f + g - 241 = -0*g, 0 = -4*f - 5*g + 336. Suppose d - 84 = f. Is d a prime number?
True
Let y(u) = -3*u**3 + 2*u**2 + 7*u + 3. Let b(m) = -m**3 + m**2 + 1. Let t(f) = 4*b(f) - y(f). Let o = -9 + 4. Is t(o) prime?
True
Let j be ((-8)/(-20))/((-1)/(-10)). Suppose j*b - 16 = 0, -2*b + 3*b + 253 = x. Is x prime?
True
Let h(x) = 4*x + 14. Let z be h(-17). Is