lse
Suppose 0 = 3*p - 193 - 122. Suppose 2*y + y = p. Is y prime?
False
Let o = -5 + 5. Suppose o = 2*s - s - 58. Is s a composite number?
True
Suppose -4*t - 3*h = -2*h + 5, -5*t + h = -5. Suppose -2*f + 3*f + 5 = 0, t = 5*p - f - 1135. Is p composite?
True
Suppose -4*r - 16 = -0. Is (r - -1) + 0 - -18 a prime number?
False
Let b(x) = -x**2 - 2*x - 1. Let m be b(3). Let l = 78 + m. Is l composite?
True
Suppose -3*y = -5*l - 13, l - y + 1 = -2. Let j be l/(-3)*9/3. Suppose j*g + g = 141. Is g prime?
True
Is ((-30)/12)/((-2)/44) composite?
True
Suppose 5*k = 4*a - 40, 5*a = 2*a - k + 11. Suppose -2*j - 455 = -5*x, -a*x - 3*j + 264 = -191. Is x composite?
True
Suppose 2*b = 8, 0 = 5*a - 0*b - b + 24. Let m(v) = -v**3 - 3*v**2 - 3*v - 3. Is m(a) a composite number?
True
Suppose 4 = o + o. Let j(x) = 2*x**2 + 0*x**2 - 6*x**o + x**3 - 8*x - x**2 - 3. Is j(7) a composite number?
True
Let r(b) be the third derivative of -23*b**6/120 + b**5/60 + b**4/24 - 5*b**2. Let d = 2 - 3. Is r(d) composite?
False
Suppose -h = -2*h + 152. Let y be (-6)/2 + 234/(-3). Let u = y + h. Is u a prime number?
True
Suppose 3*j = 334 + 713. Let s = j - 218. Is s prime?
True
Let f(b) = b**2 + 9*b + 1. Let r be f(-8). Let a = -4 - r. Suppose -a*k = -133 - 26. Is k composite?
False
Let j = 469 - 138. Is j composite?
False
Suppose 3*o = 5*z - 112, 4*z = o - 6*o + 97. Let n = 38 - z. Is n a prime number?
False
Suppose 3*h + 1236 = 3*b, -6*b - 2*h = -2*b - 1618. Is b a composite number?
True
Suppose -3*i = b - 8, -4*b + 10 = -0*i + i. Suppose -3 = -b*d + 41. Let q = d - 9. Is q a composite number?
False
Let z = -302 + -119. Let t = -8 - z. Is t a prime number?
False
Suppose -5*n - 15 + 190 = 0. Let d = 21 + 37. Let r = d - n. Is r a prime number?
True
Suppose 0 = 5*a - 3*v - 1520, -v + 312 = a - 0*a. Is a a prime number?
True
Let y = 234 - -270. Let q = y - 235. Is q a composite number?
False
Let y = 7 - 7. Suppose -2*n + 122 + 450 = y. Suppose 4*f - 296 = h - 5*h, 2*f - n = -4*h. Is h composite?
True
Suppose 7 + 1 = n - 5*h, -3*h = -n. Let i be (n/(-9))/((-4)/6). Let p(d) = -19*d**3 + d**2 - 2*d - 3. Is p(i) a composite number?
False
Let r(v) = 3*v**2 - 9*v - 7. Let l be r(7). Suppose 3*f = 4*p + 53, 0 = 5*f - 4*p + 3*p - l. Is f a composite number?
True
Suppose 6*k - 116 + 26 = 0. Is k a composite number?
True
Suppose 0 = -i + 2*i - 65. Suppose -2*t + i = -5*b, 2*t - 6*t + 3*b = -137. Is t a prime number?
False
Suppose 3*w + 3*s - 99 = 0, -2*w + 0*w = -s - 60. Is w a prime number?
True
Let q(s) = -497*s**3 - 2*s**2 + 5*s + 2. Let y(i) = 249*i**3 + i**2 - 2*i - 1. Let x(u) = 2*q(u) + 5*y(u). Let b = -2 - -3. Is x(b) a prime number?
True
Suppose 4*s - o - 124 = 0, s + 2*o - 82 = -2*s. Suppose -104 = -2*v - s. Is (-1 - v)*(-2)/4 composite?
False
Let a(u) = u**2 + 5*u + 3. Let v be a(-5). Suppose v*l - 15 + 6 = 0. Suppose -l*t + 856 - 79 = 0. Is t prime?
False
Suppose -5*s = -1241 - 354. Is s prime?
False
Let j be 306/(-12)*(1 + -5). Let i = 213 - j. Is i prime?
False
Suppose 2*k + 10 = 0, b = 5*k - 50 + 628. Is b prime?
False
Is (-2)/(-14) + 2320/28 composite?
False
Let s(y) = 7*y**2 - 15*y + 7. Let t(x) = -3*x**2 + 8*x - 3. Let z(l) = 2*s(l) + 5*t(l). Is z(4) a composite number?
False
Suppose -4*v - 4*x + 216 = 0, 3*v - 194 = -0*v + 5*x. Let y be (16/6)/(3/9). Suppose y = 3*b - v. Is b composite?
True
Let g(a) = a**3 - 4*a**2 + 4*a - 1. Let n be g(3). Suppose -n*s - 299 = -769. Is s a prime number?
False
Let z be (-12)/(-5) - (-6)/(-15). Let x = 5 - z. Suppose -2*j + 178 = x*s, 0 = 3*s + 14 - 2. Is j prime?
False
Let k(p) = -58*p**2 - 6*p. Let a(b) = 57*b**2 + 5*b. Let l(n) = 5*a(n) + 4*k(n). Let m be l(-1). Let z = -31 + m. Is z prime?
False
Suppose -3*y - 50 = -323. Is y a composite number?
True
Suppose w + w - 8 = 0. Suppose 0 = 2*a - w*a. Is (2 + a)/4*166 prime?
True
Let t(b) = 5*b**2 - 18*b + 29. Is t(14) prime?
True
Let q(i) = -i**2 + 9*i - 10. Let x be q(7). Suppose -x*k - k = -335. Is k a prime number?
True
Let v(b) = b**2 - b. Let l be v(1). Suppose 5*f - f - 4*x - 84 = l, f = 5*x + 29. Suppose -2*g + 1 + f = 0. Is g composite?
True
Let u = -92 - -24. Suppose 2*f + 6 - 2 = 0. Is u/f + -3 + 2 composite?
True
Let l(q) = 168*q - 5. Is l(2) composite?
False
Let g(a) = -a**3 + 13*a**2 - 3*a + 2. Is g(11) a prime number?
True
Suppose 5*g + 331 = -1104. Let x(p) = -9*p**2 - 6*p + 3. Let z be x(-5). Let h = z - g. Is h prime?
False
Let a = -3511 + 5168. Is a prime?
True
Let x be -73 - 0*(-2)/8. Let n = 179 + x. Is n composite?
True
Let p(t) = -t + 6. Let f be p(0). Is (2/f)/(2/138) a prime number?
True
Let x(p) = -p**2 + 8*p - 4. Let h be x(7). Suppose h*c + c = 188. Is c prime?
True
Let i be -17 + -1 + 9 + -11. Let v be (0 - 0/1) + -53. Is v/(-5) + (-8)/i composite?
False
Let c(x) = -x - 6. Let f be c(-5). Is (332/(-12))/(f/3) a composite number?
False
Suppose 0*i + 44 = i. Suppose 33 + i = t. Is t a prime number?
False
Let w = 79 - 25. Let v = 77 - w. Is v a composite number?
False
Let q(v) = 44*v**2 + 2*v - 5. Is q(-6) a prime number?
True
Suppose -4*s - 4 = -4*q - 0, 0 = -3*q + 5*s - 7. Is (q/(-9))/((-6)/711) a prime number?
True
Let c(m) = m + 7. Let d be c(-5). Suppose 95 = 5*v - 5*r, d*r = 9 + 1. Let w = -10 + v. Is w a prime number?
False
Let r = -1385 + 2736. Is r a prime number?
False
Let u = 64 + -111. Is (-1)/((-2)/4) - u prime?
False
Suppose -n - 9 = 2*n. Let q(y) = 3*y**2 + 3*y + 1 + 9 - 7. Is q(n) prime?
False
Let f(y) = 3*y**2 + 8*y - 8. Is f(15) a composite number?
False
Let y be -6*-2*(-6)/(-9). Suppose y = 3*x + 98. Let a = 67 + x. Is a a composite number?
False
Let z = -324 + 655. Is z composite?
False
Is 12 - 15 - 1*-206 composite?
True
Let q(f) = f**3 - 5*f**2 - 6*f + 3. Let c be q(6). Suppose -60 = -4*u - 2*x, 0 = -3*u - u - c*x + 62. Is u a prime number?
False
Let f be 21*-2*1/(-6). Let w(a) be the first derivative of a**3/3 + a**2 - 4*a + 1. Is w(f) composite?
False
Let t = -1 - 0. Let q be -2 + 2 + (t - -16). Suppose w - q = 28. Is w prime?
True
Let v(r) = 49*r**3. Let i be v(1). Suppose -5*z = -4*z - i. Is z a composite number?
True
Suppose 113 + 773 = 2*p. Is p a composite number?
False
Suppose 3*k = 6602 + 1135. Is k prime?
True
Let n(i) = 2*i - 1. Let u be n(2). Suppose -r = u*r - 348. Is r a prime number?
False
Suppose -4*x = -20, 0 = 7*l - 2*l + 3*x - 40. Is 7/((-4)/l + 1) composite?
True
Let u be 236 - (2 + (3 - 2) - 6). Suppose 8 = 5*i - 3*i. Suppose 55 - u = -i*k. Is k a composite number?
True
Let p(l) be the second derivative of l**6/360 - l**5/60 - l**4/12 - l**3/6 + l. Let j(z) be the second derivative of p(z). Is j(-3) a prime number?
True
Suppose 5*z + m = 18, 2*z + m - 3 = 2*m. Suppose -z*j + 4*j - 21 = 0. Is j prime?
False
Let l = 510 - 293. Is l a prime number?
False
Let y(i) = -i**3 - 7*i**2 + 9. Let j be y(-7). Suppose -r + 217 + j = 0. Is r a prime number?
False
Let v = -5 - -7. Suppose -v*i = -10, 0 = -0*f + 5*f + i - 30. Suppose 0 = f*d + o - 99, 0 = 5*d + 2*o + 2*o - 111. Is d composite?
False
Suppose -2*v = -3*w + 458, -2*w + 5*v = 3*v - 304. Suppose -w = 3*k - 40. Let j = 53 + k. Is j a prime number?
False
Suppose -3*d = -5*v - 298, -374 = d - 5*d + 2*v. Is d a prime number?
False
Suppose -h + 1120 = 290. Is 4/(-14) - h/(-14) composite?
False
Let b(m) be the second derivative of 5*m**4/3 - m**3/6 + m**2 + 5*m. Is b(-3) prime?
False
Suppose -p + 4 = 2. Suppose 3*j + 2*i - 10 = -j, 0 = -3*j + p*i + 4. Suppose j*v = 6*v - 148. Is v composite?
False
Suppose 0 = 3*w + w - 260. Is w composite?
True
Let o(r) = 10*r**3 - 8*r**2 - r - 19. Is o(6) prime?
True
Suppose 0 = 4*c - 309 - 47. Is c prime?
True
Suppose 0 = 2*i - 5*n - 35, -5*i - 5*n = -0*n. Suppose 2*d + u - 5*u - 52 = 0, -5*u = i*d - 130. Let a = -13 + d. Is a a composite number?
False
Suppose f - 63 = -y, 2*f + 2*f = 2*y - 102. Is y composite?
False
Let v(z) = z**3 + 14*z**2 + 4*z - 3. Let p be v(-11). Let b be (3 + -2)*(p - 0). Suppose -2*o = 2*o - b. Is o composite?
False
Let t(v) = 97*v**2 + 6*v - 9. Is t(2) a composite number?
True
Let i(m) = 14*m**2 + 18*m - 9. Let t(a) = 5*a**2 + 6*a - 3. Let y(x) = -4*i(x) + 11*t(x). Let h be y(-6). Suppose -j + h*j - 178 = 0. Is j prime?
True
Let o be 31/4*(-24)/(-2). Suppose -2*w - w = -o. Suppose -3*d - w = -232. Is d composite?