5) + x/8. Which is smaller: m or 11/7?
11/7
Suppose 2*q - 2*w = -0*q + 20, -2*q + w = -24. Suppose 224 = -21*v + q*v. Which is greater: -33 or v?
v
Let o = -132 + 67. Let c = -63.69 + -3.31. Let z = o - c. Which is greater: -0.06 or z?
z
Suppose 5*h - 183 = -2198. Let u = -404 - h. Which is bigger: 1/631 or u?
1/631
Let m = -1548 - -1547.8. Does -137.1 = m?
False
Suppose 3*a + 23*z + 8521 = 27*z, -z - 14240 = 5*a. Is a <= -2847?
True
Let x be (123/82)/((-12)/15728). Are -1964 and x non-equal?
True
Let a(w) = 36 + 1623*w + 23 - 1616*w. Let n be a(-17). Which is smaller: -59 or n?
n
Let k = -107 + 113. Suppose -5*r + 115 = k*q - q, q = -5*r + 31. Is 222/11 less than q?
True
Let f = -5232 + 5216. Suppose -8 = -2*d - 24. Is f equal to d?
False
Suppose 0 = 6*m - 4*m + 48. Let v = 33 + m. Suppose -5*t + v*t = 0. Which is greater: t or -1/36?
t
Let i be (23/92)/((-34)/96). Let q(c) = -c**3 + c**2 + 6*c - 2. Let y be q(3). Which is smaller: i or y?
y
Let y be 20865/102720 - (1 + 3/(-2)). Which is smaller: y or 0?
0
Suppose 4*c + 5*y - 2*y = 48, 3*c + y = 36. Suppose -3*v + c + 192 = 0. Suppose -5*x + v - 13 = 0. Which is smaller: 10 or x?
10
Suppose 4*o = 24, 0 = -5*w - 25*o + 22*o + 18. Is w >= -16/41?
True
Let v = 34 + -50. Let r = -15.87 - v. Which is greater: r or 2?
2
Let f be (-30)/(-20)*1*14/(-63)*111. Which is smaller: 2/3 or f?
f
Suppose 29*o = -199*o - 34884. Which is smaller: -155 or o?
-155
Let j = -347.4 + -57.6. Which is smaller: 2 or j?
j
Let g = 391.6 + -432.51. Let d = g - 4.09. Is 2/3 != d?
True
Suppose 0*m + 5*m = 0, 6 = 3*d + 2*m. Let w be (4/d - 1)/1. Let n = 54/13 - 1931/468. Which is smaller: w or n?
n
Let c = 32 + -65/2. Let a = -914.508 - -713.508. Is c at most a?
False
Suppose 2*b - 4*j - 19 = 9, 5*b - 2*j = 62. Suppose -26 = -5*p - 6. Suppose -b = -p*q + m, -q + 5*m = m - 3. Is -0.8 less than or equal to q?
True
Let b be 20/70 - 174114/428001. Let j = b - -10/89. Is j at least 0?
False
Suppose -15 = 5*a - 3*v, 2*v = 4*a - 3*a + 3. Let u be (30/(-2430))/(a/(-2)). Is u less than or equal to -1?
False
Let w = -16383.413 - -16385. Which is greater: -0.1 or w?
w
Let q be (48/18)/(2/3). Let n(y) = -33*y + 58. Let d be n(2). Let w be 60/d*q/(-5). Which is bigger: w or 29/4?
29/4
Let t = 2530 + -2722. Which is smaller: -3 or t?
t
Let u be 5/(-1 + 10/5). Suppose 0 = -2*s + 3*d + 4, 4*s - 13 = 3*d - u. Suppose -2*m - 3*p = 3 - 6, 2*m - 2 = -s*p. Which is smaller: m or 9/17?
m
Let n(z) = 30*z + 3*z**2 - 245 + 227 - 4*z**2 + 4*z**2. Let y be n(-11). Let p be -1*20/y*6/4. Which is smaller: p or -5?
-5
Suppose 5*q + 7*o - 4*o + 469 = 0, 2*q + 8*o + 208 = 0. Which is greater: -24 or q?
-24
Let w = -11.6 - -12. Let r = -21 + 10. Which is greater: r or w?
w
Suppose 5*l = 2*h - 1 - 3, -3*h - 12 = -3*l. Let z be (4 - (h - 5)) + (-6)/2. Which is smaller: 19 or z?
z
Let z = 878710314/55 - 15977138. Let d = -2966/5 - z. Let v be -2 + 2 + 4 + -11. Is d > v?
True
Let l be (1022/(-30))/(-7) - 6/(-45). Suppose 107 + 418 = -l*c. Is c at least -105?
True
Let z be (2/6)/(3/9). Suppose -8 = -2*l + 2. Suppose i = -5*d + l*i + 21, -2*d - 4*i = 14. Is z bigger than d?
False
Let l = 0.59126 - 0.19126. Is l >= -2502?
True
Let z = 1485 + -1486. Which is bigger: z or 2/5597?
2/5597
Let z = 4904 - 4903. Which is smaller: z or 2/4439?
2/4439
Suppose -2*c - 4*y - 2 = -0*y, 0 = -2*c + 2*y + 16. Suppose 2*i + c*j = 12, 0 = 2*i - 5*j - 6 - 26. Suppose -2*t = q - 6*t - 7, -3*t - i = 5*q. Is q < -1/111?
True
Let p = 13.045 - 13.245. Let d = -19 + 18.82. Which is smaller: p or d?
p
Let w = 913 + -853. Let t be (w + -58)*205/2. Which is smaller: 207 or t?
t
Let k be (-111040)/34 - 356/3026. Which is greater: k or -3267?
k
Let k = 56 - 54. Suppose k*w + 16 - 138 = 0. Let l = w + -39. Is 22 smaller than l?
False
Let v = -5 + -13. Let c be 160/20 - (-13)/(104/(-184)). Is v not equal to c?
True
Suppose 30 - 10 = 2*o. Let i be ((-98)/14)/(3/(-6)). Suppose 9*j - i*j = -40. Is j >= o?
False
Let n be (-31)/(-1)*(2 + -7 + -1). Let q = 25481/137 + n. Are -2/5 and q non-equal?
True
Let p(k) = 3*k**2 - 21*k + 30. Suppose 0 = -37*n + 34*n + 12. Let u be p(n). Which is smaller: u or -27/5?
u
Let j = -104 + 100. Let o be (-28)/7 + 9 - (-268)/(-52). Which is greater: j or o?
o
Let i(v) = -v**3 + 7*v**2 - 2*v + 15. Let t be i(7). Let g be t - 231 - ((-5 - -4) + 3). Let o = -683/3 - g. Which is smaller: 5 or o?
o
Let a(z) = z**2 + 8*z - 241. Let g be a(12). Which is bigger: 2/22351 or g?
2/22351
Let k be (8/(-14))/((-6)/21). Suppose k*i + 4 - 6 = 0. Which is smaller: i or -1/17?
-1/17
Let t be (-10)/4*123/(-9020). Which is bigger: 0 or t?
t
Suppose 0 = -7*j + 12798 - 2130. Suppose -28*v - 5644 = j. Are -255 and v unequal?
True
Let m = 35 - 30. Let s(u) = 3*u - 2*u**2 - m*u - u**3 + 3 + 9*u + 4*u**2. Let f be s(4). Is 7 equal to f?
False
Let v be 4 - (-2 + 2 + -11). Suppose -36 = v*y - 11*y. Let p = -153 - -146. Is p at most y?
False
Suppose -140*p + 12 = -134*p. Let n be 3/33 - p/11. Suppose 0 = -3*o + 1 + 2. Is n >= o?
False
Suppose 4*g - 2 = 5*l, 2*g + 14 = -0*l - 5*l. Let o be (420/18)/(7/((-21)/l)). Is o bigger than -3/4?
True
Let w(n) = -2*n. Let q(x) = -9*x - 43. Let z(j) = -q(j) + 5*w(j). Let b be z(-17). Which is greater: 59 or b?
b
Let q = -0.192 + -97.808. Let m = 0.0071 + 0.0929. Which is smaller: m or q?
q
Let w be 794049/397010 - 2*1. Let s = w + -28059/9295510. Which is smaller: 1 or s?
s
Suppose 25 - 25 = 10*z. Is z at most 9/245?
True
Let m be 1119/21 - (-18)/(-63). Let g be 4 + -2 + (32 - -3). Suppose m = -v + g. Which is greater: v or -18?
v
Suppose 0 = -4*q + 4*j - 4488, 2*j + 11 - 17 = 0. Let s = -7820/7 - q. Which is greater: 1 or s?
s
Let n = -3794 - -53143/14. Which is greater: n or 2?
2
Let x = 14 - 7. Let u = -3 + x. Let q = 79535 - 79535. Which is smaller: u or q?
q
Let a(k) = 3 + 3 + 4*k**2 - 9*k - 4 + 7*k. Let o be a(1). Suppose p + 0*p = t - o, 2*p + 2 = -4*t. Which is smaller: 3/4 or t?
3/4
Suppose 6 = -53*m + 54*m. Let g be ((-42)/(-7))/m*-5. Do -16 and g have different values?
True
Suppose 3*t = 5 + 1, -2*t = 4*c - 1624. Let a = c + -2837/7. Is 50 at least as big as a?
True
Let n(f) be the third derivative of -f**5/15 - f**4/6 - 5*f**3/6 + f**2 + 10. Let c be n(-2). Is -62/5 less than c?
False
Let i = -183236/5 + 2365508/65. Which is smaller: i or -256?
-256
Suppose i - 19 = x, -4*x + i = -26 + 108. Let m = x + 23. Let w be (1 - (-1)/m)/((-105)/28). Is -0.95 less than or equal to w?
True
Let l = -21647282068/5045779 + 666/107357. Let a = 4290 + l. Which is greater: 0 or a?
0
Let u = -36.83 + 36. Let t = -139.83 - u. Let w = t - -107. Is w less than or equal to -2/3?
True
Suppose -9*l + 6*l - 24 = 0. Let y = -5 - l. Let s be y*18 - 5/((-5)/(-2)). Is 0 greater than or equal to s?
False
Let r(o) = -o**2 + 16*o + 4. Let d be r(12). Let v be (d - -5)*(-1)/(-3). Are 16 and v unequal?
True
Let j(w) = w - 2. Let f be j(1). Suppose -10*m + 1 = -59. Let n be 11/(-39) + 0 + 2/m. Are n and f equal?
False
Let x = 658 - 443. Let l = x - 196. Is 1 bigger than l?
False
Let o = 6744.7 + -6745. Which is smaller: -655 or o?
-655
Let t = -2882 + 2881. Which is bigger: t or 1/3080?
1/3080
Let f = -104/945 + 483566/945. Let b = 513 - f. Suppose -4*d = u - 3*d - 1, -3*u - 5 = -5*d. Which is greater: u or b?
b
Let p = 55 - 47. Suppose -p*w - 54 = w. Which is greater: -5 or w?
-5
Suppose -21*o + 25 = -17. Suppose 12 = -m - 3*m, 3*m = 4*j + 27. Which is greater: o or j?
o
Let i be 2/(((-16848)/86792)/9). Let o = 996/13 + i. Which is smaller: o or -17?
-17
Let g = 7521 + -7252.95. Let n = 204 - g. Let b = 64 + n. Is -2 less than b?
True
Let d be (10 - 11) + -10*3/(-14). Suppose -2*g = 2*q + 2*q - 8, -q - 4*g = -9. Which is smaller: q or d?
q
Suppose 4*o = -16, -2*n + 5*o = -7*n - 25. Let p be (-9)/20*(-15 - (-4 - n)). Is 6 bigger than p?
True
Let n = -2.24 + -181.76. Let g = -134 - n. Do 1/4 and g have different values?
True
Let q(m) = -495*m - 7431. Let t be q(-14). Which is bigger: -503 or t?
t
Let s be (-9503)/(-510) + (1 - 51/45). Which is smaller: s or -72?
-72
Let q = -48.43 - -48. Let p = q - -0.53. Which is smaller: -2/23 or p?
-2/23
Let n = 46 - 7. Suppose -6*y + n - 15 = 0. Suppose 4*p = -0*p - y*f - 8, 2*f = -10. Is p smaller than -6?
False
Suppose -118 = -5*j + 4*g, 