5368 = 0. Is f a prime number?
False
Suppose -2*o - 184 = -6*o. Is o prime?
False
Let h = -12 + 5. Is (-46 + 2)*h/4 composite?
True
Suppose -2*n - n - 4*l + 10 = 0, 0 = 3*n - 2*l - 22. Let d be (n/(-8))/(3/(-132)). Suppose 2*m - 203 = -d. Is m composite?
True
Let d = 11305 + -5729. Let o be d/6 - 1/3. Suppose -4*s + 2*a + 742 = 0, a + a = 5*s - o. Is s prime?
False
Let d(t) = -t**3 + 11*t**2 + 7*t - 6. Is d(7) a composite number?
False
Suppose 4*q = -19 - 9. Let i = q - -5. Let a(w) = w + 4. Is a(i) a composite number?
False
Suppose 0 = -7*m - 0*m. Suppose -5*g + 8 = -12. Suppose -g*s - c + 51 = -594, 3*s - 5*c - 478 = m. Is s a prime number?
False
Suppose 5 = g + 6. Let b(l) = -68*l**3 - l. Is b(g) prime?
False
Let b(g) = -g**3 - 2*g**2 + g + 517. Is b(0) a prime number?
False
Suppose 20 = 4*v - 4*x, -x + 4 = -3*v + 11. Is 0 - (6*-3 - v) a prime number?
True
Is 1250/10 + (-2)/1 a prime number?
False
Suppose v = -5*i - 18, -3*i = i - 4*v. Let m(w) = -1 + 11*w**2 + 4*w + 4 - 4 + 5. Is m(i) prime?
False
Suppose 0 = -5*y + 20, d - y - 33 = -0*d. Is d composite?
False
Let w = -513 - -1307. Is w composite?
True
Let u(a) = a**2 + 9*a - 24. Is u(10) a composite number?
True
Is 1119/(-6)*(0 - 4) a prime number?
False
Suppose 0 = -i - 5, -3*j = -i - 4*i - 1768. Is j a composite number?
True
Let s(f) = -f**2 - 10*f + 2. Let p(h) = -h**2 - 9*h + 3. Let r(o) = -4*p(o) + 5*s(o). Is r(-13) a composite number?
False
Let b(y) = 2*y**2. Let t be b(-1). Let j be -2*-2*1/t. Suppose 0 = 5*d + u - 398, 2*d + j*u - 70 = 94. Is d a composite number?
False
Let f = 6 + -11. Let x(z) = -20*z + 6. Is x(f) a composite number?
True
Let d = 115 - -138. Is d a prime number?
False
Suppose 0*k - 5*m - 10530 = -3*k, 2*m + 10521 = 3*k. Is k composite?
True
Let x be ((-196)/(-12))/((-2)/12). Let i = -2 - 1. Let a = i - x. Is a prime?
False
Let j = 376 + 61. Is j prime?
False
Let t be 1/(-1)*11*-1. Suppose l = 2, 0 = -5*h + 3*l + 70 - t. Is h composite?
False
Suppose -3*z + 0*l + 336 = -3*l, -5*z - l = -566. Is z a prime number?
True
Let r(c) = -c**3 - c**2 + 2*c - 3. Is r(-4) a prime number?
True
Suppose -g + 357 = 2*g. Is g composite?
True
Suppose 4*h - 2*g - 140 = 0, 0 = -h - g + 4*g + 25. Is h composite?
False
Let a = 64 + 139. Is a composite?
True
Suppose 0 = 4*i - 6*i + 326. Is i a composite number?
False
Let j(m) = 15*m**2 - m - 7. Is j(-5) composite?
False
Suppose -4*s + 5*c = -2603, 2*s = 3*c + 1287 + 12. Suppose -d + 4*k + s = 0, -2*d + 3*k = 2*d - 2667. Is d a prime number?
False
Let x(c) = 3*c**2 + 5*c + 5. Suppose i = b + 3*b + 23, 13 = -5*b - 4*i. Is x(b) prime?
False
Let c be ((-178)/6)/(8/(-24)). Let s = c + -52. Is s composite?
False
Suppose -y - 3*j + 4*j = 0, -y + 5*j = 20. Suppose -5*o - y*d + 1320 = 0, 4*o - d - 1063 = 2*d. Is o a prime number?
False
Let z(u) = -u**2 + 9*u + 12. Let k be z(10). Suppose 4*q - 3*n = k*n + 3376, -3360 = -4*q + n. Is q prime?
True
Suppose 5*h = -215 + 940. Is h composite?
True
Suppose -t = -2*v, 0*t = 3*t - 2*v - 4. Let w(z) be the second derivative of 10*z**4/3 + z**3/3 - z**2/2 - 2*z. Is w(t) a prime number?
True
Is -2 + 1051 + -3 - 5 a prime number?
False
Let q(w) = -18*w - 1. Let y(i) = -i**2 + 2*i - 2. Let n be y(3). Is q(n) a composite number?
False
Suppose 0 = 4*y + 2*d - 5 - 13, 5*y - 3*d = 6. Suppose -y*u + 44 = -13. Is u a prime number?
True
Suppose -t + o = 0, 0 = -3*t - 0*o + 2*o. Suppose t*g + 3 = -3*g. Is (-3 + g)*93/(-12) composite?
False
Let o(d) = d**2 + 12*d - 15. Let n(y) = 3*y + 8. Let w be n(-8). Is o(w) a composite number?
True
Let b(c) = -c**2 + c. Let n(p) = -6*p**2 - 5*p + 3. Let z(h) = -5*b(h) + n(h). Let q be z(-10). Suppose 186 = q*d - 15. Is d a composite number?
False
Let a(j) = 3*j**3 - 9*j**2 - 6*j - 5. Is a(8) prime?
True
Suppose 5*r - 84 = -j, -3*j + 8*j - r - 342 = 0. Suppose 24 = k - 36. Suppose -5*q + 0*v + 5*v + k = 0, -5*q = 4*v - j. Is q a prime number?
True
Suppose 2*v = -5*h + 9658 - 2471, -3*h - 2*v + 4309 = 0. Is h composite?
False
Let q(u) = 7*u**2 - 6*u - 1. Let s be q(-4). Suppose -5*f + 2*a - 618 = -s, -3*a + 297 = -3*f. Let z = f - -184. Is z a composite number?
False
Suppose -5 = -4*p + 15. Suppose 5*a + u = -0*u - 2238, 2*u = -p*a - 2236. Let j = a + 659. Is j a prime number?
True
Suppose 4*r = 9*r - 4*w - 14075, -4*r + w = -11271. Is r prime?
True
Let z(f) = -4*f - 11. Let a be z(-8). Suppose 0 = j + a - 100. Is j composite?
False
Let q(i) = i**2 + 6*i - 9. Is q(8) prime?
True
Is (7/(7/(-4)))/(-1) + 4045 composite?
False
Let j be 11*(-2 + 3 - -1). Suppose 5*x = -0*x + 235. Suppose -j = -b + x. Is b prime?
False
Suppose 8*h - 2244 - 4324 = 0. Is h a composite number?
False
Let d(k) = -k**2 + k + 1. Let z be d(4). Is 1954/22 - 2/z prime?
True
Suppose -c - 708 = -5*c. Let i be ((-16)/(-12))/(2/c). Let d = i - 81. Is d a composite number?
False
Suppose t + 0*t = -5. Suppose 0*b - 3 = -b. Is b + t - -39*1 a prime number?
True
Let i = 646 - 372. Is i a composite number?
True
Let w = 177 + -51. Suppose v + 3*v - w = -2*k, 3*k = 4*v - 141. Is (-1830)/(-22) - 6/v a composite number?
False
Suppose -518 = 5*w + j, 0 = -5*w - 0*w - 2*j - 521. Let f = 168 + w. Is f prime?
False
Let b(x) be the second derivative of x**5/20 + 11*x**4/12 - x**3/6 - 9*x**2/2 + x. Let o be b(-11). Is 128 - o/4*2 a prime number?
True
Suppose 4*g = -3*g + 33047. Is g prime?
True
Let m(v) = v**2 + 6*v - 24. Is m(-11) a prime number?
True
Suppose -7*o = -3*o - 1276. Is o a prime number?
False
Let s be (-4)/(-14) + 26/7. Suppose s*u + 33 = 5*u. Is u a prime number?
False
Is (-655)/10*-2*1 composite?
False
Suppose 0 = l + 2. Let q be 2/l*0/2. Suppose -2*v + 0*v + 430 = q. Is v prime?
False
Suppose -3*t + 5*h = -102, 0*t + h - 68 = -2*t. Suppose 0 = -c + t - 3. Is c prime?
True
Suppose -l - 476 = -76. Let j = -135 - l. Is j a composite number?
True
Suppose 3*h - 5392 = -4*k, 5*k - 6717 = h + h. Is k a prime number?
False
Suppose -y - 116 = 3*b, 0*y + y = b + 32. Is 1 - 3 - (b - 0) a composite number?
True
Suppose 0 = -2*k + 8*k - 66. Is k a composite number?
False
Let i(h) = h**2 - h + 6. Let q be i(-7). Suppose q = 3*a - a. Is a prime?
True
Let d = 358 + 529. Is d a composite number?
False
Suppose -s + 7*r - 2*r = 19, 0 = -5*s - 5*r + 25. Is 56 + s + -3 + -1 prime?
True
Let p(k) = 2*k**3 + 2*k**2 + 4*k - 7. Let b be p(6). Suppose y + z - 93 = 0, -4*y - 125 = -2*z - b. Suppose 88 = 5*s - y. Is s composite?
False
Suppose -3*b + 1672 = 2*n + b, -3*b = 0. Let y be (-4)/6*12/(-2). Suppose 3*u - 184 = y*f - n, -5*f - u = -815. Is f a prime number?
True
Let o = 7 - 4. Suppose o*t + 2*t = 45. Is t a composite number?
True
Let u(h) = 32*h**2 + h + 2. Is u(3) a composite number?
False
Suppose -3*r - c = r - 509, 376 = 3*r - 5*c. Is r a composite number?
False
Let o be (-2)/(0 - (-4)/414). Is (-3)/(3 - o/(-66)) a composite number?
True
Let q = -4 + 6. Suppose q*b - 26 = -2*d + 18, 2*d = 5*b + 37. Suppose 4*m - d = -a, 8*a = 5*a - 2*m + 103. Is a composite?
False
Suppose 489 = 2*x - 85. Let m(h) = -39*h**2 - 2*h. Let n be m(2). Let t = n + x. Is t a prime number?
True
Let h(r) = -2*r**2 - r + 0*r**2 - r**3 - 2*r**2. Let f be h(-4). Suppose 0 = -4*k - 3*u + 1027, 0 = -f*k + 3*u + 844 + 201. Is k composite?
True
Let s = 75 - 129. Let j = 3 - s. Is j prime?
False
Suppose 2*t + 3*g = 6, 0*g - g + 10 = -2*t. Let k(s) = -4 + 7*s**2 + s**2 + s + 0*s. Is k(t) a prime number?
False
Let d = -4 - -6. Suppose -d*u + 5 - 3 = 0. Is (u/3)/(6/1638) prime?
False
Suppose -2 = 5*f + 3. Is (2 + f)*(0 - -3) composite?
False
Let p be 3 - (2 - 3)*1. Suppose -p*k = k - 5. Is -3*22*k/(-2) composite?
True
Let a(d) = 5*d**3 - 7*d**2 - 8*d + 4. Let k(r) = -4*r**3 + 6*r**2 + 7*r - 3. Let p(h) = -3*a(h) - 4*k(h). Let x be p(4). Suppose o + 0*o - 39 = x. Is o prime?
False
Let t = 84 - 158. Let s = 13 - t. Is s prime?
False
Suppose -5*r + 278 = -172. Is ((-2)/3)/((-20)/r) a composite number?
False
Suppose 0 = l - 3*l + 118. Is l a composite number?
False
Let v(z) = z**3 + 3*z**2 + 2*z + 413. Let d(i) = -6*i**3 - 16*i**2 - 11*i - 2066. Let y(m) = 2*d(m) + 11*v(m). Is y(0) a prime number?
False
Suppose 0 = -0*o - 2*o. Suppose 2*t = -o*t + 106. Is t composite?
False
Suppose 3*l = -4*v - 4, -l + v = 2*v + 1. Suppose l*b - 2 = 2*b. Is (37 - 1) + 2 + b prime?
Tru