osite number?
True
Suppose 3*m - 825 = 894. Is m a prime number?
False
Let m(k) = -k**3 + 3. Let q be m(0). Suppose 0 = -q*p - 5*o + 217, -77 - 150 = -3*p + 5*o. Is p a prime number?
False
Let d be 5/25 - (-3299)/5. Let j = d - 329. Is j prime?
True
Let c(n) = -4*n**3 - n**2 + n + 1. Suppose 0 = -2*k - 3*k - 20. Is c(k) a composite number?
True
Let r(h) = -h**2 + 21*h - 12. Let p be r(15). Suppose 0 = -f + 641 + p. Is f a composite number?
False
Let p = 2 + -2. Is 0*(-1 + p) + 33 a composite number?
True
Suppose -3*l - 158 = 5*b, b + 2*l + 7 + 19 = 0. Is (b/5)/((-4)/20) prime?
False
Let v(f) = -f**2 - 3*f + 2. Let k be v(-3). Let j be 1/(-3*k/(-24)). Is ((-2)/j)/((-1)/14) a composite number?
False
Suppose -4*k - 5*m + 811 = -474, 4*k = 4*m + 1276. Suppose 3*b - k = -5*t, 3*b + t = -t + 335. Is b a prime number?
False
Is 6*1*13656/48 composite?
True
Let t be 63/(-5) - 2/5. Suppose -5*c + 227 = 2*s, 0 = 2*s + s + 2*c - 324. Let m = s - t. Is m composite?
True
Let i(l) = -l + 6. Let r be i(3). Is 219/6 + r/(-2) a prime number?
False
Suppose -2*l + 790 = 4*h, -5*h - 3*l = -813 - 174. Let q = 325 - h. Is q a composite number?
False
Suppose -9 - 6 = -5*q. Let h(d) = -q - d - 6*d + d. Is h(-6) composite?
True
Is ((-2)/(-8))/((-6)/(-10056)) a composite number?
False
Suppose 8*d - 326 = 6*d. Is d composite?
False
Let g be ((-1)/(0 + 1))/(-1). Suppose -1 - g = 2*l + 3*z, -4*l = -5*z - 18. Is (41 - l)/3*1 a composite number?
False
Let o = -2 - -4. Let w = 3 - o. Is (-1 - 0)/(w/(-53)) a composite number?
False
Let l(s) = -s**3 + 3*s**2 + 4. Let r be l(3). Suppose j - h - h + 6 = 0, -j - 16 = -r*h. Suppose -2*o + k + 136 = 2*k, -3*o + 209 = j*k. Is o a prime number?
True
Let u be ((-30)/(-9))/(2/(-6)). Let b = u + 14. Suppose h - 455 = -5*z, -b*z + h = -121 - 243. Is z a composite number?
True
Let p be 7/21 - (-16)/6. Suppose 0 = -p*c - 3*c + 1122. Is c prime?
False
Let h = 436 + -101. Is h prime?
False
Suppose -4*s + 4*t + 22 - 2 = 0, -4*s - 5*t + 11 = 0. Suppose 9*f - 2335 = s*f. Is f composite?
False
Suppose -255 = -6*h + h. Let i(u) = u**2 - u - 4. Let p be i(-5). Suppose -h - p = -q. Is q a prime number?
False
Let k(f) = -63*f + 2. Is k(-3) composite?
False
Let t = -3498 + 4907. Is t a prime number?
True
Let f(m) = 5*m**2 - 6*m - 1. Is f(-4) a prime number?
True
Is 2 - (5596/(-4) + -2 + 4) a composite number?
False
Let w(n) = 5*n - 6. Let s = -3 + 8. Let c be 1*(s + (2 - 2)). Is w(c) composite?
False
Is 305 + 2 - (1 - 1) a composite number?
False
Let y = -313 - -548. Suppose 2*l + 3*l - y = 0. Is l a composite number?
False
Suppose 0 = -2*p - p + 2*d - 25, d = 5*p + 37. Let t = p - -5. Is (-634)/(-18) - t/(-9) a prime number?
False
Suppose -5*b - 2*z - 260 = -1720, -584 = -2*b - z. Let f = b - 86. Is f a prime number?
False
Let v(a) = a + 3. Let p be v(-5). Is (-53)/((-1)/(-14)*p) a composite number?
True
Suppose -3*p - 2*j = 6, 18 - 3 = 2*p - 5*j. Is 115 + 0 - (p + 0) composite?
True
Is 5308/24 - (-2)/(-12) a composite number?
True
Suppose -3*r + 9 = -6*r. Let t(u) = u**3 + 4*u**2 + 3*u - 3. Let a be t(r). Is a/2*44/(-3) a composite number?
True
Let f(x) = -4*x + 2*x**2 - 3 + 12*x + 4 - 4. Is f(-6) a prime number?
False
Suppose -8*b = -4*b - 732. Is b a prime number?
False
Let c(s) = -45*s - 1. Is c(-6) a composite number?
False
Let b(c) = 2*c**3 + c**2 + 2*c - 7. Is b(3) a composite number?
True
Let u(k) = 7 + 1 - 9*k**2 - 12*k + 25*k**2 + k**3. Is u(-11) composite?
True
Suppose 10 = 4*w - 10. Let o(r) = r**2 - 5*r + 4. Let d be o(w). Suppose f - d*f + 2*q + 391 = 0, -3*f + 407 = 2*q. Is f prime?
False
Suppose 8*n + 7462 = 22*n. Is n a composite number?
True
Suppose 0 = -7*i + 810 + 163. Is i composite?
False
Suppose v - 2840 - 1443 = 0. Is v composite?
False
Is 4 + -10 + 4 + 295 composite?
False
Let g(h) be the first derivative of h**3/3 + h**2/2 + h + 2. Let k be g(-3). Suppose 3*c = k*c - 476. Is c a prime number?
False
Let h be (-3 - 0) + (7 - -88). Suppose -2*c = -6*c - h. Let q = -13 - c. Is q a composite number?
True
Is 2 - ((-462)/3)/2 a prime number?
True
Let f(o) = 6*o - 1. Is f(9) composite?
False
Let w(b) = -4*b**2 + b - 1. Let m be w(2). Let h = -48 + 92. Let z = h - m. Is z prime?
True
Let y(o) = o**2 + 15. Is y(8) composite?
False
Suppose f - 3*f - 2*u - 412 = 0, u = 1. Let m = f + 352. Is m prime?
False
Let l(x) = 0*x**3 + x**2 + 48 + x**3 + 5. Suppose 0*h + 3*h + 6 = -3*z, 4*h + 8 = -z. Is l(z) a prime number?
True
Let x be -6*(1 - (-8)/(-6)). Suppose 0*o = -4*o + x*d + 88, -3*d = -2*o + 52. Suppose 71 = g - o. Is g a composite number?
True
Suppose 0 = 5*f - g - 61, -g + 77 = 5*f + 2*g. Is f prime?
True
Suppose -7*r = -4*r - 1221. Is r composite?
True
Suppose 0 = -3*b - d + 5*d + 17, 2*b - 12 = 3*d. Suppose -3*v + 9 = -b*n, -5*v - 2 - 1 = -2*n. Is (-58)/n + 4/(-6) a composite number?
True
Let y be 60 + -2 - (-4 + 1). Suppose -2*r = -50 + 14. Let w = r + y. Is w a composite number?
False
Suppose 1182 = h - 4*q, -1192 = -h - 3*q + 5*q. Suppose 51 = -d + h. Is d composite?
False
Suppose 0 = -4*v - 12 - 36. Let q(s) = -s**2 - s - 4. Let g be q(-4). Is (v/g)/(1/12) prime?
False
Let m = -509 - 829. Is m/(-4)*10/15 prime?
True
Suppose 4*w - 141 = -0*w - 5*y, 0 = 3*w - 3*y - 99. Suppose -o = w - 496. Suppose x = -4*v + o, -2*v + 3*x - 118 = -342. Is v a composite number?
True
Suppose 50 = -3*w + 8. Is 158/(-1 + (-18)/w) a prime number?
False
Suppose -4*t - 24 = -3*t - 5*u, -2*t = -u + 30. Let l = -4 - t. Is l prime?
False
Suppose 3840 = 2*o + 2*o. Suppose 3*j = -2*j - n + o, 2*n = -10. Suppose -j - 202 = -5*r. Is r prime?
True
Suppose -2*z + 7 - 1 = 0. Suppose 20 = s - 4*x, -s = -0*s - 5*x - 25. Suppose r = 4, z*u - 2*r + r - 59 = s. Is u prime?
False
Let x = 486 + -275. Is x a composite number?
False
Let w(l) = l + 7. Let r(q) = q**2 - q + 2. Let g be 2*(-3)/3*1. Let k be r(g). Is w(k) composite?
True
Suppose -351 + 1702 = 3*t + 4*b, -5*t + 2246 = b. Is t composite?
False
Suppose -4*a = -1548 + 552. Is a a prime number?
False
Let n = -723 - -1354. Is n a composite number?
False
Let z = -4 - -6. Suppose -z*p - p = -12. Suppose 0 = 2*q, -3*v = -6*v - p*q + 255. Is v composite?
True
Let a = 74 + 765. Is a composite?
False
Let s(v) = -7 - 10 + 3*v**2 + 4*v + 16. Is s(-10) composite?
True
Let w(h) = -192*h + 9. Let v(r) = 96*r - 5. Let g(d) = 7*v(d) + 4*w(d). Is g(-1) composite?
False
Is 4*46 - (-3 + 0) composite?
True
Is 92048/55 + (-3)/5 a prime number?
False
Suppose -109 + 26 = -s. Is s + 0 - (1 + -3) a composite number?
True
Let u be -1 + 0/((-6)/2). Let c(w) = -2*w**3 + 2*w**2 + w. Let i be c(u). Suppose 2*y - 28 = -5*d, -3*y + 0*y + 63 = -i*d. Is y a composite number?
False
Let a be 1/(-3 - (-7)/2). Is a/(-3)*(-83 + -4) prime?
False
Is ((-3)/(45/10077))/(1/(-5)) a composite number?
False
Let d = -116 - -266. Suppose d = p + 7. Is p prime?
False
Suppose -5*v + z + 130 = 0, 4*v - 3*v = -5*z. Let q = -66 + v. Let h = q - -78. Is h composite?
False
Let g(o) = -o**2 - 6*o - 2. Let r be g(-6). Let m(h) = -3*h - 3. Let t be m(r). Suppose t*q - 1 = 164. Is q a prime number?
False
Let u be 1/(2 + (-18)/10). Let n(s) = 1 + 42*s - 2*s - 8*s. Is n(u) a prime number?
False
Let i(b) = -b**3 - 2*b**2 - 3*b - 1. Let m(x) = -2*x**2 - 2*x - 1. Let o(z) = 3*i(z) - 4*m(z). Let t be (-3)/6*-1*-4. Is o(t) prime?
False
Let v(y) = -4*y**3 + 3*y**2 + 3*y + 1. Is v(-3) prime?
True
Let c(v) = 15*v**2 - v - 6. Let y be c(6). Let h = 953 - y. Suppose 0 = 4*s + s - h. Is s composite?
True
Suppose 0 = -2*f + 2 + 22. Suppose -x + 3*x + 4*k - 106 = 0, 0 = -4*k + f. Let c = 238 - x. Is c a prime number?
True
Let y(a) = 58*a**2 - 2*a + 1. Is y(-2) composite?
True
Suppose -1028 = -4*s - 2*f, 5*s - 4*f = -5*f + 1282. Let v = 358 - s. Let c = -47 + v. Is c composite?
True
Suppose 0*y - 15 = 3*y. Let g = 31 - y. Let v = -25 + g. Is v composite?
False
Suppose -2805 = -5*w + 2*g, 6*w = 3*w + 4*g + 1669. Is w a composite number?
False
Suppose 3*v + 3*k = -v - 9, -v + k - 4 = 0. Is (-8)/2 + 120 - v prime?
False
Let p(k) = k**3 - 3*k**2 - 2*k - 1. Let l be p(4). Suppose f = -a + 211, 0 = l*f - 2*f. Is a a composite number?
False
Is 1/(1 - (2 - (-10440)/(-10436))) prime?
True
Suppose -4*u + 400 = -0*u. Suppose 23 = 2*d + 4*a - 71, -u = -2*d - 2*a. Is d composite?
False
Suppose 