427/278. Which is greater: 0 or m?
0
Let z = -1.1 - -1.29. Let r = -0.72 - -0.23. Let b = r + z. Is -0.2 >= b?
True
Suppose -34*r + 37*r + 222 = 0. Is -77 smaller than r?
True
Let c be (-2)/(-6) - (-4550)/(-1890). Which is bigger: c or -2?
-2
Let c = -2099/781 - -23/71. Does c = -1?
False
Suppose 24*f + 11 = -3*s + 26*f, 0 = -5*s + 4*f - 21. Which is bigger: -16/13 or s?
s
Let d(j) = j**3 - 12*j**2 - 26*j - 29. Let w be d(14). Let b = -0.2 - 0. Let y = b - -1.2. Which is greater: y or w?
y
Let g = -0.7 + 1. Let q = -55 + 79. Let v = -26 + q. Which is greater: g or v?
g
Let w = -664 - 91. Is w less than -754?
True
Let p be (1/(-2))/(8 - 3336/416). Which is smaller: p or -7?
-7
Let n be -6*18/27 + 4*1. Suppose -y = -0*y - 4. Let j be (9/21)/(6/y). Which is greater: j or n?
j
Let d = -53566/17 + 3150. Let m = d - -1. Let s be (-2 - -1)/1*0. Which is smaller: s or m?
s
Let i = 68 - 34. Which is greater: i or 37?
37
Let t = 723/5 + -8221/60. Let i = t - -1/4. Let v = i - 8. Is 0 at most v?
False
Let j = -10 - -13. Let i be j/(6/5)*2. Let g be -3 - (i + -2)/(-1). Is 2/5 less than g?
False
Suppose -2*f + 19 = -f - 4*i, 3*f = -i + 44. Let b(h) = 2*h**2 + 5*h + 2. Let q be b(-5). Let u = f - q. Which is bigger: -13 or u?
u
Let s = 1 - 2. Suppose -2*x = -2*l + 26, 0 = -x - x - 8. Let d be (l/(-12))/(2 - 77/16). Which is greater: d or s?
d
Let u(q) = -3*q**2 + 12*q - 1. Let k be u(-4). Is -98 equal to k?
False
Let y = -3091/35529 - 5/1822. Which is smaller: 1 or y?
y
Let h = -1/45 + -3991/630. Are h and -6 equal?
False
Let z = -8.9 + 9. Let c = z - 0.3. Is -8 < c?
True
Let c be 77256/(-319) - 4/(-22). Which is greater: -1/4 or c?
-1/4
Suppose 4*v - 12 + 120 = -w, 0 = 2*w - v + 216. Is w smaller than -106?
True
Let q = -3777872 - -7759748877/2054. Let j = q + -1/79. Is -1 > j?
False
Suppose -2*i - 18 + 80 = 2*w, -93 = -3*i - w. Let p = i + -32. Is p > 1/14?
False
Let q be (2/3)/((-5)/(20/(-6))). Suppose r - 4*v = -27, -r - 3*r = 5*v + 3. Let m(k) = -k**2 - 8*k - 6. Let b be m(r). Which is greater: q or b?
b
Let s = -1366 + 1773. Is s >= 407?
True
Let u = -1152/11 - -337514/3223. Is 1 greater than u?
True
Let n(o) = -o**3 - 2*o**2 - o + 2. Let m be n(-3). Let h(r) = -r**3 + 13*r**2 + 11*r + 20. Let f be h(m). Is f bigger than -22?
False
Let d = -0.1 - 0.2. Suppose 2*x - 2*n + 16 = 0, 5*x + 3*n = 3*x + 9. Which is smaller: d or x?
x
Suppose -2*h + 2 = 0, -b - 4*h + 108 = h. Is b at least as big as 102?
True
Suppose 825*y = 827*y + 70. Is -36 at most as big as y?
True
Let k be (-9)/((-3231)/361) - 1. Which is bigger: k or -1?
k
Suppose 4*i + 5 = -75. Is i at least as big as -12?
False
Let o(z) = -z + 2. Let l be o(-4). Suppose -l*f = -7*f + 3. Suppose -3*m - 3*i = -9, -5*m - 4*i + 7 = -f. Which is greater: -1/3 or m?
-1/3
Let h = -334 - -1321/4. Suppose -2*k - 3*c + 106 = 0, -2*k + 31 = -k - 4*c. Let b = k + -51. Which is greater: h or b?
h
Suppose 3*v + 217 = -4*c, 152 = 5*c + v + 426. Let p = 383/7 + c. Let w = -36/175 - p. Does w = 0?
False
Let r = 16175700 + -22645979021/1400. Let f = r - -3/200. Is f bigger than 0?
True
Let c(u) = 44*u - 36. Let m be c(1). Which is smaller: m or 14?
m
Let t(v) = -2*v**2 + 39*v - 54. Let g be t(27). Let i = g - -3202/7. Is -2 < i?
True
Let n be -27 + (-2 + 1)*3. Let w = n + 6. Let r be (-2)/(92/w + 4). Which is greater: -2/5 or r?
-2/5
Let t = -17 + 19. Suppose -2*i + 6 = 0, 3 = 2*c - i - t. Is 5 smaller than c?
False
Let u = 619 - 619.02. Is u greater than 4/9?
False
Let t = -22 - -14. Let f be t/(-12)*36*3. Suppose 6*c + f = 18. Is -9 at most c?
True
Suppose 76*l = 72*l. Which is smaller: l or -20/87?
-20/87
Suppose -19 = 4*a - 5*i, 4*a + 4*i = -a - 34. Let j be ((-12)/9)/(32/a + 3). Is 1/4 equal to j?
False
Let m be 486/(-1368) + 2/19. Suppose -2*j + 5*f - 8 = 0, -2*j - f - 22 = f. Which is bigger: j or m?
m
Let h be 68931/(-132) + 6/33. Let n = h - -522. Is n greater than or equal to -1?
True
Let g = -6707/7 + 958. Is -0.18 at least as big as g?
False
Let f = 126 + -120. Are f and 114/17 unequal?
True
Suppose -w - 2 = 0, r + w - 11 - 4 = 0. Suppose -5*q = 4*m - r - 4, 0 = 5*m + 3*q - 36. Let o be ((-12)/8)/(3/(-20)). Which is smaller: o or m?
m
Let t(g) = -g**3 - 15*g**2 + 3*g + 8. Let r be t(-15). Let l = -117 + 81. Are r and l equal?
False
Let a(m) = -m + 4. Let j be a(0). Let w(h) = -5*h - j*h**2 + 6 + 3*h**2 + 2*h**2. Let y be w(4). Which is smaller: y or -1?
-1
Suppose -3*o = -5*w - 16, -7*w + 8*w + 17 = -4*o. Which is bigger: w or -1.33?
-1.33
Let a = 2 + -5. Let x = 0.6 + 23.4. Let w = 26 - x. Are w and a unequal?
True
Let k = -65.29 - -63.7. Which is greater: 1 or k?
1
Let u = -129/64 - -451/192. Let j = -1.4 - -1.29. Is u at most as big as j?
False
Let t = 350 - 351. Are 7.67 and t equal?
False
Suppose 51*w - 132 = 48*w. Is -2 smaller than w?
True
Let r = -4 + 3. Let u be 6 - 9 - 3*r. Let q = -10 - -9. Does u = q?
False
Let t be (3/(-6)*-4)/(6/15). Suppose -29 - 1 = -5*u. Is t <= u?
True
Let n be -3*3 - 4356/(-704). Is n equal to -4?
False
Let x = -381 + 559. Is x greater than 176?
True
Suppose i - 5 + 0 = 0. Suppose 4 = 7*w - i*w. Suppose -n + w = 1. Is n != 0?
True
Let y(k) = -4*k**2 - 2*k + 3. Let p be y(2). Let a = p - -30. Is a greater than 11?
True
Let d(j) = -j - 13. Let z be d(-6). Let s(y) = y + 15. Let u be s(z). Suppose -5*m + 5*w + 36 = 3*w, -4*m + 5*w = -22. Is m greater than or equal to u?
True
Suppose 4*n + 50 = 4*x + 14, 3*n = -2*x - 2. Let h(o) = o**3 + o**2 + o + 1. Suppose -2*p = 3 + 1. Let z be h(p). Which is bigger: z or n?
n
Suppose 3*g = 4*r + 1, 0 = -3*r + 2*r + 3*g - 7. Suppose -4*j - x + r = -0*x, -5*x - 10 = 0. Let n be -2 + 146/50 + -1. Is j less than n?
False
Let r(q) = -q**2 - 6*q - 2. Let n be r(-5). Suppose 2*w + 15 = -n. Is -8 bigger than w?
True
Suppose -l - 196 = -5*l. Suppose z = -6*z + l. Which is smaller: z or 2?
2
Let n = 18.541 - -0.459. Let u = 8 + 11. Let t = n - u. Which is greater: 1 or t?
1
Let y = -32.8 - -41. Let k = -2.2 + y. Which is bigger: k or 1?
k
Let p = -1093957/5295 + 1033/5. Do -1 and p have different values?
True
Suppose 2*n = 4, 2*m = 3*n + 8 - 118. Let b be -3*(-2 - m/24). Which is greater: 6 or b?
6
Let i = -15/733 - 170684/5131. Which is smaller: i or -34?
-34
Suppose -7*z = z - 144. Suppose 6*i - 12 = z. Which is greater: 7 or i?
7
Let l = 12 + -7. Let j(y) = 8*y**2 + y - 8. Let f be j(2). Suppose 3*w - 4*t = 23, 0*t = w - l*t - f. Is 2/17 not equal to w?
True
Let f be ((-8)/6)/((-24)/1388). Let p = f - 77. Suppose 4*q - 10 = -2*u, -u - 4*q + q + 8 = 0. Is p smaller than u?
False
Let g be (-1)/((-3)/((-6)/(-5))). Let p be (-416)/(-552) + (-9)/(189/14). Which is bigger: g or p?
g
Let g = -56.7636 + -0.1364. Let u = 53 + g. Let l = u + -0.1. Is 1/6 less than l?
False
Let r be (18/(-8))/(1/(-4)). Let p = 72 - 57. Suppose -13*k - 18 = -p*k. Are r and k equal?
True
Let u(q) = -q**3 - 7*q**2 + 5*q - 11. Let f be u(-8). Suppose 4*m = 3*m + f. Suppose 2*s - 15 = 9. Which is smaller: s or m?
s
Let h(u) = 7*u**2 + u + 5. Let r be h(-2). Is r >= 31?
True
Let r(q) = 13*q - 111. Let n(v) = 9*v - 74. Let m(o) = 7*n(o) - 5*r(o). Let k be m(20). Which is bigger: k or 9?
9
Let v = 1255 + -1256. Which is greater: -6/301 or v?
-6/301
Let t be -7 + 188*3/72. Are -33 and t unequal?
True
Let f be (0 - -14) + (-3)/(18/(-24)). Suppose -f*i = -16 - 2. Which is greater: 3/133 or i?
i
Let t(l) = -2*l**3 + 35*l**2 - 46*l - 18. Let i be t(16). Is i < 14?
False
Let k = 67 + -64. Let s = -12 + 24. Let p be ((-6)/(-4))/(6/s). Is k greater than or equal to p?
True
Let z = -59 - -62. Suppose z*s = -33 - 9. Is s less than -15?
False
Let h = 304 - 308. Is h less than or equal to 17?
True
Suppose 34*h = 28*h - 72. Are -85/7 and h non-equal?
True
Let r be (-68)/30*(135/(-6))/9. Which is bigger: r or -21?
r
Suppose 0*m = 3*m + 42. Suppose q - 3*h + 2 = 0, 0 = 2*q - q - 5*h + 4. Let l = q + -17. Which is smaller: m or l?
l
Suppose p - 228 = -20. Let d = p + -136. Let s be (40/d)/(10/12). Is 2 equal to s?
False
Let v(w) = -w**2 - 25*w + 51. Let z be v(-27). Let u be 0 + (2/z - (-32)/30). Which is smaller: 25 or u?
u
Suppose 3 = 2*q - q. Suppose q*z + 5*b - 9 = 20, -z - 2*b = -11. Let x(w) = -w + 2. Let y be x(0). Which is bigger: y or z?
z
Let d be 9*(13/9 + 34/153). Is d greater t