p + 4. Is l prime?
True
Let g be 1/4 - (-30)/8. Let u be 1*-1*(-1 - -1). Suppose u = -j + 3*o + 74, -g*o + 8 = 4*j - 208. Is j composite?
False
Is (-32060)/(-42) - 2/6 prime?
False
Let r be (145 + -3 + -2)/1. Let u = 249 - r. Is u a composite number?
False
Let x = 7 - 2. Is 953/x - (-14)/35 a prime number?
True
Let v(j) = j**3. Let z(l) = -5*l**3 - 8*l**2 + 2*l - 2. Let x(p) = 6*v(p) + z(p). Is x(9) composite?
False
Suppose -3*f + 4*f - 3*g + 10 = 0, 4*g - 40 = 4*f. Let l(r) be the first derivative of r**4/4 + 4*r**3 - 3*r**2/2 - 15*r - 4. Is l(f) composite?
True
Is ((-105)/(-6))/7*(-8392)/(-10) a composite number?
True
Let g be 1*(-5)/((-4)/(-4)). Let b(f) = -83*f. Is b(g) a prime number?
False
Let d = 81 - 43. Let h be 2/8 - d/(-8). Suppose 0 = m - 5*m + h*y + 459, -3*y + 499 = 4*m. Is m a composite number?
True
Suppose 0 = -4*v - 5 + 17. Suppose -i - 62 = -v*i. Is i a composite number?
False
Is 74 + 45/(-10)*(-6)/(-9) a prime number?
True
Suppose -1847 = -l - 216. Is l prime?
False
Let u(d) = -20*d - 5. Is u(-8) a prime number?
False
Let c(y) be the third derivative of y**7/210 - y**6/720 - y**5/30 - 3*y**2. Let r(x) be the third derivative of c(x). Is r(8) a prime number?
True
Suppose 4*s = 3*i - 0*s - 652, 0 = 2*i - 3*s - 433. Is i + 2*(-2)/4 composite?
False
Is (-4 + -1)*(-1354)/10 prime?
True
Suppose 2*w - 40 = -4*t, -5*w = 4*t + 4 - 44. Is t prime?
False
Is (-23932)/4*-1 + -4 + 2 composite?
False
Let z = -153 - -314. Is z a composite number?
True
Let b(z) = 29*z**2 + 3*z + 3. Is b(-2) composite?
False
Let j = 16 - 4. Suppose 2*t - x = j, 3*t + 2*t = -x + 16. Let p = -1 + t. Is p prime?
True
Let p(b) = 2*b - 2. Let c be p(3). Suppose -5*q = -i, 0*q = -c*i - q. Is (1 + -119)/(i - 2) a composite number?
False
Is -15*(3 + 1464/(-9)) prime?
False
Suppose -337 = -27*z + 26*z. Is z a composite number?
False
Let t be (0 + 1)/((-1)/(-14)). Let x = t - -17. Is x a composite number?
False
Let k(r) = r + 1. Let t be k(3). Suppose -3*u + 198 = -3*l, -4*u + 364 = t*l + 92. Is u composite?
False
Is 6/9 - 3796/(-12) composite?
False
Suppose 7*z - 701 + 92 = 0. Is z prime?
False
Let j = -258 + 153. Let d = j + 232. Is d composite?
False
Suppose -4*h + 0*h = -5*i + 31, -i + 3*h = -15. Suppose -4*k = -i*k - 23. Is k composite?
False
Let c = 18 + -3. Let z be (-1310)/c*(-3 - 0). Let m = -183 + z. Is m composite?
False
Is (3/(-9))/((-1)/795) a composite number?
True
Suppose -3 + 11 = 4*w. Let b(m) = m - 9 + 2 - w*m**2 + 4*m**2. Is b(-5) prime?
False
Let g(n) = n**3 - 6*n**2 + 2. Let f be g(6). Suppose 3*m + f*m = 2*q + 167, m = 5*q + 38. Let x = 68 - m. Is x a composite number?
True
Let c = -360 + 559. Is c a composite number?
False
Let z = -1 + 11. Suppose -5*x + 0*x + z = 0. Suppose -x*k + 30 = 3*k. Is k prime?
False
Let c(m) = m**2 + 6*m - 2. Let f be c(-6). Is (25/15)/(f/(-78)) a composite number?
True
Let j = -6 - -10. Suppose -3*c + 2*a - 4 = -3*a, -4*c + 16 = j*a. Suppose -c*l = l - 42. Is l a prime number?
False
Let u(f) = 9*f**2 - 10*f - 12. Is u(11) composite?
False
Let y(r) = 3*r + 9. Let h(v) = -v - 3. Let n(s) = -7*h(s) - 2*y(s). Is n(7) a prime number?
False
Let c(g) = -8*g**3 - g - 2 + 3*g + 8*g**3 - g**3. Is c(-5) a composite number?
False
Suppose -10 - 10 = -4*d. Is (-34)/(-10) + (-2)/d composite?
False
Let l = -40 + 467. Is l prime?
False
Let m = 145 - 262. Let x = m - -191. Is x a prime number?
False
Let w = -430 + 2583. Is w composite?
False
Let c(b) = b + 11. Let v be c(-11). Suppose v = -2*y - 0*q - 5*q + 179, 10 = 2*q. Is y prime?
False
Suppose -5*c + 2*r - 36 = 6*r, 5*r = c + 13. Let z be c/1*(-38)/4. Is z/(-6)*6/(-4) composite?
False
Suppose 2*h = -2*i + 2238, -3*i + 2*h + 2073 = -1274. Is i a composite number?
False
Suppose 2*w - 3*w = 0. Suppose 2*v - v - 749 = w. Is v a prime number?
False
Let t be 6/(3/1) + -2. Let w(p) = -p**2 + p + 2. Let n be w(t). Suppose -2*h = 4, -4*f - 6*h + 20 = -n*h. Is f composite?
False
Let o(t) = 208*t**2 - 11*t + 28. Is o(5) a composite number?
True
Suppose 2*m - 65 = 833. Is m a prime number?
True
Suppose 3*k + 3*p + 417 = 0, -2*k + 4*p - 141 = 119. Let m = -86 - k. Let w = m + -19. Is w a prime number?
True
Let w be 41 - (-1)/2*-4. Suppose 2*m = -m + w. Suppose -k = -f + m, 2*k - 19 = -3*f - 0*k. Is f a prime number?
False
Suppose 5*s + 3*y - 65 = 0, -5*s - 2*y + 84 = 24. Let f(h) = -3*h + 0*h + 3*h - 7 + 3*h. Is f(s) a composite number?
False
Suppose 6528 = 5*h - 12437. Is h a prime number?
True
Is 2/14 - 5630/(-35) composite?
True
Let f(c) = c**3 + 9*c**2 + 3*c + 7. Is f(-6) composite?
False
Suppose -5*t + 0*t = 5. Let o(q) = 4*q**2 + q. Let b be o(t). Suppose b*s - s - 286 = 0. Is s a prime number?
False
Let u = 752 + -398. Let i = u - -19. Is i a composite number?
False
Let g = 2187 + -1450. Is g prime?
False
Let g(w) = -w**2 - w - 9. Let r be g(-7). Let v = -28 - r. Is v a prime number?
True
Suppose 2*h = 3923 + 1895. Suppose -4*z + 5*d + 33 - h = 0, 3*d = 3*z + 2154. Is (-14)/21*z/4 a composite number?
True
Let f be 0*-2*(-2)/(-12). Suppose -j = -4*v + 15, -5*j + 5 = -6*v + 2*v. Suppose 3*a = -0*a + v*q + 91, f = -2*a + 2*q + 66. Is a prime?
True
Let c(v) = 212*v. Let q(f) = 53*f. Let k(x) = -2*c(x) + 9*q(x). Is k(1) prime?
True
Let o = 8 + -3. Suppose -o*g - 51 = -126. Let b = 0 + g. Is b composite?
True
Suppose 10*x - 5*x - 95 = 0. Is x composite?
False
Let z be -1*4*(-9)/(-12). Let q(t) = -8*t**3 + 4*t + 2. Let f(i) = 8*i**3 - i**2 - 5*i - 3. Let r(o) = 3*f(o) + 4*q(o). Is r(z) composite?
True
Let f(c) = -c - 8. Is f(-11) a prime number?
True
Let d = -4 - -12. Suppose 0 = 5*x - d*x + 75. Is x composite?
True
Let z = 6 + -1. Suppose -z*o = 4*p - 35, 5*p - 26 = -2*o + p. Let g(v) = 17*v + 2. Is g(o) a composite number?
False
Let h(k) = k + 5. Let i be h(-5). Suppose -5*n - 7 = 2*p, i*p + 5 = -p - n. Let v(u) = u**2 - 8*u - 7. Is v(p) a prime number?
False
Let n = 38 - -5. Suppose -5*x = 5*a - 290, a - 121 - n = -3*x. Is x a composite number?
False
Suppose -5*g = -3*a + 5, -4*g + 28 = 7*a - 3*a. Suppose 0*l + 5*n = -2*l + 259, -a*n + 640 = 5*l. Is l prime?
True
Let x = -443 + 1008. Is x a prime number?
False
Suppose p + 997 = 2*p + 3*d, 5*p = 3*d + 5057. Is p a prime number?
True
Let b(c) be the first derivative of c**3/3 + 5*c**2/2 - c - 2. Let z be b(-6). Suppose 14 = 5*w - 2*y - 173, -97 = -3*w + z*y. Is w composite?
True
Suppose 2*o = -5*u + 3*u + 4, 3*o - 6 = -u. Let v be (-3 + u)/(3/(-122)). Let l = v + -60. Is l a composite number?
True
Let s be (1 - 0)/((-2)/(-10)). Let y(r) = 2*r + 0 + r - 1. Is y(s) prime?
False
Suppose 5*o - 1514 = -154. Let j = -58 + o. Is j a prime number?
False
Suppose 3*q - 8465 = -2*q. Is q a composite number?
False
Let p = 7 + 2. Let m = 15 - p. Is m composite?
True
Suppose -3*u + 472 = -2*u + 3*c, 1963 = 4*u - 3*c. Is u a composite number?
False
Let a be ((-1)/2)/((-1)/4). Is 6/4 - (-43)/a a composite number?
False
Suppose -11*z = -3*z - 11720. Is z prime?
False
Let i(r) = 3*r**2 - 2*r**2 + r**3 - r - 2*r**2. Let z be i(0). Suppose 3*d - 16 - 29 = z. Is d a prime number?
False
Is 3803/2 + (-5)/10 a prime number?
True
Let g be (30/(-9))/(4/(-186)). Suppose -4*u = -f - 20, -u + f + 12 = -f. Suppose u*c = 217 + g. Is c composite?
True
Let g(y) = -y**3 - 7*y**2 - 8*y - 21. Is g(-10) prime?
True
Let w(a) = 4*a**2 + 6*a + 5. Is w(-8) composite?
True
Suppose 4*x - 3*g = 2498, -4*x + 2204 + 282 = 3*g. Is x prime?
False
Suppose 0 = -4*s - p - 13, 3*s - 4*p - 12 + 36 = 0. Let h be (-8)/(-3) + s/6. Suppose -h*q + 3*g + 42 = -g, 5*q = -3*g + 40. Is q composite?
False
Suppose -d - 94 = -r + 165, 0 = 3*r - d - 785. Is r a prime number?
True
Let u = -6 + 8. Suppose -u*j + 228 = 46. Is j a composite number?
True
Let o = 108 - 55. Let z(p) = p**3 + 6*p**2 - 9*p - 9. Let f be z(-7). Suppose o = 2*b - 3*a - 13, -2*a - 165 = -f*b. Is b a prime number?
False
Suppose -260 = 14*d - 18*d. Is d a prime number?
False
Suppose 2*z = 3*z - 255. Let r = z - -52. Is r prime?
True
Suppose 4*h + 4375 = 5*n, 3*h = -3*n - 2*n + 4340. Is n a prime number?
False
Suppose 4*k + k - 20 = 0. Suppose -295 = -k*d + 105. Suppose -u - 2*v - v + 110 = 0, -d = -u - v. Is u a composite number?
True
Let t(f) = 85*f**2 + f + 1. Is t(-1) a composite number?
True
Let m(q) = 2*q**2 + 4*q + 4. Is m(-2) c