s (2/(-11) - 194222/(-154)) + -4 composite?
True
Let g = 7 + -7. Suppose -i + 4*h + 1835 = g, i - 5*h - 1841 = -3*h. Is i prime?
True
Suppose -3*m + 2*d + 0*d - 636 = 0, 4*m + 3*d = -848. Let q = m - -1573. Is q prime?
True
Let m(o) = -1. Let v(r) = -51*r**2 + 4*r - 2. Let i(f) = 2*m(f) - v(f). Is i(-3) composite?
True
Suppose -s + 534 = 5*y - 257, 4 = -4*y. Let n = s + -243. Is n composite?
True
Let j be (-4765)/(-10) + (-5)/(-2). Let s = -265 + j. Is s a prime number?
False
Let a(z) = -z**2 - 10*z + 7. Let g be a(-4). Let x = 96 + g. Is x prime?
True
Suppose 0 = 25*y + 24476 - 83401. Is y prime?
True
Let f be 1*(13 - 3)*-20. Let l = f - -530. Suppose 5*z - 415 - l = 0. Is z a composite number?
False
Suppose n - 25 = -5*l, -3*l - 5 - 2 = 5*n. Let o be l/((-9)/(-3))*1. Suppose -o*g + 112 + 118 = 0. Is g a composite number?
True
Is (-7 + 1)/3 + 8503 a composite number?
False
Let a(v) = -v**3 - v**2 - 2*v - 7. Let o be a(0). Let k = 134 + o. Is k a composite number?
False
Suppose 581 = 4*m + 3*i, 5*m - 4*i + 15 = 780. Is m a composite number?
False
Suppose -3*g + 24435 = -3*o, -5*o + 24451 = 3*g - 0*g. Is g composite?
False
Let i = 111 + 408. Is i composite?
True
Suppose 0*s - 2107 = -s. Suppose 0 = 3*z + 15, 0 = -5*v + 2*z + s + 238. Is v a prime number?
True
Suppose -2*i - 3*i = 25. Let g(x) = -6*x**3 - 12*x**2 - 5*x + 1. Let z be g(i). Suppose 11*a = 7*a + z. Is a prime?
False
Is 47303/5 - (-7 + 660/100) prime?
True
Let f(x) be the first derivative of -5*x**4/12 - 17*x**3/6 + x**2/2 + 8. Let a(r) be the second derivative of f(r). Is a(-7) a composite number?
False
Is (6761/(-2))/((-2)/4) a prime number?
True
Let h = -85 - -82. Is (-1021)/h - (-4)/6 composite?
True
Let g be 9*(2/4 + 10/(-36)). Is 14024/24*(-1 - (-2 - g)) prime?
True
Let s = -3206 - -4917. Is s a composite number?
True
Let w(q) = -1947*q**2 + 8*q - 7*q + 5197*q**2 + 3556*q**2. Let m be w(-1). Suppose -3*j = -2*l - 4083, 0*j - 5*j + 3*l + m = 0. Is j composite?
False
Let j be 366*(-15)/(-20)*2. Is 14 + j + 1 + -1 a prime number?
True
Let q = -1 - -1. Suppose q = v - b - 121, -5*b - 79 - 34 = -v. Is v a prime number?
False
Suppose -4*y = 7*y + 22. Suppose 4*b - 5*b = 3*q - 17, 4*q - 20 = 0. Is (-20)/y + 1 + b composite?
False
Suppose 24 = 3*x - 4*p, 4 = 2*x + p - 1. Is 1 + 409 - (-3 + x) a prime number?
True
Let s(n) = -n**3 - n + 630. Suppose -3*t + 8*t = 0. Let x be s(t). Suppose -6*o = -1848 - x. Is o prime?
False
Let q be 3/(-2)*(-4)/24*44. Suppose -2*k - 1625 = -q*u + 6*u, 949 = 3*u + 4*k. Is u a prime number?
False
Let d = 18578 + 4415. Is d a prime number?
True
Let o be 4 - -390 - (3 + -1). Suppose 0*h = 4*h - o. Let m = h + -45. Is m a prime number?
True
Suppose w + 143 + 105 = 0. Let d = w + 12. Let b = 415 + d. Is b composite?
False
Suppose 2*u + v - 5 = 0, 16 = 4*u - v + 5*v. Is 3066/14 - (u - -1) prime?
False
Suppose -3*b + 3*w - 94 = -19, -5*b - 143 = 4*w. Let j be 2*b/(6/(-2)). Is j + -2 + 1 + -2 composite?
True
Is -5 + 4 - (-1 - 0 - 1111) composite?
True
Suppose 0 = 3*w + 687 + 96. Is 56/(-12)*w/6 prime?
False
Let l(p) = p + 4. Let m be l(-6). Let b(a) = -2*a + 31. Let d be b(19). Is (-625)/d + m/7 composite?
False
Let y(c) = 24*c - 1. Let n be y(2). Let z = 6 + n. Is z composite?
False
Let b be (-78)/52 + 2/(1*4). Is (-1)/(5/b) + 3528/10 a prime number?
True
Suppose -4*c = k + 15, k = -3*c - k - 10. Is c + 20/4 + 3592 a composite number?
False
Suppose 8*k = 12*k + 40. Is -2 + (-36)/(-20) - 21532/k a composite number?
False
Suppose -5*k + 2765 = -2*d, -2*d + 2115 = 4*k - 115. Suppose 3*j - 420 = -2*j. Suppose -k = -3*a - j. Is a a prime number?
True
Let l(c) = 19*c**3 - c**2 + 2*c - 3. Let a(k) = -k**3 + 9*k**2 + k - 7. Let s be a(9). Is l(s) a prime number?
True
Suppose -8*y + 1201 = -855. Is y composite?
False
Suppose -3*r + 4*r + 4 = 0, -3*r = -3*j + 6. Is 51 + (-6)/2 + (j - -3) prime?
False
Let j(b) = -b + 3*b - 2 + 3*b**2 + b**3 - 3*b + 4. Let h be j(4). Suppose n = -n + h. Is n a prime number?
False
Let l(y) = y**2 + 5*y - 1601. Let b be l(0). Let j = b - -2998. Is j a composite number?
True
Let o(y) = -60*y - 15. Let s be o(-8). Suppose 0 = 2*l - 2*w - 396, 6*l = 2*l + 2*w + 800. Let t = s - l. Is t a prime number?
True
Let y = -9 - -10. Is 466 - 13 - (y + 3) composite?
False
Suppose 54*t + 4*u = 49*t + 189175, -20 = 4*u. Is t prime?
False
Let o(b) = -b - 1. Let y be o(-7). Suppose 10*v - y*v = 2624. Is v - 3 - (-1 + 5) prime?
False
Suppose 4*y + 10*s = 12*s + 53980, -53980 = -4*y - 4*s. Is y a prime number?
False
Suppose 3*l - j - 5 = -0*l, 2*l + 4*j - 22 = 0. Is (l + (-2684 - 0))/(-1) prime?
False
Let b = -84 + 104. Is (4398/5)/1*b/8 composite?
True
Suppose -3*c - 238 = -v + 139, 3*v - 3*c - 1107 = 0. Is v prime?
False
Suppose -2*k = -4*k + 4. Suppose -4*s = k*i - s - 72, -124 = -4*i - s. Let f = 159 - i. Is f a prime number?
False
Let m = 8985 - 4426. Is m prime?
False
Let k = -20 - -31. Let y = 11 - k. Suppose 2*s - 298 = -4*z, 0*z + z + 3*s - 62 = y. Is z a prime number?
False
Let l = -24 + 28. Let v(g) = 53*g**3 + 3*g + 11. Is v(l) a composite number?
True
Suppose -t + 10 = 5. Suppose 5*n = -o - o + 9, o + 3*n - t = 0. Suppose -4*d - 22 + 2 = 0, 2*d = o*l - 368. Is l a composite number?
False
Let o = 1703 - 1125. Suppose w - o = -w. Let x = 438 - w. Is x a prime number?
True
Suppose -5*l + 4 = -21. Suppose -5 = -l*j, 0 = -5*a + 3*a + 4*j + 318. Is a prime?
False
Let b = 52 + -50. Suppose 4*n - 1718 = b*n. Is n composite?
False
Suppose 0 = -22*h + 27*h - 5. Let l(q) = 252*q**2 - 17*q + 6. Let t(g) = 84*g**2 - 6*g + 2. Let i(s) = 3*l(s) - 8*t(s). Is i(h) a prime number?
True
Let t = 11 - 8. Suppose -3*z + 1836 = 2*s, -t*s = -0*s. Suppose 3*v = z + 1077. Is v composite?
False
Let n(f) = -2 + 171*f + 666*f - 3. Let j be n(2). Suppose -j = -2*l + 1933. Is l composite?
False
Suppose -13 - 4 = 4*j - 5*d, -3*d = 2*j - 19. Suppose -j*x - 3*x = -5, -r - x + 21 = 0. Is 1945/r - (-2)/(-8) prime?
True
Suppose 2*s - 18 + 3 = -3*x, -4*s = 4*x - 20. Suppose -x = -z, 2*m + 5*z = -3*m + 3170. Is m a composite number?
True
Suppose -4*r + 373 = -5*a, 0 = 4*r - a + 47 - 400. Is r a composite number?
True
Let i = -583 + 2736. Is i prime?
True
Let j be (0 - 0/5)/1. Suppose 5*c - 5*o = 80, j = -4*c - 3*o + 45 + 5. Is c a composite number?
True
Suppose -4*q + q + 16 = -5*n, 0 = 3*q + n - 22. Let d = 11 - q. Is (111/12)/(d/48) prime?
False
Suppose -3*f - 16 = f. Suppose -45 = -5*q + y, -5*y + 7*y = -q + 20. Is (f/q)/((-2)/655) a prime number?
True
Let y = 1139 - -367. Let d = 0 - -7. Suppose k + y = d*k. Is k composite?
False
Let s be (28/(-16) + 2)*12. Suppose 11 + 4 = i + s*x, 3*x = 2*i + 15. Is (1 - i) + (3 - -31) prime?
False
Let d = -1234 + 707. Let l = d - -270. Is l*(-2 - -4)/(-2) a prime number?
True
Let w be ((3 + -12)/3)/(-1). Suppose -14 = w*s + 4*z - 38, -2*z + 10 = s. Suppose -2*b - s*v + 198 = 0, 0*b + v - 94 = -b. Is b a prime number?
True
Suppose -4539 - 18698 = -19*z. Is z composite?
False
Suppose 22605 + 14809 = 26*f. Is f a prime number?
True
Suppose 155 + 110 = -5*k. Suppose 4*h - 664 = 4*m, -3*m = -m - 5*h + 332. Let c = k - m. Is c a composite number?
False
Suppose 14*v + 5*i = 9*v + 32370, -2*i = -4*v + 25866. Is v prime?
True
Suppose -3*b + 57375 = -4*n, 0 = 2*b + 2*b + 2*n - 76478. Is b prime?
True
Suppose 0 = 11*f - 39*f + 68404. Is f a prime number?
False
Let v be -1*(-7 + 5 + -2). Suppose 0 = -v*j + 5*j. Is -1 - (0 + (-212 - j)) a prime number?
True
Suppose 97*k - 624459 = 64*k. Is k composite?
True
Let f(y) = 41*y**2 + y + 1. Let n(z) = -z**3 + 7*z**2 - 6*z - 12. Let g be n(5). Is f(g) a prime number?
True
Suppose -2*x = 4*f - 16, 4*x - 3*f + 4 = -8. Suppose 0 = -x*z + z - 67. Is z composite?
False
Let z(d) = 6*d**2 - 7*d + 2. Let w be z(9). Suppose 9*f - w = 4*f. Let c = f - -42. Is c prime?
True
Let m(v) be the third derivative of 16*v**4/3 - v**3/2 + 2*v**2 + 2*v. Suppose -7 - 3 = -5*z. Is m(z) a prime number?
False
Let j(v) = 13*v**2 + 2*v - 5. Suppose 24 = 9*y - 11*y. Is j(y) a prime number?
False
Let b be (-130)/14 + (-6)/(-21). Let m = 9 + b. Suppose m = -2*g + 5*g - 435. Is g a prime number?
False
Suppose 6*r - 11*r = 0. Suppose -5*v = 0, 5*v - 15 = 3*u - r*v. Is (-9 - u)*(-898)/8 a prime number?
True
Let b(f) = 5*f**2 - 1 - 5*f**2 + 4*