?
True
Suppose -20008 = 7*h + h. Let v = -1419 - h. Is v prime?
False
Let o = -29896 + 46767. Is o prime?
True
Let a = -153 + 228. Let m be ((-6)/(-15))/(3/a). Suppose m + 17 = 3*j. Is j prime?
False
Suppose -3*x + 4*x - 5*t = 12222, 0 = 2*x + 5*t - 24504. Is x a composite number?
True
Suppose 43*u - 116838 = 25*u. Is u composite?
False
Suppose -q + 4*d = 30, -10 = 5*q + 3*d + 71. Suppose l + 111 = -2*l. Let c = q - l. Is c a composite number?
False
Suppose 5*t = 10041 + 214. Is t composite?
True
Let d be (2/2 - -2)*(1 + 0). Suppose -4*t - 649 = -5*t - d*b, 0 = 2*t + 5*b - 1300. Is t composite?
True
Let t(m) be the first derivative of m**4/4 - 17*m**3/3 + 19*m**2/2 - 13*m - 1. Let d = -91 - -107. Is t(d) prime?
False
Is (-1 + 688/(-3))/(1/(-33)) a composite number?
True
Let k = -196 + 85. Let x = 892 + k. Is x composite?
True
Let l be 0/(3/((-9)/(-6))). Suppose 2*b - 2098 = -l*b. Is b a prime number?
True
Suppose 2 - 23 = -b. Suppose 26*w - 2605 = b*w. Is w a prime number?
True
Let m(k) = k**2 + 14*k - 13. Let h be 1/4 + 0 + (-315)/(-36). Is m(h) a composite number?
True
Let a(n) = 25 + 22*n - 33*n - 245*n. Is a(-4) a prime number?
True
Let r(n) = 77*n**2 - 1. Let d be (8/(-10))/((-2)/10). Suppose -3*g - 9 + 4 = v, 2*g - d = 3*v. Is r(v) composite?
False
Let c be -4 + 31 + -8 + 4. Let h(i) = i**2 + 17*i + 13. Is h(c) a composite number?
True
Is (-36)/30 - (-1233337)/35 composite?
True
Suppose 1 + 7 = 4*r. Suppose -r*b = -b - 203. Is b a prime number?
False
Let i be (-170)/(-20)*(-1 + -17). Let k be (16/(-4))/(-1) - i. Suppose k = 5*q - 4*q. Is q a composite number?
False
Let t be 6/(-4)*40/6. Let r = -364 + 776. Let h = r - t. Is h a prime number?
False
Suppose 8 = -3*r - 1, 3*n - 2*r + 255 = 0. Let c = 490 + n. Is c prime?
False
Suppose -2053 - 1375 = -4*g. Suppose g + 563 = 10*p. Is p prime?
False
Let i(q) = 62*q**2 - 3*q - 5. Is i(2) composite?
True
Let z = 19 - 17. Suppose 0 = -z*u + 8*u. Suppose 10*v - 8*v - 1582 = u. Is v a prime number?
False
Suppose -4*w + 131935 = -64453. Is w composite?
True
Suppose 0 = 4*z - 3*d - 14485, -35*z = -30*z + 5*d - 18115. Is z prime?
False
Let k = 8484 + -5201. Let w = k - 102. Is w a composite number?
False
Let z = 129996 - 71807. Is z composite?
False
Let a = 3484 + -1281. Is a composite?
False
Suppose -11088 = -10*o + 5402. Is o a prime number?
False
Let j(y) = 643*y**2 - y - 1. Suppose -9 - 1 = -5*h. Suppose -c - 4 = r, 3*r + 0 + h = -c. Is j(r) a composite number?
False
Let g = 6844 - 731. Is g a prime number?
True
Let w(j) = -j**2 - 8*j - 2. Let p be w(-6). Let c(k) = 25 + 2*k - k**3 - p*k**2 + 0*k**3 + 11*k**2. Is c(0) a prime number?
False
Is (-345)/(-230)*96932/6 a prime number?
False
Suppose 2*r = 7*r + 5. Let t(p) = -225*p - 2. Is t(r) a composite number?
False
Is ((-3310)/30)/(-5 + (-2652)/(-531)) prime?
False
Is (18/(-144))/(3/(-809736)) prime?
True
Suppose -252325 = -12*z - 409. Is z composite?
True
Let t(a) = -10*a + 15*a + 6*a + 20*a. Let m be t(3). Suppose -g - m = -284. Is g a composite number?
False
Let x be 70976/80 + 1/(-5). Let l = -594 + x. Is l prime?
True
Suppose 12*n = -54*n + 20724. Is n a composite number?
True
Let d(y) = 74*y**3 - 6*y**2 + 13*y - 22. Is d(5) a composite number?
True
Let u(g) = -g**3 + 6*g**2 - g + 9. Is u(-13) a prime number?
False
Let a be (-2)/(1/(3/(-3))). Let v be (a - (91 - 3))*-1. Let f = v + -17. Is f a prime number?
False
Suppose 4*v + 7633 - 25321 = 0. Suppose v = 14*n - 8*n. Is n prime?
False
Suppose 11*f + 3736 = 16397. Is f prime?
True
Suppose 3*p = 1035 + 366. Let r = p - -372. Is r prime?
True
Suppose -2*n - 5*y - 12 = 0, -n - 3*y = y. Is (-580)/n*(6 + -2) a composite number?
True
Let b(w) = 18*w**2 + 7*w + 1. Suppose 20*o = 15*o + 55. Suppose 0 = 4*h - 13 - o. Is b(h) composite?
False
Let r be (4/(12/9))/((-3)/244). Let b = r - -875. Is b a prime number?
True
Let m(i) = 4*i**2 - i - 1. Let z be m(1). Suppose 0 = z*u - 563 + 69. Is u a prime number?
False
Let y(j) be the second derivative of 7*j**4/4 - j**3/3 - j**2/2 + 5*j. Let x be y(-1). Is (-1045)/(-7) - x/77 a composite number?
False
Is (-6)/(-9) - (94164/(-18) + 5) a prime number?
True
Let f(s) be the third derivative of -7*s**4/12 - 11*s**3/6 + s**2. Is f(-12) prime?
True
Suppose 6*s - 30119 - 83815 = 0. Is s a composite number?
True
Let q(g) be the second derivative of 19*g**4/6 + 5*g**2/2 + g. Is q(-5) prime?
False
Let f(u) = -5*u**3 + 2*u**2 - 3*u + 1. Suppose -8*h + 25 = -3*h. Let w be (21/35)/((-1)/h). Is f(w) a prime number?
True
Let k(g) = 0 + 7 + 36*g + 2*g**2 - 14*g. Is k(-15) composite?
False
Let u(w) = -w**3 + 22*w**2 + 25*w - 15. Let p be u(14). Let b = p + -950. Is b a composite number?
False
Suppose -q - 682 - 1772 = 4*g, 0 = 2*g - 2*q + 1232. Is g*-1*1/2 a prime number?
True
Let w be (-7 - 314)*8/6. Let a be (w/5)/((-2)/10). Let t = a - 217. Is t prime?
True
Let o(x) = 21*x**2 - 6*x + 7. Let h be o(2). Suppose 8*d - h = 193. Is d composite?
True
Suppose 0 = -m + 4*u - 4, -3*u = -8 + 2. Suppose -2*k + 4 = 0, -m*p + 6*k + 6214 = 3*k. Suppose p = 4*r + r. Is r a prime number?
True
Suppose -4*t + 2*n + 1480 = 530, 0 = -2*t - 5*n + 445. Is t a prime number?
False
Let z(w) = 2707*w - 538. Is z(17) prime?
True
Is -11710*(-30)/35 + 2/(-14) composite?
False
Suppose 21528 = 7*s - 17126. Suppose -s = -a - a. Is a prime?
False
Is (-774380)/124*((-8)/(-10) - 1) composite?
False
Let m be 44/55*10/4. Suppose 5*o + 3468 = 3*b, -m*b - o + 2290 = 3*o. Is b composite?
False
Suppose 0 = -2*m + 6*m, -549 = -3*y + 2*m. Is y a composite number?
True
Suppose 0 = 5*y, 0*y + y = -d + 3. Let b(u) = 4*u**3 + 7*u**2 + 2*u - 4. Let q(c) = c**3 + c**2 + c - 1. Let a(v) = d*q(v) - b(v). Is a(-5) a composite number?
True
Suppose -12264 = -4*q + 2052. Suppose q = o + 2*o. Is o prime?
True
Let m = 257 - 204. Is m a composite number?
False
Let m = 3 + 4. Suppose -3*t + 2*t + 3*j = m, t + 4 = 2*j. Suppose 3*k = f - 24, 3*f + 5*k - 108 = t*k. Is f a composite number?
True
Suppose 0 = -4*b + 129528 - 36340. Is b prime?
True
Let x be 22*-23*(6 - 2 - 7). Suppose -3*c + x = 3*c. Is c a prime number?
False
Let a = 1070 - -713. Is a a prime number?
True
Let d(y) be the first derivative of y**4/2 - 10*y**3/3 - 5*y**2/2 + 17*y + 6. Is d(8) composite?
True
Suppose 142*b - 172*b = -979410. Is b a prime number?
True
Let w(p) = -p**2 + 12*p - 28. Let c be w(4). Suppose -c*q + 5*b = -9231, 3*q - 3275 = 3*b + 3649. Is q composite?
False
Is ((-964)/6 - -1)*(3 + -42) composite?
True
Suppose -12 = 4*o - 5*s - 38, 5*o - 2*s = 24. Suppose -o*g - 35 = -6*l + l, 3*l = -5*g + 21. Is l/((-21)/(-480)) - -3 composite?
False
Suppose -3*x + 4*n + 26944 = 2499, -x + 8144 = 3*n. Is x composite?
False
Suppose 5*z = 10698 - 2148. Suppose -8*n = -2266 - z. Is n a prime number?
False
Let a = -400 + 245. Let d = -224 + 686. Let c = d + a. Is c a composite number?
False
Suppose -m + 2*t = -16, -m - 33 + 14 = 5*t. Is (m/(-24)*14)/(2/(-44)) a composite number?
True
Let k(l) = 659*l**2 - l. Let r be k(-1). Let b = 255 - 87. Suppose 4*n + b - r = 0. Is n a prime number?
False
Suppose -4*d + 4*y + 40868 = 0, -d + 0*y - 2*y + 10229 = 0. Suppose 0 = 19*n - d - 8608. Is n a prime number?
True
Let z(k) = k**3 - k**2 - 1. Let l(d) = 3*d**3 + 2*d**2 - 3*d - 4. Let q(r) = -l(r) + 5*z(r). Is q(11) a prime number?
True
Let t(m) = 4*m - 1 - 3*m - 2 - 3. Let k be t(6). Suppose -3*x - 4*z + 609 = k, 2*x - 468 = -2*z - 62. Is x a composite number?
True
Let k be -12*((-1)/(-2) + 0). Is (-5 - k)/((-2)/(-790)) composite?
True
Suppose -17*t + 196890 = 13069. Is t composite?
True
Let s(l) = 36*l + 12. Let r be (-21)/((-3)/(-2) - 3). Let a be s(r). Let p = a + -325. Is p prime?
True
Is (-119154)/4*74/(-111) prime?
False
Let d(r) = 9*r**2 + 3*r + 1. Let w(s) = s**3 - 11*s**2 + 8*s + 14. Let g be w(10). Is d(g) prime?
True
Suppose -2627 = -k + 4*m - 368, -3*k + 6777 = 4*m. Suppose -h - 2*h + k = 0. Suppose 275 + h = 4*o. Is o a prime number?
True
Let r = -59373 + 87976. Is r composite?
False
Let i be ((-2)/4)/(6/(-36)). Suppose -3*h = i*n - 2742, -2782 = -2*h - h + 5*n. Is h a prime number?
True
Suppose 818852 = 58*l - 1299482. Is l a composite number?
False
Let u(s) = 8 - 16 - s + 9 + 323*s**2. Is u(2) a composite number?
False
Let q = 46 - -2587. Is q a prime numbe