. Suppose -11*r + 209 + 11 = 0. Is r less than a?
False
Let z = 29 + -11. Let g be (-6)/z*0/(-1). Do g and 3 have the same value?
False
Suppose -19*i + 14*i - 7 = 3*g, g = -3*i - 9. Let l = 2565/88 + -366/11. Is l smaller than i?
False
Suppose -4*u + 5*u - 4 = 0. Suppose 0*n + n - u = 0. Suppose -n*m + 3 = 7. Is -0.06 smaller than m?
False
Let c be (((-360)/(-16))/(-15))/3. Which is bigger: 13 or c?
13
Let q = 5 - 4. Let m(o) = o**2 + 2*o + 2. Let j be m(-2). Let d be j/((-42)/(-9)) + 0. Is d not equal to q?
True
Let v = 56 - 45. Suppose a - v = -8. Which is greater: a or 0?
a
Let z = 142 - 143. Let a = 2 + -4. Let c be (a - -1)*(-10)/55. Is z less than c?
True
Let o = -5 - 24. Let b = 28.77 + o. Which is greater: b or -0.1?
-0.1
Suppose -12*q = 6*q. Which is bigger: -7/144 or q?
q
Let j be ((-7)/3 - -1)*-3. Let t(d) = 80*d - 246. Let g be t(3). Is g < j?
True
Suppose -x - 5 = 0, 0 = n - 2*x - x + 21. Let t = 31 + n. Is t at most -13/3?
True
Suppose -o + k + 7 = 0, -3*k = -5*o - k + 26. Suppose o*g = -34 - 26. Which is bigger: g or -14?
-14
Suppose -2*u = 2*u. Let z be (-2)/((-2)/3) - -3. Let p = 7 - z. Is p at least u?
True
Suppose 8*r + 114 = -134. Let a = r + 76. Is 44 less than or equal to a?
True
Let q = -2 + -5. Let m = -7.1 - q. Let u(c) = 3*c. Let d be u(-1). Which is smaller: m or d?
d
Let w be ((-12)/(-531))/((-10)/(-15)). Let f be 0*((-8)/12 - -1). Is f at most w?
True
Let o be -3 + 4 - -43*1. Let n be 5 - 4 - (-3 - o). Let g be (n/4)/3 + 12. Is g at most 1/3?
False
Let f = 2440 - 2511.05. Let w = f + 71. Do 2/5 and w have the same value?
False
Let b be (-35)/2 - 10/20. Let c be 12/b*(-3)/(-7). Suppose -7 = 4*z - 3. Which is smaller: c or z?
z
Let a = -1 + 1. Let d = 43 + -27. Let p = d + -20. Which is bigger: a or p?
a
Let h(u) = -u**2 - 5*u + 5. Let z be h(-6). Let b be (3 - 3)/(6/(-2)). Suppose 0 = 4*w + r + 4*r, b = -w + 5*r. Which is smaller: z or w?
z
Let s = -11.1 + 0.1. Let f = 11.1 + s. Let y = f + -0.6. Is y smaller than -1?
False
Let d(b) = -b**2 + 6*b. Let c be d(6). Suppose -2*w - w - 4 = -4*g, -5*g + 6 = -4*w. Which is smaller: c or g?
g
Let k = 1 + -1. Let y = 3 + k. Let g(z) = 30*z + 717. Let l be g(-24). Is y < l?
False
Let h be 0/(-1) + 3 + -3. Suppose 5*y - 12 - 18 = h. Suppose 2*z + y - 4 = 0. Which is greater: -2/41 or z?
-2/41
Let y = -16003/540 + 11/1080. Which is bigger: -31 or y?
y
Suppose 0 = -6*o - 395 + 131. Do o and -45 have different values?
True
Let f = 35.3 - 36.5. Is 2 smaller than f?
False
Let v be (-141744)/(-168) + 2/7. Let o be v/(-16) - (-3)/4. Which is smaller: o or -53?
-53
Suppose -11*k + 14*k + 15*k = 0. Which is smaller: -5/12 or k?
-5/12
Let x = 2.42 - -0.58. Let a be (-1 - 173 - 3)*-1. Let k = 882/5 - a. Which is smaller: x or k?
k
Let c = 1548/175 + -8361098/945175. Which is smaller: 0 or c?
c
Let o(z) = -z**3 - 2*z**2 + 3*z. Let k be o(-3). Suppose 0*b - 4*b + 60 = k. Suppose 0 = -2*w - 1 - b. Do -8 and w have the same value?
True
Let y = 0.0166 - 14.0166. Is -4 smaller than y?
False
Let z be (-1)/(-3) + (-4)/(-6). Suppose -v + z = -2. Is v less than 4?
True
Suppose 4*a + 160 = -b, -b + 3*a - 161 = 34. Is b equal to -178?
False
Let g be (110/24)/(14/(-42)). Let m = g - -14. Let k = 1 + 0. Which is smaller: m or k?
m
Let i = 0.84 - 0.6. Let f = 14.76 + i. Let y = -15.1 + f. Which is smaller: -2 or y?
-2
Suppose w = 4*g - 16, 5*w + 34 = 2*g - 28. Suppose 9*i - 12*i = -27. Suppose -i*k = -6*k + 36. Is k smaller than w?
False
Let n be (-2 - (-62)/7)/((-25)/35). Which is greater: -10 or n?
n
Let w = 0 + -18. Let a be (2/(-51))/(1/w)*2. Are 2 and a non-equal?
True
Let n be (-4)/10 - (-456)/15. Suppose 43 = -2*p + 3. Let q = n + p. Which is bigger: q or 12?
12
Let j = -691 - -687.89. Let q = 0.6 + -0.71. Let u = q - j. Is u greater than or equal to -1?
True
Let r = 1129 + -39512/35. Let j = r - -379/70. Is j != 7?
True
Let m be 72/(-3)*(-4)/8. Suppose 3*c = 2*c + m. Let u = -17 + c. Is -2/7 at least u?
True
Suppose -4*x = -0*x - 420. Suppose -8*v + x = -3*v. Let i be v/(-14)*(-28)/(-18). Which is smaller: i or -1?
i
Let y be 7/1*(2 + -3). Let q = 25 + -43. Let g = q + 11. Is y at least g?
True
Let a be (-448)/33*162/(-216). Which is bigger: a or -0.1?
a
Let z = -2/3987 + -7796/354843. Let u = -1/348451 - 65508343/155060695. Let y = u - z. Are -2/9 and y nonequal?
True
Let w = -73.4 + 81. Let x = 5.68 - w. Let m = x + -0.08. Is -0.04 at most m?
False
Let y be (4/(-6))/(-18 - 71570/(-51)). Which is greater: y or 1?
1
Let x be 3 + (12/(-28) - 786/(-70)). Let p = x + -1153/85. Which is greater: 1 or p?
1
Suppose -3*f - 4*z = -f, 4*f + 3*z - 20 = 0. Let d be f/24 + 6/(-2). Suppose 4*i = 5*p - 7 - 5, 15 = -5*i - p. Which is bigger: d or i?
d
Let a = 0.28 + -0.4. Let x = -1326 - -1324. Is a at most as big as x?
False
Suppose -11*j = -9*j. Let f(u) = 2*u + 2. Let d be f(j). Suppose 3*w + 4 - 11 = -d*c, 5*w - 4*c = -3. Which is smaller: 3 or w?
w
Let y(v) = -4*v**2 + 36*v - 34. Let i be y(9). Which is smaller: i or -366/11?
i
Suppose 3*o = 2*o + 23. Let l = -6892 + 6914. Which is greater: l or o?
o
Let f(v) = v**2 + 11*v - 24. Let m be f(-13). Suppose 0 = 2*h - 3*q + 11, -6*h - m*q = -2*h - 2. Is h less than or equal to -4?
False
Let h = -277 - -278. Do h and -1/414 have different values?
True
Let h = -0.016 + 0.055. Is h at least as big as -1?
True
Let q = -0.349 + 0.569. Which is smaller: q or -1/7?
-1/7
Let d = -44 + -15. Let b = -60 - d. Does b = 1/14?
False
Let t = 697/14 + -30/7. Let m = t + -48. Which is smaller: m or -2?
m
Let m be 1/(-5)*150/90. Which is bigger: m or -52?
m
Let u be 0*2/4 - 1. Suppose 3*m = -226 + 1786. Let s be -1 - 2 - m/(-175). Are s and u non-equal?
True
Suppose 3*v - 372 = 5*a, -3*v - 163 = 3*a + 41. Let b = a + 72. Let j be (4/114)/(2/(-6)). Is j at most as big as b?
True
Let f be (0 + (-1 - -2))*1. Let q be -6 + (-7)/(3822/(-7092)) + -7. Which is smaller: f or q?
q
Let c = 1 + 3. Suppose j = -c + 13. Suppose 33*d - 8*d - 225 = 0. Are d and j unequal?
False
Let i be (-2 + 3)*(-30 - -30). Is i greater than 7/6?
False
Let p = -47/220 - 2/55. Let b be (-30)/(-4) - (7 - 0). Which is bigger: b or p?
b
Let g = 47.582 - -0.418. Which is smaller: g or -0.2?
-0.2
Let j be 320/252 + 4/14. Let q = 20/9 - j. Suppose 2*a + 3*o + 20 = -0*o, -5*o = 4*a + 36. Is q equal to a?
False
Let q be 0/(-2) + 0/4. Let n = q + -1. Let u be 3/(1*-9)*1. Which is smaller: n or u?
n
Suppose 0 = 5*l - n - 24, -2*l - 7*n = -2*n + 12. Suppose 5*b - 7 = l*b. Which is smaller: 6 or b?
6
Let f = 0.208 - 12.108. Let r = 12 + f. Let g = r - -6.9. Which is smaller: 0 or g?
0
Suppose 2*g - 2 = 4*n, 0*g + 3*g + 1 = 2*n. Which is smaller: g or 2/145?
g
Suppose 4*z - 4 = 4*u, z - 4*z = -u - 5. Suppose 0 = 7*y - 134 + 8. Let i = y - 75/4. Is i at most u?
True
Let h be (-3834)/(-24) - (1 - 10/8). Let a = 107 - h. Which is bigger: a or -52?
-52
Let t(y) = 4*y - 55. Let s be t(16). Which is smaller: 7 or s?
7
Let w = 147.7 - 150.7. Let a = -2.1 + 0.1. Let s = -6 - a. Which is smaller: s or w?
s
Let f be (-1836)/(-1836) - (1 + (-2)/2). Let z be (-2)/(-8) - (-150)/(-664). Is z greater than f?
False
Let g = 29/2 - 8. Let l be (16/10 - 2)*-15. Are g and l nonequal?
True
Let s = 0.0451 + 0.0549. Is 4/11 at least as big as s?
True
Let c be (-11)/(165/(-276)) - (72/30)/6. Suppose 0 = -3*x + 23 + 25. Which is greater: x or c?
c
Let d be -3*2/(-15)*(11 + 14). Do d and 18 have different values?
True
Suppose 4*z = 2*a + 6, 8*z - 4*z + 3*a + 19 = 0. Which is smaller: -4/131 or z?
z
Let q be 3/(-1) + 2 + 4. Suppose 0 = 5*x - 12 - q. Suppose u + 4 = -j, j + x*u - u = -9. Which is smaller: -2/17 or j?
-2/17
Let z(l) = 2*l + 27. Suppose -5*k + 10 = 70. Let q be z(k). Is q at most as big as 3?
True
Let t(c) = -12*c**2 + 24*c - 73. Let g be t(4). Which is smaller: -163 or g?
g
Suppose -3*b + g = -8*b + 175, 0 = -2*g + 10. Suppose 0 = 4*k - 5*k - b. Which is smaller: k or -35?
-35
Let w = -2 - -4. Suppose h = -d + w - 4, 3*h = d - 10. Let k(v) = -v**2 - v + 1. Let l be k(-2). Do l and d have the same value?
False
Let b be 4/(-14) + 1518/2079. Which is smaller: b or 2?
b
Let r = 31 + -59. Let v = 28 + r. Is v at least 1/7?
False
Let a = 13/6 - 11/2. Let c = a + 37/12. Let l = 2.52 - -0.48. Is c smaller than l?
True
Let w be (-12)/(-