 -4*x + w, -3*g - 4*x = -20. Suppose h - 4*h = 2*l - 12, 0 = -3*h + g. Is l at least as big as 0.1?
False
Let v = 9/16 + -241/400. Is 1 smaller than v?
False
Suppose 0 = h + 7*j - 3*j, 0 = 3*h - 3*j. Suppose -3*m - 3*t = m - 14, -4*m + 2*t + 24 = h. Let u(f) = 4*f**2 + f - 1. Let v be u(1). Which is smaller: v or m?
v
Let s = -0.78 - -0.8. Which is greater: 2 or s?
2
Let x = -24.1 - -24. Is x not equal to 7?
True
Suppose -4*l - 5 = l. Let d be l/(12/(-9)) - 1. Is d != 5?
True
Suppose -5*n + 4 = -16. Let v = -9 - -16. Let y = -8 + v. Is y < n?
True
Let z be (6/(-1))/(6/3). Let u = z + 5. Is u <= -2?
False
Let k = 5 + -3. Let w(r) = -4*r**2 + 2*r. Let b be w(k). Let m be (5/70)/((-2)/b). Is m less than or equal to 1?
True
Let t be (540/537 - 1)*-1. Let p = -160/3401 + t. Are 1 and p nonequal?
True
Let t(v) = -2*v - 2. Let f(s) = s + 1. Let g(a) = -3*f(a) - 2*t(a). Let x be g(-3). Let h be (-1 + 0)/((-2)/x). Which is greater: 0 or h?
0
Let z(w) = -8*w - 1. Let h be z(-2). Is h less than 15?
False
Let u(b) = 3*b - 10. Let h(o) = o. Let a(n) = 5*n - 5. Let w(z) = -a(z) + 3*h(z). Let v(p) = -3*u(p) - 5*w(p). Let y be v(-7). Which is smaller: -3/4 or y?
y
Let f = 15 - 10. Suppose -3*b - 8 = 2*j, -5*j + 3 = 3*b + f. Which is greater: b or -3?
-3
Suppose 5*d + 9 = -4*a, -2*a = -0 - 8. Which is bigger: d or -6?
d
Let y be (-12)/(-8)*2/3. Is -62 >= y?
False
Let d be -3 + 3 + -1 + 5. Suppose -p - 1 = 2*b, -p + 3*b = -5*p + 1. Suppose -3*a + 2*m = 4*m - 1, a + m = -p. Which is greater: a or d?
d
Let w(s) = -s. Let x be w(-1). Let y be (x - 1) + (-4)/(-4). Let o be 2*(y/(-2))/(-1). Is o > 2?
False
Let g = -528 - -285. Let s = 963/4 + g. Which is greater: s or -1?
-1
Let c(g) = -g + 1. Let r be c(2). Let y = -35/4 - -9. Is y smaller than r?
False
Let g = -45 + 44. Which is bigger: g or 1?
1
Let l = -161/4 - -40. Let r be (5/2)/1*(-39)/(-65). Which is smaller: r or l?
l
Let b be 1560/(-5856) + (-2)/(-8). Which is greater: b or 0?
0
Let i be ((-2)/(-16))/(3/18). Suppose -6 = -s - d, d = 3 - 1. Let u be s/18 - (-4)/(-18). Is i equal to u?
False
Suppose -4*s = 3*p - 1 - 1, 5*s - 3*p - 16 = 0. Suppose -3*z - 3 = -3*m - 18, s*z = -m + 10. Which is bigger: -6/11 or m?
m
Suppose 4*y - 2*l = 28, -2*y + 4 = -y + l. Suppose w = y*w. Is 2/5 less than w?
False
Let a = 8 + -5. Suppose -4*r + a = -7*r. Let k be 2/9 - (-20)/(-9). Is r at least k?
True
Suppose 3 + 12 = -5*n. Suppose 16*f - 13*f = -9. Is n smaller than f?
False
Let n(x) = x**3 - 8*x**2 + 6*x + 6. Let p be n(7). Let l be ((1 - 0)*0)/p. Let d = 2 + -3. Does l = d?
False
Let x = 0.089 + -0.189. Which is smaller: 10 or x?
x
Let v be 2/(2*(-1)/2). Suppose 2*c = -0*c + 4. Suppose -c*n = 3*n. Is n at most as big as v?
False
Suppose 3*t + 28 = 1. Let o be (-25)/9 - (-2)/t. Is -3 greater than or equal to o?
True
Suppose 4*k - 42 + 14 = 0. Let l = k - 8. Which is bigger: -2/15 or l?
-2/15
Let j = -12 - -10. Is -2 less than or equal to j?
True
Suppose 0 = -12*o - 13 - 11. Which is smaller: -11 or o?
-11
Let u(b) = -4*b + 1. Let k be u(12). Are -47 and k nonequal?
False
Let o be (-7)/5*30/48. Let i = 51/40 + o. Let f = -1 + 1. Which is bigger: f or i?
i
Let k = 30 - 29. Which is smaller: k or -1/45?
-1/45
Let w(c) = 2*c + 41. Let a be w(-21). Which is smaller: -2 or a?
-2
Let g(t) = t. Let p be g(0). Which is smaller: p or 2/77?
p
Suppose -5*h - 15 = 0, 11 = -5*y + 5*h - 154. Which is bigger: y or -38?
y
Let r be 3/(-4) - 1/4. Let x = 0 + 0.05. Let k = -0.05 - x. Which is greater: k or r?
k
Let c be (-14)/8 - (-3)/(-12). Let p(x) = -x**3 + 11*x**2 + 26*x - 2. Let t be p(13). Is t < c?
False
Let v = -0.6 + 0.37. Let o = 0.53 + v. Which is smaller: o or 0.5?
o
Let x be 195/(-9) - 3 - (-9 + 5). Which is smaller: -20 or x?
x
Suppose -g - 5 = 0, 4*u = u + 4*g + 8. Let m be u*(-3 - (-3 + 1)). Suppose 0 = -m*y - 2*z - 2, y - 5*y - 3*z - 7 = 0. Which is smaller: y or 2/3?
2/3
Suppose 4*u = 3*m - 17, 3*m + 5*u = 2*m - 7. Let f be (-3)/1*(-2)/m. Let i(g) = -g - 4. Let n be i(-6). Is n at most as big as f?
True
Let o(h) = h**2 + 7*h + 6. Let f be o(-6). Let k be f + 0 - (0 - 2). Are k and 1 non-equal?
True
Let f = 16 + -14. Let w = -446/91 - -60/13. Which is greater: w or f?
f
Let z = -167/3 - -54. Does -1 = z?
False
Let r = -56 + 52. Let w = -3 - -5. Which is greater: w or r?
w
Let d = 39 - 39.1. Which is greater: 0.32 or d?
0.32
Let z = 585/8 + -73. Let f be ((-12)/(-3))/(-1) - -3. Which is smaller: z or f?
f
Let l = 33 - 111. Let g be (-21)/l + 2/(-4). Which is smaller: g or -1?
-1
Let h(l) = l**2 + l + 8. Let a be h(-8). Which is smaller: a or 62?
62
Suppose -45 = 5*l + 5*y, -3*l - 27 = -l + 5*y. Suppose 2*z - 3*c = -15, 2*z = -3*z - 3*c + 15. Let q = -5 + z. Is q at most l?
False
Let p(m) = -m**2 - 3*m + 1. Let s(n) = -n + 3. Let l be s(0). Suppose -2*c = -3*a + 18, -3*c - 2*c - 3*a - l = 0. Let d be p(c). Which is greater: d or 0?
d
Let o = 0 + 0. Let y be (-3 - (-1 + o)) + -4. Let x be 26/y + (-4)/(-12). Is -3 < x?
False
Let m = -0.02 + -0.12. Let h = -0.06 + m. Do -1/4 and h have different values?
True
Let v be (-3 - -1)/(11*24/18). Is -1 bigger than v?
False
Let a be (2 - 2) + 1/(-1). Is 4/29 >= a?
True
Let v be 3/3 + -3 - -1. Let b(a) = -a**2 - 1 + 5*a - 2*a - 1. Let d be b(3). Which is greater: v or d?
v
Let h(j) = -j**3 + 7*j**2 - 4*j + 9. Let n be h(7). Let r = n - -55/3. Which is bigger: r or -2/7?
-2/7
Let i = 0 + 2. Let w(u) = u + 11. Let v be w(-9). Suppose 3*n = 2*g + 10, -v*n = -2*g - 4 - 6. Is n at most as big as i?
True
Let k = 0 - -1. Let u be k - -3*2/(-8). Let x = u - 1. Which is bigger: x or 0.1?
0.1
Let f = -89 - -46. Let v = 298/7 + f. Is v less than or equal to -1?
False
Let t = 825 - 18969/23. Which is smaller: t or -0.1?
-0.1
Suppose -2*t + 4 - 18 = 0. Let y(w) = w**3 + 8*w**2 + 5*w + 4. Let n be y(t). Let v be 6/n - (-4)/6. Which is greater: v or 3?
3
Let q be (2/(-12))/((-2)/3). Let f = 89/2 + -44. Which is smaller: f or q?
q
Let s be (-1563)/4*2/(-9). Let b = 87 - s. Which is bigger: 0 or b?
b
Let l(m) = -4*m + 6. Let z be l(5). Let u be -2 + (-46)/z + -1. Is u < -1?
False
Let l(g) = -g**3 + 2*g**2 + 4*g - 4. Let p be l(3). Let y = 270225/7 + -38405. Let m = y + -199. Is m at most as big as p?
False
Let m = -2 + 3. Let g be -1*(0 - 4 - -2). Which is smaller: g or m?
m
Let f = 0.9 - 0.4. Let x = -1.06 + 0.06. Is x >= f?
False
Suppose 2*z = 3*z + 3*m + 3, 5*z + 2*m = -2. Suppose -4*h - h + 30 = z. Which is greater: 8 or h?
8
Let y(q) = -q**3 + 8*q**2 - q + 9. Let k be y(8). Let a be 3/9*3*k. Which is smaller: a or 3/2?
a
Let q = 87/5 - 17. Which is smaller: -9 or q?
-9
Suppose t - 4 = -0*t. Let g be (-20)/(-7)*14/t. Let x be (-5)/2*6/g. Is x less than or equal to -2/5?
True
Let l(h) = 8*h**3 + h**2 - h - 1. Let d be l(2). Which is smaller: d or 66?
d
Let b = -2 + 2.2. Let z = b - 0.3. Let i = -2 - -2. Which is smaller: z or i?
z
Let q be 4/(-4)*(4 - -1). Let v = 5 + q. Which is smaller: -4/7 or v?
-4/7
Let m be 10/(-9) - -2 - 1. Let g(q) = 5 + q + 0 + 1 - 2. Let c be g(-3). Which is smaller: m or c?
m
Let m be ((-1)/(-2))/((-2)/(-6)). Suppose 3*d + 80 - 8 = 0. Let x = -22 - d. Which is bigger: x or m?
x
Let r = -10.8 - -10. Let v = r + -0.2. Which is smaller: v or 1?
v
Let r = -437/98 - 2/49. Is -6 less than or equal to r?
True
Let m = -47 - -26. Is -22 at most m?
True
Suppose 0*l = 5*l + 5. Let w = -3 + 1. Let h = 1.9 + w. Is h at most as big as l?
False
Let v be -4 + 14 - 4*-1. Let x = v - 11. Is 2 > x?
False
Let j = -0.4 + 0.3. Let w(n) = n**2 - n + 1. Let l be w(2). Let b(y) = y**3 - 4*y**2 + 4*y - 4. Let d be b(l). Which is smaller: j or d?
d
Let a = 16 + -8. Let c = 8.1 - a. Which is greater: 0 or c?
c
Let k = 16 + -26. Let j = 10 + k. Is j bigger than -1/9?
True
Let s = -18 + -4. Let b be s/(-99) - 37/(-36). Let f(u) = u - 2. Let j be f(2). Are b and j non-equal?
True
Let q(r) = -r + 4. Let k be q(3). Let x be (-15)/(-12) - (-65)/(-40). Is k greater than or equal to x?
True
Let v(m) = -m**2 - 4*m + 7. Let s be v(-6). Let t = s + 7. Which is smaller: 0.3 or t?
0.3
Let i be 5/10 + (-10)/28. Suppose 18 = 14*f - 5*f. Which is smaller: i or f?
i
Let s(l) = l**2 - 10*l + 6. Let u be s(9). Let j be 0 - (u - 4)*-1. Which is greater: j or -8?
j
Let o = -1567 - -10993/7. Let h = o - 106/35. Are -2/3