 11*p = -45, 0 = 4*g - 4*p - 88. Which is bigger: w or g?
g
Let t = 10/1983 - 1473389/3966. Let s = 391 + t. Suppose -v = -7*v + 120. Which is greater: s or v?
v
Suppose -116*f - 12379 - 1889 = 0. Which is bigger: -116 or f?
-116
Suppose -490 = 16*m - 2*m. Let v = -173/5 - m. Let f be (-11)/(-17) - (3 + -2). Does v = f?
False
Suppose 5*g - 874 - 712 = 2384. Is 2380/3 less than g?
True
Let h(j) = 2*j**2 - 21*j + 16. Let y be h(10). Let n(m) = -7*m**2 - 15*m + 23*m**2 + m**3 + 0*m**3 + 20 + y. Let c be n(-17). Is -13/2 less than c?
False
Let v = 265 - 1055/4. Let u = -107/28 + v. Let l = -0.03 - -2.03. Is l at most as big as u?
False
Let k be 16/(-127)*(-1)/(-28). Are k and 1 equal?
False
Let u be 8/(-2)*5/(-4). Suppose -4*a + 9*a - 4*x = 338, u*a - 320 = -5*x. Let c = 49 - a. Is -18 != c?
True
Let i = 294 + -111. Let n = i + -184. Is n at least 1?
False
Suppose -28 = -2*k - 5*c + 2, 2*k - 30 = 3*c. Suppose 4*i = -r + 15, -2*r - k = -7*r. Suppose -5*x = 5 - 20. Is x at least as big as i?
True
Let o = -845/9 - -94. Let f = o + -2/45. Let x be 11/143*(-2 + (-68)/(-8)). Which is smaller: f or x?
f
Let a be (-66)/8 + 2/8. Let y = a + 9. Suppose 3*o - 4*o + y = 0. Which is smaller: o or -1/17?
-1/17
Let g = -60 - -64. Suppose g*x - 12*a + 11*a - 725 = 0, 5*a = -3*x + 515. Suppose -x = -4*q + 4*r, -r = 3*q - 191 + 48. Is q <= 49?
True
Let j = -22526 - -41605524/1847. Is j less than 0?
False
Let d = 11981 - 35942/3. Which is smaller: d or -813?
-813
Let q be (-123)/(-18) + (-24)/(-36)*(-4 - 5). Which is bigger: q or -343?
q
Suppose 0 = 5*u - 3*m - 31, 0 = -8*u + 10*u - 3*m - 16. Suppose 3*j = 3*b - 21, -3*b + 11 = u. Which is bigger: 28 or j?
28
Let i = 97.8 + -117. Let n = i + 27.2. Which is bigger: 1 or n?
n
Let n = -122 - -120. Let v be (-1)/2181*(n + 35/25). Let o = 65443/47255 - v. Which is bigger: 1 or o?
o
Suppose d + 4*i = -3*d + 60, 0 = 4*d - 2*i - 78. Suppose -126 = 17*w + 1030. Let t = 81 + w. Are d and t equal?
False
Suppose 0 = -4*n + x - 30, 2*x + 14 = -4*n - 22. Let b = -50 - n. Let t = -40 - b. Is t at least as big as 7?
False
Let y = 12.55 + -10.304. Is y at most as big as -2?
False
Let h(b) = b**2 + 31*b - 62. Let r be h(-33). Suppose 5*m = 4*i, 2*m - m = r*i + 16. Is i less than or equal to -46/9?
False
Let m(y) = -38*y + 619. Let i be m(20). Is -130 less than i?
False
Let d be 7/(-9)*(-744)/(-868). Let h = 0.608 - -298.392. Which is greater: d or h?
h
Let d be 1/(-1)*141/(-3). Suppose 253 = 5*i - 762. Let n = i + -156. Are n and d equal?
True
Let p = 129128.31 + -129913. Let a = p - -785. Is a greater than -2/19?
True
Let g be 18/(-117) - (-4)/26. Suppose m = -3*a + 18, -3*m - a + 12 + 18 = g. Let d be m/17*((-44)/12 + 3). Is d < 1?
True
Suppose 5*x = 8 - 3, -w - 2 = 2*x. Let p be -119 - 7/((-28)/5)*w. Is -124 less than or equal to p?
True
Suppose 2*u = 3324 - 11060. Let z = u + 158577/41. Let w = z - -591/2050. Which is bigger: w or 1?
1
Suppose -2*r + 0 = 4. Let y be 0 + -1 + 0 + -5. Let q be (1 - 4)*y/18. Are r and q equal?
False
Let g(j) = -j**2 - 4*j - 2. Let f be g(-3). Let c = -918/14245 - -4/385. Is c >= f?
False
Let l be (2/24)/(57/342)*0. Let p be (-6)/12 - (-29853)/(-174). Let r = -172 - p. Which is bigger: r or l?
r
Let y(q) = -2*q + 367 - 689 + 340. Suppose -l + 4*g - 7 = 0, 0 = -2*l - 4*g + 28 + 6. Let t be y(l). Are t and 7 nonequal?
True
Let y = 3/1385 + -1763/174510. Let p = y + 199/1260. Let h(v) = -v**2 - 2*v + 4. Let u be h(-3). Is u at least as big as p?
True
Let i(d) be the second derivative of 8*d**3 + 49*d**2/2 - 3*d - 15. Let x be i(-12). Is -1/3 at most as big as x?
False
Let w(l) = 53*l + 100 - 103*l + 65*l. Let v be w(-6). Is v greater than or equal to 9?
True
Suppose -3*g - 5*m - 226 = 0, -m = -3*g + 3*m - 181. Let t = -62 - g. Suppose -t*n = -n - 88. Is n less than or equal to 23?
True
Suppose -4*l - 9 + 93 = 0. Let x be (164/(-14))/((-27)/l). Which is smaller: 9 or x?
9
Let o(t) = -t**2 - 7*t + 62. Let u be o(-11). Let z = 4 - u. Which is smaller: -5 or z?
z
Let l(w) = -317*w + 1955. Let b be l(5). Is b at most as big as 369?
False
Let x be -9 - 494/143*11. Which is bigger: x or 27?
27
Let x(l) = l**3 - 12*l**2 - 31*l + 19. Let v be x(14). Let o = -21 - v. Suppose o*c = -4*n, 12*n - 4*c - 12 = 8*n. Which is greater: -1/31 or n?
n
Let f(b) = -b**2 + 16*b + 256. Let u be f(-8). Is u at least 572/9?
True
Let u = 2.57261 - -0.01039. Let i = 0.317 + u. Which is bigger: -2/9 or i?
i
Let t(y) = 56*y - 423. Let j be t(8). Let n(k) = -k**2 + k - 6. Let p be n(3). Is j greater than p?
True
Let r = -5201 - -5216. Is 1052/65 smaller than r?
False
Suppose -3*x + 4254 = -3*h, 33*h - 9 = 30*h. Are x and 1/7 equal?
False
Let c = -0.03 + -1.97. Let l(p) = p**2 - 7*p - 86. Let g be l(11). Let m be 1 - -19*2/g. Is c at least m?
False
Suppose d - 7*w = -12*w, -8*d + 168 = -2*w. Are 16 and d unequal?
True
Let w be (-4 - -1)*53/(-3). Let x be 5/(-7) - (-3 - (-1532)/(-28)). Is w at most as big as x?
True
Let k be ((-1020)/(-36))/(-2 + 7/3). Let j = k + -60. Let m = j - 19. Is 6 greater than m?
False
Suppose -5*z - 20 = 4*j, -5*j + 4*z = 9*z + 20. Suppose 4*t + 2*m - 3*m - 52 = j, -2*t = m - 32. Suppose -t*k = -12*k. Are k and -7/6 unequal?
True
Let p(q) = -5*q - 25 + 11 + 15. Let r be p(3). Let m be -3 + 0 + 2 - 11. Which is greater: r or m?
m
Suppose -28 = 2*v - 32. Let g be v/(-10) + 12048/240. Which is greater: 49 or g?
g
Let v = -37 - 7. Let h = 6.878 - 52.878. Let t = v - h. Which is greater: -3 or t?
t
Let c = 29 + -15. Suppose -5*y - 6 - c = 0. Let d be (456/360)/(4/(-10)). Which is greater: y or d?
d
Let p(a) = -4*a**3 + 8*a**2 - 44*a + 19. Let k be p(10). Which is greater: k or -3620?
-3620
Let q = -26128 - -146133906/5593. Is q at least as big as 0?
True
Let w(j) = -j**2 - 2*j + 41. Let r be w(-6). Suppose r*c = -2*c. Which is greater: c or 1/286?
1/286
Suppose -5*t + 22 = -2*y + 102, 2*t = -2*y + 94. Is y != 67?
True
Let q = -221 + 241. Let d be (0 + q)/(3/(-6)*-4). Which is smaller: 12 or d?
d
Let b = 27956 + -27959. Let h = 0.42 + -0.04. Which is smaller: b or h?
b
Let r be (103/(-8)*2 - 2)*(-244)/(-18). Which is greater: -377 or r?
r
Let c = -142 + -84. Let p = 225 + c. Is p equal to -10/7?
False
Let h = -459 - -461.24. Let q = h - 2.44. Let g = 13 - 13.28. Is g equal to q?
False
Let c = -802 - -239. Let w = 560 + c. Is 2 greater than w?
True
Let w = -618 - -615. Let n be (37587/(-268))/(w/8). Is 0 smaller than n?
True
Suppose 21*m - 27*m - 60 = 0. Let v be 40/(-400) - (-1)/m. Let j(h) = -h**3 + 5*h**2 + 5*h + 5. Let p be j(6). Is p > v?
False
Let s(k) = -16*k - 1296. Let w be s(-48). Does -526 = w?
False
Let k = 110.25 + -110.05. Is k not equal to -9279?
True
Let l be (-5)/50 - 7604/(-40). Suppose -87*u + 77*u = -l. Is 18 greater than or equal to u?
False
Let v(w) = -w**2 + 2*w**2 + 6*w - 30 + 21. Let b be v(-7). Let x be (-474)/135 - 7/((-140)/8). Is b equal to x?
False
Let b = -20.56 - 429.44. Let l = 449.67 + b. Suppose 2 = -4*w - 2*o - 0*o, 0 = 3*w + o + 1. Does l = w?
False
Let r(k) = 32*k**3 + 3*k**2 - 2*k. Let h be r(1). Let m(t) = -2*t**2 - 5*t + 7. Let v be m(-5). Let y = 50 + v. Is y at most as big as h?
True
Let z(f) = -29 - 40 + 0*f + 3*f - 7*f. Let m be z(11). Which is smaller: m or -112?
m
Suppose 0*d = 2*d + 166. Let o be (-3828)/48 + 45/(-36). Is o != d?
True
Let s = -8 - -8.6. Let n = s - 0.66. Let a = 1494.4 + -1500.4. Is a equal to n?
False
Suppose -5*o + 3*o - 120 = 0. Let t = 398 - 458. Let z = o - t. Which is bigger: z or -42?
z
Let y = 328045/10352 - 507/16. Which is greater: y or 0?
y
Let t = 16 - -56. Suppose n = -5*s - t, -s - s - 4*n - 36 = 0. Let o = 46 - 60. Is o < s?
False
Let p(t) = t**2 + 7*t - 1. Let l be p(-7). Let g be (2/6)/((-2)/(-210)). Let a be (-56)/g*(-15)/12*2. Is a < l?
False
Let o be (-2210)/(-408)*(-1)/(-2). Let d = -23/8 + o. Let i = -130 - -1301/10. Is d at most as big as i?
True
Let q be (-2 + 1)/((-8)/144). Let u be (8/q)/(8/36). Suppose 104 = -4*n + u*h, -2*n - 76 = 2*n + 5*h. Is n at most as big as -23?
True
Suppose -3*m + 47*g - 43*g = -229, 4*g + 63 = m. Is m >= 1/26?
True
Let r = 2 - 2. Let v = -148235/7765848 + -1/49464. Which is greater: v or r?
r
Let b = 0.060356 - 0.260356. Suppose -a + 6 = 52. Which is smaller: a or b?
a
Suppose -g = -3*w - 5692, 