/((-2)/(-42)) a composite number?
True
Let t = -17 + 23. Suppose 1055 = -r + t*r. Is r a composite number?
False
Let o(w) be the second derivative of 5*w**4/12 - w**3/3 - w**2/2 - 3*w. Let u be o(2). Suppose y - u = -x, -x + 35 + 4 = -5*y. Is x composite?
False
Let p be 102/30 - 6/(-10). Let m(q) = 6*q**3 + 8*q - 9. Is m(p) a composite number?
True
Suppose 31 = 5*r - 249. Let m = 15 + r. Is m a composite number?
False
Let d = 263 - -583. Let s = 1315 - d. Is s composite?
True
Is 0 + -3 + 1 - -213 prime?
True
Let v be (-15)/(-2)*(-1708)/(-21). Suppose 3*f + 254 = 3*h - 88, 0 = 5*h + 3*f - v. Is h a prime number?
False
Is (-5962)/(-18) - 4/18 a composite number?
False
Let p be 2/6 - (-22)/6. Suppose -p*z + 2*j + 602 = 0, -4*j + 38 + 99 = z. Is z prime?
True
Let t be (-2)/3 - (-112)/6. Suppose 3*g = -4*j - 23, -3*g - t + 7 = -2*j. Let f = 24 + g. Is f prime?
True
Suppose -4*k + 4 + 8 = 0. Suppose -n = p - k - 2, -5*p = -n + 5. Suppose 10*f - n*f - 185 = 0. Is f composite?
False
Is (3/(-9))/((-1)/57) prime?
True
Suppose -4*p - 3*f + 4 = -5*f, -4*f - 8 = 0. Suppose -5*r = 3*w - 4, -4*w + p*w + 4*r + 16 = 0. Suppose -5*g - w*y = -0*y - 83, 0 = -2*g - 3*y + 26. Is g prime?
True
Suppose 853 - 6612 = -13*n. Is n a composite number?
False
Suppose 0 = 4*o - 2*x - 392, o + 5*x = x + 89. Is o prime?
True
Suppose -258 = 5*y - i, -219 = 5*y - y - 5*i. Is -1 + 0 - y - 3 a prime number?
True
Let q(o) = -o + 8. Let c = 6 - 1. Let k be q(c). Suppose k*r - 176 = -4*n - n, 0 = -4*n + r + 134. Is n prime?
False
Let q = -10 + 13. Suppose 0 = q*r - 2*r + 2*t - 131, 1 = -t. Is r a prime number?
False
Is (844/8)/(3/6) a composite number?
False
Let t(g) = -57*g**3 + 6*g**2 + 5. Let d(v) = -114*v**3 + 13*v**2 + 11. Let p(l) = -6*d(l) + 13*t(l). Let m be p(-1). Let y = m + -19. Is y composite?
False
Suppose -g - 4*i + 3 = 0, -3 = -g - 3*i + 3. Let t = -8 + g. Is t prime?
True
Let a = -8 - -26. Is (-4)/a + (-346)/(-18) composite?
False
Let h = 12 - 9. Is -1*h + 80 + 6 a composite number?
False
Let a = -3 + -1. Is (-1176)/(-54) - a/18 a composite number?
True
Suppose 4*l - 6*l + 190 = 0. Is l a composite number?
True
Suppose 6 = -g - 4*g + 4*s, -2*g - 16 = -5*s. Suppose g*r - 174 = -2*m, 2*r = 4*m - 322 - 38. Is m prime?
True
Let m be 1/(1400/(-468) - -3). Suppose 3*x = -4*d + 298 - 85, -5*x + m = 2*d. Is d prime?
False
Let z(c) = -2*c**3 - 3*c**2 - 3*c - 9. Let j(v) = -v**3 - 2*v**2 - 2*v - 9. Let s(m) = -3*j(m) + 2*z(m). Let n be s(0). Is (-6)/n*(-5 - 1) a composite number?
True
Let y = -96 + 135. Is 1*y + -3 + 1 composite?
False
Suppose -l + 5 = -s, -l = 2*s + 3*l - 20. Suppose -2*c + 68 = -s*c. Is c prime?
False
Suppose 1574 = -x + 2*x + 5*q, 4*x + 2*q = 6278. Is x prime?
False
Let f be 3/(-6) + (-819)/(-2). Suppose 3*i - 5*t = 624, -t + f = 2*i - 2*t. Is i a composite number?
True
Let z(r) = -r**3 - 2*r**2 + 3*r. Let g be z(-3). Suppose 3*c + 4*n - 24 = g, 22 = 4*c - 0*c + 2*n. Let a = c + 29. Is a a prime number?
False
Let u = 20 - 54. Let g be u/(-10) + 4/(-10). Is 157/g + (-2)/(-3) a composite number?
False
Let f(j) = 5*j**2 - 6. Let d(y) = y**2 + y - 1. Let t(l) = -6*d(l) + f(l). Let x be t(-5). Suppose 0 = x*g + 2*k - 47, 4*g - 5*k - 48 = -4*k. Is g prime?
True
Let a = 0 + -2. Let q be 2 + a*2/4. Is (-2)/(q + -2) - -19 prime?
False
Suppose 934 = 2*u + 4*o, u + 2*u - 4*o = 1431. Is u a prime number?
False
Let b(o) = -o**2 + 2*o + 2. Let q be b(4). Let p be 2 + 1/((-2)/q). Suppose p + 64 = 3*i. Is i prime?
True
Let b(g) = -g**3 + 13*g**2 + 10*g - 7. Let m(t) = -t**2 + 1. Let u(o) = b(o) + 5*m(o). Let w be u(7). Suppose -5*x + w = -58. Is x composite?
True
Suppose 0 = -3*v + 8*v - 395. Is v a prime number?
True
Let u be 4246/11 + (-6)/2. Let f = u + -256. Is f a prime number?
True
Let f = -5 - -6. Let h be (f + -2 + 1)*1. Let q(s) = s**3 - s**2 - s + 203. Is q(h) a prime number?
False
Let o be -1 - 1 - -3 - -5. Let t(c) = c**2 + 7*c - 4. Is t(o) a composite number?
True
Let u(p) = -3*p**3 - 6*p**2 - 5*p + 1. Is u(-5) a prime number?
True
Suppose 2019 = 3*y - 3*s, -y = 2*s + 172 - 857. Is y a prime number?
True
Let j be 0 - 3/6*8. Let g(k) = -k. Let p be g(j). Suppose 30 = p*b - 2*q, 2*b - 3*q + 25 = 3*b. Is b composite?
True
Let c be 3/6*1*-4. Suppose -r - 2 = 4*v + 40, -2*v = 4*r + 28. Is ((-95)/v)/(c/(-20)) a prime number?
False
Let z(m) = 24*m + 1. Let s be z(7). Let t = s - 0. Is t composite?
True
Is (-1451 + 8)*(-2)/6 a prime number?
False
Let h(p) = p - 8. Let t be h(11). Suppose 0 = 4*o - b - 92, 4*o - 20 = -t*b + 56. Is o composite?
True
Let o(z) be the second derivative of -z**3/6 - 3*z**2/2 - z. Let w be o(-5). Suppose -3 = w*x - 9. Is x composite?
False
Suppose -4 = x - 31. Let j = 48 - x. Is j a composite number?
True
Let o = 51 - 35. Suppose 2*c + 2*c = o. Suppose z + c*u = -0*z + 47, 2*z + 3*u = 74. Is z composite?
False
Let n be 3/2*(-8)/(-3). Let s(w) = w**3 - 6*w**2 + 2*w - 5. Let h be s(n). Let u = 8 - h. Is u prime?
True
Let v(t) = -t**3 + 2*t**2 - t. Let s be v(1). Let l(w) = w**3 + 2*w**2 - 2*w - 2. Let i be l(-2). Suppose j + 15 = 6*j, -i*u - 3*j + 83 = s. Is u composite?
False
Let d be (226/(-5))/(2/(-10)). Suppose w + 33 = d. Suppose -5*k + w = -192. Is k a composite number?
True
Let k(p) = p - 1. Let y be k(8). Let m(l) = 8*l + 3*l**2 + 0*l**2 - 4*l**2. Is m(y) composite?
False
Suppose -a + 4*d + 79 = 2*a, 3*d = -a + 22. Let f be 30/a*30/4. Let h(v) = v**3 - 10*v**2 + 11*v - 8. Is h(f) a prime number?
False
Let a be (3/(-6))/((-1)/46). Let b(c) = 2*c**2 + 6*c + 1. Let o be b(-4). Let f = a - o. Is f prime?
False
Suppose 3*o - 45 = -3*n, 2*o + 54 = -0*n + 5*n. Suppose 5*p + 4*g = n, -g = -3 - 0. Suppose 2*u + 18 - 116 = p. Is u a prime number?
False
Let u = 192 + -122. Suppose 4*a + u - 282 = 0. Is a a prime number?
True
Let z be -3 - -1 - (-5 - -3). Suppose -3*u + 4*u = z. Suppose -4*n + 7*n - 6 = u. Is n a prime number?
True
Suppose -7*g + 759 = -179. Is g a composite number?
True
Let o(p) = 5 + 6 + 7*p + p**2 - 6. Let s be o(-7). Suppose 3 - 28 = -s*f, 0 = 5*c - 3*f - 530. Is c a composite number?
False
Suppose 1511 = 3*l - 2170. Is l composite?
True
Suppose 1 = 4*c - 7. Let x(m) = 0*m**2 + 32*m**3 - 10*m**3 + 2*m - 2 + 2*m**c + 1. Is x(2) a prime number?
False
Let w(i) be the third derivative of -i**8/192 + i**7/2520 - i**5/120 - i**4/12 - 2*i**2. Let r(v) be the second derivative of w(v). Is r(-1) composite?
True
Let b = 13877 + -4638. Is b prime?
True
Let d(r) = -r**3 - r**2 - r + 22. Is d(0) a composite number?
True
Suppose -q = 3*q + 24. Let s(a) = -a**2 - 2*a + 3. Let p be s(q). Let b = p - -36. Is b composite?
True
Suppose 0 = -2*h - x + 991, -x + 12 = -5*x. Is h a prime number?
False
Let c be (-11)/2 - (-2)/(-4). Is (c/(-9))/(2/33) a composite number?
False
Let t = 436 - 305. Is t a prime number?
True
Let i(w) = -w**2 + w - 21. Let s be i(0). Is (-813)/s - 2/(-7) a prime number?
False
Let a = -29 - -220. Is a a composite number?
False
Let z be 23 - (-4 + (-6)/(-3)). Suppose 0 = -p + v - z, 7*v - 3*v = -4*p - 68. Is -3 - -2 - (p - -1) prime?
True
Let u(a) = -357*a - 1. Let q = 4 + -5. Let r be u(q). Suppose 4*s - r = -4*g, 4*s + 0*s = -5*g + 358. Is s a composite number?
True
Suppose -5*m - p + 18 = -2*m, 0 = -m - 4*p - 5. Is (6/(-8))/(m/(-1036)) prime?
False
Let z be 46/10 - (-6)/15. Suppose 5*c - 11 = -2*b, 0 = z*c - 2*c - 2*b - 13. Is c composite?
False
Suppose -2*l + 4*l - 6 = 0. Suppose -4*v + 4*j = -12, -9 = -5*v + l*j + 14. Is v prime?
True
Suppose -25*p - 884 = -29*p. Is p a composite number?
True
Let y(d) = 51*d**2 - 5. Is y(-2) a composite number?
False
Suppose 4*p + 255 = 5*p. Let j = p - 142. Is j a composite number?
False
Let v(h) = 185 - 11*h + 7*h + 5*h. Is v(0) prime?
False
Suppose 6*a - 414 = -2*t + a, -5*a - 888 = -4*t. Suppose -115 = j + 3*p, -1 = 2*j + 3*p + t. Let c = 168 + j. Is c composite?
True
Suppose 3*w - 5*w = 4*r - 6, 0 = -r + 1. Let g = w - -3. Suppose l = g*q + 43, -l - q = 2*q - 29. Is l composite?
True
Is (-4 - -7) + (-1748)/(-2) a prime number?
True
Suppose -5*p = -2*p - 2433. Suppose 3*g = -2*g - 3*z + p, 0 = -5*g - 4*z + 813. Is g a prime number?
False
Let n(w) = w. Let q be n(4). Suppose y = 0, q*y + 3 = -0*m + m. Suppose -m*s + 57 = -102. Is s a composite number?
False
Suppose 0 = 2*p - q - 