 y a prime number?
True
Suppose -3 = 3*g, -83 + 812 = 2*w + g. Suppose 4*h - w = -3*s, 0*h + 4*h - 3*s = 347. Is h composite?
False
Let h(v) = -v**3 + 14*v**2 + 13*v + 1. Let m(f) = -f**3 + 13*f**2 + 12*f + 1. Let q(d) = -4*h(d) + 5*m(d). Is q(6) a prime number?
True
Let q(b) = -b**3 + 4*b**2 + 2*b - 6. Is q(4) prime?
True
Let r(y) = 212*y**2 + 3*y + 2. Is r(-1) prime?
True
Suppose 338 + 16 = 2*s. Is s a composite number?
True
Let w(n) = -n - 6. Let t(k) = k + 1. Let i(a) = 4*t(a) + w(a). Let x = 11 - 4. Is i(x) prime?
True
Let x(h) = 3*h - 3. Suppose 3*j + 20 = 4*z, -4*j - 10 = -3*z + 6*z. Let n be x(z). Let p = n + 10. Is p a composite number?
False
Let f(b) = 24*b**2 + 3*b - 9. Let o be f(7). Suppose -o = -5*w + 497. Is w a composite number?
False
Let v = -17 - -23. Is v composite?
True
Suppose -h = 2*h. Let x be h/(2/((-4)/(-2))). Suppose -21 = -x*b - b. Is b composite?
True
Suppose 0*i - 3*i + 5*a = 8, -5*i - 5*a + 40 = 0. Is (-1*194)/(i + -6) a prime number?
True
Suppose 5*m - 4685 = 4*m. Is m prime?
False
Let l(b) = -482*b**3 - b**2 + b + 1. Let r be l(-1). Let y = r - 733. Let m = -131 - y. Is m composite?
True
Let p = 2 + 3. Suppose 23 = p*v - 5*b - 17, -4*b = -5*v + 39. Is v prime?
True
Suppose -4*r - 19 = 69. Suppose -5*n + 2*n = -4*z + 29, 46 = -4*n - 2*z. Let b = n - r. Is b composite?
False
Suppose r - z = -62, -3*r - 2*z + z - 174 = 0. Let d = r - -93. Is d a prime number?
False
Let f(z) = z + 7. Let g be f(-9). Is (5/g)/(2/(-244)) composite?
True
Let i = 11 + 9. Is -1 + 2*i/1 prime?
False
Let t = 808 + -515. Is t composite?
False
Suppose -72 = 2*n - 4. Suppose 2*g = -5*v + 198, 4*v + 255 - 57 = 2*g. Let f = g + n. Is f prime?
False
Suppose 5*f - 377 = -3*h + h, -320 = -4*f + 3*h. Suppose -4*r = 3*s - f, 0*s - 2*r + 73 = 3*s. Is s composite?
False
Let w(v) = -3*v + 26*v + 9*v + 8*v + 3. Is w(5) a prime number?
False
Let y = 112 + 54. Is y a composite number?
True
Suppose i + 2 = -3. Let d = i - -9. Suppose d*y = 4*a + 796, 0 = -y + 4*a + 154 + 33. Is y prime?
False
Let q = 2639 + -1552. Is q a composite number?
False
Let m(u) = 5*u - 3. Let j(i) = -i**2 - 7*i - 6. Let x be j(-7). Let q(l) = 11*l - 7. Let d(y) = x*q(y) + 13*m(y). Is d(0) prime?
True
Let h = 1859 + -970. Is h composite?
True
Let g = -1 - 0. Let r be 54*(g - (-4 - -2)). Suppose -4*c + 4*p = -224, r = c + 2*p - p. Is c prime?
False
Let i(m) = 13*m**2 + 6*m + 22. Is i(-5) composite?
False
Suppose -6*t + 17*t = 3707. Is t composite?
False
Suppose 5*s + 0*j = -j + 30, 4*s - j = 15. Suppose s*f - 2*h - 2*h = 3405, 2*f - 4*h = 1350. Is f prime?
False
Suppose 2032 = 5*a + 497. Is a composite?
False
Is 286/3 + (-1)/3 a prime number?
False
Suppose -4 = 2*m + 4*k, 5 = 3*m - m + k. Suppose m*p - 95 = -7. Is p a prime number?
False
Suppose o = -5*h + 31, 3*h - 35 = -3*o + 2*o. Suppose -2*w + 65 = 3*p, 2*p + o = w - 2. Is w a composite number?
False
Let t be (38/4)/(8/48). Suppose -2*g + t = g. Suppose g = o + 2*h, -3*h - 14 = -5*o + 81. Is o a composite number?
False
Let a(v) = v**2 + v + 7. Let p be a(8). Suppose -3*u = -2*x + 160, -4*x + 3*x + 2*u = -p. Is x prime?
True
Let y(t) be the first derivative of t**3/3 + 106*t - 4. Is y(0) a composite number?
True
Suppose -32 = -2*d + 36. Is d a prime number?
False
Let o be 10/4 + 1/2. Suppose -o*h = 2*z - 5, -16 = z - 6*z - 4*h. Suppose z*v - 276 = 184. Is v prime?
False
Let a(q) = -q**2 + 12*q - 4. Let n = -38 - -20. Let g be (n/8)/((-2)/8). Is a(g) composite?
False
Suppose -4*v = -3*x + 535 + 164, -699 = -3*x - v. Is x a composite number?
False
Let n(s) = -s - 9. Let k be n(-11). Suppose -k*h - 2 = -3*h. Suppose -3*m - 2*d + 420 = h*m, 0 = 4*m - 5*d - 303. Is m a prime number?
False
Let r(x) = -x**2 - 4*x + 4. Let g be r(-3). Let t(o) = -2*o**3 - 8*o + 9. Let m(s) = s**3 + s**2 + 8*s - 9. Let a(b) = -3*m(b) - 2*t(b). Is a(g) prime?
True
Suppose -k - 4*k = -1525. Is k a composite number?
True
Let x(a) = 4*a**3 - 5*a**2 + 5*a + 5. Is x(6) a composite number?
False
Let t be 2/5 - 10/25. Suppose t = -2*z, 3*z = -4*a - z + 2836. Is a a composite number?
False
Let g(p) = 4*p**2 - 3*p - 8. Is g(-7) composite?
True
Let c = 2136 - 665. Is c prime?
True
Let y = -1680 + 2557. Is y prime?
True
Let l be 2 + -3 + (119 - -1). Let v = l + -73. Is v composite?
True
Let n(g) = 13*g**2 + g + 11. Is n(5) composite?
True
Let i(r) = 12*r**3 + r**2 - 12*r. Is i(5) a prime number?
False
Let t(k) = -k**2 - k + 2. Let n be t(-2). Suppose -5*f + 6 - 21 = n. Let x(r) = -38*r - 1. Is x(f) a prime number?
True
Let m(g) = -116*g - 6. Let n be m(-7). Suppose -47 = 3*o - n. Is o prime?
False
Let j be 2/9 + 7/9. Suppose -4*s = -r + 75, 4*s + 18 = -2*r + 108. Is j*-2*r/(-2) a composite number?
True
Let g(i) = -2*i**3 - 5*i**2 - 3*i - 3. Suppose -r = 2 + 1. Is g(r) composite?
True
Let d(b) = b**2 - 2*b - 4. Is d(17) a composite number?
False
Suppose 10 = -3*l - 2*l. Let b(r) = -40*r - 3. Let v(n) = n. Let a(k) = b(k) - 3*v(k). Is a(l) prime?
True
Let r be (-3)/(-5) + 23/(-5). Let s = -1 - r. Suppose -s*v + 6*v - 381 = 0. Is v a prime number?
True
Let j(w) = 67*w - 57. Is j(8) a prime number?
True
Let z = 2671 + -654. Is z a composite number?
False
Suppose -6*f = -10*f + 224. Is (-16)/f + 4106/14 composite?
False
Suppose l + 2360 - 670 = 5*j, 3*j - 991 = -4*l. Is j a prime number?
True
Let z be -6 - -7 - (0 + 171). Let k be 2/(-2) + (z - 3). Let u = k - -253. Is u a composite number?
False
Suppose -f = 5*a + 311 - 2742, a - 499 = 3*f. Is a a prime number?
True
Suppose 0 = -5*j + 21 - 1. Suppose 4*k - 440 = -j*p - 0*k, -5*p - 4*k = -551. Is p a prime number?
False
Suppose 0 = -6*k + 4*k + 4. Suppose 4*c = k*c + 254. Is c a composite number?
False
Suppose 0 = -2*g - 5*v + 131, -5*g + 3*v = 4*v - 270. Is g a composite number?
False
Let m be (-30)/(-9) + 4/(-12). Suppose -m*i + 690 = -105. Is i a prime number?
False
Let k(u) = u + 2. Let y = 1 + 3. Is k(y) a composite number?
True
Let z(a) = a**2 + 3*a + 6. Let o be z(5). Suppose -5*x + 589 + o = 0. Is x a prime number?
True
Let f(o) = 38*o - 3. Suppose -y = 2*y - 9. Is f(y) composite?
True
Is ((-1893)/30*2)/((-1)/5) a prime number?
True
Let g(l) = -83*l - 3. Let x(t) = 42*t + 1. Let o(h) = 3*g(h) + 5*x(h). Is o(-5) prime?
True
Suppose 15 + 15 = 5*h. Let l(t) = -t**2 + 9*t - 8. Is l(h) a prime number?
False
Let r(b) = 19*b**2 - b + 29. Is r(-6) prime?
True
Let w(u) = -10*u**2 + 3*u - 2. Let n(d) = 11*d**2 - 3*d + 2. Suppose 2*m + 20 = -3*m. Let x(h) = m*w(h) - 3*n(h). Is x(-3) composite?
True
Let z = -8 - -7. Is 1/(z/861*-3) a prime number?
False
Suppose -3*o = -0*o - 237. Let z = o + -41. Is z a prime number?
False
Let u be -2*(-3 - 6/3). Let s be (-8)/u*10/(-4). Suppose 4*h - 47 = -l, s*l - 106 = 3*h - 12. Is l composite?
False
Let m = 188 - 108. Let l = -34 + m. Is l a composite number?
True
Let h(q) = 2*q**2 + q + 2. Let c be h(6). Let x = c + 131. Is x prime?
True
Suppose -2*y - 56 - 14 = 0. Let l be (y/20)/((-2)/8). Suppose -3*v + 11 = -l. Is v a prime number?
False
Suppose -3*h - 4*y + 8*y = -654, 2*y = h - 216. Suppose h = 4*b - 3*c, 5*c = 5*b - 100 - 175. Is b a composite number?
True
Suppose 6 = -3*h + 75. Suppose 5*n = 4*k - h, -2 = 5*k - n + 5*n. Is k a prime number?
True
Let i be 1146/(-8) + (-2)/(-8). Let g be (-80 - 0)*12/10. Let v = g - i. Is v prime?
True
Let k(f) be the third derivative of -f**6/120 + f**5/12 + f**4/3 + 3*f**2. Let c be k(6). Suppose s - 23 = c. Is s prime?
False
Suppose 0 = 4*q - 14 + 2. Let t(g) be the first derivative of 3*g**4/4 + g**3/3 - 2*g**2 + g - 1. Is t(q) a composite number?
False
Let q = -5 - -9. Suppose q*p = 2*p + 42. Is p composite?
True
Let y = -9 - -86. Suppose 4*f = 5*f - y. Is f prime?
False
Suppose 3626 + 2130 = 4*z. Is z composite?
False
Suppose -o = -w + 3, -3*w - 5 = 5*o + 2. Let f be 2/(1/o*-4). Is ((-2)/6)/(f/(-159)) prime?
True
Let o(i) = -i**3 - 2*i**2 - 2*i + 2. Is o(-6) a composite number?
True
Suppose 0 = -4*s - 6 + 2. Let n(f) = -184*f**3 + 2*f**2 - 1. Is n(s) composite?
True
Let q(z) = 2512*z**2 - 4*z + 5. Is q(1) a composite number?
True
Let k(n) = -79*n + 5. Let s(l) = 1. Let y(o) = k(o) - 5*s(o). Suppose -3*i - 5 = 2*i. Is y(i) a composite number?
False
Is 126 - (0 + -4)/4 a prime number?
True
Let f(u) = -10*u**2 + 6*u + 6. Let m be f(-6). Is (