 = -3*f. Suppose -h = 2*h - f. Is h composite?
True
Let s = 530 - 237. Let j = s - 194. Let h = j - 44. Is h composite?
True
Is 1*-1*(-5 - 636) a prime number?
True
Let f = -2 - -5. Suppose 2*i - 10 = -f*i. Suppose -i*c - b + 162 = -5*b, -4*c - 5*b + 389 = 0. Is c prime?
False
Let t(b) = b**2 + 22*b + 34. Is t(17) composite?
True
Let b(k) = k**3 - 19*k**2 - 35*k + 6. Is b(23) a composite number?
True
Let y = 8 - 5. Is y/(-9) - 472/(-3) composite?
False
Let o = 1461 + -848. Is o composite?
False
Let q = 1 - -3. Let b = 6 + q. Suppose -c - 5*h = b, 2*c + 4*h = 3*h + 25. Is c composite?
True
Let k be 1/((-2)/(-4) + 0). Let z(l) = 25 + l + 2*l - l**k - 4*l. Is z(0) prime?
False
Suppose -3*z + 5*z + 108 = 0. Let k = 77 + z. Suppose -2*x + k = -47. Is x a prime number?
False
Let m = -38 - -117. Is m composite?
False
Let l(k) = -12 + 0*k + 0*k - 3*k + 10*k**2 - k**3 - k. Is l(9) a prime number?
False
Is 2731 + 0 + (-5)/(5/2) a prime number?
True
Suppose -6 = -6*f + 3*f. Let g be (-1 + 1)/(f - 0). Let q(d) = d**2 + d + 79. Is q(g) composite?
False
Let u be -2 - (2 - -52 - -1). Let v be 0*(-1)/(-1) - u. Let p = v + -4. Is p prime?
True
Suppose -5*p = -4*v - 9, -40 = -5*p - 5*v + 5. Suppose 2*l = -0*t - 2*t + 264, p*t + 3*l = 658. Is t a prime number?
True
Let b be (-10)/(-25) - 196/(-10). Suppose -b = -t + 14. Is t composite?
True
Let f(w) = 6*w**2 + 13*w - 21. Is f(-18) a prime number?
False
Is 0/(-1) - (-376 - -1 - -2) a prime number?
True
Let f(s) = 7*s**3 - 18*s**2 - 14*s - 2. Let v(h) = -3*h**3 + 9*h**2 + 7*h + 1. Let n(u) = 4*f(u) + 9*v(u). Is n(-8) prime?
False
Let q = -500 + 979. Is q a composite number?
False
Let r = -179 + 532. Is r prime?
True
Let i(b) = -3*b**2 - 2*b + 12. Let y be i(9). Let z = y + 482. Is z a prime number?
True
Let t be ((-21)/(-4))/((-3)/(-540)). Suppose 4*p + t = 5*l, 2*l + 2*p = 462 - 102. Is l prime?
False
Let r(z) = -z + 3*z**2 + z**3 + 4 + 5 - 4. Let i be r(-4). Let h(s) = -s**3 - 5*s**2 + 8*s - 5. Is h(i) prime?
True
Let m be 1 - 3 - (1 + -7). Suppose 5*l - m = 26. Let o(x) = 6*x**2 + 6*x + 7. Is o(l) a composite number?
True
Suppose -20985 = -5*v + 2*c + 3*c, v - 3*c - 4205 = 0. Is v a composite number?
True
Let n(c) = -49*c**3 - c**2 - 3*c - 1. Let b be n(-1). Suppose -2*l = -104 - b. Is l prime?
False
Let j be -3 + (-3 - -6 - -2). Suppose 66 = j*h + 20. Is h a composite number?
False
Is (0/(-3))/1*-1 - -379 a prime number?
True
Let x be 4/8 - 3/(-2). Suppose x*n - 220 = -2*n. Suppose -4*s - s + n = 0. Is s prime?
True
Suppose -12 = 3*a + a. Is a/(-12) + 1158/8 composite?
True
Let p = -478 - -921. Is p composite?
False
Let u = -2 - 0. Is 21/(u/(-4)*2) a prime number?
False
Let g = -29 + 150. Is g composite?
True
Is (-479)/(1*3/(-15)) a composite number?
True
Is ((-422)/(-4)*4)/2 a composite number?
False
Let i be (-2)/9 + (-37359)/(-81). Suppose -4*y + b + i = -114, -4*y = -3*b - 581. Is y a composite number?
True
Let c(v) = 127*v**3 - v**2 + 2*v - 1. Is c(1) composite?
False
Let t = -139 + 222. Is t a composite number?
False
Let l(r) be the first derivative of 3*r**2/2 - 6*r + 1. Let b be l(5). Is 4/18 + 1195/b composite?
True
Suppose 3*b - 4*u + 2*u + 1 = 0, 3*u - 4 = 2*b. Suppose 3*q = q + 12. Suppose -q*f + f = -a - 186, -a - b = 0. Is f a prime number?
True
Suppose 0 = -q + 458 - 43. Is q prime?
False
Let o(u) = -2*u**2 + 8*u + 10. Let n(y) = -2*y**2 + 8*y + 11. Suppose 0 = c + c - 10. Let d(h) = c*n(h) - 6*o(h). Is d(10) composite?
True
Is (490/(-8) - -3)/((-5)/60) a prime number?
False
Let p be 0/(0 - (-6)/(-3)). Suppose 0 = -h + 2 - p. Suppose h*j - 2*q - 325 = q, 479 = 3*j + 4*q. Is j a prime number?
False
Let h(o) be the third derivative of o**5/30 + 7*o**4/24 + 3*o**3/2 - 3*o**2. Is h(-6) prime?
False
Let n(m) = 1512*m**2 - m - 1. Let f be n(-1). Suppose a - f = -2*a. Suppose -5*t = 4*r - a, r + 389 = 4*r + t. Is r a composite number?
False
Suppose 8 = -t - r + 27, -3*t - 5*r = -59. Suppose -92 + t = -2*q. Is q a prime number?
True
Let r(h) = h - 2. Let j be r(1). Is j/(-3) - 208/(-6) composite?
True
Suppose 2*x - 24 = -x. Let q = 11 - x. Suppose -d - 2 = -7, 0 = 2*s + q*d - 43. Is s composite?
True
Suppose -5*k + 2 = 4*z, -3*z + 6 + 5 = -k. Let d be 1*0/(z/(-3)). Suppose -2*c + 5*l + 1 = -12, d = 4*c - 3*l - 33. Is c a composite number?
True
Is 1137*((-11)/3 + 4) composite?
False
Let p be (-1)/4 - 65/(-4). Let d = 7 - 7. Suppose -4*a + 0 + p = d. Is a a prime number?
False
Let a be -1*(2 + -3)*-12. Let q = 30 + a. Let z = 51 - q. Is z a composite number?
True
Let y(n) = -70*n - 7. Let c be y(-3). Suppose -3*p + 5*p + 2*i + 2 = 0, 5*p - 5*i + 35 = 0. Is 1/4 - c/p prime?
False
Suppose x = 2*x - 59. Suppose -79 = -3*s + x. Is s a composite number?
True
Let z = -339 + 492. Suppose -2*y + 5*v - 4*v + 4 = 0, -v - 2 = -y. Suppose -4*x + 0*x - w + z = 0, -y*w = -x + 27. Is x a composite number?
False
Let z(x) = 75*x - 66. Is z(15) composite?
True
Let o = -723 + 1130. Is o a prime number?
False
Let w(c) = -c - 2. Let h be w(-6). Suppose -171 + 39 = -h*g. Suppose 4*v - 3*p = v + 57, 3*p - g = -3*v. Is v a prime number?
False
Is 4*327*5/60 a prime number?
True
Suppose -d + 1723 = 2*b, 5*d = -4*b + 1906 + 1537. Is b a composite number?
True
Let i be (90/(-27) - (-3)/1)*-759. Let b(u) = -u**2 - 4*u + 3. Let l be b(-4). Suppose 4*m = -5*f + i, l*m - 144 - 9 = -3*f. Is f a prime number?
False
Suppose -h + 2*h - 89 = 0. Is h prime?
True
Let r(i) = -i + 0*i + 2*i. Let f be r(2). Is f/7 - 766/(-14) prime?
False
Let n(j) = j**3 - 12*j**2 - 2*j + 14. Let w be n(12). Is 6/15 - 376/w composite?
True
Let j = 3965 - 897. Suppose 8 = -3*y + 2*m, 0 = -0*m - m + 1. Is j/36 + y/9 composite?
True
Is 0/1 + -1 + (446 - -6) a prime number?
False
Let n be ((-33)/(-2) - -1)*6. Let o(w) = -w**3 - 7*w**2 - 8*w - 7. Let m be o(-6). Suppose -5*c + n = 3*g, -3*g - g = -m*c - 140. Is g prime?
False
Let h = -6 + 12. Let d(a) = a**3 - 3*a**2 + 4*a - 5. Is d(h) composite?
False
Suppose -3*h = 4*r + r - 36281, -5*r - 2*h = -36279. Is r a prime number?
False
Let j = 53 - -238. Is j a composite number?
True
Let h = -851 - -3708. Is h composite?
False
Let b be 24/(-20)*(-10)/4. Is (1/b)/((-4)/(-228)) a composite number?
False
Let f(b) = -b**3 - 8*b**2 - 10*b - 1. Let a = -15 + 7. Is f(a) prime?
True
Let p = 10 + -5. Suppose p*t = 3*s - 2*s - 17, 3*s = 4*t + 18. Suppose s*m - 67 = 5*f, -5*f + f = m - 1. Is m a prime number?
False
Is (-1)/2*-1*106 prime?
True
Let p be (-2 - 0) + (6 - 2). Let d be (5/3)/((-3)/(-9)). Suppose 3*t + d*q = 240, -4*t + p*t - 3*q + 161 = 0. Is t a prime number?
False
Let j be 3 + (3 - (-8)/(-2)). Suppose -179 = -j*b + 27. Is b a composite number?
False
Let g = -16 - -20. Suppose 3*n - 63 = -3*u, -2*u - g*n + 13 = -19. Is u a prime number?
False
Let y(t) = -2*t**2 - 4*t - 2. Let o be y(7). Let g = o - -261. Is g composite?
True
Let y(i) = i**2 - i + 2. Let u(a) = a + 4. Let n be u(-4). Let l be y(n). Suppose l*q + q = 21. Is q composite?
False
Suppose 0 = -2*f - f - 5*b - 15, 2*b = -6. Suppose -r + 4 = -f. Is r a prime number?
False
Suppose 0 = -2*f + f + 31. Suppose -4*w + 8*w - 5*x = -f, -3*x + 13 = -w. Let i(m) = -40*m + 3. Is i(w) a composite number?
False
Let d be (-80)/15*(-18)/4. Is 37*2 + d/8 a prime number?
False
Let o = -2 + 6. Let f = o + 19. Is f composite?
False
Let w(k) = -5*k - 2. Let o(c) = c**3 + 3*c**2 - c + 1. Let b be o(-4). Is w(b) prime?
True
Suppose 5*u + t - 295 = 3*t, 0 = 5*u - 3*t - 295. Suppose -2*d - 63 = -5*s - 0*s, 5*s + 105 = -5*d. Let f = u + d. Is f prime?
False
Let o = 75 - 40. Is o composite?
True
Let b = -6 + 11. Suppose 193 = 4*j + 4*k + 45, 74 = 2*j - b*k. Is j a prime number?
True
Let s = -2 + 5. Suppose -2*q + 3*q - 5*v - 14 = 0, 0 = s*q - 4*v + 2. Is -1 + q*(1 + -3) prime?
True
Suppose -4*a - a + 210 = 0. Let f = a + -5. Is f a prime number?
True
Let w = -15 - -6. Is (-6)/(-9) - 48/w a composite number?
True
Let i(k) = k**3 + 15*k**2 - 2*k + 21. Is i(-10) composite?
False
Let c(h) = -5*h - 1. Let o be c(-10). Suppose -o = 4*s - 5*s. Is s prime?
False
Let y(x) = -3*x - 10. Is y(-15) prime?
False
Suppose -148 = -2*z + 3*c, z = -3*c + 59 + 6. Is z composite?
False
Let q(d) = 54*d**2 + 2*d + 1. Let t = -15 + 22. Suppose -t = 5*w - 2. Is q(w) composite?
False
Let k = -14 - -45. Is k 