lse
Let u be (1242/(-12))/(1/2). Let r = -148 - u. Is r a prime number?
True
Suppose -7*x + 2*x = 0. Let p(l) be the first derivative of -l**2/2 + 89*l + 2. Is p(x) prime?
True
Suppose 0*p - 5*n + 1302 = 3*p, 1320 = 3*p - n. Is p a prime number?
True
Let k = 3 - 2. Let g = -1 + k. Suppose g*q + 3*q - 116 = c, -3*q + 4*c + 131 = 0. Is q a prime number?
True
Let v = 257 + -36. Is v a composite number?
True
Is 1 + (54 - (-12)/(-3)) composite?
True
Suppose 44 = -4*i + 8*i. Suppose 0 = s + 145 - i. Let k = -19 - s. Is k composite?
True
Suppose -k - 2 + 11 = 0. Let t(u) = 4 - 1 - k*u**3 + 0*u + 3*u - u**3. Is t(-2) composite?
True
Let r = -978 - -1667. Is r composite?
True
Suppose -210 = -2*s - 606. Let g = -57 - s. Suppose -35 + g = k. Is k a composite number?
True
Is ((-5)/5)/(3/(-531)) a composite number?
True
Suppose -5*g = o + 23, -3*o - 12 - 13 = 4*g. Let f(p) = -85*p - 4. Is f(o) a composite number?
False
Suppose r = 15 + 40. Is r a composite number?
True
Let n(c) = -12*c - 1. Is n(-1) composite?
False
Let u(j) = -13*j + 16. Let s(k) = 27*k - 33. Let x(y) = 4*s(y) + 9*u(y). Let z(t) = 18*t - 23. Let p(d) = 7*x(d) + 4*z(d). Is p(7) prime?
False
Let q be (6/(-4))/(3/4). Is (33/9)/(q/(-6)) a composite number?
False
Let w = 573 - 362. Is w composite?
False
Suppose 207 = 5*d - 3*c, 2*d = -0*c + 4*c + 94. Is d a prime number?
False
Let v(w) = 18*w - 2. Let h be v(-3). Suppose -o + 2*o = -25. Let l = o - h. Is l a prime number?
True
Let k(i) = -i**2 - 13*i + 11. Let q be k(-11). Let g = 52 - q. Is g prime?
True
Let m(w) = w**2 + 13*w + 15. Let l be m(-12). Suppose 4*u + 0*u - 4*k - 120 = 0, -l*u + 4*k = -95. Is u composite?
True
Suppose 5*p + 197 = 2*u, 2*u - 4*p + 2*p - 212 = 0. Is u composite?
True
Let r(h) = h**2 + 4*h - 4. Let v be r(-6). Suppose -3*g = -4*g + v. Let q = 7 + g. Is q a prime number?
False
Let p(l) = l**2 + 10. Let i be 1 + (-5)/((-2)/(-2)). Let k(c) = -c**2 - 9. Let j(f) = i*p(f) - 5*k(f). Is j(-4) a prime number?
False
Let i(y) = 3*y + 2. Let m be i(1). Let w(n) = -n**3 + n**2 + 2*n. Let p be w(2). Suppose -v + 5*u = -72, 2*v - m*u = -p*u + 134. Is v a composite number?
True
Suppose 4*r + 7586 = 6*r. Is r a prime number?
True
Suppose 5*x - 8 = -33. Is (-781 + -1)/(10/x) a composite number?
True
Suppose 6*h - 2443 - 2315 = 0. Is h a composite number?
True
Let t = -120 + 284. Suppose y = -b + 72, 0*b = 2*y - 2*b - t. Is y prime?
False
Suppose -8 = -v + 14. Is v + -2 + (2 - 0) a composite number?
True
Suppose 0 = 2*u + 2*z + 714, -6*u + 3*z = -2*u + 1442. Let r = -210 - u. Is r prime?
True
Is 8 - 5/(10/(-4)) prime?
False
Is 8/20 - (-2972)/20 composite?
False
Let i(u) = -14*u**3 + 7*u - 1 + 4*u + 13*u**3 + 12*u**2. Is i(10) composite?
True
Let z = -1 - 2. Let f = 5 + z. Is f composite?
False
Let t(v) = v**3 + 1. Let k be t(2). Let o be (-696)/(-15) + 4/(-10). Suppose k = -f + o. Is f composite?
False
Suppose -6*f + 3*f - 2385 = 0. Let j = -536 - f. Is j composite?
True
Let v = 35 + -15. Suppose 5*l = -0*l + v. Suppose 4*x - 4*t - 303 = t, l*x + 3*t - 311 = 0. Is x a prime number?
False
Suppose 70 = -j + 4*b + b, -3*j - 138 = 3*b. Let i be 5*(-1 + 4 + -6). Let s = i - j. Is s a prime number?
False
Suppose 4*v + v = 15. Let g = -13 + 15. Is 47 - v*g/6 a composite number?
True
Let l = -5 + 7. Suppose 0*p = -p - l. Is 22*p/(-8)*14 composite?
True
Let c(m) = 6*m**3 - 3*m + 3. Let w(h) = -h**3 + h**2. Let x(a) = -c(a) - 5*w(a). Is x(-6) a prime number?
False
Let m be (90/27)/(4/78). Let k = m - -365. Suppose 5*l - 5*g - k = 0, -g - 442 = -3*l - 2*l. Is l composite?
False
Let y = -14 + 6. Is 178/2 - y/4 a composite number?
True
Suppose -19 = 5*h + 1. Let c(v) = 21*v**2 + v - 1. Is c(h) composite?
False
Suppose 4*z - 3 = 5*d, 0*d = 5*d - z + 12. Let x(u) = -3*u - 2*u**2 - u**2 + 1 + 6*u**2. Is x(d) a composite number?
False
Let d(h) = 100*h**2 + 6*h - 5. Is d(-3) prime?
True
Is (-14 + 12)/((-2)/529) a composite number?
True
Is -4*(-3)/24*3898 prime?
True
Let h = -280 + 491. Is h prime?
True
Let z(q) = -q - 7. Let d be z(-5). Is 37 + d/(-2) + -3 a composite number?
True
Suppose -2*u + 6*u - 2008 = 0. Suppose -5*t + u = 87. Is t a prime number?
True
Suppose 1 = g - 3. Suppose 3*y + g*x + 3 = 0, 5*y + 3*x = 4*x - 5. Is (-1 + y)/(2/(-13)) a composite number?
False
Let j(h) = h**2 + 14*h + 4. Let k be j(-14). Is (-2)/k - (-227)/2 composite?
False
Suppose 3*b = 4*b + 5*k + 21, b - 29 = 5*k. Let h = b + 3. Is h composite?
False
Let j(o) be the first derivative of -2*o**3/3 - 6*o**2 + 9*o + 2. Let k(l) = l**2 + 6*l - 5. Let d(m) = 3*j(m) + 5*k(m). Is d(-5) a prime number?
True
Suppose 4*m = 9*m - 155. Is m prime?
True
Let l(r) = -r - 7. Let z be l(-5). Is z - 0 - -7 - 2 a prime number?
True
Suppose -2*t - 3426 = -3*d, -4568 = -4*d + 5*t - t. Is d prime?
False
Let n(d) = -d**2 - 3*d - 5. Let j(l) = 4*l**2 + 8*l + 16. Let s(y) = 2*j(y) + 7*n(y). Let u be s(6). Let c(f) = 6*f**2 + f - 4. Is c(u) composite?
False
Let t = 369 + 74. Is t a prime number?
True
Let c(f) be the third derivative of 13*f**7/5040 - f**6/360 + f**5/30 - f**2. Let t(o) be the third derivative of c(o). Is t(3) composite?
False
Let n be (-48)/(-4) - (0 + 0). Suppose -5*g - 10 = -5*p, -2*p + 19 = 3*g - 0*g. Suppose -g*a = -a - n. Is a composite?
True
Let j be ((-12)/9)/(6/9). Is j/3*-17*3 a composite number?
True
Suppose -z - 28 + 4 = 5*j, 4*z + 5*j = -51. Let u(k) = -k**3 - 3*k**2 + 15*k + 20. Is u(z) prime?
False
Let c(h) be the second derivative of h**4/12 + 13*h**3/6 + 6*h**2 - 2*h. Let g be c(-12). Suppose -2*o + g*o = -116. Is o prime?
False
Suppose -u - 2 + 1 = 0. Let v be 1*2/u - 0. Let y(m) = -2*m**3 - 3*m**2 - 2*m + 1. Is y(v) composite?
True
Let f = 11 + -25. Let y be (1 - 51)/(6/(-3)). Let r = f + y. Is r a prime number?
True
Let m(p) = 1 + 0 - 4 + 13*p. Is m(2) a prime number?
True
Let t(i) be the first derivative of -i**3/3 - 7*i**2/2 + i + 2. Let w be t(-7). Is (w + 2)*(-26)/(-3) a composite number?
True
Let n(h) = -h**3 + h - 1. Let y be n(1). Let g(a) be the first derivative of -12*a**4 - a + 3. Is g(y) composite?
False
Let v(p) = p**2 - 7*p + 6. Let a be v(6). Let s = a - -5. Let n = s + 9. Is n composite?
True
Let a = 142 - 93. Is a a prime number?
False
Let c(r) = 2*r**2 + 2*r + 2. Let h be c(-1). Is (-26)/4*(-20)/h composite?
True
Let v = 4 - 1. Let g(k) = 14*k**2 + k - 2. Is g(v) a composite number?
False
Let x be 2/10 - (-12)/(-10). Is 58 + (x - (-2 + 4)) composite?
True
Suppose -3*q - 35805 = -8*q. Let o be (-2)/(-5) + q/(-15). Is o/3*1/(-3) a composite number?
False
Let c = -13 - 87. Let q = c + 303. Is q a prime number?
False
Suppose -d - 1641 = -5*j + 1065, -1086 = -2*j + 4*d. Is j composite?
False
Suppose -2*p + 0*a = -2*a + 2, -2*p = 4*a - 16. Let r be (-1)/(p/(-2)) + -4. Is 1 + 1 - 105/r prime?
True
Let s(b) = 33*b**2 + 2*b + 1. Is s(-4) a composite number?
False
Suppose 5*y - 10 = 0, s + s - 16990 = -4*y. Is s composite?
True
Suppose -5 = -3*o + 8*o. Let v(b) = -b - 1. Let g(q) = 61*q + 2. Let y(j) = -g(j) - 3*v(j). Is y(o) composite?
False
Suppose -144 = -5*o + 86. Is (22/(-4))/((-1)/o) composite?
True
Suppose 4*f - 11 = -o - 2, 5*f = 5*o + 30. Let m be (-13 - -4)/(f/2). Is (388/m)/((-4)/6) prime?
True
Let h be ((-8)/(-12))/(1/(-3)). Is 0 - 447*(h - -1) a composite number?
True
Let k(l) = 4*l**2 + 2*l + 1. Let p be k(-2). Suppose g - p = 31. Let q = -13 + g. Is q a composite number?
False
Suppose 60 = -0*v + 2*v. Suppose -u + v = u. Is u a composite number?
True
Suppose 0*t = 5*t + 3*q + 224, -3*q = -6. Let u = 218 - 129. Let p = u + t. Is p prime?
True
Let g(z) = -31*z - 1. Let k be g(-1). Suppose 0 = -2*w - 3*w - 5*n - k, 0 = 2*w - 2*n. Is (7/w)/((-2)/42) a composite number?
True
Suppose -4*j - 12 = 2*c + 2, -4*c - 8 = 4*j. Is 32 + 2 + (4 - c) prime?
False
Is (-19295)/(-35) + (-8)/28 a composite number?
True
Suppose 3*y - 264 = -0*y + 3*t, -9 = -3*t. Is y prime?
False
Let q be ((-4)/5)/(6/(-15)). Is 113/q*2*1 prime?
True
Let q(h) = -h**2 - 8*h + 12. Let z be q(-10). Is 4*((-178)/z + 0) a composite number?
False
Let p(v) = v + v**3 - 5*v**2 + 11 - 3 + 0*v**3. Let l be p(6). Suppose -4*x + l = o + x, 5*o + x = 274. Is o prime?
False
Let l(o) = -2*o**2 - 6*o + 8. Let p be l(7). Let t = -72 - p. Suppose 25 = s - t. Is s composite?
True
Is 1/2 - 505