osite?
False
Let h = -3 - 6. Let s = 32 + h. Let x = 8 + s. Is x a composite number?
False
Let h = 43 + -29. Let m be (-320)/(-7) - (-4)/h. Suppose -3*j + m = n + 9, -4*n - 73 = -5*j. Is j a prime number?
True
Suppose 4*n - 5*h - 32 = 0, -4*h + 16 = -0. Is n composite?
False
Suppose 4*u + 4 = 3*m, 3*u - 2 = -3*m + 8*u. Suppose m*v + 0 = 8. Is v a composite number?
False
Let h be ((-35)/(-20))/(1/(-4)). Is h/3*-3*19 a prime number?
False
Is 419 - (7 - 3) - -4 composite?
False
Let m(h) = -27*h + 5. Let i = -1 + -3. Is m(i) a prime number?
True
Let h = 3 + -4. Let m be (-1)/h - (-1)/1. Suppose 4*a = -m*f + 144, a - 4*a = 2*f - 107. Is a prime?
True
Suppose -3*m + 27 = -2*j, 5*j + 81 + 9 = 3*m. Let v be (-1250)/14 + (-6)/j. Let g = v - -166. Is g prime?
False
Let v(x) = 11*x**2 - 3*x - 1. Suppose -h + 3*h = 24. Suppose -3*b + 2*i - 10 = 0, -h = -2*b + 6*b - 2*i. Is v(b) a composite number?
True
Let v = -8 - -5. Is 8*6 + 4 + v a prime number?
False
Suppose -o - 2*k = -2*o + 753, 2*o + 2*k = 1476. Is o prime?
True
Let n(l) = -l**2 + 13*l - 12. Let u be n(10). Suppose 5*x - 3*x - u = 0. Is x a composite number?
True
Suppose -3*j - 999 = -5*b, 3*b = -4*j + 266 + 345. Is b a composite number?
True
Let l(r) = 5*r + 1. Let s be l(5). Suppose -i = -123 - s. Is i a prime number?
True
Let p(u) = u - 7. Let a be p(-9). Is (307/4)/((-4)/a) composite?
False
Suppose 0*s = s. Let l be s + 0 - 0 - -10. Let a = 4 + l. Is a a composite number?
True
Let l = 538 + -207. Is l composite?
False
Let j be (0 - -3)*-1 - -156. Suppose -5*y = -2*y - j. Is y composite?
True
Let i(a) = 2*a**2 - 1. Let j be i(-1). Let h(k) = k**2 - k - 1. Let c be h(j). Is (-25)/c*2/5 a composite number?
True
Suppose 0*z = -2*z + 194. Is z a composite number?
False
Let d(l) = 2*l + 1 + 6 + 1 + 0. Is d(7) composite?
True
Suppose -4*z = -3*s - 22, 3*z = 5*z + 3*s - 2. Suppose -3*v = -3*o - 1 + z, 4*v = 3*o + 2. Is o composite?
True
Suppose -300 + 22 = -2*m - n, 443 = 3*m - 5*n. Suppose -5*s = -4*s - m. Is s a prime number?
False
Let r be -1 - 6 - (-1)/1. Is r/(-4)*-2 + 188 prime?
False
Let o be (-2 + -1)/(12/8). Is -2 + 363/(5 + o) composite?
True
Suppose 3*q = 2*w + 905, -4*w + 0 - 4 = 0. Is q a prime number?
False
Let y(p) = -2*p + 17. Let i be y(0). Suppose 532 = -13*g + i*g. Is g a prime number?
False
Let l = 241 + 456. Is l composite?
True
Is (1952/20 - 0) + (-3)/5 a prime number?
True
Is (1386/15)/(-7)*(-5)/2 a composite number?
True
Is 1/(-3)*-453 - 2 prime?
True
Let n(g) = g**3 + g**2 - 21*g + 6. Is n(11) composite?
True
Suppose 316 = k + k. Is k a composite number?
True
Suppose 2*l + 2*t = 9924, 4*t - 8308 = -3*l + 6577. Is l a composite number?
True
Suppose -4*g + 444 + 1288 = 0. Is (0 - -2 - g)/(-1) composite?
False
Is 2/9 + 18488/72 a composite number?
False
Let f(z) = 24*z + 20*z + 12 + 3*z - 8. Is f(5) composite?
False
Let l(c) = -c**2 + c. Let k(r) = -2*r**2 - r + 2. Let j(x) = -k(x) + l(x). Is j(-11) a composite number?
False
Let m = 6 + -4. Is 133 + 0/m - 2 a composite number?
False
Let p be -3 + 0 + 3 + -7. Let w(l) = 2*l**2 - 2*l + 3. Is w(p) composite?
True
Let r = 16 - 22. Let x(h) = -38*h + 2. Let t be x(r). Suppose -b + t = 4*b. Is b a prime number?
False
Suppose -2*j - 5*v = 16, -2*j + 3*v = j - 18. Let n be -4*(8 + j + -3). Is (-1379)/n - 1/4 composite?
True
Let m be (-8)/(-6) + 8/12. Suppose -m*r - 11 + 59 = 0. Let t = r - -19. Is t a composite number?
False
Suppose 6*l + 226 = x + 3*l, -3*x + 668 = -4*l. Suppose 0*v + x = 5*v. Suppose 4*o - v + 4 = 0. Is o a composite number?
True
Let x be (32/(-10))/(8/(-20)). Suppose 0 = 3*l - x*l + 190. Is l prime?
False
Let i(a) = 15*a**2 + 4*a + 4. Let u be i(-4). Let z = u - 69. Is z composite?
True
Let y = -4 + 6. Suppose 0 = -3*q - t + 5, -3*q + 3*t = -0*q - 9. Suppose -2*r = q*h - 6*h - 518, -516 = -y*r + 2*h. Is r prime?
True
Let w(z) = 29*z + 9. Let y(t) = 86*t + 27. Let l(p) = -17*w(p) + 6*y(p). Is l(10) composite?
False
Let w = -507 + 1423. Suppose 4*z - 568 = w. Is z a prime number?
False
Suppose 6*k - 756 = -198. Is k a composite number?
True
Let q = -6 - -9. Suppose 0 = -5*d - 2*j + 547, -j - 313 = -q*d - 6*j. Is d a composite number?
True
Suppose 4*w - 5*z - 2982 = 0, w + 3*z = -0*w + 737. Is w prime?
True
Let a be (-194 - -1) + 3 + -2. Let x = a - -269. Is x prime?
False
Let h(d) = -13*d**3 - d**2 + d. Let z be h(-3). Let b = z - 88. Is b a prime number?
True
Suppose 0 = 5*m - 2*m + 5*y - 91, 0 = -3*m - y + 71. Is ((-268)/(-6))/(m/33) composite?
False
Is (-2 + (-11845)/(-2))*2/3 a composite number?
False
Let p(m) = -m**2 + 15*m - 3. Is p(7) a composite number?
False
Let i(l) = -4*l**3 + 2*l**2 + 7*l + 9. Let j(g) = -3*g**3 + 3*g**2 + 6*g + 9. Let n(b) = -4*i(b) + 5*j(b). Is n(-6) composite?
True
Let l(q) = 7*q**2 - q + 1. Suppose 2 + 13 = 3*c. Suppose -2*n = -5*b - 3*n + c, -2*n - 2 = -2*b. Is l(b) prime?
True
Let g(v) = -3 - 1 + 6 - 2*v. Let k be g(2). Is 1 + k - -2 - -13 a prime number?
False
Let w(n) = -n**2 - 6*n + 9. Let m be w(-8). Let s = m + 28. Is s prime?
False
Suppose 3*k - 7*k = 20. Let i be 34/10 + 2/k. Suppose 2*d - 92 = d + 3*u, 2*u = i*d - 241. Is d a prime number?
False
Is (-1346)/(-5) + -3*1/15 a composite number?
False
Let t(s) = -s**3 - 21*s**2 - 15*s + 21. Let y be t(-17). Let u = y + 1413. Is u a prime number?
False
Let a be (-3)/((-6)/(-4)) - 7. Let m(d) be the first derivative of -d**3/3 - 5*d**2 + 6*d + 2. Is m(a) composite?
True
Suppose -m + 18 = -0*y + 5*y, 0 = -4*y + 4*m. Let q be 0 + 9/(-3) + 8. Suppose y*b - 5*s - 14 = 11, q*b = -s + 51. Is b prime?
False
Let s(c) = 2*c**2 - 8. Let u be s(5). Suppose -b + 232 = -u. Is b a composite number?
True
Let a = -4 - 4. Let h(u) = u**3 + 7*u**2 - 9*u + 6. Let p be h(a). Is (p/(-8))/(4/(-32)) a composite number?
True
Suppose 9 - 67 = -g. Suppose -4*l = -3*t - 8, 0*t = -3*t + 2*l - 4. Suppose -5*n - 3 + g = t. Is n a composite number?
False
Let f(s) = s**3 - 4*s**2 + 4*s - 1. Let d be f(3). Suppose -h = -5*x + 10, 7 = -d*x + 3*h - 2. Is 3/(x/44) - -3 prime?
True
Suppose 0 = r - 5*k - 426, k = 2*r - r - 406. Suppose 5*s - r = 3*p + 652, 5*s = 4*p + 1049. Is s prime?
False
Suppose -4*l = 3*c - 291, 4*l - 4*c = c + 251. Is l composite?
True
Let q(h) = -12*h**3 - 2*h**2 - h - 2. Is q(-3) a prime number?
True
Suppose -2*o + 2256 = -l, 2471 - 209 = 2*o - 4*l. Suppose 3*t + 107 = o. Suppose -4*d + q + t = 3*q, -4*d + 336 = q. Is d a composite number?
False
Suppose -5*l + 3*l = -806. Is l composite?
True
Suppose 0 = -5*g - 3*c + 6230, -2*g - 193 = c - 2684. Is g a prime number?
False
Let n = 1 - -4. Let m(x) = -x + 4. Let o be m(4). Suppose 0 = -n*h + 2*w + 33, o*w + 32 = 4*h + 4*w. Is h prime?
True
Suppose 0 = 12*f - 15*f + 4011. Is f a prime number?
False
Let m = 264 + 61. Suppose 3*l - m = -4*j, -3*l - l + 170 = 2*j. Is j a prime number?
True
Let m(z) = 3*z**2 + 2*z - 3. Suppose -5*o = 1 - 16. Suppose o*u = h - 10, 0 = 2*u + h + 10. Is m(u) a composite number?
False
Suppose 0 = j - 3*j + 78. Suppose -4*y + j = -y. Suppose -y - 8 = -d. Is d a composite number?
True
Let z(g) = -g**2 + 8*g + 23. Let y be z(10). Suppose 2*m + 0*k - 1050 = -4*k, -1542 = -y*m + 5*k. Is m prime?
False
Let n = 118 - 82. Let h = -21 + n. Is h composite?
True
Suppose 0 = 10*m - 13*m + 2397. Is m prime?
False
Suppose -4*k + 3*w + 345 = 0, -3*k + 240 = -0*k + 4*w. Let x = -59 + k. Is x composite?
True
Is ((-323)/(-4))/(18/72) a prime number?
False
Let u be (-530)/(-4) + 10/(-20). Let r = u - 53. Is r composite?
False
Let t = 411 - 250. Is t a prime number?
False
Let t(x) = -8*x - 20. Let r be t(-5). Suppose -2*a - a + 9 = 0. Suppose a*n - r = -5*g + 5*n, g + 13 = -3*n. Is g prime?
True
Let p(j) be the first derivative of -j**4/4 + 8*j**3/3 + j**2 + 5*j - 2. Is p(8) a prime number?
False
Let n(k) = 141*k**3 - k**2 - 3*k - 1. Is n(2) a composite number?
False
Let x = -99 + 170. Is x prime?
True
Suppose 5*m = -4*u + 8 + 5, -2*m + 15 = 3*u. Is u composite?
False
Let u be 30/4*(-8)/(-3). Suppose -u = -5*j, -p = -5*j - 0 - 1. Let s = p - -10. Is s composite?
False
Let l = -6 + 12. Let p be (-3 - 5)*l/8. Is p/9 + (-47)/(-3) a composite number?
True
Suppose 4*o = -5*p + 7, -1 = 3*o - 2*p - 12. Suppose 0 = 2*i + 4, 0*i - 5*i - 10 = -o*h. Suppose h = 2*f - 29 - 33. Is f prime?
True
Let o =