lse
Let z(v) = 2*v**2 + 30*v - 39. Is z(-23) prime?
False
Is 2/4 + 5/2 - -3904 composite?
False
Let g(b) = 218*b**2 - 2*b + 1. Is g(1) prime?
False
Let r be 16/3 - (-5)/(-15). Suppose r*t + n - 97 = 0, -n - 55 = -3*t - 0*t. Is t composite?
False
Suppose -5*h = 2*n - 91, -3*h - 126 = -2*n - h. Suppose 3*l - n = 101. Is l a prime number?
True
Suppose 5*d = -0*r - 5*r + 5, -2*d = 4*r. Suppose d*j + 0*j = 1042. Is j a prime number?
True
Let r = -7 + 14. Suppose -r*g + 188 = -3*g. Is g a composite number?
False
Suppose -t = p - 3, -3*p = -4*t - 3 + 8. Is 2 - 11/p*-39 prime?
True
Let r(z) = 30*z - 13. Is r(10) prime?
False
Let i(j) = -j + 5. Let n be i(3). Let f be (-1 + n)/(-1) + 216. Suppose 4*q = -3*w + 179, -5*q - f = -5*w + 2*w. Is w a prime number?
False
Let q(z) = -64*z**3 + z**2. Let d(k) = k**3 - 11*k**2 + 9*k + 9. Let o be d(10). Is q(o) prime?
False
Is (1893/(-2))/((-9)/6) a prime number?
True
Let d be (-10908)/(-20) - (-6)/(-15). Suppose -545 = -2*y + d. Is y a prime number?
False
Suppose -m = 4*m - 2330. Is m prime?
False
Let t(i) = -17*i**3 + 3*i - 2. Let n be t(1). Is n/1*-23 + 3 a composite number?
True
Let y(q) = q - 6. Let x be y(8). Suppose -o + x*o - 383 = -3*i, -5*i - 3*o + 641 = 0. Is i a composite number?
False
Suppose -3*m = 2*v - 1778, -2*v + 2*m + 2667 = v. Is v prime?
False
Is (1358/(-4))/(1*(-1)/2) a prime number?
False
Let i = 3 + 5. Is i/24*(362 - -1) prime?
False
Let i be (2 - (-2938)/2) + 1. Suppose -s = -5*s + i. Is 1/3 - s/(-12) a composite number?
False
Suppose 0 = -5*z + 3*o - 8, -18 = 5*z + 2*o + 10. Let q be z*(-2)/(4/3). Let c = q - -45. Is c prime?
False
Let w = -478 + 2285. Is w prime?
False
Let b be (-99)/(-15) - (-6)/15. Let r(n) = n**3 - 6*n**2 + 3*n + 7. Is r(b) composite?
True
Let o(y) = 2*y**2 - 12*y - 17. Is o(-10) a composite number?
True
Let r = -646 + 1135. Is r a composite number?
True
Suppose 2*q = 0, -5*q + 0 = -4*z + 12. Suppose 0 = -z*k + 27 + 9. Suppose 0*a - k = 4*a, -4*r = -3*a - 97. Is r a prime number?
False
Let t(o) = -o**3 - 7*o**2 + 7*o - 31. Is t(-14) a prime number?
False
Suppose 0 = 2*w - 5*w + 540. Suppose 0 = 2*x - w - 134. Is x a prime number?
True
Let p(x) = x**2 - x. Let g be p(-1). Let v be 3/6 + 7/g. Suppose -v*f + 290 = f. Is f prime?
False
Let g be (24/6)/((-1)/(-2)). Is ((-106)/(-8))/(g/32) a prime number?
True
Let l(p) = 5*p**2 + 6*p - 7. Let w be 74/(-9) + (-2)/(-9). Is l(w) a composite number?
True
Let m be (-8)/(-4)*5/2. Suppose 372 - 37 = m*h. Is h composite?
False
Let b = 9 - 6. Suppose -9 = -0*d + b*d, 0 = -a - 4*d + 14. Is a prime?
False
Let h(b) = b**2 + 2*b - 2. Let u be h(-2). Let a(d) = -30*d - 1. Is a(u) a composite number?
False
Suppose 10 = 5*u, -2*u + 19 = 4*d - d. Suppose t + 4*t = -3*r - 9, -t - 13 = -d*r. Is 53/1*(-2 - t) prime?
True
Suppose -s + 1 = -3. Let x be (1 - 0 - -3) + 31. Suppose 3*b - s*z - x + 0 = 0, 2*b - 5*z = 21. Is b a prime number?
True
Is 6 - 120/18 - (-5405)/3 composite?
False
Let f = 2 + 2. Suppose 0 = -m + 5*w - 19 - 12, -2*m = -f*w + 32. Is 1/m + (-1477)/(-42) a composite number?
True
Let h(k) = k. Let q be h(-5). Let y(c) = -4*c + 2. Is y(q) a prime number?
False
Let g = -174 - -333. Is g a composite number?
True
Let t(h) = -h + 5. Suppose -2*m = -4 - 6. Let b be t(m). Suppose -z + 3*z - 74 = b. Is z a composite number?
False
Let z(i) = -3*i**3 - 13*i**2 - 15*i - 11. Let v(h) = -h**3 - 6*h**2 - 7*h - 5. Let n(k) = 13*v(k) - 6*z(k). Is n(3) a prime number?
False
Let l = -19 - -65. Suppose -3*k - 5*p = -50, -3*k + l = 6*p - 2*p. Is k a prime number?
False
Let p(n) = -5*n - 23. Is p(-20) composite?
True
Let m = 2711 - 1350. Is m prime?
True
Suppose -9*o = 4795 - 30382. Is o a composite number?
False
Suppose 6 = 4*f + 2*c - c, -c = -2. Let s(n) = 331*n. Is s(f) prime?
True
Let v = -2 + 2. Suppose v = g + 29 - 81. Let p = g - 19. Is p a composite number?
True
Let a be 4/14 + 9/(-7). Let n = a - 54. Is (n/(-3))/(3/9) a prime number?
False
Let v(b) = 5*b**2 + 3*b. Let h(z) be the second derivative of -z**5/20 + z**4/2 - 5*z**3/6 - z**2 - z. Let s be h(5). Is v(s) prime?
False
Let c be (3/2)/((-2)/4). Let n = 8 - 10. Is ((-650)/(-15))/(n/c) a composite number?
True
Let a be (-332)/8*6/(-3). Suppose -a = 10*m - 11*m. Is m prime?
True
Suppose 0 = -4*l + 5*l + 4. Let i be 12/(-20) - l/(-10). Let g = i - -32. Is g composite?
False
Is 26 - (4 + 4/(-1)) composite?
True
Let u = 3923 + -2442. Is u a composite number?
False
Suppose -2*m + 3232 = 4*b, 2*b + 0*b = 2*m + 1622. Is b composite?
False
Let t(d) = -d**3 + 3*d**2 + 3*d + 4. Let m be t(4). Suppose m = -x - x. Let a(h) = -h**2 + h + 65. Is a(x) composite?
True
Suppose -p + 3*p = -50. Let k be 1312/5 - (-10)/p. Suppose -6*y = -3*y - 4*q - 213, 2*q = -4*y + k. Is y composite?
False
Let o(a) = -73*a - 4. Is o(-2) composite?
True
Suppose 0 = -o + 4 - 2. Suppose o*k - 78 = -0*k. Suppose 2*s = k - 11. Is s prime?
False
Let i(c) = c + 126. Let h be i(0). Let d = 239 - h. Is d composite?
False
Let z = 14373 - -2506. Is z composite?
False
Suppose 0 = -4*t + t. Is (t - -287) + 0/13 a composite number?
True
Let o be (1 - 7)/(-2) + -5. Is ((-468)/6)/(o - 0) composite?
True
Let c(z) = 8 + 0*z**2 + 5*z + 3*z**2 - z. Let g be c(6). Suppose -4*f + 0*f = -g. Is f composite?
True
Suppose 2*y - 15 - 21 = 3*g, 0 = g + 4*y + 12. Is g/(-18) + (-1298)/(-6) prime?
False
Let s = 688 - 437. Is s a composite number?
False
Suppose -10 = 3*w - 5*w. Let l(b) = -b**3 + 6*b**2 - 6*b + 7. Let f be l(w). Suppose 0 = -j + 4*s + 53, 5*j - 159 = f*j + s. Is j a composite number?
False
Let n(a) = 4*a**2 + 4*a - 1. Is n(-8) prime?
True
Suppose 3*k - 207 - 60 = 0. Is k a composite number?
False
Suppose 0 = 3*k + 4*h - 26, -h + 13 = 2*k + 2*k. Let f be -47*1*(-6)/k. Suppose c = 4*c - f. Is c a prime number?
True
Let s = 14 - 20. Let n(x) = -38*x + 8. Let z be n(s). Suppose 51 - z = -5*j. Is j composite?
False
Let p(t) = 7*t - 15. Let v(q) = 7*q - 14. Let r(u) = 3*p(u) - 2*v(u). Is r(12) prime?
True
Let h = -15 - -55. Suppose -d = c - h - 28, 0 = -3*c + 4*d + 197. Is c a composite number?
False
Suppose 3*n + 0*n = 1380. Suppose n + 384 = 4*m. Is m composite?
False
Let x(s) = 3*s - 3. Let q be x(3). Let t = 28 - q. Is t prime?
False
Let i be (-4)/14 + (-12)/7. Let j be (-3 - -2)/(i + 1). Is (-2 + 404)/3 - j a composite number?
True
Let j = 305 + -462. Let k = j - -263. Is k a composite number?
True
Suppose 2*r + 12 = 4*r. Let f(j) = 3*j**2 + 6*j - 1. Is f(r) a prime number?
False
Let r(a) = a**3 - 4*a**2 - 2*a + 6. Let u be r(5). Let x = u + -38. Is x/(-1*(-1)/(-11)) composite?
True
Let x = -5 + 5. Let g be x/2 - (0 - 70). Suppose i = 3*i - g. Is i composite?
True
Is 6*(-94)/(-3) + 3 prime?
True
Let f = -5 + 8. Suppose -5*w = -n - 98, 6*w - f*w + 2*n - 51 = 0. Is w a composite number?
False
Let k(f) be the first derivative of -1/4*f**4 + f - 2 - 3*f**2 - f**3. Is k(-6) a composite number?
True
Let i(p) = p**3 + 6*p**2 - p + 7. Let d be i(-7). Let g = -21 - d. Is g prime?
False
Let t(h) = -48*h - 7. Let c be t(-5). Let s = 366 - c. Is s a composite number?
True
Let z = -84 + 269. Is z prime?
False
Let f be (-10)/45 - (-87)/27. Suppose -f - 63 = -2*o. Is o a prime number?
False
Let q be (-2)/(-4) + (-455)/(-10). Let f = q - 16. Let r = f - -37. Is r a prime number?
True
Let m(w) = 0 - w + 2 + 1. Let i be m(0). Suppose 0 = -i*d - 2*d + 95. Is d a composite number?
False
Let b(p) = -p**3 + 8*p**2 - 7*p - 4. Let k be b(7). Let i(o) = -2*o**3 + o**2 + 3*o - 5. Is i(k) a prime number?
True
Suppose 2*v - v - 685 = 0. Let a = -392 + v. Is a a composite number?
False
Suppose -17*u = -13*u - 1324. Is u a prime number?
True
Suppose 0*b + b = 3*p - 15, b + 3 = 0. Suppose 0*v = 5*v - 795. Suppose l = p*l - v. Is l a prime number?
True
Is (-12898 + 0 + 5)*-1 a prime number?
True
Let u(c) = 2*c**2 - 4*c - 11. Let d be (3/2)/((-3)/18). Is u(d) a composite number?
True
Suppose 0 = -4*t - 3*q - 15, -q - 3 - 2 = 4*t. Suppose t = 2*p + p + 12. Is (-4)/p + (-64)/(-2) prime?
False
Let q = 0 + 1. Suppose -4*z + 19 = -v, 4*v - 3 = 4*z - 7. Let a = z + q. Is a a composite number?
False
Suppose -149 = -4*q + 219. Let n(w) = w + 92. Let j be n(0). Suppose -4*u = 3*d - q, 2*u + d + j = 6*u. Is u a prime number?
True
Let b(z) = -4 + z**3 - 3 + 0 + 4*z - 8*z**2