e (3 - 8)*(-28)/v. Suppose 80 = -5*p - 3*i, -30*p + i = -32*p - 31. Is y > p?
False
Suppose 271*o = 273*o. Which is smaller: 0.4 or o?
o
Suppose 6*v - 9*v = 90. Let o be (v/(9/3))/1. Let z be (o/(-20))/(7/4). Which is greater: 1 or z?
1
Let s be (6/15)/(8/20). Let u be (-5)/16 + (-3)/(-9). Is u at least as big as s?
False
Let m = 23 + -29. Let u be (6 + m)/(1*-1). Suppose -5*z + 1 = 2*q - 4, -3*q + 3*z + 60 = u. Is q at least as big as 15?
True
Suppose 12*i - 8*i = 288. Do 70 and i have the same value?
False
Suppose 0*a = -5*a. Suppose a = -3*c + r - 18, 3*c + 3*r + 12 = c. Suppose -v + 2*b - 7 - 3 = 0, 4*b - 14 = v. Is c bigger than v?
False
Suppose -5*f + 101 = -7*f - 5*m, 0 = -3*m + 9. Are -56 and f equal?
False
Let o(u) = -2*u - 17. Let i be o(-6). Let h be i + 1 + 558/108. Which is bigger: 2 or h?
2
Let h be 2*1/19 + 3000/(-1425). Which is bigger: 8 or h?
8
Let d be ((-10)/(-15))/((-1)/(9/(-44))). Is 1 at most as big as d?
False
Suppose -152*g + 150*g + 4 = 0. Let k be -4 + (g - 32/(-14)). Is k at most as big as -7?
False
Let o be (4/(-1 - 1))/(16 - 14). Which is greater: o or -2/705?
-2/705
Let s = 4.34 + -0.34. Let q = s + -3. Which is smaller: q or 0?
0
Let h = 0.94 + 30.06. Does h = -4?
False
Suppose 5*c = 15 - 330. Which is greater: c or -64?
c
Let u(q) = -q**3 + 12*q**2 - 2*q - 22. Let o be u(12). Let t = -4 + -41. Which is smaller: t or o?
o
Suppose 3*z = -2*z. Let n(i) = -22 + 15 + z*i + i. Let b be n(5). Which is smaller: -1 or b?
b
Let n = 156 - 157. Suppose 3*m = 3*r + 4*m - 32, -3*r + 5*m + 56 = 0. Let h be 8/r - (-28)/(-6). Are n and h unequal?
True
Let d(u) = -6*u**3 - u + 1. Let p be d(1). Let c be 3/p*(-12)/2. Suppose 3*n - 12 - 4 = f, c*f - 36 = -3*n. Which is smaller: 5 or n?
5
Suppose 9*g - 6*g = -36. Let l be (-2)/g + 8/24. Is l greater than or equal to -4?
True
Let l be 1140/(-96) - (-1)/4. Is l at least -0.2?
False
Suppose 0*p = -3*p + 3. Let f(d) = -3*d**3 - 2*d**2 - d - 3. Let n(x) = -x**3 - x**2 - x - 1. Let k(j) = f(j) - 2*n(j). Let l be k(p). Is l greater than -0.04?
False
Let q = 8.4 - 2.52. Let c = 1 - 0.88. Let p = c + q. Are -0.2 and p non-equal?
True
Suppose -4*i + 537 = -619. Which is smaller: i or 290?
i
Let d(j) = j**3 + 18*j**2 - 5*j - 94. Let o be d(-18). Which is smaller: o or 2/63?
o
Let c = 1289 - 1237. Is 44 >= c?
False
Let j = -2487 + 17485/7. Is j less than 10?
False
Let x = 4 + -3. Let k be 64/32 + (-1)/(x/(-64)). Is 67 >= k?
True
Let j be ((-35)/5 + 6)/(-1). Is -1/157 less than or equal to j?
True
Let u(t) be the first derivative of -t**4/4 + 4*t**3/3 - t**2 - t + 1. Let f = 27 - 24. Let y be u(f). Is 7/4 at most y?
True
Suppose -43*g = -42*g - 2, n + 3*g = 2. Do -57/11 and n have different values?
True
Suppose 2*w - 30 = 5*g, -7*w + 5*w - 3*g = -30. Is w at least as big as 3?
True
Let a be (-2952)/(-288) - (9 + 1). Which is bigger: -1.414 or a?
a
Let j = 29279392/17 - 1722989. Let o = j + 672. Let v be (0 + 0)/(10/(-5)). Is v >= o?
False
Let p be (-2)/(-3)*135/18. Suppose 2*f - v = 1, -f - 3*v = f - p. Let b = -2/5 + 44/85. Is b greater than f?
False
Let b be (0 + -1)/((-2)/36). Let x(g) = -5 + b - g**2 - 12 + 8*g. Let w be x(8). Is w > 3?
False
Let a = 127 - 126. Is 2/185 greater than a?
False
Let b = 51.82 + 0.18. Let g = -32 + b. Is g >= 1/3?
True
Let u(g) = -g**2 - 22*g + 2. Let w be u(0). Do w and 9/5 have different values?
True
Let d = -26/33 + 16/11. Is 454 greater than d?
True
Let l be (10/3 + -2)/((-4)/6). Let g be (4 + -3)*l - 9/(-4). Which is bigger: g or 0.3?
0.3
Let o be -1 + 80 + (-1 - 1). Let x be 4/14 + (-22)/o. Which is bigger: 2/49 or x?
2/49
Suppose -31 = 4*f - 7. Is f > 6?
False
Let z be -3 + (220/8)/11. Which is smaller: z or 64?
z
Suppose -3*a + 2*x - 1 = 0, 2*x + 5 = -18*a + 15*a. Which is smaller: a or 4/19?
a
Let a = -0.01 - -3.21. Let f = 3.4 - a. Which is smaller: f or 0.17?
0.17
Let h = 512/5285 - 6/151. Let p(r) = -36 - 6*r**2 + 9*r - 5*r**2 + 12*r**2. Let d be p(3). Is h less than d?
False
Let z(a) = 105*a - 525. Let w be z(5). Which is smaller: w or 8/35?
w
Let m = 2929/14 + -209. Which is smaller: -0.6 or m?
-0.6
Suppose 3*w = -f - 100, -4*w + 261 = -3*f - 0*w. Is -89 at most as big as f?
False
Let t = -13 - 119. Let a be 2/8*t/(-3). Which is greater: a or 9?
a
Let d be 2*(-1)/225*-3. Let w(o) = -67*o + 469. Let v be w(7). Which is smaller: d or v?
v
Suppose 9*a = 4*a + 3*i - 105, 0 = 4*a + 5*i + 84. Which is greater: a or 2?
2
Let s = -4018/5 + 803. Let r(l) = l**2 + 7*l + 5. Let b be r(-6). Which is greater: b or s?
s
Suppose -12 = -4*s + s. Suppose s*x + 2 = -22. Let a be (-20)/22 - (5 + x). Is 1 < a?
False
Let h = -19 + 51. Let l be 8/1 - (-544)/(-64). Is h at most as big as l?
False
Let r = 9 - 18. Let o = -8 - r. Let u = 1.1 - o. Is -3 bigger than u?
False
Let f be 2/(-5) - (-48)/20. Suppose -2*n - 7 = -3*s - 0*n, -23 = -f*s + 5*n. Let i be -3*1 - -35*(-98)/(-1155). Is i bigger than s?
True
Suppose 25 = -8*l + 1. Let z be 3*l*(-1)/(-9). Is z >= -2/19?
False
Let o = 0.135 + 0.065. Does o = -23?
False
Let s = 0.09 + 1.71. Let c = 15.8 - s. Let x = c + -14.6. Which is bigger: -0.1 or x?
-0.1
Let n(t) = -3*t - 18. Let j be n(-12). Let a(z) = z**2 + j*z - 11*z - 3 - 1. Let l be a(-7). Is l equal to -4?
True
Suppose 15 = -12*v + 17*v. Let s be v*(-1 + 2)*(-12)/(-18). Are 3 and s unequal?
True
Let u be 1/2*2/12. Let d be (8/((-16)/(-3)))/((-4)/(-32)). Let p be (-2*(1 + 0))/(d/6). Do p and u have the same value?
False
Let a = 2 + 16. Let m = 160 - 141. Let g be 8/(-4)*(m/(-2) + 0). Which is greater: a or g?
g
Let y be (19 + -5)/((-22)/(-2)). Let t = -157/132 + y. Which is smaller: -1/4 or t?
-1/4
Suppose 33 = 2*y + z, 0*y = -3*y + z + 52. Suppose -2*m - 2*s - 9 - 9 = 0, 5*s + y = -3*m. Which is bigger: -16 or m?
m
Let z = -371 + 370. Is z less than -9.3?
False
Let w = 1.32 + -1.3. Let q = -0.239 + -3.741. Let k = q - w. Is 2/3 greater than k?
True
Suppose -p + 3*p - 2 = 0. Suppose p = -2*y - 1. Is y != 2/9?
True
Suppose 12*p + 6*p - 1998 = 0. Which is smaller: p or 110?
110
Let t be (-21780)/(-168) - (-1)/(-7). Let c = t - 128. Let j = -1.1 + -2.9. Is c at least j?
True
Let b = -62 + 125. Let t be 2/((-30)/135 + 167/b). Which is smaller: 2 or t?
t
Let l = -50 - -49. Let z = 36 + -50. Let r = 13 + z. Is l at most r?
True
Suppose 6*a - a - 45 = 0. Let g be a + -9 + 4/14. Is g less than 0.2?
False
Suppose 2*l - 28 = -g, 3*l + 2*g - 24 = 20. Let r be l/16 + 9/(-12). Which is bigger: 11/13 or r?
11/13
Suppose 2*n + 2*p = 26, 3*n + n + 2*p - 44 = 0. Suppose 2*j = 19 + n. Which is smaller: 15 or j?
j
Suppose 2283 = 5*l - 8*l + 3*b, -l - 766 = 4*b. Is -762 smaller than l?
False
Let p(j) = -3*j + 4. Let z be p(-6). Let i(m) = 2*m**2 + 6. Let d be i(0). Suppose 3*c - y = 41, d = -4*y + z. Which is bigger: 14 or c?
c
Let h be (-828)/(-7) + -1 + -2. Let d = h - 115. Is -2/15 not equal to d?
True
Let f = -56 - -39. Let d = -14 - 3. Let o = d - f. Which is smaller: o or 1?
o
Let c = -7.5 + -0.4. Let d = c + -4.6. Let h = d + 2.5. Is 0.1 >= h?
True
Let j = -59 - -529/9. Let y = -8/9 - j. Is y bigger than -18?
True
Let a = -221 + 147. Let r = a - -74. Is r bigger than 10.6?
False
Let y = -1/69 + 25/138. Let w = 235.91 + -237. Let l = -0.09 - w. Is l greater than y?
True
Let r(w) = -w**2 - 7*w + 10. Let g be r(-7). Suppose 0 = -g*v - 2*v. Is 3/14 >= v?
True
Let u be (27/30)/((-66)/(-5)). Let m(h) = -h**2 - 19*h + 149. Let y be m(6). Which is bigger: u or y?
u
Let t = -1 + 1. Let y = 2 - 1.97. Let i = -0.08 + y. Do i and t have different values?
True
Suppose g = -4*g - 25, 3*g = -3*m + 27. Suppose -1 - m = 3*d, 0 = 5*c + 4*d + 15. Let p(n) = 2*n - 12. Let q be p(8). Which is smaller: c or q?
c
Let d = -3 + 5. Suppose 0 = 6*l - d*l - 4. Is 1/6 < l?
True
Let a be (-55)/21 - (-3 - (-5 - -5)). Which is greater: 1 or a?
1
Let t(q) = 5*q - 20. Let h be t(5). Let m be -1 + (-2 + h - -4). Suppose -3*z + 18 = -0*z. Is m at least as big as z?
True
Suppose 4*s - 98 = 70. Let x be ((-12)/(-10))/(s/140). Let b be 45/(-18) + -2 + x. Is 0 less than b?
False
Let x = 3 + -3. Suppose 2*n - 4 + 2 = x. Suppose -4*d = 3 + n. Is -2/9 bigger than d?
True
Suppose 1009 - 3325 = -4*j. Which is bigger: j or 577?
j
Suppose -19*y = -14*y + 1265. Is y at most -253?
True
Let o = -43.2 + 43. Which is bigger: