 Is v a composite number?
True
Let t be (-1 - -2)*(1 - 0/5). Suppose l + 2*l + 4*c - t = 0, l = -5*c - 7. Suppose -5 = j, -d - l*j + 294 = 2*d. Is d a composite number?
False
Let x(u) = 17*u**3 - 4*u**2 + 8*u - 11. Let y be x(2). Let l(i) = -i**2 + 7*i. Let g be l(7). Is (y - -5) + 2 - (-1 - g) a composite number?
True
Let w(r) = 180*r - 1. Suppose -5*t = -13*t - 128. Let i = 17 + t. Is w(i) prime?
True
Let h(m) = -15546*m - 779. Is h(-11) a composite number?
False
Suppose 53*t - 70770 = 23*t. Suppose -t = -2*d + 4959. Is d prime?
True
Let i = 37066 - 36171. Is i prime?
False
Suppose 0*h - 5*h = 20. Let n be 4/(80/34225) - (-1)/h. Let m = n + 42. Is m prime?
True
Let z be 16*5/((-20)/(-531)). Let g = 4085 - z. Is g a composite number?
True
Let h be ((-8)/(-6))/(4/6)*6. Let k = 291 - h. Suppose 10*r - k = 7*r. Is r prime?
False
Let a = 261771 - 112864. Is a a prime number?
False
Let h be (-2278)/(-51) - (-4)/(-6). Suppose -49*x + 17485 = -h*x. Suppose r + 3*b = -r + x, -2*r + 3477 = -b. Is r a prime number?
True
Let w be (-11)/2 + 1/(-2). Let x be (-155)/w - 1/(-6). Let n = x - 4. Is n prime?
False
Suppose -61853 = -v + x, 2*v - 123706 = -23*x + 28*x. Is v composite?
True
Let g = -190621 - -366222. Is g composite?
False
Let k(p) = p**2 + 9*p + 10. Let g be k(-8). Let u be 3*g*15/10. Suppose u = -o + 268. Is o composite?
True
Let b be (-1)/(-2 + 5478/2740) + 0. Let n = b + -2936. Is n/(-21) + (-8)/14 composite?
True
Suppose 0 = 15*t - 69526 - 79829. Let l = -2756 + t. Is l a prime number?
False
Let a = 26082 + -12389. Let n = a + -7845. Suppose -x + n = 7*x. Is x a composite number?
True
Let l = 15240 - 9161. Let d = -2626 + l. Is d prime?
False
Suppose f - 45727 = -n, 16*f + 3*n - 228635 = 11*f. Is f a composite number?
True
Suppose -5*l = 3*p - 5088 - 4779, 2*l = 0. Suppose 3293 = a + 3*d, -2*a + 3*a + 5*d - p = 0. Is a prime?
True
Suppose -6*m + 8*m - 2*d = 3382356, 3*d - 6764649 = -4*m. Is m prime?
False
Let n be (1187/(-2) - -3)/((-11)/66). Suppose 4*g - 3*v = 25495 + n, 0 = -4*g + 2*v + 29040. Is g a composite number?
True
Let p(q) = q**3 - 3*q**2 + q. Let f be p(3). Suppose f*x - 4*y = -8040, -x + 2*y - 2680 = -y. Let o = -1439 - x. Is o a composite number?
True
Let u(t) = 1365*t + 94. Let p(s) = 2732*s + 187. Let o(a) = 6*p(a) - 11*u(a). Is o(3) a composite number?
False
Let g be (-6)/(-15) + 612/(-180). Let s(l) = 1359*l**2 - 28*l - 88. Is s(g) a prime number?
True
Suppose 6*c = -5858 - 496. Let g = c + 1580. Let x = g + -228. Is x a prime number?
True
Let d = 40829 - 28924. Is d composite?
True
Let l be 24/2*(-55)/(-33). Let p(o) = 3 + 21*o + 0 + 3*o**2 - l*o. Is p(-2) a composite number?
False
Let l(z) = -z**2 - 23*z + 288. Let v be l(-32). Suppose 8*f - f - 1141 = v. Is f composite?
False
Suppose -4*v = -3*d + 5, 0 = 4*d + 6*v - 2*v - 16. Let m be 2094/36*33 + d/(-2). Let c = -1067 + m. Is c prime?
False
Let f be (-114)/18 - -6 - 27088/6. Let v = -2258 - f. Is v a prime number?
False
Let q(f) = 15*f - 73. Let l be q(5). Suppose -l*b + 5*d + 367 = -590, 4*d + 1920 = 4*b. Is b prime?
False
Let x(q) = 2*q**3 + 31*q**2 + 100*q - 207. Is x(26) composite?
True
Suppose -80*q + 10945078 = 5*q + 9*q. Is q prime?
True
Let i(g) = -2*g**3 + 12*g**2 - 3*g + 18. Let x be i(6). Suppose x*t - 2*t = -z - 14902, -t - 4*z = -7451. Is t a prime number?
True
Let n = -2322 + 1066. Let x = 1957 + n. Is x composite?
False
Suppose 2*f = -r - 45 - 69, 4*r - 160 = 3*f. Let a = -218 + 295. Let b = f + a. Is b a prime number?
False
Suppose 16*w + 16*w = -15148 + 41324. Let o = 6 + -4. Suppose w = -o*v + 2728. Is v a composite number?
True
Let b(s) be the third derivative of 7*s**5/3 + s**4/3 + 19*s**3/6 - 8*s**2. Let r be b(-12). Suppose -r = -5*k - 1628. Is k composite?
False
Suppose g + 2*g + 5*d + 34193 = 0, 0 = 3*g - 2*d + 34165. Let z = g - -19169. Is z composite?
True
Is (1/(4 + (-2917803)/729449))/(-2 + 1) prime?
True
Suppose 0 = 4*v + 20, -4*q = 4*v - 204669 - 90315. Is q composite?
False
Let f(p) = 156*p**3 - 2*p**2 + 3*p - 2. Let w be 4/(-9)*(39/(-6) - -2). Suppose 10 = 4*o - 3*x, -4*o - 3*x - 6 = w*x. Is f(o) prime?
False
Let f be -1*(-1 + 1)/((-6)/(-3)). Suppose -4*c - 5*s = 5 + 10, -3*c - 5*s - 15 = f. Suppose c = z - 2*k - k - 493, z - 5*k = 497. Is z a composite number?
False
Let s be (3/12)/((-2)/(-16)). Let u be (0/4)/(1 + 0). Suppose 5*x - s*d - 745 = u, -3*x + 436 + 11 = d. Is x composite?
False
Let b = -400 + 404. Is ((-5)/10*397)/((-2)/b) prime?
True
Let r(h) = -3*h + 22. Let b be r(8). Let y(k) = 3*k**3 - k**2 + k. Let i be y(b). Let w = 79 + i. Is w composite?
True
Let j be 140/6 - 186/(-279). Suppose -26*w = -j*w, 3*h + w = 29193. Is h composite?
True
Let d = 839327 - 365956. Is d composite?
True
Suppose i - 6967 = -z, -4*z - 5*i = -3*z - 6979. Suppose 3*l - 7*l = -z. Is l prime?
True
Let o(q) = -36*q - 9. Let f be o(-3). Suppose 19*l - 16*l = f. Suppose -l*a = -29*a - 1276. Is a composite?
True
Suppose 6610 = -5*k - f, 4*f - 1343 = 6*k - 5*k. Let a = k + 3656. Is a prime?
True
Let o = 126 - 114. Suppose o*k - 10651 - 7025 = 0. Is k prime?
False
Let h(w) = 3*w**2 + 5*w + 15. Let u be h(-3). Suppose -25*x + u*x = 0. Suppose x = -10*d + 1790 + 2660. Is d composite?
True
Let n = 23166 + 9783. Is (n/84)/((-6)/(-184)) a composite number?
True
Is ((-229128611)/4164 + 2/(-8)*1)*-3 a prime number?
True
Let r = -52099 + 77318. Is r a composite number?
False
Let g = -781 + -859. Let t = 72 + -841. Let s = t - g. Is s composite?
True
Suppose 0 = -0*h - 2*h + 20. Let n(z) = 2*z**2 + 119*z + 73. Let o be n(-50). Is (h + -5 - 6)*o prime?
True
Suppose -3*m - 10 = h, 9*m - 6*m = 5*h - 40. Suppose -h*w - 5*b = -0*b - 12860, -w + 6*b = -2551. Is w composite?
True
Let d be 2 + 5/(1/(-1)). Let t be 1/d*(2 + -8). Suppose -m = 4*x - 479, 3*x - t*m - 470 = -x. Is x prime?
False
Suppose 11143 = -19*w + 8*w. Let l = w + 2374. Is l prime?
True
Let q = 25 - 22. Let d(g) be the first derivative of 26*g**3/3 - g + 13. Is d(q) prime?
True
Suppose y = 5*n - 8850, 0*n - 5*y + 3513 = 2*n. Suppose 3*h = u + 10 + 2, 3*u = 9. Suppose 4*x - 2332 = 4*b, h*x + 2*b - n = 2*x. Is x prime?
True
Let w be (1/(-5))/(32/(-800)). Suppose 0 = -3*z - 2*v + 11930 - 1471, z + w*v = 3469. Is z a prime number?
False
Let l(c) be the third derivative of c**6/120 + c**5/10 - c**4/3 + 5*c**3/6 - 47*c**2. Let x be l(-7). Is (15*-1)/(x/(-292)) composite?
True
Let f be 4/1 + (16 - 9883). Let t = 17832 + f. Is t prime?
False
Suppose -17*f + 12*f + 10 = 0, 0 = h + 4*f + 30531. Is ((-92)/23)/(4/h) prime?
True
Let z(g) = -8003*g**3 - g**2 + 6*g + 37. Is z(-3) prime?
True
Suppose 3*w = -3*x + 48, 12 = -4*x + x. Suppose 5*u = -w, 2*q - u = 3*u + 11430. Suppose 3*m - q = -4*b + 15200, 4*m = b - 5203. Is b a prime number?
False
Suppose 3*w - 241 + 250 = 0, 0 = f + w - 2002048. Is f composite?
True
Let g(j) be the second derivative of 7*j**6/360 + 2*j**5/15 - 2*j**4/3 - 19*j**3/6 + 10*j. Let y(k) be the second derivative of g(k). Is y(-9) a prime number?
False
Suppose 212 + 352 = -6*g. Let c = g - -102. Let x(b) = 35*b + 27. Is x(c) prime?
True
Let g = 32 - 27. Suppose 0 = g*z + 2*z - 2233. Is z a prime number?
False
Suppose 3*o + 41141 = 4*d, -39*d + o - 30872 = -42*d. Is d a prime number?
True
Suppose -5*i + 2*x = 35, 0 = -0*x - 2*x + 10. Is ((-41121)/(-3))/3 + (i - -9) prime?
False
Suppose -7*s - 32 = -4. Let o(m) = -9*m - 15. Let y be o(s). Is (-16)/(-56) - (-2913)/y prime?
True
Suppose w = 5*w - l - 42, 0 = -w - 2*l + 6. Let o be w/25 + (-22)/5. Let t(h) = -2*h**3 + 2*h**2 + h - 7. Is t(o) a composite number?
False
Is (786057/6 + -4)*(-90)/(-135) a prime number?
True
Suppose 4*r = -z + 50080 + 631, 0 = 4*z + 4*r - 202832. Is z a prime number?
True
Let p(f) = f**3 - 37*f**2 - 82*f + 160. Let w be p(39). Let y(l) = 44*l - 2. Let o be y(8). Suppose w*u = o + 678. Is u prime?
True
Let q = 114 + -113. Let i be q + -2 - -11189 - (-2 + -2). Suppose -6*o - 2*o = -i. Is o a prime number?
True
Let z be ((-5617)/2 + 1)/((-25)/50). Is (z/(-30))/(4/(-264)) a composite number?
True
Suppose -5*v = 4*h - 1572481, -5*h - 3*v = -2253686 + 288088. Is h composite?
True
Suppose 0 = -4*u + 13*u - 44901. Let k = 12968 - u. Let i = k + -4642. Is i a composite number?
True
Let s(p) = p**2 - 4*p + 1. Let v be s(0). Is (-1