 prime?
False
Let z = 13 + 54. Is z a composite number?
False
Let z be 6/(-9)*-6*1. Suppose -z*k + 4*g + 368 = 0, k - 2*g = -4*k + 451. Is k a composite number?
False
Suppose 0 = -3*r - 12, -2*r - 495 = -a - 0*r. Is a a prime number?
True
Is (72 + 4551)*2/(-6)*-1 prime?
False
Let z(l) = -l**3 + 3*l**2 + 5*l + 3. Let o be z(4). Suppose -3*m - 8 = -o*m. Is 163/(m + 2/(-2)) composite?
False
Is (-6)/(-12) - (-3 + (-6662)/4) composite?
False
Let m be (41 - 0)*(-4 + 3). Let k = -15 - m. Is k a composite number?
True
Let k be (-8)/(((-9)/3)/9). Let f be 3/(-2)*k/(-9). Is (-1 - 1)/(f/(-326)) composite?
False
Let p(w) = 38*w - 3. Is p(4) prime?
True
Suppose 0 = -u - 9 + 3. Is u/(-9)*-3 - -213 composite?
False
Suppose 0 = -f - 2*f + 4197. Is f prime?
True
Suppose -153 = 2*v - 2*t + 99, 4*v + 3*t = -518. Let b = v + 255. Is b composite?
False
Let t(u) = -u**3 + u**2 + 5*u + 1. Let j be t(5). Is (j + -2)*3/(-12) composite?
False
Let s = 207 + -120. Is s a composite number?
True
Let t(i) = -8*i**2 + i - 1. Let f be t(-2). Let h = f + 142. Suppose h = -2*x + 417. Is x a prime number?
False
Let t(r) = 20*r**2 - 7*r - 19. Let h(b) = 7*b**2 - 2*b - 6. Let o(x) = -17*h(x) + 6*t(x). Is o(-7) a prime number?
False
Let f(o) = -o + 3. Let n be f(0). Suppose -n*i = -86 - 295. Is i composite?
False
Suppose 2285 = 5*f - 435. Let w = -213 + f. Is w composite?
False
Let p(x) = 6*x. Let q(r) = 12*r + 1. Let a(w) = 5*p(w) - 2*q(w). Suppose f = 6*f - 20. Is a(f) prime?
False
Suppose 0*s = -s. Let f = 4 - s. Suppose 2*g + 0*g = -f*k + 6, -3*g = 5*k - 13. Is g a prime number?
True
Let y(u) = u**2 + 7*u. Let o be y(-7). Is 38 - (o + 1)*1 a composite number?
False
Let m = 54 + -32. Is m a composite number?
True
Is (-2 + -125)*(-2)/2 prime?
True
Let z = 334 + -171. Is z composite?
False
Let c be 711/18*12*-1. Is 10/4*c/(-15) composite?
False
Suppose 3*v = 545 + 37. Is v prime?
False
Suppose -3*z = -3*p - 930, -2*p + 218 + 382 = 2*z. Is z a composite number?
True
Let o be 12/(-15)*10/(-4). Suppose -k + j + 3 = 0, 2*k - o*j - 6 = -5*j. Suppose -a + 200 = -k. Is a a composite number?
True
Let o = 21 + 120. Is o prime?
False
Let s = -10 - -8. Is s/(-3)*(-801)/(-6) a prime number?
True
Let a(r) = -r**3 - 15*r**2 - 15*r - 12. Let c be a(-14). Let j be 6*c/(-4)*1. Is (-51)/(-3) + 2 - j a prime number?
False
Suppose 315 - 955 = -4*n. Suppose -3*p + 8*p - q = n, 0 = -p + 3*q + 18. Is p prime?
False
Suppose 0*d - 1476 = -3*d. Let g = d - 227. Is g a composite number?
True
Suppose -4*p + 5*p - 3 = 0. Let d(h) = -h**3 + 9*h**2 - 4*h - 8. Let z be d(8). Suppose p*y = -y + z. Is y prime?
False
Let x(s) = 24 - 9*s + 0*s - 22. Let d be x(-8). Is d/1 + 1 + 2 composite?
True
Suppose -y + 4 = -j + 5*j, 0 = 5*y + 5*j - 35. Let v(f) = -6*f - y*f**2 - 2*f + 3 + 4*f - 3*f - f**3. Is v(-7) a composite number?
False
Suppose -s + 10 = -10. Let f be (2/(-4))/((-5)/s). Suppose f*w - w - 4*j - 133 = 0, -2*j = 2*w - 306. Is w a composite number?
False
Suppose 7*h = 2*h + 140. Let p(n) = -22*n**2 + 5 - 3 + h*n**2 - n - 4. Is p(3) a composite number?
True
Let f = -3 + 7. Let h(w) = 9*w**2 - 4*w - 1. Is h(f) prime?
True
Suppose -2410 = -2*y - 4*m, -5*y = -0*y - 2*m - 6061. Is y prime?
False
Is 12832/14 + 27/63 prime?
False
Let s(t) be the first derivative of 19*t**2/2 + 2*t + 3. Suppose q + 3*j - 4*j = 6, -2*j - 15 = -3*q. Is s(q) composite?
False
Suppose 540 = 5*i + k, -2*k - 3*k - 134 = -i. Suppose -4*g - 216 = -4*t, 2*t + 3*g + i = 4*t. Is t a prime number?
True
Suppose -3*p = 2*p + 345. Let w = 104 + p. Is w a prime number?
False
Suppose 3*p - 3*h - 114 = 0, p + h - 23 = -3*h. Is p composite?
True
Suppose 4*g - 9*g = -165. Suppose -2*d + 47 = -g. Suppose 0 = -4*t - c + 87 + d, -4*c = -2*t + 50. Is t a composite number?
False
Let j(q) = q - 1. Let n be j(7). Suppose -2*z + l = -n*z + 7, 5 = 3*z + l. Suppose -2 + 6 = z*w. Is w a composite number?
False
Let x = 18 - -30. Suppose p = 139 - x. Is p a composite number?
True
Suppose -13000 = -4*q - d, 3*q - 3*d = 15060 - 5295. Is q prime?
True
Let c(w) = w**3 + 6*w**2 - 1. Let y be c(-6). Let h = 1 - y. Is h/(-8) + (-106)/(-8) prime?
True
Suppose -2413 - 308 = -3*j. Is j a composite number?
False
Let p = 8 - 6. Is 3 - (p/1 - 118) prime?
False
Let r(x) = 3*x + 1. Suppose -3*m - 2*m = -5. Let h be r(m). Suppose h*n + n - 10 = 0. Is n prime?
True
Is -6*(445/(-10) + -4) a composite number?
True
Let o be (2/(-6))/(1/(-15)). Suppose -28 = o*f + 2. Is (-3)/(-9) - 220/f a composite number?
False
Let s = 3 + -3. Suppose s*i - 3*i = 285. Let a = -58 - i. Is a composite?
False
Suppose 3*p - 80 = 115. Is p a prime number?
False
Let r(n) = 38*n**3 - 6*n**2 + 6*n + 1. Is r(3) composite?
False
Let h(r) = r + 11. Suppose 0*k = -i + 3*k - 6, -4*k = 4*i - 8. Let d be 13 + (-3 + i - 0). Is h(d) a composite number?
True
Let b be (12/(-3))/(-1 + 3). Let q(h) = 1 - 3*h + 31*h**2 + 3 - 7. Is q(b) composite?
False
Let j(f) = -f**3 + f**2 - f + 1. Suppose -6 = c - 2. Is j(c) a composite number?
True
Let k = 13 + 17. Let w = 55 - k. Is w a prime number?
False
Let g = 4 + 2. Let j = 9 - g. Suppose j = -a + 18. Is a a prime number?
False
Let x(h) = h**2 - 2*h + 4. Let b be x(5). Let i = -6 + b. Suppose 4*p - i = 79. Is p a prime number?
True
Let t(n) = n**2 - 7*n + 1. Let i be t(7). Let j(d) = 3*d**2 - 4. Let o be j(3). Is o + i + -1 + -1 prime?
False
Suppose 2*n + 624 = 3*h, -2*n - 76 = 2*h - 482. Is h composite?
True
Let g(o) = 3*o**2 - 4*o + 4. Suppose 5*r - 30 = -10. Suppose 31 = 5*a + r*j - 0*j, a + 5*j = 23. Is g(a) prime?
True
Let r be (4/1 - 1) + -12. Is (67/3)/((-3)/r) a composite number?
False
Suppose -30 = -5*d + 10. Suppose 4*x = -0*x - q + d, -14 = 2*x - 4*q. Suppose x = n - 2. Is n composite?
False
Let w = 1014 + -623. Is w a prime number?
False
Suppose -2*b - 4*d + 79 = -133, 0 = 2*d + 4. Suppose -2*z + 175 = 3*p + 2*z, z = -2*p + b. Is p a composite number?
False
Let s = 579 - 238. Suppose 4*n = -5*z + 2*n - s, -5*n = 5*z + 335. Let m = -46 - z. Is m a composite number?
False
Suppose -234 = n - 4*n. Let c = n - 1. Is c prime?
False
Suppose o - 40 = -3*o. Let r be (-487)/(-4) - (-9)/(-12). Let j = r - o. Is j prime?
False
Suppose 0 = -l - 1, 2*m + 2*l - 3*l = 1. Suppose -2*i + 8 = -m*i. Is (-57)/(-2)*i/6 a prime number?
True
Let b be 164/12*(45 + 0). Let s = b + -308. Is s a prime number?
True
Let r(z) = 8*z**3 + 2*z**2 + 2*z - 1. Let i be r(-2). Let v = 224 + i. Is v a prime number?
True
Let w(j) = 548*j + 57. Is w(4) a composite number?
True
Suppose 364 - 68 = 2*b. Suppose -3*q = b - 406. Is q composite?
True
Let p(x) be the second derivative of x**5/20 + 5*x**4/12 - x**3/3 - x**2/2 - x. Let z be p(-5). Is z + (-1 - (1 - 2)) a composite number?
True
Let m(k) = k**2 + 13*k + 6. Is m(19) composite?
True
Let f = -132 - -94. Let v = f - -87. Suppose v + 62 = 3*d. Is d a composite number?
False
Let f(t) = t**3 + 9*t**2 + 2*t - 7. Suppose -4*s - 46 = -b + 3*b, 5*b + 35 = -2*s. Let n be 2 + 1 + s/1. Is f(n) a composite number?
True
Let c(d) be the second derivative of d**4/6 + 7*d**3/6 + d**2 + 2*d. Let x(m) = 5*m**2 + 15*m + 4. Let b(k) = -9*c(k) + 4*x(k). Is b(3) composite?
False
Suppose 3*s - 9*s = -1644. Is s composite?
True
Let u(s) be the second derivative of 5*s**4/6 + s**3/3 + s**2/2 - 2*s. Is u(-2) a prime number?
True
Let u(x) = -19*x - 6. Let j be u(6). Let y = j - -199. Is y a prime number?
True
Let m = 43 + -31. Let f be (-2)/(-4) - m/(-8). Is ((-3)/f)/((-1)/10) prime?
False
Is 613 + -4*(-2)/(-4) prime?
False
Suppose 17*j + 77 = 18*j. Is j composite?
True
Let b = -157 + 298. Is b a prime number?
False
Let d = 16 + -11. Let l(g) = -g**2 - 2*g + 2. Let v be l(0). Suppose v*o - 4*q - 497 = -87, 4*o + d*q - 807 = 0. Is o a composite number?
True
Let d = 6 - 3. Suppose -n = -0*n - d. Suppose -m + 2*m - 28 = 5*u, 2*m - 63 = n*u. Is m prime?
False
Suppose -5*a + 2*a = -6. Suppose 0 = 4*u - a*u + 2. Is (168/(-3) - 3)*u prime?
True
Let z(r) = -r**3 - 2*r**2 + 2*r + 2. Let k(x) = -x**2 - 6*x + 11. Let p be (12/30)/((-2)/40). Let q be k(p). Is z(q) a composite number?
False
Suppose -2*c + 1276 = 4*x, 0*c + x - 638 = -c. Suppose -5*f + 15 = -10. Suppose v - 2*v = -w - 124, w = -f*v + c. Is v composite?
False
Let q be (13 + -10)/((-1)/(-1)). Suppose -q*g + 936 = 4*s - s, -120