e
Suppose -a - 492 = -5*a. Let c = a - -86. Is c a composite number?
True
Suppose -6*m = -m - 10. Suppose -m*a + 40 = -0*a + 2*i, 45 = 2*a - 3*i. Is a a prime number?
False
Let d = 2082 - -401. Is d a composite number?
True
Suppose -4*c + 635 = -c - x, -2*x = 4. Is c a composite number?
False
Suppose 0 = -q + 366 - 94. Let d = -102 + q. Suppose 0 = s + 4*x - 3*x - d, 2*s - 337 = -x. Is s a prime number?
True
Suppose 2*b - 12 = 82. Is b a prime number?
True
Let h = -18 - -21. Suppose -6 = -3*i, -o - h*i = -14 - 1. Is o prime?
False
Suppose -3*t - x = -1, 5*t = 5*x - 0*x - 5. Suppose -3*c + 57 = -t*c. Is c composite?
False
Let i(k) = -23*k**3 + 3*k**2 - 1. Let o be i(-2). Suppose 10*s - o = 7*s. Is s a prime number?
False
Suppose 0 = -2*i - 4*j - 63375 + 23335, -3*j - 80070 = 4*i. Let v be i/(-42) + 6/14. Suppose -3*t = -q - v, -2*t + 4*q + 318 = 2*q. Is t a composite number?
True
Suppose 2*u - 2 = 8, 0 = 2*b + 2*u - 308. Is b a prime number?
True
Let m(q) = 6*q**2 + 13. Let h(p) = 11*p**2 - p + 25. Let x(w) = 4*h(w) - 7*m(w). Let j(z) = 8*z**3 - 2*z**2 + 2*z - 1. Let y be j(1). Is x(y) prime?
True
Let b be 0 - (-1 - 1*-2). Is 1/2*(39 + b) a composite number?
False
Suppose 4*i = 2*i - 4. Is i*(3 + 647/(-2)) prime?
True
Suppose -2*y + 0 + 4 = 0. Let u = 18 + -18. Suppose -65 = -5*z - 2*h, u*h - 2*h = y*z - 32. Is z prime?
True
Let w(x) = x + 9. Suppose 0*l - 2*d - 9 = l, d = l + 6. Let i be w(l). Is (-1)/i*1*-130 a prime number?
False
Let p(k) = -k - 6. Let l be p(-5). Let h be (0 + 1)*l*2. Is h/(108/(-53) + 2) a prime number?
True
Let q be 3 + (-2)/(-4)*-2. Suppose -2*w + 844 = q*w. Is w composite?
False
Suppose -137 = -g - 3*s + 174, 0 = 5*g + 4*s - 1533. Is g a composite number?
True
Let v be 5/(-2)*(-8)/20. Let m be (1/(-2))/(v/22). Let r = m + 34. Is r prime?
True
Suppose 0*k + 3*k = 471. Suppose 0 = -5*c - x - 163 + 976, 0 = -c - 3*x + k. Is c a prime number?
True
Suppose 1 = z - 18. Is z a composite number?
False
Let i(x) = -3*x - 2. Let u be i(-2). Suppose 0 = -u*m - 4*s - 32, 3*m = -2*s + 2 - 23. Let n = 16 - m. Is n a composite number?
True
Let v(j) = 2*j**3 + j**2 + 2*j - 3. Let s be (-2 - -3) + 4 + 2. Let q = s - 5. Is v(q) a prime number?
False
Let g(x) be the third derivative of x**5/60 - 11*x**4/24 + 3*x**3/2 - 5*x**2. Let n be g(10). Is n/((-96)/94 + 1) prime?
True
Suppose 4*k = 2*x + 954 + 10020, 2*k - 3*x = 5489. Is k a prime number?
False
Let g be ((-12)/8)/((-1)/2). Suppose 16 = 5*v + 2*x, g*v + 4 = -x + 13. Is v/(-13) - (-2838)/26 a composite number?
False
Suppose -3*x + 0 = -3. Is (0 + x/3)*237 composite?
False
Suppose -4*i = 3*u - 34, -4*u + 54 = u + 4*i. Let j be -3*3/(-18)*u. Let w = j + 21. Is w a prime number?
False
Let l(n) = 6*n**2 - 5*n**2 - 11*n**3 - 2*n**3. Let o be l(1). Let q = o - -43. Is q a prime number?
True
Let s(q) = q**2 + 5*q + 4. Let i be s(-4). Suppose w - 2 = i, w - 4*w = 4*p - 154. Is p a composite number?
False
Let i = 3 + -1. Let l = 7 - i. Suppose 170 = l*k - 285. Is k a prime number?
False
Let s = 6 + -4. Suppose -j - s = -6. Suppose -j*c + 2*c = -78. Is c a prime number?
False
Let y be ((-84)/10)/((-27)/90). Is 670/8 + (-21)/y prime?
True
Suppose -8*w = -4*w + 5*m - 53, -5 = -m. Let z = 12 + w. Is z prime?
True
Suppose 4*a + 5*o - 1416 = 0, -a - 47 = 3*o - 401. Let s = -227 + a. Is s a prime number?
True
Suppose -w = -4 - 0. Suppose 3*f - 9 = 0, w = 5*c - 2*f + 10. Suppose c*l + l = 77. Is l a prime number?
False
Let u(p) = 14*p**2 - 5*p - 1. Is u(-6) composite?
True
Let z(k) = -4*k + 2. Let u be z(2). Let s(r) = -28*r - 5. Is s(u) a composite number?
False
Suppose 49*c = 52*c - 921. Is c prime?
True
Let y(q) be the first derivative of -q**5/20 + 7*q**4/12 + 4*q**3/3 + 3*q**2 - 2*q + 1. Let m(h) be the first derivative of y(h). Is m(8) a composite number?
True
Suppose 2251 = 3*i + f, -5*i + 3749 = -3*f + 6*f. Is i prime?
True
Let f(w) be the third derivative of w**6/120 - w**4/6 + 2*w**3/3 - 7*w**2. Is f(3) composite?
False
Let l = -151 + 308. Is l a composite number?
False
Let q = 3 + -3. Suppose 10 = -l - q. Is (-1266)/l + (-2)/(-5) a composite number?
False
Let f be (-6)/((-8)/2 - -3). Let s be (-4)/((-22)/(-26) - 1). Suppose -f*i + s = -4*i. Is i composite?
False
Suppose -2*u = -3*z + 12 + 13, -z = 2*u + 5. Suppose 1228 + 467 = z*f. Is f a composite number?
True
Let g(o) = 36*o**2 - 3*o - 2. Let v(r) = 36*r**2 - 2*r - 1. Let b(l) = -2*g(l) + 3*v(l). Is b(-1) prime?
True
Is -1*1*52/(-4) prime?
True
Suppose 5*k - h = 68 + 6, -5*h - 20 = 0. Is k a composite number?
True
Suppose 4 = 4*x - 4. Is (x + -1)*(-2 + 115) a prime number?
True
Let t = 63 - 35. Suppose 18 = 2*n - t. Is n a composite number?
False
Let a(b) be the second derivative of b**3/6 + b**2/2 - b. Let w be a(0). Suppose -58 + w = -3*x. Is x a prime number?
True
Let q(w) = -w**2 - 8*w - 1. Let f be q(-6). Let d = f + -4. Suppose -k + 2*k - d = 0. Is k prime?
True
Let f(t) = t**2 - 6*t + 3. Suppose -2 = 4*m - 22. Let q be f(m). Is (-3 + 171 + q)/2 composite?
False
Let m(a) = 3*a + 2. Let g = -1 + 10. Let n be m(g). Is (n/2 - 3)*2 a composite number?
False
Let d be (-2 - -1) + -2 + -5. Let t = d - -10. Is t composite?
False
Suppose 2*m - 5*m = 0. Suppose u + m*u = -23. Let k = -4 - u. Is k composite?
False
Let n(g) = -4*g - 1. Let r be n(-1). Let f(c) = -c**3 + 5*c**2 + 12*c + 1. Let j be f(6). Suppose 11 = 3*t + r*l - 37, -2*t - l = -j. Is t a prime number?
False
Let p(b) = 4*b**2 - 3*b. Let l be p(2). Let a(c) = c**2 - 2*c + 9. Is a(l) a composite number?
False
Let j(a) be the first derivative of -1/4*a**4 + 3*a**3 - 7*a - 2 - 3/2*a**2. Is j(6) composite?
False
Let g = 81 + -34. Is g a composite number?
False
Is (-3)/2 + 31/2 prime?
False
Let f be (48/10)/((-2)/(-60)). Suppose -f = -x + 67. Is x a composite number?
False
Let m(l) = 10*l - 1. Let x be (-6)/4*(-20)/6. Is m(x) a prime number?
False
Let c = 1340 + -607. Is c a prime number?
True
Suppose 0 = g - y - 8, y - 26 = -5*g - y. Let d be g/(-15) - (-26)/(-10). Is 1/(9/(-6))*d a prime number?
True
Suppose -3*j = 5*r + 5 - 293, 467 = 5*j + 4*r. Is j a prime number?
False
Suppose -1562 = -4*o + 2*u, -3*o + 2*o - 4*u + 377 = 0. Is o a composite number?
False
Is 2/(-3) - (-8285)/3 a prime number?
False
Suppose 2*d = 10, -y - 10 = -4*y - 2*d. Let z = y - -3. Suppose -z*n = n - 24. Is n a composite number?
True
Is 6/(-27) - 5703/(-27) composite?
False
Suppose -2*m + 2*o = -5*m + 11, 2 = 2*o. Let n = 15 + -12. Suppose 5*p - 36 = m*p + n*z, 0 = -4*p - 3*z + 54. Is p a composite number?
True
Is (-20)/35 - 8170/(-14) prime?
False
Let b be 1 - -2 - 0/9. Suppose 0 = 5*m + 2*y - 107 + 20, 5*m - 5*y = 115. Suppose j + c = -0*c + 5, -m = -b*j - c. Is j prime?
True
Let z(a) = a + 7. Let o be z(-6). Suppose 6*u - 352 = 2*u. Is o*u - (-2)/2 a prime number?
True
Let d = 55 + -201. Let t = -79 - d. Is t a prime number?
True
Let p be ((-24)/9)/((-6)/9). Suppose 5*h - p*z + 44 = 371, -204 = -3*h + 5*z. Suppose t + 2*t = h. Is t a composite number?
True
Let o(i) = i**2 + 4*i + 3. Let j be o(-4). Suppose j*x = -0*x + 246. Is x a composite number?
True
Let u(l) = -19*l - 4. Let o(t) = -20*t - 5. Let f(m) = -6*o(m) + 7*u(m). Is f(-8) composite?
True
Let c be 2*(-2)/4 - 0. Is (0 - 2) + c + 46 prime?
True
Let y = -17 + 7. Is 15/y*92/(-6) prime?
True
Let b(h) = 7*h**3 + 4*h**2 - 16*h + 1. Is b(6) prime?
False
Let b = 14 - 7. Let a be 30/b - (-2)/(-7). Suppose -2*i + a*h = -54, -117 = -5*i + 4*h - 3*h. Is i prime?
True
Let u(n) = n**2 - 12*n - 28. Let g be u(14). Let a = -2 + 4. Suppose -3*o - 2*t - 127 + 886 = g, -a*o = -t - 499. Is o prime?
True
Let n be 196/(-6)*(1 - -2). Is (n/(-4))/(2/4) a prime number?
False
Suppose 4*r + 0*m - 18 = -5*m, r = 3*m - 4. Suppose 5*c - 5*j = 1660, 236 = 2*c + 5*j - 442. Suppose r*w + 486 = 5*w - b, 2*w - c = 4*b. Is w composite?
True
Is ((-1)/((-6)/51))/((-2)/(-52)) a prime number?
False
Let w(d) be the first derivative of 71*d**5/60 + d**4/12 - d**3/6 - d**2/2 - 3. Let c(v) be the second derivative of w(v). Is c(2) composite?
True
Let j = -58 - 143. Let k = 350 + j. Is k prime?
True
Let w(u) = -1 - 7*u - 5*u**2 + 2*u**3 - u**3 + 8. Let b be w(6). Is (-2)/b - -1*85 a prime number?
True
Let x = 16441 - 8154. Is x a prime number?
True
Suppose 2*x - 137 = -39. Suppose -5*s 