n = -3*p - 10, -n = -3*p - 8. Suppose -4*g - 3 = u, k*g + u = n - 3. Which is greater: g or -3/5?
-3/5
Let n = 101 - 1211/12. Let z be -2*1 - (0 - 3). Which is smaller: z or n?
n
Let d = 0.8 + 2. Let x = 2 - d. Which is bigger: x or -0.1?
-0.1
Let n = 34.3 - 50.4. Let u = 16 + n. Let t be (-2)/2*(-2)/2. Which is bigger: u or t?
t
Let p = -10 - -8. Let h be p/(-4) - (-2)/8. Is h < 1?
True
Let c = -20 + 18. Which is greater: c or 2/5?
2/5
Suppose 2*r = r - 4. Let c be (-8 - -10)*(-10)/4. Is c < r?
True
Let t = 60 + -75. Does t = -13?
False
Let f = -1.3 + 0.6. Let i = -1 - f. Is 3 less than i?
False
Let z = 8 - 5. Suppose -48 = 5*f + 2*a, -5 - 23 = 5*f - z*a. Let y be (-4)/f - (-10)/(-4). Are y and -3 unequal?
True
Suppose 0 = -4*h - h + 290. Which is greater: 57 or h?
h
Let d be 1 - (1 - -1)/(-2). Let h = 554119/13299 - -2/4433. Let p = h + -41. Which is smaller: p or d?
p
Let m be (-5 - -8)*(-1)/(-51). Which is smaller: m or 0?
0
Let v = -7 + 3. Let g be 2/v*(-3 - -3). Is g greater than or equal to 0.1?
False
Let q(x) = 4*x**2 - x + 2. Let h be q(2). Suppose d - 4*n = 5*d - h, 5*n = -2*d + 8. Let z be 4/(-10) + 12/5. Which is bigger: z or d?
d
Let g = 12 - 1. Let x = 11 - g. Which is smaller: 1/5 or x?
x
Let i be 68/140 + (-3 - 57/(-21)). Let c = -1 + 1. Is c < i?
True
Suppose 2*b - 3 + 5 = 0. Let k = 0 + b. Let q be ((-1)/(1/2))/1. Which is smaller: q or k?
q
Let y be (1 + 5)/(3/(-2)). Let k = -2 - y. Let s(x) = x - 1. Let a be s(k). Is 0 at least as big as a?
False
Let t be (8/(-18))/((-14)/1407). Let l(q) = -44*q**2 - q + 1. Let c be l(1). Let i = c + t. Is i less than -0.1?
False
Let c = 1.1 - 3.1. Is 7/6 > c?
True
Let s = 186/5 + -1282/35. Which is smaller: 2 or s?
s
Let j(m) = 3*m**2. Let y be j(-1). Let h = 2.37 - 2.67. Which is bigger: h or y?
y
Let n(i) = 4*i**3 + 13*i**2 + 5*i - 8. Let h(d) = -d**3 - d**2 + d + 1. Let a(k) = 3*h(k) + n(k). Let g be a(-9). Is g less than or equal to 2/5?
False
Let g = 89 - 99. Which is smaller: g or 1/7?
g
Let x = 4 - 1. Suppose -3 = 2*b + x, 3 = 5*a - b. Does 2/13 = a?
False
Suppose 0 = -2*a - 4 + 6. Is a less than 0?
False
Let y(w) = -w**3 + 2*w**2 - 1. Let l be y(1). Let b = 8/3 + -7/3. Do l and b have the same value?
False
Let r = -2 + 2.1. Suppose 13*m - 14*m = -1. Is m greater than or equal to r?
True
Let d(v) = 2*v**2 + 7*v. Let h be d(-6). Let x = -28 + h. Is -2/7 greater than or equal to x?
False
Let h be (2 - 48/20)*2/5. Which is smaller: 1 or h?
h
Let i = -12.6 + 17. Let n = 1.4 - i. Which is bigger: n or 1?
1
Let b = -329 + 1361/4. Which is bigger: b or 10?
b
Let t(c) be the third derivative of -c**4/8 - c**3/6 + 2*c**2. Let z be t(-1). Suppose 0*q = z*q + 2. Is 1 less than or equal to q?
False
Let t be 6/10 + 108/(-30). Let h be 2 - ((-231)/(-45) + t). Which is smaller: h or 0?
h
Suppose -j + 16 = -2*j. Is -16 greater than j?
False
Suppose 2*z + 9 = -z. Let f be (z/(-225))/(2/(-3)). Let g = f - -79/200. Which is smaller: g or -1?
-1
Let o(a) = -a**3 + 7*a**2 - 7*a + 8. Let m be o(6). Let t(y) be the first derivative of y**2/2 - 2*y - 1. Let w be t(m). Which is bigger: w or 1/4?
1/4
Suppose 6*k = 3*k + 24. Let j = 5 - k. Is -3 > j?
False
Let d be ((-32)/12)/((-2)/(-9)). Which is greater: 0.1 or d?
0.1
Let c be 2 + ((-2)/3)/(12/18). Let z = 1046 + -42888/41. Which is greater: c or z?
c
Let n(a) = a + 3. Let i(b) = -b - 4. Let l(m) = -2*i(m) - 3*n(m). Suppose 2*s = 5*s - 9, 0 = g + s. Let x be l(g). Which is smaller: 1 or x?
1
Let u be ((-45)/10)/(-9)*0. Which is smaller: 1/10 or u?
u
Let p = 0.4 - 0.4. Let v = p + 0.3. Let t = 0.4 - v. Is t bigger than 3?
False
Let c be 1 - (3 - (-2)/(-1)). Let k be (-4)/6 + 10/(-3). Which is bigger: c or k?
c
Let m(u) = -u. Let h(f) = 7*f + 3. Let w(j) = h(j) + 6*m(j). Let x be w(0). Is x at most -0.4?
False
Let g be (-6)/2 - 6/(-1 - -4). Is g smaller than -39/7?
False
Let h = -0.8 - -1. Let v = 0.4 - h. Let u = 0.4 - v. Is u != -0.1?
True
Let d be 15/(-12)*2/(-5). Is 5 != d?
True
Suppose 3*q - 3*s = 7*q + 6, -3*s = 5*q + 6. Let y be (-1)/(4/(-3) + 1). Suppose -y = -3*p, -d + p = -q*p + 2. Does d = 2/7?
False
Let s = -11 + 6. Let g = 3 + s. Is g not equal to -2/3?
True
Let g(s) = s**2 - 8*s + 8. Let z be g(7). Let d = -158/5 + 32. Which is smaller: d or z?
d
Suppose -12 = -5*z + 18. Suppose z*a = a. Is a > 5?
False
Let k = -1 + 2. Let n = -20.991 - 0.009. Let w = 20.9 + n. Is w < k?
True
Let n = -1377/11 + 125. Let h be (2 - 4)/(0 - -2). Is n > h?
True
Let p(y) = -y + 4. Let b be p(5). Let i = 10 - 6. Suppose -2*r - i = 2*r. Is r equal to b?
True
Let j = 0 + -1. Let l = -83/33 + 7/3. Is j smaller than l?
True
Suppose d + 69 = 69. Are d and 2/17 non-equal?
True
Let q(h) = -2*h**3 + h**2 - 2*h + 1. Suppose 3*l = 4*a + 1 + 7, -5*a = 3*l - 17. Let k be q(a). Let u = -1.93 + -0.07. Is k > u?
False
Let v be 9 + 7/(-1) + 92/(-42). Which is smaller: 0 or v?
v
Suppose 1 = 3*h + 7. Let d be (10/8 - 1)*-3. Is h <= d?
True
Let t = -1 - 0. Let a = 4.7 + -2.7. Is a greater than t?
True
Let x(y) = -6*y + 23. Let m be x(4). Is -14/9 smaller than m?
True
Suppose 0 = -2*j - j + 9. Let l be 76/28 + (-4)/(-14). Suppose 2*r = 3*r - l. Is r < j?
False
Let k = 25 + -24. Is k <= -54?
False
Let x = 0.25 - 0.45. Is x equal to 0?
False
Let a be 3 + -3 - 2/(-51)*-21. Is a less than or equal to 0.1?
True
Suppose 0*v - v - 1 = 0. Let z = v + 3. Let h = 1 - z. Which is smaller: h or 0.2?
h
Let s(o) = -79*o - 1. Let w be s(1). Let c be 3/(w/(-79) + -1). Let p = -2605/11 + c. Is p less than or equal to -1?
False
Let k = 5 - 1. Suppose -5*a - 4*f + k - 15 = 0, 2*f + 8 = 0. Let l = -802/5 - -161. Which is smaller: a or l?
l
Suppose 75 = -5*s - 5*i, 0 = 3*s - 4*s + 4*i. Let x be -1*(3 - (-32)/s). Is 1 greater than or equal to x?
True
Let d be (1 + 3/(-5))*15. Suppose -3*i - 3*m + 7 = -4*m, -i - 19 = 5*m. Do d and i have the same value?
False
Suppose b + 0 - 2 = 0. Let q be (b/(-3))/(-4 - -2). Let c be -1 - -1 - (-1 - 0). Is q at most as big as c?
True
Suppose 7 - 17 = -2*g. Suppose g*x + 7 - 2 = 0. Do -1 and x have the same value?
True
Let q = 179 + -113. Which is bigger: 64 or q?
q
Let j(a) = -5*a**3 + a**2 - 1. Let v be j(1). Let d(b) = -b**3 - 8*b**2 + 9*b + 2. Let h be d(-9). Let c be (v + h)*1 - -4. Which is smaller: c or 2?
c
Let b = 1/5 - -2/15. Is -0.2 at least b?
False
Suppose 3*o + 28 = -o. Let g be (-2)/7 - 120/21. Which is bigger: o or g?
g
Let o(d) = -d**2 - d + 36. Let a be o(-7). Let q(f) = -f**3 + f**2 - f - 7. Let y be q(0). Which is smaller: y or a?
y
Let o = -11.207 + 0.107. Let v = o - -2.1. Let p = 8.8 + v. Is 2 at least p?
True
Let j(v) = v**2 + 4*v - 2. Let f be 10/35 + (-37)/7. Let w be j(f). Is -2/7 greater than or equal to w?
False
Let x be ((-8)/(-2))/12*-9. Let d be 3 - ((x - -2) + 2). Is 4 less than d?
False
Let i = 19680/2717 - -126/209. Let j = 551/52 - i. Which is smaller: 3 or j?
j
Suppose -3 + 0 = -i. Let y = -7 - i. Which is greater: y or -9?
-9
Suppose 4*z - 102 = -r - 3, -2*z + 5*r = -55. Is z at least 24?
True
Let t = 2/65 + -239/1430. Which is greater: t or 0?
0
Let h be (2/(2 - 0))/(-1). Let l = h - -3. Let n(x) = -x + 11. Let p be n(10). Which is smaller: p or l?
p
Suppose -50 = -2*u - 162. Let j be (-22)/u + (-2)/8. Do j and 1 have the same value?
False
Let z be (-3)/(-5)*(-6)/(-9). Let d = -180.83 + 181. Which is smaller: z or d?
d
Suppose -x = 3*t + 7 - 1, 3*x - 4 = 2*t. Which is smaller: -6/35 or x?
-6/35
Let p(c) = c**3 - 8*c**2 - 10. Let o be p(8). Let r = 10 + o. Which is greater: r or 0.2?
0.2
Suppose 4*q + 5 = 9*q. Let c be (q - 3) + (-7)/(-2). Which is smaller: 2 or c?
c
Let j(a) = a**3 + 4*a**2 - a - 5. Suppose 5*n + 11 = g + 2*g, n = -4*g - 16. Let v be j(n). Which is smaller: -2/3 or v?
v
Suppose 18 = f - 4*k, -3*f - k - 3*k + 6 = 0. Let x be f/9*(-3)/2. Is -9/4 bigger than x?
False
Suppose 5*t - 16 = p, 4*p + p - 2*t + 11 = 0. Let c = 7 + -1. Suppose c = -2*z - z. Which is smaller: p or z?
z
Let u = 70/11 - 1223/187. Is -1/2 not equal to u?
True
Let d be 0/(-1) + -3 - (-53)/17. Which is bigger: 1 or d?
1
Let d = -11 + 12.2. Let q = 1 + -1.2. Let y = d + q. Does y = 1?
True
Let q(t) = -t**2 - 7*t. Let p be q(-7). Suppose 0 = 5*b - 3*u + 9, 2*b - 3*u - 2*u + 15 = 0. Suppose -l + 4 - 3 = b. Is p greater than or equal to l?
False
Suppose