 -5*r = -4*x + 27 - 6, -3*x - 3*r + 9 = 0. Suppose -5*l + 12*h + 76 = 16*h, -x*l = 2*h - 62. Which is greater: l or 3/10?
l
Let w = 0.705 + -309.705. Let i = w - -311. Is -1.8 at least as big as i?
False
Suppose 7*j = 2*j - 30. Suppose 9*x - 9 = b + 4*x, -b + 2*x = 6. Let h be b/14 + 424/(-84)*1. Is j at most h?
True
Let s be (-17025)/(-115500) + (-2)/(-35). Which is smaller: 1 or s?
s
Let a be 613 - (10/50 + (-1)/5). Let q = a + -1225/2. Is q >= -34.8?
True
Let p = 11/28 - 1/7. Let b(u) = -u - 15. Let h be b(-9). Let m be (-1)/(h/(-16))*2/4. Is m >= p?
False
Let x be (-9 - (6 - (-290)/(-20)))*(-3 + 1). Let r be (4 - 5)*1/347. Which is bigger: r or x?
x
Suppose -3*x = 4*h - 14, -7*h - 8 = -10*h - x. Let n be 85/(-10) + 1/2. Let c be n/h*(7 - 145/20). Is -10/27 less than c?
True
Let q be (-3 - 2) + 1147/31 + -36. Which is bigger: 3331 or q?
3331
Let q = -485 - -11152/23. Let r = q + -16/759. Which is smaller: 1 or r?
r
Let m = 317.9 + -318. Let l = 808/11305 + -6/119. Which is greater: l or m?
l
Let a = -2138 - -2141. Suppose -8 = -3*m + m. Are a and m non-equal?
True
Suppose 0 = 2*s - 50*s + 7104. Which is smaller: 1644/11 or s?
s
Let z be 0*(-14)/182 - -43*1. Suppose 0 = l + z + 114. Is l smaller than -157?
False
Suppose -4*n - 5 = -65. Let r(t) = -3*t - 13. Let g(z) = 2*z + 12. Let o(w) = 7*g(w) + 6*r(w). Let k be o(n). Is k smaller than -54?
False
Let q = 132 - 188. Let t = 14260 - 57263/4. Which is greater: t or q?
t
Let z = 847 - 480. Let x = 363 - z. Suppose 3 = s - 1. Which is smaller: s or x?
x
Let o = -10371/1540 + 74/11. Let w = o + -9/308. Which is bigger: w or -1?
w
Let p(f) = 3*f**3 + 5*f**2 - 5*f - 1. Let a be p(1). Let h be 6/3 - (3 - 1). Suppose h = 2*g + a*g + 4. Which is smaller: 0.013 or g?
g
Let x be (-664)/14 - (12 - (-174)/(-14)). Let i(a) = -a - 2. Let d be i(-4). Suppose -2*g = d*g + 184. Is g > x?
True
Let q = -8968 + 8967.4. Do -49/13 and q have different values?
True
Let w be -1*(-1)/(2/8). Let k be (((-48)/18)/(w/(-6)))/(-1). Let o(u) = u**2 - 5*u - 25. Let g be o(k). Which is greater: g or 10?
g
Suppose -p + 17 - 11 = 0. Suppose 6*v = -p*v + 24. Suppose -23 = 3*c + d, 0 = v*c - 5*d + d + 34. Which is bigger: c or -43/5?
-43/5
Let o = -2432 + 2430. Is -46/71 greater than o?
True
Let d(x) = -105*x + 2311. Let c be d(22). Is 54/25 != c?
True
Let h = 2123 + -2116. Which is smaller: -28 or h?
-28
Let g = 26.925 - 70.9. Let c = -44 - g. Let r = c - 13.975. Is 2 greater than r?
True
Let l = -9 + -90. Let k = l + 148. Let u = k + -52. Which is bigger: 0.05 or u?
0.05
Let u = 2743 - 436142/159. Which is bigger: -18 or u?
u
Suppose 150*x + 11*x - 49225 = -18*x. Which is smaller: 0.03 or x?
0.03
Let y = -108 + 204. Suppose -y = -3*l - 0. Suppose 0 = 4*s + l - 20. Which is greater: s or 1/8?
1/8
Let t = 3237 + -3236.9. Let j = 224.95 - 219. Let q = 6 - j. Which is bigger: t or q?
t
Let j(x) = -x**3 - 9*x**2 - 4*x - 6. Let t be j(-8). Let m = t + 30. Let n be 2/(-9) + (-1407)/189. Which is smaller: n or m?
m
Let p = 104 + -37. Suppose 0 = 49*l - p*l - 36. Which is greater: l or -27/13?
l
Let r be (19446/(-9))/(158/948). Which is bigger: -12966 or r?
r
Suppose 122*v = -34*v - 17472. Is -107 not equal to v?
True
Let d(l) = l**2 + 36*l + 148. Let h be d(-5). Let o be 2/2 - (-259)/(-238). Which is bigger: h or o?
o
Let s = -4 + 5. Let f be 37*(4/(-156) - 0) - -1. Are s and f equal?
False
Let x = -25 - -70. Let z = -23 + x. Suppose 2*w - z = -2*j - 2, j + 2 = w. Is 6 at most w?
True
Let l be 76 + (-2 - (-8 + 4)). Suppose b - 98 - l = 0. Suppose -13*z = -9*z - b. Which is smaller: z or 43?
43
Let b(t) = -4*t**2 + 15*t - 5. Let y(j) = -1. Let z(m) = -b(m) + 6*y(m). Let o = -3 + 8. Let g be z(o). Is g at least 24?
True
Suppose 2*j = 2*m - 14, 14 = -3*m - 4*j - 14. Does m = -6/2417?
False
Let g = 25655 + -24606. Which is smaller: 7 or g?
7
Let w = -5280 - -5238.37. Let i = 42 + w. Let f = 7.37 - i. Are 2 and f nonequal?
True
Let j(k) = 5*k**3. Let r be j(1). Suppose 3*t = 2*f - 15, -3*t = -9*f + 5*f + 33. Suppose -r = -4*h - f. Is -3/74 at most as big as h?
False
Let z = 9 - 9.28. Let a = 11.28 + z. Suppose b - 1 = -3*i, i - 2*i = 0. Which is greater: b or a?
a
Suppose -14*y + 10698 = -11128. Which is smaller: 1558 or y?
1558
Let v = 110 + -43. Let b = 11 - v. Let d = -59 - b. Is d bigger than -14?
True
Let d = 165962.061 + -166114. Let m = -152 - d. Which is greater: -0.2 or m?
m
Let i be (-15)/(-35) - (3 + (-2076)/7). Let c = i + -171. Which is greater: c or 122?
c
Let x(i) = -i**3 - 20*i**2 - 52*i - 60. Let j be x(-18). Is -9 at most as big as j?
True
Let a(t) be the third derivative of t**4/4 + 4*t**3/3 - 5*t**2. Let n be a(-9). Let v = -44 - n. Is 3 greater than or equal to v?
True
Let i = -32 + 56. Suppose -4*u + 40 = i. Suppose -4*o - 1 = 3*c, 9*c + 5*o = u*c + 5. Are -3 and c equal?
False
Let n be (-7241)/611 - (-5 - -3 - -3) - 2. Which is smaller: n or -15?
-15
Let s(v) = -152*v + 103. Let a be s(8). Let g = a - -5587/5. Suppose -1 + 4 = 3*j. Which is bigger: g or j?
g
Let z(b) = -b**3 + 4*b**2 + 12*b + 145. Let c be z(-7). Is 3/2 smaller than c?
True
Let o = -2709515/7 - -386306. Let k = -811 - o. Which is smaller: -42 or k?
k
Let j = 402436/59 - 6821. Is j < -1?
False
Let a be (-4557)/(-2232)*((-12)/(-42) - 22/84). Is a at least 1?
False
Let c be (-4)/18 - 224/(-936). Let s(t) = -18*t - 23. Let b be s(-12). Let n = -193 + b. Is c less than or equal to n?
False
Let s(o) = o**2 + 2*o + 1. Let r be s(1). Suppose 296 = -r*f + 12*f. Are f and 37 non-equal?
False
Let b = -126 + 123. Let l = 5.2 - -31.8. Let u = l + -47. Is u less than b?
True
Suppose u - 3 = -5*z, 2*z + z = 3. Let d be 3/(u/(-16)*54). Is d != -1?
True
Let o = 3450 - 3442. Which is bigger: 258/29 or o?
258/29
Suppose 19*a - 15 - 42 = 0. Suppose a*s = 2*c - 42, 5*s - 23 = 5*c - 118. Do c and 13 have the same value?
False
Let c = 1036.1 + -536.1. Is c at most as big as 2/31?
False
Let k = 408 + -146. Suppose 2 = w, -5*z + k = 5*w - 28. Let s = -44 + z. Are 11 and s non-equal?
True
Let f(n) = 2*n**2 - 42*n + 166. Let b be f(0). Which is greater: -22 or b?
b
Let v = -93 + 53. Let y be (-880)/(-66)*(-6)/2. Let s = v - y. Which is smaller: 2/13 or s?
s
Suppose -730*r + 725*r + 70 = 0. Suppose r*h - 374 = -8*h. Suppose -i + n + 11 = 3*n, 4*i - 96 = 5*n. Which is smaller: i or h?
h
Let w be (1 - 1/(-1))/(-85 - -83). Let n = 3041/10010 + 3/286. Which is bigger: w or n?
n
Let j = 5/686 + 45663/686. Which is smaller: -0.1 or j?
-0.1
Let c = 44700 + -1698491/38. Let o = c - 54/19. Which is bigger: o or 0?
o
Let d = -194 - -581/3. Which is smaller: -222 or d?
-222
Let c be 4860/310*5/((-510)/(-26)) + -4. Let r(g) = -g - 2. Let s(a) = a**3 + 5*a**2 + 4*a - 1. Let j be s(-4). Let b be r(j). Which is smaller: b or c?
b
Let g = -15141 - -15144. Suppose -94 = 2*z - 4*z. Does g = z?
False
Let v = 20194/83781 + 1/2889. Suppose 3*w + 5*b = w + 18, -3*b = -12. Which is smaller: w or v?
w
Let v be -3*(-4)/3 - 16786006/4215511. Let s = 7236 - 12641288/1747. Let m = v - s. Which is greater: 1 or m?
1
Let s = -2266/5 - -18133/40. Is s at most -1.2?
False
Let l be (-62)/(-22) - (-2)/11. Suppose 4*y = -5*h - 317, 5*y + 0*h - l*h + 424 = 0. Let n = 84 + y. Does n = 2/21?
False
Suppose 2*z - 2*i = 2894, -8*i = 2*z - 4*i - 2918. Suppose -7*h - z = 1755. Is -459 equal to h?
False
Let w = 31299 + -31217. Is w at least as big as -4?
True
Let p(y) = -65*y + 1010. Let f be p(15). Is f at most as big as 22?
False
Suppose 145*y = -146 + 1. Which is greater: -48/185 or y?
-48/185
Let r(s) = -2*s + 2. Let u be r(2). Suppose 2*x = -0*q - q + 128, -x + 73 = -4*q. Suppose -72*z = -x*z - 112. Which is smaller: z or u?
u
Let h = 815 + -816. Let y(l) = -4*l - 73. Let n be y(-18). Do n and h have the same value?
True
Suppose 5*m - 13*m + 320 = 0. Let n = 33 - m. Let y(o) = o**2 + 7*o - 3. Let z be y(n). Which is greater: -6 or z?
z
Suppose -100*q = -106*q - 300. Let r = -72 - q. Which is greater: r or -228/11?
-228/11
Let n be 0*(-8 + 945/117). Which is smaller: n or 2/3363?
n
Let i be (-2)/4*(6 + -20). Suppose -28 + 21 = -i*p. Let s = 6 - -1. Which is greater: p or s?
s
Let l = 50234138/557 - 90187. Is l > -1?
True
Suppose q + 2*z - 2 = 0, 12 = -0*q + 2*q - 4*z. Let j = -4397 + 4400. Suppose -4 = j*i - q. 