2*l + o. Do j and 3 have different values?
False
Let i = 13/126 - 3/14. Let j = -1/18 + i. Suppose 2*s - y = 2, -5*s = -8*y + 3*y - 10. Which is smaller: j or s?
j
Let k = 42 + -41.933. Which is greater: -1 or k?
k
Let g(a) = -a**2 + 6*a + 3. Let h be g(6). Suppose h*d - 4*l - 1 = -7, -10 = 5*d + l. Which is bigger: d or -1?
-1
Let b = 13.2 - 13. Which is smaller: b or -0.3?
-0.3
Let j be (1/(-2) - 0) + (-30)/12. Is j greater than -2/3?
False
Let l = 39 - 15. Which is bigger: 23 or l?
l
Let i be (-1 + -2 - -3)/1. Let c be -1 - (i - (6 - 3)). Suppose -c = z - 7. Does 6 = z?
False
Let p be 3 - 1 - (-5 - -8). Let c be 0 - p - (-18)/(-22). Which is bigger: 1 or c?
1
Suppose -3*w + 9 = 3*y - 4*w, -4*y + 5*w = -12. Suppose h - 3*h + 7 = 5*r, 4*h + 16 = 0. Let j be (-1)/r - 5/y. Are j and 0 equal?
False
Let x be 41/4 + 0 + (-13)/52. Let k be 1/(-1*2/(-22)). Which is bigger: k or x?
k
Let h = 139/1236 + -3/103. Is h at most as big as -1?
False
Let x = -1 + 4. Suppose -x*f - 18 = 3. Is -7 bigger than f?
False
Let p = -100 + 99.83. Which is smaller: p or -2?
-2
Let z be (-1)/((3/(-2))/3). Suppose 5*i + 4 = z*v + v, -v = -i. Let q be i*((-2)/20)/(-1). Which is smaller: q or 2?
q
Let y = -0.007 + 0.017. Which is bigger: y or 0.2?
0.2
Suppose 0 = -j + 3*y - 6, j - 4*y + 8*y - 15 = 0. Let d be 1 + 1 - (0 + -1). Is j equal to d?
True
Let c = 1/488 - 737/2440. Let d = 1/5 - c. Suppose 0*w = -2*w. Is w at least d?
False
Suppose -3*i - 32 = -7*i. Which is smaller: i or 10?
i
Let x(v) be the first derivative of v**2/2 - 6*v - 2. Let i be x(5). Let u be i/(-3 + 48/15). Is u >= -5?
True
Let o be 3/(-1*2/(-12)). Suppose -o = 5*q - 3. Let w be 10/18 + 2/q. Which is bigger: w or 0?
0
Let a be ((-6)/4)/(-9 + 0). Let s = -122 + 122. Which is greater: s or a?
a
Let n be 0 - -2 - (-240)/(-135). Do 0 and n have the same value?
False
Suppose f + 4*a + 12 = -2, -5*a = 4*f + 12. Let m be (-9)/12*1*64. Let l be m/195 - (-2)/(-13). Is l not equal to f?
True
Let f = 17 - 12. Suppose -f*p = -p. Let o = 19/170 + 3/34. Is o bigger than p?
True
Let f = 36 - 27. Suppose f = l - 6. Which is greater: l or 14?
l
Let b be (-13)/(-3) + 5/(-15). Suppose 4 + 4 = b*f. Suppose -f*x = -x. Which is greater: x or -1/3?
x
Let x = 0.4 - 0.5. Let a be ((-4)/8)/(2/576). Let f = a - -1149/8. Which is greater: f or x?
x
Let i = 8/13 + -14/65. Are i and -2/7 equal?
False
Suppose 0*p = p - 18. Let g be (-4)/p + 14/63. Are -1 and g non-equal?
True
Let q = -6 - -23. Which is smaller: 18 or q?
q
Suppose -28 = -5*b + 2*n + 5, 0 = -b - 2*n + 9. Which is smaller: b or 20/3?
20/3
Let u(d) = d + 9. Let p be u(-5). Suppose -5*z + p*r + 20 = -z, 2*r + 9 = z. Which is smaller: z or 1/6?
1/6
Suppose -4*i + 16 = 4*y, -y + 6 = -0*i + 2*i. Does -2/31 = y?
False
Let u = 1.7 + -0.7. Let z = -10 - -9.79. Let j = z - -0.01. Which is smaller: j or u?
j
Suppose 4*v - 43 + 11 = 0. Suppose -4*m + v = t + 3*t, -2*m = 4*t - 8. Is m != -1/3?
True
Suppose 0 = -3*g + v + 13, g + 3*g + 4*v - 28 = 0. Suppose 4 = 8*p - 4*p, -m = 2*p - 5. Which is smaller: m or g?
m
Let p = -0.48 - -0.38. Which is greater: 3 or p?
3
Let j = 11 + -19. Let t be -6 - ((-2)/(-4))/(3/6). Is t != j?
True
Let r = -0.08 - -1.03. Let t = r + 0.05. Do t and 2 have the same value?
False
Let y be (1 - 1)/(1 - 2). Let p be (-60)/250*10/(-6). Is y greater than p?
False
Let r be 18/30 - (-3)/(-5). Which is smaller: r or 2/19?
r
Suppose 6*a - 3*a = 0. Which is bigger: a or -2?
a
Let o be (-40)/(-480)*(-8)/3. Which is greater: 7 or o?
7
Let l = -15 - -167/11. Let d be 10/6 + (-2)/(-6). Let c be (3/d)/(27/12). Is c smaller than l?
False
Let l be ((-2)/(-3) + -1)/(29/6). Which is greater: l or 0.1?
0.1
Suppose j = 2*m - 2, -m + j + 3 = -0*j. Are -3 and m unequal?
True
Let j(n) = n**2 + 17*n + 16. Suppose -3*a - 28 = 20. Let t be j(a). Which is bigger: t or 1/4?
1/4
Suppose -4*m = -13 + 1. Let c be (m - -1) + 18/(-5). Which is smaller: c or 1?
c
Let v = 2.37 - -0.63. Is v < -2/13?
False
Let l = 165 - 165.97. Let j = 0.03 - l. Let m = 0.1 - 0. Is m >= j?
False
Suppose 2*k - 6*k = 3*n - 82, -36 = -2*k - 4*n. Does k = 22?
True
Suppose 0 = 5*g - 18 + 3. Let t be (g - 13)*6/(-10). Let z = t - 7. Does 1/4 = z?
False
Let l = -10 - -11. Let i be l/(-4) + (-81)/12. Is -8 greater than i?
False
Let y = 11 + -15. Let c = 2 + y. Which is smaller: -2/7 or c?
c
Suppose -u + 1 = -v - 1, 3*u - 18 = 5*v. Let x(j) = -j**3 - 7*j**2 - 6*j. Let z be x(v). Which is bigger: z or -1/8?
z
Let n = -0.13 - -0.4. Let v = -0.17 + n. Is 0 > v?
False
Let t = -5 + 13. Which is smaller: 9 or t?
t
Let g = 7912 - 672534/85. Let s = g - 4/17. Let a(k) = -k**3 - 5*k**2 - k - 2. Let d be a(-5). Is s greater than or equal to d?
False
Let b = 4 - 26. Let x = b + 37. Suppose -2*r = o + 3, -r - 7*o - x = -2*o. Is r != -5?
True
Let p be (-2)/(-5) + 280/(-450). Suppose 5*h - 3*h + 4 = 0. Let k = -3 - h. Which is smaller: k or p?
k
Let r = 0 - -4. Let y be (1 - (0 - 0)) + 1. Is y greater than or equal to r?
False
Let i(f) = f**2 - 7*f - 2. Let p be i(7). Let o(r) = 9*r + 1. Let g be o(1). Suppose 3*c + 4 = 5*w, 0 = -5*w - 2*c - 1 - g. Is w equal to p?
False
Let t = -1 - -1. Let d = -0.54 + -0.06. Let j = -0.4 - d. Is t > j?
False
Let b be 2 + 31/((-2)/(-2)). Suppose o = -4*o + 4*l, -2*o - b = 5*l. Are -4 and o non-equal?
False
Let c(f) = -2*f - 26. Let k be c(-12). Let s be (-6 - -3)*(-2)/(-7). Is s not equal to k?
True
Suppose 4*t + 12 = 5*t. Which is smaller: t or -2?
-2
Let i = 289 + -289. Suppose -4 = -4*r, 3*f - 146 = r + 186. Let v be (-4)/18 + f/135. Which is smaller: v or i?
i
Suppose 4*l - 13 = 7. Suppose 27*r - 31*r + 24 = 0. Is l greater than r?
False
Let s(q) = -q**2 + 1. Let b be s(-1). Let o = 157447811/620921 + 2/88703. Let v = -253 + o. Is v at most as big as b?
False
Let f = -55 + 54.63. Let z = f - 0.03. Let u be (2/4)/(-1 - -3). Is z at most u?
True
Let w(h) = -h**3 - 13*h**2 - 12*h + 26. Let v be w(-12). Is v at least -0.2?
True
Let a = -1994/3 - -87673/132. Let z = a + 213/308. Which is smaller: -0.2 or z?
-0.2
Let h = 454 + -7723/17. Is 1 at least as big as h?
True
Suppose 3*l + 14 = 5. Let o be 1 - (4 + (-6)/3). Let a = l + o. Are a and -1 equal?
False
Suppose 3*s - 2*s + 5*k - 6 = 0, 5*s = -2*k + 122. Suppose -i - 12 = i + 2*o, i + 5*o + s = 0. Is i > -2?
True
Let d(v) = -v**2 + 4*v + 4. Let t be d(5). Let f be t + 2 + 3 + -3. Is 3/2 >= f?
True
Let q = -1/122 - -859/610. Is 1/4 at least q?
False
Let n = 24 + 4. Suppose 3*p - 5*t - 31 - n = 0, -4*t = 4*p - 36. Is p at least 14?
False
Let c be 7*2/28*4. Let p(y) = -y**3 - 3*y**2 + 4*y + 3. Let h be p(-4). Suppose g = -h*g + 8. Do g and c have different values?
False
Let c = -10 + 13. Let h = c + -3. Which is bigger: 1 or h?
1
Let l be ((-2)/(-2))/12*-1. Let v(f) = f**3 + 4*f**2 + 2*f. Let w be v(-3). Suppose k + w = 4. Which is greater: l or k?
k
Suppose -4*p + 0 = -2*y + 10, -2*y = p - 15. Which is smaller: y or 5?
5
Suppose -1 = -2*f - 17. Which is smaller: f or -2/5?
f
Let r(l) = -l**2 + 6*l + 2. Let u be r(6). Suppose 2*q + 0*x - u*x - 4 = 0, -26 = 5*q + 4*x. Let c be 0 + (q - 12/(-9)). Is c less than -1?
False
Let z be ((-10)/8)/(1/4). Let h be (1 - 3) + (-4 - -1). Is h greater than or equal to z?
True
Suppose 19 = d - i, 3*d + d = 5*i + 77. Let w be (-3)/d*4/5. Which is bigger: w or 0?
0
Let h(d) = d + 1. Let b be h(1). Is 9/17 > b?
False
Suppose 4 = -2*u - 2*u. Let a be ((-1)/(-3))/(u/(-9)). Let v = 12 + -9. Is v greater than or equal to a?
True
Let k = 134.08 + -137. Let i = k + -0.08. Let b = -4 - i. Which is greater: -0.1 or b?
-0.1
Let p = 2 + -2. Let f = 5.9 + -5. Let s = f - 1. Which is smaller: p or s?
s
Let m = -404/29919 + 729470087/1107003. Let z = 659 - m. Which is smaller: 1 or z?
z
Let k = 3058/7 - 436. Suppose 4*r + 6 = -s + 2*r, -3*r - 18 = -3*s. Is k >= s?
False
Let d be (-2 + 3)/((-5)/2). Let r be (6/20)/((-15)/20). Is d at least r?
True
Let f(b) = b**2 + 2*b - 4. Let i be f(3). Suppose -27 = 5*d - 72. Let x = d - i. Which is smaller: x or -3?
-3
Let b = -2 - 2. Let c be (-17)/5 + b/(-10). Let s = 2 + -4. Which is bigger: c or s?
s
Let p(z) = z**3 - 3*z**2 - 6*z + 3. Let v = 9 - 5. Let g be p(v). Let k be 1 + 7 - g/(-5). Which is greater: 6 or k?
k
Let q(f) = f**2 + 2*f - 4. Let h be q(-4). Suppose h*m = -6*x + x -