 prime number?
True
Suppose 213*k = -5*c + 214*k + 1626349, 2*k = -5*c + 1626367. Is c prime?
True
Suppose -3*d + 6 = 2*g + 42, -4*d - 4*g = 44. Let r be ((2/4)/(1/d))/(-1). Suppose 0 = r*h - 4*h - 921. Is h composite?
False
Suppose 1015*o - 1035*o = -41180. Let g = -47 + 83. Is (g/(-24))/(-1 - o/(-2062)) a prime number?
True
Let s(t) = 46*t**2 - 61*t - 235. Is s(46) a composite number?
True
Suppose -54*m = 24*m - 105856702 + 25213516. Is m a composite number?
True
Let i be ((-20)/(-5))/(-4) + 2*3. Suppose 0 = -i*q + 141 + 49. Let f = 44 - q. Is f prime?
False
Let i be 34094/7 + -1 + (-4)/7. Suppose -3*a - 2*a + 5*p = -24295, -a - 4*p = -i. Is a composite?
False
Let m = -12 - -16. Let k be (8 - 3)*(m/10 - 0). Suppose -k*g - g = 2*r - 584, -2*g - r = -389. Is g a prime number?
False
Let z(s) = s**3 + 4*s**2 + 2*s - 6. Let v be z(-8). Let r = v + 187. Let f = r + 232. Is f prime?
False
Suppose 2*b - 28 = -100. Let m = b + 19. Is (-790)/(-6)*(m - -20) prime?
False
Let i = -3054 + 36796. Is i a composite number?
True
Let x(l) = -12*l - 256. Let k be x(-29). Let w be (476/(-12))/(1/(-9)). Let o = w - k. Is o a composite number?
True
Let o = 33014 - -36785. Is o a prime number?
False
Suppose 618168 = 23*m - 2845236 - 63715. Is m a prime number?
True
Let m = 175 + 1810. Let y = m - 844. Is y composite?
True
Let d(v) = v**3 + 21*v**2 - 14*v + 12. Let s be d(-11). Suppose f - 3327 = 5*n + s, 0 = -n. Is f a prime number?
True
Let w be 16 + -13 - 12*-2. Suppose -9*u + w + 18 = 0. Suppose -k + 2*q = -293, u*k - 2*k = 2*q + 883. Is k a prime number?
False
Let p = 26 + -23. Let c(g) = 23 + 0*g + 150*g**2 - 27 + 5*g. Is c(p) prime?
True
Suppose -236*c + 699689 + 434399 = -228*c. Is c a composite number?
False
Let j = 113111 + 921662. Is j a prime number?
False
Let k = -31554 - -50485. Is k a composite number?
True
Suppose g + 3*g - 29092 = v, -3*g + 2*v = -21814. Suppose -11*r + 3363 = -g. Suppose -4*x = -j - 355 - 412, 5*x - r = 4*j. Is x composite?
False
Is (-9)/((-126)/(-14))*(-2 - 297791) prime?
True
Let m(x) = -10*x**3 - 11*x**2 - 8*x + 21. Let s = -115 - -105. Is m(s) composite?
False
Let l(n) = n**2 - n + 187. Let d be l(0). Let u(s) = -7*s - 29. Let v be u(-15). Let j = v + d. Is j prime?
True
Suppose -12*t = -t. Suppose -f + 87 + 16 = t. Suppose q - f = -5*p - q, 20 = 5*q. Is p composite?
False
Is (84/6)/70 - (-868128)/10 a prime number?
True
Is ((-1921700)/210 + (-2)/(-7))*3198/(-104) a prime number?
False
Suppose -3*w + w - 2761 = d, -w - 2*d - 1382 = 0. Let k = 2411 + w. Is k composite?
False
Let i = 100110 + -35293. Is i a prime number?
True
Let x = 10305 + -23566. Let u = 26546 + x. Is u composite?
True
Let f = 13422 - 10919. Is f composite?
False
Suppose 2*s = -2*p + 4, -2*p = -s - p + 6. Suppose 2*g + 13954 = s*g. Suppose k + 2*f = 1399, -g = -5*k + f - 5*f. Is k a prime number?
False
Let t(q) = -762*q - 17. Suppose 5*o - 27 = -j, 15 = 5*o - 10*j + 5*j. Suppose -3*n - 17 + 51 = -5*c, 22 = -o*c - n. Is t(c) prime?
True
Is (14 - -81083)/(4 - 3) a composite number?
False
Let v = -156 - -160. Is ((-10606)/4)/(35/10 - v) a composite number?
False
Let g(j) = 5*j - 33. Let p be g(7). Let o = 157 - 86. Suppose -p*c - 3*i + 653 = 0, 4*i = -4*c + o + 1241. Is c composite?
False
Let j(o) = 35*o**3 - o**2 - 3*o - 8. Let f be j(-4). Let x = -1296 - f. Let p = x - 619. Is p prime?
True
Let h(s) = -1 - 4*s + 20 + s + 0*s. Let a be h(5). Suppose g + a*g = 485. Is g prime?
True
Let z = 323611 - 174072. Is z composite?
True
Let z = -2260 - -4879. Suppose 3*y + 4384 = 28*f - 24*f, -4*f + 1448 = -y. Let l = z + y. Is l prime?
True
Let o be 1 - 1 - 2/((-10)/8155). Let h = 4380 - o. Is h composite?
False
Suppose -24*v + 2553736 - 331552 = 0. Is v a composite number?
True
Let z = 539 + -989. Let u be (z/7)/(3520/(-504) + 7). Let b = 7247 + u. Is b prime?
False
Let z be ((-28)/84)/((-2)/20466). Suppose z = g - 6238. Is g prime?
True
Suppose -2*w - 5 + 7 = 2*k, 5*w - 15 = -3*k. Let p(z) = 297*z + 17. Is p(w) prime?
False
Suppose -2*m + 4 = -0*v - 2*v, -5*m - 17 = 4*v. Is 895*(-126)/(-35) + m/(-1) a prime number?
False
Suppose 76 = 3*x + 2*t, 2*x + 2*x + 2*t - 98 = 0. Let z = x + 1. Suppose -z*g + 20*g = -1947. Is g composite?
True
Let o(t) = 4*t + 11*t**2 - 8*t**2 - 2*t**2 + 5*t + 18. Let c be o(-7). Suppose 0 = c*h - 1183 - 957. Is h a composite number?
True
Let j be (2 + 1)/(4/(-40)*2). Let i(z) = 2*z + 32. Let a be i(j). Suppose 4*q = -g + 657, 3377 = 5*g - q - a*q. Is g prime?
True
Suppose c = 4*b + 3*c - 58, 72 = 5*b + 2*c. Suppose -112463 = -b*a + a. Is a a composite number?
True
Let l be 3/2 + (-44)/(-8) + -5. Let g(u) = -u**2 - 4 - 3*u + 3 + 5*u**l + u**3. Is g(13) a prime number?
True
Let r be 7/(-28) + 49561/4. Let a = r + -21868. Is 6/(-4)*a/21 composite?
False
Let u = 33305 + 410354. Is u a prime number?
True
Let r(d) = -4871*d**3 - 2*d**2 + 6*d - 23. Is r(-3) a composite number?
True
Let k(x) = x**3 + 9*x**2 + 8*x - 32. Let b be k(-12). Let c = b - -829. Is c prime?
True
Let l be (3/(-12) + 6/(-40))*-30. Let m(j) = -j**3 + 14*j**2 + 28*j + 7. Is m(l) a composite number?
False
Suppose d + 2159277 = -12*m + 17*m, 0 = -m - 16*d + 431985. Is m composite?
False
Let y = 38803 - 25445. Suppose 5*x - 58633 = -y. Is x a composite number?
True
Let m(g) = g**3 - 10*g**2 - 11*g + 1. Let i be m(11). Let j be (i - (-18)/24)/((-2)/(-808)). Suppose -o + j = -0*o. Is o a prime number?
False
Let f(g) be the third derivative of g**4/24 + g**3 - 13*g**2. Let v be f(2). Is ((-521)/3)/(1 - v/6) a composite number?
False
Let f(h) = 558*h**3 + 4*h**2 - 16*h + 1. Let r(o) = o**3 - 2*o - 1. Let c(z) = f(z) - 3*r(z). Is c(3) a prime number?
False
Let h(k) = 2*k**3 + 16*k**2 - 7*k - 34. Let q be h(-8). Is 9/6 - (-181841)/q a prime number?
False
Let r be (-8)/(-28)*2*7/2. Suppose 4*o - 112 = -o + 4*p, -p = -r. Suppose 4*z = 5*v + 183, -2*v - 21 = -z + o. Is z composite?
False
Is 6*813329*20/1320 prime?
True
Suppose 5*j = -4*o + 363467, 21*o + 90872 = 22*o + 3*j. Is o a prime number?
True
Is 1/(7/(18897 + 10)) a prime number?
False
Suppose 74*x = 65*x + 72909. Is x a composite number?
False
Let x = 205279 + 4023. Is x a composite number?
True
Suppose 0 = 5*k + 4*k + 372627. Let t = 61690 + k. Is t prime?
True
Let a(f) = 442*f**2 + 5*f + 1. Let v be a(-7). Suppose -v + 8019 = -15*y. Is y a prime number?
True
Let c be (2*2/(-4) - 0) + -58. Let l = 63 + c. Suppose -4*o - l*d = -2512, 3*o + 0*d = -d + 1874. Is o prime?
False
Let q(o) = 564*o**2 - 4*o - 9. Let m(g) = -g**3 - 14*g**2 + 16*g + 19. Let a be m(-15). Is q(a) composite?
False
Suppose -59*p = -64*p - 60. Is (-3)/(-2)*((-6056)/p + 4) prime?
False
Let a(d) = 0*d**3 + 7*d - 5*d**2 - 5*d**2 + 3*d**3 + 2*d**3 + 3. Is a(9) composite?
True
Let a be -1 + (-2)/(-2) - 1. Let h(i) = -857*i**3 - i**2. Let z be h(a). Let x = 187 + z. Is x a prime number?
False
Let g be (-14)/21 + 2/(18/267). Suppose g*s - 26380 = 25*s. Is s a composite number?
True
Suppose 3*y - 5*j - 186601 = 0, -4*y - 5*j + 248820 = -7*j. Is y a composite number?
False
Suppose -273607 = -2*n + d, 3 = 5*d + 28. Is n prime?
False
Let v = -64 + 68. Suppose 11*f - 7*f - 57048 = v*i, -f + 5*i = -14258. Is f composite?
True
Let v(i) = 8*i**2 - 13*i - 449. Is v(26) a composite number?
False
Suppose 13*g = -4 - 9. Is (116712/(-42))/g - 2/(-14) prime?
False
Let o(a) = -13403*a - 2133. Is o(-17) composite?
True
Suppose 98*j + 164 = 102*j. Suppose 40*g + 2749 = j*g. Is g composite?
False
Is (0 + 2 + -5)/(171/(-26390373)) a composite number?
True
Is (((-56)/9 - (-12)/54) + -575)/(-1) a composite number?
True
Let k(m) = -1047*m - 4421. Is k(-62) a composite number?
False
Let m be 17/(-5 - (-20692)/4138). Suppose 3*d - 21101 = -t, d + m = 6*d + 4*t. Is d a prime number?
False
Let a(b) = b**3 + 89*b**2 + 293*b - 42. Is a(-83) a composite number?
True
Let l = -240 + 229. Is l/((-165)/353140)*3/4 composite?
False
Let n be (20/2)/(4/(-2)). Let u(d) = 125*d**2 - 5*d - 4. Let f be u(n). Is f + ((-12)/12)/(2/6) prime?
False
Suppose 8042075 - 1498042 = 109*q. Is q a composite number?
False
Suppose 4*p - 10 = 42. Let i(x) = 27*x**2 - 16. Is i(p) prime?
True
Suppose 3*b - 397767 = 14*a - 17*a, 7*b + 3*a - 928123 = 0. Is b a prime number?
True
Suppose 4*w - 10 = 6*w, -5*c = -w + 5. Let g(p) =