mposite number?
True
Let f(d) = -d**2 + 8*d - 15. Let w be f(4). Is (-571)/2*((4 - w) + -5) composite?
False
Suppose 0*r = -4*r + 12. Suppose -5*k - r*o = -24591 + 7727, 0 = -4*k - 2*o + 13490. Is k prime?
True
Let y(q) = 1 + 375*q**2 + q - 168*q**2 + 255*q**2. Is y(-2) composite?
False
Let g = -943 + 2420. Is g prime?
False
Suppose 70*j + 435108 = 82*j. Is j a prime number?
False
Suppose -715 = -6*w + 1331. Is w prime?
False
Let z(a) = -a**3 + 4*a**2 - 3*a + 4. Let n be z(3). Suppose n*k + 576 = 4*s, k = 4*s - k - 570. Suppose 4*r - 633 = -s. Is r a composite number?
True
Is (-12)/48 - 145498/(-8) composite?
True
Let o = 0 + 14. Suppose -3*t = 4*h - 8*t + 16, -4 = h - 2*t. Is h/o + (-4689)/(-21) composite?
False
Let f be 5/(-30)*3*-4. Suppose -f*q + 6796 = 762. Is q prime?
False
Let n(m) = 18*m**2 + 3*m - 5. Let o be 20/6 + (-36)/(-54). Is n(o) composite?
True
Is ((-2)/(-4))/((-6 - 1)/(-136934)) prime?
True
Let k(j) = -2*j**3 + 6*j**2 - 20*j - 33. Is k(-10) composite?
False
Let d(t) = 39*t + 3. Suppose -l - l = 28. Let r = l + 18. Is d(r) composite?
True
Suppose 5*y - 7832 = -x, 9*x - 15625 = 7*x + 3*y. Is x prime?
True
Suppose -23*o + 94279 = 6*o. Is o composite?
False
Let w(m) be the third derivative of 213*m**4/8 + m**3/3 + 10*m**2. Is w(1) a prime number?
True
Suppose -x + 320 = 4*x. Let u = 146 - x. Is u a prime number?
False
Suppose -l + 3 + 5 = 0. Is ((-2)/(-8) - (-2)/l)*3778 a composite number?
False
Suppose 24*k = 18*k + 22026. Is k prime?
True
Let y = 15 + -12. Suppose -y*z = -6 + 9. Is 447/3*(z - -2) a composite number?
False
Suppose -222*j + 12951 = -213*j. Is j composite?
False
Let x be 2 + (1 + -2)*-3. Suppose 15 = -x*r - 5. Is 354/(-4)*r/6 composite?
False
Suppose 0 = -4*w - 5*d + 49099, -3*w + 8*w - 5*d = 61340. Is w composite?
True
Suppose -27353 = -6*r + 40945. Is r prime?
True
Let j = -784 + 1433. Suppose 2*d - 3*i = j, d + 2*i - 225 = 110. Suppose 5*f + 3369 = 5*q + d, -q + 4*f + 593 = 0. Is q a composite number?
False
Let k(v) = v**2 - 5*v + 3. Let g be k(-6). Let x = g - 22. Is x a composite number?
False
Is ((-13724592)/(-192) - (-2)/(-8)) + -5 composite?
True
Let j(o) = -3*o - 1. Let a be j(-1). Suppose -4*g = 5*v - 2312, 0 = g - a*v - 2*v - 578. Is (-1)/(-2) - g/(-4) prime?
False
Let h(d) be the third derivative of 0 - 4*d**2 - 25/24*d**4 + 0*d + 7/6*d**3. Is h(-6) a composite number?
False
Is -4315*4/(-12) - (-6)/9 a composite number?
False
Suppose -2*m + 634 = -m. Is m a composite number?
True
Suppose -a + 90 = 83. Is 5 - ((-35)/a - 1*-3) a composite number?
False
Is -5 + (8 - 68432/6)*-3 a prime number?
False
Suppose -4891 = -16*z + 2773. Is z a prime number?
True
Is 68 + -72 - 2/((-2)/1073) composite?
False
Suppose -4*m = -5875 - 8901. Is m a composite number?
True
Let p(l) = -8*l**2 - 4*l - 2. Suppose 5*o - 14 = -2*h, 4*h - 8 = o - 6*o. Let a be p(h). Let k = a + 121. Is k composite?
False
Let k be (-14*1)/((-2)/(6*10)). Suppose 2*r = 2*l + 4 - k, 3*l + 3*r - 642 = 0. Is l prime?
True
Let t(m) = -m**2 - 7*m + 13. Let o(j) = j**2 - 10*j. Let h be o(9). Let v be t(h). Let q = 19 + v. Is q composite?
True
Let b(s) = 8338*s - 9. Is b(2) a composite number?
True
Suppose -g + 5 - 29 = o, -5*g - 3*o - 110 = 0. Let t = g + 34. Suppose 5*y - 364 = -4*n, 2*n - 197 = -5*y - t. Is n a prime number?
False
Let q = 25 + -11. Let h(v) = -v + 17. Let a be h(q). Is ((-2)/a)/((-2)/1401) prime?
True
Suppose 0 = 4*x - f - 9 - 8, -4*f + 12 = 0. Suppose -k - 3*k + 2799 = r, x*r - 3510 = -5*k. Is k a composite number?
True
Let v(p) = -p**2 - p. Let m be v(-1). Suppose -l - y = -5*l, 4*l + 3*y = m. Suppose -5*t + 410 = -l*t. Is t a composite number?
True
Let d(q) be the second derivative of 7*q**4/12 + 2*q**3/3 - 3*q**2/2 - 5*q. Let s(m) = -m**2 - 9*m - 8. Let x be s(-6). Is d(x) prime?
False
Let i be (-10)/1*14/(-5). Suppose -20 = 2*a - 70. Suppose z = i + a. Is z a prime number?
True
Let j(s) = -5*s + 1. Let i(a) = 11*a - 2. Let k(p) = -4*i(p) - 9*j(p). Let l be k(1). Suppose -5*h = -2*v - 85 - 692, l = 3*v + 3. Is h prime?
False
Let a = 30585 + -7448. Is a prime?
False
Let g be (-4)/((-3)/(-4 + 10)). Let y be 4550/4 - 4/g. Suppose 3*p + v = 6*v + y, 0 = 2*v. Is p composite?
False
Suppose -3*h + 906 = -3*a - 4*h, -h = -3*a - 912. Is (2 - 0)/((-2)/a) a composite number?
True
Let w = 2296 - -7503. Is w a prime number?
False
Let l be 52/6 - (-25)/(-15). Suppose -l*x = -6*x - 557. Is x a composite number?
False
Let v(l) = 16*l**3 - l**2 - 2*l + 2. Suppose 3 = i, -2*i - 46 = -5*m + i. Suppose 4*u = -z - m, -2*z + 3*u + u + 14 = 0. Is v(z) a prime number?
False
Suppose 2*j + 2 = b, 2*b + 2 = j - 3. Let m = j - -5. Let u(w) = 49*w - 1. Is u(m) a prime number?
True
Let h = -125 + 129. Suppose h*n - 23 - 573 = 0. Is n prime?
True
Let f be -219 + (3 - 4 - 3). Is f/5*5/(-1) prime?
True
Let b be -8*2/6*-3. Is b/(-28) + 2556/28 composite?
True
Suppose -8*r + 0*r = -360. Suppose -r*x + 307 = -44*x. Is x a prime number?
True
Let j = 3428 - 2049. Is j a composite number?
True
Let i(y) = y**2 + 5*y + 9. Let l be i(-3). Is ((-30392)/(-24) - (-1 + l))*3 composite?
False
Let z(q) = q**2 - 4*q - 7. Let c be z(5). Let r be (-5 + 1)*c/(-4). Is 3/r*1746/(-27) composite?
False
Let d be (-1)/(-2)*(-8)/(-2). Suppose 0 = -7*r + d*r + 2735. Is r composite?
False
Is ((-1422274)/(-126))/23 - (-2)/9 a composite number?
False
Let f = -48 - -82. Let o = f + -18. Suppose 14*m = o*m - 974. Is m a composite number?
False
Suppose 5*v - 4035 = 2*k - 3*k, 0 = -4*k - 5*v + 16170. Is k composite?
True
Suppose 0*s = -4*s + 16600. Suppose 3*b = 527 + s. Is b a composite number?
False
Suppose 8*n - 64 = 4*n. Let g be (n/10)/((-6)/(-15)). Is (-6674)/(-18) - g/(-18) prime?
False
Suppose -39*d + 460751 = -616078. Is d composite?
False
Let k be -2 + 43/5 + (-3)/5. Suppose -4*p = -5*m - 2109, p - k*p + 5*m + 2635 = 0. Is p a prime number?
False
Suppose -j + z + 1652 = -572, -9 = -3*z. Is j a prime number?
False
Let w = -9206 + 21859. Is w a prime number?
True
Let d = 21346 + 10089. Is d a prime number?
False
Let i(o) = 5*o**3 - 10*o**2 + 9*o - 7. Let v(f) = 16*f**3 - 30*f**2 + 27*f - 22. Let l(q) = 7*i(q) - 2*v(q). Is l(6) prime?
True
Let u = 163 - -1293. Let y = 2247 - u. Is y prime?
False
Suppose -4*k = 4*k - 48. Is (42/(-9))/(k/(-207)) prime?
False
Suppose 208*s = 204*s + 33284. Is s a prime number?
False
Let x(w) = 2*w + 26. Let g be x(-12). Suppose 0 = q - g*q. Suppose q = -0*t - 2*t + 706. Is t composite?
False
Let v(b) = -b**2 - b + 79. Let a(l) = 3*l - 9. Let t be a(5). Let x = 6 - t. Is v(x) prime?
True
Is 3/(-12) - 6*(-10679)/8 a composite number?
False
Suppose 0 = -3*x + 8 - 2. Let o(s) = -s - 5. Let q be o(-16). Is q*((38 - -3) + x) a prime number?
False
Is -1 - -4114 - (-4)/2*-1 a prime number?
True
Let p be (-6)/27 - 47/(-9). Suppose 7*a - 1306 = p*a. Is a prime?
True
Suppose 15 = 2*f + 5*l, -2*l + 7*l - 5 = 0. Suppose -10 = f*z - 6*z. Let v = z + 13. Is v prime?
True
Let k = -143 - -3606. Is k prime?
True
Suppose 34*y - 149394 = 161740. Is y a prime number?
True
Let u = -116 + 171. Suppose 0*c - c + u = 0. Is c composite?
True
Let v(l) = 2*l**3 - 2*l**2 + 3*l + 21619. Is v(0) a composite number?
True
Suppose -72*q + 66*q + 8214 = 0. Is q a composite number?
True
Let d(t) be the first derivative of 2*t**3/3 + t**2/2 + 417*t + 13. Is d(0) prime?
False
Suppose 3*g + 1 = -s - 9, -4*g - 20 = 0. Suppose -1687 = -s*v - 2*o, 4*v - 1351 = -0*v - 3*o. Is v a prime number?
True
Let w(l) = -l**2 - 13*l + 32. Let h be w(-15). Is (797/h)/((-12)/(-24)) a prime number?
True
Suppose 65093 = 2*r - 135987. Is r/66 - (-1)/(-3) a prime number?
True
Suppose 3*m - 5*h + 56 = 0, h = -2*h + 12. Is m/20 - 58016/(-10) composite?
False
Let q(z) = 13*z**2 + 6*z - 7. Let g = -46 + 52. Is q(g) a composite number?
True
Let p(v) be the third derivative of 29/24*v**4 + 0 + 1/3*v**3 - 3*v**2 + 0*v. Is p(1) composite?
False
Suppose -5*t + 4*c - 3 = -68, 0 = 5*t + 3*c - 30. Suppose t*i - 69 = -15. Is i composite?
True
Let t(n) = 380*n**2 + 14*n + 7. Is t(-6) a composite number?
True
Let d(a) = -2*a**3 - 11*a**2 - 31*a - 17. Let f(t) = 3*t**3 + 16*t**2 + 47*t + 25. Let u(i) = 8*d(i) + 5*f(i). Suppose 0 = 2*l - 7 + 27. Is u(l) prime?
False
Let w = -26 - -31. Suppose -1 = -b, w*c + 2*b - 4*b = 8808. Let 