k composite?
False
Suppose 3*c = -123 + 135. Suppose -h = -3*z - 18, -c*z - 36 = -4*h - z. Suppose 22662 = h*g - 0*g. Is g a composite number?
True
Let x be (-290)/(-3) + (-8)/(-24). Suppose -16*v + 79 + x = 0. Suppose -9*f - 3938 = -v*f. Is f a composite number?
True
Suppose 0 = 2*y + 5*r - 4, -3*y - 3*r + 0 = -6. Suppose -3*c + 50361 = -4*a, -5*c - 2*a - y*a + 83935 = 0. Is c prime?
True
Let b(m) = -145*m**3 - 2*m + 11. Let j be b(-7). Suppose -7*c - c = -j. Suppose 0 = 3*i + i - c. Is i prime?
False
Is 141445 + -33 - (1 - 2) a prime number?
True
Suppose -5*t - 5*n = -5105, -5*t + 3*t + 4*n = -2036. Let w = t - 373. Let d = 1233 - w. Is d prime?
False
Suppose 2*v = 4*z - 2*z + 10, 3*v - 15 = 5*z. Let o(f) = -37*f - v*f + 58 - 57. Is o(-5) prime?
True
Suppose -2*j + 3*j = 5, -2*j = 4*m - 1010. Suppose n - 723 = -m. Is n a prime number?
False
Let b(t) = 6*t**2 - 21*t + 274. Is b(-75) a prime number?
False
Suppose -f = -4 + 3. Suppose -9*u + 32 = -5*u - 4*i, f = -u - 2*i. Suppose -u*b = -5*n - 30 + 645, 5*b - 20 = 0. Is n composite?
False
Is (-13202556)/(-9)*90/120*1 composite?
False
Suppose 0 = 5*z - 25 - 30. Let q(r) = -r + 1. Let n(d) = -64*d + 57. Let l(y) = -n(y) - 2*q(y). Is l(z) composite?
True
Let z be 32700/18 + (1 - (-15)/(-9)). Let u = z - 1065. Is u a composite number?
False
Is ((-77)/(-55)*(-24)/(-168))/(1/1980785) composite?
False
Suppose 0 = 11*s - 5286561 + 3661501 - 6300759. Is s prime?
False
Let m = -16933 - -505046. Is m prime?
False
Let x(d) = 13*d**2 - 38*d - 1208. Is x(-39) a composite number?
False
Suppose 0*r + 8 = -4*r. Let w(i) = 6 - 4*i**2 - 54*i**3 - 4*i - 17*i**3 - 9. Is w(r) a prime number?
True
Suppose 0 = -0*b + 2*b - 214. Suppose 3*s - 4*f = 280 - 96, -s + 4*f = -72. Let l = b + s. Is l a composite number?
False
Let g(x) = 18*x**2 - 11*x - 97. Suppose 4*h - 10 = 4*s + 38, 0 = -s + 5*h - 32. Is g(s) a composite number?
True
Suppose -t + 52049 = -3*b, 2*t = -74*b + 73*b + 104056. Is t a prime number?
False
Let p(a) = 88*a**2 - a - 9. Let s(w) = 88*w**2 - w - 10. Let z(v) = -2*p(v) + 3*s(v). Let i be z(5). Suppose i - 387 = 4*d. Is d composite?
False
Let z(c) be the third derivative of c**5/60 + 5*c**4/12 + 13*c**3/3 - 6*c**2 - 1. Let w be z(-7). Suppose -2*n - 12981 = -w*n. Is n prime?
True
Let d(j) = 26*j + 2. Let b be d(4). Let x be -131 + 141 + 20/(-2). Suppose g + g - b = x. Is g a composite number?
False
Suppose -5*l - 63382 = -b, 2*l + 253510 = -341*b + 345*b. Is b composite?
False
Suppose -41*t = -46*t + 20. Suppose 0 = -t*p + 8*p - 1172. Is p a prime number?
True
Let n = -176158 + 441819. Is n a prime number?
False
Suppose 45*b - 8*b - 185 = 0. Suppose -j + b*q = -3226, 5*j - 21604 = -q - 5344. Is j a composite number?
False
Suppose 2*s = -4*z + 38068, -47581 = 4*z - 9*z - 3*s. Is z a prime number?
True
Suppose b + 149 - 157 = 0. Let j(x) = 74*x - 27. Let n(f) = -75*f + 26. Let z(y) = 4*j(y) + 3*n(y). Is z(b) prime?
False
Let z(n) be the first derivative of n - 12. Let u(h) = 637*h - 25. Let c(x) = u(x) + 6*z(x). Is c(2) composite?
True
Is (-1368003)/(-37) + 20/(-370) a composite number?
False
Suppose 11*o = 19*o + 75632. Let g = 16823 + o. Is g a prime number?
True
Let q(s) = -2*s**2 - 3*s - 9. Let v(b) = b + 1. Let p be v(-4). Let h be q(p). Is (-8)/(-6) + 6/(h/(-1493)) a prime number?
True
Suppose -22*h = 85*h + 99*h - 52735382. Is h prime?
False
Let i = 37 + -31. Let g(z) = z**2 - 5*z - 7. Let m be g(i). Is 613/(-1 + 1 - m) composite?
False
Let q = -88 - -400. Is (-39)/q + (-21785)/(-8) composite?
True
Suppose -3*o = -2*c + 54992, 5*o - 32347 - 50179 = -3*c. Is c a prime number?
False
Let u be 3 + (0 + 1)*(2 + 3). Suppose b = 2*f + u, -2*f = b - 0 + 4. Suppose 7*w - 2595 = b*w. Is w a prime number?
False
Let o(c) = c**3 + 8*c**2 - 3*c - 4. Let l be o(-8). Let x = 17 - l. Is (-3 - x - -1161) + -2 prime?
False
Let n(t) = -23*t**3 + 6*t**2 - 56*t + 22. Let a be n(13). Is ((-100)/(-15) - 7)*a a composite number?
False
Let r(q) = 20679*q**2 + 62*q - 197. Is r(6) a composite number?
True
Suppose 6*c + 3*i - 330003 = 0, 3*c = i + 113439 + 51565. Is c a prime number?
True
Suppose 5*z + 5*w = 40 - 0, -w + 24 = 3*z. Suppose 0 = 4*l + z*l - 63132. Is l composite?
False
Suppose 7146 = -5*t + 56303 + 37473. Is t composite?
True
Suppose 0 = -21721*y + 21702*y + 1738481. Is y a composite number?
False
Suppose -3*c = -2*c - 4*o + 45, -4*c + 5*o = 158. Let m = -275 + 469. Let b = c + m. Is b a prime number?
True
Suppose 12*v - 16*v - 4*f + 894968 = 0, 2*v + 3*f = 447479. Is v composite?
False
Let p(g) = -g**3 + 36*g**2 - 18*g - 11. Suppose 0 = x - 23*m + 26*m - 17, 3*x + 3*m = 45. Is p(x) a composite number?
False
Let v = -343 - -478. Suppose -5*c + 4*p = -2*c - 431, 3*p - v = -c. Is c a composite number?
True
Let q(g) = 26*g**3 - 9*g**2 + 80*g + 130. Is q(21) a composite number?
False
Suppose -b + 59 - 236 = 0. Let v = b - -2470. Is v composite?
False
Let p(i) = 6*i**3 + 3*i**2 - 7*i - 6. Let z be p(2). Suppose -z*o - 12862 = -42*o. Is o a composite number?
True
Suppose 4*q - 5*z = 165126, -255*q + 2*z = -257*q + 82554. Is q composite?
True
Suppose 2*h - 1199097 = -5*r, -5*r + 1199094 = -74*h + 73*h. Is r a prime number?
False
Let s be 6*1*(-5)/(-10). Suppose 0 = -s*t + 9*t. Suppose -6*u + 387 + 759 = t. Is u a composite number?
False
Suppose -125*h = 9*h + 7663698 - 25499902. Is h composite?
True
Let i be (6/(-21))/(1/(-4781)). Suppose 828 = 3*l - 3*m, -2*l - i = -7*l - 2*m. Is l a composite number?
True
Let l(d) = 44*d**3 + 2*d - 93. Is l(14) a prime number?
True
Let b be 6/10 + (-564)/(-60). Suppose b*g - 19978 = 1772. Let p = g + -418. Is p a composite number?
True
Suppose 24 = 9*d - 12. Suppose 6 = -g - 4*m, m = 2*g - g - d. Suppose g*l + 45 = 5*l. Is l a composite number?
True
Is -15 - -13134 - 4/1*-1 a composite number?
True
Let h(v) = -v**2 - 4*v + 4. Let s be h(-3). Let k be (5334/s)/(4/((-320)/(-6))). Suppose -k - 4594 = -6*i. Is i prime?
True
Let w(p) = p**3 - 11*p**2 + 12*p - 17. Let r = 24 - 14. Let g be w(r). Suppose g*l - 342 - 147 = 0. Is l prime?
True
Let s be 188/(-6)*(-10)/((-180)/351). Let h = 278 - s. Is h prime?
False
Let r be (-82 + 0)*1/2. Let o = 41 + r. Suppose -4*l + 59 = -5*j, -4*l + o*l + 2*j + 74 = 0. Is l a prime number?
False
Let l be (-2)/(-2)*-3*(-8)/12. Suppose -k - l*k = 6. Is (1/k)/(5/(-3370)) a prime number?
True
Let i(n) = 12*n + 102. Let u be i(-9). Is -1*(u - 1471) + -6 composite?
False
Let o be 12661/2 - -6*(-1)/12. Let q = 10816 - o. Is q composite?
True
Suppose 0 = -0*j - 6*j + 261690. Is j/117 + 4/18 a composite number?
False
Suppose 8675 = 5*i - 8*q + 3*q, 3*q + 6945 = 4*i. Let a = i + -85. Is a prime?
False
Let i be (-3)/(6/14 - (-35040)/(-81711)). Let r = i - 7990. Is r a composite number?
True
Is 209/95 + (8518948/10)/1 prime?
False
Suppose -x = -4, -5*r + 33129 + 83186 = -5*x. Is r composite?
True
Suppose 4*r - 5*r = -3. Suppose w - 417 = 2*g, -7*w + r*g + 1236 = -4*w. Is w a composite number?
True
Suppose 0 = -122*v + 480278 + 66463440. Is v prime?
True
Suppose 6*n - 6910 = 42206. Let u = n - 4923. Is u prime?
False
Suppose -362*n - 567323 = -339*n - 2704506. Is n prime?
True
Suppose 26*x + 13284 = -4*j + 22*x, -2*x = 0. Let d = j - -4668. Is d a composite number?
True
Let c = 339869 + -125028. Is c prime?
False
Suppose 3*b = 5*t - 4 - 5, -b + 8 = 2*t. Suppose 0 = -u - b*l + 155, 5*l - 314 = -2*u - 1. Is u prime?
True
Let x(n) = -n**3 + 4*n**2 + 3*n - 14. Let z be x(-10). Suppose -15*m = -19*m + z. Suppose -m = 5*i - 6*i. Is i a prime number?
False
Let s = -2118 + 2972. Let r = 1059 - s. Is r composite?
True
Let u be -2*7/(-14)*-3. Let h(l) = 2123*l**2 - 4*l - 14. Is h(u) a composite number?
True
Let a(u) = 0*u**3 + 3*u + u + 12*u**3 + 9*u**3 + 2. Let x be a(-3). Let k = x - -1224. Is k a prime number?
True
Let v(n) = n**3 + 53*n**2 + 105*n - 349. Is v(40) prime?
False
Let o be (46/10 - 5)/(3/60). Let b be (4 + 0)*(-22)/o. Suppose 0*m = -b*m + 18139. Is m a composite number?
True
Let m be 0 + 3 + (-10)/(-1). Let d(u) be the third derivative of u**6/120 + 7*u**4/24 + 29*u**3/6 - 3*u**2 - 8*u. Is d(m) prime?
False
Let h = 305526 - 143389. Is h composite?
True
Let u(y) = -527*y - 168*y - 5 - 324*y + 241*y. Is u(-4) prime?
False
Let l = -7958 - -3272. Let f = 9197 + 