rime number?
True
Suppose 0 = a + 5*b - 23, a - 6 = -b + 5. Let m(q) = 382*q + 5. Is m(a) prime?
True
Suppose -9*i + 2*i + 21 = 0. Let a(v) = 309*v - 50. Is a(i) a composite number?
False
Is (13/(-26))/((2 - -10)/(-2594832)) a prime number?
False
Suppose 0 = 12*y - 11*y + 2*t - 11121, 0 = -2*y - 3*t + 22238. Is y prime?
True
Suppose 12*m + 8 = 13*m. Let c be 2/m*9 + (-53)/212. Suppose 2*r = d + 72 + 1370, c*r = 4*d + 1454. Is r composite?
False
Let f(m) = 10858*m - 313. Let z(l) = -3619*l + 104. Let y(s) = -6*f(s) - 17*z(s). Is y(-9) a composite number?
True
Let v(n) = -2*n**3 - 6*n**2 + 3*n + 262303. Is v(0) a composite number?
False
Suppose -16*t + 2 = 2. Suppose t = -u - 9*h + 11*h + 5751, -3*h + 28729 = 5*u. Is u a prime number?
False
Let q(k) = 555*k - 38. Suppose 0 = 5*p - 3*n - 48, p + 5*n + 9 = 13. Is q(p) composite?
False
Let b be 9306/(-1)*10/60*-4. Let c = 16966 - b. Is c composite?
True
Suppose 4*n - 2*m + 3*m = 6938, 0 = -3*n + 2*m + 5198. Let k = -805 + n. Is k prime?
True
Let m(a) = 48*a - 37. Suppose 20 = 6*h - 100. Suppose l + 7 = h. Is m(l) a composite number?
False
Suppose -2184346 - 2257759 = -29*w - 957436. Is w a prime number?
False
Suppose 4*c + 180351 = 2*s - 1070527, -5*c + 30 = 0. Is s prime?
True
Let b(s) = 3*s**2 + 2. Let r be b(0). Suppose -2*o + 2 = -2*k - r, 4*k + 3*o - 20 = 0. Suppose 5*g = -5*z + 5415, -g - 2863 + 685 = -k*z. Is z prime?
True
Let v = -168690 - -282823. Is v prime?
False
Let z = 715722 - 313626. Suppose 0 = -7*d + 23*d - z. Is d prime?
False
Let m(f) = -f**3 + 14*f**2 - 3*f + 1. Suppose -14*k + 20 = -9*k. Suppose -k*s = -0*s - 20. Is m(s) prime?
True
Suppose -5*w + i = 5*i - 7304, -4*w + 4*i + 5872 = 0. Let q be (-6)/(2 + -3) + -5 + 3. Is q/10 + 0 - w/(-40) a prime number?
True
Let v = 890 + -896. Suppose 2*p = -5*m + p + 123, -87 = -3*m - 5*p. Is v/(m/19444)*(-3 + 2) a prime number?
True
Let j(r) = -3*r**3 - 19*r**2 - 50*r - 41. Is j(-13) a prime number?
True
Suppose 0 = -5*i - 5*t + 40 + 5, 0 = 5*i - 2*t - 38. Let u(g) = 1645*g + 207. Is u(i) prime?
True
Let b(u) = -4308*u - 142. Is b(-1) a composite number?
True
Suppose -4 = 174*p - 176*p. Suppose 0 = -w + 5*v + 4227, -w - v - 4211 = -p*w. Is w composite?
True
Suppose 18*z = 20*z + 72*z - 16214214. Is z a composite number?
True
Let l be -1*5/(5/113)*127. Is l/(-3) + (-10)/15 a prime number?
True
Suppose 4*f - 18 - 12 = 5*u, f = -4*u - 3. Suppose -2*v = -f*o - 6*v + 3191, 0 = 4*o - 5*v - 2520. Is o prime?
False
Let b be (-11 - 5090/(-20))/((-1)/(-12)). Suppose -3108 = 5*p + 2617. Let o = b + p. Is o a prime number?
True
Suppose -8408*v = -8434*v + 4857866. Is v composite?
False
Let i(q) = 9139*q**2 - 162*q + 10. Is i(-3) a prime number?
False
Suppose 0 = -3*y - 2*p + 24453, -p = -155*y + 154*y + 8141. Is y prime?
True
Let x = 816923 - 475590. Is x prime?
True
Let m = 29829 - -40730. Is m a composite number?
True
Suppose -9*k - 24 = -87. Suppose k*p - 18 = 10. Suppose p*g = -4*m + 1664, -2*g - m - 3*m = -838. Is g a composite number?
True
Let c(r) = 13*r + 15. Let q be c(1). Suppose 0 = q*x - 11*x - 286841. Is x prime?
False
Let i = 1754329 - 839826. Is i a composite number?
True
Let n = 53 + -55. Is 20/(-15) - (n + 359805/(-9)) a composite number?
False
Suppose -4*f + f - 36 = -4*t, t = 4*f + 9. Suppose -t*c - 1234244 = -53*c. Is c a prime number?
True
Let a(h) = -664*h + 21. Let v be a(28). Let c = 39086 + v. Suppose -2134 + c = 3*o. Is o composite?
True
Let s = -2814 - -5537. Is s prime?
False
Let q = -141 - -952. Suppose 4*o - 28168 = y, 5*o + 5*y - 34424 - q = 0. Is o composite?
False
Let x = 28198 + -3171. Is x a composite number?
True
Suppose 0*t = -5*o + 2*t + 8036, 2*t + 3218 = 2*o. Suppose 5*j + 3*x - 13316 = 0, -12*j - 4*x = -16*j + 10672. Let d = j + o. Is d a prime number?
True
Suppose 24 = 4*n + 2*n. Suppose 3*k + 1 = n*k. Is ((-133)/38)/(k/(-74)) composite?
True
Suppose -6*j - 296 - 100 = 0. Let f = j + 70. Suppose -2*y - 2*y - 12 = 0, y = -f*g + 1553. Is g a prime number?
True
Let x = 4280 - -2340. Is 9/(-6)*x/(-30) a composite number?
False
Let r = 29 - 39. Let k(x) = -8*x**3 + 5*x**2 - 9*x + 19. Is k(r) a composite number?
False
Let i(f) = -f**3 + f**2 + 8*f - 6. Let j be i(-3). Suppose j*r = 26*r - 99340. Is r a prime number?
True
Is (-594408)/(-36)*90/12 prime?
False
Suppose -9376704 = -122*q + 39260914. Is q composite?
False
Let o(c) = 10*c**2 + 8*c - 7. Let v be o(1). Suppose j = -3*i - v, 5*i = -0*i + j - 5. Is ((-1)/12*-6)/(i/(-15244)) prime?
False
Let j be -3 - 767 - (0 + 0). Let z be ((-1)/(-2))/(j/384 - -2). Let v = -53 - z. Is v composite?
False
Suppose 2101 + 10559 = 5*s - 4*t, 3*t = 2*s - 5057. Suppose 8*l - 4*l = s. Let j = l + -267. Is j prime?
True
Suppose 12*j + 41002 = 4*g + 10*j, -j + 30764 = 3*g. Suppose 9*h - 7630 - g = 0. Is h a composite number?
False
Let j be (-1 + 6/6)/2. Suppose 0 = -j*v + 5*v + 2*z - 9709, -1928 = -v - 5*z. Is v prime?
False
Let u(a) = -5608*a - 222. Let h be u(-12). Suppose h = 22*x - x. Is x a composite number?
True
Is 54/25*2812 - (-130)/1625 a prime number?
False
Suppose 0*o = -5*m - o + 28, 9 = 3*o. Suppose 0 = 2*i - m*r - 83621, 3*r = 22 - 31. Is i a prime number?
False
Let f = -573969 + 983360. Is f a prime number?
True
Let i(s) = 8756*s - 103. Is i(64) a prime number?
True
Let p be -14*((-3)/6 - 0). Suppose -10*a - 417 = -3*w - 7*a, 685 = 5*w + 5*a. Is (p - w)*1/(-1) prime?
True
Let q = -27 + 59. Suppose -q*p = -25*p - 77. Suppose -k = -565 + p. Is k a composite number?
True
Let s be 24/15*590/4. Suppose 70 = 432*t - 430*t. Let v = s - t. Is v composite?
True
Let x be (4/10)/(8/80). Suppose -i = -3*u + 12587 - 4815, 5158 = 2*u + x*i. Suppose 4*c + 5*t - u = 0, 2*c - t - 1277 = -0*t. Is c a composite number?
False
Let x(h) be the third derivative of 793*h**5/60 + 33*h**4/8 + h**3/2 - 169*h**2. Is x(-3) prime?
False
Suppose -4*v = -3588 - 1492. Suppose -t = 7 - 6, x + 3*t = 7022. Let l = x - v. Is l composite?
True
Let b(m) = m**3 + 8*m**2 + 6*m - 5. Let f be b(-7). Suppose -v + f = -0. Suppose -2*d = -v*r + 1042, 3*d = 3*r + d - 1565. Is r a composite number?
False
Is 164/1230*10/4*675429 a composite number?
False
Let m = -458 - -828. Suppose -93*g - m = -98*g. Is g composite?
True
Let a = -19 - -50. Let r = 34 - a. Let m(f) = 117*f**2 - 4*f + 2. Is m(r) a composite number?
True
Let x = -470 - -465. Let v(t) = -78*t - 9. Is v(x) prime?
False
Suppose -2*h = -u - 70618, h + 4*u - 70638 = -h. Is h prime?
True
Let u(x) = 5*x**2 + 14*x + 10. Let c(o) = -9*o**2 - 27*o - 19. Let i(t) = -6*c(t) - 11*u(t). Suppose 9*v + 50 - 77 = 0. Is i(v) a prime number?
True
Let s = 219 + -186. Suppose s*w - 28190 = 23*w. Is w prime?
True
Let k(v) = -951*v - 99. Let y be k(-24). Suppose 4*t + 140 - 18322 = -3*u, -5*t = 5*u - y. Is t a prime number?
True
Let k(r) = -r**2 - 7*r - 4. Let i be k(-8). Let l = 27 - 28. Is 174/i*122*l prime?
False
Let p(j) = 8*j + 7. Let m be p(-3). Let i(k) be the second derivative of k**4/6 + 4*k**3 - 9*k**2/2 - 8*k. Is i(m) a prime number?
False
Let a(m) be the first derivative of 403*m**2/2 + 6*m + 17. Let k be a(5). Let g = -1042 + k. Is g composite?
True
Let n = 1155967 - 675453. Is n a composite number?
True
Let f be (-4)/(-14) + (-9540416)/112. Is f/(-9)*-1*(-3)/2 a composite number?
False
Let k(r) = 14*r**2 + 12*r + 159. Is k(-22) composite?
True
Let r(o) = -1053*o - 1225. Is r(-4) a composite number?
True
Let t be (-35 - -36)*(0 - -4). Let c(f) = 23*f**3 - 6*f**2 + 6*f - 7. Is c(t) a composite number?
True
Let c(s) be the first derivative of 13*s**2 + 25*s - 133. Let h = -20 - -28. Is c(h) composite?
False
Let f = -11633 - -36226. Is f a prime number?
True
Suppose -4*s = 2*u - 20, -5*u = s - 42 - 35. Let k(b) = -100*b**3 - 15*b**2 - 10*b + 13 - 3 + 101*b**3. Is k(u) a prime number?
False
Suppose 71*g - 3*l = 67*g + 469024, -4 = l. Is g a composite number?
True
Let j = -299580 + 567121. Is j a composite number?
False
Suppose -118475 = -0*w - 11*w + 142599. Is w a prime number?
False
Is 4/36*18*(-209917)/(-2) prime?
True
Let t = -1756 + 423. Let w(l) = 6*l**3 + 3*l**2 - 3*l. Let a be w(-7). Let i = t - a. Is i a composite number?
False
Let n = -2401 + 7014. Let q = n + 24. Is q composite?
False
Suppose 25*p - 28*p + 66 = 0. Suppose 3 = -5*g - p, 0 = -l + 2*g + 