 6 = -3*p, -3*g = -2*p + 10. Is z(p) composite?
True
Suppose 6 = q + y + 3, 5*q + y = 27. Suppose -17*m = -q*m - 23727. Is m prime?
False
Let a(w) = -162*w**3 + w**2 + 2*w. Let k be 120/65 - 12/(-78). Suppose -3*d - 4 = n, -5*n - 2 = -k*d - d. Is a(d) composite?
True
Let x be (-49)/(-14)*24/42. Suppose 10*r = x*r + 28760. Is r composite?
True
Suppose 4726 = 4*z + c - 3908, -6464 = -3*z + 5*c. Let q = 8 + -10. Is 38/19 - z/q a prime number?
False
Suppose -32 = -4*n + 4*p + 344, -3*n - 3*p + 306 = 0. Let v = 677 + -1136. Let y = n - v. Is y composite?
False
Let h(u) = 9*u + 5*u**2 + 1 + 10*u - 4 + 0. Let x be h(-4). Is (-261 - x)*(252/(-8))/9 composite?
True
Let k(d) = 144*d**3 - 5*d**2 + 15*d - 3. Let a(b) = -72*b**3 + 2*b**2 - 7*b + 2. Let i(o) = -13*a(o) - 6*k(o). Is i(2) composite?
True
Let g = -198150 - -328037. Is g a composite number?
False
Let c(t) = 5777*t + 1922. Is c(13) a prime number?
True
Let u(q) = 66*q**3 - 7*q**2 - 47*q + 263. Is u(15) composite?
True
Is (0 - -2)*(-1300809)/2*(-1)/3 composite?
True
Let p = 45 - 25. Suppose p = 6*r - 11*r. Is 1 - r/4 - -297 composite?
True
Is (-8462559)/(-63) - (40/(-15))/4 a prime number?
True
Let x(n) be the second derivative of 99*n**5/20 + n**4/4 - 7*n**3/6 + 4*n**2 - 5*n. Let r be x(-4). Is ((-4)/12)/(4/r) composite?
False
Let g(n) = -32549*n - 8. Let z be g(1). Let h = 49926 + z. Is h composite?
True
Suppose -3047329 + 389837 = -76*f. Is f a composite number?
True
Let r(m) = -55*m**2 - 3*m - 9. Let w be r(4). Let u = 487 + w. Let j = 725 + u. Is j a composite number?
False
Let i be 3/7 + 7196925/(-525). Let p = 10377 - i. Is p a composite number?
True
Let d = -110679 - -225710. Is d a composite number?
True
Let s(m) = -m**2 + 23*m - 17. Let l be s(22). Suppose 13026 = 2*f - 5*p + 970, 4*f - l*p = 24102. Is f a composite number?
True
Let o = 82270 + -29271. Is o prime?
True
Suppose 3*r - 2*s - 23 - 9 = 0, 4*r - 50 = -s. Let i(y) = 125*y + 17. Let w be i(r). Suppose w = -11*h + 12*h. Is h composite?
True
Let t(a) = 13*a**2 + 131*a + 338. Is t(-63) a composite number?
True
Let z = 268325 + -141339. Is z composite?
True
Suppose -3*t - 15*w = -11*w - 281619, 2*t = -2*w + 187742. Is t a composite number?
True
Let d be (0 + -3 + 38/10)*15. Let p(q) = -q**3 + 40*q**2 - 23*q - 1. Is p(d) a composite number?
True
Suppose -77*c - 89*c = -46*c - 11786520. Is c a composite number?
False
Let i = 8 + -12. Let c be ((-1)/(-2))/((-1)/i). Is 4 + -2 + 0 + 1354/c a composite number?
True
Let f = 257 + -252. Suppose f*x = -5*k + 17010, -4*k + 20 = -8*k. Is x prime?
True
Let j = -10346 + 16069. Is j prime?
False
Let p be (-4)/4*-4*3. Let q(n) be the first derivative of n**3/3 + 3*n**2 + 17*n + 128. Is q(p) a composite number?
False
Suppose 12*p - 5 = j + 9*p, -j + 3 = p. Suppose l = -3*z - 8713, z + 3947 - 21352 = 2*l. Is 2 + j + l/(-4) a composite number?
False
Let r be (-9 - -1) + 6 + -2 + 1521. Suppose 2*k + 79 = r. Is k a composite number?
False
Suppose 44 = -l - 24. Is (-39 - (-8)/(-4))/(4/l) prime?
False
Let v(o) = 56*o**2 - 153*o + 39. Is v(76) prime?
True
Let v = 62 + -60. Suppose -v*w + c + 609 = -1407, -w - 2*c = -1003. Is w a composite number?
True
Let i(x) = -x**2 - 6*x + 19. Let o be i(-8). Suppose o = g - 3. Let y(t) = 33*t + 25. Is y(g) a prime number?
True
Let b = 31935 + -10760. Let k = b + -10748. Is k a prime number?
True
Suppose -1535507 = -21*y + 1374652. Suppose 4*g - 3*l = 184772, -70*l + 68*l = -3*g + y. Is g prime?
False
Suppose 11*z - 319851 - 1431979 = 1020731. Is z a prime number?
False
Suppose 0 = 354*l - 231*l - 26808465. Is l a composite number?
True
Let v(p) = -p**2 + 4*p - 2. Let b be v(2). Suppose 2*k + 0*k = 3*j + 29000, -b*j - 19329 = 3*k. Is -5 - (-27)/5 - j/10 prime?
True
Suppose 0 = 6*j - 78. Suppose -7*n = -j*n + 15258. Is n composite?
False
Let g be ((-2)/(-8) - (-50)/(-8))*-1. Suppose -15*i + g*i = -54261. Is i composite?
False
Let s be -3*((-245)/8 - 84/224). Suppose 2*v + g = 798 - 185, -583 = -2*v + 5*g. Suppose -v = -x - s. Is x composite?
False
Suppose 2*t + 987673 - 166030 = 7*y, 2*t - 234750 = -2*y. Is y a composite number?
True
Let o(h) = -h**3 - 13*h**2 - 22*h + 3. Let x be o(-11). Suppose n = 3*p + 3367, 3*n + p - 10094 = x*p. Suppose 0 = f - 4*f + y + n, 5*y = 25. Is f composite?
False
Let r = -1335 - -7212. Suppose 10*d - d = r. Is d a prime number?
True
Let r(h) = -679*h + 17. Let l = -117 + 111. Is r(l) a composite number?
False
Let h = -24 - -28. Suppose -h*q - 4595 = -5*g, 0*q = -g + 3*q + 908. Suppose -k + 326 + g = 0. Is k prime?
True
Let n(a) = -141707*a - 6649. Is n(-28) a composite number?
False
Let d = 25 - 24. Let y be (-5 - (-40)/5)*(-4)/d. Let f = y - -98. Is f prime?
False
Let m be 160/10 - 2*6/4. Suppose 0 = m*y - 9*y - 8312. Suppose y = d + 5*i, i - 1 = -6. Is d composite?
True
Let j be (-28)/16 + 39/(-12) + 3. Let p be (4 - (1 + j)) + -1. Is ((-2)/p)/1 + 122529/94 composite?
False
Suppose 0 = j - 9*j + 64. Let v(k) = -j*k - 3*k**2 - k**3 + 11 + 10*k**2 + 10*k**2. Is v(9) a composite number?
False
Suppose 4*c + 4*c = 40. Suppose 3*r - r = -2*t + 386, c*t + r - 957 = 0. Is t a composite number?
False
Let a = 42819 - -40378. Is a a prime number?
False
Let n = 408287 + -217449. Is n a prime number?
False
Is (2605 - -1) + (-11)/(-11) + -2 composite?
True
Let t(d) = 3*d + 30. Suppose -61 = 6*u + 23. Let w be t(u). Let c = w + 373. Is c prime?
False
Let v = 620 - -196. Suppose 5*a = 2*d - 24182 - v, 3*d - a = 37497. Is d a prime number?
False
Suppose 66*j = 110*j - 78*j + 2925938. Is j prime?
False
Suppose -3*f + f = -4*a + 24, 5*f - 3*a + 25 = 0. Is 20/f + 11 + 2052/1 composite?
False
Suppose 0*b = 11*i - 2*b - 3369947, 0 = -3*i - 3*b + 919080. Is i prime?
True
Let g(x) = 3*x - 3 + 351*x**3 + 68*x**3 + 0. Let k be (-6)/(-2) - -1*(-5 + 3). Is g(k) composite?
False
Suppose 21*l - 26 - 16 = 0. Is 86410*(4 + 2 + -5)/l a prime number?
False
Suppose 4*y - 37 = -2*i - 11, -2*i - 14 = -4*y. Suppose 3 = o, 12957 = 3*h + 7*o - y*o. Is h a composite number?
True
Let u be 4/2*(15 - 1). Is 395564/u - (-4)/(-14) - -4 composite?
True
Suppose 0 = 7*z + 12 + 9669. Let y = 3656 - z. Is y a composite number?
False
Suppose -28 = -4*h + 4*v, 1 = 3*h + 3*v - 2. Suppose h*f - 5*b - 6918 = 0, 0 = 4*f + 2*b + 2*b - 6900. Is f composite?
True
Let c(v) = -v**2 - 18*v - 15. Let o be c(-17). Let m be -1*(o + -25) - (0 + 2). Suppose 0 = 2*d + 5*s - 1145, -3*s + 1118 = 2*d - m. Is d composite?
True
Let d(r) = -r + 2. Let o be d(0). Let k be 2 + o + -2 + (-6)/2. Is 10584/9 - 1*k prime?
False
Is 67113/6*(-132)/(-18) composite?
True
Let q(x) = 1115*x**2 + 35*x + 149. Is q(-9) prime?
True
Suppose -364054 = -7*h + 66391 + 405278. Is h a prime number?
True
Let i(q) = -q**3 + 12*q**2 + 12*q + 15. Let x be i(13). Suppose -b - 7 = x*m, 6*b - m = 2*b - 1. Is (77 - b)*(-7)/(-21) prime?
False
Let b = 19005 - -898. Is b prime?
False
Let l be (-3465)/(-18)*(-6)/(-5). Suppose 4*k = 5*a - l, -6*a - 2*k = -7*a + 45. Is a a composite number?
False
Let l(r) = r**2 - r. Let a be l(1). Suppose -5*g - 3*x + 7*x + 696 = 0, a = 4*g + 2*x - 562. Suppose 6*m = g + 6454. Is m prime?
False
Suppose 0 = 113*a - 114*a + 7. Suppose 0 = a*b - 17 + 3. Suppose 0 = 5*q + 4*v - 1519, b*q - 299 = q - 2*v. Is q a composite number?
False
Suppose y - s = -3*s + 5, 2*y + 2*s - 10 = 0. Let j be ((-18)/(-4))/((-19)/(-342)). Suppose 134 = 3*l - y*q, 4*q = 2*l - q - j. Is l a composite number?
False
Suppose -7*i = -23*i - 207520. Is 3*(i/(-18) + (-6)/27) prime?
True
Suppose -3*w + 12 = 0, -5*f + 0*f + 2*w = -9322. Let s = f - -12. Suppose 6*d - 8370 + s = 0. Is d a composite number?
True
Suppose 0 = 3*g - 55 - 17. Let z = g - 22. Is ((z - -1) + -22)*-11 prime?
False
Suppose -5*i - 9821 = -37801. Let p = i - 2919. Suppose 0 = 5*a + 4*g - p, 0*a + 5*a = 4*g + 2693. Is a composite?
True
Let k(z) = 2*z**2 - 21*z + 20. Let j be (14 - 2) + 1/1*-2. Let w be k(j). Is 29140/100 + (-4)/w composite?
True
Let n(t) = 5*t**2 + 18*t + 32. Let d = 68 + -113. Let q be 10/75 - (-681)/d. Is n(q) composite?
False
Suppose -3*v + 20 = 2*v. Suppose 3*t + 29 = 5*t - 5*x, -x + 3 = v*t. Suppose t*q + 5*r - 311 = 0, 3*r = 8*r - 25. Is q a prime number?
False
Suppose 4*q = s - q - 11723, -4*q = -4*s + 46876. Let w = s + -3367. Is w a composite nu