2*d - 47, 3*d - i + 36 = 109. Suppose 0 = 4*y + u + 2*u - 26, -3*y + u + d = 0. Is y bigger than x?
True
Let v = 7 + -5. Suppose 2*t - 7 = g + 4*g, t = v*g + 3. Let l be (-3)/6 - t/(-8). Which is bigger: 1 or l?
1
Let o = -360 - -363.1. Let b = 0.05 - 1.95. Let v = o - b. Does 3 = v?
False
Let i = 6 - -12. Let r(t) = t**2 + 7*t + 9. Let c be r(-8). Is i equal to c?
False
Let c = 283.9 - 187.8. Let a = c - 91. Let h = a - 5. Is 3/4 at most as big as h?
False
Suppose 5*s - 82 = 3*z, 76 = -2*z - s + 30. Let b be 12/9*36/z. Let n = -4 - -2. Is n greater than b?
False
Let r = -1318 + 1208. Which is smaller: -109 or r?
r
Let n be 196/(-21) - 6/9. Let u = -48 + n. Is u less than or equal to -57?
True
Let v be (13/3)/(2 + 47/(-24)). Is v < 104?
False
Let o = 53 - -54. Let p = 108 - o. Is p at most 0?
False
Let y(q) = 6*q - 132. Let a be y(22). Which is bigger: -7/5 or a?
a
Let b = -17 + 40. Suppose -10 = -2*p, p + 8 = 5*r + b. Let x be (-6)/(0 - r) - -2. Which is greater: -2 or x?
x
Let r be 1*5*20/250. Let k = 16.9 - 19. Let t = 2.2 + k. Is t less than r?
True
Let j = -13670 + 10949672/801. Which is smaller: j or -1?
-1
Let t = 84 - 81. Which is bigger: 2 or t?
t
Let j(h) = -h**2 + 7*h + 10. Let n be j(8). Suppose -n*v + 6*c = c + 2, -2*c = -5*v + 16. Suppose -r - r - 12 = -4*q, v*q - 4 = -2*r. Is -1 bigger than q?
False
Suppose 29 = 3*c - 367. Suppose c = -p + 7*p. Let i = 22 - p. Is i at least as big as 5/11?
False
Let c be 1 - (-7)/(98/(-30)). Let p = 28 - 19. Let d = -9 + p. Which is greater: d or c?
d
Let s be (-616)/(-10) + 27/(-45). Are 55 and s nonequal?
True
Let k be (1 - (0 - (-4 - -16)))/(-1). Are k and -58/5 non-equal?
True
Suppose 4*r = -4*m + 5 + 23, 3*m - 7 = 4*r. Suppose 1 = -g + r*g - 2*h, 3*h = -3*g - 33. Let i be g/9 + 2/(-9). Is i < -2/13?
True
Let r be (-1*(1 + 0))/2. Let p(x) = x**2 + 4*x - 2. Let v be p(-5). Let b be (-10)/(-2) - 3 - v. Are b and r nonequal?
True
Let n = 9.5 + -18.5. Let q = 19/319 - 7/29. Are n and q nonequal?
True
Suppose -438 = 9*a - 474. Are a and 27/5 unequal?
True
Suppose -4*i = -i - 15. Suppose 0*v + 4*v = y, -i*y = 3*v. Suppose y = 3*q + 2*q + 40. Which is greater: -9 or q?
q
Suppose -14 = -2*x + b + 14, 4*x - 4*b = 48. Suppose 10 = 11*t - x*t. Suppose 5*q = -1 - 9. Is q greater than t?
False
Let f = -1.641 + 1.641. Is 2/955 >= f?
True
Let g be 3*6/5 - (-18 - -22). Which is smaller: g or 444?
g
Let l(c) = 6 + c**2 + 0*c**2 - 2 + 3*c. Let v be l(-3). Suppose -v*j + 28 = -0. Are j and 4 non-equal?
True
Let j be ((-2)/4)/(6/692). Let z = -59 - j. Which is bigger: -2 or z?
z
Let s be ((-6)/(-9))/((-3)/54). Let k = s + 6. Let z(g) = -2*g**2 + 3*g + 112. Let j be z(-7). Is j <= k?
True
Let f = 9468/1068925 - 10/1859. Is 0 less than or equal to f?
True
Suppose 2*k + 2 = -2*p, 4*p - 5*k - 11 = -4*k. Let q(l) = -l**2 - 7*l + 2. Let f be q(-6). Let c be (2 - p)*f/8. Is c > -4/9?
True
Let h(f) = f**2 + 2*f - 7. Let z be h(-5). Let u be 1/2 - (-4)/z. Suppose -3*w - 5*j = 14, -10*j - 14 = 4*w - 8*j. Are w and u nonequal?
True
Suppose -2*n + 34 = -b - 2*b, 3*n = 2*b + 31. Which is bigger: -9 or b?
b
Let d(u) = -u**2 + u + 2. Let t be d(4). Let r(g) = g**3 + 6*g**2 + 10*g + 3. Let v be r(-4). Does v = t?
False
Let i = -63 - -55. Let o be (-390)/(-12)*i/(-10). Is o >= 26?
True
Let p be -30 + -7 + (0 + -2 - 0). Which is bigger: -38 or p?
-38
Let r be (1 - 3) + 7/1. Suppose -3*i - 8 = -r*i. Suppose i*y - d = 9, 8 = 3*y - d - d. Do 9 and y have the same value?
False
Let k = -27 + 25. Let a(u) = u + 7. Let f be a(-8). Which is smaller: k or f?
k
Let g be (-11)/(-99) - 46807/1035. Let o = 226/5 + g. Which is greater: o or 1?
1
Suppose 3*w - x + 13 = 0, 5*x - 6 = 8*x. Let p(h) = h**3 - h. Let o = -3 + 1. Let v be p(o). Which is bigger: w or v?
w
Suppose -44*j = 8687 - 32051. Is j greater than 530?
True
Let s = -8.4 + 7. Let p = 5.4 + s. Which is greater: 1/4 or p?
p
Let j = 2.7 - 2.75. Is -7 at most as big as j?
True
Let l = 107 + -65. Let a = -46 + l. Is a != -7?
True
Suppose -8*j = -5*s - 9*j + 381, -3*j = s - 65. Which is smaller: s or 74?
74
Let g be (0 - 26)*((-41)/8 + 5). Suppose -4 = -2*j - 0*w + 2*w, -j + 4*w + 2 = 0. Is g greater than or equal to j?
True
Let i = -925.0117 - -925. Which is smaller: -2/7 or i?
-2/7
Suppose 0 = 5*c + k - 940, 0 = c - 0*k - 4*k - 167. Suppose -5*a + 3*m - c = 1458, 0 = -a + 2*m - 329. Let w = -4937/15 - a. Which is smaller: w or -1?
-1
Let k be 38*(1 + (-2)/4). Let c = 13 - k. Let r = -29034.9 - -29035. Do c and r have different values?
True
Let m be ((-4)/5)/(3248/1400). Let q be (-25)/15 + (-2)/(-3). Are q and m non-equal?
True
Let r = -186 + 3719/20. Let x = 10.38 - 10.48. Are x and r unequal?
True
Let b = 1770 - 61944/35. Let p be 4/4*(-1 + 2). Which is bigger: b or p?
p
Suppose 0 - 15 = -5*u - 5*a, -3*u = -a + 7. Which is bigger: u or -16/25?
-16/25
Suppose 0 = -m - 4*o + 30, 4*m + 4*o = 6*o + 30. Suppose 0 = -4*h - 2*b + m, b = 4*h - 22 - 3. Suppose -22 = -h*x + 13. Is 6 != x?
True
Suppose 12 = 3*t, 2*z - 4*t + 91 = -3*z. Let o(h) = h**3 + 16*h**2 + 16*h + 15. Let n be o(z). Which is smaller: n or -3/17?
-3/17
Let r be 6/3*(2 - 1). Suppose -r*b - p - 6 = 3*b, b + 6 = -5*p. Is b <= -1?
True
Let p = 145 - 144.91. Let j = 0.19 - p. Do j and -79 have different values?
True
Suppose 7*i + 12*i + 19 = 0. Which is bigger: i or -1/100?
-1/100
Suppose 2*l = k - 537, -2*k + 3*l + 945 = -126. Is 531 at least k?
True
Let w(n) = -n**2 - 5*n - 1. Let l be w(-3). Suppose l*r + 20 = 5*c, c + 0*r - 5*r = 24. Which is greater: -2 or c?
c
Suppose 17*u = 8*u - 855. Let k = u - -89. Which is smaller: -4 or k?
k
Let g(t) = 5*t**2 - 5*t + 3. Let b be g(-2). Is 33 equal to b?
True
Suppose 0 = -q - 2*v + 21, 63 - 198 = -5*q - 4*v. Let u(a) = -a**3 + a + 30. Let k be u(0). Which is greater: q or k?
q
Suppose 0 = -4*g - 0 + 20. Suppose 2*r - 6 = 0, 9 + 4 = -g*p - 4*r. Is -5 smaller than p?
False
Suppose -5*k + c + 109 = 0, 4*k - 4*c - 83 = 17. Let w = -17 + k. Suppose 8 = w*m + 4. Which is smaller: 0 or m?
0
Suppose -2 = -9*t + 10*t. Let a = -0.7 + 0.2. Let k = 0.6 + a. Are k and t nonequal?
True
Let q be (-12)/(-24) + (-106)/116. Does q = 0?
False
Let t(i) = 2*i**2 - 7*i - 4. Let m be t(3). Is m less than -116/21?
True
Let b = -425 - -403. Let f = 0.5 - 0.4. Which is greater: b or f?
f
Let l be 1368/48 + (-10)/4. Is l >= 22?
True
Let v = 38.03 + -33. Let i = v + 0.07. Let b = i + -5. Which is greater: 8 or b?
8
Let r be 424/(-64) + 6 + 3/(-8). Is r < -3/520?
True
Let x be ((-1)/(-4788))/(2/188). Let z = 1/1710 - x. Is z >= -1?
True
Let w = -15 - -15. Suppose w = -k - 3*k + j + 9, -3*j - 10 = 5*k. Suppose -10*g + k = -9*g. Which is smaller: g or 1/5?
1/5
Let i be 801/18 + (-3)/(-6). Are 44 and i unequal?
True
Let p = 0.33 + -7.53. Let t = p + -28.8. Let y = t - -51. Which is smaller: y or -0.1?
-0.1
Suppose -y - 4*k = 3*y + 124, k = y + 27. Let l = -15 - y. Suppose 0 = 4*x + v + 6 + 12, 3*x + v = -l. Is x less than 0?
True
Let p = 0.32 - -14.68. Let t = p + -16. Let r = t + -2. Is -1 at most as big as r?
False
Let i = -158456/149685 + -2/8805. Which is smaller: 0 or i?
i
Let z = 371 + -370.91. Which is smaller: 3 or z?
z
Let t be 3*((-10)/2 - (8 - 16)). Is 41/4 <= t?
False
Let j = 0.458 - 0.258. Let k = -1.03 + 1.1. Which is smaller: j or k?
k
Let a = -0.088 - -0.088. Let s be (-6)/136*(-112)/63. Is a <= s?
True
Let o be -1 - 2 - (-1043)/347. Let q = o - 1087/7981. Is 1 bigger than q?
True
Suppose 464*p = 467*p + 204. Is -67 < p?
False
Let w = 5 + -3. Let p = w + -3. Let t = -39541/7 + 5647. Is t equal to p?
False
Let z(g) = -g - 5. Let u be z(-4). Suppose -41*f = -39*f - 816. Let x = f - 5308/13. Is u <= x?
True
Let z(l) = -3*l + 9 - 4*l + 2*l + 4*l. Let u be z(8). Let f = -16.9 - -17. Does u = f?
False
Let b = -9 - -27. Suppose k = 3*k - b. Is k at most as big as 7?
False
Let m be 3 - (3 - (0 - 1)). Suppose -2*h + 0*h = 2*b + 48, -3*b + 8 = -h. Are h and m equal?
False
Let t be (-24)/(-144)*(101 + -2). Let u = -9 - -25. Is u bigger than t?
False
Let c = -347939/114 + 3052. Which is smaller: 0 or c?
c
Suppose 5*h - 10 = -3*x + 2*x, -x - 4*h + 8 = 0. Suppose k + k - 2 = x. Which is smaller: k or 2/131?
2/131
Let m = -22.16 - -23. Let d = 0.16 + m. Are -13 and d nonequal?
True
Let r(d) = -d**3 + 5*d**2 +