se -v*j + 0*j = -2564. Is j prime?
True
Is (-3)/(-5)*2404205/93 a composite number?
False
Let c = 1 - -5166. Is c a composite number?
False
Let x be (-127316)/(-14)*2/4. Suppose -27*y + 26*y = -x. Is y prime?
True
Suppose -11*j + 25240 = -45391. Is j composite?
False
Let s = 11 - 13. Let m be s/(-4) + 39/6. Let z(n) = 29*n + 2. Is z(m) prime?
False
Let c(z) = z**2 + z - 2. Let j(g) = 31*g**2 - g - 3. Let o(f) = -3*c(f) + j(f). Is o(-5) composite?
True
Suppose -2*i = w - 128607, 25 = 21*w - 16*w. Is i a prime number?
True
Let b(p) = 7*p**2 + p + 1. Let t(w) = -w**3 - 9*w**2 - 12*w - 5. Let x be t(-8). Let h = -28 + x. Is b(h) a prime number?
True
Suppose -4*c + r + 4*r + 16 = 0, 2*r + 4 = c. Suppose -661 - 135 = c*k. Let p = -33 - k. Is p a composite number?
True
Let s(r) = 11*r**2 + 12*r + 23. Let t(g) = g**3 - 12*g**2 + 19*g + 2. Let w be t(10). Is s(w) a prime number?
True
Let w(u) = u**3 + 9*u**2 + 8*u + 5. Let l be w(-8). Suppose c + 1057 = 2*q + 3*q, -1065 = -5*q + l*c. Is q a composite number?
False
Is ((-4)/(-12))/(4/(-12)) + 660 prime?
True
Let o(x) = -138*x - 209. Is o(-41) a composite number?
False
Suppose 11898 = 3*s - j, -4*j + 7949 = 2*s + j. Is s a prime number?
True
Let u be (-10)/(-3)*(-36)/10. Let c be (6/u)/(1/618). Let j = c - -532. Is j composite?
False
Is (28/(-56))/(0 - (-2)/(-1756)) a prime number?
True
Suppose -2*b + o - 12 - 14 = 0, 4*b + 3*o = -62. Let z = b - -17. Suppose -3*d - 137 - 97 = -z*j, -5*j + d = -374. Is j a prime number?
False
Let r(v) = 2*v**2 - 12*v + 5. Suppose 3*z + 6*x - 3*x = -15, 3*z + x + 7 = 0. Let u = z - -9. Is r(u) prime?
True
Suppose -3*j = -6*j - 3. Let u be (-2)/(j - (3 + -3)). Let n(d) = 5*d**2 - d + 1. Is n(u) a composite number?
False
Let h(w) = w**3 - 3 + 2 + 7 - 4 - 2*w**2 + w. Let j be h(0). Suppose 0 = -j*v + 231 + 383. Is v prime?
True
Let v be ((-1194)/9)/(4/(-12)). Suppose 3*i - v = 2*i. Suppose 7*h = i + 1835. Is h a prime number?
False
Let v(l) = l + 8. Let m be v(-8). Suppose 3*u + 2*r - 52 = m, -2*u + r + 57 = 13. Is 68/5 + u/50 prime?
False
Let u = -22174 + 31553. Is u a prime number?
False
Let b(z) = -z**3 - 12*z**2 + 12*z + 6. Let g(c) = -11*c - 2. Let u be g(1). Let x be b(u). Let k = x + 112. Is k a prime number?
True
Suppose -6143 = -4*z + t, -t - 4*t = 2*z - 3055. Is z composite?
True
Suppose -3*p + 3*a - 6 = 0, -4*p = -p + 2*a - 14. Suppose 3*v - 469 = p*v. Is v a composite number?
True
Suppose j + 1631 = 4*v, -4*j - 2047 = 15*v - 20*v. Is v prime?
False
Suppose 19*a = 132*a - 11616739. Is a composite?
True
Let i = -5 - -17. Suppose -2*o + i = 4*o. Suppose 0 = -o*y - 227 + 653. Is y a prime number?
False
Let f(n) = 73*n**2 - 2*n - 1. Let b be ((-12)/30)/(1/5). Let r be f(b). Let d = r + -128. Is d prime?
True
Let a(i) be the second derivative of i**3/2 - 6*i**2 - 5*i. Let t be (-11 - -2)*3/(-3). Is a(t) composite?
True
Is (-5)/(-8) - (-37158726)/528 a prime number?
False
Suppose 0 = 4*p + z + 2, 2*z = -p + 7*z + 10. Suppose p = 3*r - 137 + 20. Is r a prime number?
False
Suppose -5*d + 5*x = -3*d - 19, 0 = -4*d + 5*x + 23. Suppose 5*o + 2*l + 84 = 0, -3*o + d*l = -l + 42. Is 47 + o/4 + 0 composite?
False
Is (5762/4)/((-72)/(-144)) a prime number?
False
Suppose 957 = -429*a + 432*a. Is a a prime number?
False
Let r(a) = -508*a**3 + a**2 - 6*a - 7. Is r(-2) prime?
True
Let u(o) be the second derivative of -2*o**3/3 - 12*o**2 + 11*o. Let v be u(-11). Suppose 0 = -5*t + v, 2683 = 5*j - 3*t + 5*t. Is j a composite number?
True
Suppose -6*b = -4*b - 4. Suppose b*k - y = 246, 2*y = 7*y. Is k prime?
False
Let p = 7366 - -1332. Let x = -5993 + p. Suppose -5*i = 5*n - x, -n + 5*i + 939 = 374. Is n prime?
False
Suppose -4*d + 3 = 7. Let o be 6534/(-45) - d/5. Is -4 - -7 - (-1 + o) prime?
True
Let m(c) = c**3 + 2*c**2 - 6*c - 6. Suppose v - 21 = 5*v + 3*p, -p = -5*v - 12. Let t be m(v). Suppose t*u = 3*z - 1164, -3*z + 1182 = 2*u + u. Is z composite?
True
Suppose 0 = 13*k - 17*k + 52. Suppose 8*o = k*o - 4395. Is o a prime number?
False
Let z = 24361 - 16544. Is z a prime number?
True
Let n(o) = -44*o - 43. Suppose c = -2*b - 8, b = c - 0*b + 11. Is n(c) a prime number?
True
Let m = -715 - -1343. Let j be (-20)/30 + ((-8)/(-3) - -2). Suppose 0*w + j*w = m. Is w prime?
True
Suppose 0 = -l + 4 - 2. Let n be l/(-1) - (11 + 0). Let p = 2 - n. Is p a prime number?
False
Let u(c) = -c**2 - 6*c - 1. Let j be u(-5). Is (-1)/(-4) + ((-1003)/j)/(-1) prime?
True
Let z be 7/((-7)/(-2) - 4). Let r(w) = -w**3 + 7*w**2 - 3*w + 6. Let d be r(6). Let g = d + z. Is g composite?
True
Suppose 12960 = -4*i + 19*i. Suppose 13*z - 8*z = 4*l - i, 2*z = 5*l - 1063. Is l a prime number?
True
Let y(q) = 161*q**2 - 3*q - 12. Let c be y(-6). Suppose -6*b = -9*b + c. Let h = 2889 - b. Is h prime?
False
Let t(i) = -88*i**3 + 2*i**2 + 5*i + 7. Is t(-2) a composite number?
False
Suppose 23*o = 22*o + 4. Is 6/((-6)/2)*(-970)/o composite?
True
Suppose 0 = -2*b - 3*b + 20. Suppose -j + b*p = -10, -2*p = 3*j + p. Let z(r) = 93*r**3 + 2*r**2 + r - 3. Is z(j) a prime number?
True
Suppose 4*b - 99890 = 342106. Is b composite?
True
Let d(w) be the second derivative of 17*w**7/840 - w**6/120 + w**5/24 - w**4/6 - 10*w. Let n(z) be the third derivative of d(z). Is n(4) a prime number?
True
Let r be 1*(-3)/6*0. Suppose c = -5*k - c + 257, -k - 2*c + 45 = r. Is k prime?
True
Is 6/(-27) - 502736/(-144) composite?
False
Suppose 29410 = -21*y + 81217. Is y prime?
True
Let m = 250794 + -134443. Is m a prime number?
True
Let r(b) = 229*b**2 + 5*b - 5. Let z(j) = -j**2 - 1. Let h(a) = r(a) - z(a). Is h(3) composite?
False
Is 0 - ((-59515)/(6 - 1))/1 prime?
True
Let u = 145 + -100. Suppose -5*t - 15 = 6*d - 11*d, 5*d + 5*t = u. Is d a prime number?
False
Let r be ((-18735)/(-30))/(1/2). Suppose 0 = 3*b - 1970 - r. Is b a prime number?
False
Let x(i) = i**3 - i**2 + i + 12. Let m be x(0). Is 12/(-9)*(-11331)/m prime?
True
Suppose -1 = -2*l - 2*b - 3, 0 = 5*l - 2*b - 23. Suppose -l*a - 4*w + 29 = 0, -a - w - 2*w + 18 = 0. Suppose 1595 = 3*k + 2*k + f, 957 = a*k - f. Is k prime?
False
Let j = -11676 - -37759. Is j composite?
False
Let k(b) = -1250*b**3 + b. Let w = 82 - 83. Is k(w) composite?
False
Let n(t) = -t**2 + 1. Let b(j) = j**3 + 6*j**2 - 18*j - 23. Let r(f) = b(f) - 6*n(f). Is r(-12) a prime number?
False
Let b = 9119 - -1102. Is b a composite number?
True
Suppose 19*p - 92464 = 3*p. Is p a prime number?
True
Let i(v) be the third derivative of -v**6/20 - v**5/20 - v**4/8 + v**3/6 - 9*v**2. Is i(-3) prime?
False
Suppose 9*u = 6*u + 21261. Is u composite?
True
Let d(m) = -m + 8. Let g be d(6). Is (631/g)/(4/8) prime?
True
Suppose k + 283 = 2*p + 6*k, -4*k = 2*p - 282. Is p a composite number?
False
Let f = 21281 + -2442. Is f a composite number?
False
Suppose 0 = -0*t - t - 3*l + 4792, -5*l = -15. Is t prime?
True
Let f(w) = 6*w**2 + 2*w - 4. Let m be f(4). Suppose -98 = 2*v - 4*v - 4*g, -4*v = 2*g - 196. Suppose m + v = u. Is u prime?
True
Let p be (7 + 5)/(1*2). Let n be 2/(-6) - (-2744)/p. Suppose s + 3*r = 3*s - 211, r - n = -4*s. Is s a composite number?
False
Let j = -1338 - -1985. Let p = j - 276. Is p composite?
True
Let r = 15078 + -2435. Is r prime?
False
Suppose -28248 = -k - 3*k. Suppose -4*i + o = -k, 4*o = 4*i - o - 7070. Is i a prime number?
False
Let n(m) = 791*m - 234. Is n(11) a prime number?
True
Suppose 3*d = 13*d - 2210. Is d a prime number?
False
Suppose 5*n + 630 = 11*n. Is 82/((-5)/(n/(-6))) a prime number?
False
Suppose -210*x + 211*x = -4, 2*l = -5*x + 498. Is l a prime number?
False
Let n(r) = -r + 3. Let g be n(1). Suppose -1 = 4*x + g*o - 3, -4*o - 5 = 5*x. Suppose x*u - 35 = 70. Is u prime?
False
Let w(h) = -70 + 209 - h - 10*h**2 + 9*h**2. Is w(0) a prime number?
True
Let n(t) be the third derivative of -t**7/2520 + t**6/720 + 23*t**5/24 + t**4/8 - t**2. Let i(j) be the second derivative of n(j). Is i(0) a prime number?
False
Let o = -493 + 134. Let f = o + 1152. Is f composite?
True
Let h = -27 - 21. Is ((-852)/h)/(2/56) composite?
True
Let a(t) = -t**3 - 5*t**2 - 4*t + 5. Let o be a(-5). Let m(c) = -1372*c - 4. Let n be m(-1). Suppose -7*h = -n - o. Is h a composite number?
False
Is -5138*((-8)/(-76) - 23/38) composite?
True
Is -1*(137907/(-5) - (-8)/20) a prime number?
True
Suppose -3*i + 2