 smaller: a or r?
r
Let x = 38 + -268/7. Which is smaller: 1 or x?
x
Let t = 5/277 - -3853/1385. Is 4 at least as big as t?
True
Let v = -16 + 47/3. Let n = 121/21 - 94/7. Let b = 7 + n. Which is smaller: b or v?
b
Let s = 37/19 - 348/247. Let h = -62/91 + s. Which is greater: 0 or h?
0
Let c(q) = 3*q**3 - 2*q - 1. Let o be c(-1). Is o at least -2?
True
Let x(c) = -c**3 + 6*c**2 + 7*c + 2. Suppose 0 = -l + 6*l - w - 89, -2*l = -w - 38. Let r = 24 - l. Let s be x(r). Which is smaller: s or 1?
1
Let u = 57 + -56. Which is smaller: u or 2/41?
2/41
Let a be -4 + (-852)/(-140) + -4. Let z = a + 11/5. Which is greater: 3/7 or z?
3/7
Let o = -0.6 - -2.1. Let s = 1.4 - o. Is s greater than or equal to -1/3?
True
Let l = -38 - -53. Suppose -l = -0*n - n. Let r = n - 44/3. Which is greater: r or -1/3?
r
Let k be 81/15 - 6/15. Which is smaller: k or 4?
4
Let w be (490/6)/(-1 - 11). Let l = 7/236 - 11863/2124. Let o = w - l. Do o and -1 have the same value?
False
Let h = 9/2 - 29/6. Which is greater: h or 1?
1
Let u = -3 - -6. Suppose -5*b = -u*b - 4. Suppose 0 = -b*h + 5 - 3. Is h less than -1/4?
False
Let q(o) be the second derivative of o**3/6 - o**2/2 + 5*o. Let g be q(-8). Is g equal to -8?
False
Let m = -1/137 - -416/685. Which is smaller: m or -3?
-3
Let o be 5/5 - (1 - 1). Suppose 2*y + 58 = 3*y. Let j = -288/5 + y. Which is bigger: o or j?
o
Let k = 0.5 - -0.5. Let q = -0.3 + k. Let a = 0.6 - q. Is 2 >= a?
True
Let d = -0.6 + 0.6. Is d < -0.028?
False
Let t(q) = 2*q + 1. Let b be t(4). Suppose -3*h - b = -s - 2*s, -5*s = -4*h - 16. Which is greater: 1/6 or h?
h
Let c be 21/(-7) + 1*-7. Is c equal to -11?
False
Let w = -3 - -3.1. Let m be (6/(-45))/(104/(-6)). Let c = 263/390 - m. Is c < w?
False
Let s = 76 - 30. Is 46 less than s?
False
Let j = 11 - 4. Let q(m) = m - m**2 + m - 3 - j*m. Let n be q(-4). Is 1 less than n?
False
Let y(v) = -5*v**2 - 3*v + 1. Let x be y(-3). Let w be x/(-28) + 2/(-8). Which is smaller: 1/11 or w?
1/11
Let q = 62 + -63. Which is greater: 21 or q?
21
Suppose 22 = c - m, -5*c - 4*m = -0*m - 65. Let n = -13 + c. Is n bigger than 4?
False
Let g = -6 + 1. Let h = g - -4. Let x be h/2 - 36/(-8). Which is smaller: 5 or x?
x
Suppose -d + i + 46 = -0, 4*i - 194 = -5*d. Let g be ((-6)/(-5))/(d/(-112)). Do -2 and g have the same value?
False
Let n = 4 - 12. Let y be 4/3*4/n. Suppose 0 = -4*u - 4*p - 28, -4*u - 1 = -u - p. Which is smaller: y or u?
u
Let h(j) = -2*j + 3. Let x be h(5). Let z be 2/7 + 2/x. Suppose -2*w - 8 = 2*w. Is w greater than z?
False
Let g(a) = -a + 6. Let r be (45/(-21) - -3)*7. Let f be g(r). Which is greater: -1/6 or f?
f
Let b = -2 - -8. Let f be (-30)/40*4/b. Do -1/2 and f have different values?
False
Let q be (-2)/3 - (-34)/6. Suppose -3*c = -4*z - 23, -2*z = 2*c - 1 - q. Is -2 <= z?
True
Let c be (3/(-28))/((-1)/4). Let r = 64 + -64. Is r bigger than c?
False
Let f = 0.4 + -0.34. Let q = f - -2.94. Which is smaller: q or 1?
1
Suppose -5*f + 15 = 3*g, f - 5*g = -0*g + 31. Suppose -3*j + c - 3 = 0, -f*c + 15 = 2*j - c. Which is smaller: -1 or j?
-1
Let r be 16/(-14) + 4 + -3. Which is smaller: r or 3/7?
r
Suppose 0*q + 4 = q. Let a(j) be the third derivative of j**6/120 - j**5/20 - 5*j**4/24 + j**3 + j**2. Let v be a(q). Are 2 and v equal?
True
Let k = 3/574 + -1361/40754. Which is bigger: k or 0?
0
Let d = 0.7 + 9.3. Let a = d - 7. Let t = a + 0. Is t smaller than 2?
False
Let a = 54.1 + -52. Let u = a - 0.1. Let l = u + 2. Is 2 greater than l?
False
Suppose t + 2*t = -3*f - 9, 0 = 3*f. Let b = t + 5. Let i be (-9)/(-6)*(-2)/(-3). Is b at most as big as i?
False
Let x be 3/2*3*(-88)/(-18). Is 21 at least x?
False
Let l = -398/9 - -44. Let q = 1 + -3. Let d be (q + 1)*0/3. Is l less than d?
True
Let l = -43/2 + 22. Is -5 greater than or equal to l?
False
Suppose -41 - 19 = 5*h. Let f be (h/(-18))/(28/3). Are f and 1 non-equal?
True
Let u = 122/3 - 40. Let h = u - 8/9. Suppose 5*v - 2 - 3 = 0. Is h smaller than v?
True
Let t = 1 - 6. Let b = t + 5. Suppose -2*i + 2*l + 4 = b, 3 = -i - 5*l - 1. Is -0.1 greater than or equal to i?
False
Let a = -10216/11935 + -2/1705. Is -2 less than or equal to a?
True
Let u be 32/(-15)*(-3)/(-2). Let b = 2149/170 - 186/17. Let a = b + u. Which is smaller: -0.2 or a?
a
Let d = -60 + 58. Which is bigger: -4 or d?
d
Let n = 2/39 - 47/156. Suppose 4 = 4*r - 0. Let v = r - n. Is 0 not equal to v?
True
Suppose 2*j + j = 123. Let x = -122/3 + j. Do x and 3 have the same value?
False
Suppose 0*x - 16 = -4*x. Suppose 3*n = 5*c + 4*n - 46, 0 = 2*c + 2*n - 20. Suppose -x*a = -c*a. Is a bigger than -2/11?
True
Let v be (4/25)/((-10)/(-25)). Which is smaller: v or -1?
-1
Let o(r) = 2*r + 4. Let t be o(3). Let w be (12/10)/(4/t). Let c be w/60*(-15)/2. Which is smaller: 1 or c?
c
Suppose -15 = -5*h - 5. Let r be 2 - (-3 + 1 - -1). Suppose -5*l + r + h = 0. Is l at least -2/11?
True
Let b = 0.14 - 0.07. Let w = 3.93 + b. Which is greater: -0.1 or w?
w
Let o = -312392/109 + 2866. Which is bigger: o or 1?
1
Let m = 2 - 0. Let i be ((-23)/(-8) + -3)*m. Let f = -1 - -2. Which is greater: i or f?
f
Suppose 2 - 6 = b, 2*b = 4*c + 36. Which is greater: -7 or c?
-7
Let s be ((-20 - 2) + -3)*24/(-15). Is 40 less than s?
False
Let o be (-9)/15 + (-19)/(-35). Which is bigger: o or -0.1?
o
Let t = 4293/19 + -226. Is t smaller than 1?
True
Let q(j) = -j - 8. Let d be q(-6). Are d and -2 equal?
True
Let b = 38.953 - -0.047. Which is smaller: b or 1/4?
1/4
Suppose 4*c + 0*c + p = 8, c - 23 = 5*p. Suppose -2*z + c = z. Is 0 less than or equal to z?
True
Suppose -4*f - 20 = f. Let o be 40 - f/(4/2). Let l be o/(-24) + 6/8. Is l at most as big as 0.3?
True
Let y = -15 - -21. Let g(t) = t - 7. Let d be g(y). Let h be -1 + 2 + (-8)/6. Which is smaller: h or d?
d
Suppose -3*w + d = -7 - 1, 3*d = 3*w - 12. Suppose -5*f = -w*f + 225. Let q = f + 373/5. Which is smaller: q or 0?
q
Suppose 0 = -v, -5*v = 3*f - v + 3. Is -1 smaller than f?
False
Let c = 19/10 + -7/5. Let t be 1 + -1 + (18 - 16). Which is bigger: c or t?
t
Let u(x) be the second derivative of -x**4/12 - x**3/2 + x**2/2 + 2*x. Let r(s) be the first derivative of u(s). Let z be r(-2). Which is greater: z or 2?
2
Let y = -0.23 + 0.23. Is -3 at least y?
False
Let l be 6/(0 + 6/26). Which is bigger: l or 27?
27
Let b be ((-21)/14)/((-6)/(-14)). Is -5 > b?
False
Let t(r) = r**3 - 5*r**2 + r. Let v be t(5). Let y be ((-70)/8)/v + 1. Which is greater: 0 or y?
0
Let x be (-14)/84 - (-1)/6. Suppose 0*r - 3*r + 3 = x. Is r at most -0.15?
False
Let i = 2 + 3. Let y = -4.04 - -4. Let w = y + 0.04. Which is smaller: w or i?
w
Let n = 64 + -108. Let d be 6/n*4/3. Do d and 1 have the same value?
False
Let u(t) = -t + 4. Let c = -9 - -4. Let v = c + 8. Let r be u(v). Do -1 and r have different values?
True
Let r(s) = s**3 + 3*s**2 - 10*s + 4. Let w be r(-5). Which is greater: 39/8 or w?
39/8
Let q(i) = i**3 + 10*i**2 + 8*i - 3. Let g be q(-9). Let m = -7 + g. Is m greater than 2?
False
Suppose 0*q - 6 = -6*q. Let u be -4 - 6 - (-1 + q). Are u and -10 unequal?
False
Let c = 3 - 5. Let t be 3/(-2 - 7/(-2)). Let x = t + -3. Which is smaller: x or c?
c
Suppose 4*g + 40 - 8 = -3*y, -y + 32 = -4*g. Let j = -5 + -5. Which is bigger: g or j?
g
Let l = -7 - -1. Let k = 3 + l. Let u = 3 + k. Which is greater: 1 or u?
1
Suppose -4*f + 832 = 192. Let c be 2/(-3) - f/(-225). Are -1 and c non-equal?
True
Let d = 12.7 - 12.6. Let m be (39/(-1))/(-3)*-2. Is m != d?
True
Suppose 5*i = -4*j + 4, 0*j = 4*j - i - 28. Let k = j + -3. Let z be k/(-12) - (-1)/4. Is 1/7 equal to z?
False
Suppose -124 + 18 = 2*w. Let c = -478/9 - w. Which is bigger: c or 0?
0
Let c = 13.9 + -14.7. Is -2/3 greater than or equal to c?
True
Let c = 5 - 11. Is -5 not equal to c?
True
Let q = 61/3 - 20. Let p = -5.4 + 7.5. Let z = p - 2. Which is bigger: q or z?
q
Let y be (-15)/(-18)*(8 + -2). Is y at most -1?
False
Suppose -a + 102 = a. Let w be a/(-6) - 1/2. Let v be 1 - ((-9)/3)/w. Which is smaller: 0 or v?
0
Suppose 4*g + 2 = -b - 7, -2*b - 2*g = 0. Let m be -1 + 1 + b + -5. Is m greater than -1/2?
False
Suppose f - 4*f + 15 = 0. Suppose 0 = q - f*q. Is q greater than 0?
False
Let f = 0.85 - 1.05. Which is smaller: -10 or f?
-10
Let s = -1/138 - 199/1104. Which is smaller: 0 or s?
s
Let d be 9/15 +