-368*l - 333*l. Is l prime?
True
Let m(w) = 2*w**2 + 2. Let u be m(2). Let z(y) = -3*y**2 + 42*y + 12. Let x be z(14). Suppose -x*c + 1338 = -u*c. Is c a composite number?
True
Suppose -43746287 = -142*c - 79*c. Is c composite?
False
Suppose 4*k = 5*j - 307, 11 = 4*j + 2*k - 245. Let x(r) = j - 48*r - 50 - 30*r. Is x(-6) a composite number?
True
Let r(k) be the first derivative of -96*k**2 + 5*k + 38. Is r(-9) prime?
True
Let o(y) = -19*y**2 - 8*y - 9. Let x be o(-5). Let v be (-2 - (-4 + 2)) + 859. Let p = v + x. Is p composite?
True
Let p = -184 + 104. Is p/(-100) - (2 + (-7661)/5) prime?
True
Let l = -12918 + 27889. Is (-2 - -1)/((-11)/l) composite?
False
Suppose -16*d = 446256 - 6988560 - 1476688. Is d prime?
True
Suppose 4*z = 1 - 5. Let l(y) = 36467*y**3 + 2*y + 1. Let b be l(z). Is 2/(-8) + (b/(-16))/9 a composite number?
True
Suppose 0 = -5*d - 5*o, -2*d + 8*o = 7*o + 9. Let a = d - -994. Is a composite?
False
Let i(v) = 10106*v**2 + 109*v - 554. Is i(5) a prime number?
True
Let s = 212458 + 3239. Is s a prime number?
False
Let j(a) = 8035*a**2 + 414*a + 1244. Is j(-3) prime?
False
Let g(p) = 30*p**2 + 2. Let q be g(3). Suppose 0 = -23*y + 2994 + q. Is y a prime number?
False
Suppose -4*q + 19436 = -45740. Is q prime?
False
Suppose 21*m = 95*m - 5140558. Is m composite?
False
Suppose -32 = -g + 3*k, -4*k + 192 = -2*g + 6*g. Let w = g + -44. Suppose -3*r + 1266 = -r - 4*u, 4*r + 3*u - 2477 = w. Is r a composite number?
True
Let x(o) = -o**3 + o**2 - o - 534. Let a be x(0). Let y be ((-890)/267)/((-10)/(-1065)). Let t = y - a. Is t a prime number?
True
Suppose -7 - 3 = -2*h, 0 = 2*w - 2*h - 115888. Is w a prime number?
False
Let x = 509940 - 185827. Is x prime?
True
Let a(q) = q**3 - 5*q**2 + 6*q - 4. Let f be a(4). Let l be -4*(-2 - 2015/20) + 0. Suppose s - 3*s + 5*v = -819, -s = -f*v - l. Is s prime?
False
Suppose -3*n - 5*i + 7116 = 0, 5*n - 3*i + 4*i - 11882 = 0. Let t = n + -1164. Is t composite?
False
Let q(a) be the first derivative of 191*a**3/3 - 9*a**2/2 + 17*a - 176. Is q(3) a composite number?
False
Suppose -5*q - 2*a + 630 = 0, -q + 3*a + 233 = q. Is 7/(-35)*5 + 46*q prime?
False
Suppose 13644300 = -32*d + 92*d. Is d prime?
False
Suppose 3*m + 2*t - 4*t - 36 = 0, 2*m - 4*t - 24 = 0. Suppose -14*k + 9*k + 3*q = -15136, 0 = 4*q - m. Is k a prime number?
False
Suppose -39953 = -4*y + 5*a, 7*a + 9962 = y + 2*a. Is y a prime number?
False
Let a(f) = 4*f - 4. Let t be a(2). Suppose -n = -2*u + 11403, 9*u - 28512 = t*u + n. Is u prime?
False
Suppose 0 = -0*h + 6*h - 4782. Let s = h + 3832. Is s composite?
True
Let a(z) = -16*z - 7 - 9*z**2 + 43*z**2 - 6. Let u = 1378 - 1372. Is a(u) a prime number?
False
Suppose 0 = -3*n - 4 + 97. Suppose 3*v = 2*h - n, -3*h - 3*v + 2*v = -19. Suppose 17*c = h*c + 3537. Is c prime?
False
Suppose -5*m = -6*m - 2*w + 2, 0 = 5*m + 3*w + 18. Is ((-14745)/m)/(-2 + (-20)/(-8)) composite?
True
Suppose 2*f + 8*f = -640. Let g = 136 - f. Suppose 2*q - 3*l - g - 20 = 0, -5*l = -q + 103. Is q a prime number?
True
Let g be (-14 - -13) + 0 + (1 - 0). Let z be (g + 3/2)/((-3)/18). Is -3*1*-2391*(-1)/z composite?
False
Let o = 35643 - 19460. Is o composite?
False
Let v(c) = c**3 - 7*c**2 - 14*c - 21. Let t be v(9). Is 14223/1*(2 - t/9) a prime number?
False
Let w(a) = 4*a**2 - a + 10. Let x be w(0). Let c(m) = 6*m**3 - 16*m**2 + 11*m - 9. Is c(x) composite?
True
Let b(o) = 1783*o**2 - 10*o - 143. Let m be b(-14). Suppose -38*x + 214949 = -m. Is x composite?
True
Let q(v) = 0*v - v - 2*v**2 - 6 + 7 - 4*v**3. Let r be q(-1). Suppose -5*d + 1347 = r*k - 2010, -3*k = 2*d - 1340. Is d prime?
True
Let o be (-2)/(-5)*-3*(-20)/8. Suppose o*t + s - 5 = 6, -21 = 2*t - 5*s. Suppose 0 = 2*b + h - 722, 5*b + t*h - 1805 = -0*h. Is b a prime number?
False
Let d(x) = -2*x**3 + 12*x**2 + 4*x - 14. Let n be d(7). Is 3488/5 - n/60 composite?
True
Let k(u) = u**2 + 8*u - 196. Let r be k(11). Suppose -3*v = v - 76. Suppose -v*q = -r*q - 1542. Is q a prime number?
True
Let x = 99 - -93. Is (x/40)/8 - (-154264)/10 a prime number?
True
Let w = -44 - -55. Let m(d) = 10*d**2 - 13*d + 32. Is m(w) a composite number?
True
Let v = -30176 + 63045. Is v a prime number?
True
Let w = 140 - 136. Is (-3 - (-8 + w))/(-2)*-1774 a composite number?
False
Suppose 3 = 3*y + 3*n - 0, -5*n + 5 = -y. Suppose y = 6*c - 20067 + 5565. Is c composite?
False
Let j(a) = 29*a**3 + 12*a**2 + 25*a - 38. Let g(t) = 43*t**3 + 17*t**2 + 37*t - 58. Let x(n) = 5*g(n) - 8*j(n). Is x(-7) composite?
True
Let n(u) = 156*u + 14. Let a(d) = 78*d + 7. Let g(c) = -7*a(c) + 4*n(c). Let q be g(-6). Let z = -316 - q. Is z composite?
True
Let r(v) = -57*v**3 - 14*v**2 - 15*v + 4. Let l be r(-6). Suppose -l = -4*a + 21958. Is a a prime number?
False
Suppose -y = 4*y - 80. Suppose 172 = -6*x + 538. Let w = x + y. Is w a prime number?
False
Suppose z + 2*z - 68 = s, 5*z - 95 = -2*s. Is 11842/8 + (z/(-28))/(-1) composite?
False
Let n = 13123 + 19113. Suppose 4*c - h - 32236 = 0, -4*c + h + n = -4*h. Is c a prime number?
True
Let q(y) be the first derivative of 127*y**3/3 - 5*y**2/2 + 41*y + 25. Is q(4) a prime number?
True
Let j = 832792 + -316515. Is j prime?
True
Is 91107 - 9 - 14 - 5 a prime number?
True
Let v be 35 - 29 - (1 + 1). Suppose -14*l - 4*w = -18*l + 17644, -v*l + w + 17638 = 0. Is l a composite number?
False
Let g = -644 + 13993. Is g prime?
False
Is ((180/110)/(-9) - (-40)/(-22)) + 57085 prime?
False
Let t(a) = 5*a**2 + 12*a + 89. Let r(w) = -11*w**2 - 25*w - 178. Let c(y) = -6*r(y) - 13*t(y). Is c(28) prime?
False
Let b = -25824 + 60508. Suppose -2*r + 5*f + b = 0, 0 = -f - 0*f - 2. Is r composite?
True
Suppose 28941 = 3*f - 17346. Let a = f - 9928. Is a prime?
True
Let i = -304052 - -541851. Is i a prime number?
False
Is 2409421/42 - ((-15)/(-18) + 14/(-21)) prime?
True
Let h = 20 - 28. Let w(c) = 6*c - 3 + 8*c + 20*c + 2*c**2 - 25*c. Is w(h) a composite number?
False
Let n(t) = -t**3 + 9*t**2 - 2*t + 19. Let c = -123 - -132. Let s be n(c). Is s*(-4)/((-24)/25494) a composite number?
True
Let g = 102850 - 27701. Is g composite?
False
Let k = -44 - -47. Suppose l - 84 - 120 = k*u, -4*u - 4 = 0. Is l prime?
False
Let x be 3 + -12 + 8 - -39. Suppose x*j = -127871 + 874761. Is j a composite number?
True
Let g(f) = 40*f**2 + 15*f + 713. Is g(38) composite?
True
Suppose 4*d + 70 - 270 = 0. Suppose -d*v = -46*v + 5616. Let q = v - -2841. Is q a prime number?
False
Let p be -4 - (0 + 15*-1). Suppose -p*f + 14*f = 0. Let q(y) = -2*y + 449. Is q(f) a composite number?
False
Let i be (1/(-1 + 2))/((-62)/159898). Is (i/2)/((-16)/32) prime?
True
Suppose 53252183 = 176*y - 18509177. Is y a composite number?
True
Is (-3335910)/(-35) + 25*10/(-350) composite?
False
Suppose -4*l = l - 3*b - 262146, 2*l - 3*b = 104862. Suppose -l - 42441 = -9*c. Is c a composite number?
True
Let q(c) = 7*c**2 - c - 1. Let i be q(1). Suppose 3*r + 434 = u, 0 = i*u + r + r - 2221. Let y = u - -59. Is y a prime number?
False
Let w = -605 - -2639. Let v = -473 + w. Suppose -2*l + 4*x = -1054, 0*l - v = -3*l + 2*x. Is l a composite number?
True
Suppose -67 = 4*l - 87. Suppose -n = -l*q + 14750, -2*q + 125*n - 130*n = -5873. Is q prime?
False
Let d = -66192 + 116863. Is d prime?
True
Suppose -2*j - 34986 = 4*j. Let i = -3008 - j. Let b = -856 + i. Is b composite?
True
Let u = -3572 - -8495. Suppose -12*i + u - 1335 = 0. Is i prime?
False
Let c(x) = -22422*x**3 - 3*x**2 + 127*x + 129. Is c(-1) a prime number?
False
Suppose 2*v - 838676 = -5*k - 144242, 3*v = -2*k + 1041673. Is v prime?
True
Let g(x) = 107*x**2 - 105*x + 464. Is g(-67) a composite number?
True
Suppose 2*p = m + 56064, -3*m = -3*p + 56771 + 27331. Let k = p - 18063. Is k prime?
True
Let s = 252 - -1312. Suppose -h - p + s = 0, h - 1558 = -0*h + p. Is h a composite number?
True
Let k = 26 + -21. Suppose 5*o + 667 = -k*v + 8462, 5*v - 25 = 0. Is ((-2)/4)/((-7)/o) prime?
False
Let y = -24 + 30. Let t(x) = x**3 - 8*x**2 - 21*x + 21. Let l be t(13). Suppose 3*b - l = 4*q, 20 = -y*q + 2*q. Is b composite?
False
Let r = 72018 + -34354. Let k = -22507 + r. Is k a composite number?
True
Let x = -31413 + 157190. Is x composite?
False
Suppose 6*t + 3763 = -1943. Suppose -3*i + 2*l - 1856 = 0, 4*i - 618 = 5*i - l. Let k = i - t. Is k a composite num