prime?
False
Let k = 4452 - -4435. Is k composite?
False
Suppose 7*n = 51 - 23. Let m be 21/14 + (-6)/n. Is -3 - (m - (-2250)/(-5)) a composite number?
True
Let a = 111 + 9. Suppose 3928 + a = 16*t. Is t composite?
True
Let s = 2114 - 4117. Let p = s + 3762. Is p a prime number?
True
Let x = 4973 - 4968. Suppose -b = -5*b. Suppose -x*y + 2935 = 4*q, -y - 2*q = -b*q - 587. Is y prime?
True
Let f = 4546 + -6731. Let m = -1464 - f. Is m composite?
True
Suppose 28*z - 504708 = 16*z. Is z a prime number?
False
Let c(y) = -933*y + 2. Let v(p) = 1867*p - 4. Let a(g) = -9*c(g) - 4*v(g). Is a(3) composite?
True
Let z = -59 + 37. Let a be ((-12)/(-18))/(-1 + z/(-18)). Suppose a*b - r = 2389, -r - r = -4. Is b composite?
False
Suppose -5*g + 92 = -3*l, 5*l = 6*l - 2*g + 32. Let q(o) = 4*o**2 + 25*o + 49. Is q(l) composite?
False
Let q(s) = -328*s**3 + 2*s**2 - 3*s - 4. Let d be q(-1). Suppose -6*w + w - p + 1600 = 0, -2*p + d = w. Is w a composite number?
True
Let s = 47 + -7. Is (-20521)/2*s/(-20) a prime number?
True
Suppose -13*r + 120925 - 44187 = -354199. Is r prime?
True
Let u = -315380 - -521979. Is u composite?
True
Let d = -61748 - -121081. Is d a composite number?
False
Let u be (7 + 89633)/5 + -6. Let p = u + -9377. Is p prime?
False
Let j(b) = -5*b**2 + 4*b + 5. Let r be j(-1). Let l(c) = 55*c**2 + 39. Is l(r) a composite number?
False
Let c be (-4)/34 - 16565/85. Let j = c + 354. Suppose -j = -4*x + 217. Is x a prime number?
False
Let q(j) = 37*j**3 - 2*j**2 + 4*j - 2. Let n be q(2). Suppose v - 2*m + 4 = 0, -2 - 6 = 4*v - 4*m. Suppose i - n - 1289 = v. Is i a prime number?
True
Let v = -5623 + 2593. Let f be -4 - (-5 - -3) - (v + -2). Let d = f - -241. Is d a composite number?
False
Let m = -304385 + 163419. Let c = -89922 - m. Suppose 17*u - c = 13*u. Is u a composite number?
True
Let v be ((-5)/3)/((-1)/(-2250)*-2). Let s = v - -923. Is s a prime number?
False
Suppose 0 = -2*d - 1644 + 282. Let j = 3415 + d. Is j composite?
True
Let x(v) = 204*v + 153. Let u be x(-3). Let y = 410 - -302. Let m = u + y. Is m composite?
True
Let t(h) = 45*h**2 - 5*h + 1. Let r be (3 - (-2 - -4))/1. Let o be ((-15)/30)/(r/10). Is t(o) prime?
True
Let o(j) = -5*j**2 + 9*j - 2. Let u be o(2). Is (-254)/u*(12 - 2)/1 a composite number?
True
Let x = 53 + -48. Let g(t) = t - 9. Let k be g(12). Suppose -5*c - 2*l + x*l + 2794 = 0, 2*l = -k*c + 1665. Is c prime?
True
Suppose -2*b = -6*n - 120072, -8*n = -4*b - 11*n + 240129. Is b a composite number?
True
Let n(z) = -z + 4. Suppose -3 + 15 = v. Let p be n(v). Is 178/(-5)*20/p a prime number?
True
Suppose 10*g = -6*g + 8880. Let s = g - -4414. Is s a composite number?
False
Suppose 10*s - 4*p = 8*s - 32, 4*p - 22 = s. Is (-66)/(-165) + 4162*(-3)/s a composite number?
False
Let b be (15/3)/5*2. Let s(z) = -z**3 + 13 + 5*z**2 + 2*z**3 - 6*z + z + 3*z**b. Is s(-8) prime?
True
Suppose 3*y = -4*q + 43123 + 97884, 2*y = -2*q + 94004. Is y a prime number?
False
Let s = -7 + 10. Suppose 3*l = -y - 2, 5*l - 5*y = 8*l + 10. Suppose 7*b - s*b = -16, -d - b + 10 = l. Is d a prime number?
False
Suppose -100 = -7*z - 3*z. Suppose z*d - 17457 - 34053 = 0. Suppose d = 5*t + 4*m, m - 16 = -3*m. Is t a prime number?
False
Suppose 7*t + 84 = -0*t. Let a be (-6 - -4 - t)/2. Suppose 5*g - 2*x - 3951 = 0, -a*g + 5*x - 520 = -4480. Is g prime?
False
Let h = 14745 + -13954. Is h composite?
True
Let h(w) = 11*w**2 + 7*w + 39. Let z(i) = 4*i + 129. Let m be z(-30). Is h(m) prime?
False
Let r(z) = z**3 + 8*z**2 - 34*z - 3. Let n be r(-11). Suppose -n*a = -8097 - 2119. Is a a prime number?
True
Let k be (-1)/((-4)/(-16)) + (-32)/(-4). Suppose k*w - 76 + 16 = 4*u, -2*w = 2*u - 18. Suppose 0 = w*n - 11266 + 1822. Is n prime?
True
Let x be (-44)/(-11) + 10/(-3 + 2). Is x - (40273/46)/(1/(-2)) prime?
False
Let u be (26/8)/(4 + (-120)/32). Suppose -11*z - 18 = -u*z. Suppose -z*r + 14144 = -24403. Is r composite?
False
Let u(l) = -5*l + 14. Let v(a) = 14*a - 41. Let m(g) = 11*u(g) + 4*v(g). Let p be m(14). Suppose -864 + 201 = -2*z + 5*d, -p*d - 327 = -z. Is z a prime number?
False
Let q(a) = 402*a + 10. Let z be q(3). Let l = z - 374. Is l/4 + (-5)/(-10) a prime number?
True
Let l = 211 + -10644. Let w be ((-12)/(-3))/((-1)/1047). Let f = w - l. Is f a prime number?
False
Let r(h) be the first derivative of 29*h - 11/2*h**2 + 1/3*h**3 - 2. Is r(-15) a composite number?
False
Suppose 0 = -3*z - 0*z + 1287. Let u = z - -56. Is u a prime number?
False
Let q(y) = 12543*y**3 + 13*y**2 - 82*y - 49. Is q(5) a prime number?
False
Let r = 196 - -22. Let i = 697 - r. Suppose -4*l - 5*o + i + 6059 = 0, 4*l - o = 6550. Is l a composite number?
False
Let l be (1 + 4/(-12))/((-2)/(-6)). Suppose -9*i + 25 = -l. Suppose -i*b + 5528 = 5*b. Is b a prime number?
True
Suppose f = -3*d + 7, d - 10 = 3*d - 3*f. Let r(t) = 151*t**2 + 7 - 38*t**2 - d + 121*t**2 - 4*t. Is r(2) prime?
False
Let d(y) = 123*y + 30. Let o be d(22). Suppose -3*n - 5*m = -o, -m + 3*m + 1840 = 2*n. Is n prime?
False
Let j(r) be the second derivative of -r**4/12 - r**3/6 + 1045*r**2/2 - 4*r. Let y be j(0). Suppose 2*s + y = b, 3*s - 128 = b - 1168. Is b composite?
True
Let m(n) = 279*n**3 - 44*n**2 + 14*n + 215. Is m(20) prime?
False
Suppose 260*u + 103*u - 7210594 = -31*u. Is u a composite number?
False
Let l = -17 - -53. Suppose -8*n + l = n. Suppose -b = -4*m + b + 7254, -n*m = b - 7239. Is m prime?
True
Let u(x) = -2*x**3 - 6*x**2 + 4*x. Let y be u(2). Let i = y + 49. Is (-30180)/(-32) - (-2 - i/(-8)) prime?
False
Suppose -n = -12*n + 198. Suppose n*g - 2*g = 13088. Is g a composite number?
True
Let y(f) = -7547*f - 20. Let m be y(-7). Suppose 4*a - 5*h - m = 0, 2*a = -a + 2*h + 39598. Suppose -a = -7*b + 3*b. Is b a prime number?
True
Let w = 1348 - -16309. Is w composite?
False
Suppose 2*c = c + l + 9, 3*c - 22 = -2*l. Let m be (19 - (0 - -1)/(-1))*c. Suppose p + m = 833. Is p a prime number?
True
Suppose 0 = 16*a - 35*a + 17252. Let j = -19 + a. Is j a prime number?
False
Let h = -593 - -860. Suppose -1569 = -6*i - h. Is i a prime number?
False
Suppose -4*u + 628 = -4148. Suppose -5*w - 3*h + 63 - 60 = 0, -4*w + 5*h = -32. Is -8 + 3 + w + -1 + u prime?
False
Let k(l) = 54*l**2 - 2*l. Let d be k(-6). Suppose -16*a + 521 - 185 = 0. Suppose -a*q = -17*q - d. Is q prime?
False
Suppose -9905 - 28661 = -11*j. Suppose -j = 11*h - 15309. Is h a composite number?
True
Let z(g) = 3*g + 43. Let m be z(-13). Suppose -m*v + 267 = -345. Let x = 250 - v. Is x a prime number?
True
Let t(v) = 6*v - 7*v**2 + 104*v**3 + 15*v + 9 - 14*v. Is t(4) a prime number?
True
Let i(q) = 4332*q**2 - 43*q + 561. Is i(10) a composite number?
True
Let d(v) = 4*v**2 + 68*v - 60. Let b be d(35). Let i = -3231 + b. Is i a composite number?
False
Let q(y) = 4*y**2 + 35*y - 6. Let t be q(-9). Suppose 0 = 3*f + 3, -4560 = -2*k + 5*f - t*f. Is k composite?
True
Let t be 1 + 55/(5 - 0). Suppose 0 = 2*m - 8*m + t. Suppose 5*r = g + 4764, 4*g + 1903 = m*r + g. Is r a prime number?
True
Suppose 2*t = 1 + 7, -3*t + 20 = 2*p. Suppose 3*k = -2*y - 6, -p*k + 1 - 9 = -3*y. Is 2/4*(y + 4696/4) composite?
False
Let x(r) be the second derivative of 4*r**4/3 - 17*r**3/6 - 5*r**2 + 12*r. Let d(c) be the first derivative of x(c). Is d(5) composite?
True
Suppose 2*n + n = d - 18, 0 = 2*d + n - 8. Suppose d*o - 27515 = 26527. Is o composite?
False
Let r = 7551 + -5332. Let j = 5140 - r. Is j a prime number?
False
Let s = 126592 - 72425. Is s a prime number?
True
Let r = -8 - -6. Let g(o) = 197*o**2 - 10*o - 9. Is g(r) prime?
False
Suppose 9*q - 30 = -q. Suppose -8*s - 43 = -q. Let v(j) = -36*j + 5. Is v(s) a composite number?
True
Let r(k) = -2*k + 2. Let f(t) = -116*t - 87. Let j(d) = -f(d) - r(d). Is j(16) prime?
True
Let d be (-4)/(-14) + -1 + (-3230)/(-14). Suppose -223*u = -d*u + 9597. Is u a prime number?
False
Let b(x) = -x**3 + 23*x**2 - 28*x - 71. Is b(-23) composite?
False
Let i(s) = 4464*s**3 - 6*s**2 + 3*s + 47. Is i(4) prime?
False
Let f(p) = -67*p**3 - 12*p**2 - 171*p - 2173. Is f(-21) a composite number?
True
Suppose -13350 = -5*u - 5*u. Suppose -u = -9*v + 6*v. Is v a composite number?
True
Let k(n) = -3195*n**2 + 3*n - 4. Let i(u) = 6389*u**2 - 5*u + 7. Let g(f) = -6*i(f) - 11*k(f). Let h be g(1). Let t = h + 4749. Is t prime?