 = -a*x - 2068. Is x prime?
False
Suppose -5*a + c = -0*c - 1757, 0 = 5*a + 4*c - 1747. Let s = -2108 - -1983. Let o = a + s. Is o a prime number?
False
Let s = -7079 + 18355. Suppose d - 1279 - 1540 = -5*q, 0 = -4*d + 3*q + s. Is d a composite number?
False
Suppose 3*f - 4*c + 7 = -0*f, 3*f + 4*c - 25 = 0. Suppose 0 = f*m - 2*y - 25154, -3*m + y + 11257 + 13893 = 0. Suppose 0*l + m = 6*l. Is l composite?
True
Let s = -27 + 32. Let n(y) = 14*y**3 + 6*y**2 + 2*y + 3. Let j be n(s). Suppose -3*p = -4*i - j, 3*p - 3*i - 2600 = -692. Is p composite?
False
Suppose 3*c + 9 = 0, w + 4*c + 12 = -0*w. Suppose w*x - 21069 = -2*x - s, -10532 = -x - s. Is x prime?
False
Let d(y) be the second derivative of 3*y**3/2 + 2437*y**2/2 + 109*y. Is d(0) composite?
False
Suppose l + 14 = 8*l. Let n(v) = -2*v**2 - 8*v**3 + 13*v**3 + 7*v**2 - 2*v**l + 11*v + 6. Is n(5) prime?
True
Let p = 116 - 112. Suppose -2*o + 549 = i, p*i - 2168 = -3*o + 2*o. Is i prime?
True
Suppose -8*i + 5*i - 270 = 0. Let l be (4/(-3))/(40/i). Suppose -2*r = l*u + u - 126, 4*u - 20 = 0. Is r composite?
False
Let k(u) = 512*u**2 - 3*u - 1020. Is k(43) prime?
False
Let x = 139 - 133. Is x/(-5) + (-120008)/(-40) prime?
True
Suppose -8*x = -20 + 4. Suppose 3*m = x*g - 30425, -4*m = g - 2*m - 15223. Is g prime?
True
Suppose -131*l + 123*l = -737384. Is l composite?
False
Suppose 3*u + 233 = -2*t + 1580, 0 = -u - t + 450. Suppose u = -10*y + 27. Let f = y + 2675. Is f a composite number?
False
Suppose 752196 = 22*i + 26*i - 1324140. Is i a prime number?
False
Suppose 16401 = 17*z - 20591. Suppose z = 6*l - 41870. Is l prime?
False
Let m(z) = -10*z**3 + 7*z**2 - 25*z + 3. Suppose -5*y - 63 = -2*x, 3*x = 5*y - 4*y + 23. Is m(y) a prime number?
False
Let c = 28242 - 14565. Let g = c + 43660. Is g a prime number?
False
Let p(b) = 30 + 29*b - 17 + 10 + 27. Is p(13) prime?
False
Is 204/(-306)*(-3 + (-684930)/4) a prime number?
True
Suppose k = -5, -v + 4*k = 4*v - 143215. Suppose -v = 3*y - 16*y. Is y a prime number?
True
Suppose 6*s + 8*s + 27*s - 524021 = 0. Is s a prime number?
True
Suppose -61*g = -56*g - 20. Suppose 3*b - 2509 = -g*i, -b - 1 = -0*b. Suppose 4*y - i = -0. Is y a prime number?
True
Suppose -f = -g, -f = 4*f. Suppose l + 1029 = 2*l + 4*z, -2*l + z + 2013 = g. Is l composite?
False
Let u be (-16)/(-5)*(-14)/(280/(-50)). Is ((-1)/(-3))/(u*(-1)/(-70536)) prime?
True
Suppose -65*b = -59*b - 18. Suppose -3*a - l + 148 = -15530, 3*l = b*a - 15690. Is a a prime number?
True
Let f(a) = 37*a - 21. Let x(p) = 74*p - 42. Let t(u) = -5*f(u) + 2*x(u). Let c be t(-10). Suppose -349 - c = -4*j. Is j a composite number?
True
Suppose -10*w + 218340 + 1528250 = 0. Is w composite?
False
Let k = 106073 + -54394. Is k a prime number?
True
Let g(f) = 2*f**3 - 3*f**2 + 2*f + 2. Let i be g(2). Let c be (-10*i)/(-2) + -2. Is 4304/14 - c/112 a prime number?
True
Is (-834)/3*(-4 - (-4 + (-318)/(-12))) a composite number?
True
Suppose 0 = -5*l - 5*f + 30325, -3*l + 15151 = 2*f - 3045. Let q = -3538 + l. Suppose -3*d + 1555 = -q. Is d prime?
True
Suppose 9*n = -1044 + 26739. Suppose -n = -2*r + 4*d + 1911, -d + 9559 = 4*r. Is r a prime number?
True
Is 1 + 482246 + -17*(-104)/(-442) a prime number?
True
Let n(t) = t**2 + 11*t + 16. Let m be n(-7). Let g = -9 - m. Suppose g*j - 6*j + 165 = 0. Is j a prime number?
False
Let k = 34021 - 51079. Let a = -1637 - k. Is a composite?
True
Suppose 0 = -4*z + 2*z - b + 59417, 5*z + 4*b = 148547. Is z a composite number?
True
Suppose -21*l + 12*l + 51175 = 9712. Is l a prime number?
False
Suppose 42 = 7*y, 217863 = 35*s - 32*s + 4*y. Is s composite?
False
Let b = -26071 + 79842. Is b prime?
False
Suppose 3*c - 17*p - 168906 = -19*p, -8*c + 450416 = 4*p. Is c prime?
False
Suppose 7*p - 5*p - 6 = 0. Suppose -p*n + 2 + 10 = 0. Suppose -4*w + 796 = w - 3*h, n*h - 817 = -5*w. Is w prime?
False
Is 378303 + (7 - -1) - 12/(-6) prime?
False
Let z = -97929 - -186308. Is z a composite number?
False
Let i(j) = -j**3 + 6*j**2 - 5*j + 7. Let d be i(5). Suppose -6*p = -d*p + 8. Suppose 11*z - p*z - 2073 = 0. Is z a composite number?
False
Let r(o) = 86*o**2 - 22*o + 19. Is r(8) composite?
False
Let q = -28742 + 51475. Is q prime?
False
Let a = -288 - -291. Suppose -a*m = j - 1504, j + m - 1512 = 6*m. Is j composite?
True
Let r(i) = 20*i + 43. Let m(s) = -s**2 - s - 1. Let q(l) = 5*l**2 + 11*l + 18. Let u(z) = 4*m(z) + q(z). Let n be u(0). Is r(n) a composite number?
True
Suppose -5*u + 0*u + 55171 = t, u - 11015 = -5*t. Let a be (-1 - (2 - u)) + 3. Is 4*a/10 + -1 a prime number?
False
Suppose -39 = 2*d + d + 3*w, 5*d + 60 = -4*w. Is 1/((-1)/(-785)) + 4 + d prime?
False
Suppose 21*y = 9*y - 12. Is 1 - (-12)/(-3) - 5140/y prime?
False
Let j(l) = 2*l**3 - 42*l**2 - 106*l - 233. Is j(33) a composite number?
True
Let p = -14 + 18. Suppose -7*h = -p*h. Suppose h*d - 10*d + 44210 = 0. Is d a prime number?
True
Suppose -14*k + 9*k = -33175. Let s = 9402 - k. Is s composite?
False
Let x(p) = -4720*p**3 - 2*p**2 + 33*p + 36. Is x(-1) composite?
False
Let v be (12/(-2))/((-3)/31). Suppose 7*g - 5*g = v. Is g prime?
True
Let r(y) = 30 - 262*y - 625*y + 1. Is r(-4) composite?
True
Suppose 4*m - 2*k + 2 = 0, 5*m + 3 = k + 2. Suppose 0 = -4*s - n + 5111, m = 4*s - 5*n - 1024 - 4069. Is s a prime number?
True
Suppose 0 = 5*p - 3*d - 9, -2*p - 6 = -7*p + 2*d. Suppose 2*q + p*q = -3*q. Suppose q = 34*b - 32*b - 1310. Is b composite?
True
Let m(x) = -2362*x + 5008. Is m(-63) a composite number?
True
Let j(r) = -743*r + 13. Let q = -560 + 558. Is j(q) a prime number?
True
Let n be (-2 + 1)*-1*(43 - 40). Suppose -2*m + n*z + 12531 = -7272, -39579 = -4*m - 3*z. Is m prime?
False
Let y(x) = 3769*x + 5791. Is y(148) composite?
True
Let s(g) = g + 7. Let n be s(-7). Suppose 4*d - 3*d - 2 = n, 0 = -c + 4*d - 10. Is (3/6 + c)/((-3)/818) a composite number?
False
Suppose 24*p - 68078 - 185290 = 0. Let a = -4934 + p. Is a prime?
True
Let y be (-20)/4*13*(-6)/10. Suppose 5*p + 3*a = p + y, -4 = -p + 5*a. Suppose -374 = -p*c + 7*c. Is c composite?
True
Suppose -43 = 5*k - 58, 4*n - 804307 = -5*k. Is n prime?
True
Let y(a) = 15527*a - 2819. Is y(74) prime?
True
Let v(s) be the second derivative of -s**5/20 - 3*s**4/4 - 3*s**3 + 3*s**2/2 - 35*s - 1. Is v(-11) composite?
False
Let y be (-530576)/40 + 3/(-5). Is (y + -7)/(-7) + 10/(-2) a composite number?
True
Suppose 0 = -103284*w + 103299*w - 1649055. Is w composite?
False
Suppose 3*r - 20 = 5*t, -3*t + 2 = 4*r - 44. Suppose r*k - 2526 = 1364. Is k a prime number?
True
Let k = -814 - -488. Let h = 125 - k. Suppose -7*o = -21640 + h. Is o a prime number?
False
Suppose k + m - 1455 = 0, -5*k + 7*m = 2*m - 7255. Let j = 1023 - k. Let d = 725 + j. Is d a composite number?
True
Suppose -21*s + 17452171 = 8*s. Is s prime?
False
Suppose 2*x - 3*d - 2915 - 971 = 0, -4*x = 2*d - 7772. Is (-4 - (x - -2))/(-1) a composite number?
False
Suppose 0 = 4*b + 6*d - 1137100, -4*b - d - 406173 = -1543313. Is b a prime number?
False
Suppose 5*d + 11 - 21 = 0. Suppose -12*u + 1630 = -d*u. Is u a prime number?
True
Suppose 0 = -3*z + 2*n + 441791, -5*z + 88588 = -3*n - 647730. Is z composite?
False
Suppose 31*d - 27*d = 124544. Suppose -7*m + d = -3906. Is m a composite number?
True
Suppose 5*d + 6*f = 4*f - 133, 5*d + f = -129. Let j be ((-3)/(-3) + 9)*(-15)/d. Suppose 935 = -g + j*g. Is g a composite number?
True
Suppose 0*c + 5*c = -25. Is 2737 + (c - 0) - 3 a prime number?
True
Let h = -28908 + 77129. Is h prime?
True
Let k(q) be the second derivative of 2*q**4 + q**3/6 - 7*q**2/2 + 2*q. Suppose 5*f - 5*o + 35 = 0, 3*f + 19 = -2*f + o. Is k(f) a prime number?
False
Suppose -4*b - 5*y = -0*y - 77384, 0 = 4*b + 2*y - 77396. Let p = b - 9791. Is p/12 - (-4)/12 a prime number?
True
Let t be 2980 - (3 - (-5 + 3)). Suppose j + 311 = t. Suppose 2*a - 1777 = -6*x + 5*x, -x = 3*a - j. Is a prime?
True
Suppose 0 = -2*l + m + 413979, -10*l = -7*l + m - 620986. Is l prime?
True
Is (429/(-130))/33*-117770 composite?
False
Let c = -69 + 69. Suppose 9*v - 855 - 22356 = c. Is v prime?
True
Suppose -3*f = 3*n - 809034, 170*n - 168*n = -3*f + 809029. Is f prime?
False
Let p(u) = -140*u - 37. Let k(i) = -5*i**2 - 25*i - 43. Let c(w) = -9*w**2 - 49*w - 85. Let d(v) = -4*c(v) + 7*k(v). Let y be d(-18). Is