- 4*h, 5*y - 3*h = 11018. Is y prime?
True
Is ((-36)/(-16))/(-9) + (-37665)/(-20) prime?
False
Suppose -13*j = -4*j. Suppose 5*a - 2918 - 5547 = j. Is a a prime number?
True
Suppose -173 = 2*t + 93. Let q(n) = 41*n**3 + 2*n. Let p be q(2). Let f = p + t. Is f composite?
False
Is 5/2*(-7 - 95505/(-25)) a prime number?
True
Let b be -5*(2 + 24/(-20)). Suppose -6992 = 3*f + 2*t, 0 = -0*f - 4*f + 2*t - 9332. Is b/(-18) - f/36 a composite number?
True
Let x = 36 - 42. Is (2307/x)/((-4 - -1)/6) a prime number?
True
Suppose 2*v = -3*o + 4*o + 2, 2*v = -3*o + 2. Is ((-3742)/4 + 5)/(v/(-2)) a prime number?
True
Let n(p) = 7*p**2 - 34*p + 12. Is n(-13) a composite number?
False
Suppose -3*n = -4*n + 5. Suppose -3*l + 10 = -n*l. Let b(i) = -i**3 + 2*i**2 + 6*i + 4. Is b(l) a prime number?
True
Let l = -5 + 34. Let r be l/((-1)/(-8 + 1)). Suppose -s + r = 2*t, -4*s + 1051 = s + t. Is s prime?
True
Let d(u) = u - 3. Let q be d(0). Let o(l) be the second derivative of -181*l**3/6 - l**2 - 9*l. Is o(q) a composite number?
False
Suppose 50*q - 208922 = 36*q. Is q a prime number?
True
Let m = -307 - -561. Let b = m - -125. Is b a composite number?
False
Let b = 58 - 52. Is b/(-12) - (-6846)/4 composite?
True
Let b(g) = -3*g**2 + 4*g + 2. Let a be b(-2). Is (-7323)/(-81)*3 - (-4)/a composite?
False
Suppose -p = -u - 306, -3*p - 3*u + 310 + 584 = 0. Let a = p + -161. Is a prime?
False
Is 9398/(-4)*(14 + -16) prime?
False
Let n be (0*(-1)/3)/1. Let a(q) = n*q - 10*q + 16 + 7*q + 2*q. Is a(9) a composite number?
False
Suppose 29672 = 11*d - 291869. Is d prime?
True
Suppose 0 = 7*g - 57663 - 84080. Is g prime?
True
Is ((-22009)/(-26) + 2)/(1/10) prime?
False
Suppose 5*i - 2*i = 3. Suppose 4*w - 21 = -i. Suppose w*f = 357 + 298. Is f a prime number?
True
Suppose 3*n = -559 + 13396. Is n composite?
True
Suppose 4*w = -w - 5*d - 10, w + 3*d = -12. Is ((-12)/w)/1 - -883 a composite number?
True
Let h = 7395 + -4072. Is h composite?
False
Let i = 12411 + -5744. Is i composite?
True
Suppose 4*f = 4*q + 39480, -5*q + 3*q + 9873 = f. Is f prime?
True
Suppose h + 1 + 7 = -3*j, 20 = -5*j. Let c(d) be the third derivative of d**6/60 + d**5/20 + 5*d**4/24 - 5*d**3/6 + 2*d**2. Is c(h) a prime number?
True
Let l(b) = b**3 - 4*b**2 - 5*b - 12. Suppose -5*h - o + 58 = 0, -2 = -4*h + 3*o + 33. Let s be l(h). Suppose -4*t = -512 - s. Is t a composite number?
True
Let b(a) be the first derivative of -6*a**4 - a**3/3 - a**2/2 - a - 17. Is b(-4) a prime number?
True
Suppose 23216 = 6*b - 6388. Is b composite?
True
Suppose 0 = y + 1 - 0. Let t be 6*(y + 3/6). Is t + 0 - (-1 - 23) prime?
False
Is (3/9)/((-29)/(-1437153)) a prime number?
True
Suppose -11*o + 1945 = -6*o. Is o a prime number?
True
Let b be 2*(-1 - (0 + 1)). Let l be 1/b + 26/8. Let t(d) = 14*d**2 - 5*d + 2. Is t(l) composite?
False
Let f(t) be the second derivative of 8*t**3/3 - 3*t**2/2 + 17*t. Let h = 11 + -2. Is f(h) composite?
True
Let r(w) = 3*w**2 - 13*w - 69. Is r(-10) prime?
False
Is (0 - (-8 + 15)) + 52148 a prime number?
False
Let s be (6/(-5))/(5/((-75)/6)). Suppose s*p = i + 1561, 0*p + 3*p - 2*i = 1559. Is p prime?
True
Suppose 0 = -2*g + 6, 4*g = -5*l + 4 - 2. Let o be (1 - 1)/(l - -4). Let y = o - -77. Is y composite?
True
Suppose -17*b = -4*b. Suppose b = 3*s - 78 - 189. Is s composite?
False
Suppose 3*v = 93 - 81. Suppose 3*z + 4*c - 113 = 0, -4*z + v*c - 175 = -9*z. Is z a composite number?
False
Suppose 15*g - 17*g = 14830. Is (g/10)/((-1)/2) a prime number?
True
Let v be (-518)/(-8) - 8/(-32). Suppose 2*n - v = 4*q + 933, 0 = 4*n - 2*q - 1966. Is n prime?
False
Suppose -6*i - 752 = -14*i. Let r(v) = -v**3 + 4*v**2 - 3*v - 1. Let a be r(-5). Let h = a - i. Is h a prime number?
False
Let t = 270 - 387. Let f = t - -186. Is f a prime number?
False
Suppose 5*g = -s + 8, -5*s + 3 = 4*g + 5. Suppose g*n + 10 = 4*w, 0 = -2*n + w - 2*w - 5. Let f(x) = -5*x**3 - 2*x**2 + 4. Is f(n) composite?
True
Let z(k) = -k**3 + 4*k + 18119. Is z(0) a prime number?
True
Let g(m) = -5*m - 3. Let b be g(-2). Let t be b/((-21)/36) - -3. Let w(h) = h**3 + 11*h**2 + 12*h + 11. Is w(t) a prime number?
False
Let q be 2/(-10) - 5/(-25). Suppose q = -3*y - 5*r - 465 + 163, -2*r - 100 = y. Is y/(-2) + -12 + 11 prime?
False
Let k be (5/(-1) - -1)/(-2). Suppose -2*n = -4*g - 0*n + 36, -g + k*n = -6. Is (-959)/(-21)*(-1 + g) a composite number?
True
Let f(o) = -227*o**3 + 2*o**2 + 6*o - 8. Is f(-5) prime?
True
Suppose -3*w + 2*a + 1 = -3, w = -5*a + 7. Let b(r) = -3*r + 2. Let q be b(w). Is q*((-210)/8 + 2) a composite number?
False
Suppose -2*n + 308 = 3*y, -3*n - 2*n + 4*y + 793 = 0. Suppose -b + n = -0*b. Is b prime?
True
Suppose -7*z - 517 = -6*z. Let v = z - -1008. Is v a composite number?
False
Suppose 0 = -5*u + 4*u - 5*b - 10, -4*u + 4*b = 16. Let t be 12/(-20) - 1653/u. Let h = -23 + t. Is h a composite number?
False
Suppose -1663 - 691 = -2*a + 2*p, -5*a + 5905 = -p. Suppose t = -w + a, t + 0*w - 1177 = -2*w. Is t a composite number?
False
Let u = -6594 - -14857. Is u composite?
False
Let l(w) = 2*w**3 + w**2 + w + 3377. Is l(0) composite?
True
Is (-774)/63 - -12 - 458383/(-7) a composite number?
True
Let c = -600 + 865. Suppose 2*m = -0*s + 4*s - 336, 3*s = -5*m + c. Is s composite?
True
Suppose -7*v = 20*v - 204147. Is v prime?
True
Suppose 0 = -x + 4*a + 17689, -x + 17668 = -16*a + 19*a. Is x prime?
False
Let v(i) = -5*i**3 + 9*i**2 - 17*i + 4. Let o(w) = 5*w**3 - 9*w**2 + 18*w - 5. Let r(q) = -3*o(q) - 4*v(q). Is r(6) composite?
False
Let i(b) = 12*b + 6 + 3 + 18*b. Let t be (-2)/3*(-72)/6. Is i(t) prime?
False
Let f be 12/(1 + (-4)/(-8)). Let k(x) = -2*x + 6. Let m be k(f). Let s = 35 + m. Is s a prime number?
False
Suppose -8*o + 117 = -9*o. Let y = 216 + o. Suppose 2*m + 5*j - 352 = -m, 0 = m - 2*j - y. Is m composite?
False
Suppose -5*k = -t - 0*t - 1875, 4*t = -3*k + 1102. Is (-3)/(1 + -2) + k prime?
False
Let z be 36/6*(-2)/(-6). Suppose 0 = z*c - c + 78. Let a = c - -137. Is a prime?
True
Let o(z) = 331*z**2 - 8*z - 3. Is o(4) a prime number?
True
Let x be (-11002)/(-4) - ((-3)/(-6) - 1). Suppose 4*n = -4*y + 2548, x + 410 = 5*y - n. Is y a composite number?
True
Suppose -4*q = 2*y + 10792, 5*q + 2*y = 3*q - 5400. Let h = q - -6357. Is h a prime number?
False
Suppose 49*q = 40*q + 33147. Is q composite?
True
Let t(q) = -450*q + 15. Let d be t(-11). Suppose -4*n + 9*n = d. Is n prime?
False
Suppose b - 3*a = 1142, 3*b - 1880 - 1546 = -3*a. Is b a composite number?
True
Let w = 21 - 25. Let x be (-1126)/w - 4/(-8). Is 0 - -1 - x/(-2) prime?
False
Let a = -25 + 0. Let w = a - -84. Is w a composite number?
False
Suppose 3*n + 2*q - 107 = 0, 3*q - 143 = -4*n - 0*q. Suppose -n*t + 1382 = -33*t. Is t a prime number?
True
Let w = -1923 + 3326. Is w a composite number?
True
Let a(y) = 149*y - 36. Suppose -5*n - 45 = -14*n. Is a(n) prime?
True
Let n(v) = -v**2 - 13*v + 101. Is n(-14) a composite number?
True
Let r(v) = 121*v**2 + 14*v - 44. Is r(3) composite?
False
Let u(y) = -4 - 3*y + 11 + 13 + 4*y**2 + 2. Is u(-9) a composite number?
False
Suppose -n = n - y - 9427, 5*n - 4*y = 23575. Is n composite?
True
Suppose 5*m - 19 = 106. Suppose m = 5*l - 4*n - 0*n, n + 20 = 4*l. Suppose 4*j + 4 = -3*a + 82, -l*j + 107 = -a. Is j prime?
False
Let f(k) be the third derivative of 7/6*k**3 + 7/12*k**4 + 0*k - k**2 + 0. Is f(5) a composite number?
True
Is 84/(-12) - (-4 + -11780) composite?
False
Let k be (-54)/(-4)*7/21*2. Is (3/(-2))/(k/(-762)) composite?
False
Let p(q) = q**3 + 22*q**2 + q + 12. Let x be p(-9). Let w = 1675 - x. Is w composite?
False
Suppose -5*r + 12330 = 5*y, 4*y = -10*r + 7*r + 7403. Is r composite?
True
Let t(k) = k**2 - k + 208. Let o be t(0). Let b = o - -1. Is b a composite number?
True
Is ((-6)/4)/3 - 20395/(-10) prime?
True
Let f(y) = 7*y**2 + y - 17. Let c be f(9). Suppose -3*o = -121 + c. Let i = 205 + o. Is i composite?
False
Let q = 10 - 4. Suppose -3*z = -q*z - 18. Is z/(-33) + 6442/22 prime?
True
Let u = 41516 + -23747. Is u prime?
False
Is ((-2)/4)/((-76)/2651032) a composite number?
True
Let i = 15760 - 8367. Is i prime?
True
Let h(r) = 9*r**2 + 6*r + 3. Let k(f) = 5*f**2 + 3*f + 2. Let z(g) = -4*h(g) + 7*k(g). Let q be z(-3). Is 1 + 69 + q/2 prime?
True
Let l(s) = -s**2 - 9*s + 14. Let w be l(-