et g = 13 + t. Is (-4)/g - 275/(-15) a prime number?
True
Let r = 24891 - 17398. Is r a composite number?
True
Let b be (-1 - (-1 - 0))/(-1). Let u = b - -4. Suppose 71 = p + u. Is p composite?
False
Suppose 8*m = 9*m - 1062. Suppose -2*d + b + m = 0, 3 + 1 = -b. Is d prime?
False
Let f = 40 - 26. Suppose -4*p + 0*y - f = -2*y, -2*p + 4*y - 22 = 0. Is p + -2 + 150 + -1 a composite number?
True
Suppose 0 = 4*f + y - 44800, 5*f - 3*y - 53540 = 2477. Is f a prime number?
False
Suppose 3*x = 0, 4*x = 3*n - 1406 - 859. Suppose 0 = 4*g + 2*o - 1008, -3*g + 0*o - o = -n. Is g a prime number?
True
Suppose 5*q - 91575 = -5*b, 4*b = 3*q + 12686 + 60602. Is b composite?
True
Let f(g) = g**3 - 2*g**2 + 2. Let j be f(0). Is (-6328)/(-2) - j/(3 + -1) a prime number?
True
Let f(j) = -1139*j + 176. Is f(-9) a prime number?
True
Let t = 16 + -60. Let k = -12 - t. Is 8 + -7 + k + 0 a prime number?
False
Let h be -1*2/(-8) + 10502/8. Let d = h + 1834. Is d prime?
False
Suppose -76*f + 69*f = -55279. Is f a composite number?
True
Let r(n) = -5*n + 2*n + 5*n + 1. Let u be r(2). Suppose -3*f - 757 + 3519 = u*i, 4 = -4*f. Is i composite?
True
Suppose -236 = -2*i - 1678. Let a = 1208 + i. Is a a composite number?
False
Suppose -5*t = -28 - 42. Let x be (t/7)/((-4)/(-6)). Let s(v) = 2*v**3 + v - 4. Is s(x) a composite number?
False
Let u(l) = 46*l**2 - 8*l + 1. Is u(15) prime?
False
Let z(m) be the third derivative of -1/12*m**4 + 4*m**2 + 0 + 0*m + 259/6*m**3. Is z(0) a composite number?
True
Suppose -3*s + 2907 = 2*s + 4*l, -4*s - l = -2330. Is s composite?
True
Let h(o) = o**2 - o + 1. Let k(d) = 3*d**2 - d + 2. Let b(a) = 4*h(a) - k(a). Let j be b(3). Is (j/(-6))/((-3)/1179) composite?
False
Let v = -42709 - -72528. Is v prime?
True
Let v(k) = -3*k + 0*k + 16 + 0*k + 2*k. Let q be v(15). Is q/((-1)/237*-3) a prime number?
True
Let o be (0/1)/(-1) - (-4)/2. Is 393/o*(-28)/(-21) prime?
False
Let a = 72624 + -51179. Is a a composite number?
True
Let h(w) = 3*w - 1. Let q be h(1). Let f(t) = 156*t + 3. Let d(c) = 468*c + 10. Let s(j) = q*d(j) - 7*f(j). Is s(-3) prime?
True
Suppose -4*o - 12 = 4*d, 5*d - o + 4*o = -5. Suppose 0 = -d*s + 2093 + 3785. Is s composite?
False
Let q = -10814 - -15643. Is q a prime number?
False
Suppose 0 = -5*n + n - 2012. Let b = n + 762. Is b composite?
True
Let w(a) = 2*a**2 - 2*a - 7. Let s(m) = -7*m - 1. Let n(b) = -b**3 - 2*b**2 + 2*b - 4. Let c be n(-3). Let x be s(c). Is w(x) composite?
False
Suppose 5*k = -4*j + k - 192, -184 = 4*j - 4*k. Let q = 80 + j. Is q prime?
False
Suppose 5*b = -t + 18, 0 = b - t - 4*t + 12. Suppose -3*l + 2*c = l - 12, -5*l = -b*c - 15. Suppose 212 = 4*n + z + 13, -9 = -l*z. Is n a prime number?
False
Suppose 0 = -54*j + 57*j - 420. Suppose -3*g + 7*g - j = 0. Is g composite?
True
Suppose 2*x - 3*h - 23939 - 12923 = 0, 5*h = -2*x + 36862. Is x prime?
False
Let h = 12 - 12. Let t(b) = -b**2 - b + 157. Let j be t(h). Let p = j - 98. Is p prime?
True
Let u(b) = 81*b**2 - 14*b + 3. Is u(4) a composite number?
True
Suppose -18068 = -8*v - 6940. Is v a prime number?
False
Suppose 2*x - 5*x = 5*t + 13, 4*x = 3*t + 31. Suppose 3*j - 5806 = 4*p - 9*p, -x*j = p - 7747. Is j a prime number?
False
Suppose 2783*o = 2777*o + 173022. Is o a prime number?
True
Let r(x) = x**3 - 8*x**2 + 19*x - 233. Is r(18) a prime number?
False
Let q(j) = j**3 + 18*j**2 - 19*j + 5. Let v be q(-19). Is (v/20)/((-2)/(-904)) a prime number?
True
Let u = 48 + 6831. Is (u/9 - 0)*3 composite?
False
Let c(h) = 91*h**3 + 4*h**2 + 29*h + 17. Let p(n) = 30*n**3 + n**2 + 10*n + 6. Let x(y) = -4*c(y) + 11*p(y). Is x(-3) a composite number?
True
Let d = -182 + 631. Is d a composite number?
False
Is 63215 + 6/6 - (-14)/(-2) prime?
False
Is (-337 + 11)/((-240)/(-124) - 2) a composite number?
True
Suppose -5*p + 6 = -a, a - 3*p + 1 = -1. Let f(z) = 2*z**3 + 3*z + 5. Is f(a) composite?
True
Suppose 3*l + 5*w = 7, 5*l + 3*w - 16 = -w. Suppose -4*s - l*t + 60 = 0, 3*s - 3*t + 9 = 30. Let x(y) = 3*y**2 - 12*y - 10. Is x(s) composite?
True
Let d = -4212 + 22071. Is d composite?
True
Suppose 0*u = 3*u. Suppose u = 5*a + 108 - 278. Is 1*(-1 + 0) + a a composite number?
True
Let s(t) = t**3 - 11*t**2 + 7*t + 5. Let z be s(10). Let d = 17 + z. Is 284/d*-1*10 a prime number?
False
Let r(f) be the second derivative of f**5/10 - 5*f**4/12 - 3*f**3/2 - 11*f**2/2 - 14*f. Is r(9) a prime number?
False
Let y be 5*-5*(-8)/100. Suppose -y*z + 2*q = 1440, -3*z - 2*q - 2157 = -4*q. Let u = -358 - z. Is u a prime number?
True
Suppose -5*z = a - 588 - 233, -2*z = a - 812. Let f = a + -223. Is f a composite number?
True
Suppose 0 = -7*g + 39 - 11. Is 74*15 - (0 - (5 - g)) prime?
False
Suppose -w - 4*n + 316 = 94, -5*w + 2*n = -1154. Suppose 0 = -5*q + 1645 - w. Let j = q - 29. Is j a composite number?
True
Let u(h) = 17*h**2 - h + 3. Let v be u(-5). Suppose -f = -2766 + v. Is f prime?
True
Let b = 3 - 12. Let s = b - -11. Suppose 0 = s*f - 756 + 142. Is f prime?
True
Let b(n) = -1228*n + 1. Let x be b(1). Let j = -847 - x. Suppose 5*l + 2*g - g = j, 2*g + 10 = 0. Is l prime?
False
Is 2/2*19735 + (-116)/(-29) a prime number?
True
Let r(d) = 1041*d**3 - 3*d**2 + 4*d - 3. Is r(2) prime?
False
Suppose 6 = f + 35. Let v = f + 33. Suppose v*r = -a + 2*r + 23, -r + 59 = 3*a. Is a a composite number?
False
Let p(t) = -167*t - 4. Let j be -1*1/(-2)*0 - 9. Is p(j) a prime number?
True
Suppose 230 = 5*k - 3*c, -4*k - 11*c + 152 = -7*c. Suppose -4*w = -d + k, 219 = 4*d + 5*w - 16. Is d composite?
True
Suppose -79202 = -3*u + 3*h + 10537, h - 4 = 0. Is u a composite number?
False
Suppose 0*a - a = 2. Let q(l) = -l**3 - 2*l**2 - 4*l - 2. Let f be q(a). Suppose -5*u = -f*u + 115. Is u composite?
True
Suppose 5*s = 3*p - 7*p + 139957, -4*s = 4*p - 139960. Is p a prime number?
False
Let v = -10215 - -19960. Suppose -7*l - 5*a = -2*l - v, -3*a + 3902 = 2*l. Is l prime?
False
Suppose -c = -5*h + 23, 0 = -4*h - 6*c + c + 1. Is -499*(-2 - 2)/h prime?
True
Suppose 0 = 2*s + 3*m + 1752, 4*s - s = -m - 2635. Is (1 + -3)/(6/s) a prime number?
True
Let x = 1542 - -6065. Is x a prime number?
True
Let k = 9713 + -547. Is k composite?
True
Let f = 2351 + -1678. Is f a prime number?
True
Suppose 0 = i - 4*z - 3, 3*i - 18 = -3*z + 6. Let b = 10 - i. Suppose 0 = -v - b, 0*k - 2*v - 430 = -4*k. Is k a composite number?
True
Let l be 2/6 - 55/(-15). Suppose -6661 = -l*v - 2441. Is v a composite number?
True
Let c = -314 - -676. Let a = c - -221. Is a composite?
True
Let s(j) = -422*j - 66*j + 4 + 3. Is s(-2) prime?
True
Let b(j) = 41*j - 20. Let n be b(-15). Let y = -190 - n. Is y a composite number?
True
Is -21 + 2178 + (-2 - -4) a composite number?
True
Suppose 18 = 5*x - 2*x. Suppose 274 = 2*r + 2*l - x*l, 0 = 5*r - 3*l - 650. Is r a prime number?
True
Suppose -11*b - 22398 = -3*n - 8*b, -2*n - 5*b + 14911 = 0. Is n prime?
False
Suppose 2*r - q + 30 = 3*q, -2*r + 5*q - 28 = 0. Is -3*r*(-2)/(-6) composite?
False
Let h be 1402 + (-3)/6*6. Let f = h + 398. Is f composite?
True
Is 1/(-3)*(130 - 9913) a prime number?
False
Let p be ((-72)/20)/(6/100). Let u = 14 + p. Let v = u - -93. Is v a prime number?
True
Suppose 5*o + 9521 = n, 4*o - 9580 + 77 = -n. Is n a prime number?
True
Suppose 0 = 3*x - 2*n - 1544 - 1773, 4*x - 3*n - 4421 = 0. Is x a prime number?
True
Let o(x) = 3*x**3. Let s(h) = -5*h**3. Let j(b) = -8*o(b) - 5*s(b). Let d be j(0). Suppose 0 = 5*w + 5*q - 2495, -5*w = -d*q + 4*q - 2495. Is w a prime number?
True
Let r(v) = -v + 1. Let u(o) = -30*o - 11. Let k(t) = 2*r(t) + u(t). Is k(-8) a composite number?
True
Let i(l) = 2*l + 8. Let b be i(-6). Suppose 0 = 3*o - 215 + 212. Is o*(2 + b) + 25 composite?
False
Suppose -89 = -7*i + 107. Suppose -33*p = -i*p - 3485. Is p a composite number?
True
Suppose -2*s + 3*a + 10747 = 0, -2*a - 10752 = -2*s - 0*a. Is s a composite number?
False
Let g = -10558 + 20361. Is g composite?
False
Is (7558/12)/((-24)/(-144)) a prime number?
True
Let n = -19 + 21. Suppose -n*g - 4 = -3*g. Suppose -4*m - g*k = -164, m = -m + 3*k + 107. Is m a composite number?
True
Let j be ((-36)/48)/(1/(-236)). Is (1/3)/(1/j) a prime number?
True
Let g be (270/25 + -10)/((-4)/10). Is 316 - (1 + g + -2) a composite number?
True
Let y be 16/4*20/(-16). Let n(u) = -1 - 5 - 6*u + 2. Is