-2)/7 a composite number?
True
Suppose -4*a + 7*a = 153. Is a a composite number?
True
Let v(k) = k**2 + k - 2. Let o be v(3). Suppose -5*s = -3*c + 47, 2*s + o = -c + 33. Is c composite?
False
Let r(u) = u**2 - 2*u. Let y be r(1). Is (y - 2) + 20 - -2 a composite number?
False
Let t(m) = 76*m + 7. Let w(g) = -1. Let d(n) = t(n) + 6*w(n). Is d(1) a composite number?
True
Suppose -1 - 5 = -2*u. Suppose j - u*p - 14 = 0, 4*j - 4*p = -0*p + 32. Suppose b = h - 2*b - 62, -2*h = j*b - 179. Is h a composite number?
True
Suppose 0 = -2*g + 3*g + 4*n - 353, 1352 = 4*g + n. Is g composite?
False
Let y = 137 - 53. Suppose -g = -57 - y. Suppose v - 148 + 3 = 4*s, -5*s - g = -v. Is v a prime number?
False
Let b(h) = 2*h - 3. Suppose -5*k + 15 = 5*s, 5*k + 7*s - 3*s - 14 = 0. Let i be b(k). Is i/(1 + (-58)/59) composite?
False
Suppose j = -4*m + 43, -5*j - 3*m + 130 = -0*m. Suppose -20 = u - 0*u - 5*l, 5*u = 5*l. Suppose 92 = u*f - j. Is f prime?
True
Let w(x) = -2*x + 1. Is w(-6) a composite number?
False
Let q(j) = -j**3 - 16*j**2 - 5*j - 13. Is q(-16) composite?
False
Let g = 545 - 42. Is g composite?
False
Suppose -2588 = -28*z + 24*z. Is z a prime number?
True
Let j = -86 + 199. Is j prime?
True
Suppose -5*t - 3*g = 4, 5*t - 4*g - 21 = -4. Let d = 14 - t. Is d prime?
True
Let v be 54/15*(-1 - 4). Let q(i) = 57*i**3 - i. Let l be q(1). Let j = v + l. Is j a prime number?
False
Suppose -3 + 11 = 4*d. Suppose 79 = -a + d*a. Is a a composite number?
False
Let y(p) = 2*p**2 - p + 3. Let u be y(6). Let t = -26 + u. Is t composite?
False
Suppose 16 = -2*y + 4*u, 0*u - 3*u + 5 = -5*y. Let t be 1 + y/(-2)*1. Suppose 3*h + n = 4*n + 477, 3*n + 6 = t. Is h composite?
False
Let q = -17 - -43. Let z = q - 89. Let c = -30 - z. Is c composite?
True
Is (-5240)/(-8) + -4 + 2 composite?
False
Suppose 0 = -5*s + 5*l + 278 + 42, 0 = -3*l - 6. Is 6/2*s/6 a prime number?
True
Let b(m) = 8*m**2 - 3*m + 2. Is b(-3) a composite number?
False
Suppose 8 = 3*b + 2*f, 13 = -3*f - 2. Let h = b + -3. Suppose -l = 3*l - h*s - 65, l - 4*s - 26 = 0. Is l composite?
True
Suppose -4*j + 6*c - c + 55 = 0, -5*j + 38 = 4*c. Let p(l) = 3*l - 11. Is p(j) composite?
False
Suppose -2*z = 4*q - 24, -2*q + 5*q - 63 = -4*z. Is 3/z - 6819/(-18) a prime number?
True
Suppose -2*x - 1 = -5. Suppose -x*f + l + 183 = 0, -5*l = 2*f - 3*l - 168. Is f a prime number?
True
Suppose 0 = 3*o - 5*o. Suppose 5*a - 5*c - 80 = o, -a = -3*c - 2*c - 36. Is a composite?
False
Suppose 2*m - 324 - 58 = 0. Is m prime?
True
Is (-6)/4*666/(-27) a prime number?
True
Suppose -a + 18 = p, -3*p = a + 9 - 57. Is (p/(-6))/(-5)*446 prime?
True
Suppose 2*d + 58 = 2*p, -2*p - 27 = -3*p + 3*d. Suppose -2*w = 3*w - p. Is w a prime number?
False
Suppose 26*q + 844 = 30*q. Is q prime?
True
Suppose 2*x - 69 - 49 = 4*s, -2*x - s + 128 = 0. Suppose 132 + x = 5*i. Is i prime?
False
Suppose 6127 = 12*l - 917. Is l prime?
True
Let n = 319 - -167. Suppose -5*z - 385 = -5*l, 178 - n = -4*l - 5*z. Is l composite?
True
Suppose q = -f - 4*f - 32, 3*f = 5*q + 20. Let p(l) = -6*l - 9. Let j be p(q). Suppose -5*n + 90 = -5*a, -2*n - 4*a = -n - j. Is n a prime number?
False
Let q(y) = -y**2 + 9*y - 4. Let p(c) be the third derivative of -7*c**6/120 - c**5/60 + c**4/24 + c**3/6 + 3*c**2. Let a be p(-1). Is q(a) a composite number?
True
Let d = 1297 - 765. Let j be d + (-2 - 2/(-1)). Is (j/8)/(2/4) a composite number?
True
Let s(v) = -v**3 - 3*v**2 - 2*v. Let p be s(-2). Suppose p = -j - 0*j + 83. Is j a prime number?
True
Suppose 0 = -3*l - 14 + 410. Let q = l + -53. Is q composite?
False
Let a = -1179 - -2525. Is a prime?
False
Suppose -11 = p - 4*p + n, -4*n + 21 = p. Suppose 66 = -p*v - 39. Is 6/v + 466/14 prime?
False
Let i be 4/16 - 1299/12. Let p(a) = -9*a**2 - 2*a + 4. Let n be p(-3). Let w = n - i. Is w composite?
False
Suppose -2*j = -5 - 7. Is 14 - (j - 1 - 2) prime?
True
Suppose y - 2*v + 98 = 4*y, 4*v - 16 = 0. Suppose 5*p + y = -25. Let u = p + 22. Is u prime?
True
Let a(g) = 1660*g - 3. Is a(1) a composite number?
False
Suppose -i + 164 = z, 3*i - 4*z - 114 - 357 = 0. Is i prime?
False
Let n = 21 - -14. Is n a composite number?
True
Let u = -8 - -13. Suppose -u*g + 310 + 10 = 0. Let b = 97 - g. Is b a composite number?
True
Suppose -8*s = -2*s + 762. Let p = s + 224. Is p a prime number?
True
Let c = 1 - -2. Suppose -3 = w - 2*w. Suppose v + 44 = w*u, 5*u + 2*v - 24 = c*u. Is u a prime number?
False
Suppose 4*t - 1060 = -0*t. Is t a prime number?
False
Suppose -3*c + 100 = -2*c - 5*v, 0 = -3*c - 4*v + 243. Is c a prime number?
False
Let l = -42 + 61. Is 3/2*2*l composite?
True
Let b = 190 + 105. Is b prime?
False
Suppose 0 = -11*o + 1686 + 1042. Suppose 2*t - 22 = l + 6, 185 = -5*l - 5*t. Let i = l + o. Is i prime?
False
Suppose 25 = -0*h + 5*h. Suppose -278 = -5*q - o, 3*o - h*o = -2*q + 104. Is q a composite number?
True
Suppose 2*v - 3*a = 4*v - 3123, 0 = 4*v - 3*a - 6255. Is v a prime number?
False
Suppose 4*w + 0*w = 1948. Is w prime?
True
Suppose 8 = o + 3. Let g = o + -2. Let f(k) = 3*k**2 - 2*k. Is f(g) a prime number?
False
Let l(f) = 63*f**2 + f - 1. Suppose -5*s + 4*p - 10 = 0, s + p = -s - 4. Is l(s) composite?
True
Let i = 91 - 60. Is i a prime number?
True
Let v(z) = 3 + 36*z + 2 - 2. Let i be v(-7). Is ((-2)/6)/(1/i) a prime number?
True
Let s(t) = -19*t**3 - 12*t**2 - 6*t - 13. Is s(-6) prime?
False
Is (1/(-4))/((-1)/(6 + 206)) a composite number?
False
Let h = -91 - -146. Suppose 2*t - 220 = -4*b + 4*t, b - 2*t = h. Is b a prime number?
False
Let z(g) = -g**3 - 4*g**2 - 4*g. Suppose 5*s + 4 = 2*c, -c - 3*s + 3 - 12 = 0. Let q = -6 - c. Is z(q) a prime number?
True
Let v(c) = c + 14. Let m be v(-10). Suppose -b + 2 = -3*b, -m*d + 3*b = -127. Is d composite?
False
Let d(w) be the third derivative of w**5/30 + w**4/12 - 5*w**3/6 - 2*w**2. Suppose 0 = -4*z - 2*i - 8, -z + 3*i - 32 = 4*z. Is d(z) a composite number?
False
Let l = 2820 - 949. Is l composite?
False
Suppose 5*t - 2*t = 0. Suppose -3*f + 21 = -t*f. Suppose f*m - 33 = 4*m. Is m prime?
True
Is (-2 + -1)/1*223/(-3) composite?
False
Let i(p) be the first derivative of -53*p**6/120 - p**4/24 - p**3/6 + p**2/2 + 1. Let h(z) be the second derivative of i(z). Is h(-1) composite?
False
Suppose 2*c = 2*v + 27 + 131, -296 = 4*v + c. Let i = -44 - v. Is i a composite number?
False
Suppose -z - 2*z + 760 = -4*c, 0 = 5*z - 5*c - 1260. Suppose u + 3*u - z = 0. Suppose -4*y + 370 - u = 0. Is y prime?
False
Suppose 0 = 9*p - 4*p - 5855. Is p composite?
False
Suppose 4*s = -0*s + 28. Suppose s*a - 212 = 3*a. Is a prime?
True
Suppose -685 = -4*x + 3. Suppose s - x = 149. Is s a prime number?
False
Let d = 7 - -1. Let a = -7 - -2. Let h = a + d. Is h a composite number?
False
Let v(n) = 1 + n + 0 + 0. Let o be v(1). Suppose -r = o*r - 93. Is r a prime number?
True
Let f = -3280 + 5849. Is f a composite number?
True
Let s be 6 - (-2)/(4/(-2)). Suppose s*f - 2*f - 2*r - 245 = 0, -2*r + 229 = 3*f. Is f a prime number?
True
Let b(s) = 8*s. Let u be b(2). Is 1916/u - (-3)/(-4) prime?
False
Suppose 0 = -4*g + 3*i + 7373, 1837 = g - 3*i + i. Is g composite?
False
Suppose -4*h + 0*h + 5*l + 17 = 0, h + 3*l = 0. Suppose -j + 15 = 5*d, -3*d - 4 = j - h*j. Is (69 + (-4)/d)*1 prime?
True
Suppose y = 4*j + 2*y - 11, -5*j = 4*y - 22. Let t be (4/1 - j)/(-1). Is (7/4)/(t/(-16)) a prime number?
False
Suppose -2*f = 2*s + 19 - 63, 2*s - 68 = -3*f. Let q = 341 - f. Is q a prime number?
True
Let x(i) = -4*i - 2. Let g be x(3). Let y be 4/g - 284/(-14). Suppose 2*a - y = -2*k + 5*a, -5*a = -10. Is k composite?
False
Let v = 14 - 5. Let h = v - -94. Is h a composite number?
False
Let w(o) = -4*o + 6. Let y(i) = 4*i - 5. Let g(k) = 6*w(k) + 7*y(k). Let z(p) = p + 1. Let r(l) = -g(l) - 4*z(l). Is r(-6) a composite number?
False
Let k be ((-32)/12)/((-2)/42). Let a = -77 + 43. Let r = a + k. Is r prime?
False
Let c(a) = a - 1. Let l(r) = -203*r + 10. Let y(o) = -5*c(o) - l(o). Is y(4) composite?
False
Suppose q + q + b - 77 = 0, 3*q - 4*b = 99. Suppose q = 2*s - s. Is s a composite number?
False
Suppose u = 2*f + 2*f + 223, -f = -3*u + 614. Is u a composite number?
True
Suppose 2*x = 4*x + 4. Is (74/4)/(x/(-4)) composite?
False
Let r be 1 - (0 - 0) - -4. Suppose 0*b = r*s + b + 28, 0 = -s - 3*b - 14