 4851 - l. Is g composite?
False
Suppose -64239 = -7*l - 5390. Is l a composite number?
True
Let y(x) = -25*x**3 - 3*x**2 + 8*x - 51. Is y(-11) a composite number?
True
Suppose -4*u + 63732 + 120560 = 0. Is u a composite number?
False
Let u(y) = -3*y**3 - y**2. Let x be u(-1). Let w be (-6 - -4)/(x/4). Is (-2)/w*46 - 0 composite?
False
Suppose -4*m = -9 + 1. Suppose -3*d + o = -1199, 0*d + 2*o + 794 = m*d. Is d composite?
False
Let q be -2*1*5/(-10). Let f be q - (-3 + 6/3). Suppose -265 = -p - 2*b, p = f*p - 4*b - 265. Is p prime?
False
Is 9/((-27)/3471)*-1 composite?
True
Is -81714*(-9)/54 - 0 composite?
False
Let y = 2 + 2. Suppose -2*l + 5*k + 39 = -10, 0 = 3*l + 5*k - 36. Suppose y*t - 299 = l. Is t prime?
True
Let o(z) = z + 13. Let g be o(-7). Suppose -3*t + t = g. Is (-24)/16*116/t composite?
True
Let t(z) = 65*z**2 - 16*z + 4. Let c(j) = -j**3 + 16*j**2 + j - 9. Let r be c(16). Is t(r) prime?
False
Suppose 2*m + 45986 - 12661 = 5*u, 4*u - 3*m - 26653 = 0. Is u prime?
False
Let u(r) = r + 1. Let i be u(3). Suppose -3*n = -k - 6*n + 865, 0 = i*n. Is k a composite number?
True
Suppose 0 = -c - 4, -4*c + 3 = -4*x + 511. Let l = 5 + 0. Suppose -4*j + 125 = -5*s + 43, -l*j - 4*s + x = 0. Is j a composite number?
False
Let q(h) = 274*h + 63. Is q(14) prime?
False
Let c(o) = o**3 - 5*o**2 + 4*o - 3. Let i be c(5). Is ((-14)/8)/(i/(-23596)) a composite number?
True
Let v(g) = 452*g**2 + 3*g - 2. Let x = 6 + -5. Is v(x) a prime number?
False
Suppose 3*y + 290 = y. Let i be y/(-10) - (-6)/4. Is -20*178/i*-2 a composite number?
True
Is (-6)/(-30) - 171456/(-20) a composite number?
False
Suppose 4*t + 2 - 3 = 5*v, -17 = v - 5*t. Suppose 2*q - 4 + 0 = 0. Suppose -v*u = q*i - 135, 2*u = -0*i + 4*i - 278. Is i a composite number?
True
Suppose 2*g - 4785 = 5123. Is g prime?
False
Suppose 5*r = k + 13, r = -2*k - r + 34. Let o = k + -10. Suppose 3*q - 6*q + 5*t = -894, -601 = -o*q + 5*t. Is q prime?
True
Let o = 66964 - 31073. Is o a prime number?
False
Let o = 4502 + 2035. Is o a composite number?
True
Suppose 3*r - 1482 = -2*w + r, 4*w - 5*r = 3000. Is w composite?
True
Suppose 4*a = -0*a + 2*l + 12354, -15445 = -5*a + 2*l. Is a a composite number?
True
Let r(y) be the first derivative of -y**4/12 - 10*y**3/3 - 5*y**2/2 - 3*y - 6. Let w(i) be the first derivative of r(i). Is w(-14) a prime number?
True
Let z = -18 + 18. Suppose 10*p - 5*p = z. Suppose 0 = -p*l - 2*l + 5*o + 99, 5 = -o. Is l a composite number?
False
Is 46707/8*(-92)/(-69)*2 prime?
True
Let c be (-4 - (1 + -4)) + 1. Let z be c + (-1 - -3 - -1). Suppose t = -z*t + 1580. Is t composite?
True
Suppose 5*s = 2*t + 21677, 0*t + 2*t - 13019 = -3*s. Is s composite?
False
Suppose -15942 + 254 = -8*m. Is m a composite number?
True
Let z(k) = -k**3 + 5*k**2 + 4*k + 4. Let p be z(6). Let y be (p/(-3))/((-4)/(-6)). Suppose 4*j = -h + 241, -y*j - 323 - 195 = -2*h. Is h a composite number?
True
Suppose 7*r + 35 = 2*r. Let l be 28/r + 2 + 0. Is 59/3 - l/(-3) a composite number?
False
Let f be (6/(-4))/((-15)/(-40)). Let a be f/(-12) - (-26)/(-6). Is ((-94)/a)/((-1)/(-10)) prime?
False
Let o(d) = 259*d**2 + 8*d - 15. Is o(2) prime?
False
Suppose -3*i + 98174 = 4*f, 3*i - 44970 = -2*f + 53206. Is i a composite number?
True
Suppose 13081 + 28291 = 2*p + 4*f, 103430 = 5*p + 3*f. Is p a composite number?
True
Suppose -3*b + 9 = -15. Is 2/6*((-5002)/(-2) - b) a composite number?
True
Let y(z) = z**2 + 10*z - 6. Let g be y(-11). Suppose -s + 2*f + 27 = -53, -g*s - 4*f + 456 = 0. Is s + -3 + 0 + -3 a composite number?
True
Let u = 1852 - -1801. Is u a prime number?
False
Suppose -2*l = 4*j - 51562, -110*l = 2*j - 108*l - 25776. Is j a prime number?
True
Suppose -5*m = -4*p - 228, m - 37 = 4*p - 1. Let x = 285 - m. Is x a composite number?
True
Is ((-153198)/12 - -5)*(-8 + 6) composite?
False
Suppose -12*g - 4*g = -289232. Is g a composite number?
False
Suppose 27*a - 16*a = 180697. Is a a prime number?
True
Suppose 5*r = -9268 - 7197. Let g = -1492 - r. Is g a composite number?
False
Is (-1013)/(-5) - (0 + (-14)/35) a composite number?
True
Suppose -g = g - 4. Let s be -17 + 0 + (-6)/g. Is 344/6 - s/30 a prime number?
False
Let v(j) = -49*j**2 - 8*j - 25. Let w be v(-5). Let p = w - -2457. Is p a prime number?
False
Is (-5 - (2*-9)/3)*373 a composite number?
False
Let q(d) = -61034*d - 33. Is q(-1) composite?
False
Suppose 5*h = -n + 21, 2*h + 2*n = -2*h + 12. Suppose -5*o = -h*b - 6740, 4*o - 3*b = -o + 6734. Is o prime?
False
Let m be -1*4*3/(-2). Suppose -2*b + 1932 - 79 = -3*d, -5*b = d + 595. Is (m - 4)/((-6)/d) a composite number?
True
Suppose 3*h + 12 = 9*h. Suppose -4*m - 2*y + 932 = 0, 3*m - 2*y - 699 = h*y. Is m a prime number?
True
Let h(l) = 3*l**3 + 6*l - 7*l**3 + 3*l**3 + 13 + l**2 - 14*l. Is h(-9) a composite number?
True
Suppose 2*h = 0, 4*m + 653 - 4185 = 5*h. Suppose -5*p - 3*z = 2212, 2*p = -6*z + 3*z - m. Is 2 - (-3 - -5) - p composite?
False
Let l = 5 - -1. Let s(a) = -a**3 + 13*a**2 - 1. Is s(l) a composite number?
False
Let j = -579 - 88. Let k = 1116 + j. Is k prime?
True
Let r(q) = 4*q**2 + 12*q + 3. Is r(40) composite?
False
Let k(b) = -8212*b - 25. Is k(-3) a prime number?
True
Suppose 3*w + k = -44, 3*w - k + 40 = -0*k. Let v = w - -16. Suppose -5*y - 4*x = -1337, v*x + 72 + 452 = 2*y. Is y a prime number?
False
Let j = 9 - 3. Suppose -5 = -j*k + k. Is (2*k)/(10/295) a composite number?
False
Suppose 0 = -f - 4*p - 8 + 34, 5*p - 30 = -f. Is 1*(-5)/f*-6598 a prime number?
True
Suppose -w + 8309 = 4*h, -4*w + 0*w + 5*h = -33236. Is w composite?
True
Let y be (-8)/14 + (-40)/(-70). Suppose 0 = 3*x - y*x - 1743. Is x composite?
True
Suppose -4*y - y - 16 = -3*b, -10 = -5*b. Let j be (314 - (-4)/y)*1. Suppose 0 = c - j + 21. Is c prime?
False
Let c = 76 - 126. Let r = c - -160. Let u = r + -39. Is u composite?
False
Let u(o) = -114*o - 14. Let f be u(-1). Suppose -j - s = -5*s - 23, -3*s = -4*j + 66. Let n = f + j. Is n prime?
False
Suppose -5*a + 15*a - 284930 = 0. Is a a prime number?
True
Suppose 0 = 15*j - 149365 + 15520. Is j prime?
True
Suppose -q - q = -6. Suppose -4*k - q*i = -15220, 0 = -3*i + 2*i. Suppose 3*o = -5*h + 2283, 4*h + k = 5*o + h. Is o composite?
False
Let w(y) = 2*y + 5. Let a be w(-5). Let z = 92 + a. Is z a composite number?
True
Let u = 2607 - 194. Is u prime?
False
Suppose 4*l - 57 = 4*m + 3*l, 3*m - 4*l + 46 = 0. Is 88809/m*(-6)/9 composite?
False
Let q(r) = 233*r**2 - 4*r + 7. Is q(4) prime?
True
Is (-6)/(-7) + (-30143057)/(-833) composite?
False
Suppose -c + 2*c = -5*q + 37, -2*q - 38 = -4*c. Let h = c - 227. Let f = 374 + h. Is f a composite number?
True
Suppose 0 = h - 5*h. Suppose h = -0*z + 5*z. Suppose 5*o - 475 = -z*o. Is o prime?
False
Let x be (-4)/(-3)*(-3)/(-2). Suppose 0 = 5*o + 5*r - 2600, 2*r - 549 = x*o - 1577. Is o composite?
True
Is (70547/(-188))/(1/(-4)) prime?
False
Suppose 0 = 2*f - 0 + 6. Let h = 32 - f. Is h composite?
True
Let b(j) = 19*j**2 - 3*j + 2. Let i be b(3). Suppose -4*s - i = -644. Let c = s - -91. Is c a composite number?
False
Let l(w) = -w**2 - 26*w - 13. Let m be l(-25). Suppose -m*r + 1654 = -4166. Is r a composite number?
True
Let a(b) be the first derivative of 2*b**3/3 - 2*b**2 + 4*b + 6. Let w be a(2). Is (-1)/w + 12495/12 composite?
True
Suppose -4*s = -9*s + 135. Let r = 139 - 33. Let c = r + s. Is c composite?
True
Suppose 0 = r - i - 0 - 1, i - 5 = 4*r. Let w(m) = -3*m + 6. Let z be w(r). Let d(g) = g**3 - 8*g**2 - 15*g - 7. Is d(z) a prime number?
True
Suppose 5*m = 3*m + 4. Suppose 2*q - 37 = 5*x, -3*x - m*q = q + 18. Let t(y) = 18*y**2 + 6*y - 5. Is t(x) a composite number?
True
Let g be 6/14 + (-209)/(-133). Suppose -8*m = -g*m - 17634. Is m a composite number?
False
Let d = 488 + -197. Suppose -d = -6*q + 5*q. Suppose 2*t - q = t. Is t a prime number?
False
Suppose -5*q + 6*q = 4*g + 10893, 4*q - 3*g = 43624. Is q composite?
False
Let a(i) = 1223*i - 10. Is a(3) a composite number?
False
Suppose -17*y + 6*y = -55. Suppose 0 = -2*q - y*q + 1757. Is q composite?
False
Suppose b + 7*g - 4*g - 15412 = 0, -4*g - 30814 = -2*b. Is b prime?
False
Let p be (-660)/(-18) - (-1)/3. Let j = 57 - p. Suppose 4*q - j = -q, 2*q + 179 = m. Is m a prime number?
False
Let q(g) be the second derivative of -7*g**4/6 + 29*g