prime?
True
Suppose -3*g + 5*w = -2*g - 43, 12 = -3*w. Suppose -g = d - 138. Is d a composite number?
True
Let z(f) = -5*f**3 - 7*f**2 - 5*f - 5. Is z(-4) a composite number?
False
Suppose -207 = -5*m + 388. Is m prime?
False
Let z = 4788 - 2581. Is z a prime number?
True
Let a(i) = 3*i**3 + 2*i**2 - 3*i + 1. Let p be a(4). Let l = 304 + p. Is l a prime number?
False
Let w(a) = 3*a**2 - 8*a - 4. Is w(7) composite?
True
Let d = -3 + 6. Let x(s) = -9*s**3 + 2*s**2 - 4*s + 4. Let f(k) = 10*k**3 - 3*k**2 + 5*k - 5. Let r(j) = -5*f(j) - 6*x(j). Is r(d) a prime number?
False
Suppose -37 + 13 = 4*u. Let q(i) = -i**3 - 4*i**2 + 2*i - 5. Is q(u) a composite number?
True
Suppose 0*n - 230 = -n. Suppose 64 = d + 5*p - 156, -d - 3*p = -n. Suppose 0*r = -5*r + d. Is r composite?
True
Let a(f) = -186*f - 5. Is a(-2) prime?
True
Let c = -8 + 8. Suppose c = 3*a - 9, -5*a + 0*a + 7 = 4*k. Let t(g) = -131*g + 1. Is t(k) a prime number?
True
Suppose 0 = 3*v - 2*j - 3, 4*v - 21 = 2*j - 5*j. Suppose 3*b + v*w = 5*w + 4, 10 = 2*b - 5*w. Let c(y) = y + 21. Is c(b) a composite number?
True
Let t(w) = -w**2 + 3 - 1 + 2. Let j be t(-3). Is -1 + 52 + (j - -7) prime?
True
Suppose 3*s = -4*d + s + 1366, 0 = 4*d - s - 1351. Is d a composite number?
True
Suppose 3364 - 1419 = 5*c. Let r = 556 - c. Is r a composite number?
False
Let t be -6*((-6)/(-4) + -2). Let p = 49 - 16. Suppose 0 = t*u - 4*u + p. Is u composite?
True
Let m(i) = -4*i**3 + 2*i**2 + i - 1. Let y be (-3)/(9/6 - 0). Is m(y) a prime number?
True
Let v(h) = h**3 - 26*h**2 + 44*h - 7. Is v(26) composite?
True
Let u = 551 - 132. Is u a prime number?
True
Is ((-1)/3)/((-15)/3195) a prime number?
True
Let i be 1 - -213 - (-21)/(-7). Suppose 0*u - u = -i. Is u composite?
False
Let z be 2 - 3/9*-3. Suppose -2*x + 140 - 46 = 5*r, 3*x + z*r = 123. Is x a prime number?
True
Let p = 1 + -1. Suppose 4*c + 35 = u, -2*u + u + 2*c + 33 = p. Is u a composite number?
False
Suppose -2*b = -2*n - 0*b + 84, 4*n - 172 = 5*b. Is n a prime number?
False
Let z = 7 - -1. Suppose -a + 3*a = -2*y + 204, -z = -4*a. Suppose 0 = 4*l - y - 352. Is l a prime number?
True
Let x(c) = 15*c - 8. Let l(q) = -15*q + 8. Let r(k) = -4*l(k) - 3*x(k). Is r(7) prime?
True
Let j = -30 + 2. Let h = 53 + j. Is h a composite number?
True
Suppose 10 + 88 = 7*s. Is s a composite number?
True
Suppose -k + 0*k = 5*z + 19, -3*k + 3 = 3*z. Let x(s) = k*s + 4*s - 6*s + 9. Is x(7) a composite number?
False
Let w(o) = o**3 + o**2 - o - 5. Let g be w(0). Let b = g - 6. Is (-21)/9*b*3 a composite number?
True
Let i(z) = z**3 - 11*z**2 + 11*z - 7. Let u be i(10). Suppose 283 + 237 = 4*j + 4*o, -j = -u*o - 118. Is j prime?
True
Let f(v) = v**3 + 9*v**2 + 4*v - 5. Suppose -5*z + 31 = -o, 5*z + 5 = -3*o - 2*o. Is f(o) a composite number?
False
Suppose 2936 = -0*l + 2*l. Suppose -l = -5*u - q, 891 = 3*u - q + 5*q. Is u prime?
True
Is ((-14511)/84)/((-2)/8) a composite number?
False
Let c = 46 + -29. Let j = c + -10. Let z = 18 - j. Is z a composite number?
False
Let h(p) = -25*p - 3. Let l be h(-6). Let r = -17 - -21. Suppose -r*d = -l - 37. Is d prime?
False
Suppose 19*i = 20*i - 1543. Is i composite?
False
Let f(m) = -m**2 - 5*m - 4. Suppose -2 = -3*i - 14. Let t be f(i). Suppose 5*k - 32 - 43 = t. Is k composite?
True
Let w = 1134 + -257. Is w prime?
True
Suppose -4*g = -2*s - 6, 7*g - 2 = 2*s + 2*g. Let p be s/(-1) + -3 + 2. Suppose w + p = 31. Is w a prime number?
False
Let u = -8 + 30. Suppose 4*p = 3*p + u. Let d = p + -3. Is d a prime number?
True
Let j = -1064 + 1564. Suppose 24 + j = 4*v. Is v composite?
False
Let p(l) = -8*l**2 - 5*l - 6. Let y(g) = 24*g**2 + 14*g + 17. Let k(s) = 17*p(s) + 6*y(s). Let c be k(1). Is -1*c*33/(-3) a prime number?
False
Let p = 3 - -2. Suppose 4*f = p*f. Suppose -5*q - h = -448, f*h = -5*q + h + 442. Is q a prime number?
True
Suppose -15*z = -8*z - 6223. Is z a composite number?
True
Suppose 4*y - 2*y + 6 = 0, -y + 1 = -4*i. Is -879*3/(-10 - i) a composite number?
False
Suppose -444 = -0*l - 2*l. Let j(x) = -2*x**2 + 3*x - 13. Let m be j(-6). Let k = l + m. Is k prime?
False
Let s = -1017 + 2414. Is s prime?
False
Let w = -5 + 11. Suppose -w*v = -v - 1325. Is v composite?
True
Suppose p - 1506 = -293. Is p a prime number?
True
Suppose -o + 3*o - 670 = 0. Is o a prime number?
False
Suppose -5*g - 2483 = -18*g. Is g a prime number?
True
Let k(r) be the first derivative of 136*r**3/3 - r**2 + r - 2. Let t be k(1). Suppose 0 = -5*l + 4*m + 425, 0 = 4*l - 2*m - t - 211. Is l prime?
True
Suppose -30 = n - 90. Suppose 4*t - n = 608. Suppose 5*w + t = 562. Is w a prime number?
True
Let y(m) = -m**3 + 2*m + 8*m**2 - m - 10 + 4*m + 3*m. Let d(j) = -7*j**3 - j**2 - j. Let b be d(-1). Is y(b) a prime number?
False
Suppose 3*s + 4*v + 10 = 0, -2*v - v - 3 = 0. Is (-14)/(-2 - 2/s) prime?
False
Let k = 490 + -292. Suppose 4*m + k = -14. Let o = 14 - m. Is o a prime number?
True
Let j(b) be the first derivative of -1/4*b**4 - 1 - 1/3*b**3 + 13*b + 1/2*b**2. Is j(0) a prime number?
True
Let a(t) = -52*t**3 - 14*t**2 - 6*t + 6. Is a(-4) composite?
True
Is 4*(6645/(-12))/(-5) a prime number?
True
Let p = 1787 + -966. Is p composite?
False
Let c(h) = h. Let i be c(-1). Let z be (0 + -1)*3 - i. Is (z - (-5)/2)*106 a composite number?
False
Let z(b) = -6*b**3 - 2*b + 1. Is z(-2) prime?
True
Let v(i) = -i + 109. Is v(0) a composite number?
False
Let d = -1401 + 2380. Is d prime?
False
Let u(n) = 19*n + 6. Let v(l) = -l + 1. Let s(q) = -u(q) + 2*v(q). Let f(d) = -d**2 - 9*d - 17. Let b be f(-7). Is s(b) prime?
True
Let r be (-2 - 35)*(3 - -1). Is ((-2)/(-4))/((-2)/r) a prime number?
True
Let q be (-10)/3*27/6. Is 4/(-20) - 468/q a composite number?
False
Let q = 1084 + -695. Is q a prime number?
True
Suppose 3*u = 2*u + 973. Is u composite?
True
Let q(c) = -4*c**3 - 4*c**2 - 4*c - 3. Let x be q(-2). Let y(o) = -x*o**2 + 8*o + 20*o**2 - 2*o - 2. Is y(5) a composite number?
False
Suppose 4*r = -3*d + 231, -3*r - d + 100 = -72. Let m = -10 + r. Is m a composite number?
False
Suppose 0 = -l - n + 3, -9 = 4*l + n - 4*n. Suppose l*t = t - 27. Let p = -14 + t. Is p prime?
True
Suppose l = 118 + 9. Is l a prime number?
True
Suppose -1059 = -10*t + 5*t + 2*j, -8 = 4*j. Is t composite?
False
Suppose 0 = -2*x - 2*r, -4*x = r - 5*r - 32. Let k be (-2)/x*(-1 - 1). Let l = 6 + k. Is l prime?
True
Let g(j) = 69*j - 15. Let i(y) = 14*y - 3. Let k(d) = -5*g(d) + 24*i(d). Is k(-2) prime?
False
Let p be 9 - 3/3*3. Is (106/6)/(2/p) composite?
False
Let t = 5 - 3. Suppose 4*o - 1156 = -4*h, -5*o + 594 = -3*o - t*h. Is o a composite number?
False
Let q(m) = m**2 - 5*m. Let k be q(5). Is 3 + 0 + k - -88 a composite number?
True
Suppose 5*x - 5 = 0, -2 = -3*b + 7*b + 2*x. Is b/3 - (-6888)/36 a prime number?
True
Let q = 0 + -2. Is 2/(q + 0) - -36 a composite number?
True
Suppose -4*l + 217 = -619. Is l a prime number?
False
Let l = 5024 - -533. Is l prime?
True
Suppose 1 = 4*j + 9. Let h be (j + 3)/(1 + 0). Is 50 + 1 + h*2 a prime number?
True
Suppose -58 - 19 = -a. Suppose 0 = -5*y - 20, 2*y - a - 4 = -t. Is t prime?
True
Suppose 3*x - 1412 = 637. Is x composite?
False
Let j = -73 + 47. Is (9 + 5)*j/(-4) prime?
False
Is -1 - -891 - (5 - 7) - 3 prime?
False
Suppose -4*j = -j + 99. Let q = 0 - j. Is q composite?
True
Let c be 0 + 2 + -7 + -1. Let w be 1/(-3) - (-844)/c. Is (w/(-6))/((-2)/(-4)) a prime number?
True
Suppose 4*b = 3*w - 4*w - 14, 2*b + 4 = -2*w. Let r(x) = 11*x**2 + 5*x + 3. Let l be r(-3). Suppose -37 = w*y - l. Is y a composite number?
True
Is (-2)/(-4) - (-5 + (-1116)/8) prime?
False
Let m(x) be the first derivative of x**2/2 + 3. Let l be m(-2). Is 1/(5/l)*-10 a prime number?
False
Suppose -7*s + 9*s - 686 = 0. Let n = s + -128. Is n a prime number?
False
Suppose -p + 19 = -4*s, 2*s = -p - 0*s - 5. Suppose -4 = p*g - 4*z + 3, -3*z = 5*g - 27. Let k(n) = 2*n**2 + 3. Is k(g) a composite number?
True
Suppose 5*b + 299 = -286. Let k = -68 - b. Is k a prime number?
False
Let z(l) be the first derivative of l**5/20 + 7*l**4/12 - 11*l**3/6 - 5*l**2 - 3*l + 2. Let o(c) be the first derivative of z(c). Is o(-8) a composite number?
True
Let z(i) = -82*i - 3. Suppose -3*y = -2*y. Suppose y*s - 10 = 5*s. Is z(s) composite?
True
Suppose -5*p = -p. Let m(d) = d**3 + d*