2*f + 4*f. Which is bigger: s or f?
s
Let q be (-1)/((-324)/326 - (-71 + 70)). Which is bigger: -2 or q?
-2
Let n = -978 + 977.9311. Let r = n + 0.2789. Which is bigger: -14 or r?
r
Let c = 1444 - 1446. Which is greater: 513 or c?
513
Suppose 6*i - 5*i + 12*i = 0. Are 19/130 and i unequal?
True
Let h = 2 - 3. Let d = 6379 + -376360/59. Is h <= d?
True
Suppose 25*b - 3 = -25*b + 47*b. Are b and 3/31 non-equal?
True
Suppose -917*f + 913*f = -30 - 62. Is 25 at most as big as f?
False
Let s = 0.74 + -1.93. Let c = -1.129 - s. Let w = c - -10.939. Is w bigger than 2/3?
True
Suppose 2*y = -15*r + 18*r + 21, -2*y = 5*r + 35. Do y and -1/26 have different values?
True
Let w = 3545/2 - 533522/301. Let i = 3/43 + w. Let a = -3/7 - i. Which is greater: a or 3/10?
3/10
Let k = 1257.29 - -182.71. Is k at most as big as -3/2?
False
Let k = -882.1 - -870. Let i = -23 + 35. Let a = i + k. Which is smaller: a or 2/63?
a
Suppose -u - 87 = -2*o + 4*u, 4*o + 4*u = 132. Suppose -17*r = -0*r + 935. Let z = r + o. Which is smaller: -1 or z?
z
Let s(p) = 500*p - 8500. Let x be s(17). Is 6/1637 at least as big as x?
True
Suppose -115*z = -151*z - 72. Is z at least as big as 304/5?
False
Let i(l) = 8*l - 51. Let w = 142 - 154. Let f be i(w). Is -147 >= f?
True
Let s = -19 - -21. Let c(v) = v**3 - v - 2. Let l be c(s). Let h be ((-124)/20)/(l/(-5)). Which is greater: h or 7?
h
Let r be (1062/10)/((-150)/(-2000))*2/(-4). Does -0.4 = r?
False
Let x be ((-325)/(-10))/((-2)/4 + 1). Suppose 2*n - b - 12 = -2*b, -2*b + 28 = 5*n. Suppose 21 = n*o + x. Is o bigger than -35/3?
True
Let x = 23991 + -23989. Which is smaller: x or -30?
-30
Let m be 8/52 + (-260)/(-507). Which is smaller: m or -31?
-31
Let b = 26407/1354 + -39/2. Is 0 smaller than b?
True
Let r be 2/(-9) - (-3 - (-88)/(-72)). Suppose -r*m + 0*m - m = 0. Which is greater: m or 1/46?
1/46
Suppose 29*g - 12 = -5*f + 33*g, 9 = -3*g. Is f at most as big as -4/1385?
False
Let g = 6002 - 6016. Are g and -68 equal?
False
Let h = -402 + 605. Suppose -8*m + h - 195 = 0. Is -1/274 > m?
False
Let m = -872 - -1605. Let b = 1.077 + -0.077. Is b at least as big as m?
False
Let l = 15.9 + -35.9. Let b = -16 + l. Which is smaller: 1 or b?
b
Let i be (-1 - -4) + 1*2. Let r = -6.98 - -0.58. Let b = 5.4 + r. Which is bigger: i or b?
i
Let y = 8.1 - 2.1. Let d = 1.34 - -5.66. Let i = y - d. Which is bigger: i or 20/9?
20/9
Let x(m) = -m**3 - 20*m**2 - 36*m. Let k be x(-18). Let t be 6 + k + (-426)/45. Which is smaller: -2 or t?
t
Let i = 0.27 + 0.01. Let n(v) = -v**2 - 12*v - 22. Let q be n(-11). Let j be (-6)/q + 2688/(-3234). Is i > j?
True
Let s be ((162/126)/((-4)/(-8)))/(6/994). Suppose -4*a - 2*w + 2165 = 457, 0 = -2*w. Which is bigger: s or a?
a
Let y = -9406 + 9401. Do y and -832 have different values?
True
Let v be 3/(-5) + 9/15. Let f be (168/(-204))/(-7) - 1145/(-1105). Is f <= v?
False
Let k = 14 + -44/3. Suppose -2*u - 4*u = -2*u. Suppose -2*s - c = c - 118, u = -4*s - 2*c + 228. Which is smaller: s or k?
k
Let w = 5.15 - 0.35. Let b = -1 + w. Let p = b + -4.8. Which is greater: p or 7?
7
Let o = 1.14 - 0.14. Which is smaller: o or 1269?
o
Suppose 44*t = 1064 - 4012. Which is smaller: -162 or t?
-162
Let r be ((-78)/(-12))/((-44)/2718*-6). Let l = -643/8 + r. Do l and -12 have the same value?
False
Suppose 44*r = 51*r. Let x = 1546 - 149960/97. Which is greater: r or x?
x
Let o be 0*3/6*-2. Let u be 17685/61530 + 2/(-7). Which is greater: o or u?
u
Let j be -5 - -6284*(-77)/(-96756). Which is bigger: j or -1?
j
Let c = -0.35 + 14.35. Suppose -4 = -3*g - 2*y, -11*y = 2*g - 8*y + 4. Let o be (2/2)/(4*g/(-16)). Which is greater: c or o?
c
Suppose -14*y + 36 = -5*y. Suppose w + r - 5 = -2*r, -w + 7 = y*r. Which is smaller: w or 4?
w
Suppose 3*s - 18730 = 104*u - 109*u, -5*u + 18765 = -4*s. Do u and 1 have the same value?
False
Suppose 99 = 7*u + 64. Suppose 7 = -s - 4*c, -5*s + 0*s - 5 = u*c. Is s at most -9?
False
Let v = 96967/6 + -16118. Let i = 200/3 - v. Are i and 25 unequal?
True
Let p = -12092 + 2914176/241. Which is smaller: 0 or p?
0
Let f be ((-16)/(-6))/((-4 + -1)/15). Let s be 1/(-11)*13/((-52)/f). Which is smaller: 2/7 or s?
s
Let n be (0 + 0)/(-15 - -13). Suppose -4*d = w - 0*w + 5, n = 5*d + 5*w + 10. Let c = 457/6 - 77. Which is bigger: d or c?
c
Let w = 0.1 - 0.125. Let k = -134 - -132.975. Let x = k - w. Which is bigger: -31 or x?
x
Let k = 6 + -70. Let v = k - -63.5. Is 4 greater than or equal to v?
True
Let u = 2670 - 2630. Do 526/13 and u have different values?
True
Let w = 326.26 - 326. Let o be (5/45)/((-3)/(-6)). Are o and w unequal?
True
Suppose -2*f = v + 1, 4*v + 9*f - 1 = 6*f. Which is greater: v or -6/13?
v
Suppose 5*f + 41 = 2*u, 18*f + 51 = 2*u + 15*f. Which is greater: u or 53?
53
Let c = -159 + 196. Let o = c - 107/4. Which is bigger: o or 11?
11
Let z = -9852 - -9852.2. Which is smaller: -75/8 or z?
-75/8
Let q = 0.215 - 0.015. Let h = -1.6 + 9.6. Is h at least as big as q?
True
Let h be (1/(-2))/(21/(-2604)). Let w be 76/6*(-1 - 2/4). Let s = w - -79. Which is smaller: s or h?
s
Let c = -22 - -23. Let d = 5065 - 4997. Which is greater: d or c?
d
Let x be (0 + 3/(-21))*1. Suppose -63*u = -65*u - 242. Let h be (2/11)/((-66)/u). Which is bigger: h or x?
h
Let v = 289/57 - 253396/49989. Which is greater: v or 0?
v
Let f(o) = 3*o - 129. Let k be f(44). Suppose -15*r + 10*r + 280 = -5*x, 2*x = k*r - 163. Is r less than or equal to 52?
True
Let w = -47.9 + 40. Let u = -8.6 - w. Let l = 0.5 - -1.5. Which is smaller: l or u?
u
Suppose -3*m = 4*c + 153, 2*c - 4*m = -0*c - 82. Let f = 563 - 444. Suppose s = 5*w - 34, 0*w = 3*s + 2*w + f. Are s and c nonequal?
False
Let h be (-6)/4*15/((-15)/2). Suppose 1749 = 5*i - h*w, -w + 0*w = -i + 351. Which is bigger: i or 349?
349
Suppose 0 = 4*z - 4, -4*w - 100 = -5*w - z. Let k = w - 53. Let b(c) = -48*c - 2. Let r be b(-1). Is k greater than r?
False
Suppose 2*u - 1846 + 653 = -q, 2*q + 2960 = 5*u. Is 594 <= u?
True
Let l(z) = -4*z**3 - 19*z**2 - 26. Let f be l(-5). Let s = -4143 + 186449/45. Is s less than or equal to f?
False
Let t be (1/(6/(-28)))/((-6)/(-18)). Let x be t*((-24)/40 - 34/(-65)). Is 0 bigger than x?
False
Let w = 11149 + -11149. Which is smaller: -2/29535 or w?
-2/29535
Suppose 62*h - 60 = -5*k + 64*h, 5*k = -5*h + 95. Let l be (-14)/10 + (-16)/(-40). Let j = l + 16. Which is smaller: k or j?
k
Let w = -27.004 - -0.004. Let i = 28 + w. Let r = -684 - -14362/21. Is r less than or equal to i?
True
Let i be 513/342 + 179/14. Which is greater: i or 15?
15
Let n = 3.66 + -1.34. Let r = n - 2.31. Is r greater than 3?
False
Let f = -1190 - -1157. Suppose 5*t - 9 = 6. Suppose -23 = t*y + 76. Is f less than y?
False
Let k be (-488)/60 + 8 - (-27219)/(-45). Let n = -597 - k. Which is bigger: 7 or n?
n
Suppose -45 = -5*b + 2*d, -b - d = -3*b + 19. Suppose l - b = -4. Suppose l*w + 0*w = -93. Which is smaller: 1 or w?
w
Let j = -53/568 - -167171/1730696. Does -1 = j?
False
Let j = 1579 + 1742. Which is bigger: j or 3320?
j
Let x be (-22)/143*52/8. Do x and -82/69 have different values?
True
Suppose 3*s = 3*q - 639, -q + 2 = 1. Let i be 4/(-14) + (2805/110)/((-21)/176). Is i < s?
True
Let f = -333145/17 - -19605. Is f at least as big as 2?
True
Let n(o) = o**2 + o - 3. Let i be 8 - 15/(-8 - -3). Let s(z) = 3*z**2 + 4*z - 9. Let j(l) = i*n(l) - 4*s(l). Let g be j(-5). Is 3 < g?
False
Let a = -0.056 - 0.344. Let u = -1017 - -1016.7. Which is smaller: a or u?
a
Suppose -4*q + 7 = -1. Let z(j) = 0 - 3*j + 4*j - 3 - q. Let p be z(8). Is 4 >= p?
True
Let f be (8*51/(-68))/(8240 - -2). Which is bigger: 0 or f?
0
Suppose 24 = 4*i - 17*y - 99, i - 36 = 5*y. Is i greater than or equal to -59/166?
True
Suppose h = -p - 1401, -2*h = p + 800 + 596. Is -1406 at least p?
True
Let i be (-3*(-2)/(-10))/((-4)/40). Suppose -i*c + 11*c = 50. Let y be (-3*(-10)/(-45))/(c/6). Which is greater: 3/7 or y?
3/7
Let d be (-96)/(-5)*(-20)/14. Let g be (-208)/(-28)*(-1491)/426. Which is smaller: d or g?
d
Let j be ((-3)/7 - 1246/(-49))*(-94)/(-16779)*17. Let i(v) = -v**2 - 4*v - 2. Let x be i(-3). Which is smaller: x or j?
x
Let b = 27 - 24. Let f = b - 6. Let a = -210 + 1048/5. Is a greater than f?
True
Let i = 392182/57 + -20617/3. Are i and 8 unequal?
True
Let f = -84 + 84.015