greater than j?
False
Let k = -1163/387 - -5/43. Are -3 and k equal?
False
Let s = -31 + 39. Suppose -s*f - 1 = -7*f. Let n = -1 + 4. Which is smaller: n or f?
f
Let n = 5/24 - 7/8. Let p = -775.04 - -775. Is p > n?
True
Suppose v + 12 = 3. Let k = -7 - v. Let l be k/5 + (-38)/20. Is -2 greater than l?
False
Suppose -k + 1 = 0, -6*s + s + 7 = 2*k. Let d be s/3 + 39/9. Which is smaller: 6 or d?
d
Let u = 1224/11 - 111. Let n(k) = -k + 7. Let c be n(7). Is u equal to c?
False
Let y be (-7 - -4)*(-3)/(-3). Which is smaller: y or -8/5?
y
Let r(p) be the first derivative of 2 + 3*p + 1/3*p**3 + 2*p**2. Let b be r(-2). Is b at least 0.1?
False
Let u be -18*2/50*-10. Which is smaller: 7 or u?
7
Let g be (-6)/5 + 5/25. Which is smaller: 4/17 or g?
g
Suppose 0 = 5*n - 2 + 7. Which is smaller: -5/6 or n?
n
Let z be (-8)/60*(-5)/(-9). Let p = -9 - -8. Is z smaller than p?
False
Let g be ((-49)/42)/(1/2). Let c = g - -32/15. Is c bigger than -1?
True
Suppose 0 = -t + 5 - 19. Let a be (-1)/2*t/7. Does 2 = a?
False
Suppose 2*o + o - 9 = 0. Suppose -24 = -c - o*c. Let g be c/15 - 8/45. Is g at most as big as 0?
False
Let d = 29 + -25. Which is bigger: d or 7/2?
d
Let c = -507 - -507. Let m = 0.26 + -0.3. Let g = 7.04 + m. Is g <= c?
False
Let g be 1*((-22)/(-10) + -2). Suppose -14*w + 17*w = 3. Which is smaller: g or w?
g
Let h(j) = -3*j + 7. Let r be h(3). Let t = 0 - -1. Suppose 5*g + 4 = -f + t, 5*f - 7 = -3*g. Which is greater: r or g?
g
Let l(m) = m + 2. Suppose 3*c - 15 = 0, -c = -5*r + 2*c - 25. Let d be l(r). Is -3/8 at least d?
False
Let z = -21 - -14. Let j = z - -3. Let t = 3 + j. Which is bigger: t or -2/5?
-2/5
Suppose -4 = 3*q - 5*l, 4*q + 4*l - 2 = 14. Let k be (25 + -1)/(12/(-8)). Let g be 12/k*2/(-3). Which is bigger: g or q?
q
Let x = 86 - 91. Let m = 9 - 5. Let b = x + m. Which is bigger: 0 or b?
0
Let i(p) = -3*p + 5. Let q be i(-4). Suppose -4*m = -f + q, -2*f = -0*m + 4*m + 14. Let o be ((-2)/(-2))/(f - 2). Is -1 less than or equal to o?
True
Suppose -4*h - q = 4*q + 21, 3*q = 3*h + 9. Let y = -15 - -9. Let x = h - y. Is 4 at least x?
True
Suppose 0*w = 9*w - 126. Which is smaller: w or 16?
w
Let r(n) = -5*n**2 + 5. Let q(k) = -6*k**2 + 6. Let x(d) = 4*q(d) - 5*r(d). Let v be x(-1). Let m be v + 2/(-1) - 2. Which is bigger: m or -3?
-3
Suppose 0 = 2*g + 3*b - 1389, -5*g - 3*b + 3440 = -2*b. Let l = g + -35035/51. Which is smaller: l or 1?
l
Let l = 93 + -93.47. Let s = l - 0.03. Let r = s - -1.5. Do 3 and r have the same value?
False
Let l = -4.4 + 4. Let u(w) = -w + 4. Let r be u(3). Suppose 0 = j - r + 2. Is j equal to l?
False
Let d be 206/6 - (0 + -2). Let z = 37 - d. Suppose 5*k = 5*f + 10, -k - 2 + 4 = f. Are z and k nonequal?
True
Let c(s) = -s**2 - 9*s - 2. Let k be c(-8). Which is bigger: 7 or k?
7
Let i(o) = 13*o**3 + o**2 - 2*o + 1. Let l be i(1). Suppose -25 = -5*s - a, 5*a - 12 = l. Suppose -2*p + s = -0. Which is bigger: p or 2/3?
p
Let r be 33/(-187)*(0 - (-1)/(-18)). Which is smaller: r or 1?
r
Suppose 5*o - 4*r + 36 = 0, -20 = -3*r - 2*r. Let t(v) = -v**2 - 25*v + 24. Let w be t(-26). Which is greater: o or w?
w
Suppose 0 = -7*h + 14 + 14. Is h != 13/3?
True
Let q = -154 - -1081/7. Which is bigger: q or 0.1?
q
Suppose -51 = -6*t + 2*t + n, -3*t + 4*n = -22. Is 16 equal to t?
False
Let i(d) = -d**2 + d + 6. Let h be i(3). Which is smaller: h or -9/7?
-9/7
Let l be (-1 + 0)*3/(-9)*0. Do -17 and l have the same value?
False
Let w = 6 + -3. Let f = -3.2 + w. Let s = 0.2 + f. Which is bigger: s or -2?
s
Suppose -5*p = 10, -4*c = -5*c + 5*p + 36. Suppose -t - c = 2*t + l, -4*l + 15 = -5*t. Which is smaller: t or -8?
-8
Let r(z) be the first derivative of z**2 - 2*z + 4. Let c be r(3). Suppose -c*m = s + 7, -s - 1 + 2 = 0. Is m at least -2?
True
Let y(v) = -v**3 + 6*v**2 - v + 7. Let f be y(6). Let x(d) = 3*d**3 - 2*d + 1. Let r be x(1). Suppose f = -j - r. Is j greater than -3?
False
Let w be (-4)/(3 + 17)*(-1 - -3). Let d be 1/2 + (-5)/(-2). Suppose -d*a = -8*a. Is a <= w?
False
Let r = -98 + 99. Which is smaller: r or -2/175?
-2/175
Let m = -51/395 - 1/237. Suppose -15 = -10*z + 5*z. Suppose -3*n - z = -0*n. Is m greater than or equal to n?
True
Let b = 0 + -3. Let w(i) = i**3 + 5*i**2 + i - 2. Let v be w(-4). Let a be (b/v)/(18/(-15)). Is 1 equal to a?
False
Let s = -0.5 + 0.46. Let q = 0.34 + s. Is 0 < q?
True
Let x be (11 - 13) + (-3 - -2)*0. Let s(f) be the first derivative of f**3/3 - 2*f + 1. Let n be s(x). Are 1 and n non-equal?
True
Let h be ((-16)/(-40))/(1 - 9/15). Which is greater: h or 1/15?
h
Let g be (-3)/(-6) + (-16)/28. Is g > -1?
True
Suppose 0 = -2*r - 0*r. Let i be r/((2/(-1))/(-2)). Let s be ((-1)/(-6))/((-7)/(-28)). Which is greater: i or s?
s
Let v(h) = -h**3 + 5*h**2 + 7*h - 1. Let a be v(6). Suppose -30 = -5*m - 2*z, -z = -2*z + 5. Suppose -m*k - k = -20. Which is smaller: a or k?
k
Let y(g) = g - 1. Let j be y(-1). Let t = -10 - -9. Which is bigger: j or t?
t
Let q be 6/(-21) - 72/(-105). Let v = -21/8 - -109/40. Which is bigger: v or q?
q
Suppose -2*p + u - 134 = 0, -4*u + 85 + 61 = -2*p. Which is bigger: p or 0.1?
0.1
Let a be 0 - 0 - (-17)/(-255). Is 0 >= a?
True
Suppose 3*l - 2*y = -4, -l - 4 = -3*y + 9. Let w = l - -1. Let i = -13/18 - -2/9. Is i > w?
False
Let z be (4/(-30))/(-1)*-3. Suppose 2*n - 4*o = -5*o + 4, 5*o = 10. Is z equal to n?
False
Suppose 0*v = -5*v. Which is bigger: v or 6/7?
6/7
Let j(c) = -28*c. Let w be j(-4). Suppose -28 = 3*x - w. Let s be (-4)/x + 53/(-21). Is s equal to -2?
False
Suppose -16 = 4*t + n + 3*n, 3*n = 3*t. Is -9/10 greater than or equal to t?
True
Let h = 53 + -52. Which is bigger: h or -1/35?
h
Let c be (-3)/(-6)*(-16)/(-36). Which is smaller: 1/2 or c?
c
Let n(j) = -j - 8. Let v be n(-6). Let y = -3 - v. Let u be y + 1 - (-1)/1. Is u smaller than 1?
False
Let d = 3582 + -143247/40. Let y be 1/4 - 6/(-16). Let j = d - y. Which is smaller: j or -1?
-1
Let r be (-1)/(-4 + (-2 - -7)). Which is smaller: r or -1/37?
r
Let h = 0.334 + -0.034. Let x = 0.9 - 1. Is h >= x?
True
Let m = 0.78 + 0.22. Is m less than 0.01?
False
Let b = 6581/17 - 387. Is -1 bigger than b?
False
Let b be (-2)/(-5) + (-69)/(-15). Suppose 0*v = b*v - 15. Let d be (-6)/2 - (v - 8). Is 4/3 != d?
True
Suppose 2 + 0 = 5*h + 2*i, -h = i - 1. Suppose -u + 16 = -5*o, -2 = -3*u + 7*u + 2*o. Is h > u?
False
Let k(j) = -4*j**2 - 2*j - 4. Let l be k(-1). Which is smaller: -5 or l?
l
Let k(n) = -n**3 - 2*n**2 + 2*n - 3. Suppose 2*p + 23 = 5*z - 8, 4*z = -2*p + 14. Let w be k(p). Let r be (-2 + 0)/(-1*7). Is w less than r?
True
Suppose 0*n + 2*n - 4 = 0. Let p(t) = n*t - t**2 + 2*t**2 + 4*t + 3. Let j be p(-5). Is -2 smaller than j?
False
Let b be (-15)/(-2) + (-2)/4. Let w be (-14)/b - 1*-1. Is w at least -4/9?
False
Let o = 7 + -1. Suppose -11*x = -o*x. Let b = 51 + -254/5. Does b = x?
False
Suppose -1 = -4*l - b, l - 4*b + 19 + 2 = 0. Let h be (-21)/8 - (l - 2). Suppose 0 = -2*j - 2*j. Is h < j?
False
Let u be ((-4)/10)/((-1)/(-10)). Let k be u - -3 - (-3)/5. Let s = 1 - 0.9. Which is smaller: k or s?
k
Let p be 16/(-8) - 8/(-3). Let t(c) = -c**2 + c + 2. Let f be t(2). Which is bigger: f or p?
p
Let m(x) = 3*x**2 - x + 1. Let a(h) = -2*h**2 + 2*h - 1. Let n(l) = -4*a(l) - 3*m(l). Let o be n(-5). Are o and 2/7 nonequal?
True
Let d(m) = -m**3 - 3*m**2 - m - 3. Let w be d(-3). Let c be -2 + 6/(w + 2). Let p be (-13)/63 - (-2)/(-9). Which is smaller: p or c?
p
Suppose 0 = -5*b - 0*b - 3*q + 27, 13 = -b + 4*q. Suppose 10 + 22 = 4*r. Suppose -r = -3*l + 4. Which is smaller: b or l?
b
Suppose 3*u + u + 8 = 0. Suppose 4*m - 13 = 3*f, 2*f + m = -3*f + 9. Is f > u?
True
Let r = 7/66 + 2/33. Let u = -2 - 1. Let t be 1*(-3)/9*u. Is t <= r?
False
Suppose -4*t + 42 = o, 3*t = -t + 4*o + 32. Which is bigger: t or 8?
t
Let g be (-1184)/(-1008) + 2/(-7). Are 2 and g nonequal?
True
Let j be (98 + 3 + 3)*5/(-30). Which is bigger: -16 or j?
-16
Let b(i) = -i**3 + 4*i**2 - 6. Let m be b(7). Let a = m - -454/3. Which is smaller: -2 or a?
-2
Let a be 110/(-8) + 3/(-12). Let p be (-9)/a*4/(-12). Let w = 2/7 - p. Which is smaller: w or 1?
w
Let f(g) = -19*g**3 + 2*g**2 - 2*g + 1. Let s be f(1). Which is smaller: s or -20?
-20
Let x be ((-42)/(-8))/(-3) - -2. Suppose -2*t + 6*t + 8 = 0. Let k be (-2 - t)*(-2)/(-4). Whi