 -4152 - -6611. Is r composite?
False
Suppose -3 = 3*d, p - 3*p + 323 = -5*d. Is p prime?
False
Let b = 6 - 3. Suppose -w + 10 = b*j, 41 = w + w - j. Is w a prime number?
True
Suppose p = -2*u + 33, -69 = -4*u - 4*p + 5*p. Let w = u - 4. Is w a composite number?
False
Let g = -32 - -17. Is (-1)/5 + (-63)/g composite?
True
Suppose 4*a = 10 - 2. Suppose -4 = -a*y - 0*y. Suppose y*h - 51 = h. Is h prime?
False
Suppose -15 = s - 6*s. Suppose -s*a = -5*l - 53, -2*l = 4*a - 0*l - 88. Let k = a - 2. Is k a prime number?
True
Let k = -10 - -8. Is (-6 - k)*(-46)/8 prime?
True
Let w(a) be the second derivative of 79*a**7/840 + a**6/360 - a**5/120 - a**3/3 + 2*a. Let g(v) be the second derivative of w(v). Is g(1) a prime number?
True
Suppose -q - 12 = -3*q. Let n(v) = -v**2 + 5*v + 7. Let u be n(q). Is (-3 - -5)/(u/5) a prime number?
False
Suppose 8*t - 2437 = 7*t. Is t composite?
False
Let f = -74 + 36. Let y = 151 + -76. Let j = f + y. Is j prime?
True
Let d be 1/4 + 1/(-4). Suppose -4*m + 16 = -d. Suppose -2*k = 6*c - 2*c - 258, m*k - 114 = -2*c. Is c a composite number?
False
Suppose 0*t = 2*j - t - 212, 0 = 2*j - 3*t - 212. Suppose 5*y - 927 = -c + 3*c, 557 = 3*y - 2*c. Let n = y - j. Is n prime?
True
Let g(w) = 2*w - 3 + 2 + 6 - 4 + 120*w**2. Is g(-1) prime?
False
Let l be 6/(-1)*(-88)/16. Is (-8)/(-44) - (-753)/l a composite number?
False
Let x(z) = -630*z**2 + 10*z + 5. Let t(l) = -126*l**2 + 2*l + 1. Let k(r) = -11*t(r) + 2*x(r). Let w be 0 + 1 + (-4)/2. Is k(w) prime?
True
Let m = 1 - 1. Suppose m*g + g = 33. Is g a composite number?
True
Let i be (-1)/1 - (-3 + 2). Suppose x = -i*x + 127. Is x composite?
False
Let c = -479 - -738. Is c composite?
True
Suppose -j - 7 = -5*o - 212, 0 = 3*o. Is j a composite number?
True
Let n = -4 + 6. Suppose n*x = -3*w + 1, 3*w + 2*x + 7 = -2*x. Suppose -4*m + w*m + v + 262 = 0, 0 = m + 5*v - 244. Is m a prime number?
False
Let d(f) = 184*f**2 - 2*f - 1. Suppose 0 = -3*y - 0*y + 2*m - 11, 4*m - 20 = 4*y. Is d(y) a composite number?
True
Let j(d) = -62*d - 37. Is j(-12) composite?
True
Let c = -7 - -7. Let m = -1 + 6. Suppose z + 4 = 0, 4*l + c*l - m*z - 144 = 0. Is l a prime number?
True
Let l(k) = 47*k**2 + 29*k - 19. Is l(8) a prime number?
True
Suppose 5*n = 4*w + 17, 0*w + 4*n = -3*w - 36. Let p(k) be the first derivative of -k**2 + 5*k - 1. Is p(w) a composite number?
True
Let n(p) = p + 1. Let u be n(-2). Let o(b) = 23*b**2 - 1. Is o(u) prime?
False
Suppose 0 = -2*k, -5*j + 3*k - 6*k = 1510. Let w = j + 423. Is w a prime number?
False
Let u(y) = 9*y**3 - 7*y**2 + 7. Let o be u(5). Let s = o + -650. Is s a composite number?
False
Let g(s) = -75*s - 2. Let i(v) = -1. Let a(k) = -g(k) + 6*i(k). Is a(3) a prime number?
False
Suppose 28 = 4*q - 7*m + 3*m, -13 = -q + 3*m. Let r be (-1 + q/6)*1227. Let o = -224 - r. Is o a prime number?
False
Is ((-538)/8)/(14/(-56)) a prime number?
True
Let c be (2/6)/(6/36). Suppose c*g = -0*g - z + 183, 0 = -g - z + 92. Is g composite?
True
Let c = 73 + 75. Let o = 5 - 2. Suppose f + o*f = c. Is f prime?
True
Suppose 7*l = 11*l - 140. Let m = -12 - -23. Suppose 5*h + 3 = -3*b + m, 4*h - l = -5*b. Is b a prime number?
True
Suppose -5*t - 6*t + 6083 = 0. Is t composite?
True
Let k(x) = x - 1. Let g be k(-1). Is (19 + -2)/(g/(-14)) a composite number?
True
Let o = -7 + 7. Suppose o = 3*a - 2*s - 333 - 650, -5*s = -4*a + 1299. Is a a composite number?
False
Let o(l) = -56*l**2 - 2*l + 1. Let n be o(-2). Let z be 2*(15/6 - 3). Is (n + -1)/(-2) + z composite?
False
Suppose -2*t + 1943 = 5*u, -t + 3*u = 8*u - 984. Is t a composite number?
True
Suppose 2*w - 5*w = -6. Suppose -w*x - 28 = -2*c, 5*c + 5*x - 30 = 80. Suppose c - 109 = -i. Is i a prime number?
False
Is -1 + (-1122)/(6/(-2)) composite?
False
Let g be (78/24)/((-1)/4). Let w = 1 + 38. Let a = w + g. Is a prime?
False
Suppose 3*q - 15 = -0*q. Suppose q*f - 193 = -d + 127, 0 = 3*f + d - 190. Is f a composite number?
True
Let c = 2017 + -1382. Is c a composite number?
True
Let l(a) = 3*a + 7. Let w(h) = -4*h - 8. Let t(v) = 3*l(v) + 2*w(v). Let b be t(0). Suppose b*y - n = 383, -y + 85 = -0*y + 4*n. Is y composite?
True
Let g(f) = f**3 + 13*f**2 + 9*f + 11. Is g(-8) composite?
True
Let h(j) = j**3 - 6*j**2 + 9*j - 2. Let s(n) = n**2 + n - 1. Let c(v) = -3*v**2 - v + 1. Let d(z) = -c(z) - 2*s(z). Let r(u) = d(u) + h(u). Is r(6) prime?
True
Suppose -8*z + 370 = -6*z. Is z a composite number?
True
Suppose 5*p = -3*v + 109, 3*p - 8*p = v - 23. Is v prime?
True
Let k(d) = 3*d**2 - 10*d + 9. Let g be k(6). Suppose 3*m + 12 - g = 0. Is m a composite number?
True
Let t(a) = 26*a - 4. Let l(j) = 26*j - 5. Let i(g) = -5*l(g) + 6*t(g). Is i(3) a prime number?
True
Suppose 4*h - 4*b + 7 = -1, 4*h - 5*b + 12 = 0. Let r(n) = 7*n + n**2 - 8*n + 25*n**3 + h - 1. Is r(2) a composite number?
True
Let p be 0*1*(-1 + 0). Suppose p = 4*u + 1814 - 638. Is -1 + 0 - u/2 prime?
False
Suppose 9*h = -6*h + 32685. Is h a composite number?
False
Let c(w) = 96*w - 1. Is c(2) a prime number?
True
Let h(u) = -9*u + 1. Let w(x) = x**3 + 2*x**2 + 2*x + 2. Let a be w(-2). Is h(a) composite?
False
Let z(y) = y**2 + 1. Let m(o) = -80*o**2 - 3. Let l(i) = -m(i) - 2*z(i). Let n = -9 - -8. Is l(n) a composite number?
False
Let d(i) = i + 2. Let b be d(-6). Let p(l) = 11*l - 5. Let v be p(b). Let y = 128 + v. Is y composite?
False
Let s be -14*(0 + 1)*-2. Suppose 4*m - s = -12, -3*y = -5*m - 175. Is y a composite number?
True
Let h(o) = o + 3 + 2*o**2 + 9*o - 3*o. Let x(q) = 4*q + 2. Let p be x(-2). Is h(p) prime?
False
Let k(n) = -n**2 + 83. Let o be k(0). Let l = o + -28. Is l composite?
True
Let r be (-3 - -1)/(1/(-4)). Suppose 5*t - 3*t - r = 0. Is (1016/12)/(t/6) a composite number?
False
Is ((-2)/4)/(39290/(-13096) + 3) a prime number?
False
Let w(c) = 73*c**2 - c - 1. Is w(-2) a prime number?
True
Let s(c) = c - 3. Let v be s(0). Let m(h) = h**3 + 3*h**2 - 2*h - 3. Let k be m(v). Suppose 0 = -k*u + 6, 2*w + 0*w = 2*u + 130. Is w composite?
False
Let t(z) = 4*z**2 - 7. Let v be t(5). Suppose 7*c = 4*c + v. Is c prime?
True
Suppose 4*h + 22 = 2*m, -m + 4*h + 7 = -4*m. Let b = -4 + m. Let s(c) = -64*c**3 + 2*c**2 + 2*c + 1. Is s(b) a prime number?
False
Let b = 45 - 29. Suppose -2*a + 210 = b. Is a composite?
False
Let t(h) = h - 2. Let g be t(2). Suppose g = 3*y + 2*y - 275. Is y prime?
False
Is 28340/36 + (11/(-9) - -1) a composite number?
False
Let y be 16/(-3)*(-3 - 0). Let s be (20/y)/((-1)/(-4)). Let p(j) = j**2 - 4*j - 3. Is p(s) a composite number?
False
Let p = 6595 + -4262. Is p a prime number?
True
Suppose 5*p + 2*s = 16593, 4*p - 2*s - 3*s - 13281 = 0. Is p a composite number?
False
Suppose 5*i - 4*p - 27 = -0*i, 6 = 4*i + 2*p. Suppose i*s - 69 = 33. Is s a prime number?
False
Let z(i) = -i**3 - 4*i**2 - i + 5. Let d(h) = -h**2 - h + 20. Let m be d(0). Suppose 3*s - m = 8*s. Is z(s) a prime number?
False
Suppose 0 = -2*p + 4 + 4. Suppose o - 55 = p. Let y = o - 40. Is y prime?
True
Let z(p) = 415*p + 47. Is z(5) prime?
False
Let m(d) = 2*d - 5. Let s = 14 - 10. Let r(w) = w - 5. Let a(h) = s*r(h) - 3*m(h). Is a(-10) a composite number?
True
Let q(v) = 38*v + 36*v + 15*v - 4. Is q(3) a composite number?
False
Suppose -9*y + 1121 + 3397 = 0. Is y a prime number?
False
Suppose 2*x - 2 = x. Suppose 0*o - 1330 = -x*o. Suppose -s = 4*s - o. Is s a composite number?
True
Let n(t) = t - 13. Let q be n(10). Let r(y) = 6*y**2 - y. Is r(q) composite?
True
Is (-1502)/4*(-3)/6*4 composite?
False
Suppose 2*x - 3806 = -4*a, 2*x = -0*a - a + 3806. Is x composite?
True
Let r(f) = 643*f - 2. Is r(1) composite?
False
Let d be -6 + ((-6)/(-2) - 0). Let w be (-1)/(0 + (-1)/67). Is w/d*(3 - 6) a prime number?
True
Suppose 0 = 3*l + 4*k - 112, -5*k + 148 = -0*l + 4*l. Suppose 6 - l = -2*q. Is q a composite number?
False
Let v(g) = -g**2 + 6*g + 10. Let f be v(-7). Let m = f + 196. Is m prime?
False
Let b be ((-685)/(-10))/((-1)/(-2)). Let k = 243 - b. Is k composite?
True
Is 1 + 3/((-15)/(-9830)) composite?
True
Suppose 386 = 5*j + 3*p - 362, 4*j - 2*p - 594 = 0. Is j prime?
True
Let a be 4/6*6 - 1. Let q be 2/a - 10/(-3). Is (-1)/q - (-266)/8 prime?
False
Suppose -p + 5*p - 8 = -2*i, -4*i = 3*p + 4. Suppose 5*g + 179 = 4*d, p*d + 67 = 3*g + 240. Let b = -22 + d. Is 