-4. Is q prime?
True
Is 10828/16 - (-1)/4 prime?
True
Let f(d) = -d + 4. Let o be f(0). Is (2*34)/o + -2 a composite number?
True
Suppose 5 = 5*z, -3*x - 3462 = -4*x - 5*z. Is x a composite number?
False
Let s(a) = 9*a. Let i be s(-1). Is (-1044)/i - (-3 + 1) a prime number?
False
Let k = -3 - -6. Let g(w) = 14*w**2 + 2*w - 3. Let s be g(2). Suppose 2*j - s = -3*h, k*j = 6*j + 9. Is h prime?
False
Let o be (-15)/(-25) - (-2)/5. Is 141*o - (-1 - 1) composite?
True
Suppose -2*j + j = -2*o - 4, o - 3 = 3*j. Let r be ((-8)/(-6))/((-4)/(-6)). Is j*1/r*-15 composite?
True
Suppose 0 = -g - 6 + 10. Suppose 76 = g*x + 4*j, -2*x - 3*x + 3*j + 119 = 0. Is x a composite number?
True
Let a(z) = z. Let s be a(3). Suppose 20 = -5*o + s*o. Let i = 11 - o. Is i prime?
False
Let v(t) = 67*t - 16. Is v(9) a prime number?
True
Let q(k) = -k + 3. Let s be q(9). Let t be 2/(-3)*(s + 0). Suppose y - 12 = 2*r + 19, -r - t = 0. Is y prime?
True
Let q(i) = i**2 - 9*i - 3. Is q(-6) prime?
False
Suppose b + 4*b = -360. Let m = -51 - b. Is m a prime number?
False
Suppose 0 = 5*w + 20, 2*o + 3*o - 4*w = 5691. Is o a composite number?
True
Suppose 2*l = 20 - 0. Suppose 0*v - 2*v = -l. Suppose -v*o + 50 = -0. Is o prime?
False
Let p = -288 - -418. Let w = p - 84. Is w a composite number?
True
Suppose -5*c = -3*x + 1227, -c + 409 = x - 0*c. Is x a prime number?
True
Let m(j) = j**2 - 2*j - 3. Let g be m(3). Suppose g*a - 5 = -x - 2*a, -4*a = x - 5. Suppose -5*n = -x*f + 75, -5*f + 8*f - 4*n - 41 = 0. Is f composite?
False
Let f = 76 + 79. Is f a prime number?
False
Let s(t) = -22*t**3 - 2*t**2 - 3*t. Let f be s(-2). Let i = f - 47. Is i composite?
False
Suppose g - 8304 = -3*b, -545 = -b + g + 2219. Is b a composite number?
False
Let h = -1 - 2. Let k be 2/h + (-325)/(-15). Suppose 0 = -4*j + k + 103. Is j prime?
True
Let b be (-5*3)/((-1)/49). Let z = -354 + b. Is z/(-12)*-2*2 a composite number?
False
Let t(l) = -2*l + 9. Let n be (-3 + 0)*15/9. Let r(h) = h - 8. Let x(g) = n*r(g) - 4*t(g). Is x(7) a composite number?
True
Let a(i) = -36*i + 19. Is a(-8) composite?
False
Let x(r) = -r + 35. Suppose 0 = m - 0*m + 2. Let k be 0/(6/(1 - m)). Is x(k) composite?
True
Let r(l) be the second derivative of -l**5/20 + l**4/12 + l**3/6 + 37*l**2/2 + 7*l. Is r(0) a composite number?
False
Is (-8)/(-6)*1179/12 composite?
False
Is 2031/2*18/27 a prime number?
True
Is (-2)/(12/(-4206)) + (-1 - -1) a composite number?
False
Suppose -9*j = -5*j - 1292. Is j a prime number?
False
Let z(a) be the third derivative of -1/8*a**4 - 1/10*a**5 + 0 - 1/60*a**6 - a**2 - 1/6*a**3 + 0*a. Is z(-4) a prime number?
True
Let w = -84 + 3. Let x = 136 + w. Is x a composite number?
True
Let c = 1971 + -1342. Is c composite?
True
Let b(q) = 64 - 6*q + 5*q**2 - 27 - 24. Is b(6) composite?
False
Let y(b) be the second derivative of b**4/12 + 11*b**3/6 - 7*b**2/2 + b. Let s be y(-12). Suppose -s*i + 363 = 78. Is i a composite number?
True
Suppose -4*w - 5*v - 12 = 0, w + 1 = -2*v - 2. Let a = 5 + w. Suppose a*s - 117 = -s. Is s a composite number?
True
Let i be (1 - 9/6)*-4. Let c(s) = -s**3 + 3*s**2 - 2*s - 2. Let d be c(i). Is (31/2)/((-1)/d) a prime number?
True
Let f be -2 + ((-2)/(-1) - 2). Is (-7)/f*(-104)/(-4) a prime number?
False
Suppose -26 = -5*g - 6. Suppose 2*i - 466 = -g*q, -3*q - 5*i + 475 = q. Is q prime?
False
Suppose -3*o - 6*a + 4*a + 19 = 0, -3*o + 4*a - 11 = 0. Is 45 + -11 + o/(-1) a composite number?
False
Suppose -3*c + 688 = 151. Is c prime?
True
Let s be (2 - 1)*-2 - 1. Let a(c) = 9*c**2 - 5*c - 3. Let v be a(s). Suppose -2*u + v = -u. Is u prime?
False
Let b = 4 - 8. Let x = 10 + b. Is (-100)/(-8) - x/4 prime?
True
Is 8/(24/1521) - -4 a composite number?
True
Let q be 2/7 + (-36)/(-21). Let m be -1 + q + -2 + 1. Suppose m*h - 3*h = -66. Is h a composite number?
True
Is 3 - (1 + 51/(-3)) a composite number?
False
Is 487800/330 + (-2)/11 a composite number?
True
Let x(j) = -10*j - 17. Let k be x(-8). Suppose k = 4*f - 29. Is f prime?
True
Suppose 0 = -h - 4*h. Suppose 3*l + 84 = -h*l. Let w = 63 + l. Is w a prime number?
False
Let k(b) = 13*b**2 - b + 4. Let v be k(3). Suppose 5*w - v = 137. Suppose -4*n = w - 199. Is n a composite number?
False
Suppose 8*a = 3*a. Let r(u) = -3 - u**3 + 1 + 8*u + a + 5*u**2. Is r(6) a prime number?
False
Suppose -j + 3*n + 128 = 0, 0*j + 3*n - 116 = -j. Is j composite?
True
Suppose -5 = -3*z + 1. Suppose -20 = z*b - 80. Suppose -3*g = -0*g - b. Is g a prime number?
False
Suppose 2*g - 803 = 35. Is g prime?
True
Let c(w) = -w**3 - 2*w**2 + 7*w. Let z be c(5). Suppose -19 - 127 = 2*t. Let s = t - z. Is s a composite number?
False
Suppose -2 = -u - 0. Suppose 0 = -3*g - u*g + 475. Is g composite?
True
Let d = 3669 + -2048. Is d composite?
False
Suppose 0 = -4*j - u + 4, 3*u = -2*j - 8. Suppose -84 = 4*f - j*f. Let w = -23 - f. Is w a composite number?
False
Suppose 2769 = 4*r - 5*c, -r + 545 + 149 = -3*c. Is r prime?
True
Let t(u) be the second derivative of 17*u**4/12 - u**2/2 + u. Is t(2) a composite number?
False
Suppose -3*s + 5*s = 14. Let b(m) = -m**3 + m**3 + s - 7*m**2 + m**3. Is b(7) a prime number?
True
Let g = 5 + 178. Is g a prime number?
False
Suppose -4*f - 4*x = f - 34, -4*f + 5*x + 19 = 0. Let a = -2 + f. Suppose 0*c - a*c = -104. Is c composite?
True
Let g(b) = -b**3 + 10*b**2 - 8*b - 10. Let x be g(7). Let w = x - 34. Is w a composite number?
False
Let a be (-124)/(-9) + 2/9. Is 4/a + (-467)/(-7) a prime number?
True
Suppose n - 3 + 0 = 0. Let c(d) = 4*d**2 + 3*d - 2. Is c(n) a composite number?
False
Suppose -l = c - 8, -c = -2*l + 4*c - 12. Suppose -5*g + 561 = l*m, 2*g + 3*m = 2*m + 222. Is g composite?
False
Let t(r) = -4*r**3 - 3*r**2 - 4*r + 6. Is t(-5) a composite number?
True
Suppose -2*o + 39 = 5*f, 0*o + 23 = 3*f + o. Is f composite?
False
Let b = 725 + 542. Is b a composite number?
True
Let u = -12 + 16. Suppose 0 = -u*d + 691 + 193. Is d prime?
False
Let h(c) = 4*c**2 + 11*c - 4. Is h(-11) prime?
True
Let b = 0 + 3. Let a(l) = 90*l - 4. Let t be a(b). Suppose 5*z + 1 = t. Is z a composite number?
False
Let v(l) = l**3 + l + 1. Let y(c) = 39*c**3 - 4*c**2 + 2. Let u(i) = 3*v(i) - y(i). Is u(-2) a prime number?
False
Let v(z) = 9*z**2 + 3*z. Let f(w) = 13*w**2 + 4*w. Let t(a) = 5*f(a) - 7*v(a). Is t(3) a composite number?
True
Let b be ((-82)/(-5))/(3/15). Suppose -2*y + 62 = -3*x - 0*x, -b = -3*y - x. Suppose 0 = p + p - y. Is p a composite number?
True
Let r(a) = -11*a. Let y be r(2). Suppose q = -m - 3, 2*m - m = -3*q - 7. Is m - (-3)/((-3)/y) a composite number?
True
Suppose -5*r + 175 = -3*w - w, -5*r = -3*w - 175. Let o = 3 + r. Is o a composite number?
True
Let g = 4740 + -2797. Is g a composite number?
True
Let c be ((-15)/(-5))/(6/(-20)). Is (-2)/c - (-570)/25 composite?
False
Suppose 4*v + v = -5*t - 475, v = -3*t - 105. Let r = 205 + v. Is r composite?
True
Let k = 74 - 216. Let a = 231 + k. Is a composite?
False
Suppose a - 3*a = -126. Let l = a + 64. Is l a composite number?
False
Is (-187)/(-9) + (-12)/(-54) a composite number?
True
Let l = 4015 - 1156. Is l a composite number?
True
Suppose 0 = c - 1 - 1. Let z be (-1719)/15 + c/(-5). Is z/(-2)*28/35 a prime number?
False
Suppose 3*u - 3*g = 177, 0 = 4*u + 5*g - 2*g - 201. Let a = u + -31. Is a composite?
False
Suppose 0 = k + 3*k. Let c be 0/(k + 2) + 74. Let u = c - 21. Is u a composite number?
False
Let y = 5 + -4. Suppose -3*w = w + 4. Is (88/4)/(y - w) a composite number?
False
Let o = 4 - 3. Suppose -4 = -5*h + o. Let z = 3 + h. Is z composite?
True
Let u be (5/10)/(2/8). Let s(t) = 2*t + 0*t - 2 - t**2 + 0*t + 8*t**u. Is s(3) a composite number?
False
Let a(z) = 4*z**2 + z - 2. Is a(5) composite?
False
Suppose 139 = 2*r - 197. Let k = 55 + -32. Let n = r + k. Is n prime?
True
Suppose -3*u + 0*c + c = -28937, -4*u + 38576 = -3*c. Is u composite?
True
Let a(r) = 1499*r**2 - 2*r + 2. Is a(1) a composite number?
False
Suppose -5*t - 317 = -2*i, -146 = -i + 2*t + 3*t. Suppose -4*b = -i - 217. Is b prime?
True
Let a be ((-8)/16)/((-1)/2780). Suppose 4*k + a = 4970. Is k composite?
True
Suppose -8 = 2*y + 2. Let d(w) = 6*w**2 + 3*w - 2. Is d(y) composite?
True
Let w be (-2)/5 + 1064/35. Suppose 0 = -4*d + 2*y + 16 + 24, 2*d = -4*y + w. Suppose -f = -3*i - 29 - d