4*d - j. Is d composite?
False
Let y(p) = -p + 10. Let q be y(5). Suppose 0 = -3*g + q*b + 6, -b + 9 = -4*g - 0*b. Is (-7)/(-21) + (-608)/g composite?
True
Is -4 - (-384)/84 - (-192237)/7 prime?
False
Let i(g) = 13 + 19*g**2 - 9*g - 3*g**2 + 3*g**2 + 27*g. Is i(-10) prime?
True
Suppose -d - 17 = -5*d - 3*v, -3*d = v - 9. Suppose 5*k + 3*m = -2, d*m = 2*k + 3*k - 18. Suppose k*h + 6 = 84. Is h a prime number?
False
Let g(t) be the first derivative of 7*t**3/3 - 5*t**2/2 + 4*t + 22. Is g(2) prime?
False
Suppose -2*z + 3*y - 2*y = -6, 5*z - 18 = 4*y. Suppose -z*w - w - 1900 = -n, -2*n = -5*w - 3797. Is n a prime number?
False
Let m be 6930 - 7/((-14)/8). Is 1 + m/4 + (-9)/6 a prime number?
True
Let t be -7 - (-37)/5 - (-72163)/5. Suppose -28*h + t = -25*h. Is h a prime number?
False
Suppose 0 = 6*s - 24 - 18. Suppose s*l = 8*l - 37. Is l composite?
False
Let g(c) = 10*c**2 + 8*c - 2. Let q be g(10). Let u = q + -377. Is u prime?
True
Let d(c) = -162*c**3 + 2*c**2 - 1. Suppose -4*b + t = 2*t + 9, 20 = -5*b - 3*t. Is d(b) composite?
False
Suppose 3*q + 2*q - 70 = 0. Suppose q + 14 = -2*l. Let p = l - -433. Is p a composite number?
False
Let s(w) = 3*w**2 - 1 - w**2 + 2*w + 4*w**2. Let m be 1*(-3 + 0 - -1). Is s(m) prime?
True
Suppose -16*d + 3250 = 5*h - 13*d, h = -d + 648. Is h a composite number?
False
Suppose -230 = -5*i + i - 2*h, -2*i + 125 = 3*h. Suppose 447 = 2*m - i. Is m a prime number?
True
Let m(s) = 2512*s - 147. Is m(9) composite?
True
Let m(c) = -c**3 + 9*c**2 + 11*c + 2. Let t be m(8). Suppose -2*d = 5*a - 325, -3*d = -2*a + d + t. Is a a prime number?
True
Let c(t) = 57*t**2 + 11*t - 4. Is c(-6) a composite number?
True
Let q be -3*(-3)/27*-3. Let p be q*((3 - -1) + 294). Is p*(-12)/8 + 2 a composite number?
False
Suppose 12*u - 300390 = 75894. Is u a composite number?
False
Suppose 0*d + 14*d = 766738. Is d prime?
True
Let a = -49 + 51. Suppose d + 2*d - 122 = 4*h, -104 = -a*d - 3*h. Is d composite?
True
Let t = -48 - -48. Is (1 + t + -2)/((-1)/293) a composite number?
False
Suppose -2*q - 7 + 9 = 0, -7001 = -3*r - 2*q. Is r composite?
False
Let p(v) = v**3 - 23*v**2 - 19*v - 9. Let i be p(24). Let q(f) = -2*f**3 - f**2 + 1. Let o be q(-1). Suppose -o*x - x = -i. Is x a prime number?
True
Let j(v) = -2*v**3 + 2*v**2 + 1. Let s = 9 - 7. Let f be (-2 - -5) + (-3 - s). Is j(f) prime?
False
Let j = 13400 - 7629. Is j composite?
True
Let r = 18 + -14. Suppose r*t + 32 = -4*g, 4*g + 14 = -t + 3*t. Is (2/6)/(t/(-423)) composite?
False
Let a be 59 + (-16)/((-8)/(-2)). Let y be a/20*4 + 0. Is y/((-2)/(-2))*17 composite?
True
Let b(u) = -5 + 0*u + 12*u**3 - 11*u**3 + 5*u + 10*u**2. Let z be b(-5). Suppose 5*f = -0*f + z. Is f a composite number?
False
Suppose -2*j - 16 = -4*s, 4*s - 28 = -0*j - 4*j. Suppose s*m + 1280 = 2*q - 195, 4*m = 12. Is q prime?
False
Is 3738 + 6/(24/4) a composite number?
False
Let a(g) = 5*g + 1. Let i(d) = 2*d + 1. Let w(s) = 3*a(s) - 7*i(s). Let v be w(2). Is (-871)/(-11) + v/11 composite?
False
Let t(d) = -17*d**2 - 17 - d**3 + 12*d + 0*d**3 - d**2 - 5*d. Is t(-19) a composite number?
False
Let k = 99 + -66. Let j = k - 19. Is j + -4 + -1 + 4 composite?
False
Let l(x) = 1191*x**2 + x + 7. Is l(3) composite?
False
Suppose 0 = -2*d - 0*d + 10. Suppose 4*l - d*l - 3 = 0. Is (l - 1)*(-195)/12 a composite number?
True
Suppose -6*q = 30358 - 143392. Is q a prime number?
True
Let w(u) be the second derivative of u**4/2 + u**3 + 11*u**2/2 + 4*u. Let d(n) = -n**3 + 3*n**2 + 4*n - 5. Let q be d(4). Is w(q) composite?
False
Let h = -424 - -881. Suppose -h = -y + 16. Is y a prime number?
False
Let q be 2 + (-354 + 2)/2. Let l = q - -643. Is l a composite number?
True
Suppose -c + 2 = 5*j - 3, 0 = -c + 3*j + 5. Let i(f) = 351*f - 46. Is i(c) prime?
True
Let w = 111 + -177. Let t be 37*w*(-3)/6. Let b = t - 550. Is b prime?
False
Let q(z) = -z**2 - 14*z - 20. Let v be q(-12). Suppose 0 = v*h - 8, 5*h - 2085 = -7*u + 2*u. Is u a composite number?
True
Let m = -323 + -117. Let t = m + 617. Suppose -5*g + 625 = -2*f, 2*g - 57 = 4*f + t. Is g composite?
False
Let c(m) = m - 12. Let y be c(11). Is 555 + -1 + (y - (4 - 4)) a prime number?
False
Suppose -8*g = -2*g - 3606. Suppose -5*r - i + 930 = -g, r - 315 = 2*i. Is r a composite number?
False
Let j be ((-6)/10)/((-1)/5). Let b be ((-2)/j)/((-26)/9243). Is (b/2)/((-39)/(-52)) composite?
True
Suppose -7*h + 13*h - 18 = 0. Let n(k) = 43*k**2 - 3*k + 1. Is n(h) composite?
False
Let s(b) = 6939*b + 4. Is s(1) a composite number?
True
Let c = 42 + -30. Is (-4 - -3) + (c/(-4) - -23) prime?
True
Let u(g) = 2*g**2 + 17*g + 10. Let v be u(-8). Suppose 3*r - 10 = d, v*d = -5*r + 2 - 0. Suppose -509 = -r*p + 233. Is p a composite number?
True
Let a(i) = -i**3 + 4*i**2 + i - 1. Let z be a(4). Suppose z*t - 5*t + 14 = 0. Suppose 12*m - 285 = t*m. Is m a prime number?
False
Let j(o) = 2*o**3 + 89*o**2 - 98*o + 106. Is j(-42) a prime number?
False
Let i(x) = x - 6. Let z be i(12). Let f be (-3 + z + -2)*8. Suppose -f*j + 3*j + 130 = 0. Is j prime?
False
Let o = 694 + -319. Suppose -22 = b - o. Suppose -5*x + b = 8. Is x a prime number?
False
Is (-1)/(-5) + (-1771638)/(-85) a prime number?
False
Let l = 3494 - 409. Is l a composite number?
True
Suppose -493 = -4*s + 131. Let w = s - -97. Is w a composite number?
True
Let s be (6 - (3 - -1)) + 1. Suppose 5 = 4*g + p, g + s*p = 2*g + 2. Let z = g + 298. Is z composite?
True
Let r be (-23572)/(-5) - (-3)/5. Suppose 0 = -5*b - d - 0*d + r, 5*b + 5*d - 4715 = 0. Is b a composite number?
True
Let r(v) = 32*v**2 - 2*v - 2. Let u be r(-1). Suppose 0 = -5*c + 578 + u. Is c prime?
False
Suppose 20185 = -37*h + 42*h. Is h prime?
False
Is 219254/2*1/1 a prime number?
False
Suppose -v - x = -3*x - 255, 5*v + 3*x - 1288 = 0. Is v a prime number?
True
Let v(m) be the first derivative of -m**4/4 - 14*m**3/3 - 2*m**2 - 5*m + 21. Is v(-14) composite?
True
Suppose -5817 = m - 26426. Is m prime?
False
Let m = 1957 + 9684. Is m a prime number?
False
Suppose 5*c - k - 474 = 48, -4*c = 5*k - 406. Let u be (c/6)/((-1)/3). Let b = 31 - u. Is b a composite number?
False
Let j(r) be the third derivative of -r**4/6 + r**3/2 - r**2. Suppose 483*v - 6 = 486*v. Is j(v) a prime number?
True
Let i(f) = -f**3 + 4*f**2 + 4*f + 7. Let p be i(5). Suppose b = -n - 1, -b - n = -p*b + 5. Suppose -2*w + 8 = 0, 273 = t + b*w + 30. Is t a composite number?
True
Let y(w) = 7*w**3 - 9*w**2 + w + 8. Let p be y(7). Let o be (47/3)/(31/(-558)). Let n = p + o. Is n prime?
True
Suppose -5*h = 4*u + 396, 4*u + 3*h + 404 = -0*h. Let w = -165 - u. Let v = w - -206. Is v prime?
False
Let t(o) = 384*o**3 - o**2. Let s be t(1). Let x = s + 546. Is x prime?
True
Suppose 27 = -4*o + 7. Let v(f) = 2*f**2 + 3*f - 2. Is v(o) a prime number?
False
Let h = 20 + -14. Suppose -879 = 3*g - h*g. Is g composite?
False
Is ((-12)/8)/((-108)/670392) composite?
False
Let u(o) = o**2 + 5*o - 2. Suppose -3*h + x = 6*x - 50, -3*x = 5*h - 62. Suppose h*p = 5*p - 45. Is u(p) prime?
False
Suppose y - 1862 = -m + 2086, 19720 = 5*m + y. Is m composite?
False
Let i(h) = h**3 + 15*h**2 - 19*h - 11. Is i(-12) a composite number?
True
Suppose -9*s - 10 = -11*s. Let k(i) = 96*i**2 + i - 6. Is k(s) composite?
False
Is (2877/42)/(1/274) a composite number?
True
Let i(w) be the first derivative of 10 + 7/2*w**2 + 9*w + 1/3*w**3. Is i(-19) a prime number?
False
Let u(i) = 5*i**3 - i**2 + 1. Let z be u(1). Suppose 3*r + r = z*w + 144, 5*r = -5*w + 135. Is r a prime number?
True
Let t = -5922 + 13355. Is t a prime number?
True
Let g(w) = -1453*w + 3. Is g(-11) composite?
True
Let h(i) = i**3 + 18*i**2 + 13. Let y be h(-18). Let x(o) = 92*o + 5. Is x(y) composite?
False
Let p = -220 - -417. Suppose 3*q = -5*w + p, 3*q - 134 = q - 2*w. Is q a prime number?
False
Let r = -34 - -73. Let p = r - -27. Suppose 0 = -7*g + 4*g + p. Is g a prime number?
False
Suppose 60*q + 445974 = 1719954. Is q a prime number?
False
Let y = 27779 - 16408. Is y a composite number?
True
Suppose 7*d + 925605 = 52*d. Is d a prime number?
False
Suppose -72*q + 70*q + u + 55964 = 0, -4*u + 8 = 0. Is q prime?
True
Let u(q) = q**2 - 6*q - 2. Let x be u(6). Let z = 1 - x. Is (-1)/(z - (-500)/(-166)) prime?
True
Suppose -8*q = -3*q - 400. Suppose -3*j = -19 - q. Is