 = -4*r - 5. Let i(j) = 3*a(j) + 8*b(j). Let v be i(-6). Suppose 0 = 3*l + v*z - 53, -5*l - 3*z = -59 - 28. Is l prime?
False
Let w = 642 + -366. Suppose -3*h + 5*t + w = 0, -2*h + 2*t + 354 = 2*h. Is h a composite number?
True
Suppose -7 = -5*h - 2. Let w be (1/(-2))/(h/(-1062)). Is 2/(-5) + w/15 a prime number?
False
Suppose 0 = s - 1, -3*p = 2*p - 5*s - 4665. Suppose 0*i + p = 2*i. Is i prime?
True
Let w be (-6)/(0 + -2) - -2. Suppose n - 2*x = 132, 0*n - w*n = -3*x - 639. Suppose -8*j - 2*k = -3*j - 275, 4*k = -2*j + n. Is j a composite number?
False
Is 2804/12 + (-2)/3 prime?
True
Let f = -2219 - -3976. Is f a composite number?
True
Let t(m) = m**3 - 6*m**2 + 8*m + 11. Is t(10) a composite number?
False
Suppose k - 5 = -k + 3*g, 5*g = 4*k - 11. Suppose -2*q = -2*j + j - 3, -20 = -k*j. Is (-8)/(-1) + -6 + q a composite number?
True
Is (1209/3)/(2/2) a prime number?
False
Let c(f) = -2*f**3 + 2*f**2 + 2. Let v be c(2). Let h(m) = -m**2 - 7*m - 4. Let s be h(v). Suppose b - 36 + 1 = -s*i, i - 133 = -4*b. Is b a composite number?
True
Suppose 2*m - 7 = 3. Suppose 5*a - 325 = -m*t, -2*a = -t - t + 130. Is t composite?
True
Let j = -2491 - -8580. Is j a prime number?
True
Suppose 0 = -3*h - 3*k + 1464, 997 = 2*h - 0*k - 5*k. Is h composite?
False
Suppose -2*f + 32 = 12. Suppose -4*k - 134 = f. Let o = 1 - k. Is o a prime number?
True
Suppose -18 + 107 = t. Is t a composite number?
False
Let m be 0/((4 - 2) + -4). Suppose m = -q - q + 56. Is 580/q - (-2)/7 a composite number?
True
Let i(g) = 7*g - 1. Let c be i(3). Let x be 8*-3*(-110)/c. Suppose -5*z - 5*k + 390 = 0, 0*z + x = 2*z - 4*k. Is z composite?
True
Is (-63553)/(-63) - 8/(-36) a prime number?
True
Let p(g) = g**3 + 10*g**2 - 10*g - 14. Let s be p(-11). Is (s + (2 - 5))/(-2) a composite number?
True
Let w = -523 + 735. Suppose 0 = 3*x - w - 589. Is x a composite number?
True
Let h(o) be the second derivative of -o**5/20 + o**4/3 + 5*o**3/6 + o**2/2 + 3*o. Is h(-4) prime?
True
Let t = -7611 + 10970. Is t a composite number?
False
Let m(o) = o**2 - 26*o - 12. Is m(-25) composite?
True
Suppose 2*w - 2 - 6 = 0. Let a(j) = -1. Let f(m) = 4*m + 8. Let c(i) = 3*a(i) + f(i). Is c(w) prime?
False
Let c = 26 + -24. Suppose 0*t - c*a + 107 = t, 6 = 3*a. Is t composite?
False
Is (-8 + 2798/4)*1*2 a composite number?
True
Let z(l) = 481*l**2 + l. Let a be z(-1). Suppose -440 = -4*s + 5*g, -g = 4*s + 4*g - a. Is s prime?
False
Suppose 4*c - 4*d - 28 = 0, 11 = 2*c + 3*d - 18. Suppose c*b + 925 = 15*b. Is b a prime number?
False
Suppose -3*g + 8*g - 15 = 0. Suppose g*u = 12 + 45. Is u a prime number?
True
Let w(z) = z**3 - z + 3. Let p be w(0). Suppose -2*o - 5*i + 1105 = 3*o, p*o - 4*i - 635 = 0. Is o a composite number?
True
Let f(y) = y**3 + 6*y**2 + 6*y + 7. Let a be f(-5). Suppose -363 = p + a*p. Is 3/4 - p/4 a prime number?
True
Let v(r) = 8*r + 3. Is v(17) a composite number?
False
Let l(h) = 11*h + 1. Let k be l(-1). Let w = 25 - k. Is w a composite number?
True
Suppose 10*r + 1464 - 10234 = 0. Is r a prime number?
True
Let n(b) = b**2 - 4*b - 5. Let o be n(5). Suppose o = -0*z + 5*z - 35. Suppose -z*w + 3*w + 308 = 0. Is w a composite number?
True
Let p(w) = 31*w**3 + 2*w**2 - 4*w + 3. Is p(2) composite?
False
Let a(q) = q**3 + 7*q**2 - q - 5. Let f be a(-7). Is -2 + 2 + f - -159 a prime number?
False
Suppose 2*z = -3*z. Suppose z = -2*d + 45 + 133. Is d a composite number?
False
Let k = 56 - 23. Is k a prime number?
False
Let w(n) = -n**2 + 5*n - 5. Let k be w(6). Let y = -8 - k. Suppose y*d + 2*d - 565 = 0. Is d a composite number?
False
Is -2 + 370 - (0 - 3) composite?
True
Let m(o) = -11*o - 30. Let n(k) = -k**3 + 3*k**2 - 3*k - 4. Let g be n(3). Is m(g) a prime number?
True
Let v = -5 + -2. Let q be (-7 - v)*(-2)/(-4). Suppose q*t - 4*t = 2*h - 70, h + t = 35. Is h a prime number?
False
Suppose -14 = -2*g - 5*p, -5*g + 6*p - 2*p = -2. Suppose 0 = g*t + y - 303, 2*y - 3*y = -5*t + 740. Is t prime?
True
Let p(l) be the second derivative of l**5/20 - l**4/12 - l**3/6 - 22*l**2 + 3*l. Let m be p(0). Let u = m - -103. Is u a prime number?
True
Suppose u - 3*v = -v + 15, -4*u - 4*v = -108. Suppose -4*m = -3*l + 46, 3*l = -3*m - u + 62. Is l a prime number?
False
Is ((-30)/(-45))/(4/5514) a prime number?
True
Let f = 6 + 622. Suppose 5*l = f - 193. Is l prime?
False
Suppose 0 = 3*o - 127 - 209. Let m = o - 59. Is m prime?
True
Let r(m) be the first derivative of -11*m**5/20 - m**4/12 - m**3/6 - m**2/2 - 2*m + 2. Let x(t) be the first derivative of r(t). Is x(-2) prime?
False
Let w(j) = -j**3 - j - 7 + 0*j**2 - 3*j**3 + 3*j**3 - 4*j**2. Let d be w(-5). Let v = d - -3. Is v prime?
False
Let l(c) be the first derivative of -c**3/3 + 7*c**2/2 + 5*c + 7. Suppose 15 = 3*o - 0*o. Is l(o) a prime number?
False
Suppose -3*c = 1 - 61. Suppose 3*q - c - 85 = 0. Is q a composite number?
True
Let i(x) = 197*x - 9. Let w be i(-5). Let q = w + 1697. Is q composite?
True
Suppose 4*j - 228 = -2*z, -4*j - 119 = -5*z - 375. Is j prime?
True
Suppose o = -5*m + 243 + 94, 3*o - 73 = -m. Is m a prime number?
True
Let j = -5 + 8. Suppose -3*x = 4*g - 20, -j*x + 0*x - 5*g = -22. Is (-1)/x + (-1076)/(-16) a composite number?
False
Suppose 4*c - 1304 = 4*y, -4*y = -5*c - 5*y + 1624. Suppose 2*k - 97 = c. Is k prime?
True
Let c(j) = 2*j**2 + 2*j - 2. Let s be c(-3). Let z(y) = y - 10. Let m be z(s). Suppose m = 2*h - 4*k - 278, -3*k = -k + 8. Is h composite?
False
Let z = -440 + 657. Is z a composite number?
True
Suppose -3*t + 14 = c, 0 = -2*c + 3*t - 0 - 8. Suppose -c*o - 5 = 1. Is o/(-6)*(111 - 1) a composite number?
True
Suppose -2*q + 230 = 3*h, 0 = -3*q + 2*q + 5*h + 141. Is q a prime number?
False
Suppose -l + 4 = -3*l. Let j be (0 + l)/(-2)*5. Is 184/j + 3/15 composite?
False
Suppose 9278 = 8*n + 1990. Is n prime?
True
Let v be ((-42)/15)/((-5)/25). Is (-2088)/(-56) - 4/v composite?
False
Let z(i) = -18*i - 2. Let r be z(7). Let a = r - -213. Suppose 63 + a = 4*h. Is h a composite number?
False
Suppose -j - 3887 = -4*i, 3 + 0 = -j. Is i a prime number?
True
Suppose 239 = -5*d - 3*z + 36, -5*d + 5*z - 235 = 0. Is 14/8*(1 - d) composite?
True
Suppose 5*w + 46 = 4*w. Suppose -2*l = l + 21. Is l/2*w + 2 a composite number?
False
Let o be ((-30)/9 - -3)*-3. Let g(x) = -x**3 - x**2 - x. Let w be g(-1). Is 17/1 - (o + w) a composite number?
True
Suppose 185 + 46 = 11*w. Is w a composite number?
True
Let z = 1 - -1. Suppose -z*r + 7*r - 3*w = 183, w = 4*r - 145. Let h = r + -26. Is h a composite number?
True
Suppose -2*f - 2*i = -3*i - 3, 3*f - i = 5. Suppose 2*t + 44 = -w - f*w, 5*t - 3*w = -89. Let r = 34 - t. Is r a prime number?
True
Suppose -2*b + 1054 - 220 = 0. Is (-4)/(-6)*b/2 a prime number?
True
Let b = 478 + 15. Is b a composite number?
True
Let z(q) = -8*q - 3. Let p(n) be the second derivative of 4*n**3/3 + 3*n**2/2 + 3*n. Let x(l) = -5*p(l) - 6*z(l). Is x(6) composite?
True
Suppose 8*n - 699 + 35 = 0. Is n composite?
False
Is (-2)/(-4 - 346/(-87)) prime?
False
Is (-2)/((-12)/(-123))*-4 a prime number?
False
Suppose 17*y - 20*y + 1335 = 0. Is y a composite number?
True
Is 18/6 + 19*1 composite?
True
Let m(h) = h. Let u(o) = -1. Let w(b) = -24*m(b) + 3*u(b). Is w(-6) prime?
False
Let q(k) = -8*k - 1. Let n = 3 + -5. Let s be q(n). Suppose 4*o = 4, -4*o + s + 14 = p. Is p prime?
False
Suppose -4*c + i + 471 = -0*i, 5*c = -3*i + 610. Is c a prime number?
False
Suppose 0*s - s - 4 = 4*i, 2*s = 2*i - 8. Suppose 2*y - 4*h = 122, 0 = -3*y - 0*h + 2*h + 195. Let m = y + i. Is m composite?
False
Let i(n) = -34*n - 3. Is i(-7) composite?
True
Is (1 - 3)*-444 + -1 prime?
True
Let y(t) be the first derivative of 4*t**3 - t**2 + t - 1. Let u be y(1). Is (-3)/((-3)/7)*u prime?
False
Let h(w) = 2*w**2 + 11. Is h(10) composite?
False
Suppose -3*i = -5*w + 132, 2*w + 5*i = -3*w + 140. Let u = w - 8. Is u a prime number?
True
Suppose 3*j - 20 = 97. Is j prime?
False
Let d = -55 - -108. Is d composite?
False
Let w(u) = 5*u**2 - 5*u + 17. Is w(-12) a composite number?
False
Suppose 10 = 3*a + 2*t - 0*t, 3*a = -3*t + 12. Suppose a*c - 36 = 4*n, -n + 20 = -6*n. Is 486/c - (-10)/25 prime?
False
Suppose -28*s + 1651 = -15*s. Is s a prime number?
True
Let x = 0 + -4. Let n be 2/(-4)*712/x. Suppose 2*c - 5*y = -2*c + 163, n = 2*c 