Let z = 77.8 + 0.2. Let o = -75 + z. Is o smaller than l?
False
Suppose -18*z = 39280 - 4252. Is z smaller than -1946?
False
Let z = 348 + -698. Let c = z - -380. Is c at most 1?
False
Suppose s + 0*z - 76 = -3*z, -3*s - 4*z = -208. Suppose 0 = -r + 3*m, -s*r = -69*r - 3*m. Which is smaller: -2/525 or r?
-2/525
Let m be ((-4406378)/2730*-46)/(560/15). Let f = m - -3/25480. Let n = f - 2006. Which is greater: -18 or n?
n
Suppose 2*s = -6, 17*i - 2895 = 15*i - s. Is i >= 1449?
True
Suppose -2*i + 0*i = 4*t - 36, 9 = t - 2*i. Let w be 0/(-2 + 3) - t/(-30). Let h = 3/2 - w. Which is greater: h or 2?
2
Let k be 86/645 + 53/(-235). Which is greater: k or -1?
k
Let f = 377 - 374. Suppose -2*x = f*l + 113, 232 = -4*x - 3*l + 21. Is x at most as big as 2/3?
True
Let r = 13.4 - 13.61. Let j = r + 1.21. Is 1.23 at least j?
True
Let l(u) = 37*u + 2. Let x be l(1). Let z be 2210/x - 8/(-6). Suppose 70 = -4*q - z. Which is bigger: q or -31?
-31
Let d be ((-468)/24)/13*2/1. Which is smaller: -72/11 or d?
-72/11
Let w = -1.6001 - -1.6001. Is 13.466 greater than or equal to w?
True
Let g be 1671/63 + -2 + 2 + (-66)/77. Let o = 42 + -17. Does g = o?
False
Let k = -89959 + 89958.974. Let z = -31/2 + 16. Is z not equal to k?
True
Let c(s) = s**3 - 14*s**2 - 59*s + 4. Let i be c(-4). Which is greater: -653/14 or i?
-653/14
Let o = 120 - 119.933. Let f = 1.333 + o. Let p = 2.4 - f. Which is bigger: -6 or p?
p
Let a = -15424 + 15423. Which is bigger: -3212 or a?
a
Let x be 3 + (3 + -4 - (-9500)/(-12)). Which is greater: -791 or x?
x
Let g = -658 + 655.734. Let w = g + 0.066. Let h = 5 + -5.1. Are w and h equal?
False
Let n = -4/151 - -6362/755. Let g(s) = s**2 + s - 12. Suppose 0 = 2*x + 3*m + 10, 3*x + 2*m + 15 = 3*m. Let u be g(x). Which is smaller: n or u?
u
Let u = 186 - 185. Let x be (24 + u)/(((-10)/(-3))/10). Does x = -2?
False
Suppose -8*a - 15 = -3*a - 5*d, 0 = 3*d - 9. Let c(k) = 6*k + 8. Let u be c(-4). Let p be -3 - (245/u)/5. Which is greater: a or p?
p
Let q be (-27)/36 + 12069/16104. Which is smaller: q or 1?
q
Let o be 8*(33/(-6) - -1 - -4). Let j be (0 - (-8 - o))/4. Let a be (-2 + 36 - 1)*j. Is 30 bigger than a?
False
Let f be -3*6730/15*-3. Let b be f/(-20) + 952/80 + -12. Do b and -203 have different values?
True
Suppose 34*w + 64*w + 4508 = 0. Is w bigger than -46?
False
Let q be (-84)/9*(-144)/14. Let o = 101 - q. Suppose 18 + 22 = -o*j. Does j = -10?
False
Let z be (15/4)/(18/24). Suppose -z*h - 410 + 75 = 0. Is h greater than or equal to -68?
True
Let v = -8560.8 - -8561. Let g = -28 - -41. Is v >= g?
False
Suppose -5*m + 10 = -0*m + 5*c, 0 = 2*c - 2. Let d be (-2)/(-6) - 1/m. Let x = -79.1 + 79. Which is smaller: x or d?
d
Let r = 5952 - 5792.32. Let g = r + -160. Which is smaller: 1 or g?
g
Suppose -8*a + 37 = -59. Suppose 3*x = -3*x - 324. Let n be 4/(-2)*297/x. Which is smaller: n or a?
n
Let c be -4 + 516/119 - (-32)/(-56). Is 16 not equal to c?
True
Let k = -805 + 940. Let j = 484 + -349. Is j bigger than k?
False
Let d be (1 - 14/10) + (-456)/(-190). Suppose -t = -d*t - 2. Suppose 7*l - 28 = 3*l. Does l = t?
False
Suppose 2*n - 2 = 5*g - 27, -3*g + 4*n = -29. Suppose 2*q + 2*l + 34 = 0, -2*q - 3*l = -g*q - 5. Let h be (q/8)/(-7) + (-110)/(-8). Which is greater: h or 15?
15
Let w = -249327 + 1739193/7. Which is bigger: w or -872?
w
Let y be -129*(-1)/(-15) + 9. Which is smaller: -2349 or y?
-2349
Let i = 55418/2220105 + 10/4989. Which is smaller: 1 or i?
i
Suppose 18*m = 55*m + 1015 - 349. Which is greater: m or 35/11?
35/11
Suppose -20*c = -15*c - 10. Suppose c*y + 0*y + 5 = -a, 5*y + 20 = -4*a. Is -4/13 at most as big as y?
True
Suppose 0 = -7*d - 31 + 325. Let j be (-4)/(-6) + (-1918)/d. Which is greater: -46 or j?
j
Let t = 3646 - 47393/13. Is t >= 2/11?
True
Let d be ((-2)/(-80)*-3)/(-3). Let j be 1*2 - (-10)/(-4 - 6). Let o be -8 - -7 - j/3*0. Is o >= d?
False
Let t be 1*2*1/2. Suppose 6 = -17*y + 482. Let g be (2/(-7))/(7/(y/(-12))). Is g at most t?
True
Let n be (-4*(1/5 - 0))/((-2)/(-25)). Which is smaller: -107/11 or n?
n
Let i = 969 - 680. Let f = i - 289.1. Which is greater: 1/89 or f?
1/89
Let l = -31906 + 31909. Let y = 68 + -61.1. Which is bigger: y or l?
y
Suppose -336 = 27*d - 15*d. Let j be (-346)/12 - 44/(-132). Which is bigger: d or j?
d
Let s be (2 + 1)*10/6. Let m = -8 + s. Suppose 46*z - 41*z + 16 = -w, -4*z - 24 = -2*w. Is m at most as big as z?
False
Let b = -30.3 - -33. Let j = 11 - 8.2. Let h = j - b. Which is greater: h or 6?
6
Let p be (-32*3/(-2))/(28/(-42)). Let s = 70 + -140. Let g = p - s. Which is bigger: -1/2 or g?
-1/2
Suppose -7*k + 36 + 6 = 0. Let w be (1/(-3))/(k/(162/39)). Let z = 35/39 + w. Which is greater: z or 0?
z
Let h = 15396 + -15396. Which is bigger: -13/747 or h?
h
Suppose -5 = -5*k - 0. Let y = -1513 - -2274. Let f = -78381/103 + y. Which is greater: k or f?
k
Suppose 0 = -16*z + 4*z + 6*z. Is 6/2849 at most as big as z?
False
Suppose -u = o - 9, 2*o - o = 3*u - 31. Suppose 4*i - u + 10 = 0. Let h be i - -4 - 8592/2136. Which is bigger: h or 2/7?
2/7
Let y(u) = -924*u + 20091. Let g be y(30). Do g and -7629 have the same value?
True
Let p = 7288 + -6550. Which is smaller: -0.1 or p?
-0.1
Let d = -1847/4 - -462. Let v = 8.6 - 15.4. Is d smaller than v?
False
Let j = 0.863 + 0.037. Let c = 21.1 + j. Which is smaller: c or -2?
-2
Suppose 46*v = 41*v + 460. Let f = v - 63. Let w be (f/40)/((-8)/20) + 2. Is -1 at least w?
False
Let n be ((-10)/(-6))/(((-80)/96)/(-1)). Is n != 284?
True
Let r = -118 - -13. Suppose -1 = 2*h + 17. Let x be (h/15)/(7/r). Do x and 9 have different values?
False
Let k = 665927 - 665927.2. Let j = -0.087 - -64.087. Do k and j have different values?
True
Let r be 200/(-6)*(-36)/8. Let t be ((-90)/36)/(1398/(-348) - -4). Suppose 5*p + t = r. Is p greater than or equal to 2/9?
True
Let j = 13090 + -15310. Is -2224 at least as big as j?
False
Let v(u) = -u**3 + 5*u**2 + 11*u + 7. Let b be v(7). Suppose -3*s = -4*h + 26, -s - 5*h + h - 30 = 0. Is b equal to s?
True
Suppose 8 = 2*i - 24. Suppose 3*n + d = 118, 0 = -3*n - 3*d + 7*d + 128. Suppose n = k - i. Is 55 at least as big as k?
False
Let s(b) = b**3 - 4*b**2 - 4*b + 19. Let j be s(6). Let v = j + -71. Let z be -3 - 8/v - 45/(-4). Is 9 equal to z?
False
Let k = -34 + 37. Suppose 0 = -2*l + k*h - 7 - 2, -2*l - 7 = -h. Let i(y) = y + 4. Let m be i(-8). Does m = l?
False
Suppose 7*p = 4*p - 12, 5*p - 2005 = -5*a. Which is smaller: a or 407?
a
Let z(h) = -18*h - 99. Let m(r) = -35*r - 198. Let b(s) = -6*m(s) + 11*z(s). Let g be b(-9). Is -28/3 less than or equal to g?
True
Let w(l) = -3*l + 28. Let g(b) = b. Let z(s) = 2*g(s) - w(s). Let j be z(0). Let t = j + 33. Is -0.1 smaller than t?
True
Let m be -24 - (24/4 - 4). Let o(b) = -b**3 - 26*b**2 - b + 6. Let i be o(m). Does 31 = i?
False
Suppose 118*c + 1152 = 112*c. Let d = -12 - c. Which is smaller: d or 181?
d
Let b be -8 + (18 - (-20288)/(-2064)). Do b and -1 have different values?
True
Let h = -164.2 + -33.8. Let i = 194 + h. Which is smaller: i or 0.12?
i
Let k = 4680 - 60888/13. Let n(t) = t**3 - 5*t**2 - 10*t + 51. Let h be n(4). Which is bigger: k or h?
k
Let h = -40619/15 + 2709. Let c be ((-12)/(-20))/(3/5). Is c bigger than h?
False
Let o = -3463 - -3463. Is o less than or equal to -1/2084?
False
Let o = 16.7 - 28.8. Let c = 1.1 + o. Let s = -2.7 + 2.5. Which is greater: s or c?
s
Let m be 1 + (-16)/4 - 0. Let s be (m/(-15))/(6/(-20)). Which is bigger: s or -0.05?
-0.05
Let h be (-270)/315*-7*(-1 - -2). Suppose h*z + 4 = 7*z. Is z >= 3?
True
Let t(v) = 2*v**3 + 18*v**2 - 112. Let b be t(0). Suppose -3*s - 1 = -193. Let a = s + b. Do -47 and a have the same value?
False
Suppose 0 = -3*c - 9*c + 60. Suppose -f = -c*w - 26, 4*w + 10 + 5 = -5*f. Is 103 less than f?
False
Suppose -220 = 19192*n - 19188*n. Let x = 5 - 6. Let w = x + 0.9. Which is smaller: n or w?
n
Let h(v) = 7*v + 7. Let z be h(-3). Let r be 0 - (z + -2)/(-4). Is -3 greater than r?
True
Let c = 6150 + -6150. Which is smaller: c or -1066/7?
-1066/7
Let k be -2*(-45015)/5 - -16. Is k bigger than 18022?
False
Let u(q) = 3*q**2 + 10*q + 6. Let h be u(10). Let p = 2557 + -2151. Does h = p?
True
Let v(i) = 43*i**2 + 8*i. Let k be v(-1). Is k <= -1?
False
Let y(m) = m**3 + 5*m**2 + 3*m + 10. Let x 