- -17 - ((-102)/(-14) + 0)). Let d = -4 + 9. Which is bigger: d or h?
d
Suppose -26*u + 92 = 14. Let f be u/5*5/(-18)*-46. Which is bigger: f or 0?
f
Let g(b) = -5*b**3 - 33*b**2 + 12*b - 15. Let p be g(-7). Which is bigger: 9/91 or p?
9/91
Let z = -561 + 375. Is z at least as big as -184?
False
Suppose s = t - 3*s - 15, 37 = 3*t - 4*s. Suppose 15*w = 4*w + t. Which is greater: 18 or w?
18
Let a = 5.9 - -2.1. Suppose -o - 50 = -52. Suppose -2*n + 4*y = 2*y, 2*y + 4 = -o*n. Is a >= n?
True
Let m = 721558 + -721512.0423. Let v = 0.0577 - m. Let o = v - -46. Which is greater: o or 17?
17
Suppose -38*d + 36*d = -4*b - 18, 5 = -2*b - 3*d. Is 2.015 != b?
True
Let d = -12.751 - -13. Let m = d - 60.249. Is m >= 1/2?
False
Let w be -2 - 2/(1 - 2). Let o = 584 + -379. Let c = -224 + o. Is w greater than or equal to c?
True
Let o(d) = -6*d + 3. Let s be o(0). Suppose 0 = -2*l + 4*q + 38, s*q = 4*l - 6*l + 45. Does 22 = l?
False
Suppose -1097 - 3643 = -10*u. Which is bigger: u or 466?
u
Let u(m) = 48*m**3 + 5*m**2 - 4*m - 2. Let c be (-1)/(9 + -5 - 5). Let v be u(c). Is 47 > v?
False
Let f(k) = -2*k**2 + 26*k - 19. Let o be f(9). Let w = o - 54. Is 1/538 greater than w?
True
Let u = -2141 + 2139. Let w = 3 - 4. Are u and w nonequal?
True
Let h(v) = -v**3 - 9*v**2 - 7*v - 36. Let p be h(-9). Suppose -10*g - p = 13. Let a be 6/g - 51/(-42). Which is bigger: -21/5 or a?
a
Suppose 3*g = o - 82, -g + 171 = -0*o + 2*o. Let c be 2 + (21190/520)/((-1)/2*-1). Is o not equal to c?
True
Suppose -3*a + 8 = -n, 2*n - 8 = -3*a + 12. Suppose 120 = a*i - i. Suppose -3*q = -3*p - p - 31, 5*q = -5*p + i. Is 3 less than or equal to q?
True
Let z = 7230 + -7246. Which is greater: z or 343?
343
Let q be (9/210)/((-15)/20)*5. Let j be 10/(-35) - 2330/28. Let p = 96 + j. Is p not equal to q?
True
Let i = 16/39 - 1/13. Let j = -307 + 465. Is j at least i?
True
Let m = 3/832 + -1685/5824. Is 4119 smaller than m?
False
Let c be 1769/29211 - (-85)/(-1785). Is -1 less than c?
True
Suppose -2*o = -3*j + 3, -2*o - 3*o = -15. Let h be (-12393)/108 + j*-1. Which is smaller: h or -118?
-118
Let b = -1671 + 1848.4. Let i = -222 + b. Let u = i - -45. Which is greater: u or -1/4?
u
Let l = 10641 + -10456.8. Which is greater: -4/3 or l?
l
Let k = -0.99 - -111.99. Let l = -108 + k. Which is smaller: -28 or l?
-28
Let j(t) = -173*t**2 + 57*t - 103. Let k be j(2). Which is smaller: -680 or k?
k
Suppose -42*t + 288 = -38*t. Suppose 67*v + 375 = t*v. Which is greater: 77 or v?
77
Let x be -9 + 1 + 142016/17766. Is x bigger than 1?
False
Suppose -3*r - 3 - 3 = -3*z, -4*r = -3*z + 6. Suppose 0 = -3*p - 3*i - 1104, 0 = -7*p + 3*p - z*i - 1480. Is -372 equal to p?
True
Let y be -1*((-21)/(-2) - (-15)/(-10)). Let w be -1 - (-57)/y*(-51)/289. Let m = 0.07 + -3.07. Is w > m?
True
Suppose 382*f = -533 - 995. Let d = 0 + -0.12. Let q = 0.32 + d. Which is greater: q or f?
q
Let u = 868 - 843.968. Let i = u + -0.182. Let j = i + -24. Which is smaller: j or 2?
j
Suppose 5*d = -l + 48, -2*d = 3*l - d - 144. Let q = -82 + l. Which is smaller: q or -35?
-35
Suppose -912*d + 913*d - 162 = 5*s, 5*d - 96 = 4*s. Which is bigger: -529 or s?
s
Let q(u) be the first derivative of -2*u**3/3 - 3*u**2 - 1. Let i be q(-4). Let z(h) = -h**3 + h**2 - 8*h + 12. Let w be z(2). Is i less than w?
False
Let v = 172 - 154. Let y be (5 - v/(-12)) + -6. Which is smaller: y or -7?
-7
Let i = 422.67 - 256.67. Let v = -2 - -3. Is i >= v?
True
Let i = 0 - 0.2. Let p = -3425.7 - -3538.7. Is i < p?
True
Let w be (-1 + 0)/((-4)/6 - (-6320)/9840). Which is smaller: w or 74?
w
Let x = -0.065 + 94.065. Let k = 142 - x. Let u = k - 47.9. Which is bigger: u or 2?
2
Let g(l) = -l**3 - 8*l**2 - 35*l - 101. Let c be g(-5). Is c > -18/371?
False
Suppose -16*c = 2*c + 306. Let y = c - -18. Which is bigger: -5 or y?
y
Let u be 56/70 - 12/15. Let a be 456/440 - (1 - u). Which is smaller: -3 or a?
-3
Suppose -v - 112 - 42 = -4*x, -2*v = -x + 42. Suppose -2*s - 12 = -3*u, s = -3*s - u - x. Let b = 2/303 + -977/101. Which is smaller: b or s?
b
Suppose -5*r + l - 47 = 0, -l + 47 = -2*r + 24. Are 0.187 and r equal?
False
Suppose 1555 = -44*h - 3*w, -8*w = 3*h - 3*w + 130. Is 12 less than or equal to h?
False
Suppose 0 = 7*v - 9*v + q - 12, 0 = 3*v - 3*q + 12. Let d be (v/(-21))/(46/(-69)). Let f = -7 + 5. Which is smaller: f or d?
f
Suppose 45*a + 4*a = 7644. Let b = 389 - 234. Is a greater than b?
True
Let x be (-162)/(-432) - (-119)/(-488). Let n = 10 - 11. Is n not equal to x?
True
Let u(b) = -b**3 - b**2 + 21*b - 21. Let i be u(1). Let w = 4 - 8. Is i < w?
False
Suppose -h + 2*v = 13, 0 = 2*h - 5*v + 31 - 1. Let a be (-4)/6*(-8 + -10). Let p be (-54)/4*(a/(-10))/(-3). Does p = h?
False
Let b(h) = 15*h + 271. Let s be b(-13). Suppose -d = s + 16. Is -92 at most d?
True
Let m = -77.095 + -0.805. Let c = -79.5 - m. Does c = -4?
False
Let b be (1076/24)/((-3)/(-6) + 5/(-15)). Which is smaller: b or 290?
b
Suppose -1578 = 5*v - 2*d, 0 = -4*v + 3*d - 694 - 560. Which is bigger: v or -319?
v
Let j(s) = 4*s + 18. Let f be j(-4). Suppose 2*i = 4*i - 2*x, -5*i + 21 = f*x. Suppose i*p + p = -6*p. Which is bigger: 2/71 or p?
2/71
Let c(q) = -3*q - 32. Let s be c(-17). Let l = s - 19. Let h be (-60)/(-36)*2*1/(-9). Which is smaller: l or h?
h
Let l be ((-2)/((-30)/43))/(14/21). Let x be 108/144 - (-68)/16. Is l equal to x?
False
Suppose a - 40 = -0*a - 2*o, -o + 95 = 2*a. Let z = a - 50. Let f be ((-1)/(-6))/((-42)/(-9)). Are z and f unequal?
True
Let x = -22.14 + 23.14. Which is smaller: x or 3193?
x
Suppose -h + 29 = -0*h. Let n = 27 - h. Let b be (-3)/(-6) - (-3)/n. Which is bigger: -2/69 or b?
-2/69
Let y(t) = 3*t**3 - 2*t**2 - 275*t + 274. Let w be y(1). Let f = -482033/376 - -1282. Is f >= w?
False
Suppose -224 = 4*c - 18*c. Suppose g + c = 5*j, 2*g + 2*g = 4*j - 112. Which is smaller: -32 or g?
-32
Let y = -181/476 - -9/28. Let h(q) = q**3 - 3*q**2 + 5*q - 14. Let v be h(3). Suppose 0 = 121*u - 120*u - v. Which is greater: y or u?
u
Let x be (-1)/(-30 - -31 - 5072/5074). Let t = -13058/5 - x. Is t < -76?
False
Let r = -50.9 - -53. Let w = r + -2.29. Let b = -0.09 - w. Is -0.29 < b?
True
Suppose -m - 3*m + 12*m = 0. Let r = 76 + -22. Let p be (-72)/r*6/(-20). Which is smaller: m or p?
m
Suppose 2*z + 4 = 4*z. Let r(n) = -51*n - 333. Let y be r(-10). Suppose 3*q + 168 = y. Is z at least as big as q?
False
Let p(q) = q**3 - q + 44. Let n be p(0). Let i be (n/(-30))/(12/(-20)). Let l(k) = k**3 + 7*k**2 + 12*k + 38. Let j be l(-6). Which is bigger: i or j?
i
Let j(d) = -107*d - 1499. Let z be j(-14). Which is smaller: 10/381 or z?
z
Suppose -1123 = -5*x + g, -11*x + 3*g = -14*x + 663. Let c = 225 - x. Which is smaller: c or -3/310?
-3/310
Let c be -16*3/(-6) - (96 - 94). Which is smaller: c or -1464?
-1464
Suppose -3*k = -5*l - 0*k + 19, -7 = -l - k. Let a(s) = 4*s**2 - 5*s + 1. Let w be a(2). Suppose -l*p - 3 = w. Is -1/4 equal to p?
False
Let s = -0.02 - 3.98. Let u = 36 - 10. Let j = u + -27. Which is bigger: s or j?
j
Suppose -4*y + 3*y = 42. Suppose 6*m = -8*q + 10*m - 348, 5*q - 3*m + 215 = 0. Are y and q unequal?
True
Let q = -12/7217 + -21351/180425. Let p(d) = d**2 + 5*d + 4. Let f be p(-4). Which is smaller: f or q?
q
Suppose 14*j = 9*j. Suppose d = 5*p - 8, -1 = -d - 4*p + 9. Suppose 0 = -4*z - d*c - 2, j*c - 14 = -5*z + 3*c. Which is bigger: -5/11 or z?
z
Let p = -0.01 - -0.21. Let j = -1.36 - -1.275. Let d = -0.115 - j. Are d and p unequal?
True
Suppose -9*h + 3*r - 5490 = -13*h, -2*r = 2*h - 2746. Is h at least as big as 1373?
False
Suppose -5*b + 23107 = -71*d + 75*d, -2*b = 5*d - 28888. Is d > 5778?
False
Let m(l) = 931*l - 3723. Let g be m(4). Which is smaller: g or 2/21171?
2/21171
Let d be ((-24)/(-84) - (-19)/7) + 0. Suppose -33 = -d*z - 4*h, -4*z + 3*h + 88 - 19 = 0. Which is bigger: 123/8 or z?
123/8
Suppose -5*f - 2154888 + 364503 = 0. Let v = f + 7528309/21. Let t = 414 - v. Which is smaller: t or 0?
0
Suppose -133 = -z + 3*w, -18*z = -14*z - w - 477. Is z smaller than 701/6?
False
Let s(x) be the first derivative of 2*x**3/3 + 7*x**2/2 - 16*x + 117. Let d be s(3). Is 240/11 equal to d?
False
Let q be 2/(-4*(-4)/72*6). Let l(y) = -y**2 + 11*y - 8. Let g(k) = k + 22. Let c be g(-12). Let p be l(c). Which is smaller: p or q?
q
Let f be