 p prime?
True
Let z be -2 + ((-3)/(-6)*-2 - -14). Let j be 26/143 - (-31)/z. Is (-3 + 1070/(-4))/(j/(-6)) prime?
True
Suppose 30*p - 4683434 = 1293616. Is p a composite number?
True
Suppose 17*b = 32*b + 27*b - 3540558. Is b composite?
False
Suppose -r + 108710 + 469140 = 112707. Is r composite?
True
Let s(h) = 3642*h**2 - 114*h + 755. Is s(6) a prime number?
False
Let j(t) = -72*t + 24*t**2 - 91*t + 17 - 7*t**2. Is j(14) prime?
False
Is (7 - 59169)*272/(-32) a prime number?
False
Let u(c) = -c**2 - 24*c + 33. Let t be u(-22). Let z = 77 - t. Suppose -4*j + 5*y = -z*y - 551, -140 = -j - y. Is j composite?
False
Suppose -372868 = -10*q + 72925 + 1101297. Is q composite?
True
Let m = 1431 + -2679. Suppose 319 = -3*d - 2096. Let j = d - m. Is j prime?
True
Suppose -56522147 = -70*q + 18165683. Is q a composite number?
True
Suppose -6*c - 191 + 47 = 0. Let k be ((-2)/(-4))/(2/c). Let u(x) = -187*x - 5. Is u(k) a prime number?
True
Let j(h) = -h**2 - 14*h + 90. Let o be j(-25). Let z = o + 818. Is z a composite number?
True
Let l be (-6)/(-57) + 1452428/76. Suppose k + 2*y = l, -4*k - y + 76430 = -0*y. Suppose 7*p + 2860 = k. Is p composite?
True
Let p(w) = -208*w + 15039. Is p(-113) a composite number?
False
Let r = 185 + -185. Let t(o) = -2*o**3 + 1409. Is t(r) composite?
False
Let y = -19 + 17. Let i be (y/2 - 0)/((-4)/4). Let k(a) = 520*a + 1. Is k(i) prime?
True
Is ((-94247)/(-6))/((-58)/(-1624)) - (-6)/(-18) composite?
True
Let n(j) = -1411*j - 83. Let p = 565 + -571. Is n(p) composite?
True
Suppose -241*j + 69388941 = 6365272. Is j prime?
True
Let q = 621 - 2391. Let f be -510 + 4/(3 + -7). Let w = f - q. Is w composite?
False
Let s be ((4 - 5) + 14/10)*5. Suppose 5*u = 4*u + s*i + 6319, u - 6314 = 3*i. Is u composite?
False
Let z(c) = 4*c**2 + c - 1. Let a be z(1). Suppose 10*h + 8 - 38 = 0. Is (3176/6)/a*h prime?
True
Let m = -17764 - -12192. Let j = m + 12386. Is j prime?
False
Let m(o) = 11*o**2 + 10*o - 17. Let t = -58 - -61. Let n(a) = 33*a**2 + 31*a - 51. Let i(w) = t*n(w) - 8*m(w). Is i(15) prime?
False
Suppose 458205 = -31*d + 4915064 + 1157954. Is d composite?
False
Suppose -4*f = -12*x + 15*x - 592561, 2*f + 395064 = 2*x. Is x prime?
False
Suppose -a = 4*a - 10015. Suppose a + 4545 = 4*o. Is o composite?
False
Let l be (-1418124)/(-36) + 8/(-6). Suppose -11*j + 0*j + l = 0. Is j prime?
True
Suppose 0 = -5*l + 2*w + 2834, 0*l - 3*w = -l + 572. Is (-4 - -3) + 6 + l a composite number?
False
Is 8/68 + (-64179756)/(-612) a composite number?
False
Let i(m) = m**2 + 16*m - 17. Let o be i(-17). Suppose 15*k - 14118 - 14937 = o. Is k a prime number?
False
Suppose 0*v + 14 = 14*v. Is v/(-4) - (-4 - (-32330)/(-8)) a composite number?
True
Let a(k) be the second derivative of 536*k**3/3 + k**2/2 - 211*k. Let t = 2 - 1. Is a(t) a prime number?
False
Let r(j) be the second derivative of 355*j**4/3 + j**3/3 + j**2/2 + 8*j + 13. Let d = -7 - -5. Is r(d) composite?
True
Let o = 19 - 17. Suppose 4*j - o*j = 4*q - 12144, -15179 = -5*q + 2*j. Suppose -7*l + q + 2922 = 0. Is l prime?
False
Suppose 42*t - 143207 = -3*u + 40*t, 190940 = 4*u + 4*t. Is u a prime number?
True
Is ((2 + 35/(-14))*-14)/1 + 25362 composite?
True
Is (-21)/6*(-50269124)/427 a prime number?
False
Let u = 1 + -1. Suppose 5*v + l + 29 = 0, -2*v + 7*l - 3*l - 16 = u. Let z = v - -37. Is z a composite number?
False
Suppose -52*v = -35*v + 187. Let x(d) = 45*d**2 + 126*d - 10. Is x(v) composite?
False
Let t = -152 - -199. Let h = t + 76. Is h a composite number?
True
Suppose t + 12 = -2*x + 3*t, -t = 4*x + 24. Let a(q) = -q**3 + 2*q**2 + 5*q + 6. Let c be a(x). Suppose -9*g = -c - 1203. Is g composite?
False
Suppose 0 = -x + 4*t + 274, 5*t - 808 = -3*x + 3*t. Suppose 7*u + 3*u + x = 0. Is 1354/(2/4 - u/18) composite?
False
Suppose -b = 3*o + 4, -4*b = 5*o - 5*b - 4. Suppose o = 2*j - 4688 + 18. Is (4 + -2)*j/10 composite?
False
Let x be (-7 + (12 - 7))/(1 - 2). Suppose 0 = -x*h + 8, 4*h = 2*i + 2*h - 990. Is i a composite number?
False
Let w(k) = -2*k - 2. Let p be w(-3). Let z be (-1)/4 - (-5)/p. Is -1*z/(1*(-2)/74) a prime number?
True
Let n be 3/((5/5 - 0)*1). Suppose 32*k - 5446 = 29*k - 5*x, n*k - 2*x = 5453. Is k composite?
True
Let m(c) = -2*c**2 - 6*c + 1. Let p be m(-3). Suppose -6 = 2*q + w, -q = w + 6 - p. Is ((-43)/q)/(4/(2 - -2)) composite?
False
Let z(f) = 1885*f**2 + 112*f + 8. Is z(-5) a prime number?
True
Suppose 26*q - 28*q + 4*v + 28 = 0, 0 = 3*q - 5*v - 37. Suppose 0 = q*l + 4*k - 3516, k = 3*l + 6*k - 2637. Is l a composite number?
True
Let b be ((-3)/(-2))/(((-15)/8)/(-5)). Suppose 3*y + b*v + 462 = 2*y, 5*y + 2*v = -2310. Let w = -259 - y. Is w prime?
False
Suppose 59*a = 75*a - 625408. Let f = 66175 - a. Is f composite?
True
Let k = 14305 - 5332. Suppose 2*q - 3594 = -3*p + p, -k = -5*p - 2*q. Is p a prime number?
False
Suppose s = -d - 2*s + 26006, -5*s - 20 = 0. Suppose d = 27*h - 2953. Is h a composite number?
True
Suppose -33*q = -51*q + 79092. Suppose 0 = -4*o + 6842 + q. Is o prime?
False
Let j(z) = 17*z + 51. Let g(t) = -16*t - 51. Let n(p) = -7*g(p) - 6*j(p). Let d be (-6)/4 + 23/(598/455). Is n(d) composite?
False
Is (-6)/8*(-4)/(-6)*10 + 377716 a prime number?
True
Let t be (-26)/(-6) + (-12)/(-18). Suppose -4*k + 0*k + 6803 = -t*x, -x - 8509 = -5*k. Let w = k - 995. Is w a composite number?
True
Let b(x) = -181*x - 13. Let n(j) = 2*j - 20. Let q be n(7). Let s be b(q). Let o = -714 + s. Is o composite?
False
Let l = 6675 - 2572. Is l a composite number?
True
Let g = 25672 - 13683. Is g prime?
False
Let k(y) = 13124*y**3 - 13*y**2 - 9*y - 1. Is k(6) composite?
False
Let l(z) = -3*z**3 - 62*z**2 + 253*z + 59. Is l(-49) prime?
True
Let l(t) = 159*t**3 - 3*t**2 - 9*t + 3. Let k be l(-3). Let b = k - -7939. Is b prime?
False
Let i = -98 + 82. Is (-24)/i*75596/6 prime?
True
Let d(a) = 612*a**2 + 11*a + 12. Let z be d(8). Let t = z + -17435. Is t a composite number?
True
Let u = 166292 - -38159. Is u prime?
False
Let k(i) = 36*i**3 - 60*i**2 - 41*i + 22. Is k(7) a prime number?
False
Let f = 235 + 17. Suppose -l + 19 = 4*y, -3*l + 0*y = 2*y - 17. Suppose 0 = l*h - f - 3597. Is h composite?
False
Suppose 108*q + 7315508 = 176*q. Is q composite?
False
Let m be (7 - 11)*(-18)/8. Let d(x) = x**3 - 12*x**2 + 30*x - 22. Let p be d(m). Is p*(-4244)/(-16)*4 a prime number?
False
Is 1380/(-480) - (-2)/(-16) - -292850 composite?
True
Let p = -21 - -21. Suppose p = 2*c + 6, 0*c = -4*r + c - 41. Let z(w) = -w**3 - w**2 - 3*w + 10. Is z(r) composite?
True
Let j = -50692 + 133454. Is j composite?
True
Suppose -2*j - 4 = -3*j - b, -2*b + 26 = 4*j. Suppose -j*p = 9*p. Suppose p*l - 2*l = -2*t + 8510, -t - 5*l = -4243. Is t composite?
False
Let l(i) = 9 + 35*i + 20*i**2 + 28*i - 68*i. Let y be l(-8). Let m = y - 576. Is m a composite number?
True
Let q = -39 - -39. Suppose q*k = -2*k + 284. Suppose 0 = l - 239 - k. Is l prime?
False
Suppose 0 = 4*u - 3*k - 287047, 0*k - 358804 = -5*u - k. Is u a prime number?
True
Is 2 - -6 - 3/(-11 + (-119226)/(-10839)) a prime number?
True
Let g(l) = l**3 + 22*l**2 - 9*l + 4. Let i be g(-22). Suppose -t - i = -3*j, -t + 271 = 3*j + 59. Is j composite?
True
Let q = 17124 - -4579. Is q prime?
False
Suppose 14*c + 5 = 15*c, -5*c - 12686 = -3*s. Is s a prime number?
False
Suppose -332988 = -4*y + 2*a, -y - 46*a = -50*a - 83275. Is y a prime number?
True
Suppose 73*v - 375*v + 100199706 = 100*v. Is v composite?
False
Let i(r) = 135*r**3 - 5*r**2 + 3*r + 6. Let v be i(5). Suppose b = -3*a + 56, 5*b = -86 + 81. Suppose -a*y + v = 222. Is y prime?
False
Suppose 3*c + 4*x + 12 = 0, -5*c - 20 = -3*x - x. Let l(a) = -573*a. Let k be l(c). Let z = -1433 + k. Is z composite?
False
Suppose 0 = -9*p + 80267 - 19803 + 14245. Is p prime?
False
Let g(a) = -1471*a - 67. Suppose -6*b + 157 - 193 = 0. Is g(b) a composite number?
True
Suppose 0 = 5*w - 4*q - 1486177, -9*w + q = -13*w + 1188929. Is w prime?
True
Suppose m + 629916 = 3*h, -7*h + 12*h - 1049864 = 3*m. Is h prime?
True
Suppose 0 = -3*f + 5*i + 48, -i - 80 = -5*f - 6*i. Let y be 6/(-9) - (f/6)/8. Is 699 + y - (-4 - -5 - 4) prime?
True
Is (11612/(-12))/((-1)/87) a prime number?
False
Suppose -4*a = 11*a + 299811 - 4440021. Is a prime?
False
Let r be 264/(-572)*52/(-6) + 1246/2. Suppose -10 = 