. Is 3*249*f/36 a prime number?
True
Let s be (-15)/(-6) - (-4 + (-9)/(-2)). Suppose -s*l + 661 - 55 = 0. Is l composite?
True
Let w(r) be the third derivative of r**5/20 + r**4/12 + 5*r**3/3 + r**2. Suppose -z + 4*z + 21 = -5*i, -3*z = -i + 21. Is w(z) a composite number?
True
Let r(p) = 5*p + 1003. Let w = 27 - 27. Is r(w) a prime number?
False
Let t = -7 - -47. Is (4193/4)/(10/t) a prime number?
False
Suppose 5*d = 1755 + 690. Is (d/9)/(3/9) prime?
True
Suppose 3*b - 15 = -3*z - 0*z, -14 = -2*z - 4*b. Suppose z*y = 5*q - 923, -407 = -5*q - y + 512. Suppose 400 = 4*g - q. Is g a composite number?
True
Suppose 4 = p - 2*p - 3*o, p - 2*o = 6. Suppose -2*q - 4 = 4*b, 2*q + p*b = b - 1. Suppose q = l + 13 - 50. Is l a prime number?
True
Let m(p) = -p**2 + 8*p + 13. Let y be m(9). Let t be (-4 + (-21)/2)*y. Is t/(-2)*(8 + -5) composite?
True
Let m(p) = -1300*p + 457. Is m(-18) composite?
False
Suppose -4*n + 36324 = -2*i, -4*n + 7*n = 3*i + 27249. Is n a prime number?
False
Suppose 2 = 2*k - 3*o - 1, 5*k - 14 = o. Suppose 7*r = k*r + 12. Suppose 0 = -z - r*z + 1172. Is z prime?
True
Let u(b) = -3*b + 11. Let g be u(2). Suppose -p + 3*p - 3*z - 1405 = 0, 0 = -5*p + g*z + 3520. Is p composite?
True
Suppose 4 = 2*v - 0. Suppose -v*r - 2 = -r. Is 4/16*r*-422 prime?
True
Let u(j) = -445*j**3 + 103*j**2 - 33*j**3 - 104*j**2 + 3 + 3*j. Is u(-2) a prime number?
False
Is (-4959)/114*(-1654)/3 a composite number?
True
Let l = 49 + -26. Let q be 5/(2/(-2*l)). Let c = 166 + q. Is c a composite number?
True
Suppose -5*w - 390 + 5648 = 3*t, -w = -t - 1058. Suppose 2*y - w + 59 = -r, -y = -4*r + 3989. Is r a prime number?
True
Suppose 0*k - 3*k + s = -5704, 2*s = 2*k - 3796. Is k a composite number?
True
Let y = 7 + -4. Suppose -y*j = j - 4240. Suppose 0 = -5*t - 5*b + 165 + j, -4*t + b + 1000 = 0. Is t a prime number?
False
Let n(l) = -104*l + 29. Let x(w) = -35*w + 10. Let d(u) = 3*n(u) - 8*x(u). Is d(-5) a prime number?
True
Let f be (-5)/30*3*-4. Suppose f*q - 1142 = 3*a + 1953, 2*q = -2*a + 3080. Is q prime?
True
Suppose p = 12*p - 103543. Is p prime?
True
Is 4413734/182 + (-4)/14 prime?
True
Let x be 12/(-18) + (-92044)/(-6). Let t be x/(-80)*(1 - 9). Suppose 5*j = -f + 312, 3*f - 8*f + t = -j. Is f a prime number?
True
Let g = -4 - -9. Suppose -f - g = -u + 4*u, 0 = 4*u + 2*f + 4. Is (3/(-9))/(u/414) a composite number?
True
Suppose 0 = 4*y, 3*y + 2216 = w - 1194. Suppose -w = -7*a + 881. Is a prime?
True
Let u = -7382 - -27509. Is u a prime number?
False
Is ((-4)/24*2)/((-1)/9663) a prime number?
True
Let z be -4*((-14)/(-4))/(-7). Suppose 16 = 4*k - z*u, -u - 16 = -2*k + 2*u. Is ((-42)/(-9))/(k/6) a composite number?
True
Let p be (-1)/(2/(1*184/4)). Let w(b) = -b**3 - b**2 + b + 33. Let r be w(0). Let g = p + r. Is g a prime number?
False
Suppose 44*o = 47*o - 135483. Is o a prime number?
True
Suppose 4*h = -6*h + 24580. Is h a composite number?
True
Suppose t + 0*t - 4*r + 16 = 0, 0 = 3*t + r - 4. Let y = t - 4. Is 9/(-6)*-58 - y a prime number?
False
Suppose 2*m + q = 5126, 3*m - q - 2557 = 2*m. Is m prime?
False
Let i(v) = v**2 + v + 3. Let s be i(0). Suppose s*h + t - 3*t - 17 = 0, 4 = 4*h + 2*t. Suppose -k + 49 = -2*z, -k + z + h*z = -39. Is k composite?
False
Is 5599 + (-2 - -3) - (-36)/12 a prime number?
False
Let h = 28 + -32. Let i = h + -115. Let m = i - -172. Is m prime?
True
Let b be 48 - (-2 - -3 - 0). Suppose -5*f - 5*y = -50, -y + 14 = 2*f - 2. Suppose 0 = -f*t + 517 + b. Is t composite?
True
Is 74/629 + 369693/51 composite?
True
Let f be 7/(-5) - (-4)/10. Is ((f - 7) + 3)*-3 a prime number?
False
Let u = 27 - 29. Is (u/8)/(16/(-36032)) prime?
True
Let a(h) = -11*h**3 + 5*h**2 + 3*h - 2. Is a(-3) prime?
True
Let d be (12/10)/((-12)/60). Let m be 4/d*2526/4. Let s = m + 722. Is s prime?
False
Let i be ((-2)/(-3))/(14/(-2919))*-40. Suppose d = 9*d - i. Is d prime?
False
Suppose -8*s + 5 = -13*s, -5*j - 2*s = -61663. Is j a composite number?
True
Let i(x) = -2*x**2 + 15*x - 4. Let f be i(6). Suppose -f*v - 26 = -15*v. Suppose v = 2*a - 36. Is a prime?
True
Let m(w) = -w**3 + 4*w**2 - w - 4. Let s be m(3). Suppose -3*o = -5*o - 4*c + 720, 2*c = -s*o + 716. Suppose -16 = 5*l - 1, l = v - o. Is v a composite number?
False
Let i = 9665 + -886. Is i composite?
False
Suppose 9 = -7*p + 4*p. Is (p/2)/((-3)/838) prime?
True
Let p(g) = -2*g**2 - 4*g + 7. Let r(u) be the first derivative of 8*u**3/3 + 15*u**2/2 - 29*u - 4. Let y(f) = -9*p(f) - 2*r(f). Is y(-6) prime?
True
Let d(y) = -20*y**2 + 14*y - 3. Let g(n) = -7*n**2 + 5*n - 1. Let p(m) = 6*d(m) - 17*g(m). Let r be p(0). Is r/4 + 3497/52 composite?
False
Suppose -2*s - v + 17 - 1 = 0, 0 = 2*s - 2*v - 4. Let l(h) = h**3 - 6*h**2 + 6*h - 5. Let y be l(s). Suppose 3*j = -y + 238. Is j composite?
True
Suppose 3*q = 70 + 215. Suppose o - 5*h + 11 + 72 = 0, 2*h - q = o. Let c = -50 - o. Is c prime?
True
Let d(s) = 3*s**3 + 18*s**2 + 9*s + 27. Let v(y) = 7*y**3 + 37*y**2 + 18*y + 53. Let c(t) = 5*d(t) - 2*v(t). Is c(-13) composite?
False
Let g = -75 + 78. Suppose g*j - 2*j + 1950 = 4*t, -1944 = -4*t - 2*j. Is t composite?
False
Let i = -4530 + 8357. Is i a composite number?
True
Let q(s) = -s**3 - 7*s**2 + 2*s + 9. Let z be q(-7). Is (1 + z/2)*(-5282)/57 a prime number?
True
Let b = 84 - 81. Suppose 0*d - b*x = 2*d - 651, 5*d + 2*x - 1611 = 0. Is d a prime number?
False
Let q = -10 - -43. Let h = 11 - q. Let i = 67 - h. Is i a composite number?
False
Let x = -1450 - -2446. Let z = x - 293. Is z composite?
True
Suppose 5*a = 59 - 19. Suppose 0 = a*n + n - 495. Is n a composite number?
True
Suppose 2*n + 4 = 2*i, 3*n = -i + 6*n - 2. Let z be (-80)/140*(-9 + 2). Suppose o + z*f = 23, -4*f = -i*o - o + 91. Is o a prime number?
True
Suppose -5*n + 11328 = -11317. Is n a prime number?
False
Suppose 197554 = 45*u - 379751. Is u composite?
False
Is 4/6 + 0 - (-407468)/276 prime?
False
Suppose 58 = -4*d - 3*k + 16178, k = 2*d - 8070. Is d composite?
True
Let d(k) = k**3 + 3*k**2 - 9*k + 7. Let z be d(-5). Let t(l) = -22 + 10*l + 0 - 14*l**z + 15*l**2. Is t(9) a composite number?
False
Suppose 0 = 16*g + 18*g - 197914. Is g a prime number?
True
Let b be (4/6)/(-2 - 4620/(-2313)). Let h = -44 - b. Is h prime?
False
Let w(j) = j**3 - 16*j**2 + 12*j + 3. Let d(f) = -f**2 + f + 1. Let o(b) = 2*d(b) - w(b). Is o(13) a composite number?
True
Let b(f) = -4*f - 20. Let c be b(-6). Suppose -c*h + 2035 = h. Is h a composite number?
True
Suppose -3*q + 5*v = -8*q, -2*q - 5*v - 9 = 0. Suppose 0 = 2*a + q*o - 529, -a + 532 = a + 2*o. Is a a prime number?
True
Let s(d) = 33*d**3 + 2*d**2 - 2*d - 12. Suppose -5*k + 4*t + 17 = 0, -2*t + 0*t - 6 = -2*k. Is s(k) a prime number?
True
Let a be (30/(-9))/((-1)/(-3)). Let n = a + 13. Suppose 0*u + 207 = n*u. Is u composite?
True
Let a be 322/3 + (4 - 52/12). Suppose a = r - m, r - 3*m - 63 = 46. Is r prime?
False
Let q(w) = -2194*w - 175. Is q(-3) composite?
True
Let l(d) = 813*d + 22. Let v be l(4). Suppose -5*w + v = -6171. Is w composite?
False
Let p(t) = -10*t - 50. Let u be p(-5). Is (13686 - -24) + (u - 5) prime?
False
Let z = 50209 - 794. Is z a composite number?
True
Suppose -138760 - 49537 = -3*v - 2*n, 2*v - n - 125522 = 0. Is v prime?
False
Let n(f) = 138*f - 418*f - 298*f + 3. Is n(-1) a prime number?
False
Suppose 7*l - 2*l = 0. Suppose q - 5*r + l + 15 = 0, -4*q + 32 = 3*r. Suppose -q*c = -2*h - 234, -c + 5*h = -71 + 15. Is c a prime number?
False
Is ((-15)/5)/6*-30332 - 5 a composite number?
False
Let z(t) = -t**3 - t + 1. Let d be z(1). Let q be 6 - 9/3 - d. Is (q/6)/(2/33) a composite number?
False
Let c = -30 - -29. Is (-826)/(c + (-3)/(5 - 2)) a prime number?
False
Let o be (-3)/(-1)*(-4)/(-6). Suppose 0 = -l + 3*v - 0*v + 161, o*l + v - 350 = 0. Let p = -115 + l. Is p prime?
False
Is ((-974)/10)/((-16)/7120) a prime number?
False
Is 1421748/42 + 8/(-56) a composite number?
False
Let w = 70 + -342. Let o = w + 449. Is o a prime number?
False
Let v(g) = -g**3 + g**2 + 3*g + 3. Let a be v(0). Suppose 2*x - a*t = 4813, 8*t - 9 = 5*t. Is x a composite number?
False
Suppose -f + 8 = 4*n, 4*f - 3*n = 13 - 0. Let h be (f/(-6))/((-14)/63). Suppose -740 = h*o - 7*o. Is o prime?
False
Suppose 94*u - 93*u = 21089. Is u prime?
True
Suppose 0 = -2*j - 1 + 5. Suppose -88 =