5*o = -0*o - t, -3*o = -3*j + 1029. Is j composite?
True
Let x = -5 - 91. Let t = 1 - x. Is t prime?
True
Suppose z - 2*p = 6 + 2, 2*z = 2*p + 12. Suppose z*t - 16371 = -6655. Is t a composite number?
True
Suppose q + 4*q = -5. Let j = 47 + q. Let m = j - -28. Is m a composite number?
True
Is 3473*(-1)/(-4)*4 a prime number?
False
Suppose 0 = -2*d + 4*v - 16, -2*d + 5*v = 9*v - 8. Let a(z) = 21*z**2 + 2*z + 2. Is a(d) a composite number?
True
Suppose 0 = -4*l + 2490 + 3634. Suppose 1 = u, -4*q = q - 4*u - l. Is q prime?
True
Let d(c) = 2837*c**3 + c**2 - 4. Let t(j) = 5674*j**3 + 2*j**2 - 7. Let l(b) = -5*d(b) + 3*t(b). Is l(1) a prime number?
True
Let b = 8802 + 2981. Is b a composite number?
False
Suppose 3*m - 5 = 2*c, -2*c + 45 = 4*m + 3*c. Suppose 5*g - 5 = 5*s, -s + 5*s + m*g = 5. Suppose 2*i - 213 + 43 = s. Is i a composite number?
True
Let o = 362 - 280. Is o prime?
False
Let z(h) = 9124*h**2 + 3. Is z(-1) a composite number?
False
Let k(v) = 27*v**2 - 42*v + 4. Is k(3) prime?
False
Suppose -21*y + 25*y - 5340 = 0. Let x = 2278 - y. Is x prime?
False
Suppose 4*q = 2*d + 16, 3*q - d = 4*q - 10. Is 44/66 - (-18098)/q a prime number?
False
Let b be 1*(-7335)/(-30)*4/6. Let w(c) = 115*c**2 - c. Let s be w(1). Let t = b - s. Is t prime?
False
Let x(l) = -l**3 - 15*l**2 - 14*l + 24. Let w be x(-14). Suppose -20*j = -w*j + 1868. Is j a prime number?
True
Let n(u) be the first derivative of -3*u**4/2 + 2*u**3 - u**2 + 4*u - 11. Let h be n(-5). Is 22/(-55) - h/(-10) composite?
True
Let x be 0/(-5)*2/(-4). Suppose x = -s + j + 155, -3*s + 759 = 3*j + 270. Is s a composite number?
True
Suppose -3*j - b + 4*b + 13080 = 0, 5*b + 15 = 0. Is j a prime number?
True
Let a = 3905 + -2088. Is a a composite number?
True
Suppose 0*h - 185828 = -4*h. Is h a composite number?
False
Let a = 29275 - 19242. Is a composite?
True
Let p(c) = -2*c**2 - 7*c + 5. Let w(l) = l - 1. Let r(y) = -p(y) - 6*w(y). Is r(-6) composite?
False
Let t(i) = -3*i**3 - 4*i**2 + 17*i + 24. Let z be t(-11). Let f = z - 779. Is f prime?
False
Let z(t) = 9*t**2 + 8*t + 1. Let o be z(-1). Let i(a) = 72*a + 58*a - 7 + 0. Is i(o) a composite number?
True
Suppose -4*o + 10*w + 2648 = 6*w, 4*o - 2648 = -4*w. Suppose -2*z = c - 219 + 52, 4*c + 5*z - o = 0. Is c a prime number?
True
Let f be (-9)/(-15) - 33/5. Let h(i) = -i**2 - 6*i. Let v be h(f). Suppose v = -2*g + 258 + 400. Is g composite?
True
Is (25113 - (7 + -8) - 3) + 0 a composite number?
False
Let x be 24 - (1 + (-1)/1). Suppose -2*o - 14 = -14. Suppose o = -m + x - 3. Is m a prime number?
False
Suppose 2*w - 7 = -3. Is 27 - (0 + -1 + w) prime?
False
Let o = 8 + -5. Suppose o*t + 115 = 8*t. Let m = t + -2. Is m prime?
False
Suppose s + 2*s + 2*n = -8, -n - 4 = 2*s. Suppose -4*v = 5*d - 14, s = 2*v + 2*d - 8. Suppose t + 265 = v*t. Is t a composite number?
False
Let q be ((-63)/14)/((-3)/4). Let z be q/(-9)*3 + 4. Let l(o) = 119*o - 3. Is l(z) prime?
False
Let n(f) = 76*f**3 + 2*f**2 - 1. Let t = -17 + -2. Let u = t + 20. Is n(u) a prime number?
False
Let g be 1 + -3 - (-2 - 4). Suppose -2*h - 5*k = -45, 0*h = -4*h - g*k + 120. Is h prime?
False
Let n(s) = -s**2 - s + 925. Let f be n(0). Is (f/(-15))/(4/(-12)) composite?
True
Let i(k) = 19*k - 48. Let f = -17 - -30. Is i(f) a composite number?
False
Let p(l) = -l**3 - 8*l**2 - 3*l - 9. Let w be p(-9). Suppose -708 = -2*r - 0*r. Suppose 0 = -k - 5*h + w - 15, -3*h = 5*k - r. Is k a composite number?
True
Let g = -1620 - -9677. Is g composite?
True
Suppose 0 = s + 5*s - 96870. Is s a composite number?
True
Suppose -4*s + 5*j - 470 = 0, 4*j = -5*s - j - 565. Suppose -864 - 108 = -2*o. Let d = s + o. Is d composite?
True
Suppose 240168 + 171840 = 24*q. Is q a prime number?
True
Let l(j) = 27*j**2 - 64. Is l(-7) a composite number?
False
Suppose 4*b = -5*b - 63. Let m(l) = 5*l**2 + 2*l - 16. Is m(b) a prime number?
False
Let l = 38805 - 17747. Is l a prime number?
False
Let x = -634 + 1091. Let k = -159 + x. Suppose h + h = k. Is h a prime number?
True
Let a(k) = -4*k - 5. Let x be a(-3). Let b(m) = m - 12. Let o be b(x). Is ((-2)/(-8))/(o/(-140)) prime?
True
Let m = 27555 - 16172. Is m prime?
True
Let g = 4 - 1. Suppose -x + 1740 = g*x. Suppose -2*v + x = 3*v. Is v a prime number?
False
Let u be (-5 - (-4 - 3))*2. Suppose -2*y + u = 0, -2*j = 3*j + 2*y - 11949. Is j composite?
False
Let n(w) = -w**3 - 4*w**2 - 4*w + 1. Let j be n(-3). Let k(c) = -c**3 + 4*c**2 + c - 4. Let v be k(j). Suppose v = -3*o + 204 + 669. Is o composite?
True
Let n(k) be the first derivative of 4/3*k**3 - 5*k + 5 + 2*k**2. Is n(-6) a prime number?
False
Let k = -20393 + 36054. Is k composite?
False
Suppose -4*o + 7 = -9. Suppose -3*p = -0*l + 4*l - 2971, 0 = -o*p + 20. Is l a prime number?
True
Let n be ((-3)/4)/(12/(-32)). Let t be 33/(n - 5) - 1. Let b(r) = 3*r**2 + 12*r + 5. Is b(t) a prime number?
True
Let f(u) = 1227*u - 1078. Is f(25) prime?
False
Suppose -2*k + 824 = -0*k. Suppose -6*b + b - 3*d = -k, d = 4*b - 333. Is b a prime number?
True
Let i = -106 + 195. Is i a composite number?
False
Let k = -641 - -1036. Suppose 0 = 5*l - 0*l - k. Suppose -l - 159 = -2*z. Is z a prime number?
False
Let g = 11 + -14. Let f be g/(-9) - (-754)/6. Is 2 + (0 + f - 1) a composite number?
False
Is 0 + -7 + 4558 + 7 + 3 a composite number?
False
Let k be (-11 - -12)*(7926 - 1). Suppose -4*w + k = w. Is w prime?
False
Suppose 6*b - 20 = 2*b. Suppose -4*c - 352 = -2*k + c, -853 = -b*k - c. Suppose v = -2*v + k. Is v a composite number?
True
Suppose 2*t + 15 + 13 = 0. Let w = 16 + t. Suppose 4*v - w*v + 3*g - 139 = 0, 4*v = -4*g + 272. Is v composite?
True
Let l(d) = d - 1. Let w be l(4). Suppose -728 = -i - 0*x - 3*x, -w*x = 3*i - 2196. Let f = i + -511. Is f a prime number?
True
Suppose 710*h = 716*h - 3426. Is h a prime number?
True
Suppose 8 = 23*y - 27*y. Is (y/(2 + 2))/(1/(-11626)) composite?
False
Let y(p) = -p**3 - 4*p**2 - 4*p - 19. Let x be y(-4). Let q = 86 + x. Is q prime?
True
Suppose -48*l - 1701 = -45*l. Let s = -70 - l. Is s a composite number?
True
Let u(r) = -r**3 - 6*r**2 - 3. Let c be (1 + 6/(-4))*-4. Let f be 1 - 4 - (2 + c). Is u(f) composite?
True
Let z(k) = -7*k + 1. Let s(f) = 9*f - 4. Let r(i) = -4*i + 2. Let j(v) = -5*r(v) - 3*s(v). Let l(q) = 2*j(q) - 3*z(q). Is l(3) composite?
True
Let d = 15236 - 4909. Is d a prime number?
False
Let g = 52 - -26. Is g + 0 + -3 + 4 a composite number?
False
Let q be 9/(-15) - (-777)/(-5). Let s = 63 - q. Is s composite?
True
Suppose -3*v + 0*v = -246. Let z = 399 - v. Is z composite?
False
Let t = -82 + 70. Is 1/((-3)/310)*18/t composite?
True
Let n(j) = -2567*j - 47. Is n(-2) a prime number?
True
Suppose 0 = 2*i - 3 - 1. Suppose -i*z - z = 6. Is (-6 + 5)/(z/466) composite?
False
Let g = 3659 + -2116. Is g prime?
True
Let r = -16 - -21. Let h(j) = j**2 - 7*j + 16. Let u be h(r). Suppose -446 = -2*a + u. Is a a composite number?
True
Let l(f) = 1308*f + 35. Is l(2) a prime number?
False
Let h(f) = -199*f**3 - 3*f - 3. Let r be h(-2). Suppose -7*a - r = -18*a. Is a a prime number?
False
Is -2 - 13/(-2 + 5765/2885) composite?
False
Let c = 24225 - 13394. Is c a prime number?
True
Suppose 49*y - 51*y = -6. Let z(k) = -6*k. Let j be z(-1). Is (-113)/((y - j)/3) a prime number?
True
Let l = 72 + -143. Let c = l + 160. Suppose -178 - c = -3*r. Is r a prime number?
True
Let m(a) = 746*a - 16. Let s be m(4). Suppose -3*f = f + 3*b - s, 4*f + b = 2960. Is f prime?
True
Suppose 4*m = -3*m + 21. Suppose 3*n + 3*o - 2*o - 3188 = 0, m*o = -n + 1076. Is n a prime number?
True
Suppose -16979 = -9*w + 34114. Is w a composite number?
True
Suppose -2*h = -9*h. Suppose h = -2*i, -6*z + 83 = -5*z + 2*i. Is z prime?
True
Let r(z) = 25 + 8*z - 45 + 30 + 9*z. Suppose -4*u - 12 = -4*d - 6*u, -5*d - 4*u = -9. Is r(d) composite?
True
Let f = 3542 + -626. Suppose f + 224 = 4*t. Is t composite?
True
Let v(d) = d - 7. Let t be v(10). Suppose -5*g + t*s = -6970, 0*s + 7005 = 5*g + 4*s. Is g composite?
True
Is (-582)/4*29/((-783)/2466) prime?
False
Let s = 383 + -594. Is -3*1*s/3 prime?
True
Let y(s) = s**3 + 6. Let x be y(0). Let c = x + -7. Is (934/(-4))/(c/2) a prime number?
True
Suppose 4*g - 6*g = -1358. Is g composite?
True
Let o = -28 - -21. Let c(p) = 17*p**2 - 2. Is c(o) a composit