l be 16 + -12 - (2 - 49*2). Suppose w + w = -4*y - l, 5*w = 4*y + 100. Which is smaller: -1 or y?
y
Let d = -54 - -58. Suppose h + 3*y - 3 = 0, 4 = h + d*y + 1. Are h and 3 equal?
True
Let j = -43 - -74. Let l = j - 27. Let i = -9 + l. Which is greater: 2 or i?
2
Let q = 5 - 5. Suppose 2*a - 2 + 12 = q. Let k = -38.1 - -38.2. Is a > k?
False
Suppose 3*q = -n - 110, 0 = -5*q - 20. Which is smaller: n or -100?
-100
Let l(n) = n**3 - 5*n**2 + 4*n - 1. Let x be l(4). Let o = 1/15 + -1/6. Which is smaller: o or x?
x
Suppose -2*g + 6*g - 12 = j, 0 = -4*g - 5*j + 12. Suppose -g*x + x + 4*u = -18, -4*x - u = 9. Let o = 1138/2241 - 36/83. Is o <= x?
False
Let j = 13 + -5. Suppose j = 6*a - 2*a. Suppose 4 = 2*t - a. Is t > 12/7?
True
Let t be (0 + (-28)/6)/(4370/855). Which is bigger: t or -1?
t
Let d be 7/2 - 5/10*1. Suppose 3*c + 5*o - 42 = 0, d*c - o - 10 = 14. Is 11 <= c?
False
Let q(k) = -k**3 + 4*k**2 + 3. Suppose -4*w + 6 = -6. Let h be q(w). Suppose -h = -3*f, x + 0*f = -2*f + 5. Is -2 bigger than x?
True
Let g = -110/3 + 37. Suppose 0 = -3*m - 4*j + 1, -2*m - 5*j = 4 - 0. Suppose -m*k + 5 = 8. Which is bigger: k or g?
g
Let b(v) = v**3 - v**2 + v + 20. Let u be b(0). Suppose -5*k - 5*t - 25 = 0, k + 4*t + u = -0*k. Let s be (2 + k + -1)*-4. Is -3 != s?
True
Suppose 3*r + 24 = 7*r. Let c(s) = -s**3 + 16*s**2 + 19*s + 26. Let t be c(17). Suppose r*g + t = g. Which is smaller: -13 or g?
-13
Suppose 5*p - 2*p + 4*n - 19 = 0, -5*p = n - 26. Suppose 0 = 3*g - 5*y + p + 16, 0 = -2*g + 4*y - 16. Let q be 4/(-8)*(g + 10). Which is smaller: -5 or q?
-5
Let r = -5144/29 - -177. Let h = r - -432/145. Which is greater: 0 or h?
h
Suppose 22 = 3*b - 5*c, 0*c = -5*b - 3*c + 14. Suppose -b*w + 5*w + 10 = 0. Let v be (0 - w)*(2 + -1). Is v at least as big as 11?
False
Let r = 1.59 - 0.6. Let n = r - -0.01. Which is smaller: 1/5 or n?
1/5
Suppose -57 + 1052 = 5*z - 5*s, -z - 3*s + 203 = 0. Is z equal to 200?
True
Let l = 1455 - 1489.15. Let g = l - -34. Is g > -1/3?
True
Let x(t) = -2*t + 2. Let b be x(-2). Let i be -1*b/(1 + -3). Suppose 3*s + 9 = -i*d - 0*s, -2*s + 2 = 0. Is -3 greater than d?
True
Let t = -5/419 + 7976/1257. Let a = -10 - -16. Which is smaller: a or t?
a
Let x(s) = -37*s + 5. Let i be x(-4). Let v be (-34)/i - (-238)/18. Let h be v/6 + 1/3. Which is greater: h or -0.1?
h
Let p be -2*((-6946)/44)/1. Let w = 315 - p. Are w and 0 nonequal?
True
Let i be ((-10)/(-6))/((-2)/(-12)). Suppose -4*c = c - i, 0 = -3*p - 3*c. Let l be p/5*(-10)/(-14). Which is smaller: 1 or l?
l
Let d = -1261 + 1245. Is -18 less than or equal to d?
True
Let s = -34 - -46.5. Let a = -1.31 + -12.69. Let k = s + a. Is 1 < k?
False
Let g be 1/(84/(-183))*20/(-95). Let v = 6/19 - g. Which is smaller: v or -1/3?
-1/3
Suppose 0 = -5*t + d + 55 + 757, -2*t + 320 = -2*d. Which is smaller: -2 or t?
-2
Suppose -4*a + 7*a = 0. Let o be 2*(-3)/(a - 3). Let n be -6*((-165)/81 + o). Which is smaller: 0.08 or n?
0.08
Suppose -2*g + 0 + 28 = 0. Suppose 0 = q - 5, -5*m - g = -4*q + 16. Which is greater: m or 23?
23
Let b = 30 - 15. Suppose 3*a = -b + 90. Is 26 < a?
False
Let y = 2957135/299 + -9890. Let i be ((-14)/((-644)/3))/((-39)/4). Let f = y + i. Which is bigger: -1 or f?
f
Let u = -169.06 - -171. Let d = u - -0.06. Let n = 13.66 - 13.06. Is n > d?
False
Let x(d) = -d**2 + 7*d + 7. Let w be x(8). Let o(r) = r**3 - 10*r**2 + 7*r - 4. Let k be o(7). Let v = -1021/10 - k. Which is smaller: w or v?
w
Let h be 258/301 - 898/(-14). Which is greater: 68 or h?
68
Let l be (-2)/(6/333)*(-32)/(-48). Which is smaller: l or -73?
l
Let q be -4 + 5 + (2 - 9). Which is smaller: q or -50/9?
q
Let y(m) = -m**2 + 11*m - 7. Let w be y(10). Suppose 0 = -0*t - 2*t + 4. Suppose -i + t*i = 4. Which is greater: w or i?
i
Suppose 5*p + 5*x - 60 = 0, 2*p - 3*p = -5*x. Suppose p*u + 9 = 9*u. Are -7 and u equal?
False
Let t be 3*-1*(5 - (0 + 6)). Suppose h = t - 2. Is h at least 2/23?
True
Let p = 37 - 38. Let a be -9 - (1/p + -3 + 3). Is a equal to -10?
False
Let r be ((-358)/(-4))/(-6 + (-66)/(-12)). Let b = r + 81. Is b at least as big as -98?
True
Suppose 5*x - 19 = 21. Let k be 22/55 - (-2)/(-5). Suppose -5*j + 45 = -k. Which is bigger: j or x?
j
Let t = 797 - 961. Is -165 bigger than t?
False
Let v(n) = n**2 - 3*n - 10. Let p be v(5). Suppose i + 10 + 4 = p. Is i smaller than -13?
True
Let b(g) = 2*g**2 + 12*g - 110. Let s be b(-11). Let u be 0 + (-2)/(-15) + 0. Which is greater: u or s?
u
Let n = 1199 - 8391/7. Which is smaller: n or -69?
-69
Suppose 0 = 3*o + 2*m - 26, m - 4 = -4*o + 6*m. Let g(i) = -3*i - 1. Let x be g(-2). Let p = x - o. Which is smaller: -3/7 or p?
p
Let h = -0.6 + -0.4. Let c = 29 + -28.9. Which is greater: h or c?
c
Let r = -47/21 + 7/3. Let b = r + 4/21. Suppose 34*y - 14 = -48. Is b < y?
False
Let p = -11 + 14. Let w be 1*2*p/(-6). Suppose n = 0, 4*j + 5*n = n - 12. Which is greater: j or w?
w
Let t = -31 - 6. Let h = t - -38. Let y be ((-2)/6)/(5/3). Which is smaller: y or h?
y
Let b be (-14)/(-63) + (3 - 7/(-9)). Which is smaller: 0 or b?
0
Let m = 109 + -317. Does -207 = m?
False
Suppose 0 = -t + 2*t - 15. Let z be (-2 + 9/5)/((-12)/t). Is -1 at most z?
True
Suppose -6 = -10*g + 9*g. Let t be ((-4)/48)/((-3)/g). Let p = 3 + -4. Are t and p equal?
False
Suppose 57*q = 48*q - 315. Is q != -314/9?
True
Let m = 54 + -72. Let h be 28 + (-2 + 5)/1. Suppose h = -s + 11. Which is greater: m or s?
m
Let r be -1 - (5 + -2)/(-3). Let m(l) = l**2. Let c be m(r). Which is smaller: c or -17?
-17
Let k be 138/(-24) - -6 - 173/668. Is k != 1?
True
Let z be 4/(-6) - (-16)/15. Let u = -10.663 - 0.337. Is z < u?
False
Let y = -55.943 - -56. Is -0.1 less than or equal to y?
True
Let w = -75 + 75.1. Which is bigger: -143 or w?
w
Let f be (-72)/12 + 1 + 0. Let k = -64 - -66. Is k greater than f?
True
Suppose 2*p - 16 = 2*v, 0 = -p - 0*p - 4*v + 3. Suppose -12 = -2*c + c. Suppose -p*q + c*q - 10 = 0. Which is smaller: q or 0?
0
Let u = -0.23 - -0.28. Let h = 0.2 - 0.25. Let n = h + u. Are n and -6 non-equal?
True
Let k be (5 - 13) + -16 + 130. Is 104 < k?
True
Let k be (1 + 2)*(-1 + (-95 - -2)). Are k and -282 non-equal?
False
Suppose -3*j + 3*o + 18 = 0, 0 = -4*j + 2*o + 17 - 1. Suppose 0 = 3*i + j + 4. Let k be 78/(-14) + 2 - -3. Which is greater: k or i?
k
Let u be -1 - 10/3*(-60)/40. Is u at most as big as 2?
False
Suppose 3*i + 7 = 10. Let c be i/(6/(36/21)). Suppose -2*o = 3*h - 0*o + 5, -5*o - 16 = 4*h. Is c equal to h?
False
Suppose -6*n + 4 = -4*n. Let f be n - (1 + 0)*-16. Let s be 5 - 6 - f/(-20). Is 0 != s?
True
Let j = -6.3 + 13.4. Is -2/3 < j?
True
Let v = 6 - 6. Suppose r + v*r = 2. Suppose 0 = 2*j - 0 + r. Is 2 less than or equal to j?
False
Let c = -109/8084 - 5/172. Which is bigger: -1 or c?
c
Let t = -11 + 209. Suppose 0 = 5*x - t - 57. Let y be -1 - 3/x*-15. Which is bigger: 0 or y?
0
Suppose 0 = -3*q - 3. Let d be (78 - q)/(2 - 1). Let m = 1025/13 - d. Which is smaller: -1 or m?
-1
Let q = 595 + -181. Is 415 != q?
True
Let v(w) be the third derivative of -w**6/120 - w**5/30 + w**3/6 - 4*w**2. Suppose 3*c = 5*c + 2. Let d be v(c). Is -2/57 smaller than d?
True
Let g(f) = f**2 + 1. Let y be g(1). Let j(i) = i**2 + 4*i + 18. Let o be j(0). Let x = 21 - o. Which is bigger: y or x?
x
Let q be 5 - (1 - 3 - -1). Suppose 3*k + 0*k = q. Suppose -k*y - 5 - 5 = 4*w, -2*y = -2. Is -3 bigger than w?
False
Let a(y) = -4*y - 11. Let d(g) = -3*g - 10. Let s(t) = 2*a(t) - 3*d(t). Let i be s(-9). Let q = 37/198 + -5/18. Which is greater: i or q?
q
Let j = -891 + 880. Which is greater: -12 or j?
j
Let n = -2467/231 + 112/33. Let r = 7 + n. Which is smaller: r or 0?
r
Let o be 3/(-30) - (-4938)/(-20). Does 1 = o?
False
Let r = -1297 + 1298. Which is smaller: r or 36/29?
r
Let c = -887/15 - -294/5. Let z be 24/2*(-30)/8. Let n be (-2)/(-2) - z/(-39). Is c at most as big as n?
True
Suppose 0 = -5*y - i + 35, -10 = -4*y + 5*i + 47. Let d(c) = -3*c - 3. Let w(u) = -u. Let x(n) = d(n) - 5*w(n). Let q be x(y). Which is smaller: 14 or q?
q
Suppose -18 = -3*p - 4*s, -2*s - 2 = -3*p - p. Let x be p + ((-24)/4 - -1). Which is smaller: x or -2?
x
Let f = -47 - -73. Let l be f/(-169) - (-138)/728. Which is smaller: 0 or l?
0
Let o = -7 - -6. Let p = -420/11 + 38. Does o = p?
False
Suppose -4*s - 5*f = 546