s t/(-48) - 11287/(-2) composite?
True
Suppose 30 + 20 = -4*x + 2*g, -2*g - 6 = 0. Is 889/x*(0 - -2 - 28) a prime number?
False
Let y(c) be the second derivative of -c**6/20 - c**5/60 - c**4/6 - 5*c**3/6 - 3*c**2 + 4*c. Let o(v) be the first derivative of y(v). Is o(-2) composite?
False
Suppose 2*y + 26*y - 700974 = -53*y. Is y prime?
False
Let t(y) = -2*y**3 - 16*y**2 - y - 5. Let w be t(-8). Suppose 0 = w*v + 3*p - 2913 - 768, 5*v + p - 6135 = 0. Is v composite?
True
Suppose 2*u - 4*w + 33746 = 0, -21*u - 4*w = -26*u - 84341. Let m = -8154 - u. Is m prime?
False
Suppose -452*h + 17592 = -444*h. Let b(g) = 15*g**2 - 4*g + 3. Let d be b(-5). Let u = h - d. Is u prime?
True
Suppose 15*b = 19*b - 12. Suppose -4*a - 2*o + 64 = 0, -23 = b*a - 4*a + 3*o. Suppose -4896 = a*m - 19023. Is m a prime number?
False
Let n = 43732 + -31739. Is n a prime number?
False
Let f = -394794 + 809909. Is f a composite number?
True
Let w(h) be the third derivative of h**6/120 - 7*h**5/30 - 3*h**4/2 + 9*h**3 + 2*h**2 + 34. Is w(25) a prime number?
True
Let j be (28/3)/(2 + (-132)/63). Let t = -110 - j. Is 0 + (834/(-4))/(t/16) prime?
False
Is (31/(((-660)/24)/(-11)))/(4/12130) a composite number?
True
Let a(o) be the second derivative of o**3/6 + 6*o**2 - 17*o. Let d be a(-12). Suppose d = 2*t + 15 - 449. Is t composite?
True
Let y = 195 + -183. Suppose 16143 = -9*f + y*f. Is f a composite number?
False
Suppose 143*r = 41*r + 151152270. Is r composite?
True
Suppose 2*r - 5*v - 560088 = 0, 4*r - 6*r = -3*v - 560084. Is r prime?
False
Suppose 9*v + 31971 = 591672. Is v prime?
True
Let w be (10/(-4))/((-3)/(-12)). Let i be (24 + -23)/(2*(-1)/w). Suppose 1411 = -i*j + 7346. Is j prime?
True
Suppose -4*l = 2*o + 38, 6*l - 3*l + 25 = 2*o. Let a(j) = 2*j**2 - 10*j - 1. Is a(l) prime?
True
Let o(y) = 18*y**2 + 237*y + 155. Is o(64) a composite number?
False
Suppose -2 = 3*n + 25. Let o(t) = 11*t**2 + 3*t + 16. Let d be o(n). Suppose -4*v + 916 = -d. Is v a composite number?
False
Let m be (-12)/40 - (-292)/40. Suppose 32505 = m*u + 8*u. Is u a prime number?
False
Suppose 14*q = 6*q - 16. Let g be (q/2)/(-3) + 5348/12. Is (3 - 8)*g/(-10) composite?
False
Let y(d) = 24*d - 349. Let n be y(15). Suppose -9*j + n*j - 40972 = 0. Is j prime?
False
Suppose -131*w + 31576261 = -14734990. Is w composite?
True
Suppose -18*b + 19837 = s - 21*b, 4*b + 39680 = 2*s. Let f = -10907 + s. Is f prime?
False
Let m = 254 + -252. Let z = 583 - -51. Suppose 2*r - 2*f = -m*r + z, 3 = -f. Is r composite?
False
Let k be (-1112)/(-6)*(-12)/(-16)*2. Let g = -310 + 593. Suppose -k*q = -g*q + 355. Is q composite?
False
Is 18/(-27) + 4669035/63 a prime number?
False
Suppose 5*t - 12717 = 4*g - 1646, 4402 = 2*t + 5*g. Suppose -5*z + 4*z = -2. Suppose 0*k = -3*k + 5*m + 1339, -5*k - z*m = -t. Is k a composite number?
False
Is 20/25 - (30681207/45)/(-3) prime?
False
Let i(z) = -2430*z + 413. Is i(-18) composite?
True
Let j be (73*18/(-15))/((-6)/78030). Is (-3)/(-15) - j/(-85) prime?
False
Is 1/((-5)/(-883630)) + 96/(-32) composite?
True
Let l = -105 + 9. Let i = -48 - l. Suppose -i - 84 = -6*u. Is u a prime number?
False
Let x(f) = 2*f**2 - 25*f - 13. Let p be x(13). Is -10 + 13164 - (1 + p) prime?
False
Suppose 0 = 5*v - 20 + 5. Suppose 2*a + 1 = v*j - 1, -4*j = 0. Is (-3 - -392)*(0 - a) a prime number?
True
Let w(s) = -107*s + 6. Is w(-13) prime?
False
Let r(a) = 28*a + 410. Let s be r(2). Suppose 4*d + 1149 = n, -n + 360 = -d + 72. Let h = d + s. Is h composite?
False
Let s(n) = 2*n - 24. Let l be s(14). Let z(q) = 35*q**2 - q + 9. Let j be z(l). Let t = -2 + j. Is t composite?
False
Suppose -31*d - 352497 = -34*d + 2*r, 2*d = r + 234997. Is d composite?
False
Let p(q) = -2*q**2 - 57*q + 2. Let n be p(-12). Let a = 3007 - n. Is a prime?
True
Let t be (-1175)/(-376) - (-1)/(-8). Suppose 7379 = -t*o + 17660. Is o prime?
False
Suppose 4*r = b - 32 - 22, 0 = -5*r - 3*b - 59. Let w(s) = 6*s**2 - 47. Is w(r) composite?
False
Suppose -3*y - 12 + 78 = 0. Is 56954/y + (-20)/(-110) a composite number?
True
Is 439539 + (-240)/(225/(-15)) prime?
False
Suppose 1033524 = -66*z + 2679762. Is z a composite number?
False
Is 10/(-28)*-14 + (0 - -51572) prime?
True
Suppose -8065930 = -9*h - 5*p, 3*h + 40*p - 43*p = 2688648. Is h a prime number?
False
Suppose 11*d + 40380 = 23*d. Suppose 3 = 2*b - 15. Suppose 14*w - d = b*w. Is w a composite number?
False
Let o(w) = -w + 2. Let d be o(5). Let a be 1 - (d + 2 + -3). Suppose -4*m = -2*r + 4*r - 944, -2396 = -a*r + 2*m. Is r prime?
False
Let r = 49 + -126. Let h = -72 - r. Suppose 0 = -4*o + h*a + 188, -a + 6*a = -5*o + 235. Is o prime?
True
Suppose 6*j + 4 = 40. Suppose 15*i - j*i = 0. Suppose i = 3*d + 242 - 5753. Is d a composite number?
True
Let j(a) = -16*a**3 + 16*a**2 + 67*a + 10. Is j(-9) composite?
True
Let u = -91910 + 265891. Is u a prime number?
True
Let k = 1 + 13. Suppose -g + 14 = -3*d, -4*g = -d + 2 - k. Suppose -g*w = -396 - 338. Is w a prime number?
True
Let f(j) = -j + 4. Let a be f(2). Suppose -c = -2*z - 5, -a*c + 3*z + 10 = z. Suppose 0 = 3*g + 6, c*m - 4*g - 1676 = 13417. Is m prime?
False
Suppose 14*o = 5*o + 2*o. Suppose -2*s - 10895 = -g, o = 2*g + 2*s + 3*s - 21826. Is g composite?
False
Suppose -15 = -5*w + 3*l - l, -w = -2*l - 3. Let d(z) = 15*z**2 - z**w + 16 + 24*z - 9*z - 41. Is d(14) prime?
False
Suppose -3*h + 64597 = -63*b + 68*b, 86120 = 4*h + 2*b. Is h prime?
True
Let v = -547158 + 1300655. Is v a prime number?
True
Suppose 12 + 0 = 3*h. Let f be h/6 + 33/(-9). Is f - -1*(-17)/(-1) a composite number?
True
Let c(r) = r**3 - 7*r**2 + 8*r - 2. Let i be c(4). Let u = i + 27. Let x(a) = 4*a**2 + 13*a + 5. Is x(u) a prime number?
False
Let d = -1759 + 3637. Suppose 862 + d = 10*t. Is t composite?
True
Suppose -17*v = -16*v - 3. Let l(h) = 114*h**2 + h - 3. Let a be l(v). Suppose i + 71 = a. Is i a composite number?
True
Suppose 3*z = 0, 6*j + 2*z = 5*j + 6. Let g be 40/25*7455/j. Suppose 4*x = 8592 - g. Is x a composite number?
True
Let g be (-26)/(-91) + 4/(-14). Suppose -4 = -d + 2*w, 2*d + g = 5*w + 8. Is (-5870)/d*-1*(-16)/(-20) a prime number?
False
Let a(p) = p**3 + 43*p**2 - 42. Let w be a(-43). Is (5971/w + -3)*-6 a prime number?
False
Suppose 0 = 2*p - 6*p + 5*m + 1, -4*p + 28 = 4*m. Is 8/24 + (1520/3)/p a composite number?
False
Suppose 180*n - 2946588 = 5416870 + 48700682. Is n a composite number?
True
Let n(w) = 449*w**3 + w**2 + 2*w - 7. Suppose -u = -2*q, -5*q + 0*u = u - 14. Is n(q) a prime number?
True
Let w(j) = -1906*j + 499. Is w(-5) composite?
True
Let p(t) = -10026*t - 149. Is p(-17) a composite number?
False
Let h(s) = -452*s**3 - 32*s**2 - 174*s + 13. Is h(-10) a composite number?
True
Is 104084 + (-5 + 63/14)*-6 composite?
False
Let k(l) = -7*l**3 + 15*l**2 - 8*l + 1. Let x(w) = -1 - 16*w**2 + 4*w + 11*w**2 - 10*w**2 + 6*w**3 + 3*w. Let r(j) = -5*k(j) - 6*x(j). Is r(7) a prime number?
True
Is 2/3 - 4673439025/(-1425) prime?
True
Let x = -6039 - -11294. Suppose -x - 5262 = -13*p. Is p composite?
False
Let t = -421 - -297. Let p = t - -191. Is p a prime number?
True
Let a = 9722 - -70749. Is a composite?
False
Let z(s) = s**3 - 2*s**2 - 4*s + 6. Let k be z(2). Let n(x) = -2613*x - 35. Is n(k) a composite number?
True
Suppose -14*t - 18213 + 1777299 = 0. Suppose 16 = -4*r, -5*o + 5006 + t = 5*r. Is o a composite number?
True
Let r(v) = 6*v + 53. Let t be r(-8). Suppose 0 = t*c + 4*f - 16098, -4*c - 3*f = 4778 - 17656. Is c a prime number?
False
Suppose -125*k + 122*k + 7149 = 0. Let h = k + -1124. Is h a composite number?
False
Let c(a) = 25*a**2 + 3*a - 12. Let n be c(-12). Suppose 6*y + n = 8*y. Let m = y - 727. Is m prime?
True
Let x = 147 - 159. Is (-2)/x*-4 - (-5710)/6 a prime number?
False
Suppose 753935 = 12*x + 230147. Is x a prime number?
True
Suppose 15*k - 4*w - 736297 = 0, 2*w + 12640 - 110818 = -2*k. Is k composite?
True
Let f(i) = i**2 - 7*i - 8. Let c be f(7). Let b(q) = -11*q**3 + q**2 + 7*q - 16. Let j be b(c). Suppose 5*n = j - 319. Is n composite?
False
Let c = -3 + 3. Suppose c*z = 4*z - 8404. Suppose 5975 = 4*t - z. Is t a prime number?
False
Let l be 232/87*(-21)/(-2). Let w = 33 - l. Suppose -2*y + 80 = 4*q, 104 - 296 = -w*y - 2*q. Is y composite?
True
Let z(i) = -18*i**3 + 3*i**2 - 2. Let s(n) = 