+ 0*j = 48. Suppose h = 4*x + v + 2*v, 5*v - 34 = -4*x. Suppose -699 = -x*f + 3*f. Is f prime?
True
Let o = -3 - -3. Suppose o = -3*f + 8*f - 235. Is f composite?
False
Let l(x) = -x + 10. Suppose -2*i = 10, -3*h + 3*i = -10 - 5. Let n be l(h). Is 5/n - (-69)/2 a composite number?
True
Let u(k) = 18*k**3 + 10*k**2 - 12*k - 11. Is u(5) composite?
True
Let r(l) = 2*l**2 + 6*l. Let k(u) = 3*u - 1 + 1 + u**2. Let x(h) = 5*k(h) - 2*r(h). Is x(-5) composite?
True
Let n(x) = -x**3 + 15*x**2 - 13*x - 10. Let r be n(14). Suppose 5*v - 526 = r*p, -2*v + 3*p + 190 = -19. Is v prime?
False
Let j(a) = -2*a**3 - 7*a**2 + 7*a - 17. Let b(l) = l**3 + 3*l**2 - 3*l + 8. Let k(t) = -7*b(t) - 3*j(t). Is k(-4) a composite number?
False
Let m(z) = 3*z**2 - z + 4. Let i(v) = -v**2 + 14*v - 18. Let b be i(12). Is m(b) a composite number?
True
Let d = 392 + 471. Is d a prime number?
True
Let h = -42 + 0. Let c = h - -119. Is c a composite number?
True
Let u = -12 - -15. Suppose -4*g = 5*c - 302, 2*c = -4*g + 80 + 36. Is (c/(-4))/(u/(-6)) prime?
True
Let t(i) = -14*i - 2. Let g be t(-3). Suppose 3*m = 5*d - g, 0 = 3*d + 4*m - 53. Is d/(1 + (-18)/21) a composite number?
True
Let w(o) = 3*o**3 + 3*o**2 + 3*o - 2. Let y be w(3). Suppose 5*f + 5 = y. Is f a prime number?
False
Suppose -c - 30 = -i + 2*i, -88 = 2*i - 5*c. Is (i/(-3))/((-6)/(-27)) composite?
True
Let h be (-10)/55 + 876/(-22). Is (21 + -1)*(-130)/h a composite number?
True
Let c(i) = i**3 + 10*i**2 + 3*i + 7. Let r be -14*(-1 - (-6)/4). Is c(r) prime?
False
Let p be -15*-4*12/9. Let d = p + -134. Is (1 + -2 - d)/1 a prime number?
True
Suppose j - 13 = -7*d + 2*d, -2*j - 13 = -3*d. Let l(t) be the third derivative of -t**6/60 + t**5/30 + t**4/12 + t**3/6 + 3*t**2. Is l(j) composite?
True
Let m(v) = -33*v**3 + 8*v**2 + 6*v - 13. Is m(-4) composite?
False
Suppose 103 = -3*m + 340. Is m a prime number?
True
Let j = -184 + 813. Is j a composite number?
True
Let k = 105 - 70. Let u = 2 + k. Is u composite?
False
Let n be (-4)/10 - (-1244)/10. Suppose 0 = 5*i - i - n. Is i composite?
False
Suppose 2*x = 180 - 26. Is x a prime number?
False
Let i(u) = -u**2 - 7*u - 4. Let p be i(-5). Suppose -14 - p = 5*k. Is (-1)/(-2) - 54/k a composite number?
True
Suppose -3*s + x = -10, -2*x + 0*x = 4*s - 30. Suppose -n + 0 = -s. Suppose -7*h + 74 = -n*h. Is h a composite number?
False
Suppose 5*w - 19 = 6. Suppose v - w*v = -136. Is v composite?
True
Suppose -n + 381 = 2*n. Is n prime?
True
Suppose -5*g - 4 + 24 = 0. Let h(b) = -11*b**2 + b + 3. Let s(c) = -32*c**2 + 3*c + 8. Let x(q) = 17*h(q) - 6*s(q). Is x(g) composite?
False
Suppose 5*v = 5, -2*v - 4 = -2*c - 0*c. Suppose -3*s + c*d + 36 = 0, 4*d + 3 = 3*d. Is 2/(-3) - (-213)/s a composite number?
False
Let u = 39 - -268. Is u a composite number?
False
Let i = 8 - 13. Let u(m) = 9*m**2 + 2*m + 2. Let v be u(i). Suppose 457 = 2*h - v. Is h prime?
True
Suppose 9*l - 4*l - h - 658 = 0, -3*l + 3*h + 402 = 0. Let r = l - 76. Suppose r = -0*n + n. Is n prime?
False
Let z(g) = g**2 + 7*g. Let l be z(-7). Let q be (2 - 0) + 0 + l. Let b(d) = 4*d**3 + 2*d**2 - 3*d + 1. Is b(q) a prime number?
False
Suppose 0 = 5*o - 3*u + 182 - 2182, -3*o - 4*u = -1229. Is o a prime number?
False
Suppose 6*t - 2*t = 1172. Is t composite?
False
Suppose -5*w = -16 + 1. Is 3036/18 - (-1)/w a composite number?
True
Let i(h) be the second derivative of h**4/3 + 2*h**3/3 + h**2 + 3*h. Is i(-2) composite?
True
Let b be 1/(-3) + (-404)/(-6). Let h = -34 + 37. Suppose h*y - 38 - b = 0. Is y a composite number?
True
Suppose 5*h + 8*h - 28301 = 0. Is h composite?
True
Let n be 1*(-1)/(1/1). Let y(o) be the third derivative of -31*o**4/4 + o**3/6 - 10*o**2. Is y(n) composite?
True
Let s be (-6)/(-33) + 522/33. Let x be ((-2)/(-4))/((-4)/s). Is -46*((-9)/(-6) + x) prime?
True
Let n(a) = 0 - a - a + 0 + 1 + 480*a**2. Is n(1) a composite number?
False
Suppose -q + 20 = -3*c - 2*c, 9 = -3*c. Is q/(1/(-22)*-2) composite?
True
Let i = 6 + -4. Suppose 0 = -i*j + 44 + 90. Is j a composite number?
False
Suppose -5*t - 2*n + 405 = 0, 0 = 3*t - 0*n - 4*n - 217. Suppose 3*p - p + t = l, 5*l + 4*p - 423 = 0. Is l prime?
True
Suppose 3*b + 497 + 67 = 0. Let h = 529 - 844. Let i = b - h. Is i a prime number?
True
Let g(z) = 64*z**2 - 4*z - 5. Is g(-2) prime?
False
Suppose -3*r + 10 = -r. Suppose 0 = h - r*y - 909, 3*y + 1794 = 2*h - y. Is h prime?
False
Suppose 0 = -5*i + 4*r + 7555, -i = -3*r - 2*r - 1532. Is i composite?
True
Let s be 5/2 - 2/(-4). Let i = s + -4. Is i/2*(-5 + -21) a prime number?
True
Let x(c) = 221*c**2 + 4*c - 3. Is x(2) composite?
True
Let j(t) = t. Let l(u) = 5*u**2 + 10*u + 2. Let m(c) = -4*j(c) + l(c). Suppose 1 = -v - 4. Is m(v) composite?
False
Suppose -i + 3*i - 8 = 0. Let n = i - -31. Let k = 66 - n. Is k composite?
False
Let p(a) = -16*a**2 + a - 2. Let f(t) = 7*t**2 - 2*t + 3 + 10*t**2 + t + 14*t**2. Let m(x) = 3*f(x) + 5*p(x). Is m(2) prime?
False
Let k = -5 + 11. Is (-608)/(-12) - (-2)/k prime?
False
Let p(j) = 9*j + 57. Let g(q) = q**3 + 7*q**2 + 8*q + 5. Let w be g(-6). Let z(k) = 5*k + 29. Let r(v) = w*z(v) + 4*p(v). Is r(-11) a prime number?
False
Is 17883/81 - 2/(-9) prime?
False
Suppose n - 2065 = -6*n. Is n composite?
True
Let u(s) = s + 15*s**3 - s**2 - 1 - 3 + 3*s - 1. Is u(2) a prime number?
False
Suppose 5 = k - 18. Let u = 38 - k. Is u a prime number?
False
Suppose -p = -1 + 2. Let z = p - -15. Is z a composite number?
True
Let d(n) = 541*n**2 + 2*n + 2. Is d(-1) a composite number?
False
Let b(k) = k**2 + 5*k - 9. Let f be b(-8). Suppose -2*j = j - f. Let g = 5 + j. Is g composite?
True
Let n(h) = 1 + 4 - 3*h + h**2 + 4*h. Is n(12) a composite number?
True
Is (138 - 1)*(9 - 4) a composite number?
True
Suppose 4 = -n + 3*n. Suppose 4*u - 4 = 0, -3*u + 845 = 4*c - n*u. Is c a prime number?
True
Let w be ((-6)/4)/((-2)/36). Suppose 0 = 2*z - 337 + w. Suppose -5*o + z = -2*k - 2*k, 0 = -2*o - k + 62. Is o composite?
False
Let w be 8 + 1 + -2 + 1. Let i be (-2)/3 - w/(-12). Is 1*(-2 - i) - -97 prime?
False
Let d(b) = 39*b + 4. Is d(3) a composite number?
True
Is -62*3*(-6)/12 prime?
False
Let n(t) = -t + 24. Let w be n(0). Suppose 2*f - w + 125 = 3*b, -5*b = 5*f - 160. Suppose -i + b = -0*i. Is i composite?
True
Let k = 6 + -4. Suppose 3*o - k*g = -4*g + 201, 0 = -5*o - 3*g + 335. Is o prime?
True
Suppose 0 = 3*y + 15, -4*y + 2474 = 4*w - 1966. Is w a composite number?
True
Let k(i) be the second derivative of 0 + 15*i**3 + 1/2*i**2 - 2*i. Is k(1) a prime number?
False
Let m(x) = -x**3 + 3*x**2 + x. Let s(g) = -5*g**3 + 12*g**2 + 4*g. Let j(v) = 9*m(v) - 2*s(v). Let b be ((-6)/4)/((-3)/(-4)). Is j(b) prime?
True
Suppose 0 = -2*g - 2*i + 102, -3*g + 153 = -i + 2*i. Is g a composite number?
True
Let w(o) = 22*o**2 + 6*o + 21. Is w(-5) a composite number?
False
Let i be 15/(-10) - 138/(-4). Suppose -5*g - 4*c = -94, 5*g + c = 139 - i. Is g a prime number?
False
Let d(v) = 2*v**2 - 9*v + 7. Suppose 0*h = -2*h + 6. Suppose -3*o - h*y - 6 = -4*o, 3*o + 3*y - 18 = 0. Is d(o) a composite number?
True
Suppose 4*l + 21 = 117. Suppose z + 7 = r - 0*z, l = 2*r - 4*z. Suppose g = 2*y + 45, 0*g - g + 49 = r*y. Is g prime?
True
Let q be (6 + -2)/2 + 3. Let c = 44 + q. Is c a composite number?
True
Let b = 63 - -610. Is b a composite number?
False
Let n(q) = -51*q**3. Is n(-1) a prime number?
False
Let z(s) = -s**3 + 2*s + 2. Suppose -4*y + 5*v - 8 = 0, 4 = -2*y + 3*v - 0. Let f be z(y). Is f/(-10) - (-593)/5 a prime number?
False
Suppose 0*x + 2*x - 1778 = 0. Suppose -9*d + x = -2*d. Is d composite?
False
Suppose 3*h + 3*a = 963, 1 = 4*a - 7. Is h prime?
False
Let j be ((-25)/(-2))/((-3)/(-42)). Suppose -j = 5*b - 770. Is b a prime number?
False
Let t = -1 - -4. Suppose t*n = 192 - 45. Is n composite?
True
Suppose 3*t - 5*t = -2, -2*t = 5*k - 637. Is k a prime number?
True
Suppose 2*c = -p - p + 18, -5*c + 27 = 2*p. Let f(n) = n**3 - 2*n**2 - 9*n + 5. Is f(p) a prime number?
False
Let u be 5/1 - (-9 - -11). Is 0 - (u + -1) - -69 a composite number?
False
Let h(x) = -x - 10 + 1 - 3*x - 8. Is h(-7) prime?
True
Let p = -769 - -1140. Is p a composite number?
True
Let x(y) = -27*y**3 + y**2 - 4*y - 1. Is x(-3) a composite number?
True
Let n = 112 - -46. Suppose 5*m = -4*u - 246, 2*m + m + n = -5*u. 