- -2462. Is x prime?
False
Suppose 3*r + b = 5330, 5*r + 3*b - 4529 = 4353. Is r composite?
False
Let d be -3 + 1/1 + -2. Let z = 7 + d. Is z/(-12) - 85/(-4) prime?
False
Let f(g) = -5*g**3 + 2*g + 1. Let d be f(-1). Suppose 4*t = 2*t + d. Suppose -t*k = -4, -3*r - 6*k + 275 = -2*k. Is r composite?
False
Let s(n) = n**3 - 6*n**2 + 4. Let c be s(6). Suppose 768 = 8*m + 112. Suppose c*z - m = 3*z. Is z prime?
False
Let f(h) = -h**2 - 5*h. Let v be f(-5). Suppose 580 = 4*k + 2*c - v*c, 0 = -4*k + 4*c + 556. Suppose 4*j - 351 = x, 489 = 4*j - 2*x + k. Is j composite?
False
Let t(n) = 46*n**2 - 3*n - 5. Is t(6) a composite number?
True
Suppose -6*o = -3*o - 2*y - 1922, 0 = -5*o + y + 3215. Suppose 4*i = 4*j - 0*j - 668, 0 = -4*j - 2*i + o. Is j a composite number?
False
Suppose -2*w - 2*w - 4 = 0. Let i = -5 - w. Let m(c) = -10*c - 5. Is m(i) a prime number?
False
Let s(r) = -r**3 - 23*r**2 - 5*r - 32. Is s(-23) a composite number?
False
Let o(q) = 69*q**2 + 3*q - 2. Let u(i) = i**2 + 12*i - 3. Let z be u(-12). Let y be o(z). Let m = y + -345. Is m prime?
False
Let v(t) = 84*t + 8. Let d be v(6). Suppose -4*j + 0*x = -2*x - d, 4*j = 4*x + 516. Is j a prime number?
True
Suppose -209 = -3*t + 337. Let b = 433 - t. Is b composite?
False
Suppose 3*k - 3*y = -40 - 47, 2*y - 6 = 0. Let h = -11 - k. Is h a prime number?
False
Let r be 235 - (-1 - (-4)/(-2)). Suppose 4*x - 5*w = r - 31, x - 48 = 5*w. Is x composite?
False
Let o be 3/3 + -53*2. Let l = -29 + 217. Let c = o + l. Is c a prime number?
True
Suppose 0 = -2*p - 4*m - 12, 0*p + 2*p + 3*m + 7 = 0. Let n(t) be the first derivative of t**3/3 - 3*t**2/2 + 3*t - 31. Is n(p) composite?
False
Let s(h) = h**2 + h - 7. Let n = -12 + 6. Is s(n) prime?
True
Let o(v) = v**2 + 3*v + 1. Let p be o(-2). Suppose -3*b - 6 = n, 0 = -2*n - 3*n + b + 18. Is (-42)/(-8)*(n - p) a composite number?
True
Suppose 0 = 17*x - 27*x + 7790. Is x prime?
False
Let i(p) = 10*p - 4. Let w be i(-5). Let r be (w/8)/((-3)/(-12)). Let g = 102 - r. Is g prime?
False
Let w = -40 + 77. Is w a prime number?
True
Suppose -q + 178 = -31. Is q a prime number?
False
Suppose -2*m + 11 = -3*u - 127, -4*m = -4*u - 276. Let l = 115 - 69. Let w = m - l. Is w a composite number?
False
Let z be 15/(1/2 - -1). Suppose -123 = -j + z. Is j a composite number?
True
Let o(s) = 1 - 4 + 3 + 2*s. Is o(1) composite?
False
Let l be -190*1/((-3)/6). Suppose -1110 = -2*u + l. Is u a prime number?
False
Suppose 11*c - 6*c - 30 = 0. Let v(j) = -j + 5. Let h be v(c). Is h/(3 + 103/(-34)) composite?
True
Let f(y) be the second derivative of -11/3*y**3 + 0 + 2*y + 1/2*y**2. Is f(-1) a composite number?
False
Suppose -c - 16 = -4*y - 4*c, -47 = -5*y + 3*c. Let p be 0/(1 + 1 - 4). Suppose p*q = -q + y. Is q prime?
True
Suppose 4*t - 158 = 5*t. Suppose 4*j = -4*f + 28, j - f + 11 = 3*j. Is (2 + -4)/(j/t) prime?
True
Suppose z = 5*b + 43, 2*z + z = -5*b - 51. Let s(r) = 5*r**2 - 2*r - 4. Is s(b) a prime number?
True
Suppose -626 - 149 = -5*t. Suppose 6*f - f - t = 0. Is f a composite number?
False
Suppose 0 = 8*u - 8961 - 26311. Is u composite?
False
Suppose -3*x - 5 = 2*x. Let g be x/3*-2*63. Suppose -g = -0*q - 2*q. Is q prime?
False
Let o(y) be the first derivative of y**3/3 - y**2/2 + 11*y + 3. Is o(8) a composite number?
False
Let p = 12 + -38. Let m = 11 - p. Is m a composite number?
False
Let d(w) = w - 8. Let l be d(6). Let u(o) = -8*o**2 + o + 1. Let b be u(-1). Is (46/b)/(l/24) composite?
True
Let x(c) = 35*c**3 + c**2 - c. Let a be x(1). Let g(w) = -w**3 - 5*w**2 - 6*w - 3. Let n be g(-4). Suppose -n*d - a + 310 = 0. Is d composite?
True
Suppose -3*t + t + 4 = 0. Suppose 2*c + 2*n - n = 0, -t*n = 2*c - 2. Let g = c - -14. Is g a composite number?
False
Let q be ((-892)/(-3))/(3/9). Suppose f = 5*f - q. Is f a composite number?
False
Let c be (-10)/(-30)*(15 - 0). Suppose -5*x - 5*w + 70 = 0, 3*w - 14 = -x - 2*w. Suppose -t = -x - c. Is t a prime number?
True
Suppose -3*x + 2116 = -9005. Is x a prime number?
False
Let j(g) = g**3 - 3*g**2 + 3*g - 4. Let b be j(3). Suppose -b + 19 = c. Is c a prime number?
False
Let g(k) be the second derivative of -13*k**3/6 - k**2 - 3*k. Is g(-3) a composite number?
False
Suppose 2*o - u + 77 = 266, 0 = -5*o + 2*u + 475. Is o a composite number?
False
Suppose 4*w = -4*c + 5*w - 2, 6 = 5*c + 3*w. Let g = 97 + -50. Is 4 + -2 + g - c a prime number?
False
Let r(q) = 2*q - 2*q - 4*q + 5*q + 4. Let g be r(-4). Suppose g = 2*x - 2*c + 3*c - 118, 3*x = 5*c + 177. Is x a prime number?
True
Suppose -16 + 4 = -t. Suppose 2*q - 10 - t = 0. Is q a composite number?
False
Let o = 5 + -2. Suppose o*k - 220 = -k. Is k prime?
False
Suppose -2*j - 8 = -6*j. Suppose -2*x + 4 = -j. Suppose -7*f = -x*f - 92. Is f a composite number?
False
Let m be ((-6)/(-10))/((-3)/(-15)). Suppose -2*b + 4*j = -5*b + 4, -m*b + j = 1. Suppose b = a + v - 5*v - 29, 0 = -a - 5*v + 47. Is a composite?
False
Let l(g) = -53*g**3 + 3*g**2 + 6*g - 6. Let u(t) = -26*t**3 + 2*t**2 + 3*t - 3. Let b(o) = -3*l(o) + 5*u(o). Suppose 0*n - 8 = -4*n. Is b(n) composite?
False
Let u = -15 + -5. Suppose -77 - 143 = 4*a. Let p = u - a. Is p composite?
True
Let j(k) = -3*k**2 + 16*k + 8. Let c(b) = b**2 + b. Let o(r) = -5*r**2 - 11*r - 3. Let x(d) = -6*c(d) - o(d). Let s(i) = -4*j(i) + 11*x(i). Is s(-7) prime?
True
Let s = -8 + 13. Suppose -5*j = -l - 438, -2*l - 2*l + 423 = s*j. Is j a prime number?
False
Let d(b) = b**3 - 5*b**2 + 2*b + 1. Let a be d(4). Let t = -126 - -212. Let z = a + t. Is z composite?
False
Let k be (7 - 6)/(0 + 1). Let g be 0 + k*(-6 - -2). Is 0 - (-10)/g*-10 a prime number?
False
Let i be -1 + 1 + 1 + 1. Suppose -13 = -3*s + i. Suppose 0 = j - s - 26. Is j composite?
False
Suppose 9 = -6*b + 3*b. Let x = 6 + b. Suppose -13 = -x*c + 29. Is c prime?
False
Suppose 4*y + 0*y + 64 = 0. Let r = 27 + y. Is r composite?
False
Let h be ((-2)/4)/(3/12). Let y be (h/(-4))/((-1)/(-34)). Suppose -14 = -f + y. Is f a prime number?
True
Suppose 0 = w - 3*r - 842, 0 = w + 4*w - 5*r - 4230. Is (-3)/(-15) + w/10 composite?
True
Suppose 3*k + 4*b = -2, -3*b = 2*k + 1 + 1. Suppose -k*t + t - 9 = 0. Let l = 16 - t. Is l prime?
False
Let p(h) = -h**3 + 11*h**2 + 3*h - 5. Let u be p(11). Let q = u + -3. Is q a composite number?
True
Let m(u) be the first derivative of -5*u**2/2 + 3*u + 1. Suppose 4*z - 6 = 5*z. Is m(z) composite?
True
Suppose -409 = -4*m + 223. Is m a prime number?
False
Let w = 0 - -3. Suppose -k - 3 = -5*b - 1, -w*k + 14 = 5*b. Is (28/(-8))/(b/(-6)) prime?
False
Suppose -2*l = 3*l - 15. Let o be 2/4 + l/2. Suppose 0 = o*d - r - 194, 5*r - 455 = 2*d - 7*d. Is d prime?
False
Suppose -3*c = c + 12, -6 = -4*w + 2*c. Let j(p) = -4*p**3 - 3*p**2 - p - 38. Let v(r) = 7*r**3 + 5*r**2 + 2*r + 75. Let t(n) = 5*j(n) + 3*v(n). Is t(w) prime?
False
Is 0/2 - (-221 - 0) a composite number?
True
Suppose 3*t + 8 = 5*t. Suppose t*q = u + 28, 0 = -q - 2*q + 4*u + 34. Suppose 0 = -2*l + 3*k + 9, -4*k - q - 7 = -3*l. Is l prime?
True
Suppose -1399 = -3*y - 394. Is y a prime number?
False
Suppose 0 = 2*h + 2*n + n - 42, -4*n + 44 = 2*h. Let y = h - 13. Suppose 3*b - 78 = 3*o, 4*b - 4 = y*b + 5*o. Is b a composite number?
True
Suppose 0*q - 256 = -4*q - 5*z, 0 = 5*q + 5*z - 325. Let c = q - 252. Is 1/(-4) + c/(-12) a composite number?
True
Is 1588/6*(4 + 25/(-10)) a prime number?
True
Let v(f) = f**2 + f - 4. Let n be v(0). Let j = n - -27. Let b = j + -13. Is b prime?
False
Suppose -4*p + 825 = p. Suppose 174 = 3*l - 3*k - 2*k, -p = -3*l + 2*k. Is l prime?
True
Suppose -v = -3586 + 93. Is v prime?
False
Suppose -3*y + 106 = -1073. Is y composite?
True
Let g(t) = 0*t - t + 2 + 2*t + 2. Let i be g(-4). Suppose -3*b + 295 + 74 = i. Is b a prime number?
False
Let o = 14 - -7. Is o a composite number?
True
Suppose c + 14 = 1055. Is c prime?
False
Suppose 3*a - 3 = -24. Is (-3429)/(-21) + 2/a a prime number?
True
Let a(i) = 19*i**2 - 3*i + 2. Let m be a(-3). Let b = m + -97. Is b prime?
False
Let q(o) = 49*o**2 + 2*o - 1. Suppose -2*w + 0*w + 4 = -3*g, 5*g - 3*w + 7 = 0. Is q(g) composite?
False
Let r(g) = -2 + 0 + 2*g - 8*g - 8*g. Is r(-2) prime?
False
Let y(u) = 177*u**2. Is y(1) composite?
True
Let t(a) = a**2 + 6*a - 1. Let r be t(-7). Suppose -3*x = -3*y - r, 15 + 26 = 3*x + 4*y