*d + 10. Let q be (-28)/g - 22/(-121). Suppose -2*r = -0*r. Which is smaller: r or q?
q
Let b = -0.17 + 9.17. Let p = 10 - b. Which is greater: 5/2 or p?
5/2
Let d = -41 - 6. Let x = d + 189/4. Which is smaller: -0.4 or x?
-0.4
Let q be ((-6)/8)/(3/12) + -61. Which is greater: -65 or q?
q
Let r = 198 + -198.2. Let m be 11/(-15) - 1/(-3). Which is greater: r or m?
r
Suppose -5*t = 2*q + 183, t + 3*t + 136 = q. Is t less than -36?
False
Let v be 21/14 + (-57)/6. Which is smaller: v or -20/3?
v
Let t = 0.7 - 2.7. Is t not equal to -6?
True
Suppose -5*h - 1 - 4 = 0. Let k be (-4)/(-18) + (0 - 0). Which is smaller: k or h?
h
Let f(s) = -s**2 - 10*s + 8. Let w be f(-8). Suppose 0 = 5*z + w - 4. Do -5 and z have different values?
True
Suppose 0 = -4*c + 8. Suppose c*a - 3*a = 0. Let i(m) = -m - 2. Let k be i(a). Is k at most -1?
True
Let l(f) = -f + 1. Let t(p) = -p**3 + 8*p**2 + 13*p + 8. Let d(q) = -5*l(q) - t(q). Let z be d(9). Let b be (3/(-12))/(1/z). Which is smaller: 1/2 or b?
1/2
Let c = -2.24 + 2.3. Is 0 bigger than c?
False
Suppose 0*k - 9 = 3*k. Suppose -n + 3 + 2 = 0. Suppose 4*p + 2 = u + 20, 0 = n*u + 3*p - 2. Which is greater: k or u?
u
Let a = -2/27 - 28/351. Suppose 0 = -4*x - 0*x. Which is smaller: x or a?
a
Let p = -16.6 - -16. Is p greater than -1/4?
False
Let s = 11 - 7. Suppose -q + 1 + 24 = s*h, 0 = -5*q - 2*h + 35. Suppose 3*g + 4 = q*g. Is 3 > g?
True
Let r = 0.3 - 0.1. Is r < 0?
False
Let f be 1/20*(-2 - -4). Which is smaller: 0 or f?
0
Let n(f) = -f + 4. Suppose 3*w = 2*w. Let j be n(w). Is 4 >= j?
True
Suppose o = 4*z - 1 - 4, -5*z + 5 = 0. Let r be o/3*(-3)/2. Let n = r - 7/10. Are n and -1 unequal?
True
Suppose 0 = z - 4*p + 14, 19 = -5*z + 3*p - 0*p. Which is greater: z or -5/2?
z
Let w(a) = a**3 - 3*a**2 - 11*a - 1. Let m be w(5). Which is bigger: m or -3?
-3
Suppose -3*y + o = -25, -2*y = 4*o + 4 - 2. Let z = y + -6. Suppose l = -4*d + 12, 4*d = 17 - z. Is l smaller than -4?
False
Suppose 0 = -p - a - 0*a + 6, -2*p + 26 = -5*a. Let v be ((-20)/50)/(p/(-25)). Is v at most 2?
True
Let r be (-3 - 33/(-9))*1/(-11). Which is greater: r or -0.1?
r
Let q be (-3)/(2 - (-98)/(-52)). Let v = q - -15. Is 0 at most v?
False
Let a(z) = -2*z + 12. Let x be a(9). Let b be ((-3)/x)/((-1)/6). Is -2 < b?
False
Let g = -2 - -5. Let d be (0 + (-4)/(-2))/g. Suppose 5*h - 1 - 8 = 3*f, -f - 3 = 3*h. Do d and h have the same value?
False
Let b = 1/284 + -179/426. Let t be 3/(-6)*(-2)/(-12). Let h = t + b. Is h bigger than 8?
False
Let i be (-2)/(-4)*(239 - 1). Let s = i - 271. Let l = s - -1370/9. Which is greater: l or -1?
l
Let i be 64/(-40) - (-2)/1. Let p = -12 + 18. Let l be (-2)/3*(-9)/p. Which is smaller: i or l?
i
Let g be -1 + 3*2/6. Suppose -t = -g*t. Suppose f + 3*l = l - 1, 5*f = l - 27. Which is bigger: f or t?
t
Let w = -5.6 + 0.6. Let p = -1.4 - -9.4. Let m = p + w. Which is smaller: m or -1?
-1
Suppose -3*h - 4*l + 2 + 20 = 0, -h + 4 = -2*l. Suppose h = -3*c + c. Let y be 1/c*12/(-56). Which is smaller: y or 0?
0
Let b = -24 - -56. Suppose 0*p + 4 = -p, b = 5*r - 3*p. Suppose 4*v - 5 = -r*m - 1, -5*v - 7 = m. Is m at most 4?
True
Let r = -0.2 - -0.3. Let x be 39 - 2/(-2) - -2. Let z be (-7)/x + (-14)/(-12). Do r and z have different values?
True
Let v = -9.9 - -9. Do 0.1 and v have the same value?
False
Let q = -12 - -15. Suppose q*o = 4*o + 1. Is o at least as big as 4/11?
False
Suppose -3*c = 4*q - 5, -c - 3 = -2*q - 2*c. Suppose -f = -4*f + 4*r - 6, q*r = 0. Let t = f + 6. Is 4 <= t?
True
Let v(g) = -g**3 + 3*g**2 + 1. Let k be v(3). Let d be ((-6)/8)/((-42)/40). Which is bigger: d or k?
k
Let w = -10.4 - -0.2. Let x = w - -10. Do x and 3 have the same value?
False
Let w = 3 + -1. Suppose -w*d - 5 = 3*d, -5*x + 4*d + 4 = 0. Suppose x = -5*g - i - 4, -4*i - 20 = 4*g + i. Do g and 0 have different values?
False
Suppose 3*w = -5*u + 94, 0*u - 44 = -2*u + 2*w. Which is smaller: u or 21?
u
Let k = 0.07 - 1.05. Let i = k + 0.08. Let n = -0.8 - i. Do n and 0.4 have the same value?
False
Let q = -6.1 + 6. Let z = q - -0.4. Which is greater: 1/2 or z?
1/2
Let q = 44 + -29. Which is smaller: -1/4 or q?
-1/4
Let y be 3/(-9) + (-2 - (-628)/(-6)). Let w = 413341/7 + -58942. Let o = y + w. Is -2 > o?
False
Suppose -3*t = -0*t + 9. Let p be (-1)/(t + 0)*2. Is -9 at most as big as p?
True
Let p = 34 + -24. Is 9 >= p?
False
Let r be (-4)/6 - 4/3. Let l be ((r + 4)/2)/(-1). Is l smaller than 2/11?
True
Let f = -193.3 - -193. Is -34 at most as big as f?
True
Let h = -0.051 + 8.051. Which is smaller: h or 1/2?
1/2
Let c be 3/((-60)/(-5)) + 22/8. Are 4 and c equal?
False
Let o = -11.13 - -0.13. Let j = o - -12. Is -2/3 != j?
True
Suppose 2*s + 5 = 5*b, 4*s + 2*b = 5*b + 11. Suppose 0*j = 3*j + 4*i - 16, 2*j = -s*i + 20. Let r be (1 - j)/((-14)/(-4)). Is 0 not equal to r?
True
Let m be (((-24)/(-9))/(-4))/3. Let s = 3 + -4. Is s < m?
True
Let w = -0.2 + 0.19. Let s = w + 0.41. Let h = -1.4 + s. Is h at most as big as -2?
False
Let z be (4/7)/(4/14). Let r be (-1)/(6/z - -1). Which is smaller: 2 or r?
r
Let w = 5 - -1. Suppose d = -2*d + w. Which is bigger: d or 1?
d
Let n(s) = s**3 - 12*s**2 + 11*s - 17. Let u be n(11). Is u < -15?
True
Suppose 0 = 3*w - 4*w. Let d be 18/81 + 43/(-72). Are d and w non-equal?
True
Let r = 10 + 1. Let o = 17 - r. Let c = -4 + o. Is c > 2?
False
Let g = -1.1 - -9.1. Let j = g + -14. Let y be (4 - (2 - 1)) + -3. Which is smaller: y or j?
j
Suppose 4 = -3*b - b - 4*y, 21 = -b - 5*y. Suppose -4*f + b*d = 0, 5*d = 3*f + f - 3. Which is smaller: -4 or f?
-4
Let t be -1 - ((-75)/39 - -1). Do 0 and t have the same value?
False
Let z(q) = q**2 - 6*q - 5. Let v be z(7). Suppose v*d + l - 24 = 7*d, 2*d = -2*l - 12. Let u be (-5)/((0 - -1) + 0). Is u >= d?
True
Let i = -0.3 + 0.2. Let x = -6.94 + -0.06. Let w = -6.8 - x. Is i >= w?
False
Let r(z) = -3*z**2 - 2*z + 5. Let q be r(-4). Is 1/2 less than q?
False
Let o be 0*(5/(-2) - -3). Is 2 at least o?
True
Let y be 1/2 - (-13)/(-182). Is 1 equal to y?
False
Let r be (-80)/(-36) + 4/(-18). Suppose 3*c - 13 = -2*u, r = 2*u - 2. Is 2 bigger than c?
False
Let i(o) = -o**2 + 6*o - 3. Let z be i(5). Let r be (z - 2)/(-1 + -1). Does r = 0?
True
Let t = 8.3 - 8. Let h = 0 - -0.2. Let f = h - t. Is -0.1 < f?
False
Let f = 1 + 0. Do 1/25 and f have the same value?
False
Suppose 4*p - 2 = -2*k - 0*k, 5*k - 27 = p. Let n(h) = h**2 + 4*h + 1. Let x be n(-4). Let y = p + x. Which is smaller: -3 or y?
-3
Let a = 7 + -3. Suppose -a*o = -5*o. Suppose -4*t - 4*m + 12 = o, 2*m - 4 = -4*t - 2. Which is smaller: -2/7 or t?
t
Let n(u) = -u**2 - 6*u + 2. Let b be n(-6). Suppose 2*t = 3*z - 1, 0*z - 3*z - b = -5*t. Which is smaller: 16/7 or z?
z
Suppose 2*p - 15 = -3*p. Suppose 6 - 18 = -p*y. Suppose k = 5 - y. Is k <= 0.1?
False
Let t = -0.5 - -0.5. Let f be (-1)/(-2) - (-6)/(-28). Does t = f?
False
Let q be 0/(2 + -1 + 1). Let n be 1 + (-3)/(-9)*q. Let b be (n/1)/(-9 + 10). Which is smaller: b or 2/3?
2/3
Let m = -42 - -42.17. Let d = m + -7.17. Let i = 8 + d. Is 1/2 at most as big as i?
True
Suppose -2*r - b + 4*b + 1 = 0, 2*r - 3 = b. Suppose w - 3 = r*w. Let x = 0 + -0.1. Which is bigger: w or x?
x
Let s = 1684 - 3431/2. Let f = -32 - s. Which is smaller: f or -1?
-1
Let p(u) = -u**3 - 9*u**2 - 7*u + 5. Let x be p(-8). Let q = -1 + 0. Let n = x + q. Is 1 > n?
True
Let t(p) = -p**2 + 3*p + 4. Let h = -4 + 6. Let z be (-4 - -6) + h/1. Let r be t(z). Is r greater than or equal to 1?
False
Let s = 15 - 11. Let i be (-6)/(-60)*(-5)/s. Which is bigger: -1 or i?
i
Let w = 3 + -1. Suppose 2*o + 2*p - 106 = -18, 0 = 3*o - w*p - 137. Let i be 3/(-15) - (-14)/o. Is i less than 1?
True
Let u = -0.11 - 11.89. Let x = -12.1 - u. Does -1 = x?
False
Let o = -25 + 27. Let j(t) = -2 + 0*t + 4 - t. Let b be j(o). Is 1/7 bigger than b?
True
Suppose -3*r + 3*p = -12, 3*p - p + 5 = r. Suppose 3*k = r*o - 5 - 7, 0 = 2*k + 8. Do 1/9 and o have different values?
True
Let t = 0.09 - 4.09. Let x = -3 - t. Are -4/5 and x unequal?
True
Suppose 6*i = 19 + 5. Suppose -i*b = -5*b. Is b at most as big as 0?
True
Let w = 2 + -1.92. Let z = w - 0.1. Let y = z - -0.12. Is 1 equal to y?
False
Let o = -146/5 + 29. Let z(d) = d - 2. Let m be z(3). Let p = m + -2. Which is smaller: o or p?
p
Let i(k) = -k**3 + k - 1. Let w be i(