have the same value?
False
Let m be 60/525 + (-6)/15. Which is smaller: -2/965 or m?
m
Suppose g + 2*v - 8 = 0, 2*g = 4*v + 9 + 23. Let m be -2 + -8 + g/(4 - 1). Which is smaller: m or -4?
m
Let u = 0.23 - 0.63. Let a = 0.25 + u. Let k = a - -0.05. Is -0.16 bigger than k?
False
Suppose 3*b - 2*h - 15 = 0, -b + 0*h + h = -5. Suppose -b*c = -10*c - 55. Suppose 0 = 74*s + 16*s + 20 + 1060. Which is bigger: s or c?
c
Let y be -1*1*(-15 + (9 - -6)). Are -5/41 and y nonequal?
True
Let v = -1 + 0. Let c = 193/6 - 319/10. Which is smaller: v or c?
v
Let s be 9/6*(-8)/30. Let r be 6/4*(-1010)/(-15). Let j = r + -809/8. Which is smaller: j or s?
s
Let o be (1 - 1) + 2/6. Suppose -25 = -2*i + 4*r - 43, 0 = -2*i - r + 7. Are i and o equal?
False
Let s = 11.25 - 11.35. Which is bigger: -0.0357 or s?
-0.0357
Let s(g) = -g**2 - 6*g - 2. Let o be s(-5). Let c = -160/3 - -337/6. Let j = o - c. Which is smaller: j or 1?
j
Let b = 8 + -49. Suppose 29*w - 69*w - 785 = 895. Which is bigger: w or b?
b
Suppose 2*w = 3*l - 22, -3*w = 2*l + 47 - 14. Which is greater: -41/4 or w?
-41/4
Let d = -3 + 3. Let r(c) be the second derivative of c**3/6 + 3*c**2 + 8*c. Let s be r(d). Which is smaller: 0 or s?
0
Let l(u) = -34*u - 576. Let o be l(-17). Is -726 at most o?
True
Let v = -20 + 20. Suppose v = -3*j + 2*o - 10, 0 = 4*j - 2*o - 2 + 14. Let s be 0/(2 + j + -2). Does s = -4/9?
False
Suppose -2*o = -6*o + 180. Suppose 0 = 5*t + 25, 0*t = -n + 3*t + o. Let l be 3/2 - 33/n. Which is smaller: l or -6/11?
-6/11
Suppose -3*u + 209 = 5*g, 4*g - 276 = -4*u - 0*u. Suppose w + w - 32 = -2*f, 5*w + f - u = 0. Are 68/5 and w equal?
False
Let c(f) = -f**2 - 7*f**2 + 6*f - 31 + 3*f**2 + f**3 - 7*f. Let s be c(6). Which is bigger: s or -30/17?
s
Let i = -130 + 130. Is i > -6/451?
True
Let q be (-3)/(-1)*(-18)/16659. Which is smaller: -1 or q?
-1
Suppose -20 = -6*o - 8. Suppose o*u + 30 = -2*g - 20, -65 = 3*u + g. Is -19 equal to u?
False
Let s(y) = -y**3 - 8*y**2 + 3*y + 65. Let o be s(-7). Are o and -3 unequal?
True
Suppose 13*o = 11*o + 18. Suppose 4*k - 25 = 7. Which is greater: o or k?
o
Let h(p) = -p**3 - 36*p**2 + 5*p - 100. Let w be h(-36). Is -280 at least w?
True
Suppose -62*h = -60*h. Let j(d) = d. Let o be j(0). Is h smaller than o?
False
Let k = -41 - -32. Let r = 32 - 20. Let c = r + -22. Is k < c?
False
Let o(q) = -11*q + 17. Let g(m) = -5*m + 8. Let t(c) = -13*g(c) + 6*o(c). Let v = -35 + 40. Let y be t(v). Which is smaller: -8 or y?
-8
Let c be ((-9)/12)/((-1)/12). Suppose c = 2*p + 25. Let q be 2*(28/p + 3). Which is smaller: -2/3 or q?
q
Let m = 348 - 522. Is m >= -176?
True
Let s = 205004/98187 - 4/4269. Which is smaller: s or 1?
1
Suppose 3*y + 36 = 4*y. Let a be y/16 + (-2)/8. Which is smaller: a or 2/3?
2/3
Suppose 4*u = -u + 15. Suppose -5*i - 3 = -4*l, 4*i - 17 = u. Suppose 0 = -2*r + l*r - 30. Is 6 at least as big as r?
True
Let s = 4/25 - -1/25. Let w = 20.72 + -20. Let n = w + 0.28. Do s and n have the same value?
False
Suppose -3*a = 3*t, 4*t - 2 = 2*a + 5*t. Let x be a*2/((-36)/(-15)). Is x bigger than -2?
True
Let a = 17 + -8. Let d be ((-3)/(-6))/(1/20*1/1). Which is smaller: a or d?
a
Let k be (-14)/54*-3*-127. Let j = -99 - k. Suppose -7*p + 12*p = 0. Do p and j have the same value?
False
Suppose 4 = -4*m - 0*m. Suppose 13*r + 280 = -22*r. Let i be m/((-1)/3) + r. Which is greater: -7 or i?
i
Let p = 0 - 7. Let c = -7.1 - p. Let g be (-4)/(-16) - 15/28. Which is smaller: c or g?
g
Suppose a + 0 = -2, -3*h - 38 = 4*a. Let k be (-2)/(-5) - 2/h. Let c = -4/5 + k. Which is smaller: c or -1?
-1
Suppose 10*o - 24 = 6*o. Let v be (-1)/(-3)*o + 198/(-98). Which is bigger: 0 or v?
0
Suppose -315 = -17*u + 25. Which is bigger: 31 or u?
31
Let u(m) = 2*m + 3. Let b be u(-4). Let d = b - -9. Suppose 3*c - 2*c - d = 0. Is 5 less than or equal to c?
False
Let z be 6*(-7 + 30200/4314). Is -1 at most as big as z?
True
Let p be -28 - -28 - ((-1)/1 + 0). Which is greater: -67/5 or p?
p
Suppose 2*o + 140 = 5*r, 5*o - 84 = -4*r + r. Suppose 0 = -3*u + 2*s - s + 9, u = 5*s + 3. Let p be (r/(-147))/(2/u). Which is smaller: 5 or p?
p
Suppose -5*r = 3 - 13. Suppose r*h + 84 = 6*h. Let s = h - 20. Which is smaller: s or 2/3?
2/3
Let g(f) = -f**2 + 5*f - 3. Let n be g(2). Let o be n/5 + 306/90. Suppose 4*y + o*i = 2 + 6, y - 8 = 2*i. Is 4 >= y?
True
Let u be 8/6*3 + 7. Suppose 5*q + 8 = -3*j + 1, 3*q - 5*j = -u. Let s = q + -2. Which is bigger: s or -3?
-3
Let w be 0 + ((-8)/6 - -1). Suppose -4*t + m = 3*m - 22, -3*t + 15 = m. Let y be 12/36*6/t. Which is smaller: y or w?
w
Let r(d) = -d - 112. Let h be r(0). Let j = h + 112. Let u = 31/6 + -17/3. Is j bigger than u?
True
Let b = -63254 - -949879/15. Let p = 71 - b. Is p bigger than 0?
False
Let o(q) = -4 - 14*q - 1 + 4*q - q**2. Let j be o(-8). Suppose j = 4*x + 2*z + 1, 6 = x + 4*z. Is 2 at least as big as x?
True
Let d(o) = o**3 + o**2 + 1. Let m be d(-1). Let a = 73/14 - 5. Do a and m have different values?
True
Let g = 402 + -403. Which is smaller: g or 4?
g
Suppose 9 = x + 7. Suppose 2*j + 22 = -3*u, x*j - 4*u = -5*u - 14. Which is bigger: -6 or j?
j
Let r = -6 - -9. Suppose 5*o - 4*q - 13 + 5 = 0, o - 4*q = -8. Suppose o*a = 3*d + 20, r*a - 6*a + 26 = -5*d. Which is smaller: 0 or a?
0
Suppose 0 = v + 5 - 2. Let c be v/3*-7*-1. Let i be -1*5 - (c + 8). Is i <= -7?
False
Let u = 0 + 3. Let i = -7 - -8. Which is smaller: i or u?
i
Let r = 464 + -505. Which is bigger: r or -35?
-35
Suppose -2*o - 2*u = 4, 2*u = 2*o + 43 - 39. Is o bigger than -105?
True
Let w be (3 - 0/(-1)) + 4160/(-8). Which is smaller: w or -516?
w
Suppose -1 = 3*c + 2. Let w be -4 + (3 - -15) + 2. Suppose -u + w = 3*u. Are c and u equal?
False
Let t(f) = -8*f + 16. Let d be t(-2). Let a = d - -12. Is a not equal to 43?
True
Let p be (4 - (8 - 3))/(114/12). Which is smaller: p or -2/21?
p
Let x = -30/91 + 4/91. Let r = 0.03 + -0.05. Which is smaller: x or r?
x
Suppose 25 = -5*n + 15. Let d(q) = -q**3 + 3*q**2 - q - 2. Suppose 0*z + 2 = -z - 5*h, -z - 2*h + 1 = 0. Let u be d(z). Is n at least as big as u?
True
Let x = 14 - 10. Suppose 3*i + 2*i = -2*z + 10, -x*z = i - 20. Are i and 2/53 equal?
False
Suppose -191*c - 35070 = -212*c. Which is greater: 1669 or c?
c
Let k = 182 + 72. Is k at least 254?
True
Let o be (-77)/66*9/(-14). Let c be (-3 - -5) + (-174)/70. Let q = c + 2/7. Which is smaller: o or q?
q
Suppose 6*b - 225 = 33. Let m = b + -53. Let n = 0.1 - -0.9. Are m and n nonequal?
True
Let m(l) = -l - 4. Let q be m(5). Suppose 4*w - 58 = -170. Let s be (-3 - -2)/(136/w - -5). Are s and q equal?
False
Let m = 5 + -5. Let l = -72 + 72.1. Which is smaller: m or l?
m
Let f = -85/28 - -11/4. Suppose 39 + 6 = 5*w. Suppose -j - w = l + l, -5*j = -5*l. Which is bigger: l or f?
f
Let h be 71960/336 - 8/(-6). Which is smaller: 216 or h?
h
Suppose -4*d + 22 = 14. Let x be 21/(-14)*d/(-33). Is x > 1?
False
Let x be 15/3 + -1*1. Suppose 4 = -y + 5*y - x*l, -4*y + 2 = -5*l. Suppose -y = 5*f - 8*f. Is f <= -1?
False
Suppose -3*t = 5*c - 3*c - 12, -2*t = 5*c - 8. Let q(z) = 4*z - 39. Let h be q(10). Is h greater than c?
True
Let m = 108.1 + -108. Is m not equal to -3/5?
True
Suppose 25 = 32*p - 27*p. Let f(c) = -c**2 + 9*c - 11. Let v be f(8). Let l be (p + 4 + v)/(-1). Which is smaller: l or -7?
-7
Let v be 10*-2*(-4)/20. Suppose 60 = -v*s - s. Let i = s - -13. Is -5/3 at most i?
True
Let f(c) = c**3 - 8*c**2 + 10*c + 20. Let n be f(6). Is -3 smaller than n?
True
Let j be (-87)/27 - 2/(-9). Let f be 100/36 + -2 + -1. Which is smaller: f or j?
j
Let z = 3.84 + -1.84. Do 30 and z have different values?
True
Let r(v) = 2*v + 1. Let b(o) = o**2 - 5*o + 5. Let i be b(4). Let u be r(i). Let q be 1 - 0*u/(-6). Which is smaller: q or -1/11?
-1/11
Suppose 4*a + x + 2*x = 5, x - 5 = -2*a. Let s be (-44 - -40) + (1 + -1 - -5). Is a > s?
True
Suppose 0 = x - 4*x - 18. Let l = -3 - x. Suppose 2*o - 3*o - 17 = 4*v, l*o - v - 1 = 0. Which is bigger: -4 or o?
o
Let m = 144 - 149.95. Let r = 0.6 - 0.55. Let v = r - m. Which is greater: v or 1/4?
v
Let v = -71 - -102. Let y = -36 + v. Do -2 and y have the same value?
False
Let l be ((-906)/(-8))/(1/4). Let f = l + -887/2. Is 9 equal to f?
False
Suppose 2*r = 3*p + 39 - 47, -3*p + 2 = 4*r. Let a be (-7)/4 - 2/8. Do p and a have t