= -9 + 8. Which is greater: -47/68 or u?
-47/68
Let d = 81 + -78. Suppose 4*f + 4*s = -124, 2*f + 26 + 33 = -d*s. Is f equal to -39?
False
Let q be 2*((-144)/(-2493))/4. Are q and -1 unequal?
True
Let p = -15558/83 + -926362/747. Let m = -1426 - p. Let g(k) = k**3 + k**2 - 12*k - 15. Let u be g(-3). Which is greater: m or u?
u
Let i(g) = g**3 - 5*g**2 - 4. Let u be i(6). Let a = u - 91. Which is bigger: -60 or a?
a
Suppose 14 = -2*h - 58. Let n be 7/(49/2) + 792/21. Let m be (3/45)/(n/h*-3). Which is greater: m or 1?
1
Let i = -1461 + 1475. Let g be ((-4)/(-6) + 0)/((-17)/51). Which is bigger: g or i?
i
Let w(z) = -5*z + 20*z**2 + 0 - 19*z**2 + 1. Let n be w(5). Let l be (-117)/(-3978)*(-1 + 2)*2. Which is smaller: l or n?
l
Suppose 43*i = 45*i + 96. Let u be (-18)/(-10) - i/8. Is u at least 9?
False
Let h = -0.3 + -0.3. Let z = -3150 + 3181.33. Let c = -31.4 + z. Is c < h?
False
Let z = 270 + -263. Suppose -3 = -5*d - x, z*d - 10*d - 4*x + 12 = 0. Which is greater: -29/24 or d?
d
Let f = 32061/7 - 4589. Suppose 2*u = -28 + 156. Let k be (-2)/(u/20 - 3). Which is smaller: f or k?
k
Let w = 104 + -135.27. Let n = 31 + w. Let v = n - -0.245. Which is greater: v or 1?
1
Let g = 263/195 + -4/3. Let c(x) = x**2 - 2*x - 19. Let j be c(6). Suppose 11*i = 6 + j. Is g less than or equal to i?
True
Let r be 6/8*(506/69 + -7). Is -2499 smaller than r?
True
Let o = 48 + -35. Let k be 2/4*(-17 + o) - -42. Suppose -5*j + 4*r = -220, 2*j - k = r + 45. Is j > -0.1?
True
Let o = 35014 - 35137. Which is smaller: o or -737/6?
o
Suppose c + 24 - 9 = -p, -5*c = -5*p - 125. Which is bigger: -153/8 or p?
-153/8
Let j = 53 + -48. Suppose 4*a = -j*f + 3*a - 10, -a = 0. Let i be 1 - (18/14 + f/7). Which is smaller: 5/8 or i?
i
Let r = 4414 - 4460. Which is smaller: r or -29?
r
Let k = 0.053 + 13.147. Let c = -1.8 - k. Let s = -14 - c. Is 6 at most s?
False
Let g = 0.327 + -9.227. Let r = g - -8.84. Which is greater: r or -6?
r
Let r = -3.33 - -3.23. Let s = 160 + 14. Which is greater: s or r?
s
Let u = -320 + 863/4. Let c(r) = -2*r**3 + 146*r**2 - 3*r + 324. Let b be c(73). Let h = u + b. Which is greater: -1 or h?
h
Suppose 5 = -l + 4*r + 58, 3*r + 114 = 3*l. Suppose -27*c = -l*c + 1446. Is c at most as big as 242?
True
Suppose -11*a = -9*a - 14. Let v be 4/(-6)*(94 - a). Let c be (v/(-4))/((-2)/(-4)). Is c greater than 29?
False
Let i = 1345 - 1295. Suppose 4*s - 4*h = -372, 481 = -5*s - 2*h + 3*h. Let d = i + s. Which is bigger: d or -46?
-46
Suppose 383 = 172*b - 477. Let d(c) = c**3 + 4*c**2 + 2*c + 2. Let z be d(-2). Which is bigger: z or b?
z
Let x be ((-224)/175)/8*10/4*-189. Is x <= 76?
True
Let d be 2/(0 - -2)*0. Let u = -2851456 + 79824363/28. Let b = -586 - u. Is d < b?
False
Let v be (-2)/5 + (-14)/(-40). Let s be 16/64 + (35/20 - (-1 + 2)). Which is smaller: s or v?
v
Let v be ((-5)/((-40)/(-591)))/((-20022)/40452). Let s = v + -18/3337. Is 148 bigger than s?
False
Let h = 5116 + -4541. Which is smaller: 572 or h?
572
Let a be (1 - (-6)/24 - (-6)/(-6))*-2. Which is smaller: 4461 or a?
a
Let j = 101.64 - 92.64. Let s = -5 - -10. Suppose 3*r = s*b - 1, -5*b = -2*r + 1 - 0. Is j at most r?
False
Let v(d) = 1691*d**2 + 4*d - 5. Let r be v(1). Let k be r/(-562) - (2 + 7 + -12). Suppose 4*b - n = -3, 3*n = -3*b - n - 7. Which is smaller: b or k?
b
Let t(q) = q**3 - 2*q**2 - 51*q - 16. Let n be t(-11). Is 0.2 less than n?
False
Suppose 498 = 3*a - 6*k, -191*k - 334 = -2*a - 188*k. Which is greater: a or 174?
174
Let w be (-172)/129 - 12898/6. Is w at most as big as -2148?
True
Let u be ((-648)/(-24840))/((-1)/10). Is 0.072 bigger than u?
True
Let d = -100178444644/173 - -579063454. Let k = d + 2700. Is -1 less than k?
True
Let f(c) = -c**2 - 16*c + 2. Suppose -6*i + 370 = -i. Suppose -5*m - i = -3*o, m - 3*o + 6 = 2*o. Let g be f(m). Is 5/6 less than or equal to g?
True
Let a(r) = -r + 3. Let x be a(-3). Let h be (26/39)/(4/66). Let j = h - x. Is j greater than 2?
True
Let f = 38 + -21. Suppose f = 4*a + 9. Let q be (-2)/(-12) - (68/(-24) + a). Which is greater: q or -1/3?
q
Let d = -1335.6 + 1301.6. Is d at least -1.43?
False
Let p = -1.3 - -2.5. Let a = -777 + 791. Suppose 10*u + 24 = -a*u. Which is smaller: u or p?
u
Let b = 1052/11 + -1285555/13442. Is -1 at most b?
True
Let d = 69 + -65. Suppose 2*w - 194 = -5*v + 63, 3*v + d*w = 143. Is 52 bigger than v?
False
Let a = -21/41 - -1321/2419. Let v(p) = 5922*p - 5922. Let d be v(1). Is d greater than a?
False
Suppose 242*q = 269*q - 864. Is 27 at least q?
False
Suppose -3*a + 370 = -2*r + a, -5*a = 2*r + 415. Is 0 less than r?
False
Suppose -2*b = 3*b - 2*n - 630, 3*b - 4*n - 392 = 0. Let o = 7233 - 14217/2. Which is greater: b or o?
o
Let m(g) = 2 - 9*g + 2 - 2584*g**2 + 2585*g**2. Let y be m(2). Which is greater: y or 3?
3
Let y be ((-65)/(-91))/((-78)/77). Let a = y - -8/39. Which is smaller: a or -5?
-5
Let z = -4.5091 - -0.0491. Let j = 1.46 + z. Which is smaller: 15 or j?
j
Suppose r - 5 = 0, -2*b + 497572 = 3*r + 155881. Let m be (2 - (-1345)/(-670))*b. Let s = m - -1275. Which is bigger: s or 0?
s
Let n be ((-27282)/(-1413))/(16932/18). Let w = 2/1411 - n. Which is smaller: w or 1?
w
Let n be (-68080727)/6765 - (-1)/(-3). Let o = 10064 + n. Which is bigger: o or 1?
1
Let s be 4 + (44/(-352))/(1/44). Is 1045 less than or equal to s?
False
Suppose 8628 + 50151 = -21*k. Is k at least as big as -2797?
False
Let s = -48 + 16. Let c = s + 20. Let d be 16/(-30)*((-9)/c)/(-1). Which is smaller: -0.6 or d?
-0.6
Suppose 5*z - 110 = -x, 4*z + 141 = x + 13. Let c be (x - 114) + -3*1. Let y be -1 + 2*1 + 3. Is y bigger than c?
True
Let w(r) = -r**3 - 8*r**2 - 7*r. Let m be ((-27)/(-15))/((-3)/(-15)). Suppose -2*s - 12 = h, -h + m + 7 = -2*s. Let d be w(s). Which is smaller: d or -1/4?
-1/4
Let b = 5579/10 + -2789/5. Which is greater: b or 60?
60
Let d be 9038/45290 + 98/(-490). Is d <= -1?
False
Suppose 3*b + 11 - 5 = 2*o, 2*b + 2*o - 6 = 0. Let k(x) = -9 - x**3 + 14*x**2 + b*x**3 - 14 + 3*x - 5*x**2. Let r be k(9). Which is bigger: r or -2?
r
Suppose -4*u = u - 3*k - 13, -4*u - 3*k = -5. Suppose 4*a = 3*a + 208. Let h be (-10)/25 + a/220. Is h bigger than u?
False
Let g = 11926 - 11901. Suppose z - 17 = 5. Which is bigger: z or g?
g
Let w = 127 + -164. Let s be (1 - 1)*(-37)/w. Which is bigger: -5/22 or s?
s
Let c be ((160/(-56))/(-5))/(34/1309). Let y = -4872/55 + 1212/11. Is c greater than y?
True
Let k(s) = 10*s**2 + 13 - 3*s - 3*s**3 - 19*s**2 - 19. Let j be k(-4). Is 54 < j?
False
Suppose -3*q = -12*q + 45. Suppose 2*b - 5*f = -2*b + q, -5*b - 3*f = 40. Is 20 < b?
False
Let a(k) = k**3 + 2*k**2 + k + 2. Let o be a(-2). Let g = 54623121/502 - 108811. Is o >= g?
True
Let l be (182/543 + (-8)/24)*-112. Let u = l + 67898/327429. Which is smaller: 0 or u?
0
Let d = -0.104 - -39.104. Let s = 39 - d. Does -13 = s?
False
Let a be (-58)/(-18) + (-2)/9. Let q be 27/(-666)*a/(27/6). Suppose 8 + 4 = -12*y. Is y equal to q?
False
Let g = -4702 - -4708. Is g <= -275?
False
Let g = -477.848 - -477. Let q = g + 0.748. Let n = 37 + -15. Is n bigger than q?
True
Let m = 0.255 - 0.155. Is -2.097 at least as big as m?
False
Let k = -410 + 411. Let w be (-2)/9 - 1312/(-6066). Is w smaller than k?
True
Let k be 84/(-280) + 4815/50. Which is smaller: k or 77?
77
Let q(d) = -d**3 - 2*d**2 + 3*d + 4. Let u be q(-3). Suppose 7 = -u*f + 19. Suppose 0 = n + 19 - f. Which is bigger: -15 or n?
-15
Let u be 184/(-690) - (-24)/9*(-4)/80. Is u != 76?
True
Let z be 25/((-375)/(-30)) - 1104. Are -1103 and z equal?
False
Suppose 0 = -164*g - 7678 - 6426. Which is greater: g or -1438/17?
-1438/17
Let z = -9/538 - -6205/435242. Suppose p - 3 = 4*k - 0, 2*k = -4*p + 12. Is z greater than or equal to k?
False
Let m = -649445602/5669763 - -2/515433. Do -114 and m have different values?
True
Let a be (-13)/(-3) + 1/(-3). Suppose -30 = 4*z - 2*j, 2*z - 8*j + 3*j + 27 = 0. Let f be ((-51)/z + -8)/(1/30). Which is smaller: a or f?
a
Let p be (1 + -7)/((-10)/765). Let z = p - 3207/7. Let q be 2/(-3) - (-336)/756. Which is bigger: q or z?
z
Let o be (-482)/(-12) - (-25)/(-150). Let q = 0.07 + 0.1. Let g = 0.07 - q. Is o greater than or equal to g?
True
Suppose 2*r = -14 - 13 + 25. Let s be ((-152)/(-10))/((-4)/(-10)). Suppose -s = 3*o + 2*g, g = -4*o