10071 + 10081.2. Let r = 23 - 12.5. Let v = x - r. Is 13 smaller than v?
False
Let u = 19/18 + -4999/4770. Which is smaller: -2/7 or u?
-2/7
Suppose 17*z + 6 = 19*z. Let o be 2/3 + (-154)/(-105). Is o <= z?
True
Let s = -63741/40 - -15577/8. Which is smaller: s or 354?
s
Let q = 8115 + -9015. Which is smaller: -903 or q?
-903
Let w be 88604/119*(-7)/(-2). Is w bigger than 2606?
False
Let b(a) = 3*a**3 + 155*a**2 - 53*a + 52. Let t be b(-52). Suppose n - 327 = -5*k + 189, -4*k - 4*n = -400. Is k less than t?
False
Let g be (-3 + -2)*(-188)/(-10). Let k = g + 101. Suppose -203 = -14*l + k*l. Which is smaller: l or 1?
1
Suppose -2*p - 67 + 59 = 0. Let r be -8*((-5)/(-20) + (p - -7)). Are -25 and r unequal?
True
Suppose -q = -4*c + 1003, -3*c = -3*q - 46 - 695. Are c and 252 nonequal?
False
Let p = -45 + 49. Let d = 48 - p. Let j = d - 46. Which is bigger: j or -2/7?
-2/7
Let t = -22.42 - 0.58. Let u = 0.03817 - -0.06183. Which is greater: t or u?
u
Suppose -4*d - 10 = -2*d, 0 = 3*v + 3*d + 36. Let u(y) = -y**3 - y**2 + 8*y - 96. Let l be u(0). Let i = -101 - l. Which is bigger: v or i?
i
Let q be -4 + (-716 - 13) + (-4 - -1). Let j = q - -780. Which is greater: 1 or j?
j
Let z be 1*-1*(19/(-45) + 172/774). Are z and 50/51 equal?
False
Let y(k) = 2*k**3 - 39*k**2 - 21*k + 20. Let l be y(20). Suppose l = -39*j + 22*j + 1700. Which is smaller: 98 or j?
98
Let v = -63 - -41. Let t = v + 16. Let u(r) = r**3 + 7*r**2 + 9*r + 9. Let z be u(t). Which is smaller: z or -1?
z
Let c = 11745 + -12283. Is c less than -535?
True
Let t = -0.2 - -0.3. Suppose 3*o + 150 - 217 = w, -47 = -2*o + w. Which is greater: t or o?
o
Suppose -5*f + 4*u = 44648, 0*u - 3*u = f + 8941. Let l = -4760754/533 - f. Is l less than or equal to 1?
True
Let t(h) = 4*h - 1. Let y be t(1). Let p(q) = 69*q - 1579. Let n be p(23). Suppose 5*g - n*g + y = 0. Which is bigger: g or -4/25?
g
Let y = 661 + -189.5. Let v = y + -459. Is 0.2 at most as big as v?
True
Suppose 14*x - 1512 = 10*x. Let q = x - 10587/28. Which is smaller: 0 or q?
q
Let g(k) = 228*k - 1538. Let m be g(25). Which is greater: 4161 or m?
m
Suppose 4*h = 3*j + 7, 0 = -47*h + 48*h - 3*j - 4. Let q = 3624 + -1268403/350. Which is bigger: q or h?
h
Let r = 0.8243 - 0.7243. Let j be 28/(-24)*1/(-14). Are r and j nonequal?
True
Suppose -5*b + z = -21, 0*b + 2*z - 14 = -4*b. Suppose 0 = 2*l + 2*q + 2, -l + q + b*q = 7. Let x = 1/727 - 2183/1454. Which is bigger: x or l?
x
Let g = -2315/7 + 331. Let z be ((-6)/8)/(7/308). Let a be (2/(-12))/(22/z). Which is smaller: a or g?
a
Let u be (8 - -1)*((-4)/6 + 7). Suppose -u = 67*r - 10*r. Is r > -7/34?
False
Let t be 7299/18*(-26)/13. Which is greater: t or -2429/3?
-2429/3
Let d be (-170)/(-72) + 36/(-16) - 160862/(-36). Which is bigger: d or 1/2?
d
Let v be (13 - 5/(2015/20904)) + (1 - -4). Is -35 > v?
False
Let i be (-2)/(-9) - (5 - 43/9). Suppose i = 29*x - 24*x. Suppose x*o + o - 10 = -2*h, -5*h + 25 = 3*o. Which is bigger: -1/39 or o?
o
Let y be -1 + 183/255 + 6*(-14)/714. Is 8/39 < y?
False
Let h = -79 + 275. Let i = -198 + h. Which is smaller: i or -14/5?
-14/5
Suppose -15 = -3*s - 797*u + 800*u, u = -s - 7. Which is smaller: 2/28051 or s?
s
Let d be -71 + 4/(-2) + (-38 - -45). Which is smaller: d or -333/5?
-333/5
Suppose 8059 = -37*i + 27373. Suppose 0 = 13*h - 3915 + i. Are 262 and h unequal?
True
Let u(d) = 12 - d - 13 + 6 + 10. Let c be u(7). Which is smaller: c or 2?
2
Let u(v) = v**3 + 10*v**2 - 12*v + 5. Let h be u(-10). Suppose 2*j + 38 = -2*l, -2*l = -5*j - l - h. Which is smaller: j or -20?
j
Let b(w) = 1209*w - 4921. Let o be b(4). Are -58 and o unequal?
True
Let i be 692561/(-2335) - (-4)/(-10). Suppose 0 = 12*l - 14*l - 590. Are l and i equal?
False
Let u be ((-11)/1287*-39)/(2/(-6)). Let k(q) = 7*q**2 + q + 2. Let t be k(-4). Let p be (-2)/2 - t/(-108). Which is smaller: p or u?
u
Let p(t) = 4*t**2 - 50*t - 499. Let b be p(19). Is -7/478 bigger than b?
True
Let g = -64.09 + 0.09. Let x = -10.6 + -60.4. Let u = g - x. Is u equal to -3/4?
False
Let r = 1103.315 - 2.315. Which is smaller: 0 or r?
0
Let t = -439013 - -3085178/7. Let l be 57150/33 + (-4)/(-22). Let j = l - t. Is 4 greater than or equal to j?
False
Let t = -1/2518 + -151709/1259. Suppose -3*p + 2*v + 21 - 384 = 0, -484 = 4*p + v. Do t and p have the same value?
False
Let p = -129 + 448. Let x = p + -449. Which is bigger: -0.2 or x?
-0.2
Let r = -1211 + 2509/2. Suppose -3*h + 588 = 162. Let x = h - 99. Which is bigger: x or r?
r
Suppose -58614 = 3*b - 6*l, 43*l = 47*l - 8. Are b and -19534 equal?
True
Let q(o) be the third derivative of -1/24*o**4 + 0 - 36*o**2 + 0*o + 17/6*o**3. Let t be q(21). Is 0 >= t?
True
Let h = -1875 + 1872. Which is bigger: 224/5 or h?
224/5
Suppose -413 = -184*n + 125*n. Suppose 5*x = 3*w + x + 8, 0 = -3*w + 5*x - 4. Let l = 15 + w. Is l bigger than n?
False
Suppose 10 - 4 = 3*n. Suppose -s = 2*o + 8, -n*s + 3*o + 17 = 5. Let t = -702 - -714. Which is smaller: s or t?
s
Let n = 481.4 + 247.6. Which is greater: 0.03 or n?
n
Let d = -720191/19 - -37905. Let a(f) = f**3 - f + 3. Let h be a(0). Suppose 3*s = -h, z - 2*s + 0 = 1. Does z = d?
False
Let y(q) = -5*q + 4. Let w(m) = -4*m + 3. Let h(s) = -3*w(s) + 2*y(s). Let j be h(0). Let k be (-10)/16*4 - (-1)/4. Which is greater: j or k?
j
Let v be (4/12)/((-3)/2*(-390070)/855). Is 0 less than v?
True
Let v(n) = 47*n - 40. Let o(j) = -j**2 - 3*j + 1. Let s be o(-3). Let b be v(s). Let r be 7 - 0 - (0 + -2). Which is smaller: b or r?
b
Let v(a) = -5*a + 65. Let o be v(6). Let t be (3 - o)/(-2 + (-4 - -7)). Let m = -1.17 + 0.17. Is t smaller than m?
True
Let o = -1.0249 - 216.0751. Is 0 bigger than o?
True
Let g be (-9 + 176/32)/((-21)/6). Let z(c) = -c**2 + 5*c - 4. Let f be z(7). Let s be (f/24)/((-34)/8). Which is smaller: s or g?
s
Let x = -2533 - -2101. Are -435 and x equal?
False
Let l(o) = 8*o + 201. Let i be l(-10). Which is smaller: 114 or i?
114
Let b = -0.73 - -5.73. Are -12/43 and b equal?
False
Suppose 4*j - 5*c - 14 = 0, -5*j + 0*c = -2*c - 9. Is -1/21905 greater than j?
False
Suppose 113*u - 70*u = -87*u - 2779140. Is u <= -21379?
False
Let n = 21176 - 21175. Is 4/24599 <= n?
True
Let i = -13 - -18. Suppose 3*b + 5*g - 2*g = -36, g - 30 = i*b. Let l be 286/28 - -9*b/126. Which is greater: 11 or l?
11
Let n be 62/1*2/(-4). Let w be (n/(-2))/((-11)/22). Let d(b) = b**3 - 30*b**2 + 74*b + 157. Let y be d(27). Is w at most y?
False
Suppose -1587 - 18783 = 194*m. Does -106 = m?
False
Let x = -290 + 497. Let i be x/(-6)*4/6*-1. Let a = -24 + i. Is -1/21 < a?
False
Suppose -b = -4*b - 33. Let w be (0/((-3 + 5)/(-1)))/(-2). Is b > w?
False
Let t = -3984 + 5286. Is 1303 less than or equal to t?
False
Let i(p) = -2*p - 6. Suppose 46*o = 38*o + 24. Let s be i(o). Which is greater: s or -17?
s
Suppose 0 = -m + 11*m - 20. Suppose -r = 5*o - 0*o - m, o = 5*r + 16. Suppose 0 = 4*g - 5*g + o. Is g at most -1/3?
False
Let d be 1245/61110*-6 + -3 + (-66)/(-21). Which is smaller: d or -46?
-46
Let x(l) = -l**3 + l**2 + 3*l + 4. Let r be 2 + 49/(-21) + 16/(-6). Let j be x(r). Which is smaller: 27 or j?
27
Let h = -0.047 - -0.667. Let g = -445.49 - -446. Let z = h - g. Which is bigger: z or 1?
1
Suppose 99*m - 338*m = 184*m + 846846. Is m smaller than -2001?
True
Let s be ((-3240)/1350)/(24/(-220)). Let f be -11 - (0 + 2 + -1). Let v be (-3)/(-1 - f/14). Is v greater than or equal to s?
False
Let k = -10.7 + 11. Let h = -14.71 + -3.29. Which is smaller: h or k?
h
Let k = 337.591055 - 0.081055. Let m = k + -338. Which is smaller: m or 0?
m
Suppose -5*g + 19*k - 21*k + 15739 = 0, 3*g - 9451 = -5*k. Is g != -2?
True
Let y = 0.72 + 2.78. Let f = 0.0567 - 0.0567. Is y != f?
True
Let k = 219 + -33. Suppose -4488 = -9*f - 15*f. Is f <= k?
False
Suppose 18934 - 4375 = 40*g + 29*g. Are 211 and g non-equal?
False
Let r = -85250.95 + 85251. Let g(k) = 6*k - 1. Let l be g(-3). Which is smaller: r or l?
l
Suppose 7*h + 2 = 5*h. Suppose -5*n = 3 - 13, 4*q + 5*n = 38. Let j be q/(-6) + h/3. Which is smaller: j or -3?
-3
Let h(r) = 18*r**2 - r - 10. Let d be h(2). Suppose 0 = d*g - 48*g - 12. Let o be -1 + 1 + 2/(-9). Is o at least g?
False
Suppose -161*o + 157*o = 0. Suppose -10*p - 5 - 15 = o. Are -1/15 and p nonequal?
True
Let w be (-4)/10 - ((-288