 Is v(x) a prime number?
False
Suppose 3*v - 243736 = -3*v - 2*v. Is v composite?
False
Let q = -94 - -98. Suppose 2*y + 5*b - 68 = 0, b - 144 = -q*y - 44. Is (-3)/(-12) + 4578/y a prime number?
True
Let p = -82569 + 189740. Is p a composite number?
False
Let i(d) = 4*d**3 + 161*d**2 + 35*d - 69. Is i(-31) composite?
False
Suppose -1908 - 2082 = m. Is m/(-20)*52/3 + -1 a composite number?
False
Is -1*14/(-7)*478420/40 a prime number?
False
Let o(a) = -12*a**2 - 31*a - 2. Let c be o(8). Let f = 15793 - c. Is f a composite number?
False
Suppose 1035286 - 503786 = 44*f - 1000008. Is f a composite number?
False
Let n(h) = -72*h - 269. Is n(-6) a composite number?
False
Let q(y) = -2632*y + 31. Let a(k) = 2633*k - 31. Let p(s) = 6*a(s) + 5*q(s). Let v be p(5). Suppose -2*j = -4*i + 17538, i - 4*j + v = 4*i. Is i a prime number?
False
Let m(j) be the third derivative of -j**5/30 + 107*j**4/24 - 8*j**3/3 - 15*j**2 + j. Is m(11) composite?
False
Let n = 663467 + -194938. Is n prime?
False
Let u(r) = 7*r - 191. Let d be u(30). Suppose 9499 = d*k - 12*k. Is k prime?
False
Is (-3 + (-13234)/91)/((-1)/7) a composite number?
False
Let m = 22 - 18. Let j be 12719/49 + m/(-7). Let v = 533 - j. Is v a composite number?
True
Suppose 3*f = -f + 368. Let n = 48 - f. Is (62/8)/(-1)*n composite?
True
Let d(l) = -2*l**3 + l**2 + 2*l + 22. Let x(y) = y**3 - 5*y**2 + 7. Let z be x(4). Is d(z) a prime number?
True
Let z = 110163 + -76684. Is z composite?
False
Let j(g) = -34*g + 1. Let z be j(-12). Suppose -1759 = -2*o + 4*h - z, -2*o + 1375 = h. Suppose 2*i - 3*s - 270 = -0*s, 5*i = 5*s + o. Is i a prime number?
False
Let l(k) = -4*k**3 + k**2 - 7*k + 11. Let g(r) = 12*r**2 + 120*r - 8. Let p be g(-10). Is l(p) composite?
False
Suppose -3*z - 50 = -5*n, 5*z - 20 - 10 = -3*n. Suppose 3*i + 2*w = n, 3*i = 2*w - 7*w + 25. Suppose i = v - 436 - 1603. Is v a composite number?
False
Let k(z) = -32*z**2 - 10*z + 57. Let v(j) = -33*j**2 - 11*j + 59. Let c(u) = 2*k(u) - 3*v(u). Is c(8) a composite number?
False
Let x(q) = 48*q - 62. Let u be x(10). Let y = 4025 - u. Is y a prime number?
True
Suppose -876865 = 24*t - 2652841. Is t prime?
True
Suppose -4*v - 1027 = -3*m, 5*m + 5*v + 1031 = 8*m. Suppose -336*r - 2099 = -m*r. Is r composite?
False
Suppose 3*v - 75889 = -s + 41107, 4*v - 467960 = -4*s. Is s a prime number?
False
Let t(u) = u**2 + 2*u + 21. Let a be t(0). Suppose -2*h - 323 = a. Let b = h + 409. Is b a composite number?
True
Let t = -23280 + 43217. Is t prime?
True
Suppose -5*d + 2653080 = v, 72*v = d + 74*v - 530607. Is d a composite number?
True
Let b(i) = i**3 - 2*i - 4. Let w be b(0). Let n be 0 + ((-1)/w)/(12/240). Suppose -n*o + 1718 = m, 7*o - 3411 = -2*m + 2*o. Is m composite?
False
Suppose -k - 5*x - 25 = 0, k - 3*x + 5 - 20 = 0. Let w(v) be the third derivative of v**4/24 + 215*v**3/6 + 10*v**2. Is w(k) a composite number?
True
Let l(i) = i**2 + i + 2. Let m(x) = -6554*x**2 - 8*x - 11. Let h(f) = -5*l(f) - m(f). Is h(-1) prime?
True
Suppose -3*i = 3*s - 198294, 4*i - 2140*s - 264392 = -2137*s. Is i a composite number?
True
Suppose t - 5*o + 17 = 2*t, 0 = -3*t + o + 35. Suppose -9*z + 12*z = t. Is (3 + -1)/(z/2518) a composite number?
False
Let c = -1438 - -157. Let i = c + 3074. Is i a composite number?
True
Let u(j) = -4606*j - 2530. Is u(-12) composite?
True
Suppose -2*y + 6*y = 6620. Suppose i - 823 = -4*j, -2*i - 9*j = -4*j - y. Is i prime?
False
Let j(f) be the third derivative of f**5/15 + 5*f**4/12 + f**3/2 + 19*f**2. Let d be j(9). Suppose -5*i + 2438 = -d. Is i composite?
False
Let r(z) = 177*z**2 + 4*z + 1049*z**2 - 5 - 14*z. Is r(8) prime?
False
Let g be (14/(-42))/((1/(-2505) - -2) + -2). Let h = -1370 + 966. Let o = g + h. Is o composite?
False
Suppose -106791 + 1909101 = -4*u + 14*u. Is u prime?
False
Let y be (-3 + 2)/((-5)/(0 - -45)). Is 3663 - y/(-12)*16/(-3) a composite number?
False
Let p(l) = 220*l**2 + 19*l + 39. Is p(10) a prime number?
True
Let d = 0 - -22. Let t = 507 + -441. Is 6758/d - (-5 - (-342)/t) composite?
False
Let z(f) = f + 3. Let u be z(-1). Let i be 628/(-6)*(u - -1) + -1. Let h = i + 550. Is h a composite number?
True
Let y be (-5178)/8*(-500)/(-75). Let d = y + 8582. Is d composite?
True
Suppose -9729314 = -213*n + 199*n. Is n a prime number?
True
Suppose 3*x = -0*x - 693. Suppose v + 361 = -3*i, 4*i = v + 126 + 228. Let p = x - v. Is p a composite number?
False
Let f = -163282 - -270839. Is f composite?
True
Let d = 54579 + -37756. Is d composite?
False
Let r(k) = -3363*k**3 - k**2 - 2*k. Let s be r(-3). Suppose -26*n = -20*n - s. Is n a composite number?
True
Let j(b) = 123*b**3 + 10*b**2 + 14*b - 39. Is j(8) prime?
True
Let m(c) = 7*c**3 - 7*c**2 - 11*c - 20. Let h(d) = -3*d**3 + 4*d**2 + 5*d + 10. Let k(f) = 9*h(f) + 4*m(f). Let a be k(-8). Is 400 + a*9/(-6) composite?
False
Let h(a) = -10 + 3*a**2 + 11 - a + 17. Suppose 0 = -13*j + 69 + 22. Is h(j) a prime number?
False
Let c = 285017 - 159526. Is c composite?
True
Let m = 481 + -64. Suppose 2*n + 514 = -36. Let k = m + n. Is k prime?
False
Suppose -m = -5*l + 1, 0 = 2*m - 4*m + 5*l - 7. Let g = m + 103. Is g a prime number?
True
Suppose -2*p - 161331 = -2*t + 609453, 5*t - 1926958 = 3*p. Is t a prime number?
True
Let i = -263 - -788. Suppose f + i = m - 2*f, -3*m = 3*f - 1623. Let r = m - 140. Is r a prime number?
True
Let m be 52/(-6)*(-2 - 5/2). Let l = -35 + m. Let k(i) = 2*i**3 - i**2 - 7*i - 7. Is k(l) a prime number?
False
Let b = -470947 + 870256. Is b prime?
False
Suppose -d - 62722 = 10*d. Let s = d - -11433. Is s a prime number?
False
Let r = 533192 - 273325. Is r composite?
False
Is 1/((-150624)/(-11586) + -13) composite?
False
Let t be (-36)/5 + 4/(-5). Let n be 4/(-28) + (-170)/(-14). Is (-1424)/(-12) + t/n composite?
True
Let i(n) = -72 + 222*n + 202*n + 113. Is i(5) composite?
False
Let d = -452703 - -759992. Is d a composite number?
False
Suppose 0 = 12*x - 573403 - 2746073. Is x a composite number?
False
Let r(l) = -l**3 + 12*l**2 - l + 6. Let w be r(12). Is w*(1/(-3) + (-132670)/60) composite?
True
Suppose -4*h = 4*l + 2264, 0 = -h - 11 + 7. Let i = l + 896. Is i a composite number?
True
Let k(l) = -l**2 + 28*l - 36. Let q be k(27). Let x be (3/(q/2526))/1. Let s = x - -2607. Is s prime?
False
Suppose 0 = 100*k - 1433561 - 4015739. Is k a composite number?
False
Let v(i) = i**3 - 11*i**2 + 10*i. Let q be v(10). Let k be ((-550)/154)/25 - 2/(-14). Suppose q*b + 5567 = 4*g - b, -5*g - 3*b + 6946 = k. Is g a prime number?
False
Let a be 2/(-12) + 25/6. Let o(k) = 25*k**3 + 7*k**2 - 6*k + 5. Is o(a) prime?
True
Let x = -77404 - -110655. Is x a composite number?
True
Suppose 22*p - 92545 = -38227. Let f = p + -238. Is f a composite number?
True
Suppose -27*d = -25*d - 5*i - 178704, -268033 = -3*d - 4*i. Is d composite?
True
Suppose 10*i + 7*i - 30*i + 151918 = 0. Is i composite?
True
Let h(s) = 13*s + 39. Let t be h(-3). Suppose t = 8*q - 559 + 39. Is q a prime number?
False
Let l be 4 + -4 + 8 - 10. Let c(s) = -331*s**3 - 5*s - 11. Is c(l) a composite number?
False
Let r(k) = -k**2 - 5*k + 26. Let j be r(-8). Suppose 4*w - 6 = j*w. Suppose 0 = w*g + 6 + 6, 0 = -2*o + 5*g + 1090. Is o prime?
False
Suppose 5*h = 5*s - 306005 - 84495, 10 = -2*h. Is s prime?
False
Let h(p) = -15*p + 162. Let x be h(8). Is 8 + 197952/x + 1/(-7) composite?
False
Suppose p = -v + 3*v - 5, -p = -4*v + 7. Is v/(5 + 1) - (-731064)/144 composite?
False
Let m(b) = -3*b + 12. Let x be m(3). Suppose -5*n + 4*u = -310 - 100, -2*u = x*n - 224. Suppose n = 3*z - z. Is z a composite number?
True
Suppose -18*f - 24557 + 70007 = 0. Suppose -o + f + 294 = 0. Is o a composite number?
False
Let x(t) = -6638*t - 2017. Is x(-13) a prime number?
False
Suppose 2*d - 16 = -4*a, 0 = 4*a - 4*d + 2*d - 32. Suppose 4*v + 6 = a*v. Suppose 1 = r, -v*h + 2464 + 3162 = 4*r. Is h composite?
True
Let r(d) = 5947*d + 30. Let w be r(-1). Let h = w + 9576. Is h a composite number?
False
Let v = 18 + -22. Let u be (2 + -1)*v - -3812. Suppose 0 = 5*a - u - 2487. Is a a prime number?
True
Let h be 8 + -3 - (-25)/1 - 3. Suppose 0 = -h*b + 28800 + 16263. Is b composite?
False
Suppose -26225*f - 30547 = -26236*f. Is f a prime number?
True
Suppose -27*z - 4248 = -15*z. Let d = 1279 - z. Is d a prime number