+ l = 0. Is r prime?
False
Suppose 3*v + 266 = 2*g, g + 4*g = -5*v + 615. Is g a prime number?
True
Let m(p) = p**3 - 12*p**2 + 13*p - 17. Is m(12) a prime number?
True
Let c be 3 + -2 + -3 - -3. Let b(s) = 83*s**2 - s + 1. Is b(c) a composite number?
False
Suppose 3*a + 899 = t, a = -2*t - 3*t + 4431. Is t a composite number?
False
Let b(u) = -u**2 + 2. Let h be b(2). Suppose -4 = -i + 2*i. Is h/i + 116/8 prime?
False
Is ((-573)/6)/1*-2 a composite number?
False
Let b = -706 + 1227. Is b prime?
True
Let p(i) = -i**3 - 6*i**2 - 5*i. Let s be p(-5). Suppose s = 2*k - 143 - 9. Suppose -7*y = -3*y - k. Is y prime?
True
Suppose 5*n - 2*i - 10 = -0*i, 4*n - 2*i - 8 = 0. Let h(k) = -2*k**3 + k + k**2 + 4 - 2*k**2 - k**n. Is h(-3) prime?
True
Suppose -17*z = -3*z - 938. Is z prime?
True
Let k(a) = -6*a**3 - 7*a**2 - 7*a - 27. Is k(-5) composite?
True
Let l(s) = 149*s**2 + 4*s + 4. Let g(q) = 149*q**2 + 3*q + 3. Let u(b) = 5*g(b) - 4*l(b). Is u(-1) a prime number?
True
Let k be ((-2)/6)/((-2)/24). Let y(s) = -s**3 + 5*s**2 - 3*s + 2. Let u be y(k). Is 2/3 - (-74)/u prime?
True
Let d = 148 + -77. Is d a composite number?
False
Let w = -34 + 38. Let s be -4 - (0 + 2/(-2)). Is 6/w*(-74)/s a composite number?
False
Suppose -3*q + 0*k - 3 = -3*k, 2*k = 0. Let x be (0/(0 + -1))/q. Suppose x = 4*i - 150 + 2. Is i prime?
True
Is ((-1884)/3)/4*(0 - 1) composite?
False
Let c be 1 + 3/(9/(-33)). Let q = c - -10. Suppose v - 47 = 5*o, -2*v + q*v = -3*o - 108. Is v prime?
False
Suppose 3*s + 3 - 12 = -3*q, 9 = 4*s + 3*q. Suppose s = -7*x + 4*x - 9. Let m = 44 - x. Is m a composite number?
False
Let t(c) = c**2 - c + 191. Let b = 10 + -8. Suppose 0 = -j + b*j. Is t(j) prime?
True
Let n(q) = -2*q - q**2 - 2*q**2 - 9 + 9*q**2 + q**3. Let y be n(-6). Suppose -2*v = y*v - 30. Is v a composite number?
True
Suppose 7408 = 2*d + 4*f, -4*d + 18465 = d - f. Is d a composite number?
True
Let q be 2/6 + (-4105)/(-15). Let d = q - -197. Is d prime?
False
Suppose -g + 23 = -2*b - 35, 0 = -4*b + 5*g - 104. Let p = 78 + b. Is p a prime number?
True
Suppose -6*o - 3 = -3*o. Let n be -2 - (2 + o - 1). Is (-1884)/(-28) + n/7 prime?
True
Suppose 0 = 3*y - 126 - 1401. Is y a composite number?
False
Suppose -p - 732 = -5*p. Suppose -k + 28 = -p. Is k prime?
True
Let l be 4 + 0 + 5/(-1). Is 3/l*1465/(-15) a prime number?
True
Let f(a) = -a + 125. Suppose 3*g - 8*g = 0. Let s be f(g). Suppose 0 = 2*x + 2*j - 128, 4*x - 2*x + 3*j = s. Is x composite?
False
Let u = 81 + -22. Suppose -u = 5*q - 6*q. Is q composite?
False
Suppose 357 = -0*p + 3*p. Let g = -40 + p. Is g a composite number?
False
Let z(p) = -p**3 - p**2 + 7*p - 6. Let c be z(4). Let x = 104 + c. Is x composite?
True
Let y(k) = -k - 95. Let l be y(0). Let q = l - -298. Is q a composite number?
True
Let p(h) = -5*h**3 - 2*h**2 - 2*h - 1. Let z be p(-1). Suppose z*m = -381 + 1897. Is m composite?
False
Suppose -2218 = 3*f - 8*f - 3*v, 2*f = -2*v + 888. Is f a prime number?
True
Let m be 1*(0/(-4))/3. Suppose -4*h + 0*h + 382 = 5*z, m = -4*z + 8. Is h a composite number?
True
Suppose -8*z + 2*z + 5754 = 0. Is z a composite number?
True
Let s(p) = 4*p + 7. Is s(4) prime?
True
Let t = -240 + 549. Is (-6)/1*t/(-6) a composite number?
True
Suppose 22 = -3*u + 613. Suppose 5*g - 3*y = 391, 5*g - u = -4*y + 180. Is g prime?
False
Let k(g) = 20*g**2 - 4*g + 2. Is k(2) composite?
True
Let x(c) = -4*c - 35. Is x(-22) a composite number?
False
Let s be ((-3)/(-3))/((-1)/(-93)). Let q be (-2)/(-9) + (-60)/27. Let z = q + s. Is z a composite number?
True
Let v = 8 - 3. Suppose 4*a - 175 = -v*c + 292, -a + 133 = -2*c. Is a prime?
False
Let f be (-1 - -2)*(-5 - 1). Is (140/6)/(f/(-9)) a composite number?
True
Let r(o) = o**2 - 9*o + 2. Suppose 2*n = 5*i - 4*i + 20, -10 = 5*i. Let y be r(n). Is y + -466*(-1)/2 prime?
False
Let a(c) = 2*c + 9*c**2 + 5 + 2*c**2 - 2*c**2 + c**2. Is a(-4) a composite number?
False
Let r = 1569 + -880. Is r composite?
True
Let r = 12 - -1. Let y = r + -9. Suppose y*a - 50 = -a. Is a a prime number?
False
Suppose -k - 5*t = -21 - 7, -2*t = -2*k + 116. Is k a prime number?
True
Suppose y - 29 = -5*k - 6, -5*y + 3*k + 3 = 0. Suppose 15 - y = -4*n. Let h(g) = -2*g**3 + 4*g**2 + 5*g + 4. Is h(n) a composite number?
False
Let c = 183 + 398. Suppose -q - c + 121 = -3*p, 2*q - 320 = -2*p. Is p a composite number?
True
Suppose -4*c - 12 = -2*x, -5*x + 3*c = -3*x - 12. Suppose -5254 + 1444 = -x*f. Is f composite?
True
Let v(b) = b**2 + 8*b + 1. Let s be v(-7). Let o(f) = -5*f**2 + 97*f - 41*f - 52*f - 8 - f**3. Is o(s) prime?
False
Let b(u) = -u**2 - 32*u - 2. Is b(-17) a composite number?
True
Let l(n) = n - 5. Let a be l(5). Let g be (-4 + a - -2) + 2. Suppose 3*z = 2*h - 31, g*h = 4*h + z - 55. Is h composite?
True
Let h = 3 - -2. Suppose -h*a = -239 + 64. Is a composite?
True
Suppose 0 = -3*r - 5 + 20. Suppose -3*t + 93 = -r*l, 0 = 5*t - 2*l + 6*l - 155. Is t a composite number?
False
Let t = -24 + 14. Let n be 3/(0/(-4) + -1). Is (-5)/(t/112) + n a composite number?
False
Let k = -696 + 1669. Is k a composite number?
True
Let l(v) = 1727*v**2 - 4*v + 5. Is l(2) a prime number?
False
Suppose -5*z = -2*m + 98 - 1349, 4*m = -z + 237. Is z prime?
False
Let o(v) = -v**3 - 7*v**2 + 8*v + 12. Let f be o(-8). Let u(w) = w**3 - 12*w**2 - w + 16. Let p be u(f). Suppose p*s - 5*s + 55 = 0. Is s a prime number?
False
Suppose 4*s = -3*g + 74, -2*g = -4*s + 3*s - 31. Let a = 47 + g. Is a composite?
True
Let o be (-4)/(16/(-3))*4. Suppose t + 5*g - 75 = 0, -4 = t - o*g - 87. Suppose -d - 3*i + i = -17, -4*i = -4*d + t. Is d prime?
True
Suppose -2*o + 5*g + 740 = 2*o, 0 = -3*o - 3*g + 555. Is o prime?
False
Let c = -515 - -769. Suppose 0 = -5*t + c + 11. Is t composite?
False
Suppose -10 = -2*m - 3*m. Suppose -3*q - m*q + 235 = 0. Is q a composite number?
False
Let c(x) be the second derivative of x**4/12 + x**3/3 - 3*x**2/2 - x. Let a be c(-4). Suppose 3*i - 5*t - 144 = 203, 0 = -a*t + 10. Is i composite?
True
Suppose 75 = 5*r - 5*c, -5*r + 2*r = -4*c - 48. Suppose -4*h = 0, -9 = -3*v - 0*h - 5*h. Suppose -2*x = -b + 1 - v, -3*x - 3*b + r = 0. Is x a composite number?
False
Let i(g) = -2*g**3 - 7*g**2 - 3*g - 1. Let d be -2 - (-1*24 - -2). Suppose 0*h = -4*h - d. Is i(h) prime?
True
Let h = -286 - -783. Is h a composite number?
True
Suppose 1 = -3*l + 19. Is l composite?
True
Suppose -4 = -2*p + 4*p - 4*t, -1 = -t. Let r be 1*p/(2 + -1). Suppose -2*a + 13 - 1 = r. Is a a prime number?
False
Suppose -2*j = 3*h - 249, -3*h - 4*j - 50 = -299. Let o = 2 + h. Is o a prime number?
False
Let u(d) = 43*d + 35. Is u(8) prime?
True
Let w = 1376 + 275. Is w prime?
False
Let c be 26/10 + (-2)/(-5). Suppose 5*y - 3*q - 98 = 0, 7*y + c*q - 73 = 3*y. Is y prime?
True
Let a(r) = r**3 + 3*r**2 + 2. Let b be a(4). Let o be -1 - -1 - b/(-3). Is o - (0 + (1 - 0)) composite?
False
Suppose -3*r + 3009 = -4728. Is r composite?
False
Is ((-26614)/(-14))/(-2 - -3) a prime number?
True
Suppose -3*f = 2*o - 491, 2*f = -2 - 0. Is o prime?
False
Is (-2253)/(-2)*8/(-120)*-10 a prime number?
True
Suppose 225 = -3*s - 0*s. Let v = s - -128. Is v a composite number?
False
Suppose 3*o + 4*g = -0 + 4, -3*o - 3 = -3*g. Suppose o*u = 4*u - 644. Is u a composite number?
True
Suppose 2*k - k = 4*v + 267, -4*k + 5*v = -1046. Is k composite?
True
Let i = 761 - 324. Is i composite?
True
Let v(y) = -y + 9. Let o be v(5). Suppose o*h - h - 4*q - 75 = 0, 0 = -3*h - q + 75. Is h composite?
True
Let a = -4 + 195. Is a a composite number?
False
Suppose 5 = 3*z - 10. Suppose -y - 844 = -z*y. Is y a composite number?
False
Suppose -2*i - 5*c + 2949 = 0, -5*c = -4*i - 10*c + 5903. Is i a composite number?
True
Let o = 3 + -7. Let i be (-6)/12 - 10/o. Suppose 186 = -0*s + i*s. Is s a composite number?
True
Suppose 0 = 4*c - 3 - 9. Suppose -p - c*b - b = -18, 25 = 5*b. Is (-310)/(-8) - p/8 a prime number?
False
Suppose -4*h - 25 = 3*o + 1, 4*o - h + 3 = 0. Suppose 4*f - 4*q + 7 = 3*f, 2*q = -2*f + 16. Let g = o + f. Is g a prime number?
True
Is 40/(-10)*211/(-4) composite?
False
Suppose 0 = -4*d - d + 310. Is d prime?
False
Suppose 2*g - 5*j = 1361, 5*g = 4*j - 906 + 4317. Is g a composite number?
False
Let u = -362 - -1549. Is u prime?
True
Let g(b) = b + 8. Suppose 0*c + y + 55 = -