1 = 7. Let s be b(g). Is s at most as big as p?
False
Suppose -170937 + 29595 = 275*z + 56658. Which is greater: -721 or z?
z
Let r be 5*(-18 - -2) + -2 + 5. Let h be 14/r*36/8. Is -2 greater than or equal to h?
False
Let j = 0.09067 - 0.03067. Let f = -524 - -15198/29. Which is smaller: f or j?
j
Let a(p) = -3*p**3 - 81*p**2 - 4*p - 473. Let f be a(-28). Is 1991 equal to f?
True
Let h be -5 + 7 - 555876007/(-135)*4. Let d = 16470480 - h. Let p = 700/9 - d. Which is greater: 1 or p?
1
Let i be -7 - -9 - -94 - (1 - -2). Which is bigger: 83 or i?
i
Let b = -81 - -39. Let k = 44.3 + b. Let x = 2.289 - k. Which is bigger: -1/2 or x?
x
Let v(w) = -139*w**3 - w**2 + 1. Suppose 0 = 2*a + 8, 0 = 3*r - 4*r + 4*a + 17. Let i be v(r). Is -140 greater than or equal to i?
False
Let r = -1982 + 1977. Let d = -34.053 + 34. Is d at most as big as r?
False
Let a = -109144 + 109145. Let i = -88472/39 - -4968623/1794. Let v = -501 + i. Is v equal to a?
False
Let i be 6*(9 - 11)*3/2. Let y(l) = -5*l**2 - 3*l. Let x be y(-2). Which is bigger: i or x?
x
Let d(q) = 3*q**2 - 7*q + 5. Let i be d(5). Suppose 4*c = -3*w + 167, 188*c - 192*c + 161 = 5*w. Is c greater than or equal to i?
False
Let i(z) = 5*z**2 - 44*z - 48. Let k be i(11). Which is bigger: k or 126?
126
Let n(q) = -q**3 - 4*q**2 + 5*q + 2. Let v be n(-6). Suppose -a = a - v. Let k(x) = 2*x**3 + 25*x**2 + 9*x - 15. Let r be k(-12). Are a and r equal?
False
Let u(w) be the first derivative of -2*w**3/3 - 10*w + 8. Let h be u(-4). Let d be (-7)/(-42)*(-45)/h. Do d and -1 have the same value?
False
Suppose -2*c - 30 = -o - 23, -c = -5*o + 26. Which is greater: c or -24/439?
-24/439
Let y be 2*(3 - -353) + (180 - 169). Does 721 = y?
False
Suppose 5*g - 81 = 64. Let o be (68 - 71)/(-1 - (-48)/47). Let v = o - -169. Which is bigger: v or g?
g
Suppose 12*m - 24 - 60 = 0. Suppose -5*s + 130 = 5*v, 2*s - m*s + v = -154. Let h be 24*(1 + (-39)/s). Which is bigger: -8 or h?
h
Suppose 0 = 3*w - 4*w - 5, 0 = p + 2*w + 7. Let n = p - 4. Which is bigger: 3/82 or n?
3/82
Suppose 0 = -26*u - 1567 - 1943. Which is greater: u or -133?
-133
Suppose 3476 = 5*z - 3*h - 8592, -4*z - 3*h = -9622. Which is smaller: z or 2407?
2407
Let o be (-2)/(1/9*6). Let h be (o - (30 + 6)) + 5. Which is smaller: h or -37?
-37
Let g(q) = -374*q + 90. Let t be g(8). Which is smaller: t or -2901?
t
Suppose -4*x - 186*i + 183*i = -517, 35 = 5*i. Does x = 137?
False
Let l = -4409 - -6555. Is l at least 2145?
True
Let w be 18/3 - ((-2298)/(-15) + 3/(-15)). Which is bigger: -146 or w?
-146
Let h(u) = u**2 - 11*u + 13. Let c be h(10). Let k be c/(12/(-4))*-5. Suppose k*g - 23 = -w, 0 = -4*w - 5*g - 5 + 37. Is 1 at most w?
True
Let z be -30*17/((-340)/16) + 4. Is z <= -1.6?
False
Let n = -256 + 259. Let v be (1 - (-54)/(-30))*n/6. Which is smaller: 6/7 or v?
v
Let q be 84/(-7) - (-7)/((-35)/(-18735)). Are 3735 and q unequal?
False
Suppose 0 = -s - 5*j + 145, j - 144 = -s + 1. Suppose 0*a = -5*a + s. Let u be (8 - 1)/(-48*57/(-10944)). Is u equal to a?
False
Let q = 259797/19 + -13670. Which is greater: -0.4 or q?
q
Suppose -2*b = 3*t - 26, 4*b - 3*b + 2*t - 14 = 0. Let a be (204/7)/((-2)/(-7)). Let g = 110 - a. Which is smaller: b or g?
g
Suppose -b - 38 = -3*b. Suppose 4*j = -l + 69, j + 3*j = 4*l + 64. Let h = b - j. Which is smaller: 8/11 or h?
8/11
Suppose 11*d - 37 - 18 = 0. Suppose 7 + 378 = -d*u. Which is bigger: u or -79?
u
Let m = -40499/354612 - 3/4076. Which is smaller: -2/7 or m?
-2/7
Let f be (-10792)/114*(-18)/(-12). Which is greater: f or -140?
-140
Let t be 204/17*-1*(-1671)/(-9). Do t and -2226 have different values?
True
Let m = -713 - -712.388. Let l = 4.388 - m. Which is greater: -2 or l?
l
Let r(n) = -n**3 - n**2 - 17*n + 3. Let z be r(0). Is 0.066 less than z?
True
Let h(g) = 23*g + 3. Let s be h(-1). Let v be (10/20)/((-2)/s). Is v > -0.5?
True
Let o = -1395.966 - -1396. Which is smaller: 2/3 or o?
o
Let l be 0 - (-4 - -10)/(-3). Let h be 5/10 + -1 - l/4. Let j be (-2)/(-153)*-3 + 0. Which is smaller: j or h?
h
Let t = -7473 + 11949329/1599. Which is smaller: 0 or t?
0
Let f = -176 + 174. Let x be ((-9)/f - -1)/((-27)/(-270)). Which is smaller: 54 or x?
54
Let w = 0.124 - -0.016. Is -0.057 bigger than w?
False
Suppose 20*f - 54 = 22*f. Let d be ((-64284)/135 - 1) + 6/f. Let y = d - -473. Which is smaller: -5 or y?
-5
Suppose 5*a = -3*k - 629, -3*k - 661 = -5*a + 6*a. Which is greater: k or -221?
-221
Let m be ((-1)/62)/(-15*(-6)/90). Is m greater than -0.13?
True
Let j = 74.45 + -73.4. Let v = j - -91.95. Is 0.1 at most as big as v?
True
Let s = -1821 - -1819.097. Let y = -1.95 - s. Is y at most as big as 2?
True
Let d(v) = 75*v - 49 - 73*v + 9. Let g be d(-12). Is g bigger than -65?
True
Let q = -1.0289 - -2.0289. Is 136/15 at most as big as q?
False
Let w be (8 - 7909/1100*2) + 7/1. Which is bigger: 1 or w?
1
Let h(o) = -o**2 - 2 + 8 - 9*o - 15. Let u be h(-8). Suppose 0 = 3*z + y + y + 13, 4*y + 17 = 3*z. Is z equal to u?
True
Let v be ((-720)/534)/(-12)*-18. Is v at most 2?
True
Let h be 1*((-212)/159 + 34/3). Suppose 5*l = -3*y + h, y - 2 = -31*l + 30*l. Which is smaller: -1/7 or y?
-1/7
Let k be -8 + (-900)/(-65) + 28/182. Which is smaller: 0.372 or k?
0.372
Let a be 1/((-14)/18) - (-43 - (-2990)/70). Which is bigger: a or -8/3157?
-8/3157
Suppose -14*o = 30*o - 176. Suppose 0 = -o*v - 11 - 21. Let n = -17 - -9. Do v and n have different values?
False
Let j = 2/96501 + -290645/55102071. Suppose -3*c - 2*c = 5. Which is smaller: c or j?
c
Let m = -0.9 - -0.78. Let f = m - -0.82. Let l = -39.44 - -42.44. Which is bigger: f or l?
l
Let y = 0.1342 - 0.0697. Let r = 5.9355 + y. Which is greater: -0.8 or r?
r
Suppose 891 + 498 = 185*p + 464. Are p and 101/16 equal?
False
Suppose -1855 = -3934*m + 3881*m. Let j be ((-14)/(-3))/((-8)/(-60)). Is m at least j?
True
Suppose 4*a - 132 = -2*a. Let h = a - -6. Suppose -4*y = 4*t - h, -1 = -y - 2*t + 10. Which is smaller: -2/5 or y?
-2/5
Let c be (3802/56)/((-2)/(-8)). Let q = c - 272. Let i = -57/112 + 289/1008. Does q = i?
False
Let w(z) = -49*z + 3244. Let b be w(79). Which is smaller: -622 or b?
b
Suppose -6*i = -882 - 1572. Which is smaller: 406 or i?
406
Let b = 427 + -427. Let j(m) = m**3 + 11*m**2 - 13*m - 11. Let f be j(-12). Let z be ((-2)/2)/f - 8. Is z at least as big as b?
False
Let g = 300.5 - 300. Let q be (64/6)/(-2 - (-80)/45). Let u = 56 + q. Which is smaller: g or u?
g
Let k(r) = r**2 - r + 1. Let w be k(2). Suppose -s - 19 = -w*a - a, -s = -2*a + 9. Let l = 55/138 - 171/506. Which is smaller: l or s?
l
Let a = -13/4 + -77/4. Let i(b) = -2*b**2 + b - 8. Let c(v) = 2*v + 1. Let d(z) = 5*c(z) + i(z). Let y be d(7). Is y less than or equal to a?
True
Let d = -4896 - -6202. Which is smaller: 1304 or d?
1304
Let l be 18/(-8) + (-81)/(-108) - 34863/(-6). Do l and 0.2 have different values?
True
Let j = 4484 - -651. Which is smaller: j or 5134?
5134
Let b = -114 + 204. Let t = -87 + b. Suppose -t*x + 14 = -7. Which is greater: x or -1?
x
Let z be (-4824)/(-342) - (-11 + 25). Which is greater: -225 or z?
z
Suppose 4*z = -4*q, 2*z - 5*q = -2*z + 27. Suppose -4*a + z = -17. Let c be (-1)/(774/237) + a/30. Which is bigger: 0 or c?
0
Let t = -107 + 2353/22. Let h = t + 49/594. Is 0 less than or equal to h?
True
Suppose 4*s - 64 - 40 = 0. Let t = s + -232/9. Suppose -68*k + 210 = -62*k. Is k >= t?
True
Let o be ((-6)/(-166))/(1995/42 + -40). Which is smaller: o or 0?
0
Suppose 2*d = 84 - 18. Let v be (-48)/8 - 0 - ((-16 - -8) + 4). Which is bigger: v or d?
d
Let o(f) = -5*f**2 - 22*f + 3. Let c be o(19). Let v = -273058/123 - c. Is 1 smaller than v?
False
Let o = -672 + 676. Suppose o*h = -26*h. Is 2/131 != h?
True
Let r = 108 + -41. Let v be (r - 63) + (-200)/62. Is -0.2 at most as big as v?
True
Suppose 116 = 13*v - 261. Suppose -v*a + 1 = -30*a. Is -2/323 greater than or equal to a?
True
Let q(x) = 6*x + 17. Let k(g) = -25*g - 70. Let v(a) = 2*k(a) + 9*q(a). Let u be v(1). Which is smaller: 6 or u?
6
Let p be (2 - (-19 - -8))/(2/(-268)). Is p <= -1742?
True
Let p = 2/119497 - -33332/48396285. Is p greater than -1?
True
Let p be (0 - 1)/(3/(-63)). Suppose 2*w - p = -19. Which is bigger: 4/37 or w?
w
Let o = -3155.1 + 1937.1. Is o at least as big as 14?
False
Let z(y) = 3441*y