h. Is q a prime number?
True
Suppose -4*v - 60905 = -5*o, 6*o - 4*v = 10*o - 48760. Let l = -8226 + o. Is l composite?
True
Let q(v) = -13*v**3 - 374*v**2 + 130*v - 162. Is q(-41) composite?
False
Let v be (-2 + 12/9)/((-28)/294). Suppose 22*z = v*z + 124275. Is z composite?
True
Let b = 20021 - 11450. Let q = -4538 + b. Is q a composite number?
True
Is (-21)/(-63) + (-2453408)/(-12) composite?
True
Let d(o) = 87*o + 2. Let s be ((-2)/3)/(6 + 220/(-36)). Suppose -9 + s = -3*m. Is d(m) composite?
False
Suppose -5*b = -5 - 0. Let c = b - 0. Is (-4 + c + 310)*1 a prime number?
True
Suppose -3*v + 4*w = 15, w = -0*w + 3. Let h be 5 - 3 - (v - 2). Suppose t - h*c = 191, t - 231 = -2*c - 3*c. Is t a composite number?
False
Is (-19)/((-209)/443300) + 2/2 a composite number?
True
Suppose 0 = 8*d - 29*d + 210. Suppose -55281 = -d*q + 26449. Is q a composite number?
True
Suppose 4*m + 15259 = 5*p, -p - 4*m + 2000 = -1071. Suppose q - t + p = 0, -q - 5*t = 2*q + 9189. Is -1*(4 - 2) + q/(-2) a prime number?
False
Let y = -533 - -540. Suppose -4*n = -y*n + 11073. Is n prime?
True
Let h = 1904 - 4148. Let l = -1177 - h. Is l composite?
True
Let a(q) be the second derivative of q**3/3 - 9*q**2 + 18*q. Let d be a(10). Suppose 2*f = d*g - 1276, 281 = -5*g + 2*f + 3456. Is g composite?
True
Let q be (-635)/(-10) - 3/2. Let p = -60 + q. Suppose -4*f + 11686 = -2*l, -l = -4*f + p*l + 11687. Is f a composite number?
True
Suppose -r + 18649 - 92263 = 0. Let c be (-2)/9 - r/54. Let o = c - 714. Is o composite?
True
Let f(m) = 86*m - 38 + 46*m - 8 + 7. Is f(9) composite?
True
Let h(k) = 46*k**3 - 5*k**2 + 5*k + 2. Let o be h(2). Suppose 3*x + o - 354 = 0. Is (-11 - -6) + (-3368)/x composite?
True
Let z(t) = 2759*t + 17 + 285*t**2 - 5515*t + 2754*t. Is z(-6) a prime number?
True
Let o(n) = 6924*n - 103. Let g be o(5). Let b = g + -23788. Is b composite?
False
Suppose -5*y + 24 = m, -5*y + y + 24 = 2*m. Suppose -i + 3*t + 14960 = 0, -m*i + 76697 = t + 16870. Is i a prime number?
True
Let t be 3*4/4 - 0. Let p(w) = 7*w + 53 + 5*w**2 + 0*w**3 - 43 + w**t. Is p(7) composite?
False
Let d(h) = 443*h**3 + 3*h**2 + 14*h + 30. Is d(4) composite?
True
Let w be ((-15)/10)/(3/10204). Let u = -481 - w. Is u prime?
True
Let g(k) = -k**2 + 16*k - 36. Let l be g(13). Suppose -5*q - 4*x + 19307 = 0, 4*q - 6*q - l*x + 7720 = 0. Is q prime?
True
Suppose 63*o = 1648628 + 571303. Is o composite?
True
Let a = 167 - 182. Let k be -2017*4/12*-3. Is (1 + k)*(-2 - a/6) prime?
True
Let r be 112/19 + ((-80)/(-38) - 2). Is (-9233)/(-14) + r - 3/(-2) composite?
True
Let s(w) = -1. Let f(m) = -m**2 + 6*m + 4. Let p(v) = f(v) - 3*s(v). Let c be p(5). Suppose -c*h + 41 = 5. Is h a prime number?
True
Let p(w) = 5*w**2 + 6*w - 15. Let l be p(-6). Is (43/l)/((-1)/(-531)) a prime number?
False
Suppose -51*k + 123840788 = 23*k + 42*k. Is k a prime number?
True
Let m(r) = 10*r - 4. Let a be m(1). Is ((-2)/6)/(a/(-36702)) a composite number?
False
Let b(t) = 36*t**2 + 20*t + 227. Is b(39) prime?
True
Let p(t) = 3*t + 2. Let q be p(0). Suppose -4*r + g + 4768 = 0, -g + 2398 = 2*r + q*g. Is r a composite number?
False
Suppose -2*v = -2*u - 2, u + 1 = 5*v - 20. Suppose -11971 - 1734 = -v*a. Is a prime?
True
Let c(x) = -104*x**3 - x**2 - 4*x - 2. Let m = -18 - -16. Let b be c(m). Suppose -b = 6*r - 12*r. Is r a composite number?
False
Suppose v - 3 = -0. Suppose v*i + 30 = 2*i - 5*b, i - 5*b - 10 = 0. Let k(d) = -25*d + 17. Is k(i) composite?
True
Suppose 10*x - 164412 = 140558. Is x a composite number?
False
Let z = -19 + 9. Let y(i) be the third derivative of i**6/120 + 11*i**5/60 - 11*i**4/24 + 13*i**3/6 + 4*i**2 + 17*i. Is y(z) composite?
False
Let a(c) = 331*c**2 + 84*c - 511. Is a(6) prime?
True
Suppose y - 6223 = -a - 1134, 2*a = y - 5098. Let p = 11033 - y. Is p prime?
False
Let g be (-1)/(3*(-3)/50265). Let p be g - ((-16)/4 + 1). Let r = p + -3151. Is r prime?
True
Is (-210513 - -3)*-1 + 13 prime?
True
Let f(g) be the first derivative of 4021*g**2/2 - 74*g - 338. Is f(3) a composite number?
True
Suppose 5*q = 3*n + 81, -5*n + n = -q + 23. Let o be (-3)/2*20/q - -2. Suppose o = 9*t - 12*t + 1362. Is t a prime number?
False
Suppose 0*t - 4 = 2*t. Let m(x) = 188*x**2 + x + 7. Let s(v) = -4*v**2 - 2*v - 4. Let b(g) = m(g) + 3*s(g). Is b(t) prime?
True
Let y(r) = 22422*r + 85. Is y(2) composite?
True
Let w be (-179433)/(-45) - (-2)/(-5). Let m = w + -6093. Let o = m - -3613. Is o composite?
True
Let k(u) be the third derivative of -u**4/12 - 7*u**3/3 - 5*u**2. Let l be k(-7). Suppose 23*i - 26*i + 141 = l. Is i composite?
False
Let k be 0 + 57013 - 2*9/18. Suppose k = 39*p - 33*p. Is p a composite number?
True
Suppose 23*x = 822551 - 179218. Is x composite?
True
Let c be (-54)/((-244)/(-60) + -4). Is ((-27)/(c/(-115820)))/(2/(-3)) a composite number?
False
Let s(d) = 76204*d**2 + 93*d - 195. Is s(2) a composite number?
False
Is 236714/1 - (138 + -30)/(-12) composite?
False
Let b = 2059797 + -1272616. Is b prime?
True
Let h(v) = 207*v - 112. Let b be h(16). Suppose 4*c = -4*q, -4*c - 12 = -2*q - 3*c. Suppose -5*l + 4*l + 5*t = -b, 2*l + q*t - 6414 = 0. Is l composite?
True
Let y(n) = 1 - 3*n + 199*n**2 - 11 + 5. Let m = 90 + -93. Is y(m) prime?
False
Let r = -3422 - -42043. Is r composite?
True
Let y(g) = 3*g - 11. Let u be y(5). Suppose 5*q + 8371 = u*j + 990, 0 = 2*j - 3*q - 3693. Let n = 2818 - j. Is n composite?
True
Let u(m) = 6786*m**2 + 148*m + 1023. Is u(-8) a prime number?
False
Let k(r) = r + 6. Let w be k(4). Let o be (-300)/(-360) + 12014/12. Is o + w/(-6 + 4) a prime number?
True
Is 162/(-54)*73174/(-6) a composite number?
False
Let h = 191 + -32. Let l = -140 + h. Suppose 19218 = 25*w - l*w. Is w a composite number?
False
Let y = -10 + 425. Suppose 13407 = -412*f + y*f. Is f prime?
False
Let m(j) = 4*j - 44. Let s be m(12). Suppose -s*b = -c - 8185, 5*b - 6292 - 3955 = -4*c. Is b prime?
False
Let k(w) be the first derivative of -2457*w**2/2 + 46*w + 203. Is k(-1) composite?
False
Is (547 - 618)/(2/(-1622)) a prime number?
False
Let a(u) = -u**3 - 25*u**2 + 12*u - 35. Let m = -193 - -167. Is a(m) prime?
False
Let u be (-2488)/10*(-66795)/146. Suppose 11*r - 170953 = u. Is r prime?
True
Let r(m) = 2018*m**3 + 22*m**2 - 12*m + 29. Is r(6) composite?
True
Suppose 3*z = 8*z - 2870. Suppose -s + z = 5*j, 0 = -2*j + j + 4*s + 119. Let u = j - 36. Is u composite?
False
Let j = -632 + 868. Let v = 103 - 54. Let w = j - v. Is w a prime number?
False
Let y be (19/(-5) + 4)*10. Suppose -2238 = -y*q - q. Suppose -3059 = -5*v + q. Is v prime?
True
Suppose 2*a - 4*a + 4 = 0. Let p(l) = -177*l + 5. Let m be p(0). Suppose -x + a = -m. Is x prime?
True
Let m(x) = -43*x**2 + 2*x - 1. Let l be m(1). Let i = -42 - l. Suppose i = 5*j + 2*a - 3405, 3*j - 2042 = a - 2*a. Is j composite?
True
Suppose -v = -5*c - 1071646, 0 = 5*v - 36*c + 41*c - 5358200. Is v a composite number?
False
Suppose 16*u - 42065 - 846303 = 0. Suppose 11*o - u = -2*o. Is o a prime number?
True
Let h(t) = t**3 + 11*t**2 - 12*t. Let x be h(-10). Let j(f) = f**3 - 30*f**2 + 35*f - 143. Let d be j(30). Suppose -5*i + d = p + 3*p, i = p - x. Is p prime?
True
Suppose 4*q + 5956 = 4*l, l + 5*q + 0*q - 1501 = 0. Suppose -3*s - 10 = 5, 3*s = -2*o + l. Is o prime?
False
Let l(r) = r**3 - 2*r**2 + r - 6. Let o be l(3). Suppose t + 2*t = o. Suppose 2*z - 744 = -3*h + 365, 4*z + t*h - 2198 = 0. Is z a composite number?
False
Let t = -18 + 18. Suppose 0 = -t*g + 4*g - s + 11288, -g - 2801 = 5*s. Let b = g - -5000. Is b a prime number?
True
Let r(m) = -m**3 + 27*m**2 + 27*m + 8. Let g be r(28). Let w be 15/(-2)*g/30. Suppose -w*a = 3*h - 1630, -h - 5*a + 560 = -0*a. Is h a composite number?
True
Let d be (41950/4)/((-29)/(-58)). Suppose -4*b - 21*b = -d. Is b composite?
False
Is (-12 + 7723/2)*2 a composite number?
False
Let b = 2102423 - 1489108. Is b a composite number?
True
Let c(s) = s - 2. Let i be c(4). Suppose -4*r = -5*y - 81 + 26, -3*r - 3*y = -48. Suppose 6*h - h = -r, -i*h - 376 = -5*k. Is k a prime number?
False
Let z be (-253)/(-3) - 4/12. Suppose 0 = 5*f - 5299 + z. Is f a prime number?
False
Let o(b) = 988*b - 113. Let s be 4/14 - -47*(-9)/(-63). Is o(s) a prime number?
True
Suppose 36*s = -2*s - 29*s + 1128079. Is s a prime number?
False