04*v - 40*v - 10421152. Is v a composite number?
True
Let o = 128 + -124. Is -4*((-390)/o - 2) a composite number?
True
Let w be ((-6)/(-51) - 224/170)*-24910. Suppose -9*j + w = -24090. Is j a composite number?
True
Suppose 0 = -73*x + 58*x + 1512975. Is x composite?
True
Suppose -5*c + 2*j - 144228 + 689545 = 0, 0 = -2*j - 2. Is c a prime number?
True
Let u = 258 + -243. Suppose 4*m - 5*i - 4314 = 0, 18*m = u*m + 2*i + 3239. Is m a composite number?
True
Let a be -5*-8*(-9)/(-45). Let b(n) = 74*n**2 - 2*n - 17. Is b(a) composite?
False
Suppose -2561806 = -196*s + 38*s + 6311316. Is s a composite number?
True
Let z(g) = -3714*g**2 + 5*g - 5. Let b be z(-1). Let p be 6272/(-3) - (-4)/(-12). Let t = p - b. Is t a prime number?
False
Let w = -29 + 27. Let c = 12 + w. Is (-1*c)/5 + 503 composite?
True
Let l(x) be the third derivative of 41*x**4/6 + 91*x**3/6 + 32*x**2. Is l(12) prime?
False
Suppose -210*s + 102969 = -184*s + 33887. Is s prime?
True
Is 6/1 + -5 + (-1 - -1055) a prime number?
False
Let w be (-25)/(7/210*6). Let g = 36 - w. Is g prime?
False
Let x(z) = z**3 - 6*z**2 + 8*z + 3. Let d be x(4). Suppose r + d*p + 0*p = -561, -4*r - p = 2244. Let b = -350 - r. Is b a prime number?
True
Is ((147722/(-8))/1)/(1*(-7)/28) a prime number?
False
Is 44/132 - (41880/(-18) - 6) a prime number?
True
Let j(f) = -f**2 - 10*f + 5. Let y be j(-8). Suppose 4*h = 4*m + 223 + y, -4*m = 20. Is 2387/h + (-6)/(-16) prime?
True
Is (-49 - -50)/(2/28484) prime?
False
Let n(w) = -w**3 + 20*w**2 - 3*w + 78. Let i be n(-23). Suppose -13*d + i - 6553 = 0. Is d a prime number?
False
Let d(b) = -5*b**2 - 121*b + 25. Let c(l) = -3*l**2 - 60*l + 14. Let k(p) = -13*c(p) + 6*d(p). Is k(-13) a prime number?
True
Let j be (4 - (-399)/6)/(1/30). Suppose -d + j = 325. Is ((-6)/(-10))/(-2*(-1)/d) a composite number?
True
Let g = 36 - 30. Suppose 11 = g*s - 13. Let l(x) = 7*x**3 - 7*x**2 + 7*x - 9. Is l(s) a composite number?
True
Let y = 303 + -294. Is ((-27)/(-36))/(y/6801)*4 prime?
True
Suppose -3*x = -96 + 72, 0 = -j + 3*x + 16249. Is j a composite number?
False
Suppose 20*z - i = 25*z - 2322610, 2*i = -4*z + 1858094. Is z a composite number?
False
Suppose -5*y + 15 = 0, 3*y = -t + 2*t + 7. Suppose 6 = t*x - 10. Suppose -3*j + 4*f - 1131 = -x*j, 1095 = 5*j - 5*f. Is j a composite number?
False
Let v(w) = 2*w**2 + 5*w + 2. Let h be v(-3). Suppose 4489 = 2*f + 3*s, -2*f - h*s = -7*f + 11260. Suppose n = -4*j + f, 12 = -6*n + 2*n. Is j prime?
True
Is -17*1/(-17)*58483 a composite number?
True
Suppose 3*x - t = 8, -3 = -2*x - 4*t + 7. Suppose 0 = -x*l - 5*m + 337, 100 = 2*l + 5*m - 118. Let u = l - 66. Is u a prime number?
True
Suppose -22*n - 27700 = -42*n. Suppose 4*k + 144 = -3432. Let y = k + n. Is y a prime number?
True
Let f(v) = -22*v**3 - 2 - 25*v**3 + 14*v**2 + 0*v**3 - 4*v. Is f(-5) a composite number?
True
Suppose 0 = v + m - 3, -2*v - 148 + 154 = -m. Suppose -2907 + 1212 = -v*q. Is q composite?
True
Let b = -33 - -49. Suppose b*t + t = 86309. Is t composite?
False
Let c be ((-14)/(-4) + -1)*24/10. Suppose c*f - 11983 = 62273. Suppose 0*s + f = 3*s - 2*y, 3*s + 2*y = 12380. Is s a prime number?
False
Let n be 18/(-12)*(11170/(-6) + -1). Let a = n + -1066. Suppose -3 = c, -2*l + a = -c - 1229. Is l composite?
True
Let u(x) = -29*x + 1055. Is u(-82) composite?
False
Let d(z) = -159*z - 7. Let n be d(-3). Suppose k - 4*y = n, -2*k = 2*y - 193 - 697. Suppose -4*x + 2*h = -k - 12, 5*x = -5*h + 570. Is x a composite number?
True
Suppose 0 = -51*i + 4*i + 3995. Is i a composite number?
True
Suppose 4*a - 43115 - 14621 = 0. Suppose -q + 8*q = a. Suppose 1486 + q = 4*l. Is l a composite number?
False
Is 7/133 - (-6 - 16586028/57) a composite number?
True
Suppose 0 = -4*u + i + 36433 - 5176, 0 = 2*u + i - 15627. Suppose g = 3*g - u. Is g composite?
False
Let o = -18400 - -10414. Let p = 24337 + o. Is p composite?
True
Let u = -59 - -62. Suppose 0 = -23*h + u*h + 1100. Is h a composite number?
True
Let t be (-2)/(-2)*462224/8. Suppose t = -2*k + 16*k. Is k composite?
False
Suppose 4*b = -5*q + 527534, 4*b - 527582 = 255*q - 252*q. Is b a prime number?
True
Let b(g) be the third derivative of -1/2*g**3 + 24*g**2 + 0 + 169/60*g**5 + 0*g**4 + 0*g. Is b(-2) a composite number?
False
Suppose -16107 - 5493 = -8*s. Suppose -5*u - 4*r + 2673 = -0*r, -5*u + 5*r + s = 0. Is u composite?
True
Let n = -2330 - -4431. Is n a prime number?
False
Suppose 2*z = -3*z - 4*a + 3, 3*z + a = 6. Suppose -s = -z*p + 28, -s + 20 = -6*s. Is (876/p - 4)/((-2)/(-4)) prime?
True
Let t = 2546 + -1720. Suppose 5*i = -20, l - i = -4*l - t. Let o = l + 309. Is o composite?
True
Let s = -6 - -18. Suppose s*n + 61580 = 32*n. Is n prime?
True
Let g = -286 + 290. Suppose 2*n + n = 3*z - 9102, g*z - 2*n - 12130 = 0. Is z a prime number?
False
Let n = 292160 + -88355. Suppose -n = 18*m - 63*m. Is m composite?
True
Suppose 51 = r + v, 47 = r + 2*v - 0*v. Let q = r - 36. Suppose -15*u - 3176 = -q*u. Is u prime?
False
Let m(t) = -241*t - 30. Let p(w) = -1206*w - 149. Let h(s) = 11*m(s) - 2*p(s). Is h(-27) a prime number?
True
Suppose 30 = -f + 37. Suppose 0 = -f*d + 6033 + 4565. Is d composite?
True
Suppose 0*q = 2*q + 4*r - 52, 2*q - 2*r - 82 = 0. Is 356*(4 - q/16) a prime number?
False
Suppose 11*g + 9*g - 320 = 0. Suppose g*r = 11*r + 7005. Is r composite?
True
Suppose 0*l - 2*l = 24. Let d be (1924/24)/13 - (-2)/l. Suppose 644 - 2720 = -d*v. Is v prime?
False
Let z(r) = -16*r - 114. Let f be z(-7). Is (10879/(-46))/(1/f) composite?
True
Suppose 5*d - 31*o + 29*o = 95823, 0 = -3*d + 5*o + 57490. Is d composite?
True
Suppose -12*u = -3*u + 4*u - 3981445. Is u a composite number?
True
Let x(m) = -171305*m**3 + m**2 + 2*m + 1. Let c be x(-1). Suppose -2*j - 3*q = 68527, 5*j + 2*q - 7*q + c = 0. Is j/(-8) + 0 + (-4)/(-16) composite?
False
Let g(p) = 88*p**2 - p - 2. Let q be (-2 - (-38)/(-4))/((-3)/6). Suppose q = -u + 26. Is g(u) composite?
False
Let t be 4/(-3) + 2 + 160/30. Suppose 2*o - c - 1103 = 0, 10*o + c = t*o + 2203. Is o composite?
True
Suppose 0 = 2*s - i - 1010397, 1010400 = 30*s - 28*s + 2*i. Is s a composite number?
True
Let v(r) = -21*r**2 + 105 + 134 - 179 + r**3 - 5*r. Is v(23) prime?
False
Suppose 32381 = 5*t + 3*z - 34206, 0 = -4*t + 3*z + 53275. Suppose -6*j + t - 100 = 0. Is j a composite number?
False
Let q(a) be the second derivative of 0 - 37/3*a**3 - 4*a + 21/2*a**2. Is q(-5) a composite number?
True
Let w = -688961 - -1302058. Is w composite?
False
Let a(p) = -p**2 - 8*p + 27. Let u be a(-11). Let i = 15 + u. Let q(l) = -l**3 + 11*l**2 - 11*l + 4. Is q(i) a composite number?
False
Let u be -42*(-50)/16 - (-7)/(-28). Suppose 0 = -3*y + 2198 - u. Is y a prime number?
False
Let z(p) = p**2 - p - 30. Let l be z(-5). Suppose -2*k + 68209 = 3*i + 2*k, i - 4*k - 22731 = l. Is i a composite number?
True
Let d(k) = 9*k**3 - 12*k**2 - 9*k - 91. Is d(26) a prime number?
False
Let h be 2/(-4) - ((-21291)/6 - -3). Let m = h - -2598. Is m a composite number?
False
Suppose 71728 = 11*k - 30188 + 32649. Is k composite?
True
Let r(p) = p**3 - 10*p**2 + 7*p + 16. Let l be ((-5)/2)/(2/(-12)). Let q be r(l). Suppose 3*u = q + 83. Is u composite?
False
Is ((-726034)/(-5))/(6/(-105)*-7) composite?
False
Suppose 0 = -30*p - 48*p + 2390736 + 6268746. Is p a prime number?
False
Let y = -37881 - -165116. Is y a prime number?
False
Suppose -2204*l + 2196*l = -1083112. Is l a prime number?
True
Let w = -50 + 53. Suppose -y = 2*y + 2*i - 1184, 2*y = w*i + 811. Suppose -1723 + y = -3*o + f, 2*o - 890 = -f. Is o composite?
False
Let p be 0*2/(-8) + -15770. Is ((-81)/(-63))/9 + p/(-7) composite?
True
Let k(w) = -72981*w + 10138. Is k(-81) prime?
True
Suppose 9158 + 144779 = 2*j - g, -5*j + 5*g = -384850. Is j a composite number?
True
Let i(d) = d**3 + 63*d**2 - 68*d + 215. Is i(-48) a composite number?
False
Suppose 4*f - 21 + 4 = n, 5*n - 40 = -5*f. Suppose 0 = 3*g - f*m - 4732, 4*m + 6283 - 1550 = 3*g. Is g a composite number?
False
Let j = -45073 - -82244. Is j composite?
False
Suppose -5*c = -17*m + 22*m - 95910, 5*m = 25. Is c a prime number?
False
Let t(m) = 23*m**2 + m + 9. Let o be 1197/(-49) - (-12)/(-21). Let w = o - -21. Is t(w) prime?
True
Suppose -12128 = -15*s + 2767. Suppose -5*f - s = -4583. Is f a pri