lse
Suppose 0 = 2*o - 3*o. Suppose -2*f = -o*f - 182. Is f a prime number?
False
Suppose 5*u = -2*u + 1239. Is u composite?
True
Suppose 3*b - 1 = 2. Is -1 + b + 60 + -1 prime?
True
Suppose 0 = -3*z + l - 9, 3*z - 2*z + 5 = l. Let k(c) = 2*c**2 + 4*c + 2. Let v be k(z). Suppose 0 = -3*j + 8*j + y - 247, -2*j = v*y - 102. Is j prime?
False
Let f = 1663 - 1122. Is f a composite number?
False
Suppose -29 = 5*o - 9. Let b(c) = c**2 + c - 5. Is b(o) a composite number?
False
Suppose 3*i - 189 = 366. Is i composite?
True
Suppose 12*y = 7*y + 4385. Is y a composite number?
False
Suppose k - 311 = 2*s, k + 2*s + 2*s = 335. Is k a prime number?
False
Let j = 3 + -23. Is 0 - j - (-2 - 1) composite?
False
Let x(f) = -14*f**2 + f - 4. Let d(o) = 13*o**2 + 3. Let a(r) = 7*d(r) + 6*x(r). Is a(4) a prime number?
False
Is 14/(-84) + (-7207)/(-6) prime?
True
Let c(z) = z**3 + 17*z**2 + 5*z - 8. Is c(-7) a prime number?
False
Let x(u) = -u**3 + 5*u**2 - 3*u - 4. Let m be x(4). Let g(o) be the third derivative of o**6/120 + 13*o**3/2 + o**2. Is g(m) a prime number?
False
Let x be 8/(-4) + -1 + 75. Suppose -3 = 3*k, 3*v - x = k + 310. Is v prime?
True
Let t(g) = 4*g**3 - 8*g**2 - 3*g - 1. Let s = 19 + -13. Is t(s) a composite number?
False
Let y = -6907 + 10496. Is y composite?
True
Let x(j) be the second derivative of -j + 2*j**2 + 1/2*j**3 + 0. Is x(3) composite?
False
Let d(i) = -i**3 + i**2 + i - 1. Let x be d(2). Let m(p) = -p**3 - 2*p + 4. Is m(x) prime?
True
Let c(w) be the third derivative of w**4/4 - 5*w**3/6 - w**2. Is c(4) a composite number?
False
Let p be (-3 - -3)/(1 - 0). Suppose p = 4*v + v. Suppose -d + 3*d - 50 = v. Is d composite?
True
Is (-2235)/(-6)*(4 - 2) composite?
True
Suppose -2*c = -c - 59. Is c prime?
True
Let z(f) = -f**2 - 9*f - 5. Let o be z(-7). Let c(y) = 2*y**2 - 11*y - 10. Let a be c(o). Let l = a - -24. Is l a composite number?
True
Suppose 2*a = -c + 367, c - 5*a - 388 = -0*a. Is c a composite number?
False
Let q(w) = -2*w**3 + 39*w**2 - 17*w - 17. Is q(17) composite?
True
Suppose -t + 2*h - 6 = t, 0 = 3*t + h - 7. Let l be t*(-3 + 2 - 0). Is 34 - (0 - -1)*l composite?
True
Let a(b) = -5*b**3 - 4*b**2 + 2*b + 4. Is a(-3) composite?
False
Let g(p) = -p**2 - 10*p - 9. Let y be g(-7). Suppose 0*u + y = 4*u. Is (-36)/8*(-4)/u a prime number?
False
Let z(c) = -c**2 - 4*c - 5. Let y be z(-4). Let l(d) = 5*d**2 + 3*d + 1. Is l(y) a composite number?
True
Let u(w) = -10*w**3 + 3*w**2 + 5*w - 5. Let s be u(-5). Suppose -5*h + s = -0*h. Is h a composite number?
True
Let g(a) = -226*a - 7. Is g(-3) a composite number?
True
Suppose -694 = -2*d + 4*g, -2*d - 5*g = -5*d + 1036. Is d a prime number?
True
Suppose -4*h + 135 = 5*j - 0*h, -2*j + 77 = -3*h. Is j prime?
True
Let q be (-4)/(-1*4)*4. Is ((-489)/6)/((-2)/q) composite?
False
Suppose -153 = -8*k + 5*k. Let v = -29 + k. Is v a prime number?
False
Let u(n) = -2*n + 5*n - n - 5. Suppose -4*o - 36 = -2*a, 3*o = a - o - 28. Is u(a) prime?
True
Suppose 30 = -0*r + 5*r. Let a = r + -2. Suppose 2*k = 4*c + 5 + 13, a*c + 39 = 5*k. Is k prime?
True
Let b(i) = i**3 + 2. Let q(s) = s - 6. Let c be q(3). Let g(y) = 2*y**3 - y**2 + 1. Let u(n) = c*b(n) + 2*g(n). Is u(5) a composite number?
False
Let g(z) = -3*z**3 + z**2 + z + 1. Let d be g(6). Let r = -394 - d. Is r a composite number?
False
Suppose -2*a - 3*a + 320 = 0. Let n = a - 31. Is n a composite number?
True
Suppose 4 = w + 11. Is (-2)/w - (-640)/14 composite?
True
Let r(p) = 28*p - 1. Is r(8) a composite number?
False
Suppose 2*o + 5*n = 28, 0 = 2*o + 2*o + 5*n - 36. Suppose -2*g = o*g - 2388. Is g composite?
True
Suppose 2*q - 16 = -2*q. Is (-471)/9*(-12)/q a prime number?
True
Let g(i) = -3*i**2 - 1. Let x be g(1). Let c be 4/10 - x/(-10). Let k = c - -19. Is k a prime number?
True
Let p = -2 - 1. Is (0 + 1 - -421) + p prime?
True
Let o(a) = a + 9. Let g be o(-7). Suppose -15 = -5*h, 5*y - g*h - 2*h - 473 = 0. Is y prime?
True
Let h(b) = 52*b**2 - 4*b + 5. Is h(2) a prime number?
False
Let v(k) be the second derivative of 0 + 47/12*k**4 - 2*k**2 + 0*k**3 + 3*k. Is v(3) prime?
True
Let k = 1223 - 741. Is k prime?
False
Suppose -q + 3*r + 2072 = 183, 5*q = -4*r + 9407. Is q prime?
False
Suppose -2*n = -5 - 3, 4*n - 46 = -3*j. Suppose -2*c = -4*c + j. Suppose -77 - 98 = -c*h. Is h composite?
True
Suppose 16*m - 161 = 17*m. Is 3/(-12)*0 - m a prime number?
False
Suppose 5*r = 2*g + 59, -g - 3*g = -r + 1. Suppose -2*v - 4 = -2*o, 2 = -4*v - 3*o - r. Let t(w) = -w**3 + w**2 - w - 4. Is t(v) a composite number?
True
Let j(t) = 9*t**2 - t - 1. Let f be (-6)/((-6)/(-2))*-2. Suppose f*o - 5*c = 2*o - 9, 7 = -2*o + 3*c. Is j(o) a prime number?
True
Let v be 5 - 5 - (-10)/2. Let s = v - 1. Suppose -s*p - p + 114 = 2*x, -2*p + 52 = 4*x. Is p a composite number?
True
Let d(l) = 24*l**2 + 13*l + 9. Is d(8) prime?
False
Suppose -5*y - 184 = -1259. Is y a prime number?
False
Let s(n) be the first derivative of n**2/2 + 5*n + 4. Let x be s(0). Suppose -3*f = -4*o - 2*f + 272, -5*f = -x*o + 325. Is o a prime number?
False
Let q = 364 - 113. Is q composite?
False
Let z(h) = -h**3 - 8*h**2 + 8*h - 5. Let t be z(-9). Suppose -3 = k + p, -t*k - 2*p = k. Suppose -3*l = 2*i - 259, k = 4*i - 6. Is l prime?
False
Let v be (40/15)/((-2)/(-3)). Is 1112/v*(-1)/(-2) a composite number?
False
Let b(t) = 3*t + 13. Is b(6) prime?
True
Let f(u) = -5*u - 7. Let q be f(7). Let z = q - -93. Is z prime?
False
Let y(c) = -2*c**2 - 1 - 2 - 2*c**2 + 2*c**2 + 2*c. Let w be y(2). Let h(o) = -3*o - 2. Is h(w) prime?
True
Let q(j) = 8*j - 1. Suppose d - 1 = 3. Is q(d) prime?
True
Suppose 0 = -6*a + 2*a + 380. Is a a prime number?
False
Let p = 462 + -241. Is p a composite number?
True
Let b(r) = -123*r + 1. Let c be b(-1). Suppose 3*z + 5 + 16 = 0. Let n = c - z. Is n prime?
True
Let q(u) = -2 + 5 + 3*u - 4. Is q(1) a composite number?
False
Let r(v) = v**2 - 4*v + 2. Let t be r(4). Let b be t/(-10) + 3/15. Suppose 4*n - 294 - 70 = b. Is n composite?
True
Let j = -4 - -653. Is j prime?
False
Let j(p) = 7*p**3 - 4*p**2 - 2*p + 2. Let g be (4/(-6))/(8/(-36)). Is j(g) prime?
True
Let v(y) = y**2 + 5*y - 7. Let q(l) = -l. Let u be q(7). Is v(u) composite?
False
Suppose 3*v - 21 = -3*p, 6 + 13 = 5*v + p. Suppose -5*k + v*k = -52. Is k a composite number?
True
Let b(i) = 53*i + 1. Is b(6) a composite number?
True
Let z be -2*((-38)/4 - 0). Let r = z - -66. Let f = r - 46. Is f a composite number?
True
Suppose -5*m + 7*m + l - 1721 = 0, 3*m - l - 2594 = 0. Is m a prime number?
True
Let x be 18/4*20/30. Suppose -j + 4*m - 169 = -6*j, 0 = -2*j - 2*m + 68. Suppose -j = -0*d - x*d. Is d prime?
True
Suppose -u - 2*a + 1 = -4*a, 2*a - 1 = -u. Suppose 5*c - u = 4. Let w = 52 - c. Is w prime?
False
Suppose -x - 3 = -234. Suppose 4*n - x = n. Is n prime?
False
Let z be (-2)/11 - (-72)/33. Suppose z*w - 101 = 103. Suppose 2*x - w = -3*h - x, 3*h = -2*x + 99. Is h a composite number?
False
Suppose q = 2*v - 1165, q + 332 = 3*v - 1416. Is v prime?
False
Let u = 4 + -1. Suppose -4*t = 4*i - 28, -3*i - 4*t - 14 = -8*t. Suppose -334 = -3*c + 5*o, o + i = u*o. Is c a composite number?
False
Let p(f) = 3*f**2 - 20*f + 3. Is p(8) composite?
True
Suppose -270 - 294 = -4*b. Let q = 2 + b. Is q composite?
True
Let f(u) = -6*u - 8. Let o be f(6). Let l = 79 + o. Is l prime?
False
Let a = -1948 - -5979. Is a a prime number?
False
Let u = 1908 + -785. Is u a composite number?
False
Let s(c) = -c**2 + 3*c + 5. Let t be s(-8). Let n = t - -45. Let v = -23 - n. Is v composite?
True
Let y(a) = -95*a**2 + 6*a - 4. Let l be y(-5). Is 2/(-9) - l/27 a prime number?
True
Let b(m) = -3*m - 2. Let c = 9 - 6. Let k be b(c). Let q = k - -18. Is q prime?
True
Suppose 3*w - 792 = -144. Is w + 8/(-4) + -3 a composite number?
False
Let i(c) = -c**3 + c**2 - c - 1. Let v(q) = -2*q**3 - 5*q**2 + 6*q - 10. Let a(j) = -3*i(j) + v(j). Is a(7) a prime number?
True
Let m = 66 + 77. Is m a prime number?
False
Is (-1 + 0)*(-47)/1 composite?
False
Suppose -3*n + 19 = -23. Is n prime?
False
Let u(h) = h**3 + 2*h**2 - 4*h - 4. Let y be u(-3). Is (-812)/(-8)*(3 + y) a composite number?
True
Let p = -3 + 7. Suppose 116 = 5*c - p*z, c + 3*z - 7 - 1 = 0. Suppose -4*b + c = 0, -x - 8*b + 4*b + 183 = 0. Is x a composite number?
False
Suppose