-13)/(143/40) + 4. Is -14 at most s?
True
Let r = 1919 - 1935. Let l = -648.1 + 613. Let y = l + 35. Which is bigger: r or y?
y
Let t = -8/369 - 10636/122139. Which is smaller: t or 1?
t
Suppose -5*c = -j + 24, -8 = -2*j - 0*c + 2*c. Let y be (j + 50/26)*1. Which is smaller: y or 1?
y
Let r(z) = -2*z**2 + 365*z - 2566. Let i be r(175). Let k(h) = 56*h**2 + 1. Let n be k(-1). Which is smaller: n or i?
n
Suppose -19*g - 100 = -21*g + 5*w, 5*g - 2*w - 250 = 0. Are g and 44 nonequal?
True
Let y = 4870 - 4871. Is y greater than -1/5076?
False
Let d = -95 - -525. Let n = d - 430.3. Which is smaller: -7 or n?
-7
Suppose -3*z - 5*k = -7158, 104*z - 102*z - 4*k = 4706. Is z smaller than 2370?
False
Let t(m) = m**3 + 8*m**2 + 12*m - 15. Let o be (3/(-4) - -4) + (-15)/(-20). Suppose 10*n = o - 54. Let f be t(n). Are f and -34 unequal?
True
Let v = -2281/30 - -9313/390. Is -52 at least v?
True
Let r = 9661 - 9658. Is 2/551 smaller than r?
True
Let v = -0.011 + -1.389. Let q = -1.6 + 2. Let a = v + q. Which is smaller: 1 or a?
a
Suppose -3*q - l = -3542, -3*q + l - 5900 = -8*q. Let m be (6/8*-6679)/((-425)/100). Let k = q - m. Are k and 1 non-equal?
True
Let s = -48.551 + -2.449. Let g = 110 - 60. Let l = g + s. Which is smaller: l or 1/26?
l
Let g = 4519.827 + -4522. Let o = 0.173 + g. Is 40 at least o?
True
Let x(p) = -p**2 - 113*p + 108. Let s be x(-114). Which is greater: -172/23 or s?
s
Let u = 104.59 - -5531.41. Let f = -5606.81 + u. Let v = f + -29. Do v and 0.2 have different values?
True
Let y = -1.0218 + 1.1218. Is y greater than or equal to 105.4?
False
Let y be (-8)/(-10) + -1 + (-196031)/(-1255). Let f(p) = -158*p - 1. Let b be f(-1). Is y < b?
True
Let l = -0.32452 + 0.23452. Which is bigger: 11/3 or l?
11/3
Let m(o) = -373*o - 110. Let z be m(-26). Let g be (-8)/(-3)*153/z. Is g bigger than -26?
True
Let t = 40152 + -281738/7. Suppose -5*y + 475 = -5*a, a - 4*y = -81 - 8. Let n = a - t. Is 0 equal to n?
False
Let w(o) = -o**3 - 25*o**2 + 54*o + 6. Let p be w(-27). Let r be (2/(-108))/((-6 - -4)/p). Which is greater: 2 or r?
2
Let i = 41 + -230. Let u be ((-7)/(i/6))/(2/18). Let s be (1/(-4))/(54/(-24) + u). Is 2/17 bigger than s?
False
Let a = -10399 - -10402. Are -0.815 and a nonequal?
True
Let l = 240 - 194. Let n be (-4)/l + 2200/(-1150). Which is smaller: -184 or n?
-184
Let x be 2/(16/10)*4 + 1478/(-286). Which is smaller: 1 or x?
x
Let v = -412 - -611. Let m = v + -228.8. Let z = m + 30. Which is smaller: z or -2/7?
-2/7
Let o = 79.4 + -100. Let y = o + 25.6. Is -0.4 less than or equal to y?
True
Suppose -m - 5 = -1. Let c = -10019 - -170233/17. Is c >= m?
False
Suppose -27*w = -29*w + 20. Suppose -2825 = -w*x - 15*x. Which is greater: x or 112?
x
Let u(c) = 10*c + 34. Let a be u(-3). Suppose o - 113 = 6*o - a*t, 3*t = -3*o - 84. Is o > -23?
False
Suppose 36*u - 372 = 3325 - 889. Is 92 <= u?
False
Let t be (330/(-231))/(2/28). Let q be 2/t*(550/(-80) - 5). Which is greater: q or 2?
2
Let l(k) = 3*k + 1888. Let m be l(41). Which is smaller: m or 0?
0
Let d = -17.5 - -159.5. Let m = d + -298. Is m smaller than 1?
True
Let l be 759/1290 + (-6)/10. Let b = 60 + -60. Let j be 4/(-26) + b + 18/117. Which is greater: j or l?
j
Suppose -61*q - 27078 - 8363 = 0. Is -575 bigger than q?
True
Let p = 11077/4 - 8496035/3068. Which is smaller: 1/4 or p?
p
Let g = -197751 + 478359797/2419. Let m = -2/41 - g. Which is greater: 0 or m?
0
Let q be (-10)/5*74486*(-1)/18. Let o = 8294 - q. Which is smaller: o or 17?
17
Suppose 3*g = -10446 + 1911. Is -2845 at least g?
True
Let w = -4002 + 3970. Which is smaller: w or -447/14?
w
Suppose -2*w - 5*p = -10*p + 1681, 4*w = p - 3371. Is w at most as big as -843?
True
Let t(a) = -6*a + 5. Let b be t(-4). Let l = 33 - b. Let z be 0 + (-25)/1 + (-16)/l. Is -55/2 >= z?
True
Let y = 784913/11 - 71275. Are 82 and y unequal?
True
Suppose 23*u - 1661 - 524 = 0. Let m be (-22)/231 + u/(-105). Is -7/69 less than or equal to m?
False
Let k = -44 - -42. Let h be (4/(-715))/k*10/38. Let m = 59764/13585 + h. Which is bigger: m or 4?
m
Suppose -12 = w + 3*k, -4*k = -4*w + w + 16. Let s = -43 - -53.3. Let n = s - -15.7. Is w not equal to n?
True
Let v be ((-92)/10)/(4/60). Let i(z) = 20*z + 120. Let d be i(-13). Let s = d - v. Does s = -7?
False
Let b(u) = -7*u + 76. Let f be b(11). Let q be -2 - (-60)/42 - 4684/(-8246). Let v = q + -545/12958. Which is smaller: f or v?
f
Let y be (-70)/(-10) - 12/2. Let u be 10/900*93 + 1/(-5). Which is bigger: y or u?
y
Suppose -72*a = -71*a + t - 938, -2*a = -4*t - 1834. Is a not equal to 926?
True
Let b(i) = i**2 - 27. Let q be b(7). Let m = 22 - q. Let v be 14*(-21)/(-12)*-2. Is v >= m?
False
Let p be ((-12)/10)/((-16)/40). Suppose 0*v + 3*v - 10 = 2*w, 4*v - 19 = -p*w. Let r be (16/54)/((7 - 17)/(-5)). Which is greater: r or w?
w
Let f be (-4)/14 - 27032/(-16800). Let u = 27/20 - f. Suppose -8*b + 3*b = 0. Which is greater: b or u?
u
Let b be (30/90)/(1/12). Suppose -5*m + 4*a + 1 = 0, 5*m - 3*m - 6 = -b*a. Is -1/11 less than or equal to m?
True
Suppose -20*f - 2*f = -6*f. Which is bigger: 1/14796 or f?
1/14796
Let b = -26401.534 + 26401. Which is bigger: b or 0?
0
Let p be -53*((33 - 17) + 197). Which is smaller: -11291 or p?
-11291
Let m be (-6)/(-4)*(-25)/45. Let l = 5.14 - 5.16. Which is bigger: m or l?
l
Let m be (-12)/(-60)*-8*30/(-4). Let j = 45 - 29. Which is smaller: m or j?
m
Let n = 19/20 - 967/660. Suppose 4*g + 117 - 115 = -3*m, 4 = -4*m - 4*g. Is m bigger than n?
False
Let n(z) = -25*z - 6. Let p(r) = 25*r + 5. Let m(l) = 2*n(l) + 3*p(l). Let c be m(-3). Let a be c/(-60)*(-2 - 46/(-3)). Are a and 15 equal?
False
Let o be (4 + 68/(-10))/(4/(-10)). Let d = 1392962/33 - 42216. Let h = 3076/231 + d. Which is smaller: o or h?
o
Let m be (((-3420)/(-2730))/3 + (-4)/7)/8. Let d be ((-2)/(-5))/(2/10). Suppose -3*l + 0 = -3*g - 3, d = -2*g + 3*l. Is g at most as big as m?
True
Let f = -4123 + 4650. Are 529 and f equal?
False
Let x = 237.97 - 237. Let j = x + -0.2. Let g = 0.85 - j. Is 1/3 less than or equal to g?
False
Let j = -4089 - -4108. Which is smaller: 164/9 or j?
164/9
Let c = 1288 - 1288. Let t be ((-5)/310)/((-6)/(96/(-26))). Is t at least as big as c?
False
Let c be 20/(-66)*(-2 + 1190/4). Let m = c - -90. Let y = -4/33 + m. Is y less than or equal to 8/9?
True
Suppose -49*c + 7*c = -398748. Do c and 28484/3 have different values?
True
Let b(x) = -11*x - 24. Let q be b(-2). Let a(r) = 32*r + 20. Let j be a(q). Which is bigger: j or 2/11?
2/11
Let c = 125 + -76. Suppose 3*l - 76 = -2*w, w = l + 3*l + c. Let b = w - 44. Is -7 greater than or equal to b?
False
Let h = -6977/12 - -2325/4. Is -2622 at most as big as h?
True
Suppose 4*v + 11 = -4*x + 15, 0 = -5*v + 5*x + 65. Is v less than or equal to -0.68?
False
Let l(t) = t**3 - 2*t**2 + t - 15. Let i be l(-3). Suppose -2*v - 2*v - 288 = 0. Let q = v - i. Which is smaller: -8 or q?
q
Let j(l) be the first derivative of 8*l**2 - 8. Let a be j(-4). Let g = 65 + a. Is 1/22 not equal to g?
True
Let i = -7/1265 - -3/110. Let v(z) = z**3 - 207*z**2 - 12*z + 2485. Let l be v(207). Is i not equal to l?
True
Let p be ((-290)/(-4))/29*(-166)/(4 + -3). Is p not equal to -2907/7?
True
Let v(g) = 65*g + 248. Let k be v(-5). Which is smaller: k or -73?
k
Let b = 326531 - 9645399208/29539. Which is smaller: b or 0?
0
Suppose 0 = 43*i - 61022 - 11605. Is i bigger than 1689?
False
Let s = 0.445 + -0.845. Let r = s - -5.4. Is r greater than 3/7?
True
Let u = 577 - -4. Do 581 and u have the same value?
True
Let g = -7353 + 7354. Do g and -1/18947 have the same value?
False
Let y be 6/(-2 - -5) - (-45)/(-5). Let f(j) = -3*j**3 - 21*j**2 + 3*j + 13. Let a be f(y). Suppose 0*x = -4*x - 28. Are a and x non-equal?
True
Let h = -10 + 10.2. Let d = 2.817 + -2.527. Is h equal to d?
False
Let z = -52 + 73. Suppose -4*y = -3*x + 19, 3 = -4*y + 4*x - z. Do -5 and y have the same value?
False
Let u be 4/18 + (-50)/(-180) - 2. Suppose 13*c = -106 - 232. Is u != c?
True
Suppose -u - 472 = -2*o - 5*u, -o - 3*u + 241 = 0. Is o greater than or equal to 1133/5?
False
Suppose -t + 1 + 1 = y, -3*t = -3*y. Let f be ((-4)/4*-2)/y. Let j be f/12 + (-28)/24. Does -3/37 = j?
False
Suppose 0 = 4*j + 44 + 36. Suppose 0 = -18*h - 172 - 170. Which is greater: j or h?