mposite number?
True
Let d(j) = -67*j**3 - 2*j**2 + 3*j - 4. Let q be d(-3). Suppose 9*x = 11*x - q. Is x a composite number?
True
Let a(u) = -u**3 + 5*u**2 + 8*u - 1. Let c be a(6). Suppose 4*t - 2*z + 3*z = c, -24 = -t + 4*z. Let x = t + 43. Is x composite?
False
Suppose 0 = 2*m, o - 3*m = -8 + 11. Suppose 0*u - 2207 = -y - o*u, 4*y = 2*u + 8828. Is y a composite number?
False
Suppose -14*v + 23672 - 7880 = 0. Suppose 4*w + 2967 = 5*t - 2568, -v = -t + 5*w. Is t composite?
False
Let z = 3554 + -2449. Suppose -6*r + z + 929 = 0. Is r a composite number?
True
Let b(y) = -y + 23. Let s be b(14). Suppose 3*c = s, -k = -5*c - 2 + 5. Is (114/k)/(2/4) a composite number?
False
Let g = 2962 - 1068. Suppose 4*q = g - 378. Is q prime?
True
Let k(q) = q**3 - 4*q**2 - q + 11. Let s(d) = 3*d**3 - 13*d**2 - 3*d + 32. Let r(i) = 11*k(i) - 4*s(i). Let l be r(6). Suppose -2*c + 517 = l. Is c prime?
True
Suppose 4*t - 180069 = 4*b + 30171, -4*t - b + 210265 = 0. Is t a composite number?
True
Suppose 4*o = -8 + 36. Suppose 0 = -8*q + o*q + 667. Is q a prime number?
False
Suppose -202*i + 162668 = -158*i. Is i a prime number?
True
Let g be (-8)/10*950/(-20). Let l = -152 - g. Let d = 273 + l. Is d a prime number?
True
Suppose -2*p + 1907 = 5*m - 498, -1901 = -4*m + 3*p. Is m a prime number?
True
Let v = -37608 + 147769. Is v prime?
True
Suppose 152 = -15*j + 7*j. Let o = 20 - j. Is o composite?
True
Suppose -5*z + 20481 - 5256 = 5*q, 0 = -4*q + 3*z + 12187. Is q composite?
True
Let w(y) = 1070*y - 373. Is w(45) a prime number?
True
Suppose 4*f - 1118 = -322. Suppose -834 + f = -m. Is m a prime number?
False
Let s = 22 + -22. Let x(q) = q - 5. Let c be x(7). Suppose s = c*v + v - 78. Is v a composite number?
True
Let o(q) = 56*q - 5. Let y be o(2). Let m = y + 10. Suppose -1153 - m = -2*t. Is t prime?
False
Suppose 0 = -10*u + 4*u + 222. Suppose 3*x - 274 = -u. Is x prime?
True
Let q(j) = -j**2 - 7*j - 4. Let s be q(-6). Suppose -s*y - 6*y = -1608. Is y a prime number?
False
Is (-10)/(-4)*((-2)/1 + 84) a prime number?
False
Let v(s) = 5*s**2 + 11. Let b(r) = 11*r**2 + 22. Let i(o) = -4*b(o) + 9*v(o). Let a be i(0). Suppose -a = -4*n + 201. Is n prime?
True
Suppose -m = 1829 - 5322. Is m a prime number?
False
Suppose 0 = 3*j + k + 459, -4*j - 9*k + 10*k - 605 = 0. Let y = j - -963. Is y a prime number?
True
Let b be (-9 + 3)/2 + 7. Suppose -v = b*v - 1985. Is v prime?
True
Let h = 9753 - -14476. Is h composite?
False
Suppose 3*n = -16*n + 44327. Is n a composite number?
False
Suppose -2*g + 4*l + 14442 = -0*g, 3*g - 3*l - 21666 = 0. Is g prime?
False
Let n(o) = -38 - 4*o**3 - 15*o**2 + 21 - 2*o + 5*o**3 - 28. Is n(22) composite?
False
Let p be 4*(3 - 7)/2. Let d = p + 8. Suppose d*r - u = 4*r - 1232, -3*u = 5*r - 1547. Is r a composite number?
False
Suppose 0 = 5575*w - 5583*w + 463160. Is w composite?
True
Let d = 348 + 151. Is d composite?
False
Let g(n) = n**3 + 8 + 22*n**2 - 4*n - 3*n - 11*n**2. Is g(7) a composite number?
True
Let z = 1 - -1. Suppose 5*o + 3 = -h, 0 = -z*h - 0 - 6. Suppose 3*d - 493 = -4*l, 4*l - 4*d = -o*d + 528. Is l a composite number?
False
Suppose 0 = -32*j + 33*j - 4. Let w(i) = 115*i**2 - 5*i + 27. Is w(j) composite?
False
Is 205656/60 - 3/5 composite?
True
Let c(p) = 169*p - 779. Is c(46) a composite number?
True
Suppose 21 = 3*u + 3. Let l = 11 - u. Suppose h - l = 5. Is h a composite number?
True
Let m(r) = 9*r**2 - 4*r + 5. Let x(v) = v**2 - v - 40. Let f be x(-6). Is m(f) a prime number?
False
Is 1/(1/1404) - -5 - -2 a prime number?
False
Let r(k) = k**3 - 5*k**2 - 5*k - 2. Let y be r(6). Let q be (75/y)/((-3)/(-108)). Let g = q - 52. Is g composite?
True
Let p be ((-19910)/15)/(-2) + (-2)/(-6). Let r = 1877 - p. Is r composite?
False
Let p(q) = -q**3 - 23*q**2 - 173*q - 17. Is p(-10) a composite number?
True
Let s(n) = -n**3 + 2*n**2 + 5*n - 2. Let f be s(3). Suppose 0 = f*a - a - 738. Suppose g = 3*g - a. Is g a prime number?
False
Let s be ((-64)/(-48))/((-4)/(-15)). Suppose -36066 = -s*u - u. Is u a composite number?
False
Suppose -4*q + 2 = -3*y - 0*q, -3*q = y - 8. Suppose -4*v - 5*o - 95 = 61, -y*v + 4*o - 52 = 0. Let f = v + 69. Is f prime?
False
Let i(z) = 430*z**2 + z - 47. Is i(-6) a prime number?
True
Is (-6493)/(-10) + (-87)/290 composite?
True
Suppose 1172 = 2*n + 2*n. Is n a prime number?
True
Suppose 13897 = 66*k - 53*k. Is k a prime number?
True
Let o(r) = 681*r + 185. Is o(4) a composite number?
False
Suppose 5*k - 558 - 652 = 0. Let y = 449 + k. Is y prime?
True
Let s = 111 + -252. Let p be (-2)/(((-30)/s)/(-5)). Let t = p + 68. Is t a composite number?
True
Let o(z) = 519*z + 41. Is o(8) prime?
False
Suppose 14 = 5*b + w, 2*w - 3 = -5*b + 15. Suppose b*t = 6*t. Is 4 - 0 - (t - 7) composite?
False
Suppose -2*a + 33 = -2*j - 3*j, -25 = 5*j. Is (498/a - (-7 + 6))*2 composite?
False
Suppose 26308 = 16*a - 141580. Is a prime?
False
Let r(m) = 4*m**2 + 17*m + 17. Is r(14) composite?
False
Suppose 4*r = -3*d + 17, d - 4*d + 2*r + 5 = 0. Suppose -d*v + 4255 = -1670. Suppose -5*n + 0*n = -v. Is n composite?
True
Let g = 2610 - 1041. Suppose -4*o = -4*i + 1560, -5*i = -i + 5*o - g. Is i prime?
False
Suppose 3*n - 64 = 125. Let p be 12488/n - (-4)/(-18). Suppose -j + 98 = l, -4*j + p = l + l. Is l a composite number?
False
Let t be (-3 - -6)/((6/(-4))/(-1)). Suppose -3*j + j + 16283 = v, -4*v - 16278 = -t*j. Is j composite?
True
Let s(a) = 3*a + 8. Let t(l) = l. Let j(v) = -s(v) + t(v). Let k be j(-6). Suppose -5*u - k*q + 182 = -433, 4*q + 20 = 0. Is u prime?
True
Suppose -869*q + 871*q = 11878. Is q composite?
False
Suppose -m = -4 + 1. Suppose m*o - 15 = -2*x, 0*x = 3*x. Suppose o*d = -4*s + 483 - 21, 0 = 4*s + d - 470. Is s composite?
True
Is 11/(-4)*3*(-60084)/27 prime?
False
Suppose 2*h = -g + 1438 + 1063, 0 = -3*g - 15. Is h a prime number?
False
Let q = -26 + 15. Let r = -10 - q. Let p(i) = 224*i - 1. Is p(r) a prime number?
True
Let l be ((-145)/2)/((-930)/(-156) + -6). Let b = l + 64. Is b a composite number?
False
Let r = 2422 - 1443. Is r composite?
True
Suppose 11*s + 643325 = 36*s. Is s prime?
True
Let s(h) = -12*h + 16. Let l be s(-11). Let a be (1 + -2 - 2) + l. Suppose 5*q - 4*q = a. Is q composite?
True
Suppose -1250*k + 1260*k = 181190. Is k composite?
False
Suppose -k = 3, 3*i - 3*k = -2*k + 66. Let y be 6/4*2282/i. Suppose -326 = -2*j + 4*w, 0*j + j - y = w. Is j composite?
False
Let z = 154 + -148. Let p(q) be the first derivative of 26*q**2 - 14*q + 1. Is p(z) a composite number?
True
Let k be ((-1)/(-2))/((-3)/6). Let z be 0 - k/(3/81). Suppose 258 = 3*l + z. Is l a composite number?
True
Let m(j) = 3*j**2 + 52*j - 9. Is m(26) prime?
True
Let s = 37635 - 20558. Is s composite?
False
Let c(h) = -40*h + 9. Suppose 2*y - 5 = y. Suppose -y*u + 6 - 21 = 0. Is c(u) composite?
True
Suppose -2*z + 6*h - 4*h = -13076, 2*z - 3*h = 13081. Is z a composite number?
True
Let y = 617 + -1284. Let i = y - -998. Is i prime?
True
Suppose -4*u + 2*t + 6872 = 0, -3*u - t = -6*t - 5161. Is u prime?
False
Suppose 4*o + 0*y - y = 56, 0 = 2*o + 4*y - 46. Suppose 1733 = o*z - 14*z. Is z prime?
True
Let d be (15 - -13)*(-1)/(-4). Let n(r) = 6 - 4 + d*r**2 + 1 + 3*r - 5. Is n(-5) composite?
True
Let b(d) = 27*d**2 - 10*d - 183. Is b(-16) a composite number?
True
Let n = -91 + 95. Suppose 0 = 4*w - n*y - 168, -3*w + 0*y + 154 = 4*y. Is w composite?
True
Suppose -d - d = 5*v + 21, -28 = -4*d + 4*v. Suppose -d*g + 728 + 1356 = 0. Is g prime?
False
Suppose -4*q = 6421 + 5175. Let u = q + 1611. Is 3/(-5) - u/5 a composite number?
False
Let q = -10 - -11. Let j be ((-1596)/30)/(q/(-5)). Is j - (5 - (3 + -1)) composite?
False
Let j = 36 + -36. Let y(d) = d**2 + 2*d + 71. Let a be y(j). Let b = a + -37. Is b prime?
False
Let y(z) = z**3 - 19*z**2 + 29*z - 34. Is y(19) composite?
True
Let z(x) = 2*x**3 + 13*x**2 + 15*x - 8. Let u(g) = g**3 - g**2 + g - 1. Let w(y) = -3*u(y) + z(y). Is w(16) composite?
True
Suppose 1094334 = 25*c + 61459. Is c a composite number?
True
Suppose -21 = 2*h - 7. Let k = h - -7. Is 14/(2 + 0) - k a prime number?
True
Is 3/((-48)/29672)*-14 a composite number?
True
Suppose 38122 = 19*v + 3504. Is v prime?
False
Let i(f) be the first derivative of 2 - 1/2*f**2 + 307*f. Is i(0) a prime number?
True
Let m