 Is (0 + t)*p/(-2) composite?
True
Suppose 46*w - 853197 = -216511. Is w a prime number?
True
Suppose 30545 = 8*r - 27191. Is r a composite number?
True
Suppose 3*x + 16 + 8 = 0. Let o(b) = -2*b**3 + 3*b**2 - 6*b - 11. Is o(x) composite?
True
Let r = 308 + 319. Let v = -394 + r. Is v a composite number?
False
Suppose -q + 5 = -6. Suppose 0 = -6*z + q*z - 1475. Let g = z + -161. Is g prime?
False
Let l(a) = 3 - 12*a**2 + a**2 + 145*a**2 + a. Is l(2) prime?
True
Let r(n) = -6*n**3 - 7*n**2 + 24*n + 17. Is r(-12) a prime number?
False
Is (15 - 15) + (-951)/(-3)*11 prime?
False
Let f(l) = 6*l + 33. Let d be f(-5). Suppose -3465 + 17814 = d*a. Is a composite?
False
Suppose 0 = 7*x - 41834 - 49817. Is x a prime number?
True
Let b be (-8)/((-10)/(-54) + (-2)/9). Suppose -5*t - 57 - 128 = 0. Let w = b - t. Is w a composite number?
True
Let h(v) = -v**2 + 51 + v**3 + 226 - v - 42. Let d be h(0). Suppose 4*a - d = s, -4*a + 5*s - 7 = -238. Is a composite?
False
Let x = -585 + 874. Is x a composite number?
True
Let w be 3 + -2 + 0/2. Suppose 5*j = 20, -w + 5 = 2*v - j. Suppose v*t - 186 = 338. Is t a prime number?
True
Suppose 0 = 3*h + 2*h. Let j(w) be the first derivative of 3*w**2/2 + 89*w + 29. Is j(h) a prime number?
True
Suppose -245*v + 258*v = 669539. Is v a composite number?
False
Let z(a) = -2*a**2 - 3*a - 2392. Let i(h) = 2*h**2 + 2*h + 2393. Let m(u) = 3*i(u) + 2*z(u). Is m(0) a prime number?
False
Suppose z + 2717 = 3*t, -17*t + 2*z + 1806 = -15*t. Is t a prime number?
True
Suppose -1571*d = -1566*d - 20845. Is d composite?
True
Let h = -68 - -68. Suppose -5*y + 312 + 43 = h. Is y prime?
True
Let m(x) = -8*x + 2. Let v be m(2). Let d be (-12)/v*(-7 + 0). Let w(s) = -2*s**3 - 3*s**2 - s + 1. Is w(d) a composite number?
False
Is -4 + (4774/2 - -8) composite?
True
Let z(m) be the second derivative of -m**4/6 + m**2/2 - m. Let d be z(-1). Is 46 - (-2 - (d + -1)) composite?
True
Suppose -2*i - 19 = -5*j, 0 = 5*j - 0*j + 3*i - 34. Suppose -81 = -3*u + 3*p, j = 2*u - p - 44. Is 2526/u + (-14)/(-77) prime?
False
Suppose 3*j + 572 + 199 = 0. Let k = j - -480. Is 9/(-3)*k/(-1) a composite number?
True
Suppose -n + 5*m = -10, 6*n - n - 2*m = 4. Is 5 + n + -5 - -2285 a composite number?
True
Is ((-7827)/(-4))/((-66)/(-88)) prime?
True
Let q be 1/6*2*(-23 - 1180). Let u = q + 732. Is u prime?
True
Let u(v) = 2*v**3 + 37*v**2 - 35*v + 19. Is u(-17) composite?
False
Let w(d) = -5*d**3 - 3*d + 18. Let f(o) = -o**3 + o**2. Let v(j) = -6*f(j) + w(j). Let k be v(6). Suppose 4*m - 40 - 20 = k. Is m composite?
True
Suppose 8 = 4*f + 3*z, -5*f - 2*z - 1 = -11. Let s(r) = f - 2*r - 131*r**3 + r**2 - 2*r + 7*r. Is s(-1) composite?
False
Let q = 11 + -13. Is (-337)/((0 - q) + -3) composite?
False
Let r(i) = i**3 + 6*i**2 + 9*i + 7. Let j be r(-4). Suppose 4*m + 15 = m, -j*m = w - 172. Is w composite?
True
Let d(h) = 40*h + 3. Suppose -5 = -5*c + 105. Let p = -14 + c. Is d(p) a prime number?
False
Let i be 21*(-4)/3*(-2)/(-4). Is (-6008)/(-18) + i/(-63) composite?
True
Let p = 16386 - 3157. Is p a prime number?
True
Let u be (-9)/6*(-30)/9. Suppose -5*r = u*l - 724 - 86, 5*r + 5 = 0. Is l composite?
False
Let c(h) = 3*h**3 - 2*h**2 + 2*h - 97. Is c(18) prime?
True
Suppose 10*c = -15*c + 440525. Is c prime?
False
Let f(c) = 132*c - 5. Let u be f(3). Suppose -8*i = -u - 2145. Is i a composite number?
False
Suppose 7*a - 8796 = 9*a. Let k = a - -1544. Let g = -1937 - k. Is g a composite number?
True
Let x = -35 - -127. Suppose h - x = 167. Is h prime?
False
Suppose -4*g = -22*g + 18. Is ((-8)/(-64)*1996)/(g/2) a composite number?
False
Suppose 2*m - 34 = -4*w - 4, -41 = -3*m - 2*w. Let j(f) be the third derivative of -f**6/120 + f**5/4 - 3*f**4/8 + 7*f**3/3 - f**2. Is j(m) a prime number?
False
Let w = -49973 + 71350. Is w a composite number?
False
Let f be (-4)/(-10) - (-380)/50. Let b = -5 + f. Suppose -5*m - b*g + 25 = 0, -m + 9 = m + g. Is m a composite number?
False
Suppose 0*j + 4*y = 5*j - 3327, 4*j = 3*y + 2662. Is j a composite number?
True
Suppose -13285 - 1303 = -14*f. Is f a prime number?
False
Let d = 3880 - -1347. Is d a prime number?
True
Let p = 968 - 489. Is p a prime number?
True
Suppose y = 2*g - 24, -32 = -5*g + y + 28. Suppose 3*f = 6 + g. Is 416/3 + 2/f prime?
True
Let i(y) = 124*y**2 + 2*y - 4. Let h be i(2). Let s = 705 - h. Is s prime?
False
Let d = 66 - 63. Let q(i) = 91*i + 14. Is q(d) a composite number?
True
Suppose -3*z + 2*y + 4969 = 0, -3*y + 5 = 2. Is z a composite number?
False
Suppose 2*k = 5*x + 25045, 3*k - 11848 = -3*x + 25688. Is k a composite number?
True
Is (-1 - 1)*((-29532)/8 + -5) composite?
False
Let l be 6/4*-2 - 28. Let a = 213 + l. Is a + 3 - (2 + -2) a composite number?
True
Let b(l) = 27*l**2 - 4*l - 2. Let m(t) = -t**2 - 9*t - 13. Let o be m(-6). Suppose -2*k = -o + 11. Is b(k) a prime number?
False
Suppose 5*d = -5*j - 10375, 2*d + 1742 = -j - 2410. Let m = d - -4290. Is m a composite number?
False
Let t = -11841 - -21902. Is t a prime number?
True
Suppose -9*s - 29887 = -144349. Is s prime?
False
Suppose 3*w - 9 = 2*z, -2*z + z + 3*w = 12. Suppose -2*q = c + 2 + 3, -10 = -z*c - q. Suppose -272 + 7 = -c*x. Is x a prime number?
True
Let u(l) = l**2 - 11*l - 1. Let z be u(10). Let x = -25 - z. Is 3269/x*-1*2 a composite number?
False
Let g = -1297 - -2546. Is g a composite number?
False
Let v(r) = 922*r**2 + 3*r + 9. Is v(-2) a composite number?
False
Is 69620/12 + -9 + 1/3 a composite number?
True
Is 2098 - (6 + 1) - -10 a composite number?
True
Let i = -99 - -161. Suppose 3*y + s + 1074 = 0, 0 = -2*y - s - 653 - i. Let t = y - -598. Is t composite?
False
Suppose -3*q = 2*x + 40, 4*x - 4 + 0 = q. Let m(a) = 3*a**2 + 12*a + 16. Let g be m(q). Is g/2 + -2 + -1 a composite number?
False
Suppose -2*w = 3*m - 9, -4*m + 4*w - 2*w + 12 = 0. Suppose -4*j = -15*j + 22. Suppose -m*t = j*f - 5*t - 658, -t = 0. Is f a prime number?
False
Let m(r) = 53*r + 14. Let z be m(6). Suppose 0 = 2*t - 4*d - 604, -2*t + z = -t + 4*d. Is t + (-6 - -2) + -1 prime?
True
Let s(x) = -34*x - 6. Let h(d) = -d. Let o(n) = -h(n) - s(n). Suppose 3*f + 6 = 15. Is o(f) a composite number?
True
Suppose -2*u + 3*u - 3*a = 7, 0 = -u + 2*a + 6. Suppose u*i = 2*g - 496, -g - 4*i = 3*g - 1028. Is g composite?
True
Let x(p) = -2*p**3 - 13*p**2 - 8*p + 10. Let i be x(-9). Suppose 3*z = 12, t - i = 5*z - 2*z. Is t a prime number?
True
Let q = 27 + 19. Let a be -2 + -2 + 1 + q. Let n = a + 19. Is n prime?
False
Let n(h) be the second derivative of h**5/20 - h**4/12 + 5*h**3/6 + 3*h**2/2 + 11*h. Is n(8) prime?
True
Let u be 6/(-16) + (-653093)/(-56). Suppose -2*w = 6, -5*x = -0*x + w - u. Is x a composite number?
False
Let i(n) = 15*n**3 - 7*n**2 + 8*n + 1. Is i(6) prime?
True
Let u = 89 - 89. Suppose -3*m + h - 6*h = -5009, -4*m - h + 6656 = u. Is m a prime number?
True
Let w(v) = 4*v**2 - v + 11. Let s be w(8). Let k = -140 + s. Let p = 228 - k. Is p a prime number?
True
Let y = 16 + -13. Suppose -y*n + 3*d = -n + 346, 0 = d - 2. Let o = -121 - n. Is o composite?
True
Let a(h) = -4*h + 1. Let u be a(1). Let g be -3*(-2)/u + -12. Let v(n) = -n**2 - 34*n + 13. Is v(g) a composite number?
False
Suppose c + 4*c - 350 = 0. Let h be ((-1)/(-2))/((-11)/(-66)). Suppose -5*f + 133 = h*m - m, -5*m = 2*f - c. Is f prime?
False
Let y = 6728 - 13870. Is y/((-2)/12 + (-11)/6) prime?
True
Suppose 4*d + 3*c = 27032, d - 5*c - 6942 + 161 = 0. Is d prime?
True
Let k(d) = d**3 - 6*d**2 - 9*d + 4. Let n(s) = -s**3 - 3*s**2 + 7. Let m be n(-3). Let h be k(m). Let i(l) = 2*l**2 + 9*l + 1. Is i(h) a composite number?
True
Let t = 995 - -92. Is t a prime number?
True
Let f = 15063 - 10226. Is f a composite number?
True
Let v(b) = -b + 11. Let g be v(9). Suppose -2*k + 3*s + 809 = -0*s, -g*k - 5*s = -769. Is k composite?
False
Suppose -3*r = 2*n - 9, -4*n + 3*r + 13 = 4*r. Suppose -n*u + 4*u = 0. Suppose u = i - 3*q - 105, i - q = -i + 220. Is i a composite number?
True
Let b(m) = -320*m**3 + 3*m**2 + 4*m. Is b(-1) prime?
False
Let h(d) be the third derivative of 161*d**6/40 - d**5/30 + d**3/6 + 35*d**2. Is h(1) a prime number?
False
Suppose 0*o - 5*o = -60. Let k(j) = -j**3 - 27*j**2 - j - 24. Let q be k(-27). Is q/12 + 2217/o prime?
False
Let k = 67121 + 3596. Is k composite?
Fals