 2*a + 8 = -2*a, -117 = -f*p + 3*a. Is p composite?
False
Suppose -4*n + 5*j + 67 = -2*n, 5*n = -5*j + 80. Let m = n - -1. Is m a prime number?
False
Let w be (-2)/(-8) + 1455/4. Let m = w - 104. Suppose m = 3*x + x. Is x a prime number?
False
Suppose -3*u - 3*v + 3 = -2*v, u + 5*v = -13. Suppose -j - u = -6. Suppose h = -j*h + 185. Is h prime?
True
Suppose 0 = 2*m - 0*m. Let q(x) = -47*x + 3. Let s be q(2). Is -2 - (s + m)/1 composite?
False
Is (-6)/(-4)*(-4 - 1052/(-6)) prime?
True
Let x be (9 - 4) + (-4 - -1). Suppose -3*a + 23 = -i + x, 0 = a + 2*i. Is a a composite number?
True
Let x(g) = 208*g + 3. Is x(1) composite?
False
Let w(f) = -f**2 - 16*f + 10. Let j be w(-8). Let x = -19 + j. Is x prime?
False
Let w be 4 + (-4 - -4)/3. Is 1*(83 + w + -4) composite?
False
Let y = -5 - -7. Suppose 3*g + 10 = y*n, -2*g - 4*n = -28 + 8. Suppose g = 5*z + 3*h - 94 - 1, 2*z = 2*h + 38. Is z composite?
False
Let b = -8 - -9. Suppose -4*g = -3*o + 2, -g - o - 3 = b. Is 7/14 + (-133)/g composite?
False
Let n(g) = -103*g. Suppose 2*v - 9 = -c + 4*v, 0 = 3*c + 5*v + 28. Is n(c) a prime number?
True
Suppose -6*r + 19801 = -5381. Is r a composite number?
True
Suppose 38 = -2*r - 22. Let j = r + 65. Is j composite?
True
Suppose 0*s + 3*s - 15 = 0. Suppose -r = 0, 4*r - 1084 = -s*u + u. Is u prime?
True
Is (39/6 + -3)*2 a composite number?
False
Let z be (-8)/6*3/(-2). Suppose 0 = 4*l - 5*p - 749, -3*p - z*p = -2*l + 387. Is l prime?
True
Suppose -2 = h - 6. Suppose 2*c = h*v + 258, c - 3*v - 387 = -2*c. Is c composite?
True
Let q = -9 - -9. Suppose 79 = -q*h + h. Is h composite?
False
Let k(q) = -342*q - 1. Suppose -3*f + 9 = -3*b, b - 3*b = 8. Let t be k(f). Let h = t + -196. Is h composite?
True
Let h(m) = -5*m + 3. Let j be h(-7). Suppose 0*w = 4*z + w - 33, 0 = 4*z + 2*w - j. Suppose -t - 4*g + 347 = 0, z*g - 2*g = t - 311. Is t a composite number?
False
Suppose -3*i - 4*w + w = -159, -5*i = 3*w - 269. Suppose 4*j + 3*t - i = 0, -3*j + 8*j - 2*t = 40. Suppose 0 = 2*r + j, 0 = -3*c + 4*r + 62 + 36. Is c prime?
False
Suppose 5*g + 26 = 4*o, 5*o - o = g + 18. Suppose 2*s + 4 = w + 3*w, -3*w = o*s + 8. Is (-390)/(-18) - s/(-3) composite?
True
Let h(p) be the second derivative of -9*p**5/5 + p**4/12 + p**3/6 + p**2/2 + p. Is h(-1) prime?
True
Let r(i) = 3*i - 3. Let p be r(1). Suppose p*j = 5*j - 35. Is j a prime number?
True
Let v(l) = -l - 2. Suppose 0 = -4*s + s - 3*z - 9, -4*s - 5*z - 10 = 0. Let c be v(s). Suppose n + 54 = c*n + 2*h, 2*h = 10. Is n a composite number?
True
Suppose 4*w - 3242 = -0*p - 2*p, 0 = 4*w - p - 3233. Is w prime?
True
Suppose 2*h + 0*h = 24. Let x be 2*45 + (1 - -1). Suppose x + h = 4*i. Is i prime?
False
Let r(q) = 9*q**3 + 2*q**2 - 1. Let l be r(1). Suppose l = 3*x - 5. Suppose 0*b + 195 = x*b. Is b a composite number?
True
Let m be (-1)/(105/51 + -2). Let l be m/3 - (-3)/(-9). Is 5/15 - 148/l prime?
False
Let f(u) = u**2 - 4*u + 3. Let l be f(7). Let p = 2 - -5. Suppose l = -3*w + p*w. Is w prime?
False
Let g(x) = x**3 - 5*x**2 + 6*x + 5. Let q = -10 + 18. Suppose 7 = 3*j - q. Is g(j) a composite number?
True
Let w = 183 - -932. Is w composite?
True
Is (-6026)/(-18) - 34/(-153) a prime number?
False
Suppose 6*a - 879 = 3*a. Is a prime?
True
Let r be (-1482)/(-9) + (-3)/(-9). Suppose -3*z + 5*m + 121 = -10, 0 = -5*z - 5*m + r. Is z composite?
False
Suppose -4*v + 679 = 3*g, 1068 = 5*g - 3*v - 25. Suppose 3*y = -g + 704. Is y a prime number?
False
Let h(r) be the first derivative of -2*r**2 + 3*r + 4. Is h(-10) prime?
True
Let n(j) = 2*j - 1. Let z be n(-2). Let y be z/((-10)/12) + -1. Suppose v - 6*v - 43 = -x, 215 = y*x + 4*v. Is x composite?
False
Let g = 9 + -3. Suppose -2*a = -5*i + 93, -3*a - 155 = -4*i - 26. Is 3/((-9)/g) - a a composite number?
False
Let o = 15 - 7. Let l = 2 + o. Is l a composite number?
True
Let t = 4 + -1. Suppose 494 = t*b - 79. Is b prime?
True
Suppose -3*f + 41 = -163. Let r = 101 - f. Let c = 64 - r. Is c composite?
False
Let q(s) = s**3 - 4*s**2 + 6*s - 1 - 5 + s**2. Is q(4) composite?
True
Let n = 11 - 12. Let d = 25 + -18. Let w = n + d. Is w composite?
True
Suppose 4*t - 20 = 80. Is (-3 + t)/(0 + 1) prime?
False
Let q(a) = 2*a**2 - 27*a - 12. Is q(21) composite?
True
Suppose -3*i + 8*i - 4*g = 3054, -5*i = 5*g - 3090. Is i prime?
False
Let i be -15 + 2*(-6)/(-4). Let c be ((-16)/i)/(4/6). Is (101/c)/(1/14) composite?
True
Let g(q) = -q**3 + 12*q**2 - 11*q - 1. Let v be g(11). Let k(r) = 4*r**2 + 1. Let w be k(v). Suppose t - w*t + 492 = 0. Is t composite?
True
Let p(h) = -2*h + 71. Is p(0) prime?
True
Suppose 0 = 4*g + g - 25, 5*g - 333 = -4*o. Is o prime?
False
Suppose 188 - 6 = s. Suppose -4*i - v = -717 + s, 3*v = 2*i - 257. Is i/4 + (-1)/4 composite?
True
Suppose 0 = -11*g + 7*g + 280. Let a be -11 - (-2)/(-1) - -2. Let j = g + a. Is j a prime number?
True
Is 4/(4/3)*(-417)/(-9) a prime number?
True
Let a(r) = 38*r + 3. Let j be a(3). Let z be 1/5 + (-42)/(-15). Suppose j = -0*g + z*g. Is g composite?
True
Let v(c) be the second derivative of c**4/12 + c**3/6 + 65*c**2/2 - c. Let w(h) = -h**2 - 3*h - 2. Let o be w(-2). Is v(o) a prime number?
False
Suppose -x + 2*x - k - 133 = 0, 4*x - 532 = -3*k. Is x a composite number?
True
Let g be 19 - (6 + -3 + 0). Suppose 2*w - g - 206 = 0. Is w a composite number?
True
Let f be (-2)/11 - (-20)/(-11). Let n(r) = 2*r**2 + r - 2. Let c be n(f). Suppose 0 = b + 2*k - 10 - 31, -c*b - 3*k + 149 = 0. Is b a prime number?
False
Suppose 2*z + 5 = -1. Let q be -3*(z + 1 + -1). Suppose q*m - 4*m = 295. Is m a composite number?
False
Suppose 0 = -n + 5, 3*s + 5*n - 32 = 4*n. Let p = s - -17. Is p a prime number?
False
Let v = -292 - -206. Let k = v - -177. Is k a prime number?
False
Let z(t) be the second derivative of -t**3/6 + 5*t**2 - 2*t. Let l be z(5). Suppose -2*u + 3*u = 5*f + 56, l*u + 4*f - 135 = 0. Is u prime?
True
Suppose -2*s = -0*s - 6. Suppose -7 = -0*p + 2*p - s*k, 5*k = -2*p + 33. Suppose -n - p*n + 35 = 0. Is n a prime number?
True
Let b = 11 - 18. Is (-2)/(-6)*(-399)/b composite?
False
Let t(s) = -8*s + 4*s + 3*s - 1. Let q(d) = -24*d - 7. Let o(m) = q(m) - 6*t(m). Is o(-5) a prime number?
True
Suppose i - 651 = -4*v - 267, -5*i + 368 = 4*v. Is v a prime number?
True
Let t(q) = -q**3 + 4*q**2 - 4*q + 6. Let g be t(5). Let i be 1/(-1 + (-63)/(-64)). Let w = g - i. Is w a prime number?
False
Suppose 3*u = -2*d + u + 82, 3*u = d - 25. Is d prime?
True
Suppose 177 = 5*x - 2*x. Is x prime?
True
Is (-2388)/(-18) + 2/6 prime?
False
Suppose -7*k = -2*k - m - 12, 4*m = -4*k. Suppose 1 = j - 1, k*v - 5*j + 8 = 0. Is (178/(-4))/(v/(-2)) composite?
False
Suppose 2*s + 4*t - t - 14 = 0, -s - 2*t = -8. Let z(m) = -m**3 + 4*m**2 + 5*m - 5. Is z(s) a composite number?
True
Let s be 1761/9 + 3/9. Suppose 5*k - k - s = 0. Is k prime?
False
Suppose 844 = -2*o + 6*o. Is o composite?
False
Suppose 5*d + 20 - 45 = 0. Suppose 2*o + o - d*a = 671, 0 = 5*o - 4*a - 1101. Is o prime?
False
Let a(d) be the second derivative of -d**3/2 - 9*d**2/2 + d. Let p be -1*(0 - (-8)/1). Is a(p) a prime number?
False
Let m = 1946 - 1180. Suppose 0 = 3*l + 19 - m. Is l composite?
True
Suppose -2*x + 4*k = -x + 3, -5*k - 26 = 3*x. Let l(r) = -6*r**2 - 4*r**3 - 2*r**3 + 4*r + 5*r**3. Is l(x) composite?
True
Suppose 2*d + 4431 = -d. Is (0 + 1)/((-7)/d) prime?
True
Let j(t) = t**2 - 7*t + 8. Let f be j(6). Suppose -3*r - f*y + 171 = y, -r - 5*y = -49. Is r a composite number?
False
Let i = 4 + 2. Suppose -y - 2*c + 408 = 0, 1617 = y + 3*y + 5*c. Is y/i + 8/12 a composite number?
False
Suppose -97 = 5*z - 302. Suppose -m = 2*s - 16, 0*s = 3*m - s - z. Is m a prime number?
False
Let g = 41 - 27. Suppose g = m - 25. Is m prime?
False
Let i(q) = q**2 - 10*q - 8. Is i(-9) a composite number?
False
Let w(v) = v**3 - 4*v**2 - 5*v + 5. Let z be w(5). Let i = z - 6. Is 59/(5 + i + -3) prime?
True
Suppose -8390 = -8*w - 2*w. Is w a prime number?
True
Suppose 0*t + 1744 = 4*t. Suppose k - t = -k + 2*v, 3*k + 5*v = 694. Is k a prime number?
True
Let g = 141 + 122. Is g composite?
False
Suppose -2*b - 3*k = -8, 2*k - 20 = -b - 4*b. Suppose 4*q = 5*o - 401, 2*q = 3*q + b. Is o prime?
False
Suppose 0*v - 3*v = 6, -g + 3*v = -8. Let h be 2/6 - (-6)/9. Let z = h + g. Is z a composite number?
False
Su