4*j + 2*w - 16 = 0, -20 = 5*j + w - 0*w. Suppose v - 3*r + 7 = 0, -4*v - r = 3*r - 36. Suppose 0 = v*i + 13 + 7. Is i >= j?
True
Let t = 121 + -108. Let a = -8 + -6. Let i = t + a. Is i at most -2/5?
True
Let x = -96.28 - -98. Let n = x - -0.28. Which is smaller: 7 or n?
n
Let b = 967 + -710. Does b = 513/2?
False
Let w(v) = -2*v**2 + 10*v - 9. Let z be w(1). Is z at least 2/619?
False
Let t = 9046 - 9032. Suppose -o = -8 - 7. Which is smaller: t or o?
t
Let m(v) = 12*v**2 + 1. Let h be m(1). Suppose -3 = 4*k + h. Let d = -4 - 0. Is d greater than k?
False
Let a = -26 + 25. Let u be 0 + 194/(-190) + 1. Which is smaller: u or a?
a
Let w = 61/20 - -57/10. Let x = w - 8. Suppose 3*z - 11 = -k, -k + 6*z = 3*z + 7. Is x bigger than k?
False
Let z(x) = x**3 + 9*x**2 + 4*x - 11. Let t be z(-8). Suppose -5*v = -19 - t. Suppose 0 = 5*u - 2*g - 15, 2*u + 3*g + 5 + v = 0. Is 0 less than or equal to u?
True
Suppose -20*l - 1028 - 732 = 0. Which is greater: l or -89?
l
Let w(j) = j**3 + 7*j**2 + 9. Let z be w(-7). Let g(a) = -a + 12. Let f be g(z). Let o be (14/3 - 1)/1. Which is bigger: f or o?
o
Suppose -o = -3, -2*i + 101 = 3*o + 2*o. Let z = -44 + i. Which is greater: 1/37 or z?
1/37
Let l = 1/22 + -25/66. Let z = -11 - -15. Let q be z/1 - 9 - 1. Which is smaller: l or q?
q
Let p(x) = x + 12*x**2 - 2*x**3 - 3 - 9*x**2 + x**3 + 5*x. Let l be p(4). Suppose 5*k - 5*g + 35 = 0, -2*g = -5*k - 3*g - l. Is -3 at least as big as k?
False
Suppose -153 = 4*c - 7*c. Suppose -5*o - c = -1. Let z = o + 13. Is 1 less than z?
True
Let w = 647 + -648. Is w greater than or equal to -186?
True
Let j be -1 + 2*72/160. Which is greater: j or -107?
j
Let p(w) = -w**3 + 8*w**2 - 13*w + 5. Suppose -4*t - 7 + 31 = 0. Let g be p(t). Which is smaller: -2/21 or g?
g
Let o = 42696/13 + -3286. Which is greater: 7 or o?
7
Suppose -12*h = -8*h + 3*x - 21, -4*h + 2*x = -46. Suppose 21*i + h = 12*i. Which is bigger: -4 or i?
i
Suppose s = n + 1, -4*s + 2*s + 4*n - 2 = 0. Suppose s*b = -2*b - 60. Do b and -12 have different values?
False
Let i = -59 + 54. Which is greater: i or -2?
-2
Let s(b) = b**2 - 3*b + 2. Let n be s(2). Let w = 0.1 - 0.03. Let h = -3.07 + w. Is n greater than h?
True
Let x = -40.72 + 0.72. Let s = 28 + x. Is s less than 0.1?
True
Suppose -6*l = 3*l + 18. Are -28/31 and l nonequal?
True
Let o = -1284 + 1233. Let f be 49/(-1) + (-1 - 2). Is o <= f?
False
Let h = 728 + -26940/37. Does h = 1?
False
Let w = -0.015 + 24.715. Let u = -25 + w. Do 1/3 and u have different values?
True
Let i = 52 - 47. Suppose 2*y - 94 = -4*w, -i*y - 4*w = -3*w - 226. Is 45 equal to y?
True
Let v = 356567521/1504386 - 10/83577. Let l = -237 + v. Which is greater: 0 or l?
l
Suppose 2*z = 6*z + 8, -5*d + 3*z = 234. Let l = d + 49. Which is greater: 1/48 or l?
l
Let r be (0 - -1)*6*14/4. Suppose 0 = 8*g - r + 101. Are g and -8 unequal?
True
Let c = 276.8 + -277. Let y = 2 - 8. Which is smaller: y or c?
y
Suppose -4*z = -71 + 43. Let k be (4 - 30/z) + 66/(-14). Which is bigger: -2/27 or k?
-2/27
Suppose -5*b + 18 = -32. Let r = 3 - 3. Suppose -11*y + 6*y + b = r. Is y less than or equal to 4/7?
False
Let n = -0.312 + 0.45. Which is smaller: -0.1 or n?
-0.1
Let f be 50/(-1)*13/78. Suppose 5*q - 2*h + 41 = -0*h, -q = -3*h + 16. Which is bigger: q or f?
q
Suppose 2*v + 7 - 1 = 0. Suppose -h + 8 = 3*h. Suppose 4*q = h*g + 2, -g + q + 4 = -2*g. Are g and v equal?
True
Let s = 46 - 46.1. Is s greater than 72?
False
Let s = -33 + 31.1. Let q = -0.1 + s. Let t = 4 + -7. Which is smaller: q or t?
t
Let r = -46 - -53. Let n be (12/r)/(6*(-5)/20). Which is bigger: 3 or n?
3
Let q be 7/((-84)/8)*-3. Suppose 3*a - 25 = q*t, 4*a - a = t + 17. Suppose b + 11 - 3 = 4*o, 2*b + 4*o = -16. Is t >= b?
True
Let m(g) = g**3 + 6*g**2 + 7*g - 6. Let u be m(-3). Which is bigger: 15/34 or u?
15/34
Let s = 4/3 + -2/3. Are 1 and s equal?
False
Let j = -168 + 318. Let z = -11 - j. Let m be (-1)/28 - 46/z. Which is greater: m or 1?
1
Suppose 5*a = -25, 7*a + 90 = 5*l + 2*a. Let r = l + -7. Which is greater: 14/3 or r?
r
Suppose r + 5 = 2*r. Suppose r*n - 50 = -45. Which is bigger: 1/47 or n?
n
Let t be -3 - (-4 + 2)*3. Suppose -2*z = t*s - s, -4*s + 15 = -z. Let g = 13 + -13.2. Which is bigger: s or g?
s
Let v = 104 + -134. Let f be ((-8)/648)/(2/v). Is -1 < f?
True
Let p = -40 - -39. Which is greater: -4 or p?
p
Let o(r) = r - 2. Let v be o(-5). Let a(f) = 2*f + 5. Let x be a(v). Let y be (-1 + -1)*7/2. Is x at most as big as y?
True
Let k = 362 - 356. Is k less than -18?
False
Let a = 11 - 10. Let l = 5 - a. Suppose l = -5*w + w. Which is bigger: w or -2/27?
-2/27
Let j(t) = 0*t**2 + 31*t - 46 + 172*t**3 - 171*t**3 + 32*t**2. Let o be j(-31). Is o at least -46?
True
Let w be 4/(-12) + 4/(-6). Let d be (-2)/(-3) - 717/9. Let n = -1345/17 - d. Does n = w?
False
Let h = 33 - 30. Suppose -5*i - 4 = -i, 2*d = -h*i + 17. Let s = 3 - d. Do -1 and s have the same value?
False
Let y(t) = 11*t - 89. Let d be y(8). Is d <= -3/49?
True
Let s = -43 - -38. Let h be (0 - -4) + s + 46. Is h <= 46?
True
Let d = 239 - 253. Let f be ((-4)/(-3))/((-2)/(-3)). Let c be (f - d/(-6))/(-1). Are c and 0 equal?
False
Let k = 9669349/4217510 - 25/18337. Let s = k - -5/46. Suppose 0 = 52*r - 63*r. Which is bigger: r or s?
s
Suppose 3*k + 9 - 120 = 0. Is 3 != k?
True
Let t = 0.12 - 2.12. Is t greater than or equal to 3/23?
False
Suppose -4*u - 3 = 5. Let s be 4/((-16)/(-22))*u. Let z = 7 + s. Which is greater: z or -2?
-2
Let f = 86 - 164. Let z = f + 143/2. Is 1 not equal to z?
True
Let g(j) = -8*j - 18. Let v be g(-15). Is 103 smaller than v?
False
Let h be 2411/132 + 4/(-22). Let j = -18 + h. Let u = 29 - 28. Which is greater: j or u?
u
Let u = 0.91 + -0.6. Let s = u + -0.51. Let z = s - 0.8. Which is bigger: 3/8 or z?
3/8
Let p = -93 + 745/8. Let d = -0.218 - -9.118. Let k = 9 - d. Is p bigger than k?
True
Let w be (-4)/10 - 168/40. Suppose 7*y - 30 = 12*y. Are w and y nonequal?
True
Let i be 4/48*-3*(3 + 1). Is 14/55 at most i?
False
Suppose l - 5*r = -9, 8*l + 3*r - 2 = 12*l. Which is bigger: l or 10/219?
l
Let w be 45/(-55) - 2/11. Which is bigger: w or 18?
18
Let f = 2240 + -11106/5. Are 20 and f non-equal?
True
Let u be (-1)/2*(3 - 7). Suppose -u*d - 72 = -3*q, 4*d + 9*q - 4*q = -188. Let b = 293/7 + d. Which is bigger: b or -1?
b
Let o = 0.4767 + -0.4767. Let d = 61 + -99. Which is bigger: o or d?
o
Suppose -a = -6*a + 1965. Let j be a/21 + (-4)/(-14). Let i = j + -14. Which is smaller: 21/4 or i?
i
Suppose 5*h + 2*c + c = -15, 25 = 4*h - 5*c. Suppose 0 = -3*o + 4*f - 23, h*o + o + 3*f = 14. Let t be ((-10)/15 - o)/(-3). Which is bigger: t or 1?
1
Let v = -209 + 211.8. Let i = 5 + -2.1. Let c = i - v. Which is bigger: c or -8/9?
c
Let i be 11*-2 - (-11 + 13). Let f be (-4)/6*684/i. Suppose -f*z = -16*z. Which is smaller: 2/9 or z?
z
Let o = -0.0053 + 28.0053. Is 1 at least as big as o?
False
Suppose 2*y - 24 = -4*f, 3*y + 4*f - 91 = 9*f. Is 29 at least y?
True
Suppose -12*i = -15*i + 36. Suppose -40 = 4*n + i. Which is smaller: 0.1 or n?
n
Let w = 1 - 0. Let x be 1023/(-2871) + 1 + 1/(-3). Let a = x + -139/261. Are a and w nonequal?
True
Let i = -28 - -176. Are 148 and i equal?
True
Let r = -89.68527 + -0.33373. Let m = r + 0.019. Is m less than 1?
True
Let s = 314/13 - 929/39. Which is smaller: -0.68 or s?
-0.68
Let q = 34 + -31. Suppose 15 = q*j - 0. Suppose 3*v + l - 5 = 0, 5*v - 32 = v + j*l. Is 4 smaller than v?
False
Let f = -1.13 + -2.87. Do f and -12 have the same value?
False
Suppose -f + 12*o = 11*o + 14, -23 = 2*f + 3*o. Which is smaller: f or -8?
f
Suppose -186*r - 3 = -183*r. Suppose b = -5*u + 4*u + 45, -b + 39 = -5*u. Let q = b - 656/15. Does r = q?
False
Suppose w = 23 - 15. Let b be (-2)/(-4) + 58/(-4). Let f = b - -20. Which is bigger: f or w?
w
Let t = -11.9 - -9. Let x = -1.9 - t. Let c be (-472)/26 - 4/(-26). Which is bigger: x or c?
x
Suppose 17 = -3*g - 46. Let q = g - -17. Which is smaller: -14/5 or q?
q
Let r = 2.48 - -0.32. Let d = -119.4 + 116. Let b = d + r. Is 0.2 smaller than b?
False
Let u be 2/8 + 33/(-4). Let g be u*(4 + 18/(-8)). Suppose 3*q = 2*q + 5, -3*k - 3*q = 30. Which is bigger: g or k?
g
Suppose 0 = 65*q + 14146 + 35124. Are -757 and q non-equal?
True
Let k be 6*(-48)/(-54) + (-4)/3. Suppose 5*