l be (-7044)/15 + (-4)/10. Let x = l - -694. Suppose -3 = 3*d - 6, 0 = 2*m - 2*d - x. Is m a prime number?
True
Suppose 2*d - 2*g = 1120, -5*d - 5*g + 2340 = -430. Is d a prime number?
True
Is (-27669)/(-7) + 4 + 6/21 a prime number?
False
Suppose 3*h - 2*i + i = -25, -4*i = 4*h + 60. Let l = 64 + -28. Let k = l - h. Is k prime?
False
Suppose -5*q - 580 = -10*q. Let c = 186 - q. Suppose c = y + 4*y. Is y a composite number?
True
Let s be -1 + 0 + 10/(-2). Let k(q) = q**3 + 6*q**2 + 5*q + 4. Let w be k(s). Is (w/(-8))/(3/60) composite?
True
Let s = 44 + -133. Let n = 151 + s. Let c = -27 + n. Is c composite?
True
Let k(q) = q**3 - q**2 - q. Let w(i) = 4*i**2 + 3*i - 5 - 3*i**2 - 9*i**3 + 9. Let x(l) = 6*k(l) + w(l). Is x(-3) a prime number?
False
Let l = -91 + 33. Let y = l + 137. Is y a prime number?
True
Suppose 2*c = -8, 2*m + 0*c + 2*c = 126. Is m a prime number?
True
Let j = -142 + 234. Suppose 2*r - 47 = -5*x, x = 5*r - 93 - j. Suppose -39 - r = -4*b - t, -2*t = 3*b - 55. Is b a composite number?
False
Let p(m) = -248*m**3 + 4*m + 3. Is p(-2) a composite number?
False
Suppose -16 = 3*x - 0*m - m, -3*x + 3*m = 24. Let t = x + 7. Is (-20)/(-1) - (2 - t) composite?
True
Let m(x) = -38*x**2 - 5*x - 6. Let s be m(-5). Let o = s + 1310. Is o prime?
True
Suppose 0 = -7*b - 374 + 2271. Is b composite?
False
Let l(d) = -24*d - 15. Let n(x) = -x - 1. Let j(u) = -l(u) + 18*n(u). Let s be j(6). Suppose -s = -v - 3*k, -53 = -3*v + 2*k + 2. Is v a prime number?
False
Let c(a) be the first derivative of 3*a**4/4 - a**2/2 + a - 5. Is c(2) prime?
True
Let t(u) = -33*u**3 + 2*u**2 - 5*u - 5. Is t(-3) a composite number?
False
Let a(c) = 3*c**3 - c. Let n be a(-1). Let w be n/(-6) - (-5)/(-15). Suppose -4*f - 80 = -4*k, 4*k - f - 13 - 76 = w. Is k composite?
False
Let u(z) = -z - 6. Let v(o) = 4*o - o + o + 6. Let k be v(-4). Is u(k) a composite number?
True
Suppose -4*n - 17 - 6 = -5*j, 2*j - 12 = 3*n. Suppose -228 = -j*z + 261. Is z composite?
False
Let j(k) = -k. Let i(b) = 2*b**3 - 11*b**2 + 9*b + 11. Let o(f) = i(f) + j(f). Let x be o(8). Suppose 4*m + m = x. Is m a prime number?
True
Let c(f) = 40*f + 1. Let s be c(2). Suppose -3*i = 5*m - s, 4*i + m - 100 = -3*m. Is i composite?
True
Is 14/21 - (-2749)/3 a composite number?
True
Suppose -5*d + 0*r + 3*r = -315, 5*r = -25. Suppose -d = -2*c - 2*t, -5*c = -3*t - 175 + 17. Is c a prime number?
True
Let s(g) = g**3 + 15*g**2 + 2*g + 31. Let r be s(-15). Suppose 4*h + 2*j = -3 + 1, 0 = h + 5*j - 13. Let o = r - h. Is o composite?
False
Suppose -4*i = 3*h + 3, -2*h - 5*i - 6 = h. Is 42/(0 + h) - -1 prime?
False
Let c(d) = -25*d**2 + 2. Let k(s) = -12*s**2 + 1. Let j(i) = 2*c(i) - 5*k(i). Is j(-2) composite?
True
Suppose -5*c - 35 = g + 853, -g + 528 = -3*c. Let x = 304 + c. Is x composite?
False
Let t(f) = -f**3 - 3*f**2 - 4*f - 2. Let z = 5 + -7. Let v be t(z). Let h = v + 1. Is h a prime number?
True
Let h(i) = 11*i - 7. Let o(z) = -12*z + 8. Let v(a) = -7*h(a) - 6*o(a). Let n be (-8 - 1) + (-5)/((-5)/3). Is v(n) a composite number?
False
Let v(x) = -88*x + 3. Let j(m) = 22*m - 1. Let t(g) = -9*j(g) - 2*v(g). Let c(k) = -k**3 - 3*k**2 + k - 2. Let q be c(-3). Is t(q) prime?
True
Let g = 104 - 53. Is g prime?
False
Let n be ((-6)/(-5))/((-6)/(-20)). Is n*8 + (-33)/(-11) a composite number?
True
Let q(v) = -v + 3. Let m be q(4). Let t(g) = -56*g - 1. Is t(m) a prime number?
False
Let f(w) = 20*w**3 - 6*w**2 + 4*w - 13. Is f(5) composite?
False
Let y(k) = 4*k**2 + k. Let s be y(-1). Suppose 0 = 3*h + 2*h + l - 924, s*h + l = 554. Is h a prime number?
False
Let v(c) be the second derivative of -c**3/6 - 3*c**2/2 - 3*c. Let g be v(-9). Suppose -129 = 3*k - g*k. Is k prime?
True
Let u = 422 + -255. Is u composite?
False
Let i = -158 + 359. Is i a composite number?
True
Suppose -17 - 25 = -2*a. Is a prime?
False
Let o = 0 - -3. Suppose -4*s - 5*w + 15 = 0, w - o = -0*w. Suppose s*i + 5*i - 415 = 0. Is i a composite number?
False
Let n(t) be the first derivative of 3*t**4 - t**3/3 + 5*t**2/2 - t - 10. Is n(4) a prime number?
False
Let f(z) = 2*z**2 + z + 1. Let s be f(3). Let p be -90*(s/(-5) + 2). Let k = p + -103. Is k a prime number?
True
Let x(v) = 12*v + 3. Let p = 24 + -20. Is x(p) a prime number?
False
Suppose -3*g + 7 = -2. Suppose -4*k + 3*k = -g. Suppose -2*j = w - 28 - 83, 3*w = k. Is j prime?
False
Let y = -134 + 237. Is y prime?
True
Let u(y) = -y - 15 - 3*y**2 - 5*y**2 + y**2. Let x(w) = 11*w**2 + 2*w + 23. Let d(v) = -8*u(v) - 5*x(v). Is d(8) a composite number?
False
Suppose -2*m = -3*z + 3*m + 228, 5*z = 2*m + 361. Is z composite?
False
Suppose c - 2*c - 1 = 0, -2*c = 4*k - 6. Suppose 5*s - k*s = 0. Suppose s*u + 5*u - 335 = 0. Is u a prime number?
True
Let m = -280 - -1167. Is m composite?
False
Let n(a) = -a**3 - a**2 + 5*a - 1. Let u be n(-4). Let j = 73 - u. Suppose -3*w + j = -w. Is w a prime number?
True
Suppose 0 = c + 2*c + 9. Let r = c - -4. Suppose -3*z + 3 = 3*q, q = -4*z + r - 3. Is q a prime number?
True
Let x(l) = -1441*l - 4. Is x(-1) prime?
False
Let j be 2*(-14)/(-4) - 2. Let t(g) = 2*g**2 + 2*g - 7. Is t(j) prime?
True
Let o(l) = -l - 9. Let r be o(-12). Suppose a = r*a - 30. Is a composite?
True
Suppose -3*a - 5*v + 5 - 3 = 0, -11 = a + 4*v. Suppose 4*j - a*j = -325. Is j prime?
False
Let c(t) = -t**3 + 11*t**2 + 11*t + 8. Let w be c(12). Is 2 - (-2)/w*-34 a prime number?
True
Let i = -23 - -36. Let u = i + -10. Suppose 3*l - 29 = -u*q + 1, -3*q + 2*l + 45 = 0. Is q composite?
False
Let y be -1*5/(10/(-6)). Suppose d - 14 = -5*n, -d - 1 = -n + y. Is -71*(-1 + d - -1) a composite number?
False
Suppose i - 133 = 204. Is i prime?
True
Let d = 327 + -32. Is d a prime number?
False
Let h = 1 - -1. Let c be ((-6)/(-5))/(h/10). Let u = 7 + c. Is u a composite number?
False
Let t(y) = y**2 + y - 1. Let g(q) = 81*q**2 + 6*q - 4. Let x(s) = g(s) - 5*t(s). Is x(2) composite?
False
Suppose -2*x + 685 = 3*d, 4*x = d + 836 + 499. Is x a prime number?
False
Suppose 2*c + 2*i = -0*c - 10, 2*i = 4*c + 2. Let v(a) = -63*a + 1. Is v(c) composite?
False
Let q be (-18)/24 + 5/(-4). Is (117/3)/(-1 - q) prime?
False
Let u = 353 + -94. Is u a prime number?
False
Let g(b) be the third derivative of -b**6/120 + b**5/6 + b**4/8 + 11*b**3/6 - 3*b**2. Is g(8) a prime number?
True
Suppose -4*r + 3*a - a = 2, -3*a + 3 = 3*r. Suppose r = 2*m + 3*z - 833, -2*m - m + 5*z + 1240 = 0. Is m a composite number?
True
Suppose -2*s + 3357 = i, -i + 11490 - 3105 = 5*s. Suppose -6*u + 2*u = -s. Is u a composite number?
False
Suppose 3*v + 2*q + 35 = 0, 5*q + 0*q = v + 6. Let h be 7*v/(22/(-180)). Let p = 937 - h. Is p prime?
True
Suppose 12*l - 8*l = 3356. Is l a composite number?
False
Let u(z) = z**2 - 15*z - 17. Is u(21) prime?
True
Suppose 5*m - 2*m = -5*i + 15, -3*m = -2*i + 6. Suppose m = -3*s + 75 - 12. Is s composite?
True
Suppose 15*k - 1847 = 14*k. Is k composite?
False
Let f be (-12)/9*(-12)/8. Let h(t) = 2*t**2 + 6*t - 6. Let j be h(-7). Suppose f*z - j = -0*z. Is z a composite number?
True
Suppose m - 4*m = 72. Let r be (m/(-5))/(10/425). Suppose 2*v + 34 = -2*s + r, 0 = -4*s - 2*v + 348. Is s prime?
True
Let d(w) = -348*w - 1. Is d(-4) a composite number?
True
Suppose 3*x = -2*x - 5. Let t(c) = -2*c**3 + c**2 - c. Let h be t(1). Is (0 - x) + (-116)/h prime?
True
Suppose 3*l - 56 = -u, -2*l - 152 = -5*u + 3*u. Suppose 0 = 2*y - 14 + 82. Let v = y + u. Is v prime?
True
Suppose -2*k + k = -6. Suppose k = c + 2. Is c composite?
True
Suppose -2*h + 0*h + 6842 = 0. Is h a composite number?
True
Let d be 1*-3*(1 + 0). Let f(c) = 8*c**2 + 4*c - 1. Let r be f(d). Suppose r + 30 = y. Is y composite?
False
Let q(t) = -285*t + 1. Let m be q(-2). Suppose -5*n + 6*n = 4*h + m, 0 = -5*n + h + 2912. Is n composite?
True
Let t be (-1083)/(-7) + (-6)/(-21). Suppose -3*r + 5*o = -t, 0*o = -4*r + 4*o + 212. Is r prime?
False
Is ((-8)/4 - -18) + -2 a composite number?
True
Suppose 0 = 4*m - 4 - 4. Is (-1 + m)*(35 + 2) a composite number?
False
Let h be (-2)/4*0*-1. Suppose -4*w = -h*w. Suppose w*f - 356 = -4*f. Is f prime?
True
Is 2786 - (4/((-16)/(-12)) - 2) a composite number?
True
Let d be -170 - 0 - (-1 + -1). Let m = d + 256. Suppose -31 + m = 3*x. Is x prime?
True
Suppose -b - 4 = -0. Let u be -1*2*642/b. Suppose -