 as big as g?
True
Let l be (-134)/(-3) - 2/(-6). Let w = -96 + l. Let z = -74525 - -74474. Is z at least as big as w?
True
Let t = 3528149/75 - 47040. Let i = -63167/25 + 2527. Let a = t - i. Is 2 at least as big as a?
True
Let g = 30 + -11. Suppose 14 + 1 = -5*s, -5*b - 189 = 3*s. Let w = -17 - b. Are g and w unequal?
False
Suppose 5*c - 273 = -243. Suppose 0 = -5*z + 3*d + 45, -33 + c = -3*z + d. Is z != 64/7?
True
Let n be 19/(-7) - (-16)/(-56). Let s be (n - (1 + 118))/(-2). Suppose -8*f + 3 = -s. Is f greater than 6?
True
Let b(m) = -m**3 + 9*m**2 - 9*m + 6. Let u be b(8). Let d be 0 + (u - (2 + -2)). Let v be d/8 + (-39)/52. Is -2/109 at most v?
False
Suppose -3*s = 2*h - 19, -2*s - 3 + 24 = 3*h. Let x be (s/4)/((-54)/9). Let n = -11/24 - x. Which is greater: n or 1?
1
Let y = -15005.1982 - -15005. Which is smaller: y or -2?
-2
Let a(y) = -26*y**3 + y**2 + 17*y + 39. Let w be a(-2). Which is smaller: 220 or w?
w
Let b(o) be the second derivative of -25*o**3/3 + 82*o**2 - 2*o + 4. Let m be b(-14). Is m <= 864?
True
Let b = -0.21369 + 0.01369. Is -1137 less than or equal to b?
True
Let p = -1.3761 + 0.3761. Which is smaller: 94/83 or p?
p
Let p(u) be the second derivative of -u**4/12 - u**3 - 32*u**2 + 44*u. Let q be p(-17). Is -252 less than q?
True
Let w(b) = 5*b**3 - 6*b**2 - b - 100. Let c(k) = k**3 - k**2. Let y(q) = -6*c(q) + w(q). Let v be y(0). Let z be 80/v*(-1 + 35/36). Which is bigger: z or 1?
1
Suppose -85*t - 102 + 178 + 179 = 0. Which is smaller: t or 216/59?
t
Let a = 7674/5 - 65988716/42995. Is a < 0?
False
Let k = 801.83 - 801. Let y = -2.83 + k. Is y less than 66?
True
Let d = -404253035/44 - -9186955. Let a = 614 + d. Which is smaller: 0.1 or a?
a
Suppose 0 = -205*y + 237*y - 32. Which is smaller: -2/3141 or y?
-2/3141
Let b = 14 - 8. Let v(n) = 10*n**2 + 49*n - 3. Let l be v(-5). Suppose -b*z + 4*q - 12 = -2*z, 2 = l*q. Is z > 8?
False
Let g be (-4)/(-22) + (-120)/55. Let j(d) be the second derivative of d**3/6 + 3*d**2/2 + 2*d. Let u be j(g). Which is smaller: 6/29 or u?
6/29
Let l(z) = z**3 + 4*z**2 + 18*z + 9. Let a be l(-4). Suppose 6*c + 63 = 5*c. Do a and c have different values?
False
Let u(g) = -g**2 + 6*g + 6. Let l be u(6). Let q be (-1)/l - 329/42. Let n be 72/135*(-42)/q. Are n and 2 nonequal?
True
Let n be (((-4)/9)/((-3436)/(-12)))/((-29)/(-522)). Which is bigger: -1 or n?
n
Let i = 177274784/171 + -3110146/3. Let n = 172/9 + i. Which is greater: n or 0.1?
0.1
Let b = 270 - 182. Suppose -b = -4*h - 4*h. Which is smaller: 78/7 or h?
h
Let w be ((-245)/(-15) + -4)*1/3. Let u = w - 656/153. Are 0 and u equal?
False
Suppose 2*h = 11 - 1. Suppose -4*l - 36 + 52 = 0. Suppose 3*o - 7 = 2*i - 17, 0 = -i - l*o - 17. Is h greater than or equal to i?
True
Let g be 46/207 + 19 + -19. Is g smaller than -2794?
False
Let i be (-14)/70*(-10)/3. Is 1567 less than i?
False
Let p = 0.247 - 161.247. Let b = -266 - p. Which is bigger: b or -2?
-2
Let k(c) = 11*c**2 + 23*c - 23. Let i be k(1). Suppose -i*a = -13*a + 4. Which is smaller: 31/11 or a?
a
Let l be 11/40 + 2/(-5). Let x = -225 - -233. Let s be -2 - (3/(-6))/(x/16). Which is smaller: l or s?
s
Let i be -2 - 2/4*0. Let f = -4 - i. Let q = -1063.91 - -1064.1. Which is greater: q or f?
q
Let x(m) = m**3 + 19*m**2 - 24*m + 40. Let t be x(4). Are 283 and t equal?
False
Suppose 0*f + 48 = -4*f. Let g(z) = 7*z**2 + 14*z - 25. Let k(d) = d**2 - d - 1. Let l(v) = -g(v) + 5*k(v). Let w be l(-11). Is w > f?
False
Let x(d) = 8*d**2 - 7*d - 38. Let h be x(6). Let l be h/1560 + (-2)/15. Let p = 13 - 19. Which is greater: l or p?
l
Let l be (422/(-4))/(-1) - (-28)/56. Let n = l + -106. Is 11/32 less than or equal to n?
False
Let s = 3521 - 2425. Is 1103 greater than s?
True
Let c(k) = -k**2 + 16*k - 62. Let x be c(8). Suppose -4*v + 12*o - 99 = 9*o, -x*v + o - 47 = 0. Is v <= -22?
False
Suppose 4*w - 15 = -r, 3*w + 3 + 0 = 4*r. Let c be (-49940)/(-2464) - (r*-1)/(-21). Is c less than 21?
True
Let d = -38 - -40. Suppose -d*a + 7*a - 5 = 3*g, -20 = 4*g. Is 42/13 at most a?
False
Let k be (-3 + 3 + 3)/(1 - 0). Suppose 4*q + 2*l + 25 = 5*q, -k*q - l + 68 = 0. Suppose 3*d - 62 = 5*o, -2*o + d + 2*d - q = 0. Is o != -11?
True
Suppose -m = 3*t - 2285, 318*m = 319*m + 4. Which is greater: 764 or t?
764
Let n = -2731 + 3175. Is n <= 449?
True
Let f(d) = d**3 + 8*d**2 - 9*d - 72. Let j be f(-8). Suppose 147*m - 157*m - 100 = j. Let o = -6 + -3. Is m equal to o?
False
Let g = 8368/897 - -90703784/76245. Let k = g - 1199. Do 1 and k have different values?
True
Let l(g) = g**2 - 17*g - 21. Let v(a) = 12*a - 9. Let n be v(13). Suppose -n - 253 = -20*w. Let c be l(w). Does c = 41?
False
Suppose -f = -2*d + 7, -f - 5*d + 13 + 15 = 0. Suppose -j - 2 = -f*j. Let g be (275/1260 - 0) + 3/(-12). Does g = j?
False
Suppose 0 = -5*n + 3*g + 5, 2*g + 2 + 8 = 5*n. Suppose 5*z + 16 = -n*o - 0*o, 12 = 2*z - 3*o. Let x = -64 - -709/11. Is x != z?
True
Let o be 3*((-3)/(-9) - 2). Let l be (-7)/((-413)/293)*-1 - o. Is -8 < l?
True
Let m be (-2)/(-8) - (-42)/24. Suppose 4*f = 3*c - 19 + 6, m*f - 3*c + 5 = 0. Let s be (10/(-75))/(f/78). Which is bigger: 3 or s?
3
Let p(t) = -t + 1. Let v be p(-4). Let b = -9 - -11. Suppose 0 = -b*g - 394 + 402. Is g greater than or equal to v?
False
Let u(s) = s - 7. Let f be u(7). Let g = -164 - -172. Let v be g/12 + 4*(-88)/510. Is v > f?
False
Let t(i) be the second derivative of -i**3 + 31*i**2/2 + 80*i. Let a be t(5). Which is smaller: a or 14/23?
14/23
Suppose 0 = 4*z - w + 3, 8*z - 9 = 12*z - 3*w. Suppose 11*c + z*c = 4*c. Is -2/1965 bigger than c?
False
Let b = 107234 + -4396857/41. Is b <= -5?
True
Suppose 45*f - 51*f = 168. Let m be (f/(-21))/(422/3). Is 1 != m?
True
Suppose -3*o - 1 = -2*b, 5*b + 52 = 2*o + 49. Which is smaller: -126/355 or b?
b
Let b be (7/(-85))/(993/2317). Is b bigger than 0?
False
Let o = -757.05 - -794. Let i = 48 - 85. Let f = i + o. Which is smaller: f or 5?
f
Let j be (0 + -2)*(-17 - 2). Let t be j/88 - (-2)/(-8). Let a = -629 - -630. Is a greater than or equal to t?
True
Let b = -16011 + 8350. Which is smaller: b or -7662?
-7662
Let a = -37 - -6. Let i = -187 - -183. Let j be ((-6)/(-2))/(7 + i). Is a less than or equal to j?
True
Suppose -4*u = o, -4*o = o + 5*u. Let y = 10454 - 1704001/163. Does o = y?
False
Let d = -1940 - -1931.752. Let h = d - -8.47. Which is smaller: h or -0.2?
-0.2
Suppose 3*i = m - 21, -12*m - 63 = -15*m - 5*i. Which is greater: -20 or m?
m
Let i(x) be the second derivative of -5*x**3/6 + 89*x**2/2 + 18*x + 1. Let y be i(-10). Let t = 697/5 - y. Which is greater: t or 2/23?
t
Let v = 0.71389 + 368.99611. Let d = -371 + v. Is d at least -1/2?
False
Let k = -11075 + 17727. Is k <= 6652?
True
Let q = -6946 + 6919. Which is smaller: 150 or q?
q
Let w(c) = -4*c**2 + 46*c - 131. Let n be w(5). Let s = -57777/188 - 631/47. Let j = 14057/44 + s. Is n != j?
True
Suppose -2*t + 0*t = -3*l - 51, -5*l = 15. Suppose t - 46 = 5*j. Let x be ((-4)/(-20))/(3/j). Is 3 at most as big as x?
False
Suppose -5*s + 9*s - 2*q = -9380, -q - 4698 = 2*s. Is s less than -2347?
False
Let x = 158627/141 - 1125. Do 2 and x have different values?
True
Let g(k) = -7*k**2 - 77*k - 55. Let p be g(-10). Is p bigger than 4?
True
Let t(q) = 538*q + 2153. Let j be t(-4). Is j at most 3/881?
False
Let m be (64/6)/(2/(-6)). Let f be m/(-80)*(-10)/(-16). Let a = 1507 + -1555. Which is smaller: a or f?
a
Let p be (-2)/(-3) + ((-248)/(-24) - 9) + 13. Which is bigger: 0.22 or p?
p
Let u = -43 + 72. Let z = 13 + u. Let o = 41 - z. Which is greater: -0.1 or o?
-0.1
Let o = -4376 - -4376. Is o at most as big as -2/301?
False
Suppose 2*x = -2*j - 228, -76 = x + 4*j + 44. Is x less than -105?
True
Let h = -389.6 + 414. Let k = -204.4 + h. Is k at least as big as -2?
False
Let o be (-83490)/20865 - ((0 - 3) + -1). Which is smaller: o or -1?
-1
Let d be 2/(((-24)/(-3))/(-4)). Let p be (0 + -2 - -116)*d*1. Let b be p/(-72) - (-2)/(-6). Which is greater: 2 or b?
2
Let a = -603 - -611. Suppose -117 = -a*u - 53. Let m = 112/15 - 4/5. Is u smaller than m?
False
Let z = 101 - 129. Suppose 540 = 5*m - 70. Suppose -4*a - 3*q - m = -0*a, 5*a = -2*q - 149. Is z smaller than a?
False
Suppose -8*r - 217 = -15*r. Let y(f) = f**3 + 17*f**2 + 9*f - 115. Let t be y(-16). Is t greate