number?
True
Let w(t) = -t**3 + 4*t**2 - 5*t + 5. Let f be w(2). Suppose -4*b + b - f*z = -3261, 5*b = -4*z + 5435. Is b composite?
False
Is (20267/(-2))/((-153)/18 - -8) a prime number?
False
Suppose -y + 4*f - 6 = 0, f + 1 + 3 = 3*y. Suppose 0 = -2*m - 4*i + 24, y*m - m + 5*i = 21. Is m/10 + 9072/30 a prime number?
False
Let b = -17 + 8. Is (-4605)/10*6/b prime?
True
Suppose 820 = 2*h + 5*o, 0*o + 3*o - 820 = -2*h. Let x = 60 - -273. Suppose 0*q + q = 4*m - x, -h = -5*m - 5*q. Is m a composite number?
False
Suppose -t - t = 0. Suppose -3*k + 5*h = 3 + 13, 5*k - 2*h - 5 = 0. Suppose 0 = k*j + 3*c - 22 - 452, -2*j + 3*c + 316 = t. Is j a prime number?
False
Is 7666264/282 - (1/3 + 0) prime?
False
Let j(q) = -29 - 324*q**3 + 29 - q**2. Is j(-1) a composite number?
True
Let i(t) = t**2 - 10*t - 8. Let s be i(10). Is (955/3 + 1)*(-12)/s composite?
False
Suppose -l = -4*b - 1 + 2, 3*l + 3 = 3*b. Suppose -2*z + 46 + 484 = b. Is z a prime number?
False
Let i(r) = r**3 - 4*r**2 - 4*r - 8. Let q be i(6). Let n = -161 + 198. Let u = q + n. Is u composite?
True
Let x = -98 + 116. Is -2111*(-4)/(-10)*(-45)/x a prime number?
True
Suppose p + 5 = -4*p. Let m be -2 - p - -1 - -21. Is (110/(-15))/((-2)/m) prime?
False
Let w(j) = 23*j + 50. Is w(7) composite?
False
Let r be 48/21 + (-6)/21. Suppose 0 = r*m - m + 4*p - 17, 5*m - 5*p = 10. Suppose 4*d - m*k - 1993 = 0, 1755 = 5*d + 5*k - 725. Is d composite?
True
Suppose 3*a - 7 = 5. Let z(y) = y**2 + y - 5. Let v be z(5). Suppose -a*u + 357 = v. Is u composite?
False
Let k(n) = 30*n + 11 + 48*n - 18*n. Is k(4) composite?
False
Let v(a) = -a**3 - 5*a**2 + a + 5. Let x be v(-5). Suppose x = 5*c - 0*y + 2*y - 771, -y + 153 = c. Is c prime?
False
Suppose 2*c + 3*c - 35683 = -2*r, -4*c - 4*r + 28556 = 0. Is c a prime number?
False
Suppose -111 = x + 4*f - 1834, -5*x + 5*f = -8640. Is x a composite number?
True
Let i(n) = -2*n**3 + 4*n**2 - 3*n + 3. Let w be i(3). Let d = w + 37. Is d a composite number?
False
Let d = 15305 - 8544. Is d a prime number?
True
Suppose -z = z. Suppose -2*n = -z - 4. Is 4842/42 + n/(-7) composite?
True
Let t(q) = 26*q**2 - q + 8. Let k be 3/(-4 + -2)*-10. Let x be t(k). Suppose -5*y - x = -3*s, 0*y + 2*y = -8. Is s composite?
False
Suppose -9*j = -10*j - 3*t - 2, -j = -2*t - 8. Suppose -287 = -r - j*b, 3*b - 5*b - 4 = 0. Is r prime?
False
Suppose 15*r = 23*r - 292856. Is r prime?
True
Suppose 3*h - 7*h = -16. Suppose 4*g - 13557 = -2*p + 5*g, h*p - 27120 = -4*g. Is p prime?
True
Suppose -p = x - 46743, 4*x - 9*p + 6*p - 187000 = 0. Is x prime?
True
Let n(o) = 83*o**2 + 3*o + 7. Let u be n(-9). Let z = 10194 - u. Is z composite?
False
Suppose 5*s = 27*n - 28*n + 21770, 0 = 5*s + 15. Is n composite?
True
Suppose 122788 = 4*b + 4*b + 4*m, 2*b = 4*m + 30682. Is b composite?
True
Let x(u) = -u**3 - 40*u**2 + 67*u + 67. Is x(-42) composite?
True
Let w(n) = -3*n**3 - n**2 + n + 1. Suppose 0 = -4*y + 2*t + 4, 16 = -y - 3*t + 3. Let g be w(y). Is g/(-8) - (-2058)/8 prime?
True
Let d = -22037 - -11687. Is 2 + (d/(-3))/2 a composite number?
True
Let b(k) be the third derivative of 19*k**5/60 - k**4/24 + 13*k**3/6 - 15*k**2. Let i = -1 - -7. Is b(i) prime?
True
Let d = -69079 - -121692. Is d a prime number?
False
Is (-154204)/(-28) - 6*3/63 prime?
True
Suppose 2*p + 565 = -p + 4*t, 0 = 4*p - 2*t + 750. Let g = -95 - p. Suppose -3*a = -374 + g. Is a a prime number?
False
Suppose -550*b = -541*b - 32931. Is b a composite number?
False
Let g(r) = 2 - 1 - 10*r + 19*r - 102*r. Suppose -2*p = 4*a + 8, -a = -5*p + 2*a - 20. Is g(p) a prime number?
True
Let l(g) = 21*g + 1. Suppose -6*n + 12 = -4*n. Is l(n) a composite number?
False
Suppose 2*b - 3*c = -7*c + 326, 0 = -c - 3. Suppose -s + 2*a = -b, 7*s + 3*a - 471 = 4*s. Is s a prime number?
False
Let b = -10460 + 17697. Is b prime?
True
Let i(n) be the first derivative of 71*n**2/2 + 5*n + 2. Let g be i(8). Let l = -280 + g. Is l a composite number?
False
Let h(m) = -m**3 + 4*m**2 - 2*m. Let n be h(3). Suppose -n*p = -8*p + 3175. Is p composite?
True
Suppose 3*g - 4*y = -0*g - 797, 2*g + 2*y = -522. Suppose 6*j + 752 = 8*j. Let z = j + g. Is z a prime number?
True
Let y(f) = 2*f**3 - 23*f**2 - 29*f - 17. Let o(q) = q**3 - 12*q**2 - 15*q - 8. Let z(d) = 5*o(d) - 3*y(d). Is z(9) a composite number?
True
Let d(i) = 17 - 27 - 2*i**2 + i**2 + 10*i. Let x be d(9). Is 654 - (-1)/(x/(-1)) composite?
True
Suppose 61*u = 59*u + 44. Suppose -3009 - 2513 = -u*y. Is y a prime number?
True
Let p(n) be the second derivative of -229*n**5/10 - n**3/6 - n. Let m be p(-1). Suppose v - m + 156 = 0. Is v a prime number?
False
Suppose 10*b = b + 45. Suppose b*g - 5 = 0, 3*g - 4*g + 1319 = 2*a. Is a prime?
True
Let v = 112 + -80. Let y = 119 - v. Is y a prime number?
False
Let j(a) = a**2 - 11*a + 5. Let c be j(10). Let h(u) = 3*u**2 + 10*u - 4. Is h(c) prime?
False
Let y be (((-144)/28)/6)/(2/(-7)). Suppose -y*j + 10*j - 37667 = 0. Is j composite?
False
Is (-35136 + -2)*6/48*-4 a prime number?
True
Suppose 7089 = 5*x - m, 1398 - 5653 = -3*x + m. Suppose x = -2*s - 7557. Let t = -3126 - s. Is t a composite number?
False
Let d(g) = -659*g + 45. Is d(-16) prime?
True
Let g = -2677 + 4204. Is g composite?
True
Let k be 21 - (0 + -1 - (1 - 0)). Suppose k*a + 4871 = 4*l + 18*a, 0 = l - 2*a - 1220. Is l a composite number?
True
Suppose 39 = 2*i - 1. Suppose -5*j + 0*g + 35 = -2*g, j = -5*g - i. Is (-502)/(j/((-5)/2)) composite?
False
Suppose 0*j + 3*l = j - 3, 2*l = 0. Suppose -5*t + j*d = 397, 2*t - t = 4*d - 76. Is -6*(-3)/(-6) - t composite?
True
Suppose 0 = 3*p + 2*p - 6430. Let x = p - 715. Is x prime?
True
Let f = -14246 - -31849. Is f prime?
False
Let k(o) = 49*o**2 + 19*o - 60. Is k(22) composite?
True
Let z(s) = -3 + 2 - 346*s**2 + 399*s**2 - s. Let l be 1 + -4 + 1 + 1. Is z(l) a composite number?
False
Let i(t) = 1448*t**2 - 32*t + 3. Is i(2) a composite number?
True
Let d(b) = -103*b + 3761. Is d(0) a prime number?
True
Let c(y) = 21*y**2 - 227*y - 11. Is c(-29) a prime number?
False
Is (-70917)/(-7) + 8*(-2)/(-4) a prime number?
False
Suppose s + 35 = -4*s. Let q(i) = 2*i**2 - 8*i - 15. Is q(s) prime?
True
Let u(b) = -103*b + 7. Let s(m) = -5*m**2 + m + 1. Let x be s(-1). Let h be u(x). Suppose q + 2*p - 138 - 117 = 0, h = 2*q + p. Is q prime?
True
Let n(x) = 3*x + 76. Let z be n(-26). Let y(q) be the third derivative of -37*q**4/8 + q**3/6 - q**2. Is y(z) a prime number?
True
Let n = -3 + 0. Let m(y) = y**2 - 6. Let i be m(n). Suppose -i*b + 403 = -398. Is b a composite number?
True
Suppose 36*d - 39*d = -6, -2*i - 5*d = -132816. Is i prime?
True
Let m(y) be the first derivative of -y**2/2 + y - 1. Let t(z) = -81*z - 8. Let x(a) = 5*m(a) - t(a). Is x(6) composite?
True
Let x be 14253/21 + (-6)/(-21). Suppose 1690 = 5*g - 5*p, -2*g + x = -5*p - 0*p. Suppose -5*h = 2*w - g, -20 = 2*w + 3*w. Is h prime?
False
Let l(b) = 216*b**2 - 3*b - 17. Is l(-2) composite?
False
Let g be 112/6*(-1 + 4). Suppose 4*w - 1156 = g. Is -1 + 2 - (-3 - w) composite?
False
Let x = 12 + -19. Let q = 69 + x. Let n = q - -47. Is n prime?
True
Let c(b) = -b**2 + 20*b + 24. Let o be c(21). Suppose o*r = 20400 - 5673. Is r prime?
True
Let z = -270 - -408. Suppose 5*m - 16 = -a, -5*a - m = -5*m - z. Is a composite?
True
Let x = 33 + 20. Suppose 14 - x = -t. Is t a composite number?
True
Suppose 2 + 18 = 4*d. Suppose d*h - 973 = -2*c, 4*h + 1512 = 5*c - 871. Is c a prime number?
True
Let i(l) be the third derivative of l**5/30 + l**4/4 + l**3/6 + 5*l**2. Let o be i(-6). Let f = o - 22. Is f composite?
True
Let p = 1758 - -2723. Is p a composite number?
False
Let i(x) = 2*x**3 + x**2 + 8*x - 12. Suppose 2*d - 6 = -2*v, -4*v + 9 + 9 = 5*d. Suppose 9 + d = 3*g. Is i(g) composite?
True
Suppose -13*m + 20925 = -10*m. Suppose 0 = 3*h + j - 4201, -2*h - 3*h = -5*j - m. Is h a prime number?
True
Let x be (-4)/6*(-18)/4. Suppose -x*z = -0*z - 105. Suppose -83 = -2*a + z. Is a a composite number?
False
Let t = 58894 - 22247. Is t prime?
False
Suppose -2*o + 18 = 3*d - 6*o, 0 = 5*d - 3*o - 19. Suppose 0*m = d*m - 3422. Is m prime?
False
Let h(t) = -2*t - 12. Let u be h(-7). Let n(m) = 806*m. Let g be n(u). Suppose 0 = -14*d + 10*d + g. Is d prime?
False
Suppose -17*m + 16*m = -5718. Let h = -2459 + m. Is h pri