Is b composite?
True
Suppose -4*w - 2*u + 1330 = -852, 0 = 3*w + u - 1637. Suppose -5*v + v = -y - 93123, -2*v - 2*y = -46564. Suppose v = 5*g + w. Is g a prime number?
True
Is -1 + 380700 + 66/363*44 a prime number?
True
Let p be (-17)/68 + 18381/4. Suppose -9*n + 4*n = -p. Is n composite?
False
Suppose 3*d = -2*n + 273, -n = 5*d - 94 - 32. Suppose -1017 = 2*b + n. Let x = -262 - b. Is x a prime number?
True
Suppose 3*b = -y + 269900, 24*y + b - 539795 = 22*y. Is y prime?
True
Is 2*7/((-84)/(-47202)) composite?
False
Is -2609645*(66/(-55) + 1) composite?
False
Suppose -47540 = -4*z + t, 4*z - 9*t = -14*t + 47540. Let c = -6304 + z. Is c composite?
False
Let h be (-982)/(-3) - 6/36*2. Let k(u) = u - 2. Let j be k(2). Suppose -13*g + 10*g + h = j. Is g a composite number?
False
Let m = 25002 - 11933. Let o = m - 7872. Is o composite?
False
Suppose -12 = -53*z + 56*z. Is z/(-10) - 0 - (-35847)/45 a prime number?
True
Let x = 127005 - 32306. Is x a prime number?
False
Let l = 46263 - -13724. Is l composite?
True
Let z = 15 - -2108. Suppose y - 646 = h, -h = 4*y - 461 - z. Let p = -312 + y. Is p a composite number?
True
Suppose -7*k + 2 = -33. Let i be k/(4/(-10)*1/(-4)). Is 1 - 1 - (1 + 3 - i) prime?
False
Let g(u) be the second derivative of -u**4/12 - u**3/2 + 2*u**2 + 24*u. Let c be g(-3). Suppose -574 = -2*v + c*o, 5*v + 3*o - 1023 = 425. Is v prime?
False
Suppose 20*q - 58 - 22 = 0. Is ((-169206)/(-27))/(q/6)*3 a composite number?
False
Let c(u) = -1 + u - 4 + 1018*u**2 - 841*u**2. Is c(-2) prime?
True
Suppose -3*m + 6*x = 2*x - 458914, -2*x + 152968 = m. Suppose 109*l + m = 115*l. Is l a composite number?
True
Suppose -392232 + 3173870 = 35*d - 1669767. Is d a prime number?
False
Let b(x) = x**2 + 11*x - 12. Let i be b(6). Suppose s - 88 = -i. Is (-69812)/(-36) + s*1/9 a prime number?
False
Suppose -77*q + 50040 = -72*q. Suppose q - 34504 = -16*v. Is v prime?
True
Suppose -o = 2*o, 5*w - 26090 = 2*o. Is w composite?
True
Let z(t) = 2*t**2 - 36*t + 63. Let f be 50/(-2) + 9/(45/10). Is z(f) a prime number?
True
Let g = 188 - 167. Let f be (4/(-3))/((-18)/27). Suppose 5 = f*z - g. Is z composite?
False
Let g(w) = 29*w - 42. Let h be (2 + -1)/(1/((-60)/(-4))). Is g(h) prime?
False
Let h(q) = q**2 - 3*q + 785. Suppose 5 = 2*i + 3*g - 2*g, 2*i - 25 = -5*g. Is h(i) a prime number?
False
Let q = 22574 + -11986. Suppose -q = -3*l + 557. Is l a prime number?
False
Let h(v) = 11594*v**2 + 41*v + 1. Is h(2) prime?
False
Let q(r) = 51*r**2 - 5*r - 47. Is q(19) prime?
True
Suppose -6631*v = -6579*v - 13391612. Is v prime?
False
Let g = 6 + 1. Suppose g*x - 27 = 4*x. Let c(h) = h**3 - h**2 + 11*h - 8. Is c(x) prime?
True
Let b(l) = -3*l**2 - l + 1. Let x be b(1). Let q be (-4 + 2)/(-1) + x + 8. Suppose 8*z = q*z + 211. Is z composite?
False
Suppose -1 = 3*i + 44. Let b = -11 - i. Suppose 0 = 4*a - b*k - 697 - 559, -628 = -2*a + k. Is a prime?
False
Let m(w) = -2*w - 6. Let n be m(-5). Let a be (-15)/(-50)*10 - (-16)/2. Is (n + (4 - a))*-61 a composite number?
True
Suppose -47*c + 447932 = -62*c + 1581362. Is c prime?
False
Suppose 22*b = 831 + 2403. Suppose -293*a + b = -290*a. Is a prime?
False
Let s(d) be the third derivative of -d**4/12 + 3*d**3/2 + d**2. Suppose 3*y + 18 = 299*z - 302*z, 5*y = -5. Is s(z) composite?
False
Is -14 + 4 - (-115783 + 11) a composite number?
True
Suppose -3*f = -5*j + 1508, 4*f + 2*j + 1999 = -3*j. Let n = f - -1174. Is n composite?
False
Let s = 445771 - 248810. Is s composite?
False
Suppose -m + 11 = m + b, -5*b + 23 = 2*m. Suppose -4*f - 4050 = -5*d - 15048, 0 = m*d - 8. Let a = f - 591. Is a prime?
True
Let u(d) = 3*d + 9. Let z be u(-4). Let t = z + 28. Suppose 2615 = 5*g - 2*h, 6*h - h + t = 0. Is g a composite number?
False
Let n(j) = j**3 + 4*j**2 - 4*j - 5. Let h be n(-5). Let r(s) = 2*s + 22. Let o be r(h). Suppose o*b = -3350 + 10068. Is b a prime number?
True
Let d(n) be the third derivative of 11*n**6/30 + 5*n**4/12 - 73*n**3/6 + 90*n**2 + 2. Is d(6) composite?
False
Suppose -2*o - y - 261 = 251, 3*o - 3*y = -750. Let g = -18 + o. Let q = -9 - g. Is q prime?
True
Suppose 2*x + 1556 = 2*j, -5*j - x = 3*x - 3935. Suppose -5*c = 20, 11*c = -g + 9*c + j. Is g prime?
False
Let y(t) = 6*t - 71. Let l be y(12). Let c be (-1)/(-1) - 2 - -4. Is (l/c)/(2 - 15985/7995) prime?
False
Let t(v) be the third derivative of v**6/120 - 7*v**5/30 - 7*v**4/3 + 8*v**3/3 + 54*v**2 - 2. Is t(33) prime?
True
Suppose -56 + 51 = -5*f. Is ((-4)/(-4) + f)/2*21763 composite?
True
Let m = 296882 - 138835. Is m a prime number?
True
Let n be ((-12 - -6) + 4)*26/(-4). Suppose -n*t - 13*t = -43914. Is t composite?
True
Suppose 18*f = 5*f + 26. Suppose q = u + f*u + 2156, -5*q + 4*u + 10791 = 0. Is q composite?
True
Is (-34794523)/(-658) + 3/(-14) a composite number?
False
Suppose -57*m - 2*s = -52*m - 836715, 2*m = 3*s + 334705. Is m prime?
False
Is (-2)/(4/(-24498)) + 24/(-12) prime?
False
Let b(z) = 6*z + 124. Let d be b(-21). Is 6*d*(-33257)/84 a prime number?
True
Suppose -7*q = -9*q + 24. Let j be 1*4 - (-24)/q. Is 1*(j + -2) + 495 a prime number?
True
Let x(f) = f - 8. Let t be x(9). Is (8 - 7)*t*36293 a prime number?
True
Let m = 58 - 53. Suppose g - 16518 = -m*g. Let n = g + -1606. Is n composite?
True
Is (19 - 7) + 2 + 870221 a prime number?
False
Suppose -2663540 = -5*u - 5*f, -2*u - 434*f + 1065414 = -430*f. Is u prime?
True
Is 30/70 + (-76794644)/(-238) a composite number?
True
Let k(r) = -616*r + 11. Suppose -2*q + c = 7, 19 = q - 6*c + c. Is k(q) prime?
False
Let k(h) = -8779*h + 227. Is k(-56) a prime number?
True
Suppose -5*c + 4*j + 11 = 0, 5*j + 82 - 90 = -c. Let g = 504 - 58. Suppose -c*o = -253 - g. Is o composite?
False
Let j(f) = 315*f**2 - 8. Let d = 38 + -35. Is j(d) composite?
True
Let c(d) = 2*d**3 - 3*d**2 + 15*d + 5. Suppose 25 = j - 3*r + 7*r, 0 = -5*r + 25. Suppose -2*y + j*y - 21 = 0. Is c(y) composite?
True
Suppose -h + 144 = -4*d, -5*d - 165 - 30 = -5*h. Let y = -33 - d. Is -1 - y - (-114 - 4) a composite number?
True
Let l be (-3 - 1) + 10 + -3. Suppose -4*t + 9 = -l*i - 55, 4*i = 0. Suppose t*h + 1969 = 17*h. Is h a prime number?
False
Let o = -7572 - -24649. Is o a prime number?
True
Let i(m) = 2485*m**3 + m**2 - m. Suppose 0 = 5*j - 8*j + 3. Let v be i(j). Suppose -l + 8*l = v. Is l a prime number?
False
Let l be ((10 - 3) + 24)*6. Let h = 665 - l. Is h a prime number?
True
Let r(s) = s**3 + 6*s**2 - 2*s - 9. Let z be r(-6). Suppose z*u = -224 - 781. Let q = u + 1024. Is q a composite number?
True
Let h(r) = -2*r**2 - 20*r - 10. Let d be h(-8). Suppose d*f = 25*f - 8499. Is f prime?
True
Let h(p) = 17*p - 5. Let k(r) = 6*r - 2. Let f(l) = 3*h(l) - 8*k(l). Let u be f(1). Suppose -2*m + 5790 = u*m. Is m composite?
True
Let n = -63 + 72. Suppose 0*b + n*b - 194823 = 0. Is b composite?
False
Suppose -2*a + 14 = 0, -59*a - 116469 = -4*g - 58*a. Is g a composite number?
True
Let j(u) = 392*u**3 - 3*u**2 - 27*u + 111. Is j(5) a prime number?
False
Let v = 31 - 26. Suppose -v*y - z = -63, -y + 2*y = -z + 15. Is ((-1823)/3)/((-4)/y) a composite number?
False
Let n = 471269 - 218992. Is n composite?
False
Let y(c) = 2*c**3 + 0*c**2 - 1 + 12*c - 3*c**2 - 23*c + 8*c + 10*c. Is y(7) a prime number?
True
Is 63/28 + (-7)/((-140)/1809335) a composite number?
False
Let l(b) = -17*b**2 + b - 37. Let m be l(22). Let c = -3682 - m. Is c a composite number?
False
Let i = -490 + 935. Suppose -63 = 2*r + 509. Let j = i + r. Is j composite?
True
Let a(h) = h**3 - 12*h**2 - h + 14. Suppose 0 = 2*t - 4*u - 12, 2*t + 5*u + 0*u = 39. Let x be a(t). Is (-728 + -6)/(x/(-7)) a composite number?
True
Suppose -t + 32 = 2*w - 6*t, 5*w - 47 = -4*t. Suppose 3*p = -2*o - p - 10, -5*p - w = o. Is (o/3)/(3/(-13563)) composite?
True
Suppose 3*m = -3*g + 24, 0 = -5*g + 2*g + 4*m - 4. Suppose g*o + 2*k = 22, 4*o - 5*k = -o + 5. Is ((-21)/(-28)*o)/(6/50) a composite number?
True
Is -6 - (-136480 + 18 + -1) prime?
False
Suppose 0 = 5*j + 35 - 10, j = 5*p. Let l be ((-42)/(-12) - 4)/(p/6). Suppose -4*t = -0*t - 5*h - 203, -129 = -l*t - 4*h. Is t prime?
True
Let i be (-7)/3 + 7/21. Let y(m) = -18*m**3 - 3*m**2 + m - 3. Is y(i) a composite number?
False
Let n = -2167069 - -3389322. Is n prime?
True
Suppose -19*z + 1954441 + 1085122 = 0. Is z a compos