46 = 0, 5*a + 174 = 4*p. Is p prime?
False
Let g be (22/4)/((-12)/24). Let z = 104 - g. Is z a composite number?
True
Suppose i - 2 = -0. Let f(m) = -m + 1. Let j be f(i). Is j/3*(-1 + -152) a prime number?
False
Suppose 5*z = -2*x - 47, -3*z = 2*z + 25. Let k = x + 108. Is k composite?
False
Suppose -3*p + 1288 = -215. Is p composite?
True
Let c be (38/(-4))/((-2)/(-4)). Let h = 41 + c. Let i = 37 - h. Is i composite?
True
Is 1 + 2 + (161 - 1) a composite number?
False
Suppose -q = y - 2*y - 12, -q = -5*y - 32. Is q composite?
False
Let k be 379/1 - (-6)/2. Let c = k + -181. Is c composite?
True
Suppose 5*d - 3*k + 3 = -2*k, d + 3*k = 9. Suppose d = -3*n + 6*n - 381. Is n a prime number?
True
Let m = 4 - 114. Let a = -64 - m. Is a prime?
False
Suppose 4 = -3*c + 10. Suppose -c*p + 56 = -p + 5*y, 2*p - 2*y - 100 = 0. Is p prime?
False
Suppose -415 = -n - 5*g, -g = -2*n + 4*g + 875. Suppose -3*w + m - 2 = n, 4*w + 3*m + 563 = 0. Let q = w + 232. Is q a composite number?
False
Let h = -11 - -35. Let m = -4 - -6. Is (14/8)/(m/h) a composite number?
True
Is -1 - (0 + (-570)/(-9))*-87 a composite number?
True
Let w be (7/14)/(2/(-24)). Is 14/3*(-9)/w composite?
False
Let r be 1 + -1 - (-10)/2. Suppose 0 = f - 5*y - 112, r*f - 247 - 400 = -4*y. Is f a prime number?
True
Suppose 0 = 2*p + 2*p. Suppose p = c - 4*c + 111. Is c a prime number?
True
Is 9035/7 + (-5)/105*-6 a prime number?
True
Let l = -31 - -522. Is l a prime number?
True
Let q(u) = u**3 - 8*u**2 + 10*u - 2. Let y be q(7). Suppose -186 = -2*m + 2*v, 2*m - 4*v + v = 185. Let f = m + y. Is f composite?
False
Let c(x) = x**3 + 6*x**2 - 7*x + 2. Let n be c(-7). Suppose v - 4 = 0, 2*v + 8 + 49 = 5*d. Suppose -17 = -n*t + d. Is t prime?
False
Let b be ((-1)/(-2))/((-1)/12). Let q(i) = -i**3 - 7*i**2 - 6*i - 8. Let a be q(b). Is (74/a)/((-7)/28) a composite number?
False
Let f(d) = -48*d**3 - 3*d**2 + d - 7. Is f(-4) composite?
True
Let s(f) = -f + 1. Let u be s(-3). Suppose 4*b - 3*b + u = 0. Let o(d) = -5*d + 1. Is o(b) composite?
True
Is (-267)/(-39) + 2/13 a prime number?
True
Let j be -1*(-6)/(-15)*10. Is ((-10)/j)/((-3)/(-18)) a prime number?
False
Let y = -586 + 820. Is (y - -3) + 1 + 1 prime?
True
Let f = -22 + 43. Is f a composite number?
True
Let m(h) = -h**2 - 11*h + 5. Let n be m(-5). Let j(z) = -55*z - 1. Let l be j(-1). Let o = l - n. Is o a prime number?
True
Let d = 1 + 20. Suppose 3*v = 5*q - 19, 3*q + 0*v - 5*v - d = 0. Suppose q = -4*u + 30. Is u a composite number?
False
Let g = 502 - 224. Is g a prime number?
False
Suppose -12 = -3*b - 0*b, b - 4 = -3*f. Suppose 0 = -f*d + 4*d - 268. Is d a prime number?
True
Let u be ((-3)/6)/(2/16). Is -17*32/u - 3 a prime number?
False
Let v be 1 - (-2 - -2) - 1. Suppose -a - 70 = -2*p, a - 4 = -v. Is p a prime number?
True
Let m(k) be the first derivative of -k**4/4 - 2*k**3/3 + 3*k**2 + 5*k - 1. Is m(-4) composite?
False
Suppose 0 = -2*a + w - 4*w + 4, 0 = -w - 4. Suppose -4*d + 4*n = a, 4*d + 5*n + 6 = 34. Suppose 1 = d*t - 13. Is t prime?
True
Let c(w) = 2*w**3 - 15*w**2 + 3*w + 7. Let g be c(10). Suppose -4*n + g = -n. Is n prime?
True
Suppose 4*r - 3*h - 64 = -4, -2*r + 4*h = -40. Let j be (r/(-16))/(2/8). Is (-12)/j - (3 + -1) a composite number?
False
Suppose 14*z = 11*z + 6. Suppose z*h - 280 = 142. Is h a composite number?
False
Let x(u) = -u - 8. Let q be x(7). Is (-4398)/q - 1/5 composite?
False
Let h = -257 + 372. Is h a prime number?
False
Let m = -10 - -6. Is (-58)/m*(7 - -7) a composite number?
True
Suppose f = -f + 2. Let z(n) = 7*n + f + 16*n + n. Is z(4) composite?
False
Let i(s) = -67*s - 1. Let z(r) = -334*r - 6. Let t(k) = -11*i(k) + 2*z(k). Is t(6) a prime number?
False
Is ((-4829)/22)/(2/(-12)) a composite number?
True
Is 1/(1*(-4)/(-4604)) a composite number?
False
Let a(q) = -q + 2. Let v be a(0). Suppose 2*i = 3*g + 248, 4*i - 235 - 247 = -g. Suppose v*t + 5*f = i, 65 = 2*t - t + 4*f. Is t a composite number?
False
Suppose 8 = j + 2. Is (-187)/(-5) - j/(-10) a composite number?
True
Let d = 3452 + -2353. Is d a prime number?
False
Let t(j) = 106*j**2 - 3*j - 2. Let g(p) = -211*p**2 + 7*p + 5. Let n(z) = 2*g(z) + 5*t(z). Let s be n(2). Is s/14 - 8/(-28) a prime number?
True
Is (-233*(-42)/24)/((-2)/(-8)) a prime number?
False
Let j = 6 + 0. Is 0/j - (1 + -114) a prime number?
True
Let t = 5 - 0. Let p = 58 - t. Is p a composite number?
False
Let b = 211 - -970. Is b a composite number?
False
Suppose -2*m = 2*h - 531 - 1347, 5*h + 2*m = 4707. Is h prime?
False
Let n(q) = 198*q**2 + 4*q - 3. Is n(2) a composite number?
False
Let l = 304 - 143. Is l composite?
True
Let h(d) = -3*d**2 - 4*d + 2. Let o be h(5). Let t = -24 - o. Is t a composite number?
True
Is 753/2*30/45 composite?
False
Suppose 0*l - 303 = -3*l. Let t = l - 48. Is t composite?
False
Let k(r) = -2*r - 1. Let b be k(-1). Suppose -2*u = -23 + b. Is u a composite number?
False
Let g(s) = -s**3 + 4*s**2 - 4*s - 1. Let v = -7 + 3. Is g(v) a composite number?
True
Let y be 2/(-6) - 78/(-18). Let f = y + 2. Is f a composite number?
True
Let c = 1752 - 1009. Is c composite?
False
Suppose 0*r - 2*f - 321 = -3*r, -f + 548 = 5*r. Is r a composite number?
False
Suppose 0 = -5*l + 719 + 1416. Is l prime?
False
Is (-6)/(-4) + -2 + 5841/6 prime?
False
Suppose 8*u + 5*d + 12 = 5*u, 3*u = -d. Suppose -t + 3 = b - u, -3*b + 10 = 2*t. Is b composite?
False
Is (-2)/(-3) - ((-53465)/15 + 6) composite?
False
Let c be (-4)/10 + (-274)/(-10). Suppose -2*a = -181 + c. Is a composite?
True
Let c be (-1 - 2)*6/(-18). Let m(h) = 446*h - 1. Is m(c) composite?
True
Suppose 2*r = -0*r + 3502. Is r composite?
True
Let c be -56 + 1 - (-3 - -1). Let b be 33/11 + 9*12. Let y = c + b. Is y composite?
True
Suppose -22*n = -20*n - 958. Is n a prime number?
True
Let m = 6 + -2. Suppose -m*w + 0*w + 12 = 0. Suppose s - 2*p + w*p = 99, 0 = -p + 4. Is s a composite number?
True
Suppose 5*r + z + 11 = 5*z, 3 = -5*r + 2*z. Is (2 - 159)*-1*r composite?
False
Let o be (-4)/(-10) + 48/(-20). Let p be 1070*(o - (-15)/6). Suppose 0 = b - 4, -5*d - b + p - 146 = 0. Is d prime?
False
Suppose 4*b + 12 = -v, -v = -5*b - 0 - 15. Let s(u) = -1 + 46 - u**2 + 8. Is s(v) a composite number?
False
Let w = 21 + -6. Suppose -2*f + 4*k = -306, 0 = -5*k + 2*k + w. Is f composite?
False
Suppose -1027 + 4813 = 6*z. Is z prime?
True
Let j(w) = -w**3 - 6*w**2 - 6*w + 8. Let h be ((-27)/12)/(3/12). Is j(h) a composite number?
True
Let n = -11 - -16. Suppose -4*z = -n*k - 350, 38 = z + 5*k - 37. Is z prime?
False
Let k(t) = -5*t**3 + 9*t**2 - 6*t - 13. Let a(r) = r**3 - r**2 + r + 1. Let z(b) = -4*a(b) - k(b). Is z(8) a prime number?
False
Let a be (3 - (376 + -2)) + 0. Let v = -258 - a. Let g = -80 + v. Is g composite?
True
Suppose 0 = -5*n + 282 + 193. Is n composite?
True
Suppose 5*y - 201 = -3*t + 2*t, -5*t - 155 = -4*y. Suppose -y = w - 183. Is w a prime number?
False
Let n be 2/7 + 510/(-21). Let p = 99 + -62. Let d = n + p. Is d composite?
False
Let h = -15 - -14. Let r = 82 - h. Is r composite?
False
Suppose 7*x + 90 = 9*x. Suppose -14 = -3*c - m, 4*c - 8 - 4 = -3*m. Let w = c + x. Is w a prime number?
False
Suppose 12 = -2*o - 6. Let y(a) = 2*a - 2*a - 10 - 2*a + a**2. Is y(o) a prime number?
True
Let r(n) = 3*n**3 + 4*n**2 + 10*n - 4. Let b(h) = -h**3 - h**2 - h + 1. Let q(f) = 6*b(f) + r(f). Let t = -5 + 2. Is q(t) a prime number?
True
Suppose -5*q = -m + 4, -6*m + q = -2*m - 92. Suppose -m - 18 = -3*r. Is r prime?
False
Let v = 11 + -8. Let a(w) = 30*w - 1. Is a(v) a prime number?
True
Suppose 3*l - 2*q - 12 = 0, 4*l + 3*q = -8 + 41. Suppose 5*h - 397 = 2*w, -l*h = -h - w - 396. Is h a composite number?
False
Suppose 4*b = -b. Suppose b*h - 4 = -2*h. Is h a prime number?
True
Let i(a) = -a**2 - 5*a + 2. Let w be i(-5). Is (w/4)/(5/790) prime?
True
Let w(x) = 33*x**2 + 7*x + 12. Is w(-5) a composite number?
True
Let y be (-540)/(-21) + 4/14. Let s = 1 + 0. Is y - (-2 + 3)*s a composite number?
True
Suppose -o + 2*k = -249, 3*o - 2*o - 3*k - 250 = 0. Is o composite?
True
Let m(w) = 4*w - 6. Let i be m(4). Suppose -6 = 4*y - 2*x, 0 = -5*y - 2*x + 25 - i. Let o(s) = 127*s**2 - s + 1. Is o(y) a composite number?
False
Let c(t) = 2*t. Let x be c(1). Suppose -4*s = 3*a - 112, 4*s - 96 = 3*a - x*a. Is s a co