 Is r(m) a composite number?
True
Let m = -31 - -288. Is m prime?
True
Let v be 1/(907/453 - 2). Let x = 16 + 71. Suppose -3*j = -4*j - 2*p + x, p - v = -5*j. Is j prime?
False
Suppose 13*i + 178609 = 654500. Is i prime?
True
Let r = 641 - -326. Is r a composite number?
False
Suppose 7*q - 6*q - 4 = 0. Is (-1382)/q*((-2 - -4) + -4) a composite number?
False
Suppose 0 = -4*s + 2*b + 4, 0 - 4 = -3*s + b. Suppose -314 - 692 = -s*p. Is p a prime number?
True
Suppose w - 1 = -3*q + 2*w, -4*q = 4*w + 4. Suppose q = 2*h + 4*h - 2310. Suppose 2*k - 1491 = -h. Is k composite?
True
Let k be (2 + (-6)/4)*(14378 - -2). Suppose 4*o - 3*j - k = 0, -2*j + 5698 = 4*o - 1502. Is o a prime number?
False
Suppose 2*p - 4238 = -5*f, 9*p - 3*f - 10657 = 4*p. Suppose -1386 = -5*l + p. Is l prime?
False
Suppose 0 = -4*p + 109 + 119. Suppose 0*w + w + p = 0. Let v = w + 94. Is v a prime number?
True
Let d be 55/((0 - 3)/(-12)). Suppose 526 = 2*q - d. Is q a composite number?
False
Suppose 5*i - 17096 - 3299 = 4*o, 5*i = -3*o + 20430. Is i prime?
False
Let k = 8766 - 4829. Is k prime?
False
Let o(r) = -6*r - 6. Let x be o(-2). Suppose -x*p + 21882 = 8988. Is p prime?
False
Let p(k) = -2*k**2 - 11*k + 5. Let b be p(-6). Let s be b/(-4) - (-3)/(-12). Suppose s = 5*m - 937 - 598. Is m prime?
True
Suppose -3*u + 10 = 4, -5*t + 16 = 3*u. Let z(b) = b**3 - 2*b**2 + 3*b - 2. Let d be z(t). Suppose -4*f + 106 = -3*p + 18, 2*f - d*p = 34. Is f prime?
False
Suppose -355 + 45 = -5*i. Is (-22782)/(-4)*i/93 prime?
True
Let i = 42 - 14. Suppose -3*h - i = -h. Is (-1802)/h + (-4)/(-14) a prime number?
False
Let t be (4/(-10))/(12/15 - 1). Suppose 0 = -t*b + q + 663, 4*b - 3*q - 1327 = -0*q. Is b a composite number?
False
Is ((-4)/2)/(3 + -2) - -43225 a prime number?
True
Let m = -35 + 56. Suppose 0 = -3*f - 4*u + 16, -5*f - 5*u + m = -f. Suppose -f*z + 9 = -z. Is z a prime number?
True
Let k = 8 + -3. Let h(y) = -y**2 + 6*y - 2. Let d be h(k). Suppose 38 + 136 = 2*w - 4*b, -d*b + 15 = 0. Is w prime?
True
Let m(q) = 5*q**2 - 27*q + 1. Suppose 4*v - 7*v + 63 = 0. Is m(v) composite?
True
Let y(z) be the second derivative of 0 + 2*z**2 + 1/6*z**4 + 5/6*z**3 - 6*z. Is y(-2) prime?
True
Let h(v) = v**3 - 15*v**2 - 10. Let t be h(15). Let z be 6/t + 17/(-5). Let g(j) = 17*j**2 + 6*j + 5. Is g(z) prime?
False
Suppose -27 = -5*m - 3*k, -3*m + 2*k + 4 = m. Suppose -173 = -m*o - 4*t, t - 224 = -4*o - t. Is o a prime number?
False
Let g(r) = r**2 + r + 2. Let a be g(0). Let s(l) = 265*l - 3. Is s(a) a prime number?
False
Suppose -2*x = -181 - 55. Suppose -5*b - 3*u + 629 = 0, 4*b = 3*b + 2*u + x. Is b + -2 + 2/(-2) a prime number?
False
Is 18/3 + 39520/(6 - 4) composite?
True
Suppose -w - 1186 = -5*m, 3*w - 472 = -2*m + w. Let d be m/12*2*-12. Let n = -253 - d. Is n a prime number?
False
Suppose 2*m + 2*g - 8 = 0, -m - 2*m - 4 = -5*g. Suppose 0 = -m*o + o + 59. Is o a composite number?
False
Let c(x) = 3*x - 8. Let w be c(4). Suppose -w*o = o. Suppose o = 2*d + 6, -d + 443 = 6*n - 4*n. Is n prime?
True
Let c = 12888 + 15598. Is c a composite number?
True
Suppose -70*f = -67*f - 45282. Is f a prime number?
False
Suppose 102 = b + 2*b. Let w(r) = r**2 - 11*r + 17. Let i be w(9). Let n = b - i. Is n composite?
True
Suppose -22380 = -2*w - 4*p + 31670, 0 = 5*p + 25. Is w a composite number?
True
Suppose 5*p + r + 3527 = 0, 2*r + 2008 - 602 = -2*p. Let u = p - -1197. Is u prime?
True
Let h = -74 + 2995. Is h a prime number?
False
Let d(n) = 13*n**2 - 7*n + 9. Let k(g) = g**2 - 4*g + 8. Let f be k(4). Is d(f) a composite number?
True
Let i = 25 - 6. Let m = i + 184. Is m a composite number?
True
Let s(r) = 2*r**3 + r**2 - r + 37. Let k be s(5). Suppose 5*x + 19 + 5 = v, -5*v = -2*x - 5. Is k + (0/(-4))/v prime?
True
Let k(p) = -p**2 + 5*p - 4. Let z(x) = -x**3 - 3*x**2 + 3*x - 1. Let f be z(-4). Let b be k(f). Is (6/b)/(15/130) prime?
False
Let n(u) = 70*u**3 + 9*u**2 - 25*u - 1. Is n(5) a prime number?
True
Let q(a) be the third derivative of 3*a**5/10 + 5*a**4/12 - 5*a**3/2 + 2*a**2 - 5. Is q(8) composite?
False
Let r = 125 - -1568. Is r a prime number?
True
Let k = 13 - 11. Suppose 0 = -4*n - k*o + 2958, 0 = -4*n - 4*o + 11 + 2957. Is n composite?
True
Let k = 0 + 11. Let l(r) = 2 + 2 - 2 + 3 - k*r. Is l(-6) a prime number?
True
Suppose 3*w = 7*w - 12. Let l be w/(-2)*(-28)/(-21). Let y(f) = -29*f**3 - 3*f**2 - 2*f - 1. Is y(l) a prime number?
True
Suppose 2*k + 11*a = 13*a + 6008, a = 3*k - 9002. Is k a prime number?
True
Let x(i) = 2*i + i**2 - 13 + 19*i - 2*i**2. Let n(j) = -j**2 + 9*j - 3. Let r be n(6). Is x(r) a prime number?
False
Let h(x) = x**2 + 8*x - 6. Let p be h(-8). Let g = 13 + p. Is 67*1*7/g a composite number?
False
Let p(z) = -z**3 + 20*z**2 - 24*z + 20. Let m be (1 - (4 + -17)) + 3. Is p(m) a composite number?
False
Suppose 5*w - 17640 - 719 = v, -3*v = w - 3659. Is w composite?
False
Suppose 4501 - 420 = 7*d. Is d prime?
False
Let f(t) = 15 + 10*t**3 + 36*t**3 - t**2 - 14. Let i be f(1). Let s = -11 + i. Is s composite?
True
Suppose 0 = 5*h - 6*h + 4. Suppose -h*o - j + 1054 = -1201, -2800 = -5*o + 5*j. Is o a composite number?
False
Suppose -4*b = 3*y + 61 - 615, 0 = -2*y - 2*b + 368. Let v = y - -165. Is v a prime number?
True
Suppose 34*x - 5068 = 30*x. Is x a composite number?
True
Let y(q) = -14*q**3 - 23*q**2 + 78*q - 23. Is y(-24) composite?
False
Let q(u) = u**3 - 6*u**2 - 30*u + 22. Is q(12) a prime number?
False
Let t(a) = -12*a**2 + 6*a - 2. Let l = 2 - 7. Let y be t(l). Is ((-1)/4)/(1/y) prime?
True
Suppose 0 = -d - 450 - 1165. Is (d/38)/(1/(-2)) a composite number?
True
Suppose 0 = 2*x + m - 170, x - 5*m = -2*m + 92. Let h = 35 + x. Is h a composite number?
True
Let t(a) = 3*a**3 + 104281. Is t(0) prime?
True
Let j(a) be the first derivative of -3*a**4/4 - 6*a**3 - 5*a - 11. Is j(-8) composite?
False
Let r(c) be the third derivative of c**5/15 - c**4/6 + 7*c**3/6 + 3*c**2. Suppose -2*a - 3 = 7. Is r(a) prime?
True
Let c(g) = 21074*g**2 + 19*g. Is c(-1) a composite number?
True
Suppose 7*h - 8017 = 257. Let i be 1/3 + (-2)/6. Suppose 5*r - s - h = i, -s = 5*r + 4*s - 1200. Is r a prime number?
False
Is 47696/8 + (-21)/(-3) a composite number?
True
Let o be (-3 - (-4)/(-4)) + -60. Let h = 493 - 344. Let b = o + h. Is b prime?
False
Is (2055/30)/(5/2230) composite?
True
Suppose 0 = 5*y - 24 - 706. Is (y/2)/(6/30) a prime number?
False
Is (-430252)/(-5 + 3 + -2) a composite number?
False
Let s = 51162 + -27755. Is s prime?
False
Let q(j) = 2*j**2 - 6*j + 6. Let h be q(2). Suppose -2*f - 6 = 0, 4*x + 3*f = h*x - 5. Suppose -g + 3820 = 4*k, x*k - g - 1910 = 4*g. Is k a composite number?
True
Let q(u) = 6*u**2 - u + 23. Let b be q(-8). Is (b + (-4)/2 + 0)/1 a composite number?
True
Suppose 4*v - 588 = 5*v. Let m = 2123 + v. Is m composite?
True
Suppose -8*d + 13*d - 10 = 0. Suppose 2*o = 4*q + 7594, 0 = 2*o - d*q - 3091 - 4511. Is o a composite number?
True
Let w(d) = 2*d - 7. Let q be w(3). Let p(x) = x**2 + 1. Let g(m) = -495*m**2 + m + 3. Let n(v) = -g(v) + 2*p(v). Is n(q) a prime number?
False
Let i = 6778 + 2313. Is i a prime number?
True
Suppose s + 5 = 0, -2*s = 3*m - 5*m + 12. Let u be m*0*3/(-12). Suppose 2*k = -4*i + 802, u*k - 1223 = -3*k - i. Is k composite?
False
Let s(o) = 3*o**2 + 30*o - 7. Let i be s(-10). Is (i - -1)/(-4 + 438/111) composite?
True
Let z be -1 - (-3697 + (-5 - -1)). Let n = -1547 + z. Is n prime?
True
Let w = -1129 + 2868. Is w a composite number?
True
Let b = 222 - -561. Suppose 2*c = -b - 75. Is c/(-2)*(-6)/(-9) composite?
True
Is 3/(-9) - (-158580)/27 a composite number?
True
Is (2/(-5))/(4/(-129530)) a prime number?
True
Let u(p) = 106*p - 87. Suppose -32 = -2*i + 4*n - 2*n, 0 = 2*i + 4*n - 20. Is u(i) composite?
True
Let f(l) = -50 + 12 + 16 + 3*l + 12. Let b be f(5). Suppose 0 = b*m - 5*z - 1905, 0*z - 4*z = m - 381. Is m a prime number?
False
Suppose 20 = -5*i, 254 - 12 = -2*z - i. Let x = -45 - z. Is x a prime number?
False
Let d = 62438 + -36511. Is d a composite number?
True
Let g = 44189 + -23922. Suppose 13471 + g = 6*y. Is y prime?
True
Let v(s) = 1939*s - 174. Is v(5) a composite number?
False
Suppose 31*c = 38*c - 84091. Is c prime?
False
Suppose 5*l - 25277 = -1062. Is l a prime number?
False
Let i = -117 - -164. Suppos