rime number?
False
Let u = 299 - -24714. Is u composite?
False
Let t = -5 - -300. Is t a prime number?
False
Let x = -6712 - -9479. Is x prime?
True
Let l = 1 - 10. Let d be 1182/l + (-5)/(-15). Let o = d - -190. Is o a prime number?
True
Suppose 0 = 3*d + 4*k - 18305, 21*d - 26*d = -k - 30539. Is d composite?
True
Suppose 7*w - 2*w + 5*b - 350 = 0, 0 = 5*w - 4*b - 332. Suppose -5*j = -8*j + 2157. Suppose -2*d + 513 = -h, -3*d + j = 2*h - w. Is d prime?
False
Suppose 0 = -3*x - 4198 + 805. Let a = x - -1601. Suppose -b - 91 = -a. Is b prime?
True
Let n be (-654)/(-10) + 2/(-5). Suppose 3*t - n - 958 = 0. Let y = t + -192. Is y a prime number?
True
Let t(a) = -5*a**3 - 6*a**2 - 4*a - 1. Let d be -1*(4 + 3 + -1). Is t(d) composite?
False
Let f = 70 + -69. Let l = f + 96. Is l a composite number?
False
Let a(l) = -l - 16. Let y be a(-16). Suppose -4*i - 3*h + 1216 = -y*i, 8 = -2*h. Is i composite?
False
Suppose 6*f = f + 20. Let d = f - 2. Suppose -d*x = -111 - 67. Is x a composite number?
False
Suppose -b + 14 = -4*q, 3*b - 4*q - q - 7 = 0. Is (764/6)/((-4)/b) a composite number?
False
Let r = 13 - 8. Suppose 27 = r*d - u, -35 = -5*d + 2*u - 6. Suppose 891 = d*c - 44. Is c composite?
True
Let t(m) = m**3 + 5*m**2 + 6*m + 8. Let n be t(-4). Suppose n = -4*d + 493 - 69. Is d a composite number?
True
Let r = 2226 + 1706. Suppose 5*o = 4*a + 984 + 3931, 4*a = 4*o - r. Is o prime?
True
Suppose 0 = k + 1 - 5, -5*k + 2834 = 3*g. Let x = g - 289. Is x prime?
False
Suppose -2*c + 1949 = 5*b - 428, 5*c - 5990 = -3*b. Is c composite?
False
Let p(v) = -4*v**2 - v + 2. Let y(u) = -8*u**2 - 2*u + 3. Let g be ((-21)/(-35))/((-2)/(-20)). Let t(x) = g*y(x) - 13*p(x). Is t(-9) composite?
False
Let u(l) = l**3 - 13*l**2 + 10*l + 29. Let a be u(12). Suppose 3*y - 1703 + 88 = -a*x, -4*x + 1292 = 2*y. Is x a composite number?
True
Suppose 5*b - 32 = b. Let h(p) = 34*p + 27. Let w(r) = -r - 2. Let v(l) = h(l) + 4*w(l). Is v(b) a prime number?
False
Let x = -1952 - -4861. Is x a composite number?
False
Let m = 26277 - 12755. Is m prime?
False
Let t(k) = -k**3 - 14*k**2 + 8*k - 7. Let a be (-2 - (-24)/(-20))*5. Is t(a) prime?
False
Let b(r) = -6*r**2 + 9*r**3 + 2*r**3 - 10*r**3 + 0*r - 3 + 7*r. Suppose 1 = -2*u + 11. Is b(u) composite?
False
Let c = -141 + 57. Let q = c + 127. Is q prime?
True
Suppose -793 = -5*s + p, 4*s = 3*s + 2*p + 155. Suppose -5*r + s = -j, 4*j + 1 = -2*r + 69. Let w = 422 + r. Is w composite?
True
Suppose -3*k = 3*p, -2*k = -3*p + p. Let v(g) = -g + 79. Is v(p) prime?
True
Let t = 6243 - -37610. Is t a prime number?
True
Let m = 32352 - 22129. Is m prime?
True
Suppose 5*q + 7 = -8. Is 2*893/8 - q/(-12) a prime number?
True
Let q be (-445)/(-35) - (-10)/35. Let d(g) = 125*g + 32. Is d(q) a prime number?
True
Suppose -4*b - 3*l = -65, 2*b + 0*b = 4*l + 16. Let c(g) = 53*g + 20. Let p be c(b). Is (p/4)/((-33)/(-110)) composite?
True
Suppose -2*o + 3*o = 4*n - 11087, 4*n + 3*o = 11075. Is n composite?
True
Suppose -4*k + k - 2*n - 18 = 0, 30 = -5*k + 3*n. Let x(v) = -v**3 - 5*v**2 - 8. Let f be x(k). Suppose y = -2*c + f, -5*c = -0*y - y + 7. Is y composite?
True
Let r(k) = -k**2 - 3*k - 12. Let l(t) = t**2 + 5*t + 25. Let y(i) = -3*l(i) - 5*r(i). Is y(-10) a composite number?
True
Let z = -60 + 115. Suppose -z = -4*s - s. Let j(p) = p**3 - 9*p**2 - 9*p + 6. Is j(s) composite?
False
Let t be (-145)/(-45) - 3 - 25/(-9). Suppose -4*z + t*f + 3457 = 0, 2*z + z - 2*f = 2593. Is z composite?
True
Suppose -5*z = -0*z - 2*m - 10397, -3*z + 5*m + 6223 = 0. Suppose -7*f = -z - 1188. Is f composite?
False
Let l(t) = t**2 - 4*t + 2. Let b be 2 + ((-2)/1 - -3). Let c be l(b). Let d(v) = 34*v**2 + 2*v + 1. Is d(c) composite?
True
Let c(f) = f**2 - 13*f + 16. Let k be c(12). Suppose 780 = k*m + 3*q - 7*q, 5*m - 2*q - 987 = 0. Is m a composite number?
False
Let u be 443 + (1 - 2) + -1. Suppose -u = -2*v - 0*v + f, 4*v + 4*f - 900 = 0. Let y = v + -43. Is y a prime number?
True
Let h = -103 + 182. Suppose t = -2*a + h, 3*t + a - 4*a = 201. Is t composite?
False
Suppose -32922 = 7*w - 4*w. Is w/(-22) - (-20)/110 a composite number?
False
Suppose -1 = 4*j + 4*s + 3, -j + 4*s = -14. Suppose -4*l = -3*c - 1383 - 385, 5*l = j*c + 2217. Is l a composite number?
True
Suppose 0 = 7*m - 9*m. Suppose m = o + 3*k - 335, -3*k - 668 = -2*o - 8*k. Is o a prime number?
False
Let o be 16/(-28) - (22/(-14) - -2). Is (70/40)/(o/(-724)) composite?
True
Is -2 - (-96642)/22 - (-34)/187 a prime number?
True
Let r = -687 - -16444. Is r composite?
True
Suppose 4*j = 3*j + 2716. Suppose -j = 12*w - 16*w. Is w a composite number?
True
Let k = 235 - 116. Suppose -k - 265 = -2*m - z, 5*m - 945 = 5*z. Is m composite?
False
Let b = 32 - 22. Suppose 13*t = b*t + 771. Is t a prime number?
True
Let r = -3647 + 7050. Is r prime?
False
Let p be (36/8)/(6/152). Let n be ((-1 - -4)/(3/62))/(-2). Let z = p + n. Is z a prime number?
True
Let b be 34/(-102)*6/(1 + 0). Is (3/b)/(3/(-1338)) a composite number?
True
Let c = 678 + 11617. Is c a prime number?
False
Suppose 0 = 2*y - 3*u - 4818, -y - 3*y = -2*u - 9636. Let x = -1336 + y. Is x composite?
True
Let o(t) = -2*t**3 + 46*t**2 - 36*t + 193. Is o(18) a composite number?
True
Let k = 20770 + -10133. Is k a composite number?
True
Let m(j) = 22*j**2 + 13*j + 248. Is m(23) a prime number?
False
Suppose 0 = 2*w - 7*w + d - 3, 4*d = -3*w + 12. Is 202 + w + -4 - -3 a prime number?
False
Suppose 0 = 4*d, 5*d - d = -3*o + 6. Suppose 35 = 7*f - o*f. Suppose a + f = 58. Is a composite?
True
Suppose 0 = -4*u - 4*o + 4, 4*o + 7 + 3 = 3*u. Let c(k) = -k**3 - 11 + u*k**3 + 12*k - 7*k**2 - 9*k. Is c(9) a composite number?
True
Let b = -22 + 37. Let r = -12 + b. Suppose 1287 = r*o + 168. Is o a composite number?
False
Let f(g) = g**3 + 5*g**2 + 7*g + 6. Let u be f(-4). Let d(r) = -2*r - 11. Let p be d(u). Let l = 82 + p. Is l a composite number?
False
Suppose -6*q + 4*q + p - 1680 = 0, 0 = 5*q + 3*p + 4178. Let w = 1069 - q. Is w a prime number?
True
Is -3 + 19081 - (3 + 1 + -3) composite?
True
Suppose 9*x - 277902 = -9*x. Is x composite?
False
Let w(h) be the second derivative of h**4/12 + h**3/6 + 13*h**2/2 + h. Let a = 533 - 549. Is w(a) a prime number?
False
Let l be 7/(1*2/6). Suppose l*q - 13 = 20*q. Suppose -87 + q = -2*c. Is c composite?
False
Is (3827872/36)/8 + 2/(-9) prime?
True
Let m = -19 + 30. Suppose -15*t + m*t + 16 = 0. Suppose w - 2 = t. Is w a composite number?
True
Let f = -1288 + 348. Is (-2)/((-4)/f*-2) a prime number?
False
Suppose 5*f - 4*l = 53455, 2*l + 3*l - 53410 = -5*f. Is f a composite number?
False
Suppose -2*v = -3*v + 3. Suppose -v = -3*w + 3. Suppose -w*c + 228 = 58. Is c a composite number?
True
Suppose -3*x = -3*f + 47589, 69*f = 70*f - 2*x - 15867. Is f prime?
True
Suppose 5*f - 2*f = -315. Let v be (345 - ((-1 - -2) + 0)) + 0. Let x = v + f. Is x prime?
True
Let t(c) = c + 6. Let l be t(-5). Let h(f) = 16685*f**2 - 568*f. Let z(b) = 147*b**2 - 5*b. Let v(x) = -5*h(x) + 568*z(x). Is v(l) composite?
False
Let w = 27 - -13. Let a(g) = -g**3 - 2*g**2 + 5*g - 5. Let i be a(-6). Let n = i + w. Is n a prime number?
True
Let x = 3257 + -1991. Suppose 2*o = 4*o - x. Is o prime?
False
Suppose -4*c - 9330 = -9*c. Suppose -m - 5*m = -c. Is m a prime number?
True
Let h = -3 - -1. Let n be ((-106)/(-4))/(h/(-4)). Suppose -p = b - n, -78 = -3*b + 4*p + 116. Is b prime?
False
Let p(n) = -n**2 + 13*n - 8. Let w be p(12). Suppose -4*d + 154 + 103 = -o, w*o - d + 968 = 0. Let t = -72 - o. Is t prime?
False
Suppose 2*r = 2*q - 85418, -6*r + r = 3*q - 128127. Is q composite?
False
Is 0/(-2) + (6 - -437) composite?
False
Let p(w) = 7*w - 10. Let g be p(11). Suppose -g = 5*z - 282. Is z a prime number?
True
Let r(t) = -479*t - 49. Is r(-10) a prime number?
False
Suppose 5*s = -0*s + 10. Suppose s*y + 10 = y + 4*j, -28 = 4*y - 4*j. Is ((-42)/2)/(y - -5) a prime number?
False
Let n(r) = -r**3 - 15*r**2 - 27*r - 13. Let u be n(-13). Suppose 2630 = c + 2*b - 969, u = -5*c + b + 17940. Is c prime?
False
Suppose 2*d = -h + 6*h - 5390, 5*d + 1101 = h. Suppose -q + 222 = -3*n, 6*q - h = q - 2*n. Suppose -p = 5*j + p - 261, -q = -4*j + 2*p. Is j a composite number?
False
Suppose 0 = -5*c - 2*q + 28, 4*c - q = 7 + 5. Let w(m) be the second derivative of 32*m*