68) prime?
True
Suppose -3*a = -2*j + 6*j - 16, 16 = 4*j. Suppose a = 14*n - 4686 - 13780. Is n a prime number?
True
Suppose 4*z - 2581 = 35455. Suppose 6*m = 3*m + 4*a + 28527, 0 = -m + 5*a + z. Is m a composite number?
True
Suppose -17*b + 309650 = -42879. Is b prime?
False
Suppose 0 = -b - x - 2*x + 398, 1 = x. Suppose 4*w = -5*h + 395, 6*h = h - w + b. Is h prime?
True
Suppose 2*j - 3*j = 2*j. Suppose -4*m + 15233 + 6171 = j. Is m composite?
False
Let n = 493861 - 327426. Is n a prime number?
False
Let a be (13/39)/((-2)/(-24)). Suppose 3*u = 3*t + u - 947, 2*t - 642 = -a*u. Let i = -126 + t. Is i composite?
False
Let w(h) = 215448*h - 31. Is w(1) composite?
False
Is 84291/((-27)/(-3 - 6)) prime?
True
Let z(s) = 26 + 56*s + 17*s + 49*s - 3. Is z(18) prime?
False
Let i be (4/2)/(-1 + (-10)/(-6)). Suppose 33 = 8*s + i*s. Suppose -s*l + 17540 = l. Is l composite?
True
Let t(p) be the second derivative of 67*p**3/3 + 49*p**2/2 + 2*p + 78. Is t(12) prime?
True
Let b(o) = o**2 - 23*o + 13. Let c be b(16). Is c/66*(2 + 0 - 424) a composite number?
True
Is 488/(-8052) - (-56464421)/33 a composite number?
False
Let x(k) be the third derivative of 239*k**5/60 - k**4/3 - 16*k**3/3 + 76*k**2 - 2. Is x(-7) composite?
True
Suppose 0 = 5*g + 5*k + 365, g + 2*g + k = -229. Let v = -78 - g. Suppose -x - 1542 = -f - v*f, 5*x - 7700 = -5*f. Is f a prime number?
False
Let c(b) = -407*b**3 - 16*b**2 + 39*b + 511. Is c(-11) composite?
False
Let d be 8 - 3*(-3)/9. Let y be -4 - (-3)/(d/6621). Suppose -3*k = 5*s - 5423, 4*s - y = 4*k - 9391. Is k prime?
True
Let l(z) = 15*z - 2. Let v be l(4). Let m = -56 + v. Suppose -375 = -2*p - m*p - 3*a, 0 = a - 1. Is p a prime number?
False
Let s = 973 - 348. Let a = s + -356. Is a a composite number?
False
Let i(f) = -f + 39. Let h be i(36). Suppose h*r - w - 963 = 1263, 2*r = w + 1483. Is r a prime number?
True
Let r(y) = 15*y + 139. Let o be r(-7). Is o/(-17) - (-7166)/2 a composite number?
False
Let j(r) = r**3 + 13*r**2 + r + 10. Let l = -16 + 3. Let i be j(l). Is 2/(-2) + i/3 + 543 a prime number?
True
Suppose 0 = -t + 6*j - 10*j + 11, 2*t - 10 = -2*j. Suppose -t*b + 19 = 3*u - 44, 1 = b. Suppose 123241 + 17619 = u*c. Is c a prime number?
True
Let g be ((-1)/((-1)/(-49)))/1 - -4. Let m be (30/g)/((-2)/(-36)). Is 3/m - (5223/(-12) - 2) a composite number?
True
Suppose 272*y + 804379 = 295*y. Is y a composite number?
True
Let t = -127909 - -226316. Is t prime?
True
Suppose 28*a = 24*a + 100. Suppose -2*w + 0*w - 3*n - 48 = 0, 0 = w + n + a. Let d = 98 + w. Is d a composite number?
False
Let k = -7569 - -13071. Suppose -j - k = -7*j. Is j composite?
True
Suppose 4*l + 3*c - 22 = 0, 2*l + 2*c - 8 = l. Suppose l*k = 30 + 58. Suppose -k*m = -20*m - 3046. Is m a composite number?
False
Let o(s) = 549*s**2 + 13*s + 2. Let v be o(-5). Suppose 0 = 4*y + 2*w - v, w = -4*y + 6*w + 13655. Is y prime?
False
Suppose -2*k + 3*p = -380719, -35*p + 34*p - 761463 = -4*k. Is k composite?
False
Suppose 529 = -7*p + 543. Is 517 + (2 - p/1) composite?
True
Let t be (-18)/(-63) - (-3411)/(-7). Let j = -151 - t. Suppose -3*g = -81 - j. Is g composite?
False
Let q(j) = -162*j**3 + 2*j**2 + 31*j - 39. Is q(-4) a prime number?
False
Let g = 230 + -227. Is -3946*2*g/(-12) a composite number?
False
Suppose 53*c - 50*c - 4*u - 178617 = 0, 3*u - 59539 = -c. Is c a composite number?
False
Suppose 2*w + 35*q - 3 = 40*q, w + 2*q - 6 = 0. Suppose 18*b - 2*v = 19*b - 195, -w*v - 1003 = -5*b. Is b a prime number?
True
Suppose 38*n - 21639049 = 2622165. Is n a prime number?
True
Suppose -4*i + 4524 = 4*k, 1989 = 2*i - k - 258. Let z be (-3 + -1)/(15/(-15)) - -3. Suppose -z*r + 631 + i = 0. Is r a prime number?
True
Let d be (-3)/36 + (7 - (-131)/(-12)). Is 2 + (-17932)/(-4) + d composite?
False
Let m = -968 - -1804. Suppose m = 7*x - 3063. Is x a prime number?
True
Is 215436/5 + 98/(-490) - 3*-2 a composite number?
False
Suppose 44*i - 8310223 = -5*i + 8302786. Is i a prime number?
False
Suppose 3*d - 9 = 0, -7*d + 2*d - 5 = -5*t. Let i be (t/(-3))/((-32)/72). Suppose i*z = 377 + 376. Is z prime?
True
Let n(x) = 126*x + 11. Let j(c) = -128*c - 12. Let w(p) = 6*j(p) + 5*n(p). Is w(-3) a composite number?
False
Let a(o) = o**3 - 17*o**2 + 20*o - 62. Let j be a(16). Suppose 0 = j*f - 4*f + 1970. Is f composite?
True
Let k be (5 + 128/(-24))/((-1)/(-291)). Let x = 1740 + k. Is x prime?
False
Let a = 2 - 0. Let u(d) be the third derivative of 7*d**4/6 + d**3 + 70*d**2 + 3. Is u(a) prime?
False
Let u(s) = 9*s - 40. Let i be u(20). Suppose 2*g = 6*g - i. Let b = g - 2. Is b a prime number?
False
Suppose -13*c = -15*c - 2. Let g be -2 + -1*(c + -3 - 0). Suppose 0 = -5*q - 3*b + 1957, q + 1159 = 4*q - g*b. Is q prime?
True
Let k(h) = h**3 + 3*h**2 - 3*h. Let q be k(-5). Let d = 38 + q. Suppose d*j - 5682 = -3*j. Is j a composite number?
False
Let y(a) = -4*a - 8. Let v be y(-3). Suppose -v*q + 55 = 27. Suppose 1500 + 1909 = q*t. Is t a composite number?
False
Let z(g) = 3*g + 8. Let y be z(-6). Let k = -19 + 21. Is (448722/15)/k - (-4)/y a prime number?
True
Suppose -5*o + 2*j = 48, -2*j - 24 = 2*o - 4*j. Is (-4 - o - -16445)/(6/10) composite?
True
Let a(k) = -200*k - 31. Let t(p) = -100*p - 19. Let n(z) = -100*z - 20. Let x(d) = -3*n(d) + 4*t(d). Let w(v) = 3*a(v) - 5*x(v). Is w(-9) composite?
False
Let a(x) = 220*x**2 - 7*x - 4. Let d(b) = -441*b**2 + 15*b + 8. Let s(r) = 9*a(r) + 4*d(r). Suppose 0 = -8*t + 3*t - 15. Is s(t) a composite number?
False
Let k = 31 - 44. Let i(l) = l**3 + 14*l**2 + 18*l - 1. Let c be i(k). Let q = 200 + c. Is q prime?
False
Let v = -112646 - -203875. Is v a prime number?
True
Let n(l) = 5*l**2 - 103*l - 5. Let j be n(14). Suppose -172 = 2*w - 5*s + s, 2*w + 172 = -2*s. Let u = w - j. Is u prime?
False
Let d(i) = 81*i. Let w be d(3). Suppose -u - 5*p = -0*p + w, 3*u = 5*p - 749. Is 1 - u - (12 + -14) a prime number?
True
Suppose -245*c + 258*c = 647179. Is c a composite number?
False
Suppose 59*y - 73*y = -1524614. Is y a composite number?
True
Let y(l) = 1136*l**2 - 3*l + 1. Let a be y(2). Suppose -3*p + 4*p - a = 0. Suppose 3*t = 3*f + 1762 + 971, -5*t + p = -f. Is t a prime number?
True
Let t(k) = -4*k + 9. Let j be t(-9). Suppose -2*p + 3*g = -6*p - j, -2*g = 4*p + 42. Let o(x) = -5*x - 10. Is o(p) a prime number?
False
Let n(v) = -15*v + 9. Suppose 5*q = -10 - 10. Let z be n(q). Let d = 80 + z. Is d a prime number?
True
Is (-16373 + -8)/(11/(-77)) composite?
True
Let j = -444 + -510. Let z = j + 1693. Is z prime?
True
Let w = -125 - -126. Is (-4 - -2)/(-1) - (-107)/w composite?
False
Let v(c) = -9*c**3 + 43*c**2 + 19*c - 16. Is v(-13) a prime number?
True
Suppose 5*r + 3*s = 33085, -2*r - r + 3*s = -19851. Is r a prime number?
False
Let f be (-25158)/4*(-60)/(-90). Let k = f - -7204. Is k a composite number?
False
Let k be 1 + ((-4)/16)/(4/16). Suppose 9338 = 4*s + 3*l, 4*s - 9342 = -k*l - 5*l. Is s prime?
True
Suppose 3*z + 2*h = 10 - 0, 5*z = 5*h - 25. Suppose -4*g + z = -44. Let f(b) = 7*b**2 - 17*b + 13. Is f(g) a composite number?
False
Let a be 0 + (-7)/((-168)/(-3798))*16. Let t = -1547 - a. Is t a composite number?
True
Suppose 40*w - 1043567 = -3*b + 18*w, -3*w = -4*b + 1391261. Is b composite?
True
Let w(u) = -u**3 - 3*u**2 + 2*u - 8. Suppose 5*l - 25 = 0, -2*l - 36 = 4*n - 6*l. Let f be w(n). Suppose -x + f*x = -191. Is x composite?
False
Suppose 16*y + y - 4*y - 65 = 0. Let a(g) = -1 + 0*g**3 + 12*g**2 + 4*g**3 - 2 - 2*g. Is a(y) prime?
True
Let c be 90464/(-42) + (-56)/588. Is (-3)/((-18)/6) - c composite?
True
Suppose -23*z = -17*z - 12. Suppose -m = 2*d - 509, -4*m + z*d + 1981 = -d. Is m composite?
False
Let a(i) be the second derivative of -23*i + 1/6*i**4 + 91/20*i**5 + 0 + 1/2*i**2 + 1/6*i**3. Is a(2) a prime number?
True
Is (60477/6 - 15)*1 + 6/(-4) prime?
False
Suppose 2*o - 5 = -y, 6*y = -3*o + 11*y + 1. Suppose -991 = -2*p + j, -3*p + 708 = -o*j - 781. Is p a prime number?
False
Let f(q) = -171012*q + 370. Is f(-1) a composite number?
True
Is ((-1196)/(-897))/(1*12/965187) a prime number?
True
Is (-342119)/(-3) - (1 + -3) - (-226)/(-339) composite?
False
Let q(x) = -589*x + 511339. Is q(0) prime?
False
Let l(n) be the third derivative of -18*n**2 + 13/30*n**5 + 0 - 5/24*n**4 + 20/3*n**3 + 0*n. Is l(9) 