 b + 136, -4*m = -3*m + b - p. Is m a prime number?
True
Let i(x) = x**2 - 4*x - 3. Let d be i(5). Suppose -5*b - 10 = 0, -129 = -p + b - d*b. Is p composite?
False
Let i = -14 - -307. Is i composite?
False
Suppose 12 = 4*m - 5*g, -4*m = -9*m + g + 15. Let c be (-558)/m*(0 + -1). Let b = c + -109. Is b a composite number?
True
Suppose 20 = 5*c, -50 - 302 = -4*l - 5*c. Is l a prime number?
True
Suppose -220 = -3*m + 2*m - 3*l, 0 = -2*m - 2*l + 432. Is m prime?
False
Let h(f) = 98*f**2 + f - 37. Is h(-8) a composite number?
True
Let l = 558 + 257. Is l a prime number?
False
Is 0 + -2 - (-276)/4 prime?
True
Let s be (-32)/(-6) - (-2)/(-6). Suppose -2*i + s*i - 129 = 0. Is i a composite number?
False
Let c = -195 + 358. Is c composite?
False
Let v(x) = x + 8. Let n be v(-4). Suppose -n*a - 3*i = -59 - 40, -i = -1. Is a + 2 + -2*2 a prime number?
False
Suppose -2*g - 2 = -3*g. Suppose 4*d = -g*a - 0*a + 96, 0 = 4*d - 2*a - 80. Is d a composite number?
True
Let h = -4 - -8. Suppose -h = c - 3*c. Suppose 0*v = -c*v + 50. Is v a prime number?
False
Let x(c) = -590*c + 3. Is x(-1) composite?
False
Is (-8)/10 - 389/(-5) a prime number?
False
Let g be 3/(-1) + (-3)/(-1). Suppose x = 2*x + 2*u + 7, g = -2*x + 4*u - 22. Let p(y) = -y - 3. Is p(x) a composite number?
True
Suppose 5*q - 4*q = 4*o - 625, o = q + 154. Is o a composite number?
False
Let h = -3 + 5. Suppose -3*l - x = 3*x - 10, -l - h*x + 4 = 0. Suppose -4*r - l*m = -236, 2*r - 236 = -2*r + m. Is r a composite number?
False
Let h be 0 - 2/(-2)*-2. Is (53/h)/(4/(-8)) composite?
False
Let a(s) = s - 2. Let v be a(6). Suppose 50 = -2*k + v*k. Is k composite?
True
Let h(y) = 32*y - 3. Let l(o) = -o + 1. Let v(w) = h(w) + 5*l(w). Let g(k) = 53*k + 4. Let p(t) = -4*g(t) + 7*v(t). Is p(-3) a composite number?
False
Suppose 2*l - 88 = -2*l. Is l composite?
True
Let x be (-32 - 3)/((-1)/50). Suppose x = -j + 6*j. Suppose 4*i - o - j = -6*o, i - 5*o - 75 = 0. Is i composite?
True
Is (3815/(-3) - 1)/(6/(-9)) composite?
True
Let j(s) = s + 1. Let h be j(-7). Let b be (90/20)/(h/(-200)). Suppose 5*x - 1090 = -5*c, 0 = -3*x - 2*c + 503 + b. Is x prime?
False
Let u = -48 + 6. Let t = u + 61. Is t a prime number?
True
Let h(x) = 4*x - 1. Let z(w) = -4*w + 1. Let n(s) = -6*h(s) - 7*z(s). Is n(5) a composite number?
False
Let c(d) = 4*d**2 + 7*d + 25. Is c(-12) a composite number?
True
Suppose -5*k - 174 = -3*y, 5*k = -5*y + 3*k + 259. Is y prime?
True
Let z(q) = -38*q + 1. Let f(y) = -75*y + 2. Let c(n) = 4*f(n) - 7*z(n). Let s = 1 + -2. Is c(s) a composite number?
True
Let a be (15/(-6) + 1)*-2. Suppose -5*c + 14 = f + 2*f, -15 = -4*f - a*c. Let h(i) = 6*i**3 - i**2 + 2*i + 4. Is h(f) prime?
True
Let i(t) = 18*t**2 - 6*t + 17. Is i(-7) a prime number?
True
Let z be (1 + -2)*(165 - 16). Let f = -82 - z. Is f a composite number?
False
Let p be (9/2)/(4/(-24)). Let r = p - -86. Is r composite?
False
Suppose 3*b = -2*l + 88, 5*b - 59 = 2*l + 77. Let d = 67 + b. Is d composite?
True
Suppose 0*v - 3*v = -4911. Is v composite?
False
Let i = -15 + 7. Is i/36 - 1199/(-9) composite?
True
Suppose 2*q - 1589 = 3*x, 2*x - x = -4*q + 3171. Is q composite?
True
Suppose -3*o + 4*t - 3*t = -9, -2*t = 6. Let p be 8/(o + (-9)/4). Let u = 21 - p. Is u a composite number?
False
Let h(g) = 30*g**2 - g. Let w be h(2). Suppose 0*l = 2*l - w. Is l composite?
False
Suppose -15 = -2*w - 5. Suppose 3*a = 2*c + c + 21, -2*a - 7 = w*c. Let j(g) = -28*g - 1. Is j(c) a prime number?
True
Suppose -2*i + 2*x = -4*i + 1058, -i = -2*x - 523. Is i a composite number?
True
Let x = -372 + 867. Suppose -4*v - l + 107 = x, -v - 82 = 4*l. Let b = 217 + v. Is b a composite number?
True
Suppose -20 = 5*f - x, 2*x = -f + 6*f + 25. Let r be 28 + 3/(-9)*f. Let d = r - 19. Is d a composite number?
True
Is ((-149)/4)/(3/(-84)) prime?
False
Suppose -35 = 3*p - 416. Is p composite?
False
Suppose 5*r - 71 = 4*w, -2*r + w + 31 = 2. Is (69/9)/(1/r) a composite number?
True
Let l = -433 - -1176. Is l prime?
True
Let n = 2005 - 188. Is n a composite number?
True
Let f be (-7)/2*(-30)/35. Is (-2)/f + (-2872)/(-24) prime?
False
Let x be 2 + -1 + (2 - -4). Suppose z - j + x - 2 = 0, 9 = -3*z + j. Is (-1225)/(-10) + z/(-4) a composite number?
True
Is 4022/8 + 22/(-8) + 3 a composite number?
False
Let x be (2/(-3))/((-12)/(-1098)). Is (x - 4/(-2))/(-1) a composite number?
False
Suppose -2*c - 3 = -7. Suppose -2*d + 4*d - 593 = a, -c*d + 596 = -2*a. Is d a composite number?
True
Suppose 2*i - i - 2 = 0. Let q = i + 0. Suppose -q*n + 6 = -8. Is n prime?
True
Let r(k) = -k**2 + 11*k + 6. Let d(y) = -y**2 + 10*y + 5. Let p(z) = 5*d(z) - 4*r(z). Is p(5) a composite number?
True
Let y(v) be the first derivative of 5*v**4/4 - v**2 - v + 3. Let s be y(-2). Is (-1)/(75/s - -2) a prime number?
True
Suppose 4*t + 3*v = 2*v - 642, -5*t - 796 = -2*v. Let g = 287 + t. Is g prime?
True
Let v = 100 + 25. Let t = 762 + v. Is t a composite number?
False
Let d = 120 - -53. Let h = d + 30. Is h prime?
False
Let h(p) = -6*p**2 + 3*p**2 - 1 + 4*p + 4*p**2 - 3*p**2 - 4*p**3. Is h(-3) prime?
False
Let b(p) = 0 - 1 - 3*p + 4*p**2 - p**2. Let a be 3 + (2 - (3 + -2)). Is b(a) prime?
False
Let s(t) = 128*t - 1. Let k = 8 + -7. Is s(k) composite?
False
Is 1323/3 + (7 - 5) prime?
True
Let k = 45 + -32. Suppose k*x - 11*x = 114. Is x a prime number?
False
Is (-5)/(-5)*1659/3 a prime number?
False
Suppose 2*a - x = -3*x - 404, 6 = -2*x. Let r = a + 1152. Is r a composite number?
False
Suppose -14*a = -12*a - 822. Is a prime?
False
Suppose 4*v - 1981 + 753 = 0. Is v a composite number?
False
Let u be 10/(-4)*(-40)/25. Is ((-53)/(-2))/(2/u) composite?
False
Suppose 0 = -2*k + 161 - 31. Suppose 0 = 2*g + k - 567. Is g prime?
True
Let m = -50 + 36. Let h = 51 + m. Suppose b - 4*s + 15 - 34 = 0, 2*s = 3*b - h. Is b a composite number?
False
Let w be 9/4 - 2/8. Suppose 0 = -g - w*g + 9. Suppose 3*c = -2*c - 2*z + 128, 4*c = g*z + 107. Is c a prime number?
False
Let h(r) be the first derivative of 21*r**2 - 7*r + 4. Is h(5) composite?
True
Let g(v) = v**2 - v - 1. Let u be (-2)/(-4) + 3/2. Let s be g(u). Is (s - 2) + 45/3 a prime number?
False
Suppose 4*r - g - 8065 = 0, 3*r + 0*r - 6045 = 2*g. Is r prime?
True
Is (-12758)/(-18) - (-5 + (-86)/(-18)) a composite number?
False
Suppose 4*p = 5*w - 2885, -2*p = -2*w + 5*w - 1731. Suppose 5*u - w = -192. Is u composite?
True
Let d be 6/(-4)*(-2 - -40). Let w = d - -104. Is w a composite number?
False
Suppose -5*n = -4*w - 2835, -4*n + w + 2*w = -2269. Is n composite?
False
Let f(d) = 9*d**2 - 4*d + 5. Suppose -3*a = 4 - 10. Is f(a) composite?
True
Suppose 4*q - 4*b - 28 = 0, 0*b + b = 4*q - 40. Let l(a) = -a**3 + 11*a**2 + a + 12. Is l(q) a prime number?
True
Suppose 0 = -5*y - 2*m + 157, 2*m - 26 = -3*y + 69. Is y a prime number?
True
Suppose -h + 113 = -88. Is h a prime number?
False
Suppose 8 = 2*h - 6*h, -5*h = 5*i - 10. Let d(c) = c**2 - 10*c + 12. Let y be d(9). Suppose -553 = -y*o + p + 4*p, -i*o + p = -760. Is o a prime number?
True
Let u(g) = 12*g**2 + 8*g + 5. Is u(6) prime?
False
Let h be -5*-2*2/10. Suppose h*u + 3*u = 0. Suppose 2*w + 2*w = 2*n + 394, u = 4*w - 4*n - 400. Is w a composite number?
False
Let m be (-1074)/(-9)*3*1. Suppose s = -5*w + m, -3*w - 703 = -3*s + s. Suppose -i = 3*u - 270, 2*u - s = -2*u + i. Is u composite?
False
Suppose 4*f = 3*t - 403 + 34, 3*f = 4*t - 499. Is t a prime number?
True
Suppose -55 = 3*q + 338. Let c = q + 224. Is c composite?
True
Let f = 111 - -46. Is f a composite number?
False
Suppose 3 = 4*f + 7. Let b = -64 - -95. Is (b/4)/(f/(-12)) prime?
False
Suppose 2*k = 4 + 2. Suppose k*l = -4*t + 5*t - 24, -5*t = -3*l - 156. Is t composite?
True
Suppose -3*u + 4*u - 31 = 0. Is u a composite number?
False
Let p = -3 + 9. Suppose -p = -t + 4*t. Is (-4 - t)/(4/(-94)) a prime number?
True
Suppose u + 4*k = k + 342, -5*u = -4*k - 1691. Is u a prime number?
False
Let n = 3 + 0. Suppose 0 = 3*a - 3*f - 0*f - 99, -n*a + 91 = -5*f. Is a a prime number?
True
Suppose 3*x - 3*d - 2 = -5*d, -4*x + 5*d + 18 = 0. Suppose x*z - 129 + 19 = 0. Is z a prime number?
False
Let j be (3/2)/((-6)/(-16)). Suppose -14 + 6 = -j*a. Suppose 3*p = -a*p + 105. Is p a prime number?
False
Let y = 1 + 2. Suppose -w = -y*p - 33 - 49, -4*p + 20 =