 2*p = 7*p + 2*l - 385. Let a = 139 - p. Is a composite?
True
Let s = 16 - 16. Suppose 0*t + t - 37 = s. Is t a prime number?
True
Let u = 106 + -22. Suppose 0*r = -3*r + m + 208, u = r - 4*m. Suppose -3*l + r = -25. Is l a prime number?
True
Let l = 9638 + -6737. Is l a composite number?
True
Let n = -68 + 107. Let g = -6 + n. Suppose -4*u - g = -5*u. Is u a composite number?
True
Let k(s) = 178*s - 1. Let p be k(2). Suppose -p = -4*j + 393. Is j a composite number?
True
Is ((-291)/18)/((-3)/18) a composite number?
False
Let l(g) = 4 + g + 4 + 0*g + 11*g**2 + 3*g. Let i be l(6). Suppose 4*q - i - 416 = 0. Is q a prime number?
True
Suppose -4*a + 8*b + 2557 = 3*b, -4*a + b + 2537 = 0. Suppose -a = 7*f - 10*f. Is f prime?
True
Let d = 15 + -11. Suppose -o + 6*o + d*a = 75, a = 2*o - 43. Is o prime?
True
Suppose 3*z - 1478 - 1183 = 0. Is z a prime number?
True
Let i(l) = -l**3 - 4*l**2 - 3*l + 3. Let j be i(-3). Suppose j = 3*u - 6. Suppose 72 = 3*t - a, -u*a = 2*t + 2*a - 31. Is t a composite number?
False
Let a(p) be the third derivative of p**5/60 - p**4/24 - 95*p**3/6 - 3*p**2. Let w be a(0). Let v = 208 + w. Is v a prime number?
True
Let n(c) = -20*c + 11. Is n(-10) prime?
True
Let p(j) = j + 5. Is p(4) a composite number?
True
Suppose -854 = -4*w + 822. Is w a prime number?
True
Let o be 4*(12/16)/1. Let h = -1 + 4. Suppose h*a + o*g = -g + 38, -5*a = 3*g - 67. Is a prime?
False
Let w(r) = -r + 2. Let a be w(-6). Let n(q) = 4*q + 7. Let v be n(-6). Let b = a - v. Is b a prime number?
False
Let t be -3*(-2 - (-26)/6). Let p = t - -10. Suppose -2*f = -p*q - 40, 66 = 5*f - 5*q - 24. Is f a composite number?
True
Suppose s + 8 = 3*s, 32 = -5*l + 3*s. Let w = -4 - l. Suppose -5*j - 67 = -4*v, 3*j - 17 + 2 = w. Is v composite?
False
Let r(b) = -9*b + 6. Let k(h) = 4*h - 3. Let w(v) = 5*k(v) + 2*r(v). Is w(7) prime?
True
Suppose -4*f = -3*c - c - 1524, -369 = -f - 5*c. Is f a prime number?
True
Let h(l) = 3*l + 6. Let c be h(-4). Is (-514)/c + (-10)/15 a prime number?
False
Suppose -z + 497 = 2*d - 2*z, 5*z = -5*d + 1280. Is d composite?
False
Is (12/(-10))/((-16)/440) composite?
True
Suppose o = -5*n + 3, 5*n - 3*o + 2 + 7 = 0. Is n + 301 - 6/3 a prime number?
False
Suppose 0 = -2*n - 2*l + 2170, 4269 = 3*n + 5*l + 1018. Is n composite?
False
Let s(d) = -33*d + 31. Is s(-8) composite?
True
Let c = -34 + 113. Is c composite?
False
Suppose -4*m = -10*m + 3390. Is m prime?
False
Suppose -196 - 151 = -g. Is g a composite number?
False
Suppose d + 2*d = 5*w + 231, 0 = -3*d - 2*w + 252. Is d a composite number?
True
Let z be 8/(-12) + 80/(-6). Is (75 - 1)/(z/(-7)) prime?
True
Suppose -211659 + 58066 = -11*m. Is m composite?
False
Let r(f) = f**3 + 3*f**2 + 2*f + 21. Let z be r(-4). Suppose -w - 2*t - 6 = -4*t, -3*t = 3*w - 27. Is ((-2)/w)/(z/330) prime?
False
Let n be -3*(-2)/2 - 80. Let j = n + 13. Let u = 161 + j. Is u a prime number?
True
Let h(k) = k**3 - 4*k**2 + 3*k - 5. Let i be (12 - -9) + (0 - 1). Let q = i - 14. Is h(q) a prime number?
False
Suppose 2*u + u = 0. Let x(d) be the first derivative of -d**4/4 + d**3/3 - d**2/2 + 31*d + 2. Is x(u) prime?
True
Let a(t) = 182*t - 1. Let z be a(-1). Let g = 498 + -188. Let l = g + z. Is l prime?
True
Suppose 2*p = -2*k - 2*p + 62, -4*p = -5*k + 211. Let d = -22 + k. Let j = 6 + d. Is j a prime number?
True
Let a = 5 - 6. Is ((-78)/(-2) - a) + -3 composite?
False
Suppose -1363 = -4*q - 519. Is q a composite number?
False
Let j(d) = d**3 + d**2 - d + 2. Let a be j(-2). Suppose -i - 2*w = -53, -307 = -a*i - 5*i + 4*w. Is i a composite number?
False
Let d be (1*-2)/(-1) - -2. Suppose 4*n - a - 51 = 0, n = -d*n - 5*a + 70. Is n a composite number?
False
Suppose -2*z + 0*z + 96 = 0. Let y = 79 - z. Is y prime?
True
Suppose -3*n - 1914 = -9*n. Is n a composite number?
True
Let x(k) = 2*k**2 - 8*k - 1. Let m(f) = -2*f**2 + 7*f + 1. Let l(a) = -6*m(a) - 5*x(a). Suppose -3 = -0*b + b. Is l(b) composite?
False
Suppose 0*l + 4 = 2*l. Suppose -4*d + 2*p = -120, l*d - 4*p - 54 = -0*d. Is d a composite number?
False
Suppose -2*m + 2*t = -4*m + 1902, 2*m - 1900 = -3*t. Is m a prime number?
True
Let y(v) = -8*v - 8. Let f be y(9). Let r = -57 - f. Is r composite?
False
Let s be ((-166)/8)/((-4)/48). Suppose 0 = -0*n + n + s. Is ((-3)/9 + 0)*n a composite number?
False
Let a(h) = -h - 1. Let y(m) = -8*m**2 - m - 4. Let d(i) = 3*a(i) - y(i). Is d(-3) composite?
False
Let p(g) = 13*g**2 - g - 1. Is p(5) a composite number?
True
Let o be 3 + -1 - -1 - 4. Let u = -418 + 235. Is 1/(o/(0 + u)) prime?
False
Let z(w) = w**2 + 7*w - 3. Is z(-16) composite?
True
Let v(b) = b**2 - 5*b + 6. Let t be v(4). Suppose 0 = -5*c - 0*m - m + 371, 72 = c - t*m. Is c a composite number?
True
Suppose 5*b = b - 4. Is ((-3 - 156) + 2)/b a prime number?
True
Suppose -3*h = -686 - 3397. Is h composite?
False
Let o(v) = v**3 - v**2 - v - 11. Let t be o(0). Let s be (3 + t/3)*-9. Suppose u - s*u + 185 = 0. Is u composite?
False
Let l(k) = k**2 + 2*k - 11. Let v be (-2)/(-8) + 124/16. Is l(v) prime?
False
Let h = -855 - -1236. Is h prime?
False
Let s(t) = -2*t - 4. Let r be s(3). Let m(o) = -3*o - 11. Is m(r) composite?
False
Suppose -960 - 219 = -3*n. Is n a prime number?
False
Suppose 5*z + 2*x = 14, z - x = x - 2. Suppose z*h - 105 = -h. Is h a prime number?
False
Let z = 4 - -1. Suppose z*i = 6*i - 10. Suppose 3*l - 52 = -4*s, 5*s + 3*l + i = 72. Is s a prime number?
False
Suppose 20 = 10*k - 5*k. Suppose k*u = -l + 61, -5*l - 3*u + 241 = u. Suppose 0 = 5*t - l - 60. Is t a prime number?
False
Let f be 3/(-9) + 38/6. Is 410/f - (-12)/18 prime?
False
Suppose -4*o + 6 + 18 = 0. Suppose m = -4*c + 1505, -o*c - 4*m = -c - 1873. Is c composite?
True
Let x(k) = k**3 - 6*k**2 - k - 3. Let y be x(4). Let h be 4/(72/y - -2). Let f = h - -11. Is f a composite number?
False
Let m(s) = -s**3 - 8*s**2 - 3*s - 12. Let g be m(-8). Let u be g/(-2)*(-91)/14. Suppose -4*q = -101 - u. Is q composite?
True
Let m(v) = v - 1. Let w be m(10). Is (6/w)/(4/462) a prime number?
False
Let n(m) = -4*m**3 + 6*m**2 + 2*m - 7. Is n(-5) composite?
True
Let c(m) = 0*m - 5*m**2 + m - m**3 + 0*m**2 - 5*m. Let t be c(-4). Suppose v + a = 28 + 51, -4*a = t. Is v composite?
False
Let c(t) = 5*t**3 - 19*t**2 - 14*t + 8. Let j(i) = 3*i**3 - 9*i**2 - 7*i + 4. Let g(w) = 4*c(w) - 7*j(w). Is g(-13) prime?
False
Let v(m) = -m**3 + 7*m**2 + 4*m - 7. Suppose 0 = 3*a + 15, 4*p + 0 = -4*a + 4. Let x be v(p). Suppose -2*g = -x - 81. Is g a composite number?
False
Let j = 79 + 268. Is j a composite number?
False
Let s be ((-2)/4)/((-2)/32). Suppose -16 = -i - h, -3*i + 3*h = -2*i - s. Is i a composite number?
True
Let i(s) = -10*s**2 + 2*s - 6. Let y be i(-4). Let d = -47 - y. Is d composite?
False
Let s(z) = -19*z + 1. Is s(-4) prime?
False
Let w(b) = -41*b - 3. Is w(-4) prime?
False
Suppose l - 2*y + 3 = 0, 2*y - 18 = -2*l - 2*y. Suppose 1 + 11 = -l*x. Is (-3 - x) + (-1 - -11) a composite number?
False
Let z(l) = -27*l - 28. Is z(-15) composite?
True
Let a = 7 + -5. Let q be (-2 - 1)/((-1)/a). Is (-2686)/(-18) - q/27 a composite number?
False
Suppose -5*u + 6 - 21 = 0. Suppose 0*o + 1 = o. Is u/(-6)*o*50 a prime number?
False
Suppose g = -5*u - 80 + 23, -g = -3. Let z = -7 - u. Suppose h + 76 = z*h. Is h prime?
True
Let c be 3/((-12)/8) - -5. Suppose -4*k - 113 = -s, -c*k + 4*k = -3*s + 287. Is s a prime number?
True
Let q be 1*(6/1 - 1). Suppose g - q*g = -32. Suppose 0 = -3*c - g + 77. Is c composite?
False
Suppose 3*h - 6211 = 4*a - 274, -5*a + 7916 = 4*h. Is h a prime number?
True
Is 1561 + -7 + 4 - -1 composite?
False
Suppose 0*r - 2*l + 1 = -r, 4*l - 37 = -3*r. Suppose -3*o = -r*o + 20. Suppose -2*s = -o*s + 267. Is s prime?
True
Let n(j) = -j**3 + j**2 + j + 13. Suppose i - 4 = -5*d, 12 + 4 = 4*i - 3*d. Suppose -i*c = c. Is n(c) a composite number?
False
Is 45/10*2/(-3) + 1090 a composite number?
False
Let x(q) = q**2 - q - 1. Suppose -g + 3 = 3*r, -r + 12 = 5*g - 3. Let c be x(g). Suppose c*j = 57 + 38. Is j prime?
True
Let u = -1013 - -2717. Suppose -3*n + 3*o - u = 0, 4*n - 3*o = -o - 2264. Let s = -403 - n. Is s composite?
True
Let w be 24 + (3 + -2)*-1. Suppose -w = d - 60. Is d a prime number?
True
Is (-12318)/(-9)*12/8 a prime number?
True
Suppose v + 2*c = 18, 5*v - 55 