6, -4*h = -q - h - 2. Which is bigger: l or q?
q
Let o = -0.18 - -0.31. Let f = -0.07 - o. Which is smaller: f or 2/3?
f
Let g be (3/(-7))/(32/28). Which is bigger: g or 0?
0
Let a be (-3)/5 + (-6)/(-10). Let g be 1 - (a + (0 - 1)). Let y be 2*3 - (-3 - -6). Which is greater: g or y?
y
Suppose -a - 5*t + 22 = -4*a, 0 = 5*a + 3*t + 14. Let u(m) = -m**2 - 1. Let d be u(0). Is a < d?
True
Let c = -2 - -1.7. Let j = 0.1 + c. Let y = 0 - 0.1. Is j < y?
True
Let d = -187 + 80. Let c = d - -533/5. Let m be 2/((-1 + -1)/2). Which is smaller: m or c?
m
Let b be 9 - 0 - (-3 + 1)/2. Is b bigger than 10?
False
Let c = 279/2 - 14791/106. Which is greater: 1 or c?
1
Suppose 8*l + 48 = -5*h + 11*l, 3*h + 26 = -l. Which is bigger: -2 or h?
-2
Let o = 2 + -4. Let g be 4/o - (-1)/1. Let z(b) = b - 8. Let h be z(6). Is g >= h?
True
Let s = 0.9 + 2.1. Are s and 0.3 nonequal?
True
Let f(q) = -3 - q**2 - 4*q - 13*q + 7*q. Let x be f(-10). Let o be 0/(2*x/6). Is o smaller than 0?
False
Let c be (-10)/(-3) + -4 - 0. Let w be 1 + (0 - (-2)/2). Let d be w/4*6/3. Is c >= d?
False
Let q = 244 + -242.07. Let m = 1.9 - q. Is m <= 1?
True
Suppose -6 = 3*c + 2*f + 2*f, -4*c + 4*f = -20. Suppose 0 = -u + t + 2, c*t = u - 2 - 0. Suppose 4*v = u + 2. Is v at least -2/5?
True
Let c be (-2)/2 + (-6 - -12). Suppose 0*r + 2*r = -2. Which is greater: c or r?
c
Let f = 5 - -34. Is 40 equal to f?
False
Let b(i) = -8*i + 7. Let q be b(4). Which is greater: q or 1/4?
1/4
Let s = 252 + -250. Let g = 0.069 + 3.851. Let m = -0.08 - g. Which is bigger: m or s?
s
Let t(l) = -l**3 + 3*l**2 + 7*l - 9. Let a be t(4). Which is smaller: a or 4?
a
Let b = -13 - -45. Suppose -k + 5*m + 27 = 10, -4*k - 5*m - b = 0. Is -2 > k?
True
Let m be -2*6/2 - -3. Let v be ((-9)/m + -3)*-1. Which is smaller: 1 or v?
v
Let p = 77 + -26. Which is greater: 0 or p?
p
Let t = 0.11 + 1.89. Let o = t + -2. Which is greater: 2/5 or o?
2/5
Let l = 0.036 - 0.076. Is -0.1 smaller than l?
True
Let c = -0.08 - 0.04. Let n = -0.09 - c. Which is smaller: n or -1?
-1
Suppose 4 = 3*v - u, 4 = -4*v + 2*v + 4*u. Is 6/11 bigger than v?
False
Let z be 2/(-4) + 21/(-14). Let b = -2 + 6. Let w be 2 + (1 - (z + b)). Is w less than or equal to 1?
True
Let a = 86 - 72. Do 14 and a have the same value?
True
Suppose 0 = -8*g + 4*g + 16. Suppose 4*i + 17 = -5*h, -i + 5*i - g*h = 28. Is 4/7 equal to i?
False
Let m be (13 - 1)/(-4) - -10. Let x(l) = l - 1. Let n(u) = -6*u + 14. Let b(g) = -n(g) - 5*x(g). Let a be b(m). Which is greater: -4 or a?
a
Let g(q) = -q**3 - 7*q**2 + 7*q - 7. Let l be g(-8). Which is smaller: l or -1/143?
-1/143
Let v = 6 + -4. Let p(y) = 2*y - 4. Suppose 5*b + 0*b = 4*a + 31, 2*a = b - 11. Let x be p(b). Is v > x?
False
Let d(t) = -t**3 + 2*t**2 + 2*t + 2. Suppose 0 = -5*p - 4*h + 11, 2*h + 2 = -0. Let k be d(p). Let m = -8 - -6. Is k at most as big as m?
False
Suppose -3 = -x + 1. Suppose -4*b - g = 0, -2*b + b = x*g + 15. Let h be 3*b/3 - 0. Which is greater: h or 2/17?
h
Suppose g = -4*d + 5, 4*d - 25 = -5*g + 2*d. Which is bigger: 1 or g?
g
Suppose -88 = 4*r + 19*s - 20*s, -3*s + 22 = -r. Is 0.2 > r?
True
Let l = -0.11 + 7.11. Let n = l - 6.93. Let a = n + -0.27. Which is smaller: 2 or a?
a
Let c = 43/216 - 2/27. Which is bigger: 1 or c?
1
Let m(c) = 2*c - 2. Let b be m(3). Suppose -5*i - 4*y + 4 = -11, -b*i - 3*y = -12. Suppose -g - 13 = 3*p, -7 = -i*g + 2*g + 2*p. Which is bigger: g or -1/2?
-1/2
Let p = -21 + 30. Suppose 2*i = 4*x, -4*i + p*i - 2*x = 0. Suppose -3*u - 6 = i, 0*u - 4*u = -3*a + 11. Is 1/4 > a?
False
Suppose -5*h = 4*i - 17, h - 10 = i - 4*i. Suppose -3*d + 1 = 2*s, 5 = -2*d + i*d + 3*s. Let g be ((-2)/(-5))/(12/10). Are d and g nonequal?
True
Suppose 0 = 2*f - p - 3, -4*f + 0*p + 3*p + 7 = 0. Which is smaller: f or 2?
f
Let q be -5 - -5 - (-14)/(-2). Which is smaller: -6 or q?
q
Let z = 2 + -2. Let q = -580/9951 - 2/321. Is z >= q?
True
Let f = -0.19 + 6.19. Let k = f - 11. Which is smaller: k or -2?
k
Suppose -3*i + 385 = -4*t, 3*t = 2*i - 0*i - 257. Let u = -2029/16 + i. Which is smaller: u or 1?
u
Let t be ((-6)/7)/(3/63). Which is smaller: t or -1/4?
t
Let q = -2 - -2.06. Let n = -0.14 - q. Is 1 > n?
True
Let r be ((-6)/(-4))/(78/(-8)). Let z = -35 + 35. Which is smaller: z or r?
r
Let y = 0.13 + -0.23. Let d = 16 - 23. Is d smaller than y?
True
Let x be (25/(-30))/(8/(-42)). Let v = x - 159/40. Let a(l) = -l + 5. Let f be a(4). Do f and v have different values?
True
Let n(b) = 2*b + 7. Let y be n(-5). Let p be y/18*-3*-4. Which is smaller: -1 or p?
p
Let m = -3 - -8. Suppose -2*y + 20 = 3*y. Let r = y - m. Is -2/7 != r?
True
Suppose x - x = -2*x. Is 6/31 bigger than x?
True
Let r be 6*(-1 + (-61)/(-62)). Is r != -1?
True
Suppose 0*d + 1 = d. Which is greater: 1/6 or d?
d
Let m = 365/816 + -13/48. Is m equal to -1?
False
Let j = -0.3 + -0.3. Let t = 0.1 - j. Let u = t + 0.3. Is u smaller than 0?
False
Let z(d) = -d**2 + 4*d + 13. Let a be z(6). Let f = -63 + 62.17. Let c = f + 0.9. Which is smaller: c or a?
c
Suppose -3*c = c - 8. Suppose 2*o - c = -0. Let u be (-2)/(-3*(o - 2)). Is u > 0?
False
Let x(u) = -u**2 - 7*u - 4. Let w be x(-6). Is 19/6 greater than or equal to w?
True
Let m be (-1 - 2)*4/12. Suppose -90 = 4*a + 70. Let y = -282/7 - a. Which is smaller: m or y?
m
Let u be -3 + 6 - (-16)/(-4). Which is smaller: -10 or u?
-10
Let q = -3 + 3. Let n = q - -2. Is n greater than or equal to 3/4?
True
Let u = -18 - -51. Let n be (-1 - (-30)/u)*-1. Is -1 equal to n?
False
Let c be 1 - -1 - 5/(-10)*-6. Which is greater: c or -38?
c
Let q = 1614/7 - 231. Suppose x - d = -x - 2, 5*d = -3*x + 10. Is x greater than q?
True
Suppose -6*g + g = 5. Suppose -18 = 5*t + 4*o, -2*t + 3*o = -o - 4. Which is smaller: t or g?
t
Let m = -0.4 - 0.6. Let l = 0.97 + m. Which is greater: 1 or l?
1
Let x(l) = -l + 2. Let s be x(-2). Suppose -v = 2*d + 9, 2*v - 3*v + s*d = -9. Suppose 3 = -0*i - i. Does v = i?
True
Suppose -w + 8 = 2. Let f be (1 + 1)*3/w. Which is smaller: 5/3 or f?
f
Suppose 0 = 3*o - 11*o + 8. Let c be 0/(-1) - (0 - 0). Which is smaller: o or c?
c
Suppose -3*m + 0 = -0. Let t = -171 + 2909/17. Which is smaller: t or m?
m
Let n be ((-8)/(-14) + 0)/(-2). Does n = -2/23?
False
Let r = 39 - 40. Which is bigger: -1/8 or r?
-1/8
Let u = -2 - -1.7. Let p = u - -0.34. Let n = 79 - 78.9. Do p and n have different values?
True
Let c be 3/9 - (-12)/(-9). Suppose 0 = -0*v + 2*v. Which is smaller: c or v?
c
Let r be 3 + (-20)/12*-3. Is r < 8?
False
Suppose 2*x = 4*u, -3*u - 2*x + 3 = -4. Which is greater: -2/5 or u?
u
Let l be (-1)/(-11)*(-126)/12. Let j = -6/11 + l. Which is smaller: j or -0.2?
j
Suppose -4*r = -10 + 6. Is r < 2?
True
Let n = -2 - -7. Suppose 0 = -w - 2*w + 2*k + 13, 17 = n*w - k. Let a be (0 - -1)/((-2)/w). Is a at least as big as -3?
True
Let v = 78/5 - 16. Let j = -2.3 + 2.52. Let q = -5.22 + j. Which is greater: v or q?
v
Let x = -1 + 0. Let i be (-14)/10 + -2 + 3. Is i not equal to x?
True
Let p be 2*(0 + 15/10). Are -2 and p equal?
False
Let u = -46.01 - -46. Is 1/4 greater than u?
True
Let m be (6/(-4))/((-24)/16). Let z be 44/56 - 4/14. Which is smaller: m or z?
z
Let k(q) = q**2 - 5*q + 3. Suppose -v + 3*v = 3*u - 3, -3*u = -3*v. Let j be k(u). Suppose 3*p - 2 = 4*p. Is j != p?
True
Let g = -36/5 - -139/20. Which is bigger: -1 or g?
g
Let o = -3 + 1. Let i = o + 2. Let w = i + -0.2. Which is bigger: w or -0.1?
-0.1
Let y be (-136)/7 + (-54)/(-126). Which is greater: -20 or y?
y
Suppose 4*g = 6*g - 10. Suppose -3*t - 9 = m, -t - t = -3*m - g. Is t at most as big as -4?
False
Suppose 10 = 2*o + 3*o. Let f = -163/3 + 55. Which is greater: o or f?
o
Let b(o) = 12*o. Let j be b(-1). Let v be (-2)/(-8) + (-9)/j. Suppose 0*x = 3*z + 3*x - 21, -x - 3 = -4*z. Which is bigger: z or v?
z
Suppose 18 = 5*a - 3*a. Let q be (3/a)/((-2)/42). Do -4 and q have the same value?
False
Suppose 4 + 2 = -3*l - 3*k, -3*l + 2*k + 4 = 0. Suppose -3*f - 20 = -4*n - l*f, -4*n = 3*f - 20. Is n < 4?
False
Let k = -5455/19 + 287. Which is smaller: k or -5?
-5
Suppose 0 = 3*i - 27 + 3. Suppose i*d + 10 = 6*d. Is d < -5?
False
Let t(l) = l**3 - 5*l**2 + l - 7. Let s be t(5). Let a = -1 + 0. Let g be (a/(-2))/(1/(-2)). Is g equal to s?
False
Suppose 5*k - 18 = -58. Is -31/4 greater than k?
True
Let j(h) = 