h = -1053 + z. Is h a composite number?
True
Let r = 305 + 269. Let b be 51 + 1 + 3 + -6. Let o = b + r. Is o a prime number?
False
Is 44576 + (148/962 - 119/13) a prime number?
False
Let a(k) = 5*k + 3. Let t be a(-3). Let q be (t/(-16))/(2/(-8)). Is (-212)/(-2) + 0/(9/q) a prime number?
False
Let i be (-2)/(-11) - (-5565)/(-55). Let l be 146*(9/2)/3. Let k = i + l. Is k composite?
True
Let k(h) = -1298*h + 6. Let o be k(-3). Suppose -y - 3249 = -5*q - 530, -3*q + 8157 = -3*y. Let n = o + y. Is n composite?
False
Suppose -45*m + 189*m - 34064320 = -176*m. Is m prime?
True
Let n be (-5)/10*10 - -5103. Suppose 3*v - n - 5159 = 0. Is v a prime number?
False
Let d(m) = 79*m**3 - m**2 - 3*m + 1. Let k = 10 + -5. Suppose k*y + n = 9, -5*y - 3 = 5*n - 8. Is d(y) prime?
False
Suppose 2*m = -3*s + 1601968, 4*s - 2135958 = -4*m + m. Suppose 26*w - s - 12298 = 0. Is w a composite number?
False
Let c = -6 + 13. Suppose 2*y = c*y - 1760. Let x = -153 + y. Is x prime?
True
Let w = -23 - -28. Let i(x) = w*x - 13*x - 4 + 11*x + 8*x**3. Is i(3) a prime number?
False
Let r be (2 - 10)/2*12/(-8). Let a(t) = -r*t**2 - 8 - 15*t**3 - 5*t + 14*t**3 - 10*t - 1. Is a(-7) prime?
False
Let i(h) = -h - 5. Let b be i(-19). Let j be (-76488)/b + 1/((-14)/(-6)). Let l = j - -10604. Is l a composite number?
True
Let l(j) = 22*j**3 - 6*j**2 - 28*j + 5. Let i be 7/(56/16) - (1 + -5). Is l(i) prime?
True
Let o = 44628 + -27123. Suppose -11*y + 10028 = -o. Is y a prime number?
True
Suppose -18*g - 1960 = -26*g. Let u = g + 3114. Is u composite?
False
Let t(k) = 1137*k - 13. Is t(4) composite?
True
Let k be ((-630)/21)/(85/87 - 1). Suppose 4*p + k = 4*y - 147, 1464 = 4*y - p. Is y a prime number?
True
Is -103876*(-27)/54*(-1)/(-2) composite?
False
Suppose 5*l - 20 = 5. Suppose 0 = 5*m - y - 10942, -4368 = -2*m + 3*y - 7*y. Suppose 0 = l*f - f - m. Is f prime?
True
Let n(d) = 187795*d**3 + 9*d**2 - 4*d - 1. Is n(1) a prime number?
False
Is (7/(21/(-20534)))/(70/(-1365)) composite?
True
Let k = 77 - 39. Suppose 37*n = k*n - 9053. Is n a composite number?
True
Suppose -966*l + 962*l = 218256. Is ((-14)/(-84))/((-2)/l) prime?
True
Suppose -4028 = -8*c + 1860. Suppose -8*l + 1136 = -c. Is 2/5 + 63/70*l composite?
False
Suppose 6 = -3*g + 5*m, -4*g = 5*m - m + 40. Let u be 2 + (0 - -1) + g + 6. Is (3/u - 1)/(2/2588) composite?
False
Let o(g) = -3*g**3 - 5*g**2 - 2*g + 1. Let h be o(-2). Suppose 4*w + 15 = h*w. Suppose -4*b + 2*s = -761 - 801, w*s = 3*b - 1170. Is b prime?
False
Let r(f) = -82*f**3 + 8*f**2 - 17*f - 196. Is r(-23) composite?
False
Let j(n) = -2*n**2 + 15*n - 8. Let v be j(6). Let m be (-116 - -4)/(v/(-245)). Let b = m - 1245. Is b a prime number?
True
Let l be 24/(-36) + 92/3. Suppose 10*f + l = 4*f. Is (-5)/(-2)*(-1594)/f a prime number?
True
Suppose -a + 972 + 641 = 4*k, 3*k - a = 1201. Let b(t) = 2*t**2 - 25*t + 23. Let m be b(12). Let d = k - m. Is d prime?
False
Let f be (-3)/(-18) + (-123)/(-18). Let n(m) = -368*m + f - 3 - 9. Is n(-5) composite?
True
Let c(f) = 5*f**3 - 20*f**2 - 20*f. Let x(s) = -2*s**3 + 7*s**2 + 7*s. Let a(p) = 3*c(p) + 8*x(p). Let m be a(-3). Let d(n) = 253*n - 2. Is d(m) a prime number?
True
Let i(w) = -4071*w + 6893. Is i(-68) composite?
False
Suppose -47*l + 50*l + 181142 = 2*q, 4*q - 362284 = -3*l. Is q composite?
True
Let h = 609 + -620. Let y(t) = -966*t - 37. Is y(h) composite?
False
Let l(v) = 5*v + 34. Let m be l(-5). Suppose -7 - 38 = -m*i. Suppose 17 - 1 = 4*c, -2*t + 1318 = i*c. Is t a prime number?
False
Let j be 6*(-15)/(-20)*4/6. Suppose -4*p - 473 = -s, -j*s = 3*p + 266 + 85. Is 68/(-16)*(p + 2) composite?
True
Suppose -2*g - 5*f = 1086, -4*f - 328 = 3*g + 1294. Let n = 8180 + g. Is n a composite number?
True
Let b = 13786 - -23650. Suppose 856 = -20*r + b. Is r a prime number?
False
Is (-4)/(-30) + (-257245261)/(-1455) prime?
False
Let h = -222 - -366. Suppose x - 5*j = -9, -h = 3*x + 4*j - 22. Is (-25122)/(-34) + (-4)/x a composite number?
False
Suppose 17*h + 24 = 13*h. Is -2 + (-30610)/h - 104/156 prime?
True
Suppose -3*d + 4 = -5*h, 5*d + h - 12 = 4. Suppose 3*t = -1 + 10, -d*n + 2*t = -21. Suppose n*r - 545 = 1246. Is r a composite number?
False
Suppose 4*d - 3*d = q + 33, -3*d - 66 = 2*q. Let o(l) = -l**3 - 20*l**2 + 7*l - 97. Is o(q) a prime number?
True
Let d(k) = 29607*k**3 + 9*k**2 - 13*k + 11. Let z be d(3). Is z/170 + (-2)/(-5) composite?
False
Is (-5)/(-60) - (-28423915)/204 a prime number?
True
Suppose -2*z + 12 = 0, -4*m + 1595542 + 428634 = -2*z. Is m a composite number?
False
Let w(k) = -188*k + 15. Let g be (-4)/6*51/(-2). Suppose 4*x + 69 = g. Is w(x) prime?
True
Let c = 248 + -206. Let m(k) = 7*k**2 - 27*k + 19. Is m(c) prime?
False
Let i = -255382 + 434997. Is i a composite number?
True
Let d = 39740 + 21141. Is d a composite number?
True
Let z(h) = -h + 7. Let a be z(5). Suppose -52 = a*u - 32. Is (-4)/(-5) + (-7962)/u a composite number?
False
Let c(u) = 21*u**2 + 21*u + 6. Let s(j) = -64*j**2 - 58*j - 17. Let r(g) = -8*c(g) - 3*s(g). Let d(l) = -2*l**2 - 4*l. Let m be d(-3). Is r(m) prime?
False
Suppose -12*f = -13*f + 25. Suppose -3*c + f = 2*o, -2*c + o - 15 = -4*c. Suppose -4*g + 2*n = 32 - 2006, -c*n = 5*g - 2460. Is g composite?
True
Is 165742/(-5)*-1 - -6*(-15)/(-150) prime?
True
Let c be 0 - (0 + -1 - 10360). Suppose -219*f - c = -232*f. Is f a prime number?
True
Let o(c) = -16*c - 11498. Let j(z) = 5*z + 3833. Let k(g) = -11*j(g) - 4*o(g). Is k(0) a prime number?
False
Let i be ((-512)/80)/((-6)/15). Is -1*(-20)/i*13196 a composite number?
True
Let z(y) = 20*y - 27. Suppose j = 2*s + 3*s - 67, 0 = -5*s - 4*j + 57. Let g be z(s). Suppose -6*h - 23 + g = 0. Is h a composite number?
True
Suppose 283*a - 74799 = 280*a. Suppose 0*v = -3*t - 2*v + a, 0 = -t - 5*v + 8311. Is t prime?
True
Let m(b) = 20114*b - 987. Is m(10) a composite number?
False
Let g = -94762 - -455831. Is g a composite number?
False
Suppose z - 2*u - 654243 = 0, -796*z + 4*u = -797*z + 654285. Is z prime?
True
Is (7 + -8)/1*(-63240 + -5 + 4) prime?
True
Let i be (-2 + -2)/24*-21*2. Suppose 0 = 3*h - 5*n - 5326, 3*h - i*n + 9*n = 5333. Is h composite?
False
Let g = -2320 - -526. Let p = g + 3571. Is p composite?
False
Suppose 0*c + 3*c + 5*n - 28 = 0, c + 3*n - 16 = 0. Let p(y) be the third derivative of 701*y**4/8 - y**3/3 - 5*y**2. Is p(c) a prime number?
False
Suppose -4*k = -4*t - 1076, -5*t - 15*k = -12*k + 1321. Is 129/9*(1 - t) prime?
False
Let i = 922248 + -564881. Is i a prime number?
False
Let z = -1897 - -3763. Suppose -y + z = 5*y. Is y prime?
True
Let j = 2832 + -4809. Let v = 11996 - j. Is v prime?
False
Suppose -8*g + 44 = -364. Let o = g + -53. Is (-2 - -3 - o) + 248 a composite number?
False
Let g(p) = 5819*p**2 + 22*p - 163. Is g(10) a prime number?
False
Let h be -3 + -1 + 5 + 47*1. Let j = -13 + h. Is 20531/j - 2/(-5) composite?
False
Let p(c) = -c**3 - 12*c**2 - 11*c - 2. Let n be p(-11). Let s be (n*5)/((-300)/74 + 4). Suppose 8*l + s = 9*l. Is l prime?
False
Let j(q) = 15958*q**3 + 2*q**2 + 2. Let f(o) = -15957*o**3 - 4*o**2 + o - 3. Let l(d) = 3*f(d) + 4*j(d). Is l(1) composite?
False
Let k(p) = 494680*p**3 - 3*p**2 + 27*p - 23. Is k(1) a prime number?
False
Let n = 246 + 1204. Let z be (-10 - -9)/((-2)/10). Suppose z*t + 4*a + 515 - n = 0, -t = -a - 196. Is t prime?
True
Let j = 51 - 82. Suppose z = -3*z - m + 246, 0 = -4*z - 3*m + 242. Let b = j + z. Is b a composite number?
False
Let l be ((-8)/10)/(10/(-25)). Suppose 6*a - 12 = l*a. Suppose 0 = 5*m + 5*h - 590, 5*m + h - 587 = -a*h. Is m composite?
True
Let o(h) = 2*h - 18. Let l be o(8). Let k be (9/6 + l)*-6. Suppose 0 = 5*s + 4*n - 309, k*n - 2*n = -4. Is s prime?
False
Suppose -l + 4220 = -2*l. Suppose -4*b + 3*s - 9965 = -2*s, s = 5. Let y = b - l. Is y composite?
True
Is ((-3888349)/87)/(6/(-18)) a prime number?
True
Let l = -23234 - -254643. Is l a prime number?
True
Let v(z) = 12*z**3 - 12*z**2 - 44*z + 53. Is v(18) prime?
True
Let t(o) = -10*o - 49. Let j be t(-13). Let a = -77 + j. Suppose 0*l + a*l - 7180 = 0. Is l a composite number?
True
Let v(b) = -18*b**3 + 17*b**2 + 159*b + 13. Is v(-9) a prime number?
False
Suppose 0 = f + 2*f + 5*g + 16087, 4*f - 2*g = -21406. Let m = 12265 + f. Is m composite?
False
Suppose 2*r = 4*q - 16, -3*q 