composite number?
True
Let v = 304483 - 184796. Is v prime?
True
Let g(l) = 7*l + 11. Let u be g(-3). Let n(d) = d**2 + 8*d + 8. Let t be n(u). Let r = 219 - t. Is r a prime number?
True
Let f = -16196 + 42235. Is f composite?
True
Let x be (7/2 - 0)*(-20)/(-35). Suppose x*m - 4*f - 2978 = 0, -3*m - 5*f + 1461 = -2*m. Is m prime?
True
Let t = 85 - 80. Is (-1)/(5/(-2935)*t/35) a prime number?
False
Suppose r + r = f + 68381, f + 170951 = 5*r. Suppose r = 33*q - 7*q. Is q prime?
False
Is 234/1755 - (-11410706)/30 prime?
False
Let c = -21101 - -1051084. Is c a composite number?
False
Suppose -2*v + 122678 = -4*s, 0 = -s - 1 - 0. Is v prime?
False
Suppose -4*x + 5 + 15 = 0. Suppose -2*v + 2618 = a, 2*a - x*a + 7894 = -2*v. Is a/(4 + 0) + 2 composite?
False
Is (-180)/(-3960) - (-406537)/22 a composite number?
True
Suppose 1485253 = 133*i - 255*i + 133*i. Is i a composite number?
True
Let c(a) = -a**3 + 2*a - 6. Suppose 0 = 5*s + 3*w + 64, 4*s = 3*w - 17 - 18. Let j be (2 + (-12)/1)/(s - -13). Is c(j) composite?
False
Let l(a) = a**2 + 14*a - 24. Let t be l(-16). Let q be (-75)/30*t/10. Is q/4*(-194 + 4) composite?
True
Let n = 30903 - 20624. Is n prime?
False
Let y(b) = 18859*b**2 + 69*b + 7. Is y(-5) a prime number?
True
Let x(o) = 4*o**3 - 19*o**2 + 204*o + 88. Is x(35) composite?
False
Suppose 0 = 44*m - 11679 - 193405. Is m a composite number?
True
Suppose y - 4*b + 6*b = 175, 3*y = 3*b + 507. Suppose -1541 = -i - p, -p - 1362 - y = -i. Is i prime?
False
Let v be ((-3)/6)/(3894021/556290 + -7). Suppose -n = -4*q - 10293, q = -3*n - 0*q + v. Is n a composite number?
False
Let x(m) = 12*m**3 + 8*m**2 - 10*m + 181. Is x(18) composite?
False
Let z(o) = -o**3 - 2*o**2 + 12*o + 14. Let i be z(-4). Let b(a) be the first derivative of -35*a**2/2 + 15*a - 1. Is b(i) a prime number?
False
Let v = 56601 - 28990. Is v a prime number?
True
Let i(b) = -b**3 + 10*b**2 + 119*b + 43. Let p be i(53). Let w = -68586 - p. Is w composite?
True
Let g(a) = 5377*a - 14459. Is g(64) prime?
False
Let s = 14426 + 7179. Let z = 31086 - s. Let j = -6364 + z. Is j a prime number?
False
Let z(y) = 38*y**2 + 6*y - 37. Suppose -3*s + 4*a + 35 = 0, 0 = s - 5*a - 36 + 6. Is z(s) prime?
False
Let h = 22592 - -30261. Is h a prime number?
False
Let w(z) = -563*z + 1064. Is w(-15) a prime number?
False
Suppose -4*f + 2*h = 42372, -8*h - 21182 = 2*f - 10*h. Let w = f + 18112. Is w a composite number?
False
Suppose 337891 - 122312 = -13*d. Let w = d - -29592. Is w composite?
False
Suppose 3*f + 188791 - 1446250 = -3*z, -1257459 = -3*f - 2*z. Is f prime?
False
Let x = -4 - -7. Let b(p) = -31*p**3 - 2*p**2 + 2*p + 2. Let y be b(-2). Suppose -4*t + y = f, -246 = -t - x*t - 5*f. Is t prime?
True
Suppose 0 = -184*b + 60250114 + 66588814. Is b prime?
False
Suppose g - 91422 = -3*d - 16285, -g = -4*d - 75102. Is g a prime number?
False
Suppose 0 = 4*z + 3*n - 61206, 5*n = 3 + 7. Let b = z - 5333. Is b a prime number?
True
Let n = -311916 - -535073. Is n prime?
False
Let j(f) = 581*f**3 - 13*f**2 + 62*f - 53. Is j(4) a composite number?
False
Suppose -316 = 30*b + 104. Let j(z) = 3*z**2 + 0*z**2 + 18*z + 0*z**2 - 19. Is j(b) a prime number?
True
Let x = 274 + -269. Suppose -2224 = -4*r + y, x*r - 2805 = -0*y - 5*y. Is r a prime number?
True
Suppose -112998 = 3*r - 6*r + 3*f, 2*f - 188337 = -5*r. Is r prime?
False
Suppose 3*l - 18*g - 1011366 = -14*g, 4*g = 4*l - 1348484. Is l a composite number?
True
Let l be -5*103185/5 - -1. Is (l/48)/(1/(-3)) a composite number?
False
Let u(b) = 65*b - 1. Let l be u(1). Let k = l - 68. Is (-44*3)/k - -1 a prime number?
False
Suppose 617*u = 625*u - 3896. Is u - (-1 + 0 + 7) composite?
True
Suppose -2*z - 4*t + 3 = -z, 0 = 4*t + 4. Suppose 11330 = 3*o + 4*f, o + z*f - 3790 = 3*f. Suppose 5*m + g - o = 0, g = -4*m - 0*g + 3017. Is m prime?
False
Let z = 603 + -312. Suppose z = 2*f + 3*f - 4*i, -i - 176 = -3*f. Is f a prime number?
True
Let k = 35 + -29. Suppose -6095 = -11*r + k*r. Suppose s + c - 602 = 4*c, 2*s = c + r. Is s a composite number?
True
Let c = 115188 - 59834. Is (c/13)/((1 - -1)*1) a composite number?
False
Suppose -1031*a - 1093541 = -1032*a + 3*b, 2*b + 3280567 = 3*a. Is a prime?
True
Suppose -4615095 = -d - 2*g, 2*d - 2*g - 12949626 = -3719424. Is d composite?
False
Let w(r) = -17*r**2 + 1. Let l be w(-1). Let f(a) = -a**2 + 2*a - 7. Let v be f(l). Let n = v - -630. Is n composite?
True
Let s = 929489 + -613638. Is s a prime number?
True
Suppose -85*c + 79*c + 1002 = 0. Let v be (-4)/((-3)/396*2). Let m = v - c. Is m a composite number?
False
Let y(k) = 16*k**3 - 3*k**2 + 6*k - 1. Let a = -414 + 416. Is y(a) a prime number?
True
Suppose 0*z = 2*z - 5448. Suppose 2*b - 9*c = -10*c + 4713, -c + 16488 = 7*b. Suppose -3*k + z = -b. Is k a composite number?
False
Let v = 48 + -38. Suppose 31533 + 17237 = v*j. Suppose 10*q - j - 853 = 0. Is q a prime number?
False
Suppose -5*f - 4*p + 0*p = -36, -2*p + 16 = 2*f. Let a be 18/12 - f/(-8). Suppose -3*t - a*t + 1330 = 4*u, -3*t = -u + 341. Is u prime?
False
Suppose -12570 = 4*o + x + 13749, -5*x = -2*o - 13187. Let m = o + 9602. Let u = -134 + m. Is u a composite number?
False
Suppose -2*c + 5*d + 249424 = 0, 0 = -4*c - c - 3*d + 623560. Suppose -r = -2*x + 49889, x = 6*x + r - c. Is x prime?
True
Suppose 0 = -9*m - 12*m + 313152. Suppose -11*w + m = -6219. Is w a prime number?
False
Let k be 8 - 68/8 - (-22)/(-4). Let w(q) = -171*q - 17. Is w(k) a prime number?
True
Let g(l) = l**2 - 14*l + 14. Suppose -8*r + 6*r = -24. Let p be g(r). Let s(i) = -288*i - 19. Is s(p) composite?
False
Suppose 2*r + 1192 = 2*p, -3*p - 50 + 47 = 0. Let q = 1082 + r. Is q prime?
False
Let x be (-19)/(-3) - (-18)/27. Suppose 16*k = 7*k + 27. Suppose 2*b + 1463 = 3*f, -k*f - 1944 = -x*f + 4*b. Is f composite?
False
Suppose 0 = -x - 2*x + 144. Suppose -y + x = 13. Let m = -4 + y. Is m composite?
False
Let f(r) = 13*r + 108. Let s be f(-8). Suppose -h + 2*x + 1801 = 0, -7204 = -8*h + s*h + 2*x. Is h a prime number?
True
Suppose 0 = -u + 6*u + 4*g - 76880, 2*g + 30734 = 2*u. Let a = u + -10483. Is a prime?
True
Let k(g) = 3*g**2 - 7*g - 14. Let b be k(10). Suppose -b = 4*h - 1444. Is h a prime number?
True
Let a(j) = -4*j**2 - 13*j + 39. Let l(z) = 2*z**2 + 7*z - 19. Let m(x) = 2*a(x) + 5*l(x). Let f(v) = -v**3 - 12. Let u be f(0). Is m(u) a composite number?
False
Suppose 2*k = -3*f + 17, 2*k - k + 8 = 4*f. Suppose 4*w = -2*t + 7790, -2*t = f*w - 4736 - 3056. Is t a prime number?
False
Let y = -163949 - -233602. Is y composite?
False
Let r = 107625 + 79189. Is r a prime number?
False
Let b be 8/6*(-5 - 52/(-8)). Suppose b*y - 5*s + 1234 = 6707, -y = 2*s - 2759. Is y a prime number?
True
Let u(z) = -47*z**3 - 11*z**2 + 2*z + 3. Let m(j) = -95*j**3 - 24*j**2 + 5*j + 7. Let b(v) = -4*m(v) + 9*u(v). Suppose 0 = -w - w - 6. Is b(w) composite?
True
Let q be 55/7 + (-6)/(-42). Let k = -4 + q. Suppose -t + 2*t + k*l - 1407 = 0, 4*t - 3*l = 5590. Is t a prime number?
True
Let p(x) = -3*x**3 + 5*x**2 - 6*x + 7. Let t be p(3). Let h(u) = -u**3 + 12*u**2 + 12*u - 8. Let n be h(8). Let d = n - t. Is d a composite number?
True
Let m be (-1)/2*(-19)/(57/(-19488)). Let i = m - -4719. Is i composite?
False
Let w(d) = 2*d - 5. Let p be w(5). Suppose p*k + c = -3*c + 16, -4 = -c. Suppose 4*s + 0*s - 140 = k. Is s composite?
True
Is (3 + -3 - 0 - -16493)/(16 + -15) composite?
False
Let l(c) = -c**3 + 68*c**2 + 702*c + 369. Is l(70) a composite number?
False
Suppose 15*r - 169 = -169. Is 54678/156*(r - 4/(-2)) composite?
False
Let r(h) = -h**3 - 21*h**2 - 22*h - 27. Let b be r(-20). Suppose 12*l - b*l = -797. Is l a prime number?
True
Suppose -170*w - 216*w = -136294670. Is w a composite number?
True
Is -3*((-10)/(-4) - (12499513/78 + -4)) composite?
False
Suppose 631989 = 3*v + 2*g, 1053318 = 82*v - 77*v + 3*g. Is v a prime number?
False
Suppose 0 = -4*x + 2*z - 7*z - 2, -5*z = -x + 12. Suppose -v - l - 394 = 0, 4*v = x*l + l - 1604. Let n = -217 - v. Is n composite?
False
Is ((-25)/(-10) + -1)*305936/(-72)*-87 prime?
False
Suppose -38*i + 14565 = -33*i. Let g = 5116 - i. Is g a composite number?
False
Let k(y) = -5404*y - 283. Is k(-5) a prime number?
True
Let y(i) = i**3 - 5*i**2 - 22*i - 27. Let d be y(8). Is 15689 - d - 35/5 a prime nu