a composite number?
False
Suppose -4*x = -50 + 10. Suppose 8 = -x*z + 38. Suppose y = 5*k - 3508, -2*y - 2109 = -z*k - 0*y. Is k prime?
True
Suppose 3*d + 5*d = 0. Suppose d = l + l - 638. Let u = 650 - l. Is u a prime number?
True
Let n(o) = 157*o**2 + 419*o - 10810. Is n(24) a composite number?
True
Let j(m) = 4*m**3 + 9*m - 3. Let r(l) = 3*l**3 - l**2 + 8*l - 3. Let y(s) = -2*j(s) + 3*r(s). Let d be y(2). Suppose 4134 = d*i + i. Is i a composite number?
True
Suppose -17*g + 1509460 = -534331. Is g a prime number?
True
Is (-11)/176 - (-442233)/144 prime?
False
Let k(b) = 693*b**2 - 1653*b - 11. Is k(-27) composite?
False
Let k(x) = -613*x**3 + x**2 + 3*x - 2. Let f be k(2). Let b = f + 8207. Let w = b + -1260. Is w a composite number?
True
Let x(q) = 102*q**2 - 1603*q + 36. Is x(69) a prime number?
False
Let k = 78040 + -26358. Is k prime?
False
Let y = 3115 + -1797. Is y a composite number?
True
Let p(g) = g**2 + 7*g - 13. Let w be p(-9). Suppose w*s + 50 - 140 = 0. Suppose -11*y - 6139 = -s*y. Is y a composite number?
False
Suppose y + 4*h + 908 = -504, 4212 = -3*y - 4*h. Let x be ((-4681)/62)/((-7)/2 + 4). Let d = x - y. Is d a prime number?
True
Let g(t) = -t**3 - 3*t**2 + 3*t - 7. Let o be g(-5). Suppose -o*k = -29*k + 4. Is (-10)/(k + (-714)/177) a composite number?
True
Suppose -87*t = -59*t - 5628. Let o = 364 - t. Is o a composite number?
False
Let d = -79 + 82. Let f(a) = a - 4. Let o be f(7). Suppose 2*m - 1978 - 196 = o*s, 0 = -d*s. Is m prime?
True
Let k(g) = -10*g**3 + 25*g**2 + 9*g + 3. Let v(h) = -7*h**3 + 17*h**2 + 6*h + 2. Suppose -5 = -5*f + 20. Let l(n) = f*k(n) - 7*v(n). Is l(3) composite?
False
Let w(u) = 19*u**2 - 18 + 27*u**2 + 4*u**3 - 11*u - 50*u**2. Is w(11) prime?
False
Suppose 589*c - 612*c + 18839599 = 0. Is c composite?
True
Let d(g) = -2*g - 1. Let n(z) = 472*z - 194. Let h(p) = -3*d(p) + n(p). Is h(9) prime?
True
Suppose t - 89*l + 84*l - 154472 = 0, -2*t - 2*l = -308980. Is t a composite number?
False
Suppose -4*z = 4*g - 58548, -4*g = 7*z - 94224 - 8250. Is z prime?
False
Let h(s) = 84*s**2 - 25*s + 119. Is h(10) a composite number?
False
Suppose 2*b + 3*z + 41 = -3*b, -1 = b - 3*z. Let x(w) be the second derivative of -w**5/20 - w**4/3 + w**3/6 + 5*w**2/2 - 4*w. Is x(b) a composite number?
True
Let g(i) = 116*i**2 - 58*i + 115. Is g(-26) a prime number?
True
Let p(z) = z**2 - 5*z - 8. Let h be p(9). Let c be 3*(-2)/21 - 48/h. Is (-5045 - (-3 - 0))/c composite?
False
Suppose -3*v - 4*s + 8 + 2 = 0, -v - 4*s + 6 = 0. Let a(t) = -t - 3*t**v + t**3 - 2*t + 2*t**2 + 8*t - 19. Is a(8) composite?
True
Let d = 33 + -29. Let c = 327 + -171. Suppose -3*j - 45 = -d*s - 156, 5*j = -3*s + c. Is j a composite number?
True
Suppose -n + 9 = -j + 1, -j - 4 = 0. Suppose 1835 - 311 = n*w. Suppose o - 2*o = -5*y + 383, -2*o - w = -5*y. Is y composite?
True
Is (-5)/2*(-96291754)/1495 prime?
False
Let n(t) = -11585*t**3 + 21*t**2 + 9*t - 31. Is n(-4) composite?
False
Suppose -3*q = 4*c - 38, q - 3*q + 40 = -c. Suppose x = q*x - 20587. Is x a prime number?
False
Suppose -15*n = 495961 - 6457846. Is n a composite number?
False
Let t = 193833 + -292041. Is t/(-155) - (-2)/5 composite?
True
Let d be 24782 + 39 + (4 - 2). Suppose -d - 82342 = -5*r. Is r a composite number?
False
Suppose 1639393 = -24*n + 23*n + 8*n. Is n composite?
True
Let u(a) = 285043*a + 54. Is u(1) prime?
False
Let d(f) = -f**3 - f**2 + 2*f + 9. Let r be d(0). Suppose -4*x - 13 = -6*o + r*o, 5*x + 3*o = -17. Let u(m) = -48*m + 7. Is u(x) a prime number?
True
Let b(h) = h**2 - 13*h + 36. Let n be b(3). Suppose n*l + 3*l = 108063. Is l composite?
False
Is (3 - (463802/5 - -4))/((-11)/55) composite?
False
Suppose 60*b - 64*b = -24. Suppose -b*u + u = -17705. Suppose 7*w = 4*d + 2*w - u, 3*w = d - 894. Is d a prime number?
False
Suppose -478538 - 201120 = -14*z. Is z a prime number?
False
Suppose 6*x - 613209 + 90315 = 0. Is x a prime number?
True
Let h be 28/4 - 3/3. Suppose 0 = 3*n - n - h. Suppose 0 = n*l - 6*l + 1227. Is l prime?
True
Let z(u) = -1291*u + 8627. Is z(-150) prime?
True
Let v(l) = 3*l - 59. Let c be v(24). Suppose -9*j + c*j + 5*w = 12741, -4*w - 15957 = -5*j. Is j composite?
True
Let w = -32 + 39. Suppose 1 = 2*a + w, -y - 2*a - 6 = 0. Is (-3 - y - 0) + 77 composite?
True
Suppose 0 = 3*u + 4*r - 654297, 5*r + 130052 = -u + 348140. Is u composite?
True
Let x(z) = z**2 - 10*z + 4. Let r be x(10). Let l be (2/r)/((-9)/(-16578)). Is (12/(-18))/((-2)/l) a prime number?
True
Suppose -46 = 6*k - 64. Suppose -4*y = k*s - 1463, 4*y + 3106 = 5*s + 625. Is s a composite number?
True
Let h(q) = 690*q**2 - 27*q - 67. Is h(6) a composite number?
False
Let b(y) = 20*y + 108. Let m be b(-28). Let a = 627 - m. Is a a composite number?
True
Suppose 3*m = 3*u + 1379304, 2*m - 459771 = m - 2*u. Is m composite?
True
Let y(n) = 2*n**3 + 5*n**2 - 193*n - 49. Is y(25) prime?
True
Suppose 2*n - 3*h - 7 = 0, 11*h - 9*h - 2 = 0. Is (11790/n)/3 - 1 a composite number?
True
Let q(v) = -12*v**3 + 8*v**2 + 3*v + 5. Let d(f) = 5*f + 15. Let w(g) = -4*g - 16. Let c(s) = 4*d(s) + 3*w(s). Let x be c(-2). Is q(x) a prime number?
False
Let l(b) = -8*b**3 + b**2 - 97*b - 809. Is l(-34) prime?
True
Suppose 0 = -h + 4*p + 95848 - 10546, h - 85262 = -4*p. Is h a composite number?
True
Let l(u) = 46*u**3 + u**2 - 2*u - 2. Let i be l(-3). Let m = -2130 - i. Let r = -522 - m. Is r prime?
True
Suppose -8*y + 213617 = -7*y - 4*c, -5*y + 4*c = -1068165. Is y a prime number?
True
Let w = 151 + -79. Let b = w - -238. Is b - 1 - 3/((-3)/(-2)) a composite number?
False
Let x(i) = 20*i**3 + 24*i**2 - 22*i - 85. Is x(14) a composite number?
True
Is 266543 - (((-320)/(-4))/10 + (-12 - 4)) a composite number?
True
Suppose -r + 31510 = -5*q - 58978, 271446 = 3*r + 3*q. Is r composite?
True
Let x(h) = 1353*h**2 + 140304*h - 1 - 7 - 140298*h. Is x(3) a composite number?
True
Let w(t) = t**3 + 7*t**2 + 11*t + 11. Let p be w(-5). Suppose 7*x - 52 = -p*x. Is (8148/30)/(x/10) prime?
False
Suppose 89*q - 74311186 = -149*q + 20*q. Is q a composite number?
False
Suppose 3*c = -2*b + 41899, -3*c = 77*b - 76*b - 41894. Is c a composite number?
False
Is (-2)/(13 - (-22139745)/(-1703055)) prime?
True
Let k(a) = 2*a + 11. Let u = 11 - 15. Let v be k(u). Is 181 - v/(-9)*(-1 - -1) a prime number?
True
Let h = -18283 - -26081. Suppose 5*k + 2*w = 69049, w = -4*k + h + 47443. Is k composite?
True
Let x(z) be the second derivative of z**5/20 - z**4/12 + z**3/3 + 719*z**2/2 - 9*z + 21. Suppose 0 = 3*k + 2*k. Is x(k) prime?
True
Let f(l) be the first derivative of 3*l**2/2 - 3*l - 3. Let z be f(2). Suppose 3*x - 791 = -5*j, -481 = -z*j - 3*x - 2*x. Is j a prime number?
True
Let z(h) = h**3 - 9*h**2 + 11. Let w be z(9). Suppose -22*o = -17*o - 7640. Suppose -w*n = -3*n - o. Is n prime?
True
Suppose -4*u = -2*i + 593014, -39*i - u - 2372101 = -47*i. Is i a prime number?
False
Let b be 0 + -3 - -9*(-4)/(-12). Suppose b = -7*c + 2*c + 98995. Is c a prime number?
False
Let j = 660 - 298. Suppose -363*h + j*h + 7223 = 0. Is h a prime number?
False
Is ((-36)/(-90))/(8/825140) composite?
False
Let b = -59241 + 86740. Is b composite?
True
Suppose 298*x + 1992858 = 340*x. Is x a composite number?
True
Suppose -3*s - 2*z + 662 = 0, -5*s + 1110 = -0*s + 2*z. Suppose -390 - 244 = 2*m. Let l = s - m. Is l a composite number?
False
Let r(q) be the third derivative of 19*q**6/120 + q**5/15 + q**4/6 + 5*q**3/6 - 9*q**2. Let c be r(7). Let i = c - 2557. Is i a prime number?
False
Let l(b) = -b**3 - b**2 - b. Let w(h) = -8*h**3 - 5*h**2 - 5*h. Let c(q) = -5*l(q) + w(q). Let k be c(1). Is (-2 - (k - 484))/1 prime?
False
Let i(b) = -8168*b + 4481. Is i(-39) composite?
True
Let n = 282527 - -3344. Is n a prime number?
True
Let h = -35417 - -83194. Is h a prime number?
True
Let u be (-20)/(-3) - 110/165. Is (u/(-5) + 1)/(30/(-97050)) prime?
True
Is (-2 + 236513/2*-1)*(-4)/6 prime?
True
Suppose -56*s - 457791 + 5621159 = 0. Is s a prime number?
True
Let p be -2*1/(-12) + 1432/48. Suppose -2*o + 6 = 2*h - 0*o, -4*h + 5*o + p = 0. Suppose 337 = 5*n - h*i - 763, -4*i = -2*n + 434. Is n a prime number?
True
Suppose 3*w + 0*w - 2*x - 17 = 0, -5*w + x = -33. Let l be (-2)/w + 148/28. Suppose 0 = 5*p - 0*g - g - 1024, 0 = -3*p + l*g + 610. Is p a 