07 + 4 prime?
False
Suppose -4*x = t - 36, 5*t = 2*t. Let j(k) = k**2 + 9*k - 5. Is j(x) prime?
True
Suppose u + 5*g - 1336 = -u, 0 = 4*u + 2*g - 2688. Is u prime?
True
Let y(r) = r**2 - r + 3. Let m be y(0). Suppose -3*p - 3*o = -279, 3*p - 97 = 2*p - m*o. Is p prime?
False
Let x(o) = -10*o**3 + o**2 - 1. Let p be x(-1). Suppose t + q - 126 = 5*q, -p = 2*q. Let m = t + -69. Is m a composite number?
False
Let f = -6 + -6. Is 508/(-16)*f/3 a prime number?
True
Let x = -6838 + 10629. Is x a composite number?
True
Let o(k) = -k**3 - 6*k**2 + 2*k - 10. Suppose 3 - 17 = 2*v. Is o(v) a composite number?
True
Let n(v) = -v**3 + 6*v**2 + 7*v + 5. Let c be n(7). Suppose c*j - 5 = 4*j. Suppose 0 = 5*s + 3*t - 2*t - 639, -5*t = j*s - 655. Is s a composite number?
False
Suppose 0 = 4*g + 2*d - 291 - 161, g - 4*d - 113 = 0. Is g a composite number?
False
Let q(l) = 9*l**3 + 6*l**2 - 5*l + 7. Is q(4) composite?
False
Suppose -3*h = f + 6, h = 5*f + 3*h + 4. Suppose m + 4*u - 53 = -f, m + u = 41. Is m a composite number?
False
Suppose 2*i + b = 5, b = 3*i - b - 4. Suppose -z = u - i, z + 12 = u - 0*u. Is u a composite number?
False
Let h(k) = -k**3 - 5*k**2 - 3*k - 1. Let z be h(-4). Let b = -9 - z. Is 1*(b/(-2) - -77) prime?
True
Let i = -110 + 189. Is i prime?
True
Let m(y) = -13*y**3 - 28*y**2 + 21*y - 15. Let c(g) = 3*g**3 + 7*g**2 - 5*g + 4. Let d(k) = -9*c(k) - 2*m(k). Is d(-8) composite?
True
Let x(u) = 21*u**2. Let a be x(-1). Let q be 3/(-2 - (-453)/222). Let j = q - a. Is j composite?
False
Suppose 105 + 117 = 3*v. Is v a composite number?
True
Let b(q) = -q**3 - 6*q**2 - q - 2. Let l(c) = c**3 + 8*c**2 + 7*c - 6. Let n be l(-7). Let m be b(n). Suppose m*j = 2*z + 102, -j + 106 = 3*j + 2*z. Is j prime?
False
Let d(z) = -25*z + 35. Is d(-18) composite?
True
Suppose -4*c - u - 15 = -778, 0 = -4*c - 4*u + 760. Is c composite?
False
Let j = 4 + 5. Suppose 2*m - 6 = 5*z, -3*m = z - 4*z - j. Suppose -230 = -5*r + m*f, r + 4*f + 3 = 72. Is r a prime number?
False
Let j = 234 - 102. Let p(u) = -10*u**3 + 2*u - 1. Let t be p(2). Let b = t + j. Is b a composite number?
True
Suppose -d + 33 = -724. Is d prime?
True
Let p(l) = 330*l - 7. Is p(4) a composite number?
True
Let j = 5 + -3. Let c be ((-100)/15)/((-4)/42). Suppose -j*t + 44 = -w, -5*t + 4*w = -c - 37. Is t a composite number?
False
Let z(k) = 1 - 15*k - 164*k - 14. Is z(-6) a composite number?
False
Let c(g) be the first derivative of 3/2*g**2 + 7*g - 3 + 1/3*g**3. Is c(5) a prime number?
True
Suppose 6 = -3*t + 2*d, 3*t + d - 6 = -3. Suppose t*y + y = 3*j - 16, -4*y + 20 = 2*j. Is j composite?
True
Let i = -16 + 3. Let n = 2 - i. Let g = -9 + n. Is g prime?
False
Let b(h) = -h**3 + 18*h**2 + 2*h + 19. Suppose 4*g - 77 = -5*i, -g + 13 = 2*i - 7*i. Is b(g) composite?
True
Let d = 108 - 165. Let o = -38 - d. Is o a prime number?
True
Is (-6)/9 - (-88)/6 a prime number?
False
Is (-2)/(((-24)/3206)/6) composite?
True
Let s(l) = 1048*l + 1. Is s(1) a prime number?
True
Let r(z) = -19*z**3 + 3*z**2 - z - 5. Is r(-2) prime?
False
Is 3 + (4/30 - (-2547)/135) a composite number?
True
Suppose 2 = c - 2. Suppose 2*j = c - 0. Suppose 0*b = j*b - 8. Is b composite?
True
Let b be 33/15 - 1/5. Suppose l - 2*w = 31, b*l - 31 = l + 3*w. Is l composite?
False
Let d(u) = 39*u + 1. Suppose -y + 10 = -3*i + i, 5*y = -i + 6. Is d(y) a prime number?
True
Let c(w) = 73*w**2 + 1. Is c(2) a prime number?
True
Let j(r) = -3*r**3 - 6*r**2 + 7*r + 3. Is j(-10) prime?
True
Suppose 5*o - 25 = 3*a, -o = 4*a + 2*o + 14. Let h = -39 - -28. Let d = a - h. Is d composite?
True
Let o(s) = -29*s - 13. Is o(-6) composite?
True
Let b = 7 + -1. Let g(d) = d**3 - 7*d**2 + 5*d + 8. Let k be g(b). Suppose 4*n - k*t = 3*t + 395, -2*n - t + 187 = 0. Is n prime?
False
Let t = 6123 + -3004. Is t a composite number?
False
Let d(i) = -i**3 + 7*i**2 + 11*i + 7. Is d(8) a prime number?
True
Let p(d) be the second derivative of -d**5/20 + d**4 + 2*d**3 - 17*d**2/2 + d. Is p(12) a prime number?
True
Let s(u) = 14*u + 6. Let h(d) = 7*d + 3. Let z(m) = 13*h(m) - 6*s(m). Is z(4) prime?
True
Let r(j) = -1. Let s(f) = -f - 16. Let x(c) = -6*r(c) + s(c). Let k be x(-10). Suppose k = -4*p + 14 + 14. Is p prime?
True
Suppose 0 = b + 2*b - 699. Suppose -1355 - b = -4*r. Is r prime?
True
Let o be 8/6*3*-1. Let f be o/10 - (-12)/30. Suppose d - 14 - 17 = f. Is d a composite number?
False
Suppose -6*m = -3*m - 15. Let z be 10/4*2/m. Suppose -z = -4*a + 55. Is a a prime number?
False
Suppose 0 = -2*d + 644 + 144. Let c = d - 231. Is c prime?
True
Let h(v) = -v - 9. Let z(b) = -b - 8. Let s be (6 + -2)*(-2 + 1). Let t(i) = s*z(i) + 3*h(i). Is t(4) composite?
True
Let f = 875 + -203. Let p = -379 + f. Is p a prime number?
True
Suppose 0 = 8*n - 11813 - 1235. Is n a composite number?
True
Let k be 51/(-7) + 2/7. Let q = 18 - k. Is q prime?
False
Let g = -11 - -73. Is g a prime number?
False
Let c(x) = -x**3 - 9*x**2 - x - 5. Let l be c(-9). Suppose -5*a + r + 108 = -224, 2*r = l*a - 262. Is a prime?
True
Suppose -3*x = 15, x + 11 + 4 = 2*b. Let c(d) = d + 5. Is c(b) prime?
False
Let f(u) = 330*u - 1. Is f(3) a composite number?
True
Let b(a) = 271*a - 1. Let m be b(1). Let g be 63/12 + (-2)/8. Suppose -325 - m = -g*l. Is l a prime number?
False
Suppose 0 = 5*o + 10, -4*o + 244 = 5*n - 133. Let d = n + 12. Is d a prime number?
True
Suppose 20 = -2*y - 34. Let u = y - -77. Suppose 0 = 5*c + 5*z - 260, c - 3*z + 6*z = u. Is c a prime number?
True
Suppose -46 = 3*j + 59. Is 10/j - (-5613)/21 a prime number?
False
Suppose 3*c + 1481 = 2*l, -l - 142 + 902 = 5*c. Is l a prime number?
False
Is (-31523)/(-116)*(3 - -1) prime?
True
Let t = -247 - -413. Let k = t + -84. Is k a composite number?
True
Let q = -4 - -6. Suppose 0 = -q*h - k + 523 - 142, -4*k + 948 = 5*h. Let y = h + -101. Is y prime?
False
Let q be 3 + (-9 - 0 - 1). Let t(r) = 2*r**2 - 9. Is t(q) a composite number?
False
Suppose 14*l + 11265 = 19*l. Is l a composite number?
True
Let u(s) = s**2 + s. Let k be u(0). Let j = k + 55. Is j a prime number?
False
Let l(x) = -29*x + 2. Let m be (4/(-6))/((-2)/(-18)). Let g = 3 + m. Is l(g) a prime number?
True
Let l = 0 + 0. Let x = 84 - 79. Suppose -x*o + 9*o - 100 = l. Is o composite?
True
Let w(l) = 2 - l - 4 + 4*l. Suppose 0 = -a - 1 + 3. Is w(a) a prime number?
False
Suppose 189 = -3*i - 3*t, -244 = 2*i - 5*t - 97. Let k be i/(-14) + 8/28. Suppose 75 = 3*r - 4*s - 22, k*s = 2*r - 67. Is r composite?
False
Let o(j) = 10*j**2 + 5*j + 31. Is o(-8) a composite number?
False
Let o(t) = 59*t**2 - 7*t + 11. Is o(3) prime?
True
Let w(s) = s**3 + 17*s**2 + s + 22. Let c be w(-16). Suppose -5*o + c + 343 = 0. Is o prime?
False
Let h(i) = -6*i. Let w be h(1). Let p(j) = -11*j - 9. Is p(w) a composite number?
True
Suppose -2*m - 220 + 874 = 0. Is m a prime number?
False
Let r(b) = -b + 1. Let k be r(1). Let u = 6 + k. Is 1 + (-2 - -2) + u prime?
True
Let c be (3/(-2))/(1/2). Let j = c - -5. Suppose -25 = -j*r + 69. Is r a composite number?
False
Suppose 5*z = -x, 0 = -7*x + 2*x - 4*z. Suppose 2*j - 6 = x, -u + 4*u + j - 3 = 0. Suppose 5*i + 20 = u, 2*o - 132 = 4*i - 0*i. Is o prime?
False
Suppose -7*u = 151 - 2496. Is u a prime number?
False
Let n(y) = y**3 + 6*y**2 - 5*y + 4. Let t(p) = 4*p**3 - 2*p**2 - 2*p - 1. Let u be t(-1). Let z be n(u). Let o = -23 + z. Is o a prime number?
True
Let p = 82 - 48. Suppose -3*v + v - k = -16, -p = -5*v - 4*k. Is v a composite number?
True
Let o(f) = -f**2 + 3*f**2 - 3*f + 2*f**2 - 2. Let l(s) = -s**3 - 5*s**2 + 3. Let b be l(-5). Is o(b) a composite number?
True
Is (1 + 0 + 2)*83 prime?
False
Suppose 17677 - 4963 = 6*i. Is i composite?
True
Let l = -20 + 12. Let o(a) = 0 - 3*a + 2*a + 11. Is o(l) composite?
False
Let h be (-1 + 2)*(-2 + 4). Suppose 0 = 2*a - 2*x - 196, 0*x = h*x + 2. Is a a prime number?
True
Let g be 80/35 + 4/(-14). Suppose -g*m - 5*c + 156 = -0*m, -c + 81 = m. Is m prime?
True
Let p(r) = -628*r**3 + 3*r**2 + 2*r. Is p(-1) prime?
False
Is 0 - (470 + -1)/(-1) composite?
True
Suppose 0 = 9*o - 11*o + 268. Is o composite?
True
Let j(u) = -2*u**2 + 8*u - 2. Let v be j(7). Let a = 119 - v. Is a composite?
False
Let d(c) = 2*c**3 + 3*c**2 - 2. Let z be d(2). Let s = z + 7. Is s a prime number?
False
Let k(z) = -48*z**3 + z*