 = -o, 5*o - 13613 = -q. Which is greater: 2725 or o?
2725
Let u = 38089/15 + -2527. Let s = 35/3 - u. Let h = 0 - 1. Which is bigger: h or s?
s
Let y = 0.05 + 45.75. Let p = 1.2 + y. Let h = p - 47. Is h < 2?
True
Let t be 4 + 9/12*(-20)/(-15). Let l(r) = 5*r**2 - 6*r - 5. Let j be l(t). Is j < 0.1?
False
Let s = 566 + -565. Let g(i) = 2*i**2 - 7*i + 2. Let y(m) = -2*m**2 + 8*m - 2. Let j(c) = -6*g(c) - 5*y(c). Let t be j(s). Is t less than or equal to -3/4?
True
Let r be ((-102)/4)/((-25 + 11)/336). Are 615 and r nonequal?
True
Let d = 219 + -224. Let f(r) be the second derivative of -r**3/2 - 7*r**2 + 3*r. Let j be f(d). Which is smaller: 3/49 or j?
3/49
Suppose -12237 = -3*t + 4*r, 3*r - 3210 + 19512 = 4*t. Which is bigger: t or 4069?
t
Suppose -28 = -4*k - 8*u + 3*u, 0 = -k - u + 7. Suppose 288 = -k*f + 288. Is 8 smaller than f?
False
Suppose 0 = -3*n + a - 50 - 1, 2*a = 6. Let g = 18 + n. Suppose -g*y = -7*y - 60. Are -11 and y unequal?
True
Let g = -25.41 + 26.91. Does 7/3 = g?
False
Let m(z) = -z**3 - 4*z**2 + 71*z - 77. Let l be m(4). Suppose n + n - 4*w - 164 = 0, 402 = 5*n - 2*w. Is n equal to l?
False
Let s = -295688 - -118275287/400. Let j = 3/100 - s. Which is greater: j or -1?
j
Let z be 231/539 + 3/((-21)/346). Is -10 bigger than z?
True
Let c = 18755 - 25820. Are c and 0.1 unequal?
True
Suppose 625*u = 709*u + 2436. Which is smaller: u or 8?
u
Let x = 303.8 - 304. Let t = -0.07 + 0.17. Let n = t - 1.1. Which is smaller: x or n?
n
Let j be 616/33 + ((-3)/(-9) - 0). Suppose -j*s + 182 = -5*s. Suppose -6*g + 3*g = -4*t - 42, 14 = g + 3*t. Which is greater: g or s?
g
Let r be (-67 - -67) + (-29)/9 - (0 + -3). Which is smaller: 1.105 or r?
r
Let d = -2629 - -2629.2. Which is smaller: 346 or d?
d
Suppose -j = -p, -4*p + 5*j + 2 = 5. Suppose 5*y - 10 - 6 = 3*v, 4*y = p*v + 14. Let c = 0.05 - -1.05. Which is smaller: c or v?
v
Let q be 27/(-18)*-2*11. Suppose c - 32 = q. Suppose 64*m - c*m - 3 = 0. Is -1 < m?
False
Let m(o) = o**3 + 6*o**2 - 8*o - 6. Let a be m(-7). Let r(n) = -n**2 - n + 3. Let c be r(a). Let g be (-110)/50 - c/(-5). Is -3 != g?
True
Let r(j) = -j**3 + 7*j**2 + j - 2. Let a be 531/72 + 9/(-24). Let i be r(a). Suppose -i*x + 2*n - 4*n - 19 = 0, 0 = 2*x + 3*n + 12. Are 0.1 and x unequal?
True
Let i = 74 - 42. Suppose -14*d - 15*d + 4843 = 0. Suppose 173*c - 192 = d*c. Is c > i?
False
Let m = 0.01139 + -14.01139. Let j = 0.3 + -0.2. Is m smaller than j?
True
Let k be (-26 - -1) + 1 + 10/(-2). Which is smaller: 0.082 or k?
k
Suppose 2*d - 100 = -3*d. Let q be ((-2)/((-4)/(-3)))/((-138)/184). Suppose -5*n - 16 = 2*a - 46, -5*n = -q*a + 50. Is a <= d?
True
Let n be 526/(-3300) + (-60)/(-360). Is 41 at most as big as n?
False
Suppose z - 20 = -3*q, -2*z - 10 = -3*q - 5. Suppose -4*y + q = -3*g, 4*y - g + 5*g - 40 = 0. Let f = -0.037 + -0.083. Are y and f equal?
False
Let n = 2736 + -2729. Do 134/17 and n have the same value?
False
Let c be (-210)/(-280) + (-15)/4. Are c and 2411 unequal?
True
Let p(x) = 71*x**2 + 14*x - 15. Let c be p(1). Suppose -4 = 2*i, 5*g + 410 + c = 5*i. Is g at most -99?
False
Suppose 17*s + 7 = 24*s. Let f be (-231)/(-4) - s*(-4)/16. Are f and 58 non-equal?
False
Let z = -223/72 - -26587/936. Which is bigger: 1 or z?
z
Let j be 99 + (-4 + 8 - 5) + 4. Suppose -343*h - j = -344*h. Which is smaller: h or 107?
h
Let k be ((3 - (-10)/16) + 3/8)*1. Are k and 1424 unequal?
True
Let m = -0.8 - 2.2. Let s = -34.4 + 33.4. Which is smaller: m or s?
m
Let p = -437/844 - 797761/1688. Which is smaller: p or -473?
p
Let u = 7123887/76 - 93737. Which is bigger: u or -3?
u
Suppose 3*n = -3*n + n. Let c be (0 + n)/(3/(-1) + 0). Let o be (123/(-9) - c)*3. Which is greater: o or -1/2?
-1/2
Let d = -1/16454 - 11040627/115178. Is d less than or equal to -96?
False
Suppose 5*l + 3*w - 4712 - 13436 = 0, -2*w - 7272 = -2*l. Let n = l + -25520/7. Which is bigger: -1 or n?
-1
Let m be (-3 + ((-85)/(-10) - 8 - -1))/30. Is 4/5 bigger than m?
True
Let t = 0.633 - 399.633. Which is greater: 4/11 or t?
4/11
Suppose -8*i + 6247 = 7. Suppose 3*h - 1365 = 5*g - 239, 4*g = -2*h + i. Which is smaller: 383 or h?
h
Suppose 4*z - 5*t + 111356 = 0, 0 = 6*z - 8*z + 5*t - 55668. Are z and -27845 equal?
False
Let s = -0.3 + 0.3. Let z = -1 + s. Suppose -80*d = -79*d + 74*d. Is z > d?
False
Let m = -4.5 - 9.5. Let z = 238.1 - 249. Let b = z - m. Which is greater: b or -1?
b
Let n = 15801 + -15800. Let c be 2/(-2) - 1 - -4. Do n and c have different values?
True
Let g = -470.9 - -471. Which is smaller: -3/3076 or g?
-3/3076
Let g = -363535974 - -33537284215976/92253. Let o = -12/161 + g. Is -1 less than o?
True
Suppose 155*q = 158*q + 189. Let x = -29 - -88/3. Is x > q?
True
Let j = -10081 - -10081. Is j less than 4/351?
True
Let c(z) = -9171*z + 9145*z + 21 + 20 + z**2. Let s be c(24). Is s bigger than 2/7?
False
Suppose 74548 = 62*o - 245806. Are 5166 and o equal?
False
Suppose 5*u - z + 699 = 0, -89*z + 281 = -2*u - 90*z. Let a(m) = 140*m**3 - m**2 - 2*m - 2. Let l be a(-1). Which is smaller: u or l?
l
Let h be (7 - -2)*(-4)/6. Let g be 639/6*h/(-9). Which is smaller: g or 70?
70
Let k be 21/((-35)/(-5)) - -22. Suppose -k*d + 56 + 19 = 0. Is 24/7 <= d?
False
Let x = -199 + 178.9. Let c = x + 36.1. Is -0.2 less than c?
True
Let g = 1892 - 1892. Which is smaller: g or -3/2512?
-3/2512
Let t = 141.76 - 141.96. Is t greater than or equal to 1/1132?
False
Let k = -0.075 - -0.895. Let v = k + -0.872. Let l = 0.452 + v. Which is smaller: 2 or l?
l
Let d = -10117 - -7355060/727. Is d at most as big as -0.08?
False
Let s be (64/48)/(4/(-6)). Let c = 5.8 - 3.96. Let g = c - -0.16. Are s and g nonequal?
True
Let a = -73/2268 + -5/324. Suppose 3*p + 15 = 4*n, -4*n + 12 + 5 = -5*p. Suppose 0 = 5*o - n*o - 2. Is a less than o?
True
Let x(f) = -8*f - 4*f + 11*f - 6. Let u be x(-5). Which is greater: u or 4?
4
Let n be ((-1)/3)/((-1)/6). Let c be 2/((n - 0) + 0). Let v be 8502/507 + 1/((-1)/17). Which is bigger: v or c?
c
Suppose -6*r + 0*r = -78. Let h be 4 + 2/5*(r + -33). Which is greater: h or -2?
-2
Let u(y) = -y**3 - 35*y**2 - 38*y - 95. Let o be u(-34). Do o and 35 have the same value?
False
Let k = -75 + 54. Suppose -134 - 1738 = -18*v. Suppose -3*t - v + 47 = 0. Is t != k?
True
Let r be (-1 - -2)/(((-42)/558)/7). Let a be 10385/r*(-1)/(-7). Let u = -47/3 - a. Which is smaller: u or 1?
u
Let d = 9 + -21. Let h = 13 + d. Let j be 4/32 + 2 + 7 + (-10143)/1080. Is h >= j?
True
Let c = 353 - 329. Let z be (-8)/c*(-5 + (-1 - 0)). Which is bigger: 42/25 or z?
z
Let i = -10/23 - 23060/391. Which is greater: i or -59?
-59
Let y(g) = 2*g**2 + 16*g - 8. Let o be y(9). Suppose -302 = 4*v - o. Which is bigger: v or -3/112?
-3/112
Let f = 1.51 + -0.09. Let j = f - 0.42. Which is bigger: 71 or j?
71
Let p = -1970 + 1970.2058. Let y = -0.0258 + p. Is y less than -1/12?
False
Let u = 22866 + -22731. Does 137 = u?
False
Let r(a) = -478*a + 1. Let g be r(1). Let w = g - -6194/13. Let f be 3213/135 + (-28679)/1205. Is w less than f?
True
Let w be 92*(1 - 236/(-112)). Suppose -793 - 632 = -5*c. Let r = c - w. Which is greater: r or 0?
0
Let v(y) = -13*y - 9 - 12 - 6. Let k be v(-9). Suppose -10*n - k = -15*n. Is 19 > n?
True
Let d be 163/(-64059)*4/(-10). Is 1 < d?
False
Let p = 4.7 - 2. Let k = -0.005 - 134.995. Let a = k - -134.9. Which is bigger: p or a?
p
Suppose -x - 10*x + 803 = 0. Suppose 0 = -6*m + x + 167. Is 194/5 at most as big as m?
True
Let r(v) = -v**3 + 4*v**2 - 4*v + 4. Let l be r(4). Suppose 5*a = 4*n - 4, 4*n - 43*a + 39*a = 8. Let w be n/(-4) + (-6)/l. Is w <= -3/79?
True
Let z = -18502 - -19308.1. Let m = 806 - z. Which is bigger: m or -13.8?
m
Let z = 802 + -2133. Which is greater: z or -1332?
z
Let f = 0.146 - -0.254. Which is smaller: f or 31/11?
f
Let q be ((-996)/(-4482))/((-4)/18). Is -25/77 < q?
False
Let o = 5.99 - 5.3. Do o and 1/9 have the same value?
False
Let s = -84.1653 + -0.0347. Let m = -84.2 - s. Which is smaller: m or 219?
m
Let m = 324 - 226. Let x = m + -97.9. Which is smaller: x or -520?
-520
Suppose 60 = 13*f - 11*f. Suppose 0 = 5*x - f*x + 2500. Is x greater than or equal to 98?
True
Let x(n) = -n**2 + 37*n + 3. Let s be x(18). Suppose -4*c = 3*z + 254, 0*c = -4*z + c - s. Let o = -79 - z. Is o at most as big as 4?
False
