lse
Suppose 175*k - 4881014 - 81641814 = -21*k. Is k prime?
True
Let n = 13254 - 6815. Suppose -v + 5661 + 803 = 3*k, -v + 2*k + n = 0. Is v prime?
True
Let m be (-20)/(-50) + 2 + 13791/(-15). Let i = 60 - m. Is i prime?
True
Let d(v) = 5*v + 8. Let i be d(-4). Let x = -7 - i. Suppose -2*w = -w + 4, -5*w = x*b - 12495. Is b composite?
False
Let r = -1944 + 2814. Suppose r + 32057 = 19*z. Is z composite?
False
Suppose 11*d + 380 = 16*d. Is (-5 - -1)*(-108509)/d a prime number?
True
Let h(j) be the third derivative of 143*j**6/120 + j**4/6 - j**3/6 - 29*j**2. Is h(2) prime?
True
Suppose -524 = 5*j + 36. Is (j/28)/((-8)/166) a composite number?
False
Let g = -5724 - -53063. Is g prime?
True
Let a(v) = -951*v + 1189. Is a(-10) a composite number?
True
Let h be ((-393)/9 - -1)*-6. Suppose 0 = 19*v + h + 105. Is (0/v)/(1 - 0) - -31 a prime number?
True
Let v = 1525 - -533. Let x = 3791 - v. Is x composite?
False
Let i(j) = -114*j - 5. Let h be i(-2). Suppose -167 = -5*f + 2*v - 448, -v = -4*f - h. Let o = -34 - f. Is o composite?
True
Is 3/((-96)/(-6967700)) + (-14 - 1955/(-136)) prime?
False
Is (12432933/(-85))/(-27)*10/6 a composite number?
False
Let t = -12 + 20. Suppose t*i + 6690 = -2*i. Is (i/(-6))/((-5)/(-10)) a prime number?
True
Let w be 34532 + (-9)/(-18)*-10. Let i = 14890 + w. Is i prime?
True
Is 4200948/24*28/42 a prime number?
False
Let j(h) = -2*h + 19*h**2 + 0 - h**3 + 9*h + 1 - 17*h. Is j(-14) a prime number?
False
Let y = 533 - 530. Let f = -21 - -29. Suppose y*h + 2*a = f*h - 10499, 2*a - 2095 = -h. Is h a prime number?
True
Let z be -5 + (4 + 39 - 4). Is (-51)/z*5666/(-3) composite?
False
Suppose -699*u = -688*u - 803. Suppose 0 = 3*g + 230 + 337. Let y = u - g. Is y composite?
True
Suppose -3*w - 9*w = -168. Suppose 0 = w*y - 9115 - 7951. Is y a prime number?
False
Let p(a) = -9*a**3 + 16*a**2 + 21*a + 17. Let j be p(8). Let z = 5760 + j. Is z a composite number?
True
Let o(f) = 52*f + 4. Let i be o(-3). Suppose -24*q = -60*q + 7956. Let n = q + i. Is n a composite number?
True
Let c(l) = 112*l**2 - 8*l - 13. Let s = 29 + -37. Let h be c(s). Is (h/(-3))/(19/(-3) - -6) prime?
True
Let o(m) be the second derivative of -410*m**3/3 - 3*m**2/2 + 8*m. Let d be o(-2). Let l = -898 + d. Is l prime?
True
Is 62/155 - (27085032/(-70) - (-30)/70) prime?
False
Let n(b) = 2*b**2 - 16*b + 13. Let y be n(7). Is 1*1/y + 2363 + -3 a prime number?
False
Let a(w) = -40*w + 166. Let j(s) = -13*s + 55. Let f(i) = -3*a(i) + 8*j(i). Let k be f(4). Suppose 5013 = k*b + 3*b. Is b prime?
True
Let p be ((-3)/(-5))/((-3)/(-15)). Suppose 3*z + 2*g - 18 = 0, 5*z + 21*g = 19*g + 30. Suppose 458 = 4*o - 2*c, 3*c = -p*o + z*c + 342. Is o composite?
True
Suppose 0 = -86*y + 8*y + 473694. Is y composite?
False
Let c be 264/56 + 6/21. Suppose 5*y = -4*p + 1, -c*y = -3*p + 3 - 11. Is 3*4756/12*y a composite number?
True
Suppose 51*o + 45 = 46*o. Is 48/108 - 14837/o a prime number?
False
Let a be (-204)/11 - (-12)/22. Let h(l) = -2*l**3 - 8*l**2 + 40*l - 41. Is h(a) a composite number?
False
Suppose 0 = -17*f + 24*f. Suppose 946 = 3*b + 5*n, f = 7*b - 5*b - 3*n - 599. Is b composite?
False
Suppose -5*z = 0, -8*o + 12*o + 3*z = 0. Is 2*(o - (-5)/(-10)) - -4547 a composite number?
True
Is (((-3141)/4)/(-3))/(102/22168) composite?
True
Let s be 10*(-3 - (-2 + 252/2)). Let x = -72 - s. Suppose 5*o + 3*l - 2487 = x, 0 = 2*l. Is o a prime number?
False
Let c(y) = -2*y**2 + 29*y + 16. Let i be c(15). Let t be 1 + (5 - i - 1). Suppose -n = 4*z - 6, 3*z - 14 = t*n - 76. Is n prime?
False
Let t be -6 - (-7)/(14/4). Let u(k) = -k**3 + 3*k + 3. Let c be u(t). Is 409 + (-44)/c*(-10)/(-4) a prime number?
False
Let q = -135 - -136. Let x be (24 - 18)/((-2)/((-1)/q)). Suppose 2*b + 183 + 174 = w, x*w = 4*b + 1069. Is w prime?
False
Is (-14)/2 + (18888/(-4))/(45/(-330)) a composite number?
True
Let l = 43 + 14. Let o be -1 + l/(-6)*-2. Suppose -24*p + 2874 = -o*p. Is p prime?
True
Let h(p) = -97*p**2 - 33*p + 24. Let d(r) = -8 - 3*r**2 + 7*r**2 + 11*r + 30*r**2 - 2*r**2. Let w(x) = 7*d(x) + 2*h(x). Is w(5) a composite number?
False
Let c(d) = -2*d**2 - 14*d + 11. Let b be c(-7). Suppose -b = -2*u - 5*q, 2*q + 14 = 3*u + 7*q. Suppose j = -4*j - 2*s + 4483, -u*s = -j + 883. Is j prime?
False
Suppose -14*q - 42025 = -149951. Is q a prime number?
False
Let p = 5 + -8. Let f be p/15 + 36/(-20). Is -5 - (-301 + f + -5) a prime number?
False
Suppose 0 = -16*d - d + 1989. Let j = d - 84. Is j a composite number?
True
Suppose 1333485 = 11*v + 11*v - 13*v. Is v prime?
False
Let i = 189832 - 65343. Is i composite?
False
Let p be (64/24)/(6*(-2)/(-18)). Suppose -4*f = l - 13953, 15271 = 4*f - p*l + 1343. Is f a composite number?
True
Suppose 68 + 24 = 5*j - 2*f, 3*j - 48 = 3*f. Let w = j + -15. Suppose -7*q = 4*i - 3*q - 60, -i = w*q + 1. Is i composite?
False
Let i(w) be the third derivative of -103*w**4/12 + 15*w**3/2 - 30*w**2 - w. Is i(-8) a composite number?
False
Let z be (-8 + 0)*(-3 + (2 - -3)). Let j = 20 + z. Suppose -2*v - 249 = g - 6*g, -j*g - 3*v + 190 = 0. Is g composite?
True
Let g be 1/((-4)/(-20)) + (-3 - -1). Suppose -3*j = -g*r + 3924, -2*r + 4*j + 2430 + 176 = 0. Is r composite?
True
Let s = -51614 + 135437. Is s prime?
False
Suppose 5*c - o = -5*o + 35709, -14281 = -2*c + o. Let j = c + -3348. Is j composite?
False
Suppose 13*j = 6*j + 35. Let d(m) = 718*m - 3. Let q be d(j). Suppose 7*o + q = 16894. Is o a prime number?
True
Suppose -18 = -3*k - p, 5*p = -4*k + 9*p + 8. Suppose 4*b - 4*c - 2530 - 23474 = 0, k*b - c = 32497. Is b prime?
False
Suppose 3*a + 10 = 5*a, -a - 1 = 3*y. Let i(c) be the second derivative of 3*c**4/2 + 2*c**3/3 + 5*c**2/2 - 315*c. Is i(y) composite?
True
Suppose 0 = 2*d + 6, 5*d = -2*m + 1429 + 13564. Suppose 5*u + j + m = 8*u, 4*j = 3*u - 7489. Is u a prime number?
True
Let u(x) = 21871*x**2 - 273*x + 833. Is u(3) a composite number?
False
Let c = -297977 - -512494. Is c a prime number?
True
Suppose 3*d - 163019 = 4*w + 410648, d - 4*w = 191225. Is d prime?
False
Let t = -52 - -60. Let d be (((-304)/5)/(-2))/(t/(-60)). Let y = -83 - d. Is y a composite number?
True
Let q(s) = 5 + 83*s + 2 - 4 - 2 + 106*s. Suppose t - 11 - 6 = -5*v, 9 = 3*v. Is q(t) a prime number?
True
Let d(w) = -w**3 - 11*w**2 + 6*w + 4. Let z = 27 + -32. Let x be d(z). Let b = -145 - x. Is b a prime number?
True
Suppose -19 = -33*w + 47. Suppose 2*c = -w*c + 12, 2*p - 6*c = 60880. Is p prime?
True
Suppose -2*a - 37 = v - 43, -3*v + a - 3 = 0. Let g be (-4)/(-2) + 0 + 1. Suppose -755 = -5*p - v*l - 2*l, -2*p = -g*l - 283. Is p a prime number?
True
Let h be (-22360)/(-28) + 4 + 6/14. Suppose h = -z + 4396. Is z a prime number?
True
Is (-183422)/(-10)*(4 + -5)*(4 + -9) prime?
True
Let j(a) = -57*a**2 - a + 6. Let i(f) = 113*f**2 + f - 11. Let c(u) = 3*i(u) + 5*j(u). Let z = 253 + -254. Is c(z) a prime number?
True
Let h = -131468 + 261909. Is h a composite number?
True
Let o(y) = -y**3 - y - 4. Suppose 3*p - 6 = -12. Let i be o(p). Is (1731/i)/(1/2) prime?
True
Suppose 5*l = 8*q - 7*q + 24, 0 = q + l. Is (4 - -427)*(-4)/(q/3) prime?
False
Let f(g) = 16*g - 22. Let p be f(2). Suppose 172997 = t + p*t. Is t composite?
False
Suppose 148*z = 153*z - 4*l - 243581, z - 3*l = 48703. Is z composite?
True
Let i(v) = -6344*v + 379. Is i(-61) a composite number?
True
Let j(f) = 1724*f - 5. Let w be j(1). Suppose b - s - 3*s = w, 5*s = 5*b - 8655. Is b a prime number?
False
Let k be 9 - (-12)/(-8)*2. Let n be (-12490)/(-15) - 4/k. Let m = -203 + n. Is m a composite number?
True
Let c(n) = -34334*n + 16941. Is c(-59) composite?
False
Let l = -13 - -43. Suppose -3*z = 4*t - 625, 5*z + 388 + 88 = 3*t. Let a = l + t. Is a composite?
True
Let j(q) = -2*q**2 + 26*q + 29. Let k be j(14). Is (-2 - 2/(-2))*(-2963)/k a prime number?
True
Suppose 135 = 12*l + 15*l. Suppose 0 = 4*b - 3*f - 6815, -18*f = -l*b - 19*f + 8514. Is b a prime number?
False
Let c(p) = -2*p**3 - 10*p**2 + 24*p + 1. Suppose -67 = 4*t + y, -6*y + 2*y = 4*t + 52. Is c(t) composite?
False
Suppose 4*r = -4*t + 34304, -5*r + 21426 + 21409 = -4*t. Is r composite?
True
Let r = -669 + 51. Let x = r - -943. Let k = x + -184. Is k prime?
False
Suppose 5*u + 4*z - 128 = 0, -134 + 9 = -5*u - 5*z. Let p be 4*(u/8)/(-7). Is (p/(-3))/(26/2882