 - 13*i - 5. Let x be a(-4). Suppose 3*l = -0*l - 2*t + 77, 0 = -l - t + 24. Which is bigger: l or x?
l
Let p be ((-3)/(-9))/((-2)/42). Let h(m) = 3*m - 2. Let b be h(p). Which is smaller: -25 or b?
-25
Let t = 149365 - 1793699/12. Let c = t - -417/4. Which is bigger: -7 or c?
c
Let f = -4/17 - 103/68. Are -1 and f nonequal?
True
Let p(c) = -c**2 - 8*c - 8. Let l be p(-7). Let x be (-33)/(-63) - (-3)/(-9). Which is greater: l or x?
x
Let s(j) = -j + 1. Let i be s(1). Suppose i = x + 3 - 4. Let y = 95/6 + -16. Which is bigger: y or x?
x
Let o(j) = 21*j + 38. Let a be o(-6). Let n be (-14)/(-21) - a/(-138). Is n bigger than 0?
True
Let d be ((-45)/(-75))/(81/930). Is 8 less than d?
False
Let b = -493 - -99. Is b > -394?
False
Let z be (-852)/(-24) + 2/4. Suppose -t + 5*g = -0*t + z, -g + 300 = -5*t. Are t and -62 equal?
False
Let w = 14 + -23. Let k be 2/(-3) - (-291)/w. Which is smaller: 0.1 or k?
k
Let h = -22/5 + 533/120. Let l = -3 + 2. Is l less than h?
True
Let k = -0.8 - 3.2. Let q = -26 - -27.9. Let i = 0.1 + q. Are i and k non-equal?
True
Let k(s) = -4 + 24 - 3*s + s. Let x be k(0). Let j be 5*(2 + (-36)/x). Is -0.2 less than j?
True
Suppose 17*u + 306 = 23*u. Is 51 at most as big as u?
True
Let s be 28 + -28 - (-2346)/(4/(-4)). Are s and -2346 equal?
True
Let s = 1221/2 - 634. Let q = 137/6 + s. Is -2 != q?
True
Suppose -2*v + 74 = 4*n, 159 + 17 = 4*v + n. Is v less than 232/5?
True
Let t be (31/(-2))/(-3*(-8)/(-48)). Which is greater: t or 121/4?
t
Let u = -496 + 529.1. Let l = -33 + u. Which is greater: 16 or l?
16
Let r = 82 - 81. Let g = -1 - -1. Let v be g + (-2)/(-2) + -1. Do v and r have the same value?
False
Let n be -1 + 2 - (-3 - -2). Let o be (n/5)/((-3)/(3*-10)). Which is bigger: o or -2?
o
Suppose 0 = 7*o - 4*o. Suppose 4*h + 11 = -3*u, -5*u - 2*h - 1 - 8 = o. Is u <= -3?
False
Let g = 195 - 178.2. Let m = g + -17. Let y = 7 - 5. Which is greater: y or m?
y
Let w(s) = -7*s**2 + 269*s - 857. Let z be w(35). Let i be 3/3*(1 - 1). Suppose i = 6*u - 3*u + 51. Do u and z have the same value?
True
Let n be ((-3838)/(-95))/((-12)/10). Is n smaller than -35?
False
Let u = -110.6 - -114. Let h = -0.035 - -3.335. Let c = u - h. Is -7/5 != c?
True
Let l(f) = 9*f**3 + f**2 - 3*f + 2. Let p be l(1). Suppose -5*g - p + 9 = 0. Is -31 at most g?
True
Let u = 351 - 350. Is -0.08 not equal to u?
True
Suppose 4*n = -6*x + 5*x - 17, -2*x = 2*n + 10. Is -5/163 less than x?
False
Let q(m) = 5*m + 7. Let x(b) = -b - 1. Let z(a) = q(a) + 6*x(a). Let n be z(-1). Let w be -5 - (0 - 2) - n. Is w smaller than -5?
False
Let d = 13280/57 + -233. Which is smaller: d or 1?
d
Suppose -2*d + 7 + 11 = 0. Suppose -3*z - d + 18 = 0. Which is bigger: 4 or z?
4
Suppose -3*v + 32 = -r + 2, -27 = -4*v - 3*r. Suppose 49 = -4*q + v. Let t be 1*2/q*-5. Is 2/5 at most t?
True
Let w be ((-8)/3)/((-100)/(-5928)). Let b = -158 - w. Let t = 31/75 - b. Which is greater: t or -4?
t
Let u = 0 - -2. Let z = -9 - -6. Is u < z?
False
Let g be 2/6 - 16/3. Suppose 13*k - 155 = 44*k. Is g at least as big as k?
True
Let n = 6 + -3. Suppose 2*u - 1 + 3 = 4*j, 2 = -u + n*j. Is u not equal to -1/3?
True
Let k be (-20)/18 + (3 - 3). Suppose -6*j - 12 = -10*j. Suppose j*p + 0*t - 2*t = -16, 4*t = 2*p + 24. Which is greater: p or k?
k
Let z(k) = -k - 10. Let b(x) = x + 5. Let t(r) = -7*b(r) - 4*z(r). Let o be t(6). Which is smaller: -12 or o?
o
Let r = 114.956 + -1.156. Let h = -114 + r. Which is smaller: 20 or h?
h
Let f be (-30)/(-40)*100/42. Is f >= 3?
False
Let x = 44 + -43.96. Let k = 0.96 + x. Is -49 less than k?
True
Suppose -87 = -9*f + 39. Suppose 0 = s - f + 33. Is s smaller than -19?
False
Suppose -4*k + 30 = 2*u, u - 2*k - 3*k - 8 = 0. Let l = -13 + u. Which is smaller: l or -0.3?
-0.3
Suppose 0 = -3*j + j - 2*a + 10, -5*j + 3*a = 15. Is j bigger than 6/19?
False
Let t = -148 - -151. Suppose 3*d - 4 - 8 = 0. Suppose 5*n = t*n - d. Is -10/7 bigger than n?
True
Suppose 278*v - 96 = 266*v. Which is smaller: v or 5?
5
Let r = 188/357 - 43348/66045. Is 0 less than or equal to r?
False
Suppose 4*b + 136 = 5*x - 0*x, 5*x = 20. Is b at least as big as -29?
True
Let a = 44 + 46. Let o = a - 92. Which is smaller: -3 or o?
-3
Let u(g) = 2*g**2 - 69. Let b be u(-8). Which is smaller: 60 or b?
b
Suppose 3*y - 9 = 2*t, 0*t + 4*t = y - 13. Let w be 7/(-3) - 0 - 45/27. Which is smaller: w or t?
w
Let a(t) be the third derivative of 23*t**4/24 + t**3/2 - 6*t**2. Let z be a(4). Let n be (-2 - (-188)/z)*-5. Is -1 at most n?
True
Suppose 992 = 294*l - 286*l. Which is bigger: 1 or l?
l
Let d = -14.83 + -0.67. Let b = 0.5 - d. Let z = b + -17. Which is smaller: -6 or z?
-6
Let a(f) = 4*f + 5. Let s be a(8). Suppose -6*i + 3*o - 177 = -11*i, -109 = -3*i + o. Which is greater: s or i?
s
Let k(p) = -6 + 0 + 5*p - 6*p. Suppose 0 = -0*w + 2*w + 12. Let c be k(w). Which is smaller: -1 or c?
-1
Suppose 2*b + 5*a - 16 = 9, 2*b - 2*a = 60. Suppose -4*p = -7*v + 2*v + 108, 4*v - p - 93 = 0. Which is bigger: b or v?
b
Let c = 1906336/7007 - 213/637. Let m = -272 + c. Is -0.1 at most m?
False
Let c(z) = -11*z + 2 - 13*z + 23*z. Let m be ((-10)/(-6) - 1)*6. Let v be c(m). Which is greater: v or -8/7?
-8/7
Let r be ((-2)/(-3))/((-4)/(-66)). Suppose 6*n - r*n = -25. Suppose -n*i - 15 = -0*i. Are i and 0 non-equal?
True
Let d be 356/(-40) - (-11)/((-99)/(-45)). Is d at least -5?
True
Let n(q) = 6*q**2 + 1. Let l be n(-2). Suppose l = t + 4*t. Let b = 9 - t. Are b and 4 unequal?
False
Let d(x) = -10*x + 70. Let j be d(5). Is j greater than or equal to 171/8?
False
Suppose y - 97 = -4*b, 45 = 2*b - 2*y - y. Let w be ((-4)/b*4/(-7))/(-6). Is 1 >= w?
True
Let h = 0.0098 + -0.0008. Is -1/2 bigger than h?
False
Suppose -7*r = -13*r + 258. Let k = 43 - r. Let c(u) = -3*u**2 - u + 1. Let q be c(1). Which is smaller: k or q?
q
Let p = 323 - 2909/9. Which is bigger: -104 or p?
p
Let l(j) = -4*j + 2*j - 3 + j**2 + 5 + 5*j. Let b be l(-3). Which is smaller: b or -1/9?
-1/9
Let y = 306 - 304. Which is greater: -60 or y?
y
Let v(q) = q**3 + q**2 - 40. Let x be v(0). Let a = 42 + x. Is a bigger than 10/9?
True
Let a(z) be the first derivative of -z**4/4 - 17*z**3/3 + z**2/2 - 16*z - 18. Let c be a(-17). Are c and -33 nonequal?
False
Let g = 0.86 - 0.16. Let y = g + -2.7. Let n = 1 + -1. Which is bigger: n or y?
n
Suppose 5*f - 4 = 3*o, 3*f + f - 3*o - 2 = 0. Suppose f*n = 2*w + 112, w + 29 = -5*n - 15. Which is bigger: -53 or w?
-53
Let u = -40 + 51. Let x = 10 - u. Which is smaller: 6 or x?
x
Let z(m) = -m**3 + 5*m**2 + 2. Let p be z(5). Let h = 3/71 + 207/142. Let n = p - h. Do n and 2 have the same value?
False
Let i(s) = 2442 + 4*s + 24*s + s**2 - 2389. Let c be i(-26). Does 2/77 = c?
False
Let s = -2/68245 + -436734/1160165. Let d = -4389/17 - -258. Let r = s - d. Is r greater than or equal to -1?
True
Suppose -5*f = -3*l + 79, -5*l + 3*f + 116 = -21. Let u = 31 - l. Suppose -5*i + 17 = c - 14, -5*c + 23 = u*i. Is i bigger than 3?
True
Let u = -14/53 + 552/2491. Let k = 2/43 - -35/172. Which is smaller: u or k?
u
Let z = 288 + -657. Let k = z + 409.4. Let w = k - 40. Is 0.02 equal to w?
False
Let l be ((-7)/(-49) - (-36)/(-56))*2. Are 12/25 and l unequal?
True
Let h = 0.9 + -1.08. Let z(k) = 3*k + 6. Let q be z(-3). Let t be 0/(12/q + 2). Is h at most t?
True
Suppose 0 = -2*r + 5*x + 28, -6*r = -r + 4*x - 37. Which is smaller: r or 6?
6
Let m = -81/23 - 2483/46. Is -59 >= m?
False
Let c be -2 - (-13)/((-2275)/(-336)). Is 0.2 smaller than c?
False
Let t(l) = 5*l - 1. Let z be t(1). Suppose -16*n = -1038 + 2526. Let f = -90 - n. Is z at most f?
False
Let i(a) = -4*a - 17. Let x = -14 + -13. Let m = x - -21. Let f be i(m). Is f <= 4?
False
Suppose -5*p - 263 = y, -12*y = -9*y - 4*p + 713. Are -240 and y unequal?
True
Let y(d) = 4*d**2 - 47*d - 12. Let t be y(12). Is -16/83 at least t?
False
Suppose -4*q - 52 = 4*z, -z + 43 = -4*z - q. Let h be (-10)/z*-3 - -4. Which is smaller: 5/9 or h?
5/9
Let b be 10/(-4)*4/(-5). Suppose -5*v - 2*c - 5 = -4*c, -b*v - 2 = 5*c. Is v at least -3?
True
Suppose j - 88 = -2*b + 4*j, j + 220 = 5*b. Let o = 60 - b. Let f be 0 - (-2 - 30/2). Is o <= f?
True
Let o = 214 - 182. Which is bigger: o or 26?
o
Let s = 127 + -9. Do s and 0.1 have different values?
True
Let o = 811.19 - 811. Which is 