composite?
False
Suppose 2*n = -n. Suppose n = 2*c + 3*c. Suppose q - 5*u - 58 = c, -12 - 13 = -5*u. Is q composite?
False
Let x(c) = 3*c**3 + 107*c**2 + 39*c + 58. Is x(-33) a composite number?
True
Let n be (9 + (-2 - -1))*1. Suppose -n*v = -3*v. Suppose 2*i = 3*h + 6*i - 883, -4*h - 2*i + 1174 = v. Is h composite?
False
Suppose -4 = 5*s - s, 4*r - 11978 = -2*s. Is r composite?
True
Let l = -1239 - -2168. Is l a composite number?
False
Let z(v) = -22219*v + 50. Is z(-5) a composite number?
True
Suppose 0 = -2*y - 1 + 5. Suppose -2*k = k + 5*s - 8224, -y*k = -3*s - 5489. Is k prime?
False
Let y = -602 - -405. Let s(l) = 12*l + 30. Let t be s(-3). Let o = t - y. Is o composite?
False
Suppose -4*c + 0*z - 4*z - 12 = 0, 5*z + 15 = 4*c. Suppose c = -24*n + 10*n + 23618. Is n a composite number?
True
Suppose -11*r + 1221 = -550. Is r prime?
False
Suppose 0 = 3*q + 4*d + 539, -2*d = q + 2*d + 169. Let s = q - -394. Is s prime?
False
Is ((-25)/50)/((-1)/5818) a prime number?
True
Suppose 0 = -3*x - 0*x - 15. Let b be -5 - x - (-470 + 1). Suppose 2*r = 3*l - b, -3*l = -3*r + 33 - 501. Is l a prime number?
True
Let j = 10734 - 7339. Suppose 0 = -6*m + m - j. Is (-4)/4 - -1 - m prime?
False
Let f(v) = 10*v - 4. Suppose 4*x - 21 = 7*x. Let q be f(x). Is (q/(-4))/((-8)/(-16)) composite?
False
Suppose 35 = -q + 6*q. Suppose 0 = q*o - 3*o - 13508. Is o composite?
True
Is 343447/87 - (1 - 2/6) a prime number?
True
Suppose -46 = 9*k + 116. Suppose 35 = -3*z - 178. Let w = k - z. Is w a prime number?
True
Let q be (333/(-27))/((-1)/(-57)). Suppose 2*c - c = -5*s - 495, 2*c - s + 957 = 0. Let l = c - q. Is l a prime number?
True
Is 1678/3*(-6)/(-4) a prime number?
True
Let w be ((-18)/15)/((-36)/240). Let q = w + 11. Is q a composite number?
False
Suppose 2*n + 3*p + 14 = 0, 4*n + p = -3*p - 32. Let k(o) = -6*o + 31. Is k(n) prime?
False
Suppose 0 = n - a - 13448, -8*a + 6*a = -3*n + 40339. Is n a prime number?
False
Let k(x) = -x**2 - 8*x. Let b be k(-7). Let c(i) be the first derivative of 2*i**3/3 + 3*i**2 - 7*i - 44. Is c(b) a prime number?
False
Let a be -3 - (2 - 88/4). Suppose -3*z + 37 = -a. Suppose 0 = -z*r + 15*r + 1839. Is r a prime number?
True
Let h be (0/(-34))/(-3 + (-1)/(-1)). Suppose r - 162 - 95 = h. Is r a prime number?
True
Suppose -2*x + 57 - 31 = 0. Suppose -8*l - 4535 = -x*l. Is l composite?
False
Let z(s) = 2*s**3 - 3*s**2 + 7*s + 1. Suppose 0 = -2*p + 3*p - 4*c - 20, 4*p = -4*c + 20. Let y be 60/p*(-6)/(-9). Is z(y) a prime number?
True
Suppose 0 = -a + 4128 + 2569. Is a a prime number?
False
Let c(d) = 11*d**2 - 28*d - 104. Is c(17) prime?
False
Let b(r) = -2672*r - 14. Is b(-3) a composite number?
True
Suppose -11*v + 6*v + 25 = 0. Suppose 2*o + 2*y + 2 = 0, -11 + 4 = o - v*y. Let x = 71 + o. Is x composite?
True
Suppose -3*m = -4*n - n - 11, m - n = 5. Let b be 18/6*9*m. Suppose -p = -3*p - g + b, 316 = 3*p - 5*g. Is p composite?
False
Suppose 36 = 6*c + 6*c. Let q(h) = 196*h**2 - 4*h + 7. Is q(c) a composite number?
False
Suppose u = -0*u + 4*f + 6321, 3*f - 6300 = -u. Suppose -u = -0*z - 9*z. Is z prime?
True
Suppose 0 = -2*b + 2*n - 2, 4*b + 0*n - 8 = n. Suppose 0*j + 3*j - 3*l = 3, -b*l = -j - 1. Suppose 0 = j*k - 227 - 51. Is k a composite number?
False
Is 2913 + -7 + 3 + -10 a composite number?
True
Let h(i) = -93*i - 15. Let d be h(6). Is d/(-12)*(-48)/(-4) composite?
True
Let j(x) = -x**3 + 12*x**2 + 3. Let k be 7*1 - (2 - 0). Let i be j(k). Let t = i + -125. Is t a composite number?
False
Let c(x) = x**3 + 9*x**2 - 14*x + 15. Let a(k) = -k**2 - 12*k - 2. Let q be a(-11). Is c(q) a composite number?
True
Let u be (-12)/(-8)*(98/6 + -3). Let w(b) = b**2 + 16. Let g be w(0). Suppose u*o - g*o = 988. Is o a composite number?
True
Let g(w) = -33*w + 11 + 1 + 15. Is g(-8) a prime number?
False
Let i(j) be the first derivative of 13*j**7/840 + j**6/360 + j**5/40 - j**4/24 - j**3 - 5. Let h(y) be the third derivative of i(y). Is h(2) prime?
True
Let o(k) = -k + 19. Let p be o(5). Is (379/2)/(7/p) a prime number?
True
Let p = 44 + -78. Let d be (p/85)/(1/(-160)). Suppose r - 2*i - 73 = 3*i, r = 2*i + d. Is r prime?
False
Let d = -72 - -72. Suppose 0 = 5*i - s - 2259 - 1633, 4*s + 8 = d. Is i composite?
True
Let j(v) = -7*v**3 - v**2 + v - 1. Let b be j(1). Let h be b/(-20) - (-107)/(-5). Is (8 - h)*(-3)/(-1) a composite number?
True
Let f(s) = s**3 - 8*s**2 - 8*s + 11. Let c(k) = -3*k**3 + 24*k**2 + 24*k - 33. Let t(x) = -3*c(x) - 8*f(x). Is t(12) a prime number?
True
Let c(q) = q**2 - 1. Let m be c(1). Suppose f - 1 + 2 = 0, 3*l - 1499 = -f. Suppose -2*i - l = -2*d - m*i, 4*i = d - 238. Is d a composite number?
True
Suppose -p + 5632 = 3*u - 8920, -2*p = -10. Is u composite?
True
Let a(x) = 39*x + 3. Let o be a(4). Suppose -2*l + 4*f = -l - o, -2*f = 0. Let b = l + 32. Is b a prime number?
True
Let n(g) = g**2 - 18*g + 53. Is n(-18) composite?
False
Suppose 0 = -325*f + 318*f + 14707. Is f prime?
False
Let z be (-8)/1*1/(-2). Let l(h) = -3*h**3 - 4*h**2 - 8*h + 11. Let u(g) = -9*g**3 - 11*g**2 - 23*g + 32. Let r(a) = 17*l(a) - 6*u(a). Is r(z) prime?
True
Let d = 200 - -2195. Is d a prime number?
False
Suppose b = 3*b - r - 7219, -18030 = -5*b - r. Is b composite?
False
Let q(d) = -d**3 + d**2 + d + 5215. Let h be q(0). Suppose 10*t + h = 15*t. Is t prime?
False
Suppose 3*d - 5*d = -712. Suppose q + 3*q = d. Is q prime?
True
Let z = -42 - -599. Let h be (15/(-6))/(175/(-280)). Suppose -2*f + 8 = -0*f, 0 = -3*w + h*f + z. Is w prime?
True
Suppose -7*i + 32*i - 64175 = 0. Is i a prime number?
False
Let a be ((-8)/6)/((-20)/90). Is ((-2259)/a)/(-3)*-5*-2 composite?
True
Suppose -6*y + y + 56795 = 0. Is y a prime number?
False
Let h(r) = -r**2 + 4*r + 1. Let i be h(7). Let g = -32 - -40. Is (-2)/g - 1185/i composite?
False
Let v = -34 - -88. Suppose -j = -2*j - 4*x + v, -1 = -x. Let y = -35 + j. Is y a prime number?
False
Suppose m - 6 + 8 = 0. Let b be 4 + m/((-8)/(-4)). Suppose 326 = -u + b*u. Is u prime?
True
Suppose 8*g = 3393 + 343. Is g composite?
False
Suppose -53030 = 16*y - 154134. Is y composite?
True
Suppose 0 = 3*g - 122 - 517. Suppose -2*d + 1065 = 3*d - 2*t, -4*t + g = d. Is d a composite number?
True
Let k(s) = -93*s**2 + 5*s - 4. Let a be k(-2). Is -4 + 11/((-11)/a) a prime number?
False
Let o(r) = -r**3 - r**2 + r + 25. Let k be o(0). Is (-10)/(-4)*330/k a prime number?
False
Let y(u) = 0*u + 4*u**2 + u + 20 - u**3 - 22. Let h be y(4). Suppose -4*n + 5*j = -303, -h*n = -5*n + j + 230. Is n prime?
False
Let f(b) = -6*b**2 + b. Let j(d) = 5*d**2 - 2*d. Let w(r) = 2*f(r) + 3*j(r). Let o be w(3). Suppose 0 = 12*k - o*k + 1065. Is k composite?
True
Let i be 4509/45 + (-1)/5. Let y be (-4)/(-10)*i/8. Suppose 0*d + 2 = d, 4*d = y*r - 427. Is r composite?
True
Let r = -6730 + 10073. Is r composite?
False
Suppose -34*l - 910180 = -102*l. Is l a prime number?
False
Let c be -12*(4 - (8/6 - -3)). Let n(s) = 2*s**3 + 5*s**2 + 3*s - 3. Is n(c) a prime number?
False
Suppose 8*q - 19044 + 1196 = 0. Is q composite?
True
Suppose -289216 - 91483 = -53*a. Is a prime?
False
Let b be 2/(-8) - 144/(-64). Suppose -7*g + b = -5. Is (-10738)/(-12) + g/6 a composite number?
True
Let o(y) = -2*y**3 + 4*y**2 + 3*y + 11. Let d be o(5). Suppose 0*c - 558 = 2*c. Let t = d - c. Is t prime?
False
Suppose -3*r = 4*j - 2399, -4*r + 3616 = -2*j + 432. Is r composite?
False
Suppose 4*t + 4*n = -3852, -3*n + 7*n + 1918 = -2*t. Suppose 0*j - 2680 = 5*j. Let u = j - t. Is u a composite number?
False
Let c be 0 - (-6)/(-2 - -1). Let r(u) be the second derivative of -u**5/10 + u**4/12 + 2*u**3/3 + 7*u**2/2 + 4*u - 2. Is r(c) composite?
True
Let b(c) = 28878*c**2 + 20*c - 3. Is b(1) a composite number?
True
Let m = 571 + -215. Let s be -3*(1 + -3)/2. Suppose -m = -s*x - x. Is x a prime number?
True
Let m(f) = 4*f - 35. Let o be m(10). Suppose -2*t - o = -3*t. Is t + -4 + 1*700 composite?
False
Suppose -4*p + 36 = 4*a, -6*p + 4*a + 9 = -p. Let x = p - 5. Let d(r) = -r + 115. Is d(x) a prime number?
False
Let b be ((-15)/(-6))/(3/6). Suppose -t - b = -2*t. Suppose 0 = -t*k + 173 + 237. Is k a composite number?
True
Let o = 43 - -3448. Is o a composite number?
False
Let w(h) = h**3 + h**2 - h + 132. Let l be w(0). Is 766 + (-1)/7 + l/42 prime?
True
Suppose -9*