 be (4/4)/(1 + 0). Which is greater: k or 3?
3
Let y be 3/4*1/3. Which is smaller: y or 109?
y
Let u(t) = 10*t + 1. Let j be u(2). Let h = j + -12. Suppose -h = 2*d - 5*d. Which is bigger: 2 or d?
d
Let g(l) = -l**2 + 10*l + 10. Let h be g(11). Is -3/17 at least h?
True
Let s = 9 + -6. Let f = s - 0. Is 3 at most as big as f?
True
Suppose 3*x - 4*x - 5*s = -2, x + 4*s - 1 = 0. Let q be (x + 3)*(-1 + 2). Which is greater: q or -2/29?
q
Let p(d) = -7*d**2 - d + 5 - d**3 - d - 3*d. Let m be p(-6). Let k be 0 - (2/8)/1. Which is smaller: k or m?
m
Let k(q) = q**3 + 3*q**2 - 2*q + 7. Let j(s) = -s**3 - s**2 + s - 3. Let b(w) = -7*j(w) - 3*k(w). Let f be b(-1). Is f at most -4?
True
Let p(m) = -m**3 - 7*m**2 - 8*m - 7. Let z be p(-6). Suppose -z*j + 3*d - 4 = -5, 3 = -5*j + d. Which is bigger: 0.3 or j?
0.3
Let k = 0.019 + -21.019. Are 1/3 and k equal?
False
Let q = -49797/640 + 389/5. Is 1 less than q?
False
Let f be (0 - 2)/2 + -31. Let v = f - -98/3. Which is smaller: v or 2?
v
Let g = -26 - -2. Let d = g + 35. Let l = d + -9. Which is smaller: -2/9 or l?
-2/9
Let j be ((-36)/8)/(1/2). Let y = 0 - -6. Let k = y + j. Which is smaller: -2 or k?
k
Let l = 19.9 + -16. Let m = l + -4. Is 2 less than or equal to m?
False
Let u(s) = s + 16. Let y be u(-8). Suppose 0 = -q + 2*f + 2*f + y, 5*q = f + 2. Let d be (14/5)/2 - 1. Which is greater: d or q?
d
Let k = -114/5 - -24. Let c = -14 + 15. Is c at most k?
True
Let b be (1 + 1)/(2 - (-27)/(-3)). Is b smaller than -9?
False
Let r be 3*(30/9 + -2). Suppose 4*z - 8 = 0, -r*z + 7 - 1 = -q. Suppose q*t = -t + 3. Are t and 0 unequal?
True
Let h be (-8)/16*(-2)/(-1). Is 1/16 equal to h?
False
Let w = 7 + -6.98. Let n = 0.04 - w. Which is smaller: n or -1/2?
-1/2
Let h be (-3)/(-2) - (-7)/(-14). Let z be (3/4 - 1)/(-2). Which is bigger: h or z?
h
Let g be (-22)/(-77) + 313/7. Let m = g + -181/4. Which is smaller: -0.2 or m?
m
Let t be (-290)/(-35) - 2/7. Let c be 0 - 3*(-1)/t. Is 1 at least c?
True
Let f = -0.8 - -1. Let n be (-50)/(-20)*(-4)/(-35). Which is smaller: n or f?
f
Suppose 0*i - 129 = -4*i - 3*v, 2*i - 3*v = 51. Let f = i + -10. Is f >= 21?
False
Let m = -51 - -51. Do -2/59 and m have different values?
True
Suppose -b - 1 = -2*b. Suppose -5*z - 5*f + 6 = -69, 5*f - 20 = 0. Let k be 2 + -3 + z/7. Does k = b?
False
Let w = -4 - -5. Suppose -w = 3*k - 4. Which is smaller: k or 1/3?
1/3
Suppose 4*y - 5 = -1. Suppose -j + 2*c + 7 = -c, 2*c + y = -3*j. Do -1 and j have the same value?
False
Suppose 0 = 5*r + 5*y - 60, 0 = 6*r - 2*r - y - 33. Let v = r - 3. Let z be (v/2)/3 - -1. Which is smaller: z or 1?
1
Let z = -6 + 7. Suppose q - 5*q - 6 = -2*l, q + 9 = 2*l. Is z at most q?
True
Suppose b - 12 = -2*b. Suppose -3*g + 0*g - 3*s + 15 = 0, b*s = -5*g + 20. Which is smaller: g or 1?
g
Let v(o) = -3*o**2 - 3*o**2 - o**3 + 3*o**2. Let y be v(-3). Is y at most as big as -2/3?
False
Let h(q) = -q - 10. Let k be h(-11). Which is bigger: k or -1?
k
Let l = -3.2 + 3. Let b = -0.1 - l. Let o be ((-4)/(-6))/(8/(-36)). Is o greater than b?
False
Suppose 1 = -5*i - 54. Let m = 5 + i. Let t be (-2)/(-3) - m/(-9). Is t at least 0?
True
Let l be -1*51/(-3) - -1. Suppose -4*j + 0*j - l = 5*f, 4*f - 2*j = -4. Do 0 and f have the same value?
False
Suppose -13 = -5*i - 2*m, 0*m - 2*m = -2*i - 6. Let v be i/6 - (-8)/(-12). Let k be 0 + 0*(-2)/(-6). Which is bigger: k or v?
k
Suppose 16 - 76 = -15*k. Is k greater than 4?
False
Let v = -6 + 4. Which is smaller: -4/7 or v?
v
Suppose -3*z = -5*z - 28. Let u be z/((1 - 1) + -1). Suppose -7 = -d - x - 2*x, u = 4*d + 5*x. Which is bigger: -1 or d?
d
Let g = 6 - 9. Let p be g + 0 + (-6)/(-2). Suppose p = -2*f + 7*f + 10. Are -2 and f non-equal?
False
Let z(d) = -d. Let m be z(0). Let j be (-144)/42 - (-1 + -2). Which is smaller: m or j?
j
Let h = 29 + -28. Is -2/25 greater than h?
False
Let g = -0.1 + 0.3. Let j = 4 + -2.6. Let r = j - 4.4. Is g at least r?
True
Let r = 5/84 - -4/21. Suppose -5*s - 292 = 513. Let y = -1124/7 - s. Which is smaller: y or r?
r
Let g(n) = 4*n**2 - n. Let q be g(1). Which is smaller: q or 6?
q
Let c = 1 - -1. Suppose -4 = -k - c. Suppose 5*n - z - 3 = 0, 0*n + 2*z = 2*n + 2. Which is smaller: n or k?
n
Let n be 1 - (0 - (-148)/140). Let x = 12/35 + n. Let k = 4.05 - 0.05. Which is smaller: x or k?
x
Suppose 2*x - 3*x = -27. Which is greater: 28 or x?
28
Suppose 6 = 5*r - 4. Suppose -o = 2*a + r, a + 3*o = 5*a - 16. Is a at most 3/7?
False
Let w be (-4)/((-36)/345) - -2. Let y = -40 + w. Is 1 less than or equal to y?
False
Suppose 4*a + 15 = -c, -2*a = 2*c - 3*a - 6. Which is smaller: c or 4?
c
Let p(t) = 2*t + 21. Let m be p(-15). Is -10 < m?
True
Let x be 786/(-56) - (1 + -2). Let f = 969 - 6697/7. Let n = x + f. Which is bigger: -2 or n?
n
Let q = -0.4 + -18.6. Let z = q + 21. Let s = 3 - 2. Which is smaller: z or s?
s
Suppose -15 = -2*a - 255. Let n be (-1)/(-6) - 28/a. Which is smaller: n or 0?
0
Let m be (-8)/(-6) - 0 - 2. Let v be 56/(-42) + 2/6. Do v and m have the same value?
False
Suppose 0 = 3*j - 2*q - 5, 0*q - 10 = -3*j + q. Let l be 0 - (0 + (0 - 0)). Suppose l = -5*x - 15, -4*z - j*x = z + 30. Are z and -2 unequal?
True
Let t be 3 - 3/(27/42). Let u = -2 - t. Let g = 0 + -3. Which is smaller: g or u?
g
Let n = -1.06 - -0.46. Let z = -4.48 + 0.08. Let p = n + z. Is -1/3 bigger than p?
True
Let o = 1608259/42 - 38290. Let y = -11/14 - o. Is -4 <= y?
True
Let d(a) = -a**2 - 4*a + 6. Let x be d(-5). Let g(v) = -4*v - 1. Let r be g(x). Does -5 = r?
True
Let g = -256 - -2814/11. Suppose 2*z + 4*o = -14, 0 = -z + 2*o - 0*o + 5. Is z greater than g?
False
Suppose -5*o = -2*h - 155, -o + 5*h = -10 + 2. Let t be (-2)/8 + o/4. Let s(i) = i**2 - 7*i - 5. Let k be s(t). Is 4 equal to k?
False
Let w(s) = -s + 6. Let h be w(4). Suppose 0 = l - h*l - 2*f - 1, 2*l + 3*f = -2. Let q be 2/(-28) + 1/(-2). Is l != q?
True
Let r(i) = -i - 4. Let s be r(-6). Suppose s*k = k. Let c(d) = -d + 3. Let a be c(3). Is a < k?
False
Let p(r) = 2*r**3 - 4*r**2 + 3*r. Let q be p(2). Let g be 14/(-4) + q/12. Is g <= -1?
True
Let f = -9 - -9.9. Is -2 at least f?
False
Let t(n) = -n - 2. Let p be (-5)/(-1)*(-4)/10. Let j be t(p). Which is greater: 1/4 or j?
1/4
Let a = 61 - 12. Suppose 0 = -4*t - 4*y + 27 + a, 3*t + 4*y = 58. Let v be (t/20)/((-12)/(-10)). Which is smaller: v or 1?
v
Let z be 24/(-54)*6/4. Does z = -2?
False
Suppose 0*o - 3*o + 12 = -2*w, w = -5*o + 7. Suppose n = 5*d - 14, -o*n + n = 2*d. Suppose -y = -d*y. Is y bigger than 0?
False
Let r = -0.42 - -0.72. Which is greater: -0.1 or r?
r
Suppose r - 9 = -7. Let o = r - 1. Is 1 not equal to o?
False
Let v(f) = -f**3 + 15*f**2 - 2*f - 9. Let z be v(15). Which is smaller: -37 or z?
z
Let f = 42 + -41. Is -2/31 greater than f?
False
Let w be -1*(-2)/6*-1. Is w smaller than -3?
False
Suppose -11 = -3*a + 4, 0 = 2*f - a + 21. Let c = 6 + f. Is c less than or equal to -2/3?
True
Let v be 1/2*(-8)/(-46). Let q = 51 - 51. Which is smaller: v or q?
q
Let j(x) = -x**2 + 2*x + 4. Let a be j(3). Let w = -53 + 52. Which is greater: w or a?
a
Let y = -1.2 + 0.5. Let a = y - 0.3. Let o = -1.2 - a. Does 0.1 = o?
False
Let y = 118 - 113. Is y less than 3?
False
Let o(g) = -g - 13. Let b be 26/4*(3 - 1). Suppose b = -2*j + 3*a - 15, -4*a = -2*j - 32. Let q be o(j). Which is bigger: q or -2?
-2
Suppose 5*f - 21 = -3*i, f + 2*i + 0*i = 0. Let s be (8/28)/(f/14). Is -2 less than or equal to s?
True
Let y = 0 + -1. Is 2/57 greater than or equal to y?
True
Let r = 41 - 35. Which is smaller: 0 or r?
0
Let f = -1.6 + 2.1. Which is bigger: f or -2/7?
f
Let a(p) = -p**3 - 17*p**2 - p - 16. Let w be 104/(-6) - 3/(-9). Let y be a(w). Is y != 2/17?
True
Let t be (3 - (-96)/92) + -4. Is t less than 1?
True
Suppose -4*s - c = -6, c = 4*c - 6. Let n = 1 - s. Let f = -26 + 24. Which is smaller: n or f?
f
Let d(a) = a**2 + 3*a + 2. Let t be d(-3). Suppose t*m - 4 = 16. Let s be m/(-35) - 4/(-14). Which is smaller: s or 2/3?
s
Let k = 48 + -47. Which is smaller: k or -3?
-3
Let n = 416.07 + -410. Let i = n + -0.07. Let h = i + -11. Which is smaller: 1/2 or h?
h
Let d(x) = 4 - 2*x**2 - 3*x + 9*x + 3*x**2 + 2*x. Let k be d(-7). Is -2 smaller than k?
False
Let j(r) = -5*r**3 + 2*r**2 + r. Let b be j(-1). Is 8 at least as big as b?
True
Let w = -1