composite?
True
Let a(l) = -l**2 - 7*l - 8. Let o be a(-6). Let j = o + 2. Suppose j = -9*z + 4*z + 50. Is z a composite number?
True
Suppose n = -5*l - n + 1563, 5*l + n - 1559 = 0. Is l a composite number?
False
Suppose -u - 885 = -4*t, t + 2*u = 3*t - 444. Is t prime?
False
Let m = 296 - 63. Is m composite?
False
Let k = -1425 + 2000. Is (-4)/(-18) + k/45 prime?
True
Let k(y) = 1 - 3*y - y - 2 - y + 3*y**2. Let u be k(5). Let l = 86 - u. Is l composite?
False
Let g(s) = 3*s - 5. Let o be g(5). Let f = o - 6. Suppose 90 = -f*u + 398. Is u a composite number?
True
Let u be (-77)/(-21) - 2/3. Suppose 0 = -u*s - 3*a + 57, -4*s - 3*a + 72 = -0*a. Is s a prime number?
False
Let m(y) = 45*y**2 - 7*y + 5. Is m(-5) composite?
True
Suppose -10*r - 2764 = -14*r. Is r a composite number?
False
Suppose 152 = 5*d + 2*k, -2*d = -k + 3*k - 56. Let a = d + -1. Is a a prime number?
True
Let q(s) = -s**3 + 15*s**2 - 13*s - 14. Let h be q(14). Suppose h = -f - 3*m + 173, -3*f + 2*m + 494 = 6*m. Is f a composite number?
True
Let x(g) = g**3 - g**2 - g. Suppose h - 4*h + 5*k + 26 = 0, -4*k = 4*h + 8. Let l be x(h). Suppose -l*m = m - 447. Is m prime?
True
Let y(r) = -8*r**2 - r - 2. Let z be y(-2). Let u be (2*2)/(2/27). Let w = z + u. Is w composite?
True
Suppose -5*g + 1030 = 5*z, 3*z - 590 = 4*g - 0*g. Suppose 2*q = -2*k + 28 + 74, 4*k + 3*q = z. Is k a composite number?
True
Suppose -3*i + 12 = i. Let t be (-21)/(-15) - 2/5. Is -1 + t/(i/36) a prime number?
True
Suppose 3*p + 43 = q - 6, -5*q = 5*p + 95. Suppose -648 + 240 = -2*d. Let w = p + d. Is w composite?
True
Suppose 0 = -l + 191 + 32. Is l a composite number?
False
Let g(d) = d**3 - 2*d**2 + d - 2. Let f be g(2). Suppose 0 = 2*o - 4*m - 198, -3*o + 272 = -f*m - m. Is o composite?
False
Is 886/6 - (-16)/12 a prime number?
True
Suppose -1445 = -4*j + 279. Suppose 1209 = 3*n - v, -3*n - v + j = -778. Is n a composite number?
True
Let i = -4 - 1. Let q be (-2)/2 + 11 + i. Suppose -q*m + 431 = -3*n, -n - 174 = -2*m + n. Is m a composite number?
True
Let o(f) = 5*f - 10. Let d(j) = -j - 10. Let s be d(-12). Let p = s + 5. Is o(p) a composite number?
True
Let q be -9*(2 + 14/(-6)). Suppose -3*o + 3 = -3*g - q, -17 = -4*o - 5*g. Suppose z - 3 = o. Is z a prime number?
False
Let x = 236 + 105. Is x a prime number?
False
Let h be ((-8)/6)/((-4)/(-18)). Let r(g) = 1 + 11 - 5 + 4*g - 10*g**2 + 11*g**2. Is r(h) composite?
False
Let m = 136 - 72. Suppose 10 = -2*t, t + 150 = 2*g - 3*t. Let r = m + g. Is r composite?
True
Suppose -3*m + 2*b = -1532 + 489, -5*b + 1730 = 5*m. Is m a prime number?
True
Let r = 20 - -74. Is r a prime number?
False
Let b(p) = p + 1. Let h be b(3). Suppose -h = -2*j + 6. Suppose -67 = -j*s - 3*c, 5*s - 38 = 2*s - 4*c. Is s composite?
True
Let f(w) = 7*w - 7. Let j(g) = 112*g - 112. Let t(r) = -63*f(r) + 4*j(r). Is t(3) a composite number?
True
Let p = 13 - 7. Suppose -d = 3 + p. Let k = 13 - d. Is k prime?
False
Suppose 3*n + 21 = 4*w, -4*n - 35 = -5*w - 2*n. Let p be ((-12)/w)/((-2)/234). Suppose -5*a + 231 = -k, -3*a - 5*k + p = -5. Is a prime?
True
Let v(k) = -k**2 + 2*k + 2. Let c be v(5). Let o = c + 44. Is o composite?
False
Suppose -9 = 3*h, -3*y + 295 = -h - 191. Let w = -84 + y. Is w prime?
False
Let w be (0 + 2)*(-4 + 3). Is w/(-5) - (-11151)/35 composite?
True
Suppose -2*l = -2*q + 4, -2*l = 2*l - 2*q. Let b(z) = 2*z**2 - z**l + 5 - 3*z**2 + 3*z**2 + 3*z. Is b(6) a prime number?
True
Let l be ((-1)/(-3))/(2/12). Is (-99 - 7)/(l/(-1)) prime?
True
Let w = -297 - -514. Is w a composite number?
True
Suppose 4*l - 4*t + t - 28 = 0, -3*t = 3*l. Suppose -l*p - v = -627, 2*v - 630 = -4*p + 4*v. Is p a prime number?
True
Suppose 0 = -17*x + 14*x + 1041. Suppose 2*a - 15 = 5*a, 0 = 4*c + 5*a - x. Is c prime?
False
Suppose 0 = 5*i - 4 - 16, 5*i = 5*z - 4260. Let x = z - 263. Is x a composite number?
False
Let u = -149 - -466. Is u a prime number?
True
Let m(k) = -k**3 - k**2 + k + 409. Is m(0) composite?
False
Let z be ((-4)/8)/((-1)/(-14)). Let i = z + 25. Is 642/i - 4/6 composite?
True
Suppose 20*w = 19*w + 4269. Is w a composite number?
True
Let d(k) = 110*k**2 + 2*k + 3. Is d(-2) a composite number?
False
Let c(d) = d**3 - 9*d**2 + 9*d - 5. Let f be c(8). Suppose -3*l + 24 + f = 0. Is l composite?
True
Suppose 9*u = 4*u + 5*o + 1940, -2*o = -3*u + 1165. Is u a composite number?
False
Let h(k) be the first derivative of k**4 + 2*k**3/3 - k + 1. Let o be h(1). Suppose 3*m + 137 = o*a, 8 = a - m - 21. Is a composite?
True
Let z = 242 + -19. Is z a composite number?
False
Suppose 6*g = g. Suppose g = -4*u + 2*u + 230. Is u prime?
False
Let k(d) = -d**3 + 7*d**2 - 2*d. Let r be k(5). Suppose 0 = -6*l + 10*l - r. Is l a composite number?
True
Suppose 5*s = 12*s - 4781. Is s a composite number?
False
Is (-4)/(-6) - 496/(-3) prime?
False
Let g(r) = 16*r**2 + r + 1. Is g(2) prime?
True
Let v(x) be the second derivative of -2*x**3 + x**2/2 - 2*x. Is v(-3) prime?
True
Suppose -4*r = 5*s - 4234 + 1402, -2*r = 4*s - 1416. Suppose 4*j + 0*j = r. Suppose 0*x - j = -3*x. Is x prime?
True
Suppose 4*z + 6 - 2 = 0. Is (z + 5)*(-834)/(-24) a prime number?
True
Let c(m) = -m**2 + 3*m + 2. Let a be c(2). Let p = -1 + a. Suppose p*g - b - 77 = 3*b, 5*b = -3*g + 113. Is g prime?
True
Let f = 206 + -141. Suppose -2*z + 7*z = f. Is z a composite number?
False
Let h be (-1)/((-3)/(-3)) + 4. Let x(s) = s + 3. Let n be x(h). Is ((-392)/(-12))/(4/n) a prime number?
False
Suppose p = -p + 8, 5*p + 3825 = 5*o. Is o a composite number?
False
Suppose h = 5*g + 27, 5*h - 3*g - 47 = -0*g. Let o = h + 52. Is o a prime number?
True
Let s = 519 - 50. Is s composite?
True
Suppose -3*z + 0 - 8 = 4*w, -4*w - 8 = -3*z. Let l be (w - (3 + -8)) + 2. Suppose 6*b - b = l*j + 285, 0 = -3*b - j + 155. Is b prime?
True
Let z be 24/1 + 6 + -9. Is -3*(-4)/6 + z a composite number?
False
Is (0 + -3)*(-14603)/51 a composite number?
False
Suppose 0 = -9*p + 4*p - 55. Is (3 + 3)*p/(-2) composite?
True
Let w = 47 - 4. Is w prime?
True
Let t(n) = 5*n + 5. Let x be t(7). Suppose -8*i + 4*i + v + 56 = 0, -x = -4*i + 5*v. Suppose -4*m + 287 = 3*c + 2*c, 5*m = i. Is c prime?
False
Suppose 5*n + 16 = 86. Suppose -2 = -4*c + n. Suppose -40 - c = -2*f. Is f prime?
False
Let p(i) = 3*i**3 + 8*i**2 + 3*i + 147. Let t(g) = g**3 + 3*g**2 + g + 49. Let v(x) = 3*p(x) - 8*t(x). Is v(0) a prime number?
False
Let f be (-1424)/3 - (-2)/3. Is (f/5)/((-4)/10) a composite number?
True
Suppose -3*u - 5*g - 3 = -19, -4 = -3*u + g. Let v(a) = -3 - 2 - u*a**3 - 4*a**3 + 5*a**3 + 5*a. Is v(-5) a composite number?
True
Suppose 4*s + 2*g - 146 = 0, 3*s = -0*g + 4*g + 137. Is (-2 + s)*(-3)/(-3) prime?
True
Let i(d) = -2*d - 1. Suppose 3*l = -2*f - 7, -3 = 5*f - 2*f + 3*l. Let x be 1 - 1 - -2 - f. Is i(x) prime?
True
Let u(r) = -3 + r - r - 5*r. Is u(-8) prime?
True
Suppose 0*c = 4*c - 12. Suppose -f = f - 8, -267 = -5*q - c*f. Is q composite?
True
Suppose 2810 = 5*o - 260. Is o prime?
False
Is 24/96 - (-250)/(-16)*-126 a composite number?
True
Is 174*((-5)/3 - -2) prime?
False
Suppose 0 = -x + 180 + 109. Is x a prime number?
False
Suppose 4*p - 10 = -f - 2*f, 0 = -p - 2. Suppose z = f*z - 1535. Is z composite?
False
Suppose 8*m = 2*c + 3*m + 1440, -5*c = -4*m + 3600. Let f = -467 - c. Is f a composite number?
True
Let k = -837 + 1206. Let y = k - 200. Is y prime?
False
Suppose -p + 5*c + 27 = 4, 5*p - 19 = c. Suppose 0 = p*x + x - 188. Is x prime?
True
Let z = -190 - -443. Is z composite?
True
Suppose -12*l + 4715 = -7*l. Is l a prime number?
False
Let v be 4 - ((2 - -2) + -2). Suppose 375 = 4*c + j, -c + 2*c - 99 = -v*j. Is c a prime number?
False
Let b = 9 - 11. Let g be 218/3*(b + -4). Let t = g - -613. Is t a prime number?
False
Let p = 100 + -169. Let d be (p/2 - -1)*2. Let r = d - -116. Is r prime?
False
Is ((-101216)/(-80))/(4/10) composite?
False
Let b(w) = 37*w - 10. Let r be b(4). Suppose 169 = 3*q + m - 40, r = 2*q + m. Is q a prime number?
True
Suppose 4*j + 1755 - 182 = 5*p, -9 = -3*j. Is p a prime number?
True
Suppose 0 = 3*n - 15 + 3. Let c(r) = 29*r - 1. Let q be c(3). Suppose q = n*w - 2*w. Is w composite?
False
Let q = 18 + -13. Suppose 0 = -q*i + 155 + 95. Suppose -17 = -r + i. Is r prime?
True
Suppose -t - 2*t = -18. Suppose t*f - f - 25 = 0. 