ose -y = -5*h + 46713. Is h composite?
True
Suppose -12*u - 30210 = -31*u. Suppose 5 = -4*w + 21, 2*c + 4*w = u. Is c a composite number?
False
Let a(h) = 88*h**2 + 7*h + 32. Let p be a(-5). Let j = -681 + p. Let q = -881 + j. Is q composite?
True
Suppose d - 513275 = y, -18*y = 3*d - 22*y - 1539823. Is d composite?
False
Suppose 4*j = 3*n - 2 - 13, -2*j = 0. Suppose 0*t - 3*m = t - 13267, 5*t - n*m = 66335. Is t a prime number?
True
Let g(c) = -1317*c - 47. Let i = -98 + 94. Is g(i) a composite number?
True
Suppose -5*f = -22 - 23. Suppose -f*t = -41 + 5. Suppose 0 = -t*h - 3*k + 1751, 3*h + 3*k - 2*k = 1312. Is h a composite number?
True
Let k(t) = -332*t + 157. Let l be k(3). Is 2*(4 - 2) - l prime?
False
Suppose 17*x - 12*x - f - 69062 = 0, 0 = -5*f + 15. Is x composite?
True
Let i be 1109172*(-8)/(-60)*5. Is 2/(-17) + i/136 composite?
False
Let g = -1071168 + 1829167. Is g composite?
True
Let z(v) = 1230*v - 6721. Is z(53) composite?
True
Suppose -12*n + 4515 = -55977. Let a = 9270 - n. Is a composite?
False
Suppose 69*s - 4*b + 128486 = 71*s, 0 = -s + 5*b + 64194. Is s a prime number?
False
Let d = 85120 + -47877. Is d a composite number?
False
Is 218249*(108/12 - 7)/2 a prime number?
True
Suppose u - 43579 = -4*d - d, 0 = -2*d + 5*u + 17437. Suppose -4*b - 2*a = -4*a - 8716, -4*a - d = -4*b. Is b composite?
False
Let l = 620627 - 70738. Is l a composite number?
True
Suppose -4*m + 3*a + 13321 = -40885, m - a = 13551. Is m a composite number?
False
Let w be (-32)/(-2)*228/30*5. Let s be (-24)/(-156) + (-7206)/26. Let q = s + w. Is q a composite number?
False
Suppose -1463193 = -3*g - 2*x, -g - 3*x = -109373 - 378351. Is g a prime number?
True
Is 15*(-2703448)/(-651) - (-6)/(-14) a prime number?
False
Let y(a) = -4*a + 81. Let i be y(20). Is (-4)/((-644)/628 + i) a prime number?
True
Let d = 51493 - 23094. Suppose 30*g - 2*j = 33*g - d, 2*g = 2*j + 18946. Is g composite?
True
Let h(f) = -f**2 + f - 1. Let d(a) = -a**2 + 4*a + 3. Let p(r) = -d(r) - h(r). Let y be p(5). Suppose 0 = 3*q - 5*k - 638, -q + 236 - y = -2*k. Is q composite?
False
Let c(b) = -1498*b**3 - 4*b**2 - 52*b - 343. Is c(-8) composite?
False
Let l(t) = -t**2 - 6*t + 31. Suppose -c + 6*c + 5*p + 35 = 0, -p + 2 = 0. Let h be l(c). Suppose -4*u + 2336 = 4*x, -h*u = -6*x + 4*x - 2354. Is u composite?
False
Let j = -2 + 3. Suppose 16*w + 2*v = 11*w - 58, -4*w = 2*v + 48. Is (j/2)/(w/(-1060)) composite?
False
Let r(d) = 255302*d + 413. Is r(4) a prime number?
True
Is (-498006)/(-8) + 69/276 a composite number?
True
Suppose -r - 3*u = -26180, r - 9258 = -2*u + 16924. Is r prime?
False
Suppose 8 = -2*g + 16. Suppose -51 = -g*t - 499. Let f = 789 + t. Is f composite?
False
Suppose 3*k - 97419 = -2*i, 35*k - 34*k + 5*i = 32486. Is k a prime number?
False
Let t(x) = -2*x - 78. Let j be t(-38). Is ((-26229)/j)/((-123)/(-82)) composite?
True
Let v(m) = 5631*m**2 - 883*m - 5323. Is v(-6) composite?
True
Let c = 225530 + 49996. Suppose 13*k = 31*k - c. Is k prime?
True
Let v = 19983 - -8800. Is v a prime number?
False
Let v(x) = -x**3 + 7*x**2 - 7*x + 2. Let u be v(6). Is (4/8)/((u/5752)/(-1)) a prime number?
True
Suppose 0 = 9*m - 12*m + 295140. Suppose -4*h = -3*k - k - m, -3*h + 73785 = k. Is h a prime number?
False
Let v(i) = -i**3 - 32*i**2 - 48*i - 33. Let f be v(-33). Let k = 5845 - f. Is k prime?
False
Let b = 41687 - -80156. Is b prime?
True
Let o(b) = -17358*b + 7103. Is o(-15) composite?
True
Let b(l) = -87*l**2 + 8*l - 10. Let x be b(5). Let w be 0 + ((-4870)/10)/(2/4). Let o = w - x. Is o a prime number?
True
Let c = 282 + -610. Let u = c - -732. Suppose 0 = -2*q + 2*g + u, -5*q - 3*g = g - 1019. Is q a prime number?
False
Suppose -n + 168 = -22*n. Is ((-24374)/n)/(97/388) a composite number?
True
Let f = 662982 + -395717. Is f composite?
True
Suppose -142*y = -138*y + 5*a - 686632, 5*a = -2*y + 343316. Is y prime?
False
Let t(a) = 30*a + 152. Let k be t(-5). Suppose -2*u + 2728 + 629 = c, 2*u - 6710 = -k*c. Is c composite?
True
Let c(t) = 1659*t**2 - 8*t + 16. Is c(-15) prime?
False
Let x(z) = 42*z**2 - 9*z + 15. Suppose 5*s - 59 = -14. Let y be x(s). Let c = -1287 + y. Is c a prime number?
False
Let h(o) = o**2 + 3*o - 52. Let w be h(6). Suppose -2*c + 9447 = -n, -w*n = -3*c - 5*n + 14148. Is c prime?
True
Let a = -53 + 69. Suppose -15652 = -3*r + 5*t, 17*t = -4*r + a*t + 20831. Is r a prime number?
True
Suppose 0 = 2*i + w - 331304, 2*w + 80213 = 3*i - 416750. Is i a prime number?
True
Suppose -14*v + 4 = -13*v. Suppose 3*a = v*q + 25182, q + 6296 = 2*a - a. Is q/(-14) - 48/84 a composite number?
False
Let t be 3 + 20145/(-3 - 0) - 3. Is 4/((50/15)/(-5)) - t a composite number?
False
Let g(q) = 908*q + 199. Let x(y) = y**2 + 39*y + 178. Let m be x(-34). Is g(m) a composite number?
True
Let d be -17965*(8 - (8 + 1)). Let p = d + -12026. Is p composite?
False
Let q = -319 - -321. Is q - -7905 - (-14)/7 a composite number?
True
Suppose 15 = -5*c + 70. Let b = -6 + c. Suppose -b*g + f = -1118, -4*g + 608 = 4*f - 272. Is g a prime number?
True
Let y(w) = 16*w**2 + 10*w - 16. Let q = 102 - 96. Let h(t) = 16*t**2 + 9*t - 17. Let b(c) = q*y(c) - 5*h(c). Is b(6) prime?
False
Suppose 5*t + 20 = 4*d, -2*d + 5*d - 20 = 5*t. Suppose 17*l + l - 36594 = d. Is l a composite number?
True
Let g = -141 - -172. Suppose 0 = -2*q - 31 + g. Suppose q = 80*c - 86*c + 18654. Is c composite?
False
Suppose -3*b + 4*g + 2 = 0, 3*b + 0*g = 3*g. Let f(v) = -7251*v + 3. Let w be f(b). Suppose -565 = -10*k + w. Is k a composite number?
True
Suppose 0 = -2*h - y + 25860 + 40161, -5*h - 2*y + 165050 = 0. Suppose -11*r + h = 5*r. Suppose -5*x + 1182 + r = 0. Is x a composite number?
True
Suppose 3 + 13 = o. Let v = -20 + o. Is ((-145)/v + 12/16)/1 a composite number?
False
Let d(k) be the first derivative of 487*k**2/2 - 92*k - 35. Is d(9) a prime number?
False
Suppose 3*r = -4390 - 5. Is 2/(5850/r + 4) a composite number?
False
Let f(p) = p**3 + p**2 - p - 1. Let a(d) = -2*d**3 - 6*d - 24. Let l(x) = -a(x) + 3*f(x). Is l(6) a prime number?
False
Let l(g) = 716*g - 295. Let v(p) = -478*p + 196. Let z(o) = 5*l(o) + 8*v(o). Is z(-11) a prime number?
True
Suppose -46*f + 41*f = -3*g - 116592, 0 = -3*f + 2*g + 69955. Let i = f - 8522. Is i prime?
True
Let l be 8/(-14) + (-19780)/(-70) - 0. Suppose -15 = 3*r, 8*a = 3*a + r + 20. Suppose -4*g - u = g - l, 4*g - 219 = -a*u. Is g a composite number?
True
Is (-1191894)/(-8) + 290/840 + 12/(-126) composite?
True
Let x(d) = -245*d**2 + 66*d**3 + 247*d**2 + 204*d**3 - d. Let w(h) = -h**3 + 6*h**2 - 5*h + 1. Let f be w(5). Is x(f) a composite number?
False
Suppose 138*a + 1895815 = 143*a. Is a prime?
True
Suppose 172700 = 274*x - 271*x + m, 0 = -x + 3*m + 57590. Is x prime?
False
Let d(m) = -21*m**3 - m**2 + 9. Let p = -54 - -51. Let j be d(p). Is j/18 - (-2)/(-4) a composite number?
False
Is 26/(-351) - 1433550/(-162) prime?
True
Let h(l) = -l**2 - 14*l - 48. Let z be h(-7). Let a be 6/9*(-633)/(z - 2). Suppose 15*r = 17*r - a. Is r prime?
True
Let y = -382118 - -562161. Is y composite?
False
Let l(i) = 2846*i**2 + 19*i - 67. Let u be l(3). Suppose -u = -10*m - 3434. Is m a composite number?
True
Let s(h) = 3*h - 29. Let z be s(6). Let n be (-20)/(-2)*z/(-22). Suppose 9 = -4*g - 3, 4*g = n*m - 657. Is m composite?
True
Let m = 2691 + -2729. Suppose u - 2*u + 115 = 0. Let v = u + m. Is v a prime number?
False
Let t = 145 - 117. Let r(a) = 17*a**2 + a**3 + 22 - 11 + 2*a**2 + t*a. Is r(-16) prime?
True
Let t = -251757 + 563548. Is t composite?
False
Suppose -80 = 44*c + 52. Is (-1256 - 3)*(-4 - c) composite?
False
Let a(f) = f**2 + 25*f + 49. Let j be a(-23). Suppose -3*x + j*o = -6363, x - 1870 = -3*o + 259. Is x a prime number?
False
Suppose 80 = m + 4*m. Suppose -18*x = -14*x + m. Is (-11028)/(-30)*(-10)/x composite?
False
Let o(w) be the first derivative of -27*w**2/2 - 36*w - 2. Let t be o(-8). Let p = -127 + t. Is p prime?
True
Suppose -4*r = -21*v + 22*v - 145406, 2*r - 72676 = -5*v. Is r composite?
False
Let o(r) = -2*r**2 - 86*r - 79. Let b be o(-42). Suppose -2*j = c - 4362, -b*c + 9*c + 4362 = 2*j. Is j a prime number?
False
Suppose b + 0*y = -y + 36929, -y + 73859 = 2*b. Suppose 4*j + b = 5*s, 2*j + 29513 = 4*s + 5*j. Is s a prime number?
False
Let p(u)