+ f = -s. Is g composite?
True
Suppose 0 = -3*s + 2 + 1, -2*c + 186041 = 3*s. Is c composite?
True
Let h(g) be the third derivative of g**4/12 + 3*g**3 + 15*g**2. Let u be h(-9). Suppose -3*s + 6 = u, -3*b + 2*s + 10528 = b. Is b prime?
True
Let p be 23420/1 + 0/2 + 0. Let x = 49251 - p. Is x composite?
True
Let t = 10852 - -9001. Is t a prime number?
True
Suppose 184*a + 3035626 = 109*a + 97*a. Is a prime?
True
Let o(w) = -w**2 - 5 + 4*w**2 - 5*w**2 + 18*w - 7. Let d be o(8). Suppose 0 = 5*z - z - 12, -1003 = -d*j - 5*z. Is j a composite number?
True
Let z be 69880/5*4/8. Let d = -3783 + z. Is d a composite number?
True
Suppose 21 = -5*l + 61. Suppose 7*u + 3747 = l*u. Suppose 29*z = 32*z - u. Is z a prime number?
True
Let k(n) be the second derivative of 80*n**3/3 - 163*n**2/2 - 33*n. Is k(6) prime?
True
Let n be 9*1*(6/(-9) - -1). Suppose 0 = n*l - 3*k - 744, -3*l + 2*k + 929 = 180. Is l a composite number?
True
Is (-1 + (-1203099)/18)*(-690)/115 prime?
True
Suppose 0 = -q - 1, -2*q = 18*k - 22*k + 24226. Suppose 2*a - 5298 = k. Is a a composite number?
True
Let v(w) = 3685*w - 26. Let f be 36/(-30) + (-11)/(-5). Is v(f) prime?
True
Let v(m) be the first derivative of 2*m**3/3 + 5*m**2/2 + 2*m - 42. Is v(-15) a composite number?
True
Let z(p) = -3 - 8 - 1 - 417*p**3 + 416*p**3 - 7*p + 9*p**2. Let x be (-6 + -1)*1*-1. Is z(x) a composite number?
False
Suppose 10 = -2*j + 12*j. Let c be 6/j + (-12)/(-4) + -6. Let v(x) = 135*x + 4. Is v(c) composite?
False
Let o(r) = 1 + 4*r + 3 + 359*r**2 + 565*r**2 - 342*r**2. Let p be o(-3). Suppose -p = -9*k + 2591. Is k a composite number?
True
Let b = 24833 + 12948. Is b a composite number?
False
Is ((-98)/91 - 6/(-78))*-231799 a prime number?
True
Let u = 339 + -332. Suppose 5149 = u*m - 2334. Is m composite?
False
Suppose -3*f + s + 140971 = 0, -s - 234957 = 161*f - 166*f. Is f prime?
True
Let a = -38 + 63. Suppose -5*f + a = 5*l, -f + 18 = 3*f + 3*l. Suppose -1752 - 1167 = -f*x. Is x prime?
False
Suppose 0 = 145*p - 150*p + 20, 4*c - 1184484 = p. Is c a composite number?
True
Let u = 22 - 18. Let s be (u/(-12))/((-3)/4689). Suppose s + 114 = f. Is f composite?
True
Suppose -109*h - z = -113*h + 523318, -2*z = -h + 130833. Is h composite?
False
Suppose 2*t + 4*s - 321371 = 133475, -2*s + 1137147 = 5*t. Is t prime?
True
Is (-102)/(-156) + (-7)/14 + 5962030/26 a composite number?
False
Let s = -251 - -441. Suppose -194*p + 16484 = -s*p. Is p a composite number?
True
Let q(m) = 135*m**2 - 13*m - 4. Let o be q(21). Let i = o + -37291. Is i composite?
True
Let w = 149 - 133. Suppose -4*b - w = 0, 6*j + 5663 = 9*j + b. Is j prime?
True
Let q = 9 - 23. Suppose 0 = 26*u - 797 + 719. Is q/42 + 17248/u a composite number?
False
Let w = 5998 + 2885. Suppose 0 = f, -3*f - w = 2*c - 25985. Is c prime?
False
Suppose -1743949 - 743230 = -17*o - 415678. Is o a composite number?
False
Let z be (2 + 72/(-32))/(1/4). Is (32/(-96))/((-9068)/9066 - z) a composite number?
False
Let t(l) = 6*l - 88 + 18 + 21*l**2 + 13 + 34. Is t(4) prime?
True
Let s(f) = 1453*f + 394. Let l(y) = 2*y**3 + 37*y**2 - 59*y + 35. Let m be l(-20). Is s(m) a prime number?
True
Let g(n) = 7*n + 237. Let w be ((-14)/4)/(0 - (-8)/32). Is g(w) prime?
True
Let f(q) = 7*q**2 + 26*q - 20. Let o(c) = c**2 - 22*c - 75. Let n be o(25). Suppose n*x - 2*x - 4*b = 66, 5*b - 21 = 2*x. Is f(x) a composite number?
True
Suppose -15 = -2*a + 15. Let u be 0/((a - 16)/(-1*1)). Suppose -3*v + 0*v + 603 = -5*c, 5*v - 4*c - 1005 = u. Is v a composite number?
True
Let p(s) = 8197*s**2 + 4*s - 7. Is p(-4) a prime number?
True
Let n be 722/(-3)*(-3)/1. Suppose 553 + n = 5*l. Suppose -2*p + 583 = -l. Is p prime?
True
Let b be ((-26270)/(-259))/(2/14). Suppose 2*k + 4*u - 1827 = 7*k, -k = 5*u + 348. Let l = b + k. Is l a composite number?
False
Suppose -2*u - 2*d + 0*d + 8122 = 0, 12213 = 3*u - 3*d. Let l = u + -29. Is l a prime number?
False
Suppose 0 = -22*k + 17*k - 4*t + 931905, -10*k - 4*t = -1863790. Is k a prime number?
True
Suppose 12*x = 8*x - 2*i + 387472, 0 = -3*i - 6. Is x a prime number?
False
Let r = 1771764 - 1173778. Is r composite?
True
Let f = -44 + 46. Suppose -3*i + 5*i = -4*z + 12, 3*z + f*i - 10 = 0. Suppose 0 = -3*n - v + z*v + 170, 0 = n - 4*v - 42. Is n a composite number?
True
Let i(t) = t**2 + 5*t + 2. Let c be i(-5). Suppose 29921 = 3*p + 2*r + c*r, 5*r = 25. Is p a composite number?
False
Let f be 144/32*((-416)/(-12) - 0). Is 8/f*-3 - (-1189837)/247 a prime number?
True
Let u(t) = -2*t**3 + 8*t**2 + 2219*t + 26 - 2183*t + 9*t**2. Is u(-15) a prime number?
True
Suppose -3*z - 5*y = -5560, -z + 2*z = -y + 1852. Let v = -1103 + z. Suppose -v = -4*g + q, 5*q + 58 = 2*g - 311. Is g prime?
False
Let k(n) = n**3 + 9*n**2 + 10*n + 18. Let m be k(-8). Let a be 78/m*442/39. Suppose c - a = -c. Is c a composite number?
True
Let l = -1947 + 2775. Suppose l - 16103 = -25*b. Is b a prime number?
False
Is (37/(1776/3204))/(15/65420) prime?
False
Is 1059238/(9/(-189)*-287 - 13) composite?
True
Let l = -957 + 2630. Suppose 9400 = -33*t + 43*t. Let o = l - t. Is o composite?
False
Let p(d) = 4*d**2 - 19*d + 10. Let a be p(22). Suppose -k + 743 = 5*t, a = 2*k + 29*t - 33*t. Is k a composite number?
True
Let f be (-1)/(-1*5) - (-20160)/200. Suppose -f*l - 57694 = -127*l. Is l composite?
True
Let w = 1121 + -690. Let g(m) = -m**3 + 2*m**2 + 3*m + 4. Let t be g(7). Let v = t + w. Is v composite?
False
Let j(v) = -1694*v + 1313. Is j(-129) a prime number?
True
Let w(b) = b**3 - 33*b**2 - 14*b + 54. Let y be w(36). Suppose 3*l - 3*m - 8826 - y = 0, 4*l = -4*m + 16312. Is l prime?
False
Is 833920 + ((-30)/5)/(6/2 - 5) composite?
False
Let a(h) = -17*h + 59. Let i be a(3). Is (-9110)/(-4)*(68/(-10) + i) prime?
False
Is -2 + -1 + 1 + 8798*(-3015)/(-90) a prime number?
True
Let r = -6722 + 11835. Is r a prime number?
True
Suppose 0 = 2*x + 6, 4*x + 8 = -2*l - 2*l. Suppose 5*g + l = 4*c + 6, -3*g = -5*c - 3. Is (2 - g)/(7/6671) a prime number?
True
Let p be (0 - 5) + 19 + -4. Let t(x) = -x - 1. Let n(h) = -2*h**3 + 10*h**2 + 16*h + 15. Let a(o) = -n(o) - 4*t(o). Is a(p) a composite number?
True
Suppose 76406 = 3*w + 2519. Let z = w - 14948. Suppose 2*x = -5*x + z. Is x a composite number?
True
Let d = 122 - 117. Suppose 5407 = d*m - 378. Is m a composite number?
True
Let h(b) = 11*b + 2. Let z be h(4). Suppose 0 = z*c - 21836 - 198. Is c prime?
True
Let n be 5/(-2)*(-330)/(-275). Is 45508*(-2)/(-4) - n a composite number?
True
Suppose -4*b + 6*j - 2*j = -4, 0 = -4*b - 2*j + 28. Suppose b*a - 7984 = -4*y, -3*y + 5985 = -0*y + 3*a. Is y a composite number?
True
Suppose 113*k - 134*k + 4261551 = 0. Is k prime?
True
Suppose 3*y + y + 0*y = 0. Suppose y = -5*f + f + 12. Suppose -j + 269 = -p - f*p, -j - 2*p + 245 = 0. Is j composite?
True
Suppose 3*l - t = 307156, 4*l - l + 4*t - 307151 = 0. Is l a composite number?
True
Suppose -12*v - 4*b = -11*v - 18541, 4*v = 2*b + 74056. Is v a prime number?
True
Suppose 18234 = 4*i - 9*p, -i = 7*p - 5*p - 4550. Let z(b) = -3019*b. Let m be z(-1). Let a = i - m. Is a a prime number?
False
Suppose 20*u = 6*u + 56. Is (-11809)/(-14) + (-10)/u prime?
False
Is (20 - 31)/((-110)/584030) a composite number?
False
Let o(v) = 446*v - 451*v - 13 + 7*v**2 + 4*v**2 + 8*v**2. Is o(-7) composite?
False
Let h = -62816 - -162639. Is h a composite number?
False
Suppose 2*j + 33 = 3*j + h, -185 = -5*j - h. Suppose 3*n + 2*d = -0*d + 62, -2*n + 2*d = -j. Suppose 3*w + y = n + 185, 339 = 5*w + y. Is w composite?
False
Let t be 1 - -2*(-3)/6. Suppose -5*v + 6 = 2*p, t = v + 2*p + 2. Suppose -v*s = -4*m + 3*s + 3178, 2*m = 4*s + 1586. Is m composite?
False
Suppose -4*n + 5637 = -5*u, 4*n - n + 5*u - 4184 = 0. Let l = 3556 - n. Is l composite?
False
Let w(t) = -9*t**2 - 23*t - 50. Let o be w(-26). Let m = o - -10934. Is m prime?
False
Let t be (-1080)/(-110) + -10 + 18/(-22). Let d(f) be the third derivative of -89*f**4/12 + f**3/6 + 3*f**2. Is d(t) composite?
False
Suppose 3568468 = 129*m - 27038459. Is m a prime number?
False
Let i(p) = 9199*p - 4604. Is i(43) composite?
False
Let o(i) be the third derivative of -13*i**6/720 + 13*i**5/40 + i**4/12 + 15*i**2. Let z(q) be the second derivative of o(q). Is z(-26) a composite number?
True
Let f(i) = -i + 12 + 