e o/18 + 2/(-36). Which is greater: r or 1?
1
Suppose u - 9 = -2*u. Suppose 2*c - u + 1 = 0. Let y = -1197/11 - -109. Are y and c non-equal?
True
Suppose 3 - 8 = 5*z. Let w = 1.91 + -2.1. Let r = w - -0.09. Which is bigger: z or r?
r
Let f be (119/(-14))/(1/(-2)). Which is smaller: f or 18?
f
Let b = -116/3 + 39. Let t = 2 + -2.2. Is t greater than or equal to b?
False
Suppose -3*t - 2*t + 5 = 0. Let m(a) = -4*a - 4. Let d be m(-2). Let v be ((-8)/10)/d*2. Which is smaller: v or t?
v
Let o(v) = -v**2 - v + 75. Let h be o(0). Let d = 374/5 - h. Do d and -2 have the same value?
False
Let f = -2 - -1.8. Let p = 0.3 - f. Is -1 smaller than p?
True
Let p be (-1)/(1/4 - 95/12). Which is bigger: p or 1?
1
Suppose k - 4*s = -k - 4, 0 = 5*k + s - 12. Let a be -2 + 3 - 10/5. Which is smaller: k or a?
a
Suppose 0 = -2*y + 3*y + 1. Let p be 0*(-1*2)/(-2). Which is greater: y or p?
p
Let t be -12*((-10)/6)/5. Let c be 25/10*t/25. Is 5/4 < c?
False
Suppose -x + 2*x - l - 2 = 0, -5 = -3*x + 4*l. Let s be x/(-18)*(0 + -4). Is s equal to 2?
False
Let w(u) = -u**2 + u + 24. Let i be w(9). Is i at least -50?
True
Suppose u = 4*p + 10, 5*p + 2*u + 3*u = 0. Which is greater: p or -20/9?
p
Let u(k) = -k + 1. Let s be u(11). Let c = -6 - s. Let d be ((-2)/8)/(c/(-8)). Which is smaller: d or 0.3?
0.3
Let n = -91/3 + 31. Let t(q) = -q**3 - 7*q**2 - 6*q + 1. Let m be t(-6). Which is smaller: n or m?
n
Let b(k) = -10*k**2 + 2*k + 1. Let n be b(-1). Let v = 15 + n. Suppose v*i + 5*r - 1 = 0, r + 0 + 1 = -2*i. Is -1 at least as big as i?
True
Let u(j) = j**2 + 3*j - 4. Let p be u(-4). Let d = -14 - -13. Which is smaller: d or p?
d
Let z(k) = k**2 - 11*k. Let b be z(11). Suppose -20 = -7*w + 3*w - 3*u, 0 = -3*w + 3*u - 6. Suppose -l + t + 11 = 4*t, b = -w*t + 6. Which is bigger: l or 3/4?
l
Let y = 0.2 + -1.2. Let d(f) = -2*f**2 + 5*f - 1. Let t(s) = -s**2 + 3*s. Let h(j) = 2*d(j) - 5*t(j). Let v be h(5). Which is smaller: y or v?
v
Suppose d = -2*y + 5*d + 26, -2*d - 10 = 0. Suppose f = -y*f + 4. Let s be (15/(-35))/(3/2). Is s smaller than f?
True
Let s(q) = q. Let b be s(7). Suppose -l + 0*x - x - 1 = 0, 0 = l + 3*x + b. Let f be (l/3)/((-8)/12). Which is smaller: 0 or f?
f
Let o = -1.4 + 1.59. Let u = o + -0.29. Let m = 0 - -0.1. Are u and m equal?
False
Let q = 6 + -8. Let m = q - 7. Which is greater: m or -0.1?
-0.1
Let u be -1 - (-2 - (1 - -1)). Let a be 2/6 + 50/u. Suppose -5*y - 9 = p, -y - a = -0*p + 4*p. Are y and -1 unequal?
False
Let r be (-2)/((-4)/6*1). Suppose z = -z - 4*v + 4, 0 = r*z - 4*v - 6. Let i be 0 + z/(-33)*-3. Is i equal to -1?
False
Let z = 1586/5 + -316. Do z and 2 have the same value?
False
Let y = -5.72 + -0.28. Which is greater: y or 3?
3
Suppose -5*u = 3*p + 23, -2*u - 3*p + p = 10. Let i(y) = -y**2 - 3*y - 3. Let f be i(-2). Which is smaller: u or f?
u
Let k be (3 - (6 + -3))/(-2). Let d(h) = h**3 + 6*h**2 - 6*h + 7. Let g be d(-7). Is k < g?
False
Let o = 10 + -21. Which is bigger: o or -56/5?
o
Suppose 0 = 5*j - 69 + 29. Which is greater: 12 or j?
12
Let q(v) = 2*v**2 - 4*v + 3. Let o be q(4). Let b = -26 + o. Is -5 less than b?
False
Let k(i) = i**3 - 4*i + 3. Let p be k(1). Let m be (1 + 0)/(-16)*3. Which is smaller: p or m?
m
Let z be (-12)/(-16) + (-1)/(-4). Is -2/51 < z?
True
Suppose 0 = 4*k + k. Suppose y - 3 - 4 = -3*c, -2*c - 4*y + 18 = k. Let m be (2 - 2)/(-1) + c. Is 0 smaller than m?
True
Let a(k) = 2*k**2 + 3 - 2*k - k**3 - k**2 + 2*k**2 + 5*k. Let x be a(4). Which is smaller: -1/2 or x?
x
Let f = 5 + -4. Let o = -45 - -91/2. Which is greater: f or o?
f
Let j = -1 + 0.8. Let a = 0.1 + j. Let c = -3.5 + 0.5. Which is bigger: a or c?
a
Let n = 32.9 + -33. Which is smaller: -2/7 or n?
-2/7
Let g be 4/2 - (-4 + 2). Let v be ((-3)/6)/(2/g). Which is smaller: 2 or v?
v
Suppose 0 = -2*j + 18 - 0. Let r(h) = -h**2 - 7*h + 8. Let f be r(-8). Let m be j + (-4 - -1) + f. Is m <= 6?
True
Let a(f) = -f**2 - 5*f - 3. Let h be a(-3). Suppose 0 = q - 6*q + 15. Is h > q?
False
Suppose 0*p = 6*p + 114. Do -20 and p have the same value?
False
Let f = 8 - 3. Suppose x + 3 = 2*b, -4*b + 4*x + f = x. Which is bigger: 0 or b?
b
Let r = 0 - 0. Let k(b) = b**3 + 6*b**2 - 7*b + 1. Let y be k(-7). Which is smaller: y or r?
r
Let h = -3 - -4. Let s be h/(-3 + 1)*-3. Do 0 and s have the same value?
False
Let v = 23 - 22. Which is smaller: -6/23 or v?
-6/23
Let n be (1/(-8))/((-1)/3). Let g = -9 + 9. Suppose g = -0*o + 3*o. Is o > n?
False
Suppose -t - 4 = t. Let i be 32/(-14) + t/(-7). Let a = -291 - -583/2. Are i and a nonequal?
True
Let j be (6 - 4) + 2*-1. Is 2/27 >= j?
True
Let o = -17 - -21. Let g(h) = 2*h**2 - h + 1. Let s be g(1). Which is smaller: o or s?
s
Let y(n) = -n**2 + n + 1. Let m(s) = 4*s**2 + 4*s - 14. Let h(g) = -m(g) - 5*y(g). Let c be h(8). Which is bigger: -2/25 or c?
c
Let m = -0.1 - -0.3. Let j = 22 + -24. Is m > j?
True
Suppose r + 5*f = 3, -3*r + 2*f = -3*f + 11. Let w = r - 2. Let v be ((-12)/(-6))/(w/10). Which is smaller: -4 or v?
v
Let i = 2 - -3. Suppose 5*j + b - 3*b - 2 = 0, -5 = -j + i*b. Which is greater: j or -1?
j
Let p(w) = 3*w - 1. Let g be p(1). Let s(l) = -l. Let c be s(-1). Let x = c - -2. Which is smaller: x or g?
g
Let a = 37 - 59. Let f = a + 26. Let p be 1/(-4) - 17/(-4). Are f and p nonequal?
False
Suppose 9 - 36 = 3*g. Let m be (15/g - -2)*3. Let x be (94/(-45) + 2)*-5. Is x < m?
True
Suppose 4 = 3*v - 17. Let g(f) = -f + 2. Let q be g(4). Let y be (-9)/(-105) + q/v. Is 0 at most as big as y?
False
Let w be -5 - 1/(-29)*147. Which is bigger: w or -1?
w
Let i be 11/2 - (-6)/(-12). Let x = 1 + i. Let p be 8/x - (-8)/(-12). Which is greater: p or 1?
1
Let z = -48 - -52. Let b = 1 + 1. Which is smaller: z or b?
b
Let y be ((-2)/(-8))/(4 + -3). Which is greater: 1/3 or y?
1/3
Let q = -13 + 13.3. Let i = 0.01 - 0.31. Let u = q + i. Which is smaller: -2 or u?
-2
Suppose -s + 7 = -38. Let i be s/(-100) + (-1)/(-4). Which is bigger: -2 or i?
i
Suppose -w - 2 - 4 = 0. Let u(q) = -q**3 - 7*q**2 - 6*q + 8. Let z be u(w). Let g = 9 - z. Is 1 at most g?
True
Suppose -2*f - 1 = -9. Let u be (-5)/20 - (-9)/f. Let r = -1 + u. Is 1 equal to r?
True
Let n be (-36)/14*8/60. Let f = 62/385 + n. Which is bigger: f or -2/5?
f
Let h = -4 - -2. Let o = h - -4. Let x = -72 + 75. Is o at least x?
False
Let p be 30/4*8/6. Does p = 10?
True
Let w = 4 - 15. Let b be w*(-3)/6 - -4. Is 9 <= b?
True
Suppose -3*o = -4*r + r + 66, -70 = -3*r + 4*o. Let k = r - 12. Is k greater than 4?
True
Let v be (-6)/8 - (-210)/24. Suppose 0*r = 2*r + v. Is r bigger than -1?
False
Let u = 6 + -5. Let g be (-1 - -1)/(1/u). Suppose -4 = 4*z - g. Is 0.2 at most as big as z?
False
Let y(l) = l**3 + 5*l**2 + 5*l + 4. Let q be y(-3). Suppose 2*c = q*c. Is c != 1?
True
Let d(i) = i**3 - 6*i**2 - 24*i - 27. Let m be d(9). Let q = -1850 - -146152/79. Which is smaller: q or m?
m
Let g be 8/(-14)*(-1)/(-2). Let l = 1 + -4. Let p = -2.9 - l. Which is greater: g or p?
p
Let o = -1 - -4. Suppose -o*c = 4*d + 23, -9 - 6 = -5*c + 4*d. Which is smaller: -2 or c?
-2
Let x be 2/(-5)*(0 + 5). Let b = 3 - 0. Let c = b + x. Are c and 1/8 unequal?
True
Let f = -3 + 10. Let q = f - 3. Which is greater: q or 2?
q
Let u be 3*-1 + 114/36. Which is bigger: 1 or u?
1
Let y be (6/(-3))/(5 + -3). Let v be (-1)/(y + 1 + 1). Which is smaller: -1/3 or v?
v
Suppose -2*x - 7 = -x. Suppose -7*k - 72 = k. Is x at least k?
True
Suppose 28 = 2*q + 2*q. Let p = q - 8. Which is greater: p or -4?
p
Let z = -22 + 29. Are 6 and z unequal?
True
Let j = -0.13 - 4.87. Let l = -0.6 + -0.4. Let r = l - -1. Which is greater: j or r?
r
Suppose 2*x + 3*x + 50 = 0. Let y be x/14*(-2)/(-5). Which is smaller: 0 or y?
y
Suppose -3*g - g - 4 = 0. Is g not equal to -3/5?
True
Suppose -3*c = p, -2*c + 3 = p + 2. Let b be ((-30)/(-220))/(3/4). Are c and b equal?
False
Let d be (-4)/(-6)*6/14. Let f = 142/77 - 5240/3927. Let g = 3/17 - f. Which is bigger: g or d?
d
Let n = 193 - 5595/29. Which is smaller: n or 1?
n
Let j = -20 + 19.58. Which is bigger: 0.2 or j?
0.2
Let c(n) = n - 2. Let r = 8 - 4. Let t be c(r). Suppose -5*a = -4*a - t. Does a = 3?
False
Let i be -1 - (3495/12)/(-5). Let q = i - 57. Let l = 7 - 7.2. Which is bigger: q or l?
q
Suppose 0 = -3*w - 1 + 4. Let v be (2/3)/(128/192). Are v and w uneq