se
Let d = -1784 - -3715. Let p be 76/18 - 2/9. Suppose d = 5*z - p*z. Is z prime?
True
Suppose -1634*c - 5790 = -1639*c. Let l = c - -803. Is l a composite number?
True
Suppose -184*a + 2200345 = -3398223. Is a a composite number?
False
Let a(d) be the first derivative of -3*d**4 - d**2/2 + 2*d + 16. Let u be a(-2). Suppose 323 + u = 9*m. Is m a prime number?
True
Suppose 28 = -1256*s + 1270*s. Suppose b + 2*b = 3*a - 6, -3*b = 2*a + 6. Is -3628*1/s*1/b composite?
False
Suppose -2*i + 167870 = -4*h, 6*i + 167869 = 8*i - 3*h. Is i a composite number?
False
Suppose -4*a + 13 = 3*g, a - 4*g + 16 = 43. Suppose 14*i = -a*i + 423213. Is i a composite number?
True
Suppose p - 5*p = -3*x + 388, 0 = 3*p - x + 286. Let t = 86 + p. Is 482 - (-9 - -4 - t) a composite number?
False
Let o(z) = -10903*z - 5617. Is o(-60) composite?
False
Suppose 5*w = 2*o - 3639, -w = -2*o - 5*w + 3648. Let d = o - 1139. Is d prime?
True
Let z = 2 - -3. Let l = 1249 + -1244. Suppose -l*v = 2*q - 140, -z*q = 6*v - 2*v - 333. Is q a composite number?
True
Let f = -342 + 335. Let d(h) = -3*h**3 + 5*h**2 - 15*h - 18. Is d(f) prime?
True
Suppose -3*u + 1 = -2*s - 18, -2*u = -s - 11. Suppose -u*f + 2913 = -0*f. Suppose -o - o = 2*y - 374, -4*y = -5*o + f. Is o a composite number?
False
Let q be (-4)/(4/(-20)*(-5)/(-2)). Let r(p) = p**3 - 9*p**2 + 8*p + 20. Let v be r(q). Suppose v*j - 12062 + 1362 = 0. Is j composite?
True
Let i be (28/3)/(0 + (-6)/(-63)). Suppose -14*s = -i - 28. Is s/(45/20) - -1005 prime?
True
Is 2*130/195*(-795078)/(-8) prime?
False
Is (2/10)/((-9733002)/3244335 - -3) a prime number?
True
Suppose 1 = 3*f - 5. Let o be 4/3*(-351)/(-12). Let r = o - f. Is r composite?
False
Let z(b) = 771*b**2 + 4*b - 20. Let d be z(3). Suppose 0 = -2*w - g + d, -w = 3*w - 2*g - 13866. Is w/(-6)*(-4)/((-4)/(-3)) composite?
False
Is (-24)/(-40)*(-5 - 0) - (-109724 + 4) composite?
False
Suppose 349*s = 336*s + 3384433. Is s composite?
True
Suppose 11*x - 98249 = 99278. Is x prime?
True
Suppose 123*o - 266361 = 2481828. Is o prime?
True
Suppose -5*h + 1 = x, -2*x - 1 = 3*h - x. Suppose u + h = 3. Suppose -z + 3*y + 295 = 0, u = 4*y - 14. Is z a prime number?
True
Let x(g) = -693*g + 2. Let d be x(-2). Suppose -y = 0, -3*s + 230 = 3*y + d. Let u = s - -733. Is u a composite number?
False
Suppose -7603477 = -31*m - 2450874. Is m a composite number?
True
Let v(l) = 4*l**3 + l - 3. Let o be v(1). Is (-2 + o - -51) + -4 a prime number?
True
Suppose 21*q - 28*q = 0, 2*q - 29577 - 23090 = -y. Is y a prime number?
True
Let w be (5*(-4)/50)/(1/(-50)). Suppose -19*s = -w*s + 22. Is -6*7/231 + 1302/s a composite number?
False
Let s(z) = 1219*z + 40. Let r(o) = -o**3 + 9*o**2 + 24*o - 15. Let d be r(11). Is s(d) a composite number?
False
Suppose -3*r = 5*v + 57, 3*r + 37 = 2*v - 41. Let d(j) = j**3 + 31*j**2 - 2*j + 109. Is d(r) prime?
False
Let p(b) = 5*b**3 - 23*b**2 + b + 19. Let g(h) = -4*h**3 + 22*h**2 - h - 19. Let r(o) = -6*g(o) - 5*p(o). Let s be r(-17). Suppose s*v = 886 + 708. Is v prime?
True
Suppose 7696*c - 7743*c = -9159971. Is c composite?
True
Let t(f) = -f**3 - 8*f**2 + 12*f + 31. Let g be t(-9). Let o(c) = -c + 9. Let y be o(g). Suppose 2*r - x + 2*x - 6977 = 0, 3*r - 10446 = y*x. Is r composite?
True
Is 75 + -95 + (-110131)/(-1) a prime number?
False
Suppose 176505 = u + 5*v - 43808, -661019 = -3*u + 5*v. Is u a composite number?
False
Suppose 3*l - 6*l + 1347 = -4*h, -h - 5*l - 354 = 0. Let i be 6/(-5) + 2 + (-277488)/410. Let c = h - i. Is c composite?
False
Let p(q) = q**2 - 6*q + 5. Let f be p(4). Let t be 122 - 2 - (f - (2 - 5)). Suppose -c + t = -l, -414 - 170 = -5*c - 3*l. Is c prime?
False
Let b(f) be the third derivative of 377*f**5/12 - f**3/3 - 7*f**2 - 2*f. Is b(-1) a prime number?
False
Suppose 137*b = 175*b - 6253622. Is b a composite number?
False
Let t(m) = 14*m**2 - 17*m - 167. Let p = 100 - 112. Is t(p) a prime number?
True
Let s = -491 + 557. Suppose -s*f + 123110 = -56*f. Is f composite?
True
Suppose 0 = 306*k + 31314374 - 84699041 - 196801851. Is k composite?
False
Suppose -9234 = -3*d + 8799. Let l = d + 17762. Is l a prime number?
True
Suppose 2*i - 17637 = -r, -5*i - r - 3*r + 44100 = 0. Let z = i + -5215. Is z a composite number?
True
Suppose 9*p = 8*p. Let w be 8279 - (p - (-5 + 5)). Suppose w = 11*d + 6*d. Is d a composite number?
False
Is 279653 + -1 + -5*3/(-35)*-7 a composite number?
False
Suppose 0 = -4*p - 5*q + 7866 + 3798, -4*p = -q - 11640. Is (-3 - 21/(-6))*0 + p composite?
True
Let k(b) = -34*b + 676. Let l be k(20). Let f be (-2 + 2)*1*-1. Is ((-10274)/(-44))/(f + (-2)/l) prime?
True
Suppose 38*g = 37*g + 2. Suppose -g*h + 7 = 3*s + 1, 3*s = -h + 6. Suppose -m + 66 + 137 = h. Is m composite?
True
Let x(y) = -y**2 - 22*y + 53. Let q be x(-24). Suppose -3*p - 5559 = -q*l, 2*p - 2*l - 7386 = 6*p. Let i = p + 2626. Is i prime?
False
Let n be (-130312)/21 - (-45)/(-27). Let w = 33154 - n. Is w a prime number?
False
Suppose -x = -3143 - 2962. Suppose -6*a + x = 3*i - 9*a, 5*i - 10187 = 2*a. Is i a prime number?
True
Let z(i) = 576*i**2 + 59*i + 167. Is z(-14) a prime number?
True
Let y(g) = 19*g**2 + 42*g + 733. Is y(-50) a composite number?
False
Let v(f) be the third derivative of -7*f**4/6 + 4717*f**3/6 - 2*f**2 + 88. Is v(0) prime?
False
Let j(t) = -t**2 + 15*t - 17. Let i be j(13). Suppose -i*q + 29709 + 169992 = 0. Is q composite?
False
Let w(d) = d**3 + 5*d**2 - 2*d - 7. Let n be w(-5). Suppose -m - 12 = -n*m. Is -4 + -3 + m - -128 composite?
False
Let u be (30/(-39))/5 + (-54)/(-13). Suppose 40 = -0*f + u*f. Suppose 4348 = f*i - 6*i. Is i a prime number?
True
Let u be 2/(-6)*-635 - (-16)/48. Let a = -177 + u. Is a prime?
False
Suppose 18*s - 54*s + 308268 = 0. Is s a composite number?
False
Suppose -3*s - 1243713 = -5*y, 72*y - 71*y - 248769 = 5*s. Is y a prime number?
False
Let s(w) = -3427*w + 7600. Is s(-27) a prime number?
True
Let o(j) = -58782*j**3 - j**2 + 26*j + 28. Is o(-1) composite?
True
Let t(i) = -i + 18. Let b be t(10). Is (-148578)/(-90) + b/60 composite?
True
Let k = 7150 + -4121. Let r = k - -830. Is r prime?
False
Let j(f) = 12*f**3 + 6*f**2 - 17*f + 129. Is j(8) a composite number?
False
Suppose -6*l = -8*l. Let z be 2/1 + l/(-11). Suppose z*q - 694 = 284. Is q composite?
True
Suppose -l - 3*j = -j + 14, -6 = -l + 2*j. Let v(k) = 103*k**2 - 6*k + 9. Is v(l) a prime number?
False
Suppose 46*u + 205 = 251. Let b(v) be the third derivative of 61*v**4/12 + 5*v**3/6 + v**2. Is b(u) a composite number?
False
Let f(o) = -4*o**2 + 15*o + 26. Let u(x) = -x**2 + 2*x + 1. Let c(j) = -f(j) + 3*u(j). Is c(-10) prime?
True
Let h = 192 - 189. Suppose 3*y = 15, -4*n = -h*y + 8*y - 1013. Is n a prime number?
False
Suppose -p + 32 = -9*p. Let v be p/(-6) + 1*(-4)/6. Suppose v = -w - 1, 3*y = 5*w + 13 + 283. Is y a composite number?
False
Let u = 42953 - 5494. Is u a prime number?
False
Suppose 173*r - 4471105 + 861096 = 805470. Is r prime?
True
Suppose 2*k - 8 = 0, -5*r = -5*k - 428534 + 81699. Is r prime?
True
Suppose -2*t + 2*i + 15218 = 0, 3*t + 3*i = 7*i + 22831. Suppose 26*h + t - 43043 = 0. Is h composite?
True
Suppose 12*p + 50374 = 436066. Is p a prime number?
True
Let o(z) = -10*z**3 - 4*z**2 + 6*z - 8. Let g be o(-6). Suppose -7*s + g = -289. Is s a prime number?
False
Let h = -56545 - -82386. Is h composite?
False
Suppose 2*p = p + 2*d + 6897, -13808 = -2*p - 3*d. Is p prime?
False
Suppose 318*l = 2*s + 323*l - 993737, -5*l - 1987489 = -4*s. Is s composite?
False
Let p = 48 + -42. Suppose -4*l + p*l = -3*h + 12, 4*h - 16 = -2*l. Suppose l = -4*u - 2*n + 3660, -n - 2*n = 3*u - 2739. Is u prime?
False
Suppose 26 + 25 = b. Suppose 48*g - b*g = -582. Is g a prime number?
False
Let h(f) = 2*f - 37. Let k be h(20). Let a be 1/(((-40)/15)/(-8)). Suppose -396 - 1246 = -4*g - 3*c, -a*g = k*c - 1233. Is g prime?
True
Let r be 9/21 + (-22)/(-14). Suppose 96802 = 4*a + r*l, 2*l + 48410 = 2*a + 6*l. Is a a composite number?
True
Suppose -3*j = -28249 - 1418. Suppose -9*z = -740 - j. Is z composite?
False
Suppose 817 + 1545 = -2*h. Is (8/(-12)*3)/(2/h) composite?
False
Let m(r) = 30*r**2 + 16*r**2 + 4*r**3 - 4*r**3 + r**3 + 3*r + 140 - 11*r. Is m(-43) a composite number?
True
Suppose -365955 = -8*n - 36715 - 15792. Is n composite?
