lse
Let i = 7399 - 3782. Let j = i + -2020. Is j prime?
True
Suppose -4*h + 398 = 2*i + 3*i, 161 = 2*i + h. Suppose -o + 89 = 4*o + 4*v, -3*v = -5*o + i. Let c(u) = 48*u - 1. Is c(o) a composite number?
True
Let y = -29 + 32. Suppose -130 + 8407 = -y*z. Is z/(-31)*(1 - -21)/2 a prime number?
False
Suppose f - 983852 = -3*a + 49167, -3099033 = -3*f - 5*a. Is f composite?
False
Let h be (-1746)/(-72) + 6/8. Suppose 22*q = h*q - 1941. Is q a prime number?
True
Is ((-154962)/(-72))/((((-9)/(-12))/3)/1) a composite number?
False
Let f = 96446 + -24747. Is f a prime number?
True
Suppose -8*z + 320736 = 16*z. Suppose -1367*r + z = -1363*r. Is r prime?
False
Is ((-1186520)/(-30) + 10)/((-4)/(-42)) a prime number?
False
Let d(k) = k**2 + 4*k - 10. Let w be d(-6). Suppose 3*h - 2*h = w*t + 10, 3*h = 2*t + 10. Suppose -4*a - 4*a + 952 = h. Is a a prime number?
False
Let i(b) = 48*b**3 + 28*b**2 - 218*b - 19. Is i(13) a prime number?
False
Suppose 9*u - 3*u - 24 = 0. Let f be (-6465)/195 + u/26. Is 274/(11/(f/(-2))) prime?
False
Let l(f) = 559*f + 33. Let j(h) be the first derivative of -1397*h**2 - 166*h - 16. Let i(c) = -2*j(c) - 11*l(c). Is i(-10) prime?
False
Let p be ((3/(-2))/(-3))/((-29)/(-2241352)). Suppose 2*t = -3*i + p, 2*t - 5*i + 19329 = 3*t. Is t a composite number?
False
Let g(w) = -480*w - 7. Let a be g(-3). Suppose 0 = 2*m - a - 2359. Suppose 4*t + 232 + 729 = l, -2*l - 5*t + m = 0. Is l a composite number?
False
Let n(f) = -f - 3. Let l be n(-7). Let r(q) be the third derivative of q**6/15 - q**5/30 - q**4/3 - q**3/3 + 10*q**2 + 1. Is r(l) a composite number?
True
Suppose 2*i - 132*c = -136*c + 605954, -2*i + 605952 = 5*c. Is i a prime number?
False
Let z(c) = -11*c + 54. Let t be z(-11). Suppose 173*m = t*m - 21290. Is m composite?
True
Let m(k) be the third derivative of k**6/120 - 7*k**5/20 - 5*k**4/12 + 19*k**3/6 - 17*k**2. Let g be m(19). Let v = g + 1360. Is v a composite number?
False
Suppose 0 = -2*s + 1059 + 3383. Suppose 2*a - s = 2917. Is a composite?
True
Suppose -11841912 = -1458*x + 1386*x. Is x composite?
False
Suppose -8466071 - 8636767 = -22*p + 847072. Is p a composite number?
True
Let f be (-13 + 9)*(3 + -1). Is 5 - (-20686 - (12/(-6) - f)) a prime number?
False
Suppose -2*d - 2*f = 3*f - 6494, 0 = -5*f - 20. Is (-42)/(-6) + (d - -1) a prime number?
False
Suppose 5*q - 121 = 19. Let c = q + -26. Suppose 4563 = 5*m + c*h, 12 = 3*h - 0*h. Is m composite?
False
Suppose 78*c - 11351808 = -126*c + 445946628. Is c composite?
True
Let i = -1496 + 3116. Let f = i + 444. Let y = 3697 - f. Is y a prime number?
False
Let s = -2984 - -3451. Is s composite?
False
Let f = -3 + 4. Suppose -4*c = -f - 15. Suppose 2*g + 4262 = 5*o + 1191, -c*o + 2443 = 3*g. Is o a composite number?
False
Let z = -107 + 106. Let x(i) = -75*i - 10. Is x(z) a prime number?
False
Let n(a) = 63*a**3 + 10*a**2 + 8*a - 100. Is n(11) prime?
False
Is ((-2212826)/154)/((-2)/2) composite?
False
Let g(f) be the third derivative of -4229*f**6/120 - f**5/15 - f**4/24 + f**3/2 - 31*f**2. Let o be g(-2). Let b = o + -23956. Is b composite?
True
Suppose 356*m = 362*m. Let o = -993 + 1422. Suppose 5*h + c - 5400 = m, -3*h + o = 5*c - 2789. Is h a composite number?
True
Is (-16)/(-32)*196610/15*3 composite?
False
Let v = -249629 + 445788. Is v prime?
True
Let p be (5 - 2)/(30/(-400)). Let q = -38 - p. Is (3 + 1003/q)*(-8)/(-4) a prime number?
True
Let d = 445 + -442. Suppose -5*l + 82238 = -3*y, d*l + y = -l + 65787. Is l composite?
False
Let z(y) = -4*y + 31. Let v be z(6). Suppose 2*a - 8 = 3*r - r, -3*a + 12 = 0. Suppose r*t - v*t = -12607. Is t a prime number?
True
Let w be (156/30)/13*(1 - -4). Suppose -4*g - 2*x = -6*x - 7908, g + w*x = 1965. Is g a prime number?
True
Suppose 24*t - 46*t = 835626. Is (6/(-9))/(22/t) composite?
False
Let o(x) = 11*x**3 + 3*x**2 + 6*x - 18. Suppose 42 = c + 5*c. Let m be o(c). Suppose -5*f + m = 3*f. Is f composite?
True
Suppose -11*x - 8 = -7*x. Let n be 11/2 + x/(-4). Is n/8 - (-1601)/4 a prime number?
True
Let o(w) = -4*w + 10. Let a be o(-4). Suppose 25*z + 641 = a*z. Is z a prime number?
True
Let g = 99 - 106. Let m(h) = h**3 + 6*h**2 - 9*h - 9. Let s be m(g). Is (194/s)/(2/10 - 0) prime?
False
Suppose -12*w - w - 21541 = 0. Let r = w - -4233. Let l = 3853 - r. Is l prime?
True
Suppose 2*h = -2*h + 5*a - 5, -2*a + 2 = -2*h. Suppose -3*p - 31 + 754 = h. Let b = 492 - p. Is b prime?
True
Suppose 6484 = 4*u + 3*l, 12*u - 16*u - 2*l = -6480. Is u a composite number?
True
Let k(h) = -46197*h - 1178. Is k(-5) composite?
True
Is (20154298/1141)/(4/14) composite?
True
Let y = 348 + -158. Let b(x) = 2*x + 7. Let i be b(0). Let t = y - i. Is t a composite number?
True
Let j(p) = p**3 + 9*p**2 - 6*p - 20. Let b be j(-9). Let d = 38 - b. Is 127*-2*(36/(-8) + d) a prime number?
True
Suppose 0*n + 8*n - 160 = 0. Suppose -t - 2*t = 3*s, -3*t + s + n = 0. Suppose -t*y - 21765 = -8*y. Is y a prime number?
False
Suppose 3*i - 2*r + 1130 = 209, 2*i = r - 614. Let k = i - 865. Is (1 + k)/(-11 + 10) composite?
False
Let z(v) = 12615*v - 22. Is z(3) a prime number?
False
Suppose -3*m + 3*b + 25 = -14, 4*b = -12. Suppose 13342 = m*f - 14428. Is f composite?
False
Suppose 2*r - 26896 = 3*b, 7*r = b + 129771 - 35692. Is r a prime number?
False
Let i(w) = 17*w + 3. Suppose 18 = 2*k - 5*q, 5*k + 2*q - 4*q - 24 = 0. Let j(u) = -u**3 + 4*u**2 + 2*u - 1. Let c be j(k). Is i(c) prime?
False
Let a(l) = -l**3 - 14*l**2 + 17*l + 31. Suppose 0 = u, -3*j + 6*j - u + 45 = 0. Let b be a(j). Is 45/(-15) - (-636)/b a composite number?
True
Let y(d) = -d + 16. Let g be y(8). Suppose 0 = -g*x + 16*x - 7728. Let t = -553 + x. Is t prime?
False
Let z(p) = -15451*p**3 + p**2 + p + 2. Let d be z(-1). Suppose 5*g - 74985 = 5*t, -d = -2*g - 2*t + 14533. Is g prime?
False
Is (-1 - -4)*146884*(-8)/(-96) a prime number?
True
Let u(i) = -90*i + 4. Suppose -2*s - 12 = s. Let l be u(s). Let k = l - 186. Is k prime?
False
Suppose 5*w + 4*f = -5814, 3486 = -w - 2*w - 3*f. Let q = 1873 + w. Is q composite?
True
Let p(n) = -8*n**3. Let u be p(-1). Suppose -d = -4*l - 251, 3*d - 6*l + u*l = 739. Let a = 660 + d. Is a prime?
True
Let k(h) = 7*h - 8. Let c be k(7). Suppose d + 61 = -5*p, -5*d + 4*d = -5*p + c. Let b = d + 730. Is b a composite number?
True
Suppose 187400 = 19*l - 131553. Is l a composite number?
False
Suppose -152 - 712 = -8*i. Suppose -4*k = -2*s + 262, k + 41 = -2*s - 22. Let p = i + k. Is p a prime number?
True
Let p = 2269 - 2205. Let l be 12/(-1) + -1*1. Let n = p - l. Is n a composite number?
True
Let w = 462 + -352. Suppose 5*x - 410 = 1605. Let p = x - w. Is p prime?
True
Let v(r) = -6*r - 47. Let o be v(-6). Let b(w) = 2*w**2 + 9*w - 24. Is b(o) prime?
False
Let w(q) = 887*q - 23. Let k be w(4). Suppose 5*o + b = 7*o - k, 5*b + 5 = 0. Suppose -o = -2*i + 4*h, 4*i = -h - 0*h + 3560. Is i composite?
True
Suppose -r - 16 = l, 5*l + 62 + 24 = -2*r. Is (-457026)/(-36) - (-3 - 57/l) composite?
True
Let k = 119 + -109. Suppose 8757 = k*r - r. Is r a composite number?
True
Is (3 - -125420)/((13/2 - -5) + -11) prime?
False
Let b be (336/(-98))/(2/(-7)). Suppose 162961 = b*t - 37787. Is t a composite number?
False
Is 437/95*10805 + 0 a composite number?
True
Let m(f) = -11*f**3 - 10*f**2 + 243*f - 41. Is m(-17) composite?
True
Let a(i) be the second derivative of 7*i**4/12 + i**3/6 - 5*i**2/2 + 2*i. Let x be 1/8 - 1419/344. Is a(x) a prime number?
True
Suppose -152 = -48*o + 40. Suppose -o*w - 4*x = -x - 55451, 2*x - 13869 = -w. Is w composite?
False
Let l(d) = -17*d - 37. Let q be l(-3). Suppose 0 = -17*s + q*s + 1227. Is s a prime number?
True
Suppose 21*t - 297260 = t. Suppose -t = -g + 1320. Is g prime?
True
Let a(z) = -15*z**3 + 4*z**2 + 10*z + 41. Let t be 6/(-4)*112/12. Is a(t) a composite number?
True
Let k be 4*5/10 - 0. Let q(p) = -259*p. Let d be q(k). Let m = d + 1075. Is m a composite number?
False
Let i = 448 - 432. Suppose -489 + 29305 = i*o. Is o composite?
False
Let g be (-8)/(-3) + -2 - (-16)/12. Suppose 4*l - 3*h = -16, -g*h + 24 = -4*l + 3*h. Is 9 + -10 - 3120/l a composite number?
False
Let d = 4918 + -2151. Is d a prime number?
True
Let s = 67 - -5980. Is s a prime number?
True
Suppose 7*z = -25*z - 256. Let s(a) be the second derivative of a**4/