4. Let p(l) = 4*l**3 + l**2 - l + 2. Let i be p(q). Let k = 63 + i. Is k a composite number?
True
Suppose 0*n = 2*n. Suppose n = -3*w + 5 + 1. Suppose -2*z - 51 = -w*r + 3, 2*r + z - 39 = 0. Is r prime?
False
Suppose -3*v + 4*x + 1 = 0, -4*v - 5*x = -0*v - 53. Suppose 3*c - v*c = -92. Is c composite?
False
Let h(g) = g - 15. Let c be h(15). Suppose c = -2*x + 29 + 33. Is x prime?
True
Suppose 20 = -5*c, -5*z + 4*c + 795 + 431 = 0. Is (z/(-3))/(10/(-15)) a prime number?
False
Suppose -3*i + 5 = -4*i. Let n(g) = g**3 + 6*g**2 + 4*g - 4. Let x be n(i). Let b(v) = 68*v - 1. Is b(x) a composite number?
False
Is (-2001)/1*5/(-15) prime?
False
Is -4 + (-952 - 3)/(-5) a composite number?
True
Suppose 5*c = -2*w - 14, -3*w + 10 = -8*w. Is 908/8 - (-1)/c composite?
False
Let l be 1 - (2 - 1)/(-1). Suppose 3*f + 5*g = 1043, l*f + g = -2*g + 697. Suppose -29 = -5*x + f. Is x composite?
True
Is (-46)/3*45/(-30) prime?
True
Suppose 2*h = 5*h - 372. Suppose 0 = -5*c - 3*k + 97 + h, 5*k = -5*c + 225. Is c composite?
False
Suppose 2*l + 12 = 3*l. Let n be (8/6)/((-4)/l). Is (10/(-15))/(n/306) a prime number?
False
Suppose -4*u = u - 15. Suppose 5*o - 3 = -3*f, u = -5*o - 2*f + 5. Suppose 0*s + s - 115 = o. Is s a prime number?
False
Let q(d) = -2*d**3 - 7*d**2 - 7*d + 1. Is q(-5) composite?
True
Suppose 16 = -m - 3*m. Let u = 6 + m. Suppose 5*r + 39 = p, -6*p + u*p = -4*r - 140. Is p composite?
True
Suppose 4*h + 108 - 472 = 0. Suppose 2*n = n + h. Is n a prime number?
False
Suppose a + 2 = 2*a. Suppose -4*y + 75 = -4*k + 211, a*k - 3*y - 71 = 0. Is k composite?
False
Suppose -8*o + 740 = -4*o. Suppose 366 = -2*w + 102. Let i = w + o. Is i prime?
True
Let d(p) = 2*p**2 + 15*p - 5. Is d(6) composite?
False
Let a = 3 - -10. Let n = 32 - a. Is n a prime number?
True
Suppose 4*r - 2*j = 4152, 4*r = 5*j - 927 + 5085. Is r prime?
False
Let u(x) = -x**3. Let j(q) = 3*q**3 + 8*q**2 - 5*q - 4. Let o(l) = -j(l) - 5*u(l). Is o(5) composite?
False
Let h = -5574 - -7859. Is h a composite number?
True
Suppose -375 + 2099 = -4*h. Let m = 632 + h. Is m a composite number?
True
Let f(n) = 18*n**2 + 16*n + 1. Is f(-5) a prime number?
False
Let t be 0 - 4*(1 + -3). Let n = t - -6. Is n a prime number?
False
Suppose 0*t + 2*t + 2800 = 4*r, -3*r - 2*t + 2107 = 0. Is r prime?
True
Let u = -476 - -807. Is u composite?
False
Let l(m) = 12*m - 1. Suppose -4*q = q - 35. Let d be l(q). Suppose d = 3*y - 148. Is y composite?
True
Let m = 7 - 13. Let d = 23 - 20. Is 19*(-2)/m*d composite?
False
Let u(d) = -d**3 + 14*d**2 - 9*d - 13. Let x be u(12). Let i = -102 + x. Is i composite?
True
Let z(s) be the second derivative of 37*s**3/6 - 3*s. Let m be z(1). Is (-2 + 5 - 3) + m a composite number?
False
Suppose -28 = -5*d + 3*o, -o = -2*d + 2*o + 13. Suppose 0 = -d*a - 3*l + 152, -2*l + 3*l - 30 = -a. Is a a prime number?
True
Suppose -3*d + 5104 = 5*k, 3*d - 5084 = -0*d - k. Is d a prime number?
True
Let b(z) = -z**3 + 10*z**2 - 11*z + 7. Let j be b(7). Suppose 3*v + 102 = -18. Let o = j + v. Is o composite?
False
Let p(s) = -130*s**3 - 2*s - 1. Let i = 6 + -7. Is p(i) composite?
False
Let t(g) = -3*g + 2. Is t(-7) composite?
False
Is (-2168)/(-2) - (-2 - (-2 + 3)) composite?
False
Is (-4)/(-10) - (-9915)/25 prime?
True
Suppose -150 = -2*h + 464. Is h a composite number?
False
Let a(z) = -4*z**2 - 2*z**3 + 4*z**2 - 10*z**2 + 1 - 10 - 8*z. Is a(-6) a prime number?
False
Let j = -13 - -18. Is (j/(-4))/(3/(-132)) a composite number?
True
Let k(n) = -672*n + 1. Is k(-1) composite?
False
Suppose 0 = -2*b + 11 - 3. Is (-1 + 0)/(b/(-52)) prime?
True
Let h(f) = -f**3 + 4*f**2 - 3*f + 3. Let m be h(3). Is 2 - 2 - (-472 + m) composite?
True
Let c(s) = 48*s - 2. Let b be c(-2). Is (b/21)/((-4)/6) a composite number?
False
Let l be (4/10)/(7/(-35)). Let c be (l + 0/(-2))/(-2). Suppose 4*t = 0, k + c = 4*t + 134. Is k a composite number?
True
Suppose 6*o - 18 = o - 2*m, o - 7 = 3*m. Is 473 - (-1)/(o/(-8)) composite?
True
Let f(j) = 391*j + 1. Let w be f(-1). Let p = 3 - w. Is p composite?
True
Let n(u) = -4*u + 1 - u + 5*u + 31*u**2 - u. Is n(-2) prime?
True
Let j = 5 - 9. Let w(x) = -7*x - 3. Let c be w(j). Let i = c - 18. Is i a composite number?
False
Is (12/(-4) + -108)*-1 prime?
False
Let r(u) = u**3 - 14*u**2 + 9*u + 16. Let l be r(13). Let t(k) = -k**2 - 5*k - 3. Let y be t(-4). Is -2 - (l - -3)/y prime?
True
Let x(j) = -j + 5. Suppose -2 = -a + 3. Let m be x(a). Is 352/4 - (1 + m) prime?
False
Let t(d) = d**2 + 3*d + 7. Is t(4) composite?
True
Suppose -2*j + 3*j + 338 = 5*s, -64 = -s - j. Is s a composite number?
False
Suppose -15 + 2 = -4*m + j, -2*m = 5*j - 23. Let g(u) = -u**2 + 6*u - 3. Let r be g(m). Suppose 28 = h + 3*w, -r*w - 44 = -2*h + 1. Is h composite?
True
Suppose 8 + 7 = -5*m. Let v(g) = -2*g - 4. Let p be v(m). Is ((-1206)/27)/(p/(-3)) prime?
True
Let s be 3 - 1/3*0. Let a = s + 10. Is a a prime number?
True
Let u = -4245 - -9500. Is u a composite number?
True
Suppose 0 = -5*h + 47 - 7. Suppose -2*j + h = 2*j. Suppose 2*a - 197 = -3*a + 3*n, 2*n + 82 = j*a. Is a a composite number?
False
Let x = 6 + -4. Suppose -3*q - 3*h + 12 = 0, q + 4*h - 3 = -x. Suppose -q*u + 615 = 5*i, -i - 518 - 85 = -5*u. Is u a composite number?
True
Suppose 0*d + 2*d = 4*j + 114, j - 104 = -2*d. Suppose d - 237 = -4*f. Is f prime?
False
Suppose -6*l - 5500 + 16918 = 0. Is l prime?
False
Suppose 0 = -5*s + 6 - 1. Let m = s - -3. Is m prime?
False
Suppose -2*o = 0, 0 = 5*p + 3*o - 5*o - 10. Let v(i) = 27*i**3 - 4*i**2 + i + 2. Let w be v(p). Is (-2)/(-2 + w/105) a prime number?
False
Suppose -3*h + h = 4. Is (-785)/h + (-3)/(-6) composite?
True
Let w = 3566 - 751. Is w a composite number?
True
Let h be ((-1)/3)/(3/(-9)). Let o(k) = k**2 + 2*k**2 - k**2 + 3*k - h. Is o(-4) prime?
True
Suppose 8*c - 10750 + 694 = 0. Is c prime?
False
Let a = 39 + -21. Let d = a + 7. Suppose -3*j - 4*o = -5*o - d, -3*j + 29 = o. Is j prime?
False
Suppose 16*z - 445 = 11*z. Is z a prime number?
True
Is 2/(6*(-5)/(-66315)) composite?
False
Let k be (174/(-4))/((-1)/2). Let p = 138 - k. Is p prime?
False
Let b be (-12 - -3)/3 - 0. Let p(n) = 2 - 3*n**2 + 5*n**2 - 6. Is p(b) prime?
False
Let w be 8 + -1 - (2 - 0). Suppose -w*g - 48 + 143 = 0. Suppose 20 + g = a. Is a prime?
False
Let p = 28 - 20. Suppose -4*y = 4 + p. Is (-15)/((-9)/y)*-7 prime?
False
Suppose 0*l + 3*l + 4*k - 11 = 0, -4*l + 4*k = -24. Suppose -2*f + l = 1. Let h(b) = 32*b**2 - 2*b + 3. Is h(f) prime?
True
Let d(c) = c - 7. Let o be d(7). Suppose o*n + 3*n - 147 = 0. Is n a prime number?
False
Let n(p) = 3*p**2 - 3*p - 8. Is n(-2) prime?
False
Let x be -1 + 3 + -1 - -5. Let u = -3 + x. Is (4 - (-3)/u) + 1 a prime number?
False
Let w(s) = -3*s + 6 - 6*s**3 + 5*s**2 + 2*s**3 + 2*s**3. Let d(b) = 5*b**3 - 15*b**2 + 10*b - 17. Let k(p) = 3*d(p) + 8*w(p). Is k(-7) prime?
True
Is (-1)/5 - 33536/(-80) a prime number?
True
Let a(l) = l**2 + 3*l + 2. Let k be a(-3). Let y be (4 + -2)*k*1. Suppose y*g = 2*g + 22. Is g a composite number?
False
Let k(q) = 7 + 10*q - 2*q - 2*q**2 + 9*q**2. Is k(-6) a composite number?
False
Let u = -7 + 3. Let c(h) = -h**3 - 5*h**2 - 6*h - 4. Let p be c(u). Suppose -p*b - 2*x = -122, -5*b - 35 + 192 = -2*x. Is b composite?
False
Suppose 0 = -3*r + 3*o, 4*r - 3*o + 0 = 3. Suppose -2*u = -5*i - 417, -8*u + r*i + 1052 = -3*u. Is u a composite number?
False
Let z(s) = s**3 - 7*s**2 + 3*s + 2. Let y be z(3). Let f = 52 + -4. Let h = y + f. Is h a prime number?
True
Let a be ((-44)/(-12) + -1)*117. Suppose 0 = -5*w + 263 + a. Is w composite?
True
Suppose -5*f = 274 + 161. Let t = f + 310. Is t prime?
True
Suppose -y = 2*g - 8, -5*y - 2*g + 4 = -g. Suppose 3*j + 0*q = -4*q + 109, -3*q + 150 = 4*j. Suppose y = 2*w + m - j - 24, 6 = -2*m. Is w composite?
True
Suppose 0 = -5*g + 10, -2*g = 3*k - 0*g - 358. Suppose -12 = -5*m - s, 2 = 5*m + 2*s - 7. Let d = k - m. Is d prime?
False
Let s be (-2)/5 - (-36)/15. Suppose -k + 2*f + 1021 = s*k, f - 1354 = -4*k. Suppose -n = 4*o + 4*n - k, -3*o + 278 = -n. Is o a prime number?
False
Let g(l) = l - 5. Let n(t) = 2*t. Let h be n(2). Let f be g(h). Is 17 - (f + 4 - 1) prime?
False
Suppose -3*w - 2*g + 33 = -5, 0 = -3*w - 4*g + 46. Suppose 0*s = s - w. Is s prime?
False
Let j = 90 - -119. Is j prime?
False
L