rue
Let n(m) = -m - 4. Let f be n(-2). Let l = f + 2. Suppose k - 2*k + 7 = l. Is k a prime number?
True
Let n = -1 - -9. Let h be 28/n*4*13. Suppose -d - d + h = 0. Is d composite?
True
Suppose -4*c - 193 = 5*k, 5*k + 5*c + 202 = 4*c. Suppose -u + 1 = 2. Is (-7)/(0 - u)*k composite?
True
Suppose 0 = -8*w + 884 + 1668. Is w prime?
False
Let i(b) = 45*b**2 - 3*b + 5. Is i(-3) prime?
True
Let o be 3/(-4) - 15/(-20). Suppose 13 + 1 = 3*t + x, 3*t = 3*x - 6. Suppose o = u - t*u + 28. Is u prime?
False
Suppose -x - 1110 = -0*x + 3*n, -2*n = -2*x - 2212. Let v = x - -1852. Is v composite?
True
Let f = 656 + -405. Is f prime?
True
Suppose 3*w = 2*w - 2*r - 8, 47 = -5*w - 3*r. Let b(m) = m**2 - 15. Let x be b(0). Is (-4959)/x + (-4)/w a composite number?
False
Let f be -2 + (2*-1 - -4). Let j be -4 - -1*(f + 2). Is j/(-6) - (-152)/3 a composite number?
True
Let d = 70 + -17. Is d a composite number?
False
Suppose -u + 191 = -0*u. Is u a prime number?
True
Suppose 3*x - 1839 = -612. Is x prime?
True
Let m(k) = 48*k**2 - 11*k + 6. Is m(7) composite?
False
Let n = -2385 + 4475. Suppose 2*h = -3*h + n. Suppose -h = -5*j + 297. Is j composite?
True
Suppose -5*s = -4*c + 4225, -c - 3*s - 2*s + 1050 = 0. Is c composite?
True
Let z(q) = -q - 1. Let m(r) = 73*r - 2. Let i(y) = m(y) - 3*z(y). Is i(1) prime?
False
Let j(v) = -v**3 + 8*v**2 + 10*v - 5. Let l be j(7). Suppose -5*q + l = -16. Is q a composite number?
True
Suppose -4*u = u + v - 462, 2*v = -2*u + 180. Suppose -u = -2*y + 77. Is y prime?
False
Let i = -1 - -27. Is i a prime number?
False
Let t be 1/(-2) + (-1179)/6. Is (t - -3)*(-1)/2 composite?
False
Let r be (-17)/(-3) - 1/(-3). Suppose -3*p = -r*p + 156. Suppose 2 = 5*n - 3, -5*n + p = m. Is m a prime number?
True
Let b be -2 + (-8)/(-2) - 3. Is b/3 + (-336)/(-9) composite?
False
Let w = -16 - -105. Is w a composite number?
False
Let x be 7 + 0 + 0 - -1. Let b be (-24)/3*x/(-2). Let s = b + 1. Is s composite?
True
Suppose 2*a = -2*k - 6, 2*a - 2*k + 0*k = 6. Suppose a = -2*h + h + 22. Is h composite?
True
Let j(o) = -o**3 - 3*o**2 + 4*o + 7. Suppose -2*p - 20 = 2*p. Is j(p) prime?
True
Suppose -m - 1 + 7 = -5*q, -4*q + 12 = 2*m. Suppose 8*r - 66 = m*r. Is r a composite number?
True
Let f(c) = 8 + c**2 - 1 + 11*c - c**3 - 17*c. Is f(-6) composite?
True
Let o(k) = k**3 + 7*k**2 + k - 2. Let q be ((-5)/(-4))/(2/(-8)). Let t be o(q). Suppose t + 31 = 2*i. Is i a prime number?
True
Let m(v) = v**2 + 7*v + 7. Let x be m(-6). Suppose -p - x = -3. Suppose 0 = -p*o + 454 - 120. Is o composite?
False
Let b(q) = 8*q**2 - 3*q - 6. Let j be b(-5). Let m be (-4)/(-18) - (-136)/36. Suppose m = -t + j. Is t a composite number?
True
Suppose -3*l = 2*l + 65. Let k(c) = c + 23. Is k(l) a composite number?
True
Suppose -5*g - 3*o + 593 = o, -3*g + 372 = -3*o. Is g prime?
False
Let v(t) = -3*t - t + 2 + 3*t + 16*t**2. Is v(3) a prime number?
False
Suppose 4*x = 678 - 1942. Suppose -t + 14 = -3*q + 4, 0 = -q + 2*t - 10. Is ((-2)/(-4))/(q/x) composite?
False
Suppose 799 - 4724 = -5*d. Is d composite?
True
Suppose -777 = -n + 4*n. Let m = n - -554. Is m a prime number?
False
Suppose 4*f - 1462 = -5*j - 0*j, 0 = 4*j + 8. Suppose 0 = -4*u + 8, -3*n = n - 3*u + 1018. Let v = n + f. Is v composite?
True
Let r(j) = -j. Let h be r(-6). Suppose x = 3*z + 277, -h*x - 3*z = -2*x - 1168. Is x composite?
True
Let n be 2/4 + 77/14. Let w be (16/12)/((-1)/(-3)). Is ((-4)/n)/(w/(-66)) a composite number?
False
Is (4 - 336)*(-5)/4 composite?
True
Let w = 11 - 7. Let j be (0 + -1 + 2)*w. Suppose 54 = 3*d - 3*x, j*x = d + 1 - 10. Is d a prime number?
False
Let c(k) = k + 1. Let j be c(2). Suppose -j*z = z - 580. Is z a composite number?
True
Suppose -4*a + 1679 = 3*y, -2*a + 5*y - 829 = -4*a. Is a a composite number?
True
Let m(w) = 2*w**2 + 535. Let r = 8 - 8. Is m(r) composite?
True
Suppose -4 = k - 4*k - 4*n, 3*k - 2*n = -20. Let o = k + -3. Let i = o - -17. Is i composite?
True
Suppose 5*y = 9*y - 1012. Is y composite?
True
Let y(x) = -x + 2. Let s be y(-4). Is (8 - s)*(-921)/(-6) a composite number?
False
Let s be 2/(-5) - (-27)/5. Suppose -s*x - 26 = 844. Let b = x - -261. Is b prime?
False
Let c be -14 + 6 - (0 + -2). Let n(m) = -m**3 - m**2 + 4*m + 1. Is n(c) a composite number?
False
Is (-3374)/(-16) - 9/(-72) composite?
False
Let z be 4/(-3)*21/(-2). Let p = z + 9. Is p prime?
True
Let a(z) = -20*z + 3. Let j be a(2). Suppose -4*y - 4*l - 16 = -2*y, 0 = y + 5*l + 2. Let u = y - j. Is u a prime number?
False
Let b = 3252 + -1283. Is b prime?
False
Let s be 1/(0 + 1/48). Let x = s + -108. Let y = -35 - x. Is y prime?
False
Let h be ((-16)/(-5))/(2/10). Suppose h = 4*x - 0*x. Suppose -l + 39 = -y, -x*l + 159 = l + 4*y. Is l a prime number?
False
Let c(b) = -b**3 + 16*b**2 + 11*b + 15. Is c(16) a prime number?
True
Suppose 0 = j - 2*j + 1693. Is j a composite number?
False
Is (3 + 1)*-1 + 417 a composite number?
True
Suppose 0 = a + 4, 5*a - 2 = y - 19. Let n = y + 7. Let g = n + 3. Is g a prime number?
True
Let c be (0 - 0/(-3)) + 0. Suppose -s - 3*z + 6 = -0, c = -5*s + 3*z - 60. Let p = 30 + s. Is p prime?
False
Let r(o) = o**2 - 5*o - 4. Let s = 9 - 3. Let b be r(s). Let f(c) = 5*c**2 + 3*c - 1. Is f(b) a composite number?
True
Let t(m) = -3*m - 4*m + m**2 + 4*m + 2. Let o be t(2). Suppose 0 = 5*w + r - 30, o = w - 6*w + 5*r + 60. Is w composite?
False
Let s = 346 - 207. Is s composite?
False
Suppose d - 2*d = 0. Suppose d = -5*u + 61 + 414. Is u a prime number?
False
Let p be (3/(-4))/(2/(-8)). Is 50 + (3 - (p + -1)) a composite number?
True
Suppose -2 = -3*i - 137. Is 4/(2 - 0) - i prime?
True
Suppose 4*v + 40 = 5*v. Is (-106)/(-10) + 16/v a prime number?
True
Suppose -u = -1 + 3. Is u/4*76/(-2) a prime number?
True
Suppose -5*c + 0*c + 12 = -3*x, 0 = -3*x - c + 6. Let w = 4 - x. Suppose w*m = -9, 3 = k + 2*m - 2. Is k prime?
True
Suppose 0 = 5*k - v - 58, 3*v - 34 - 12 = -5*k. Is k prime?
True
Let j be (24/9 + 0)*-3. Let z(i) = -i**3 - 7*i**2 - 2*i + 5. Let r be z(j). Suppose r = 3*m - 488. Is m a composite number?
False
Suppose -2*w + 8 = -16. Let t be w/(-28) + (-9)/(-21). Is 98 - 1 - t/(-7) prime?
True
Suppose 2*l + 35 = -3*l. Let b = l - -5. Is b/(-8) + 300/16 composite?
False
Let o(t) = 138*t**3 - 2*t**2 + 1. Let z be o(-1). Is (6 - z) + -2 + 0 a composite number?
True
Suppose -5*k = -5*n - 20, -n + 0*n = -5. Let o(d) = d**2 - 6*d - 4. Is o(k) a composite number?
False
Is 2*2 - (-4 + -29) composite?
False
Suppose 18 = -3*p + 7*p - 2*a, -3*a = 3*p - 27. Let n = p + -1. Suppose 0 = 6*g - n*g - 55. Is g a prime number?
False
Is 4/(24/6850) + 12/(-18) prime?
False
Let g(m) = -m**2 - 13*m + 1. Is g(-10) prime?
True
Let f(h) = -h**3 - 6*h**2 - 5*h - 2. Let n be f(-4). Is (-4)/n - 122/(-14) a prime number?
False
Let g = 0 + 5. Suppose -2*f - 4 = -f. Is (f/g)/(4/(-290)) a composite number?
True
Suppose -y + 47 = -462. Is y a composite number?
False
Suppose 5*w - 96 = w. Let c = -1 + w. Is c composite?
False
Suppose 0 = 4*g - g. Suppose g = -0*t - 2*t. Suppose -2*h - h + 201 = t. Is h composite?
False
Suppose -5*o + 2 = -133. Let w = 292 + o. Is w a composite number?
True
Let p(v) = v + 55. Let n(i) be the third derivative of i**5/60 + i**4/4 - 7*i**3/6 + 2*i**2. Let k be n(-7). Is p(k) a prime number?
False
Suppose 2*v - 10 = -3*k, -9 = -5*v - 3*k - 2. Let d = 8 + v. Is d a prime number?
True
Let g = -2 - -2. Let i(j) = j + 4*j + 55 - 4*j. Is i(g) composite?
True
Let b(n) = 23*n**3 - 10*n**2 + 20*n - 11. Is b(6) prime?
False
Let a = -79 + 338. Is a a prime number?
False
Let u = 2 + -2. Suppose u*c + c = 217. Is c prime?
False
Let k(a) = a**2 - 5*a + 2. Let r be (-3)/12 + 21/4. Let s be k(r). Is (-1 - -2)/(s/74) a composite number?
False
Let z be 1/(4/(-12)) + 17. Let c be ((-6)/4)/((-1)/(-2)). Is (z/6)/(c/(-45)) a prime number?
False
Suppose 5*s - 490 = 2*w, -4*s = -w - 9*s - 215. Let o = 446 + w. Is o a prime number?
True
Suppose p = -4*p. Suppose p = -4*i - 7 - 25. Let h = i + 23. Is h composite?
True
Suppose 4*m + 0*m = 120. Suppose 0*p - m = -3*p. Is p composite?
True
Let c(k) = -2*k**3 + 9*k**2 - 8*k - 4. Let n be c(6). Let q = 227 + n. Is q prime?
True
Suppose 0 = -3*f - 3*o + 915, -f + 4*o = -4*f + 910. Is f/4*(-4)/(-5) prime?
False
Let p = 2860 - 1611. Is p composi