t v be 2 + (-12)/4 - l. Let s be v - (48/9 + -4). Which is bigger: s or 2/13?
s
Suppose -14*l = -95 - 17. Let g = -286 + 296. Is l >= g?
False
Let r(g) = 6*g**2 + 2*g**3 - 1 + 3*g - 1 - 4. Suppose 0 = 1622*f - 1605*f + 51. Let m be r(f). Is m equal to -18?
False
Let u = -33690085/2511 - -13417. Are -1 and u nonequal?
True
Let o(n) = -336*n + 13756. Let b be o(41). Suppose j - 20 = -0*y + 2*y, 0 = 2*j - 2*y - 36. Suppose 0 = 5*w + 2*r - 14 + 121, w - 5*r = -j. Are w and b equal?
False
Let l be ((-278)/(-7))/(-1) - 2/7. Let c = l - -39. Let w be ((8/(-78))/(-2))/(-1). Which is greater: w or c?
w
Let c(z) = -7*z**2 + 29*z - 4. Let f be c(4). Suppose 2*m = 5*o + 83, -3*m + o + 3*o + 135 = f. Which is smaller: -0.2 or m?
-0.2
Let v = 257/890 + 1/89. Which is greater: 3 or v?
3
Suppose 0 = 2*m - 17 + 1. Suppose -m = -3*h + 4*j - 24, -4*j + 20 = -4*h. Let k be (2/36)/(h + (-30)/(-8)). Which is bigger: k or 0.01?
0.01
Let i(w) = 5*w - 3. Let q be i(1). Suppose 5*x - 2*y + 11 - 49 = 0, x + q*y = 10. Let r be (-23)/(-4) - 6/x. Does r = 5?
True
Let w = -1.01 + 1.51. Is -33.1 equal to w?
False
Let t = -290320/29 - -10009. Which is bigger: t or -3?
t
Suppose -208*n - 298*n + 439 = -67*n. Which is bigger: n or 15/61?
n
Suppose 95 = 4*u - 3*z, -106 + 6 = -4*u + 4*z. Suppose -5*r - 5*w + u = 0, r - 2*w + 2 + 3 = 0. Is r < 3/16?
False
Suppose -2*d = -11 - 43. Suppose -d = -2*x - 23. Suppose -4*o + 6*o = -2*u + 22, -4*o = x*u - 26. Are u and 31/4 unequal?
True
Let a = 172 - 135. Suppose a*b = 23*b - 14. Let k = 1/1810 + -25353/23530. Is k > b?
False
Let n be ((-168)/36 + 20/12)/((-43275)/2). Which is smaller: 1 or n?
n
Let a = -21.8 - 20.2. Let f = 44 + a. Is 2 < f?
False
Suppose -10 = y + 17. Let r be (90 + y)/(2 - 1). Is r less than 61?
False
Suppose 0 = -10*w - 5*w + 2265. Let d = w + -151. Suppose 0 = b + 27 - 9. Which is greater: d or b?
d
Let s = -9555 - -9087. Is s greater than -456?
False
Let m(n) = -57*n**2 + 130*n - 58. Let x be m(7). Is -1940 at most x?
False
Let b(l) = -l**3 - 3*l**2 + 7*l + 7. Let r be b(-4). Let m be (188/30)/(r + (-668)/(-132)). Let y = 104 - m. Which is bigger: y or 1?
1
Suppose -5*v = -3*i - 28, v = -0*v - 3*i + 2. Let w(s) = -3*s**3 - 2*s**2 - 4*s - 9. Let f be w(-2). Suppose -6*x + 9*x - f = 0. Are x and v equal?
True
Let r(b) = 158*b + 1105. Let u be r(-7). Is 1/5977 at least as big as u?
True
Let o = -4.5059 - -3.5059. Let k = -8 + 7. Is k <= o?
True
Suppose -4*z + 6*z - 225 = 3*m, 5*z = 5*m + 550. Suppose f - 6*f = -z. Let v = f - -6. Do 28 and v have different values?
True
Let k = 35 + -36. Let f = 0.66 + 223.34. Which is smaller: f or k?
k
Let n = 356.1 - 255. Let b = -101 + n. Let x = 0.08 + -34.08. Which is greater: x or b?
b
Let q = 491/974 + -2/487. Which is smaller: q or -0.697?
-0.697
Let m = 809 - 1042. Let d = m - -383. Is 153 greater than or equal to d?
True
Let l = 14972 + -14972. Are l and 2/3439 equal?
False
Let t = 68.7 + -27.2. Let q = t + 11.5. Which is bigger: q or 2?
q
Let r = 1438 - 1440. Which is smaller: r or 1288?
r
Let h(r) = 10*r + 16. Let c be h(-3). Let s = -29 - c. Let p be -13 - s - (-1 - -2). Which is smaller: p or -3/8?
-3/8
Let p = -0.42 + 12.02. Let h = p - 12. Let f = 0.8 - 1.4. Is f bigger than h?
False
Let x = 6449509141/2832303 + -4264/29199. Let g be -12*(7 + (-4722)/24). Let t = x - g. Are 1 and t non-equal?
True
Let b(i) = -i**3 + 10*i**2 - 5*i - 7. Let k be b(9). Let s(z) = -10*z + z**3 + k*z + 13 - 3 + 4*z**2 - 16*z. Let q be s(-4). Is q at least as big as -16?
True
Let b be 45474/159*(-3)/2*3/9. Is -141 < b?
False
Let v = 1535 - 1557.9. Which is smaller: v or 7?
v
Let i be 14*(-12)/(-42) + 102/(-2). Suppose 4*l = q - 196, 2*q + 98 = -4*l - 98. Which is bigger: i or l?
i
Let v = 10244.03 - 10244. Let t = 0.33 - -14.67. Does t = v?
False
Suppose 4*f = 5*o + 14 - 32, 15 = o + 3*f. Let c = o - 158. Is c at least -153?
True
Let y be (-13498)/34*(-2 - -1)/(-1). Is -397 at most y?
True
Let d be ((-1623)/6)/(-1*(-5)/10). Let r(t) = -59*t**2 - 3*t - 1. Let g be r(3). Is g equal to d?
True
Let j be (-56)/(-35) + (-12)/20. Which is bigger: 1/463 or j?
j
Let h(v) = -v**3 + 24*v**2 + 14*v + 598. Let l be h(27). Is -1209 > l?
True
Let r(i) = 7 + 13*i - i**2 + 5 - 23*i. Let k be r(-6). Let w = -78 - -114. Is w equal to k?
True
Suppose 0 = -t - 4*t - 4838 + 4733. Let u = -32/131 - 11007/524. Is t equal to u?
False
Suppose 2*a + 1074 = 6*g - 2*g, 2*g - 567 = -5*a. Suppose h = -2*l + 241 + 25, 3*h + 5*l = 801. Which is smaller: g or h?
g
Suppose -3*f = 3*y + 23064, -14*f - 2*y + 38398 = -19*f. Are -7681 and f nonequal?
True
Let d = 107 - 73. Let r = d + -58. Let a = r - -21. Is -1 at least a?
True
Let f be ((-18)/2496*-4)/((-5)/980). Let i = f + 4989/910. Which is smaller: i or 0?
i
Let d(l) = 133*l - 1678. Let i be d(37). Which is greater: i or 3242?
i
Let z(u) = 158*u + 963. Let j be z(-6). Which is smaller: -4 or j?
-4
Let m(p) = 2*p**2 + 46*p + 225. Let u be m(-16). Which is smaller: -3/1909 or u?
-3/1909
Suppose 0 = -21*o + 47 + 58. Suppose o = f + 3*r, -3*f = r - 0*r - 7. Is 30/19 equal to f?
False
Let z be (-8)/(-6)*((-29)/(-2) + -4). Let h be (-7)/z*((-6)/(-3) - 2). Let s be 7 - 2 - (-66 + h). Which is smaller: 72 or s?
s
Suppose -144 = 53*c - 35*c, -c = -5*q - 35152. Is q not equal to -7033?
True
Suppose -35 = -3*o - 83. Let y = 5923 + -5945. Let k = y - o. Which is smaller: -2 or k?
k
Suppose 8*b + 0*b = b. Suppose b = 6*g + 21*g - 1755. Let m = 97 - 32. Is m <= g?
True
Suppose -17051 = 76*d + 16465. Which is smaller: -439 or d?
d
Let u = -51 + 57. Suppose -l = -4 + u. Let v be (-54)/(-252)*(-1 - -3)/l. Which is smaller: 0 or v?
v
Let h = -8900 - -8907. Let l(n) = 3*n + 1. Let u be l(3). Let z = u + -6. Which is bigger: h or z?
h
Let v(q) = -10*q**2 - 68*q + 217. Let j be v(-20). Does -2422 = j?
False
Let c(y) be the third derivative of -17*y**5/30 + y**4/12 + y**3/2 - 11*y**2. Let g be c(-1). Which is smaller: g or -31?
g
Let a = -13577 + 13577. Which is smaller: a or -1/29?
-1/29
Suppose -5002 = 155*a - 17*a + 1070. Is a greater than -28?
False
Suppose -220 = -2*h - r, 2*r - r = 5*h - 536. Suppose -8*p + 50 = -3*p. Suppose p*o = 9*o + 107. Is h equal to o?
False
Suppose -369 = 42*h - 9*h + 15966. Suppose 0*j - 2*j - 988 = 0. Which is smaller: j or h?
h
Let b = -3.4045 + -0.1955. Which is greater: 0.28 or b?
0.28
Suppose -5*h = -l + 41, l + 6*h - h = 61. Let x be ((-34)/l)/((-1)/9). Is 6 > x?
False
Let h(w) = -19*w - w**3 + 1 - 3*w**2 - 15*w**2 - 36. Let l be h(-17). Is l less than or equal to 3/31?
True
Let s = 65953/3957 - 1/1319. Let c = s - 33/2. Let x = -0.46 - 0.04. Which is smaller: x or c?
x
Let c = -2268.86 - -2235. Let q = -109 - -143. Let y = q + c. Is 0.1 != y?
True
Let l be (-565)/(-80)*10*((-2088)/(-40) - 3). Is l at most as big as 3476?
True
Let g be 6/(-20)*8/(-12). Let i = 0.70502 - 17.70502. Is i at least g?
False
Let b = 248 + -242. Let s be 1*-1*708/b - 4. Is s bigger than -120?
False
Let b be 2 - (-5 - -2 - -2). Let c(r) = r - 17. Let u be c(6). Let x(l) = -4*l - 43. Let t be x(u). Which is smaller: b or t?
t
Let a be 6*(20/(-8)*-1 - 1190/(-4)). Are 1796 and a unequal?
True
Let k = 40 - 39.14. Let j = 6.34 + k. Let t = j - 7.1. Is t >= 0.1?
True
Let t = 226 + -414. Let a = 186.7 + t. Do a and 0 have different values?
True
Suppose 0 = -3*p - o - 2, -2 = 3*p + 2*o + 2. Let d = 49/3 + -566/33. Is d greater than or equal to p?
False
Let g be -2 + ((-18)/36)/(2/4). Let c be ((-2)/((-1 + 4)/g))/1. Is 15/16 less than or equal to c?
True
Let j = 2782145/69 - 40323. Are -2 and j nonequal?
True
Let s be (-17 - 1255/(-75))*(2 + -3)/(-78). Let k = 3 + -3. Is k > s?
True
Let g be 6959/9 - (-46)/184. Let k = -3073/4 + g. Is 4 > k?
False
Let o = -734 + 749. Let h = o - 15. Is -300 smaller than h?
True
Let c be (-266)/(-6) - (3 - 16/6). Let g = c - 36. Let z be (2 + 74/(-30))/(g/24). Which is smaller: -2 or z?
-2
Suppose 2*n - 10 = -8*q + 9*q, 36 = 7*n - 3*q. Let f(z) be the first derivative of -z**3/3 + 11*z**2/2 - 29*z + 1. Let c be f(n). Is 26/11 < c?
False
Let s = 640528655/1034 - 1858399/3. Let w be (-1)/4 + 417/1692. Let c = w - s. Which is smaller: c or -1?
-1
Let t(u) = 163*u - 15. Let b be t(-1). Let i = b - -183. Let o be (-2)/7 + 1432/308. Which is bigger: i or o?
i
