. Suppose -4*j + 3497 = 5*g - j, -4*g + j = -m. Is g composite?
True
Let n(o) = -2*o**2 + 10*o + 6. Let i be n(5). Suppose i*w - 1060 = 2*s + 2*w, 2070 = -4*s - 2*w. Let y = s - -771. Is y a prime number?
True
Let f(k) = 109*k**2 - 694*k - 17. Is f(10) a prime number?
True
Let f(a) = 2940*a**2 - a - 2. Let h be (18/(-8) - -3)*4. Suppose 12*w = 9*w - h. Is f(w) prime?
True
Is 16/((-2560)/16) + (-27222)/(-20) prime?
True
Is (-42)/6 - (-8 - 168564) a prime number?
False
Is 36/18*3/((-6)/(-78497)) composite?
False
Suppose 0 = -2*r + 2*c + 24, 0 = -8*r + 3*r + 3*c + 58. Suppose 2570 = -l + r*l. Suppose 0 = 3*z - l - 1762. Is z prime?
True
Let o(f) = -23*f + 2. Suppose 12 = 3*a + 3. Suppose 0 = 4*h - a*h + 3. Is o(h) prime?
True
Let t(n) = 6978*n + 1991. Is t(60) a prime number?
True
Suppose -9*o + 6 = 6. Suppose -12*f + 4603 + 8441 = o. Is f a prime number?
True
Is (-27)/6 + (-5)/(-40)*321580 prime?
True
Let m = -320 + 324. Suppose -l - 9*n + 11*n = -9245, 3*n + 36965 = m*l. Is l composite?
False
Let b = -49138 + 25675. Let x = 40112 + b. Is x a composite number?
False
Let s = -79023 + 212204. Is s a prime number?
False
Suppose 1158563 - 1495870 - 1612843 = -30*y. Is y a prime number?
False
Suppose 1712705 = -39*j + 6409826. Is j a prime number?
False
Let y(z) = -2*z**3 - 68*z**2 + 57*z + 81. Is y(-62) prime?
True
Let t(i) be the third derivative of -i**6/120 - i**5/6 + i**4/2 + i**3/6 - 6*i**2. Let o be t(-11). Is (-5262)/(-4) - (-5)/o prime?
False
Suppose -q = 4*a - 13192, -6*a + 6586 = -4*a + 3*q. Is a prime?
True
Let b(t) = -2 + 170*t**2 - 13*t + 1 - 9*t + 431*t**2. Is b(4) prime?
False
Suppose -11 = -4*r + 1. Let p(g) = 124*g - 9. Let f be p(r). Let h = f + -236. Is h a prime number?
True
Let w(m) = -15 + 815*m - 176*m + 21 + 17. Is w(4) a prime number?
True
Let k be (-28)/8 - -4 - 88478/4. Let f = -37708 - k. Is f/(-28) - 2/(-8) a composite number?
False
Suppose -58096 + 7048 = 6*o. Let m be (-1)/((-4)/o*-3). Let g = m + -198. Is g a prime number?
False
Suppose -40*u = -10*u + 17*u - 53966293. Is u a prime number?
True
Let s(i) = 3*i + 86. Let x be s(-27). Suppose x*r = 3*c + 91275, -r + c + 18255 = -2*c. Is (-4)/7 - r/(-35) prime?
True
Suppose 283624 + 1938091 = k + 2*m, 0 = 8*k - 3*m - 17773625. Is k prime?
False
Let x be (-6)/14 + 99/(-63) + 0. Let q(b) = -844*b + 15. Is q(x) a composite number?
True
Let k(r) = r**3 - 5*r - 3. Let o be k(-2). Let f be 0 - o - 2 - -38522. Is (-4)/(-10) + f/35 a composite number?
True
Let n(t) = 1786*t**3 - 6*t**2 - t - 9. Let z be n(-5). Is 3/((-2)/(z/18)) a composite number?
False
Let h(v) = 2*v**2 - 5*v - 20. Let c be h(6). Is c/55 - (1 - (-13996)/(-10)) composite?
False
Let x = -44635 + 126344. Is x composite?
True
Let g be (5/(5 + -10))/((-2)/146). Let h be (g - 1)*(-2)/(-4). Is ((-12)/h)/((-2)/7086) a composite number?
False
Let z = -8249 - -43230. Is z a prime number?
True
Let m be (-9747)/(-6) + (-5)/(-2). Let c = -836 + m. Is c a composite number?
True
Let l(w) = 48*w + 25. Let b be l(9). Let n = b + -22. Suppose -m = -3*k - k + 1792, -k + n = 3*m. Is k a prime number?
False
Suppose -12*k + 8 = -10*k. Suppose 0 = -2*l - 4*i + 1040, -l + k*l + 3*i - 1557 = 0. Let n = l + -220. Is n prime?
False
Let d(u) = u**3 + 10*u**2 - 10*u + 14. Let i be d(-11). Suppose 0 = -z + 6*q - q + 1392, i*z - 4230 = -3*q. Suppose -3*f + 0*f + z = 0. Is f prime?
False
Let c = -59450 - -116761. Is c a prime number?
False
Suppose 5252 = 8*y + 1020. Suppose -525*a = -y*a + 932. Is a composite?
False
Let o = -461 + 509. Suppose -o*t = -29*t - 4009. Is t composite?
False
Let b(y) = -4*y. Let l(v) = -6*v. Let g(o) = 7*b(o) - 5*l(o). Let a be g(2). Suppose 2*q + 1906 = a*m, 968 = m + m + 2*q. Is m composite?
False
Suppose -9 = -5*c - 3*z, -3*c + z - 4*z + 9 = 0. Let q = 5 - 2. Suppose 2*x + 2*x + q*u - 1022 = 0, 4*x + u - 1026 = c. Is x a prime number?
True
Suppose 58 - 68 = 2*l. Is -3497*l/((-5)/(-1)) prime?
False
Let o(b) be the third derivative of -b**7/840 - b**6/60 - 25*b**4/24 + b**3 - 26*b**2. Let k(x) be the first derivative of o(x). Is k(-9) composite?
True
Let x(v) = 818*v**3 - v - 1. Let g be x(-1). Let b = 125 - g. Suppose 0 = -3*w - 232 + b. Is w a composite number?
True
Let q(o) = o**3 - 28*o**2 - 324*o - 157. Is q(64) prime?
False
Suppose -4096058 - 2066063 = -14*b - 1210167. Is b a prime number?
True
Let p be -1 - (1 + 0 + -2). Let c be 42 - 37 - 6/2. Is 4 + (705 + p - c) a prime number?
False
Suppose 4*w = -4*j + 29907 - 2963, 2*j + 10 = 0. Let d = w - -1330. Is d a composite number?
True
Suppose -7*z = -4*z + 2*a - 820035, -2*a = 12. Is z a prime number?
True
Let p(r) be the third derivative of 2267*r**6/120 + r**5/60 - 5*r**4/24 + 2*r**3/3 + 15*r**2. Let c be (-1 - -6)/(10/2). Is p(c) a prime number?
True
Let n be 26342/14 - (-21)/49. Suppose -2*i = d - 4873, -3*i - n + 9191 = 2*d. Is i prime?
True
Let c(g) = 14*g + 31. Let n be c(-2). Suppose 0 = 5*i + 5, n*p = -3*i + 4*i + 13120. Is p prime?
True
Let b(o) = 1636*o - 3667. Is b(66) composite?
False
Let x = 73 + -68. Suppose -4 - 31 = x*n. Let m(g) = 56*g**2 - 15*g - 10. Is m(n) a composite number?
True
Suppose 4*l - 1250 = -2*w, -3*w = -3*l - w + 920. Let n(u) = -336*u + 3. Let o be n(-6). Suppose v + l = o. Is v a composite number?
False
Suppose -2*n = 4*k - 462, 5*n - 2*n - 123 = -k. Let c = k + 217. Is c a composite number?
False
Suppose p = -193 + 205. Is ((-9422)/7)/(p/(-18)) composite?
True
Let x(p) = -2184*p**3 - 8*p**2 - 59*p - 232. Is x(-5) composite?
False
Let h = -14677 - -22110. Is h a composite number?
False
Suppose 0 = 56*b - 69*b + 1079. Is b a prime number?
True
Suppose -4*g - 5*i + 1164370 = 0, 0 = -5753*g + 5757*g + 4*i - 1164364. Is g a prime number?
False
Let r(u) = 71*u**2 - 254*u - 116. Is r(65) prime?
False
Let v(t) = 3522*t + 391. Is v(7) a prime number?
False
Is 10/4*18/(-30) + (-46289)/(-2) composite?
False
Suppose 188906 = 2*x + 12*z, 13*x + z - 283478 = 10*x. Is x a prime number?
False
Let y = -818 + 6931. Is y a prime number?
True
Let z be (-270)/(-63) + -4 - 47/(-7). Is ((-14514)/(-1))/6 + (z - 3) a composite number?
False
Suppose 0 = -a - 773 + 9813. Suppose -j - 15*j + a = 0. Let c = j + -44. Is c prime?
True
Let m(a) = 34026*a - 13654. Is m(16) a composite number?
True
Let d(l) be the second derivative of l**5/20 - l**4/2 - 5*l**3/6 - l**2 + 39*l. Let u be d(7). Suppose 78 = 14*p - u*p. Is p prime?
False
Let z(f) = -161*f**3 + 32*f**2 - 42*f - 139. Is z(-24) a composite number?
True
Suppose 0 = 4*o - 5*k - 3267 - 3632, 5*k = 5*o - 8625. Is o composite?
True
Suppose 311221 = 8*v - 194787. Is v a composite number?
True
Suppose -4*x = -2*a + 200, 13*x - 17*x = -3*a + 302. Suppose -90*r + a*r = 70548. Is r a composite number?
False
Suppose -11771833 = -62*a - 5*a. Is a a composite number?
False
Suppose 3*p - 3*v = 146925, -24286 - 73656 = -2*p + v. Is p composite?
True
Suppose -55*b + 87*b = 2752736. Is b a composite number?
True
Let i(s) = 621*s**3 + 22*s**2 - 3*s + 3. Is i(4) a composite number?
False
Let z be (3/2)/(4/8). Suppose z*d - 7*d = -592. Suppose -c + d - 39 = 0. Is c composite?
False
Suppose -3 = t, 659*a - 2*t - 1654954 = 655*a. Is a composite?
False
Let v(k) = -k**3 + k**2 + k. Let c be v(1). Let b be c/1 - (-5 + 1). Is b/(-5) - -3 - -1115 composite?
False
Let i(p) = 71*p + 1. Let a be i(-9). Let n be (228/(-8))/((-5)/(-170)). Let d = a - n. Is d composite?
False
Let x(b) = -10*b**3 + 2*b**2 + b. Let j = 77 - 78. Let d be x(j). Suppose d*a - 5*a - 4734 = 0. Is a composite?
True
Let j = -833723 - -1358556. Is j a prime number?
False
Let s(q) = 18943*q**2 + 11*q - 59. Is s(4) prime?
True
Let h(l) = 7*l + 2. Let z(b) = -6*b - 16. Let k be z(-4). Suppose -2*w + 26 = 4*y, -y + 0 + k = w. Is h(w) composite?
False
Suppose 3*z + h - 172 = 0, h - 2*h - 234 = -4*z. Suppose z*u = 69*u - 11803. Is u prime?
False
Let d(f) be the first derivative of 5*f**4/4 - f**3/3 + f - 14. Let n be d(2). Suppose 2*g = g + n. Is g prime?
True
Suppose 7*p - 88779 = 118512. Is p prime?
False
Suppose t - 3*t - 4*f + 2060 = 0, -5*t = -f - 5194. Let q be 5/(3120/t + (-1 - 2)). Suppose -4*a + g + 2528 = 0, 377 + q = 2*a + 5*g. Is a composite?
False
Suppose h - 521*s + 519*s - 357125 = 0, -h + s = -357131. Is h a prime number?
False
Suppose -14*d