- i = 1254, g = -i + 5*i. Is k prime?
True
Let x = -21529 - -41126. Is x a prime number?
True
Let s be (-472)/16 + 3/6. Let w = s + 14. Is 1195/1*(-9)/w a prime number?
False
Let b(p) = -340*p - 30. Let t be b(10). Let d = 9383 + t. Is d prime?
True
Suppose 5*h = -v + 83773, 2*v + 90827 = 2*h + 258373. Is v prime?
True
Is ((-9)/(-4))/((330/(-67720))/(-11)) a composite number?
True
Suppose -15 = -5*w, 9*w + 4260 = -4*n + 5*w. Let b(t) = -t**2 + 5*t + 3. Let i be b(5). Is ((-5)/4)/(i/n) a prime number?
False
Suppose 4*c = 6*c - 5*b + 50, -b - 92 = 3*c. Is (-49654)/c + 48/(-360) composite?
True
Suppose 73516 - 1551826 = -10*z. Is z a composite number?
True
Is (-1 - (-1)/(-2))/(18/(-207492)) composite?
False
Suppose -k = 2*p - 21 - 13, 4*k + 54 = 2*p. Suppose 2*r = 4 + 6, 2*a = -5*r + p. Let o = 4 - a. Is o a prime number?
True
Suppose 3*z + l + 430 = 0, z + 146 = l - 0*l. Let n = -31 - z. Is n composite?
False
Suppose -6*v - 16 = -8*v. Let x be v/6*27/18. Is (-5 + x)/((-3)/443) a prime number?
True
Suppose -7*r = -10*r. Suppose -3*b + r*b = 0. Suppose 4*y - 2*x = -0*x + 3820, 4*y + 3*x - 3800 = b. Is y composite?
False
Let r(h) be the first derivative of -h**3/3 - 19*h**2/2 + 21*h - 10. Let w be r(-19). Is 7/(w/(-9)) - -866 a prime number?
True
Suppose k - 125 + 2 = -5*s, 4*s - 573 = -5*k. Let o = -78 + k. Is ((-16)/10 + 2)*o prime?
False
Let d(x) = x**3 - 5*x**2 + 5. Let i be d(5). Let f = 330 + -182. Suppose 3*n = i*l + f, -3*n - n + 5*l = -199. Is n prime?
False
Let z = 639 + -229. Suppose 3*j - z = -11. Is j composite?
True
Suppose 28 = 4*z + b, 3*z - 2*b - 11 = 10. Suppose z*p - 5*p = 398. Is (15/(-5) - -4)*p a composite number?
False
Let u(y) = 56*y**2 - 2*y + 3. Suppose g + 2*q - 9 = 0, 0*q + 3 = -4*g + 5*q. Suppose -4*r - g = -11. Is u(r) a composite number?
False
Let v(q) = q**3 + 6*q**2 + 4*q - 2. Let s be v(-5). Suppose o - 304 = -s*o. Is o*(-4 - 21/(-4)) a composite number?
True
Is (-3 + 5 - 12957/(-12))*4 a composite number?
False
Suppose 2*y + 3*h = 8, -3*y + 0*h + 5*h - 7 = 0. Let n = y - -1. Suppose v + v - n*z = 32, 2*v - 37 = 3*z. Is v a composite number?
False
Let h = 62829 + -40640. Is h composite?
False
Suppose -5*b + 3*d + 402383 = 0, -b + 3*d - 11396 + 91863 = 0. Is b a prime number?
False
Let h(v) = -20*v - 6. Let a be h(-8). Let d = a - -139. Is d composite?
False
Let a be 15/10*74/3. Let q(p) = 15*p + 1. Let u be q(-1). Let o = a - u. Is o a prime number?
False
Let v be -4 + -1 + (-3 - -4). Let b be (-6 - -3 - v)*-5. Is (-2)/b - (-14418)/30 a composite number?
True
Let j(v) = v**3 + 7*v**2 - 2*v - 13. Let a be j(-7). Let f = 49 + -18. Is (-3)/a*f/(-3) prime?
True
Let u = -573 - -2020. Let y be (-3 + (-7)/21)/(2/(-3)). Suppose -u = y*h - 4612. Is h composite?
True
Is 41/(-164)*(3 - (-1 - -40248)) prime?
True
Let q(j) = 167*j**2 - 5*j + 9. Let n be 9/(-3) - (4 - 3). Is q(n) prime?
False
Let i(k) = -k**3 - 9*k**2 - 3*k - 1. Suppose -r = -0*r - 37. Let h = 25 - r. Is i(h) composite?
False
Let f be 2666/(-3) - (-2)/3. Let w be (-37)/4 + (66/(-8))/11. Is (-1)/(-5) + f/w a composite number?
False
Suppose 0 = -4*b - 4*t + 125224, 28*t + 93923 = 3*b + 26*t. Is b a prime number?
True
Let a be (3 + -1)*(-2593)/2. Let k = -1614 - a. Is k a prime number?
False
Is ((-12)/(-24))/(3/3714) composite?
False
Let j be 2/10*3*5. Let s be (-3)/(-1) + (j - 4). Suppose 3*u + n = -0*u + 139, s*n = -3*u + 140. Is u prime?
False
Let u(m) = 2*m + 15. Let q be u(-5). Suppose -q*v + 2064 = v. Let s = 141 + v. Is s a composite number?
True
Let i be 12/(-10) + 1/5. Let x be i/3 + 64/12. Suppose -x*t + 262 = 17. Is t a composite number?
True
Let w(y) be the first derivative of y**4/4 + 4*y**3 - 3*y**2/2 - 5*y + 1. Let z(p) = -11*p**2 - 1. Let i be z(-1). Is w(i) prime?
True
Suppose 5*t = -4*l + 9*t + 92560, -5*l - 3*t + 115724 = 0. Is l prime?
True
Let k(p) = 163*p**2 - 6*p + 8. Let r(o) = -164*o**2 + 6*o - 9. Let h(g) = 6*k(g) + 5*r(g). Is h(-5) composite?
True
Let i(d) = 12*d**3 + 10*d**3 + 4 + 9*d - 3*d**2 - 3. Is i(4) composite?
True
Suppose 0 = -p + 2. Let v be (8/(-24))/(p/12). Is (49 - v) + 4/(-2) prime?
False
Let g = -14 + 38. Let m be 3199*(-5)/((-140)/g). Suppose m = 3*n - 3*k, 0 = n - 0*k - 3*k - 908. Is n a composite number?
True
Let n = 3138 + 896. Suppose 0 = f - c - 711, 5*f + 2*c - n + 507 = 0. Is f a prime number?
False
Let n(u) = 8*u**3 - u**2 - 8*u + 8. Let s(q) = -9*q**3 + 2*q**2 + 9*q - 9. Let m(w) = -5*n(w) - 4*s(w). Is m(-5) prime?
True
Let k = 15 - 10. Suppose -41 = -k*c - 106. Is (2 + c)*-6 + -1 prime?
False
Let t(f) = 14*f**2 - 43*f - 56. Is t(-11) prime?
True
Let f = 759 - 378. Is f a prime number?
False
Is (9/8)/9*56968 prime?
True
Let b be (0 - 2) + 3 + 1. Suppose 0 = -b*v - 15 + 3. Let l(k) = -17*k - 15. Is l(v) a composite number?
True
Let o(l) = -l**3 - 40*l**2 - 55*l - 131. Is o(-43) a composite number?
True
Let f(r) = -10 + 5 + 4 + 376*r**2 + 4*r. Is f(1) a composite number?
False
Let v(u) = -24*u - 1. Let g = -12 + 9. Let k be v(g). Suppose -k = -q - 3*t, 0*t + t + 1 = 0. Is q prime?
False
Suppose l - 5*w = 5141, -3*w - 25625 = -5*l + 2*w. Let z = 9704 - l. Is z prime?
True
Let a = -423 + 275. Is 14*(-3)/(24/a) prime?
False
Let x(z) = 365*z + 33. Let l be x(4). Let d = -844 + l. Is d composite?
True
Let y(h) be the second derivative of 319*h**3/6 + 5*h. Is y(1) prime?
False
Let h(o) = 456*o**3 + 4*o**2 - 33*o + 48. Is h(5) composite?
False
Let n(m) = 3*m - 17. Let v be n(4). Is (-300)/v - 3 - 4 composite?
False
Suppose 0 = 4*x - 4*k - 3 - 9, 15 = 5*x - 3*k. Suppose 5*s = -3*m + 4208, 3*s - 2525 = x*m - 5*m. Is s a composite number?
True
Let f = 217 + 18. Suppose -3*c + 267 = 750. Let p = c + f. Is p a composite number?
True
Let g(i) = -5*i + 19. Suppose 13 = -b + 1. Is g(b) prime?
True
Let w be (1 - 11)*(-1)/2. Let t be 4/w - (-311)/5. Suppose -4*u + t = -109. Is u a prime number?
True
Let d = 1798 + -39. Is d a prime number?
True
Let f = -162 - -164. Suppose m = -2*r + 335, f*m - 360 = -3*r + 313. Is m prime?
False
Suppose 468 = 4*r + 4*k, -10*k = -r - 12*k + 118. Suppose -294 + 49 = -5*b + 5*x, 5*x + 57 = b. Let g = r + b. Is g prime?
True
Suppose 4*x + 0 = 8. Suppose -4*f = x*a - 8*f - 290, 0 = 5*a - 5*f - 715. Is a composite?
True
Suppose 2893 = 15*t - 12*t - 4*f, -10 = -5*f. Is t a composite number?
False
Is 516 + (-8)/6 + 221/51 prime?
False
Let s(y) = y**3 + y**2 + y + 2. Let x be s(0). Suppose x*v = v + 3. Is (1 - 2)/(v/(-345)) a prime number?
False
Suppose 820 = g - 6*g. Let r(c) = 33*c**2 + 10*c + 17. Let x be r(-4). Let w = x - g. Is w a composite number?
True
Let x = -122 - -132. Is ((-4)/6)/(3/((-34245)/x)) prime?
True
Let u(s) = -31*s**2 + 2*s. Let p be u(-4). Let g = p - -853. Let m = g + -30. Is m a prime number?
False
Let j(k) = k**3 - k**2 - 3*k + 90385. Is j(0) a prime number?
False
Let c(v) = -v**2 + 4*v + 1. Let y be c(5). Is -3*(44/(-12) + y) composite?
False
Suppose 4*s - 96 = 4*y, -y + 0*s = -5*s + 16. Is (y/39)/(2/(-6855)) a composite number?
True
Let r(h) = -469*h - 172. Is r(-5) a composite number?
True
Let d(x) = -x + 12. Let k be d(9). Suppose -k*j + 9107 = 4*j. Suppose 0 = -2*c + j - 259. Is c prime?
True
Suppose 10 = 5*l - 10. Suppose 3*u + 3*c = 705, -4*u + 5*c + 925 = l*c. Suppose 0*o = -3*o - 2*x + 781, -5*x = -o + u. Is o prime?
True
Suppose -z = -6*z. Suppose z = -2*p + 5*p + 3. Is 2*p*363/(-6) a prime number?
False
Is 74*105 - -7 - -12 a composite number?
False
Let c(i) = 13*i + 4*i - 11 + 2. Is c(4) a prime number?
True
Suppose 2407 = -g + 2*g + 5*z, 9553 = 4*g + 5*z. Suppose -2*q + 2398 = 3*c - 4*c, -5*c - g = -2*q. Is q a composite number?
False
Let g(u) = -u**2 - 1. Let m(b) = 5*b**2 - 6*b. Let t(l) = -4*g(l) - m(l). Let o be t(3). Suppose o*k = 8*k + 155. Is k a prime number?
True
Let x(a) = -4*a + 4. Let k be x(4). Let r = -8 - k. Let g(b) = 14*b**3 + 2*b**2 - 2*b + 1. Is g(r) prime?
False
Let j(v) = v**3 - 9*v**2 + v - 9. Let u be j(9). Let q = 7 - -46. Suppose u = -0*b - b + q. Is b a prime number?
True
Suppose -84 = -5*i - 104, -d + 19109 = -2*i. Is d prime?
False
Suppose 4*r + 6*v - 228 = v, -3*r + 5*v = -171. Suppose 3*f + r = -0*f. Let j = 326 + f. Is j a composite number?
False
Is 10/((-20)/(-6)) - -10256 composite?
False
Let g be (1 + 1 + -1)*0. Suppose g = 3*i + 