e
Let u(s) = 50*s + 5. Let d(b) = 51*b + 5. Let v(r) = -6*d(r) + 5*u(r). Is v(-6) a prime number?
True
Let u(c) = -c**3 + 3*c + 1. Let z be u(-2). Is ((-3)/1 - -553) + z prime?
False
Suppose 0 = -u + 1180 + 475. Let b = u + -988. Is b composite?
True
Let x = 3340 + 289. Is x a composite number?
True
Let r be 1/2 - (-1)/(-2). Suppose q - 2 = -r*q. Suppose -340 = -q*p - 2*p. Is p a prime number?
False
Let k be (-8)/(-16)*(0 - -6). Suppose p - 124 = -k*p. Is p a prime number?
True
Let p = 6 - -76. Is p a composite number?
True
Is (3205/(-5))/(-1 + 0) prime?
True
Let g(n) = -n + 1. Let l(r) = 5*r - 5. Let k(i) = 6*g(i) + l(i). Let d(q) = 77*q + 4. Let f(y) = -d(y) + 3*k(y). Is f(-1) a prime number?
True
Let h(i) = -i + 1. Let y(f) = f**3 + 4*f**2 - 4. Let z(t) = 6*h(t) + y(t). Let a = 16 - 21. Is z(a) a composite number?
False
Is -1 - -2 - (-231 + 6) prime?
False
Suppose 2*n + 4*y = 210, -102 = -2*n + 3*y + 129. Suppose -q + n = 2*q. Is q prime?
True
Suppose 3*m - 899 = -l, 0*m - 586 = -2*m - 4*l. Let j(w) = -w - 1. Let p be j(-5). Suppose 757 = 3*i + 2*i - p*u, m = 2*i - u. Is i composite?
False
Let q be (-1)/(-1)*(2 - 3). Let n be (-1*2 - q) + 1. Suppose n*s = 2*s - 106. Is s a prime number?
True
Let o(v) = 14*v + 2. Let a be o(-2). Suppose -5*d - 2*f + 391 = 0, -4*d - 5*f + 286 = -20. Let q = a + d. Is q composite?
False
Suppose b + 70 = -154. Let a = -13 - b. Is a prime?
True
Suppose 0 = z - 629 + 3623. Is z/(-4)*2/3 a composite number?
False
Suppose 0 = w - 3 - 2. Let b(a) = a + 1. Let d be b(w). Suppose -3*o + 5*n - 67 = -d*o, -4*o = -5*n - 31. Is o a prime number?
False
Suppose 9 = 8*a - 7. Let h be 1*(-1 + 0 + 1). Suppose 4*b - 3*i - 511 = -h*i, 3*i = -a*b + 251. Is b a composite number?
False
Suppose -50 = -3*v - 11. Suppose 11*y + 186 = v*y. Is y composite?
True
Let t be (-1)/((10/(-138))/(-5)). Let a be 14/((-141)/t - 2). Suppose 5*s - 2*j - 335 = 90, 2*j - a = -4*s. Is s a composite number?
False
Let p(c) be the second derivative of c**6/18 - c**5/120 + c**3/3 - c. Let g(v) be the second derivative of p(v). Is g(-1) composite?
True
Suppose -2*i + 4*s = -8, -3*i + 2*s + 8 + 0 = 0. Suppose -312 = -i*n - 82. Is n prime?
False
Let u(q) = q**2 - 1. Let f be u(-2). Let c(a) = 142*a - 7. Is c(f) composite?
False
Suppose -33 = -4*a + w, w - 4*w = -5*a + 50. Is a composite?
False
Let q(w) = -w**2 + 5*w - 2. Let n be q(4). Suppose 0 = -n*y + 169 - 17. Suppose -2*x - y = -5*t, 2*t - 57 = -t + 5*x. Is t composite?
True
Let m = 13 + -19. Let o = 50 - 30. Let q = m + o. Is q prime?
False
Suppose b + 2*b - 3 = 0. Let d = b + -3. Is (-173)/(-9) - d/(-9) a composite number?
False
Suppose -8*b = -31672 - 14640. Is b composite?
True
Let l(m) = -m**2 + 5*m - 2. Let s be l(6). Let f be s/3*(0 + -3). Is f/36 - (-2822)/18 composite?
False
Suppose -5*d = -4*r + 18, 3*d + 2*d + 16 = 3*r. Suppose 182 = 4*v - r. Is v a composite number?
True
Let r(m) = m**3 - 6*m**2 - 8*m - 2. Suppose -i + 2*y + 9 = 0, -3*y - y - 4 = 0. Let x be r(i). Is 3/1*(-21)/x a composite number?
False
Let u(w) = 2 - 7*w - 5 + 0. Is u(-8) a prime number?
True
Let q(o) = -7*o - 5 + 7*o + o + o**2. Is q(6) prime?
True
Suppose 8*l - 10726 = 6*l. Is l prime?
False
Suppose 0*d = -d + 3. Suppose -4*o + 145 = -d*o. Is o a prime number?
False
Let d = 1 + -3. Is (-1)/(130/66 + d) composite?
True
Let a = 1 + -1. Suppose 4*p = -a*p + 4. Let w = 8 - p. Is w a composite number?
False
Let h(a) = -a**3 + 6*a**2 + a + 1. Is h(-4) a composite number?
False
Let o(m) = -91*m - 2. Let j be o(-7). Suppose -5*b = -j - 110. Is b a prime number?
True
Suppose 0 = 4*t + 3*r - 770, -4*t = -2*r - 0*r - 760. Is t prime?
True
Let n = -15 + 22. Suppose 0 = -2*g + n*g - 2665. Is g a prime number?
False
Suppose 12*v - 7682 = -3230. Is v a prime number?
False
Let j(i) = 24*i**2 - 9*i - 38. Is j(11) a composite number?
False
Suppose -284 = r + 594. Let y = r + 1489. Is y a composite number?
True
Let z(d) = d + 1. Let i be z(3). Let p be (i/(-2))/(1/(-2)). Is 39/12 - 1/p composite?
False
Let o = -315 - -538. Is o a composite number?
False
Let a = -26 + 26. Suppose a*x - 745 = -5*x. Is x a composite number?
False
Let a(y) = 2*y**3 + 3*y**2 - 3*y. Let g be a(2). Let s = 147 - 10. Suppose -3*t = -s - g. Is t a prime number?
True
Let w = 171 - 92. Is w prime?
True
Is ((-23884)/(-42))/(2/3 - 0) composite?
False
Let h(y) = y**3 - y - 2. Let t be h(2). Suppose 0 = t*s + o - 356, 0 = -3*s - 2*o - 92 + 359. Is s a prime number?
True
Let s be 0 - (-5)/((-5)/(-3)). Suppose -3*a + 138 = 3*u, -s*u = -3*a - a - 117. Is u prime?
True
Let h = 61 + -1325. Is (3/12)/((-4)/h) composite?
False
Is -1*3 + (3 + 1347)/3 composite?
True
Let z(p) = p + 3. Let h be z(-11). Let v = h - -6. Is (-237)/v - 1/(-2) prime?
False
Suppose 6 = 3*d - 2*f, -3 = 5*d + 4*f - 35. Is d prime?
False
Let u = -1 - -25. Suppose -201 - u = -5*l. Suppose 0 = s + 4*q - 15, -3*s = -2*q - 2*q - l. Is s composite?
True
Let v(y) = 5*y**3 - 2*y**2 - 4*y - 2. Let x(o) = 5*o**3 - o**2 - 5*o - 2. Let i(c) = 3*v(c) - 2*x(c). Let j be i(4). Suppose -3*z + j = -0*z. Is z prime?
False
Let z be (-2)/(-3) + (-414)/(-27). Let a = 3 - -9. Suppose -2*l + z + a = 0. Is l prime?
False
Let v(k) = k**3 + 7*k**2 + 7*k. Let i be v(-7). Let s = i + 102. Is s a prime number?
True
Let y = -13 - -23. Is y a prime number?
False
Let s = 106 + -63. Suppose -s - 224 = -3*h. Is h composite?
False
Let p(y) = -53*y - 11. Is p(-6) a prime number?
True
Let x = 3868 - 2717. Is x a prime number?
True
Let w(k) = -k**3 - 7*k**2 + 9*k + 8. Let s = 2 - 10. Let o be w(s). Suppose -265 = -5*d - o*d. Is d a composite number?
False
Suppose l - 74 - 45 = 0. Is l prime?
False
Let r = -324 + 659. Is r prime?
False
Suppose 5475 = 5*v + 1270. Is v prime?
False
Let a = 512 + 189. Is a a prime number?
True
Let l = -58 - -107. Let y = l + 28. Is y a prime number?
False
Let t(k) = -k**3 + 18*k**2 - k + 3. Is t(16) prime?
True
Let j = 18 - 14. Suppose j*t - 132 = 376. Is t a composite number?
False
Let l(h) = 166*h**2 + 3*h + 42. Is l(-5) a prime number?
True
Let g be ((-3)/(-6))/(4/2248). Suppose d + o = 206, 5*o - 45 + g = d. Is d a prime number?
True
Suppose -2*z = -5*o - 818, -z + 5*z - 1636 = -3*o. Is z prime?
True
Is (30/9)/(4/138) a prime number?
False
Suppose 1281 = -4*q + 7205. Is q a composite number?
False
Let o(t) = -t**3 + 14*t**2 - 10*t + 7. Let p be o(13). Suppose 0 = -u + 5*s + 59, -5*s = -2*u + p + 72. Is u a composite number?
False
Let d = -113 + 1994. Suppose 2*u - 277 = -3*y + 457, -d = -5*u + 4*y. Is u prime?
True
Suppose 0 = -2*k - 4*a + 5*a + 822, 3*k = -a + 1223. Is k prime?
True
Let a = 27 - 25. Suppose i - 192 = -3*k + 314, 0 = 2*k + a. Is i composite?
False
Let p = 1060 + 1059. Is p a prime number?
False
Suppose 5*a = 4*a + 4*s + 45, -5*s + 5 = 0. Let u = a + 34. Is u composite?
False
Let a(y) = 31*y**2 + 7*y + 3. Let w be a(-5). Suppose -5*x - n + w = 0, 6*x + 3*n = x + 739. Is x prime?
True
Let k = 1976 - 673. Is k a composite number?
False
Suppose 0 = 2*n - 6*n + 20, -o + 4*n - 82 = 0. Let z = 88 + -205. Let a = o - z. Is a a composite number?
True
Let u = -18 - -28. Is (-3 + 4 + u)*5 a prime number?
False
Let p = 1046 + -462. Let n = -371 + p. Is n composite?
True
Suppose 3*z = 2*y - 0*y - 50, -z - 54 = -2*y. Suppose 164 - 39 = 5*t. Let r = t + y. Is r a prime number?
True
Is -3 + (-37)/2*-8 composite?
True
Let t(k) = 5 + 14*k**2 - 4 - 4. Is t(3) a prime number?
False
Let n = 10 - 10. Suppose -4*f - p + 54 = n, f - 21 + 1 = 3*p. Is f prime?
False
Is ((-1208)/3 + 3)*-3 composite?
True
Suppose -1692 = -3*i + 2*h - 5*h, 3*i = -h + 1682. Is i prime?
False
Let p(b) = 2*b**2 + 10*b + 9. Let c be (0 + (-6)/(-9))*3. Suppose 0 = c*a - 3*a - 6. Is p(a) composite?
True
Suppose -y - 47 - 59 = 0. Let v = 195 + y. Is v prime?
True
Let p be 1 + 0 + 2/1. Suppose c = 1, 2*y + c - 106 = -p*c. Is y composite?
True
Let o = -12 - -206. Is o prime?
False
Let d(j) = j**2 + 0*j**2 + 6 + 0*j**2 + 8*j. Is d(-13) prime?
True
Let s be 3/(-9) + (-26)/(-6). Suppose 9*l - 4*l = -25, -16 = 2*x + s*l. Suppose x*t + t - 18 = 0. Is t prime?
False
Let b(t) = 7*t + 11. Is b(16) a composite number?
True
Let u(j) = 3*j**2 + 6*j + 2. Is u(-4) composite?
True
Suppose -5 = -5*a + 5. Suppose -2*y + 46 = -2*g + 18, -a*y + 5*g + 31 = 0. 