 n + -4. Which is greater: i or c?
c
Let o = 2.6 - 2.4. Let i be (1/2)/(3/(-4)). Which is greater: i or o?
o
Let t be 1/4 + 2/(-8). Suppose -w + t*w = 10. Let m be (-2 - w/4)*2. Which is greater: m or 2?
2
Let o = -107/65 - -63302/38415. Let t = o + -3557/6501. Which is bigger: -2 or t?
t
Let v = -4 - -6. Does -0.04 = v?
False
Let g = -8 - 2. Let w be (-1)/(-5) + 12/g. Is -2 > w?
False
Let k = 26 + -15. Is k at most as big as 11?
True
Suppose 5*f + 3*a - 14 = 0, -f - 2*a = -5*f + 20. Suppose 2*k - 20 = -3*m, -k - k - f*m = -24. Suppose 0 = -h + 4*n + k, 1 = -4*n + 3*n. Is h > 2?
False
Suppose j = -1 + 5. Let u be (-22)/28 - j/(-14). Let d = -4 - -5. Which is greater: d or u?
d
Suppose 26 - 30 = 4*s. Do -1/77 and s have the same value?
False
Let w be ((-15)/(-9))/(-5)*-9. Suppose 5*g + 27 = -w. Let j be (-5)/(-15) - 10/g. Is 1 != j?
True
Suppose 0 = 8*j - 5*j - 9. Which is smaller: 18/5 or j?
j
Let b = 0.7 + 9.3. Let d = b + -16. Let j = 0.25 - 0.35. Is d at least j?
False
Let s = 12 - 13. Which is smaller: -0.3 or s?
s
Let n(w) = -w**2 - 6*w + 4. Let k be n(-6). Suppose i = -3*i - k. Which is bigger: i or 2?
2
Let h = -6 + 3. Let f be (-6)/(-1 + 3 + -7)*-5. Let p = f - h. Which is smaller: -2 or p?
p
Suppose -5*k + 3*x + x + 3 = 0, -5*x - 15 = 5*k. Which is greater: -14/17 or k?
-14/17
Let n(d) = -d + 11. Let g be n(6). Suppose -h - z = g + 4, 2*z - 6 = 2*h. Let i be (5 + h)/(2 + -1). Which is smaller: i or 0?
i
Let a = -2 + 8. Suppose q = 3*q - a. Let u be (-1 + q)*1/(-2). Which is smaller: -0.7 or u?
u
Suppose -w - g + 3*g = -5, 5*g = -3*w - 29. Let a = -10 - -8. Is a != w?
True
Let w(c) = -c**2 - 9. Let u be w(0). Let s = 9 + u. Are -0.06 and s nonequal?
True
Suppose 6 = p - 2*z, -4*p + 61 = 4*z + 1. Let c be 0 - 0 - p/18. Which is smaller: -1 or c?
-1
Let m(x) = -2*x + 9. Suppose 5*d + 9 = 34. Let h be m(d). Which is bigger: h or 2/23?
2/23
Let t be (-2)/6 - (-10)/12. Let x(r) = r**3 - 12*r**2 - 2. Let y be x(12). Let h be (-4)/y + -5 + 4. Which is greater: h or t?
h
Suppose 0 = 5*k - 12 + 17. Which is bigger: -2 or k?
k
Let s = -8.3 - -8. Let z = 0.4 + s. Let i = -0.2 + 0. Does i = z?
False
Let g = 39/154 - 1/14. Suppose 5*r = r + 5*o, 0 = -2*r - 4*o. Which is smaller: r or g?
r
Suppose 3*x + 2*n - 66 = 3*n, -3*x + 51 = 4*n. Which is bigger: 20 or x?
x
Suppose 0 = 4*c - 3*c. Let s be 30/5 - (3 - 1). Suppose 4*u - 8 = -4*y, c = -s*y - 6*u + u + 11. Which is bigger: -4/9 or y?
-4/9
Suppose 2 - 6 = -4*f. Which is greater: 2 or f?
2
Let u(k) = -k**2 - k + 13. Let g be u(-4). Is g < 5?
True
Let z be (-4)/21*16/(-32). Which is smaller: z or 0.3?
z
Let j(q) = -11*q - 8. Let y be j(-2). Which is bigger: y or 12?
y
Let p = -14 + 4. Let t = p - -9. Do t and 2 have the same value?
False
Suppose -4*n + 8 = -2*n. Which is smaller: 5 or n?
n
Let q = -4.05 - -0.05. Let f = 0 + q. Let n = -2 + 2. Which is bigger: f or n?
n
Suppose l + 34 = -l - 2*f, -3*l - 71 = -f. Let g be (-158)/l - (-8)/(-44). Which is smaller: 8 or g?
g
Let r(u) = -20*u + 93. Let c be r(5). Suppose -5*o + 2*o + 1 = -h, 17 = -h - 5*o. Is c != h?
False
Let j(l) = -2*l**3 + l**2 + 3*l - 2. Let w = -8 - -10. Let a be j(w). Do a and -8 have different values?
False
Let o = -11 - -20. Suppose -4*p + 5*j - 9 - o = 0, 0 = -p - 5*j + 8. Let t = -4 + 2. Are p and t non-equal?
False
Let g(o) = 3*o + 10. Let l(m) = -m - 3. Let h(t) = -3*g(t) - 8*l(t). Let a be h(-6). Which is smaller: a or -1/3?
-1/3
Suppose -b + 3*b = 64. Let k = b - 23. Which is bigger: 10 or k?
10
Let t = 47.3 - 2.3. Let j = t - 40.2. Let c = 5 - j. Do c and 1/2 have the same value?
False
Let z = -0.6 + 1. Is 1 > z?
True
Let q(u) = -u + 1. Let l be q(-3). Which is smaller: 13 or l?
l
Suppose 0 = 4*y - 2*y + 2. Let c be (y - -7 - 3)/(-7). Is 0 <= c?
False
Let n = 0.14 + 0.01. Let z = -1.15 + n. Let j = 0 - 0.1. Is z greater than or equal to j?
False
Suppose -5*d = -0*x - x + 5, 0 = -4*x + 5*d + 5. Suppose 4*l + l - 15 = x. Suppose -4 - 2 = -l*w. Is 2 at most w?
True
Let h(v) = 3*v**2 + 8*v + 7. Let o(u) = -u**2 - u - 1. Let c(z) = -h(z) - 4*o(z). Let f be c(-2). Let m = f - 13. Do m and -4 have the same value?
True
Let l = 2 + -2. Let f = -11 + 11.8. Let c = f - 2.8. Is l equal to c?
False
Suppose 0 = 2*x + 2*x - 16. Let s = 41 - 77/2. Let u = s + 0. Which is greater: x or u?
x
Let j be 1*(-4)/10 - 72/(-240). Is j greater than -1?
True
Let m(x) = x**3 - 3*x**2 - 4*x - 2. Let n(v) = 4*v**3 - v**2 + v. Let i be n(1). Let a be m(i). Is a bigger than -3?
True
Let b(m) = -2*m - 2. Let a be b(-7). Let v be 4/16 + 1/a. Is v equal to 1?
False
Let h(q) = 2*q. Let u be h(1). Let n be (u + 20/(-4))/14. Which is smaller: n or -1?
-1
Let o(q) = 6*q**2 - 3*q - 7. Let p be o(4). Is p at least as big as 77?
True
Let c = -71 - -70. Which is greater: c or 3?
3
Let x = 18 - 18.34. Let m = -0.04 - x. Does 0 = m?
False
Let p = -10.4 + 10. Let i = 6.6 - p. Which is greater: -2/7 or i?
i
Let c = 7/6 + -1/2. Suppose -2*d + 15 - 7 = -4*g, -g - 7 = 2*d. Let n = g - -4. Is c less than n?
True
Let z = -339/5 + 9154/135. Let n = 547/945 - z. Is 0 greater than n?
False
Suppose 3*u - 6 = 2*u. Suppose 0 = l - z + 4, u = 2*z - 0. Is 1/9 bigger than l?
True
Let v(b) = -b**2 - 8*b + 8. Let r be v(1). Which is smaller: 6/17 or r?
r
Let b(p) = p - 4. Let q be b(3). Let v be q - (1 + 13/(-4)). Suppose -3*z = 7*z - 11*z. Which is smaller: v or z?
z
Let l = 5/9 + -1/18. Let p be (6/4)/(3/(-8)). Is l <= p?
False
Let k = 19 - 18. Is k not equal to -1/35?
True
Let g = -0.1 + 0.1. Let b = -4 - -5. Which is bigger: g or b?
b
Let h = 6.02 - 6. Let t = 0.02 - h. Are -2 and t non-equal?
True
Let h be 6/7*(-7)/(-17). Which is bigger: h or 1?
1
Let w be (-11)/(-39) - (-7)/21. Which is smaller: 2 or w?
w
Let w(g) = 57*g**2 - g. Let i be w(1). Which is bigger: i or 55?
i
Let b be (-2)/(-4) + 2/4. Is 2/9 greater than or equal to b?
False
Let a(f) = -f**2 - 11*f + 23. Let h be a(-11). Is 23 at least h?
True
Suppose -5*x - 12 - 3 = -5*p, 5*p - 4*x - 11 = 0. Suppose -t + 13 + 17 = 0. Let l be -1 + 3*t/99. Which is smaller: l or p?
p
Let i be 8/6*(2 - -1). Suppose 0 = -a + 8 - 4. Suppose -6 = 2*s - 4*f, 2*f - 2 - a = 0. Which is greater: i or s?
i
Let b = 3/17 + -32/85. Which is bigger: b or -12?
b
Suppose 0 = -5*w - 3*h - 15, -5 = w - 2*w + h. Suppose -v - v - 4 = w. Let z be (-3)/2*v/(-3). Which is smaller: -2/9 or z?
z
Let f(z) = -z**3 + 9*z**2 - 9*z + 8. Let t be f(8). Let k be 56/70*10/(-18). Which is smaller: t or k?
k
Let x = -0.018 - 5.282. Let q = x + 5. Let o = -2.6 + 0.6. Is q less than or equal to o?
False
Let p(y) = -y**3 - 17*y**2 - 17*y - 14. Let g be p(-16). Is g less than 1?
False
Let j = -20 - -38. Let t be -1 + -2 + 65/j. Let r = 1/18 + t. Which is smaller: 1 or r?
r
Let f be (-9)/(-195)*2/2. Let b = f - -109/455. Let p be (1 + 0)*(-3)/6. Is b at least p?
True
Suppose 328 = -0*j + 4*j. Which is bigger: j or 81?
j
Let w = -7 + 2. Let n = w - -6. Let m be 6/15*1/1. Is n smaller than m?
False
Let l be (-8)/2 - (2 - 4). Suppose 5*j - j - 20 = 0. Let d(f) = f - 6. Let o be d(j). Is l not equal to o?
True
Let f be -4 + (4104/(-129))/(-4) - 4. Which is greater: -1/4 or f?
f
Let m(r) = -r**2 + 23*r - 101. Let z be m(6). Is z not equal to 3/32?
True
Let c = -1.26 + 0.06. Let b = -6 + c. Let p = b + 7. Is 0 at most p?
False
Let v be 0/(-1) + (-324)/(-4). Are v and 81 non-equal?
False
Let k be (9/(-6))/((-6)/(-12)). Suppose 3 = 2*a + 5. Do a and k have the same value?
False
Let i be 4 + (-3)/(6/2). Suppose -i*v + 7*v = 12. Suppose -v*o = 2*q - 23, -4*q + 3*o - o + 6 = 0. Is 5 != q?
True
Let n(t) = t**2 + 4*t + 4. Let o be n(-3). Let f(m) = -2*m - 2. Let q be f(o). Is q greater than -5?
True
Let j(o) = o**2 + 7*o + 6. Let y(r) = 2*r + 4. Let h be y(-5). Let w be j(h). Which is greater: 2 or w?
2
Suppose -4*l = 0, -g - 4*l + 6 = 2*g. Suppose -r + f = 2, f + 7 = -0*r - g*r. Let s = -2 - r. Do s and 1 have different values?
False
Let o = -35108060 - -8320581932/237. Let t = 358/3 + o. Are t and 1 unequal?
True
Let x be -7*(-1)/((-21)/18). Which is smaller: x or -5?
x
Let v = 0.1 + -0.1. Let q = 27 + -27.27. Let y = q - -0.37. Which is smaller: y or v?
v
Let l be (-2)/13 - (-223)/13. Let x be l/6 - (-2)/12. Suppose 0 = -x*p + 3 - 6. Is p at most -2/5?
True
Suppose n - c = 7, 