226*o = 28776433. Is o prime?
False
Let x(c) be the third derivative of -125*c**4/12 - 5*c**3/2 + 12*c**2. Is x(-8) a composite number?
True
Suppose 7*l - 3379927 = -21*l - 580851. Is l a composite number?
True
Suppose 126216 = 2*v + 5*s, -v - s - 18755 = -81866. Is v prime?
True
Let m be (-4)/14 - (-72)/7. Is (10436/m)/(4/10) prime?
True
Suppose 4*w - 20988 - 16716 = 0. Suppose -19*r = -25*r + w. Is r prime?
True
Let a be (-1)/5*6*(-3 - 2). Suppose 0 = -a*v + 3*v - 78. Is (-4)/v + (-523215)/(-143) composite?
False
Let a = 8409 - -2720. Is a prime?
False
Let g(j) be the first derivative of 45*j**3/2 - 21*j**2/2 + 11*j - 2. Let w(h) be the first derivative of g(h). Is w(6) a prime number?
False
Let h be (-2)/2*(12/(-3) + -1). Is 4 - ((-4622 - 0) + h) a prime number?
True
Let w(a) = -2*a + 18*a**2 + 22*a**2 - 64*a**2 + 25*a**2 + 4. Let l be w(2). Suppose -1442 = -l*u - 214. Is u a prime number?
True
Let n = 220169 - 44996. Is n composite?
True
Suppose 0*v - 95985 = -3*w + 3*v, -5*v - 95991 = -3*w. Suppose 5441 - w = -7*f. Is f composite?
False
Suppose 0 = -p - 38 + 52. Is ((-28)/126*-14373)/(4/p) prime?
False
Let k(u) = 50*u**2 - 71*u + 1206. Is k(35) prime?
True
Suppose -231*h = 6*l - 234*h - 140508, -70249 = -3*l - h. Is l a composite number?
False
Let g be (-2)/(-8)*-3*-1588. Let w(c) = -4*c**2 + 114*c + 42. Let o be w(26). Let j = g - o. Is j prime?
False
Suppose 0 = -6*p + 3*p - 2*h + 4, 4*p + h = 12. Suppose -6*k + 46165 = p*b - k, 3*b - 34626 = -3*k. Is b composite?
True
Is (10/70)/((-2)/(-1218154)) prime?
True
Suppose -13576504 = -93*c + 85*c. Is c prime?
True
Let w(f) = 2*f**2 + 7*f + 4 - 3*f + 0*f**2 - 11*f. Let k be w(4). Let h(a) = 315*a + 13. Is h(k) a composite number?
True
Let j be 7/3 + -2 - (-14924835)/27. Is (2 - 0)*j/88 a composite number?
True
Suppose -52*c = -50*c + 5*q - 14369, -c + q + 7188 = 0. Is c prime?
True
Is 6288 + 2 + 2*(25/10 + -3) a composite number?
True
Let i = 40 + -44. Let f be i - 0 - 24/(-4). Suppose -57 = -f*n - n. Is n a prime number?
True
Let n(r) = r**2 - 6*r + 13. Let o = 227 - 241. Is n(o) prime?
True
Suppose -3*z - 7 = -4*z. Let f(a) = 245*a - 46. Let l be f(-3). Is 5*(-1 + z)*l/(-165) prime?
False
Suppose 5*f + 0*g + 112883 = -g, 5*f = 5*g - 112865. Let p = -15605 - f. Is p prime?
True
Let l(u) = 34*u**2 + 8*u - 13. Let o = -85 + 92. Is l(o) a prime number?
True
Is (-80)/(-360) + 6/(54/444157) prime?
False
Let p = 29905 + 5684. Is p a prime number?
False
Let a(s) = 2*s**2 + 1. Let g be a(3). Suppose 2*y = -5*q + 114, -188*q = -3*y - 187*q + 222. Let r = y + g. Is r prime?
False
Let q = -12186 - -19845. Let u = q - 2398. Is u composite?
False
Let u = -168 - -161. Let c be (-21)/2*(-8)/(-6). Is u/(c/(-6)) + 206 prime?
False
Let q(b) = b**3 + 180*b**2 - 59*b - 219. Is q(-38) composite?
True
Let l(g) = 501*g + 6599. Is l(60) composite?
True
Let a = 48 + -44. Suppose -21961 = -5*v + 2*k, -2*v + 5427 = -a*k - 3351. Is v composite?
True
Suppose -358 = -4*b + 1114. Let y = -33 - -126. Suppose y = -5*l + b. Is l prime?
False
Let y(g) = -3*g - 11. Let i be y(-5). Suppose 5*j = 5*b + 35, -2*j + i*b = -2 - 18. Let c(a) = 20*a**2 - 15*a + 5. Is c(j) composite?
True
Is (-15)/(315/24) - 1357276/(-28) composite?
False
Let u = -10705 - -17108. Is u a composite number?
True
Suppose 4*n = -5*y + 249225, 45*n = 41*n - 20. Is y prime?
False
Let f(o) be the third derivative of 3*o**5/20 - 11*o**4/24 + 22*o**2. Let k be f(2). Let c = 267 - k. Is c a prime number?
False
Let u(f) = -6706*f - 4783. Is u(-29) prime?
True
Let v(p) = -310*p + 4563. Is v(-7) a prime number?
True
Let l(r) = r**3 + 6*r**2 - 11*r - 6. Suppose 4*v + 24 = v. Let h be l(v). Let d = h + 89. Is d prime?
True
Suppose -2*l - 4*p + 250 = -34, -2*l + 278 = -2*p. Is 223242/8 - 35/l composite?
True
Suppose -5*x = 4*o - 0*o + 17, o - x = 7. Suppose -v + 0*v = 2*h - 1024, -o*h = -6. Is v a prime number?
False
Let a be (-81)/(-4)*(-136)/(-3) + -1. Let f = a - 1687. Let h = f - -1691. Is h a prime number?
False
Suppose -57*u + 21496429 = 9*u - 26671757. Is u prime?
True
Let t(v) = 4586*v - 247. Let k be 4 + (-7 - -6 - -6). Is t(k) a prime number?
False
Let u(i) = 8*i + 565 + 10*i - 564. Let r be -3*(-1)/(12/64). Is u(r) a prime number?
False
Let p(a) = 1727*a**2 - 6*a + 115. Is p(6) a composite number?
True
Suppose 5*i - 87 = 68. Suppose 0 = i*l - 39*l + 4344. Is l composite?
True
Suppose 48 = 20*g - 92. Suppose g*f = -89428 + 252171. Is f prime?
False
Let c be (-2)/5 + 2/5 + -73. Let l = c - -73. Suppose -4*s = -l*d - 2*d - 4456, 2*d = -5*s + 5579. Is s prime?
False
Let m(a) = -a**3 + 71*a**2 + 53*a - 638. Is m(29) composite?
True
Let q be -1 + -1 - (-28 + 29). Let t = q + 5. Is (-1)/t*1192/(-4) composite?
False
Let f(o) = 3654 + 3659 - 7390 + 188*o. Is f(3) prime?
True
Let v(t) = t**3 + 6*t**2 + 3*t - 7. Let h be v(-5). Suppose 692 = y + y. Suppose 3*p + 0*p + 5*s - 982 = 0, h*s + y = p. Is p a composite number?
True
Let d(z) = 6*z**2 - 44*z + 283. Let h be d(8). Is 21/(h/(-6)) + 3727/5 prime?
False
Suppose 5*x + 2397 + 4393 = 0. Let p = x - -2116. Suppose 2*c + p = 2484. Is c composite?
False
Suppose 50*i = 234456 + 236697 - 105103. Is i composite?
False
Suppose -4*q + 598 + 246 = 0. Suppose -j = -4*o + 769, 8*o - 9*o + q = -4*j. Is o prime?
True
Suppose 221 = -5*k + 2311. Suppose -k = -7*r + 2501. Let q = r - -1682. Is q a prime number?
True
Suppose 24*m + 33999 = 31*m. Let s = m + -2108. Is s a prime number?
True
Let l(w) = 2*w**2 + 2*w + 2. Let v be l(-1). Suppose -f + 5*p = -18, -v*f + f - 5*p = 2. Suppose 1465 = f*k - 3*k. Is k a prime number?
True
Let g be 0/1 + 22728/6. Let z = -52 + 61. Suppose 13*d - z*d = g. Is d prime?
True
Suppose -9*u - 180 = -14*u. Is 7575 + u - (1 + 1) prime?
False
Let r(n) = 106*n + 1269. Let x be r(4). Let t be ((-9)/(-2) + 1)*148. Let a = x - t. Is a composite?
True
Let l(j) = -346*j + 4. Let d(i) = 173*i - 2. Let q = 6 - 9. Let u(w) = q*l(w) - 5*d(w). Is u(3) a composite number?
True
Let x be (0/(4/2))/((-9)/9). Suppose x = -32*b - 14*b + 707986. Is b a composite number?
False
Let x(t) be the third derivative of 29*t**5/60 - t**4/6 - t**3/2 - 8*t**2. Let b be x(-2). Let m = b + 368. Is m a composite number?
True
Let g(k) = -145*k**3 + 14*k**2 + 20*k - 62. Is g(-7) a composite number?
True
Suppose 39 = -3*p + 48. Suppose -2*c + 5153 = 3*m - 2*m, 15432 = 3*m - p*c. Is m a prime number?
True
Suppose -3*u - 2*y = 77960 - 246789, -2*u + 112536 = -2*y. Is u a composite number?
True
Suppose -244338 = -6*z + 244068. Is z a composite number?
False
Suppose 2*c - 3*w = 206137, -5*c + 515339 = -108*w + 104*w. Is c a composite number?
False
Let d(m) = 69*m**2 + 15*m + 21. Let f(p) = p**2 + p. Let j(v) = d(v) + 4*f(v). Is j(-8) a composite number?
True
Is 641155518/108 - (-11)/6 composite?
False
Suppose -115905973 = -168*d + 4091219. Is d a prime number?
False
Let y(d) = -465*d - 8. Let r be y(-6). Let s = r + -1435. Is s prime?
False
Suppose -207*c + 206*c = 4*g - 76503, -5*c = 3*g - 382532. Is c composite?
False
Let v(y) = 573*y**2 - 25*y + 763. Is v(15) a prime number?
True
Suppose -122*z + 27635127 = -24221339. Is z prime?
False
Let v = -25177 - -70410. Is v a composite number?
False
Let x(m) = m**3 + 77*m**2 + 23*m - 27. Is x(-26) prime?
True
Let h(v) = -v**2. Let w(o) = 10*o**2 + 27*o + 3. Let z(g) = 5*h(g) + w(g). Suppose -2*r - 5*p = -2*p + 35, 4*p = -5*r - 70. Is z(r) a composite number?
False
Suppose -u - 8*u + 8793 = 0. Let j = u + -391. Let k = j - 329. Is k composite?
False
Let i(n) = 4*n**2 - 31 + 28*n + 23*n - n**2 - 46*n. Let w = 6 - -7. Is i(w) a composite number?
False
Suppose 5*t = -5*n + 88 + 132, 0 = n - t - 42. Let p(r) = 2*r**3 - 85*r**2 - 24*r - 36. Is p(n) a prime number?
False
Suppose 4*z - f = -21 + 8, 0 = -4*z - 4*f - 8. Let q(d) = 14*d**2 - 28. Let b(r) = -29*r**2 + 48. Let g(k) = -3*b(k) - 5*q(k). Is g(z) a prime number?
True
Suppose -3*y = 8*y - 3*y - 505432. Is y prime?
True
Suppose 25 = -8*d + 3*d, -30 = -5*t + 3*d. Suppose t*i = o + 2, -4*o - 3*i - 3 = 5. Let j(l) = 339*l**2 - 8*l - 3. Is j(o) a prime number?
False
Suppose v + 5*x = -32, 4 = -2*x - 6. Let n be ((-19)/2 - (-8)/16)*v. Suppose -1276 = -67*g + n*g. Is g composite?
True
Suppose 0 = h + 2 - 12. Let g be ((-64)/h)/(16/120). Let l = g - -131