 j a prime number?
True
Is ((-17)/(-2))/((-147)/(-270186)) a composite number?
True
Suppose 0 = -5*j + j + 24. Suppose 0*h - 276 = -j*h. Is h prime?
False
Suppose t + b - 835 = 1681, 5017 = 2*t + 5*b. Is t a prime number?
True
Suppose -4*v = -9*v - 5*y + 675, 0 = 5*v - 3*y - 707. Is v a prime number?
True
Let g(v) = 136*v**3 - 4*v**2 + 4*v - 15. Is g(4) a prime number?
True
Suppose 0 = -5*y + a - 3*a + 173883, -2*y - a + 69553 = 0. Is y composite?
True
Let j(a) = -23019*a + 7. Is j(-2) composite?
True
Let p(f) be the third derivative of -f**4/24 + 5*f**3/6 - 3*f**2. Let b be p(3). Suppose 0 = -c + 2*k + 86 - 15, -3*c - b*k = -189. Is c a prime number?
False
Suppose 0 = 10*c - 315264 - 122926. Is c composite?
True
Let n = 11 - 7. Suppose -n*m + 205 = -607. Is m a prime number?
False
Let i be -7*4*(-18)/12. Let w = i - -113. Is w composite?
True
Is (-24180)/(-16) + (-6)/24 prime?
True
Let y be 1*(-2)/(-16) + (-1)/8. Suppose 4*h + 0*z - 3652 = -2*z, -2*h - 3*z + 1834 = y. Is h prime?
True
Let x(t) = 70*t + 99. Is x(16) a composite number?
True
Let t be (2*(-2)/(-12))/(2/(-18)). Let h(v) = -13*v**3 - v**2 + 4*v + 1. Is h(t) composite?
False
Let t = 1856 + -1273. Is t a composite number?
True
Let g(j) = -291*j + 383. Is g(-16) a prime number?
True
Let y(x) = 98*x - 1. Let t be y(-1). Let u be (-7)/(t/(-51) - 2). Let c = u + -28. Is c a prime number?
False
Suppose -34375 = -2*x - 5837. Is x a composite number?
True
Let p(z) be the second derivative of z**6/15 + z**5/60 - z**4/24 - 5*z**3/6 + 9*z. Let g(l) be the second derivative of p(l). Is g(3) a prime number?
False
Suppose 5*j + 6864 - 1949 = -5*a, 2*a - 3920 = 4*j. Is 2 - (j + -4) - 4 a prime number?
True
Let h(w) = w**3 + 13*w**2 - 6*w - 5. Let c(a) = -2*a + 11*a - a - 6*a. Let q be c(-6). Is h(q) a composite number?
False
Suppose 130 = 3*o - o. Is 6/(-10) - (-28574)/o a prime number?
True
Suppose 39 = -5*s + 74. Suppose -s*t + 14*t = 2065. Is t a prime number?
False
Let z(h) be the first derivative of 4*h**3/3 - h**2/2 - 19*h + 18. Is z(-6) a composite number?
False
Suppose 95*m - 99*m = -66620. Is m prime?
False
Let j(q) = -q**2 - 6*q + 4. Let x be j(-6). Suppose -w = x*w + 4265. Is (-4)/(-18) - w/9 prime?
False
Let l(s) = -263*s**3 - 5*s**2 + 5*s - 3. Let i(b) = -263*b**3 - 4*b**2 + 4*b - 2. Let m(c) = -3*i(c) + 2*l(c). Is m(1) composite?
False
Let q(l) = 380*l - 17. Let m be q(10). Let o = m - 2520. Is o prime?
False
Is (20299 - (-28 + 4))*2/2 a prime number?
True
Suppose -13*p = -17*p + 35660. Is p a composite number?
True
Suppose 507 = k + 2*v, 4*v = -0*k - k + 505. Let z = k - 216. Is z a prime number?
True
Let z be (2/2)/((-3)/(-15)). Suppose i - 93 = 65. Suppose -z*t = -593 + i. Is t composite?
True
Suppose -2*c = -9*c - c. Suppose c = -3*o + 2400 + 1365. Is o composite?
True
Suppose -4*n = 3*y - 3261, -11*n = 5*y - 16*n - 5435. Is y composite?
False
Let f be (0 + 9)*(-20)/15. Let h be 8/f - (-19160)/12. Suppose h + 309 = 5*u. Is u a composite number?
True
Suppose -3*x + 3*y = -177, 0*y + 221 = 4*x + y. Suppose 0*b = -b - 2*r + x, 267 = 5*b - 3*r. Suppose -l + 313 = b. Is l prime?
False
Let x(w) = -w - 36. Let u be x(-16). Let d = 73 - u. Is d composite?
True
Suppose 0 = 2*s - 21 - 3. Is -2*(-1 + (-2646)/s) a prime number?
True
Let v = 9397 - 6034. Suppose v = 9*a + 6. Is a a composite number?
False
Suppose 4*o = 2*q + 366, -4*o + 178 = 5*q - 153. Is o composite?
False
Is (-1 - 0)*(-35 - -4) a prime number?
True
Let c = -93 + 338. Suppose b - c = -4*b. Suppose -h + v + 110 + b = 0, -2*h - 4*v + 306 = 0. Is h composite?
False
Suppose -5*p - 5 + 0 = 0. Let l(u) = 164*u**3 - 3*u. Let y(k) = -657*k**3 + 13*k. Let w(n) = -9*l(n) - 2*y(n). Is w(p) a composite number?
True
Let n(t) be the third derivative of -4*t**2 - 1/2*t**4 - 1/60*t**5 + 0 - 7/3*t**3 + 0*t. Is n(-10) a composite number?
True
Suppose c - 4 = 4*z - 14, 4*c - 3*z + 14 = 0. Is 5176/6 - c/6 prime?
True
Suppose 3445 = 13*i - 1612. Is i a prime number?
True
Let p be -11*(2/8 - 201/(-12)). Is (p/(-34))/((-1)/(-254)) prime?
False
Let o(l) = l**3 - 11*l**2 + 2*l - 48. Let u be o(11). Is u/143 + (-5425)/(-11) prime?
False
Let w(g) = -19*g**3 - 2*g**2 - g. Let a be w(-1). Suppose x + 6 = -a. Let j = 43 - x. Is j a composite number?
False
Let c(v) = v**3 + 6*v**2 + 5*v + 2. Let o be c(-5). Suppose 0*q = o*q - 714. Is q + (-3 + 4 - 3) composite?
True
Let u(b) = b**3 + 12*b**2 - b + 1. Suppose 0*y - 3*y + 16 = -q, 36 = -3*q + 3*y. Is u(q) a composite number?
False
Let r(k) = -87*k - 13. Let i be r(-4). Let t be 2/(-17) - (-68438)/(-323). Let g = t + i. Is g composite?
True
Suppose -3*h + 5*z + 54125 = 0, -4*h + 3*h - z + 18031 = 0. Is h a prime number?
False
Suppose -4*z + 2 = -14. Suppose -z*s + 4*q + 228 = 0, -5*s - 2*q + 219 = -73. Is s composite?
True
Suppose 0 = -b + 3*g + 129, -5*b + 10*g = 5*g - 685. Is b composite?
True
Is (4785/10 - -5)/((-2)/(-28)) a prime number?
False
Is (-2)/(2212/1108 - 2) a composite number?
True
Suppose -3*s - 1166 = -5*s. Let t = -185 + s. Is t composite?
True
Let w = -28 - -24. Is (w - -7) + 36*23 a composite number?
True
Let j(b) = 2*b. Let m be j(1). Let a(g) = 28*g**3 + g**2 + 2*g - 1. Let h be a(m). Suppose 11*o - 14*o = -h. Is o a composite number?
True
Let u(p) be the first derivative of -35/2*p**4 + 3/2*p**2 + 1/3*p**3 + 6 + p. Is u(-2) composite?
True
Let n be (-132)/(-154)*(2 + 3/2). Suppose 0 = -4*t - g + 5162 - 889, 2*g = -n*t + 3201. Is t a prime number?
True
Let h = -4463 + 6394. Is h composite?
False
Suppose 7*j + 15*j = 88. Suppose 5*z + j*n = -0*n + 3695, 4*z + 5*n - 2947 = 0. Is z composite?
False
Let s = -11080 - -15927. Is s composite?
True
Let c(q) = q**3 + 5*q**2 + 4*q + 4. Let b be c(-4). Suppose -5*g + 4997 = -b*r, g - 5*g - r + 3985 = 0. Is g a prime number?
True
Let i(v) = 39*v**2 + 39*v - 5. Is i(12) composite?
False
Let a = 104325 + -27266. Is a a composite number?
True
Let n = 35 - 35. Suppose n = 2*h + 3*h - 13525. Is h a prime number?
False
Suppose 0 = -2*s - 6, -2*p + 4*s = 8*s - 574. Is (-2*5/10)/((-1)/p) prime?
True
Suppose 9*j - 581 = 220. Is j a prime number?
True
Let w(l) = -l**3 + 7*l**2 + l - 4. Let p be (-5)/10*(0 - 14). Is w(p) a prime number?
True
Suppose 0*d - d = -2. Let n(z) = 39*z**2 + 1. Is n(d) composite?
False
Let b = -7 + 16. Let t be ((-6)/b)/(8/12). Is 59*(-2 - t)*-1 a prime number?
True
Suppose 3*a + 16*a = 646741. Is a composite?
False
Suppose 5*n - 11713 = 142. Is n prime?
True
Let b be 2/((-4)/(-6)) - 1. Is 163 + b + 12/(-3) a composite number?
True
Let j = -1829 - -4438. Is j a prime number?
True
Let h = 2 + -1. Suppose -f + 75 = -371. Is f/4 + h/(-2) a prime number?
False
Let k(m) = m**2 + 6*m - 12. Let s be k(-8). Suppose 0 = -s*a - a + 665. Is a composite?
True
Let x be (-145)/45 - (58/(-18) - -3). Let n(v) = -327*v - 2. Is n(x) a composite number?
True
Suppose -3*y = 15, -4*u + 5 = -2*u + y. Suppose 0 = 4*h - 5*g - 4237, -g + 6*g - 4187 = -4*h. Is h/u - 12/(-30) prime?
True
Let j = 89 - 96. Let h(c) = -219*c + 44. Is h(j) prime?
False
Let r = 998 - 672. Suppose -h - h = -r. Is h prime?
True
Let s(j) = -3*j**2 - 2*j + 7. Let a be s(-3). Let n be 11/(-7) + 6/a. Is (1700/175)/(n/(-7)) a prime number?
False
Is (-2 + 2 - 1) + -37 + 3165 prime?
False
Is 7816/36*(-3 - -12) a composite number?
True
Suppose o + 5*w = 5, o + o + w = 10. Let t(n) = n**3 - 4*n**2 - 2*n - 11. Let u be t(o). Suppose -u*x + 2*z = -156, 0*x - 2*z + 29 = x. Is x a composite number?
False
Is (-456855)/(-27) + (-88)/(-198) a prime number?
True
Let k be 519/3 - 4/(-2). Let f = 351 - k. Suppose 15 = -3*g - 0*g, -3*m = 5*g - f. Is m prime?
True
Suppose 110726 = 9*k + 5*k. Is k composite?
True
Suppose 34228 - 1862 = 2*d. Is d a prime number?
True
Let k = 261 + 40. Suppose -2*i = 5*f - 2253, 5*f + 3*i - k = 1956. Is f a prime number?
True
Let d = 12 - 6. Suppose 2*w - 4*w + d = 0. Suppose 95 = 2*s + 3*r, 0 = 3*s + w*r + 2*r - 140. Is s composite?
True
Let u(r) = -r + 4. Let j be u(3). Suppose 2*n - 16*h = -12*h + 86, 5*n + 3*h - 228 = 0. Suppose 5*q + 2*x = n, 3*q + j = 6*q - 4*x. Is q a prime number?
True
Let g(h) = 33*h**2 - 4*h + 73. Is g(8) a prime number?
True
Let d(m) = 459*m - 7. Is d(11) prime?
False
Let z = -177005 - -319156. Is z a prime number?
True
Suppose 0 = 3*u - 4