= 3*g - 5*d - 76564. Is g prime?
True
Let b(n) = 1025*n + 558. Is b(29) prime?
False
Let v be (-1 + -124)*(-1 - (-1 - -1)). Is 5/(v/23980) - (-2)/(-10) prime?
False
Let w be (-10)/(-25) + 10748/5. Let u = w - -2997. Is u composite?
False
Suppose -16*v - 3 = -35. Suppose -3*u = -5*u + 4. Suppose -k + f = -678, v*k - 3*f - 1361 = -u*f. Is k prime?
True
Let s(y) = 2*y**3 + y**2 + 3*y - 5. Suppose -2*h = 5 - 3. Let g be (1/(h/3))/((-10)/10). Is s(g) a composite number?
False
Let h(q) = 4*q**3 - 24*q**2 + q + 145. Is h(26) prime?
True
Suppose -140 = -4*w - 120, -5*x - 4*w = -22360. Let a(l) = -l**2 + 5*l + 1. Let n be a(4). Suppose 9*g - x = n*g. Is g prime?
True
Is (-1133455360)/(-3584) + (-18)/14 prime?
False
Let o(r) = -21 - 5 - 116*r - 56 + 3. Is o(-17) a prime number?
False
Suppose 0 = 18*y - 10*y - 16. Suppose 3*l + 5*a = 149, -4*l + 8*l - 164 = y*a. Is l prime?
True
Let d(f) = f + 5. Let u be d(-17). Let w(a) = -163*a + 25. Let m be w(u). Is m + -2*(-1)/(-4)*0 a prime number?
False
Suppose y - 13 = -8. Suppose -h + 2*p + 332 - 45 = 0, -3*h + 864 = -y*p. Is h a prime number?
True
Let r(v) = v**2 + 6*v - 8. Let c be r(-4). Let g(s) be the first derivative of 3*s**3 + 5*s + 61. Is g(c) a prime number?
True
Let f be (-6527 + -3 + 3 + -2)/(-1). Let c = -1866 + f. Is c a prime number?
True
Is (13/(728/(-84)))/(1/9068*-3) prime?
False
Suppose 0 = -249*r + 231*r + 4196034. Is r a composite number?
False
Let n = -57005 - -181426. Is n a composite number?
True
Let u(g) = -5*g + 10. Let v(f) = 2*f - 3. Let n(z) = 3*u(z) + 8*v(z). Let y be n(18). Suppose 0 = 5*d - 4231 - y. Is d prime?
False
Let i(c) = c**2 - 3*c + 4. Let v be i(3). Let q = 8600 - 1639. Suppose q = v*o - 5*f, -o + 4*f - 8691 = -6*o. Is o a prime number?
False
Let y = -98 + 98. Let r be y/9 + (-30)/3. Is (-262)/(-3)*(-45)/r composite?
True
Let t(w) be the second derivative of 29*w**4/2 - 11*w**3/3 + 27*w**2/2 - 77*w. Is t(5) a prime number?
False
Let f(c) = -194*c**3 + 6*c**2 + 8*c - 25. Let u be f(6). Let w = u + 77928. Is w a prime number?
True
Suppose 2*v - 2532 = w, 4*v + w + 2092 = 7168. Suppose v = 4*f + o - 7460, 0 = -3*f + 4*o + 6527. Is f a composite number?
True
Suppose 4*p - 18*n + 53 = -17*n, -7 = p + n. Is (-105094)/(-14) - p/42 prime?
True
Let m = 554299 - 122742. Is m a composite number?
True
Let b(o) = 464*o - 47. Let m be b(12). Let a = -3709 + m. Suppose k + 403 = 5*h - 1854, -4*h + a = -4*k. Is h composite?
True
Let z(g) = -15*g + 12. Let o be z(-8). Is (o - 1)/(16/32) composite?
True
Let w be 951*(-3)/(18/52). Let r = w + 13833. Is r a prime number?
True
Let o = -4704 - -2968. Let g = o - -3135. Is g composite?
False
Let z = -153231 - -404410. Is z composite?
False
Let n = -599121 + 1249640. Is n prime?
True
Suppose 4*x - 1120078 = 2*d + 295800, 5*d = 5*x - 1769870. Is x composite?
True
Let l = -9945 + 14577. Suppose 3*s + t - 50803 = -l, -5*t = -5*s + 76965. Is s a composite number?
False
Suppose -5*w - 5*c + 20615 = 0, w - 1168 - 2951 = c. Suppose 3*h - w = -1001. Suppose 3*q - 521 = -5*f + 1020, 2*q - 3*f - h = 0. Is q a prime number?
False
Let w(g) = g**3 - g - 2. Let x be w(-1). Let d be x*(-2)/(-4) + 1373. Suppose 5021 = 5*i - 2*z - d, -z = 4. Is i a composite number?
False
Let s = 71 - 63. Suppose -q + 5*p + 33 = s, -5*p = 5*q + 25. Suppose -3*f + q*m + m = -578, -4*m + 935 = 5*f. Is f prime?
True
Is (66/(-15))/(429727/(-85945) + 5) a prime number?
False
Let s = 7155 + -4447. Suppose b = 15*c - 18*c + 926, -5*c - s = -3*b. Is b composite?
False
Is (8/(-20) - 1110533/5)/(-10 - -9) a prime number?
True
Let w be (-2)/6*(13 - (-2 - -3)). Let f be 3432/42 + w/(-14). Suppose -f - 1481 = -d. Is d composite?
True
Let x = 1729820 - 1217551. Is x a composite number?
False
Is ((-98)/56)/(-1) + 5/((-60)/(-1803519)) prime?
False
Let q = -92688 + 177791. Is q a prime number?
True
Let s(l) = 106*l**2 + 453*l + 251. Is s(-48) composite?
False
Suppose -78*b = -926665 - 3895529. Is b composite?
True
Suppose 0 = -5*b - g + 20983153, -3*b = -2*g + 4753347 - 17343218. Is b a prime number?
True
Let s = 32853 - 7128. Suppose s + 6387 = 6*z. Suppose -6*n - 2*n + z = 0. Is n composite?
True
Is 264/(-45) + 6 - 587006/(-30) prime?
False
Suppose 0 = -4*l + u + 13627, 25*l - 22*l - 4*u - 10217 = 0. Is l a prime number?
True
Let i = -37147 + 189210. Is i a prime number?
True
Let i(p) = -5*p - 203. Let l be i(-39). Is ((-148)/(-37))/(l/(-894)) a composite number?
True
Suppose -2*k - 3*l - 2656 = -11686, 0 = k - 5*l - 4541. Suppose 0 = 3*q - k - 4260. Is q composite?
False
Let y = 512126 - 142657. Is y a composite number?
False
Suppose 2*y - 10 = -4*a, -3*y = y - 4*a - 80. Suppose -32*l = -21*l - 484. Let f = y + l. Is f a composite number?
False
Let q = 67 - 70. Let u be q/(72/16) + 634/(-3). Is (1 + -4)/12*u a composite number?
False
Let b(p) = -14519*p - 184. Is b(-7) a composite number?
False
Let j(q) = 3 - 154*q - 418*q + 2 + 2. Is j(-2) composite?
False
Is 60/(-90)*(-6977496)/16 a composite number?
True
Let b = -1242 + 1890. Let i(c) = c**3 + 10*c**2 - 11*c - 3. Let p be i(-10). Suppose -g + b = p. Is g a composite number?
False
Let u(r) = -5*r - 12. Let a be u(-3). Let z(l) = l**3 + 6*l**2 - 5. Let g be z(-5). Suppose -a*x - g = x, -3*x = 3*k - 3834. Is k a prime number?
True
Let c = -68 + 72. Suppose 0 = -c*n - 14 + 6. Is n - ((-1962)/4 - 9/18) a prime number?
False
Let n(w) = 13*w**2 + 456*w + 1835. Is n(132) a prime number?
True
Suppose z = -5*b - 29, -2*z - 18 = -4*b - 30. Let p(q) = -2787*q - 35. Is p(z) a prime number?
True
Let w = -13729 + 19438. Suppose 0*o + 5*o = 0. Suppose o = -4*y + y + w. Is y prime?
False
Suppose 10400958 = 17*n - 862273. Is n a prime number?
False
Suppose 3*p = 4*h + 61, 2*p + 1 = 2*h + 31. Is h/(-4) - (3 + 0) - -32478 a composite number?
False
Suppose -b - 3*j + 746 = -81057, j - 163566 = -2*b. Is b composite?
True
Let k(d) = 30*d + 7. Suppose 3*u - 216 = 5*u. Let t = -90 - u. Is k(t) composite?
False
Let b(q) be the third derivative of -q**5/30 + 71*q**4/24 + 16*q**3/3 - 41*q**2. Let w be b(29). Let x = -186 + w. Is x prime?
True
Let y be ((-1152)/(-54))/((-2)/(-15))*67. Let o = -587 + y. Is o composite?
False
Let i = -134208 + 265457. Is i prime?
True
Suppose 4*t + 31 = -49. Let h(u) = u**3 + 29*u**2 - u - 19. Is h(t) prime?
False
Suppose -81*u + 30937671 + 25884558 = 0. Is u composite?
False
Suppose 4*m = 3*s + 152, 116 = 2*m + 5*s + 14. Suppose 2*u + y + m = 7*u, -2*y - 2 = 0. Let h(o) = 72*o - 5. Is h(u) prime?
True
Let g(i) = 7*i**2 + 0*i**2 + 24*i - 31 + 8*i**2 - 6*i - i**3. Let o be g(16). Is -12*(o + (-243)/4) prime?
False
Is -1*(2 + 7) + 4521100/58 composite?
True
Let t = 107 - 109. Let k(n) = -391*n - 19. Is k(t) a composite number?
True
Suppose 2*k + 2407 = -4*b - b, 2*k - 5*b = -2417. Let c be (204345/(-30))/19*2. Let z = c - k. Is z a composite number?
True
Let t = -27946 - -77880. Is t a composite number?
True
Let v = 63 + -10. Let h = v - 57. Is ((-1)/1)/(h/14548) a composite number?
False
Let b = 6434 + 11349. Is b a composite number?
False
Suppose -3*z + 17 = 5*p, 4*p + 2*z - 10 = 4. Let x(i) = -1 + 4 - p*i - 10. Is x(-14) prime?
False
Let o = -8612 - 10549. Let h = -34634 + 7204. Let c = o - h. Is c a prime number?
True
Let l be ((-4)/5)/((-12)/(-150)). Let a be 20/l - -1*6. Is 1 - (a - (7468/4 - 3)) a composite number?
False
Is (-6 - -639)/(8/(197840/30)) a prime number?
False
Let d(i) = 1021*i**2 - 32*i - 290. Let c be d(-11). Suppose -5*n - 2*f + c = 0, 5*n - f = f + 123607. Is n a prime number?
False
Let i(l) = -4001*l**3 - 4*l**2 - 2*l + 17. Let g(x) = 6001*x**3 + 6*x**2 + 3*x - 27. Let z(h) = 5*g(h) + 8*i(h). Is z(-1) a composite number?
False
Is 780778/19*18753/1974 a prime number?
True
Let z(i) = 236*i**3 - 20*i**2 + 8*i + 101. Is z(9) a composite number?
True
Let v be (-30)/(-8)*176/132. Let i be 3*(1 + 20730/9). Suppose -d + i = 5*x - 3*x, 0 = x - v*d - 3440. Is x prime?
False
Let h be 8/(3 - 1) - -4. Suppose -h*o + 6399 = -5*o. Let d = -1387 + o. Is d prime?
False
Let t = 142 + -140. Suppose y - 1065 = -x, 4*y - 6*x = -t*x + 4292. Is y prime?
True
Let w = -9 + 12. Suppose -2*m = w*n - 25687, -3*n + m + 1531 = -24159. Is n a composite number?
False
Let o be (-340578)/(-26) - 14/91. Suppose -2*m + 4755 = -o. Suppose 5*g 