composite?
True
Let o be 49/3 - 4/12. Suppose o = 5*a + 1. Suppose 0 = a*n - 99 - 150. Is n composite?
False
Suppose -3*v + r = 30994, 2*v = -3*v + 3*r - 51654. Is v/(-20) + (-2)/(-5) a composite number?
True
Let p(t) = -22*t + 29. Is p(-12) a prime number?
True
Let d(c) be the third derivative of c**6/80 + c**5/30 + c**4/12 + c**2. Let v(u) be the second derivative of d(u). Is v(3) composite?
False
Suppose -5*i + 0*g + g = -706, -4*i + 5*g = -569. Is i a composite number?
True
Let j(x) = 3*x + 5. Let n(f) = f. Let a(l) = j(l) - 5*n(l). Suppose 3*g = -t + 3*t + 4, 5*t + 19 = 3*g. Is a(t) prime?
False
Let x = -3 + 4. Is 83*2*x/2 composite?
False
Let j be (24/(-36))/((-2)/312 - 0). Suppose 4*g - 3*f + 8*f - 42 = 0, 3*g + 5*f - 34 = 0. Suppose 4*l + j = g*l. Is l a prime number?
False
Let x be 0/(2 + 1/(-1)). Suppose x = -5*l + 15, -5*a - l = -8*a. Is (-5)/(5/(-22)) + a prime?
True
Suppose 0 = -254*k + 250*k + 11276. Is k prime?
True
Let i(t) = -t**2 - 10*t. Let r be i(-10). Is 693 + (r - (-2 + 0)) composite?
True
Let a(b) = 1. Let r(s) = -221*s + 13. Let d(i) = 13*a(i) - r(i). Is d(1) prime?
False
Let t be (-3 + 2)*34/(-2). Suppose -2*l = t - 83. Is l a prime number?
False
Suppose z + 2*z = 66. Is z composite?
True
Let k be (-4 - 2)*(-2)/4. Let n(l) = 6*l - 3. Is n(k) a composite number?
True
Let i = -6 - -14. Let o = 18 + -12. Let z = i + o. Is z a prime number?
False
Let o(a) = -4*a + a**2 - a**2 - a**2. Let f be o(-4). Suppose 395 = 5*w - f*w. Is w a prime number?
True
Let l(u) = 36*u**3 + 2*u - 3. Let f(g) = -180*g**3 + g**2 - 11*g + 16. Let a(m) = -2*f(m) - 11*l(m). Is a(-1) prime?
False
Suppose 7 = s + 2. Suppose 0 = -s*q + 5*f + 35, -2*q = -4*f + f - 14. Is q a prime number?
True
Is 15405/33 + 4/22 prime?
True
Suppose 2*s + 9 = 5*s. Suppose 56 = 2*b + 2*z, -2*z = -s*b - b + 82. Suppose -l - 3*a = -3*l + 16, -3*l + 5*a = -b. Is l a composite number?
False
Suppose 0 = -d - 4*n - 3 + 276, -d = n - 288. Is d composite?
False
Let g = 41 - 20. Let n be (0 + -2 - -33) + 0. Let t = n - g. Is t a prime number?
False
Suppose 4*g - 2*r + 334 = -0*g, 0 = 5*g + 5*r + 455. Let l = -61 - g. Is l composite?
True
Suppose 0*s - 18 = -3*s. Let p = -6 + s. Suppose p*g + 92 = 4*g. Is g a composite number?
False
Suppose 4*d - 2*q - 13 = 3*q, -2*q = d. Let a = -1 - -5. Suppose 20 = a*n, -d*i + 25 = n - 2*n. Is i a composite number?
True
Let d(y) = y**3 - 2*y**2 - 5*y - 1. Is d(6) composite?
False
Let y be (-2)/(0 - -2) + 7. Suppose -185 = -y*d + d. Is d prime?
True
Suppose 0 = 2*t - 3*t + 15. Let z be (-1034)/(-10) - 6/t. Is (-2)/(-5) + z/5 composite?
True
Let b = -2452 - -3813. Is b a prime number?
True
Let r = 3927 - 1690. Is r composite?
False
Suppose 4*c = -2*p + 82, 119 = 3*p + 4*c - 0. Is p composite?
False
Suppose 0 = -a - l - 7 - 1, 0 = -4*a + 2*l - 14. Suppose -2*d + 18 = 2*m, -d + 20 = 2*d - 4*m. Let j = d - a. Is j prime?
True
Let l(d) = d**2 - 3*d + 2. Let g be l(2). Let b(f) = -f**2 + f + 1. Let h be b(g). Let i(q) = 85*q**2 + q - 1. Is i(h) composite?
True
Let v(h) = 13*h**2 - 6*h - 41. Is v(-18) a composite number?
True
Let g = 9 + -5. Suppose o + 5*j - 318 + 110 = 0, -3*o + g*j = -681. Is o prime?
True
Suppose -44 + 192 = v. Suppose -4*l = -96 - v. Suppose -l - 15 = -2*t. Is t a composite number?
True
Let b be 1 + (0 + -98 - 3). Let o = b - -151. Is o composite?
True
Let p = 7 - 16. Is (8 + -1)/((-3)/p) a prime number?
False
Let s = 79 - -32. Is s*-1*(-2)/6 composite?
False
Is 148398/36 + -3 - (-3)/(-18) composite?
True
Let o = -16 + -5. Is 39 - 7/(o/(-6)) a prime number?
True
Let s be (-2)/(-6) + (-3668)/(-21). Suppose s = t - 3*w, w = -w - 8. Is t prime?
True
Let g = 800 + -471. Is g composite?
True
Let t(v) = -v**2 - 9*v + 2. Let j be t(-4). Suppose 2*z = 4*a + 20, z = -z + 5*a + j. Is z prime?
False
Let o(f) = 19*f**2 + 2*f - 1. Suppose 4*s - 18 = t, -3 = -4*t - 4*s + 5. Let v be o(t). Is v + -1*4 + 2 a prime number?
False
Let s(f) = -f + 2. Let v be s(-2). Let a = -3 + v. Let o(l) = 145*l**3 - l**2 + 1. Is o(a) composite?
True
Is (2230/30)/(2/6) composite?
False
Let h(v) = v - 2. Let w be h(6). Suppose -u = -w*u + 381. Is u a prime number?
True
Is ((-11985)/(-21) - 1)*(-42)/(-12) composite?
True
Let d be ((-10)/(-4))/(4/8). Suppose 2*f + s - 280 = -22, d*f - 5*s = 615. Is f prime?
True
Suppose 2051 = 2*u + 5*u. Is u a prime number?
True
Suppose 9 = -2*u + 3. Let b be 260/8*(-1 - u). Suppose d - b = -28. Is d a composite number?
False
Let l(f) be the third derivative of -5*f**4/24 + f**3/2 - 4*f**2. Let r(n) = 2*n + 10. Let x be r(-8). Is l(x) a composite number?
True
Let z = -31 + 11. Let q be ((-264)/z)/(3/110). Suppose 0 = -3*w + q - 193. Is w a prime number?
True
Suppose 0 = -2*g + 4*j - 26, -4*g - 1 = -3*j + 26. Let s = 5 + g. Suppose -3*c + s*c + 14 = 5*t, 4*t = 5*c + 17. Is t a composite number?
False
Suppose 0*i = -i - 2*m + 14, 2*i + 5*m - 33 = 0. Suppose 5*v + 25 + 5 = 0. Let k = i - v. Is k prime?
False
Let a(i) = 170*i**2 + i - 1. Is a(-2) a composite number?
False
Let m(f) be the third derivative of -3*f**6/4 - f**5/30 - f**4/24 + f**2. Suppose -1 = -z - 2. Is m(z) prime?
True
Let n = 18 + -309. Is (-2)/(-3) + n/(-9) a composite number?
True
Let t = -43 + 177. Is t composite?
True
Let l = 26 + -21. Suppose -p + 2*p = -4*k + 255, l*k = 2*p - 523. Is p prime?
False
Let l = 4853 - 3316. Is l a prime number?
False
Let f(w) = 2*w**3 - 4*w**2 - 2*w + 3. Suppose -q - 12 = -4*q. Is f(q) a prime number?
True
Let p(w) = 579*w**2 - 2. Is p(-1) composite?
False
Is ((-2)/8)/(6 - (-287908)/(-47984)) prime?
True
Suppose 3*g - 2829 = -3*c, -4*g + g - 4*c + 2831 = 0. Is g a prime number?
True
Let o = 42 + -24. Let r = -11 + o. Is r a prime number?
True
Suppose 7*z = 2*z - 65. Let m = z + 9. Is 8/2 - (m + 2) prime?
False
Let n(b) = -b**2 + 4*b + 4. Let p be n(4). Suppose -2*z = -y + 91, -p*y - z = -0*z - 391. Is y composite?
False
Let w(z) be the second derivative of z**5/20 + 5*z**4/12 + 5*z**3/6 + 2*z**2 - 2*z. Let v be w(-3). Is (1*53)/(-6 + v) a prime number?
True
Suppose 2*o = -5*g + 71 + 66, 2*g = -o + 68. Suppose u - o = -u. Let i = u + 4. Is i a prime number?
True
Let v be 1 + 363 + 1/1. Suppose 0 = 4*b + b - v. Suppose 82 = f + r, -3*f + 2*r + b = -2*f. Is f prime?
True
Let a = -3 - -7. Let x be a/(-14) - (-8)/28. Suppose x*w - 635 = -5*w. Is w prime?
True
Let i be 4/6 - 28/(-3). Let t = 14 - i. Suppose 922 = -2*f + 6*f + 5*o, t*f = 3*o + 938. Is f composite?
False
Suppose h - 6*h - 33 = -w, 0 = 5*h - 5*w + 25. Let f be (h + 8)*(-1 - -1). Suppose -85 = -c - c - 5*z, f = -c - 4*z + 47. Is c a composite number?
True
Suppose k + q = -1 + 2, 0 = -5*k + 3*q - 19. Let x = -6 - k. Let z(r) = 15*r**2 + 5*r + 3. Is z(x) a prime number?
True
Let f(l) = 44*l - 3. Is f(5) prime?
False
Let u(x) be the second derivative of x**5/10 + x**4/8 + x**3/2 - x**2 - x. Let h(z) be the first derivative of u(z). Is h(-2) a composite number?
True
Suppose -t + 268 = 3*t. Is t prime?
True
Suppose -i + 13 = 5*o, 25 = -3*i + 8*i + 5*o. Suppose r - 5*j = 37 + 7, 0 = -2*r - i*j + 62. Is r a composite number?
True
Let a(i) = i**2 - i - 1. Let d(n) = n**3 + 8*n**2 + n - 9. Let f(v) = 2*a(v) + d(v). Let g be f(-10). Is (-4 + 3)*(-96 + g) a prime number?
True
Let x(h) = h**3 - 13*h**2 - 5*h. Let s be x(14). Let z = s - -3. Is z composite?
True
Let x be (-6)/8 + (-120)/(-32). Suppose x*v - 2080 = -181. Is v a prime number?
False
Suppose -4*a + 8*a - 19 = -y, 5*y - 11 = a. Suppose -2*m = -3*r + 3*m + 91, m = y*r - 107. Is r prime?
True
Let l be (-3)/5 - (-21)/(-15). Let p(a) = 76*a**2 - 2*a - 1. Is p(l) a composite number?
False
Is 2 + (-12)/(-4) - -860 prime?
False
Suppose j = o - 465, 5*o - 1842 = o - 5*j. Is o a prime number?
True
Let x(z) = -z + 15. Let a be x(9). Let j = a + -8. Let b(y) = -9*y**3 + y**2 - 3*y - 3. Is b(j) a composite number?
False
Suppose 0 = -5*y - r + 3591, -1369 - 1487 = -4*y - 5*r. Is y prime?
True
Suppose -29 = -o + 390. Is o a prime number?
True
Let i(m) = 4*m**3 - 6*m**2 + 2*m + 5. Let h be i(6). Suppose -4*d + h = d. Is d composite?
True
Let g be ((-1)/2)/((-3)/1236). Let w = g - 139. Is w a composite number?
False
Suppose -3*g + 2*j - 1101 = -5178, -2710 = -2*g + 4*j. Is g composite?
False
Let c(w) be the third derivative of -1/4*w**4 - 3