 prime?
False
Let f be 34/187 - 68856/(-22). Suppose 12*w = 7*w + f. Is w a prime number?
False
Let a be -2*(-2 + (2 - 40)). Let i be 5/4 + (-1464)/(-32). Let v = i + a. Is v a composite number?
False
Let z = 67 - 62. Let s = z - 7. Is 1754/8 + s + (-1)/4 composite?
True
Let j(a) = 23444*a**2 + 202*a - 51. Is j(-7) a prime number?
False
Let f(o) = -11*o + 31. Suppose -2*x + t = 29 - 86, 5*x - 135 = 5*t. Suppose -5*i - x = -2*i. Is f(i) composite?
True
Suppose 2*x = -46*c + 45*c + 27298, -54596 = -4*x + 3*c. Is x a prime number?
True
Suppose h - 5*h = 2*o - 2, 0 = -3*o - 9. Suppose 65 = 3*s + 4*x, h*s - 5*x - 35 = -2*s. Is (s*(36 + 3) - -1)/2 composite?
False
Suppose -5*p + 85 = 4*c, 6*c = -4*p + 4*c + 68. Suppose -2*w = 3*q - 55055, -p*q + 5*w = -16*q - 18380. Is q a composite number?
True
Let l(x) = -952*x - 188. Let i be l(-4). Let f = i + -1913. Is f composite?
True
Let z(t) = 17*t**2 + 117*t - 105. Is z(-37) a composite number?
False
Suppose 4*g - 5*k - 1666129 = 0, -64*g + 69*g - 2*k - 2082657 = 0. Is g composite?
False
Let k(f) = -f + 2*f + 203 - 1 + f**2 + f**3. Is k(0) a composite number?
True
Let h(x) = x**3 + 5*x**2 - x - 4. Let a be h(-1). Let u(f) = 10722*f**2 - 5*f + 6. Is u(a) composite?
False
Suppose 56622 + 123558 = 22*m. Is -3 + 1 + 3 + m a prime number?
True
Let h be ((-21)/(-6) - 3)/(46/14812). Let l be -5*2/5*1. Let s = h - l. Is s a composite number?
False
Let m(y) = -3372*y - 6 - 25 + 3351*y. Is m(-10) a prime number?
True
Suppose -2*u + 180 = -0*u. Let j = u - 86. Suppose -j*y = q - 419, -4*q + 3*y + 1676 = 4*y. Is q a composite number?
False
Let w(i) = i**3 + 2*i**2 - i + 6. Let y be w(-3). Let r be (-425226)/(-66) + (y - 2/(-11)). Suppose -r = -5*f - 1478. Is f a composite number?
True
Is 72/(-396) - (2/3 + (-3700874)/66) a composite number?
True
Let i(z) = 4*z**2 - 3*z - 2. Let a be i(3). Suppose 40875 = a*n - 87800. Is n composite?
False
Let o(w) = 122*w - 65. Suppose 0 = -3*v + 9*v - 336. Let p = v + -50. Is o(p) a prime number?
False
Let t(u) be the second derivative of 49*u**4/4 - 5*u**3/6 + 9*u**2/2 + 37*u. Let f(g) = 73*g**2 - 3*g + 5. Let r(b) = -7*f(b) + 4*t(b). Is r(1) prime?
True
Let a be 136/(-2)*(-2)/4. Let u be 2/3*-3*8857/a. Is -1 - (-4 + 3) - u prime?
True
Is (4*13/156)/((-1)/(-218577)) a composite number?
False
Let q(d) = 128*d**2 - 3*d + 4. Let f be q(-3). Let j = -600 + f. Is j composite?
True
Is 18 - 11 - (2 + -137072) prime?
True
Is 1/((-4)/(-32)) - (-329108 + -3) a prime number?
False
Suppose -45 + 26 = 4*v + 3*h, 3*h - 17 = 5*v. Let p(n) = -1856*n - 31. Is p(v) a prime number?
True
Suppose 12*i = 530 + 34. Suppose i*h - 5442 = 41*h. Is h a composite number?
False
Is 174596/4*3*(-8)/(-24) prime?
True
Suppose -3*a + 27326 = c, -5*a + 38421 = -c - 7125. Is a prime?
True
Let q(z) = z**3 + 16*z**2 + 27*z + 6. Let r be q(-14). Let l(g) = 189*g - 119. Is l(r) a composite number?
True
Let u(b) = -12*b + 52. Let n be u(4). Suppose -13*l = n*y - 17*l - 1164, 4*l - 1419 = -5*y. Is y a composite number?
True
Suppose -10 = 3*k - 16. Suppose -k*l = 26 - 42. Is (-797)/(-2) + 6*(-2)/l a prime number?
True
Let w(g) = -210*g - 11. Let d = 28 - 33. Is w(d) prime?
True
Let v(y) = -491*y - 31. Let k be v(-6). Let b(p) = -p**2 - 2*p + 13. Let t be b(-4). Suppose -t*i + k = 6*i. Is i prime?
False
Let o be (9584 + 2)*-2*6/24. Let n = -2364 - o. Is n composite?
True
Let s(g) = 65*g + 2. Let d(j) = -3 - 6*j - 16*j - 48*j - 28*j. Let p(c) = 5*d(c) + 8*s(c). Is p(7) a prime number?
True
Let q(w) = 13*w**2 + 30*w + 51. Let f be q(-23). Suppose 5*o = -5*i + 4065, -4*i = 5*o - f + 2173. Is o prime?
False
Let j be (16/12 + 0)/(6/9). Suppose 2*t = -8*g + 11*g - 36591, 5*t = -j*g + 24394. Is g prime?
True
Suppose -9*u + 3*u = -78. Suppose -y + u = 5*b, y - 4*b + 3 = -2. Suppose 801 = y*t - 3*a, -t + 90 + 177 = a. Is t composite?
True
Let r(c) = -13*c**3 - 3*c**2 + 4*c - 5. Let n be r(2). Let t = 1527 + n. Let o = -53 + t. Is o composite?
False
Suppose -32*p + 37*p - 305009 = -s, -p - 2*s = -61009. Is p a composite number?
False
Suppose -2*g + 8963046 = g + 1872357. Is g a prime number?
True
Let v(c) = 6*c**2 - 32*c + 10. Let l be v(-30). Suppose 4*n - l - 6250 = 0. Is n prime?
False
Let r = 31 + -26. Let a(o) = 672*o - 12. Let w be a(r). Suppose -q + 1339 = 2*k, 0 = -3*k - 2*k - 3*q + w. Is k a composite number?
True
Suppose -4*b + 91663 = 3*a, -138*b - 4*a - 91712 = -142*b. Is b prime?
True
Let z(k) = 2*k**2 + 2*k + 1186. Let l(o) = o**3 + 13*o**2 + 12*o. Let t be l(-12). Let a be z(t). Suppose -a + 5951 = 5*m. Is m composite?
False
Let j be 1/(-2)*0/(-173). Let o(z) = 105*z + 6. Let v be o(-4). Is (v/36)/(j + 1/(-166)) prime?
False
Let r = 2503 + -3776. Is r/(-1*(-2)/(-2)) a composite number?
True
Let r(x) = 17 - 32*x + 12*x - 166*x - 114*x. Is r(-4) a prime number?
True
Let o(r) = 2330*r + 6. Let h be o(3). Suppose 0 = -3*g + h + 26724. Let x = g - 6489. Is x a prime number?
True
Let u(o) = 17*o + 88. Let d be u(-5). Suppose 0 = -t + d*m + 646, -2*t + 614 = -t + 5*m. Is t composite?
True
Suppose 5*l - 4*m = 43950, -25*l - 2*m + 17598 = -23*l. Is l composite?
True
Suppose m + 322 = 324. Suppose 6*w - 9*w = -2*j + 29962, -5*j - m*w = -74943. Is j a composite number?
True
Suppose -18*o = -72 - 270. Suppose -2*l + 983 = -3*a, -971 = -2*l - o*a + 18*a. Is l prime?
True
Suppose 5*p - 5 = 5*x, 2*x + 2*x + 2 = 2*p. Let l = p + 0. Is -1838*1/(-3 + l) a prime number?
True
Let i(l) = -3*l**2 + 9*l + 31. Let v be i(8). Let o = v + 216. Is o a prime number?
True
Let u be 2*3 + -10 + 7. Suppose 0 = u*j - j - 4*d - 40, 3*j - 4*d - 52 = 0. Suppose -1676 = -j*k + 8*k. Is k a composite number?
False
Let f be (-1)/2 - (-21)/6. Let c(m) = -6 - f + 13 + 11*m. Is c(5) prime?
True
Let c = -34951 - -87810. Is c a composite number?
False
Let y = -24758 + 16927. Let w = y - -12530. Is w composite?
True
Let z(u) = 51*u**2 + 7*u + 7. Let q = 23 - 25. Let m be z(q). Let l = 468 - m. Is l composite?
False
Let t be -16*(40/(-5) - 3). Suppose -p = 3*x - 752, -3*p + 88 = x - t. Is x a composite number?
True
Let k(a) = 104*a**2 + 5*a - 23. Is k(12) prime?
True
Let j(x) = 4165*x**2 + x + 2. Let f be j(1). Let y = f - 2633. Is y a composite number?
True
Suppose -28 = -6*f - 8*f. Suppose -o + 685 = x - 2, f*o - x = 1386. Is o a composite number?
False
Is (-5 - (-40)/(-8)) + 2144969 + -8 prime?
True
Suppose -5*c = 3*r - 10021, 4*c + 13340 = 10*r - 6*r. Let q = r - -256. Is q a composite number?
False
Suppose 12*b + 24437729 = 151*b. Is b a composite number?
False
Let w be 4200/(-36) - 1/3. Is 3 - (57122/w - 4/(-18)) composite?
False
Let s(r) = 578*r**2 - r + 7. Suppose 0 = -d - 2*l - 6, 5*l - 28 + 38 = 0. Is s(d) prime?
False
Suppose 4*h + 2*m - 10213680 = 0, 0 = 5*h + 30*m - 27*m - 12767101. Is h composite?
True
Suppose -63337 + 236612 = 25*b. Is b composite?
True
Suppose 4*f - 4*r = 2134996, 15*f - 20*f + 2*r + 2668739 = 0. Is f a prime number?
True
Let r(g) = -31*g**3 + g**2 - 3. Let m be r(-4). Let j = m - -1052. Is j a prime number?
True
Let t(v) = 90462*v - 125. Is t(4) a composite number?
False
Suppose 33*d - 28*d - 15 = 0. Suppose d*n = 90 + 168. Suppose 0 = -81*v + n*v - 1905. Is v a composite number?
True
Let s(z) = -5*z**3 - 22*z**2 + 15*z - 767. Is s(-46) composite?
False
Suppose 66 = -2*r - 4*r. Let w be 18601/3 - r/(-33). Suppose 5*n - 2084 - w = -t, -n + t + 1658 = 0. Is n composite?
False
Suppose 34*v - 32*v - 32196 = 2*t, -2*v - t = -32193. Is v a composite number?
False
Is -3 + 65/20 + ((-11856143)/4)/(-13) a composite number?
True
Let l = 917823 + -516910. Is l a prime number?
False
Let r = 63 - 61. Suppose 2*c - r*d + 0*d = -2, 5*c = -4*d - 32. Is (c/((-4)/(-317))*-4)/2 prime?
False
Let m = 13789 - 1542. Is m a prime number?
False
Is (-13)/((-78)/4) + -3 + (-566428)/(-3) a composite number?
True
Let w be (-5 + 4)*-5*1. Suppose -5*r + 24 = 6*n - w*n, 5*r - 40 = -5*n. Suppose -r*d + 2317 = 105. Is d prime?
False
Let p(a) be the first derivative of 325*a**2/2 - 51*a + 55. Is p(14) prime?
False
Suppose 2*h - 4*h + r = -5, 6 = 4*h + 2*r. Suppose n + 686 = -4*v, h*v = 5*n + 4*v + 3448. Is (1 - 6/4)/(3/n) composite?
True
Suppose -2*p = -5*v - 24787, -21*v = 5*p - 20*v - 62008. Is p a composite number?
False
Let y(o) = 389*o**2 - 32*o - 479. Is y(