 d a prime number?
False
Let z = 145 - -70. Suppose 0*d = 5*d + z. Let t = d + 90. Is t composite?
False
Is 40149/36 - 1/4 a prime number?
False
Suppose -10*s - 477 = -13*s. Let c be 24*(-6)/8*-5. Let r = s - c. Is r a prime number?
False
Let d(t) be the third derivative of 20*t**4/3 + t**3/6 - 4*t**2. Is d(1) prime?
False
Let c(p) = p**3 - 11*p**2 + 15*p - 5. Let x be c(10). Suppose a - 222 - x = 0. Is a a composite number?
True
Let a(o) = 19*o - 6. Is a(5) a prime number?
True
Suppose -2*t - 2*a = 7 - 1, 0 = -2*t - a - 4. Is 84 + 12/3 + t a composite number?
True
Suppose x - 5*a = 3*x - 84, -5*x + 2*a = -181. Let v be ((-1)/1)/((-1)/(-1)). Is (-1 + 0)/(v/x) a composite number?
False
Suppose -3*z + 2 + 4 = 0. Suppose z*u - 102 = -2*k, 4*k - 5*u = -0*k + 177. Suppose -2*d = -58 - k. Is d prime?
True
Suppose 0 = -5*h + 3*h + 4. Suppose -43 = -h*r + 27. Is r composite?
True
Suppose 20921 = 8*r + 5137. Is r a composite number?
False
Let v = -1 - 7. Suppose 6*f = 4*f + 42. Let z = f + v. Is z prime?
True
Let o be 0/((-1)/(-1)*1). Let g = o - -2. Suppose y + 6 = g*y. Is y prime?
False
Let v(u) = 2*u + 8. Let l be v(-6). Let k = l - -8. Suppose -2*f = 5*b - 168, -k*f = -f + 5*b - 247. Is f a composite number?
False
Suppose -15*f + 14*f + 8 = 0. Suppose -2*w + 1 + 21 = 0. Let v = w - f. Is v composite?
False
Suppose 85 = 5*m - 3*o - 1075, 0 = -m + 2*o + 225. Is m prime?
False
Let k(y) = -y**3 + 8*y**2 - 7*y - 5. Let d be k(6). Let q = -12 + d. Is q composite?
False
Suppose -4*f = 0, 0 = -3*i - f + 4*f + 3513. Is i prime?
True
Let o(y) = 3*y**2 - 4*y. Let k = 9 + -4. Is o(k) composite?
True
Is 1685*((-24)/60 - 3/(-5)) a composite number?
False
Suppose -5*f + 3*b = -1043, -b + 1 = -3. Is f a prime number?
True
Let q(c) = 82*c + 2. Let r be q(5). Suppose m + 3*m = r. Is m a prime number?
True
Suppose -3*r + 126 + 18 = 3*v, -r + 38 = -4*v. Is r composite?
True
Let q(i) = i**2 + 1. Let g(z) = -5*z**2 + 4*z - 15. Let j(o) = g(o) + 6*q(o). Is j(6) prime?
False
Is 2 + -1 + 1 - -860 composite?
True
Let r = 5 + 0. Let s(l) = 7*l**2 + 5*l - 2. Let z be s(r). Let f = z - 55. Is f a composite number?
True
Let j = 210 - -64. Is j composite?
True
Let y(o) be the third derivative of 11*o**4/12 - 7*o**3/3 - 4*o**2. Is y(4) a composite number?
True
Let g be 16 + (-3 - (-2 + 1)). Let i = 13 - 5. Let c = i + g. Is c a composite number?
True
Suppose -3 = -3*m - 0*m. Let f = 1 - 1. Is (-2 + f)/(m/(-5)) a prime number?
False
Let z be 37/(-2) + (-1)/(-2). Let d = z + 32. Is d composite?
True
Let x be 2 - 1*-3*1. Suppose j - x = 2*j. Let k(g) = 10*g**2 - 7*g + 2. Is k(j) a prime number?
False
Let t = 0 + 2. Suppose -t + 4 = 3*n + 2*q, -4 = n + 3*q. Suppose -n*z = -0*z - 86. Is z a composite number?
False
Is -24 + 24 + (1 - (-1475 + -1)) a prime number?
False
Is -3 - 6/((-24)/868) prime?
False
Let a(x) = 40*x**2 + 3*x + 18. Is a(-8) a composite number?
True
Suppose -3*c - u + 1159 = 0, 2063 = 5*c - u + 118. Let l = c + -177. Is l a composite number?
False
Let j = -2 - -2. Suppose j = -3*w - 2*w + 10. Suppose 23 = -k + w*k. Is k a prime number?
True
Let q(n) = 5*n - 12. Let y be q(-4). Suppose u = 4, -2*u = -4*z - 7*u - 24. Let j = z - y. Is j a prime number?
False
Is 3 + -1*(2 + -126) a prime number?
True
Suppose 2*d - 2*w + 3*w - 1258 = 0, 1282 = 2*d - 5*w. Is d prime?
True
Let w(o) = 2*o - 15. Let i be w(10). Suppose 0*n = -i*n. Suppose n*p - p = -5*b + 643, 635 = 5*b - 5*p. Is b a prime number?
False
Let p = 299 + -210. Suppose -42 - p = -l. Is l a prime number?
True
Is -3 + (-4 - -4) - -454 composite?
True
Let u(p) be the first derivative of -p**2 + 4/3*p**3 - 2 + 5*p. Is u(5) a prime number?
False
Let r(p) = -7*p**2 + 5*p - 4. Let l be r(-5). Let g = l + 358. Suppose -2*a - 32 = -4*d + 126, -4*d = 2*a - g. Is d a prime number?
False
Let u = -495 - -718. Is u composite?
False
Let p(t) = -t**3 - t**2 + t + 2. Let w be p(0). Let x be w - (-45)/((-9)/(-3)). Suppose 0 = 4*q - 173 + x. Is q a prime number?
False
Let s = 25 - 25. Suppose -22 = -5*m + 13. Let r = m - s. Is r a composite number?
False
Is (1 + -5)*(-358)/8 composite?
False
Suppose 5*a = -5*l - 50, -5*l - 40 = -l - 3*a. Is (-2*1)/(l/565) a prime number?
True
Let b(v) = 84*v**2 - 10*v - 8. Is b(-3) prime?
False
Let m be ((-15)/12)/(2/(-8)). Suppose q - 3*j = 115, m*j - 4*j - 4 = 0. Is q a composite number?
False
Suppose -5*v - 95 = -10*v. Is v prime?
True
Suppose -5094 + 802 = -4*b. Is b a composite number?
True
Let x be 52 + 2/(1/(-1)). Let j be 2/(-6) - x/(-15). Suppose f - j*f + 242 = 0. Is f a composite number?
True
Let o = 1367 + -883. Let w be (-4 - -2) + 3 + o. Is w/45 + (-4)/(-18) prime?
True
Let y(z) be the second derivative of z**5/20 + z**4/12 - z**3/6 + 35*z**2 + 2*z. Let p be y(0). Is p/3 + 3/(-9) composite?
False
Let k(f) be the first derivative of -f**2/2 - f + 1. Let d be k(-2). Suppose 78 = r - d. Is r a prime number?
True
Let j be 2/(-6)*(7 + -1). Let d(x) = -4*x**3 + 3*x**2 - 1. Is d(j) a composite number?
False
Let y be (7/14)/((-1)/(-10)). Suppose -a - y*g = -3*a + 111, 0 = 5*a + g - 237. Suppose c = -5*t + a, 3*c - 93 = t + t. Is c a composite number?
True
Suppose 4*s = -46 + 322. Let c = 148 - s. Is c a composite number?
False
Suppose -12605 = -3*a - 2*a. Is a prime?
True
Suppose -2*q + 1635 = -511. Is q composite?
True
Suppose 5*l = -5*l + 9070. Is l a prime number?
True
Is (127*(-21)/(-28))/(3/8) a prime number?
False
Suppose 0 = -4*y - c - 33, 0*y - 4*c + 3 = y. Let b = y + 46. Is b composite?
False
Suppose 0*s - 2082 = -6*s. Is s a composite number?
False
Suppose 0*h + 3*h - 363 = 0. Is h composite?
True
Let n(l) = -9*l**3 + 5*l**2 - 4*l - 5. Let b(i) = -i**3 - i**2 + i + 1. Let x(q) = 6*b(q) + n(q). Let g = 3 + -5. Is x(g) a composite number?
False
Let w = 215 - 4. Is w a composite number?
False
Let o(c) = -c + 7. Let a be o(5). Suppose a*w = -4*d + 164, -3 = d + 3*w - 39. Suppose -3*g = 5*u - 25, 3*g + d = 7*g - 2*u. Is g composite?
True
Suppose -2*n + 2 + 6 = 0. Suppose -2*y + 3*z + 7 = 0, n*z = 3*y + 2*y - 21. Suppose -y*j + 155 = -0*j. Is j composite?
False
Suppose k - 55 - 274 = 0. Is k prime?
False
Suppose 0 = -2*h + 7*h - 1190. Let o = 416 - h. Suppose -n = n - o. Is n a prime number?
True
Suppose 4*x - 804 = -3*c, 0*x + 201 = x - 3*c. Let t(g) = -g**2 - 5*g + 2. Let w be t(-5). Suppose -w*u - u + x = 0. Is u composite?
False
Suppose -3*o + o + 1232 = 2*b, 3*o - 1844 = -b. Is o composite?
True
Let a = 3006 - 569. Is a prime?
True
Let a be ((-52)/(-3))/(3/189). Suppose -5*k - a = 5*c + 2143, 4*c = 5*k + 3280. Is (-4)/14 - k/28 prime?
True
Let o(a) = -a + 3. Let k be o(8). Let i(y) = -6*y + 1. Is i(k) prime?
True
Let s(i) = -83*i - 11. Let f be s(-5). Let q be -1 + (-5 - 1)*24. Let y = q + f. Is y a composite number?
True
Let v = 363 + -551. Let f = v - -265. Is f a prime number?
False
Let k(t) = 7*t**2. Let o be k(1). Suppose -2*n - o = -17. Suppose 0 = -8*i + 3*i - 3*m + 275, -4*i + n*m = -220. Is i a composite number?
True
Suppose 3*s - 899 = 5*h, 4*s - 5*h - 971 = 221. Is s a composite number?
False
Suppose -808 = 4*r - 5300. Is r a prime number?
True
Is 651/14 - 1/2 composite?
True
Let n = 26 + -46. Let s be 5/n + (-1)/(-4). Is 2/(-2) + (36 - s) composite?
True
Let p(m) = -m**3 - 8*m**2 - 6*m + 10. Let u be p(-7). Suppose -r + u*j + 220 = 0, 3*r - 339 = -j + 331. Is r a prime number?
True
Suppose -m + 4*m - 231 = 0. Suppose -u + m = -0*u. Is (0 - 0) + u + 2 a composite number?
False
Let h(b) = -b**3 - 7*b**2 + 9*b + 6. Suppose -4*w = -0*w + 36. Is h(w) a composite number?
True
Suppose 16*u - 20*u + 340 = 0. Is u prime?
False
Let v = -18 - -34. Suppose -3*k - v = g - 54, 0 = 4*k + 2*g - 48. Is k composite?
True
Let x = -4 - -5. Let g = 7 + x. Let a(v) = v**2 - 5*v - 1. Is a(g) a prime number?
True
Let g(j) = -j**3 + 6*j**2 + 7*j + 5. Let y be g(7). Suppose 5*z - y = 10. Suppose -4*w - w = b - 118, 269 = z*b - 2*w. Is b a composite number?
True
Let h be 4/18 - (-1803)/27. Suppose 2*g + 3*x + 171 = 0, 258 = -g - 2*g - 4*x. Let n = h - g. Is n a prime number?
True
Let z(c) = 6173*c**2 + 3*c + 3. Is z(-1) prime?
True
Let o = -1 + 4. Suppose 2*w + 3*w = o*u + 734, -u - 293 = -2*w. Is w prime?
False
Let p(b) = 16*b**2 - 3*b + 2. Suppose 0 = 4*i + 14 - 2. Let w be p(i). Suppose -3*