 5*y, 2*y = -r - 0*y - 2. Is r less than 2/2767?
True
Let r(q) = -q**2 + 6*q + 4. Let m be r(10). Let j = 37 + m. Which is bigger: j or 5?
5
Let b(s) = -25*s**2 + 4. Let g be b(-2). Let o be 16/(-10)*8/g. Is 2 > o?
True
Let w = -1328 - -1299. Which is bigger: w or -7/4?
-7/4
Suppose -2*t + 3*h = 16, 0*h = -3*t + 3*h - 18. Let m be (-352)/(-160)*(-20)/(-2). Is m > t?
True
Let v = 4674 + -4671. Suppose f = 4*a + 21, -2*a = -5*f + 11 + 40. Let x = f + -6. Is v > x?
False
Let p = 152 - 142. Let d be 3 - (p + (-8)/4). Which is smaller: -16 or d?
-16
Suppose 1 = l + 15. Let u = -10 - l. Suppose -2*z - 10 = -u*z. Does 6 = z?
False
Suppose -28*z = 110 - 26. Which is smaller: z or -4?
-4
Let l = 2122 + -2110. Let u be 1/2 - 2/(-4). Which is bigger: l or u?
l
Let q be 7/((-14)/(-4)) - -2. Suppose -3 = -3*k, 5*l + 0 - q = k. Which is smaller: 4/5 or l?
4/5
Let z be (-4 + 9 - 6)/((-1)/(-137)). Which is smaller: z or -275/2?
-275/2
Let y = 7/183 + 2471/2379. Is 1 not equal to y?
True
Let y = -33 + 41. Let i = 9 - y. Let j = 0 + -1. Do i and j have different values?
True
Let i = 313/1326 + -14/51. Suppose 3*f + 2 = 2*f. Let g = f + 1. Which is greater: i or g?
i
Suppose 71 - 256 = 5*p. Let u = 32 + p. Is u at most as big as -2?
True
Let k = -501 + 494. Let v(g) = g**3 - 3*g**2 - 6*g + 1. Let f be v(4). Are k and f non-equal?
False
Let y be (-18)/72 + (-41)/(-4) + -5. Which is greater: y or 0.5?
y
Suppose 0 = -30*l + 50 + 820. Which is greater: l or 34?
34
Suppose i = -2, 3*u + 3*i = i - 166. Which is greater: -51 or u?
-51
Let s(z) = 2*z**3 - 8*z + 6. Let j be s(2). Which is smaller: j or 21/4?
21/4
Let s be 300/155 + (-2)/1. Let o(x) = -49*x**2 - x + 2. Let h be o(1). Let b = 49 + h. Which is smaller: b or s?
s
Let r(v) = v**3 - 29*v**2 - 2*v + 99. Let i be r(29). Is 52 bigger than i?
True
Suppose -33 = -n + 4*n - 3*l, 3*n - 5*l + 43 = 0. Let m be -10*-1*4/8 - 9. Is m bigger than n?
True
Let h = 1.089 + -0.089. Is 53 at least as big as h?
True
Let h = 38268/11 - 3486. Which is smaller: h or 3/2?
h
Let j be ((2/58)/(-2 + 1))/11. Is 0 >= j?
True
Let a = 2178 + -2190.33. Let h = a - 0.27. Let k = -13 - h. Which is greater: k or 2?
2
Let t be (4 + -2)*(-3)/(-132). Let g = 0.046 + 0.154. Is t greater than g?
False
Let b be 12537/36 + (-3)/12. Suppose -12*o = -0*o - b. Is 28 greater than o?
False
Suppose -3*x = 0, -n = -0*x - 5*x - 2. Let m = -28 - -36. Let u be m/10*(-350)/(-84). Which is smaller: u or n?
n
Suppose 4*j + 7*j + 198 = 0. Let f(y) = y**3 - 6*y**2 + y - 2. Let k be f(6). Let t be k/j + (-305)/45. Is -7 less than or equal to t?
True
Let i = 217/15 - 74/5. Is -281 > i?
False
Let c = -14.11 + 14. Which is smaller: c or 0.07?
c
Let i(q) = q. Let m be i(-2). Let s = m + 1. Let n be 47/77 - (9 - (-120)/(-14)). Which is bigger: n or s?
n
Let z = -0.4 - 1.6. Let m = 47 - 47.88. Let q = 0.72 - m. Which is bigger: q or z?
q
Let g be 8*1/10*-2. Let w(a) = a**3 - 6*a**2 + 4*a + 2. Suppose 2*n + 7*r - 2 = 3*r, 1 = -n - 3*r. Let u be w(n). Which is greater: u or g?
g
Let n be -4*9/8496*2/(-10). Which is smaller: n or -1?
-1
Suppose -3*g + 5*z = 4, -5*g = -3*g - 2*z. Let s = 0.081 + -0.031. Is s at least g?
False
Let n be 26642/(-270) + (-192)/(-2592). Which is greater: -98 or n?
-98
Let o(s) = -4*s - 12. Let m be o(-3). Suppose 2*x + 4 - 8 = m. Suppose 0 = -5*f + 5*z + 7 - 2, z - 5 = -x*f. Is f equal to -13?
False
Let j(a) = -3*a - 1. Let r be j(-1). Suppose -7*o - 60 = -r*o. Let p be (1 + -1)/(o - -11). Which is greater: -0.1 or p?
p
Let t be (-2 - 2)*-5*2. Suppose -3*s = -7*s + t. Let d be (-12)/(-1) + (0*3/6 - 3). Is d <= s?
True
Let m be (1 + -2)/(1/(-3)). Suppose 3*t = 3*k - 207, -3*t = 2*k + 28 + 204. Let d = 151/2 + t. Which is greater: d or m?
m
Let m = -85/369 + -1/9. Is 1 not equal to m?
True
Let u = 0.1113 + -153.1113. Is -1/4 at most u?
False
Let b = -250/17 - -13767/935. Suppose 5*n + 4*x - 17 = 0, -2*x - 6 = -4*x. Which is greater: b or n?
n
Suppose -7*q - 10*q = -8*q. Are q and 2/553 non-equal?
True
Let r = -39 + 7. Let h = 25 + r. Is h smaller than -3?
True
Let y be (1/((-4)/(-476)))/(-583). Let m = y + 6/53. Let j be (-1)/((-2)/(4/(-2))). Which is smaller: m or j?
j
Let p(f) = f**2 + 14*f + 47. Let a be p(12). Is a > 358?
True
Let b(z) = -z + 9. Let r be b(6). Suppose -3*d - 4 + 9 = -w, -2*w - 8 = -5*d. Which is greater: w or r?
r
Let u(k) = 8*k - 5. Let v be u(4). Suppose -v = 2*f + 3*g, -2*f + 3*g - 57 = -0*g. Let h = 7/23 - -2/69. Is h equal to f?
False
Let m be 105/(-112)*(-8)/20. Let r = 4 - 8. Let i(z) = z**2 + 5*z + 5. Let j be i(r). Which is smaller: j or m?
m
Suppose 5*n - 15 - 10 = 3*j, -5*n - 10 = 4*j. Let s(a) = a**3 + 2*a**2 - 3*a - 2. Let o be s(-2). Suppose -n*f - 2*f = -o. Do 1 and f have the same value?
True
Let j be (1 - -1) + 2/(-6) - 2. Let y = -1/12 - j. Suppose 4 = z - 0*z + w, z - 4*w = -11. Which is bigger: y or z?
z
Let y be 3/(-2)*(-4)/6. Let t = -24911/5 - -4905. Let u = 77 + t. Which is greater: u or y?
y
Let h = -1027 + 1028. Which is smaller: -1477 or h?
-1477
Let a = 2.11 - 0.11. Which is smaller: a or -63?
-63
Let b = 380 - 259. Let n = b - 122. Is -4/17 smaller than n?
False
Let f be ((-45)/(-3))/(-6 + (-3 - -10)). Which is greater: 19 or f?
19
Suppose 0 = 8*j + 107 - 723. Which is smaller: 76 or j?
76
Let k be 6/(-4) + (-7 - (-10)/(-8)). Is -11 greater than k?
False
Let m(i) = 42*i + 504. Let c be m(-12). Which is greater: c or -2/537?
c
Let q = 2598.363 - 2598. Which is greater: q or -0.2?
q
Let w = -4 - -3.54. Let j = -0.5 - w. Let t = -9.1 + 9. Which is greater: t or j?
j
Let n be (-4)/(-18) + (-2060)/36. Suppose -3*p = -3*s - 39 + 195, 3*p - 5*s = -148. Do p and n have different values?
True
Let n(p) = -p - 2. Suppose -2*x = -m - 10, -m + 4*x = -2*m + 14. Let r be n(m). Which is greater: r or -2/59?
r
Let y(s) = -s**3 - 2*s**2 + 2*s - 3. Let l be y(-3). Let o = 23/3 - 791/102. Let r = o - 13/238. Is r at least l?
False
Let y(m) = m**3 - m**2 + 2. Suppose -5*s = -17 + 7. Let a be y(s). Which is smaller: a or 4?
4
Suppose 0 = -0*i - i + 1. Let r(d) = d**2 - 1. Let k be r(i). Is k greater than or equal to 1/2?
False
Let p(b) = 10*b + 4. Let r be p(2). Let q be (r/(-744))/(1 - 0). Which is greater: q or -1?
q
Let m = 145 - 146.18. Let l = 2.18 + m. Which is greater: -76 or l?
l
Let d = -12 + 15. Suppose -68 = -d*o + 5*c, 88 = 5*o - c - c. Suppose q = 2*q - o. Do q and 16 have the same value?
True
Let w = 99 - 101. Let k be 2/4*0 + 0. Let v be (w + k)/(-3 + 1). Is v at least as big as 3?
False
Let t(u) = u**2 + 22*u - 139. Let w be t(-14). Which is smaller: -252 or w?
-252
Suppose 1 = b, b = -3*t - 4*b + 5. Suppose t = 36*q - 35*q - 4. Let z = 3.2 - 3. Which is bigger: z or q?
q
Let g = 216.4 - 203.4. Is -10 < g?
True
Suppose 3*h - 3*a + 3 = 0, 4*h + h - 4*a + 10 = 0. Let b = 0.15 - 0.26. Let p = b - -0.01. Is p < h?
False
Let h be ((-650)/156)/(19/(-2)). Is 1 at most as big as h?
False
Let y(u) = u**3 + 5*u**2 - 5*u + 5. Let n be y(-6). Is -89 at least as big as n?
False
Let p be 15/9 - (-499)/(-303). Which is bigger: p or 0?
p
Let x = 4.21 + -4.078. Which is greater: -0.2 or x?
x
Let p = -6 - -6.2. Let n = p + 2.8. Let w = n + -2.8. Which is bigger: w or 0.03?
w
Let g = 902 - 905. Are -2/15 and g unequal?
True
Let v = -2.5 + 4.5. Let s = 1.1 - v. Are s and 1/3 non-equal?
True
Let b = -3/209 + -137/5016. Let d = -20 + 21. Suppose 0*j = -j + d. Which is bigger: j or b?
j
Let x = 40 + -27. Suppose z - 11 = q, -4*z = -z + q - x. Let n be ((-35)/(-20))/((-2)/(-8)). Is n greater than z?
True
Suppose -5*y = -0*y + 5*k - 65, 3*y - 47 = -5*k. Let j be (-2)/((-12)/y) - (-6)/(-4). Which is smaller: 1/124 or j?
j
Suppose 7*x + 249 = 10*x. Let n = 497/6 - x. Is 0.1 > n?
True
Suppose 0 = -b + 3*i, 109 = -i + 115. Let m(f) = 3*f**2 + f + 2. Let x be m(2). Is x at least as big as b?
False
Let p = 185 + 31. Which is smaller: p or 217?
p
Let d = -10.2 - -9. Let g = -1 - d. Let f = g + -0.6. Is 0.1 smaller than f?
False
Let b = 72.2 - 72. Which is bigger: -8/3 or b?
b
Let n(a) = -a. Let t be n(-5). Let d(p) = p - 5*p - 2 - 2*p + t*p. Let j be d(-8). Which is smaller: j or 5?
5
Let p(j) = j - 2. Let v be p(0). Let h be 89 + 1 + (v - 3). Suppose -3*n + 0*q + 4*q - h = 0, -77 = 3*n - 2*q. Is -23 bigger than n?
False
Suppose 45 