a prime number?
False
Let u = -350610 + 650213. Is u a composite number?
False
Let m = 239524 + -170661. Is m prime?
True
Suppose -g + 5*z + 8 - 22 = 0, g + z = 10. Suppose 5*i - 105 = -3*d, -g*d - 2*i + 175 = -d. Is 332/((-7)/(d/(-10))) a composite number?
True
Let k be (6/(-27) - (-939)/(-27))/(-1). Suppose -5*q = 3*h - 48 - k, -2*q = -2*h - 46. Suppose 3*c = 5*b + 1630 + q, 0 = -5*b + 10. Is c a composite number?
True
Is (-65532030)/(-469) + (-5 + 4)*3/21 prime?
False
Let x be 4182/5*5/2. Let a = -2 - -2. Suppose 6*h - x - 2619 = a. Is h composite?
True
Let o(c) = -92337*c + 788. Is o(-3) composite?
True
Let v(a) = -965*a - 4028. Is v(-42) a prime number?
False
Let y(o) = -64*o + 3739. Is y(35) a prime number?
True
Let i(f) = -f**3 + 17*f**2 - 10*f + 4. Let l be i(7). Let r = -38 - -65. Let t = l + r. Is t prime?
False
Let d(v) = 2*v - 73. Let t be d(40). Is 4/(11 - t)*3877 prime?
True
Let m(u) = -69*u - 10. Let i(k) = k - 18. Let z be i(12). Let b be m(z). Suppose 5*h - b - 1851 = 0. Is h prime?
False
Let d = 51 + -49. Suppose d*a = -4*a - 84. Let p(m) = -69*m - 17. Is p(a) a prime number?
False
Let w(v) = 89*v**2 - 12*v + 32. Let a be w(5). Suppose -s - 3*z = -1366, -4*s - 2*z + a + 3267 = 0. Is s prime?
False
Let d(s) = 75*s**2 + 9*s - 29. Let n(l) = -4*l + 73. Let x be n(16). Is d(x) a prime number?
False
Let i(h) = 2*h**3 + 38*h**2 - 89*h - 4. Is i(29) composite?
True
Is (-2289213)/(-115)*60/9 + 5 composite?
True
Let b(i) = 2*i**3 - 2*i**2 + i - 2998. Let n be b(0). Let g = n + 5099. Is g prime?
False
Let w(f) = -f**3 - 6*f**2 - 3*f + 12. Let h = 5 - 10. Let u be w(h). Suppose -u*q = -146 - 76. Is q composite?
True
Suppose 0 = -u + 6*u - 10. Let t be 12/42 + 52/14. Suppose -356 = -z + 5*o, u*z + 1843 = 7*z - t*o. Is z prime?
False
Let f be (1 - 8650)*((-88)/12)/11. Let k = -2123 + f. Is k prime?
True
Suppose 23*b + 29198 = 1552281. Is b prime?
True
Let h = -82338 + 141388. Suppose 0 = 2*i - b - 29535, 0 = 6*i - 2*i + 2*b - h. Is i composite?
True
Let o(h) = 8278*h + 2451. Is o(31) composite?
True
Let j(u) = 733*u**2 + 186*u + 81. Is j(50) prime?
False
Let x = 1220997 + -301856. Is x a composite number?
True
Let j = 26 + 6. Let h(i) = j - 42*i + 5*i - 10. Is h(-21) a composite number?
True
Let j = -845 - -162532. Is j a composite number?
True
Let b be (-6317)/(-5) - 6*(-3)/(-45). Suppose -x + b = -p - p, 2*p + 1251 = -3*x. Is 4*6/8 - p a prime number?
False
Let o = 16563 - -50528. Is o composite?
True
Let r(o) = -14*o**2 + 4 + 12*o + o + 51*o**2. Is r(-3) a prime number?
False
Suppose 0 = 2*u + 5*i - 469194, i = 2*u + 3*i - 469182. Is u a composite number?
False
Let h(o) = -3*o + 17. Let i be h(7). Let z be (-11)/i - (-11)/44. Suppose 5*k = 25, -5*u - 2*k + 6080 = -z*u. Is u composite?
True
Suppose 3*t + 6 = 3*a, 0*a + 3*t = -2*a + 19. Suppose c - 580 = -z, a*c - 3*z = c + 2327. Let m = -22 + c. Is m a composite number?
True
Let x(p) = -5*p**3 - 3*p**2 + 5*p + 3. Let v be x(-4). Let z = v + -10. Let d = z + 74. Is d a composite number?
True
Let y = 116019 - 64498. Is y a composite number?
False
Let o(y) be the second derivative of y**4/4 + y**3/3 - 3*y**2/2 + 5*y. Let l(v) = v**2 - 4*v + 5. Let w be l(5). Is o(w) a composite number?
False
Let k be -2 + 0 + (-1 - -2). Let h = -617 - -286. Is (-3)/(4 + k)*h composite?
False
Suppose -4*r - 91 = y, -5*y + 0 = -5. Let w = r - -19. Let d(g) = 42*g**2 - 7*g - 11. Is d(w) prime?
False
Suppose 3*c + i - 353255 = 0, 5*c - 4*i + 194582 - 783329 = 0. Is c a prime number?
True
Suppose -19*z = -17*z. Suppose z = -9*w + 13*w - 2260. Is w prime?
False
Suppose -113*d - 1607761 = -6429132. Is d a prime number?
True
Let i(c) = 4958*c**2 - 27*c + 31. Is i(-6) prime?
True
Suppose -12*p - 41260 = -15*p + 5*f, -f - 5 = 0. Is p a composite number?
True
Suppose -2*r - 3*r + 87 = -4*p, p = -3. Let z(g) = 2*g - 142. Let o be z(72). Suppose r = o*h + 5*v - 31, -2*h - v + 30 = 0. Is h composite?
False
Let k be ((-15)/5 - 1)/((-2)/(-6096)). Let b = -7373 - k. Is b composite?
True
Let a(c) = 735*c + 7. Let h = -100 - -102. Let o be a(h). Suppose 0 = n + 4*n - 3*r - 3676, 2*n + r = o. Is n composite?
True
Let y(r) = -r**3 - 3*r**2 + 6*r - 20. Let x be y(-5). Suppose 4*a - 2*q - 13822 = 0, -5*a - 4*q + 14041 + 3256 = x. Is a prime?
True
Let b(h) = -1219 + 9*h + 770 + 586. Is b(14) a prime number?
True
Suppose -297962 = -i + 3*a, -a + 70905 = 2*i - 524998. Is i a prime number?
True
Suppose -13*c = -8*c - 25. Suppose 1192 = c*v - 14923. Is v a prime number?
False
Suppose -2*f + 5*i = -450 + 1164, 5*f - 2*i = -1743. Let a(c) = -35*c - 3. Let l be a(-3). Let o = l - f. Is o prime?
True
Let m be (721550/75)/((-3)/9*-1). Suppose -166*w + 168*w - m = 0. Is w a prime number?
True
Let a(f) = 13*f**3 - 14 + 6*f**2 - 30*f**3 - 12*f + 16*f**3. Let u(x) = -2*x**3 + 5*x**2 - 12*x - 14. Let i(b) = 3*a(b) - 2*u(b). Is i(-7) prime?
False
Suppose -5*l + 5*h - 13990 = 0, -h = 3*l - 6*l - 8388. Let j = 5104 + l. Is j composite?
False
Let t = 9 - 3. Let i(c) = 41*c - 10. Let m(n) = n - 1. Let z(b) = t*m(b) - i(b). Is z(-7) a composite number?
True
Let v(j) = -2*j**3 + 15*j**2 + 8*j + 4. Let d be v(8). Suppose 5*k = d*k + 2, -24414 = -4*b - k. Is b composite?
True
Let p(n) = 249*n**2 - 12*n - 41. Is p(12) a composite number?
False
Suppose -4*p = -2*d + 26, -35 = -5*d + 4*p - 0*p. Suppose d*y - 156 = -3*y. Suppose -246 = -3*n - 3*i, 0 = -2*n - 3*i + y + 141. Is n a prime number?
True
Let j(p) = -91782*p + 2297. Is j(-5) prime?
True
Let a(l) = 7*l + 10. Let y be a(3). Suppose 41 = 2*v + y. Suppose 3*p = -v*p + 7096. Is p a prime number?
True
Let r be (25 - 26)/(0 + 2/734). Let x(b) = b**2 - 5*b - 8. Let m be x(7). Is (m - r)*(-3 + 4) a composite number?
False
Suppose 3*x - 37164 = -x. Suppose -6*g + 2025 + x = 0. Suppose 0 = 5*b - 3*v - g, -4*b - 4*v = -3*v - 1519. Is b composite?
False
Suppose 134537 = -6*f - 2*l + 500185, -f = -4*l - 60963. Is f prime?
True
Suppose -3*z - 6*z + 45 = 0. Is 2243/z + 64/160 a prime number?
True
Let a = -208356 + 502939. Is a a composite number?
True
Let m = 325 + 255. Let h = 9997 + m. Is h a composite number?
True
Let h(n) = 153125*n**2 - 1277*n - 5087. Is h(-4) a prime number?
False
Suppose -3*z = t - 186643, -z - 61082 = -t + 125565. Is t prime?
False
Suppose -794428 = -94*m + 18*m. Is m composite?
False
Suppose 7*t - 34867 = -l + 3*t, 3*t - 6 = 0. Is l a prime number?
False
Let o = 850173 + -582002. Is o composite?
False
Is 10 - (14/(-6) + (-82386560)/120) a prime number?
False
Suppose -17*n = -4*n + 624. Is (-110730)/(-8) + -4*(-3)/n prime?
True
Let u be (200/3)/(-1)*-24. Suppose -3*j - j = -u. Suppose -5*q + j = r, 0 = 5*q + 2*r - 95 - 310. Is q a composite number?
False
Let r = 455995 - 284691. Suppose -r = -13*m + 280303. Is m composite?
False
Suppose 3*n + 5*b - 3210592 = 0, 4*n - 5350920 = -n + 5*b. Is n prime?
True
Let p(q) = -q + 1. Let x(d) = 2*d**3 + 14*d**2 + 14*d + 4. Suppose -19*t + 24*t = -5. Let g(s) = t*x(s) - 6*p(s). Is g(-9) a composite number?
True
Suppose -30*q + 36*q - 61860 = 0. Suppose 0 = 4*m + m - q. Is m composite?
True
Is (2803 + 0 + 0)/((112/(-24))/(-14)) a prime number?
False
Let i(m) = -10092*m - 23. Is i(-60) a composite number?
False
Is 4/((-4)/1)*(69 - 89528) composite?
False
Let i(a) = 2*a + 36. Let w be i(-12). Suppose -7050 = -5*d - h, d - 16*h - 1389 = -w*h. Is d a composite number?
False
Is (((-4619)/186)/(2/17994))/(4/(-8)) a composite number?
True
Suppose 5*s = 20*s - 212490. Suppose -15*v = 3*v - s. Is v a composite number?
False
Suppose 0 = -6*k - 1 + 25. Suppose 0 = 2*p + d - 2174 - 7082, 23153 = 5*p - k*d. Is p prime?
False
Suppose 35 - 29 = 3*q. Suppose 2*i - 4*u - 2002 = 0, -4*i + q*u = 3*u - 4049. Is i prime?
False
Let x(v) = 5*v - 14. Let w be x(3). Is 693/w - (1 - 13)/6 composite?
True
Let f(i) = 11*i - 69. Let q be f(7). Suppose -q*a + 14608 = -12136. Is a a composite number?
False
Suppose -3*n + r = 37875, 0*r - 2*r + 50500 = -4*n. Let s = n + 23778. Is s a prime number?
False
Suppose 217603 = -b + 4*r + 654296, -b - 4*r = -436693. Is b a composite number?
False
Let i(p) = -47*p**2 + 33 - 12 + 53*p**2 + 7*p. Let h(l) = 5*l**2 + 8*l + 22. Let j(u) = 4*h(u) - 3*i(u). Is j(-6) a composite number?
False
Let u = 37 + -37. Suppose u*i = -9*i. Suppose -6*s -