2325 = r*v. Is v prime?
True
Let y(p) = 282*p**2 + p + 9. Let n(x) = -2*x**2 + 48*x + 160. Let q be n(27). Is y(q) a prime number?
False
Suppose -4*r + 13*r = 27. Suppose -r*t + t = -6, 2*c - 2200 = 4*t. Suppose 365 = h - c. Is h composite?
False
Is -9*(-60)/135 + 5917 prime?
False
Let f(s) = -s**2 - 41*s - 151. Let l be f(-25). Let x be ((-4)/(-10))/(3/615). Let j = l + x. Is j a prime number?
True
Suppose 0 = -4*l + 9227 + 10053. Let n = l - 3261. Is n a prime number?
True
Let l(p) = 16572*p + 2. Let x be l(-1). Let b = x - -30785. Is b composite?
True
Let k = -1224344 + 1976101. Is k composite?
True
Suppose 12*j + 4*t - 445104 = 8*j, -5*j = 2*t - 556383. Is j composite?
True
Let f = -7467 - -12457. Suppose 2*x = -2*y + 1988, 5*y + 4*x = 3*x + f. Suppose -4*b - k = -y, -b + 0*b - 3*k = -236. Is b composite?
False
Suppose 3*p - 1048510 = s, -109*p - 2*s + 349487 = -108*p. Is p composite?
True
Let m(z) = -149*z**3 + 7*z**2 - 6*z - 21. Is m(-2) a prime number?
False
Let k = -25 - -28. Suppose -5*w = 3*z - 0*w - 18, -k*w + 4 = -5*z. Is (10629/45)/(z/5) a prime number?
True
Suppose -2179*w = -2228*w + 16085279. Is w composite?
False
Let a(g) = -517*g + 57. Let y be a(-10). Let r = -2920 + y. Is r composite?
True
Let n(s) = -742*s - 137. Let h(c) = 148*c + 27. Let f(i) = 11*h(i) + 2*n(i). Let t be (-1 + 3 + -1)*5. Is f(t) prime?
True
Suppose -1 = q + 5*r - 5, 0 = -5*q - 3*r - 68. Let o be 9*(q/(-18))/4. Suppose 920 = o*z + c + 330, -3*z + 3*c = -885. Is z a composite number?
True
Let f be (2/(-6) - -1)/((-348)/(-35513226)). Suppose -175*h + 176*h - f = 0. Is h a composite number?
True
Let d be -2*2076*32/(-12) + -3. Suppose 4*o - 7*o + d = 4*l, 0 = -5*o + 5*l + 18460. Is o prime?
True
Let t = 12 + 8. Suppose -17*r = -t*r + 12. Suppose -r*d = 3*d - 4823. Is d composite?
True
Let q(z) = 5*z**2 - 8*z + 9. Let w be q(2). Suppose -w*k + 114827 = 14116. Is k a composite number?
True
Let p = 179617 - -383656. Is p prime?
False
Let b be (((-18)/(-27) - 4) + 3)*-189. Let t be 868/3 - (-2)/3. Let z = t + b. Is z composite?
False
Suppose 16 = 3*x - 4*t - 2, -5*t = -4*x + 23. Suppose 10*j = 5*j - x*j. Is ((-673)/3)/(-1)*(j - -3) a composite number?
False
Suppose -25*i = -18*i + 21. Is 32111 - (561/(-85) + i/(-5)) prime?
True
Let d = 1020 - 702. Suppose -d = 4*p - 94. Is 3/4 + (-29806)/p a prime number?
False
Suppose 5*b - 10 = 5*o, 9*b + 25 = 4*b - 2*o. Is (b/(-6))/((-2)/(-24908)) composite?
True
Let m(l) = 60*l**2 - 5*l - 4. Let t be m(-3). Suppose 14*v = 61*v - 188. Suppose 5*g = v*g + t. Is g composite?
True
Let k(n) = 129*n**2 + n - 1. Let z be k(1). Suppose 0 = -61*x + 142*x - 43173. Let i = x + z. Is i composite?
True
Let z be 12/(-12) + (1 - (1 + 11)). Is (-1 - z/18)*-2493 a prime number?
False
Let m = -152 - -173. Suppose 0 = m*o - 32*o + 23903. Is o a composite number?
True
Suppose -k + 18*i - 16*i + 214313 = 0, 5*k + 3*i = 1071617. Is k a prime number?
False
Let x be (4/(-20)*0)/(-3) + -7688. Let p = x + 20461. Is p a composite number?
True
Suppose 65*k + 149*k = -87*k + 423821545. Is k composite?
True
Let m = -6353 - -6182. Suppose 4*n = 2*b + 1756, -2*b - 3*n = 1122 + 669. Let i = m - b. Is i a composite number?
True
Let w(q) = 2970*q**2 - 86*q - 207. Is w(-19) prime?
False
Suppose -2*c - 8 = 0, 885454 = 12*g - 10*g - 3*c. Is g prime?
True
Let o = 28 + -26. Suppose 2*k = 5*k - 3*x - 9, -20 = -o*k - 5*x. Suppose k*z - 4820 = 995. Is z composite?
False
Is 2*((-52)/(-338) - (-556470)/52) a composite number?
True
Let g = 52 - 10. Is ((-7)/(g/(-4)))/((-14)/(-2289)) a composite number?
False
Is 2*(7/84*-7390 + 6)*-39 prime?
False
Let x be 1*4 - (-12 + -38). Let t be 6/(-39) + x/13. Suppose -1353 = -4*i - z, 4*i + t*z - z = 1363. Is i prime?
True
Let b(t) = 901*t**3 - 23*t**2 - 902*t**3 - 7*t - 5*t + 42 - 7*t. Is b(-29) a prime number?
True
Let a(d) = -17*d**2 - 6*d - 11. Let h(r) = -r + 1. Let f(l) = -a(l) + 2*h(l). Let t = 1205 + -1215. Is f(t) composite?
True
Suppose -r - 4*r = -40. Suppose 213*u = 216*u - 12. Is (((-64)/12)/r)/(u/(-318)) composite?
False
Suppose -6*y + 159 = 27. Suppose 7*d + y - 1 = 0. Let c(n) = -129*n**3 - 4*n - 4. Is c(d) prime?
True
Is (-1 - -2 - (27 + -25))*-26669 composite?
False
Suppose 4*u - 5*z = -4*z + 21, 2*u - z - 13 = 0. Let t be (-15)/(-6)*((u - 0) + 50). Suppose -t*f + 131*f + 5588 = 0. Is f a prime number?
False
Let s(q) = -60*q - 351. Let u be s(-6). Let n = -8 - -6. Is 177 + n + u + -5 a composite number?
False
Is 2/(-14)*-64 + -9 - (-597056)/14 a prime number?
False
Suppose 0*k - 4*k = -4. Let o be -1465*k/((-3)/12*10). Is o + (3/3)/1 composite?
False
Let l be 5/(-2)*(30/25)/1. Is (5 - 2)/(l/(-2722)) a composite number?
True
Let c = 17 - 13. Let p(s) = -182*s - 7. Let m be p(c). Is 2/((-1)/3 - 275/m) a composite number?
True
Suppose -335*t + 33776928 = 226*t - 73649523. Is t composite?
False
Let r(y) = -y + 12. Let g be r(5). Is ((-466788)/(-132))/g - (-2)/(-11) composite?
True
Suppose -9*d + 184945 - 58126 = 0. Suppose -7*j + 2240 + d = 0. Is j composite?
False
Let j be 2/((-1257)/420 - -3). Let c(o) = 221 - j - 1490*o - 976*o. Is c(-5) composite?
True
Let k(j) = j**3 - 15*j**2 + 7*j - 37. Let o be (-3 - 5/(-2))/(1/6). Let z be 19 - ((-24)/(-4) + o). Is k(z) a composite number?
False
Let r(u) be the third derivative of -u**7/840 + 23*u**6/720 + 7*u**5/60 + 22*u**2. Let z(n) be the third derivative of r(n). Is z(-8) a composite number?
False
Let b = 743 - -74. Suppose 1 + 24 = 5*q, -t + b = 2*q. Let u = t - 138. Is u a prime number?
False
Let p(n) = 3*n**3 - 25*n**2 + 71*n - 1. Is p(38) a composite number?
False
Suppose -4646642 = -16*i + 309662. Is i a composite number?
False
Suppose l + 7185*s - 84039 = 7184*s, s + 336196 = 4*l. Is l prime?
True
Suppose -r = 4*u - 39, 0 = -u + 2*r - r + 11. Let t be 12 - 22*(-725)/10. Suppose 903 = u*c - t. Is c a prime number?
True
Let k(n) = -13*n + 0*n**3 + 92 - 13 + 16*n - n**3 + 6*n - 32*n**2. Is k(-36) a composite number?
True
Let p be -3*(-2)/(-9) + 66/18. Suppose 0 = -p*f - 2*n + 2741, 983 = -4*f + 5*n + 4607. Is f a composite number?
False
Let n(j) = -j**2 + 9*j - 26. Let v be n(4). Let z be 162/(-45) + 4/(-10). Is (-12650)/z - 3/v composite?
False
Let s be 2/2 + 8 + -3. Suppose -15 - 7482 = -k. Is (2/s)/(21/k) a composite number?
True
Is (3 - 8 - (11 + -29)) + 84364 composite?
False
Suppose -12*i = -2311 + 8251. Let s = -272 - i. Is s a composite number?
False
Let o = -29857 - -310608. Is o composite?
False
Let m(a) = -2*a + 38. Let b be m(14). Suppose -5887 = -5*x + 2*w, b*x - 12*x + 2*w + 2356 = 0. Is x a composite number?
True
Suppose -p + 3*o = -19586 - 742, -3*p - 5*o = -61026. Is p a prime number?
False
Suppose -5*z + 4*k + 28656 = 2*k, 0 = -z - 4*k + 5718. Suppose 10*x - 1500 = z. Is x a prime number?
False
Suppose 0 = -70*w + 19*w - 1403237 + 9337766. Is w a composite number?
False
Is (-14314520)/(-216) - (112/(-54) + 2) composite?
False
Let v(z) = z**3 - 6*z**2 - 12*z - 36. Let w be v(9). Suppose 403 = 4*c - 213. Let y = w + c. Is y a prime number?
False
Suppose 4*k - 473 = -5*y - 19109, 13976 = -3*k - 4*y. Let f = k + 7701. Is f a prime number?
True
Let b = -16741 + 43100. Is b prime?
False
Suppose -t - 2 = -11. Suppose -4*i + w + 5 = -6, t = 3*i - w. Suppose i*a + 4*a - 8634 = 0. Is a a prime number?
True
Suppose 3*h = -5*r + 1799191, -2*r = -3*h - 715439 - 4229. Is r composite?
False
Let y(l) = -18*l**3 + 2*l**2 - 3. Suppose -5*v - q = -v - 19, 5*v - 27 = 2*q. Suppose 2*n = 3*x + 19, -v*x - n = 3*n - 5. Is y(x) a composite number?
True
Let g(m) = -m**2 - 97*m - 599. Is g(-34) a prime number?
True
Suppose 161421 = 3*u - i, 31*i - 30*i - 269051 = -5*u. Is u composite?
True
Let i(h) = -h**3 - 13*h**2 - 11*h + 17. Let g(r) = -r - 7. Let u be g(5). Let f be i(u). Suppose -f*n = 214 - 1279. Is n composite?
True
Suppose 0*w = w - 3*c - 2039423, 0 = -3*w + 2*c + 6118255. Is w a composite number?
False
Let z = -62 - -67. Suppose z*m + 2695 = -5*h, -2*h - 2*h - 2156 = -m. Let w = 868 + h. Is w a composite number?
True
Is 33346*(-6)/8*(-24)/36 a prime number?
True
Let o(i) = 2886*i**2 + 22*i + 73. Is o(-5) a prime number?
False
Suppose 2*r = -o - 37589, 2*o = 5*r - 3*r - 75208. Let h = 73506 + o. Is h a prime number?
False
Suppose 0 = 2*q + 3*q + 5. Let a be (0/(