 a composite number?
True
Let j = -129 + -114. Suppose 0 = 58*z + z + 55696. Let o = j - z. Is o composite?
False
Suppose 758 = 4*k + 5*x, -3*x = -3*k - k + 742. Suppose 0 = -4*z + 3*l - 393, -56 = 5*z - 3*l + 433. Let m = k + z. Is m prime?
False
Suppose 6*u - 30 = -6. Is -4*(-1)/u*673 composite?
False
Let q = -12 + 4. Let w be ((-114)/q)/(6/24). Suppose -10*a = -7*a - w. Is a prime?
True
Suppose -5*a - 2*m = -56027 - 69248, 3*m = -5*a + 125270. Is a a composite number?
False
Let m(r) = 3*r - 16 - 8*r + 3*r**2 + 3*r**2 - 4*r. Is m(-5) composite?
False
Let q = 3293 + -336. Is q a prime number?
True
Is (3 - (-6)/(24/(-28))) + 693 a composite number?
True
Let a = -643 - -311. Let r = 1581 + a. Is r a prime number?
True
Let y(j) = 15 + 6*j**2 + 22*j - 36*j + 25*j. Is y(11) a composite number?
True
Suppose -2*c = -c - j, -c - 4*j + 10 = 0. Suppose -2*v + x + x = 8, -2*x = 4*v - c. Let d(h) = 240*h**2 + 2*h + 1. Is d(v) a composite number?
False
Suppose 0*v - 5*v - 2030 = 0. Let u = -645 - v. Let q = -82 - u. Is q composite?
False
Let j be 2/((-3)/((-9)/6)). Let k be j/(-2) - 1746/(-12). Let t = 224 - k. Is t prime?
True
Let d = 32 + -32. Suppose t - 69 = -d*t. Is t a composite number?
True
Suppose -174 = r - 0*r + d, -3*r + 4*d = 550. Let x = r - -719. Is x prime?
True
Let s(m) be the second derivative of 6*m**3 - 11*m**2/2 - 3*m. Is s(15) a prime number?
False
Let p be ((-8)/(-28))/(3/147). Suppose p = -5*h + 5*r - 6, 3*r - 12 = -3*h. Suppose i - 91 - 58 = h. Is i a prime number?
True
Is 3 + -2 - (15/15 + -2179) a composite number?
False
Suppose 23*l + 40 = 28*l. Is 1*141*(9 - l) a composite number?
True
Is 3/((-24)/(-19618)) + (-12)/(-16) composite?
True
Suppose 21110 = -12*q + 22*q. Is q composite?
False
Suppose -3*n = 4*n + 16583. Let g = n - -1571. Let a = g + 1327. Is a a composite number?
True
Suppose -11*w = -16*w - 15, 2*k - 3*w - 4799 = 0. Is k prime?
False
Let t = 30552 - 15499. Is t a prime number?
True
Let j = 986 + -88. Is j a composite number?
True
Is (-177)/(-6)*(-776)/(16/(-4)) a composite number?
True
Let k(m) = -3*m**3 - 2*m**2 - 2*m - 2. Let c(d) = 2*d**3 - 3*d**2 + 1. Let h be c(2). Let b = h - 8. Is k(b) prime?
True
Let z(x) = 157*x**2 + 12. Is z(5) a composite number?
True
Let j(k) = 215*k**2 + 7*k - 5. Let i(p) = 3*p - 30. Let g be i(9). Is j(g) prime?
False
Let m(o) = o - 10. Let k be m(13). Suppose k*r + 1945 = 424. Let s = 836 + r. Is s composite?
True
Let h(f) = -915*f + 1. Let b be h(-1). Is (b - 2)*(-2)/(-4) prime?
True
Let o be (4/(-10) - 18/(-20))*4. Is (-8)/12 + (-12579)/(-9) + o prime?
True
Suppose -4*d - 1496 - 2396 = 0. Let p = d - -1556. Is p a composite number?
True
Suppose 5*w - 2 = 18, 8795 = 3*z - w. Is z a composite number?
True
Suppose -67*m - 258647 = -86*m. Is m a composite number?
False
Suppose -132 = -v - 43. Let g = v - 68. Is g a prime number?
False
Suppose -5*z + 4*y = -49, 6 = 4*y - 10. Suppose 18285 = z*h + 2*h. Is h a composite number?
True
Let z be -4677*(-6)/(-9)*-1. Suppose -n = n - z. Is n prime?
True
Suppose -5*v = c - 58, 3*c - 5*v = 5*c - 91. Is ((-93)/(-9) - -2)*c prime?
False
Let x be (-9)/12*-1*16. Suppose 2*u = a + 53, a + 2*u + 76 = -a. Let d = x - a. Is d a prime number?
False
Let c be (-6)/(-21) - 19/(-7). Suppose c*m - 39 = 5*v + 142, 2*m - 112 = -v. Is m a prime number?
False
Let p = 0 + 0. Let f(x) = -2*x**3 - 3*x**2 + 9*x - 4. Let w be f(-5). Is w + 3 + p + -2 composite?
False
Suppose -12*n + 6*n + 45930 = 0. Is n composite?
True
Let y(v) = -20*v**2 - 2*v + 8. Let p be y(3). Let f = -29 - p. Is f composite?
False
Suppose 4*q - 57812 = -3*j, 4*q + 4*j - 12145 - 45667 = 0. Is q a composite number?
True
Suppose 33*y - 36*y + 87 = 0. Let s be y*(2 + -5 + -3). Let o = 13 - s. Is o a prime number?
False
Let a(p) = 627*p**2 + 11*p - 7. Is a(1) a composite number?
False
Suppose -n + 3 = -1. Suppose -n*a - 28 = -32. Is -139*1*(-3)/a a prime number?
False
Is (-2820 + -3 - -4)/(-1) a composite number?
False
Let i(u) = -u**2 + 7*u - 8. Let s = -6 - -10. Let b be i(s). Suppose -4*d + 1969 = h, -b*d + 602 = -3*h - 1347. Is d a prime number?
True
Suppose -4*m = -16, 2*m = 2*s + 3*m - 12. Let b(z) = -z**3 + 9*z**2 - 2*z - 5. Is b(s) a prime number?
True
Let x(f) be the first derivative of 9*f**2 - 5*f - 1. Let t = -96 + 101. Is x(t) a composite number?
True
Let s be (-8)/(-12) + 87/(-9). Let h be s/(-4) + (-1)/4. Suppose -4*x = -h*x - 582. Is x a composite number?
True
Let d be 1*7 + (5 - 8). Let c = d - 6. Is 52 + 12/4 - c a prime number?
False
Suppose 2*q = 5*t - 54, -20 = -4*t + 2*q + 22. Suppose t + 0 = 4*x. Suppose 2*k + x = -v - 2*k, -4*k - 29 = -v. Is v composite?
False
Let w(h) = -7*h**3 - 2*h**2 - 2*h - 1. Let d be w(-1). Suppose d*k = 2*k + 472. Suppose z - k = -z. Is z a composite number?
False
Let h = 9 - 6. Suppose 4*n - 3*n = h. Suppose -w + 3*j = -68, j - 207 = -n*w - w. Is w composite?
False
Let s = -48 + 51. Suppose 579 = 3*u - k + s*k, -4*u + 773 = 3*k. Is u a composite number?
False
Suppose 0 = -v - 0*v + 2. Suppose -5*s = 3*u - 3841, u - 1413 + 114 = 3*s. Suppose -v*z = g - 0*z - u, 5*z - 1302 = -g. Is g a prime number?
True
Let x be 1*(1 + 2/(-2)) - -94. Suppose 0*h + x = 2*q - 4*h, 271 = 5*q - h. Is q prime?
False
Is ((-97624)/20)/((-9)/(180/8)) a prime number?
True
Let d(i) = -3*i - 10. Suppose -29 = -2*z + m + 4, -3*z = 3*m - 27. Let v be d(z). Let h = 7 - v. Is h a composite number?
False
Is (-2053)/(-2) + (-32)/(-64) composite?
True
Suppose f + 2*f = -f. Suppose 4*u - 1526 - 1470 = f. Is u a prime number?
False
Suppose 4*y - 8 = 0, 2*a - 412 = -2*a + 2*y. Let r = a - 49. Is r a prime number?
False
Let t be -1254 - (2/(-1) + -1). Is (-44)/(-55) + t/(-5) composite?
False
Suppose -2*b - 19 = 5*o, 4*o - 30 = -5*b + 7*o. Suppose 5*q - 3*s + 2*s - 143 = 0, b*q + 2*s - 78 = 0. Suppose 0 = v - 30 - q. Is v composite?
True
Suppose -177 = 10*s - 7*s. Let m = -6 - s. Is m a prime number?
True
Let i be (-2 - 0)*30/(-12). Suppose -u - 176 = -i*u. Suppose -u = 2*x - 672. Is x prime?
False
Suppose -135*b + 139*b = 5348. Is b a composite number?
True
Suppose 35 = 4*x + x. Suppose q - n - x = 0, q - 5*n + 1 = 28. Is (q - 3)/((-3)/1137) a prime number?
True
Let h = 0 + 2. Let a = 1 + h. Is 586/a*(-6)/(-4) a prime number?
True
Let q(n) = -1024*n - 603. Is q(-6) prime?
False
Let g = -102 + 1405. Suppose 4*n = 5*q + g, -2 = 3*q + 7. Let s = n - 229. Is s prime?
False
Let q be 1 - 0/1 - -1. Let j be 378/12 - (3/2 - 2). Suppose j = -q*s + 142. Is s prime?
False
Let j = 20 - 33. Let m be j/4 + 1/4. Is 282 - (8 + -1 + m) a prime number?
False
Let z(k) = 7*k**2 + 5*k - 7. Let x(v) = v**2 - 16*v - 22. Let j be x(17). Let g be z(j). Suppose h + 4 - g = 0. Is h a composite number?
False
Suppose 9*n + 42 = 10*n. Is (158/14 + (-12)/n)*7 prime?
False
Suppose o + 3*t = t - 16, 3*t = 15. Suppose 0 = -5*w - h + 133, 12 = 3*h + 3. Is (-4)/o - (-6730)/w composite?
True
Suppose 7*q + 3*b + 723 = 2*q, -q = -b + 143. Let z = 626 - 343. Let h = z + q. Is h prime?
True
Let i(a) = a**3 - 5*a**2 + 1. Let h = -4 - -4. Suppose 5*z + 45 = 5*w, -2*w = 3*z - h*z - 3. Is i(w) a composite number?
False
Is (-3 - -2)/((-24)/1854264) a prime number?
True
Suppose 3*m - 5*m = -2*r - 8, -4*r - 13 = -3*m. Let t = 7 - m. Suppose -4*b = 4*c - 240 - 260, 0 = -t*c + 3*b + 514. Is c a prime number?
True
Let d(l) = -l**2 - 2*l - 140. Let v be d(0). Let t be (-887)/(-2 - v/72). Is (-8)/6*t/(-24) prime?
True
Suppose 0 = -5*f + 23 + 17. Suppose 0*j = 2*j - f. Suppose 6*c = j*c - 2*h + 120, -h + 5 = 0. Is c composite?
True
Is (-41)/(6 + 57/(-9)) a composite number?
True
Let d(i) = -i**3 - 4*i**2 - 6*i - 2. Let k(h) be the third derivative of -h**6/120 + h**5/4 + 2*h**4/3 - 2*h**3/3 - 4*h**2. Let s be k(16). Is d(s) prime?
False
Let b = -2086 - -8184. Is b a prime number?
False
Let u(d) = -d. Let i(l) = -7*l + 1. Let p(f) = i(f) - 6*u(f). Let b be p(-4). Suppose r - 55 = b*y, -r + 321 = 4*r - 2*y. Is r a prime number?
False
Let w(d) be the first derivative of -9*d**4/4 + 4*d**3/3 - 3*d**2 - 4*d - 9. Is w(-3) a composite number?
False
Let j(q) = 2*q**3 - 13*q**2 + q + 12. Let w be j(9). Suppose 1419 = 5*u + 3*z, -4*z + w = 5*u - 991. Let n = u - 158. Is n composite?
False
Suppose 3*g - c = 9, -4*g + 5*c + 8 = -4. Suppose -v + 2440 