 = -98*r + 99*r. Is t a composite number?
True
Suppose 0 = 9*a - 6*a - p - 15369, -5*p - 25615 = -5*a. Is a a composite number?
True
Let s = -29 - -28. Is s/((-125)/413 + (-16)/(-56)) a prime number?
True
Let s be (-6)/(-15) + 26/10. Suppose -2*i - p + 1685 = 0, s*i - p = -4*p + 2532. Suppose -5*h - x = -i, 0 = -h - 3*x - 2*x + 149. Is h prime?
False
Is (3 + 1)*1143/36 composite?
False
Suppose -67180 = 14*u - 34*u. Is u a composite number?
False
Is (-1 - 81)/(68/(-6494)) prime?
False
Let s = -58 - -59. Is 2 - (s - -3 - 265) a composite number?
False
Let s = 1836 + 93. Suppose 5*b - 4 = b, 3*b - s = -2*m. Suppose -2*c + m = 5*z, -3*z - 2340 = -5*c - 2*z. Is c a prime number?
False
Let d(c) be the third derivative of -15*c**4/8 - 38*c**3/3 - 9*c**2. Is d(-5) a composite number?
False
Let x = 51 - 46. Suppose -z + 609 = 2*v + v, 609 = 3*v - x*z. Is v prime?
False
Suppose -2*q - 346 = 2*j, 4*j - 2*q + 224 + 492 = 0. Let v = j - -338. Is v composite?
True
Let t(g) = 16*g**2 - 27*g - 68. Is t(21) a prime number?
True
Suppose -5*v - 5*y = -0*y + 600, y = -3. Let t = 272 + v. Is t prime?
False
Let y(l) = l + 9. Let r be y(-6). Suppose -62*f + 63*f = 94. Suppose f = r*h - 35. Is h composite?
False
Let o(a) = -a**2 - 4*a + 3. Let f(s) = -2*s - 1. Let u be f(2). Let x be o(u). Is x/(-3) + (-948)/(-9) a prime number?
False
Let f = 1603 - -1573. Suppose 0 = -4*j - 4*j + f. Is j prime?
True
Suppose 2*r - 4*r = 2. Let v = 2 - r. Suppose v*x + 38 = 4*x. Is x composite?
True
Let r = -11 + 26. Let t(s) = 10*s - 63. Is t(r) a prime number?
False
Let y be (2/2)/((-2)/(-16)). Let p be 181/((-4)/(y/2)). Let g = -126 - p. Is g prime?
False
Let x be 1310/(-5) + (1 - -1). Let k = 619 - x. Is k composite?
True
Suppose 0*z = -2*z - 506. Let k = z - -517. Suppose 0 = -4*g + b + k, 3*g - 146 = -4*b + 71. Is g a composite number?
False
Let w = 17 + -26. Let c be (2/3)/(3/w). Is (7/(-7))/(c/282) composite?
True
Let b(v) = 163*v - 83. Let s be b(-10). Let c = s + 4148. Is c a prime number?
False
Let a = -94 + 215. Is a a prime number?
False
Let w(p) = 2102*p - 487. Is w(22) a prime number?
True
Let s = -210 + 16. Let w = s + 477. Suppose 2*m + 4*n = -m + w, 5*m = -5*n + 465. Is m a prime number?
True
Let m(r) be the first derivative of 53*r**2/2 - r + 1. Let z be m(-4). Let t = -130 - z. Is t prime?
True
Suppose 0 = -2*b + b + 2971. Is b composite?
False
Suppose -4*b = -8*b + 2*m + 354, 0 = -4*m + 4. Let y = b - -69. Is y composite?
True
Let w be 3/6*(5 + 9). Let f(i) be the third derivative of i**5/20 + 4*i**3/3 + 9*i**2. Is f(w) prime?
False
Let p = -9 + 5. Let h(r) = -8*r**2 - 13*r - 1. Let s(l) = 9*l**2 + 15*l. Let o(z) = -5*h(z) - 4*s(z). Is o(p) prime?
False
Suppose 3*v - 7*v = -12. Suppose 3*r - 4*w + 15 = 2, 9 = -3*r + v*w. Is 206 + 16 - (r - -2) a composite number?
True
Let q = 1 - 6. Let z(y) = -9 + 12 + 4 - 38*y + 8. Is z(q) a composite number?
True
Let k(j) = -3*j + 3. Let y be k(1). Let u = 0 - y. Let d(n) = n**2 + n + 119. Is d(u) prime?
False
Let q be 0 + 1 + ((-16)/4 - -3). Suppose 0 = -3*l + 2*l + 5*o + 8490, -2*l - 3*o + 16915 = q. Is l composite?
True
Let l(k) = -100*k**3 - 5*k**2 - 6*k - 5. Let z be l(-3). Let u = z - 1745. Is u a prime number?
False
Suppose -3*i = 4*u - 220163, -21311 - 33720 = -u - 4*i. Is u prime?
False
Let r(o) = -3*o - 5. Let s be r(-3). Let k(h) = 2*h**3 + 5*h**2 + 4*h - 1. Is k(s) a composite number?
False
Suppose 24*g - 191026 = -14*g. Is g a composite number?
True
Suppose 9*x = 4*x + 10, 0 = 5*m + 3*x - 10801. Is m prime?
False
Is 209 + (-2 - -8) + 0 prime?
False
Let l(g) = 608*g**2 + 2*g - 2. Is l(-2) prime?
False
Let f be 3*4 + (-95)/19. Suppose 0 = 2*h + 2*d - 3074, 2*h = f*h + 3*d - 7681. Is h prime?
False
Suppose 3*m + 26743 = 3*n + 2*m, -17832 = -2*n - m. Is n prime?
False
Suppose -3*o - 5*p + 0*p = -29, -2*o - 4*p = -18. Let l be (-28)/(-4*4/24). Let a = l + o. Is a composite?
True
Suppose 5*z + 5*q - 68830 = 0, 27300 + 27759 = 4*z + 5*q. Is z composite?
True
Let w be (-15)/(-10)*(-2)/(-1). Let i be (2 - -1) + 9/w. Is (-1)/6 + 763/i a composite number?
False
Suppose 5*i - 265 = 5*x, i = 4*x - 2*i + 213. Is (-2)/(-12) + (-7107)/x*3 a composite number?
True
Let b = -9997 - -38826. Is b a prime number?
False
Let z = -462 - -1136. Is z composite?
True
Suppose -2*l + 4*b - 30 = 0, 0 = -3*l - 4*b - 2 - 13. Let n(i) = -i**3 - 8*i**2 + 9*i - 9. Let p be n(l). Let v = 44 + p. Is v prime?
False
Let g = -31 + 27. Let h(y) = y**3 + 7*y**2 + 10*y + 8. Let o be h(g). Is -1004*(12/o - 1) prime?
True
Suppose 0 = f - 4*f + 387. Let t be f + (-5)/((-10)/6). Let z = t + -53. Is z composite?
False
Suppose 0 = -i + 2 - 7. Let r = i + 5. Suppose r = -4*j - 0*j + 632. Is j prime?
False
Suppose 5391 = 131*s - 122*s. Is s a prime number?
True
Let q(g) be the first derivative of -5 + 1/2*g**2 + 163*g. Is q(0) prime?
True
Suppose 3*j = 22691 + 13402. Is j prime?
False
Suppose 7*m - 544642 = -7*m. Is m prime?
True
Let u(c) = c**3 - 5*c**2 - 7*c + 7. Let h be u(6). Is (-19 + 18)*(h - 252) composite?
False
Let o = -59772 + 88781. Is o a prime number?
True
Suppose -i = -5*i - 12, 491 = 5*b - 2*i. Let g = -4 + b. Is g composite?
True
Let o = -2 - -12. Suppose 2*x - o = -4*d, -3*x + 2 = -4*x + 5*d. Is (-1)/(x/12) + 239 composite?
True
Suppose -3*l - 4 - 1 = -2*t, -t + 7 = 3*l. Suppose -t = 2*h, -3*h + 1 = -4*o + 39. Let p = o - -13. Is p a prime number?
False
Let t(c) = -18*c**3 + 7*c**2 + 7*c + 5. Let l be t(-5). Let n = -495 + l. Suppose 0 = -5*z + n + 805. Is z a prime number?
True
Suppose -11*q = -17*q + 7110. Suppose l + q = 4*l + 3*h, -5*h = -3*l + 1153. Is l composite?
True
Is -4 - 2 - 15/((-75)/32320) a composite number?
True
Let z(l) = 1311*l + 6. Let c be z(-12). Is c/(-16) - (3/(-8))/3 prime?
True
Suppose -5610 = 5*x - 3*l - 63302, -2 = -2*l. Is x composite?
True
Let w(m) = 48*m - 491. Is w(29) a prime number?
False
Suppose 2*w = -8, -3*l + 67241 = -4*w - 37844. Is l a prime number?
True
Is (-30222)/(-36)*2*1 composite?
True
Let s be (-5 - -5)/5 + 9340/2. Suppose k + k = s. Is k a composite number?
True
Let q = 271 + -465. Let g be 10/((-12)/(-30) - (-128)/(-270)). Let m = g - q. Is m composite?
False
Let r(h) = h**3 + 7*h**2 - 1. Let b be 3 - 1/(3/9). Let a be b - 0 - 18/3. Is r(a) a prime number?
False
Let u be (-10)/65 - 11852/26. Let b = u - -1253. Is b a composite number?
False
Let r = -2647 + 7788. Is r prime?
False
Let q = 1289 + 362. Is q prime?
False
Let o(a) = 118*a**2 - 9*a + 14. Let h be 4/(-6)*36/(-8)*1. Is o(h) composite?
False
Let j = 10859 - 3862. Is j a composite number?
False
Let r(v) = -v**3 + 12*v**2 - 10*v. Let m be r(10). Let j = m - 6. Is j a prime number?
False
Suppose -985 = 5*h - 4205. Suppose 5*s + h = 6*s. Let o = s + -351. Is o a prime number?
True
Let t be 5455/55 + 6/(-33). Suppose 0 = -4*v + y + t + 51, -y + 146 = 4*v. Is ((1 - 0)*v)/1 composite?
False
Is ((4 - -2) + -4)*28957/2 composite?
True
Let s = 41 + -33. Suppose -3*g = 2*v - 4*g - s, 0 = v + 4*g + 14. Suppose -4 = -v*y, -2*o + 610 = -0*y - 2*y. Is o composite?
False
Let z(x) = -88*x**3 + 17*x**2 - 2*x - 13. Is z(-6) a composite number?
True
Let w(a) = 60*a**2 + 12*a - 31. Is w(12) prime?
True
Suppose 0*a - 2*a = -2*j + 4, -3*j - a + 14 = 0. Is -2*((-10)/j + -3) a prime number?
True
Let d = -1 - -5. Suppose -d*w = 4*v, -4*w - 5 = -1. Is v/(-1) + (-177)/(-3) a prime number?
False
Suppose -12*d + 5*d + 21 = 0. Suppose 5*b + 2*w = 1034 + 511, 941 = d*b + 4*w. Is b composite?
False
Let q = 4158 + -1547. Is q composite?
True
Suppose c - 2*m - 1349 = 800, -6459 = -3*c + 2*m. Is c prime?
False
Let i(o) = o**2 + 9*o - 13. Let a be i(9). Suppose -5*v + 9*v - 132 = 0. Suppose 2*l - s = v, s + 49 = -5*l + a. Is l a composite number?
False
Suppose 0*x - 3*x = 0, 2*s + 4*x - 18 = 0. Let l be (2 + s/(-3))*3. Let w = l + 14. Is w a prime number?
True
Let t(z) = -2*z**3 + 4 + 12*z**2 + 0*z**3 + z**3 + 0*z**3 + 3*z. Is t(11) a composite number?
True
Is 5801 + -6 + (-3 + 2 - -7) composite?
False
Is 3 - (6528/15)/((-3)/60) composite?
False
Suppose -16*h = -4*h. Suppose h = 4*d - 12*d + 1880. Is d a prime number?
False
Let v = -372 - 50. Let t = v + 607. Is t prime?
False
Suppose k = 3*k. Suppose 4*p = 16, 0 = -k*x - 2*x + 5*p + 314. Suppose 5*y = -x + 552. Is y a prime 