/14
Let p = 41 + -65. Let v = p - -25.7. Let b = v + -1.84. Which is greater: -2 or b?
b
Let m be ((-44)/(-132))/((-1)/(-3)). Let g be 1*(-6)/(2 - 1). Let k be ((-8)/(-1002))/(g/(-9)). Is k greater than or equal to m?
False
Suppose -12*m - 1672 = -m. Let t = m - -151. Are 143 and t unequal?
True
Suppose 0 = 12*h - 0*h. Let l = -19541/22 - -888. Which is smaller: l or h?
l
Suppose 5*f = i - 6*i + 110, 40 = 2*f + 4*i. Suppose 0 = -3*o + 5*o. Suppose -l - 4*l - 10 = o, p - 2*l = -f. Is p greater than or equal to -28?
True
Let x be (4*(-9)/(-144)*(2 + -2))/(-5). Which is smaller: x or -25/116?
-25/116
Suppose -15 = -3*h - d + 2, 0 = -3*h - 5*d + 25. Let r be ((-2)/1)/(-2) - 109 - h. Is r <= -112?
True
Let k(o) = -4*o + 4. Let s = 17 - 12. Let v be k(s). Suppose 208*m = -18*m + 103*m - 1968. Is m < v?
False
Let d(l) = l**3 - 5*l**2 + 4*l + 10. Let w be d(7). Let v be w/240 - 2/12. Let a = 365 - 371. Are a and v nonequal?
True
Suppose -2*i + 4*h + 48 = 0, 2*i - 44 = -0*i + 2*h. Suppose -3*w - w = 5*g - i, 3*w = 5*g - 20. Suppose -2*k - 36 = g*k. Which is greater: k or -19/3?
k
Let a = 76.14 + 1869.86. Which is smaller: -0.1 or a?
-0.1
Let h = 378 - 373. Let u be (8/(-18))/(-8*h/140). Are u and 3 nonequal?
True
Let b be (((-306)/15)/2)/(7 + 9/(-15)). Which is smaller: b or -2?
-2
Let s = 8399 + -8400. Is -2/6529 equal to s?
False
Let i be (2/3)/(8/(-132)). Let u = -1.58 + 1.3. Let d = u + 0.58. Which is bigger: d or i?
d
Let z(x) = -24*x + 330. Let q be z(14). Let i be 3/(-18) + (1335/18 - q). Are 79 and i equal?
False
Let p = -2.1 + 2.05. Which is smaller: p or 44?
p
Let w(k) = -k**3 + 74*k**2 + 161*k - 657. Let x be w(76). Suppose q - 16 = 13. Which is smaller: x or q?
x
Let s = -0.06 - 1.94. Let u be (-57)/(-133) + 5806/(-6552). Let y = 1/252 - u. Which is smaller: s or y?
s
Let b(f) = f**2 + 4*f + 1. Let s be b(-3). Let g be 17/14 - s/4. Suppose -93265 = 26*u - 93343. Is g at most u?
True
Let p = 6.36 + -8.36. Let l = 1.99 - 2.3. Which is greater: l or p?
l
Suppose -169*j = 88*j - 220763. Which is greater: j or 867?
867
Let p be (-1)/((-3)/4*(-6)/(-9)). Suppose 349*t - p = 348*t. Which is smaller: t or 135?
t
Let a be (-3)/(-6) + (-2890126)/828. Let m(t) = 1706*t + 78. Let l be m(2). Let c = a + l. Which is greater: c or 0?
c
Suppose -4 = p + 4*k - 0, -2*p - 4*k = 4. Let d be 2 + p - (-8 + 1). Let q = 1969 + -1961. Is d < q?
False
Let g be (-354)/84 - (-10)/(-12). Which is bigger: g or -5?
-5
Suppose 5*s - 10 = 0, -7*s + 228 = -4*v - 3*s. Let t be ((-32)/v)/((-64)/(-160)). Is t less than or equal to 1?
False
Let f be (-5 + 8)/3*(-1 - -34). Suppose 0 = -3*l - 21 + f. Suppose 0 = 3*j - d + 1, -4*d = -l. Which is smaller: -9/7 or j?
-9/7
Let a = 48.20528 + 0.02472. Let d = a + -48. Let t = 6 + -4. Is t smaller than d?
False
Let i = -41971 + 41968.989. Is i not equal to 6/5?
True
Suppose -3*t = 3 + 24. Suppose 350 + 118 = 39*p. Suppose 12*i - 12*i = -p*i. Which is smaller: i or t?
t
Let g = 18.19 + -21.19. Which is bigger: 3499 or g?
3499
Suppose -7*j + 8 = -20. Suppose -j = -4*n, -5*n + 17 = 7*y - 3*y. Suppose 4*c = -y*m + 7, 5*m - 4*m = -4*c + 5. Which is smaller: -2 or m?
-2
Let f be 248/(-189)*-3 + 4/14. Let z = -37/9 + f. Is z > -5?
True
Let h = 14.771 + 35.529. Which is bigger: -3/5 or h?
h
Suppose 0 = 7*q + 5037 - 62052. Let z = q - 2972922/365. Is -1 >= z?
False
Let s = -85 - -89. Suppose -10*m - 257 = -4*j - 5*m, -148 = -2*j - s*m. Are 70 and j non-equal?
True
Let v = -15709/2 - -7863. Which is bigger: -125 or v?
v
Let i = 52.14 - 192.14. Which is greater: i or 0.06?
0.06
Suppose 0 = 88*w - 132*w + 121208 - 21196. Which is smaller: 2274 or w?
w
Suppose -15*j = -34*j - 76. Let l = -7933/2070 - 1/1035. Is j < l?
True
Let t(q) = 2833*q - 4. Let h be t(1). Suppose 2019 + h = 12*m. Is 403 smaller than m?
True
Let n be (1740656/909)/8*(-5)/(-10). Let z = n - 14/909. Which is greater: z or 120?
120
Let c = 144.6 + -144.54. Which is smaller: 3/106 or c?
3/106
Let w(g) = -70*g - 68*g - 1 - 74*g + 6*g**2 + 205*g. Let f be w(3). Which is greater: f or 35?
35
Let l = 2129 - 2168.07. Let v = 39 + l. Let i = -0.26 + v. Which is greater: -1/4 or i?
-1/4
Suppose -2*x - 3*w - 1 = -6, -2 = -2*w. Let u = -177 + 179. Let a be u/(1 + (8/5 - 3)). Which is bigger: x or a?
x
Let w be (-12 - 0)*(-279)/(-12). Suppose 0 = 5*g - 8*s + 3*s + 1410, 3*s + 1402 = -5*g. Is g not equal to w?
True
Let s = -16 - -8. Let y = -90231 - -90227. Are s and y equal?
False
Suppose 0 = s - y - 6 - 18, 5 = -y. Suppose -21*p - 65 - 61 = 0. Let o(z) = -z**3 - 7*z**2 - 10*z - 6. Let l be o(p). Is l equal to s?
False
Let k = -14175 - -14178. Which is smaller: k or 8/47?
8/47
Let b = 2/62955 + -62969/440685. Suppose 0 = v - 77 + 21. Does v = b?
False
Let v = 0.25426 - 515.10426. Let m = 515 + v. Is m >= 0.15?
True
Let w be (-16)/(0 + 4) + 4. Suppose -2*l + 20 = -5*x - 7*l, -2*x + 1 = -l. Let o be ((-36)/196)/9*x. Which is smaller: w or o?
w
Let o = -3.9 + -33.1. Let g = -45 + o. Let f = g + 80. Which is greater: 1/6 or f?
1/6
Suppose 9*k - 2030 - 458 = -292. Which is bigger: k or 242?
k
Let g(a) be the third derivative of 5/24*a**4 + 0 - 5*a**3 + 0*a + 38*a**2. Let b be g(11). Which is greater: b or 24?
b
Let a = -4.87 + -0.13. Let z = -276.92 + 274.42. Is a > z?
False
Let a(i) = -105*i + 6. Let t be a(1). Let k = -115 - t. Which is greater: -17 or k?
k
Let f be ((-4)/9)/(-2) - (-7424)/288. Let a be (-3)/((-14)/6 + 2). Suppose 16 = g - a. Is g less than or equal to f?
True
Suppose 0 = -5*b + 3*b - 4*x - 10, 0 = -2*b + 3*x + 11. Let u(n) = n**2 - 15*n - 6. Let k be u(15). Let a be k/40*(10/105)/1. Which is bigger: b or a?
b
Let b = -12555 + 12793. Suppose -4*y + 9*y - 1185 = 0. Which is smaller: b or y?
y
Suppose 1488 = -116*y - 212*y + 235*y. Let q be ((-4)/(-3))/((-8)/(-12)). Suppose -48 = 2*p - 3*v, q*v + 0 = 8. Are p and y equal?
False
Suppose -3*k - i - 65 = -0*i, i = -2*k - 42. Let p = 24 + k. Let t be 4 + ((-132)/28)/p. Which is bigger: t or 0?
0
Let f be ((-48)/3)/2 + -52 + 17 + 48. Is f >= 393/88?
True
Suppose -2*q = 5*d + 7, q + 28 = -3*d + 23. Let o be ((-3542)/55)/(408/(-19)) + d. Does o = -1?
False
Suppose -3*c + 3*r = 2*c + 1055, -c = 2*r + 211. Let a = -98 - c. Which is greater: a or 112?
a
Let o(n) = -178*n + 416. Let g be o(2). Is 95 < g?
False
Let w(j) = 32*j + 61. Let r be w(-2). Let s be (-18)/(-1816)*(7/r + 3). Is s > 0?
True
Let t(a) = -a**2 + 9*a + 24. Let z be t(-3). Let x be 1 + 8/(-3) - z/18. Which is smaller: x or 0?
x
Suppose 4*a + 4*x - 4200 = 0, -11*a - 26*x + 21*x + 11544 = 0. Is a > 2?
True
Let w = -2 + 3. Let a = -156 + 157. Let u be 12/4*5/(205/a). Which is smaller: u or w?
u
Let v be (14/40)/(6 - (-490)/(-80)). Is -76 < v?
True
Suppose -641 + 31 = -10*r. Let m = -58 + r. Let y = 350 - 1389/4. Which is smaller: m or y?
y
Let a = 9935 + -9927.63. Which is bigger: a or -4?
a
Let l be 39/(-52) - 12 - -10. Which is smaller: -21 or l?
-21
Let o = 8720 - 14170002/1625. Which is greater: o or 1?
1
Let z = 7 + -5. Let l = 3257 + -8968/3. Let x = l + -267. Which is greater: z or x?
z
Let l = 183 - 169. Suppose -940 = l*z - 142. Let w(r) = r**3 + r**2 + 3*r + 3. Let k be w(-4). Does z = k?
True
Let y = -40354.969 + 40376. Let o = 0.031 - y. Let h = 21 + o. Are h and 40 unequal?
True
Let y = -167 - 173. Let d be 6/(-20) - 442/y. Is -2/31 < d?
True
Let k = 1817 - 1536. Which is greater: 277 or k?
k
Let u(f) = -2*f**3 - 4*f**2 + 6*f + 1. Let t be u(-4). Let d = t - 39. Let j be 22/d*(-1)/(-6). Is 3 greater than j?
True
Let w(d) = d**3 + 2*d**2 - 21*d - 116. Let s be w(-7). Which is smaller: s or -1916/9?
s
Suppose -17*k - 624 = 1450. Let x = -125 - k. Is x less than -37?
False
Let f = 1.01 - 0.01. Let s = -68 + 6. Let b = s + 64. Does f = b?
False
Let k be -2 - 11*-17 - 1. Let u be 2 + 60/(-28) - k/(-14). Suppose 10*n = 9*n - u. Which is greater: -11 or n?
-11
Let m = 4.59 - -0.61. Let u = -2757.1 + 2762. Let b = m - u. Is b smaller than -1/31?
False
Let d be (-440)/(-33)*(-81)/12. Is d bigger than 2?
False
Let x(m) = -924*m - 1201. Let s be x(-1). Which is smaller: -279 or s?
-279
Let y = -3/209 - -221/836. Do y and 9.8 have the same value?
False
Let l = 186 - 98. Suppose 3*g + 4*a - 88 = -5, 5*a = -3*g + l. Let s be -2 - (-4 - g/(-12)). Does s = 0.38?
False
Suppose