4*r = 0. Is v prime?
True
Suppose u = -21 + 226. Let t = -126 + u. Suppose 24 = 2*a - i - t, 5*i + 197 = 4*a. Is a composite?
False
Suppose -5*n + 3*a = -1302 - 161, -2*n = 5*a - 579. Suppose 12*o - 368 = n. Is o a prime number?
False
Let b(n) = 35*n**2 - 10*n - 6. Let c be b(8). Is c/((-1)/2*-4) a prime number?
False
Let m = 714 - 462. Suppose -l = 49 - m. Is l composite?
True
Let f be (-2)/(-3)*3*2. Suppose f*z + 14 - 2 = 0. Let o(c) = -166*c + 7. Is o(z) prime?
False
Let u(g) = -181*g + 15. Suppose -5*y - 60 = 5*y. Is u(y) a composite number?
True
Is 2*(-3 + 74645/10) composite?
False
Suppose 4*z = 10*z - 12. Suppose -4*y + 5 = z*r - 9, 0 = 2*y - r - 13. Suppose 3*x = -2*d + 329, x - 75 = y*d + 29. Is x a prime number?
True
Let h = 21 + -25. Is 2/4*(h + 234) prime?
False
Let c be ((-17)/51)/(2/(-852)). Let n = c - -645. Is n a prime number?
True
Suppose -8*u + 11727 = -4345. Suppose 0 = -5*k + 1156 + u. Is k composite?
True
Let z = 5737 - 642. Is z prime?
False
Suppose -c = q + 184, 0 = c + 5*q - 2*q + 174. Let k = 344 - c. Is k a prime number?
False
Let i = -3 - -5. Suppose c + 14 = 5*j - 0*j, 4*j - 10 = i*c. Suppose -3*z = -j*p + z + 410, 3*p + 5*z - 446 = 0. Is p prime?
False
Let l(f) = 11801*f**2 - 15*f - 15. Is l(-1) composite?
False
Suppose -10*l - 6*l = -9136. Is l composite?
False
Let a(m) be the third derivative of m**7/2520 - m**6/360 + 31*m**5/120 + m**4/4 + 3*m**2. Let z(q) be the second derivative of a(q). Is z(0) a composite number?
False
Suppose 0 = 5*j - 3*j - 4696. Suppose -4*i - j = -8*i. Is i prime?
True
Suppose 41*c - 4790454 = 76451. Is c prime?
False
Let n = 5 - 0. Suppose 40 + 280 = 4*v + 4*f, 4*f - 401 = -n*v. Suppose v = -2*s + 439. Is s composite?
False
Let m = -6349 + 9458. Is m a prime number?
True
Let t(y) = -17*y + 6. Suppose -5*h - 27 = -3*i, -h - i - 25 = 3*h. Let x(o) = 18*o - 5. Let v(n) = h*t(n) - 7*x(n). Is v(-8) a prime number?
True
Let j = 13 - 9. Suppose 2*k = j*x - 1226, -3*x - k = -x - 607. Is x composite?
True
Suppose 0 = 9*t - 40111 - 235568. Is t composite?
False
Let k(a) = 26*a**2 - 5*a - 31. Let r(g) = -9*g**2 + 2*g + 10. Let m(s) = 6*k(s) + 17*r(s). Is m(5) a composite number?
False
Let k = -76 + 81. Suppose k*z - 7*z = -3*m + 343, 0 = 2*m - 4*z - 226. Is m composite?
True
Let s(g) = -119*g + 283. Is s(-9) a composite number?
True
Let w = 12193 - -756. Is w composite?
True
Suppose -5*r = 4*k + 11, -k - 1 + 2 = 5*r. Is (4 - -73)/r - 0 a prime number?
False
Let y = 52 - 49. Let v(n) = 46*n**3 - 3*n**2 + 6*n - 4. Is v(y) prime?
True
Let l be 12/3 - 1*(1 + 3). Suppose l = -7*s + 2*s + 39085. Is s a prime number?
True
Suppose -6*z = -z + 3*i - 24656, -14798 = -3*z - 4*i. Suppose 5*t - 12299 = 3*p, -t + 4*p = -3*t + z. Is t a composite number?
True
Suppose 2*w + 3*f + 185 = 508, 3*f = -w + 169. Suppose 5*d - 366 = w. Suppose 4*z = 4*n - d, 0 = -5*n + 2*z - z + 110. Is n a prime number?
False
Let m = -16 - -16. Suppose 5*f = -m*f - 4*g - 16, 5*g = 5*f - 20. Let c = 10 + f. Is c prime?
False
Let b(y) = -y**3 + 5*y**2 + 6*y + 3. Let z be b(6). Suppose -z*w + 201 = -0*w. Is w a prime number?
True
Let x = 9393 - 4096. Is x a prime number?
True
Is (4 - 1)*(-4)/3 - -369 composite?
True
Let a = 689 + -396. Suppose -18*r = -17*r - a. Is r a prime number?
True
Let h = -6170 + 15169. Is h a prime number?
True
Is (-78)/42 + 2 - 357690/(-21) a prime number?
True
Suppose 49*j - 52*j + 5421 = 0. Is j a prime number?
False
Let f = 117 + 262. Is f a composite number?
False
Suppose 2*x = -8, -3*p - 9 = 4*x + 7. Suppose 2*f + f - 21 = p. Suppose -f*i + 1018 + 1033 = 0. Is i composite?
False
Let d = 36 - 36. Suppose d = r + 2*r - 471. Is r composite?
False
Is (-12548)/(-2)*12/(-1 - -25) prime?
True
Let l = -116 - -240. Suppose v = -q + 69, l = 5*q - 3*q - 5*v. Is q prime?
True
Suppose -664682 = -28*i + 329906. Is i a composite number?
False
Let a(d) = 129*d**2 + 8*d - 158. Is a(-27) a composite number?
True
Let o = 373 - 633. Let d be (o/16)/5*-16. Suppose -2*h + d = -106. Is h prime?
True
Suppose -3*u = -5*u + 5*b - 359, -535 = 3*u - 4*b. Let v(o) = -o + 8. Let j be v(-4). Is u/(-9) + (-8)/j a prime number?
True
Suppose -3714510 = 110*f - 140*f. Is f composite?
False
Let o(c) = -c**2 - 11*c + 17. Let m be o(-12). Let z be (-2 + 1 + -1)*-2. Suppose -t + 199 = -z*p, -m*p = -2*t + 218 + 171. Is t prime?
False
Let m(j) = 267*j**2 - 5*j - 75. Is m(-7) composite?
False
Suppose -2*w + 5*i - 107 = w, 0 = 5*w + i + 141. Let t = 9 + w. Let k = t - -109. Is k a prime number?
True
Let i = 9333 - 5684. Is i composite?
True
Let i(x) = -x**3 + 24*x**2 - 14*x + 45. Let b be i(23). Is b + (-3)/3 + 0 a prime number?
True
Suppose -3*a + 34075 = 5*i - 6*i, 4*a - 2*i - 45432 = 0. Is a composite?
True
Let l(a) = 178*a**2 - a - 1. Suppose 4*g = 8*g. Let t = g - 1. Is l(t) a composite number?
True
Let u be (-21)/(-105)*(11 + -1). Suppose y + w - 1005 = -u*y, -1340 = -4*y - w. Suppose -y = -13*s + 8*s. Is s composite?
False
Let i = -7 + -22. Let y = i + 32. Suppose y*u - 691 = -4*w, -5*w = 5 + 5. Is u composite?
False
Let r = 76 - 66. Suppose r*u - 587 = 7283. Is u composite?
False
Let p be (-29)/(-9) - (-2)/(-9). Suppose -p*q + i + 3*i = -5679, 0 = 3*q - 2*i - 5673. Is q a composite number?
False
Let n(g) = 75*g + 74. Let h be n(6). Suppose -131 = -r + 5*v, 7*r - 3*r + 4*v - h = 0. Is r prime?
True
Let l be (-56)/6*(-3)/2. Let t(g) = 14*g - 4*g**3 + 7 + 3*g**3 - 19*g + l*g**2. Is t(6) composite?
True
Let h = 90792 - 50629. Is h a prime number?
True
Let f be (-10)/15 + (-30)/9. Is -1*(7472/4)/f prime?
True
Suppose 5*g - 7 = -27. Is 1401*-4*g/48 composite?
False
Let k(x) = 17771*x**2 - 7*x + 9. Is k(1) composite?
True
Suppose -7188 = -17*v + 45461. Is v prime?
False
Let w(h) = 116*h**2 - h - 1. Let r be w(-1). Let x(m) = m**3 - 6*m**2 + 6. Let v be x(5). Let p = r + v. Is p prime?
True
Let a(b) = b**2 + 4*b + 1043. Is a(0) a prime number?
False
Let y = -6119 - -21886. Is y prime?
True
Let t = 26157 + -18404. Is t a prime number?
True
Suppose 3*x + 16 - 52 = 0. Suppose -3*r + x - 3 = 0. Suppose -4*m + 2*h = -438, -m - 4*h + 432 = r*m. Is m a composite number?
False
Is 1644 - 15/((-5)/(-1)) - 4 a prime number?
True
Suppose -6*g + g - 328 = a, 2*a + 6 = 0. Is g + 87 - (-1 - -1 - 1) composite?
False
Suppose -10 = 5*s + 10. Let o = s - -6. Is o/5*(141 + 4) a prime number?
False
Let g(q) = 74*q - 61. Is g(30) composite?
True
Let a = 5 + -2. Let g(z) = 3*z**2 - 2*z**2 + 7*z**2 + 7. Is g(a) composite?
False
Suppose 6*g - 2*g - 28 = -5*c, 5*g = -2*c + 52. Suppose -4 = 4*q - g. Suppose -4*d - 4*t = -272, -5*d - t + 338 = q*t. Is d a composite number?
False
Suppose -118280 + 16317 = -2*p - 5*g, -4*g = 2*p - 101958. Is p a composite number?
False
Let u(i) = 212*i**2 + 37*i - 69. Is u(2) a composite number?
False
Suppose 0 = 4*u - 369 - 4903. Is u a prime number?
False
Suppose -3*v = -17 + 5. Suppose v*w = n + 16, 5*w = 5*n - n + 20. Is (81/w + 4)*4 prime?
True
Suppose -2*s = -2 - 2. Suppose -5*p - 1508 = -s*d, -4*d + 2309 = 2*p - 755. Suppose 48 = 4*c - d. Is c prime?
False
Let x be 3/2*6/(-9). Let q = 1 + x. Suppose -4*g + 42 = 2*d, q = 2*g + g + 3. Is d a composite number?
False
Suppose 2 = 4*x - 3*x. Suppose -1954 = -n - q, -3888 = -x*n + 3*q - q. Is n a composite number?
False
Let o be ((-16)/(-4))/(6/441). Suppose -3*l + 1317 = o. Is l a prime number?
False
Suppose 0 = 10*a + a + 359337. Let o = -22168 - a. Is o prime?
True
Suppose -2*z = 3*u + 68, z + 0*z + 39 = -4*u. Let g(h) = h**3 - 15*h**2 + 17*h + 24. Let t be g(14). Let q = z + t. Is q a composite number?
True
Suppose j - 84 = -2*v + 5*v, 0 = 5*j - 2*v - 446. Let g(l) = 7 - 114*l**2 + j + 116*l**2 - l. Is g(0) prime?
True
Suppose -9*z - 19645 = -77542. Is z a prime number?
False
Is (1 + -6 - (4 - 7322)) + 6 a prime number?
False
Suppose 4*d - 28 = -2*m, -4*m = -2*d - 0*m - 6. Suppose 335 = 4*x + 4*i + 35, -d*x = i - 375. Let j = 109 - x. Is j prime?
False
Let f(z) = z**3 + 5*z**2 + 3*z + 5. Let k be f(-3). Let g(v) = 4*v**2 - 15*v - 33. Is g(k) prime?
True
Let w be (-6)/(-10) - (-35)/25. Suppose -3*h + n + 6994 = w*h, 3*n = 4*h - 5593. Is h prime?
True
Suppose 2*k - t - 11 = -2*k, t - 1 = 0. Is (1081/k)/(6 - (-17)/(-3)) composite?
True
Let x(a) = -4*a - 31. Let n(s) = 6*s + 46. Let l(c) = 