ch is greater: j or 0.13?
0.13
Let m be (-2)/(-3) - 190/15. Let b be 4/m - 1/(-3). Which is bigger: b or -2/13?
b
Suppose 4*m + 108 = -148. Let p = m - -255/4. Is p > 3?
False
Let n = -22 - 34. Is -55 >= n?
True
Let y = 144 + -72. Let k = -790/11 + y. Is k < -1?
False
Suppose -2*j = -7*j - 5*v - 175, 97 = -3*j + 5*v. Is j smaller than -32?
True
Let y = 6.7 + -5.7. Which is bigger: y or -22?
y
Let l = -196/3 - -62. Are l and -2 unequal?
True
Let k = -69 - -73. Which is smaller: k or 2?
2
Let r(p) = -2*p**2 - 16*p + 13. Let u be r(16). Let d = u + 33973/45. Which is greater: 1 or d?
1
Let z be 3/(-1) - (5 + (3 - 120)). Which is smaller: 110 or z?
z
Let y be ((-6)/8)/((-54)/16). Let n be 12/2 - (1 - -2). Suppose 0*w = 3*o - n*w + 12, -o + 5*w = 20. Which is bigger: y or o?
y
Suppose -3*j = 3*n - 24, -3 = -n + 3*j - 7. Which is bigger: 6 or n?
6
Let w(g) = -g**3 - 3*g**2 + 6*g. Let t be w(-5). Let q = -20 + t. Which is bigger: -2 or q?
q
Let h(w) = 2*w - 4. Let l be h(4). Let u = 56 - 55. Which is greater: u or l?
l
Suppose 0*a = o + 5*a + 16, -o - 2*a = 4. Suppose 0 = 3*r + 5*w + 5 + 24, -r - o*w = 19. Are r and -2 unequal?
True
Let z = -3 - -2. Is -4/7 not equal to z?
True
Let x(r) = r**2 + 10*r - 3. Let d be x(-5). Let t = 18 + d. Which is smaller: t or -9?
t
Let w = 2 - 1. Let i(k) = 8*k + 1. Let b be i(-5). Let q = -155/4 - b. Which is greater: q or w?
w
Let j be (21/(-2))/(8/16). Let i be 4/(-14) + (-6)/j. Which is smaller: 1/16 or i?
i
Let l = 8/3 + -43/15. Suppose 0 = 4*g - 3 - 1. Let a be 1 + g + (-4 - -1). Which is smaller: a or l?
a
Let n be (2/6)/1 - 1. Let m = -87 - -85. Is n > m?
True
Let d = -1.5 - -0.7. Let l = d + 0.7. Which is smaller: l or -9?
-9
Let k be (-3 + 14/6)*105. Which is smaller: k or -69?
k
Let k be (-9)/(-5) - (0 + 2). Suppose -4*j = -9*j. Which is greater: k or j?
j
Let b(p) = -p**3 - 10*p**2 - 10*p - 5. Let o be b(-9). Let g = o - 8. Which is greater: g or -2?
-2
Suppose 4*o + 0*d = d + 3, 5*o + 4*d + 12 = 0. Which is bigger: 2/19 or o?
2/19
Let q = -6 + 6.4. Let w = q - 0.4. Let d = -2 + w. Is -2 > d?
False
Let m be (34/40*6)/(-3). Let v = 6/5 + m. Is v smaller than -4?
False
Let z be 1/3 - (-2)/(-6). Which is bigger: z or -15?
z
Suppose -6 = -g + 5. Suppose -5*c = -2*h + g, 3*h = 2*h - 2*c + 1. Suppose -2*u - h + 5 = -4*a, 0 = -a - u + 1. Which is greater: a or -2?
a
Let k = -0.16 - -0.04. Is -0.1 bigger than k?
True
Suppose -5 + 30 = 5*f. Let x be 2/7 + f/(-42). Which is bigger: 2/3 or x?
2/3
Let p(y) = y**2 - 7*y + 7. Let j be p(5). Is j bigger than -3?
False
Let u = 11/4 + -9/4. Which is greater: -3 or u?
u
Let d = -234 + 227.97. Let p = -0.03 - d. Let s = 6.3 - p. Which is greater: 1/4 or s?
s
Suppose 0*a = -3*a. Suppose -5*i = -15, a = -z - 3*i - 0*i + 6. Is z at least as big as -4?
True
Let x = -1364 - -75018/55. Which is bigger: -1 or x?
x
Suppose 2*f + 8 = -2*f + 4*y, 4*f = 2*y - 4. Suppose d = 22 - f. Which is smaller: d or 23?
d
Let h = 30 - 36.1. Let a = h + 6. Which is greater: a or 0.03?
0.03
Let v = 3460/9 - 384. Which is smaller: -2 or v?
-2
Let f(m) = 14*m**2 - 1. Let x be f(-1). Suppose 5*a + 3 - x = 0. Which is smaller: a or 1?
1
Let w be ((-3)/(-2))/3 - (-1062)/36. Is w less than or equal to 31?
True
Let n = -10.07 - -0.07. Is 3 at most as big as n?
False
Let i = -52 + 100. Which is greater: 47 or i?
i
Suppose 56*t + 1 = 55*t. Is t < -2?
False
Let h be 3/5 + 2/(-10). Is -30 at least as big as h?
False
Let u be (6/(-18))/((-2)/(-18)). Suppose 0 = 2*d + 2. Is u less than d?
True
Let h = 6182/4845 + -64/51. Which is smaller: -1 or h?
-1
Let k be (4/42 + 0)*3. Let l = 1.4 - 16.4. Let g = l + 15.08. Which is greater: k or g?
k
Let h be (4/15)/(0 - (-370)/(-25)). Which is smaller: -1 or h?
-1
Let b be (9/(-6))/(5/(-10)). Is 3 greater than or equal to b?
True
Let l(d) be the second derivative of d**6/360 - d**5/15 - d**4/12 + 4*d. Let k(h) be the third derivative of l(h). Let c be k(6). Are c and 4 unequal?
False
Let g(c) = -c**3 + c + 4. Let f be g(0). Let p be 342/72 - (-2)/8. Which is smaller: f or p?
f
Let t = 21/8 + -113/40. Suppose 0 = 4*m - 2*j + 2, -m + 5*j - 5 = -3*m. Are m and t nonequal?
True
Let p = -0.18 + -1.02. Let l = p - -1. Which is smaller: l or 6?
l
Let o(y) = y**2 + 4*y + 2. Suppose d = -2 + 6. Let c = d - 6. Let q be o(c). Is q at most as big as -2?
True
Let k = 387 - 2755/7. Is k != -6?
True
Suppose -50 = 2*d + 5*k, -3*d + 2*k = -7*d - 100. Let h be 3/6 + d/70. Which is smaller: h or -1?
-1
Suppose 5*p + 2*m + 8 = m, -2 = 3*p + 2*m. Let w = -25 - -170/7. Is p >= w?
False
Suppose 0 = -2*j + 8*j. Which is smaller: -2 or j?
-2
Suppose 0 = -g + 4*n - 12, 0 = 4*g - 4*n + 47 - 11. Is g at most as big as -3?
True
Let f = -36 + 33. Let t(y) = -y**2 + 6*y - 2. Let l be t(6). Let q = -2 - l. Does q = f?
False
Let d be (-6)/(-57) - 516/(-152). Are 5 and d unequal?
True
Suppose 3*b = -2*b. Let u be 18/(-10) - (-2 + b). Let r be (-4 + 2 + 1)/(-1). Is r at least as big as u?
True
Let w be (-1)/(-64)*(-12)/(-9). Which is greater: -1 or w?
w
Let b(a) = a**2 + 6*a + 1. Let r be b(-6). Are r and -2/23 unequal?
True
Let w(a) = -a**2 - 4*a - 5. Let y be w(-2). Is -1/34 equal to y?
False
Suppose p - 2 = 1. Suppose 0 = p*v + v. Which is smaller: -1/2 or v?
-1/2
Let j be -1 + (21/5)/3. Let t = -8.788 + 0.088. Let u = t - -9. Is j >= u?
True
Let u = 33 + -21. Let v = -10 + u. Are -1/2 and v nonequal?
True
Suppose 0 = -10*f + 9*f + 1. Are f and 2/57 nonequal?
True
Suppose -5*g - 26 + 51 = 0. Suppose 0 = -2*p + 5*b + 33, 0 = 3*p + b - 0*b - 7. Which is greater: g or p?
g
Let l = -7 + 15. Let v(j) = -j + 5. Let u be v(l). Suppose 0 = -5*f - 0*f - 20. Which is smaller: u or f?
f
Let w = -6 + 8. Let s(t) = -t**3 + 3*t**2 - 2*t. Let v be s(w). Let h be 1 - (9/5 - 1). Is h less than or equal to v?
False
Let w(f) = f**3 + 4*f**2 - f - 3. Let q be w(-3). Suppose -2*c + q = -1. Suppose -d - d - 10 = 5*x, -x - c*d = 2. Is x at least as big as -1/2?
False
Let g be 84/24 - 3*1. Suppose 0 = 5*k + 3*b - 17, 5*k - 5*b = -0*k - 15. Is k >= g?
True
Suppose -17 = -5*q + 4*o, -4*o = 2*q + 7 + 3. Which is greater: -1 or q?
q
Suppose -2*q + 33 = -3*o + 3*q, -q = 2*o + 22. Let c = o - -11. Is -3 at least c?
False
Suppose -1 = m - 4. Suppose p = 5*n + 3*p - 2, 12 = 4*n - p. Suppose 3*a = 5*z - 14, -4*z = 6*a - n*a - 24. Which is bigger: a or m?
m
Let q be 2/7*(-28)/(-16). Do q and -2/21 have different values?
True
Suppose 4*d + 5*m = 0, 0 = 3*d - 0*m - m. Which is greater: -5/6 or d?
d
Let t = -2 + 1.7. Let z = t + 0.5. Let h = -0.6 + 0.4. Is z > h?
True
Let z = -0.3 + 0.4. Let t be -4 - (3375/(-21) - -4). Let b = -153 + t. Is z smaller than b?
False
Let g be (146/762)/(12/(-17)). Let r = 13/381 - g. Let a = r - -1/36. Which is greater: 2 or a?
2
Suppose 0*d - 20 = d. Let h be ((-8)/d)/(2/10). Let p = 0.6 - -1.4. Is p at least h?
True
Let r = -25.96 + 26. Is r at most as big as 0.2?
True
Let m = 58 + -233/4. Let w(q) = q**2 - q - 1. Let p be w(1). Which is smaller: p or m?
p
Suppose 4*u = i, 3*u - 2*u = 5*i. Let y = 360/6251 - 2/133. Is u at least y?
False
Suppose -4*x + 7*h - 3*h = 28, 0 = 2*h. Suppose 2*u + 5*p = -8, p - 8 = -2*u - 0. Let z = x + u. Which is smaller: z or -0.2?
z
Suppose -4*v + 9 = -r, 2 = -4*v + 5*r + 15. Let j(g) = -g**3 - 4*g**2 - 5*g - 2. Let z be j(-3). Suppose -v*x + z = -0. Is 2 less than x?
False
Let g be (3/(-2))/(1/(-2)). Let i be 1/((2/(-18))/(2/(-6))). Are g and i non-equal?
False
Let b = -20 - -20. Are b and -1/4 non-equal?
True
Let z be -2 - 15/5 - -4. Let j = -9974/15 - -120673/180. Let a = j + -21/4. Which is smaller: z or a?
z
Let d = 0.2 - 0.2. Let x = 0.05 + 6.95. Let g = x + -6.8. Which is greater: d or g?
g
Let m = 34.05 - 34. Let u = 0.3 + 0.7. Which is smaller: m or u?
m
Suppose -6*b - 6 = -3*b. Suppose 3*p + 6 = -z - z, -2*p + 3 = -z. Let d be (-10)/z - (-1)/(-3). Is b bigger than d?
False
Let t(c) = c**2 - 3*c + 3. Let q be t(2). Let u = 2 - q. Let s be (8/(-30))/((-7)/35). Which is bigger: u or s?
s
Let t(z) = z - 6. Let b be t(-3). Is b at most as big as -9?
True
Let i = 482 - 188. Suppose 0 = -0*t + 3*t + i. Let n = t + 684/7. Which is smaller: 0.2 or n?
n
Suppose a = -0*a - 3*q + 17, 14 = -3*a + 4*q. Which is smaller: -1 or a?
-1
Let h = 7 + -4. Let d = h + -2.9. Which is s