r a composite number?
True
Let q = 90 + -164. Let f = -148 - q. Is f/4*(-3 + 1) prime?
True
Is 327 - (4 + -4 - 4) a prime number?
True
Suppose 2*f = -2*n + 40, 0 = 3*n + 5*f - 19 - 37. Is n prime?
False
Suppose -t - 9 = -o, -o + 4*t + 11 = -2*o. Suppose 0 = -5*p - o*b + 121 + 109, 144 = 3*p - 3*b. Is p a prime number?
True
Let z = 9238 - 4535. Is z a composite number?
False
Let m(x) = -x**3 + x**2 + x + 129. Let a be m(0). Let n = a + -82. Is n a prime number?
True
Let q = -59 - -133. Suppose 2*n + 2*t - 36 = 0, 0*n - 3*n = -t - q. Is n a prime number?
True
Suppose -o + 2 = l + 9, -4*l = -4*o - 12. Let j = l - -4. Let z(q) = 35*q - 3. Is z(j) composite?
False
Suppose 634 = 3*x - x. Suppose 0 = -4*v - 2*u + 7*u + 667, 2*v + 3*u - x = 0. Is v a composite number?
False
Suppose 5*d - 5 = -5*o, 2*d - 7*d - 4 = 2*o. Suppose 3*g = -2*c, g = 5*c - o*c. Suppose c*h - 422 = -2*h. Is h composite?
False
Let m be 3 - (2 + 0)*-8. Suppose c = 2*c - m. Is c composite?
False
Is ((-5845)/(-10))/(1 - 2/4) a composite number?
True
Is 636 + ((-8)/(-2))/(-4) composite?
True
Suppose -5*m + 3*m = 4*c - 2446, c = 2*m + 604. Suppose -c = -h - h. Suppose 3*b + 18 - h = k, k = 4*b - 384. Is b a composite number?
False
Suppose 4*j = 3547 - 399. Is j a composite number?
False
Suppose -4*h + 248 = -296. Suppose -h = -4*k + 84. Is k composite?
True
Let c = 270 - 155. Let w = c - 69. Is w composite?
True
Let t be ((-366)/7)/(7/(-49)). Suppose q = -2*q + t. Is q a composite number?
True
Let z = -2 - -4. Suppose -i - i - z*w = 6, 13 = i - 3*w. Is (i*66)/2 - 0 a prime number?
False
Is (-1)/3 + (-1482)/(-18) a composite number?
True
Let q(o) = -o**3 + 15*o**2 - 5*o + 5. Is q(8) composite?
True
Let w be (-4)/(-10)*(3 + 2). Suppose 3*k = -a + 64, k + 122 = w*a + 5*k. Is a prime?
False
Suppose -4*k + 535 = -k - m, 0 = 3*k + 2*m - 523. Is k prime?
False
Suppose w - 47 = -w - p, -2*p + 70 = 3*w. Let z = 61 - w. Is z prime?
True
Suppose -5*z + 3*q + 7 = 7*q, 4*q = -8. Let c = z + 179. Suppose -k - k + c = 0. Is k composite?
True
Let i(g) = -g**2 + 8*g. Let k be i(8). Suppose 2*u - 4*w = 510, u = -k*u + 4*w + 245. Suppose 4*c = -0*c + 4*z + 372, -3*c = 4*z - u. Is c prime?
False
Let g be 5/(-3)*(-9)/3. Suppose 5*b - 27 - 33 = -g*r, 5*r + 36 = 3*b. Is (2 - 0)*186/b prime?
True
Suppose 10*v = 15*v - 1585. Is v a composite number?
False
Let l be -4*((-50)/8)/5. Let i be (2 + 3)*4/l. Suppose -i*u + 95 = -201. Is u a composite number?
True
Suppose -v = -5, 0 = 4*x - v - 3. Is 162 + (-3)/(-1) - x composite?
False
Suppose j + 4*j - 2*f = 6299, -j - 4*f = -1251. Is j a composite number?
False
Is (-446)/3*(-6)/4 composite?
False
Is 447 + (1 - 1 - -2)*-1 composite?
True
Let j = -6 + 10. Suppose -2*b + j*q - 10 = 0, -3*q = 4*b - 29 + 5. Suppose -2*v + c = -322, -5*c - 701 + 218 = -b*v. Is v composite?
True
Let b = 91 - 38. Is b a prime number?
True
Let w = 462 - 313. Is w a prime number?
True
Let y = 22 + -15. Suppose 8*l - y*l - 161 = 0. Is l composite?
True
Suppose -6*d + 615 = -3*d. Is d a composite number?
True
Suppose 3*c + 16 = 7*c. Suppose -2*d + 162 = -2*p, d + 18 - 109 = -c*p. Is d composite?
False
Let m(s) = -86*s + 17. Is m(-10) a composite number?
False
Let j(h) be the second derivative of -1/10*h**5 + 0 + 5/2*h**2 - h**3 - 2/3*h**4 - 2*h. Is j(-6) a composite number?
True
Suppose 3*z - 11 + 32 = v, 5*z + 4*v = -18. Let b = 10 + z. Suppose -b*i = -u - 55, -2*u + 0*u = -4*i + 50. Is i composite?
True
Let q(w) = 255*w**2 - 13*w - 1. Is q(-3) prime?
True
Let g(q) = -4*q - 2. Let k be (-6)/(-5)*10/4. Let p be (k/4)/((-2)/8). Is g(p) a composite number?
True
Let z = -1 + 3. Suppose z = -t, -3*t - 2*t = 2*s - 144. Is s prime?
False
Is 36/(-54)*3318/(-4) a composite number?
True
Suppose -5*b = x + x + 17, -13 = x + 4*b. Let d be x/(-1) + (6 - 4). Suppose -d*n + 284 = n. Is n prime?
True
Let c = -1 - -3. Suppose 0*q = -c*q + 10. Suppose -q*l + 6*z + 386 = 3*z, 0 = l + 2*z - 85. Is l composite?
False
Suppose -9*s + 4*s = 0. Suppose -2*o - 3*o + 3660 = s. Suppose -o - 171 = -3*a. Is a a prime number?
False
Let h(j) = -j**3 + 3*j**2 - 8*j - 7. Is h(-5) a composite number?
False
Let l(z) be the second derivative of -4*z**3 + z**2 - 4*z. Let r be l(-2). Let o = r - -27. Is o a prime number?
False
Let k = 80 + 123. Is k a composite number?
True
Let w(u) = -u**3 + 4*u**2 - 4*u - 1. Let v be w(3). Let x(c) = c. Let s be x(v). Is -1*2 + (45 - s) a prime number?
True
Suppose 0 = -p + 2*p + 5*s + 127, -4*p = 4*s + 460. Let u be (-1)/(-1)*(-2 + 199). Let j = u + p. Is j a composite number?
True
Let a = 107 - 63. Suppose -4*x + 92 = -0*x. Let r = a - x. Is r a composite number?
True
Suppose 13 = 2*c + l - 0*l, 26 = 5*c - 4*l. Suppose -3*b + 3 = -c. Suppose 0 = -5*n + b*q + 47, -q = 3*n - 31. Is n a prime number?
False
Suppose 3*w + 6 = 2*y - y, 3*w + 6 = 5*y. Let t(d) = -d**3 - 2*d**2 - 2*d - 2. Let s be t(-2). Suppose -z + s*z - 7 = y. Is z a composite number?
False
Let y be -3*8/2 + 2. Is (-206)/(-3) - y/30 composite?
True
Suppose -14 + 5 = -3*i. Suppose -10 = x - i*x. Suppose x*y - 23 = 47. Is y composite?
True
Let k(m) = 3*m**2 - 6*m + 2. Is k(9) a composite number?
False
Suppose -2*i + 37 + 81 = 0. Is i composite?
False
Let q(w) be the first derivative of -3*w**4/4 + w**3/3 - w**2/2 - w + 3. Let o be q(-1). Suppose 168 = o*g - 0*l + 5*l, 128 = 4*g - 5*l. Is g composite?
False
Suppose 3*s + 3*w = -18, 0 = 4*s + 3*w + 8 + 11. Is -3 - s - (-20 - 1) a prime number?
True
Let p(o) be the third derivative of o**5/60 + o**4/8 + 19*o**3/6 - 4*o**2. Is p(-13) composite?
False
Suppose m - 1255 = -3*d, 4*d - 1899 + 221 = m. Is d prime?
True
Let w = 2 - 4. Is 195/9 - w/(-3) prime?
False
Let p(q) = -459*q + 31. Is p(-6) a prime number?
False
Let k = 614 + -396. Is k prime?
False
Let b(l) = 5*l**2 - 13*l - 1. Let m(v) = -4*v**2 + 12*v + 2. Let i(z) = 5*b(z) + 6*m(z). Let k = -27 + 20. Is i(k) a composite number?
False
Let b be (21/3)/((-2)/(-2)). Suppose -42 = -w - b. Is w a composite number?
True
Let f = 6 + -2. Suppose -91 = -2*i + 11. Suppose f*m = -11 + i. Is m a composite number?
True
Let b(m) = 6 - 5 - 2*m + 4. Let p be b(5). Is -1 - (1 + 11*p) composite?
False
Suppose 3*o = o - 4*w + 486, -5*o + 3*w = -1267. Is o composite?
False
Let d = 11 - 8. Suppose 2*m - 79 = -h - d*m, h - 3*m = 95. Is h a composite number?
False
Let p(n) = n**2 + n + 1. Suppose 3*j + 4*m = -19, j + 4*m + 2 = -7. Is p(j) a prime number?
False
Let z be (-3 - -2)/1 - 2. Let v(u) = 12*u**2 - 10*u**2 - u + 5*u. Is v(z) prime?
False
Let d = 6063 - 4077. Let i be d/(-8) + (-4)/(-16). Let r = i + 471. Is r composite?
False
Suppose -3*y + 3141 = 2*p, y - 1048 = -0*y - p. Suppose 5*f = -0*f + 2*m + y, 2*m + 834 = 4*f. Is f composite?
False
Suppose -3*z + 0*z = 0. Is (-4)/12*-1257 - z composite?
False
Suppose -6*w + 15 = -3*w + 3*r, -w - 5*r + 5 = 0. Suppose -29 = -k - w*s, s = -2*k + 4*k - 36. Is 3*1/3*k a prime number?
True
Is 89/(-2)*(-1 - 1) prime?
True
Let o(v) = 3*v**2 - 4*v - 6. Let l(i) = -7*i**2 + 9*i + 12. Let r(f) = -4*l(f) - 9*o(f). Is r(5) a composite number?
False
Let g be (-5)/(3/24*-2). Suppose 5*r = -g, -5*s - 3*r + 8 = -0*r. Suppose 0*x - 221 = -s*a - x, 2*x = a - 53. Is a a composite number?
True
Suppose -27220 = -28*f + 8*f. Is f a prime number?
True
Suppose 0 = 2*q + 3*s - 213, -q + s = -2*q + 104. Suppose -5*c + b + 377 = 0, 5*b = 3*c - q - 114. Suppose 5*i - c = i. Is i composite?
False
Is (5877/12)/((-15)/(-100)) a prime number?
False
Let p be (0 - 2) + (4 - 1). Suppose -5*k = -4 - p. Suppose k = y - 18. Is y prime?
True
Let h be (-6)/12 + (-54)/4. Let d be (h + 4)*5/(-2). Suppose 4*w - 5*o - d = 0, -5*w - 2*o = -o - 53. Is w prime?
False
Suppose -103 = -5*o + 2. Is o prime?
False
Let z = 174 + -52. Suppose 0 = 4*n - z - 10. Suppose 5*s - n - 77 = 0. Is s a composite number?
True
Let u be (-2577)/(-21) - 2/(-7). Suppose -761 = -4*m + u. Is m a prime number?
False
Is -29*10*(4 + 36/(-8)) a composite number?
True
Let a be (-223)/2 - 1/2. Is (-6)/(-9) + a/(-12) composite?
True
Suppose 734 + 921 = 5*o. Is o composite?
False
Suppose 4*i - 3*l = 1531, 5*i + 5*l - 1870 = -0*i. Suppose -6*q + 1089 = -3*q - 3*h, i = q + 3*h. Is q composite?
False
Let y(q) = -7 + q**2 + 2 - 5*q + 2. Let g be y(6). Is (-1)/3 + 208/g a prime numbe