rime?
False
Let n = 5161 + -3518. Is n composite?
True
Suppose -29*v = -28*v + 4, 4*v = 2*n - 439458. Is n a prime number?
True
Let o = -775 - -2061. Let i be 0/(10/5*1). Suppose 2*z + 2*l - o = l, -4*z + 2*l + 2556 = i. Is z a composite number?
False
Let d = -29 - -158. Suppose 2 = t + 3, -4*t = b - d. Is b composite?
True
Let b = 204094 + -136889. Is b prime?
False
Suppose -1 = 10*q - 21. Suppose q*n + 3681 = 5*n. Is n prime?
False
Let n(q) = 45*q + 2 + q - 22*q + 32*q. Let m be n(4). Suppose 3*v - 5*c - m = -v, -124 = -2*v - 3*c. Is v a prime number?
True
Let d(r) = -106*r + 17. Let f(n) = -n - 2. Let h(z) = -d(z) - 4*f(z). Is h(2) a prime number?
True
Suppose 5*u - 5*c = 19810, -u + 20*c + 3957 = 24*c. Is u composite?
True
Let b = -314 - -450. Suppose 2*m - 78 = -68. Suppose m*w = 5*t - 2*t - 89, 0 = 4*t + 2*w - b. Is t a prime number?
False
Let i = -48909 + 91478. Is i prime?
True
Suppose 3 = 2*h - 3. Let a(m) = -68*m + 275. Let z be a(4). Suppose -187 = -h*g - 5*p - 28, z*p + 9 = 0. Is g composite?
True
Suppose -4*p - 12 = 0, z = 3*z - p + 65. Let g = z + 84. Suppose 0 = -4*j - j + g. Is j composite?
True
Suppose 2*l = -6*l + 6056. Suppose g - 3*x = l, 8*g + 3*x - 2998 = 4*g. Is g a composite number?
False
Suppose -3 = -2*p - 33. Let d(s) = s**2 + 13*s + 5. Is d(p) a prime number?
False
Suppose -204 = 5*c - 1944. Suppose -5*h + 1717 = -c. Is h composite?
True
Let c(v) = -573*v + 31. Is c(-14) a prime number?
True
Let t(a) = 7*a - 22. Let o be t(4). Suppose -82 - 1904 = -o*n. Is n composite?
False
Let o = 55540 + -26941. Is o a prime number?
False
Suppose y + 16 = 138. Suppose -3*t - 146 = 61. Let v = y + t. Is v prime?
True
Let x(z) = -56*z + z + 16 + 0*z. Let f be (102/15 + -5)/((-6)/30). Is x(f) composite?
True
Let c(y) = 8 - 12*y**2 + 37*y**2 - 11*y**2 + 9*y. Suppose 3*o + 6*r - r + 46 = 0, 0 = -5*o + 4*r - 15. Is c(o) composite?
False
Let u(p) = -2*p - 10. Let o be u(-10). Suppose -4*c - g = g - 8, 4*c - o = -g. Suppose -d - 3*d + 509 = 3*h, -c*d = -4*h - 413. Is d composite?
False
Suppose 43*g + 1760 = 48*g. Let c(w) = w**3 + 6*w**2 + 5*w + 2. Let s be c(-5). Suppose -v = -s, -2*v = -2*f - 0*v + g. Is f a composite number?
True
Let d(p) = -892*p - 2. Let n be d(-1). Suppose 25 = -6*g + g, 11 = -2*o - 3*g. Is o/(-8) - n/(-8) composite?
True
Suppose -4*d = d. Let r(x) = 189 - 30*x**2 + 31*x**2 - 62. Is r(d) a composite number?
False
Let b = 6613 + -1976. Is b a composite number?
False
Suppose 4*q - 1 + 2 = -5*x, 0 = -3*x + 4*q + 25. Suppose -20 = -x*p - 11. Is p/4 - (-1299)/12 prime?
True
Suppose 5*g + 5*s - 15 = 0, -7 = -4*g + s - 0*s. Is g - 1 - (-54 + 16/(-4)) prime?
True
Let n(x) = 14*x**2 + 240*x + 39. Is n(-50) prime?
True
Suppose 3*b + 4*x = 17867, -x = 8*b - 4*b - 23814. Is b composite?
False
Let p be 57 + (4 - (1 + 2)). Let o = p - 23. Is o prime?
False
Let g(u) = -2 - 3 + 7*u**2 - 12*u + 3. Let t be g(-12). Is (-45)/60 + t/8 a composite number?
True
Suppose -6*g - t = -2*g - 11427, 2*t = -3*g + 8569. Is g a prime number?
True
Suppose -28*u + 23*u - 3*d + 71102 = 0, 2 = -2*d. Is u a prime number?
True
Let y(u) = -3598*u + 29. Is y(-3) composite?
True
Let b(t) = 2231*t - 72. Is b(3) composite?
True
Let q(f) = -12873*f**3 - f**2 + f + 2. Let k be q(-1). Is k/63*(-6)/(-2) prime?
True
Let m = 16 - 6. Let u = m - 9. Is (11/(-3))/(u/(-69)) prime?
False
Let g = 11217 + -5652. Suppose 3*v = -5*h + g + 2620, 2*v + 3274 = 2*h. Is h a prime number?
True
Let p(j) = 340*j - 15. Let y be p(6). Let m = y + -366. Suppose 2*s + s = m. Is s a composite number?
True
Suppose -4*p - 1433 = -8781. Is p prime?
False
Let m(i) = -6*i - 8. Let s be m(-2). Suppose -2*o + 343 = n, -s*o = -0*n - 4*n + 1360. Is n a composite number?
True
Let w = 4198 + -9. Is w prime?
False
Suppose 0 = t - 4*f - 21, 0 = -0*t + 3*t - 4*f - 63. Let h be 93/21 - 9/t. Suppose -l + 123 = -h. Is l a composite number?
False
Suppose -7021 = -0*u + 7*u. Let b = u + 1765. Suppose 5*k = -k + b. Is k composite?
False
Let t(p) = -2*p - 11. Let y be t(8). Let c = 53 + y. Is c a composite number?
True
Let s = 11979 + -7118. Is s prime?
True
Is (738598/56)/(2/8) composite?
False
Let g(n) = 19*n**3 - 9*n**2 - 29*n + 16. Is g(9) prime?
False
Let g = 2727 - -1614. Let o = g - 2024. Is o composite?
True
Let m = 12907 - -354. Is m a composite number?
True
Suppose 1 - 633 = -2*z. Let m(k) = 53*k**2 - 8*k + 8. Let t be m(7). Suppose -5*l + t + z = -2*x, l + x - 573 = 0. Is l composite?
True
Is 4/12 + (-5)/(-3) - -4569 a composite number?
True
Let w = -17 + 21. Suppose 0*z - 3 = z, -w*g - 2340 = -4*z. Let y = -337 - g. Is y a prime number?
True
Suppose -5*i - 1 = -16. Suppose j - 3*j = -q + 15, i*q - j = 20. Suppose 0 = -4*h - 5*k + k + 2064, 3*h = -q*k + 1550. Is h a composite number?
True
Suppose -23 = 6*b + 49. Let c = -10 - b. Is 1*(-2)/c + 308 prime?
True
Suppose 0 = -2*a + 4*c + 14, -4*c + 2*c - 2 = 4*a. Let n(w) = 665*w**2 + 2. Is n(a) a composite number?
True
Let n = 111 + -109. Suppose -5*v - 3*a = -9223, 6*v - 5*a - 7408 = n*v. Is v prime?
True
Let d = 25595 - 12006. Is d prime?
False
Let y(a) = a**3 + 5*a**2 + 4*a + 3. Let q be y(-4). Suppose -z = -q - 0. Suppose z*b = 4*b + 3*t - 129, -5*t = 0. Is b prime?
False
Let a be 4*((-6)/(-4) - 1). Suppose a*s - 4 = -0*s. Suppose f = 5*d + 147, s*f - 4*d - 330 = -3*d. Is f prime?
True
Let i(v) = 286*v**3 + 3*v**2 - v - 5. Let g(k) = -286*k**3 - 2*k**2 + k + 4. Let b(d) = 4*g(d) + 3*i(d). Let s be 4/(-8)*(4 + -2). Is b(s) a prime number?
False
Let t(p) = 61*p**2 + 89*p - 613. Is t(7) a composite number?
False
Suppose 27*x = 23*x + 10524. Is x prime?
False
Let l be 5/((-600)/(-164416)) - 2/15. Suppose 5*s = 10*s - l. Is s prime?
False
Let h = 1326 - 973. Is h a composite number?
False
Let y = 19 - 16. Suppose 0 = -3*u + 4*i + 4427, 0 = u + y*i + 2*i - 1482. Is u a composite number?
True
Let i be (-5 - 0)*(-1 - 0). Suppose -u + 4*d + 1 + 0 = 0, 5*d + i = 2*u. Suppose 0 = 2*w + 4*q + q - 28, -67 = -3*w + u*q. Is w a composite number?
False
Suppose -29*c = 18*c - 509809. Is c composite?
False
Let r = 169260 + -48041. Is r a prime number?
False
Suppose 0 = -6*d + 5*d. Suppose d = 2*l - 5*f - 1749, 3*l - l + 3*f - 1757 = 0. Is l prime?
True
Let k be ((-2)/3)/(10/(-75)). Suppose 0 = -2*i - k*z + 1276 - 121, 0 = 3*i - z - 1758. Suppose 4*w = 3*y + 565, w + 3*w + y - i = 0. Is w a composite number?
True
Let o(s) be the first derivative of -5*s**2/2 - 1. Let u be o(-6). Let c = 3 + u. Is c a prime number?
False
Let r be 336/(-63)*(-21)/4. Let b = r - 22. Suppose -5*f + b*f - 769 = 0. Is f a prime number?
True
Let j = -4 + 7. Suppose -2*a + g + 636 = 0, -j*a - g = -710 - 249. Is a a composite number?
True
Suppose 4*n - 41601 = -3*g - 5212, -5*n - 2*g = -45495. Is n a prime number?
False
Suppose -40414 - 16218 = -8*h. Let j = h + -4926. Is j a composite number?
False
Suppose 2*w - 35 + 61 = 0. Is 32/(-208) - 31657/w prime?
False
Is 3/(-5) - 27580/(-50)*1 prime?
False
Suppose 0 = -h - 4*i + 645, 1403 = 4*h - 2*i - 1105. Is h prime?
False
Let d(a) = 3*a**3 + 9*a**2 - 5*a + 1. Let s be d(-14). Let l = s + 9290. Is l a composite number?
True
Let g(p) = 3*p - 4. Let h(f) = -f - 1. Let a(m) = g(m) + 6*h(m). Let n = 53 + -61. Is a(n) a composite number?
True
Is 148284/54 + -1*5 prime?
True
Suppose -t = 3*r + 14, -4*t = -0*r + r + 12. Let k = t + 3. Let h = 4 - k. Is h a composite number?
False
Let q = 1058 + -614. Suppose -c + 1817 = q. Is c composite?
False
Let k be ((-22)/(-6))/((-7)/(-861))*1. Suppose -u + k = -160. Is u composite?
True
Suppose d = -4*d + 90. Suppose 0 = 5*y - 5*i - 40, 3*y - 5*i - d = -0*i. Suppose 2*t + 2*a = 240, 0 = -4*a + y + 9. Is t a composite number?
True
Let a be (1 - 3) + 5 + 1. Suppose -5*f - a = -f, 157 = 5*w - 2*f. Is w composite?
False
Let f(d) = 1. Let i(b) = -4*b**2 + b - 56. Let a(r) = 6*f(r) - i(r). Is a(0) composite?
True
Suppose 0 = -y + 2*y. Suppose y = 9*i - 5*i - 3452. Is i a prime number?
True
Suppose 26793 = 10*s - 9637. Is s a prime number?
True
Let i(y) = 32*y**2 + 6*y + 5. Let m(z) = -4*z + 1. Let s be m(-1). Suppose 35 = -5*b - s*h, 2*h = -4*b - 0*h - 26. Is i(b) a prime number?
False
Let u(y) = 5*y**2 - 4*y - 7. Let p be u(5). Let x = p - 68. Is 491/3 + (-20)/x a prime number?
True
Let v(d) = -84*d - 5. Let 