of 8*l**3/3 - 3*l**2/2 + 8*l - 1. Let p = 443 + -448. Is w(p) prime?
True
Let u(m) = -3*m - 2. Let c be u(2). Let r(d) = -d + 1. Let w be r(c). Let k(s) = 2*s**2 - 5*s - 4. Is k(w) composite?
False
Let u(j) = 2365*j**2 - 4*j + 15. Is u(-4) prime?
True
Is (-68)/(-85) + (-30455)/(-25) composite?
True
Suppose 0 = z + 1, -13216 = -5*o - 0*o + z. Suppose -5*c + 62 = -o. Is c prime?
True
Let z(w) = 2*w**2 + 47*w + 14. Let f(b) = -3*b**2 - 71*b - 21. Let i(r) = 5*f(r) + 8*z(r). Is i(17) composite?
False
Let a(x) = -x + 21. Let b be a(-12). Let m = 142 - b. Is m a prime number?
True
Suppose a + 5*o - 38 = 0, 3*a - o - 58 = -2*o. Suppose 13*x + 1115 = a*x. Is x composite?
False
Let x(d) = d**2 + 11*d - 30. Let z be x(-13). Is (2 - -136)/(-2 - z) composite?
True
Suppose -10*t - 56206 = -156216. Is t prime?
False
Let m(i) = 4*i + 7 - 892*i - 8. Is m(-1) composite?
False
Let s(f) = -4*f**2 + 5*f - 17. Let b(y) = -y**2 - y + 1. Let l(q) = -5*b(q) + s(q). Is l(-16) a prime number?
False
Suppose -38*h = -49147 - 106311. Is h composite?
False
Let w(k) = 342*k + 27. Let l be w(-6). Let g = -1318 - l. Is g composite?
True
Is (-4687)/(1/(-4)*(-4)/(-1)) prime?
False
Suppose -5 + 2 = -3*p. Let c be 860/(1 - -3) - p. Let i = c - 137. Is i a composite number?
True
Let r = -104170 + 187639. Is r a prime number?
False
Let h(t) = 432*t - 23. Is h(8) a composite number?
False
Suppose -25*o = 37*o - 60698. Is o a composite number?
True
Suppose -2975 = 16*n - 26415. Is n a composite number?
True
Let b(d) = -d - 18*d + 10 + 7 - 14*d. Is b(-10) a composite number?
False
Let s(d) = d**3 - d**2 - 12*d + 2. Is s(13) prime?
False
Let d = -19 + 22. Suppose p = n - 485, d*n - 1447 = 2*p - p. Is n a prime number?
False
Let k(t) be the third derivative of -5*t**4/6 - 5*t**3/6 + 87*t**2. Let n be (-88)/14 + (-4)/(-14). Is k(n) a composite number?
True
Let o = 5359 + -2060. Is o composite?
False
Let t(q) = -3*q - 26. Let u be t(-8). Is 6730/15*(-3)/u prime?
True
Suppose 0 = a - 2*a - 2704. Suppose 2*p + 121 + 3614 = 5*f, 4*f = 4*p + 7440. Let h = p - a. Is h a prime number?
False
Let k be (-23 - -1)*(10 + -9). Let m be (-8)/44 - 19144/k. Is ((-3)/(-6))/(3/m) a prime number?
False
Let j(p) = -5854*p - 49. Is j(-2) prime?
False
Suppose -45476 = -4*g - i, -4*i + 2015 = g - 9354. Is g a composite number?
False
Let x = 2792 - -12461. Is x prime?
False
Let d = -892 - -1353. Let a = d + -198. Suppose -a + 78 = -5*r. Is r composite?
False
Suppose 0 = 114*m - 112*m - 63734. Is m a prime number?
False
Suppose 29*k + 80308 = 33*k. Is k prime?
False
Let a be (4 + (-4 - -1))*24. Let y be (-1 + -3)*(-12)/a. Suppose 0 = -3*m + 5*s + 280, 5*m - 472 = s + y*s. Is m a prime number?
False
Let q(f) be the first derivative of -f - 89/4*f**4 - 1/3*f**3 - f**2 + 3. Is q(-1) composite?
False
Suppose -3*j = 4*q + 20, 0 = 3*j + 2*q + 12 - 2. Suppose 3*m + 10895 = 5*n, m = -j*n - n + 2179. Is n a prime number?
True
Suppose 3*a - 4045 = -4*t, 3*a - 1897 = -3*t + 2150. Suppose 3*f = 4*w - a, f = 3*w - 124 - 888. Is w prime?
True
Suppose -5*f + 1277 = 2*p - 1283, -5 = -p. Suppose 2*d + 114 = f. Suppose -3*s + 5*w + d + 74 = 0, -w = -4*s + 357. Is s a composite number?
False
Let x(o) be the second derivative of 131*o**3/2 + 3*o**2 - 13*o. Let i be x(4). Suppose 3*v = v - 2*d + 1586, -2*v - 4*d = -i. Is v composite?
False
Suppose -11*u + 10 = -9*u. Suppose u*o - 1230 - 985 = 0. Is o prime?
True
Let u be (1 - 1)/(0 + -2). Let v = 5 + u. Suppose v*y = 202 + 88. Is y composite?
True
Is ((-8)/(-16))/((-1)/(-15118)) a prime number?
True
Suppose 3*q = -3*a + 15, -5 = -0*q + q - a. Suppose y - 3*y + 8 = q. Suppose 3*s - 7*s + 495 = v, 0 = -2*s + y. Is v a prime number?
True
Suppose -r = 3*x + 15, -3*r + 2*r + 21 = -3*x. Is (-1)/((x/753)/2) a composite number?
False
Let o be (-656)/(-10) - (-6)/15. Suppose -3*f = 5*v - o, -5*f - 11 = -2*v + 3. Is 15477/28 - (-3)/v prime?
False
Suppose 61*c - 59*c - 38470 = 0. Is c composite?
True
Let d = -2256 + 6223. Is d a prime number?
True
Let l(m) = -6*m**3 - m**2 + m. Let f be l(1). Is (3 + 1 + 201/f)*-26 a composite number?
True
Let q(s) = -s**3. Let u be q(-1). Let t be 2 + -2 + u + 4. Suppose -t*r = -261 - 444. Is r a prime number?
False
Let n(t) = 3*t**2 + 9*t - 6. Let q(y) = -7*y**2 - 19*y + 12. Let f(k) = 5*n(k) + 2*q(k). Let r be f(-7). Is (-3)/r + 2980/8 a prime number?
True
Let k = 77 + -76. Is 4862 + k + (0 - 0) + -2 a composite number?
False
Is ((1264/3)/(-8))/(4/(-498)) a prime number?
False
Suppose -6*m + 14342 = -23314. Suppose 2*s - 6 = 0, 4*k - 9*k + 3*s + m = 0. Is k a composite number?
True
Let t = 3880 + 63. Is t a composite number?
False
Suppose 3*j + 37132 + 1273 = 4*n, 2*n - 2*j - 19204 = 0. Is n a prime number?
False
Suppose 16*g + 2953 = 20*g + 3*w, -2*g = -5*w - 1483. Is g composite?
False
Suppose -19171 = -6*s + 8825. Is s prime?
False
Suppose 0 = 3*w - a + 5*a - 37, 0 = w + 3*a - 19. Let t(g) = -g**2. Let v(d) = -8*d**2 + 7*d + 5. Let r(o) = t(o) - v(o). Is r(w) a prime number?
False
Let o(d) = -d - 10. Let q be o(-13). Is (149/q)/((-3)/(-26 - 1)) prime?
False
Is (-1 + 3)*196976/32 composite?
True
Suppose f - 5 = -0*f. Suppose 5*k - 7 + 27 = -f*w, 5*k + 20 = 5*w. Is (-1)/2 - 142/k prime?
False
Suppose -434 - 480 = -2*q - 5*d, 3*d + 1392 = 3*q. Let c = 1579 - q. Is c prime?
True
Let q be (-4 + 21/6)/(3/(-12)). Suppose 4*t = -q*t + 966. Is t prime?
False
Suppose 0 = 46*s + 2*s - 4037808. Is s a composite number?
False
Let s be (-8)/(-24)*1*21. Suppose 0 = -s*b + 4914 - 847. Is b a composite number?
True
Let v be (6/4)/(5/10). Suppose f + 176 = 2*f. Suppose -v*h = w - 70, -f = -4*w + 2*w + 3*h. Is w a prime number?
False
Suppose -4*h = 6*j - j - 312, 312 = 4*h - 3*j. Is h/(-12)*20/(-2) prime?
False
Suppose o - 243 = -b + 443, -4*o + 5*b + 2699 = 0. Suppose -5*s = -2*w + 1042, -7 = -4*w - 3. Let f = s + o. Is f prime?
False
Let l(a) = -2285*a - 51. Is l(-4) prime?
False
Let s be -7*((-120)/(-35))/(-6). Suppose -2*t = 5*v - 645, 330 = -2*t + 3*t + s*v. Suppose 0 = 8*d - t - 2338. Is d prime?
True
Suppose -28 = 5*r - 3*l, -2*l - 3 = -5. Is r + 26364/42 - 4/(-14) a composite number?
True
Let u be (3/9*-13)/((-2)/630). Let r = u - 578. Is r a prime number?
True
Let n(h) = -10*h**3 + h**2 - 6 + 11*h**3 - 6*h**2. Let o be n(5). Is 80 - (-3)/(o - -3) a prime number?
True
Let d = -932 - -3111. Is d a composite number?
False
Suppose 4*r + 8*d = 10*d + 78114, -5*r = 2*d - 97665. Is r a composite number?
False
Let d(h) = 23*h**2 - 85*h - 467. Is d(-6) a composite number?
True
Let o(d) = 4*d - 6. Let s be o(6). Suppose -4448 = -17*v + s*v. Is v/(-22) + (-12)/66 a prime number?
False
Is (-8 + -4 + -47845)*-1 a composite number?
False
Let y = 3 + 5. Suppose y*x = 7*x + 871. Is x prime?
False
Let u = 807814 + -522963. Is u a composite number?
True
Suppose 3*g + 2*k - 5023 = 0, -11421 = -5*g - k - 3061. Suppose -t + g = -222. Is t prime?
False
Suppose -6*v - 3 + 39 = 0. Suppose u = v*u - 530. Is (u/(-4))/((-16)/544) a prime number?
False
Let a = 1111 - 206. Is a prime?
False
Let p(r) = -33*r**3 + 16*r**2 - 2*r - 2. Is p(-3) prime?
True
Suppose -4*d - 2 = 2*z + d, 2*z - 12 = 2*d. Suppose x + 25 = -509. Is (-3)/6 - x/z prime?
False
Let s(t) be the first derivative of 17*t**4/4 + 2*t**3/3 + t**2 - 3*t + 2. Let j be 4/(-8) + 10/4. Is s(j) prime?
False
Suppose -72*t - 2*u = -76*t + 55978, 4*t + 3*u - 56003 = 0. Is t prime?
True
Suppose 2*p + 5*y = 3139, 4*p + 3*y - 6303 = -2*y. Is p/6 + 3/9 + 1 a prime number?
False
Let b(u) = -2*u**3 - 2*u**2 + 8*u - 5. Suppose -28 + 16 = 2*g. Is b(g) composite?
False
Suppose -3*t - 2*h = 19, -h + 13 = -2*t - t. Let r(u) = -2*u**3 + u**2 - 2*u + 8. Is r(t) a composite number?
False
Suppose 0*o - 11*o - 33 = 0. Is (-1 - -5) + (o - -877 - -1) a prime number?
False
Is (-27)/6*(-1 - (-1643)/(-3)) prime?
False
Let i = -76 - -78. Suppose 0 = i*o - 953 - 621. Is o a prime number?
True
Suppose -a + 78 = l - 96, 350 = 2*l + 3*a. Suppose -2*d + l = 3*v, -2*d - v + 0*v + 168 = 0. Let c = d + 36. Is c a prime number?
False
Suppose -510 = 2*t - 5*t. Suppose -2*k + 836 = -t. Is k a prime number?
True
Is ((-185668)/70 - 21)/((-1)/5) composite?
False
Let k be (-5)/(-1)*12/15. Suppose -l + i - 10 + 177 = 0, -3*l = 3*i - 495. Suppose -l = -2*n + k*y, 5*y = 5*n