
True
Let l = 20 + -28. Let v be (l - -16)*2/(-4). Is (v/(-1) + -1)*29 prime?
False
Suppose 4*g + q = 128785, -5*q - 45142 = -3*g + 51464. Is g composite?
True
Let w(v) = -13*v**2 - 12*v - 43. Let r(i) = -7*i**2 - 6*i - 22. Let g(f) = 5*r(f) - 3*w(f). Is g(10) prime?
True
Is 9493/2 + (-11 - 253/(-22)) composite?
True
Suppose 2*b = -2*u - 8286, -2*b = u - 2*u - 4152. Is (u/9)/(10/(-15)) a composite number?
False
Suppose 4266 = -7*f + 15725. Is f a prime number?
True
Suppose -l - 3*s - 2 = -0, 8 = -4*s. Suppose l*y = 5*o + 2946, 2926 = 3*y + y + 5*o. Is y prime?
False
Suppose -p + 5*q = -1661, 5*q = 7*p - 8*p + 1641. Is p prime?
False
Suppose -3*o - 10 = -8*o. Let q(p) = o + 0 + 10*p - p. Is q(7) composite?
True
Suppose 314034 = 10*a + 11*a. Is a composite?
True
Let c be (36/(-8))/((-2)/(-16)). Let b be (2/(-6))/((-9)/27). Let k = b - c. Is k prime?
True
Suppose 5*x + 53627 = 4*u, 0 = u + 3*u - 4*x - 53624. Is u composite?
True
Let z be -2*1 + 1 + 5. Suppose -11*m - 3*m + 13090 = 0. Suppose s + z*s - m = 0. Is s a composite number?
True
Let g(n) = 4*n - 35. Let x be g(10). Suppose x*s + 3745 = 10*s. Is s a composite number?
True
Let h be 35/(-10) + 2 + (-20502)/(-4). Suppose -2*i - 3*i = 4*y - 6369, 4*y = 4*i - h. Is i prime?
True
Let z(k) = -590*k**3 - 3*k**2 + 3*k - 5. Is z(-3) a composite number?
False
Let h(x) = -x**2 - 9*x - 9. Let k be h(-7). Suppose k*t - 1924 = 5*f + 2841, -5*t + 4765 = -2*f. Is t composite?
False
Let w = 14 - 11. Let b be ((-4)/10)/(w/30). Is (-26)/(-4) - 2/b composite?
False
Suppose -9 - 6 = 3*h + 3*w, 5*w = h - 13. Let d = -12 - h. Is -5*(1774/d + 0) a composite number?
False
Suppose 7*p - 2*p = 5*b + 25, 2*b + 4*p + 4 = 0. Let j(r) = -2*r**3 - 2*r**2 + r. Let o be j(b). Let c = 143 - o. Is c a composite number?
True
Let w be 2/(-10) + 44/20. Suppose 0 = -2*m - 0*l - w*l + 5832, -m + 2926 = -4*l. Is m a prime number?
False
Suppose k = -r - k - 7, -13 = 4*r + 5*k. Suppose 0*n + 489 = r*n. Is n a prime number?
True
Suppose 2*w - 17*w = -44715. Is w a prime number?
False
Let g(o) = -o**3 - o + 1. Let f(c) = 7*c**3 + 6*c**2 + 13*c + 3. Let k(p) = -f(p) - 6*g(p). Suppose q = -q - 14. Is k(q) composite?
False
Let b(u) be the first derivative of 523*u**3/3 + 13*u**2/2 - 13*u + 36. Is b(4) a composite number?
True
Let i = -5 - -9. Let o(u) = 466*u + 10. Let y be o(2). Suppose -i*p = 8, 4*v - 5*p + 0*p - y = 0. Is v composite?
False
Let z(n) = -27259*n - 157. Is z(-2) composite?
False
Let h be (2 - 0/(-4))/(-2). Let m = -15 - h. Let l = 33 + m. Is l prime?
True
Let l(k) = 5*k - 4. Let m = -2 - 2. Let w be l(m). Let i = 81 + w. Is i composite?
True
Let f(j) = -191*j - 3. Let v(b) = -764*b - 12. Let c(t) = -9*f(t) + 2*v(t). Is c(1) prime?
False
Suppose -4*v + 0*y = 5*y + 2, 4*v = -y + 6. Suppose -9*c + 439 = w - 8*c, -882 = -v*w - c. Is w a composite number?
False
Let f(g) = 2*g**3 - g**2 + g. Let h be f(1). Let k(p) = -p**3 + 7*p + 6*p**2 - 4*p - 2*p + p**h + 3. Is k(4) composite?
True
Let n(q) = -2*q**2 + 6*q. Let c(u) = 2*u**2 - 6*u. Let m(r) = -2*c(r) - 3*n(r). Let s be m(5). Suppose 6*f - 130 = s. Is f composite?
True
Let l(b) = 74*b**3 - 19*b**2 + 6*b + 9. Let c(y) = 37*y**3 - 9*y**2 + 3*y + 4. Let d(f) = 13*c(f) - 6*l(f). Is d(3) a composite number?
True
Suppose -o - o + 7578 = -w, 3*o = 4*w + 11357. Is o a prime number?
False
Suppose -2 = -3*w + 10. Suppose 2*f + 0*f = w. Suppose -5*t - f*v + 189 = 0, -v - 2*v = -4*t + 142. Is t a prime number?
True
Let j = 1759 - 1255. Let b = j + -281. Is b a prime number?
True
Let d be (-2)/8 - (-18)/8. Let y(p) = -p - p - 2 + 8*p**d + 6*p**2 + p**3. Is y(-7) composite?
True
Let s be (12/8)/(3/10). Suppose -5*o + 35 - s = 0. Suppose -o*z + z + 95 = 0. Is z a composite number?
False
Let i be (1 + 0)/(8/64). Suppose -i*j + 11331 + 12293 = 0. Is j a composite number?
False
Let n = 40 - 29. Suppose 5*p - n = 4. Suppose 275 = 2*u + p*u. Is u a prime number?
False
Let w(x) be the first derivative of x**2 + 2491*x - 33. Is w(0) composite?
True
Let t(m) = 15*m**2 + 5*m - 11. Suppose -6*p = -p + 50. Is t(p) composite?
False
Let w(a) = -a**3 + 15*a**2 + 17*a - 13. Let p be w(16). Suppose 0 = p*v - v - 1608. Suppose -4*g = 3*n - v, 2*n + 603 = 3*g + 6*n. Is g composite?
True
Let i be (-10)/((-1)/(-12)*-3). Let s be (-26)/(-10) - 24/i. Is 1/((1 + s)/1113) prime?
False
Suppose 4*i = -2*u - i - 573, -4*i = 4*u + 1116. Suppose 12 = 3*l, 0 = 5*b + 2*l - 5*l - 273. Let t = b - u. Is t composite?
False
Suppose -91*a = -90*a - 2609. Is a a prime number?
True
Let c be (-180)/((-270)/88 - -3). Suppose 0 = 4*f - c - 1636. Is f a composite number?
False
Let q be 1 + (-8 + 3 - 3/(-1)). Let k(j) be the first derivative of -60*j**4 + j**2 + j + 1. Is k(q) composite?
False
Let z(h) = -h**3 + 7*h**2 + h - 5. Let k be z(7). Suppose -25 = 5*y, -k*y + 3*y - 5340 = -5*x. Is x composite?
False
Suppose -5*d + 5907 = 4*q - 15090, d = 4*q + 4209. Is d a prime number?
True
Suppose -2*t = 4*j - 4, 3*j - 10 = -t + 5*j. Is (8 - t)*((-1869)/(-6) - -3) a prime number?
False
Let g(n) be the second derivative of 2*n**2 + 0 - 2*n + 1/20*n**5 + 1/3*n**4 + 0*n**3. Is g(3) prime?
True
Let u(z) be the second derivative of -12*z**5/5 + z**4/12 - z**3/2 + z**2 + 10*z. Let a be u(1). Is (112/a)/(1/(-111)) a prime number?
False
Is ((-238)/35 - -7) + 3183876/45 composite?
False
Let s(x) = -14*x**3 - 2*x**2 + 2*x + 1. Let r be s(-3). Suppose h - 10 = -4*h, 3*o = 5*h - r. Let n = o - -242. Is n a composite number?
False
Let w = 1632 + 2053. Let t = 5650 + -3658. Let q = w - t. Is q composite?
False
Suppose 1906 = 123*w - 121*w. Is w composite?
False
Let u(z) be the third derivative of 203*z**5/60 - z**4/6 - z**3/3 - 26*z**2. Is u(-1) a composite number?
True
Suppose -230 + 741 = n. Is n prime?
False
Suppose 5*m - 12 = -4*p + 10, -3*p - 4*m + 17 = 0. Suppose -2*b - 4*x - 50 + 10 = 0, 4*b - p*x + 58 = 0. Is 121 + b - (1 + 1) composite?
False
Let p(z) = -5*z + 12. Let m be (14 + -29)*(-1)/(-3). Is p(m) a composite number?
False
Suppose 36470 = 4*d - 151118. Is d a prime number?
False
Suppose 6*h - 9*h = -21711. Suppose -h - 188 = -5*k - 5*d, -3*k - 5*d + 4463 = 0. Suppose 3*v = 5*x - k, -2*x + x - 3*v + 289 = 0. Is x composite?
True
Let p be ((-28)/(-6))/((-4)/(-6)). Suppose 0 = p*a - 722 - 377. Is a composite?
False
Suppose -3*v - 8*i = -10*i - 164977, -5*v - 2*i + 274935 = 0. Is v a prime number?
False
Let x = 19755 + -2288. Is x composite?
False
Suppose 4*k = t + 6559, -58*t + 55*t = -k + 1648. Is k composite?
True
Suppose 4*d - 3*x - 294 = d, -2*d = x - 199. Suppose 0 = -3*g - 2*k + d, -3*g - 34 = -4*g - k. Is g prime?
True
Let y be 2/(-2) - 196/14. Let m = y - -1. Let t = m + 72. Is t composite?
True
Let v be ((-4 - -8) + 0)/((-8)/(-626)). Suppose 20 = 4*p - 0. Suppose 0 = -p*m + b + 748, -3*m - 5*b = -5*m + v. Is m a prime number?
True
Suppose 5*h - 6 - 49 = -5*l, 4*h - 32 = -2*l. Let k be ((-6)/(-5))/(l/30). Let x(z) = 45*z - 5. Is x(k) prime?
False
Let h = -160 - 101. Let x = -142 - h. Is x prime?
False
Let v(q) = -2*q + 19. Let u be v(6). Suppose a - 3304 = -u*a. Is a a composite number?
True
Suppose -155 = -5*y - 5*o, 4*o + 66 = 2*y - 2. Let k = -22 + y. Suppose 4*c - 2*f - 758 = f, 0 = 5*f - k. Is c a prime number?
True
Let w be 0 - (4 + -908 + -3). Suppose 0 = -0*h - h + w. Is h a composite number?
False
Suppose -8*h = 4*y - 6*h - 3702, -4*y - 3*h + 3707 = 0. Is y composite?
True
Suppose 2*n + 1432 = 4*n. Let v be (21/9)/(3/(-603)). Let g = v + n. Is g a prime number?
False
Suppose -4*p + 18899 = -3*f, -18859 = -5*p + p - 5*f. Is p prime?
True
Let j(v) = v + 13. Let u be j(-6). Suppose 0 = 2*p - u - 29. Suppose 7 = 5*k - p, 4*z - 4*k = 336. Is z prime?
True
Let h(k) = 105*k**3 + 26*k + 17. Is h(6) composite?
False
Let g(x) = -3*x**2 - 2*x + 1. Let f be g(1). Let y be (-4)/32*f*-12. Let c(h) = -22*h - 1. Is c(y) a prime number?
True
Let r be (12/(-9))/((-4)/21). Suppose 0 = r*i - i - 6702. Is i a prime number?
True
Let y = 14541 + -8500. Is y a prime number?
False
Suppose -247 = 3*f - 259. Let i(o) be the second derivative of 2*o**4/3 + o**3/6 + o**2/2 + o. Is i(f) a prime number?
False
Suppose 75596 = 4*b + b + 3*s, 2*s - 30236 = -2*b. Is b a composite number?
False
Is 4*7/28*(-2 - -2319) composite?
True
Suppose 12 = -3*u - 5