= l*r - 10, t*r - 6 - 25 = -5*b. Is r prime?
False
Let n(p) = p**3 + 7*p**2 - p - 5. Let h be n(-7). Let z(o) be the second derivative of 3*o**3/2 - 3*o**2/2 + o. Is z(h) composite?
True
Let g = -37 + 126. Is g a prime number?
True
Is (-59)/(-2)*(0 + (-8)/(-4)) prime?
True
Suppose -6*h = -10296 - 1626. Is h prime?
True
Let t(n) = 1 + 6*n**2 - 2*n + n**2 - n**2. Is t(3) composite?
True
Let z(d) be the first derivative of -d**2/2 - d + 4. Let o be z(-3). Suppose o*m - 7*m = -805. Is m composite?
True
Is (10106/186)/(-1 + (-32)/(-30)) a prime number?
False
Let n(o) = 3*o - 4. Let r(x) = -x**2 - 6*x + 10. Let j be r(-7). Let y be n(j). Suppose 0 = y*b + 2*c - 149, 0*b + 19 = b + 4*c. Is b composite?
False
Suppose -5*o - 2 = -7, a - 43 = -2*o. Suppose p - 5*t = 45, a = -2*p - 4*t + 159. Is p a prime number?
False
Suppose 0*b + 618 = 3*b + 5*a, 3*b + a = 630. Is b a prime number?
True
Suppose 0 = -4*m + 3*m + 2861. Is m composite?
False
Let p(v) = v**3 + 7*v**2 - 8*v - 9. Let n be p(-6). Suppose n - 25 = 2*g. Is g composite?
True
Suppose -8 = -0*q + 2*q. Let g = q - -11. Is g composite?
False
Let g(c) = -c**2 - 12*c - 2. Let h be g(-12). Let s be 162 + -3 + (-4)/h. Suppose 137 = 2*n - s. Is n prime?
True
Let k = -13 - -4. Let c(m) = 9*m**2 - 5*m - 13. Is c(k) composite?
False
Suppose 4*x - 97 = k + 49, 0 = -5*x - 4*k + 193. Is x composite?
False
Suppose 2*j - 496 = 766. Is j prime?
True
Suppose 2107 = 5*i - 4*x, 3*x - x = -6. Is i prime?
True
Let a = -4 + 34. Suppose 0 = -l + s + 46, l + 3*s = -0*l + a. Suppose p - l = -p. Is p composite?
True
Let q(a) = 3*a**2 - 3*a + 0*a**2 + 10*a - 4*a**2 + 2. Let v be q(7). Suppose b - 3*b - v*x = -186, -x = 2*b - 182. Is b composite?
False
Suppose 0 = -4*y + 2*y - 6. Is -23*(y + (1 - -1)) a composite number?
False
Suppose -7*g + 1225 = -2*g. Suppose x - y + 2*y = 58, 0 = 5*x - 4*y - g. Is x composite?
False
Suppose b + 959 = 2*w + 2*b, 977 = 2*w - 5*b. Let c = w + -270. Is c prime?
True
Let c = -54 + 88. Is c composite?
True
Let i(s) = -18*s**2 + 2*s + 17*s**2 + 48*s**2 - s. Is i(-1) a composite number?
True
Suppose 0 = -2*n + 3*w - w + 8, -5*n = 4*w - 47. Let g(o) = o**3 - 4*o**2 + o - 5. Is g(n) composite?
False
Is 3181*5/10*2/1 a composite number?
False
Let c = -4 + 4. Suppose -t + p = 38, 2*p = -3*t - c*p - 124. Let u = -21 - t. Is u a composite number?
False
Let n be (10/8)/((-4)/(-16)). Suppose 2*r - 749 = 3*v, -2*r + 0*r + n*v = -751. Is r a prime number?
True
Let u(o) = -o**3 - 2*o**2 + 6*o + 2. Is u(-4) composite?
True
Let s = -35 - -132. Is s composite?
False
Let b(l) = -25*l**2 + 1. Let y be b(1). Let r = 46 + y. Suppose -r = -2*t - 4. Is t composite?
True
Suppose 23*c - 21*c = 818. Is c prime?
True
Let g be 6*(1/2 + 0). Suppose -g*d + 777 = -2*u, 2*d = -u - 74 - 332. Is (-2)/10 + u/(-5) a prime number?
True
Let v = 331 + -96. Is v a prime number?
False
Suppose -5*s = -151 - 154. Let z be s/7 + 2/7. Is (21/z)/((-2)/(-12)) a prime number?
False
Let q(g) = -26*g - 3. Let d be 2*-4 - 9/(-3). Is q(d) a prime number?
True
Let z = 6 + -9. Is 21*(0 - (z - -2)) a composite number?
True
Suppose -4*i = -5*y - 1145, -y = 4 + 1. Suppose 0*b = 4*l + 4*b - i, 72 = l + 3*b. Is l prime?
False
Let l = -8 + 17. Let t = 52 - l. Is t composite?
False
Let h(n) be the third derivative of n**5/60 - n**4/4 + 3*n**2. Let w be h(6). Suppose -3*a = -2*p - w*p - 561, -2*a + 4*p + 382 = 0. Is a a prime number?
False
Let s(w) = w**3 + 4*w - 3. Let l(g) = -2*g**3 - 5*g + 4. Let z(b) = 2*l(b) + 3*s(b). Let n be z(1). Suppose n*u - 9 = -u. Is u a composite number?
True
Let h(j) = j**2 - 3. Let n be (-39)/(-9) - (-2)/(-6). Let w(y) = -y**2 + 4*y - 5. Let v be w(n). Is h(v) a composite number?
True
Suppose -3*h = -2*h - 305. Suppose -f + h = -185. Suppose -c = -3*q - q + 387, -5*q + f = 5*c. Is q composite?
False
Let u = 4 - 2. Suppose 5*l + 45 = 2*f, -u*f + 2*l = -32 + 2. Is f composite?
True
Suppose -3*f = 2*f - 575. Is f a prime number?
False
Let g = -1915 + 8144. Is g composite?
False
Let f(y) = 74*y**3 - 5*y**2 - 5*y. Let k(h) = h**3 - h**2 - h. Let s(t) = f(t) - 5*k(t). Is s(1) a prime number?
False
Suppose 3*l = 5*l + 2*t - 318, -664 = -4*l + 3*t. Let n be (l/(-2))/1*2. Let j = 28 - n. Is j a prime number?
True
Let m(k) = -82*k - 7. Is m(-4) a composite number?
True
Let a be ((-2)/2)/(1/6). Let i(n) = -9*n + 1. Is i(a) a prime number?
False
Suppose 0 = -2*d + 7*d - 15. Suppose 0 = -d*o - 0*w - w + 775, -4*w + 1028 = 4*o. Is o a prime number?
False
Suppose 2*p - 2932 = 2110. Is p prime?
True
Suppose 0 = d + 3*d - 12. Let a(x) = -6*x + 13*x**2 - 4*x**2 + 5*x**3 + 1 - x**3 - d*x**3. Is a(-8) composite?
False
Let o(s) = -127*s + 46. Is o(-9) a composite number?
True
Let n = 8 - 6. Suppose -4 + 1 = -3*t + 3*v, -2*t - 2 = n*v. Suppose p + 3*p - 148 = t. Is p prime?
True
Is (-2 + 4)/((-2)/(-179)) a prime number?
True
Suppose -2*i + 10 = -0*i. Let n be i - (1 + -3 - -4). Suppose 4*x = -2*k + 22, -n*x + 11 + 10 = 3*k. Is k prime?
True
Let z = -2 + 5. Is 2/z - 314/(-6) prime?
True
Suppose -442 = -7*a + 5*a. Is a composite?
True
Let d(n) = n**3 - 8*n**2 + 8*n - 5. Let s be d(7). Is 347/5 + s/(-5) a composite number?
True
Suppose 7*b = -0*b + 44471. Is b composite?
False
Let m be (0 + -1)/((-15)/(-105)). Is (-30)/(-105) + (-1293)/m a prime number?
False
Suppose 2118 = q + q. Is 2/(-4 + 4242/q) a composite number?
False
Suppose -7*z - 1687 + 6398 = 0. Is z a composite number?
False
Let b be (-14)/(-35)*1*10. Suppose b*x = -x + 590. Let d = 221 - x. Is d prime?
True
Let b = -9 - -11. Suppose b*v - 24 = 222. Is v prime?
False
Let u(b) = b - 3. Let y be u(13). Let l = -7 + y. Is 246/(-4)*(-10)/l a composite number?
True
Let h(o) = o**2 - 4*o + 9. Is h(-10) a prime number?
True
Is 2 + -1 + 2 + 440 composite?
False
Let h(g) = -g**3 - g**2 - g. Let r be 48/(-18) - 4/(-6). Let c(j) = 90*j**3 - 4*j**2 - j. Let m(t) = r*h(t) + c(t). Is m(1) prime?
False
Let b = 273 - 107. Let u = b + -95. Suppose 65 = 3*w - 2*r - u, w = -5*r + 51. Is w composite?
True
Suppose -4*g + 3 = c, c = -c + g + 6. Suppose -c*p - 1920 = -5*u - 8*p, 0 = -u - 5*p + 404. Is u a prime number?
True
Let n = 15 - 11. Suppose -5*u + 10*u + 3*c = 0, -2*c = -u + 13. Suppose -u*h + 3 = -4*h, n*h = -4*f + 72. Is f a prime number?
False
Suppose a - 3*p - 10 = -p, -4*a - 3*p - 4 = 0. Is 69/2 + (-1)/a a prime number?
False
Let y be 1/(-3)*0 + -2. Let z be y/10 + 62/10. Suppose 2*s + 308 = z*s. Is s composite?
True
Let i = 20 - 39. Let m = -22 + 40. Let x = m - i. Is x composite?
False
Let t be ((-12)/8)/((-2)/4). Suppose -b + 2*m + 18 = 0, m - 70 = -t*b - m. Suppose -3*n = -b - 41. Is n prime?
False
Let m = -11 + 7. Let j be ((-4)/(-6))/(3/81). Let h = j + m. Is h prime?
False
Let o(q) be the first derivative of 4*q**3/3 - q**2/2 + 16*q + 5. Is o(-6) prime?
False
Suppose -3*a - 16 + 145 = 0. Let y be (-1)/(1/(-3))*-8. Let o = a + y. Is o prime?
True
Let w(m) = 18*m**3 + 2*m**2 + m. Let t be w(-1). Let x be (t/(-3))/((-3)/9). Let b = 26 + x. Is b prime?
False
Let y(o) = 5*o - 2. Let u be 3 + (-2 + 3)/1. Let v = 9 - u. Is y(v) a prime number?
True
Suppose -3*w - 96 = -f, -4*w + 2*f = -3*f + 128. Let i = 73 + w. Suppose 6*r = 5*s + 4*r - 77, -4*r + i = 3*s. Is s composite?
True
Let b = 472 + -53. Is b a composite number?
False
Suppose -4*s = 5*c - 39 + 105, -4*s - 38 = 3*c. Let k = -4 - c. Is k a prime number?
False
Suppose -h + 253 = 76. Is h a composite number?
True
Let v(b) = b. Let w be v(2). Is w/(-6) + (-1276)/(-12) a composite number?
True
Suppose -4*m = -s + 2*s - 9429, m = 3*s - 28339. Is s composite?
True
Suppose -1036 = -5*x + o, -38 = -5*x + 5*o + 982. Suppose -104 - x = -3*h. Suppose 167 = 3*u + 2*m, -2*u - 6*m + h = -m. Is u composite?
True
Suppose -6 - 9 = 5*w. Let j = w - 2. Let a(d) = -d**3 - 3*d**2 + 5*d - 6. Is a(j) prime?
True
Is 2/1 + (-7)/21*-1437 prime?
False
Let c = 270 + -92. Is c composite?
True
Suppose -2*w = -10187 + 979. Suppose -5*f + w + 3411 = 0. Is f a prime number?
False
Suppose -1035 - 950 = -5*u. Is u a prime number?
True
Suppose -3*y + 243 = 3*q - 4*q, -2*q = 5*y - 405. Let l = -2 + y. Is l prime?
True
Suppose 2*l = -5*u + 1007, l + 5*u - 502 = 2*u. Is l a composite number?
True
Let h(a) = 2*a - 1. Let c be h(2). Suppose -c*j + 3 = -2*z, 3*z - 15 = -j 