 - 2*j + 14, -4*d - 29 = -5*j. Which is smaller: 2/21 or d?
d
Suppose q - 7 = 2*q. Let t be 4/(-12) + (-52)/6. Let p = t - q. Which is bigger: -0.1 or p?
-0.1
Let v = -12 + 14. Let y = -5 - -5. Suppose -3*q - 3 = -4*t - 6, y = 2*q - v*t - 2. Is q at most as big as 0?
False
Let g be (-38)/(-5) - 10/(-25). Are 7 and g equal?
False
Suppose -2 - 1 = -3*s. Let j = -7 - -6. Which is greater: s or j?
s
Let n = -164816/579 + 854/3. Is n at least -1?
True
Let h(q) = q**3 - 8*q**2 - q + 4. Let n be h(8). Which is smaller: n or -9?
-9
Suppose -3*h - 4*i = -15, -3 = 2*h + h - 2*i. Suppose -4*s + 5 = h. Let u = -24 + 26. Is u at least s?
True
Let k = -7471/7 + 1065. Do k and -2 have the same value?
False
Suppose -3*s + 64 = s - 4*j, -4*s - 3*j + 43 = 0. Which is bigger: 14 or s?
14
Let f be 89/((-7)/(-1) - -2). Let d = f - -209/18. Let i = d + -21. Which is greater: i or -2/5?
i
Let d be (-12)/2*-6*1/(-4). Which is bigger: d or -10?
d
Let h be (1 + -8)*(-3 + 4). Let o = h + 8. Do 1/2 and o have the same value?
False
Let u be ((-13)/(-4))/1 + -2. Suppose 23*h - 4*h + 8*h = 0. Which is greater: h or u?
u
Let o = -113 - -117.9. Let d = -5 + o. Let i = -0.3 - -0.4. Is i less than or equal to d?
False
Let h be 8/(-20) + (-234)/(-10) + 0. Are 22 and h non-equal?
True
Let u = 76 - 69. Which is greater: 3/2 or u?
u
Let w = 5/69 - -6/23. Let a = -199 - -200. Is a > w?
True
Let j be (-15)/(-10)*2/(-3). Let s be (-28)/45 - 6/(-27). Which is smaller: s or j?
j
Let l = -3 + -17. Let y = -19.9 - l. Which is smaller: -3/7 or y?
-3/7
Suppose -2*k = -4*t + 7*t + 14, 0 = 5*t + 5*k + 20. Let v be (5/15)/((-1)/t). Which is smaller: v or -4?
-4
Let x = 106 + -744/7. Is x >= 1?
False
Suppose 0 = 4*d - 4. Let t = d + -3. Is t smaller than -2/3?
True
Let j(i) = i + 1. Let a be j(2). Suppose -g - z - 6 = -2, a*g = 5*z + 28. Which is bigger: 2/5 or g?
g
Let s(m) = 25*m - 3. Let v be s(1). Are 21 and v equal?
False
Let k be 2 + 182/(-6) - -2. Let g = k + 27. Which is smaller: g or 2?
g
Let b(l) = l**3 - 1. Let r be b(2). Suppose 0 = 4*p - r*p. Let x = 40 + -122/3. Is p < x?
False
Let c be -5*(4/5)/(-2). Suppose -2*p = -2, 0 = 2*w - c*p - 0 + 2. Which is greater: -10 or w?
w
Let y = -32 - -31.9. Which is greater: y or 15?
15
Let x = 0.19 - 0.28. Let r = 0.39 + x. Which is greater: 1 or r?
1
Let o = -3 - -16. Let f be (-24)/6 + (-1)/(2/(-10)). Is o at least f?
True
Let r = -6 - -16. Which is bigger: 11 or r?
11
Let u(o) = 3*o - 1. Let z be u(-1). Let k(f) = -f**2 - 6*f - 8. Let m be k(z). Which is greater: m or 3/5?
3/5
Let u = 8.98 + -9. Let g = 1.02 + u. Which is smaller: 1/3 or g?
1/3
Let g be (1/(-6))/((-3)/(-4)). Let t = 7837/14 + -560. Let m = -19/42 + t. Is m != g?
True
Suppose 5 + 4 = 3*i. Let s(f) = 0*f**i - 6*f**2 + 8*f - f**3 + 0*f + 9. Let h be s(-7). Is h <= -1?
False
Let u(l) = l**2 - 11*l + 6. Let k be u(9). Let h be (-2 - -1)*k/(-78). Is 0 != h?
True
Let s = 20 + -21. Is s >= 1/47?
False
Let v(z) = z - 3. Let t be v(6). Let j = -5 - -4. Let r be 2 + j/t + -1. Is 0.2 >= r?
False
Let v = -2 + 3. Let z(c) = 6*c - 1. Let j be z(v). Suppose -16 = -g + j*g. Which is smaller: -3 or g?
g
Suppose y - 2*a = -9, 5*y = -5*a - 0*a. Let z(d) = -d**2 - 2*d + 4. Let w be z(-4). Which is smaller: w or y?
w
Suppose 56 = -41*v + 37*v. Which is smaller: v or -16?
-16
Let c be ((-33)/24 - -1)*-12. Is 4 < c?
True
Let z = -161 - -111. Let r be ((-2)/z)/(2/(-5)). Do r and -0.1 have the same value?
True
Let n(t) = t**3 - 3*t**2 + 2*t - 3. Let x be n(3). Suppose -2*s - 20 = 5*u, 3*s - x*u = 13 - 1. Is s smaller than 2?
True
Let o(t) = -2*t**3 + 2*t**2 - 2*t + 1. Let c be o(1). Is c at least -1/17?
False
Let c = -579 + 600. Let t(u) = 2*u**3 - 3*u**2 - u - 4. Let y be t(3). Do c and y have the same value?
False
Let r = 10.4 + 2.6. Let w = 12.8 - r. Are w and -0.04 equal?
False
Suppose 3*v = 337 + 212. Let h = v - 737/4. Is 0 bigger than h?
True
Let a(p) = 2*p**2 + 9*p - 7. Let m be a(-5). Suppose 0 = o - 2*o - 2. Let n be o/(-3) - 16/6. Is m < n?
False
Suppose -51 = 16*n + 45. Is n not equal to 3?
True
Let i = 1 + 1. Suppose -2*j - i*j = 40. Let h be 1 + j/16*2. Do 0.1 and h have different values?
True
Suppose -3*b - 5*k = -16 - 14, -5*b - 5*k = -40. Suppose -172 = -2*v - 2*g + 260, g - 1092 = -b*v. Let l = v - 3283/15. Is l at most as big as 0?
False
Let z = -2969/23 + 129. Let g(a) = 2*a - 3. Let f be g(2). Do z and f have different values?
True
Let i = 0 + 15. Suppose -a - 2*a = -i. Suppose 0 = z - a*z. Which is smaller: z or 1?
z
Let h = 3.1 - 3. Let z = 12.1 - 12. Let k = z + h. Is 0 >= k?
False
Let d be (-2)/7 - (-111)/21. Suppose -d = 4*g + g. Is 2/5 less than g?
False
Let o = 0.56 + -0.4. Let k = o - -0.02. Let t = -0.08 + k. Which is bigger: t or -2?
t
Let j = 9 - 13. Let w = j - -5. Let c = -0.1 + 3.1. Which is greater: w or c?
c
Let n be 3/(-12) - 10/(-8). Let r be 2*n + (-56)/35. Let h(w) = -w**2 + 3*w + 1. Let y be h(3). Which is smaller: y or r?
r
Let j(x) = -x**2 + 8*x - 4. Let b be j(7). Suppose -b*q = -5*q. Which is smaller: -1/3 or q?
-1/3
Suppose -4*a - 8 = 0, -a + 178 = 3*t + 2*t. Which is bigger: t or 37?
37
Let m = 2 - 5. Suppose 0*l = l - 2. Suppose -2 - 2 = l*k. Which is smaller: k or m?
m
Let w be (14/(-2))/(1 + 0). Is w < -7?
False
Let j = 8 - -1. Let w be j/5 - (4 + -2). Let x = 1 + 0. Is x at most as big as w?
False
Let u = 1 + -2. Let b = 1.3 + -9.3. Let c = 5 + b. Which is smaller: u or c?
c
Suppose -c - 1 - 4 = -3*k, -5 = 3*k + 4*c. Is k not equal to -0.9?
True
Suppose o - 20 + 21 = 0. Is -28/15 at least o?
False
Suppose 0 = y - a - 20, 0*y = -3*y + 2*a + 56. Which is smaller: y or 17?
y
Let x be (-1*2 - 0)/(-2). Let d = 1 - x. Let f be (-2)/(-5)*(-30)/(-20). Which is greater: d or f?
f
Let o = -11 - -12. Which is smaller: -0.07 or o?
-0.07
Suppose 4 = 3*h - 2. Does h = -2/7?
False
Let i = 0.07 - 0.01. Let c = -1.94 - i. Do c and 0.3 have different values?
True
Let c = -99 + 99.08. Let t = 3.7 - 0.7. Let u = 3.1 - t. Which is greater: c or u?
u
Suppose 0 = -h - 2*h + 9. Let q(f) = f - f + 5*f**2 - h*f**2 + 2*f + 1. Let z be q(-1). Is z < -2/31?
False
Let v be (-126)/(-70)*(-2 + 1). Is v != 0?
True
Suppose -4*g - w - 21 = 2*w, 3 = 3*g - 4*w. Suppose 0 = -m - 0*v - v - 5, m + 5*v + 13 = 0. Let d(c) = -c - 4. Let n be d(m). Which is greater: n or g?
n
Let u be (68/16 - 5)/3. Suppose 15 = -3*g, g + 4 - 3 = -4*i. Suppose 0 = -3*h + i - 4. Are h and u unequal?
True
Let t(y) = -y + 6. Let k be t(2). Which is bigger: k or -3/7?
k
Let z = -1.76 - -1.7. Let p = z + -0.01. Is p greater than or equal to -0.1?
True
Suppose 0 = -3*b + 4*b - 29. Is b greater than 29?
False
Let g = 0.34 + -0.14. Is 1/5 smaller than g?
False
Let n(c) be the first derivative of -c**2 + 8*c + 2. Let u be n(4). Are 5/4 and u non-equal?
True
Let m = 0.01 - -4.99. Let l = m + -4.9. Let a = l + -0.1. Which is smaller: -4 or a?
-4
Let l = -8 - -5. Let z = -8 - -5. Do l and z have the same value?
True
Suppose 19 - 1 = -3*r. Is r not equal to -6?
False
Let b(o) = -o**2 - 10*o + 16. Let f be b(-11). Which is smaller: 6 or f?
f
Suppose 0*c - 8*c + 8 = 0. Does 2/45 = c?
False
Suppose -3 = -3*s - 0. Let l be (2/s)/((-2)/(-4)). Suppose 4*p + 4*b = l, -2*p - 5*b = -7 - 1. Which is greater: -1/6 or p?
-1/6
Let w = 0.011 - 0.111. Which is smaller: w or -10?
-10
Let a = -2039/12 - -170. Which is bigger: a or 1?
1
Let j(v) = -v**2 - 7*v + 10. Let r be j(7). Let o be ((-16)/r)/(2/2). Is 3 greater than o?
True
Let u(p) = 13*p + 13. Let b be u(-3). Which is smaller: b or 2?
b
Let z be ((-16)/(-6))/(8/12). Which is greater: 13 or z?
13
Let l(w) = -w**2 - 8*w - 6. Let p be l(-8). Let o be 1/p + (-2)/4. Suppose 0 = -h - 5*x - 26, -2*h + 7*h + 20 = -3*x. Which is greater: o or h?
o
Let b(o) = -4*o - 5. Let f be b(4). Which is bigger: -22 or f?
f
Let q be (1 - 2)/((-3)/(-9)). Suppose 0 = -2*o - n + 10, -o + 8 = 2*o + 5*n. Let j = q + o. Which is smaller: j or 2?
2
Suppose 3*r = 6*r + 6*r. Which is smaller: r or 5/37?
r
Suppose 27 = -3*r + 4*r - 3*x, r + 5*x = 3. Which is smaller: 17 or r?
17
Let x = 247 + -23958/97. Which is smaller: x or 0?
0
Let p be -2 + 4/(-10)*-5. Suppose p*u = 5*u + 5. Is -1/3 at least as big as u?
True
Let x(j) = j + 1 + 6 - 2*j + 2*j. Let u be x(-4). Is 4 > u?
True
Suppose -3*a = a + 32. Let m(l