-4*g = -f*n + 7697. Is n a composite number?
True
Let h(u) = u**3 + 14*u**2 + 4. Let t be h(-14). Suppose t*a - 9 = -r - 1, -r = -4*a. Suppose r*x - 5*m = 2668, 3*x - 3*m = -m + 2001. Is x composite?
True
Let x be (-25 + 13)*2/(4 - 0). Is (-6 - (-42)/9)*4923/x a composite number?
True
Let c = 46385 + -32220. Is c a composite number?
True
Suppose -4*k = -4*j - 68, 4*j + 8 = 5*k - 65. Let g be (j/(-13))/6 - (-55521)/13. Let r = g - 2670. Is r prime?
True
Let v(u) = 3911*u**2 + 18*u - 39. Let l be -3 + (529/115 - 4/(-10)). Is v(l) a composite number?
False
Suppose 2*q - q + 147 = -3*o, -3*q = 5*o + 445. Let s(g) = -1878*g**2 + 87*g - 75. Let c be s(9). Is c/q - ((-6)/5)/(-3) prime?
True
Let a = -36 - 8. Let i = a + 49. Suppose i*p = 26285 - 7830. Is p a prime number?
True
Suppose 5*w + 62205 = 5*j, 25*w - 20*w + 20 = 0. Is j composite?
False
Let b = -12763 - -46632. Is b prime?
False
Suppose 5*d - 4366 = z + 957, -5*z - 4*d - 26731 = 0. Let h = z - -7990. Is h prime?
True
Suppose 11*a + 402 = -18*a + 30*a. Let l(m) = -213*m + 5. Let x be l(-4). Let p = a + x. Is p composite?
False
Suppose 2*p + 3*p + 3*x - 23128 = 0, 4*p = -4*x + 18496. Let j = 1907 - p. Is j*((-2)/24 - 8/32) prime?
True
Suppose -4*l + 2*l - 3*n + 933539 = 0, 5*n = 3*l - 1400356. Is l a prime number?
True
Suppose 0 = -5*a + 2*a + 39. Suppose 0 = -a*y + 9*y - 1520. Is ((-14)/(-4))/(-7)*(y + -2) a composite number?
False
Is 577148/8 - (36/(-24) + 2) a prime number?
False
Let f(x) = -4*x**2 - 60*x - 153. Let q(y) = -y**2 - 15*y - 38. Let t(d) = 2*f(d) - 9*q(d). Let b be t(-12). Suppose b = -4*h + 3454 - 746. Is h a prime number?
True
Let h = 107567 + -21154. Is h a composite number?
False
Let g = -521776 - -1376729. Is g prime?
False
Let k be -2 - (15/(-6) - 2/(-4)). Is (7522/6 - k)*3 a prime number?
True
Suppose -p + 6 = -0*p. Let k = 1070 - 1067. Is (-106)/k*(1071/p)/(-7) prime?
False
Let i = -18 + 20. Suppose -1697 = -4*f - f + 4*k, 4*k = i*f - 674. Let o = -142 + f. Is o composite?
False
Suppose -22 = -3*j + 4*m + 19, -j + 17 = -2*m. Suppose -l + j = -c, -11 = 2*c - l - 0*l. Is (c - (2 + -6)) + (1141 - 0) a composite number?
True
Let t be (-106)/2*(-2 + -1). Let a(l) = 37*l**2 + 5*l + 3. Let s be a(4). Suppose -3*x - 2*w + s = 0, 3*x - 2*w = 444 + t. Is x a prime number?
False
Let r = 62420 + -35612. Suppose -5*h + r - 9798 = 5*u, 13614 = 4*u + 2*h. Suppose 0*p + u = 3*p. Is p a prime number?
False
Let p(w) = 83*w**2 + 6*w - 10. Let d be p(2). Suppose 16400 + d = 6*n. Is n a prime number?
True
Suppose -13*u + 14*u - 31974 = -4*o, 0 = o - 5*u - 7983. Is o composite?
False
Let b = -19209 + 10434. Let r = b + 13508. Is r prime?
True
Let x be -1 + 5/((-25)/(-13205)). Let f = -1489 + x. Is f prime?
True
Let q be ((-16)/10)/((-1)/5). Let l(d) be the first derivative of d**3 - 17*d**2/2 + 3*d - 239. Is l(q) a prime number?
True
Suppose -9*h - 301796 = -11*h + 2*l, -5*l + 150904 = h. Is h prime?
False
Suppose -10476786 = -51*j - 322533. Is j composite?
False
Suppose 0 = -5*z + 3*n + 2*n - 40, 4*z + 28 = 5*n. Let y(a) = -10 - 10*a**2 + 29 - 49*a - a**3 + 56*a. Is y(z) prime?
True
Suppose 24 = 4*u, -107*g + 564529 = -102*g + 4*u. Is g a prime number?
True
Suppose 5*k + 10810 = -5*s, k = s - 0*k + 2172. Let z = 3076 + s. Suppose -3*u + 0*p + z = 3*p, 5*u - 5*p = 1465. Is u a prime number?
False
Let k(n) = 1401*n**3 + n**2 + 3*n - 3. Let r be k(1). Suppose r = 100*h - 98*h. Is h prime?
True
Suppose 73748 + 10908 = 4*k + 2*u, -317511 = -15*k + u. Is k a prime number?
False
Let v = 295469 + -208804. Is v a prime number?
False
Let b = 14 + -12. Is (-55210)/(-14) + ((-8)/7)/b a composite number?
False
Let x(p) = -27*p - 20 + 15*p + 14*p. Let s be x(6). Is (-26918)/s - (-2)/8 composite?
True
Let i be 210/24 - (-4)/16. Let y(v) = 4*v - 29 + 101*v - i*v. Is y(11) a prime number?
False
Let q(p) = 3*p**2 + 13*p - 63. Let k be q(4). Suppose 50811 = k*m - 35288. Is m a prime number?
False
Suppose 257*v = 46129349 + 290609784. Is v prime?
True
Let r = -34 + 34. Suppose 3*w + 7119 = 3*z, r = -5*z + w + 2*w + 11863. Suppose -z = -10*i + 1038. Is i a composite number?
True
Let y be (-12)/(-18)*10689/(-14). Let x = y + 2664. Is x prime?
False
Suppose 0 = -41*z + 26*z + 5833365. Is z a prime number?
True
Let v = 6362 - 3857. Suppose 4*b = z + 10010, -8*b = -9*b - z + v. Is b a composite number?
False
Let x = 35 + -25. Let t = x + -5. Suppose -3628 = -2*v + 2*k - k, -5*v - t*k = -9070. Is v a composite number?
True
Let v(w) = w**3 + 15*w**2 - 28*w - 109. Is v(27) prime?
True
Let c = 7083 + 86030. Is c a prime number?
True
Let m be 4/(-10) - 102/(-30). Suppose -r - 12 = -m*d, d + 0*r = 4*r + 4. Suppose -1605 = -d*u + 1767. Is u a prime number?
False
Suppose -11*b - 13496 + 174800 = 0. Suppose 2*n + 3662 = b. Is n a prime number?
True
Suppose 906 = -5*s + d - 849, 0 = s + 5*d + 351. Suppose -4*p + 35 + 89 = -2*a, 0 = p - 3*a - 36. Let i = p - s. Is i composite?
True
Suppose 5*r = 13 + 12. Suppose 4*z = 3*z - n + r, -5*z + 25 = -n. Suppose -4*w - 6299 = -0*j - 5*j, -z*j + 5*w + 6300 = 0. Is j prime?
True
Let v(b) be the second derivative of 13*b**4/4 - b**3 - b**2 + 78*b - 1. Is v(-6) a composite number?
True
Suppose 16*x = 14*x + 8. Suppose 2*n + 5*d = 2503, 7*d + 9 = x*d. Is n a prime number?
True
Let t = 256 + -253. Is 2556/t + (2 - 0) + -3 composite?
True
Let u be (-52)/(-78)*(-6363)/(-2). Let m = 12612 - u. Suppose 5*k + 6*b - 17450 = b, 0 = 3*k - 4*b - m. Is k a composite number?
True
Let n = -25187 + 57663. Is 8/(-6) + n/12 a composite number?
True
Let x = 94431 - 49592. Is x a prime number?
True
Let u = 13 - 62. Let i = 52 + u. Suppose v + 2*k - 1029 = i*k, 4*v - 4118 = 3*k. Is v composite?
False
Let k = 261853 + -74612. Is k composite?
True
Suppose 32*a - 30*a - 1007414 = 0. Is a a composite number?
False
Let y(n) = 0*n**2 - 23 - 3*n**3 + 0*n**3 - 18*n**2 + 2*n**3 + 46*n. Is y(-24) a prime number?
False
Suppose 2807*f - 2810*f + 56652 = -32145. Is f prime?
True
Let r(a) = -8*a - 4. Let h be r(-1). Suppose -4*u + 58791 = -z, h*z = -u + 7*z + 14684. Is u a composite number?
False
Let g = -45 + 79. Suppose -7*l = -9*l - g. Let f(v) = -109*v + 48. Is f(l) a composite number?
False
Suppose 0 = r + 4*m - 12, -2*r + 26 - 41 = -5*m. Suppose -5*i + 2*f + 10026 + 2049 = 0, r = 3*i + 3*f - 7266. Is i a prime number?
True
Suppose -12*a + 12 = -6*a. Suppose 4*q - 232 = a*q. Suppose 6*p = 1030 + q. Is p a prime number?
True
Suppose 1076189 = -62*b + 67*b + 3*v, -645705 = -3*b - 6*v. Is b a composite number?
False
Let u(c) = -c**3 - 28*c**2 + 11*c + 38. Let j be u(-12). Let o = -495 - j. Is o a composite number?
True
Let r = 5690 + -3648. Let s = 4905 - r. Is s composite?
True
Let y = -11 + 17. Suppose 2*r - y*r = -2*q - 8522, 5*r + 2*q - 10639 = 0. Is r composite?
False
Let h(l) = -5*l + 3*l**2 + 221*l**3 - 73 + 73. Let g be h(2). Suppose 3*p + 4*x = p + g, -3560 = -4*p + 2*x. Is p a composite number?
True
Let j(v) be the first derivative of v**4/4 + 25*v**3/3 + 19*v**2/2 + 53*v - 296. Let z be 2*(-1 + -11 + 1). Is j(z) prime?
True
Let m be (1670076/45)/((-2)/(-5)*1). Suppose m = 14*y + 26688. Is y composite?
False
Suppose 618435 + 587455 = 2*t + 4*f, 4*t + 3*f - 2411740 = 0. Is t a prime number?
True
Let g(n) = 39*n**2 + 4*n - 12. Suppose 5*b + 3*f - 121 = 0, 3*b - 3*f - 70 = -7. Let x be (-14)/3 + b/(-69). Is g(x) a prime number?
False
Suppose 7*v - 8*v = -5*f - 65, 2*f + 221 = 3*v. Is (v/(-50))/(2/(60324/(-9))) composite?
True
Suppose 6*l - 2*l + 2093 = -3*g, 0 = -4*g - 3*l - 2779. Let f = -144 - g. Let m = f - -222. Is m a composite number?
False
Let d be ((12/10)/((-2)/10))/1. Is 15993/d*5*4/(-30) a prime number?
True
Let n(d) = 693*d**2 + 113*d - 25. Is n(-8) a composite number?
True
Suppose 0 = 8*s + 9*s - 51. Suppose s*v = i + 12, 2*v + 6*i = 4*i + 16. Suppose -v*g + 47 = 12. Is g composite?
False
Let f be (0 - 2*-1)*2401. Let a = 2398 + -2393. Suppose -5*u - a*n + 14168 = -f, 0 = -4*n + 4. Is u prime?
True
Suppose m - 29 = -4*l - l, -3*l + 4*m = 1. Suppose 22 = 4*i + x, -4*x = -l*i - 7*x + 24. Is (1 + -18)*3/(i/(-62)) composite?
True
Let u(v) = 73*v**3 - 3*v + 1. Let i be u(3). Let d = i + 1042. Is d prime?
False
Let z(o) = -o**3 - 7*o**2 - 8*o - 8. Let a be z(-6). Suppose a*k = 5962 + 7862. Suppose 4*