-r + 712 = 5*a. Is a prime?
False
Let o = -28 + 22. Is 15/10*(-472)/o prime?
False
Suppose 15*c = c + 82586. Is c a prime number?
False
Let o(i) = -1933*i + 291. Is o(-10) a composite number?
True
Let f = 904 + 4137. Is (-41)/164 - (f/(-4) + 1) prime?
True
Is 5 + 1*(-1 - -14562) composite?
True
Let d = 11 + 5. Suppose d = 5*h - h. Suppose j = -4*v + 107, -376 = -h*j - 4*v + 76. Is j composite?
True
Suppose -2*u + 6 = -2*x + u, 4*x - 5*u + 8 = 0. Suppose -264 = -x*b - b - 5*w, -296 = -4*b + 3*w. Is (0 - 3) + (b - 1) a composite number?
False
Let g(u) = -33*u**3 + 9*u**2 + 7*u - 52. Is g(-9) a prime number?
True
Suppose 12 = 6*y - 12. Let v(q) = 109*q + 13. Is v(y) composite?
False
Suppose -36 = -2*q - 2*n, q - 2*n - 3*n = 0. Suppose -14*j - 4105 = -q*j. Is j prime?
False
Let k be 56/20 + (-3)/(-15) + 0. Is ((-6)/k - -1)*-1399 a prime number?
True
Let l(x) = 11 + 4*x + 5*x**3 - 3*x**3 + 11*x**2 - 3*x**3 + 0*x**3. Suppose 0*o = -3*o + 4*t + 36, -3*o + 21 = t. Is l(o) prime?
False
Is 2 + 5075*3/3 prime?
True
Let x(w) = -26*w**2 - 9*w + 18 + 4*w + 29*w**2 - 5*w. Is x(-17) a composite number?
True
Suppose 2 - 7 = r, -5*p + 5 = 2*r. Suppose -p*t + 15 = 2*t. Suppose -t*z - 11 + 122 = 0. Is z composite?
False
Let o(j) = 577*j + 4. Let u be o(3). Suppose -u = -3*v - 4*w, 4*v - 1751 = v + 4*w. Is v a composite number?
True
Let t = -92 + 210. Suppose -t = -5*l + 47. Suppose -a + l = 7. Is a prime?
False
Suppose -5*b = -3*b - 8. Suppose 2*i + 4*r = 4*i - 852, 2*i = -b*r + 884. Is 2*(-1)/(-4)*i composite?
True
Let o be (49/(-4))/(-7)*4. Suppose -27 + o = 2*r. Is (-6)/r + 552/30 a prime number?
True
Let x be (-4)/5*(-10)/4. Let t be (-2056)/(-10) - 34/(-85). Suppose 0*y - x*y = -t. Is y a composite number?
False
Let k be ((-6)/(-8))/((-3)/(-72)). Let c = -20 + k. Let z(m) = 64*m**2 + 4*m + 3. Is z(c) a prime number?
True
Let a = -18 - -20. Suppose 0 = l - 1 - a. Suppose 0 = -3*b - 3, l*v + b = -v + 563. Is v prime?
False
Let r(y) be the third derivative of y**5/60 + y**4/24 + y**3/6 + 5*y**2. Let p(j) = -j**2 + 30*j + 13. Let z(t) = -p(t) + 3*r(t). Is z(19) a composite number?
True
Suppose -2*o + c = -3*c + 238, -c = 3*o + 322. Let t = -20 - o. Is t composite?
False
Let z be (9/(-4))/((-470)/(-472) + -1). Let g = z + -368. Is g a composite number?
False
Let h(q) = 109*q - 10. Suppose 2*b - 6*b + 20 = 0. Is h(b) composite?
True
Let h(o) = 100*o - 52. Let c(i) = 301*i - 156. Let g(l) = 4*c(l) - 11*h(l). Let f(a) = -26*a + 13. Let t(b) = -13*f(b) - 3*g(b). Is t(6) a composite number?
True
Let p be -1 - -9*6/9. Suppose p = 2*m + 1. Is ((-2)/(-3))/(m/753) composite?
False
Let n = -2888 - -5077. Is n a prime number?
False
Let o be -1 - (0 + (-2 - 1)). Suppose 4*c - 12 = -4*h, -5*h - 4*c + 17 + 0 = 0. Suppose h*f = 18 + o. Is f a prime number?
False
Suppose 4*a + 22 = 6, -4*i = -4*a - 2580. Suppose 2*m + 0*w - 1272 = -5*w, 5*w = -m + i. Is m composite?
False
Suppose -3*f + 3734 = j - 2009, 1925 = f - 5*j. Is f a prime number?
False
Let f = 4 + 15. Suppose -20*h = -f*h - 635. Is h composite?
True
Let g(x) = 2*x**3 - 2*x**2 - 25*x + 28. Is g(9) a composite number?
True
Suppose 32*z - 345111 = -7*z. Is z prime?
True
Let k be (2 + -32)*34/(-4). Let r = k + 12. Is r a prime number?
False
Let a(h) = -10*h + 48*h - 2 + 6*h. Let j be a(5). Suppose j = 3*t - 775. Is t a composite number?
False
Suppose 5*x = -2*v - 9, -4 = -3*x + 4*v + 1. Is x*2*508/(-8) composite?
False
Suppose -f = 4*f - 2*y - 1, 10 = 2*f - 4*y. Let v = 1 - f. Suppose -v*a - 66 = -5*a. Is a a prime number?
False
Let d be 14/8 - (-5)/20. Suppose 18 = -d*o + 4*o. Is 1137/o + 2/3 a prime number?
True
Let i(j) = j**2 + j - 2. Let c be i(2). Suppose c*l = 96 + 124. Is l a prime number?
False
Let w be ((-16)/6)/(-2) - (-12)/18. Suppose 5*q - w*n - 1621 = 0, 0 = -3*q - 2*n - 185 + 1148. Is q a composite number?
True
Is ((-28)/(-28))/((-315)/(-157) - 2) a prime number?
True
Let s be (-11)/((-4)/(-124)*-1). Let d(f) = 176*f**2 + 2*f. Let b be d(-1). Let c = s - b. Is c a prime number?
True
Let o(s) = -s**3 - 3*s**2 - 3*s + 1. Let w be o(-6). Let r = w + -65. Let j = r - -25. Is j prime?
False
Let w = -28596 + 44323. Is w prime?
True
Is -6 - 72/(-16)*1030 composite?
True
Let a(l) = -6*l - 7*l + 12*l + 4. Let v be a(4). Suppose -3*g + 3*k + 48 = -v, -g + 6 = -3*k. Is g prime?
False
Let r(v) = -v + 24. Is r(10) prime?
False
Let i(n) = -2*n - 28*n**3 - 7*n**2 + 6*n**2 - 3 + 3*n**2. Is i(-2) composite?
False
Let b = -76 - -68. Is 4698/6 + b/(-2) a composite number?
False
Let i(z) = 7*z**2 - 6*z - 2. Let d(h) = h**3 + h - 5. Let l be d(0). Is i(l) a composite number?
True
Let d(h) = -h - 7. Let a be d(7). Let t be 360/84 - (-4)/a. Suppose -s - s - 4*r + 206 = 0, 0 = t*s - 3*r - 467. Is s composite?
False
Suppose -52639 = -2*g + 3*s, 7*s - 2*s - 105333 = -4*g. Is g prime?
False
Suppose 0 = 3*i - 2*v + 5*v + 7479, 3*i = -4*v - 7477. Let p = -1296 - i. Is p a prime number?
False
Let v(p) = 2*p**3 + 5*p**2 - 22*p - 14. Let s(b) = b**3 + 6*b**2 - 21*b - 14. Let l(k) = -3*s(k) + 2*v(k). Is l(11) prime?
False
Let p = -14704 - -28947. Is p a prime number?
True
Let a = -107274 + 188115. Is a prime?
False
Suppose 71*m + 171979 = 1918082. Is m a prime number?
True
Let n be 4/(-5)*450/(-6). Is (n/(-18))/(2/(-291)) composite?
True
Suppose -1356 = -6*x + 162. Suppose -o + 1863 = -2*f, -o - 3*o + 7463 = 3*f. Suppose -3*h - x = -y, o = 5*y - h + 600. Is y prime?
False
Let x(q) = -59*q**3 + 3*q**2 + 4*q - 3. Is x(-5) composite?
True
Let m(u) = -6*u**3 + 7*u**3 + 5 + 14*u - 7*u**2 - 3*u**2. Is m(10) composite?
True
Suppose r - 4*k + 5*k = 5, -3*r + 11 = k. Suppose 94 = 5*v - h + 3*h, 2*v - 2*h - 46 = 0. Suppose -r*t + 131 = v. Is t prime?
True
Let v(n) = -1474*n - 345. Is v(-11) prime?
False
Suppose f + 46 = 4*t, -4*t + 38 - 224 = 3*f. Let x = f - -90. Let w = 87 - x. Is w composite?
True
Let z be 12/(-3)*2/(-8). Let i = -3 - z. Let x(j) = 2*j**2 + j - 5. Is x(i) composite?
False
Let p be 2*-2 - (0 - -3). Let t(a) = -159*a + 5. Let s(h) = -318*h + 11. Let m(r) = p*t(r) + 3*s(r). Is m(1) prime?
True
Suppose 0 = 29*g - 33*g + 1948. Let j = g - -12. Is j composite?
False
Let s(x) = -7*x**3 + 2*x - 3. Let b be -2 + -4 + 20/5. Is s(b) prime?
False
Let r be (-12)/18 + (-20)/(-3). Let j be (-4 - -1)/(r/(-10)). Suppose h + 5*q - 143 = -h, 0 = j*h - q - 398. Is h a composite number?
False
Let y(i) be the second derivative of i**4/12 - i**3/3 - 8*i**2 - 50*i. Suppose 1 = -v, 0*v = -2*n - 4*v - 26. Is y(n) a prime number?
True
Suppose -3*a + 6*a = 63. Let k be (1 - a/15)*35. Is ((-40)/16)/(1/k) a prime number?
False
Let b(a) = -37*a + 161. Is b(-5) composite?
True
Suppose -s = -3*u + u - 1, -5*u = 5*s + 25. Let x be 3/(s + 13278/4424). Suppose 0 = -0*m + 4*m - x. Is m composite?
True
Suppose 0 = x - 6*x + 15, -b + 4033 = -2*x. Is b composite?
True
Let b = -9 + 9. Suppose -m - 4*x + 245 - 1037 = b, 5*x = 5*m + 3935. Let p = m + 1465. Is p a prime number?
True
Suppose 0 = 5*x - 2*h + 5*h + 7, h = -2*x - 2. Let j be 6/(-2) - (-11 + x). Suppose 12*p = j*p + 75. Is p composite?
True
Is 3682/4 + 10 + (-345)/30 composite?
False
Is 4 + -5 - -10 - -7549 prime?
False
Suppose 0*m + 19159 = 2*m - 3*q, -4*m = q - 38353. Is m composite?
False
Let s be (1040/4 - 0)*(-2)/4. Let z = s - -343. Is z a prime number?
False
Let d(q) = 19*q**2. Let h(o) = 18*o**2 - 1. Let s(z) = 7*d(z) - 6*h(z). Is s(-5) composite?
False
Let i be -7*-1*(5 - -1). Let l = i + 169. Is l a prime number?
True
Is ((-28156)/(-8))/(2/4) a prime number?
True
Suppose -7*k + 22849 = -20292. Is k prime?
True
Is (-4470)/12*(-12)/30 a composite number?
False
Let w(s) = 3478*s**2 + 29*s + 88. Is w(-3) composite?
True
Suppose -y + 667 = l + 51, 0 = y + 3*l - 622. Is y composite?
False
Let a = 97 + -175. Suppose 4*i - 472 = -4*f + 7*f, -4*f + 4*i - 624 = 0. Let m = a - f. Is m a composite number?
True
Suppose 0 = 38*o - 33*o + 36930. Is o/(-4) + 1/2 a composite number?
False
Is ((-19)/19)/(2403/(-1201) - -2) prime?
True
Let c be -4 + (-2 - (3 - 2)). Let n = c - -10. Suppose -5*d - 6*t + 2*t = -250, d - n*t - 31 = 0. Is d prime?
False
Suppose -4*g + 9024 = -4*v, -2*g + 1786 + 2717 = v. Is g prime?
False
Let p = 25 - 22. Suppose p*f = f, -21 = -s + 4*f. Is s prime?
False
Let p = 1 + -4. Let y be (-3 - 