/(-3) - f/(-6) prime?
True
Suppose -2*n + 5*w + 23546 = -14252, 0 = 2*n + 4*w - 37798. Is n composite?
False
Let i = -1116 + 1876. Suppose i = l + 3*l. Suppose 0 = 2*k - 456 - l. Is k composite?
True
Suppose -4*w + 0*j = -2*j - 10, 0 = 5*w + 3*j - 18. Suppose -v + 6010 = 2*m + 2*v, -5*v = w*m - 9017. Is m a composite number?
False
Suppose 2*m + 3*d = 4*d + 1199, -2*m = 3*d - 1187. Suppose -t - 146 = -5*c + m, 5*c + t = 746. Is c prime?
True
Let q = 8 - 5. Let c(d) = -162*d + q + 0 + 0 - 4. Is c(-4) composite?
False
Let q = -5 + 1. Is 3/q + 4/(-32)*-1334 prime?
False
Let l(d) = 234*d - 5. Let y be l(2). Let k = -252 + y. Is k a prime number?
True
Let a(d) = 1512*d + 23. Is a(1) composite?
True
Let p = 19 - 17. Suppose p*h = -4*h + 2466. Is h prime?
False
Suppose 5*o + 4*t + 22 = 2*t, -5*o + 5*t - 50 = 0. Is (-4 - -2 - o) + 327 composite?
False
Let l = -1957 + 3456. Is l composite?
False
Let a(q) = -2*q**3 - q**2 - q. Let s be a(-1). Suppose g - 2*l = s*l + 396, 1554 = 4*g - l. Let h = -225 + g. Is h composite?
False
Let y(w) = -w**3 + 7*w**2 + 7*w + 11. Let j be y(7). Suppose 0*g + j = 10*g. Is g composite?
True
Is 2/(-10) - (-14 - 1896622/85) a prime number?
False
Is -11 + 7805 - (-5 - 0) prime?
False
Suppose -5*w + b + 28331 = 0, 3*w - 11335 = w + 3*b. Is w prime?
False
Suppose 2*i = q - 49277, 2*q - 70531 = 3*i + 28021. Is q composite?
True
Let w = 52548 + -19379. Is w prime?
False
Let d = -16982 - -24133. Is d composite?
False
Let l = -8245 - -13813. Suppose 3*s - l = -975. Is s prime?
True
Suppose w - 2447 = -113. Suppose -4715 = -5*i - l + w, 0 = -3*i + 2*l + 4219. Is i a composite number?
False
Suppose -2*k + 2*b + 139982 = -0*k, 0 = -k - b + 69991. Is k a prime number?
True
Suppose -3*v = -0*v. Suppose v = -f + 442 + 1870. Let t = f + -1407. Is t composite?
True
Suppose -6*t + 2*t = w - 4007, w = -5*t + 5009. Is t*5*5/50 a prime number?
False
Is (0 - 3) + ((-49874)/(-11) - 2) a composite number?
True
Let q(g) = 229*g**2 - 8*g + 56. Is q(-7) a prime number?
False
Suppose 5*u - 4*k + 2*k - 20 = 0, 0 = -4*u + 5*k + 16. Suppose i = 2*i, 0 = u*p - 2*i - 2084. Is p a prime number?
True
Let h(a) = 149*a - 56. Is h(15) prime?
True
Suppose 8*g - 3*g + 5 = 0. Let l(d) = 47*d**2 - 3*d - 1. Let z(h) = 140*h**2 - 8*h - 3. Let t(p) = -8*l(p) + 3*z(p). Is t(g) prime?
True
Let l = 13771 - 9450. Is l a prime number?
False
Let i(w) = 9*w**2 - w**3 - 4*w**2 + w + 2 - 8 + w. Let b be i(5). Suppose 0 = l, -b*o = -0*l - 2*l - 1996. Is o a composite number?
False
Suppose 0 = m - 30 + 3. Let r = -29 + m. Is 15632/(-4)*r/8 a prime number?
True
Let t(z) = -2 - 2*z + z**2 + z**2 + 0*z**2. Let o be t(2). Suppose 5*d = o*d + 429. Is d composite?
True
Let o = 39 + -18. Let i = -19 + o. Suppose 4*p + 2170 + 1428 = i*d, 3*d + 5*p = 5408. Is d a composite number?
False
Let m(g) = 3*g**2 - 14*g. Let d be m(12). Suppose 2*w - d = 670. Is w a composite number?
False
Suppose 0 = 143*d - 139*d - 4. Let b(w) = 672*w**2 + 2*w - 1. Is b(d) a composite number?
False
Let d(v) = -2*v + 3*v + 2 - 4 - 2. Let o be d(4). Suppose o = -n + 2, -5*f - 2*n + 411 = -4*n. Is f a composite number?
False
Let w(v) = -11*v**3 + 20*v**2 + 9*v + 19. Is w(-13) composite?
False
Suppose 8*a - 9 = 7. Suppose -5*y - 3*m = -4029, 0 = a*y - 3*y + 3*m + 813. Is y composite?
True
Let y be ((-960)/36)/((-2)/(-120)). Let x = 1025 + y. Let l = 866 + x. Is l composite?
True
Let i(c) = 354*c**2 + 2*c. Let p be i(-2). Suppose -12*z = -16*z + p. Is z a composite number?
False
Suppose 0*h + 20193 = 3*h. Is h composite?
True
Let f(g) = -584*g - 9. Suppose -4*i + 2*i - 6 = 0, 0 = -4*t - 3*i - 25. Is f(t) prime?
False
Suppose -4*f = -2*z - 374, z = 3*f - 2*z - 279. Suppose 5*j = -5*k, -3*k - 6 = j - 16. Suppose -f - 163 = -2*v + 3*o, 0 = -k*v - 4*o + 631. Is v prime?
True
Suppose 4 = 5*t - 11, 3*o - 12 = -5*t. Let f = 5 + o. Suppose -1478 = f*k - 6*k. Is k a prime number?
True
Suppose -4*v + 50 = 5*m, 0*m = -3*m - 2*v + 28. Suppose -4 = -5*s + 1, 0 = 5*a + 4*s + m. Is a*(4 - 2097/6) composite?
False
Suppose 6*v = v - 20, -2*l + 3*v = -36. Suppose l = 4*m - 0. Suppose 0*o + 1533 = m*o. Is o composite?
True
Suppose -3*x + 6*x - 3*w = 6, 0 = -x - 2*w - 13. Let m(p) = 29*p**2 - p - 13. Is m(x) prime?
True
Let g = -908 - -1773. Is g prime?
False
Let z(c) = 1 + 16*c + 11*c - 6*c - 3. Is z(7) a prime number?
False
Suppose 4 = 3*a - 2*a. Suppose 3*d - 7 = a*r, r - 2*d = -8 - 0. Let l(s) = 2*s**2 + s + 1. Is l(r) composite?
False
Let n(z) = -3 - 7*z**2 + 2 + 3*z**3 - 6 - 6 - 2*z. Is n(6) prime?
False
Let y(b) = 364*b - 111. Is y(13) a prime number?
True
Suppose -2*i + 5 = -3, v - i - 17899 = 0. Is v a prime number?
True
Suppose -k = 2*k + k. Suppose k = 12*c - c - 8767. Is c composite?
False
Let g(z) = 2*z + 38. Let i be g(-18). Suppose i*w = -5*n + 4473, 5043 = 3*w + 4*n - 1663. Is w a prime number?
False
Suppose -2*z = -18 + 8. Is 2*538*z/20 prime?
True
Let b(u) = u**3 + 3*u**2 - 10*u - 3. Let t be b(-5). Let n(q) = -28*q**3 + 4*q**2 + 4*q + 7. Is n(t) prime?
True
Let j = 105 - -292. Is j composite?
False
Suppose k - 2*k + 3 = 0. Suppose k*r - 14350 = g, -3*r = -6*r - g + 14348. Is r prime?
True
Let l = 945 + -625. Suppose -l = -3*b + x, -x = -3*b + 7*b - 422. Is b composite?
True
Is (-60178)/3*255/(-34) a prime number?
False
Let c(r) = 9*r - r + 0 + 10*r + 21. Is c(12) a prime number?
False
Is -4*(4 - 63/12) + 608 a prime number?
True
Let f = 8119 + -2496. Is f a composite number?
False
Let y(d) = -10 - 4*d + d - d + 5*d. Let v be y(9). Is (-2 - v) + 1690/5 composite?
False
Suppose -5*a + 2862 = 5*o - 7753, 0 = -2*o + 2*a + 4258. Is o a composite number?
True
Let l be (6/(-9))/(8/(-156)). Suppose t + 5*a = l, 0*t - a = -4*t + 10. Suppose -2*h = -293 + t. Is h a composite number?
True
Let u(q) = -38*q**2 + 7*q - 4. Let v be u(4). Let l(o) = -10*o**3 - 2*o**2 + 2*o + 5. Let b be l(3). Let s = b - v. Is s a prime number?
True
Let y(i) = i**2 + 1. Let h be ((-40)/(-30))/((-4)/(-6)). Let p be y(h). Let f(g) = g**3 - 4*g**2 + 5*g + 5. Is f(p) prime?
False
Suppose 29*z - 24*z - 16255 = 0. Is z a prime number?
True
Suppose 4*t = -3*z + 35, -t + 0*t - 5*z + 13 = 0. Let x be (102/(-8))/(2/t). Let d = 128 + x. Is d composite?
True
Let f(d) = 2*d**2 + d + 1847. Suppose -9*g + 4*g + 10 = 0, -2*v - 2 = -g. Is f(v) prime?
True
Let o(a) = -a + 17. Suppose 0 = 5*j - 10 - 10. Suppose 0 = -2*n + j*n - 14. Is o(n) a composite number?
True
Let p(l) = 102*l**2 + 4*l + 7. Let a = 38 - 40. Is p(a) prime?
False
Let d(o) = o**2 - 13*o + 18. Let a be d(12). Is 3/(-2)*(-8 - 2644/a) composite?
False
Let l(t) = t**3 - 15*t**2 + 26*t + 2. Let p be l(13). Let k(r) = r**3 + r**2 - 4*r + 3. Let c be k(p). Is (c - 5) + -1 + 352 prime?
True
Let s(b) = -b**3 + 14*b**2 + 4*b - 19. Let x be s(14). Suppose -2*z + 49 + x = 0. Is z prime?
True
Suppose -4*p + 3*t = 129195 - 699734, 427926 = 3*p + 5*t. Is p composite?
True
Suppose 5*u - 7468 = -j, -3*j - 4*u - 14978 = -5*j. Is j prime?
False
Suppose 14*t = 19*t - 2155. Suppose 2*v - 1818 - t = -3*h, -v - 5*h = -1142. Is v prime?
True
Is (-82695)/(-185) - (0 + 0/1) a prime number?
False
Let b(p) = 165*p + 28. Let s be b(21). Suppose -7*u + s = -0*u. Is u a composite number?
False
Let k(q) = 2*q**2 - 1. Let v = 6 - 9. Let s be (20/6)/(2/v). Is k(s) composite?
True
Let m(i) = -15*i**2 + i - 1. Let j be m(1). Let h be (0 + -1)*75/j. Suppose 0*t + 2*t = -2*q + 60, -q - h*t + 10 = 0. Is q prime?
False
Let s(d) be the third derivative of d**5/60 + 2*d**4/3 + d**3/2 + 5*d**2. Let f be s(-15). Is ((-141)/f)/((-1)/(-4)) prime?
True
Suppose -i + 0 + 2 = 0. Is 2722*(i - 9/6) composite?
False
Suppose 2*t = 3*q - 7, 0*q - 2*q + 3*t - 2 = 0. Suppose 0 = -0*p + 3*p - 12. Suppose -4*y - q*x + 226 = 0, -4*y + 242 = x - p*x. Is y composite?
False
Let f(g) be the second derivative of 13*g**6/180 + 7*g**5/120 + g**4/4 + 4*g. Let r(o) be the third derivative of f(o). Is r(5) prime?
False
Let l(p) be the first derivative of 20*p**2 - p - 8. Let h be l(4). Let u = h - 110. Is u a prime number?
False
Suppose j = -0*l - 4*l - 29117, -21814 = 3*l - 4*j. Is (-1)/(18/l*2/6) a prime number?
True
Let m(f) = 135*f**2 - 3*f - 3. Let v be m(-2). Suppose -x + v = -424. Is x a composite number?
False
Is (-23213)/(-3) - 18/(-27)*2 composite?
True