t - 131745, -131785 = -5*c - 3*t. Is c composite?
True
Let b(n) = 9*n**2 - 22*n + 22. Let o(u) = -19*u**2 + 45*u - 43. Let i(t) = -9*b(t) - 4*o(t). Let x be i(12). Let m = x - -777. Is m a prime number?
False
Let j(t) be the first derivative of -t**3/3 - 7*t**2/2 - 5*t + 1. Let c be j(-5). Suppose -l + 2*l - 540 = -c*q, -5*l + 5*q + 2850 = 0. Is l a composite number?
True
Let w be (-2)/(85/745586*(-8)/10). Suppose -2*k + 2*i + 7168 = 0, w - 3991 = 5*k + i. Is k a composite number?
True
Is (-144450)/125*-205 - -7*1 a prime number?
False
Suppose 0 = -169*w + 51*w + 487926 + 949196. Is w a composite number?
True
Suppose 132 = -13*p - 9*p. Is p/(-36) - 52868/(-24) composite?
False
Let s = -17048 + 24865. Is s composite?
False
Let r(z) = z**3 - z**2 - 5*z. Let f be r(-3). Let b be 1*(-2 + -1)*56/f. Is (-2)/b - 4575/(-12) prime?
False
Let h = 4060 - 2195. Suppose -4*j + 9*j = h. Is j a composite number?
False
Let c be 3/12 - 28/(-16). Suppose -16 = -4*i - 0*i - c*z, -27 = -5*i + z. Suppose 2*g = -0*l - i*l + 4023, l - 10092 = -5*g. Is g prime?
False
Suppose 0 = -3*k - 0 + 6. Suppose -k*i = -27*i + 9925. Is i prime?
True
Let f(g) = 3335*g**2 - 115*g + 429. Is f(4) a composite number?
True
Let k(j) = 538*j**2 - 36*j - 31. Is k(45) prime?
True
Let f(v) = -8*v - 69. Let o be f(-11). Let w(y) = 100*y + 31. Is w(o) a prime number?
True
Suppose 213 = 5*y + 4*g - g, -8 = 2*g. Is 32 + y - (4/(-2))/1 composite?
False
Let c = -188 + 193. Suppose -r + w = -1086, -3*w = r - c*w - 1085. Is r a composite number?
False
Let t be (404/9)/4 + (-6)/27. Suppose -912 = t*s - 3*s. Let h = s + 601. Is h a prime number?
True
Let k = 46505 - 24258. Is k prime?
True
Let o(q) = -26*q**2 - 24*q - 13. Let g be o(7). Let c = 386 - g. Is c a composite number?
True
Suppose 89 = 5*h - 0*q - 3*q, -q - 36 = -2*h. Suppose -h*r + 14*r = -375. Is 169340/r - (-8)/60 a composite number?
True
Let i(p) = -1317*p + 1466. Is i(-29) a composite number?
False
Let z(i) be the first derivative of i**4 - 8*i**3/3 - 31*i**2/2 + 12*i + 77. Is z(10) prime?
False
Let q(x) = 28*x**3 + 4*x**2 + 6*x - 6. Let k(w) = 29*w**3 + 3*w**2 + 5*w - 5. Let a(g) = -5*k(g) + 4*q(g). Let r be -6 + (4 - 2 - 1*-2). Is a(r) composite?
False
Let l = 63 - 53. Suppose l*d - 5*d + 4*s - 47211 = 0, -47191 = -5*d + s. Is d composite?
False
Let k be 3192/(-39) + -4*4/104. Let u = 140 + k. Is u a composite number?
True
Suppose -5284095 = -263*n + 17404126. Is n composite?
True
Let c = 3684 - -130559. Is c composite?
False
Let b(a) be the second derivative of 6*a - 1/10*a**5 + 0*a**4 - a**3 + 0 - 3/2*a**2. Is b(-4) a composite number?
False
Let z = -536062 + 965273. Is z a composite number?
False
Is 97902354/3978 + 4/78 composite?
False
Let h(o) be the first derivative of 25*o**3/3 - 5*o**2 + 7*o + 23. Let b be h(6). Let m = 72 + b. Is m a composite number?
False
Let h(s) = -3*s**3 - 14*s**2 - 8*s - 11. Let z be h(-10). Let f = 15102 + z. Is f a prime number?
False
Let m be 5/2*(4 - (-72)/(-30)). Is 9 - 13 - (m/2 + -463) a prime number?
True
Let n be (-12)/(-1)*(7/2)/7. Let d be -2 + (-2 - -4) - n/(-2). Suppose 2*m - 1094 = -2*h - d*m, -m + 4 = 0. Is h composite?
True
Let t(d) = 13950*d**3 - 2*d**2 - 9*d + 22. Is t(3) a composite number?
False
Let b(v) = 61*v**2 - 5*v - 21. Let d be b(-6). Let c = d + -1527. Suppose 0 = -t - 5*u + c, u = -3*t + 2*t + 674. Is t a prime number?
True
Let b be (0 - 0)/(2 - 4). Suppose b = -5*v + 4373 + 222. Is v a prime number?
True
Let y(s) = 36*s**2 - 2 - 46 + 23 - 6*s. Is y(13) a prime number?
True
Let f(x) = -3*x - 20. Let w be f(-9). Suppose -w*k = -3*q - 2*k + 18985, -q = -5*k - 6325. Is q/24 - (-3)/(-4) prime?
True
Let f = 19 - 22. Let v(x) = x - 4. Let a be v(f). Let j(t) = -t**3 - 3*t**2 - 2*t + 13. Is j(a) a prime number?
True
Let z(u) = 2*u + 58 - 123 + 225*u**2 + 61. Suppose -4*a = -0*a - 4. Is z(a) a prime number?
True
Suppose 4*s = -3*b + 14159, 4*b - 2*s - 29807 = -10921. Is b composite?
False
Suppose 3*f = -21, 205058 + 280946 = d - 5*f. Is d prime?
False
Suppose -965936 - 8084698 = -18*u. Is u prime?
False
Suppose 5*y - 21 = 2*b, -y + 6*b - 3*b + 12 = 0. Let z(q) = -q**3 + 3*q**2 - 2*q + 6. Let v be z(y). Suppose f - 3155 - 2280 = v. Is f a prime number?
False
Is (3155354 - 27)/((-14)/(-2)) composite?
False
Let h(x) = 313*x + 33. Let l be h(-8). Is (0 - l) + ((-20)/10 - -5) prime?
False
Let a be ((4665/(-6))/5)/(3/(-66)). Let b = -1858 + a. Is b composite?
True
Suppose 373*y - 386152617 + 61293397 = 441088447. Is y composite?
True
Let c = -2 - -5. Is c/(-2)*(-28060)/30 composite?
True
Suppose -d + 5*d - 18 = -2*x, -x + 10 = 3*d. Is (-5938)/(-8)*(x + (1 - 0)) a prime number?
False
Let t(s) = -s**3 + s**2 + 3*s - 11. Let c = 21 - 31. Let b be t(c). Suppose 0 = 4*d - 4529 - b. Is d composite?
True
Let q = 57343 + 136446. Is q a composite number?
False
Suppose -2*v + 4 = 0, 5*l - 6441056 = 4*v + 4388751. Is l prime?
True
Let m(p) = -3922*p + 6217. Is m(-127) a composite number?
False
Let j be 0 + 8021 - 4 - -2. Let p = -4468 + j. Is p prime?
False
Let z(i) = -739*i + 4174. Is z(0) composite?
True
Let k = 261188 - 124309. Is k a prime number?
True
Suppose 5*s + 5*g + 10 = 0, 0 = -4*s - 38*g + 35*g - 4. Let z be 2/(-9) - (-94)/18. Suppose 0 = 3*w - 3*d - 3657, -s*w + 1891 = z*d - 533. Is w a prime number?
True
Suppose -5*n + 490 = -6*n. Suppose -4*c = 4*f + 1088, 1364 = -7*c + 2*c - f. Let h = c - n. Is h a prime number?
False
Suppose 88*c - 96*c + 154024 = 0. Let g = c + -7916. Is g composite?
True
Suppose -8*j - 27 = -11*j. Let s be (-27)/j*(-16)/6. Is 222/s*32/24 prime?
True
Is 23/(-46)*(-494991 - -1) a composite number?
True
Suppose -5*y + 10*y - 5*c - 14540 = 0, -10 = 5*c. Let h = y + 135. Is h composite?
False
Let b(f) = -f**2 + 31*f + 31. Let l(u) = u**3 - 5*u**2 - 12*u - 16. Let z be l(7). Let g be -60*(z + (-25)/(-15)). Is b(g) a composite number?
False
Suppose 6*o - 16*o + 1930 = 0. Let n = -84 + o. Suppose -g + 142 = -n. Is g a composite number?
False
Suppose -452734 = -2*o + 5*g, 9*g - 25*g = 64. Is o composite?
False
Let t = 57557 + 16214. Is t a prime number?
True
Suppose -l + 4*y + 137 = 0, -2*y + 35 - 291 = -2*l. Suppose -5*r = k + 8 + 6, -3*k - 42 = 4*r. Is (l*k - 4)/(-2) composite?
False
Let j(s) = 146067*s - 4637. Is j(4) a composite number?
True
Suppose -2*w - 13*o = -11*o + 18128, 3*w - 4*o + 27213 = 0. Let f = -2508 - w. Suppose 0 = -4*y + f + 20973. Is y a composite number?
False
Let x be 6132/24*(59 + -1) - 3. Suppose x + 13502 = 2*u. Suppose -8*b - u = -36151. Is b prime?
True
Let w(o) be the first derivative of 187*o**2/2 - 3*o + 100. Suppose 4 - 12 = -4*x. Is w(x) a prime number?
False
Let h(r) = -85*r**2 - 8*r - 4. Suppose 7*q + 4 = 8*q. Let z be h(q). Let m = -615 - z. Is m prime?
False
Suppose 721*l - 128883008 = 813375413 - 108699506. Is l prime?
False
Let n(g) = 9*g**2 + 6*g + 57. Let z be n(20). Let u = z + -1514. Is u prime?
False
Let q = 32354 + -22714. Suppose -3*a - 5*o - 3773 + q = 0, -7816 = -4*a - 5*o. Suppose -v + 4276 = -3*h, -v + a = 5*h - 2303. Is v a composite number?
True
Is ((-40757)/2)/((-154)/308) a prime number?
False
Is (301/129)/(7/18) - 694966/(-2) a composite number?
False
Suppose -99 = 136*d - 139*d. Let b(w) = 4*w**2 - 23*w - 110. Is b(d) composite?
True
Let n(h) = 221*h**2 + 7*h + 23. Is n(13) composite?
False
Suppose -2*v + 3*x = -11, -3*v + 4*x + 15 + 1 = 0. Suppose 0 = 9*k + v*k - 60827. Is k prime?
True
Suppose 82*w + 25*w = -69*w + 46677664. Is w prime?
False
Let h be (1 - 1) + 3 + -207. Let l(a) = -60*a - 38. Let u be l(-9). Let p = u + h. Is p a composite number?
True
Suppose -3*f = 4*q - 6*q - 9372, 0 = 3*f - q - 9369. Suppose -4*c - 3*v + f = -884, -3003 = -3*c - 3*v. Is c prime?
False
Suppose 2*v - 106 = -5*j, 4*v = 139*j - 141*j + 244. Let o(m) = 60*m - 4. Let h be o(6). Let f = h - v. Is f prime?
True
Let s = 204 + -201. Suppose 5*d + 2*b - 23624 = 12605, 9 = -s*b. Is d composite?
False
Let q = -103 + 121. Is (-273911)/(-99) + 4/q a prime number?
True
Let p be ((-342)/36)/(1/(-6)). Let w = 144 - p. Let f = 3094 + w. Is f prime?
True
Let p be 2 + 26 - (-4 + (-6 - -13)). Suppose p*z - 5926 = 25549. Is z a composite number?
False
Is (-1 + (-20)/4)/((-3)/(3498765/10)) a prime number?
False
Let r(j) = 38489*j**2 + 123*j -