 Is j prime?
True
Let b = 110 + 227. Is b prime?
True
Suppose 384 = 2*k - k. Suppose 2*q = -3*q - 3*s + 1904, -q + s = -k. Is q a prime number?
False
Let i(y) = y**2 + 7*y - 5. Let b be i(-8). Let v(n) = 1 + 9*n**2 + 5*n - 3*n - n**3 - 2*n + b*n. Is v(6) prime?
True
Let d be (-1)/((-5)/6835)*1. Suppose -17*s = -2934 - d. Is s a prime number?
False
Suppose 5*d - 3*o + 783 = 4613, -o = 5. Let s = d + -450. Suppose 2*i - s = 349. Is i a composite number?
False
Let c(p) = 23748*p**2 + 4*p + 11. Is c(-1) a prime number?
False
Let q(z) = -2*z**3 - 14*z**2 - 3*z + 28. Let a be (-10)/5 + (-8 - -1). Is q(a) a composite number?
False
Let g(d) = -6*d**3 - 2*d**2 - 3*d - 2. Let q be g(-1). Suppose -6*a + 3*n = -5*a - 1552, q*a - 3*n - 7772 = 0. Is a prime?
False
Suppose -13 = k - 17. Suppose k = h, -21 = -3*y - h - 8. Let v(z) = 6*z**3 + 6*z**2 + z + 4. Is v(y) a composite number?
False
Suppose -3*i - 1265 = -8*i. Let u = -199 - -169. Let d = i + u. Is d prime?
True
Suppose -z - d = -0*d - 94, -z + 5*d + 88 = 0. Suppose -2*p + 13 = -z. Is p a prime number?
True
Let n(x) = -x**2 - 3*x - 10. Let h be n(-9). Let q = h - -141. Is q a composite number?
True
Suppose -10*x - 31202 = -123212. Is x a composite number?
True
Suppose -2*s + s = -3*q + 8695, 4*q - 11596 = 2*s. Is q composite?
False
Let l(n) = -7*n**3 - 20*n**2 + 23*n + 17. Is l(-22) composite?
True
Suppose -2*r - 2*l + 454 = 0, -2*l + 8 = -0*l. Suppose 4*d = 4*j + 232, -4*d + 2*j = j - r. Is d a prime number?
False
Suppose 0 = -32*o + 31*o + 353. Is o a prime number?
True
Let p be (-26)/(-4)*(-6)/(-3). Let c = 15 - p. Suppose -2*q + 105 = -c*y + 3*y, 228 = 2*y - 2*q. Is y composite?
True
Let n(y) = 2458*y - 2 - 4 + 0 - 3. Is n(2) composite?
True
Let m = -21292 + 52649. Is m prime?
True
Let b = -5 - -8. Suppose 5*h = 5*n - 30, -2*h = 2*n - 5 - b. Suppose -n*x + 1255 = -4*z, 4*x - 502 = 2*x + 5*z. Is x prime?
True
Suppose -4*w - 5*q = -55193 - 25196, -2*w + 2*q = -40208. Is w a composite number?
False
Let i(s) = -26*s**3 + 4*s**2 - 3*s + 1. Is i(-6) prime?
True
Suppose 0 = 3*u - u - 8, 0 = -w + 3*u + 3151. Is w composite?
False
Let o(f) = -3*f**2 - f + 6599. Is o(0) composite?
False
Suppose 7*t + 4110 = 13*t. Let y = t + -376. Is y composite?
True
Suppose 39*t = 22*t + 224689. Is t prime?
True
Is (-202150)/(-13) + 4 + -9 a prime number?
False
Suppose -16871 = -u - 3*w, 5*u - 44744 = w + 39611. Is u a composite number?
False
Suppose 4 = -3*n + 10. Let i be n/10 + (-5)/25. Suppose -v + 120 = -y, v + i*y - 123 = -2*y. Is v a prime number?
False
Let j(c) = -58*c**3 - c**2 + 4*c + 1. Let v be j(-4). Suppose 4*h = 3*m + 2093, 5*h = -5*m + v - 1091. Is h prime?
True
Let r = 9096 - -52983. Is r a composite number?
True
Suppose -l + 5 = -2*x, 0 = -4*x + x - 6. Let k(c) = 4*c + 1. Let j be k(l). Suppose -4*r + 102 = j*t, 0*r + 5*r + 54 = 2*t. Is t a composite number?
True
Let f(w) = -47*w + 3. Suppose 2*x + 50 = -3*x. Let b be f(x). Suppose -b = -3*a - 116. Is a a prime number?
False
Let z(p) = -2*p. Let c be z(-2). Suppose q - 5*a - 7 = 0, 1 - 5 = -4*q - c*a. Suppose 3*j + 5*g = 3749, -j + q*g + 6207 = 4*j. Is j composite?
True
Let q = 103229 - 59778. Is q a composite number?
False
Let d(j) = 144*j + 37. Let a(k) = 432*k + 112. Let u(b) = -4*a(b) + 11*d(b). Is u(-10) a prime number?
True
Is -4*(78630/(-24) - -3) composite?
False
Suppose 2*q - 6 + 0 = 0. Suppose 5*v + 2*k + k = 2705, -q*v + 1623 = k. Is v composite?
False
Let k(h) = -445*h**3 - 8*h**2 - 14*h - 27. Is k(-4) composite?
True
Suppose 4*h - w - 3 = -2*w, 18 = -h - 4*w. Suppose h*u - 596 = -2*u. Is u a prime number?
True
Let k(p) = 3*p - 6. Let x be k(3). Suppose -x*s - 1006 = -4*s. Suppose 5*t - 1660 = -5*u, s = 4*t - t - 2*u. Is t a prime number?
False
Suppose 67062 = 4652*q - 4646*q. Is q a composite number?
False
Suppose 4*r + 23 - 8 = -t, 5*r = 3*t - 6. Let y be (t - -3) + -2 + -4. Is ((-15)/y)/((-4)/(-424)) a composite number?
True
Suppose 2*q + 2*i + 4 = 0, -4*q - 5*i + 12 = -6*i. Is (-877)/(-4 - -5 - q) prime?
True
Suppose 7 = -2*v - 3*f, 6*v - 3*v + 4*f = -8. Suppose 17 - 67 = v*k + 2*a, 0 = 4*k + 5*a + 35. Is (-3159)/k + 4/10 a composite number?
False
Suppose 0 = -30*d + 28*d. Suppose d*l = 3*b + 3*l - 585, -2*l + 581 = 3*b. Is b prime?
True
Suppose s = 3*s - 180. Let w be 3 + 2 - 872/(-1). Let j = w - s. Is j a prime number?
True
Suppose 0 = -2*z - b - 1 + 2, z + 3*b = -12. Suppose -2354 = -4*t - 2*l, -z*t + 2334 = -l + 576. Is t composite?
False
Let l(g) = g - 4. Let q be l(10). Suppose 0 = 2*t - q - 2. Suppose 0 = -t*x + 177 + 1531. Is x a prime number?
False
Suppose -18 = 7*o - 5*o. Let z = o + 83. Let x = z - 49. Is x a prime number?
False
Let j(q) = 121*q**3 - 4*q**2 + q - 1. Suppose 0 = 2*v - 2 - 4. Is j(v) prime?
False
Suppose -a + 2*a - 12129 = -5*y, 0 = 5*y + 4*a - 12141. Suppose 3*w = -2*z + y, -3*z - w + 3*w + 3657 = 0. Is z a prime number?
True
Let r = -6 + 1. Let q = r + 6. Let g(c) = 69*c - 2. Is g(q) prime?
True
Let o = 70 + -66. Suppose o*a = 8*a - 1112. Is a prime?
False
Is -5*222340/(-150) + (-2)/6 a composite number?
False
Let c = -3 + -20. Let d = c - -38. Suppose 4*f - 291 = -d. Is f composite?
True
Let n be 4*-1 + ((-1)/(-1) - -8). Suppose 5*j - 13 = 22. Suppose -n*i = -j*i + 502. Is i a prime number?
True
Suppose 3*r = 2*s + 1, 5*r + 10 = 5*s - 0*r. Let d(a) = 41*a**2 - 3*a - 15. Is d(s) a prime number?
True
Let d(f) be the third derivative of -f**4/4 - f**3/3 - 2*f**2. Is d(-2) composite?
True
Let g be (-2)/(-2) - (1 + -3). Suppose j = -0 + g. Suppose 2*a = -4*x + j + 7, -a - 3*x + 1 = 0. Is a composite?
False
Let c(g) be the third derivative of g**4/24 - g**3/2 - g**2. Let f be c(4). Is 51/(f + (-3 - -3)) a prime number?
False
Let p(v) = 304*v + 10. Suppose 4*u - 4 - 8 = 0. Let i be p(u). Suppose -z + 4*n + 153 = -158, 3*z - n - i = 0. Is z prime?
True
Let x = -248 + 467. Suppose x = 3*h - 180. Is h a prime number?
False
Suppose -7*p - 228650 = -2*n - 3*p, 2*n - p - 228656 = 0. Is n composite?
False
Suppose s - 803 = 4*u, 2*s + 3161 = 6*s + u. Is s a prime number?
False
Suppose -20*q = -23*q + 22917. Is q a composite number?
False
Let t be 4 - (-2 + 0 + 0). Let d = -3 + t. Suppose 0 = 4*x - 5*p - 6268, d*x - p + 1755 = 6456. Is x prime?
True
Let i = 7 + -6. Let x(y) = 4*y**3 - 2*y + 1. Let t be x(i). Suppose -h - 3*g = -70, 6*h - t*h - 203 = -2*g. Is h prime?
True
Let h be 1/((-4*1)/(-4)). Let u be -8*(3 - (4 + h)). Suppose n - u = 5*n, -4*d + 224 = 3*n. Is d a composite number?
False
Is 35/(-5) - (-8220)/6 prime?
False
Let o(l) = l**3 - 3*l**2 - 4*l + 2. Let r be o(-2). Let i = r + 173. Is i composite?
False
Let y(a) = 84*a**3 + 6*a**2 - 11*a - 6. Is y(5) prime?
True
Let a be (-3 - 0)*(28/(-6) + 4). Suppose -3*k - g = a*g - 102, 2*g = 2*k - 56. Is k a composite number?
False
Suppose -11 = -4*r + 629. Suppose 6*q - 332 = r. Suppose -i + 0*i + q = 0. Is i composite?
True
Let r be 4 + -4 + (-9 - 3). Is 2*(-4)/12 - 22820/r a prime number?
True
Suppose -5*f + 3*r + 34 + 0 = 0, 0 = -f + 5*r + 20. Let w = -11 - -17. Let i = f + w. Is i prime?
True
Is -6 - (16/(-4) - 561) a composite number?
True
Let r(d) = 600*d**3 + d**2 + 16*d + 4. Is r(5) composite?
False
Let y(r) = 71*r**2 - r + 5. Suppose 0 = -0*s - 6*s + 24. Let l be y(s). Suppose -6*d + 1233 = -l. Is d prime?
False
Let l(r) = -124*r**2 + r**3 + 2*r - r + 128*r**2. Let n be l(4). Is n/(-16)*80/(-12) a prime number?
False
Suppose 23744 = 4*l - 5628. Is l a prime number?
False
Let t = -3 - -13. Is 11232/t - (-3)/75*-5 prime?
True
Let w(b) = b + 16. Let a be w(-10). Suppose 2163 + 2055 = a*f. Is f a prime number?
False
Let y = -20 - -24. Suppose k - y = 6. Let o(u) = -u**3 + 13*u**2 - 12*u + 21. Is o(k) a composite number?
True
Let z(f) = 2906*f**2 + 25*f + 5. Is z(-2) a composite number?
False
Let c = -11 - -13. Let d be (c/(-4) + 0)*0. Let t(b) = b + 163. Is t(d) a composite number?
False
Let l be (-317 - -3 - 2)*1/(-2). Let s = l + 137. Is s a prime number?
False
Let j(u) = -65*u + 22*u**2 - 67*u + 1 + 133*u. Is j(-1) composite?
True
Let i = -362 + 744. Suppose 0 = 2*s - i - 144. Is s composite?
False
Suppose -3*a + 2972 = -a + 2*t, -3*t = -a + 1486. Suppose 0 = 2*m - 4*w - a, 0 = -m + 4*m - 4*w - 2225. Is m a composite number?
False
Let t(d) = -d + 2. Let h be 