 3*m. Which is smaller: m or -2/3?
-2/3
Suppose 4*w + 32 = -3*l - l, -2*l + 3*w - 11 = 0. Is -5 < l?
False
Suppose 5*k = 2*w + 26, -4*k - w = 2*w - 30. Let a = k + -11. Is -4 less than a?
False
Let m(n) = 11*n + 7. Let z(f) = -5*f - 3. Let c(a) = 6*m(a) + 13*z(a). Let d(b) = -b**2 + b + 2. Let r be d(-2). Let x be c(r). Which is smaller: 1/3 or x?
x
Let z = -0.5 + 0.1. Let h = 23 + -23.4. Let d = h - z. Which is bigger: -1/2 or d?
d
Let t be 2/(-1) - 0 - 11. Let x = t + 41/3. Suppose -5*a + 4 = -3*a. Which is bigger: x or a?
a
Let a = 19 - 18.7. Which is smaller: a or 6?
a
Let j = -4148/4587 + -2/417. Which is greater: -1 or j?
j
Let m = -2 - -1. Let y be (-9)/(-15) - 244/340. Is y <= m?
False
Suppose 3*n - 7 = 8. Let m be (-6)/5*(-10)/4. Suppose -n*d + p + 2 = -0, 2*d + m*p - 11 = 0. Which is bigger: 2/5 or d?
d
Let l be (4/(-10))/1*5. Let u = l + 3. Suppose 0 = -2*f - f. Is f less than u?
True
Let z = 16 + -15. Let w be (-12)/(-9)*3/(-22). Which is bigger: w or z?
z
Suppose -2*y = 2*r + 4, r - 8 = -0*r + 4*y. Suppose z + 3*z = r. Which is bigger: z or 1?
1
Suppose -2*k = k + 45. Let n be (6/k)/((-1)/20). Is 8 at most as big as n?
True
Let y(s) = -s**2 - 4*s. Let k be y(-4). Let r = -11.66 - -11.6. Is r less than or equal to k?
True
Let u be (4/(-78))/((-6)/(-18)). Is 1 bigger than u?
True
Suppose -4*d - 4 + 0 = 0. Let g(f) = -f + 6. Let i be g(5). Which is smaller: d or i?
d
Suppose 5*r - 17 = t + 11, 0 = 5*t - 2*r + 71. Which is greater: t or -14?
t
Suppose -4*s - 20 = 4*w, -s + 15 = 5*w - 4*s. Let r = -8 + 8. Is w < r?
False
Let p = -9 - -37. Is 86/3 less than p?
False
Suppose 4*j + 3*l = -19, -3*j = 2*l + 15 - 2. Let y be ((-1)/(0 - j))/(-1). Is -1/10 at least y?
False
Let p be 2/(-8)*((-8)/(-21))/4. Which is smaller: p or 1?
p
Let o = 42/167 + 9935/1002. Let m = 10 - o. Suppose -4*j = -4, 5*p - 3 = 3*p - j. Is p less than or equal to m?
False
Let j = 0.1 - 0.62. Which is smaller: 0.1 or j?
j
Let x = -12 - -22. Which is smaller: 8 or x?
8
Let b(p) = p**2 - 7*p - 4. Let v be b(8). Suppose -v = -m + f, -2*m + 2*f - f = -3. Let x = 109/5 + -21. Which is bigger: m or x?
x
Let w = 0.1 - 0.2. Let r = 10 - 7. Let c = -4 + r. Which is greater: c or w?
w
Let p be (0 + -2)*(-2)/(-1). Is -3 bigger than p?
True
Let i = 0.8 - 0.8. Let q = 1 - i. Which is greater: q or 2?
2
Let j(c) = -3*c + 5. Let k(o) = -7*o + 10. Let y(r) = -5*j(r) + 2*k(r). Let w be y(6). Suppose n + 2 = w. Do n and 1 have the same value?
False
Let g be -4 - (1 - 1)*-1. Suppose 2*m = 3 + 1. Let q be m/g*12/3. Which is smaller: q or -2/3?
q
Suppose -1 = -4*r + r - t, -r + t - 1 = 0. Suppose r*q = -2*q. Which is smaller: -1 or q?
-1
Suppose -2*x = 35 - 7. Let f be (x + 4)/(-1*2). Suppose -3*h + 12 = -f*c, 1 = -h + 5. Which is bigger: -2 or c?
c
Suppose 0 = 7*o + 72 + 61. Which is bigger: -1 or o?
-1
Let z = 76 + -75.9. Let t = 6 - 9. Let v = t + 3.05. Which is bigger: v or z?
z
Let t = 5.9 - 6. Which is bigger: t or -0.09?
-0.09
Let t = 4 + -2. Let x(y) = y**2 - t - 3*y + 2. Let l be x(3). Is -1/2 >= l?
False
Suppose -82*u = -85*u. Is 2/13 greater than u?
True
Let n be ((-17)/6)/(5/(-30)). Which is smaller: n or 2/5?
2/5
Let j be (-1)/(-4 - -3)*-2. Let s be -1*(j - 4/(-2)). Let k = -1 - -0.6. Is s smaller than k?
False
Suppose -12 = 4*v, 0*y = 4*y + 5*v - 9. Suppose 4*h = 7*h - y. Are h and 4 unequal?
True
Suppose -4*d = d - 20. Suppose -w - d = 3*w. Is -6/5 equal to w?
False
Let o be (-4)/18 + (-1146)/(-54). Let x = 167/8 - o. Let t = -2 - -3. Is t less than x?
False
Let m be ((-2)/(-3))/(56/(-84)). Is -1 at most as big as m?
True
Let z = -24 - -23. Is 0.4 >= z?
True
Suppose 4*g + 14 = -2*k, g - 1 = -2*k - 3. Which is smaller: k or -2/7?
-2/7
Suppose -22*s = -21*s - 2. Which is bigger: 0 or s?
s
Let k = -32.83 + 33. Let i = 0.14 + k. Let z = i - 0.01. Which is greater: z or -0.2?
z
Suppose 0 = -2*d - 3 - 1. Which is smaller: 0 or d?
d
Let q be (-2 - 0) + 0 - -2. Suppose q*k + 12 = 3*k. Let t = -4 + k. Is t less than -2?
False
Let i = 424 + -2551/6. Which is smaller: 0 or i?
i
Let l = 1.3 - 0.3. Let x = 5 - l. Let g = -16/11 - -37/33. Which is smaller: g or x?
g
Suppose 0*s + 9 = -3*s. Let z = s - -2. Suppose -6*u - 9 = -3*u. Is u > z?
False
Let l be ((-14)/(-4))/((-2)/4). Let y be l/(-7)*0/(-2). Is 0 <= y?
True
Let c be (2 - 30/12) + 10/(-12). Is 1 at most as big as c?
False
Let l = 11 + -11. Which is greater: 2/25 or l?
2/25
Let j = 7 - 4. Which is bigger: j or 1?
j
Let f = 2/87 - -9/29. Suppose -s + 12 = 3*l - 4*s, -5*s = 15. Which is greater: f or l?
l
Let x(l) = -7*l - 11. Let k be x(4). Do -40 and k have the same value?
False
Suppose 5*f = 1 + 4. Let o be -5 + 5 + 2/f. Which is smaller: o or 1?
1
Suppose 1110 = 2*k + 3*k. Let i be 1 + 1 + 901/(-4). Let u = k + i. Is 0 greater than u?
True
Let u(h) = h**3 + 2*h**2 - 5*h - 3. Let w be u(-3). Let k be ((-10)/15)/((-16)/6). Is w greater than k?
True
Suppose -k - 4*k = 3*d + 45, -3*k - 13 = -d. Let y = -5 - k. Let h = -279/7 - -40. Is h <= y?
True
Suppose 0*y - 4 = -4*y. Suppose 5 = -d + y. Which is bigger: d or -1?
-1
Let x(g) = -g**3 + 5*g**2 - g + 4. Let w(m) = -m**2 - 8*m - 7. Let h be w(-6). Let i be x(h). Which is bigger: i or 2/5?
2/5
Suppose 2*i + 0 = 8. Which is smaller: 3 or i?
3
Let v(j) = -3*j + 6. Let t be v(-5). Suppose -d - f - t = -5*f, 5*d - 3*f = -20. Let x = d - 1. Is x bigger than -2?
False
Let u = -47 - -189/4. Which is smaller: u or 5/11?
u
Suppose 0 = -5*o - 2*x - 25, 5*o - 4*o - 5*x + 5 = 0. Let d be 9/15 - 2/o. Suppose 5*l - 1 = 6*l. Which is smaller: d or l?
l
Suppose -30 + 10 = -4*x. Let j = -5 + x. Which is smaller: j or 2?
j
Let c = 101/2 - 49. Is c at most as big as 3?
True
Let m = 1 - -1. Let u = -28 + 31. Which is smaller: m or u?
m
Suppose 0*p - 8 = 4*p. Let q(f) = -f**3 - 3*f**2 - 2*f. Let b be q(p). Is b at least as big as -3/2?
True
Let c be (-3)/3*3/3. Which is bigger: c or 1/3?
1/3
Suppose -3*g + 3*x - 27 = 0, -3*x - 8 - 7 = 3*g. Let k = -17 - g. Let p be (8/k)/(3/15). Is -1 at least as big as p?
True
Suppose -2*p = p. Let s = 149 - 1195/8. Which is smaller: p or s?
s
Let c be 5/(-65)*2*-2. Which is smaller: c or 1?
c
Let y(q) = -q. Let t be y(2). Let k be (-5)/t*(-132)/(-60). Is 7 <= k?
False
Let w be (-27)/6*4/6. Let t be 70/(-21)*w/2. Is t greater than 4?
True
Let o(g) = -6*g + 3. Let t be o(1). Is -4 bigger than t?
False
Let l(s) = s**3 + 4*s**2 - 6*s - 4. Suppose 0 = 6*q - q + 25. Let a be l(q). Which is bigger: 4 or a?
4
Let z be 3/12*-10 + 1. Is z != -1?
True
Let l = 85 + -84.7. Which is smaller: -1/3 or l?
-1/3
Let s(v) = v**2 + 4*v. Let h(q) = q**2 + 4*q. Let f(g) = -2*h(g) + 3*s(g). Let j be f(-5). Do j and 7 have the same value?
False
Let w(c) = c**2 - 6*c + 7. Let n be w(3). Is -4/3 > n?
True
Let g be 1/(-4) + 25/(-10). Suppose 0 = z - 3*r + 5 + 2, z - r + 5 = 0. Which is greater: g or z?
g
Let d = -2 + 0. Let t = 2 - d. Let y = 4.1 - t. Does y = 3?
False
Let h = -2.2 - -2. Let b = 0.3 + h. Is 0.5 less than b?
False
Let t be 2/(-5) - 20/75. Which is smaller: t or 2?
t
Let d(f) = -2*f**2 + 8*f - 3. Let z be d(3). Suppose -s + 2*w = -6*s + 16, 5*w = -5*s + 25. Do z and s have the same value?
False
Let f = -7/18 - -52/99. Let s = f + 23/154. Which is bigger: -0.4 or s?
s
Suppose 0*r + r = -i - 3, -3*r - 9 = 0. Which is smaller: i or 1/2?
i
Let g(b) = b**3 + 8*b**2 + 5*b - 10. Let r be g(-7). Suppose 0*x = -t - x + r, 2*x = -5*t + 8. Let v be -2 + t + (-8)/(-6). Is -3/2 greater than v?
False
Let v = 0.14 + -0.1. Which is smaller: 0 or v?
0
Let l be 5/90*-3*4. Is 8 greater than or equal to l?
True
Let y = -112.01 + 111. Let t = y - -0.01. Which is smaller: t or 8?
t
Let t = 5 - 9.96. Let x = t - 0.04. Does x = 1/4?
False
Let q = 0.2 + -1.1. Let c = q - -0.3. Which is smaller: 1/3 or c?
c
Let c be (11/((-33)/(-9)))/(1*3). Is c at least as big as -1/15?
True
Let h = 122 - 1100/9. Let b(v) = -v - 3. Let q be b(-4). Is q less than or equal to h?
False
Suppose 2*h - 16 = 2*a + 2*a, 0 = -2*h - 4*a. Suppose -8*c + h*c = 0. Is c equal to -3?
False
Let g = -13 - -12. Which is bigger: g or -2/3?
-2/3
Suppose -5*g = 5*q, 5*q + 15 = 4*g - 3. Suppose -g*a = a. Which is greater: a or -2?
a
Let l = 0.1 + 1.9. Let c = -2.04 - -3.04. Which is greater: c or l?
l
Let a(x) = x**2 + 8*x + 9. Let g be a(-