-0.35 - 0.05. Let z = -1.6 + q. Is z at least -1?
False
Let n be (-2)/(-3) - 352/282. Let z = -4/47 + n. Let w = -4 + 3. Which is greater: z or w?
z
Let d(z) = z + 6. Let b be d(-5). Suppose 3 = 4*r - b. Which is smaller: -1/7 or r?
-1/7
Suppose -3*y - 2*y = -3*w - 13, 5*w = -5*y + 5. Let x = -65 + 66. Is x less than w?
False
Let d be (-42)/(-105)*(-10)/158. Which is smaller: d or 0?
d
Let a be -1 - 1/(-1)*4. Let f = a - 1. Let j = -211/7 + 31. Which is bigger: f or j?
f
Let o = -845/11 + 77. Suppose -7 + 3 = -4*l. Let u = l + -1. Which is bigger: o or u?
o
Let i(t) = t**3 - 3*t**2 + 2*t - 2. Let l be i(3). Suppose -5*c + 0*o = o, 19 = -c - l*o. Which is bigger: -1 or c?
c
Let y be ((-385)/80 + 5)*114/9. Which is smaller: 3 or y?
y
Let z = 34 - 103/3. Is z at least as big as 0.3?
False
Let q = 583/7 + -84. Which is smaller: q or -1?
-1
Suppose 28 + 4 = -8*g. Which is smaller: g or -3?
g
Let d be 12/(-10)*105/(-6). Let k = d - 22. Is 1/4 < k?
False
Let k = 19/2 + -129/14. Let s be (-2)/(4/2) - -6. Suppose -4*c - 25 = -5*u, 2*c + u - s = 6*c. Are k and c equal?
False
Suppose -4*d + 4 = -0*d. Which is smaller: 4 or d?
d
Let h = -5 - 1. Let r be (-3)/h*-4 - -2. Is r at most as big as 2/11?
True
Let v be -1 + 2 - 7/4. Suppose -2 = 4*h - 2*h. Is v < h?
False
Let k be 6 + (-92)/8 + 4. Which is smaller: k or 2/27?
k
Let b = -29 + 32. Which is bigger: -8 or b?
b
Let s = -6 + 6.7. Which is smaller: 0 or s?
0
Suppose 0 = 10*f - 19*f - 18. Which is smaller: -4 or f?
-4
Let z = -56421 + 621047/11. Let q = z + -38. Is q at most as big as -1?
False
Let t(p) = -6*p + 83. Let j be t(14). Which is greater: j or 2/31?
2/31
Let y be 24/18 + 280/(-264). Suppose -b + 0*b + 1 = 0. Which is smaller: b or y?
y
Let x = -1.03 + 0.18. Let i = x - 0.15. Which is bigger: 1/3 or i?
1/3
Let v = -0.09 - 4.91. Let b = 3 + v. Let u = 0 + b. Is u > -2/11?
False
Let b be (80/4)/4 - 0. Suppose -4*w - 6 = -b*w. Is w >= 4?
True
Let s be 2/(2/(-14)*2). Let v = 10 + s. Do 3 and v have the same value?
True
Let l(x) = 3*x + 6. Let y be l(-5). Let r be 6/(3/(y/(-2))). Suppose 0 = h + 4*s - 17, -2*s + r = -2*h + 3. Which is smaller: -1 or h?
-1
Let v = -12 + 14. Is 6/5 less than or equal to v?
True
Suppose -c - 2 = 0, 2*d - c + 42 = -2*d. Is -1/2 at most as big as d?
False
Suppose 0 = -2*g + 4*g - 2*i - 8, 3*g - 12 = -5*i. Let b(h) = h**3 + h**2 + 90. Let w be b(0). Let x be (-8)/28 - w/(-21). Are x and g equal?
True
Let o be (-9)/(-2)*(-20)/570. Is 1 at most o?
False
Suppose -100 = 4*z - 9*z. Suppose -4*m - z = 0, 5*m + 35 - 8 = -k. Is k less than or equal to -3?
False
Suppose -3*f - 40 = 4*d, -9*f + 7*f - 29 = 5*d. Is f >= -14?
True
Let w = 23 + -23. Is 2/31 equal to w?
False
Let p = 807/56 + -100/7. Is p bigger than 1?
False
Suppose -2*x = x. Let i(u) = -u**2 + 3*u - 3. Let l be i(2). Let j = l - x. Are -1 and j nonequal?
False
Let m = -2 - -0.9. Let b = -1 - m. Let h = 4.4 - -0.6. Is h at least b?
True
Suppose -5*q + 77 = -23. Which is smaller: 19 or q?
19
Suppose -4*q - 377 = 5*j - 45, -4*q = 3*j + 324. Is -80 not equal to q?
True
Let h = 20 + -11. Suppose 2*q + 3*q - 3*c + 1 = 0, q = 5*c - h. Let a(r) = -r**2 + 2*r + 3. Let f be a(3). Which is greater: f or q?
q
Let u be ((-21)/72)/(3/12). Let l = u + 1. Which is smaller: l or 0?
l
Let s = 496/9 - 55. Let j = s - 5/18. Which is bigger: j or -2?
j
Let t = 5.3 + -4.8. Which is greater: 0.2 or t?
t
Let q(p) = -p + 16. Let j be q(11). Is 6 <= j?
False
Suppose -4*r + 7*r = 12. Let p be (-6)/8 - 78/(-8). Let c = 12 - p. Is r smaller than c?
False
Let x be 2 + -1 + 1 - -1. Suppose 0 = -3*q - 2*q + 10. Is q at most x?
True
Suppose -3*a = -g - 0 + 7, -3*a - 10 = -4*g. Let m be (a/28)/(6/(-18)). Which is smaller: m or 1?
m
Let n = 0.3 + 0.7. Which is smaller: n or -3?
-3
Let b be 6/(0 + -3) + 3 + -39. Is b smaller than -38?
False
Suppose 5*a - 9 + 14 = 0. Is -1/11 <= a?
False
Let h = 138.9 + -133. Let p = 6 - h. Is 0.1 != p?
False
Suppose 7*i - 1 = -2*d + 2*i, -3*i = d - 1. Let r be (4 - 2) + 0 - 5. Which is greater: r or d?
d
Let g = 224/17 + -7908/595. Let h = g + -1/35. Is h equal to 1?
False
Let w be (-4)/(-16) - 4586/(-56). Let g = -82 + w. Which is bigger: g or 1?
1
Let n = -6.06 - -6. Let j = 67 + -135/2. Which is greater: j or n?
n
Let r(c) = c**3 + 0*c**3 - 3 + 3*c**2 - 4*c + 0*c**3. Let f be r(-4). Let n be (1/f)/((-16)/36). Which is greater: n or 2?
2
Let s(w) = -w**2 - w + 2. Let f be s(1). Let k = -4 - -3. Which is smaller: f or k?
k
Let p = 15 + -13. Let q(u) = -7*u - 4. Let r be q(-3). Suppose -4*n - 1 = -r. Which is greater: n or p?
n
Let x(z) = -2*z - 1. Let s be x(0). Are s and -2/23 equal?
False
Suppose -3*f + 3*m - 9 = f, 5*m + 2 = f. Is -7 > f?
False
Let w = -5.1 - -2.1. Are 10 and w equal?
False
Let z be ((-14)/6)/((-2)/6). Let h be 54/10 - ((-105)/25)/7. Which is bigger: h or z?
z
Let o be (6 - 11)*(-1 + -1). Let w be o/(-45) - 44/(-117). Does w = 1?
False
Let x = -75 - -68. Which is smaller: 3 or x?
x
Let u = 1 + 1. Let m(d) = 2*d**2 + 3*d - 4. Let p be m(-3). Let o = p + -3. Is o > u?
False
Let g(q) = -q**3 - q**2 - 5*q + 5. Let u(r) = -r**3 - 2*r**2 - 5*r + 5. Let z(p) = 5*g(p) - 4*u(p). Let j be z(2). Let a = 0.7 - -0.3. Which is smaller: a or j?
j
Let p(f) = f**3 + 7*f**2 + 6*f - 4. Let y be p(-6). Suppose -11 = -4*x + 3*x - 4*m, -x = 2*m - 3. Is y < x?
False
Let x = 0.94 - 1. Let j = x + -0.04. Which is greater: 0.3 or j?
0.3
Suppose 3*v - 31 = y, -3*v + 0*y = 5*y - 7. Let d = v - 7. Are 5/4 and d equal?
False
Let f be (16/112)/(2/(-8)). Which is greater: 4 or f?
4
Let i = 40 - 8. Let x = -46 + i. Let p = -9 - x. Which is greater: -1 or p?
p
Let i be (9/(-6))/(6/(-4)). Is i greater than 1?
False
Let a = 12 - 16. Let x = -4.1 - a. Let j be (0 - 1)*0/3. Which is bigger: j or x?
j
Let j be (-5)/(10/4) - -5. Let l be 2*(-2)/(-4)*-1. Which is smaller: l or j?
l
Let z = -0.21 + -0.69. Let g = z + -11.1. Which is smaller: -0.1 or g?
g
Let c be (-2)/(((-6)/15)/((-7)/(-35))). Is 1/57 greater than c?
False
Let d(b) = b**3 + 2*b**2 + 1. Let o be d(-2). Let k(r) = -2*r - 3. Let a be k(-3). Suppose -a*p - 2 = o. Which is smaller: p or 1/5?
p
Suppose -50 + 14 = -2*k. Let q = k + -13. Let n = 0 + q. Is 1 at most as big as n?
True
Let q be 2/(-3) - (-1)/(-3). Which is bigger: q or -5/8?
-5/8
Let p be -3 - ((-85)/30 - -1). Is p greater than or equal to 0?
False
Let f = -379 - -10235/27. Is f <= -1?
False
Let c be (6/4)/((-6)/(-8)). Let g be (4 - c) + 16/(-10). Is g >= -0.1?
True
Let h = -0.1 - -1.1. Let k be (2 - -6)/(5 - 3). Let a be (k/(-7))/(-3 + 5). Does h = a?
False
Suppose 10 = -4*c + 2. Let u be c/4*(-12)/(-18). Which is smaller: u or 0.5?
u
Suppose -4*x - x - 26 = -3*r, -3*x = 12. Let f be (-5)/35*(-3 + r). Which is smaller: -1 or f?
-1
Let s = 1 + 4. Let m = s + -5. Let w be -2 - (2 + (-99)/24). Which is greater: m or w?
w
Let z = 39 + -39. Which is bigger: -4/37 or z?
z
Suppose -3 = -3*u - 3*d, 5*d = 2*u - 7 - 16. Suppose -25 = 5*a - 5*s, -2*s + 25 = -u*a + 3*s. Let h = 88 + -438/5. Are a and h unequal?
True
Let n be -1 + -3 + -4 + 1. Which is smaller: n or 1?
n
Let m be -3 + 312/(-9)*-3. Let g = -703/7 + m. Which is smaller: 0 or g?
0
Let o(j) = -5 + 1 - 2*j**3 - 5*j**2 - j + j**3. Let a be 2 + -2 + -3 - 2. Let s be o(a). Are s and -1/2 equal?
False
Let k(d) be the first derivative of -d**3/3 + d**2/2 + 2*d + 1. Let s(l) = -l + 8. Let i be s(6). Let c be k(i). Which is greater: -1 or c?
c
Let l(a) = -a + 6. Let v(p) = p + 13. Let m be v(-10). Suppose 4*o = m*o + 7. Let h be l(o). Which is smaller: h or -2?
-2
Let w be 0/((-1)/1*-2). Let l be w/3 + (1 - 0). Let m be 10/12 - 4/6. Is l < m?
False
Let b = 5 + -5. Which is smaller: b or -1/9?
-1/9
Let a = 5 - 5.3. Let b = 0.22 - 0.12. Which is greater: b or a?
b
Let g = -16 - -15. Which is smaller: g or -1/14?
g
Let d be 0 - (-3)/6*4. Suppose -3*l = -x + 2, -3*x + d*l = -0*l - 13. Which is bigger: 4 or x?
x
Let b = 853/5 - 169. Let d be (6/(-9))/(4/(-18)). Which is smaller: b or d?
b
Let p = 9 - 8. Is 2/21 less than p?
True
Let t = 35 + -82. Is t <= -46?
True
Let r = -133 + 400/3. Let m = -0.2 + 0.3. Let p = m + 0.9. Which is smaller: p or r?
r
Let g = -41 + 41.27. Let d = -0.23 - g. Is d at most as big as -1/2?
True
Let b = -109/42 + 17/7. Which is smaller: b or -1?
-1