f) = 4*a(f) + 3*x(f). Is k(-14) composite?
False
Suppose -f + 3*d = 9, -18 = -4*f - 5*d - 3. Suppose 8*p - 12*p + 7796 = f. Is p prime?
True
Let z(d) = 6716*d**2 - 75*d - 414. Is z(-5) prime?
True
Let j(a) = 90*a + 1. Let l be j(3). Suppose -52*c - 36 = -244. Suppose 4*q = b - l + 3760, -4375 = -5*q + c*b. Is q a composite number?
True
Let w(c) = -911*c + 2. Let n(l) = -2*l. Let o(m) = 3*n(m) + w(m). Is o(-7) a composite number?
False
Suppose -2*s + 12886 = 4*k, -5*k - 447 - 5961 = -s. Is s a composite number?
True
Suppose 0 = -2*b + 2*r + 10, -5*b - 3*r = r + 2. Let i(g) = g**2 + 7*g - 8. Let t be i(-8). Suppose 0 = -b*y - t*y + 1358. Is y a composite number?
True
Suppose -2*m = -3*l + 18, -m - 10 = -4*l + 2*l. Is (9 - (-273)/m)/(3/(-42)) composite?
True
Suppose -7*h = -53 + 39. Suppose -3*x = 5*q - 41440, 0 = h*q + 2*x - 12291 - 4289. Is q a composite number?
True
Is ((-251)/5)/(60/(-78900)) composite?
True
Let s(a) be the first derivative of a**4/4 + 8*a**3 + 25*a**2/2 - 3*a - 27. Let d(u) be the first derivative of s(u). Is d(-20) composite?
True
Let u(v) = -20*v**2 + v + 20. Let k(w) = 81*w**2 - 3*w - 80. Let x(c) = 2*k(c) + 9*u(c). Let g be x(-8). Let b = -487 - g. Is b composite?
True
Let o = 148846 - 99385. Is o composite?
True
Suppose -2*b - m = 0, -b + 4*m + 6 = -12. Suppose 548 - 2634 = -b*g. Is g a prime number?
False
Let k = -40 - -45. Suppose -40 = -k*b - 20. Suppose 5*z = 2*p - 2005 - 64, -b*z + 12 = 0. Is p prime?
False
Is 8/108 - 4*91548976/(-1728) composite?
True
Is 8 - (261/(-58) - 300337/2) a prime number?
False
Is (-90)/(-378)*10/25 - (-427831)/21 composite?
True
Is -4*(-21)/14 + (-4430363)/(-7) a composite number?
True
Let z = 1575482 + -1015213. Is z composite?
True
Let x = -15244 + 4655. Let h = 17872 + x. Is h a composite number?
False
Let g(b) = 4*b**3 + 26*b**2 - 16*b - 5. Let h(c) = c**3 + 9*c**2 - 5*c - 2. Let v(i) = 2*g(i) - 7*h(i). Let y be v(10). Let r = 667 - y. Is r a prime number?
True
Suppose 53*b + 9*b = -85*b + 2316279. Is b a composite number?
True
Suppose -7*a - 548 = -576. Suppose -2*z + 101 = i - 102, a*i - z - 848 = 0. Is i composite?
False
Let j(p) = -25*p + 90*p + 5*p**2 + p**2 + 11 + 9*p**2. Is j(-15) composite?
False
Suppose -3*p - 5*i = -0*i + 96, 4*p - 2*i + 128 = 0. Let h(a) = 8*a**2 + 7*a + 85. Is h(p) composite?
False
Let s be 4/(-6) + (-3655)/3. Suppose -3*x + 4*f = 430, 3*x + 366 = 3*f - 66. Let u = x - s. Is u composite?
True
Suppose 21*s - 4*s = 244953. Suppose 6*u + 3525 = s. Is u a composite number?
True
Let t(m) = -m**3 + 65*m**2 + 38*m + 547. Is t(51) a composite number?
True
Let g(z) = -6948*z**3 + 16*z**2 - 12*z + 15*z - 17*z**2 + 3. Is g(-1) a composite number?
False
Suppose 4*a + 2275 = 53371. Suppose -a = 177*m - 183*m. Is m a prime number?
True
Let n be (9/9)/((-2)/(-34)). Suppose 2460 = -n*v + 51743. Is v a composite number?
True
Suppose 0 = -3*o + 6*o - 2808. Suppose 1743*d - 1826*d - 15521 = 0. Let k = o - d. Is k prime?
True
Let r(s) = 4*s - 26. Let c be r(5). Let o be (c/4)/(-1*2/4). Suppose -3*h + 2247 = 4*i, 3*h - o*i = 1815 + 411. Is h a composite number?
True
Let j(d) = -2711*d**3 - 3*d**2 - 34*d - 11. Is j(-5) a prime number?
True
Suppose -13*i - 202196 = -15958. Let c be i/(-10) - 9/15. Suppose 4*h - c = -2*l + l, 3*l = -3*h + 1074. Is h composite?
True
Let g(k) = k**3 + 20*k**2 + 18*k - 24. Let b(y) = 2*y + 1. Let t be b(-10). Let z be g(t). Is 430/(-3 - z - 0/(-1)) a prime number?
False
Suppose 8*c + 25*c = 165. Suppose -4*w = r - 14728, c*w - 3*r - 7453 = 10974. Is w composite?
True
Suppose p = -2*p + 2*u - 2628, 3*p = -4*u - 2646. Let c = 1455 - p. Is c composite?
False
Let j(k) be the third derivative of 3*k**5/10 + k**4/2 + 17*k**3/6 - 18*k**2 - 2. Is j(-9) a composite number?
False
Suppose 79*a = 68*a + 4235. Suppose 2367 = 2*x + 4*s - a, 0 = 5*s + 15. Is x prime?
False
Suppose 2788187 = 10*w - v, 1394098 = 5*w - 13*v + 14*v. Is w composite?
False
Is 50/(-750) - 816092/(-30) prime?
False
Let h(d) = 8*d + 52. Suppose -5*n + n + 22 = -5*g, 0 = -4*g - 2*n - 28. Let r be h(g). Suppose 3*z - 4552 = 5*u, r*z + 3*u = 8255 - 2234. Is z a prime number?
False
Let k = -7132 + 11111. Is k prime?
False
Suppose 5*w = 2*l + 26, -11*w = -6*w - 10. Is 2347 + l + -2 + -4 composite?
False
Is (118971 - -28)*(-3 - -4) prime?
False
Suppose -3*a + 4*t = 2*a + 6, -14 = -3*a - 2*t. Suppose 4*p + 326 = 3*f, p + 82 + 132 = a*f. Suppose -f = -3*d + 371. Is d prime?
False
Suppose 361*j = 356*j - 30, -j = 5*v - 3489. Is v a prime number?
False
Suppose 5*x - 454032 = -l - 62505, 2*x - 4*l = 156602. Is x composite?
True
Let d(i) = -i**2 + 2. Let f be d(0). Suppose 0 = 2*p + f*s - 0*s + 4, p - s = 0. Is -3 - (-3 - (p - -1260)) prime?
True
Let h(b) = 29*b**3 + 5*b**2 + 12*b - 11. Let u(s) = -s**2 - 4*s + 67. Let m be u(6). Is h(m) composite?
True
Suppose 4*t - h = 6047, 2518 - 8562 = -4*t + 4*h. Suppose -5*c - 5*v + t = -5488, 0 = c - 4*v - 1415. Suppose 29*b - 30*b = -c. Is b a composite number?
True
Suppose -18 = -r + 4*y, -6 = -5*r + 28*y - 29*y. Is (-3)/r*(-155980)/66 a composite number?
True
Let o(r) = 95766*r + 479. Is o(5) a prime number?
True
Suppose 4*t - 1147192 = -2*n, 0 = 21*t - 23*t + 4*n + 573606. Is t a composite number?
True
Let c(i) = -6*i**2 - 2*i + 5. Let x be c(-4). Let n = -79 - x. Is (24/(-36))/(n/(-5442)) composite?
False
Let o be 816794/55*(9 - (-2 + 6)). Suppose 0 = 46*g - o - 15032. Is g a composite number?
True
Let v = 8384 + 797. Is v composite?
False
Let q be 145/45 - 2/9. Is (-8586)/(-14) - 6/63*q a composite number?
False
Suppose -x + i = 0, -4*x + 6*i - i = 5. Suppose -28 = x*a - 9*a. Suppose a*t = 6*t + 254. Is t a composite number?
True
Is (3/((-3)/2))/2 + 206697 - -3 a composite number?
False
Let p(j) = 41265*j - 9398. Is p(9) a prime number?
False
Suppose 0 = -4*c - k, -8*c + 4*c - 5*k = 0. Suppose 2*u - 2*v + 3*v = 11019, 4*u - 2*v - 22034 = c. Is u a prime number?
False
Suppose 0 = -3*y - 5*y - 32. Is ((y + 50/15)*19137)/(-2) a composite number?
False
Let h = -759 + 765. Is 31/(-62) - (2 - 65433/h) composite?
False
Suppose 0 = -28*t + 652915 - 12527. Is t a prime number?
True
Suppose 4*n - 1 - 8 = -a, -5*n + 2*a + 21 = 0. Let f(d) = 7*d + 39*d**3 - d**2 - 2025 + 2018 + d**2. Is f(n) a composite number?
True
Let x be 0*(1/2 - 11/44). Suppose x = 3*i - 4*w - 18129, i - 2*w = 3*w + 6043. Is i a composite number?
False
Let j = 34200 + 122611. Is j a composite number?
True
Suppose -57069 - 152069 = -2*l. Is l a composite number?
True
Let r be 30/120 - (-10)/(-8). Is 1 - 0 - 126*r a prime number?
True
Suppose z + 2*l = 2*z + 47, -z = 3*l + 57. Let v be z/(-5) - (-1)/(-5). Is 1/1 - (v - 136) composite?
False
Let n = 2132 - -905. Is n a composite number?
False
Let b be -4 - (2 - 3/3). Let h be (-6 - (b - 0)) + (4 - -1). Suppose 3*g - 3781 = -h*n, -g - 2*n + 0*n + 1261 = 0. Is g composite?
False
Suppose -2*h - h - s + 83 = 0, 0 = -h - 2*s + 26. Let q(z) = -65*z - 31 - h*z + 11*z. Is q(-9) a prime number?
False
Suppose 5*b + 0 - 25 = 0. Suppose -2381 = b*w - 8251. Is (w/3)/(26/39) prime?
True
Let z(j) = 6*j**2 + 11*j**2 - 4*j + 0*j + 43 - 18*j**2. Let o be z(7). Let m = o + 233. Is m a prime number?
True
Let l(k) = 8071*k**2 + 28*k + 129. Is l(-8) composite?
False
Suppose -179845 = -3*m - 4*d, 103*m - 119910 = 101*m + 4*d. Is m prime?
True
Suppose 4*z - 32*b + 35*b = 439814, -5*z - 4*b = -549767. Is z prime?
False
Let j(g) = -g**3 + 8*g**2 - 10*g + 16. Let p be j(7). Let z(q) = -4049*q + 64. Is z(p) prime?
False
Let t(j) = -2785*j + 936. Is t(-7) composite?
False
Suppose 6*z - 29592 = 31218. Is z prime?
False
Is 2 - 32/14 - (-13 + 7113780/(-105)) a composite number?
False
Suppose -g = 876 - 299. Let f = 2376 + g. Let j = f + -1116. Is j prime?
True
Suppose -4*r - 15 = 3*d + 2, -5*d + 30 = -5*r. Suppose -15 = -7*u - d. Suppose -5*s = -0*q - u*q + 33, 78 = 4*q + 2*s. Is q a prime number?
True
Let v(n) = -67*n**3 - 4*n**2 + 5*n - 4. Let l be v(2). Let d be (l/(-18))/7 + 2/(-6). Suppose -x + 232 = 3*u, 4*x + 0*u + d*u = 904. Is x prime?
True
Is 94/235*23188995/18 a composite number?
False
Let r be (-1 - -2)/((-3)/45). Let g(u) = 268*u - 29. Let n(h) = -521*h + 59. Let z(c) = -7*g(c) - 3*n(c). Is z(r) a composite number?
False
Suppose -5*f = x - 20, 1 + 7 = 5*x + 2*f