7)/(3/(5 + -2)). Suppose 0 = -2*x, -z - 4*z + 2*x + 19290 = l. Let u = z - 445. Is u a prime number?
True
Suppose -13*m + 5 = 44. Is ((-23756)/6)/(2/m) a prime number?
True
Let p = 282 + -218. Suppose -j + 5*j = 2*c - 6, -4*c - 4*j = -36. Suppose c = y - p. Is y a prime number?
True
Let a(o) be the first derivative of o**3/3 - 2*o**2 - 7*o + 2. Let z be a(6). Suppose 0 = 3*f + 6, -7*f = -z*q - 2*f + 10275. Is q composite?
False
Let v(j) = 421*j - 118. Is v(29) a prime number?
False
Let c = -168 - -166. Let r(a) = -834*a**3 + 2*a**2 + a - 1. Is r(c) a prime number?
False
Suppose 0 = -17*m + 40*m - 460. Suppose -m*h + 61095 = -15*h. Is h prime?
False
Suppose 5*n + 2*k - 2 = 0, 2*k + 55 = 57. Suppose b - 507 = 3*f + 296, -5*b - 3*f + 4051 = n. Is b composite?
False
Let o(s) = -30300*s + 233. Is o(-22) a composite number?
True
Suppose -36 + 26 = -10*j. Is 2505 - ((-3)/(-3) + j) a prime number?
True
Suppose -35*d + 43*d = -48. Let z(k) = 213*k**2 + 16*k + 31. Is z(d) a prime number?
True
Let d be (-14041)/(-152) + (-6)/16. Let h = -79 + d. Is h a composite number?
False
Let q(x) = -10*x**3 + 4*x**2 - 8*x - 9. Suppose i - 2*t + 10 = 3*t, -4 = 3*i - 2*t. Suppose 4*m + 3 + 13 = i. Is q(m) a prime number?
True
Let s(m) = -2913*m - 3443. Is s(-4) a composite number?
False
Suppose -32*k + 40*k - 24 = 0. Suppose 5*x - 22 = -2, 2*x + 1834 = k*w. Is w a prime number?
False
Let j be -20 + 15 - (1 - 43115). Suppose 0 = -2*k - l + j, 5*k - 14*l + 13*l = 107790. Is k a prime number?
True
Suppose -3*o + 934 = -7*i + 8*i, -o = i - 928. Let t be -3*4/(-6) + 0. Suppose -t*w - 3*w + i = 0. Is w composite?
True
Let q(p) = 2*p**2 + 4*p + 3. Let j be 0 + (0 - -3) + 9. Let t be q(j). Let g = 704 + t. Is g composite?
True
Let g(d) = 8*d - 5*d + 35*d - d**3 + 43 - d + 20*d**2. Is g(18) prime?
False
Suppose -n = -6*n - 7365. Let q = 3994 + n. Is q a composite number?
False
Let o = 2441462 - 738765. Is o a composite number?
False
Let z = 426434 + -85187. Is z composite?
True
Suppose 5*n - 10 = -3*w - 35, -2*w = -n - 5. Is 5818/2*(n + 12) a prime number?
False
Let n(s) = 299*s**2 + 21*s + 172. Let l be n(-7). Suppose 3*d - 22034 = z, -3*d + d - 2*z = -l. Is d a composite number?
True
Suppose -2047600 - 6551028 = -30*g - 2361958. Is g composite?
True
Let v = -255366 + 459253. Is v a prime number?
False
Let z = 133034 - 68866. Suppose -z = -4*v - 4*v. Is v a composite number?
True
Suppose -3*f = -229 + 223. Suppose 4*r - 1685 = 3*r + 4*v, -v + f = 0. Is r prime?
True
Let w(j) = -11778*j + 725. Is w(-27) a composite number?
True
Let f = 816 + -435. Suppose -a - f = -9792. Is a composite?
True
Let x be 1/(-4 + -1 + 4)*21. Let r = 24 + x. Suppose -2*a - 3*z + 11795 = r*a, -9436 = -4*a - 2*z. Is a a prime number?
False
Suppose 55807 = 5*m + 2*u, 8*m + 4*u = 4*m + 44660. Is m a composite number?
False
Let r(i) = 2*i**2 + 3*i - 9. Let g be r(2). Suppose g*j = 48602 - 4237. Is j prime?
False
Is ((-42148)/6 - 5)*(6 + -72 - 3) a composite number?
True
Let k(l) = 21 - 29*l + 14 + 3. Let r be k(26). Is (-3)/(-1 - 710/r) a prime number?
False
Let p(o) = 547*o + 109*o + 2 - 1. Let f be p(1). Let m = 1444 - f. Is m a prime number?
True
Let g be (-2)/(-5) + (-69)/(-15). Let r be (17/306)/((-3)/24) + (-26)/(-18). Is r/(-4*g/(-5020)) a prime number?
True
Let r be 14/3*(-12)/8. Let u(p) be the first derivative of -p**4/2 - 5*p**3/3 - 3*p**2/2 - 17*p - 109. Is u(r) a composite number?
True
Suppose -r = -3*i + 26308 - 88942, -2*r - 3*i + 125223 = 0. Is r composite?
True
Suppose 0 = 20*p - 3 - 77. Is 49899/15 + p/10 + 4 a prime number?
True
Let r = 116 - 111. Suppose k + 2 = 6, 4*n + r*k = 9928. Is n a prime number?
True
Let w(b) = 18*b**2 + 8*b + 38. Let n be w(-9). Suppose -1100 - n = -4*x. Is x a composite number?
False
Let w(y) = -y**2 + 71*y - 456. Let l be w(7). Let d be 1 + -2 + (-2)/2. Is (4990/40)/(d/l) a prime number?
True
Suppose 2*y - 10 = -0*y. Suppose y*l + 1 = -2*j - 0, -7 = -4*j - l. Suppose -o - o = 2*g - 64, 4*g + j*o - 130 = 0. Is g a prime number?
False
Is (0 + 1)*(17 - (7 + -12972)) a prime number?
False
Let k be -1322 - (-1 + 10*1/2). Let y = 3379 + k. Is y prime?
True
Let p = 14447 - -4112. Suppose -a = -t + p, 7*a + 37122 = 2*t + 6*a. Is t composite?
True
Suppose y = 3*b - 0*b + 18, -2*b = 5*y - 5. Let w(a) = 1129*a**2 + 5*a - 7. Is w(y) a composite number?
False
Suppose -3*b - 101468 = -4*o - 36597, b = -2*o + 32433. Is o prime?
True
Suppose 0 = -5*y - 4*f + 15, -2*y + 5*y - 9 = 3*f. Suppose 0*j - 5*j + 20 = 5*o, -y*j + 2 = -2*o. Is -13*-1*(0 - (-3 - j)) a prime number?
False
Suppose 139*u - 117124099 = -157*u + 169*u. Is u a prime number?
True
Let f = 340 + -228. Let o = f + -94. Suppose 0 = 19*y - o*y - 863. Is y prime?
True
Let n = 56539 - 33321. Suppose 5*a - 65357 = 5*t - 7342, 2*a = -2*t + n. Suppose a = 4*b + 10*b. Is b a prime number?
True
Let h be (-3)/((-135)/10) - 4/18. Let j be (h + 15 + 2)*1. Suppose j*b - 12006 = -b. Is b a composite number?
True
Let c(j) = 171*j**2 - 4*j + 46. Let q be c(17). Suppose -2*o + q = 5*t, -4*t = -10*o + 8*o + 49442. Is o a prime number?
False
Let j = -338892 - -794861. Is j composite?
False
Let s = 2 - -2. Suppose 19 = 3*f - g, 0 = 3*f + 3*g + 3 - 6. Suppose 0*h + f*o - 3577 = -4*h, -s*h = 3*o - 3575. Is h prime?
False
Let w be (-5)/((-25)/(-20)) - -4. Suppose -3401 = -h - w*h. Suppose 5*q - h = -4*p - 0*p, 0 = 5*q + 2*p - 3393. Is q composite?
False
Let r be 1*((-1)/2)/((-1)/2). Suppose -4*y + 9 = r. Suppose 989 = 3*j + v, 0 = -2*j - 0*j - y*v + 654. Is j a prime number?
True
Let i be 41/(((-12)/(-15))/4)*23. Let j = -2203 - i. Let x = -4303 - j. Is x a prime number?
False
Let l = 37970 - 22029. Let q = l - 5110. Is q a composite number?
False
Is ((-8114)/8 + 2)/(((-531)/(-3636))/(-59)) a prime number?
False
Suppose 0 = -2*v - 5*x + 3*x - 102, v = -3*x - 59. Let n = -47 - v. Suppose 2*r - 4*r + 1774 = n. Is r composite?
False
Let r be ((168/18)/(-7))/(4/(-9)). Suppose 3*p + r*p = 6366. Is p prime?
True
Suppose -101076 = -3*s + 41196. Suppose -h = -m + 11855, -3*m + 7*m - 5*h = s. Is m a composite number?
True
Let p(s) = -70*s - 2823. Let y be p(-16). Let v(z) = z**3 - z**2 - z + 612. Let a be v(0). Let g = a - y. Is g a prime number?
False
Suppose 4 = c, -2*r + 64719 = 2*c - 11703. Is r composite?
True
Suppose -30*l - 30*l = -34*l - 6341686. Is l a prime number?
True
Suppose -10*k + 32 = -28. Is (-23116)/(-12) + 4/k composite?
True
Let n = 19966 - 9755. Is n a prime number?
True
Suppose h = 5*l - 13488, 3*h + 13484 = 5*l - 0*l. Let y(t) = 278*t + 7. Let s be y(-5). Let k = l + s. Is k composite?
True
Let g(i) = -2993*i - 42. Let c(m) = -2*m**3 + 27*m**2 - 16*m + 34. Let k be c(13). Is g(k) a prime number?
True
Let i(p) be the first derivative of p**5/12 - p**4/24 + p**3/6 + 4*p**2 - 6. Let b(j) be the second derivative of i(j). Is b(-8) composite?
True
Let y(z) = 2*z - 7. Let d be y(6). Suppose -2*u + 2 = 5*b, -2*b = -d*u + 3*b + 40. Is 662/(-3)*(1 + (-15)/u) composite?
False
Is (-151)/604 + (-563453)/(-4) composite?
False
Let a be 84074*((-36)/(-8) - 4). Let r = -26119 + a. Suppose 0 = 14*i - 20*i + r. Is i a prime number?
False
Let t(q) = -332*q + 5. Let l be (2/4)/(2/(-4)) + 3. Let f(b) = 333*b - 6. Let u(v) = l*t(v) + 3*f(v). Is u(2) a prime number?
False
Let x(b) = 156*b + 11. Let a be x(5). Suppose 1395 = 3*r + 3*t, 2*r = -3*r + 5*t + 2275. Let f = a - r. Is f composite?
False
Suppose -2*i + 2*r + 183464 = 0, -r = -22*i + 17*i + 458640. Is i prime?
False
Let m(r) = -r**3 - 5*r**2 - 7*r + 3. Let o be m(-6). Suppose h - 5*h = 5*s + 165, o = -2*h - 3*s. Is (-18)/h - (-4866)/10 a composite number?
False
Is 167432/2*((-20)/(-6) - 4403/1428) a prime number?
True
Suppose -23*g = -8*g + 75. Is ((-21800)/(-5))/5 - g prime?
True
Let u = -141 + -48. Let w = u + 263. Is w composite?
True
Let i(d) = 20*d**2 - 24*d. Let a be i(9). Suppose 7*q + a = 6*q. Let u = 2903 + q. Is u composite?
False
Suppose -69*h = -11*h - 1577548 - 353098. Is h a composite number?
False
Let q = -978 + 3084. Suppose -g - 2*n + q = 0, 3*n + 10478 = 4*g + g. Suppose -7*y + 9*y - g = 0. Is y composite?
False
Let c(n) be the third derivative of 11*n**4/24 - 17*n**3/6 + 30*n**2. Let k = 26 - 17. Is c(k) composite?
True
Let y = -99 + 90. Is 7278/(-8)*(y - 20/(-4