7. Let j be (-18)/8*(25 - 37). Is j <= v?
True
Let r = 1/569 - 15368/2845. Suppose 5*c - 9 = 21. Suppose -2*n + 0*n = -2*m - 4, 0 = 4*m - 5*n + c. Is r > m?
False
Let z = 30 + -30. Let t = 817 + -762.3. Let o = t + -5.7. Is z bigger than o?
False
Suppose 2*m - l = 74, -2*m - 2*m + l = -148. Suppose 3*z - 841 - 1089 = -610. Suppose 0 = 13*i - m + z. Which is smaller: i or -33?
-33
Let c(g) = -7*g**2 + 59*g - 20. Suppose -19*o = 71 - 242. Let h be c(o). Is h <= -54?
True
Suppose 6*p + 2 = 4*p + 2*q, -4*p = 5*q - 5. Suppose p = s + 20 + 22. Let n be (-18)/(-15)*(-160)/s. Which is bigger: n or 6?
6
Let y be (2/(-4))/(0 + 3/(-318)). Let n(p) = -3 - 37*p**3 + 0 + 90*p**3 + p + 2. Let o be n(1). Do o and y have different values?
False
Suppose -3*f + 4*q - 40 = 0, -q - 5 - 6 = f. Suppose -14 - 8 = 2*m. Are m and f nonequal?
True
Let q = 327.8 + -320.8. Which is bigger: -1/17 or q?
q
Let x(l) = l**2 + 7*l - 471. Let r be x(22). Let f = -189 - -355. Which is greater: f or r?
r
Suppose 29*h = 27*h. Suppose 3*z - 4*y = -6*y + 94, h = -3*y - 12. Are z and 31 unequal?
True
Let s = -28 + 33. Let d be 5/(-2)*(9 + -11). Suppose 0 = -d*j - 5*z - 46 - 59, s*j + 3*z + 99 = 0. Do -19 and j have the same value?
False
Let t be ((-22)/(-55) + 0)*(-7185)/(-2). Which is smaller: 1434 or t?
1434
Suppose -14981*s + 15006*s = 6975. Does 220 = s?
False
Let u = -74449/33 - -2256. Let l be (12/9)/(12/9). Which is smaller: u or l?
u
Let d = 0.8 - -0.2. Let c be (1/((-60)/(-608)))/((-24)/(-30)). Which is bigger: c or d?
c
Suppose 3*b + 663 = -14*b. Let w = b - -29. Which is greater: w or -19/2?
-19/2
Suppose -4*u + 14 = 10. Suppose -2*h - 32 = 4*g, 3*g + u + 2 = 2*h. Let z = 4.299 + 0.701. Is h greater than or equal to z?
False
Let c(y) = -2*y**2 + y. Let u be c(1). Let b = u + -1. Let n = -56273/9 + 6252. Is b at least as big as n?
False
Let k be ((-22)/4)/(2/(-4)). Let m = -23183 - -23202. Which is smaller: k or m?
k
Let i = -3105 - -4097.1. Is 0 >= i?
False
Suppose 0 = -37*u + 33 + 78. Let l be (12/9)/((-95)/33 + u). Which is greater: l or 10?
l
Suppose 3*q = 4*g - 1, -72*q = -75*q + 3. Is 2/22139 at most as big as g?
True
Let y = 1.67 - -0.13. Let r(l) = 9*l - 407. Let f be r(45). Let t be ((-7)/f)/((-840)/(-480)). Is t < y?
False
Let r = 5756.28 - 5756. Which is bigger: r or -1/12?
r
Let o be -4*1/(-20) + 42/(-35). Suppose 0 = -3*k + 12, 2*h + 4*k + 0 = 30. Let v be (6 - h)*(-3)/21. Which is smaller: o or v?
o
Let g = -4772 - -5034. Which is bigger: g or 277?
277
Suppose -2*r = -130 + 20. Let f = 58 - r. Let d be 3 - (14/5)/(4 - f). Which is greater: -1/2 or d?
d
Let b = 25313 - 23749. Is 1566 >= b?
True
Suppose 3*t = -12, 2*h + 2*h + t - 668 = 0. Suppose 166*y = h*y - 458. Is 229 <= y?
True
Let j be -90*((-637)/(-21))/13. Let u = j - -18. Which is greater: u or -194?
u
Let m(t) = 11*t - 12. Let l be m(8). Let b = -92 + l. Let n be (-4)/b - 73/(-92). Which is smaller: 1 or n?
1
Suppose 4*x - 175 = 39*x. Which is bigger: x or -54?
x
Let l = 3932 - 3937. Let u = -1/22 - -15/88. Which is smaller: u or l?
l
Let v = 1/129082 + -148869/2554145534. Which is smaller: -1 or v?
-1
Let m be (-2 - 17352/(-8688))*6/15. Is m not equal to -0.07?
True
Let t = 44 - 40. Let h be (-38)/(-57)*(-6)/t. Let s be (-4)/35*(-21)/54. Is h at most s?
True
Let w be (-7 + (-95)/(-15))*153/(-18343). Which is bigger: 1 or w?
1
Let g = -0.0098 + -65.3902. Let y = 64.85 + 1.15. Let t = g + y. Which is smaller: -0.2 or t?
-0.2
Suppose -86 = -4*f - 4*y + 6, -15 = 3*y. Suppose -r - 2*z = -5*r - 8, f = -4*r - 3*z. Which is bigger: r or 34?
34
Let y = -533/6 - -245707/2766. Is y greater than 1?
False
Let u be ((-137)/(-2))/(1595/116 + -14). Which is greater: u or -266?
-266
Let a be 3/2*5182*(1518/46)/(-33). Is a less than 1?
True
Let o = -13180 - -13176. Which is smaller: o or -113/27?
-113/27
Let o be (-2556516)/(-3287) + 8/(-6 + 2). Let p = -2600/173 + o. Let s = p - 761. Which is greater: s or -1?
s
Let t = -1314/47 + 2487/94. Is t at most as big as -430?
False
Suppose 495 = 3*x + 5*d, 2*x = 7*x + 5*d - 835. Suppose 166*q - x*q = 4. Which is smaller: 14/87 or q?
q
Let w be (-309 - 1)*(-32)/80. Let t = w - 51. Which is smaller: t or 75?
t
Let n be (-9)/6*2/6. Let c = 25333 - 25371. Which is bigger: c or n?
n
Let d(l) = -l**3 + 29*l**2 - 102*l + 43. Let i be d(25). Let h be 0 + 110/(-14) - -1. Which is greater: i or h?
h
Let i be (1 + 2)*(6 + -2*57/18). Which is greater: i or 833?
833
Let j(k) = -k**3 - 4*k**2 + 6*k + 4. Let v be -3*(100/(-15))/5. Let c be ((-6)/v)/(3/10). Let s be j(c). Is -2 < s?
True
Let h = 3208/507 + -1182/169. Let r be 21/11 + (2 - 4). Which is bigger: h or r?
r
Let j be (-10)/(-6) - (-25)/(-15). Let n be ((-2)/(-922))/((-1)/2). Do j and n have the same value?
False
Let c = 68.09 + -40.09. Let k = -5.7 - 20.3. Let g = k + c. Which is greater: g or 2/9?
g
Suppose 14677 = -15*y - 4680 - 25058. Is y at most -2961?
True
Suppose 11*w = 25*w + 29078. Let i be (0 - w/9) + 2/9. Which is greater: 229 or i?
i
Suppose 6*k - 37154 + 4838 = 0. Suppose 8*m + k = 1242. Is -517 at least m?
True
Let p be (-30)/(-5) - 7 - -32. Suppose p - 41 = -5*i. Which is smaller: -4/13 or i?
-4/13
Suppose 3*t = -y + 34, -167*t = -162*t - 10. Let g = -4 - -30. Which is greater: y or g?
y
Let r be ((-2820)/(-35))/(18/630). Are 2819 and r equal?
False
Let h = 5/1066 + -707/1066. Which is bigger: -1 or h?
h
Let z = -8797.1 + 8794. Which is greater: -2/365 or z?
-2/365
Let h = 2782 - 19491/7. Let o(v) = -v**3 - 7*v**2 + v + 6. Let p be o(-7). Is h equal to p?
False
Let y be (-7455)/(-6958) - 8/14. Which is greater: y or 55?
55
Let x be 16 - 5 - 1 - 12. Is x greater than -93/41?
True
Suppose 35 = 4*l - 29. Suppose -l = -14*s - 2. Which is bigger: s or -2/115?
s
Let g(q) = q**3 + 7*q**2 - 12*q - 108. Let m be g(-6). Suppose m = -3*d + 189 - 1584. Which is bigger: d or -466?
d
Let r(b) = -3*b**3 - 14*b**2 + 3*b - 12. Let y(s) = s**3 + s**2. Let l(q) = r(q) + 4*y(q). Let t be l(10). Let z be t/64 - 3/12. Which is greater: -1 or z?
z
Let d = 955 + -926. Let j = 287/18 + 245/18. Is d < j?
True
Let p be ((-51)/(-15) + -3)/(1/7675). Suppose -117*l + p = -122*l. Which is greater: -615 or l?
l
Let m = -587 - -207212/353. Suppose -4*s + 12 = 0, 2*z + s + 3 - 8 = 0. Is m equal to z?
False
Suppose 3*u + 3*u - 330 = 0. Let l = u - 35. Suppose -5*w - 53 = -3*m, 2*m - m + 2*w - 25 = 0. Is l <= m?
True
Let o = -86787/7 + 12423. Which is smaller: 24 or o?
24
Suppose -p - 142 = 2*z, 3*z - p + 203 = -0*p. Let m = -67 - z. Suppose -3 = 5*w + m. Do w and -1/10 have the same value?
False
Suppose -4*p + 788 = -4*q, 5*p - 3*q = -2*q + 985. Let m = p - 195. Let r(x) = -x**3 - 6*x**2 + 4. Let d be r(-6). Is m bigger than d?
False
Let r = 1/1189831 - -4192964257/222498397. Let s be 2/(-3) + 856/51. Let g = r - s. Is 2 greater than or equal to g?
False
Let r = 159.05 + -159. Let n = r + -3.05. Which is bigger: -0.03 or n?
-0.03
Let f = 254 - 254. Suppose 3*m + 15 = 6*m, f = 3*b + 4*m - 626. Is b equal to 202?
True
Let p be (9 - 9)/(10/(-2)). Is p bigger than -3/4162?
True
Let r be ((-16)/232)/(2/4). Let l = r - -150/667. Suppose -2*a + 0*a = 0. Is a < l?
True
Let k = -3409 - -3408. Which is greater: k or -1/184?
-1/184
Let y = -87 + 27. Suppose -9*d + 0*d = 540. Let s = d - y. Is s not equal to 2/67?
True
Suppose 20 = -7*b + 12*b, -4*y + 36 = 2*b. Let v be (-9 - 0) + 6/(-6). Let r = v + 13. Is y at most as big as r?
False
Let s be (-2)/(-4)*(-8)/(-4). Let r be ((((-4)/106)/(-2))/s)/(-1). Is r at most as big as 1?
True
Let z = 41 - 85/2. Let j = 355 + -443. Which is smaller: j or z?
j
Let q be (-3)/(15/(-103)) - (-54)/(-90). Suppose q*r - 24*r = 0. Let n be (r - 1)/(0 + 3/(-48)). Which is greater: 15 or n?
n
Let g = -311.7 - -354.7. Is g smaller than -72?
False
Let a = -1 - -3. Let b = -384 + 384.0544. Let q = 0.0944 - b. Is q equal to a?
False
Suppose -5*s - 2*v + 7 + 35 = 0, -s - v = -6. Let q be (s - 10 - (-165)/36) + -5. Is 0 less than q?
False
Let w = -91 - -83. Let h = 561 + -556. Which is smaller: h or w?
w
Let k be (-1)/(-2) + (-1 - 0). Let m = -11881 - -11887.6. Which is greater: m or k?
m
Let g be (1 - 46270/46312)*(-2 - (-8)/(-4)). Does 1 = g?
False
Suppose 2 + 30 = 8*o. Let t be ((-294)/420)/((-4)/(-10)) + 6. Is o <= t?
True
Let l be