lse
Let u(t) = 6*t**2 - 5*t - 6. Is u(-7) a prime number?
False
Let o = -30 - -12. Let l be 2/9 + (-1472)/o. Let h = l + -59. Is h prime?
True
Let v(y) be the first derivative of -3*y**4/4 - 2*y**3 - y**2 - 2*y - 3. Is v(-5) composite?
False
Let d(p) = -37*p. Suppose 3*i + 19 = -2. Let u be 5/i + 2/(-7). Is d(u) a prime number?
True
Let p = 5 + -2. Suppose -4*v - v - 15 = s, -p*s - 2*v + 7 = 0. Suppose 4*j + 86 = s*y, 2*j - 90 = -5*y + 7*j. Is y a composite number?
True
Suppose 4*g + 3*t = 5*g + 9, 5*g + 5*t = 35. Let m be 9/g*4/6. Suppose m*u + 89 = -2*l + 3*l, -5*l - 3*u = -380. Is l prime?
True
Suppose -3*g = l - 5, 3*l + 3*g = 7*l - 20. Suppose l*w - 268 = 547. Is w composite?
False
Let x = -1 - -1. Suppose x = 6*r - r - 285. Is r composite?
True
Let x(t) be the third derivative of t**5/60 - t**4/24 + 237*t**3 - 4*t**2. Let h be x(0). Suppose -4*l + h = 3*d + 521, -895 = -4*l - d. Is l prime?
True
Suppose -4*r + 2*r = -52. Suppose -r - 43 = -3*g. Is g prime?
True
Suppose 2*o - o = 4, 4*i = -5*o + 32. Let r = i - -31. Is r a composite number?
True
Suppose 7*h + 17 = 4*h - 5*w, 5*h = -3*w - 39. Let y(t) = -10*t - 13. Is y(h) prime?
False
Is -74*(1 - 9/6) a composite number?
False
Suppose -1196 = -3*a + 1072. Let h = 1166 - a. Suppose 0 = 3*f + 2*f - h. Is f composite?
True
Suppose f - 2 - 1 = 0, 9003 = 3*h + 2*f. Is h prime?
True
Let x(g) = g + 1. Let t be x(5). Suppose t*r = r + 1165. Is r composite?
False
Let g = 640 + -153. Is g a composite number?
False
Is (-9)/(-2)*1878/9 prime?
False
Let f = 8 - 3. Suppose -f*x + 7 + 58 = 0. Is x prime?
True
Suppose 2*l + 6 = -3*z + z, -l = 4*z - 9. Let w = 10 + l. Is (0 + w - 4)*-79 prime?
True
Let l(d) = d**2 - d + 26. Is l(0) prime?
False
Suppose -1288 = -4*k - 3*u + 7*u, -2*u - 967 = -3*k. Is k a composite number?
True
Is ((-3)/(-6))/(2/652) prime?
True
Suppose 14 = v - 4*x, 3 = 3*v - x + 2*x. Suppose 0*g - v*g = -20. Suppose 0 = -c + g + 103. Is c composite?
False
Let v(y) = y**2 - y - 2. Let m be v(-2). Let h = m - 6. Is 1/h*1*-74 prime?
True
Let y(k) = 6*k**2 + 0*k + 5 - 4*k**2 + 6*k. Let c be (-2 - 2/2) + -1. Is y(c) prime?
True
Let m = -3 - 35. Let d = m + 105. Is d a prime number?
True
Suppose -12 = 4*i + 16. Let d = 13 + i. Is d/9*(-2 - -23) composite?
True
Let t be 56/(-16)*(-4)/7. Suppose 52 = 2*n + t*n. Is n a prime number?
True
Let i(v) = -13*v + 1. Let o be i(2). Let g = 41 + o. Suppose -l + 21 = -g. Is l a prime number?
True
Suppose -3*b - 10 = -8*b. Suppose 5*d + 57 = y, -b*y + 91 + 75 = 3*d. Is y a prime number?
False
Suppose -2*t = 2*t. Let c = t + 83. Is c a composite number?
False
Suppose -q + 7*y = 2*y - 869, -2*q = -4*y - 1738. Is q a composite number?
True
Is (-379*1)/((-9 - -5) + 3) a prime number?
True
Suppose u - 3 = 1. Let w = u - 0. Suppose w*a - 5*a = -13. Is a composite?
False
Let n(a) = 2*a**2 + 6*a + 1. Suppose 8*u = 4*u - 20. Is n(u) prime?
False
Let r = 1008 + -327. Is r a composite number?
True
Suppose -353 = 3*a + 4*r, 6*a - 5*r + 530 = a. Let w be ((-3)/(-2))/(3/4). Is (2/w)/((-3)/a) prime?
True
Let b = 1 + -3. Let k be (-1008)/(-9) - (b + 0). Is 4/14 - k/(-42) a prime number?
True
Let x(f) = f**2 + 3*f - 6. Let o be x(-5). Suppose -4*z - 35 = -5*u, 0*u = o*u - 5*z - 28. Is u prime?
True
Let i = 2 + 4. Suppose -4*g - 6 = -i*g. Suppose g*h - 1028 = -h. Is h a prime number?
True
Suppose -2*g + 9 = -5*g. Let x(o) = -11*o - 2. Let l(v) = -21*v - 5. Let c(m) = -6*l(m) + 13*x(m). Is c(g) prime?
False
Let j(i) be the second derivative of -5*i**3/6 - 3*i**2 + i. Is j(-5) a prime number?
True
Suppose -3 = -r + j - 4, 0 = -2*r - 5*j - 2. Let b(m) = 185*m**3 - m**2 - m - 1. Let z be b(r). Is ((-4)/12)/(2/z) composite?
False
Suppose 0 = -k - 2 + 5. Suppose q + 44 = k*q. Let x = q + -8. Is x a composite number?
True
Let g(h) = -h + 6. Let p be g(6). Let q = p + 0. Suppose 5*n + 5*y - 165 = q, 2*n - 2*y - 120 = -2*n. Is n composite?
False
Let b be 188 - (-3 + 0/(-1)). Let m = 53 + b. Suppose 4*h - m = -48. Is h composite?
True
Suppose -5*u + 24 + 16 = 0. Let o(v) be the third derivative of v**5/60 - 11*v**3/6 + v**2. Is o(u) a prime number?
True
Let z be 4/(-2)*(-4 + 2). Let p = 13 + z. Let l = 16 + p. Is l a composite number?
True
Let u(l) = 3*l**2 - 6*l + 1. Let f be ((-2)/(-6))/(6/72). Is u(f) a prime number?
False
Suppose -2*y - 485 = -2*a + 1335, 3*y - 3661 = -4*a. Suppose 6*g - a = 53. Is g a composite number?
True
Suppose -2*m = -3*m + 6. Let f(b) be the third derivative of 5*b**4/12 - 5*b**3/6 - 3*b**2. Is f(m) composite?
True
Suppose 0 = -10*s - 5*s + 3765. Is s a composite number?
False
Suppose 5*i - 693 - 2652 = 0. Is i a composite number?
True
Suppose 8*m = 3*m + 20. Let h be (-32)/(-6)*(-6)/4. Is 219/m - 2/h composite?
True
Let u = 203 + -124. Is u prime?
True
Let i(f) = 4*f**2 - 18*f + 3. Is i(13) a prime number?
False
Suppose -5*l + 33 = -2*l. Suppose 7*f + 636 = l*f. Is f composite?
True
Is (-2)/(4/(-1614)) + 2 prime?
True
Let b = 92 - 37. Is b prime?
False
Let c(p) = -2*p - 2. Let q be c(-2). Is (-47)/q*(2 - 4) a composite number?
False
Let b be (-10)/6 - 5/15. Is b + 9/3 + 126 composite?
False
Suppose -475 = 2*o - 7*o. Suppose -4*d + 104 = 3*n, -4*d = -7*d + 2*n + o. Let s = d + 20. Is s composite?
True
Let p(q) = -q. Let l be p(0). Suppose -5*d + 15 = 0, -2*h + h - d + 5 = l. Suppose -3*x = -x + h*j - 48, 4*x = 2*j + 102. Is x a prime number?
False
Suppose 3*z = -4*x + 144, 2*x + z - 21 - 53 = 0. Is x a composite number?
True
Let j = -48 - -242. Is j a composite number?
True
Suppose 197 = -0*n + 2*n + 5*s, 4 = -4*s. Let r = -4 + 7. Suppose l + 4*l = -r*f + n, 5*l - 3*f = 119. Is l prime?
False
Suppose -5*t = 25, 4*t = 5*s + 3*t - 20. Let x(j) = -23*j + s*j + j. Is x(-1) composite?
False
Suppose 4*m - 7 = 3*m. Is m a prime number?
True
Let x(w) = 10*w**2 - 3*w - 2. Suppose 2*b - 1 = 5. Is x(b) composite?
False
Let x = 11 + -30. Is (x - -1)*11/(-22) a prime number?
False
Let h(x) = 3*x**2 + x. Let f be h(-1). Let v(m) = f*m**2 - 12*m - m + m + 2. Is v(8) prime?
False
Let i be 5*(-2 - (-78)/15). Let w be (-2109)/(-4) - 4/i. Suppose 0 = -3*j + w + 124. Is j a prime number?
False
Suppose 3*h = -0*h + 63. Let p be (-2)/(-7) - 6/h. Suppose p = b + b - 446. Is b composite?
False
Is (3/7 - 24/7) + 338 a composite number?
True
Suppose 3*i - s - 25 = i, 0 = -3*s - 15. Let m be 215/i - 1/2. Let q = m + -7. Is q a composite number?
True
Let q = 1254 - 835. Is q composite?
False
Let x(c) = 33*c + 20. Let y(o) = 11*o + 7. Let a(u) = 4*x(u) - 11*y(u). Is a(5) prime?
False
Let v(q) be the second derivative of -q**5/20 - q**4/2 + 5*q**3/6 - 4*q**2 + q. Let b be v(-7). Is (-1)/(-3) + 184/b composite?
False
Suppose y - 4*r + r + 2 = 0, -4 = -4*r. Is (-37)/y*(1 - 2) composite?
False
Let g(c) be the third derivative of -7*c**6/40 - c**5/20 - c**4/6 + c**3/6 + 2*c**2. Is g(-3) prime?
False
Let d be ((-21)/(-4))/((-9)/(-24)). Let v = 4 - d. Is (44/v)/((-2)/10) a composite number?
True
Let i(w) = -9*w**3 + w**2 - 2*w - 1. Suppose -o + 23 = 5*s, o = -4*o + 3*s - 25. Is i(o) a composite number?
False
Let h(o) = -o. Let u(p) = 5*p - 42. Let b(i) = -6*h(i) - u(i). Let a be b(0). Suppose -3*y = -a - 3. Is y prime?
False
Suppose 27 = 2*b + 9. Let f = b + -6. Suppose -f*t + 4*t + 2 = 3*i, 5*t + i - 70 = 0. Is t prime?
True
Suppose 2*a - p - 8 = -0*a, p - 28 = -4*a. Suppose 0 = 4*k + 2*l - 10, -4*k - l + 8 = 3*l. Suppose k*y - 24 - a = 0. Is y composite?
True
Suppose -f = -0 + 1. Let h be 172/6*3 - f. Suppose -4*d + h = -5. Is d a composite number?
False
Suppose -5*g + 809 + 456 = 0. Suppose 3*x - m - 212 = -67, 5*x - g = -4*m. Is x prime?
False
Let t be 137/(2/(-4 - 2)). Let d = t - -818. Is d composite?
True
Is (4/2)/((-16)/(-13256)) composite?
False
Let f(g) = -8 - g + g**2 + 2*g**3 - 3*g**3 + 1. Let q be f(0). Is (q/4)/((-2)/24) a composite number?
True
Let c(g) = -49*g + 12. Suppose 5*n + 1 = -24. Is c(n) a composite number?
False
Suppose 2*c - 10 = 0, 5*c - 1180 = -5*k + 2*c. Is k composite?
False
Suppose -a + 5 = 0, 4*w + 0*a + 5 = a. Suppose -476 = -4*d - w*d. Is d composite?
True
Suppose d - 60 = -14. Is d prime?
False
Let j(y) = -25*y - 7. Is j(-2) prime?
True
Let b(s) be the first derivative of -s**4/4 - 7*s**3/3 - 2*s**2 + 3*s + 6. Suppose g + 8 = 1. Is b(g) a prime number?
