) be the first derivative of -l + 3/2*l**2 + 3. Is a(4) composite?
False
Let i = 7 - 4. Let j = 4 + 0. Suppose 0 = j*a + i*f - 196, -2*a - 2*f + 52 = -46. Is a a prime number?
False
Let o(t) = -t**3 + 8*t**2 - 3*t + 1. Let n(a) = 3*a**3 - 17*a**2 + 7*a - 3. Let p(v) = -2*n(v) - 5*o(v). Let b be p(-5). Let q = -16 - b. Is q prime?
True
Let l(k) = -157*k + 2. Is l(-1) prime?
False
Let u(j) = -23*j - 1. Suppose l + 0*l - 3 = 0, 5*l = 5*z. Suppose -3*i = -z*f - 27, -2*f = -3*i + 1 + 22. Is u(f) prime?
False
Suppose 20 = 2*n - 234. Is n a prime number?
True
Suppose 263 = 4*s - 5*m, s - 4*m - 71 = -m. Is s a composite number?
True
Suppose 3*p - 3*r - 13 - 11 = 0, 3*p - 5*r - 32 = 0. Suppose p*k - c - 2 = c, 6 = -3*k + 3*c. Is k a composite number?
False
Suppose 7*t - 4*t - 7737 = 0. Is t a composite number?
False
Let b(l) be the second derivative of -l**4/12 + 7*l**3/6 - l**2 - 3*l. Let v be b(5). Is 4/(v/(-6)) + 148 a composite number?
True
Suppose -3*o - 261 = -2*g, -4*g + 5*o = -2*g - 267. Suppose -304 = -2*s + g. Is s a composite number?
True
Suppose 7*p - 15 = 2*p. Suppose 0 = -p*t - 10 + 169. Is t prime?
True
Let z be 1*-4*(-15)/(-6). Suppose 2*b = -2*i + 148 + 10, -i = -3*b - 71. Let t = i + z. Is t a prime number?
True
Let g = 2444 + -1159. Is g prime?
False
Suppose 0 = -2*l - 5*w + 963, w - 3*w - 6 = 0. Is l a prime number?
False
Let g(u) = 37*u**2 - u + 23. Is g(-6) a prime number?
True
Suppose 6*p = 2*p - 2*v + 16, 0 = -4*p + 4*v + 40. Suppose p*h = h + 90. Let o = 44 + h. Is o composite?
True
Suppose 3*x = 424 + 1265. Is x composite?
False
Suppose 3*u - 6 = -0*u. Suppose u*o = -g, g + 4*g - 7 = -3*o. Suppose d + g*a = 66, -4*d + 7*d - 182 = -2*a. Is d a composite number?
True
Let m = -406 - -949. Is m a prime number?
False
Is 4/7 + 11672/56 composite?
True
Let r = -876 + 6163. Is r composite?
True
Let v(h) = 38*h**2 + h - 1. Let q be v(1). Let z = -13 + q. Suppose -4*r + 69 = z. Is r composite?
False
Let t(h) = 15*h + 0*h**3 - 8*h - h**3 + 2*h**3 - 8*h**2 - 13. Let r be ((-18)/(-8))/((-2)/(-8)). Is t(r) a composite number?
False
Suppose 5*j + o = -0*o - 8, -3*j + 3*o = 12. Let b be (-1)/j - (-5)/(-10). Suppose 3*d + 2*d - 425 = b. Is d composite?
True
Let j = 16 + 8. Let c = j - -71. Is c a composite number?
True
Let x be 15*(12/5)/3. Is x/28 + 410/7 a prime number?
True
Suppose -10*a = -13*a + 165. Is a a composite number?
True
Let f be (9/(-6))/((-6)/8). Is -53*f*(-4)/8 a prime number?
True
Suppose -3*v = -4*w - 3, -2*w + 2*v = 3*v - 1. Let g(t) = t**2 + t + 4. Let n be g(w). Suppose n*r - 3*r - 37 = 0. Is r prime?
True
Suppose -456 = -3*r - r. Let b(g) = g**3 - g**2 - g - 3. Let x be b(-4). Let m = x + r. Is m a composite number?
True
Suppose 3*l - 1029 = 714. Is l a composite number?
True
Let w = -286 + 975. Is w a prime number?
False
Suppose -5*a = 5*q - 915, -7*q + 6*q + a + 191 = 0. Is q prime?
False
Let c(x) = 6*x**3 - x**2 + 3*x - 1. Let f be c(2). Suppose -2*r - 63 = 3*m, 4*r + m = -72 - f. Is (-3)/(27/r)*3 composite?
True
Suppose 4*p - 9856 = -4*c, -5*p - 7139 + 19454 = 4*c. Is p a prime number?
True
Suppose 0 = 4*n + 1659 - 6239. Is n prime?
False
Suppose -n - 2*r - 2 = 0, 2*r + 1 = n + r. Is 0 - n - (-4 - 73) a composite number?
True
Is ((-452)/6)/(4*(-1)/30) composite?
True
Let q = -62 + 114. Suppose 3*t - 2*t - q = 0. Suppose m - 5*r - 50 = t, 5*m - 5*r = 410. Is m a prime number?
False
Let t(f) = f**3 + 3*f**2 - 1. Let z(l) = l**2 + 2*l + 3. Let n be z(-2). Is t(n) composite?
False
Suppose -n + f + 3 = 0, 2*n + 4*f - 6 = -0*n. Suppose n*k = 2*k + 113. Is k a prime number?
True
Suppose 5*x - 2*s = 1897, -2*x - 3*x - 2*s + 1913 = 0. Is x prime?
False
Is (3795/2)/3 - 135/(-90) a prime number?
False
Let j = -44 - -38. Let y(n) = 5 + 4*n**2 - 5*n + n**3 - 2*n**2 + 4*n**2. Is y(j) composite?
True
Is ((-8)/6)/((-12)/477) a composite number?
False
Let r = 53 - 37. Let u = 50 + -33. Let n = u + r. Is n prime?
False
Let k = 961 + -659. Is k a composite number?
True
Let c(y) = -y + 1. Let d be c(0). Let k be (2/(-3))/(2/(-6)). Let w = k + d. Is w a composite number?
False
Let a = 5 - 5. Let h be (a + -5)*(-330)/(-25). Let s = -40 - h. Is s prime?
False
Let s(k) = k**3 - 11*k**2 + 9*k + 12. Let y be s(10). Suppose 85 = 4*g - 195. Suppose c - y*r - 82 = -r, -c = 3*r - g. Is c a prime number?
True
Suppose -4*o = 2*f + 3 + 19, -3*f - 12 = 3*o. Let x be 0 + o + 2 + -2. Is (-4)/(-14) - 271/x composite?
True
Is 2*1*15951/26 composite?
True
Let t be 3338/6 + (-4)/(-6). Suppose 2*r = 4*y - r - 438, 5*y + r = t. Suppose -y = a - 4*a. Is a prime?
True
Suppose 4*i + 913 = k + 2*k, -5*k + 1537 = i. Suppose 4*v - 3*g - k = 9, 0 = -g. Is v a prime number?
True
Let g be (20/(-6))/(6/(-18)). Suppose g = 2*f, -f - 14 = 3*l - 5*f. Suppose l*j = 5*k + 4*j - 645, 5*j - 660 = -5*k. Is k composite?
False
Let f = 17 + -10. Is 887/f - (-4)/14 composite?
False
Suppose 0 = 2*d - 0*d. Is d/(-2) + 51 + -2 prime?
False
Suppose -a - 23 = 5*c, 6*c = 5*a + 2*c - 30. Suppose -a*f = -49 - 275. Suppose 5*l - f = 123. Is l a composite number?
True
Let x(z) = -77*z - 31. Is x(-6) a prime number?
True
Let w = -78 + 123. Let l be (-2)/9 - (-550)/w. Suppose l = 4*t, 80 = -5*n + 6*n - t. Is n prime?
True
Suppose 5*k - 81 = -3*t - 0*t, -5*t - 2*k = -116. Suppose 5*a = 3*a + t. Is a a composite number?
False
Let g(s) = s**2 + 5*s. Let j be g(-5). Suppose d - 16 = -3. Suppose -t + d + 54 = j. Is t composite?
False
Let m(q) = q**2 + 2*q + 2. Let s be m(-4). Is (-4)/(-20) - (-668)/s a prime number?
True
Let j = -96 - -139. Suppose 4*w + 3*d - j = 0, -5*w + 3*d - 2 = -76. Is w a composite number?
False
Let b(x) = 436*x + 7. Is b(1) a composite number?
False
Let k(s) = -s**3 - s. Let f(a) = 2*a**3 - 4*a**2 - 5*a - 6. Let p(d) = f(d) - k(d). Let x be p(6). Is x/4*(-8)/(-12) composite?
False
Let s(z) = z**2 + 4*z**2 - 2*z**2 + 8 + 11*z - 3. Is s(9) a composite number?
False
Let y = 869 - 7. Is y composite?
True
Let i be 1/(-3) + (-92)/(-6). Is 2148/i - 3/15 a prime number?
False
Suppose 0 = 8*f - 4*f - 4. Suppose -t + f = -2*t. Is (5*t)/((-3)/15) composite?
True
Let j = 339 - 70. Is j a prime number?
True
Suppose 0*p = 4*p + 16. Let f(r) = -r**3 - 3*r**2 + 5*r - 1. Let x be f(p). Let a(w) = -w**3 - 5*w**2 - 5*w - 6. Is a(x) prime?
True
Let m(s) = 23*s - 8. Suppose -4*j + b = -39, 2*j = -5*b + 3 - 0. Is m(j) prime?
True
Let t(w) = -390*w**3 + w. Let s(n) = n - 4. Let j be s(5). Let y be t(j). Let c = 550 + y. Is c a composite number?
True
Suppose -4*w + 175 = w. Suppose w = -0*y + y. Is y composite?
True
Let h be (-3432)/16*2/(-3). Suppose -h = -v + 488. Is v composite?
False
Suppose 10*q - 2961 = -471. Is q a composite number?
True
Let s be 1/(-1 - (-8)/10). Is s*2/(-4)*134 a composite number?
True
Suppose 442 = 4*j - 5*j. Let l = -257 - j. Is l prime?
False
Suppose -11*g + 30 = -6*g. Is ((-2)/g)/(1/(-1401)) prime?
True
Let s be 3/(-9) + 308/6. Is (3 + s/(-6))*-14 a composite number?
True
Suppose 5*z = -25, -k - 5*z + 1628 = 2*k. Is k a composite number?
True
Let i(l) = l**3 + 7*l**2 - 2*l - 7. Let r = -1 + -4. Is i(r) a prime number?
True
Suppose 6*z + 2*a = 5*z + 2229, -2*z = 2*a - 4466. Is z a prime number?
True
Is 0 + (-649)/(-4) + (-6)/(-8) composite?
False
Let j(a) = -a - 6. Let q be j(-9). Let o be 1/3 + 8/q. Is (39/(-6) - o)*-2 a composite number?
False
Suppose 334 = 3*t + 1180. Let l = t + 475. Let m = l - 108. Is m composite?
True
Suppose -5*r = -3569 + 1234. Is r a prime number?
True
Suppose 11716 = 4*i - 4*q, 3*q = -3*i + q + 8797. Is i prime?
False
Suppose -5*i - 5*f - 1 - 19 = 0, -4*i - f - 19 = 0. Let x be (-47)/i + (-4)/10. Is (-402)/4*(-6)/x a prime number?
True
Is 2/(1854/(-465) + 4) composite?
True
Suppose 474 + 174 = -4*f. Let p = -113 - f. Is p a composite number?
True
Is 1/(-4) + 3509/4 a prime number?
True
Let x be 4/18 + 426/27. Is x + (-1*4 - -3) a prime number?
False
Is (584/(-6))/((-8)/12) a prime number?
False
Suppose 2*q = 3*t + 10, 3*t = -t - q - 6. Let r be t/7 - (-625)/7. Is (-3)/(-6)*r*2 a prime number?
True
Suppose 1 + 3 = w. Suppose -v + 1585 = w*v. Is v a composite number?
False
Let a(m) be the second derivative of -35*m**3/6 - 3*m**2/2 + m. Suppose -5*q = 2*y + y + 19, -3*q - 3 = -y. Is a(q) composite?
False
Let r(w) = 30*w**3 - 2*w + 1. Is 