(-5)/2)/((-8)/(-16)). Suppose -24 = 5*j - j. Which is bigger: q or j?
q
Let b = -2/709 + 3553/2836. Suppose -4*p + 24 = 4*t, -2*p + 4 = -3*t + 2. Which is smaller: b or t?
b
Let h = 16639/47 - 354. Which is greater: h or 1?
1
Let h be 1*2 + (-5 - -7). Suppose 3 - 7 = h*i. Which is greater: i or -7/5?
i
Let r be 2/2 + 10/(-4). Let p be 3/(-1) - 0/5. Is r < p?
False
Let d = -11 - -10. Let f(w) = -w + 2. Let k be f(3). Let b = k - d. Is b less than or equal to 2/3?
True
Suppose -q + 2*k + 2 = 0, 3 + 2 = -3*q - 5*k. Let t = 2 + q. Suppose 2*h = -5*c - 5, -2*c - 2*h + 0*h = t. Which is smaller: 0 or c?
c
Suppose -o = o + 10. Let g(w) = w**2 + 6*w - 1. Let b be g(o). Is b greater than -6?
False
Let z(o) = 6*o + 42. Let r be z(-7). Is -1 at least as big as r?
False
Let z be (-8)/(-44) + 546/22. Let o = z - 23. Which is bigger: 4 or o?
4
Let o(q) be the second derivative of -q**4/12 + q**2/2 + q. Let s be o(0). Is -1 smaller than s?
True
Suppose 2*z - 8 = -4*j, -2*z + j = -2 + 14. Suppose -4*q + 1 = m + 16, m + 11 = -3*q. Which is bigger: z or m?
m
Let k(h) = h**3 + 3*h**2 + 1. Let o(t) = t**3 - 6*t**2 - 2*t + 9. Let r be o(6). Let j be k(r). Is j at least as big as 1?
True
Let k(v) = 4*v**2 - v - 1. Let i be k(1). Which is smaller: 3/5 or i?
3/5
Let k = 5 - 5. Suppose 0 = -2*m - 4*q - 98, k*m - 2*q - 151 = 3*m. Let b = m + 256/5. Is b < 1?
True
Let p = 125 + -181. Which is smaller: p or -55?
p
Let z be 0 + -2 + (-4 - -6). Suppose -4*f + 8 = 36. Let u = 41/7 + f. Is u smaller than z?
True
Let u(h) = -11*h**2 + h. Let x(m) = 5*m**2. Let l(d) = 3*u(d) + 7*x(d). Let y be l(-2). Are -2 and y unequal?
True
Let o be 4/(-18) + 119/(-558). Let q = 318 + -9860/31. Let t = q + o. Which is bigger: t or -2?
t
Let r(x) = x**3 - 3*x**2 - 3*x - 4. Let j be r(4). Let i = 50 - 12. Let k = i - 153/4. Which is smaller: k or j?
k
Let g(i) = -i**2 - 7*i + 4. Let q be g(-7). Suppose -2*x + q*x - 10 = 0. Is -2/5 equal to x?
False
Let z = -151/180 - 13/36. Which is smaller: 0 or z?
z
Suppose -5*j = -2*b - 0*b + 18, 4*b + 5*j = 6. Let l = 4 - b. Is l less than 0?
False
Let a(t) = -t**3 - 7*t**2 - 6*t + 2. Let y be a(-6). Let h be y/(-12) + (-2)/60. Is h less than or equal to 1?
True
Suppose 0 = -0*v + v + 2. Let t(z) = z - 1. Let j be t(0). Let r = j + v. Which is greater: -3/2 or r?
-3/2
Let a be (-4)/(0 - (-2)/(-4)). Suppose a = 5*y - y. Let t(p) = -p**3 + 3*p**2. Let v be t(3). Are v and y equal?
False
Let v = 1084/181 + 782328/4163. Let q = 194 - v. Is 1 greater than q?
True
Let f(t) = t**2 + 4*t - 4. Let q(u) = 2*u**3 + 2*u**2 - u - 2. Let p be q(-2). Let v = 3 + p. Let x be f(v). Is x bigger than 2?
False
Let f = 0.32 - 2.32. Let h = -0.2 - -0.5. Which is smaller: f or h?
f
Suppose 0 = q + 3*q. Let z be 1 + 7*2/2. Suppose -2*x + q*w - z = 2*w, 2*w + 8 = 0. Which is smaller: 2/19 or x?
x
Let j = 3 + 0. Suppose -j*o = o + 12. Let s = -32 + 30. Which is smaller: o or s?
o
Let a(b) = -b**2 + b - 1. Let n be a(0). Let t be (-6)/4 - 1/(-2). Let c be n/(-2) + t/2. Are 0 and c non-equal?
False
Let r(x) = 3*x**2 + 2*x - 1. Let l be r(-2). Suppose 4*s + 20 = 4*z, 25 = 3*s - 2*z + l*z. Which is smaller: 3 or s?
s
Let l be (2/8)/((-4)/(-368)). Is 22 equal to l?
False
Let c = 0.01 - -0.29. Let s = 0.05 - 0.45. Let v = c + s. Which is greater: 0 or v?
0
Let z = -2.04 + 2. Let u = -3.96 + z. Let o = -5 - u. Which is smaller: 2 or o?
o
Let r = -34 - -33. Is 46 at least as big as r?
True
Let r = 0.2 - -0.2. Let a = 3.5 + -4. Let q = a + r. Is q > -2?
True
Let i = 18 + -3. Let b be 6/(-24) + i/(-4). Suppose -3*f = 5*o + 30, -2*o = -5*f + 1 - 20. Which is greater: f or b?
b
Suppose 4*p = -2*y - 136, 4*p + 4*y + 74 = -58. Is p bigger than -36?
True
Suppose -5*v + 17 = -5*x - 3, -4*v + 16 = -3*x. Let b(d) = d - 3. Let o be b(2). Is x bigger than o?
True
Let c = 1.3 - 0.3. Let i = 5.6 - 14.2. Let n = i + 9. Is n not equal to c?
True
Let w be 1/(-3) - (-86)/6. Let u = w - 0. Are 14 and u unequal?
False
Let g be (21/4)/3 + -1. Let m(s) = -s**3 - 3*s**2 - 3*s - 2. Let i be m(-2). Suppose 5 = 5*l - i*l. Is g >= l?
False
Let t(q) = -4*q**2 + 3*q + 6. Let h(m) = -5*m**2 + 4*m + 7. Let i(a) = 3*h(a) - 4*t(a). Let r be i(0). Which is bigger: r or -1?
-1
Suppose -x = x - 4. Suppose -3 = x*p + p. Is -2 bigger than p?
False
Let y be 433/6 - 0/(-1). Let h = y - 72. Which is greater: -1 or h?
h
Let l = 19 - 20. Is l smaller than -2/7?
True
Let d(q) = q + 11. Let x be d(-10). Is x at least as big as -2?
True
Let i = 4/59 - 248/177. Which is smaller: -1 or i?
i
Let w = -604/5 - -5186/45. Which is greater: w or -7?
w
Suppose 0 = 5*o - 3 + 43. Let j be o/(-8)*1/15. Which is smaller: j or 1?
j
Suppose -4*k = -k + 60. Let f be (1/(-5))/(12/k). Let l = -2.06 - -0.06. Do l and f have different values?
True
Let d = 5 - 3. Let p = d - -1. Let x be 2/(-7) - p/(-84). Are 0 and x equal?
False
Let z be 3 + (1 - 2) + -23. Let o be (-3)/z + 40/(-35). Which is smaller: o or -6/5?
-6/5
Suppose 0 = -t + 3 - 1. Let r = 812 - 1541/2. Let k = -40 + r. Which is greater: t or k?
t
Let s be (107 + 1)*(-4)/(7 + 1). Is s smaller than -55?
False
Let m = 2.9 - 2.9. Which is bigger: 19 or m?
19
Let k = -1.6 - -1.4. Let j be (582/280)/((-6)/4). Let b = -11/10 - j. Is k less than b?
True
Suppose -5*r - 3*j + 25 = 3, 3*j - 18 = -3*r. Suppose -r*q = -8, 2*q - 8 = -0*l + 2*l. Which is bigger: l or -2?
l
Let q(v) = 7*v**2 - 1. Suppose 0 = -4*h - 3 + 7. Let l be q(h). Let f be (-3)/l*10*1. Which is smaller: f or -4?
f
Let m = -1/5 + 8/15. Let v = -58/15 - -16/5. Are v and m nonequal?
True
Suppose 4*b + b = 3*c + 18, -5*c = -3*b + 14. Let w be ((-4)/(-16)*4)/(21/1). Which is smaller: w or c?
c
Suppose -9 + 3 = -2*d. Suppose j = 2*j - 3. Suppose 5*c - 2*p - 16 = j, -p = -5*c + 17. Is c equal to d?
True
Let j(u) = -u - 2. Let x be j(-4). Suppose x*o - 2 = 8. Let m be (-42)/(-15) + 1/o. Which is smaller: m or 1?
1
Let i = 8 - 14. Let z = 5 + i. Which is bigger: -4/9 or z?
-4/9
Let a be (-12)/(-8)*(-88)/(-12). Is a smaller than 12?
True
Suppose 6*m = 3*m. Let q = 332/3339 - 2/477. Which is smaller: m or q?
m
Let v be (5/((-10)/(-42)))/(-1). Let j = 12 + v. Which is smaller: -1 or j?
j
Let b = -6 + 4. Suppose -3*s + 15 = -z, 2*z + 2*s - 10 = 4*z. Let d be ((-2)/6*z)/(-2). Is b less than or equal to d?
True
Let n(t) = -t + 12. Suppose -3*r + 20 = -4. Let l be n(r). Suppose 0 = 7*o - 5 - 30. Is l greater than o?
False
Let k = 125 + -123. Which is smaller: 4 or k?
k
Let y(s) = -s + 7. Let i be y(-9). Let a be 4*-1*(-2)/i. Is a greater than 0?
True
Let t be (5 - 5)*3/(-6). Which is greater: 2/19 or t?
2/19
Suppose 3*u - 5 = 2*u. Suppose 5*j - j + 3*z = 29, u*j - 3*z - 16 = 0. Suppose 4 = -j*m - 11. Is -3 <= m?
True
Let o be (-40)/(-18) - 16/72. Suppose -3*p = -2*w + 25, -2*w + 4*w - 10 = -o*p. Suppose -11 = 3*c - w. Are -1/2 and c nonequal?
True
Let h be (-12)/(-30) - 8*(-2)/(-65). Let p be (-1)/(-3) + (-1)/(-3). Which is bigger: p or h?
p
Let k = 1.1 + -3.1. Let t = -1 + 1.2. Is t > k?
True
Let w = -20 - -22. Which is smaller: w or 4/7?
4/7
Let g = -4 - -14/3. Let k = 5.9 + 2.1. Let u = -7 + k. Does u = g?
False
Let c(a) = -a**2 + 9*a + 18. Let i be c(8). Is 26 > i?
False
Let b be ((-6)/15)/((-2)/(-30)). Is -4 less than or equal to b?
False
Suppose 9*x = 7*x + 4. Suppose -14 = 3*v - 2*s, x*v - 3*v + 6 = 2*s. Do v and 0 have different values?
True
Suppose 9 = -5*l + 24. Let c(w) = -2*w**3 - 6*w**2 - 5*w + 1. Let h be c(-1). Does h = l?
False
Let i be 3/(-4) - 7/(-4). Do -3/8 and i have the same value?
False
Let i = 14 + -14. Let q = i - 0. Which is smaller: 2/3 or q?
q
Let t be (-4)/12 - (-16)/(-6). Let b = 1 - t. Suppose -2*z + b*z = 0. Which is bigger: 2/7 or z?
2/7
Suppose -5*i = -25, 3*y + 0*i - 11 = -i. Let o(a) = 6*a - 5. Let x be o(y). Is 6 < x?
True
Suppose -b = 2*j - 26, -2*b + 24 = 2*j - 0. Let o be (-35)/78 + 7/j. Which is bigger: 1/2 or o?
1/2
Suppose 4*g - 2*q - 2 = 0, -4*g - 1 = 4*q - 9*q. Let h = 4.2 - 0.2. Let w = h + -3. Is g at most as big as w?
True
Let z = 6 - 4. Suppose -w + 4*o + 4 = -0, z*w = o + 1. Let g = -0.17 - -0.07. Do w and g have different values?
True
Let h(z) = -z**3 - 2*z**2 + 1. Let m be h(-2). Let b = 0.2 - 1.2. Which is smaller: m or b?
b
Let u = 13.4 + -2.4. Let g = u - 4. Let k = -7.1 + g. Is k at least as 