umber?
True
Let k be (2/4)/(2/108). Suppose 2*z = -4*c + 274, c - 2*z - 34 = k. Is c prime?
True
Is (2 - (2 - -1)) + 338 a prime number?
True
Let j(r) = -r**2 + 4*r + 7. Let w be j(5). Suppose 6*n - 124 = w*n. Is n composite?
False
Let s = 1545 - 878. Is s a composite number?
True
Let u be 4/(-14) + (-54)/7. Is (u - 1)*26/(-6) a composite number?
True
Suppose 3*r = -2*r - 5*u + 8285, 0 = 4*u. Is r a prime number?
True
Suppose 3*l + 0 - 1 = 5*j, -4*l = -5*j - 3. Is (-91)/(-3) - l/(-3) composite?
False
Let d(k) be the third derivative of -k**6/40 + 7*k**5/60 - 5*k**4/24 - 2*k**3/3 - 2*k**2. Let x be d(4). Is x/(-3) - 1/(-3) prime?
False
Suppose -4 = -3*q + 2*q. Suppose 0 = 3*r - 10 - 5, -4*r = -q*m + 264. Is m prime?
True
Let k(z) = z - 5. Suppose 2*s - 5*a = -0*s, -2*a + 29 = 5*s. Let h be k(s). Let d(p) = -p**3 - p**2 - p + 53. Is d(h) a prime number?
True
Suppose 4*w - 19 = -5*b, -b + 5*w + 3 = 5. Suppose 496 = 4*s + b*q, -2*q = 4*s - 3*q - 512. Is s a composite number?
False
Suppose t = -4*t + 410. Is t composite?
True
Is (-12)/(-54) - (-6386)/18 a composite number?
True
Let a(i) = i**3 - 2*i**2 - 2*i. Let d be a(3). Is 321 + -2 + -3 + d prime?
False
Let q = -6 + 10. Suppose -q*s - 18 = 18. Is 1 - (-1)/((-1)/s) a composite number?
True
Suppose -5*k = o - 4066, o + 4*o + k - 20450 = 0. Is o prime?
True
Let s be (-1)/1 - 4/(-1). Suppose -37 = -s*t + 20. Is t prime?
True
Is 742 + 1 - -4 - 2 a prime number?
False
Let c be 18/(-4)*8/3. Is (-2)/c - (-2766)/36 prime?
False
Let k = 10 - 4. Suppose 26 = -2*y + k*y + 5*b, -5*b - 10 = 0. Is 48 + 3*3/y prime?
False
Let t(q) = -7*q**3 - 5*q**2 - 5*q - 2. Let n be (-17)/5 - (-6)/15. Is t(n) prime?
True
Let b(q) = q**3 + 7*q**2 + q + 7. Let v be b(-7). Suppose 4*k + 3*a - 9 = 0, v*k = 2*k + 2*a - 4. Is (-1 - 4/k)*-15 prime?
False
Suppose -3*m + 954 = 3*m. Is m a composite number?
True
Let i(l) = 17*l + 14. Is i(19) a prime number?
True
Suppose 0 = 3*a - 5*b + 25, -2*a - 4*b = -3*a - 20. Suppose -19*o + 15*o + 84 = a. Is o a prime number?
False
Suppose -r + 54 = -5*t, -t - r = 21 - 9. Let y = -8 - t. Is y/(-2)*(-188)/6 composite?
False
Suppose -3*r = j - 10, 4*r + 0*r - 3*j = 35. Suppose r*x = 3*d - 49 - 22, -d + x + 23 = 0. Is d composite?
True
Let n(s) = s**3 + s**2 + s + 68. Let y be n(0). Let o = 45 + y. Is o prime?
True
Suppose 7*b - 10*b + 633 = 0. Is b a composite number?
False
Suppose k = -4*k + 10. Suppose v = -k*v - 102. Let l = v + 68. Is l a composite number?
True
Let n = 9 - 11. Let g(r) = -9*r**3 + 2*r**2 + r - 1. Is g(n) prime?
False
Let x = 2 - -1. Suppose 15 - 6 = x*g. Is 0 - (-21)/g*7 a composite number?
True
Suppose 2*j - 2078 = -4*z - 0*z, 0 = -3*j + 4*z + 3137. Is j a composite number?
True
Let u(d) = d + 7. Let p be u(-5). Suppose p*x - 1 = -3. Is 94/8*(-4)/x a prime number?
True
Suppose -2*c + 6 = -4*x, 2*x + 3*x + 12 = 4*c. Suppose 3*i - 21 = g + 2*g, -2*i - 4*g - 10 = x. Is i prime?
True
Suppose -2*r - 2*h + 4112 = 2*r, 0 = r - 2*h - 1023. Is r composite?
True
Let q(y) = 4*y**2 + 2*y + 2. Suppose -5*d + 50 = 5*i, -4*i + d + 6 + 9 = 0. Let n be q(i). Suppose -4*z + 133 = -3*z + 4*r, -z = -3*r - n. Is z prime?
False
Let l be 3 + 0*2/(-4). Suppose -l*h - 2*h = 0, 2*h = -2*s + 30. Is 888/s - 3/15 composite?
False
Let i be (-4)/6*9/3. Let a be 3/(2 + i - -1). Suppose a*d = -46 + 115. Is d prime?
True
Is ((-2340)/5 - -2)*(-21)/6 composite?
True
Suppose f + 650 = -5*a - 3165, 777 = -a - 3*f. Is (-2)/(-6) - a/9 prime?
False
Let z be (4/10)/((-3)/795). Is 0 + z*(-1)/2 a prime number?
True
Let l = 9 + -1. Suppose l*o + 170 = 13*o. Is o a prime number?
False
Let p(l) = 4*l**3 - 2*l**2 - 2. Let i = 0 + 2. Is p(i) a prime number?
False
Suppose -5*j + 1532 = -1073. Is j a composite number?
False
Let m(x) = 2*x**2 - 7*x + 5. Let j be m(4). Let u = -5 + j. Suppose -u*t - 5*r = -138, -3*t + 0*t - 3*r = -105. Is t composite?
False
Let c = -2554 - -5565. Is c a prime number?
True
Let i = 46 - -291. Is i a prime number?
True
Is 25 + 4*5/(-10) a prime number?
True
Suppose -4*y + 84 = 4*o - 44, -3*y = -4*o - 110. Suppose 0*n + n - y = 0. Is n composite?
True
Let d(y) be the first derivative of 33*y**2/2 + 6*y + 2. Let p be d(8). Is p/4 + 12/8 prime?
False
Suppose -t + 4*t = 633. Is t composite?
False
Suppose -5*i + 163 = 4*r, 0*r = -5*r - 4*i + 215. Is r prime?
True
Let x = -24 - -743. Is x prime?
True
Let l be 1/(-2)*(1 - 1). Let c(m) = -m**3 - m**2 - m + 47. Is c(l) composite?
False
Suppose j - 198 = -0*j. Suppose -d = 3*i - 36, -5*d + 82 = -5*i - j. Suppose -2*g = 3*g - b - d, 0 = 4*g + 4*b - 60. Is g a composite number?
False
Suppose v - 88 = -r, -4*v + 334 = -r - r. Is v prime?
False
Let u(c) = c - 1. Let f be u(3). Suppose -105 = -5*h - f*k, 2*h - 2*k = -k + 51. Is h composite?
False
Suppose -5*t + 0*t - 5 = 0. Let l(k) = -382*k - 1. Let y be l(t). Let b = y + -260. Is b composite?
True
Suppose -3*v - 10 + 70 = 0. Is 12824/20 + (-4)/v a prime number?
True
Suppose 6*t - 1519 = 959. Is t prime?
False
Let o = -7 + 11. Suppose -f = f - o. Is 56 - (-1 + f)*1 prime?
False
Is (1 + -2)/(7/(-2779)) a composite number?
False
Is 254 - (-5 - 6/(-3)) a prime number?
True
Let t = -4 - -4. Suppose -3*f + 0*f + 2*w + 14 = t, -w - 4 = 0. Suppose f*x = -0*x + 30. Is x a composite number?
True
Suppose 0 = -2*o + 2*h + 30 + 8, -2*o = h - 44. Is o composite?
True
Let d = 887 + -612. Suppose 4*g + 7 = d. Is g a composite number?
False
Let b be 3/6 - 246/(-4). Let v be 1 + -2 + -1 + b. Let g = v + -26. Is g prime?
False
Suppose 4*u = -0*u + 11108. Is u a prime number?
True
Suppose -3*x + 3*g = -5*x + 20, 2*x = -g + 12. Suppose -x*s = -s. Suppose -6 = 3*c - s, -2*b + 200 = -3*c. Is b a prime number?
True
Let w(m) = -2*m**3 - 6*m**2 - 9*m. Is w(-5) a composite number?
True
Suppose -2*o - 8 = -w, 1 = w - 4*o - 13. Suppose -w*f - 3*i + 312 = 0, -3*f - 314 = -5*f - 2*i. Is f composite?
True
Suppose -2*i + 163 + 3 = 0. Is i a prime number?
True
Let a = 146 - -483. Is a prime?
False
Let p(k) = -167*k**3 + 2*k**2 + 2. Let a(r) = -500*r**3 + 6*r**2 + 5. Suppose 4*x - 3*x - 8 = 0. Let d(u) = x*p(u) - 3*a(u). Is d(1) a prime number?
True
Let k(v) = -v**3 + 6*v**2 + 2*v - 8. Let q be k(6). Suppose 0*g - q*o = 2*g - 12, 3*g - o + 3 = 0. Suppose g = -3*r + 67 + 11. Is r prime?
False
Let c = -601 + 2378. Is c a composite number?
False
Let m be (678/9)/((-2)/(-15)). Suppose -5*p + 0*p + m = 0. Let v = p - 4. Is v prime?
True
Suppose 2*q + 6 = q. Let a be 1*q/9*3. Is -1 + 0 + 17 + a a prime number?
False
Suppose 5*g - 9 - 1 = 0. Suppose 2*c = -4*u + 414, g*u - 7*u - 5*c + 515 = 0. Let t = u - 51. Is t prime?
True
Let k(g) be the first derivative of g**4/4 + 2*g**3 - 1. Let j be k(-6). Suppose -70 = -j*t - 2*t. Is t prime?
False
Let q = -71 - -102. Is q a prime number?
True
Suppose -3*w + 1 = -8. Suppose -w*d + 2035 = 2*d. Is d a composite number?
True
Let p(x) = 3*x**2 + 5*x + 2. Let m be p(-3). Suppose -t + m = -0*t. Is t a prime number?
False
Let n be 2*(1 + -2) - -2. Is ((-708)/(-6))/(n + 1) prime?
False
Let f(b) = b**2 - 6*b - 3. Let n be f(6). Let m be (10/6)/(n/(-9)). Suppose -3*s - m*h = s - 1329, 4*s - 2*h - 1322 = 0. Is s composite?
False
Suppose -w - 32 = -m - 2*w, 2*w = 5*m - 160. Is m/5 - (-18)/30 composite?
False
Suppose d = 5*d - 908. Let b = 346 - d. Is b a composite number?
True
Suppose 5*v - 102 = 3*v. Is v prime?
False
Let v(t) = 0*t**2 + 4*t**3 - 3*t + 2 - 5*t**3 + t**2. Is v(-3) a prime number?
True
Let u = 5 + -2. Suppose -2*g - u*g = -185. Is g a prime number?
True
Let r = 13 + -8. Suppose 2 = 2*s, r*h = -s - s + 417. Is h prime?
True
Let s be 0/(-4*(-2)/(-4)). Suppose s*x + x - 249 = 0. Is x a prime number?
False
Let p(w) = -2*w - 12. Let k be p(-8). Let u(r) = r**3 - 3*r**2 - r + 2. Is u(k) a prime number?
False
Let u(b) = b**2 - 5*b - 10. Let n be u(8). Let j = n - 1. Is j composite?
False
Let z be 1*(5 + 2) - 4. Suppose 4*w - 1531 = -5*r, -z*w + 5*r + 1122 = -0*r. Is w composite?
False
Let y(g) = -g + 10. Let v be y(6). Suppose v*d - 78 - 226 = 0. Suppose -4*z + z - 5*x = -d, -2 = -x. Is z a composite number?
True
Let z = -882 - -593. Let k = -66 - z. Is k a prime number?
True
Let r(k) = k**3 + 11*k**2 - 19*k + 5. Is r(-10) a prime number?
False
Let c(h) = 1 + 2*h**3 + 2*h**3 - 4*h**3 + 3*h - h**3. Let v be