 composite number?
False
Let g(d) = -d**3 + 117*d**2 - 103*d - 704. Is g(109) a prime number?
True
Let q(p) = 20*p**2 - 319*p - 133. Is q(30) a composite number?
False
Suppose 17*f = -282698 + 1443135. Is f prime?
True
Suppose 3*d - 4*h - 86 = 0, -3*d + 3*h + 87 = -0*h. Let g = 1489 - d. Suppose 5*v + 3*n - g = 0, n + 881 = -0*v + 3*v. Is v a prime number?
True
Let p(v) = v**3 - 10*v**2 - 10*v - 9. Let t be p(11). Let q(s) = 25*s**2 + 15*s - 1. Let o be q(8). Suppose t*n - 1751 = o. Is n prime?
False
Let h(b) = -6*b**3 - b**2 - 2. Let d be h(-2). Let i = -39 + d. Suppose y - 238 = 3*z + 481, -2*y - i*z + 1474 = 0. Is y composite?
True
Let r = -10741 + 22666. Suppose -2*v + 7*c = 12*c - 7956, -3*v = 3*c - r. Suppose 9*a + 1102 = v. Is a a composite number?
True
Let u(a) = 14*a**2 - 11*a - 21. Let z(v) = -8 + 6 + 12 - 7*v**2 + 6*v. Let t(c) = 3*u(c) + 5*z(c). Is t(12) composite?
True
Is (144874/6 - (-1)/3) + 65 + -60 composite?
False
Suppose -33*b - 30562 = -31*b - 3*x, x - 45850 = 3*b. Let f = -5839 - b. Is f prime?
False
Let x = -37 - -35. Let o = x - -6. Suppose 0 = -o*j + 8*j - 1628. Is j composite?
True
Let k(n) = n**3 - 3*n + 18. Suppose d = 8*d. Let y be k(d). Suppose 2*c - y = 4. Is c a composite number?
False
Let y(i) be the first derivative of 6*i**4 - 2*i**3 - 3*i**2 + 23*i - 110. Is y(6) a prime number?
False
Suppose 0 = -24*a + 23*a - 118. Let t = a - -120. Is 2612 - (-4)/(-2)*3/t a composite number?
False
Let m = -84219 - -176776. Is m a prime number?
True
Let m = 153 + -158. Let s(b) = 282*b**2 + 6*b + 23. Is s(m) prime?
True
Suppose -7*f = -5 - 9. Let i be 0 - f - (-4)/2. Suppose i = -0*o + 5*o - 1775. Is o composite?
True
Let z(a) = 2014*a - 1743. Is z(34) composite?
False
Let g(l) = -209*l + 3285. Is g(-8) prime?
True
Let r(s) = -s**3 - 6*s**2 + 8*s + 40. Let o be r(-7). Suppose 0 = 3*j + y - 25843, 30*j - 4*y + 25837 = o*j. Is j prime?
False
Let t(h) be the second derivative of h**4/12 + 4*h**3/3 - 21*h**2/2 + 26*h. Let d be (-14)/(-21) + 112/(-6). Is t(d) a composite number?
True
Let j = -726 - -828. Suppose 0 = -j*y + 91*y + 7909. Is y prime?
True
Let d be (43 - 7)*1088/24. Let r = -2338 - -1235. Let v = r + d. Is v composite?
True
Let g(y) = y**3 - 37*y**2 - 240*y - 35. Is g(73) composite?
False
Let v(r) = 4*r**3 - r**2 + r - 1. Let j be v(1). Suppose -l = g - 2969, -984 = -g + j*l + 1965. Suppose 3*z - g = -330. Is z composite?
True
Let h(l) = -161 - 33*l - 112*l + 51 - 42*l. Is h(-3) prime?
False
Suppose -4*y = -13625 + 1297. Suppose 3281 = l + 2*u, 5*u = 4*l + y - 16245. Is l prime?
False
Let t = -124172 + 224529. Is t composite?
False
Let r be -2 - (-4 + 4535/(-5)). Suppose 7*h - r = 960. Suppose -h = -25*n + 22*n. Is n a composite number?
False
Suppose -5*m + 4*v + 773 = 0, -3*m + 5*v + 293 = -176. Let r be 1 + -3 + 1 + m/1. Let a = 417 - r. Is a prime?
False
Suppose -m = 85*m - 10199185 - 3314683. Is m a composite number?
True
Let w(i) = -3*i**2 + 29*i + 12. Let y be w(10). Suppose -7*f + y*t = -2*f - 2701, t - 1084 = -2*f. Is f a composite number?
False
Let c(f) = 28610*f - 589. Is c(43) a prime number?
False
Let a(h) = -652*h - 21. Let t = -61 + 54. Let p be a(t). Suppose m - p = -4*f, m + f = -f + 4545. Is m a composite number?
False
Let j(y) = 3*y**2 - 18*y - 36. Let m be j(16). Suppose m = -4*g - 292. Let o = -35 - g. Is o a prime number?
True
Let b be (-136)/2*39/(-52). Is (310148/b)/(4/3) a composite number?
False
Suppose -107*y = -109*y + 106118. Is y prime?
False
Suppose -443107 = -62*d + 57*d + 65028. Is d a composite number?
False
Let l be (20/(-16))/((-2)/8). Suppose l*m + 2*g = -236, 0 = 5*m - 10*m + g - 242. Is (-4644)/m + (-1)/8*-2 composite?
False
Let o = 93311 + 568052. Is o prime?
False
Let k be 545740/20 - 5*1. Suppose 0 = 31*v - 37*v + k. Is v composite?
False
Let d = 58 - 59. Let l be (3 - d)/(-4) - (-4 + 0). Suppose 5*h - 1560 = -4*m - 9, 295 = h - l*m. Is h composite?
False
Let o = -644372 + 969553. Is o a composite number?
False
Let a be 6/(0 + 3/(-3)). Let n = 108 + -98. Is 974/a*(n + -13) composite?
False
Let a = -89 + 125. Suppose 4*l + 5*i - a = 0, -l + i - 2*i = -8. Is (-392)/(-6) + l/(-12) a prime number?
False
Suppose 316320 = 5*s + y, 3*y + 73 = 88. Is s prime?
False
Suppose 5*c + 4*x = -9, 4*c + 16 + 20 = 4*x. Let k be ((-10)/c - 4) + 7. Suppose 0 = l + l + k*d - 41, 2*l + 4*d = 42. Is l a prime number?
True
Suppose -3*x = -0*x + 8*x. Suppose x = -10*v + 24 + 16. Suppose -v*t + 3*t - 3*o = -3017, -6034 = -2*t + o. Is t prime?
False
Is 175279/5 + (-18)/45*3/(-1) a composite number?
True
Let u = 110 - 107. Suppose 4*w + u*g - 74227 = 0, 6*w - 92775 = w - 2*g. Is w composite?
False
Let n(i) = 1151*i**3 + 2*i**2 - 2. Let v(u) = 4*u - 7. Let o be v(10). Let z = o + -32. Is n(z) a composite number?
False
Is 180*(-1)/(32/(-9640)) - -2 composite?
True
Suppose o + 74682 + 60725 = 4*d, d + o - 33848 = 0. Is d composite?
False
Let r(n) = -121 + 36 - 55*n - 37*n + 20*n. Is r(-22) a composite number?
False
Let i be 60/(-25)*5/1. Is ((-10776)/(-32))/(i/(-80)) composite?
True
Let j = -1770 - -1134. Let i = 29 + -21. Is (-5 - j/i)*4 prime?
False
Let c(u) = 32*u**2 - 9*u + 408. Is c(13) a prime number?
False
Let c(b) = b**2 - 6*b + 5. Let k be c(0). Suppose r + 5*w = 2*r - 439, 4*w = k*r - 2111. Is r a prime number?
True
Let g(l) = -12*l + 45. Let q be g(4). Is ((-5)/(-15))/(q*(-3)/234603) prime?
True
Let c(m) = 733*m - 11. Let n be c(9). Suppose 9604 = 10*x - n. Is x a prime number?
True
Let h(y) = y**3 - 33*y**2 + 32*y + 3. Let p be h(32). Suppose -2*a - 2116 = -5558. Suppose -1775 = -2*x + 5*m, -970 = -p*x - 2*m + a. Is x prime?
False
Let k(w) = -5*w + 10. Let v be k(-6). Suppose -v*h + 37*h + 22521 = 0. Is h composite?
False
Suppose 2*u = -11*c + 15*c + 1039530, -u + c + 519758 = 0. Is u a composite number?
True
Is 1*2*((-7065506)/28)/(-17) a composite number?
True
Is 4240352/(-24)*(-42)/56 a composite number?
False
Let x = 99924 - 22243. Is x prime?
True
Suppose 4*i + 204125 = -2*c + 522523, 0 = 2*c + 9*i - 318373. Is c prime?
True
Let i(r) = 9*r**2 - 13*r + 77. Let d be i(-15). Suppose -4*t = -3*z + d, t - 2329 = -3*z - 3*t. Is z composite?
True
Suppose 2*v + q - 1722575 - 1062202 = 0, 2*v + 5*q = 2784773. Is v a prime number?
False
Suppose -6*k = -12 - 6. Suppose 0 = j - k, 3*b + 0*b + 5*j - 1908 = 0. Is b composite?
False
Let v = 156757 - 23508. Is v composite?
True
Suppose -n - 1 = -2*w, 6*n = 3*n + 5*w. Suppose -815*u + 805*u - 528960 = 0. Is u/(-28) + n/(-35) composite?
False
Let x = 557 - 571. Let v(d) = -10*d**3 - 21*d**2 - 37*d - 33. Is v(x) a composite number?
True
Let l(p) = -74*p + 70. Let c be l(-11). Suppose 842 = 2*a - 5*i, 3*a - 341 - c = -2*i. Is 2/8 + (-1)/((-4)/a) a composite number?
False
Is (-3)/((12/(-16472))/(-3)*(-36)/6) composite?
True
Is (-72)/(-33) + (24 - 26) + (-252503)/(-11) a composite number?
True
Suppose -23 = 3*x - 14. Let w = 19 + x. Suppose -2*v - 69 = -c, 6*v - w = 2*v. Is c composite?
True
Let x(g) = 4*g - 43. Let z be x(10). Let h(v) = 556*v**2 + 4 - 20*v**2 - 21*v + 24*v. Is h(z) prime?
False
Let x be 0 + -13 + (-99)/(-11). Let t(w) = -172*w**3 - 6. Is t(x) composite?
True
Let t = -234 - -242. Suppose -2*u - 3*s = -39848, -6*u + t*u + 4*s - 39850 = 0. Is u a prime number?
False
Let x = -61 + 51. Let n be (-40)/18 + x/(-45). Is ((-4)/(-6))/(n/(-753)*1) composite?
False
Let d = -670 + 386. Let l(h) = -69*h + 56. Let j be l(7). Let t = d - j. Is t a composite number?
True
Suppose 40 = 5*b, 2*g - 2064*b = -2068*b + 99034. Is g a prime number?
False
Is ((5 - 10) + 5 + -308974)*12/(-24) prime?
True
Suppose 5*m + u - 5720 = 0, 54 = m - 2*u - 1101. Suppose -28 = -3*p + 4*l, -3*p + 15 = -l - 1. Suppose -33 + m = p*j. Is j a composite number?
True
Let z be 3/((-9)/(-60)*4). Suppose 0 = r + 1, -z*d + 335 = 3*r - 3132. Is d prime?
False
Is -14*(-13 + 14) + 2847 a prime number?
True
Let y = -574 - -576. Suppose -2*t = 6*h - y*h - 132428, 0 = -5*t. Is h a prime number?
True
Suppose -28*m + 237222 = -221054. Is m composite?
True
Suppose 0 = -c - 4*u, -2*c - 4*u = 2*c - 12. Suppose -2*f - c*f = -10602. Suppose f = 19*j - 16*j. Is j a prime number?
False
Let m be ((-18)/36)/((-1)/(-58)). Is m*(42/(-231) + (-1162)/22) a composite number?
True
Let w = 5573 + -220. Is w pr