umber?
True
Suppose 6*k + 124858 = 8*k + a, 5*k + 4*a = 312145. Is k prime?
False
Suppose l - 2035488 = 9*l. Is 20/(-12) + l/(-63) prime?
False
Let g be (-6)/(-3)*12/(-7 - -10). Suppose -2*b + 43112 = y, 7*b + 2*y = g*b - 21561. Is b a prime number?
True
Suppose 0 = -3*u + 2*t + 954, u + u - 649 = -3*t. Suppose 2*j + 3*n = 157, 6*j - u = 2*j - 4*n. Let p = -46 + j. Is p prime?
True
Let r(s) = 45*s + 61. Let v be r(22). Suppose 164 - v = -k. Is k a prime number?
True
Suppose 5*s - 140 = -6*q + 11*q, 0 = 2*s - 3*q - 57. Let u(v) = v**3 - 17*v**2 + 49*v + 44. Is u(s) a prime number?
False
Let l = -32 - -28. Let c(p) = -6*p - 21. Let n be c(l). Suppose 3*j + 2*g - 218 = -0*g, -j = n*g - 68. Is j composite?
True
Suppose m = -5*n + 1027, -3*n + 8*n - m = 1023. Let g = 7 - 2. Suppose g*y = 2*c - n, 0 = -4*c + 2*y + 121 + 329. Is c a composite number?
True
Let p be 16/(1 - -3) - -1. Suppose p*k + 660 = 6*k. Let f = k + -307. Is f prime?
True
Let x(n) = -75240*n + 853. Is x(-4) a prime number?
True
Let w = 16622 + 1211. Is w prime?
False
Let t be (385/(-10))/((-3 - 0)/90). Suppose s - 9898 - t = 0. Is s prime?
False
Let b(q) = -190*q - 1 + 4 - 2. Let r = 836 + -837. Is b(r) prime?
True
Let n(p) = 1956*p - 25. Let h(a) = 1957*a - 26. Let t(c) = -4*h(c) + 5*n(c). Is t(7) a prime number?
False
Let c = -329838 + 698197. Is c prime?
True
Suppose 5*t - 5*b - 161005 = -54460, 42638 = 2*t + 3*b. Is t a prime number?
True
Let i(o) = -1033*o + 465. Is i(-26) composite?
True
Suppose 65*k + 74*k - 12327309 = -2780372. Is k prime?
True
Let q(c) = -c**3 + 24*c**2 - 60*c - 49. Let p be q(21). Let i(x) = -2*x + 18. Let f(z) = -3*z + 17. Let w(s) = -3*f(s) + 4*i(s). Is w(p) a composite number?
True
Suppose -6466*v - 6883038 = -6484*v. Is v prime?
True
Suppose -5*m + 9 = 3*g, -g = 3*m + 19 - 18. Suppose 176978 + 34854 = g*p. Is p a prime number?
True
Suppose 4*b - 2*p - 53 = 71, -3*b - 3*p + 84 = 0. Is ((-15267)/14)/(b/(-140)) a prime number?
False
Suppose -7*c - 120 = -29. Let b = -9 - c. Is 3 + 2099 + (1 - b) a composite number?
False
Suppose v = -4*s + 47, -12*v + 13*v = 3. Suppose 5*l = s*l - 35538. Is l a composite number?
False
Let p = -248 - -268. Suppose -15*c - 49825 = -p*c. Is c a composite number?
True
Is ((-3)/(-6))/((-28)/(-84607208)) prime?
True
Is (380/(-20) - -1925)*(-10)/(-4) prime?
False
Let u(z) = -z**3 - 6*z**2 + 17*z + 6. Let r be u(-8). Is r/(-3)*25788/8 prime?
False
Let s(z) = 51*z - 2. Let v be 60/(-80) + (-38)/(-8). Let j(o) = 51*o - 3. Let q(t) = v*s(t) - 5*j(t). Is q(-8) composite?
True
Let u be 8/(16/(-6)) - -7. Suppose -u*v = -0 - 8. Is (-2)/(-3)*1641/v a prime number?
True
Suppose -34*n = -27*n - 33019. Suppose -84 - n = -4*a + 3*u, -3*a - 4*u + 3607 = 0. Is a composite?
False
Suppose 4*f + f - 5*i = -10, -i = -3*f + 2. Let j = 1414 + -215. Suppose 2*w + 0*w - j = -z, -2408 = -f*z + w. Is z a prime number?
False
Let q be (0/2)/((-9)/(-3) - 1). Let k(r) = -r**2 - 1. Let v be k(q). Is 450 + 4 + (v - 4) composite?
False
Is (-169224053)/(-1897) - (-12)/14 composite?
True
Suppose 3*p - 4*l = -2, -p - l = -0*l + 3. Let o be 2 + -1 + 3357 + (-4)/p. Suppose j + o = 5*r + 2*j, -5*r = -3*j - 3380. Is r a prime number?
True
Let g be (3 + 20/(-4))*-2. Suppose -g*r = -8*r. Suppose r = 4*o - 105 - 1451. Is o composite?
False
Suppose 3*r - 4*r + 4 = 0. Suppose 868 = -l + 2*o, -1708 = 2*l + r*o - o. Let q = -225 - l. Is q a prime number?
False
Let t(z) = z**2 - 2*z. Let i be t(-3). Let v(y) = 44*y + 32. Let d be v(i). Suppose -4*c + 2761 = 5*b, -3*b = c - 0*c - d. Is c a composite number?
True
Let x(c) = 111*c - 6. Let a be x(5). Suppose 5*h = 3*t - 958, -38*h - 602 = -35*h + 5*t. Let o = h + a. Is o a prime number?
False
Is 48/6 + (30 - -1343333) a composite number?
True
Suppose 9*x + 39 = 3. Let m be (6 + x)/14 + (-6)/(-7). Is (m + 1 + -1)*19 prime?
True
Is 1496*23 - (60/40)/((-2)/4) a prime number?
False
Let j(s) = -s**3 - 15*s**2 - 6*s + 3. Let q(y) = -y**3 - 14*y**2 - 5*y + 2. Let x(r) = -5*j(r) + 6*q(r). Let n be x(-9). Is 3 + (563 - n/(-1)) composite?
False
Let t(o) be the third derivative of -o**6/120 + o**5/2 + 7*o**4/12 - 13*o**3/3 - 85*o**2. Is t(28) a composite number?
True
Let s = 130277 - -166302. Is s composite?
False
Let a = 98 + -89. Is (-15)/a*-3*149 prime?
False
Suppose -l + 168020 = 41107. Is l a prime number?
True
Let c(d) = 741*d**2 + 25*d - 108. Let s be c(6). Suppose s = 12*o - 7110. Is o composite?
False
Let z = 369 - 129. Let p = -175 + z. Is p prime?
False
Suppose -2*g + 1500 = b, -2*b - 5*g = -2747 - 256. Suppose 0 = -4*v + 2314 - b. Is v a composite number?
True
Let f(d) = d**3 + 8*d**2 + 7*d - 14. Let q be f(-7). Let i(o) = o**3 + 17*o**2 - 8*o - 33. Is i(q) prime?
False
Suppose 0 = 2*p - 6*p, -5*v + 5*p = -1485. Is ((-37)/(-3))/(9/v) prime?
False
Let y(u) = -139*u + 133. Let g be y(-12). Suppose 6*m - g = 5*m. Is m a composite number?
False
Let f(o) = -4*o**3 - 9*o**2 - 7*o + 5. Let l(n) be the first derivative of n**4/4 + 2*n**3/3 + 3*n + 6. Let x be l(-3). Is f(x) prime?
True
Let d = 20952 - -910775. Is d a composite number?
False
Let r = 24 - 32. Let a be ((-17)/(-68) - 18798/r) + 3. Suppose -5*h + 7*c + a = 3*c, -4*c = 4*h - 1868. Is h prime?
False
Suppose 15*f - 42 = 9*f. Suppose -2*o - 2*v = -2, -4*v - f + 2 = o. Suppose o*h = -0*h - 3*s + 7224, -4*h = 5*s - 9633. Is h a prime number?
False
Let g(k) = -13806*k - 1811. Is g(-9) prime?
True
Suppose 26*i - 1623934 = -0*i. Is i prime?
True
Suppose -5*v - 217 = 5*y - 47, 3*y + v + 112 = 0. Let b = y - -50. Suppose 0 = -b*r + 4*r + 3129. Is r a composite number?
True
Let b = -6595 - -12561. Suppose -f + 6*f + 20 = 10*f. Is ((-2)/(-2))/((f + -2)/b) prime?
False
Suppose -42488 + 11748 = -5*j. Suppose -8*p = -4*p - j. Is p composite?
True
Let u = -2227 - -82626. Is u prime?
False
Let b(z) = 2*z + 12. Let f be b(-6). Let v(m) = -8*m + 22. Let r be v(f). Suppose 915 = -r*g + 25*g. Is g a composite number?
True
Suppose -l + 3725 = 3*v, l - v = 3*l - 7420. Is l prime?
False
Suppose -16*n - 5 = -69. Let s(a) be the third derivative of a**6/60 + a**5/20 + 5*a**4/12 - a**3/3 - 2*a**2. Is s(n) a composite number?
True
Let j(l) = 7*l**2 + 3660*l - 3647*l - 2*l**2 + 13. Is j(24) a prime number?
False
Let v = 27 + -8. Let o(d) = 3*d - 77. Let w be o(v). Is (-2 - (-208)/w)/((-1)/5) a prime number?
False
Let u = -304 - -308. Suppose -4 - 2 = 3*z, -5*a - u*z = -13697. Is a prime?
True
Suppose -69 = -q - 2*q. Suppose -26*d = -q*d - 57. Suppose g + 5*a = d, -g = -2*g - 3*a + 19. Is g a prime number?
True
Let b = -515 + 546. Suppose -10*r - 10983 = -b*r. Is r composite?
False
Suppose 3*y - 2*n - 1477 = 0, -4*n = 3*y - 1281 - 166. Suppose 89144 = -y*g + 497*g. Is g a composite number?
True
Let k(c) = -c**2 - 6*c + 28. Let i be k(-9). Is -35*(-4 - (4 - -334)) - i prime?
True
Let g be 3/3 - (-3 - -1). Suppose -4*i - 3*y - 4448 + 24872 = 0, -2*i = -4*y - 10234. Suppose 0 = k + u - 1686, -g*u = -3*k - 45 + i. Is k a composite number?
True
Let t be (7185 - 3)*(-1 - -3 - 1). Is (0 - (0 + -2)) + t/2 composite?
False
Let n(j) = 1940*j**2 - 20*j + 25. Is n(4) a composite number?
True
Suppose 0 = 147*v - 170*v + 2423257. Is v prime?
True
Suppose 5*b + 25 + 20 = -5*a, 3*b + 5*a = -37. Suppose 1626*y = 1611*y + 20595. Is y/((0 - 4)/b) prime?
True
Suppose 271*o - 40*o = 24622521. Is o a prime number?
True
Let v(w) be the first derivative of 14 + 6*w**2 - 8/3*w**3 - 40*w + 1/4*w**4. Is v(9) composite?
False
Let s(y) = -2*y**3 + 158*y**2 + 521*y + 33. Let t be s(82). Suppose -2*b = 2*i - 12, 4*b - b = -2*i + 14. Suppose -i*z - t = -5*z. Is z a composite number?
False
Suppose 0 = -32*r - 14*r - 26*r + 44324424. Is r a composite number?
False
Let p be ((-13)/(-26))/(((-2)/(-4))/(-1)). Let t be (p*1)/((-2)/(-32)*-4). Suppose -s + 2338 = 2*n, 0 = -4*n - t*s + 2603 + 2081. Is n a composite number?
True
Let k(y) = -863*y**3 + 2*y**2 + 11. Let l be k(-3). Suppose -14*h - l = -24*h. Is h composite?
False
Let k(i) = -i**3 + 14*i**2 - 9*i - 7. Let g(l) = -l**3 - 9*l**2 + l + 21. Let j be g(-9). Let c be 1 + -5 + 3 + j. Is k(c) composite?
False
Let i be (4 - 0) + 36/(-3). Is (-2)/i + 1491/4 a prime number?
True
Let v = 1525 - 654. Let p = v - 380. Is p a prime number?
True
Suppose -2*o = -4*r + 1564, -2*r + 7*o + 790