 + 12 = 32. Is i - (1 + 0/3) composite?
True
Suppose 476 = 2*r + 4*f + f, -3*f = 2*r - 468. Suppose 0 = -2*h + 810 + 578. Suppose -s = -y - 2*s + r, s - h = -3*y. Is y prime?
True
Is (-6462)/9*(-1)/2 prime?
True
Let x be ((-5)/((-10)/6))/(-1). Let f be (x/(-4))/(6/336). Is (6 - 1)*f/15 composite?
True
Let k(s) = 21*s**2 - 6*s + 10. Let u be k(9). Suppose 5*m - u = 2*o, 2*m = -0*o + 5*o + 667. Is m a composite number?
False
Suppose -2*t - 273 = -3*r, 4*r - 287 = 2*t + 75. Is r prime?
True
Let n(s) = 59*s**2 - 4*s - 11. Let j be n(5). Let u = j + -857. Is u a prime number?
True
Suppose -2*n + 2 = 0, -2*n - 4601 = -5*x + 2*n. Is x prime?
False
Is (-4)/(-6) + 500/15 prime?
False
Suppose 2*p - 6 = 5*l, -3*p - l + 9 = 3*l. Suppose -p*t = -3*v - 891, 5*t + 373 = -3*v + 1826. Is t a prime number?
True
Let j(k) = -167*k - 10. Is j(-3) prime?
True
Suppose 0*a + a = 5*n - 8, 4*n - 5*a = 19. Suppose 4*d + 7 = 239. Let l = n + d. Is l a composite number?
False
Suppose -b - 213 = -4*j, -j + 2*b + 39 = -16. Is j a prime number?
True
Is (4 - 0)*-1 + 1155 prime?
True
Let v(m) = -43*m + 4. Is v(-9) a composite number?
True
Let a(z) be the third derivative of -z**6/360 - z**5/10 - 13*z**4/24 - z**3/2 - 2*z**2. Let l(h) be the first derivative of a(h). Is l(-9) a composite number?
True
Suppose -2*m + 14 = 2*m - 5*v, 3*m - 2*v - 7 = 0. Let y be (0 - 1) + (-54)/(-2). Is 1/2*m*y a composite number?
False
Is 1258 - (0 - (0 - -1)) a composite number?
False
Let u = 308 - 87. Is u a composite number?
True
Let w = -6 + 8. Suppose -91 = 4*a - c, -3*c = -2*a + w*c - 41. Let l = 30 - a. Is l a composite number?
False
Suppose -2*f - 5*q - 4 = 0, 0 - 2 = 2*f + 4*q. Suppose 22 = f*h - 11. Is h prime?
True
Let w(v) be the first derivative of -v**4/4 - 5*v**3/3 + 7*v**2/2 + 6*v + 2. Let l(m) = -m - 1. Let d be l(6). Is w(d) composite?
True
Let a = -848 - -2101. Is a prime?
False
Let y = 186 - -145. Is y composite?
False
Suppose s + 0*s = 0. Suppose -j + 79 - 12 = s. Is j composite?
False
Is 502/(5 + -4 + 1) prime?
True
Let r = -54 - -77. Suppose 6 = 2*w, r = -0*c + 4*c + 5*w. Suppose f + 12 = -2*f, -c*h - 4*f + 14 = 0. Is h a composite number?
True
Let j = -15 - -72. Suppose -j = g - 142. Is g a prime number?
False
Suppose u = 4*d + 9, d - 5 = -2*u + 4. Suppose 4*j = -x - j + 387, -x = -u*j - 367. Is x a composite number?
True
Suppose 5*w + 4*b = 429, -b - 453 = -5*w + b. Is w prime?
True
Is (-213)/(-6)*2 - 2 composite?
True
Let m be (-7 - -2)/(1*-1). Suppose -m*p - 15 + 125 = 0. Is p composite?
True
Let n be (-334)/7 + 6/(-21). Let h = n + 339. Is h a prime number?
False
Let q be 1 + ((-8)/(-2))/4. Is (-662)/4*(q - 4) a prime number?
True
Let p = 9 + 70. Is p prime?
True
Let i be -3*(-5)/((-15)/58). Let c = 58 - i. Suppose -5*n + c = 2*t, -n + 2*n + 51 = t. Is t a prime number?
True
Let l be 2/3*(-1356)/8. Is 0 + 2/((-2)/l) prime?
True
Suppose -2*i + 753 + 305 = 0. Let k = -330 + i. Is k prime?
True
Suppose -2*d = d - 15. Suppose d*m - 9 = 71. Let o = m + 3. Is o a composite number?
False
Suppose x - 5 = -3*k + 6*k, 71 = 4*x + 5*k. Let q be 74/x + (-2)/7. Suppose -3*w + 5*l + 46 = 0, q*w - 2*l + 13 = 115. Is w a composite number?
True
Suppose -3*d + 67 = -74. Suppose 17 = 5*a - 3*y + 167, -a + 4*y - d = 0. Is (a/(-6) - 2)*14 composite?
True
Let a = -39 + 118. Is a a prime number?
True
Suppose -20 = -q - 3*q. Suppose 0 = -3*u + 4*c - 14, -3*u - 4 = -q*c + 12. Let i(r) = -2*r**3 - 2*r**2 - 2*r - 2. Is i(u) prime?
False
Let g = -177 - -559. Is g composite?
True
Suppose -3*h + 27 = 5*v - 5, 16 = -v + 5*h. Suppose 3*j = 5*y - 4, -4 = 2*y - 0*j - v*j. Suppose -84 = -y*w + 5*m, 2 = -4*m - 6. Is w a prime number?
True
Let p be (-6)/8 + 11/4. Is 12 - (-3)/(p - -1) prime?
True
Let x(u) = 4*u**3 - 6 - 21*u**3 + 7. Let d be x(1). Let n = 41 - d. Is n prime?
False
Let x(t) = -t**3 + 18*t**2 - 15*t + 23. Is x(16) prime?
False
Let l be (2/6)/((-2)/(-24)). Let p = -2 - -4. Suppose k + r = 53, -l*k + p*r = -r - 226. Is k prime?
False
Let s = 7 + -5. Suppose -2*f = -7*f - 25, -f = s*p - 129. Is p composite?
False
Suppose -2*o = w - 3*o - 9, 0 = 2*w + 4*o + 12. Suppose -8*y = -w*y - 136. Suppose 0 = -2*k - 2*h + y, -2*k - 3*k + 5*h + 125 = 0. Is k a composite number?
True
Let a = -4 - -2. Suppose -11 = 3*r + 2*r + 2*m, 5*m = -15. Is 13 + a + 4 + r composite?
True
Let m be (-4)/(-2) + 166 + 2. Suppose -b - 4*y + m + 3 = 0, -2*y = -4*b + 746. Is b a composite number?
True
Let z(l) = l + 21. Let f(g) = -g**2 - 10*g. Let d be f(-10). Is z(d) composite?
True
Let l be (-108)/2 + (2 - 1). Is 2 - (l + -2 + 2) composite?
True
Let l(a) be the first derivative of 7 + 0*a + a - 3 + 26*a**2 + 6*a. Is l(6) a composite number?
True
Let l be (-86)/(-4) - 7/14. Suppose 2*g = q + g, 2*q - l = -5*g. Suppose h - 37 = -q*s, 0*h = 2*s - 3*h - 32. Is s a prime number?
True
Let f be ((-4)/(-6))/(2/18). Suppose 0 = -c + f*c. Let o = c - -87. Is o composite?
True
Let g(u) = 2*u**2 - 10*u - u + 0*u. Let r be g(10). Let q = -39 + r. Is q composite?
True
Let t = 5872 - 3093. Is t a composite number?
True
Suppose 4*b = 5*k + 10654, 0 = 8*b - 13*b - 5*k + 13295. Is b composite?
True
Let h(n) = -117*n**3 + 26*n**2 - 11*n + 9. Let y(m) = 39*m**3 - 9*m**2 + 4*m - 3. Let r(d) = 6*h(d) + 17*y(d). Is r(-2) a composite number?
True
Let u = 8 - 4. Suppose -4*h - 4*d + 232 = 0, -u*d = -2*h + d + 81. Is h prime?
True
Suppose 4*o + 27 - 119 = -5*y, -y + 24 = -2*o. Is (764/y)/((-2)/(-10)) a prime number?
True
Suppose t = 5 - 3. Let l = t + 15. Let k = l - -14. Is k a composite number?
False
Let h(p) be the first derivative of -3*p**4/4 - 2*p**3 - 5*p**2/2 - p + 2. Is h(-4) a composite number?
True
Let t = 220 + 733. Is t a prime number?
True
Let z(n) = -2*n + 521. Let g be z(0). Is g/4 - 30/(-40) a composite number?
False
Let x(k) be the third derivative of -83*k**4/24 - 2*k**3/3 - 4*k**2. Let a(i) = -1659*i - 79. Let v(g) = -4*a(g) + 79*x(g). Is v(1) prime?
True
Is (-3734)/(-8) + 2/8 a composite number?
False
Let z be (-6)/(-1) - 0 - -2. Let i = z + 3. Let k = i - -3. Is k composite?
True
Let h be 4/4*-1*3. Is (-74)/h*(-6)/(-4) prime?
True
Let a = -97 + 25. Let s = -41 - a. Is s composite?
False
Suppose 73 = 4*h + 5*f, -3*h - 2*f - 50 = -8*h. Suppose 15*d = 17*d - h. Is d prime?
False
Let p = 0 + 3. Suppose -5*k = -p*k - 76. Is k a composite number?
True
Let f(w) be the second derivative of 0 - 2*w + 2*w**2 + 5/6*w**4 + 5/6*w**3. Is f(-3) prime?
True
Let d = 2 - -3. Suppose -2*u = -4*y - 38, -2*u = -d*y - 0*y - 37. Is u a prime number?
False
Suppose 2*o + 18 = -3*j + 4, -16 = 3*j + o. Let i be ((-117)/(-6))/(3/j). Is i/2*(-6)/9 a prime number?
True
Let a = -9 - -17. Suppose 2*h - a = -2*x, 3*x = 2*h + 3*h - 12. Let r(v) = 36*v**2 - 1. Is r(x) a prime number?
False
Let h = 19 - 33. Let x be 4/18 - h/18. Is 41 - (-1 - x - 0) a composite number?
False
Let i = 261 + -142. Is i prime?
False
Let h = -44 + 123. Is h a prime number?
True
Suppose 3*n - 5*f = 23, -2*f = -4*n - 3*f. Suppose -5*a + 129 = -516. Is (6/18)/(n/a) a prime number?
True
Let s = 2 - -4. Let c = 91 - s. Is c composite?
True
Let u(a) = 22*a**2 - 18*a - 17. Is u(-8) composite?
True
Suppose 0*t = -5*t. Let h = t + 3. Is 19 - ((-6)/h + 0) a prime number?
False
Let m(v) = -v**2 + 5*v + 3. Let l(w) = -3*w**2 + 14*w + 10. Let i(g) = -4*l(g) + 11*m(g). Is i(-5) prime?
True
Let t(y) = 462*y. Let q be t(-5). Is (-1)/(-3) - q/9 prime?
True
Suppose 5*s = 4*t + 48, -t - 6 = -s + 3. Suppose -2*q + 4*j = -s, -2*q + 7*q + j + 25 = 0. Is (-28)/(-3) + q/(-6) a prime number?
False
Let q = -5 - -11. Suppose 4*z - 83 = -927. Is q/(-33) + z/(-11) a prime number?
True
Suppose 13 = 2*f + 1. Suppose -210 = -3*g + f*g. Is (4/(-8))/(1/g) a prime number?
False
Suppose 4*g + 2*o + 2*o = -4, g - 5*o + 1 = 0. Let d be (-1)/g*0/(-4). Suppose d = t + 2*t - 273. Is t composite?
True
Let q be 121/(-2) - (-12)/(-8). Let r be 2/6 - q/(-6). Is (-8)/20 + (-194)/r prime?
True
Is (26/8)/(1/68) a prime number?
False
Suppose 4*x + 8 = -16. Is (-212)/(-6)*x/(-4) composite?
False
Let j(b) = -b**3 + 5*b**2 - 3*b + 3. Let q be j(3). Let t be 2*-15*(-116)/q. Suppose t = 4*s + s. Is s a composite number?
True
Let z be (-3)/6*-5*2. Let d = -7 - -11. Is (-30)/z*(-34)/d a prime number?
False
Suppose 5*g + b + 9 = 0, 4*b 