composite?
True
Suppose -4*m = -0*m - 1844. Suppose -5*j = 2*h - 1286, -375 = -3*j + 3*h + 405. Let l = m - j. Is l a prime number?
False
Suppose 3*b - 6830 = -4*k - 862, 0 = -3*k - 4*b + 4476. Suppose -59*x = -63*x + k. Is x prime?
True
Let k be (8/(-6))/((-1)/6). Suppose -g + 12672 = k*g. Suppose -6*b = -g - 7046. Is b composite?
False
Suppose 0 = -2*h + 8*h - 12. Suppose -5*q = -4*w + 35277, w - h*q = 5730 + 3093. Is w a prime number?
False
Let w be (-42)/(-7)*(-1934)/(-6). Let j be 10/15 + w/6. Let f = 654 - j. Is f a composite number?
False
Let l(k) = 2814*k + 135. Let m(c) = -563*c - 27. Let s(w) = 2*l(w) + 11*m(w). Suppose 3*j + 12 = 4*d, 2*d - 34 = -20*j + 25*j. Is s(j) prime?
True
Is (6 + (-245)/42)/(4/2014392) composite?
False
Suppose 0 = 5*f - 3*d + 1, 5*f + 2 = 5*d - 3. Let c be 41 + ((-20)/f)/5. Suppose 32*n = c*n - 6215. Is n a composite number?
True
Let c = -24882 + 71875. Is c composite?
False
Let y be (-3 - (-3 - 118))*139. Suppose -4*z = 5*l + 13139, -4*z + l = z + y. Let c = 4930 + z. Is c composite?
True
Let f(n) = -60*n - 1. Let j(d) = d**2 + 4*d - 5. Let s be j(2). Suppose -2*y - s = -y. Is f(y) a composite number?
False
Is (-3 + -5 + 4)*2867660/(-80) a composite number?
True
Let r = 150591 + -55788. Is r a prime number?
False
Suppose 3*o - 382011 = -3*c, -3*c - 5*o - 81322 = -463345. Is c composite?
False
Suppose 0 = -5*v + 4*g - 103274 + 1826091, -3*g = 9. Is v a prime number?
False
Let h(j) be the third derivative of 695*j**4/8 - 7*j**3 + 4*j**2 - 23. Is h(5) prime?
False
Let g be (1*(1 - 0))/((-4)/(-20)). Is (g + -2)/(((-12)/(-2894))/6) a prime number?
False
Suppose -5*v - 1180 + 8985 = 0. Let m = -1095 + v. Suppose 4*a + 1131 = 5*d, 2*d - a - m = 4*a. Is d a prime number?
True
Let j(d) = 4*d**3 + d**2 + 3*d - 4. Let t be j(1). Let a be t/(-20)*-5*0. Suppose v = -3*o - a*v + 15810, -4*o + v = -21073. Is o prime?
False
Let b be (-7)/(-42)*87*4. Suppose -2*q + 10989 = 53*r - b*r, -3 = -3*r. Is q a prime number?
False
Let o(x) be the third derivative of 689*x**6/120 + x**5/60 - x**4/24 - 3*x**2. Let n(a) = a**3 + 4*a**2 + a + 5. Let y be n(-4). Is o(y) a prime number?
False
Let u = -540 - -545. Suppose 11*v = u*v + 60666. Is v prime?
True
Let n = -1028144 - -1835215. Is n prime?
True
Let w(o) = -44*o**3 - 10*o**2 + 6*o - 5. Let u(z) = z**3 + z**2 + z. Let t(g) = 5*u(g) - w(g). Is t(4) composite?
True
Suppose -5*z + 2*p - 4*p + 83 = 0, -3*p = -5*z + 88. Let b(c) = 20*c - 4*c - 23 + 25 + 178*c**2 - z. Is b(7) a composite number?
False
Let b(m) = -39*m + 46. Let h be b(4). Let t = 114 + h. Suppose -t*l = 2*w - 1688, 6*l - l = 4*w + 2110. Is l composite?
True
Let o = -186 - -819. Let h be (-1)/((-3)/6) + o. Suppose 11*x - 16*x = -h. Is x prime?
True
Suppose -3*b + 14 = 2, -c + 6*b = -28855. Is c prime?
True
Let c(a) = -55*a - 48. Let x be (7/((-49)/(-120)))/((-20)/140). Let d = 109 + x. Is c(d) prime?
True
Let g(t) = 4693*t + 17. Is g(24) prime?
False
Suppose -85244 = -75*f + 71*f + 2*m, 2*f - 42618 = 2*m. Is f a prime number?
True
Let h be 0/2 - (6 + -5)*-12. Suppose h*u + 28 = 5*u. Is 1/u - 2458/(-8) a composite number?
False
Let v = 440533 + -91094. Is v composite?
True
Let c(h) = h**3 - 11*h**2 - 13*h + 16. Let x be c(12). Suppose 2*m + 3*a - 62 = 0, x*a + 0*a = -16. Let i = -18 + m. Is i a prime number?
True
Let t(n) = -15 - 121*n + 51*n - 44. Suppose -3*y = -22*y - 133. Is t(y) prime?
True
Suppose 0 = 5*w - j + 6831, -4*w - 10*j = -11*j + 5464. Suppose 1827 + 779 = -3*h - c, -2*h + 2*c = 1732. Let y = h - w. Is y composite?
False
Suppose 1059809 = 2*z - 5*r - 180867, -5*r = -5*z + 3101690. Is z a prime number?
False
Let x = -44 + 43. Let w be (-3 - (-4)/(-8)*668)/x. Is 0 - (0 - -2) - (16 - w) prime?
False
Suppose 4*q - 987 = 20*s - 21*s, -q - 3982 = -4*s. Is s prime?
False
Suppose 5*s = 9*s. Let d be s*((-2)/(-4))/((-7)/(-14)). Suppose -5030 = -10*w - d*w. Is w composite?
False
Suppose 0 = -4*z - 2*c + 626154, -518*z + 520*z = 4*c + 313082. Is z prime?
True
Suppose 12*z + 4*z - 1456 = 0. Let d = 302 - z. Is d a prime number?
True
Let t(l) = 5*l**3 - 3*l**2 + 3*l + 3. Let x = -39 - -40. Let n(h) = h**3 + h**2 + 3*h - 3. Let m be n(x). Is t(m) composite?
False
Suppose -47*k + 1344378 = -75*k + 13071646. Is k a composite number?
True
Suppose 12*q - 7*q + 3862505 = 5*r, -2*q = 16. Is r a composite number?
False
Suppose 5*h + s = -47389, 0*h - 47377 = 5*h - 2*s. Let o = -20724 + 15305. Let a = o - h. Is a composite?
True
Let p be ((-99)/(-12))/(12/608). Let o = p + -228. Suppose 2*u + o - 692 = 0. Is u a composite number?
False
Let o(s) = 5783*s + 256. Suppose -4*b - 97 = -5*z, -11 + 8 = b. Is o(z) composite?
True
Suppose 0*a = 5*a + 1100. Let m = a - -537. Is m composite?
False
Let r be 22/44 + (-2 - (-36399)/6). Let f = 2 + 11. Suppose -f*k + r = -8*k. Is k prime?
True
Let c(s) = -274*s + 29. Let o be c(10). Let g = 6286 - o. Is g composite?
True
Let g(u) = -108 + 129 + 42*u + 67*u. Is g(10) composite?
True
Let u = 34000 - 90342. Is -4*((-4)/24 + u/24) a composite number?
False
Let t = 30338 - 6441. Is t a composite number?
True
Let n = -562 - -557. Is (n - (-12527)/4) + 2/8 composite?
True
Suppose 3*i - 395 = -107. Suppose -6*b - 12 = i. Let w(h) = h**2 - 2*h + 1. Is w(b) prime?
False
Let a(c) = -c**3 + 15*c**2 - 22*c - 17. Let k(h) be the first derivative of 5*h**4/2 - 2*h**3/3 + 2*h**2 - 2*h + 21. Let t be k(1). Is a(t) prime?
True
Suppose b + 335 = 305. Is 10/(b/(-2871)) - 4 composite?
False
Suppose -2042*p = -2052*p + 149610. Is p composite?
True
Is (1256493/6)/((-861)/(-246)) composite?
False
Let n(x) = -8*x**3 + 5*x**2 + 16*x + 10. Let z(t) = -t**3 - 5*t**2 + 7*t + 1. Let p be z(-6). Is n(p) composite?
True
Suppose -10*x = 38 + 762. Let d = -3 - x. Is d prime?
False
Suppose 0 = -5*i, 3*c - 5*i - 15 = -0*i. Suppose 3*j = a + c, 7 = -j + 4*j + a. Suppose -660 = -j*s - 2*q, -3*s + 1197 - 206 = 2*q. Is s prime?
True
Let c(g) = -g**2 + 88*g + 370. Let y be c(-4). Let z be 0 + 0 + (9 - -1). Is -2 + (7 - y) + z a composite number?
False
Let h(t) = t - 4. Suppose -r + 2*r = -4*n + 68, 4*n - 52 = 3*r. Let m be h(n). Let f = m - -55. Is f prime?
True
Suppose 0 = 6*b + 631 - 2581. Let m be (-2)/9 - (-54492)/27. Suppose -4*q = w - 1875, -5*q - 2*w + b = -m. Is q prime?
False
Suppose -130*y + 48 = -124*y. Suppose -y*i + 13419 = 19*i. Is i composite?
True
Let h = -38 - -200. Let g = 169 + h. Is g composite?
False
Suppose -4*a - 16 = -6*a. Let v(t) = 50*t**2 - 6*t + 27. Let h(q) = -51*q**2 + 8*q - 26. Let z(p) = 6*h(p) + 7*v(p). Is z(a) prime?
True
Let r = 18 - 18. Suppose -570 = -2*h + h. Suppose o = -v + 188, -4*o + o - v + h = r. Is o composite?
False
Let o(r) = 4*r**2 + 8*r - 14. Let h be o(2). Suppose -9822 = -24*c + h*c. Is c composite?
False
Let h be (301 + (5 - 5))*11. Suppose -x - 4968 = 5*l - 8*l, 0 = 2*l - x - h. Is l composite?
False
Let l(t) = -t**2 + 14*t - 19. Let b be l(12). Suppose b*u - 718 = 47. Suppose -608 = -k + u. Is k prime?
True
Let l(w) be the third derivative of 91*w**5/60 - w**4/24 - 32*w**2. Let i be l(-1). Is 6 + -7 - i*-6 a prime number?
False
Suppose -12*o - 30 - 210 = 0. Let v(l) = -2*l**3 + 17*l**2 + 2*l - 159. Is v(o) composite?
True
Let u = 121 - 110. Let p(t) = t**3 - 11*t**2 + 3*t - 27. Let n be p(u). Suppose 4*h + 3164 = 10*z - n*z, -3*h - 3167 = -4*z. Is z prime?
False
Let i(b) = -3093*b - 299. Is i(-8) prime?
False
Let k(v) be the second derivative of 0 + 11/2*v**2 + 1/2*v**3 + 149/12*v**4 + 27*v. Is k(-6) composite?
True
Let t(i) = -i**2 - 13. Let f(w) = w**2 - w + 14. Let o(g) = -6*f(g) - 7*t(g). Let j be o(-5). Is 124/(-217)*(-413)/j a prime number?
False
Suppose l + 9*k - 6*k - 69634 = 0, 4*l - 278451 = 5*k. Is l composite?
True
Let c(b) = -b**3 + b**2 + 23*b + 294. Let m be c(0). Suppose -3*i - 2*k = -i + 636, 0 = 2*i + 3*k + 637. Let l = m - i. Is l prime?
False
Suppose 25*f + 84*f - 4564157 = 0. Is f composite?
True
Is 18/(-30) - (-13)/(390/1243128) composite?
True
Suppose 2*m = -4*z + 774510, 4*m - 7237 - 1541770 = 5*z. Is m composite?
False
Suppose -7608 = -15*a + 6612. Suppose -7*z = -z + a. Let d = z + 492. Is d prime?
False
Let t = 504 - -1687. Suppose 3*h + k + 2207 = 0, -h - 2*h = 5*k + t. Let g = -54 - h. Is g a prime number?
True
Suppose -9*d + 139087 + 217196 = 0. Is 