number?
True
Let n = 270 + -266. Is (6 - 37628/(-16))*n a prime number?
True
Let l = 92318 - 33561. Is l a composite number?
False
Suppose -5*t = 114 + 16. Suppose -766*y + 1050 = -772*y. Let o = t - y. Is o prime?
True
Suppose 0 = 4*z - 5*l - 5902, 5*z - 1397*l - 7375 = -1392*l. Is z composite?
True
Let r be 12 + (-10 - (6 - 10)). Let t = 1 + 0. Is r + 164520/32 - t/4 a prime number?
True
Let g = -49455 + 85646. Is g prime?
True
Is (-20)/(220/(-759))*83/3 a composite number?
True
Suppose -3*j + 3*r + 4527695 = 467210, 0 = -2*j - 4*r + 2707014. Is j a prime number?
False
Is 94882/8 - (-17 - (-390)/24) composite?
True
Let f(m) = -18*m + 23. Let u be f(-5). Suppose 110*a + 10194 = u*a. Is a prime?
False
Let z be ((-6)/(-4))/(-3)*(-12 - -14). Is 419895/180 - ((-1)/(-4))/z prime?
True
Let o be 1/(-2) - 10/(-4). Suppose 74*y - 35 = 79*y. Is (y/(-3)*o)/((-16)/(-6456)) prime?
False
Suppose 0 = -3*i - 3*r - 12, 4*i - 4*r + 47 = -9. Let g = 9 + 36. Is i/g + 936/5 a prime number?
False
Suppose -88 = -b + 3*q, -5*q - 30 = -b + 52. Suppose 4*k - 85 = 5*a + 20, 4*a = 5*k - 138. Is b/(-1 + k/25) a prime number?
False
Suppose -i + 3092 = -5*q, 8*q - 3*q = 4*i - 3098. Let z = q + 1881. Is z composite?
True
Let y be (-98 - -84)*1/2*739. Let z = 11850 + y. Is z a composite number?
True
Suppose -530773 = -5*t - x + 7*x, -530770 = -5*t + 5*x. Is t a prime number?
False
Suppose 1468767 = 78*s + 11*s. Is s prime?
False
Let k(x) = -x**2 + x + 18. Let a be k(6). Let t be (-439900)/(-150) + -2*2/a. Suppose 0 = 2*c - 9*c + t. Is c composite?
False
Let i = -960 - -968. Is (-6)/14 - (3318400/(-35))/i a composite number?
True
Let u(z) = -98*z + 1. Let a(b) = -b + 5. Let t be a(8). Is u(t) prime?
False
Suppose 0 = 29*x + 99989 - 908667 - 2328571. Is x a composite number?
True
Suppose -6859050 = -65*u - 85*u. Is u a composite number?
True
Suppose 0 = 19*l + 90915 - 289978. Is l composite?
False
Let p(k) = 2*k + 8. Let y be p(0). Suppose -2*r + 161 = 3*v + y, 0 = -3*r - 5*v + 229. Suppose 8*z - 6*z = r. Is z prime?
False
Suppose -r + 10 = 9*r. Let g(t) = 50*t**2 - 5 + 4*t + 9 + r + 6. Is g(-3) composite?
False
Suppose 0 = -2*l + 5*m + 22, 19 = 5*l + 4*m - 36. Let w be (-196)/(l/(2046/(-12))). Let b = 6709 - w. Is b prime?
True
Let g be (-1 + 0)/((-12)/(-96)). Let p be 18/((g/30 + 0)/(-10)). Suppose -h = i - 271 - 416, -5*i = -h + p. Is h composite?
True
Suppose 289*v + 1221263 = 292*v - q, -v + q = -407085. Is v prime?
False
Let o = 77 + -73. Suppose -3288 = -o*w + 48. Suppose 3*i - 721 = 2*a, -5*i + w = a - 359. Is i a composite number?
False
Suppose 56 = -7*v + 28. Let g(n) = -2*n + 11 + 211*n**2 + 264*n**2 + n. Is g(v) prime?
False
Suppose 64*g = 65*g - 2. Suppose 2*w = -g*b + 4 + 2, 3*b - 17 = w. Suppose 0*h = 5*q - 5*h - 100, -80 = -b*q + h. Is q prime?
False
Let b(l) = 101*l**2 + 41*l - 143. Suppose -23*c = -25*c + 40. Is b(c) a composite number?
False
Suppose -5923003 - 5178070 = -37*w - 1848520. Is w composite?
True
Let v(g) = -2*g**2 - 24*g + 74. Let k be v(-15). Is (-2)/k + 56686/16 prime?
False
Let m(t) be the first derivative of -28*t**2 + 29*t - 1731. Let b = 12 - 22. Is m(b) a prime number?
False
Let k = 63117 + -29312. Is k a composite number?
True
Let a(d) = 1779*d**2 + 25*d + 1. Let r be a(2). Suppose -v + 83366 = 5*b, 9510 = b + 4*v - r. Is b prime?
True
Suppose 0 = k + 5, -3*a + 0*k - 2509 = 2*k. Is (16/4 - a)*1 - -4 a prime number?
False
Let k = -615 + 617. Suppose 4*p - k*v = 3*p + 1683, 5*p - 8424 = v. Is p a composite number?
True
Suppose 0 = -3*m - 4*v - 99203 + 446778, -4*m + 5*v + 463485 = 0. Is m prime?
False
Let n(h) be the first derivative of 425*h**2/2 - 11*h + 1. Suppose -8*g = -432 + 336. Is n(g) composite?
True
Suppose l - 2*l = p - 13, 4*p - 61 = -5*l. Suppose 6383 = -l*i + 37046. Is i a composite number?
False
Suppose 2*z = -2*i - 21028, 0 = -3*i + z - 2*z - 31544. Is i/2*104/(-156) a composite number?
True
Suppose 4*j + 6*q = 347266, 2*j + 5*q = 6*j - 347343. Is j a composite number?
True
Let k(r) = r**3 - 26*r**2 + 49*r - 24. Let n be k(24). Suppose n = -6*g + 9103 + 6203. Is g a prime number?
True
Is 15/(-6)*(2 + 9 + (-181899)/45) a composite number?
True
Let v(u) = 409584*u**3 - 8*u**2 + 40*u - 33. Is v(1) a prime number?
False
Suppose 9*x - 214 = 191. Suppose 3*z = 4*f - x, 4*f + 0*z = -5*z + 21. Let w(g) = 2*g**3 - 9*g**2 - 3*g + 11. Is w(f) prime?
False
Let i = -605141 + 1288228. Is i composite?
False
Let r = 20834 - 3435. Suppose 4*g = -1083 + r. Is g prime?
True
Suppose -3*d - d - 5*q = -72, -5*d + 3*q + 53 = 0. Suppose -z + 22 = 2*o, z = -o - 0*o + d. Let t(p) = 16*p**2 - 12*p - 11. Is t(o) a composite number?
True
Let q(t) be the second derivative of 5*t**4/12 + 13*t**3/6 - 7*t**2/2 - 28*t. Is q(12) prime?
False
Let y = 77 + -72. Suppose 2*n + 2*n - 20 = 5*k, 0 = y*k + 2*n - 10. Suppose 18 = -q - 4*d + 355, k = 5*q + d - 1647. Is q a composite number?
True
Let q(i) = 3386*i**2 + 4*i - 2. Let a be q(1). Let f = 5635 + a. Is f a composite number?
True
Suppose -42*t + 403784 = -667678. Is t prime?
False
Let i = 532 + -494. Suppose -i*q + 469889 = -19*q. Is q prime?
False
Let d(h) = 2*h**2 - 71*h + 527. Is d(66) a composite number?
True
Let c = -103229 + 158800. Suppose -5*y - c = -151506. Is y composite?
True
Let p(o) = -89096*o + 2263. Is p(-6) a composite number?
False
Let h(u) = u**3 - 38*u**2 + 82*u - 357. Let m be h(36). Suppose -b + 1 + 4 = 0. Suppose b*j - m*j - 281 = -5*f, f + 5*j - 70 = 0. Is f prime?
False
Let w be ((-13)/(-4))/(14/8 - 2). Let d be (-2)/w + 28/(-13). Is d/(-3) + (-12035)/(-15) a composite number?
True
Suppose -b - 290 + 834 = 2*d, 0 = -3*b. Suppose -8711 = -3*k - d. Is k a composite number?
True
Let y(s) = -s**3 - 22*s**2 - s - 28. Let u be y(-22). Is ((-1814)/4)/(u/(-8 + 32)) a composite number?
True
Let b(p) = 6*p**3 - 9*p**2 + 15*p + 1. Is b(10) a prime number?
False
Suppose 4*q - 47 = m - 40, 3*m - 4*q + 29 = 0. Is (-6)/m - 4469166/(-286) prime?
False
Is 1534777 - (9 + -4 + (-44)/4) prime?
True
Suppose 0 = -5*y + 2*u + 34, -4*y = -u - 20 - 6. Suppose -22689 = y*z - 9*z. Is z a composite number?
True
Let b(z) = -z**3 + 39*z**2 + 17*z + 3. Is b(-34) a prime number?
True
Suppose 8*o - 3564 = 87716. Is (o/(-25))/(6/(-15)) prime?
False
Suppose -2*q + 57867 = 5*z, -5*z = -2*q + 61169 - 3272. Suppose q + 7754 = 5*v. Is v a composite number?
True
Let y(w) = 64*w**2 - 48*w - 25. Is y(8) prime?
False
Is (-16 - -35) + -19 - -350657 prime?
True
Suppose -f - 4*d - 960 = -2*f, 4*f - 3896 = 2*d. Let k(o) = -o**3 - 31*o**2 - 92*o - 177. Let l be k(-30). Let s = l - f. Is s composite?
True
Let t = 99 + -35. Let j = -1211 - -1186. Let d = j + t. Is d a prime number?
False
Let p = 965 - 664. Let o be 112 - (3*10/(-15))/1. Let z = p - o. Is z prime?
False
Let g be (1 + -1 + -2)*(27 - 11). Is ((-168)/g - 5)*62116 a prime number?
False
Let t = 37827 - -58252. Is t composite?
False
Suppose 4*f - 236 + 56 = 0. Let r be 4*(-2)/(-12)*f/6. Suppose 10*o = -4*l + r*o + 368, l + 2*o - 95 = 0. Is l a prime number?
False
Let l(f) = 12*f - 66. Let m be l(7). Let s(g) = 2*g**2 + 13*g + 29. Is s(m) prime?
True
Suppose 2*a - 6*i - 20 = -2*i, -4*a + 20 = 2*i. Let r be ((-15768)/(-60))/(a/20). Let h = -542 + r. Is h a composite number?
True
Suppose 0 = -2*m - 3*s - s - 12004, 0 = -3*m - 3*s - 17994. Let w = -3623 - m. Is w a prime number?
True
Let h(o) = 9*o**2 - 237*o - 283. Is h(87) a composite number?
True
Let z(h) = 9*h**3 - 8*h - 1. Let a be z(-5). Let v = -675 - a. Let q = 338 + v. Is q a prime number?
False
Suppose -9*g + 220907 = -97198. Is g a prime number?
False
Is (-22 - (-1075)/50)/((-5534074)/2767036 + 2) a composite number?
False
Let w(k) = k**3 - k**2 + 2*k - 3. Let q be w(2). Suppose 2 = q*a - 28. Is -3 + a/3 - (-3 - 255) prime?
True
Suppose 733828 = 4*j - 5379*m + 5376*m, -4*j + 733828 = -5*m. Is j prime?
False
Let j be 6*(15/(-10))/(1/(-13)). Let b be j/15*(-3)/((-12)/940). Let x = b + -620. Is x a prime number?
True
Let p = 34167 - 20644. Is p a prime number?
True
Let c(g) = g**3 + g**2 - g + 51259. Let j be c(0). Suppose -4*o - 9*o + j = 0. Is o a prime number?
True
Let l = 484 - 127. Is 318/14 - (l/(-49) - -7) a composite number?
False
Let r be (21/(7/1))/((-6)/10). Suppose 3 = -2*a - 5. Is 695 + a/(-4 - r) compos