. Suppose -y*k + 18 = -c, -3*k - 5*c = -i + 8. Is k composite?
True
Let y = -310 - -586. Let q = y - 133. Is q composite?
True
Let x = -13 + 18. Suppose 116 + 114 = x*q. Is q a prime number?
False
Let k = 10 + -7. Suppose 14 = a - 4*l, -k*l - 9 + 0 = -a. Is a/(-9)*(-9)/(-2) a prime number?
True
Suppose 4*o = -12, -3*o - 100 = -5*q - 8*o. Let b = q + 42. Is b a composite number?
True
Let l(h) = h + 7. Let n be l(-7). Let f be -2 + 9 + 1 + n. Let x = f - -7. Is x a composite number?
True
Let w(r) = 20*r**2 - 4*r + 5. Is w(5) a prime number?
False
Let p be 4/10 + 104/65. Suppose m - p*m = -481. Is m prime?
False
Suppose 4*i - 5*d = 259, 4*i + 3*d - 456 = -157. Is i a prime number?
True
Let l = -182 - -316. Is l prime?
False
Suppose -3*l + 46 = 5*g + 3, 0 = -5*l - 2*g + 40. Suppose i - 565 = l*i. Let q = i + 204. Is q a composite number?
True
Let z = -3 + -13. Let j = 8 + z. Is (-54)/(-8) - 2/j a prime number?
True
Suppose -4 = -4*b + i, -3*b + i + 1 = -1. Suppose -1 = -b*t + 5. Suppose -2*m = -t*m + 15. Is m a composite number?
True
Let j(y) = y**3 + 12*y**2 - y - 1. Is j(-9) a composite number?
False
Let w be 8/(-6)*117/(-2). Let c be (-4)/6*w*2. Is -1*(-1 - c)*-1 a composite number?
False
Is 6/(-9) + (-202)/(-6) prime?
False
Let x = -10 + 6. Is (4*10/x)/(-1) composite?
True
Suppose 7*s = 3568 + 5861. Is s composite?
True
Suppose -1 = -3*s + 5. Let x = 10 - 5. Suppose d + v = 33, -4*v = x*d - s*d - 95. Is d a composite number?
False
Let j(s) = -9*s**2 + 9*s - 2. Let z be j(6). Is z/(-6) - (-4)/6 prime?
False
Let p = 4 - 5. Let x be (-6)/7*(p + -6). Suppose c - x*c = -155. Is c prime?
True
Suppose 4*c = g + 1005, 5*g - g = c - 255. Is c composite?
False
Let g(i) = -i**2 - 4*i - 1. Let w be g(-3). Suppose -33 = w*l - 3*l. Is l a composite number?
True
Suppose -2*s - n - 775 = -5*s, 785 = 3*s + 4*n. Is s a composite number?
True
Let z be (-6)/(-39) - (-736)/(-52). Let g(i) = -i**2 + i + 33. Let m be g(0). Let a = z + m. Is a composite?
False
Suppose -2*x + 462 + 134 = 0. Is x a prime number?
False
Let r = 7 + -5. Suppose 18 = r*v - 168. Is v a composite number?
True
Suppose 8219 = 4*j + 447. Is j composite?
True
Let b be (-10)/(-45) + (-1672)/(-9). Suppose -t + b = -107. Is t prime?
True
Suppose -5*q = -10*q + 25. Suppose -f - 8 = -3*s + 2*s, 60 = 5*s + q*f. Is s composite?
True
Let r be (18/(-15))/(3/20). Let p be (-35)/(-4) - 2/r. Suppose -d + 0*t + p = t, -3*d + 31 = 5*t. Is d prime?
True
Suppose 4*f = o + 103, 2*o - 4*o - 31 = -f. Suppose 0 = -5*k + f, -63 = -j - k + 69. Is j composite?
False
Suppose 3*f - 57 = 33. Let g be ((-24)/(-10))/(9/f). Is ((-38)/g)/((-7)/28) a prime number?
True
Is (5/15)/(4/60252) composite?
False
Suppose 0 = 5*x - 4*g + 324, -3*g + 2 - 14 = 0. Let t = x - -283. Is t composite?
True
Let j(n) = -41*n + 3. Let c(r) = 81*r - 6. Let x(g) = -2*c(g) - 5*j(g). Let m be x(2). Suppose -5*u - 87 = -o, -o + 3*u + m = -0*o. Is o a prime number?
False
Let v = -41 + 27. Let x = 35 + v. Is x composite?
True
Is (-3847)/(-6) + (-2)/12 prime?
True
Let q(l) = -132*l - 29. Let d(v) = 33*v + 7. Let o(r) = -9*d(r) - 2*q(r). Is o(-4) prime?
True
Let x = 1382 + -195. Is x a composite number?
False
Let o be (-4)/(-12) + 566/(-6). Let f = o + 384. Suppose -2*g = z - 94, -4*g + 4*z + f = 102. Is g a composite number?
False
Suppose 0*i - 276 = -2*i. Let b = 163 + i. Is b a composite number?
True
Suppose 5*w = 4*i + 61, 3 = w + 2*i + 2. Let r be 1*(1 - w - 1). Let j = 19 + r. Is j prime?
False
Is (-3785)/(-6) + (-2)/(-12) a composite number?
False
Let d be 4/6*15*1. Suppose 0 = -3*z - 8*f + 4*f + 20, -2*z + 5 = f. Suppose -g + z + d = 0. Is g a prime number?
False
Let k(u) = 2*u - 7. Let p be k(5). Suppose 0 = -4*l + 2*o + 3*o + 547, -700 = -5*l + p*o. Is l composite?
True
Let j be (3*(-6)/9)/(-1). Suppose -s + 27 = j*s. Let k(f) = 3*f + 6. Is k(s) a prime number?
False
Let l be (-2)/8 - (-33)/(-12). Let w(z) = -4*z**2 - z. Let b(f) = -13*f**2 - 4*f - 1. Let h(c) = l*b(c) + 8*w(c). Is h(-2) a composite number?
False
Suppose -5*x + x = 8. Suppose -2*s = s. Is -23*(s + 2/x) a prime number?
True
Suppose l + u + 9 = 4*l, -4*u + 12 = 4*l. Suppose l*w + 4 = 10. Suppose h - w*h = -19. Is h a prime number?
True
Let g(t) = 46*t**2 + 3*t - 4. Is g(3) a composite number?
False
Suppose -2*n + 1 = -3*n. Let k(t) = -17*t**2 - 6*t + 4. Let u(b) = -b**2 + b - 1. Let z(p) = n*k(p) - 6*u(p). Is z(2) composite?
True
Suppose 2*s + 4 = b + 3*s, 4*b - 3*s = 2. Suppose b*a = 39 + 27. Is a composite?
True
Let o be (-49 + 2*-1)*-1. Suppose -d - o - 4 = -3*h, -2*d - 110 = -2*h. Is (0 - 1) + (-5 - d) composite?
True
Let r(d) = -126*d - 6. Let o be r(-6). Let i = o + -119. Is i a prime number?
True
Suppose 91 = -2*r + 161. Let u = -28 + 18. Is (-46)/(-14) + u/r composite?
False
Suppose -p + 2*p = 0. Suppose p = -5*z + 14 - 34, z = -5*y + 271. Is y a prime number?
False
Let i(r) = -r**3 - 4*r**2 + 6*r - 5. Let m be i(-5). Let p = 10 + m. Suppose p*k + k = 3*n + 46, 2*k - 71 = -n. Is k composite?
False
Suppose 8*a - 14602 = -6*a. Is a a composite number?
True
Let y = 47 - 79. Let a = -199 + 108. Let m = y - a. Is m composite?
False
Let g(i) = i**3 + 7*i**2 + 5*i - 3. Let m be g(-6). Suppose 0 = -5*y + 5*k + 1570, y = -m*k + 29 + 269. Is (y/15)/(2/3) a composite number?
False
Let c = 8 - 6. Suppose -q = 4*b - 456, -b - 107 = -c*b - 2*q. Is b a prime number?
False
Let v(d) = 3*d**2 - 1. Let c(j) = 4*j**2 + j - 2. Let s(w) = 2*c(w) - 3*v(w). Let u be s(1). Suppose 4*q + q - 235 = u. Is q a composite number?
False
Let u(o) = 20*o - 29. Is u(14) a prime number?
True
Suppose 5*x = 5*r - 40, -r - 1 - 3 = 2*x. Suppose r*d - 172 = -0*d. Is d composite?
False
Let c be 0*(3 + 7/(-2)). Suppose a + 2*w - 6*w - 243 = c, -2*a + 3*w = -496. Is a a prime number?
True
Let f(b) = -b**3 - 7*b**2 - b. Let r be f(-7). Let i(c) = c**2 - 7*c + 6. Let v be i(r). Suppose -v*j + 2*j + 260 = 0. Is j a prime number?
False
Suppose 5*o + 5 = 5*a, a = 3*o - a + 2. Suppose o = 5*l - 123 - 62. Is l a prime number?
True
Let i = -6 - -21. Suppose -3*z + 66 = i. Suppose 370 = 3*j - z. Is j composite?
True
Let o = 7 - 5. Suppose -755 = -7*c + o*c. Suppose 4*h - 592 = -2*n, -h + c = -2*n + n. Is h a composite number?
False
Let k(z) = 66*z + 11. Is k(5) composite?
True
Suppose 0 = -5*r + 2*r - 5*j + 229, 5*j + 103 = r. Is r prime?
True
Let f = 11 + -8. Suppose 0 = -f*w - 4*h + 863, -3*w = -0*h + 2*h - 871. Is w composite?
False
Let v be ((-2)/3)/((-2)/3). Let n = -15 + 12. Is (76 - 6/n) + v prime?
True
Suppose u = -4*h + 40, 5*h - 3*u - 25 = 2*u. Is h composite?
True
Let i = 516 - 367. Is i a prime number?
True
Let c(k) = -207*k - 17. Let i be c(5). Let w = -345 - i. Is w a prime number?
False
Let a be (-8)/5*(15 + -5). Let v be (-9)/(-15) + 446/(-10). Is (v - 0)*20/a composite?
True
Let k be (5 - (2 - 1))/2. Is 3*((-8)/(-6) + k) prime?
False
Is (124/6)/(6/27) a composite number?
True
Let l(d) = -11*d - 12. Let x be l(-8). Let z = -42 + x. Is z a composite number?
True
Is 330 - (-1 - (2 + -4)) a prime number?
False
Let t be 2/4*(-48)/(-3). Let x = 51 - t. Is x prime?
True
Let l(f) = -10*f + 7. Is l(-5) prime?
False
Suppose -2*z - 2*z + 676 = 0. Is z prime?
False
Let c(t) = 1247*t**3 + t**2. Let m be c(1). Suppose -5*w + 3142 = 3*z, 2*w = -3*z + 4*z + m. Is w/3 - (-1)/3 prime?
False
Let f(z) = -23*z**3 - z**2 - 8*z - 23. Is f(-3) prime?
True
Suppose 3*b - 873 = -3*l, -3*b - 3*l + 869 = 2*l. Is b prime?
True
Let k = 18 - 19. Is 3 + (k - -3)*193 composite?
False
Let o(y) = -y**2 + 581. Let w(r) = r - 7. Let n be w(7). Is o(n) a prime number?
False
Let w(i) = 98*i**2. Let t be w(1). Suppose 3*c - 67 = t. Is c prime?
False
Suppose 4*u = -5*n + 1075, 0 = -0*n - 3*n - u + 638. Is n prime?
True
Suppose g = 4*g. Let y(f) = f**3 + 10. Let r be y(g). Suppose -5*m + 45 - r = 0. Is m prime?
True
Let l = 1220 + -816. Suppose y - l = 93. Is y prime?
False
Let c = 305 - -29. Is c a composite number?
True
Suppose 0 = 5*t - 15, -4*p = p - 3*t - 2101. Suppose -3*b + 5*a + 306 = -p, 0 = 5*b - 2*a - 1245. Is b a composite number?
False
Let o be (-2)/(-4) + (-287)/(-14). Is 6/(-21) - (-6159)/o composite?
False
Let p = -1718 - -2571. Is p a prime number?
True
Suppose 0 = 2*a - 7*a + 22465. Is a prime?
True
Let a = -1258 + 624. Is a/