
Let v = -529/636 - -13/159. Which is smaller: 179 or v?
v
Let o be 3*1*(-627)/19. Let t = o - -136. Let c(b) = -3*b**2 + 37*b - 8. Let r be c(11). Do t and r have the same value?
False
Let k(b) = -16*b**2. Let m be k(1). Let d be 43/(215/(-90)) - 2*(42/7 + -7). Are d and m equal?
True
Let r = -3492.53 - -3542. Let v = 0.53 + r. Let t = v + -19. Which is bigger: -1/3 or t?
t
Let j = -207.5 + -867.5. Let w = 1103 + j. Let g be 2/4*2/(-3). Is g at most w?
True
Let m = -280343/23 - -11777. Let w = 412 + m. Which is greater: 0 or w?
w
Let d = -4447 - -6218. Which is bigger: 1770 or d?
d
Let d = 10 - 40. Let m = d - 41. Let w = 56 + m. Which is smaller: -0.2 or w?
w
Suppose 79*z - 725 - 180 = -115. Which is smaller: 179/17 or z?
z
Let w(v) = -3284*v**2 - 654*v + 5. Let i be w(-2). Is -11823 at most i?
True
Let d(g) = -g**2 + 3*g + 1. Let r be d(3). Let x(i) be the second derivative of 5*i**3/6 - 5*i**2/2 - i - 48. Let z be x(r). Is z less than or equal to 13/10?
True
Suppose -x = -0 - 5, -4*k - 5*x + 109 = 0. Let g be (14 - 0)*6/k. Suppose 25 - 5 = 5*b - 3*v, g*b - 24 = 4*v. Is b less than -5/21?
False
Let i(v) = -v**3 - 6*v**2 + 8*v + 9. Let z be i(-7). Suppose 12 = -5*a - 4*f, -z*a = -2*f - 6 - 0. Let r be a*((0 - -1)*-2 + 1). Is r <= -0.18?
False
Suppose 2*n + 4*w - 3596 = 6*w, -4*w = 5*n - 8981. Suppose -n = 2*m - 687. Let v be 96/m + (-1)/(-5). Is 1 less than v?
False
Suppose 0 = 5*b - 28 - 12. Suppose -g = -b*g + 3*g. Suppose -5*r + g = 5. Which is greater: r or -6/25?
-6/25
Let s be ((-2 - -2) + -1)/45. Suppose 5*k - 20 = -4*a + a, a + 5*k - 20 = 0. Is s at least as big as a?
False
Let c = -206.9507 - 0.0493. Let s = -207 - c. Do 2/15 and s have the same value?
False
Let g = 0.01 - 0.01. Let s = 4.442 - -0.058. Let i = -2.5 + s. Is g bigger than i?
False
Suppose -16*d = -19*d - 12. Let p(a) = -a**3 - 5*a**2 - 2*a + 7. Let f be p(d). Are 2/107 and f equal?
False
Let x = 11 - 2. Let d = -10 + x. Let o = 491 - 490.7. Are d and o unequal?
True
Let q = 1.7849 + -568.7849. Are -1/5 and q unequal?
True
Suppose 51*v = 36*v - 2595. Do v and 9 have different values?
True
Let p(q) = -409*q + 17629. Let c be p(84). Is -16727 greater than or equal to c?
True
Suppose 22 - 16 = -2*f + 2*j, 15 = 3*f + 5*j. Let m be (1 - f)*145/(-25). Which is greater: -6 or m?
m
Let g = 695 - 695.2. Suppose -3*i + 21 = 3*s, 8 = 4*s - 3*i + 2*i. Let f be (-5)/s*(-27)/(-36). Which is smaller: f or g?
f
Let p(z) = -z**2 + 2*z + 2. Let a be (1/(-4))/(6/24). Let u be p(a). Let t(h) = h**3 + 2*h**2 - 9*h - 4. Let r be t(-4). Is u at least r?
False
Let n = 8303 - 8286. Is n less than -0.54?
False
Let j(z) = -4*z**2 - z + 1. Let t(k) = -k**2 - k + 1. Let x(w) = -w**2 + 3*w + 3. Let d be x(3). Let p(q) = d*t(q) - j(q). Let n be p(-3). Is 0 greater than n?
False
Let f(m) = m + 4. Let x(w) = 150*w + 31. Let k(s) = 6*f(s) - x(s). Let q be k(1). Which is greater: q or -150?
-150
Let i(g) = -2846*g + 133760. Let v be i(47). Let w be (2 - (-10)/(-8))*4. Suppose -32 = w*y + 4. Is v >= y?
True
Suppose 454*n + 9688 = 482*n. Is n greater than 342?
True
Suppose -j - 4*j = 185. Let r = -121 - -94. Let g = j - r. Is g smaller than -10?
False
Let y(b) = -21*b - 312. Let z(p) = -7*p - 104. Let h(j) = 6*y(j) - 17*z(j). Let o be h(-15). Let g be 1*(48/(-26) + 2). Are g and o equal?
False
Let m = 319 - 225. Let j = -17448 - -17541. Are j and m non-equal?
True
Let i be ((-15)/20)/(6/34) + 3. Let g be (-2)/(4/(-1) - -3). Let r be g*1 - ((-2 - -13) + -7). Which is greater: r or i?
i
Suppose x + g + 15 = 6*g, -5*x = g - 3. Suppose x*i - 2*i - 78 = -2*u, -156 = 4*i + 3*u. Let r be (-5)/2*(2 - -31 - 17). Which is greater: r or i?
i
Suppose 155*n + 105274 = -214336. Is n less than -2065?
False
Let s = 346 - 345.9. Is 2259 greater than or equal to s?
True
Suppose -63*q = -6*q + 12426. Which is greater: q or 0?
0
Let g = 17 + -23. Let i be (-2)/(1 - -3)*g. Suppose i*m = 2*m - 1. Which is smaller: m or 16?
m
Suppose -4*t + 5*j = -44, 3*t - 2 = -3*j - j. Suppose -4*i + 509 = 101. Let a be 3/4 - i/(-24). Are a and t nonequal?
True
Let v(a) be the second derivative of -a**5/20 + a**4/6 + 5*a**3/6 + 17*a. Let y be v(-3). Let g be 5/(-4)*6/9*y. Which is greater: -28 or g?
g
Let u = 1.74 + 186.26. Let k = 190 - u. Is k smaller than -4/15?
False
Let l be (2/4)/(5*7/(-910)). Let k(m) = -m**2 - 11*m + 25. Let f be k(l). Which is greater: f or 1/324?
1/324
Suppose -6 = 2*l - 94. Let p(d) = d**2 + d + 5. Let y be p(3). Suppose 42 = g + 2*j, -4*j = -y*g + 13*g + 180. Is l >= g?
True
Let o = 573 - 393. Let l = -180.5 + o. Let s = 12 + -22. Is s greater than l?
False
Let s = -20.9 - -9.27. Let p = -0.1 - 11.5. Let o = s - p. Is o not equal to 0?
True
Suppose -24 = -70*f + 67*f. Suppose -103*x = -105*x - f. Let l(q) = q**3 + 4*q**2 - 4*q - 1. Let p be l(-5). Is x equal to p?
False
Let b = -86 + 83.6. Let f = b + 2.5. Is -2/123 greater than f?
False
Suppose 5*m - 16 = 3*s - 101, 3*s = 2*m + 70. Let o(i) = -103*i + 3. Let h be o(1). Let j be (-3)/(4 - h/(-24)). Is s less than or equal to j?
False
Let v = 273 - 51. Suppose 6*z = v + 324. Which is greater: z or 90?
z
Let t = 44583 - 44581. Let j = -19 - -179/9. Which is bigger: t or j?
t
Let p = 61 + -53. Suppose p = -f + 27. Suppose -4*g = -5*t + f, t - 7 = 4*g - 0*t. Are g and 1/43 unequal?
True
Let y = 5/1191 - 1226/8337. Let u(o) = o**2 + 3*o + 2. Let v be u(-3). Let a be v*(-1)/(-4)*-2. Is y > a?
True
Suppose -1748 = 1742*b - 1719*b. Do -83 and b have the same value?
False
Let d = 1887.6 + -2393. Let n = 503 + d. Which is smaller: n or 1.1?
n
Suppose -9*u + 6 = 5*n - 12*u, 15 = 3*n + 2*u. Suppose -5*r - 63 = -4*c, 0 = 9*r - 4*r - n*c + 66. Let v(y) = -3*y + 2. Let k be v(6). Is r equal to k?
False
Let y be 3567*(-394)/1204 - (-52)/182. Let g = y - -1167. Which is greater: 1 or g?
1
Suppose -3*c - b = c - 21, 2*b = 2. Let a(i) = 17 + 2*i**2 + 2*i**2 - c*i**2 + 0*i**2 + 3*i. Let s be a(6). Are s and 1/51 equal?
False
Suppose -4*u + 12 = 3*h - 7*h, 3*h + 19 = 5*u. Suppose 10 = -u*j, 5*j + 66 + 59 = -5*x. Which is smaller: x or -13?
x
Suppose 4*c = -4*a - 260, 246*a + 349 = 241*a - c. Is a <= 21?
True
Suppose 2 + 2 = -2*y. Let w be (y/(-3))/((-121)/3). Let h be -1270 + 1229 + 3*14. Which is smaller: w or h?
w
Let h = -121 - -125.5. Let b = h - 10.9. Is b less than or equal to 1?
True
Let n(f) = 2*f**3 - 35*f**2 + 37*f + 12. Let a be n(16). Let g = 159 + a. Let h be (-1816)/312 - (-2)/13. Which is bigger: g or h?
g
Let m be 3 - -1*(-54)/(-11 + 20). Is m at most as big as -235/92?
True
Let u(q) = -10*q + 92. Let p be u(10). Let r be (14 - 0)*(-8)/p. Is 64/5 bigger than r?
False
Suppose -107*h - 27*h = 45*h + 6502175. Is -36324 >= h?
True
Suppose u + 17 + 25 = 0. Let b be 104/u + 14/42. Let n = 7 - 10. Is b < n?
False
Let x = -46 + 58. Suppose -15 = 3*o - x. Let c be (-3*1/(-39))/1. Is c less than o?
False
Let c be 26/(-273) + 789/8946. Which is smaller: c or 0.2?
c
Let s = -3.3 - -2.38. Let q = s + -0.08. Let f = -92.7 - -84.7. Which is smaller: q or f?
f
Suppose 3*c + 18 = 0, -4*t = -1969*c + 1965*c - 16. Which is greater: t or -1992?
t
Let t(l) = -2*l**3 - 4*l**2 + 4*l + 8. Let n be t(-4). Let j be (-6)/(n/(-30) - (-18)/(-135)). Which is greater: j or 16/5?
16/5
Let z(n) = -23*n + 867. Let y be z(39). Is -2 at least as big as y?
True
Let m(t) = 12*t - 33. Let a be m(10). Suppose 0 = 6*s + a - 21. Is -41/4 less than or equal to s?
False
Let k = 147445863461/70 - 2106509824. Let d = k + 140339. Let l = -3/14 + d. Is 1 bigger than l?
True
Let a = -4 - 3. Let p = -20428 + 20427. Which is greater: a or p?
p
Let h = 528 + -114. Let b = -425 + h. Suppose -45 = 8*w - 3*w. Is b less than or equal to w?
True
Let y be 4/((-16)/(-6))*(-4)/(-6). Let s(l) = -l**3 + 7*l**2 - 8*l + 5. Let d be s(7). Let m = d - -51. Is m not equal to y?
True
Let z(y) = -y**3 - 10*y**2 - 18*y - 179. Let r be z(-13). Is 6166/11 greater than or equal to r?
False
Let n be (8 - 2) + (-48)/16. Suppose -4*v = n*y + 248, v - y = -3*y - 57. Is -129/2 at most as big as v?
False
Let n be ((-4)/2 - -3) + 0. Let u = -2831/21 + 62891/462. Are n and u nonequal?
True
Suppose p + 6*j = 48 + 36, 2*p - 182 = -5*j. Is p at least 99?
False
Let k = 1383 - -1933. Which is bigger: 1/4 or k?
k
Suppose 5*j + 2520 = 5*i, j - 502 = 