. Is (-4)/(-16)*4726 + 2/d prime?
True
Let v be (28/(-8) - -4) + (-115)/(-2). Let y = 61 - v. Suppose 4*m = y*m + 269. Is m a prime number?
True
Let q(d) = 141185*d - 1641. Is q(4) a prime number?
True
Let n = -48893 - -95614. Is n prime?
False
Let x(t) be the first derivative of -48*t**2 - 37*t - 65. Is x(-29) a prime number?
False
Let z = -543295 + 1394892. Is z prime?
True
Let n(k) be the third derivative of -k**6/360 - 7*k**5/60 - 5*k**4/8 + 13*k**3/3 - 15*k**2. Let a(j) be the first derivative of n(j). Is a(-12) a prime number?
False
Let x(k) = -12*k**2 - 10. Let u be x(-15). Let b = -1901 - u. Is b a prime number?
True
Let z(k) = -16*k**2 + 18*k + 83. Let m be z(-11). Let n = m + 4554. Is n a composite number?
False
Let w(k) = -70*k - 1. Let r(d) = -d**3 - 11*d**2 - 19*d - 11. Let y be r(-9). Let i be -5 + -6 + 4 + y. Is w(i) prime?
False
Suppose 0 = 32*u - 1109819 - 4433279 - 9376678. Is u a composite number?
False
Let c(h) = 10720*h - 3517. Is c(18) prime?
False
Let g = -173415 - -278393. Is g prime?
False
Let d(k) = k**3 + 9*k**2 - 14*k - 22. Let m be d(-10). Let b be 4/m + (61/9 - 1). Is (-15080)/(-12) + 0 + 2/b prime?
False
Suppose -27 = -18*g + 9. Suppose -877 - 3021 = -g*y. Is y prime?
True
Let z = 161746 - 90563. Is z composite?
True
Suppose 286*x - 246*x - 27956920 = 0. Is x composite?
False
Let i be 20/9 - (-2)/(-9). Suppose -4*c + i*c + 3*h = -3156, 0 = -2*c - 4*h + 3184. Let f = -867 + c. Is f composite?
True
Let q be (27/2 - 1) + 22/44. Suppose q*a = 54*a - 216029. Is a a composite number?
True
Suppose 2*o + 2*f = 42102, o + 0*o = 4*f + 21061. Is o a prime number?
False
Let n(g) = g**2 + 12*g - 217. Let d be n(10). Suppose 4951 = d*c + 4*v, -3*v = -3*c - 0*c + 4944. Is c prime?
False
Let j = -22 - -21. Let a be (120/(-105))/(2/(-7)). Is j + 8/a + 1360 prime?
True
Let f(a) = -296 - 128*a - 119*a - 61*a + 85*a + 295. Let q be -5*1*(-1 + 2). Is f(q) prime?
False
Let z(f) = 3*f**3 + 10*f**2 + 11*f - 181. Is z(20) prime?
False
Let p be (-142)/(-5) - ((-13)/5 + 3). Let k(y) = 20*y**2 - 47*y + 31. Is k(p) a composite number?
True
Let u(w) = w**2 - 17*w - 50. Let i be u(21). Suppose -i*k = -145930 - 99516. Is k a composite number?
False
Suppose 0 = -3*n - 11 - 79. Let m = n + 29. Is ((-618)/(-9) - m)/((-2)/(-6)) a composite number?
True
Let b(o) = 2*o - 2. Let g be b(2). Suppose -5*u + 18 = g*m, -3*m + 0 = -12. Suppose 142 = u*k - 144. Is k a composite number?
True
Let n(m) = m**3 - 13*m**2 + 13*m - 6. Let j be n(12). Let b(v) = v**2 - 3*v. Let w be b(4). Is j/(-4) + 2/w - -1736 composite?
True
Let i = 134 + -122. Suppose 11*u + 5*f = i*u - 3947, 4*f = 0. Is u a composite number?
False
Let p(u) be the third derivative of 167*u**4/24 + 53*u**3/6 - 9*u**2. Let q be p(6). Let z = q - 640. Is z a composite number?
True
Let l = 22 - 19. Let m = l + 38. Suppose 16 + m = 3*j. Is j a composite number?
False
Suppose -26 - 4 = -10*b. Let h(r) = -22*r + 11*r - 71*r - b. Is h(-7) prime?
True
Let k be 6/(-8) - 5776757/(-124). Suppose -23*w + 4221 = -k. Is w a composite number?
True
Let o be (3 - (1 + 2))/(-2 - -3). Is 1543/(o/(-5) - -1) composite?
False
Let s(j) = -467*j + 4. Let r be s(5). Let l = r + 4940. Is l composite?
False
Suppose -9*w + 45 = -0*w. Suppose -5*m - 5*u + 8551 = -16824, -w*u - 15241 = -3*m. Is m a prime number?
True
Let y = 8248 - -2205. Is y a composite number?
False
Let d(o) = 3*o**3 + 3*o**2 - 2*o + 1. Let c be d(1). Suppose c*p - 13035 = -m, -5*p - m = -2*m - 13025. Is p a prime number?
False
Let w(a) = -13*a - 132. Let t be w(-12). Is 4/(120/153954) + t/(-30) a composite number?
True
Is -1 - 26/(-22) - 1408035122/(-3938) a composite number?
False
Let o = 51 - 35. Suppose o*y - 28746 = 7*y. Is y a prime number?
False
Let h(s) = s**2 - 13*s - 30. Let p be h(15). Suppose p = -30*u + 25*u + 10. Suppose -210 = -u*j + 4*w, j + 2*w - 234 = -j. Is j a prime number?
True
Suppose 264931 = l + 2*y, l = 21*y - 26*y + 264904. Is l a prime number?
True
Let w = 88 - 90. Is (1 - w/2)*(-1987)/(-2) a prime number?
True
Let g be 2/(-6)*-6*2. Suppose q + 4*c = -14 - 0, -g*q + 20 = -3*c. Suppose 4*d = -q*w + 4494, -10 = -5*d + 3*d. Is w composite?
False
Suppose 4*b = 13*b - 36. Suppose -b*l + 13434 + 74 = 0. Is l a prime number?
False
Let o be (1 - (-39 - 2)) + 4. Suppose 3*d = 143 + o. Let n = d - -248. Is n composite?
False
Let q(a) = 27*a**2 + 54*a + 305. Is q(28) a prime number?
False
Let c = -291 + 213. Is (-447473)/c + 3/18 prime?
True
Is (56/(-224))/((-8)/28884448) a prime number?
True
Let h = 7693 - 3146. Is h prime?
True
Let b be (-46203)/(-5) - ((-66)/(-15))/(-11). Suppose 16*c - 2*f - 36954 = 12*c, 0 = -c - 2*f + b. Is c prime?
True
Suppose -12*x - 40 - 20 = 0. Let g(m) = 3*m + 17. Let c be g(x). Suppose 81 = 4*p + r, 3*r = c*p - 2*r - 13. Is p prime?
True
Let g = -74 - -78. Suppose 2*x + 0*x - 2927 = -m, g*m = 5*x + 11747. Is m a prime number?
False
Suppose 0 = 32*t - 37*t + 4*d + 780455, t = 3*d + 156091. Is t a prime number?
False
Let w(j) = -6995*j - 599. Is w(-4) composite?
True
Suppose -261518 = -2*z + 5*x, -3*z + 5*x = -0*x - 392287. Is z a prime number?
True
Is (-1518346)/(-12) + (-325)/(-1950) prime?
False
Let g(y) be the first derivative of y**2 - 4. Let q be g(4). Suppose -q*a + a + 1883 = 0. Is a a prime number?
True
Suppose -308082 = 17*z - 79823. Let p = z + 23490. Is p prime?
False
Let m(r) = 4036*r**2 - 253*r - 1021. Is m(-4) a composite number?
False
Let h = 2342 + -1338. Let b = h + -713. Suppose 3*m - 1308 = -3*k - b, m = 5*k - 1707. Is k prime?
False
Let y(v) = -454*v + 279*v + 2 - 106. Is y(-15) prime?
True
Let u(d) = 55*d**3 + 15*d**2 + 48*d + 3. Let l be u(-6). Let z = l - -22538. Is z prime?
False
Let t(b) = 8*b**3 - 22*b**2 + 21*b - 176. Is t(9) composite?
True
Suppose 0 = 51*l - 1436913 - 16656000. Is l a composite number?
False
Let r(l) = -9512*l + 8397. Is r(-97) composite?
True
Suppose -3*l = 3*k - 24, 4*l - 2*k - 3*k + 13 = 0. Suppose q - 7*z = -2*z + 5136, -4*z = l*q - 15427. Is q prime?
False
Is (0 + 120)/5 + 1161049 a prime number?
False
Suppose 5571 = x - 3*k - 3010, x = -3*k + 8593. Let d = 12972 - x. Is d a prime number?
False
Let u be 9*1/(-6)*8/(-6). Is (-636)/(-20)*127 - u/(-5) a composite number?
True
Let j = 119885 + 69242. Is j composite?
False
Let y(i) = 11824*i + 85. Let z be y(8). Let h = z + -42292. Is h composite?
True
Suppose -m - 2*a + 522811 = 0, -5*m + 1398716 = 2*a - 1215339. Is m prime?
True
Let j = 9389 + 32864. Suppose 21*o - j = 15728. Is o a prime number?
False
Let c = -26092 + 17378. Is (-12 + 7)*c*(-2)/(-20) a prime number?
True
Is (43912135/10)/19*(-4 - -6) a composite number?
True
Let i = 345 + 13149. Suppose i = 19*l - 14569. Is l prime?
False
Suppose 3*c - 66183 = 210921. Let f = c - 57095. Is f prime?
False
Let m = -11216 - -44929. Is m a composite number?
False
Suppose 0 = 2*d + 3*i - 426080, -4*i = -d + 94392 + 118659. Is d a prime number?
True
Let j(x) = 8*x**3 + 56*x**2 - 43*x + 373. Is j(24) composite?
False
Let i(o) = 2560*o**2 + o. Let z be i(-1). Suppose -7*y = -z + 410. Let w = y - 96. Is w composite?
False
Suppose 0 = -5*i - 5*j + 16 - 176, -j = -5*i - 190. Let z = i + 660. Is z a composite number?
True
Let n(y) = -73*y + 11. Let b be n(-13). Let l = -443 + b. Let q = l - -402. Is q a composite number?
False
Suppose 0 = -2*a - r + 6*r + 650, 0 = 4*a + 5*r - 1360. Suppose 5*j - a - 59 = -m, 0 = 5*j + 15. Is m prime?
True
Let d(t) be the second derivative of t**4/4 - 3*t**3/2 - 23*t**2/2 + 3*t. Let r be d(-18). Suppose -2*x + 1116 = 2*h, 2*h - r = -3*x + 2*x. Is h prime?
False
Suppose -3*h = -9*h + 12. Suppose 19*q - 1365 = -h*q. Is q a composite number?
True
Suppose -g + 2 = -o - 0*g, -g + 11 = 2*o. Suppose 355 = 3*a - 5*z, -5*a = -a + o*z - 483. Is (-48)/a*(-4670)/4 a composite number?
False
Let k = 15 + -9. Let h be k*4/12 + 1590. Suppose 0 = 5*i - h - 993. Is i a composite number?
True
Let s = -30 + 27. Let h be (1/(-4 - -3))/(s/6). Suppose 3*u = 4*k - 2708, -2031 = -h*k - k + 4*u. Is k prime?
True
Let a be (-4)/(-2) + (-15 - 6999). Is 14/16*-2*a a composite number?
True
Let k = -71 - -77. Suppose k = 3*d - 6. Suppose 4*t - 1000 = d*q, -4*t + q = 93 - 1096. Is t a prime number?
True
Suppose -2*t = -2*j - 5*t + 203, 3*t - 100 = -j. Let q be 1 + ((-1)/