
True
Let b = 6397 - 2576. Is b a prime number?
True
Suppose 5*r - 65 = -5*x, -6*r + 5*x = -4*r - 26. Suppose -1126 = -15*n + r*n. Is n a prime number?
True
Let z = 289693 + -180414. Is z prime?
True
Let v = 16465 + 10456. Is v a composite number?
False
Suppose -4*l - 5*k = -511, 3*k + 2 - 11 = 0. Let c = 347 - l. Is c prime?
True
Suppose o + 402 = m - 271, 1345 = -2*o + 3*m. Is (o/(-4))/((-13)/(-26)) a composite number?
False
Is ((1 - 1) + -1)/((-55)/210155) a composite number?
False
Let f = 23 - 18. Suppose 0 = 3*s + o + o - 6019, -f*s = -o - 10010. Is s composite?
False
Is 117/78*((-3352)/(-6))/1 a prime number?
False
Let b = 6072 - -13491. Is b composite?
True
Let a be -2 + 5/15*1779. Suppose -8*n + 1911 - a = 0. Suppose h - 5*o = -2*h + 86, 5*h = 4*o + n. Is h a composite number?
False
Let h(k) = k + 8. Let m be h(-5). Let b be 4/2 + 712 + m. Suppose 5*i - b - 958 = 0. Is i composite?
True
Let c(n) = -3*n**3 + 4*n**2 - 2*n + 5. Let o be c(3). Let t = 72 + o. Is t a composite number?
True
Let y = 14 + -9. Let x be 4/(-12) + y/(-3). Let j = 45 - x. Is j a prime number?
True
Let t = 4 + 1. Suppose -5 = -t*n - 0. Is -92*n*10/(-8) a composite number?
True
Let r(o) = o**3 - 3*o**2 + 3*o - 2. Let a be r(2). Suppose 3*n + 4*m - 1085 = a, -3*m = -2 - 4. Is n a composite number?
False
Let h(w) = 3*w**3 - 79*w**2 + 41*w + 119. Is h(32) a composite number?
False
Let s(i) = 49*i - 36. Let m be s(-11). Let n = m + 2308. Is n prime?
True
Suppose 0 = 3*n + 9, -o - 4*n + 7*n + 18 = 0. Let l(u) = u**3 - 7*u**2 + u + 7. Let w be l(o). Let a = w + -83. Is a a composite number?
True
Let x(o) = -644*o - 327. Is x(-23) composite?
True
Let g = -35 - -39. Suppose 2*m + g*z - 345 = 355, -696 = -2*m - 2*z. Is m composite?
True
Is ((-4)/(-4))/(1/(-3)) + 302 prime?
False
Suppose 12*f - 268410 = -18*f. Is f a composite number?
True
Is -2613*86/(-102) - (-4)/(-34) prime?
True
Suppose -4*q - 1 + 13 = 0. Suppose 85 = 5*i - 2*p, -i - q*i - 5*p + 35 = 0. Is (-3786)/(-15) + i/25 a composite number?
True
Let n(j) be the second derivative of 1133*j**3/6 + 4*j**2 - 6*j. Is n(3) a prime number?
True
Let x(r) = -6*r**3 - 7*r**2 + 6*r. Let q be x(-6). Suppose 0 = -4*u - 4*d + q, 0 = -u - d + 6*d + 246. Is u a prime number?
True
Let r be (-1)/((-15435)/(-7715) + -2). Let m = r + 2862. Is m a composite number?
False
Let y(l) = -l**2 - l. Let w be y(2). Let k = 4877 - 3060. Is w/45 - k/(-15) a composite number?
True
Let f(n) = n**2 + 11*n + 14. Let h be f(-10). Let x = 0 + 3. Let u = h + x. Is u prime?
True
Let u(p) = 1006*p**2 + 20*p + 7. Is u(5) a composite number?
True
Let p be (-440)/6 + 4/(-6). Let t = -29 - p. Is (6/4)/(t/1650) composite?
True
Let k(s) = 2*s**3 + s - 1. Let m be k(1). Suppose 42 = 5*r + g, -18 = -m*r - 2*g + 2. Let x = 71 + r. Is x a prime number?
True
Suppose -t = 1, t + 3*t = -5*c + 11. Let i(z) = 63*z**3 + 3*z**2 + 3*z - 4. Is i(c) a prime number?
True
Suppose -6*l - 92 = -5*l. Let o = l - -147. Suppose 0 = -k + o + 114. Is k a prime number?
False
Let b(v) = 11*v**3 - 3*v**2 + 3*v - 1. Let i be b(5). Suppose -2*q - q = -i. Suppose -38 = -4*f + q. Is f composite?
True
Let q(k) = -k**2 + 12*k + 10. Let x be q(11). Let v = -175 + x. Let o = 7 - v. Is o prime?
False
Let b(t) = 10*t**2 + 3*t + 3. Let y be b(-1). Suppose 25*q = y*q + 38805. Is q composite?
True
Let f(i) = 51*i**3 - i**2 + 4*i - 3. Let w be f(2). Suppose -10*h + 281 + w = 0. Is h a prime number?
False
Let u = 348 + -125. Is u a composite number?
False
Let n be (-14)/(-21)*(-3)/2. Is 2 + -24*(-4 - n) composite?
True
Let g = -39242 - -81751. Is g prime?
True
Let t be 1614/42 - (-8)/14. Suppose 0 = -7*y + 4*y + t. Is y prime?
True
Let f(l) = -7 - 3 + l - 3 - 6. Let r be f(15). Is r/6 + 59/3 a prime number?
True
Let t(s) = 49*s + 11*s**2 + s**3 - 39*s + 2 + 0. Let k be t(-10). Let o(u) = 37*u + 3. Is o(k) a prime number?
False
Let k(u) = 641*u - 46. Let q be k(-6). Is 2/15 + q/(-60) composite?
True
Suppose 0 = 11*i - i - 50. Let x(z) = 15*z**2 + 4*z - 6. Is x(i) a composite number?
False
Let r(o) = o**3 - 4*o**2 + 2*o + 5. Let w be r(5). Suppose -2*f + 2 = 0, 0 = -5*y + f + 4*f - w. Let s = 76 + y. Is s a composite number?
True
Suppose -5*f + 33 = 2*j - 109, 0 = 4*j + 3*f - 298. Let z = j + 9. Is z composite?
True
Let c = 4808 - -5751. Is c a prime number?
True
Suppose -17*a + 244797 + 109636 = 0. Is a a prime number?
True
Let v be (-2)/(-9) - (-2226)/189. Let h be 962/4 + v/8. Suppose -5*l + 7*l = h. Is l a composite number?
True
Let d(b) = -b**2 + 5*b - 4. Let g be d(4). Suppose -2*t - 38 = -l - g*l, 5*l = t + 28. Is (762/9)/((-12)/t) a prime number?
True
Let l(m) = m**2 + 7*m + 5 + 0*m**2 - 3*m**2 + m**2. Let o be l(10). Let r = o - -74. Is r composite?
True
Let o = 11 + -9. Suppose 0 = -d + 4*d - 4*u - 357, 4*d + o*u = 498. Is d composite?
True
Suppose 3*b - 8*u - 88034 = -3*u, -5*b - 4*u + 146674 = 0. Is b prime?
False
Let f(p) = 29*p**2 - 66*p + 249. Is f(4) prime?
True
Let j(p) = -p**3 - p**2 + 3*p + 5. Let t be j(4). Let a be 25/(2 + t/33). Suppose 6*x - 1699 - a = 0. Is x composite?
True
Let v = 2439 + -280. Is v prime?
False
Suppose -l - x - 2 = 0, -24 = -4*l + 2*l + 5*x. Suppose 0 = 6*w + 152 - l. Is (-2)/(-5) + (-240)/w prime?
False
Let s = 42373 - 9302. Is s prime?
True
Suppose -12827 = -6*m + 5563. Is m a composite number?
True
Let c be (-2)/11 + 6174/77. Suppose -6*f = -f - c. Is (-92)/f*-22*2 prime?
False
Suppose -2*z = z - 228. Let c = -335 - -408. Suppose -c - z = -m. Is m composite?
False
Let v = 5246 + -1155. Is v prime?
True
Suppose -j - 2*q = -160, -2*j + 413 = -5*q + 75. Let k(t) = -9*t**2 + 3*t + 1. Let m be k(-2). Let a = j + m. Is a prime?
False
Suppose -91854 = -4*x + 2*m - 4*m, m = -3*x + 68888. Is x prime?
True
Let s be 1025/(-3) - 1/3. Suppose -4*r + 5*l = -739 - 1178, -4*r + l + 1929 = 0. Let u = r + s. Is u a composite number?
True
Suppose s = 1213 + 6844. Is s a prime number?
False
Is (-26)/13 + (10270 - 3/3) prime?
True
Suppose 4*l + 3*u = 2749, -3*u = -l - 0*l + 706. Is l prime?
True
Suppose 0 = 3*a + 2*p + 605, -2*a - 4*p - 414 = -0*a. Suppose -7*c + 3*c - 352 = 0. Let n = c - a. Is n prime?
False
Suppose 3*i + 3 = 9. Let m be (-3 - -1) + 0 + i. Suppose m = -0*s + 5*s - 310. Is s a prime number?
False
Suppose 5*w = 2*w + 3147. Let m = -580 + w. Is m a prime number?
False
Is 1267 - (-5 + 5 + 8) a composite number?
False
Suppose -18*f + 4883 = -20299. Is f a prime number?
True
Let f be (-13)/(-5) + (-6)/(-15). Suppose 978 = f*v + 5*j, 2*j = -3*j. Is v a composite number?
True
Let f be 6/(-10) + (-39)/(-15). Suppose 524 = f*b - 1054. Suppose c - b = -2*c. Is c a prime number?
True
Let j = 250 + 218. Let d = j + 41. Is d composite?
False
Is (-16)/8 + -3 + 7734*1 composite?
True
Let x be (-4)/(-2) + (-1 - -3). Suppose 0 = x*k + 2*b - 512, 2*k + k - 2*b - 377 = 0. Is k a prime number?
True
Let z be (10/25)/(6/15). Is (-388)/(-8)*z*2 prime?
True
Suppose -n + 11 + 4 = 3*b, 5*n = 3*b + 3. Suppose -g = b*g - 885. Is g a prime number?
False
Let p = -4885 + 13742. Is p a prime number?
False
Let w = -241 - -459. Suppose w = s - 49. Is s a composite number?
True
Let r(s) = -s**2 - 5*s + 4837. Is r(0) prime?
False
Suppose -3*u + 1051 = -2*u - 4*i, -5*u - 5*i + 5180 = 0. Is u a prime number?
True
Let u be 48/14 + -3 - 3/7. Suppose 5*n + 3*o - 1717 = u, -3*n + o = 4*o - 1035. Is n composite?
True
Let k be (3 - 12*623) + 0. Let w = k - -11187. Is w/(-9)*(-12)/8 a prime number?
True
Suppose 10*m + 2*j - 816548 = 607022, -3*m + j + 427071 = 0. Is m a prime number?
True
Let g = 2608 - 909. Let q = -912 + g. Is q a composite number?
False
Suppose -2*h + 5*a = -11, 4*h - a = a + 62. Let x be 3/(-2) + 99/h. Is (-346)/(-5) + x/(-20) composite?
True
Suppose 0 = 2*x - 4, -d - 5*x + 964 = d. Is (d/3 - 1)*1/2 a composite number?
False
Let q(k) be the third derivative of k**8/4032 - k**7/630 + k**6/180 - k**5/12 - 5*k**2. Let y(u) be the third derivative of q(u). Is y(5) composite?
False
Let t = 19188 + -10447. Is t a prime number?
True
Let v(b) = b**3 + 24*b**2 - 35*b - 27. Let w be v(-21). Let o = 3202 - w. Is o prime?
True
Suppose 2*x + 7*c - 188 = 4*c, -2*x + 2*c + 178 = 0. Let k(b) = -b. Let p be k(-4). Suppose 3*u - 67 = 3*n - n, 3*u - x = -p*n. Is u prime?
False
Let w(o) = -8*o**2 - 