t r = l - -25. Is r prime?
True
Suppose 3*v + 5*v - 160 = 0. Let a be v/(-15)*27/(-12). Suppose 8*q - 2405 = a*q. Is q a composite number?
True
Let m(w) = 4*w**2 + 4*w - 7. Let s = -16 - -32. Let f = 9 - s. Is m(f) prime?
False
Let w be 12*(1 + 16/(-12)). Let m(o) = 61*o**2 - o + 5. Is m(w) prime?
False
Suppose 0*s - 3*l + 27 = -s, 0 = 5*s - l + 177. Let u = -291 + s. Let a = u - -764. Is a a composite number?
True
Let t = -90 - -1499. Is t composite?
False
Suppose -t = 10*t - 9845. Is t a prime number?
False
Let l(h) = 28*h**2 - 2*h - 8. Let z be l(-9). Let f = z + -1425. Is f prime?
True
Let o(y) = -95*y - 1113*y**3 + 95*y. Let n be o(-1). Let j = -570 + n. Is j composite?
True
Let r(q) = 220*q + 7 + 59*q + 22*q + 57*q. Is r(2) a prime number?
False
Let t be 132/18 - (-6)/9. Suppose -3*c + t*c = 7350. Suppose 0 = -3*i + c + 489. Is i composite?
False
Let g be (-2 + 1)/((-18)/(-26982)). Is (-6)/(-4) + 5/((-10)/g) prime?
True
Suppose -g - 3 - 5 = 0. Is (-5)/(-2)*(g - -14) a composite number?
True
Is 75/100*(-12)/9*-21929 prime?
True
Suppose 0 = n - 1, 0 = 4*x + n + n - 2406. Let p = x - 144. Is p a composite number?
False
Is (-1)/((-2)/10344) - (31 - 26) a prime number?
True
Let v = 1367 - -2176. Is v composite?
True
Let v(n) = -n - 12. Let j(w) = w + 12. Let h(t) = 3*j(t) + 2*v(t). Let k be h(-12). Suppose 2*a + 3*a - 370 = k. Is a prime?
False
Let l = 18 - 11. Suppose l*o - 9*o = -20. Suppose o = -2*j + 108. Is j composite?
True
Suppose 0 = -133*d + 136*d - 879. Is d a composite number?
False
Let r be (-738)/(-4) + (-2)/4. Let g = -290 + 617. Let l = g - r. Is l composite?
True
Let j(i) = 6*i**2 + 1. Let h(n) = -n**2 + 11*n + 9. Let r(v) = 3*v - 7. Let d be r(6). Let g be h(d). Is j(g) a composite number?
False
Let u = -1993 + 3193. Let x = u + 507. Is x composite?
True
Let b be (566/6)/(1/30). Suppose 4*n - 1278 = b. Is n prime?
False
Let v(p) be the third derivative of 7*p**6/120 - 7*p**5/60 - 13*p**4/12 - p**3/6 - 5*p**2. Is v(8) composite?
False
Is -74794*(4 + 77/(-14) + 1) a prime number?
True
Let a(c) = 1 - 47*c - 6 + 31*c**2 + 24*c + 27*c. Is a(2) composite?
False
Let c(r) = -3*r**3 - 5*r - 1. Let q be 1 + 4 + -1 - 4. Let m(a) = a - 4. Let h be m(q). Is c(h) composite?
False
Is 2/(-12)*-3*(5 + 10997) a prime number?
True
Let h = -22 - -27. Suppose 2*n = h*n - 1389. Is n composite?
False
Suppose -4*w + 8*u = 5*u - 25, 0 = 5*u + 15. Is ((-2237)/w)/(10/(-40)) a composite number?
False
Let g(r) = -r - 4*r**2 + 2*r - 5*r + 4 + r**2. Let i be g(5). Let f = i - -128. Is f a composite number?
False
Let b(z) = 7*z**3 + 7*z**2 - 9*z + 10. Let x(a) = -10*a**3 - 10*a**2 + 13*a - 15. Let n(s) = 7*b(s) + 5*x(s). Is n(-4) a prime number?
False
Let j(s) = 69*s - 1. Let f be j(1). Suppose 302 = 3*i + 4*n - f, -n - 128 = -i. Let h = i - 37. Is h prime?
True
Suppose 2*x - 3 = 3. Let y(m) = -11*m - 39. Let a be y(-13). Suppose x*p + p - a = 0. Is p a prime number?
False
Is 1*-1709*-7*6/42 a prime number?
True
Let s(l) = 83*l**2 - 35*l - 29. Is s(-16) prime?
False
Let n(p) = 97*p**2 - 3*p - 3. Is n(4) a composite number?
True
Suppose 0 = -5*r + 3*r + 8. Suppose -2*s + i + 1831 = -2336, 0 = -r*s + 3*i + 8335. Suppose -s = -4*y + 81. Is y prime?
True
Suppose -55*h = -56*h + 19945. Is h prime?
False
Is 12 - (13 - (32195 - 5)) a composite number?
False
Let j(f) be the second derivative of 7*f**4/12 + f**3/2 - 3*f**2/2 - 4*f. Let b = -4 + 0. Is j(b) a prime number?
True
Let w(p) = -p**3 - p**2 - 4*p - 7. Let h be w(-2). Let t(v) = 23*v**2 - 5*v - 5. Is t(h) prime?
False
Let z = -22385 - -32746. Is z prime?
False
Suppose 5*w = -4*x + 34564, 0 = -4*w + 5*w. Is x prime?
True
Let b = -11 + 14. Let m(o) = -5761*o. Let g be m(b). Is g/(-39) + (-2)/13 prime?
True
Let b = -8993 + 19638. Is b a composite number?
True
Suppose -9*y + 3*y = -24654. Is y composite?
True
Let w = 7 + -4. Suppose w*m + 0*m = -r + 8, -4*m + 4*r + 32 = 0. Suppose -457 = -3*u - 2*f, -228 = -3*u + m*f + 199. Is u a prime number?
True
Suppose -4*c = 5*f + 208126, 3 = 5*c - 2. Is f/(-65) + (-3)/(-5) composite?
False
Suppose 2*q - 3628 = 18402. Is q composite?
True
Let k(m) be the first derivative of m**3/3 - 5*m**2/2 - 8*m + 2. Let j be k(6). Is j/8*2*-170 a composite number?
True
Let m be (-1 - 2)/(-1 + 2/8). Suppose m*v - 1074 = -4*o + v, 2*v - 4 = 0. Is o prime?
False
Suppose 2*u + 4*t + 218 = u, -5*u - 1065 = -5*t. Suppose -m + 3*d + 1108 = 8*d, 1099 = m - 4*d. Let c = u + m. Is c prime?
False
Let r be 1/2 + 18/12. Suppose -g + 2*z + 275 = -r*z, -2*g + 540 = 2*z. Is g prime?
True
Let r be 3*(-4)/(-36)*12. Suppose -3*q - 147 = -s, -s + 148 = -r*q - 2. Suppose -3*v + s + 195 = 0. Is v a prime number?
False
Let p be 23 + -4 - (-3*1)/(-3). Is (3/(p/177))/(1/10) a composite number?
True
Let n = 1814 - 451. Is n composite?
True
Let y(p) = 72*p**2 + 1. Let n be (-6)/2 - 15/5. Let k be ((-3)/n)/((-3)/(-12)). Is y(k) composite?
True
Suppose 3*s - 46 = -4*h, 8 = 6*s - 2*s. Suppose -3553 = -h*y + 897. Is y composite?
True
Let u = -7160 + 11169. Is u a composite number?
True
Let g(z) = -z**3 - 8*z**2 + 5*z - 3. Let w be g(5). Let i = 452 + w. Let a = 290 - i. Is a a composite number?
True
Let b = 31512 - 9159. Is b a composite number?
True
Let m(q) = 857*q**2 + 5*q - 59. Is m(6) composite?
True
Let o(s) = -110*s**2 + 10*s - 8. Let h be o(6). Is (0 - (-1 + -1))*h/(-8) a composite number?
False
Let y(m) = -3*m + 110. Is y(-12) a prime number?
False
Let p(g) = 19*g**2 - 14*g + 22. Is p(-15) a composite number?
False
Suppose 0 = 4*i - 2190 - 9566. Is i a prime number?
True
Let v be 4 + -3 + 1 - -2. Suppose -v*d = g + g - 2926, -3*d + 2196 = 3*g. Is d a prime number?
False
Let q = -3342 + 4993. Is q a prime number?
False
Suppose -64*u + 65*u = 409. Is u composite?
False
Suppose -2*x + 2 = 0, j - 2701 = -2*j + 5*x. Suppose 4*t + 12 = 0, 3*t + 235 = 2*n - j. Suppose -3*h = h - n. Is h a composite number?
True
Let c(p) = 12*p - 2. Suppose 21*w + 14 = 23*w. Is c(w) composite?
True
Suppose 2*k - 1 - 3 = -2*t, -2*t = -4. Suppose 7*l - 889 = -k*l. Is l a prime number?
True
Let l be (12/1)/(9/6). Suppose 3*u = l*u - 105. Let r = -2 + u. Is r a composite number?
False
Let o = 16 - -2. Let j be ((-4)/(-8))/(3/o). Let g(r) = 25*r + 2. Is g(j) a composite number?
True
Let m = -1 - 2. Let i be 9 - (0 + (-9)/m). Suppose -i*t = -2*t - 1052. Is t a composite number?
False
Let h(v) = -2*v**3 + 4*v**2 - 2*v - 2. Let y be h(2). Suppose 130 = -6*z - 20. Is y/(-15) - 765/z a prime number?
True
Let t = 53 + 33. Let l = t + -27. Is l composite?
False
Suppose 159 + 66 = 5*o. Is 1671/o - (-8)/(-60) composite?
False
Suppose 4*c + c = 0. Let i(d) = -d**3 + d**2 - d + 485. Is i(c) a composite number?
True
Suppose -s = -j - 4*s - 117, 0 = -5*j + 3*s - 675. Let m be 2 + 0 - j/(-6). Is (m/(-8))/5*382 a composite number?
False
Suppose 3*p = 7*p - 572. Suppose 0*j - 4*h + p = 3*j, -33 = -j - 5*h. Is j a composite number?
False
Let p(l) = l**3. Let f(x) = 6*x**3 + 2*x**2 + 11*x - 1. Let g(w) = f(w) - 5*p(w). Is g(9) composite?
True
Let b be -3 - (-14)/4*2. Let l be (-10)/b - (-2)/(-4). Is (-207)/(-27) + 2/l composite?
False
Suppose -5*d + 12 + 8 = 0. Suppose 2404 = d*c - 2200. Is c composite?
False
Suppose 2*t = -12*t + 4354. Suppose -3*k + 226 = -t. Is k a prime number?
True
Let s(w) = -33*w**2 + 44*w**2 + 19 - 4*w**3 + 5*w**3 - 17*w. Is s(-12) a prime number?
True
Let y(w) = 1938*w + 5. Let h be y(1). Let u = 2794 - h. Is u a prime number?
False
Let s = -15 + 29. Let m be 6/s - 9/21. Is 419 + m/2 - 0 a composite number?
False
Let i(v) = -38 - 55*v - 37*v + 17 + 4*v. Is i(-13) a composite number?
False
Suppose 5*l - 4*o - 11205 = 0, 0 = -4*l + o + 1089 + 7864. Is l prime?
True
Suppose -10*u = -19069 - 12561. Is u a composite number?
False
Let o = 6 + -10. Let h be 5*1/10*-6. Is 1646/8 - h/o prime?
False
Let j be (-1)/(1*(-5)/25). Suppose -l + 3*x = -97, j*x = -3*l + l + 216. Is l composite?
False
Suppose -4*j = -3*j - 3*b - 4309, 3*j = 2*b + 12913. Is j composite?
True
Let q = -85 + 145. Is 2*6/(q/6805) prime?
True
Suppose 8*d = 6*d - 4. Is (50/(-75))/(d/639 + 0) a composite number?
True
Let j = 43 - 46. Is (-102924)/(-16) - j/12 a prime number?
False
Let c(f) = 813*f**2 + 49*f - 263. Is c(6) prime?
False
Let b(w) = 542*w**2 + 4*w + 7. Is