+ 0*r + c = 0. Is r composite?
False
Let x(k) = 2*k - 4. Let g be x(4). Suppose -t + 3*l - g + 8 = 0, t = -4*l + 11. Suppose -3*u = -t*u + 172. Is u a composite number?
False
Let v = 5 + -3. Let t(a) = -10*a**3 + 2*a**2 - 4*a + 1. Let i(l) = -9*l**3 + 2*l**2 - 5*l. Let y(o) = v*i(o) - 3*t(o). Is y(2) prime?
True
Let l be (-15)/(-10) + (-1553)/(-2). Suppose -a + 3*d = -152, 2*a - 7*a + l = 3*d. Is a a prime number?
False
Let f(s) = -6*s - 5. Is f(-6) prime?
True
Let z(k) = k + 97. Is z(0) composite?
False
Is (-62)/(3 + (-35)/11) prime?
False
Let g be (-1)/((-31)/10 - -3). Suppose -6*p = -g*p - 12. Is (-3)/(p/(-61))*-2 a prime number?
False
Let t(m) = -14*m**3 - 2*m**2 + 2*m - 1. Let z be t(1). Let j = -115 - -169. Let s = j + z. Is s prime?
False
Let k be -2 + 3/2*2. Let x be (21/(-6)*-2)/k. Is 438/14 + (-2)/x composite?
False
Let w = 301 + -140. Is w prime?
False
Let i be (-140)/21*3/(-2). Is 14/35 + 216/i a prime number?
False
Suppose 0 = -3*g - 2*g + 290. Is g prime?
False
Let j = 49 - 27. Is j a prime number?
False
Let o(g) = -205*g**3 - g**2 + g - 4. Let v(k) = 410*k**3 + 2*k**2 - 3*k + 9. Let l(j) = 7*o(j) + 3*v(j). Is l(-1) a composite number?
True
Suppose -5*a - 12 = 8, 3*a = 5*l - 16117. Suppose -4*g = -5*s + l, s - 676 = 2*g - 27. Is s prime?
True
Let c(b) = 10*b**2 - 7. Is c(6) composite?
False
Let f(d) = d**3 + 30*d**2 + 28*d + 22. Is f(-21) a composite number?
True
Let j(r) = -171*r**3 + 3*r**2 + r - 4. Is j(-3) composite?
False
Suppose -5*k = -11 - 104. Let z = k + 26. Is z composite?
True
Let t(f) = -3*f. Suppose -7*j + 2*j - 5 = 0. Let d be t(j). Suppose 0 = -5*s - 2*y + 711, 2*y = -d*y + 15. Is s composite?
True
Suppose -8*z + 9 = -5*z. Suppose z*f - 179 - 178 = 0. Is f a composite number?
True
Suppose -21*i + 18*i = -1029. Let h = i + -106. Is h prime?
False
Let p = 13211 + -5218. Is p a prime number?
True
Is 142/14 + (-8)/56 a prime number?
False
Suppose -10 = -4*l - 2. Suppose 0 = r + 5*p + 139, -r = l*r - 5*p + 457. Let m = -72 - r. Is m composite?
True
Let a(v) = -v**3 + 127. Is a(0) composite?
False
Let t(j) = -j**3 - 4*j**2 + 2*j + 2*j**3 + 2 + 1 + 0*j. Is t(4) a prime number?
True
Let s = 12 + 120. Suppose s = h + 2*h. Is h/6 - 1/3 prime?
True
Suppose -4*q - 3524 = 5*m - 334, 3*q = -3*m - 2394. Let p = q + 1237. Is p prime?
False
Suppose -6*m = -5*m - 207. Let p = m + -38. Is p prime?
False
Let u(s) = 9*s**2 - 4*s - 2. Suppose 28 = 4*j + d, 11 = 4*j + 3*d - 9. Let i = -11 + j. Is u(i) a prime number?
False
Let d(w) be the second derivative of w**3/6 - w**2 + w. Let r be d(6). Suppose 149 = r*k - 63. Is k a prime number?
True
Let h(f) = 13*f + 1754. Is h(0) a prime number?
False
Is 1842 + -1 + (4 - 4) a prime number?
False
Is 1/((-9267)/(-13887) + 6/(-9)) a prime number?
True
Let z = 271 - 150. Is z composite?
True
Let s(j) = 32*j + 6. Let m be s(6). Let c = m + -130. Suppose -4*u + 32 + c = 0. Is u a prime number?
False
Let n(b) = 42*b - 7. Is n(5) a composite number?
True
Let g be (76/10)/((-3)/(-45)). Let h = g - 63. Is h a composite number?
True
Let i = 2402 + -1341. Is i a composite number?
False
Suppose -z + 955 = 4*z. Is z composite?
False
Suppose -4*t + 802 + 378 = 0. Is t composite?
True
Let m = 183 + -114. Is m prime?
False
Suppose -2*m = -9 - 11. Let r be (-4)/m + 1246/(-35). Let o = r + 121. Is o a composite number?
True
Let y = 1756 - 642. Is y a composite number?
True
Suppose 5*s + 9 = 4*j - 9, j - 6 = 2*s. Is 28/j*22/4 composite?
True
Suppose k + 3*k + 8 = 0. Let t be 95/k - 3/(-2). Let o = t - -81. Is o a prime number?
False
Suppose 3*s + 110 = 3*a + 2*a, a - 2*s - 29 = 0. Is a composite?
False
Let v = 41 - -55. Suppose -99 = -3*i + v. Is i composite?
True
Let j(u) = u**3 - 12*u**2 + u + 12. Suppose -3*t + 36 = -0*t. Let l be j(t). Suppose 113 = d + l. Is d a composite number?
False
Let p be (0 - -3)*(-8)/6. Let t be 2 - (p - 0) - 2. Suppose -3*a = 15, -a = d - t*d + 68. Is d a prime number?
False
Let p = 792 + -559. Is p a composite number?
False
Let c = -303 - -620. Is c prime?
True
Suppose -3*g = -3*o + 14 - 473, 158 = g + 4*o. Let a = -5 + g. Is a composite?
False
Let h(g) = 6*g**3 - 2*g**2 + 1. Let q be h(1). Suppose -52 = -2*w - q*t + 75, -5*t = -2*w + 157. Is w prime?
True
Is ((-3)/(-6))/((-3)/(-2958)) a composite number?
True
Let v be 4/(-2) - 0/(-4). Let h(c) = 2*c**2 + 2*c. Let b be h(v). Suppose b = -3*l + 73. Is l a composite number?
False
Suppose 4*j + 81 = -3*o, -2*o + 18 = -4*j - 68. Is (-3)/((-1)/(j/(-9))) prime?
True
Let o(u) = 18*u**3 + 7*u**2 - 3. Let y(p) = 6*p**3 + 2*p**2 - 1. Let b(w) = 4*o(w) - 14*y(w). Let x be b(-2). Let r = -65 + x. Is r a composite number?
True
Suppose 3*o + 0*i - 775 = 4*i, 5*i + 1033 = 4*o. Is o a composite number?
False
Let q = -27 + 37. Is q prime?
False
Let r(g) be the third derivative of -5*g**4/24 + 2*g**3/3 - g**2. Let a be 5/1*36/(-60). Is r(a) composite?
False
Let h = 1116 - 425. Is h composite?
False
Suppose a - 5 - 14 = 2*n, 0 = 3*a - 2*n - 37. Suppose w - 10 = 2*r, 24 - a = -3*w - 3*r. Suppose w = -p - g + 124, 4*p - 3*g - 475 = -0*p. Is p composite?
True
Let i(s) = 5*s + 43. Let h(w) = w. Let o(j) = -6*h(j) + i(j). Is o(0) a composite number?
False
Suppose 4*z = 3*z + 142. Suppose -174 = -2*q - j, -5*j + z - 37 = q. Is q composite?
True
Is 20/30 + 1982/6 composite?
False
Let s(q) = 1. Let a(t) = -12*t + 6. Let y(v) = a(v) - 5*s(v). Is y(-3) a composite number?
False
Is (-145)/20*212*-1 a prime number?
False
Let w(q) = -48*q - 1. Suppose 4*t = 7*t. Let b = -2 + t. Is w(b) prime?
False
Suppose 11*p = 21*p - 2530. Is p a composite number?
True
Let t(z) = 4*z**3 - 3*z**2 - z + 2. Let b be t(6). Let l = b - 447. Is l prime?
False
Let m(i) = -i - 15. Let n be m(-9). Is n/(-30) - (-768)/10 prime?
False
Let l = 32 + 137. Is l prime?
False
Let k(o) = 1. Let x(b) = -b**2 + 18*b - 1. Let t(w) = 3*k(w) - x(w). Let i(q) = -q**2 + 17*q - 3. Let m(n) = 6*i(n) + 5*t(n). Is m(8) a composite number?
True
Let m(v) = 3*v - 1. Let t be m(7). Is (-1272)/(-10) - 4/t a prime number?
True
Suppose -4*r = r - 10. Suppose -4*l + 399 = -3*v - 4, 4*l - 378 = -r*v. Is l a composite number?
False
Let w = -6 + 8. Suppose -5*f = -2*f + 4*h - 17, -f = w*h - 7. Is f prime?
True
Let m(x) = -x**3 - x**2 + 2*x. Let a be m(3). Let w be ((-4)/8)/(1/a). Is (-10)/w - (-94)/6 a composite number?
True
Suppose 2*c - 11 = -5*i, -3*c = -3*i + c + 17. Suppose n + i*p = 23, 4*n - 86 = -p + 6. Is n composite?
False
Let x = -52 + 29. Let t = 45 + x. Is t composite?
True
Suppose 0 = h + 3*a - 4169, -3*a - 16728 = -4*h - 2*a. Is h a composite number?
True
Suppose 5*s + 3*l - 1270 = -315, -s = -4*l - 191. Is s prime?
True
Suppose -3*x + 197 + 142 = 0. Is x a prime number?
True
Suppose -2*a - 5*t + 2257 = 0, -a + 601 = -4*t - 560. Is a prime?
False
Let a(f) = -24*f - 1. Let s(k) = k**3 + 16*k**2 + 17*k + 22. Let c be s(-15). Is a(c) a composite number?
False
Let g = -7 - -404. Is g a composite number?
False
Suppose 1364 = 5*w - w - 2*o, -3*w - 5*o = -1023. Is w a composite number?
True
Let n be -1*(-6)/(-3)*-1. Suppose 0 = n*r + 5*l - 94, 0*r - l - 232 = -4*r. Is r prime?
False
Let g(r) = -8*r + 7. Let v(l) = -4*l + 3. Let h(c) = -2*g(c) + 5*v(c). Let d be h(-3). Let u = d - 2. Is u prime?
True
Suppose -7612 = -4*q + 4864. Is q prime?
True
Suppose k + k - 10 = 0, 3*b + 3*k = 618. Suppose g = -0*g + b. Is g a composite number?
True
Suppose 2*b = -2*r + 34, -4*r - 39 = 3*b - 108. Let u = r + 4. Is u a composite number?
True
Suppose 4*b = -b + 2*t + 182, 2*b = -5*t + 67. Let o be (4/(-3))/(((-15)/9)/5). Suppose 0*u - 18 = -2*v - 5*u, 0 = 2*v - o*u - b. Is v composite?
True
Is 6/(-12) - 598/(-4) a composite number?
False
Let n(d) be the first derivative of -2 - 1/2*d**2 + 82*d. Is n(0) a composite number?
True
Let w(j) = 44*j**2 + j + 12. Is w(5) a composite number?
False
Let k = 217 - 144. Suppose 101 + k = 2*b. Is b a prime number?
False
Suppose 0*r + 2*r = 0. Suppose 3*o + o - 16 = r. Let i = o - -3. Is i a composite number?
False
Suppose 2*v + y - 254 = 0, 67 - 575 = -4*v - 3*y. Is v a prime number?
True
Let b = 888 - 149. Is b a composite number?
False
Suppose 6 = -2*t, 18 = 3*k - 5*t + 2*t. Suppose k - 2 = 3*n - g, -5*n - 5*g = -35. Let a = n + 75. Is a a prime number?
False
Let z(k) = k**2 - 2*k