1)). Let a = 3062 + t. Is a a composite number?
True
Suppose -3*v + 165804 = -8*v + 1403869. Is v a prime number?
True
Suppose 3*q - a = 7, 3*q - 5*a - 2 = -15. Suppose q*o + 34635 = 19*o. Is o prime?
True
Let g(h) = h. Let v(x) = 118*x. Let u(b) = 118*g(b) - 2*v(b). Let q be u(-3). Suppose d - q = -5*d. Is d a composite number?
False
Let k(b) = -2983*b + 2616. Is k(-7) a prime number?
True
Let q = 1015 - 2793. Let c = 1685 + -2648. Let z = c - q. Is z a prime number?
False
Suppose -4*b - 2*p = -92836, 0*p = 3*b + 2*p - 69629. Is b composite?
True
Let z(y) be the first derivative of 5659*y**2/2 - 18*y + 181. Is z(7) composite?
True
Let i = 9329 + 640412. Is i a prime number?
False
Let w(a) = -a**3 + 16*a**2 - 16*a - 19. Let v be w(23). Let b = 11459 + v. Is b a prime number?
True
Let t = 161 + -159. Suppose r - t*c = 3969, 4*c + c - 10 = 0. Is r composite?
True
Let f be 5 + -1 - (-4339 + -19). Suppose -o + 3923 + f = 0. Is o a composite number?
True
Let l be 2/(-6)*-3 + -5. Let v(o) = -35*o**3 + 5*o**2 + 8*o - 15. Let s(m) = -105*m**3 + 14*m**2 + 24*m - 44. Let z(k) = 6*s(k) - 17*v(k). Is z(l) prime?
False
Suppose 27*j + 269200 = 19*j. Is 50/4*j/(-125) a composite number?
True
Suppose -4*z + 71784 = 15132. Suppose -4*o = -5*o + 5*c + 2821, -5*o + z = 4*c. Is o composite?
True
Let h(p) = 1562*p - 5149. Is h(73) a prime number?
True
Let n = 46854 - 4177. Is n a prime number?
True
Suppose 24344 = 4*q - 5*l, 3*l + 1270 = -4*q + 25646. Is (2/(-6) + q/(-6))*-2 composite?
True
Let h be (4*(-4)/(-32))/((-1)/(-8)). Suppose -2 = 3*p + 4, -5*q - h*p + 2237 = 0. Is q a prime number?
True
Let z = 89 + 134. Let r = 85 - z. Is (28/8)/((-3)/r) a composite number?
True
Suppose 3055*m - 2593995 = 3040*m. Is m a composite number?
False
Suppose -2*x + 26*i - 25*i = -186758, -3*x - 2*i = -280130. Suppose 0 = -g + 5*g + 8, 2*g = 2*p - x. Is p a composite number?
False
Suppose 0*y - 21 = -3*y. Let p(u) = -4*u + 7*u**2 - y*u + 7*u - 2 - 8*u. Is p(-9) a composite number?
False
Suppose 4*n + 142*t - 137*t - 476113 = 0, 5*n - 2*t - 595133 = 0. Is n a composite number?
False
Suppose -17 = -u - 2*u + y, 4*u - 3*y = 26. Suppose 4*w - 2*w + 5*o + 683 = 0, u*w - 2*o = -1635. Let a = w + 580. Is a a prime number?
True
Suppose 316*g - 288*g - 2513588 = 0. Is g composite?
True
Suppose 2*d = -d. Let z = 376 - -2419. Suppose 14*b - z - 3183 = d. Is b composite?
True
Suppose 4*n = 102 + 30. Suppose -2*i = n + 169. Is i*(-6 + 2 - -1) prime?
False
Let b(a) = -271*a**2 - 2*a - 11. Let q be b(-5). Let f = q + 14185. Is f prime?
False
Suppose 2*o - o = -5. Let p be (o - 37/(-5))/(4/(-30)). Is 21 + p + 971*1 a prime number?
False
Suppose -461 = -5*g - 5586. Let h = 692 - g. Is h a prime number?
False
Let f(m) = -2*m**2 - 47*m - 22. Let a be f(-23). Is (6 - a)*(698/10 - -2) a prime number?
True
Suppose x = -5*a + 616959, -123383 = -62*a + 61*a + 2*x. Is a prime?
False
Suppose 0*l - 13*l = -230646. Suppose -l = 542*g - 548*g. Is g a composite number?
False
Suppose 28587 + 78021 = 16*c. Is c prime?
False
Let r = 14390 + -8461. Suppose -2*x = -i + 2001 + 962, -r = -2*i + x. Is i composite?
True
Let j(y) = y**2 - 19*y - 49. Let t(o) = -o**2 - 3*o - 17. Let b(p) = p**2 - 12*p - 17. Let u be b(13). Let m be t(u). Is j(m) prime?
False
Suppose 2*c - 5*c + q + 392 = 0, 4*c - q - 523 = 0. Let d = -32 + c. Let z = d + -17. Is z composite?
True
Is 36/(-30) + (-9)/((-225)/2127055) prime?
True
Suppose 47*y + 350 = 37*y. Is 11562/15 - 7/y a prime number?
False
Suppose 2*j + x + 1 = 0, -3*j = -j - x - 5. Is j/((-5)/10) + 637 composite?
True
Let f(h) = -2*h**2 + 51*h - 72. Let d be f(24). Suppose d = -5*r - y + 13882, 29*r = 30*r + 3*y - 2768. Is r composite?
False
Suppose 17*l = 14*l + 4*y + 7437003, -4*l = -2*y - 9915994. Is l composite?
False
Let h(t) = 160*t**2 - 8*t - 4. Let u be h(-4). Let k = -621 + u. Suppose -3*f - k + 100 = -4*o, 0 = 5*o - 5*f - 2335. Is o a composite number?
True
Suppose -u = 4*m - 35542, 4*u + 5*m - 142168 = 7*m. Suppose -3*i + u = 4*w, 2*w - 3*i - 17784 = 2*i. Is w composite?
False
Suppose 274*c + 5276142 - 42614989 = 183*c. Is c a composite number?
False
Let r(d) = 291*d + 5. Suppose -7 = -2*t - j, 5*t - 4*t = 3*j - 7. Let a be r(t). Suppose 0 = 5*q - 3*v - 265 - 336, -a = -5*q - 4*v. Is q composite?
True
Let h = 206688 - 136766. Is h a prime number?
False
Let u = -1754767 - -2944068. Is u a composite number?
False
Is (4/(-10)*(-120895)/3)/(12/90) a composite number?
True
Let q be 698 - (0/(2 + 1) - 2). Let b = q - 113. Is b a composite number?
False
Let u = -28 - -38. Suppose -5*t - o + 0 + u = 0, 0 = 4*t - o - 17. Suppose 282 = 3*r - 5*f, -r - 3*r = -t*f - 376. Is r composite?
True
Suppose -5*n = -m - 2, -4*m + 14 - 5 = -3*n. Suppose -4*a - 738 = -q, 0 = 2*q - m*a - 1234 - 252. Is q a prime number?
False
Let g(k) = -45*k - 22. Let d(h) = -h**2 - 4*h + 3. Let w be d(-6). Let m be g(w). Let b = m + 96. Is b a prime number?
True
Suppose -13*j - 4*h + 33048 = -16*j, -5*h = -4*j - 44064. Let k = 3247 - j. Is k prime?
False
Let k(r) = r**3 - 19*r**2 - 43*r + 11. Let m be k(21). Is (685/m)/(-2 + 19/10) prime?
False
Let g = 27 - 25. Suppose -8 = -5*f + g. Suppose -5*v = 3*k - 10*v - 3418, f = 2*v. Is k prime?
False
Let j(s) be the first derivative of 719*s**3/3 + 2*s - 168. Is j(2) a composite number?
True
Is (-7)/(-28)*(-44447060)/(-35) prime?
False
Let t be 12/(2/1 + 0). Suppose -12887 = -t*p - p. Is p a prime number?
False
Suppose 2369420 = 100*v - 3885480. Is v a composite number?
False
Let m = -1638 - -685. Let z = 1430 + m. Suppose z - 32 = 5*a. Is a a prime number?
True
Suppose 0 = -6*g - 1 + 13. Suppose 2*m - g*k = 1 + 23, -3*m = -5*k - 28. Let l = m - -15. Is l prime?
True
Let o be (21 - 9)*((-26)/8 + 4). Is ((-3)/o)/1 + (-519160)/(-30) composite?
True
Let x(s) = -s**3 - 4*s**2 - 15*s + 11. Let m be x(5). Suppose 5*f + 2332 = -378. Let l = m - f. Is l prime?
False
Let j(c) = 2*c**2 - 3*c - 1. Let o be j(-4). Suppose 50*m - 12887 = o*m. Is m a composite number?
True
Suppose 3*s + 2*y = 7*y + 95279, -2*s = -y - 63524. Is s prime?
False
Is 13/(11 + 2)*16535 prime?
False
Let d = 24457 - 6758. Is d a prime number?
False
Suppose -16*c + 16 = -12*c. Let a(j) be the first derivative of 75*j**2/2 - j - 2. Is a(c) prime?
False
Let j(q) = -q - 35. Let k be j(0). Let w = k + 39. Is 6/w*(-4782)/(-9) a prime number?
True
Let o(j) = -j - 21. Let l be o(-26). Suppose 0 = l*n + p + 339, 4*p + 41 = 3*n + 226. Is (-9 - -4 - -3)*n prime?
False
Let h = -219 - -1355. Is h - (2/3)/((-4)/18) a composite number?
True
Let p = 134039 + -36366. Is p prime?
True
Suppose 59936 = -39*p - 168877. Let t = p + 13294. Is t composite?
True
Suppose 1180 = w + l, w = -33*l + 35*l + 1171. Suppose -i + 3612 = -w. Is i a prime number?
True
Suppose 9*h + 47121 = 10*h. Suppose -9*g = -40782 - h. Is g prime?
True
Suppose y = -3*s + 1143853, -8*s + 2*y + 502423 = -2547889. Is s a composite number?
False
Let l be (-7)/(21/(-9)) + -3. Suppose 0*o + 10*o - 81910 = l. Is o prime?
True
Let t = 1042 + 2511. Suppose -5 - 7 = -4*x. Suppose -x*j + t = 196. Is j prime?
False
Suppose -126 = -15*i + i. Suppose 7 - i = w, w + 6247 = a. Is a a prime number?
False
Is ((-3)/84*-342923)/((-1)/20*-1) composite?
True
Let v be 6/3*-1 + 1699. Let j = v + -494. Is j a prime number?
False
Let y = -3978 + 11906. Is (-18)/24*4 + y/2 a prime number?
False
Let w be -2 + 1 + 67 - 1. Let g be (2/(-5))/(5/150). Let f = g + w. Is f prime?
True
Suppose m + 12 = -3*k, -5*m - 4*k + 47 = 162. Let x(z) = -66*z - 71. Is x(m) a prime number?
False
Suppose 0 = 5*w - 3*s - 168, -5*s - 71 = -2*w - 0*w. Let z be ((-135)/60)/(21/(-28)). Is (z + w/12)*92 composite?
True
Suppose -4*u - 9816 = -7*u. Suppose -27*a + 31*a = u. Is a a prime number?
False
Let s be (-30)/8 + (-26)/104. Is 4060 - ((-583)/187 + s/(-34)) prime?
False
Let t(j) = -33*j - 38*j - j - 55. Is t(-12) a prime number?
True
Let l(d) = 2*d**2 + 18*d + 16. Let q be l(-8). Suppose q = -o + 358 + 664. Suppose 5*h = 233 + o. Is h a composite number?
False
Let x = -1850 - -1860. Suppose -4*u + 2674 = -2330. Suppose x*c = c + u. Is c a prime number?
True
Suppose 9*s - 15 = 21. Suppose -3*y = 4*t - 6884, -5*y = -s*t - 2*y + 6884. Is t composite?
False
Let w be 1 + 2 + -4 - -4. Let d(p) = -379*p + 