uppose 15*o = 11*o - 108. Let g = -0.2 + 0.1. Is g > o?
True
Let t be (-2)/(-16)*4*2. Let m be (8 - 7)*t*-1. Let x = 120/13 + -9. Which is smaller: m or x?
m
Let l = 71 - 52. Let u = 15 - 16. Which is smaller: u or l?
u
Suppose 3*g + 88 = -5*g. Let s = g - -22. Suppose -5*b - s + 41 = 0. Are b and -2 non-equal?
True
Let c be (-12)/60 + (-2)/(-10). Let n(m) = m**3 + m**2 - 3*m - 3. Let t be n(-2). Which is smaller: c or t?
t
Suppose -467*d + 180 = -957*d + 475*d. Suppose -4*i + 3*i = 11. Does i = d?
False
Let z = -87 + 51. Let t = 99 + z. Let c be 3*-1 + 329/t. Which is bigger: c or 3?
3
Let n = 6 - 7. Let j be (-1496)/4587 - n/3. Let h = j + -167/3892. Is 0 <= h?
False
Suppose 5*c + 16 = 9*c. Suppose -c*b + 2*b = 20. Suppose -2*n - 7 = 13. Does n = b?
True
Let a = -1051 - -13037/12. Let t = a - 191/4. Which is smaller: t or -11?
t
Suppose -4*w + 0 = -12, -4*y - 34 = 2*w. Let q = y - -3. Let b(u) = u. Let d be b(q). Are -5 and d nonequal?
True
Let x be 91/(-39)*-3 - (-1)/((-3)/9). Suppose -2*n + 2 = -0*n. Which is smaller: x or n?
n
Let c = 272 - 1215. Which is smaller: c or 1?
c
Let a = 28 + 3. Which is smaller: a or 0.1?
0.1
Let d = -3 + 6. Let l = -892 - -1316. Let i = l + -7210/17. Is i < d?
True
Suppose 3*i - 74 + 50 = 0. Suppose -k - i = -3*k + 4*a, -k + a = -3. Suppose -3*d - g + 6 = k*g, 4*d = -2*g + 14. Which is smaller: d or 3?
3
Let j(a) be the second derivative of -5*a**3/6 + 19*a**2/2 + 4*a. Let u be j(8). Are -21 and u equal?
True
Let w = 15.5 + 3.6. Let b = w - -3.9. Let u = 23 - b. Which is smaller: u or 1.5?
u
Let k(u) = -u**2 + u. Let f be k(1). Let c be -7 - (f/(-4) - -2). Let l = 10 + c. Which is smaller: l or 1/15?
1/15
Let v be -5 - (5 + 411/(-42)). Let k = 82/399 + v. Which is greater: k or 0?
0
Let f = 31.65 + -32. Let d = f - -0.35. Do 25 and d have different values?
True
Let k = -569 + 528. Is k >= -42?
True
Let s = 1442 + -1442.2. Is -9/50 at least as big as s?
True
Let c be -8*(26/(-8) + 2). Suppose -5*a + 2 = -2*r - 0, -5*r + a = -18. Suppose 2*t - 14 = r*s, -s - 4*s + 21 = t. Is t greater than c?
True
Let q = 1129/30 + -189/5. Suppose 5 = 5*b - 4*p - 6, 5 = 3*b - 2*p. Which is greater: b or q?
q
Suppose 0*s + 4*s + 16 = 0. Let m = 12 + -17. Is m equal to s?
False
Let i = 2/6867 + -1229201/27468. Is 0 equal to i?
False
Let o be ((-12)/9)/(5122/3). Do o and 0 have the same value?
False
Suppose -3*d - 5*f - 6 = -1, -3*d = 4*f + 1. Suppose d*g - 12 + 7 = 0. Which is smaller: g or -2/11?
-2/11
Let y = -343 + 342. Is y > 2/1147?
False
Suppose 15 = -2*f + 3*r - 462, -2*f = -4*r + 480. Is f less than or equal to -234?
True
Suppose -5*c + 222 + 178 = 0. Let a be (16/(-6))/(5/c). Let z = -42 - a. Which is bigger: 1 or z?
1
Suppose 114 + 16 = 2*s + j, 3*s - 169 = 5*j. Which is greater: 64 or s?
64
Let y be -8 - -7 - -4 - 92/(-5). Is 21 not equal to y?
True
Let p = 0.054 + 10.946. Let h = p + -4. Is h smaller than 1/4?
False
Suppose -3*q = 8*q + 187. Which is smaller: -84/5 or q?
q
Suppose k = 2*k + 179. Let t = k + 2149/12. Let m = -125 + 126. Which is bigger: t or m?
m
Let h = -165 - -159. Is h <= 67?
True
Let j = 4 + -3. Let c be j + -4 - (-33)/9. Let s = 141 - 141. Which is smaller: s or c?
s
Let t = -1.6 - 0.4. Let p = -0.696 - -0.096. Which is greater: t or p?
p
Let x(m) = 2*m - 3*m**2 + 0*m**2 - 3*m**2 - m**2 - 1. Let t be x(1). Which is smaller: t or 0.1?
t
Let q = -232 + 257.8. Let n = q + -26. Is 6 bigger than n?
True
Suppose 0 = 4*w - 3*w - 2. Suppose w*s = -7 + 9. Are s and 20/9 equal?
False
Let q = -850 + 850.1. Which is smaller: q or -2?
-2
Suppose i - 4*w = -i - 270, 123 = -i - w. Which is smaller: -128 or i?
-128
Suppose -5*h + 5 = 5*l, -38 = 3*l - 50. Let k = 247/6 + -43. Which is smaller: h or k?
h
Let u = 697 - 618. Which is smaller: 67 or u?
67
Let u = 57.8 - -21.2. Which is greater: u or 2?
u
Suppose 64*j = 57*j - 658. Is -94 at most as big as j?
True
Let t be (4/(8/2))/(3/30). Let v be 40/500*3/((-6)/t). Let h = 85/4 - 21. Which is smaller: h or v?
v
Let q be ((-9)/(-5))/3*5. Suppose 0 = -q*g + 14 - 5. Suppose s + 4 = -g*s. Which is smaller: s or -3/7?
s
Let q be (-2)/(30/9)*(-120)/228. Which is greater: q or 1?
1
Let x = -9.1 + 9. Let i = -2.9 + x. Is -0.7 greater than or equal to i?
True
Let t = -24 - -84. Suppose 0 = -5*u + 20, t = -3*x - 0*u + 3*u. Let r = x - -8. Is -7 not equal to r?
True
Let l = 78 + -76. Let c be 4/(-6) + 30/45. Which is bigger: l or c?
l
Suppose -2*v - 62 = -4*v. Suppose -11 + v = 4*t. Let u be 3/135 + t/25. Which is smaller: u or -0.3?
-0.3
Suppose 4*h = 16, v + 3*h = -0*v + 531. Is 519 equal to v?
True
Let j = 3953 + -4037. Suppose -4*q - 342 = -3*n, -5*n + 8 = -2. Is j equal to q?
True
Let l = -0.0244 - -1.0244. Is l > 15/19?
True
Let r be 11/22 + (-1)/2. Suppose 5*y + 5*t = -25, r = y - 3*t + 5 - 16. Let a be (2/5)/(24/25). Is a <= y?
False
Let g(n) = -5*n + 16. Let d(k) = 6*k - 17. Let v(b) = -3*d(b) - 4*g(b). Let y(c) = -c - 1. Let x(j) = v(j) + y(j). Let m be x(14). Is 1/2 > m?
True
Suppose b - t + 5*t - 59 = 0, -3*b - 4*t + 153 = 0. Suppose -530 = -9*v - 116. Which is smaller: b or v?
v
Let c = 5 + -2. Let o = -49 + 28. Let a = o - -25. Is c smaller than a?
True
Let b(w) = 5*w - 4. Let r be b(1). Which is smaller: -11 or r?
-11
Let b = -0.079 + 1.379. Let s = 1.7 - b. Is -0.13 at most as big as s?
True
Suppose 0 = -7*b + 4*b - 33. Let m be (-12 - b) + (-6)/8. Do m and -3 have different values?
True
Let j = 512 - 22020/43. Which is smaller: j or 1?
j
Let k = 2 - 4. Let w = k - -2.1. Let t = 265/8 + -33. Which is greater: t or w?
t
Let p be 4/(25/(-20) + 2)*3. Do 8 and p have the same value?
False
Let a = 4 + -2. Let x = 6.3 - -1.7. Let p = x - 8.2. Which is bigger: p or a?
a
Let p(a) = a**2 + 11*a + 5. Let m be p(-5). Let q = 14 + m. Is q greater than or equal to -11?
True
Let m be (-3171)/(-14)*4/6. Which is smaller: m or 150?
150
Let x be (-501)/(45/(-36) + 1). Which is greater: 2003 or x?
x
Let b = 0.18 - 0.54. Let z be 2/(-3)*((-405)/120)/(-9). Which is smaller: b or z?
b
Let n = -2212/5 - -37607/85. Which is greater: 1 or n?
1
Let y(s) = 5*s + 2. Let m(h) = h - 4. Let l be m(-11). Let x = l - -19. Let i be y(x). Which is greater: i or 23?
23
Let o = -576 - -476. Which is smaller: o or -299/3?
o
Let y be 35/(-60)*(35 + -2). Let o = 19 + y. Suppose -40*d = -41*d. Which is smaller: d or o?
o
Let z = 898468/35 + -25667. Let v = -791/45 - -124/9. Let n = z + v. Does n = -3?
False
Let u be -6*2/(-3)*1. Suppose -3*o = -o + u. Let f be (-15)/2*o/(-3). Which is smaller: f or -4?
f
Let y be 0/(-2*(-5)/(-10)). Which is greater: y or 0.215?
0.215
Let i = -98.5 + 98.56. Is -0.046 greater than i?
False
Let w be (15/(-2))/((-4)/8). Let r = -7 + w. Let l be (-6)/(-18) + 23/3. Does l = r?
True
Let v = 36 - 33. Suppose -24 = v*y - 27. Which is smaller: y or -2/75?
-2/75
Let k = 1117543/81 - 13797. Is -1 > k?
False
Suppose 7*z + 24 = 3*z. Let t = z - -17. Let f = 14 - t. Is -2 greater than or equal to f?
False
Suppose -u = 5, 2*u - 220 = -5*i - u. Let o(r) = r**3 - 7*r**2 - 2*r - 1. Let y be o(8). Is y <= i?
True
Let l = -107 - -72. Is l at least as big as -2?
False
Let o = 118.1 - 118. Which is bigger: 132 or o?
132
Let o = 0.0028 + 3.9972. Which is smaller: 9/4 or o?
9/4
Let p be 2/20 + 2/(-48)*4. Are p and 0 equal?
False
Suppose 137 = -3*b - 445. Is -194 smaller than b?
False
Suppose 14 - 42 = 3*f - 4*u, u = f + 8. Is f smaller than -20?
False
Let v = 330 + -331. Does 133 = v?
False
Let z be 8/(-10)*30/(-4). Suppose -g = 4*v + 11, -v - z = -4*g + g. Let w = v + 7. Are -1 and w equal?
False
Suppose -m = 2*f + 3*f + 618, -f - m = 126. Let v = f + 81. Let i be 19/v + (-2)/(-7). Which is bigger: 1 or i?
1
Let y = -61 + -146. Are -205 and y equal?
False
Let z = -41/36 - -49559/43452. Which is greater: z or 1?
1
Let d be 3/(-12) - (-14)/24. Let b(y) = -y**2 + y. Let h be b(4). Let v be 7/h + (-55)/(-44). Is d >= v?
False
Suppose 37*j - 588 - 2520 = 0. Which is smaller: j or 86?
j
Let c = 7/47 + -465/2491. Let m be 65/(-117) - 4/9. Is c greater than m?
True
Let i be (9/10)/(1/(-2)). Let r = i - -1/5. Which is smaller: 0.1 or r?
r
Suppose -3*b - 2*y + 122 = b, -y - 79 = -3*b. Which is greater: b or -1?
b
Let w = 3741/49 - 36/245. Is 76 greater than w?
False
Let b = -24803 + 75301909/303