e number?
True
Let d(x) = -x**3 + 36*x + 48329. Is d(0) composite?
True
Is 206341/2*52/(14 - -12) a composite number?
False
Suppose 3*y = d - 2*d + 15380, y + 5*d - 5108 = 0. Let t = -1080 - -1088. Suppose -y = -t*u - 0*u. Is u a composite number?
False
Suppose 0 = -12*s + 44*s - 615392. Is s a composite number?
False
Let s = -28423 - -165696. Is s a prime number?
True
Let p be -1 - (3 - 24/4). Suppose -3*x + 556 = p*a, 4*a - 1365 = -a + 5*x. Let b = 596 - a. Is b composite?
True
Let n(f) = -5*f**3 - 7*f**2 + 2*f + 13. Is n(-12) a composite number?
False
Suppose -3*b = 0, 2*g = 5*b - 2*b + 18. Let j(y) = 34 + g*y - 9 + y + 3*y. Is j(16) a prime number?
True
Let q(c) be the first derivative of -c**2/2 - 7*c - 1. Let w be q(-8). Is (0 - -2) + (-21080)/(-10) + w prime?
True
Is (-8960)/21*357/(-7) - -7 a composite number?
False
Suppose -k - 22*k - 46 = 0. Is (6/(-4))/(k + 25350/12684) a composite number?
True
Let w = -444288 - -874181. Is w a composite number?
True
Let b be ((-45)/10)/(-9)*0. Suppose -17270 = -5*u + 5*q, b = -5*u - q + 10445 + 6795. Is u a composite number?
False
Let m = 73486 - -32983. Is m a prime number?
False
Is 73413 + -29 - 14/4*-2 composite?
True
Suppose -8*x - 9895 = -1335. Let i = x - -1693. Is i a prime number?
False
Let j be (-15)/(-12) - 10/((-40)/3). Suppose -3*w + 1471 = 5*l, -l + 1463 = -j*w + 5*w. Is w a composite number?
False
Let v = 382 + 837. Suppose 1222*k - 23703 = v*k. Is k composite?
False
Suppose 1727 = 2*l + 2*d - 5*d, 2*l + 2*d - 1732 = 0. Let n(q) = 28*q**2 + 10*q - 12. Let s be n(-6). Let a = l + s. Is a composite?
False
Let x(w) = 2*w**3 - 4*w**2 + 5. Let c be x(3). Suppose 30*p - 14497 = c*p. Is p prime?
False
Let o(u) = -u**3 - 6*u**2 + 20*u. Let w be o(-9). Let b be (-1)/(-5) + w/35 - 1277. Let n = 148 - b. Is n prime?
True
Let r = 5018 - 1099. Is r a prime number?
True
Suppose -4*d + 18 = -2*y, -2*d - y + 14 = 3*y. Suppose -159710 = -5*t - d*t. Is t composite?
False
Let b(c) = 27127*c**2 - 27*c + 3. Is b(2) composite?
False
Suppose 6*f + 156 = 156. Suppose -9*y + 25*y - 109456 = f. Is y prime?
True
Let p(k) = -132*k**3 + k**2 + 25*k + 6. Let g be p(-5). Suppose -5*u = -s - 20487, 4*s = -4*u - 26 + g. Is u a composite number?
True
Let p = -9 - -14. Let g be 5/(p/3)*(-4)/(-3). Let m(f) = 6*f + 13. Is m(g) a prime number?
True
Let s = 469918 + -316907. Is s prime?
False
Let b = 225841 + 304972. Suppose -148886 = 39*t - b. Is t prime?
False
Let m = -147588 + 265697. Is m composite?
True
Let i(h) = -4*h + 0*h - 18 + 2*h**2 - h**2 - 27 - 11*h. Suppose -5*u + 3*u + 65 = 3*l, 2*u + l = 59. Is i(u) composite?
True
Let l = 18202 - -8245. Is l composite?
True
Let v = 517 - 517. Suppose 3*i - 2*o - 784 = v, 11*i = 10*i - 4*o + 266. Is i prime?
False
Let w(g) = 1829*g - 5. Let c(z) = -1830*z + 5. Let h(v) = 4*c(v) + 5*w(v). Let u be h(6). Suppose -u = -16*y + 11*y. Is y a composite number?
True
Suppose 3*i = 3*b + 51639, 0 = -4*i - 13*b + 12*b + 68882. Is i a prime number?
False
Is 2947782*(-15 + (-819)/(-54)) a composite number?
False
Let r = 57279 + 12671. Suppose -2*i + 12*i - r = 0. Suppose 9*o - i = 4*o. Is o composite?
False
Is (113534/8)/((-6)/(-264)) + -6 a prime number?
False
Let n = 42 - 52. Let b = n + -166. Let d = b + 1543. Is d prime?
True
Let y(k) = 6*k**3 - 6*k**2 - 72*k + 65. Is y(18) a prime number?
True
Let n = -2 - 101. Let t = n + 30. Is -22 + 19 - 2*t a prime number?
False
Let v(j) = -j**3 + j**2 + 3*j - 1. Let n be v(2). Let b(y) = -34*y - 70. Let x be b(-2). Is n - (-1703 + -4) - (-1 + x) composite?
True
Suppose -4*m - 2*c + 1099096 = 0, 280891 = 2*m - c - 268669. Is m prime?
True
Is 1 - -10 - 4 - (-1575522 - -12) a composite number?
False
Suppose -o - 2*j = 3809, 11*j - 15*j = 0. Let c = 5502 + o. Is c composite?
False
Let l be 4 + (-45)/10 + 389/(-2). Let d be l/(-21) + (-14)/49. Let x(f) = 28*f**2 + f + 10. Is x(d) composite?
False
Let p = 69 + -54. Suppose 12*v = p*v - 3105. Let l = v - 589. Is l a prime number?
False
Suppose 7*r + 5 = 6*r, 2*p + 3*r = -163. Let t be ((-2)/4)/((-3)/858). Let l = p + t. Is l composite?
True
Is (35312829/(-412))/(6/(-56)) composite?
True
Let d(s) be the third derivative of 83*s**4/24 + 12*s**3 + 45*s**2. Is d(13) composite?
False
Let r = 82 - 58. Suppose 11*y = r*y - 17693. Is y composite?
False
Suppose 3*g - 9*f = -13*f + 4587663, -2*f = -4*g + 6116840. Is g a prime number?
False
Suppose 5*u - 3*l = -16, 5*u + l + 6 = u. Let r be 1*(278 - (6 + u)). Suppose r = 2*y - 24. Is y prime?
True
Suppose -3*w - 67 = -5*x, -1 = 3*w + 11. Suppose -x*j - 70 = -12*j. Suppose 5*v - 380 = -5*y, 3*y + 0*y - j = -v. Is v prime?
True
Let i(g) = 10*g - 10. Let w(u) = u + 1. Let n(r) = i(r) + 5*w(r). Suppose -2*b + q = -3*b + 8, 4 = -3*b + 4*q. Is n(b) a prime number?
False
Suppose 0 = -33*q + 27*q + 36. Suppose q*w = 4083 + 6219. Is w composite?
True
Let u(n) = -n**2 - 26*n - 172. Let v be u(-8). Is (-60904)/v + (-96)/84 a prime number?
False
Let t(b) = b + 12. Let f be t(-9). Let g be -2 - (f/(-12) + 1195/(-4)). Suppose 0 = 6*v - 657 - g. Is v a prime number?
False
Let r = -73 + 285. Let i be ((-5 - 2) + 7)/(-1). Suppose 0*p + 4*p - r = i. Is p composite?
False
Suppose 3*c - 694584 = h, 146*c + 4*h = 147*c - 231517. Is c a prime number?
True
Let n be (5/(-10))/(1 + 68/(-64)). Suppose 3 + 13 = -n*g. Is (0/g)/((-6)/6) + 293 composite?
False
Let z be 1180 + 9 + (-5 - -3). Let t = 3348 - z. Is t composite?
False
Let z = -75 + 89. Suppose 6*f = -2*h + 2*f + 20, -h = 3*f - z. Suppose -1400 = -2*o + 3*u, o - h*u = -o + 1398. Is o a composite number?
True
Let p = 45 + -42. Suppose h = -p*z + 15, 2*h = -z - 3*h + 5. Suppose 3*m - z*j + 4*j - 2525 = 0, 2*j - 837 = -m. Is m a prime number?
False
Let z be (30 - 42)*(-1)/(-3). Is (z - -6)*(-502)/(-4) prime?
True
Let s(y) = 144*y - 263. Is s(19) prime?
True
Let d = -8 + 11. Let q = 41 - -204. Suppose -d*j + q = 5*r, -5*j = -6*j + 3*r + 91. Is j a prime number?
False
Let s = -6002 - -12181. Is s composite?
True
Let b(w) = -72 - 43 + 8 + 705*w. Is b(5) a composite number?
True
Let t(o) = 11*o + 2*o**3 - o**3 - 10*o**2 + 35*o**2 - 29 + 11*o. Let v be t(-24). Suppose -5*y + v*y = 5334. Is y prime?
False
Is (-6 - (-1 - -1))/(-20*(-36)/(-22953960)) a prime number?
False
Let r(c) = -336*c - 12. Let f(k) = k - 11. Let b be f(6). Let t be r(b). Let x = t + -1181. Is x prime?
True
Suppose -y - 7857 = -g + 267228, 3*g = 2*y + 825253. Is g prime?
True
Suppose -z - v + 7 = 3*z, -4*z - 5*v - 13 = 0. Is 1/z + (-290654)/(-21) composite?
False
Suppose 2*u - 4*u = -2*b - 12730, u - 3*b - 6369 = 0. Suppose -4*v + u = d + 1152, 2*d - v = 10458. Is d composite?
False
Is (-5 - -3)*((-1749143)/22 - -8) composite?
True
Suppose 3*d - 2*d = 3. Suppose -94*y - 50784 = -106*y. Suppose -d*j - 5*j + y = 0. Is j composite?
True
Is 7 - (5856102/(-63) + -8*1) a composite number?
True
Let b be (-1 + 0 - -1)*(-20 + 19). Is (b + -2)*(-41115)/30 prime?
True
Let m(n) = 1384*n**3 - 2*n**2 + 6*n - 8. Let t be m(2). Suppose -3*r + 2*j = -8299, 4*r - 6*j - t = -2*j. Suppose 7*a + r = 14*a. Is a a composite number?
True
Suppose 23*p - 33310 - 875423 = 106004. Is p composite?
False
Let k be 1/3 - 2240/(-3). Suppose 0 = -14*m + 13*m - 5*i + 21, 4*i = 16. Is (k - m)/(8 + -6) a composite number?
False
Let v(t) = 598*t + 6. Let g be v(3). Suppose -q - g = -5*w, -5*w + q + 1790 = -2*q. Suppose -2*y + 21 = -w. Is y a prime number?
True
Let l be (2/(-7))/(1/(-4543)). Let p = 8739 + l. Is p prime?
True
Suppose -1535185 - 836116 = -10*u + 1314209. Is u composite?
False
Let f = -130 + 130. Is (26008/12)/((-6)/(-9) - f) composite?
False
Suppose -15*m = 838 + 36677. Let i = m + 4284. Is i prime?
True
Let n(d) = -d**3 - 12*d**2 - 10*d - 9. Let o be n(-11). Let t(b) = 3*b - 10. Let r be t(3). Is ((-185)/o + -2)*(r - -69) a composite number?
True
Let f(n) = 6*n - 26. Let w be f(5). Suppose w*u + 270 = 3074. Is u a composite number?
False
Let d(f) = -163*f + 5. Let c = -32 - -30. Let k(u) = 328*u - 9. Let h(w) = c*k(w) - 5*d(w). Is h(2) a composite number?
False
Suppose 4*u - 4*b + b = -16, 0 = 3*u - 5*b + 23. Let l(x) = -2286*x**3 - x**2 - 2*x - 2. Is l(u) prime?
False
Let z(y) = -7*y - 55. Let o be z(-8). Is ((3 - 1)/2)/o + 564 prime?
False
Suppose 0*m + k + 7 = 4*m, -m - 5*k = -28. L