Is f composite?
False
Let o = 1361 - -617. Let y = o + -1355. Is y a composite number?
True
Let y be 10/5 - 1*-1157. Let v = y - 668. Is v composite?
False
Let k = 2 - 0. Suppose 0*r - k*r - 5*n + 662 = 0, 0 = 4*r + n - 1324. Is r prime?
True
Suppose -4*a - 10 = -6*a - 4*d, 2*a - 7 = -d. Let x = 200 + -26. Suppose 5*i - x = a*i. Is i prime?
False
Let q = -5807 - -11171. Suppose -4*g = -4*p - q, -5*g = 7*p - 2*p - 6745. Is g a composite number?
True
Suppose 5*i - 3*x = -41977 + 383529, 0 = 5*i - x - 341554. Is i a composite number?
False
Suppose -24*f + 45 = -19*f. Let m(z) be the first derivative of z**4/4 - 10*z**3/3 + 7*z**2 - 8*z - 1. Is m(f) a prime number?
True
Let s be ((-4)/6)/((-9)/27). Let j(u) = 3 + 3 + 6*u - 5 - 4*u + 43*u**s. Is j(-2) a prime number?
False
Suppose 0 = -0*f + 5*f, -280 = -4*q - 3*f. Suppose -i = i + q. Let h = i + 90. Is h composite?
True
Let n be (42/(-9) + 4)*-3 + 38. Suppose -3*r = 2*r - 50. Is 2/r + 11472/n a composite number?
True
Let f = 90 + 3. Is f a composite number?
True
Let i(q) = -30*q - 13. Let z(j) = 15*j + 6. Let p(a) = -4*i(a) - 9*z(a). Is p(-11) a composite number?
False
Let v(a) = 20162*a**3 + 36*a - 37. Is v(1) a prime number?
True
Let u(d) = 2*d - 31. Let f be u(-9). Let k(j) = j**3 - 7*j**2 - 8*j + 4. Let g be k(9). Let s = g - f. Is s prime?
False
Let r be 2*2/(-20)*-5. Let q = r - 4. Is q - ((-362)/2 - 1) prime?
True
Suppose -3*r - 3*a + 786 = 0, 2*a - 6 - 2 = 0. Suppose 3*z - 55 - 292 = -4*l, -3*z = 3*l - r. Suppose -l = 2*b - 3*b. Is b a prime number?
True
Is (0 - (-39321)/7) + (-66)/231 a prime number?
False
Suppose 6 = 4*l - 10. Suppose l*c = -f - 70, 0 = -3*f + 2*c + c - 195. Let x = -29 - f. Is x prime?
True
Suppose -21 + 6 = -5*s + 3*w, -5*w = -3*s + 25. Suppose s = 3*c + 6, -3*c = l + l + 308. Let y = 72 - l. Is y a composite number?
False
Suppose -2*n + 16507 - 930 = y, -y + 23366 = 3*n. Is n a prime number?
True
Suppose 26665 + 3040 = 5*c. Is c a composite number?
True
Let o(g) = 2*g**3 - 3 - 7*g**2 + 7*g + 3*g**3 - 5*g**3 + g**3. Let a be o(6). Suppose -a*w = q - 37, -4*w + 36 = -5*q - 45. Is w a composite number?
True
Suppose -3*w - 2*s + 409 = 0, 0 = 3*w - 2*s - 12 - 377. Is (-7 - (-4)/1) + (w - 3) prime?
True
Suppose -3*p = -8*p + 14605. Is p composite?
True
Let c = 172 - 165. Suppose c*y = -y + 27896. Is y a prime number?
False
Is 24128/128*(-1 - -3) a composite number?
True
Let l(f) = -17*f**3 + 8*f**2 - 6*f + 2. Let o(s) = -17*s**3 + 9*s**2 - 7*s + 2. Let n(w) = -6*l(w) + 5*o(w). Let u be n(2). Suppose 11*p + u = 15*p. Is p prime?
True
Suppose 18*f + 194670 = 551304. Is f a composite number?
False
Suppose -642 = -c + 2*u, 0*u - 5*u = c - 607. Suppose -2*m + 3 = -l - 4*l, -m = 2*l - 6. Suppose 2236 = m*z + c. Is z composite?
False
Suppose k - 3 - 3 = 0. Suppose 3*b - b - 5*f = -k, f - 10 = -4*b. Is b/(-8) - 3054/(-24) prime?
True
Suppose 4*p - 3959 = 3*p. Is p composite?
True
Let j be (-10)/((-4)/2) + 274. Let i = 406 - j. Is i a prime number?
True
Let y = -164 + 620. Suppose 5*b = b + y. Suppose b = 4*x - x. Is x prime?
False
Suppose -p = -7*p. Let q(k) = 4*k + k**2 - 4*k - 5 + p - 3*k. Is q(14) composite?
False
Suppose -2*y + 5*p = -19, 2*p + 9 = -p. Suppose 0 = q - 0*k - 2*k - 317, y*k = -2*q + 634. Is q prime?
True
Suppose -3*h + 2*j = -0*j - 2515, -5*j = 5*h - 4225. Is h a composite number?
True
Let h be (-1490)/((-1)/(-6) - 5/(-42)). Let o = h - -7652. Is o prime?
True
Let k(l) = 890*l**2 - 8*l - 9. Is k(-1) a composite number?
True
Suppose 2*s - 7 - 47 = 0. Let v = s - -11. Is v a prime number?
False
Let j = 1901 + -892. Suppose -a - j = -4*i, 0*i - a + 497 = 2*i. Is i composite?
False
Suppose -4*l + 5*r = 69, -3*r = -0*r - 3. Let p = -18 - l. Let m(v) = -78*v - 1. Is m(p) a prime number?
False
Is (-54)/9*(-1)/((-12)/(-3862)) a prime number?
True
Let d(p) = -6*p + 3847. Is d(0) a composite number?
False
Let b = -15852 - -29365. Is b composite?
False
Suppose 3899 + 9349 = 3*q. Let b = 2381 + q. Is b composite?
True
Suppose -82*z = -245576 + 19174. Is z a prime number?
False
Let v(j) = 153*j**2 - 24*j + 1. Is v(-20) prime?
True
Suppose -4*p + 25 = p. Suppose 0 = p*z - 2*l + 3*l - 4794, -4806 = -5*z - 4*l. Is z composite?
True
Let j = 1 - 0. Let c be j*(1 + (-9)/3). Is (c + 4)/((-10)/(-125)) prime?
False
Let c = 144232 - 102587. Is c prime?
False
Let b = -134 - -124. Let n(o) = -13*o + 8. Let h(k) = 51*k - 32. Let s(g) = 2*h(g) + 9*n(g). Is s(b) composite?
True
Let q be 7/2 - 3/(-6). Let b(j) = j**3 - 2*j**2 - 2*j + 3. Let g be b(q). Let d = g + 4. Is d a prime number?
True
Let a = 7545 - 4390. Is a a composite number?
True
Suppose 0 = -5*j + 5*a - 1665, -j - 5*a + 90 = 453. Let k = j + 1372. Let x = k + -543. Is x composite?
False
Let y(d) = -7*d**3 + 30*d**2 - 27*d - 31. Let i(p) = -4*p**3 + 15*p**2 - 14*p - 16. Let m(j) = -5*i(j) + 3*y(j). Is m(10) a prime number?
False
Suppose 4*c - 4829 = 2*c - 3*g, 3*c - 7243 = -4*g. Is c composite?
True
Let k = -2085 + 852. Let f = k - -2824. Is f composite?
True
Suppose -2*y - 2*h = -104944, -y + 5*h - 104959 = -3*y. Is y a composite number?
True
Let h = -737 + 1552. Suppose 0 = -7*t + 12*t - h. Is t composite?
False
Suppose 2*b = -4*u + 39172, -3*u + 7*b + 29365 = 5*b. Is u a prime number?
True
Suppose 209 + 15 = 4*m. Suppose 222 = 2*b - m. Is b a composite number?
False
Suppose 0 = 3*f - 9, 3*t + 4*f - 3*f = -15. Is (162 - -2) + (-12)/t a composite number?
True
Suppose 3*f + 2*f - 10 = 0. Suppose -2*w + 39 = 5*t, -3*t + w = f*w - 23. Is t composite?
False
Suppose 1495 - 8110 = -3*v - 2*j, 0 = 4*v - j - 8809. Is v prime?
True
Let n be 574/(-3) - 4/(-12). Let t = -112 - n. Suppose 0 = 3*z - t - 26. Is z a prime number?
False
Let b(t) = -t**3 + t**2 + 7*t + 1. Let a be b(3). Is 2/2 + 0 + (a - -782) a prime number?
True
Let u(g) = 111*g**2 - 23*g + 17. Let w be u(-8). Suppose w = 3*n + 2*i, 5*n - 2*i - 2*i - 12197 = 0. Is n a prime number?
True
Let n(r) be the third derivative of 133*r**4/12 - 5*r**3/2 - 6*r**2. Is n(7) prime?
True
Suppose 2*y + y = 3. Let h be ((-30)/12)/(y/(-470)). Suppose 0 = -3*q + h - 170. Is q composite?
True
Let v(o) be the third derivative of -o**5/60 - 5*o**4/24 - o**3/2 + o**2. Let j be v(-3). Suppose -m - 65 = -j*q, -m - 4*m = q - 43. Is q a composite number?
False
Let z(h) = 25*h**2 - h - 3. Suppose 80 = 5*u + 15. Suppose 8 + u = 7*g. Is z(g) a prime number?
False
Suppose 6*b = 5*b + 116. Let f = b - -15. Is f a prime number?
True
Let a(l) = 16*l - 4. Let n be a(-4). Suppose -w - 1 + 30 = 0. Let s = w - n. Is s prime?
True
Suppose 2*u = 3*x + 7061, 0 = 3*u - x - 6076 - 4519. Let c = 8384 - u. Suppose -i - 3*i + c = 0. Is i prime?
True
Let l = 2108 + -971. Let p = l - 550. Is p a composite number?
False
Suppose 41*p - 287652 = 37*p. Is p composite?
True
Let p = -60304 - -87543. Is p a prime number?
True
Let w(x) = x**3 - 2*x**2 - 5*x - 2. Let d be 2/((-1)/(-4)*1). Let t be d/(-4*2/(-4)). Is w(t) a composite number?
True
Suppose 4*g - 4*j = 5 + 3, 4*g - 5*j = 8. Is 2/1 - g/(8/(-620)) composite?
False
Let d = 3 - -5. Suppose -60 = 5*j - 0. Is ((-652)/6)/(d/j) a prime number?
True
Suppose 0 = 5*y + 2619 + 186. Let d = y + 1392. Is d composite?
True
Let x = 56 + -49. Is 1432/(-16)*-2*1*x a prime number?
False
Suppose 0 = -5*t + 32 - 12. Suppose 2*l = -k + 299, 5*k - t*l = l + 1450. Suppose 4*m - 3*m - k = 0. Is m composite?
False
Let i = -44727 - -78070. Is i a prime number?
True
Let w(x) = -1727*x**3 - 2*x**2 - 3. Let r(y) = -1. Let p(i) = -5*r(i) + w(i). Is p(-1) a composite number?
True
Let q = -54 - -48. Let r(z) = -2*z**3 - 3*z**2 - 6*z + 11. Is r(q) prime?
False
Let l(m) = 7*m**2 - 6*m - 13. Let s be l(6). Suppose 0*r = r - s. Is r prime?
False
Let k(o) = 3*o - 3 - o + 3 + 12. Let h be k(-5). Suppose 3*d + 3*y = 90 + 300, 3*d - 387 = -h*y. Is d a composite number?
False
Suppose 0 = 3*w - 9, 0 = 16*f - 12*f - 2*w - 28958. Is f a composite number?
True
Suppose -2*m + 302 = r, -4*m - 5*r + 10*r + 576 = 0. Is m a composite number?
False
Is (-4)/18 + 38507/63 a composite number?
True
Suppose 0 = 5*w - 357857 - 216968. Is w a composite number?
True
Let l = -1 - 3. Let g be ((-2)/8)/(l/(-16)). Is -47*(2 - 1)*g a composite number?
False
Let b be -4 - 42/(-11) - (-97)/(-11). Is 0 - (b - -11)*(-211)/2 a compos