rue
Let f(j) = -j + 12. Let m be -18*(-1 + 2/3). Let c be f(m). Is 3204/(-24)*(-4)/c prime?
True
Let b(l) = 2*l**2 - 22*l + 49. Is b(-16) prime?
False
Let d be 436*2*(-2)/(-8). Suppose -2*q + d = -0*q. Suppose 0 = 4*t - 825 + q. Is t composite?
False
Let o(l) = -25*l**2 + 3*l - 5. Let g(f) = 50*f**2 - 6*f + 10. Let m(c) = -6*g(c) - 13*o(c). Is m(3) a composite number?
True
Suppose 0 = 4*h + 4, -3*w + 3*h = -0*h + 93. Let c(q) = -52*q + 1. Let f be c(3). Is f/(-2) + 16/w a prime number?
False
Let n be 3 + 0 - (-9 - -10). Suppose -3*z + 121 = 5*j, -n*z - 40 = -2*j + z. Suppose -h + t = h - 35, -5*t = -2*h + j. Is h a composite number?
False
Let h(m) = -13*m**2 + 11*m - 10. Let z be h(8). Let f = 1725 + z. Is f prime?
True
Let q(d) = d - 17. Let h be q(7). Let u(o) = 3*o**2 - 17*o + 15. Is u(h) composite?
True
Suppose -5*i + 15 = -5*k, 3*k - 2 = i - 7. Let l be -2*2/(-4) + 2. Suppose -3*c = -l*t - 5394, -c = i*c + t - 5406. Is c a composite number?
False
Let y(a) be the first derivative of 13*a**2/2 + 3*a + 4. Let u be y(5). Let r = 231 - u. Is r a composite number?
False
Suppose -5*v + 4*v = 0. Suppose 5*z + 0*z - 4315 = v. Is z composite?
False
Suppose 3*o + 7 = -2*q, -4*q - o + 4*o = -13. Let n be (q - 6)*(-12)/30. Suppose -n*r - r + 574 = m, 4*r - 759 = 5*m. Is r a prime number?
True
Let y(x) = -5 + 4 + 5 - 132*x - 3. Is y(-2) prime?
False
Suppose 0 = -6*c + 4*c + 1470. Let k = -850 + 332. Let r = k + c. Is r composite?
True
Let o be (-11 + 8)*1 + 4 + 1. Suppose o*f = 3*f + 2*t - 551, -3*f = 3*t - 1638. Is f a composite number?
False
Suppose 0 = 5*l - u - 3 - 14, -19 = -3*l + 5*u. Suppose -2*r - l*z + 96 = -0, 5*r - 4*z - 263 = 0. Is r a prime number?
False
Let a(o) be the second derivative of 4*o + 0 + 11/6*o**3 + 7*o**2. Is a(9) prime?
True
Suppose -n - 174 + 51 = -4*q, -402 = 4*n + 2*q. Let t = n - -198. Suppose -3*c - 2*s = -t, -s = 2*s - 3. Is c prime?
True
Let l(d) = d**3 - 4*d**2 + 2*d - 6. Let f be l(4). Suppose o - 10 = r - f*o, -5*r = -2*o - 2. Is (-6)/r - -3 - -631 prime?
True
Let x(l) = -345*l + 11. Let i be x(2). Let n = i + 1068. Is n a composite number?
False
Let l(k) = 1183*k**3 - k**2 + k - 1. Suppose 0*b = -5*b + 5. Let y be l(b). Suppose 0 = -4*u - t + y, -2*u + 316 = -4*t - 266. Is u composite?
True
Let d(c) = 664*c - 149. Is d(10) prime?
True
Suppose 3*t - j - 7873 - 8993 = 0, 0 = -5*t - 5*j + 28130. Is t composite?
False
Let n(r) = 2*r**2 - 21*r - 15. Let h be n(11). Is (-460)/30*6/h a composite number?
False
Let f = -10 - -10. Suppose -6*q + 2*q + 44 = f. Let s(l) = -l**3 + 13*l**2 - 11*l + 12. Is s(q) a prime number?
False
Let s(y) = -y - 2. Let u be s(-6). Let h be u/(-3)*(-45)/(-30). Is (h/(-4))/(8/848) prime?
True
Let l(g) = -2*g**3 + 5*g + 7. Let f be 184/(-30) + (0 - (-8)/60). Is l(f) a prime number?
True
Let g be (-2 - -2)/(-3 + 2). Suppose 5*u + g*u - 2389 = -3*o, -3*u - 1618 = -2*o. Is o composite?
True
Suppose 2*r = -2*r + 3*n + 1, 0 = r - 5*n + 21. Suppose -2*x + r*o = -344, 5*x - 143 = 2*o + 693. Is x composite?
True
Suppose u + 5*d = -3*u + 27198, d = -4*u + 27190. Suppose 2348 = 5*a - u. Is a composite?
True
Let l(d) = -26*d + 13. Suppose 40 = -2*t - 3*t. Is l(t) prime?
False
Let z be (-33719)/(-7)*(1 - -1). Suppose -14978 = -2*v - 4*a, 0 = -3*v + a - z + 32080. Is v prime?
False
Let t = -6160 - -22361. Is t a prime number?
False
Let b be (21/7)/(6/40). Suppose 9*d - 4*d - 35 = 2*c, 5*c = -d - b. Suppose -78 = -d*h + 2*h. Is h composite?
True
Let a(q) = -q**3 + 4*q**2 + 4*q + 3. Let m be a(5). Let b = -2 - m. Is (-221 + 10)/(b - 1) a prime number?
True
Let x = -443 + 1920. Is x composite?
True
Let s be ((-1081)/(-46))/(1/(-178)). Let n = s + 6312. Is n a composite number?
False
Let b = -74593 - -108890. Is b prime?
True
Let w be 1216/171 + 2/(-18). Let j be 2/w - 14098/(-49). Suppose -6*f + 498 = -j. Is f a prime number?
True
Let i(k) = k - 1. Let n(w) = -13*w - 8. Let d(m) = -6*i(m) + 2*n(m). Let f be d(-4). Suppose f = v - 5*l, 3*v + 3*l = -v + 587. Is v prime?
False
Let d = 90 - -2. Let n be d/16 - (-1)/4. Let m(a) = 6*a**2 - 2*a - 5. Is m(n) a prime number?
True
Let n = -52 + 54. Suppose 0 = -n*i - 0*i + 3*w + 254, -w = 3*i - 381. Is i composite?
False
Let y = 36932 + -26019. Is y prime?
False
Let m(j) = 3*j**3 - 54*j**2 + 25*j + 73. Is m(37) prime?
True
Let p = -574 + -70. Let i = -85 - p. Is i composite?
True
Suppose 2*v + 43274 + 30594 = 4*p, -4*v = 3*p - 55401. Is p a composite number?
True
Suppose -5*p + 1 = -4. Let x = p + 2. Suppose 7*m - x*m - 188 = 0. Is m a prime number?
True
Let w(g) = -18*g - 3. Let h be w(-5). Suppose -2*l = -h - 43. Is l prime?
False
Let r(j) = 17*j**3 - 9*j**2 - 9*j - 10. Let h be r(9). Let s = h + -8068. Is s a prime number?
False
Let u(z) = 792*z**2 + 4*z + 1. Let n(g) = -g - 1. Let w(a) = 2*n(a) + u(a). Suppose -i - 3 = -4. Is w(i) prime?
False
Let k(m) = 202*m - 9. Let b be (-14)/(-4) + 3/(-6). Is k(b) a composite number?
True
Let r(o) = o + 7. Let x be r(-3). Suppose -x*m - 934 + 2742 = -4*g, -15 = 5*g. Is m prime?
True
Is 3*-2 + (18537 - 70) prime?
True
Suppose -5*y + 15 = 4*i + 2, -3*i = 3*y - 6. Suppose -y*r = -1596 - 1564. Is (-3)/((-2)/(r/12)) a prime number?
True
Let s = -924 + 1603. Is s prime?
False
Let w(r) = 2*r**2 - 3*r - 4. Let m be w(4). Let j = 14 - m. Is (-373)/j - 1/(-2) a prime number?
False
Suppose z - f + 1498 = -1010, -7489 = 3*z + 4*f. Let t = 3622 + z. Suppose -u + 4*u = t. Is u a prime number?
True
Let m = 36106 + 16905. Is m a composite number?
True
Is 9 + 11833 + 4 + 0/(-2) a prime number?
False
Suppose -x + 3 = -0*x. Suppose -x*s + 5 + 10 = 0. Suppose -3*w - 1118 = -s*d, -2 = -5*w - 7. Is d a composite number?
False
Let b = -14 - -15. Let f = -9 + b. Let y = f + 30. Is y a composite number?
True
Let v = 827 - 150. Is v a prime number?
True
Suppose -27*t + 29*t - 4 = 0. Suppose a - 269 = 2*q - 865, -a = -t. Is q composite?
True
Let p(l) = l**2 - 2*l - 12. Let q be p(5). Suppose q = -3*u, 382 = b - u - 4*u. Is b prime?
False
Let o be ((-6)/(-4))/(3/(-16)). Is 13247/104 + 3/o a composite number?
False
Suppose 31*i + 58936 = 2*u + 36*i, -5*u + i = -147367. Is u a composite number?
False
Suppose -4*x = -5*c + 2759, -6*x + 3*x - 3 = 0. Suppose m - c = -129. Suppose -6*b - m = -8*b. Is b prime?
True
Let t be (54/(-90))/((-2)/7390). Suppose -7*j = -4*j - t. Is j a prime number?
True
Let w(k) be the first derivative of 439*k**2/2 + 2*k - 12. Is w(3) prime?
True
Let g = 24 - 18. Is 5*95 - (2 - g) composite?
False
Let x = 770 + -1431. Let f = x - -1000. Is f a prime number?
False
Let a(t) = -40*t - 5. Suppose 4*d = 10*d + 18. Is a(d) a prime number?
False
Let x(a) = 21*a**3 - 6*a**2 + 4. Is x(3) composite?
True
Let u be (-4)/6*(-2 - 1). Let j be 738/(-4)*(-88)/33. Suppose u*r + 0*r - j = 2*f, -4*r = 5*f - 1011. Is r composite?
True
Suppose -4*r = -3*m + 569 + 1697, 2*m - 1499 = 5*r. Suppose 0 = 2*g + 124 - m. Is g a prime number?
False
Let h be 3162/(-4)*(-218)/327. Suppose 0*p + 1008 = -3*p. Let o = h + p. Is o composite?
False
Suppose 0 = -2*u + 1574 + 21100. Is u prime?
False
Suppose -5*x - 28 - 13 = -4*t, 1 = 4*t + 3*x. Let r(d) = 118*d - 5. Is r(t) composite?
False
Let c = 4829 - -248. Is c a prime number?
True
Let h(d) = -d**2 + 78*d + 16. Is h(21) a composite number?
False
Suppose 0 = l - 2*l - 5*k + 882, l = -2*k + 888. Suppose 3*q = 7*q - l. Is q composite?
False
Suppose 0 = 5*f + 11*k - 12*k - 17790, -3572 = -f + 3*k. Is f prime?
True
Suppose -30 = 4*m + 46. Is (0 + 1)/((-1)/m) composite?
False
Suppose -6274 = -6*q + 2468. Is q a prime number?
False
Let j = -217 + 222. Let i(g) be the second derivative of 31*g**3/6 + g. Is i(j) composite?
True
Let d = 153 + -181. Let r = 68 - -1. Let s = r - d. Is s a composite number?
False
Suppose 3*c = 2 + 4. Let x(i) = 84*i**2 - 3*i. Let k be x(c). Suppose 10 = -5*g, 0 = -6*f + 2*f - 5*g + k. Is f a prime number?
False
Let d(g) = 13*g**2 - 17*g + 119. Is d(17) a composite number?
True
Let y be -4 + (494 - (-10)/5). Suppose o = y - 95. Is o prime?
True
Let x be (7902/(-15))/(-2 + (-32)/(-20)). Let c = x + -826. Is c a composite number?
False
Let i(l) be the third derivative of l**7/2520 - l**5/120 + l**4/24 + 5*l**2. Let p(d) be the second derivative of i(d). Is p(2) a composite number?
False
Suppose