l - j = -810 - 9, -l = -4*j - 423. Let a be 55/1 + 135/(-15) + 10. Suppose -k - 4*m + l = -a, 0 = 2*k - m - 934. Is k a composite number?
False
Suppose -x - 5*r + 11 = 2*x, 22 = x - 2*r. Suppose -11*s + 13*s - x = 0. Is (-30)/(-45) - (-8174)/s prime?
False
Let b = 17 + -14. Let t(u) = -u**2 + 3*u + 3. Let d be t(b). Suppose 5*h = d*g + 1280, g - 1007 = -3*h - h. Is h a prime number?
False
Let p = 1711963 - 928956. Is p composite?
False
Suppose 355*r - 189375326 - 370090006 = 7*r. Is r a prime number?
True
Let r be 66 - 1 - (-2 + 4). Let q = 101 - 40. Suppose -30 = q*z - r*z. Is z composite?
True
Let m(z) = -621*z**3 + 9*z**2 + 76*z - 35. Is m(-8) a composite number?
True
Let c = 46898 + 8720. Is c composite?
True
Let n = -108330 - -765553. Is n prime?
False
Is 10*1*(-156858767)/(-754) composite?
True
Is -3*13/(-39)*69583 a prime number?
False
Let r be (13/(-468)*-27)/(2/8). Suppose -12 = -4*p + 4. Suppose p*s + 7667 = 5*a, a - 5*a + r*s = -6134. Is a composite?
True
Suppose 3*o = 2*l + 12, 2*l + 12 = 3*o + 3*l. Suppose o*y = 4*z + 8156, -y = -3*z + 4*z - 2043. Is y a composite number?
True
Let q(x) = 296*x**2 + 3*x - 2. Let d be q(-1). Let b = d - -4754. Is b composite?
True
Suppose 0 = -2*x - 4*j + 1118 + 132, -j = 5*x - 3098. Let n = -3259 + x. Is n/(-9) - (-2)/(-6) composite?
False
Let q = 3800 + -2230. Suppose -2*l - 3*j = -1580, 2*l - 2*j = -0*j + q. Is l a prime number?
True
Is (-911817)/(-5) - ((-646)/(-95))/17 composite?
True
Let s(a) = -114*a**2 + 1 + 2*a**3 + 46*a**2 + 47*a**2. Is s(18) composite?
False
Suppose -312*p = -64*p - 58733096. Is p a prime number?
False
Let y be (-1)/(10/(-4))*20. Suppose 0 = y*u - u - 28. Is (-5)/u*5140/(-5) prime?
False
Let b(x) be the third derivative of -2267*x**4/24 + 13*x**3/6 - 4*x**2 - 4*x. Is b(-2) prime?
True
Let w(q) be the second derivative of q**4/6 - 4*q**3/3 - 2*q**2 + 3*q. Suppose -36 = 3*u - u + 2*m, 3*u = 2*m - 39. Is w(u) a composite number?
True
Let b = 322397 + -203706. Is b a composite number?
False
Suppose 5*q - 2700 = 3*q. Suppose 0 = -2*v + 1994 + q. Suppose v = 9*c - c. Is c prime?
False
Suppose -5377958 = -4*p - z, -1994*z = 3*p - 1992*z - 4033461. Is p a prime number?
True
Let y = 12745 + -5952. Suppose -p + 4*u = -y, -4*u - 11433 = 3*p - 31876. Is p composite?
True
Let g be 4 - 6/((-30)/42955). Let o = g - 5288. Let c = 4724 - o. Is c prime?
False
Let d(n) = 7907*n - 15. Let s be 3 - (-56)/(-6 + 2). Let u be d(s). Is u/8*(6/(-4) + 1) a prime number?
True
Is (-4)/10*(-28)/(-56) + (-8767566)/(-5) composite?
False
Let z(f) be the second derivative of 14*f**4 + f**3/3 - 9*f**2/2 + 35*f - 2. Is z(2) a composite number?
True
Suppose 50526 = -304*b + 297*b. Let h = b - -17855. Is h prime?
False
Let s = -3 - -3. Suppose -7*z + 139 + 519 = s. Is z prime?
False
Is 0 + -1 - (-44674 - -40) a composite number?
False
Suppose 0 = 40789*b - 40835*b + 1158694. Is b prime?
True
Suppose -109179 = -5*v + 4*s, -5*v + 3*s + 114937 = 5754. Is v composite?
False
Is 135/315 + -2 + 378596/14 composite?
True
Let z = -18925 - -21554. Is z a composite number?
True
Suppose 0 = 2*o - 3*i - 495, -3*o + i + 765 = 4*i. Let f = 269 - 318. Let x = f + o. Is x prime?
False
Let z(p) = -2*p**3 - 126*p**2 - 91*p + 335. Is z(-84) composite?
False
Suppose -72217 = -c + 219138. Is c prime?
False
Let g = 139195 + -41282. Is g a prime number?
False
Let v(z) = -4*z**2 + 7*z**2 + 3 + 7*z - 52*z**3 + 0*z. Let f be v(-3). Suppose -4*l + 295 = -f. Is l a prime number?
False
Let d(c) = -1339*c**3 + 18*c**2 - 23*c - 7. Is d(-4) prime?
True
Let f(g) = -g**3 - 5*g**2 - 6*g - 5. Let x be 1*16/(4/(-1)). Let u be f(x). Suppose u*a - 462 = -3*c, 7*c - 606 = 3*c - 2*a. Is c composite?
False
Suppose -m - 4 = -5*m. Let t(b) = 15*b**2 + b - 1. Let l be t(m). Suppose -l*g + 16*g = 218. Is g a composite number?
True
Let q = 160 - 119. Let g = -226 + q. Is 37*g/(-10)*2 composite?
True
Let b(z) = 51193*z - 5463. Is b(4) a prime number?
False
Let z = -212 + 214. Suppose -2*k + 1926 = -z*d, 3*k + 5*d = 1951 + 898. Is k a composite number?
True
Suppose 3*w + 1830 = 3*x, -5*w - 417 - 2025 = -4*x. Let s be 240/5 - (1 + 1). Suppose -566 = -2*m - 3*j, -2*m + x - s = 2*j. Is m prime?
True
Let v(i) = -i + 40. Let g be v(0). Suppose c + g = 36. Is 1 + (642 - c - -2) prime?
False
Let g be ((-9)/(-12)*-2)/((-2)/516). Let s = g + -206. Suppose 15 + 77 = j + v, -v - s = -2*j. Is j a composite number?
True
Let q = 28275 + -1454. Is q a prime number?
True
Let z = 2668 - 2457. Is z a composite number?
False
Let n(c) = 1693*c - 3850. Is n(19) prime?
False
Suppose 7*p + 22666 - 248997 = 0. Suppose p = -3*s + 10*s. Is s prime?
False
Suppose 0 = 4*d + 2*g - 15822, 17*g - 19773 = -5*d + 13*g. Is (d/(-15))/(-4*5/100) a composite number?
False
Let g(r) = r**2 - 30*r + 84. Let f be g(3). Suppose k + 14*o - 14200 = 15*o, -4*k = -f*o - 56797. Is k composite?
False
Suppose 83039 = 5*z - 4*t, -29*z + 33194 = -27*z + 2*t. Is z composite?
False
Suppose 145*y + 11194164 = 181*y. Is y a composite number?
False
Let j = -1484 + 740. Let v be j + (-72)/(-32) + (-2)/8. Let n = v + 1419. Is n a prime number?
True
Let k = 18 + -17. Let o be 10/15*6*(k - -198). Suppose -d = x - o - 159, 0 = -5*d - 3*x + 4775. Is d composite?
True
Let m(r) = -r**3 - 8*r**2 - 18*r + 10. Let p be (-2 - -4 - -2) + 4. Let s = -17 + p. Is m(s) a composite number?
True
Let c(f) be the third derivative of 0*f + 5/2*f**3 + 0 - 80/3*f**4 - 25*f**2. Is c(-5) prime?
False
Let o(a) = 3*a**3 - 25*a**2 - 31*a + 103. Is o(24) a prime number?
True
Let f(k) be the second derivative of 23*k**4/6 - 7*k**3/3 - 31*k**2/2 + 67*k. Is f(-9) a composite number?
False
Suppose 6*a = 9*a - 10*a. Suppose -3*x = -a*x - 12. Suppose -5463 = -x*t + 5*j, -814 = 4*t - 4*j - 6278. Is t a prime number?
True
Let z(m) = 2*m**2 + 6*m - 3. Let t be z(-5). Let p(s) = 2*s**2 + 32*s + 39. Let u be p(t). Is u/12 + ((-38)/8 - -5) a prime number?
True
Let r(l) = -l**2 - 7*l - 6. Let k be r(-5). Suppose 0 = -y + 4*f + k, 4*y = -f - 0*f - 35. Is (-1863)/(-1) - (y + 4) a prime number?
True
Suppose 2*b + 2 = 0, -23*j = -18*j + 3*b - 1760942. Is j a prime number?
False
Suppose o = -9*m + 10*m - 815538, 4*m - 3262187 = -3*o. Is m composite?
False
Let k(a) = a**2 - 20*a + 94. Let h be k(7). Suppose -33*o = -2*y - 34*o + 5285, 3*o - 7926 = -h*y. Is y prime?
False
Let a = -18071 - -64680. Is a a composite number?
True
Let y be (4/3 - 1)*192. Let d = 67 - y. Suppose -892 = d*r - 7*r. Is r prime?
True
Let k(z) = z**2 - 3*z - 322. Let i be k(0). Let n = 642 + i. Suppose -n - 142 = -4*h + g, -5*h + g = -577. Is h a composite number?
True
Suppose -77*q = -83*q + 24. Is (-4 - 5092/q)*(-5)/1 prime?
False
Let x be -4 - ((-149600)/1)/8. Let i = x - 7127. Is i a composite number?
True
Suppose 2*m - 18 = -2*n, -4*n - m = m - 42. Suppose 0 = -n*s + 15*s - 2823. Is s a prime number?
True
Let j(v) = 403*v + 44. Let f(u) = -u. Let x(h) = 2*f(h) + j(h). Is x(21) a composite number?
True
Suppose 3*n - 6299 = -r, -7*r + 6319 = 3*n - 2*r. Let z = -1191 + n. Is z a composite number?
False
Let g = 41 + -39. Suppose -2*w + 6015 = 4*v + v, g*w = 10. Suppose 69*k - 68*k = v. Is k a prime number?
True
Suppose 2*a + 729526 = 4*o, o - 44146 - 138223 = -2*a. Is o a composite number?
True
Suppose 0 = -x + 2, -2*k = -148*x + 143*x - 472276. Is k prime?
True
Suppose 4*w - 2*x + 74 = 0, 4*w + 26 = -x - 33. Let r(v) = -9*v + 22043165*v**2 - 22043170*v**2 + 0*v - 37 - 15*v - v**3. Is r(w) composite?
False
Let i = -1403 - -1406. Suppose 0*l = 2*l. Suppose -2*u + l*u - 3269 = -3*g, i*g = 4*u + 3265. Is g composite?
False
Let a(j) = 3*j**2 - 9*j - 95. Let l(d) = d**3 - 7*d**2 + 3*d + 2. Let t be l(3). Is a(t) prime?
False
Let r(g) = -g**3 + 7*g**2 - 4*g - 12. Let j be r(6). Let p(q) = 2*q - 109573. Let s be p(j). Is (-2)/18*-2 + s/(-171) a prime number?
True
Suppose -14*q = -20*q + 18. Suppose q*f - 2949 = 19242. Is f composite?
True
Suppose -j + 2*v + v = -18, -55 = -4*j - 5*v. Let t be (j/12)/(940/944 + -1). Let o = t - -926. Is o prime?
True
Suppose 0 = 5*a + j - 585, -5*j + 323 = 5*a - 262. Suppose -63*z + z = 50*z. Suppose -3*h + a + 42 = z. Is h composite?
False
Let q be (-6 + 99/18)/((-1)/(-92)). Is 40/460 - 17154/q a composite number?
False
Suppose -4*m - 5*n = -794390, 88*m + 