r = -p - 318. Is r a prime number?
True
Suppose g - 2*d - 3645 = 0, d = 3*g - 3*d - 10925. Is g prime?
False
Let m = 956 + 2. Let u = m - 677. Suppose -3*s + 284 = 2*s - 2*f, -3*f = -5*s + u. Is s prime?
False
Let m be 2/(-1) - (-16 + -1). Let b be 329/105 - 2/m. Suppose -q = b*q - 1756. Is q composite?
False
Let g(a) = -686*a - 513. Is g(-55) a prime number?
True
Suppose 398 + 1668 = 2*k. Let c be (-4)/6 - k/3. Let i = c - -568. Is i a prime number?
True
Suppose 3*c = -12 - 0. Let h(x) = -12*x - 9. Is h(c) a composite number?
True
Suppose m + 145 = 2*h - 58, -5*h + 4*m + 503 = 0. Let a be (3/3*-9)/((-3)/(-2)). Let t = h + a. Is t a prime number?
True
Is (-117789)/(-28) + -5 + 6/(-8) composite?
False
Let w(k) be the first derivative of 110*k**3/3 + k**2/2 + 4*k - 16. Is w(-3) a composite number?
False
Suppose 0 = 3*w - 2*n + 2, -2*w + 3*n - 5 = -7. Is ((-8199)/(-6))/((-3)/w) prime?
True
Suppose -4*v = -0*c - 3*c - 21, 5*v - 3 = -4*c. Let n(p) = -v*p - 5 - 5*p - 6*p + 0*p. Is n(-4) a composite number?
True
Suppose -3*d - 81561 = -3*q, -2*d + 14 = 6. Is q a composite number?
False
Let l be ((-3)/(-12))/(1/24). Let b(f) be the second derivative of 2*f**3/3 - 5*f**2/2 - f. Is b(l) a composite number?
False
Suppose 4*b = -3*v + 376567, -141*b + 146*b - 627620 = -5*v. Is v prime?
False
Let x(t) = t**3 - t + 31. Let s(r) = -2*r - 15. Let d be s(-12). Suppose -4*a = -d*a. Is x(a) a composite number?
False
Let z be 3*(-3 + (-16)/(-6)). Let d be -2 - 0 - (z + -1). Suppose -2*c = -d*c - 50. Is c composite?
True
Let h be ((-1)/(-3))/(5/60). Suppose h*n + n = 25. Suppose -n*u + 180 = -5. Is u a prime number?
True
Let b = -28 - -28. Suppose b = -3*h - c + 378, -3*h + h + 245 = 3*c. Is (h/(-2))/(4/(-56)) prime?
False
Let j = 2982 + 1595. Is j a composite number?
True
Let c be 381/2*(-6)/(-9). Suppose -5*t - l = -2*t - 4, 0 = -4*t + 4*l + 32. Suppose -2*j - c = -t*j. Is j prime?
True
Is 3/12*-28 - 1090*-3 prime?
False
Suppose 0*l - 4*y - 20 = 4*l, l + 4*y = -20. Suppose l = -8*i + 425 - 57. Is i a composite number?
True
Suppose -4*a + 6*a = 5856. Let y = a - 2014. Is y a composite number?
True
Let k = 9 - 7. Suppose -1255 = 3*b + k*b. Let u = b - -442. Is u a composite number?
False
Suppose -2*q = q - 5238. Is -4 + -3 + 6 + q a composite number?
True
Let d = -44662 - -120891. Is d a prime number?
False
Suppose -5*y + 449905 = -4*l, -74*y - 449900 = -79*y + 3*l. Is y composite?
False
Let c(n) = -4373*n**3 - 3*n**2 + 4*n + 3. Is c(-2) a composite number?
True
Let g(o) = 21*o**2 - 2*o + 1. Let k(t) = t**3 + 4*t**2 - 6*t - 4. Let b be k(-5). Let n be g(b). Is (-59)/(3 - n/6) prime?
False
Let z(u) = 2*u**3 + u**2 + 8*u + 5. Let w(p) = 4*p**3 + 3*p**2 + 16*p + 10. Let c(k) = -3*w(k) + 5*z(k). Let j = -18 - -12. Is c(j) a composite number?
False
Let g(q) = 0*q**2 + q**2 - 2*q - 16*q + 8*q. Let i be g(10). Suppose l + i = 1, 0 = 2*o + 2*l - 256. Is o composite?
False
Suppose -9*x - 1401 + 16782 = 0. Is x prime?
True
Suppose 5*r - 4*r = 3. Suppose 0 = -r*h + 2*l + 8577, -4*l + 1021 = h - 1852. Is h composite?
False
Let d = 182 + 34. Let s = 311 - d. Is s a prime number?
False
Suppose 16*i - 17*i + 3665 = 0. Is i prime?
False
Let i be 5 - 4/(20/(-2755)). Let f = -2 + 5. Suppose -y - f*r = -i, 2*y + 6*r - 7*r = 1133. Is y a composite number?
True
Let c = -129 + 132. Suppose -4*q = -4*a - 9516, -4*a = -c*q + 3591 + 3542. Is q composite?
False
Suppose k - 3*k - 2*i = -2700, 3*k + 2*i = 4055. Is k a prime number?
False
Let q = 5817 + -3632. Suppose 5*x - j = -3*j + q, -1311 = -3*x + j. Is x a prime number?
False
Let y(k) = k**3 + 19*k**2 - 2*k - 13. Suppose 2 + 0 = -2*h, g + 5*h + 16 = 0. Is y(g) prime?
True
Suppose 3*v + 4*q - 7 = 18, -4*q + 22 = 2*v. Suppose 0 = -v*i - 1 + 16. Suppose 0 = -2*h + 2*p + 250, -3*h + 121 = -i*p - 258. Is h a prime number?
False
Let q(x) = -95*x - 2. Let d(t) = t - 1. Let f(h) = -2*h + 13. Let v(i) = 6*d(i) + f(i). Let k be v(-3). Is q(k) composite?
True
Suppose -h - 5 = -5*v, 6*v - 35 = v - 5*h. Suppose 2*p = b - 216, 147 = -2*b + v*p + 581. Is b a composite number?
True
Let p(g) = 31*g + 3317. Is p(0) composite?
True
Suppose 0 = 40*t - 36*t - 51556. Is t composite?
False
Suppose -u - 5*o + 19531 = 0, 2*o - 124 - 78000 = -4*u. Is u prime?
True
Let l(o) = 4*o**2 - 3*o - 2. Suppose y + 13 = 2*h, 4 = y + 3*y. Suppose 0 = p + n - h, -4*p = 3*n - 4*n - 18. Is l(p) a composite number?
False
Let q be (-11)/(0 + 3/3). Let w = -11 - q. Suppose w*v - 190 = -2*v. Is v prime?
False
Let f(o) = 1 - 3 - 4 + 1 - 24*o. Suppose -3*h + 51 = -3*p - p, 3*p = 3*h - 42. Is f(p) prime?
True
Suppose 17 = 9*s - 10. Let m(i) = -6*i + 0 + 163 + 7*i + i**s. Is m(0) prime?
True
Let m = 171541 + -116306. Is m a prime number?
False
Let g(z) = -z**2 - 16*z + 3. Let w be g(-16). Suppose 3*f = -0*k + 5*k - 635, -w*f = 0. Is k prime?
True
Suppose 0*o - o - 15*c = -27578, 0 = 2*o - 2*c - 55188. Is o prime?
False
Let q be (1145/(-10))/(2/(-68)). Suppose 0 = 4*v - q - 2367. Is v prime?
False
Let y(a) = -16*a**3 - 8*a**2 + 9*a + 1. Let x be y(5). Let c = 3253 + x. Is c composite?
True
Let r be 496 + (-2*2)/(-4). Suppose -2*w = -3*w + r. Suppose -4*m = 3*q + m - w, -2*m + 8 = 0. Is q a prime number?
False
Let l be (-10 - (-322)/8) + 1/(-4). Suppose -2 = -2*v - 0, a = 5*v. Suppose 20 + l = a*s. Is s a composite number?
True
Suppose -6*n + 9335 = 3293. Is n a prime number?
False
Suppose k + 5146 + 3724 = 0. Let a = -4929 - k. Is a prime?
False
Let d(o) be the third derivative of -o**4/12 - o**3/6 + 5*o**2. Let l be d(-2). Let r = 13 - l. Is r composite?
True
Let n(r) = 2*r**3 - 8*r**2 + 2*r - 7. Suppose -2*a + 2 = -18. Is n(a) a prime number?
True
Suppose 0 = -5*r - 5*s + 13320, 2*r - 25*s + 28*s = 5323. Is r a composite number?
True
Let s(r) = r - 6. Let f be s(9). Suppose -4*u = -p - 3570, 0*p + 6 = f*p. Is u a prime number?
False
Let k = 89 - 82. Let n(t) = 8*t**2 - 7*t - 14. Is n(k) a prime number?
False
Suppose -2*h = -3*o - 2*o - 3116, 2*o + 4*h + 1256 = 0. Is 3/(o/212 + 3) composite?
False
Suppose -4*h = 3*k - 4*k + 20, 3*k + h + 5 = 0. Suppose 0*c + 4*c - 5*g - 1172 = 0, 2*c - 3*g - 586 = k. Is c composite?
False
Let l(f) = f**3 + f**2 - f - 4. Let h be l(-2). Let s(u) = 42*u**2 + 6*u + 5. Is s(h) composite?
False
Suppose 3*m + 41 = 1742. Suppose 3*h - m - 354 = 0. Is h prime?
True
Suppose -54373 = -10*i + 53937. Is i a composite number?
False
Let t be -1 + 4 + (-2 - 5). Let v(c) = 8*c**2 - c - 1. Is v(t) a composite number?
False
Let d(g) = -15*g**3 + 2*g**2 + 3*g + 9. Let p(t) = -45*t**3 + 5*t**2 + 8*t + 27. Let f(c) = 8*d(c) - 3*p(c). Is f(4) a composite number?
False
Suppose 3*q = -65 - 187. Suppose -x + 591 = 2*x. Let h = q + x. Is h a prime number?
True
Let j be 27/6*8/(-3). Let k = j + 21. Is (-3)/k + 1700/15 a prime number?
True
Let m = -13 + 1. Let c(i) be the first derivative of i**3 - 17*i**2/2 + 5*i - 74. Is c(m) a prime number?
True
Let b(j) = 3*j + 0*j + 1 - 36*j**3 + 3 + 1 - j**2. Is b(-3) a composite number?
True
Suppose 0*r = -4*r + 4, -3*v - 4*r = -1855. Let f = v + -280. Is f prime?
True
Suppose -3*x + 0*x = -6. Suppose 0 = -x*l - 2*l + 892. Is l composite?
False
Let j = -43 - -47. Suppose j*w - 4*g - 748 = 0, 2*w - 211 = w - 5*g. Is w composite?
False
Suppose 18*w - 76330 = 8*w. Is w a composite number?
True
Let p be (-6)/10 + (-113464)/(-40). Suppose 5*x + 2836 = 4*h + x, 0 = -4*h - x + p. Is h prime?
True
Suppose 705 + 852 = 3*f. Suppose 0 = -3*g + 6*g - f. Let j = g - -78. Is j a prime number?
True
Suppose 0 = -4*u - 20, -2*u - 346 = 3*b - 5*b. Let y = 253 - b. Is y prime?
False
Let t(k) = -k + 31. Suppose 24 = 4*r - 24. Let o be r/(-18) - 4/(-6). Is t(o) a prime number?
True
Suppose 0 = 2*z - 3*z. Suppose z = -5*y + 1200 + 1975. Is y prime?
False
Let l be (-10)/(-25) - (-3128)/5. Let o = -435 + l. Is o a prime number?
True
Suppose -2*j + 3*d + 13 = 0, 5*j + d - 9 + 2 = 0. Suppose 4*g = -2*r - 6, j*r + 3*g - 8*g = -33. Let b(y) = -66*y - 7. Is b(r) prime?
True
Let g be 107/(-2) - 2/4. Let v = 703 + g. Suppose -5*p + 4*u = -v, -2*p = -2*u - 266 + 8. Is p prime?
False
Let z = -8 + 10. Suppose 1676 = -4*h + z*h. Is (15 - 16)*h/2 composite?
False
Suppose 3554 = -4*r + 22838. Suppose 5*f - j = r, -4*j + 2*j = -2*f + 1922. Is f a composite number?
True
L