uppose -f + 5*m = 12, -2*f + 3*m = -m + 6. Suppose 5*x + 2*s + 10 = 0, -4*x - 9 = -f*x - s. Which is smaller: -7 or x?
-7
Let d be (-4)/9 + (-55)/99. Suppose 9*y = 4*y - 30. Let m be 4/5*y/8. Which is greater: m or d?
m
Let a be (1/(-12))/(420/252). Let w be (-3)/(-5) + 2/5. Do w and a have different values?
True
Let g be 152/12 - 4/6. Suppose 0 = 5*s - 4*f + 29, -4*s - 49 = 4*f + 3. Let b = s + g. Which is smaller: 0 or b?
0
Let z be -1 + 532/3 + (-126 - -130). Is 179 != z?
True
Let n = 16 + -8. Let c = -421/30 + 27/2. Let m = c - -2/15. Which is smaller: n or m?
m
Suppose 8*a = 3*a. Let t be ((-6)/8 - a)*8. Let k = -9 - t. Is -1 at least as big as k?
True
Let g = -6.081 + 6.1. Let k = g - -4.981. Suppose -t - 2*t - 3 = 0. Which is greater: k or t?
k
Suppose 10 = -0*z + 2*z. Suppose 5*i - 3 - 11 = -3*s, -4*s - 28 = -z*i. Let n be s - 22/(-18) - -1. Is 2/9 != n?
False
Let a = -5.554 - -0.844. Let t = a - 0.29. Which is smaller: -2 or t?
t
Let d = -0.688 - 0.082. Is d greater than or equal to 0?
False
Let z(u) = -4*u**2 - 6*u - 12. Let q be z(-2). Does -16 = q?
True
Let o be 68 + (2 + 28)/(-6). Let i be (0 - 1)*o/9. Is -9 not equal to i?
True
Let w be 1/(-1)*(-1 + 1). Which is greater: 1/183 or w?
1/183
Let y = 12 - 11. Let a be -29*(y - 466/504). Let v = -4/63 + a. Which is smaller: v or -3?
-3
Let h be (1/25)/(7 + -9). Are -2 and h nonequal?
True
Let z be (-9 + 11)/(168/(-83) - -2). Let r be z/15 - (-24)/20. Suppose 2*p = -16 + 6. Is p != r?
True
Let d = 59 - 58. Let a be 150/36 - d/6. Does a = 25/6?
False
Let k(i) = i**3 - 16*i**2 - 10*i + 7. Let g be k(16). Let a = -761/5 - g. Is a < 0?
False
Let z = 102 + -106. Let g(w) = 2*w + 6. Let b be g(-6). Does b = z?
False
Let r = 0.1 - 0.12. Suppose -3*u + 27 = 3*m - u, -2*u = m - 13. Suppose 0 = -3*f - 3*v, -4*f + v = m - 2. Which is smaller: f or r?
f
Let h(b) = 11*b + 14. Let g be h(-1). Suppose 5*u = -5*z + 20, -g = 3*z - u + 1. Let y be (-3 + 2)*-1 + 1. Is z at least as big as y?
False
Let w = 9643/203 + -5759/119. Let x = 26/29 + w. Do x and 0 have different values?
True
Suppose -5*v + 3*z + 143 = 7*z, -4*v + 5*z = -98. Let i = v - 21. Is 9 at least as big as i?
True
Suppose 0 = -3*j + 5*z - 90, -3*j - 4*z + 3*z - 72 = 0. Let r = j - -25. Let n be -6*4/8 + r. Does n = -4?
False
Let r be 3*(12 - (-1152)/(-135)). Which is greater: r or 10?
r
Let d(v) = -3*v**2 + 18*v + 37. Let p be d(-19). Let w = p + 73562/53. Which is bigger: w or 0?
0
Suppose -2*i = -4*k - 12, 38*k + i = 34*k. Is k <= 2/7813?
True
Let t be (47 - (-1 - -2))/(-1). Let r(p) = -2*p**2 + 87*p + 2924. Let g be r(66). Is t equal to g?
True
Let m(f) = f**2 + 9*f - 57. Let o be m(-11). Are o and -34 equal?
False
Let v be 28/(-56)*(-4)/2. Is -1/85 >= v?
False
Suppose 0 = 39*q + 288 - 93. Suppose 2*y + 26 = -2*k, 0*y - 3*y - 12 = 0. Is k less than q?
True
Let q = 186 - 1389. Are q and -1202 unequal?
True
Let p = -6.008 - 0.992. Is p bigger than 55?
False
Let v = -7.8 + -1.2. Let y = 11 + -16. Let s = 6 + y. Is s > v?
True
Let i be (-6)/(-54) + 407/(-99). Suppose -n = -c - 0*c + 1, 3*n - 2*c = -3. Which is smaller: i or n?
i
Suppose -5*d - b + 27 = 5, b + 23 = 4*d. Suppose 0 = f - d*f. Are 1/6 and f nonequal?
True
Let w(x) = x**3 + 15*x**2 + 12*x - 20. Let y be w(-14). Is 6 not equal to y?
True
Let f = 0.9 + -9.9. Let d = 9.1 + f. Let k = 0.3 - 0.37. Does k = d?
False
Let v = -23 + 163. Do -2 and v have different values?
True
Let x(q) = q**3 + 6*q**2 - 18*q + 25. Let d be x(-9). Are d and -56 equal?
True
Let v(l) = l**3 + 4*l**2 - 7*l - 6. Let b be v(-5). Suppose b*p + 12 = -3*n + 5, 0 = 4*p + 5*n + 9. Is p > -3/35?
False
Let u = 0 - 6. Let h = u - -14. Which is greater: h or 7?
h
Let y be 84 - (-9)/(-45)*(-5)/(-1). Which is bigger: y or 84?
84
Let q = -3 - -6. Suppose 5*w - 5*b - 12 = 8, -q*b - 11 = -4*w. Is w at most -16/11?
False
Let q be 0 + (68/10 - -1). Let u = 0.04255 + 0.05745. Is u equal to q?
False
Let j(x) = 5*x**2 + 2 + 0 - 6*x**2 + 12 - 16*x. Let i be j(-17). Let q be 1/(((-9)/1)/i). Is 0 bigger than q?
False
Suppose -5 = 6*b + 7. Is b at least -20/19?
False
Let w = -0.249 + 0.36. Is w smaller than -3/2?
False
Suppose 4 = 2*x, -4*b - 4*x - 206 = -9*x. Which is bigger: -53 or b?
b
Let b(y) = y**2 - y - 57. Let v be b(0). Let p = 108 + v. Let x be (-8)/(-32) + p/(-12). Is x greater than -4?
False
Suppose 0 = -6*l + 5*l. Suppose l = -11*u + 7*u - 4. Which is bigger: u or 6?
6
Let b = 31 - -11.5. Let f = 55 - b. Let x = f + -12. Which is bigger: x or -1?
x
Let i(g) = -g**3 + 2*g**2 + 42*g - 174. Let d be i(5). Let p = -72 + 31. Which is smaller: d or p?
p
Let n = 2.74 + -2.9. Let q = -0.26 - n. Which is greater: -0.28 or q?
q
Let j = 3799.97 + -3784. Let b = j + -16. Let x = -1.2 - -1. Is b smaller than x?
False
Let h be 2*(15/(-6))/5. Let w be 5/1 + 19894/(-3969). Is h less than w?
True
Let r = -253/10 + 7753/310. Let o = r + 125/217. Let n = 468 - 469. Is o < n?
False
Let d be 18/12*2/(-3). Are d and 6/67 nonequal?
True
Let q = -1112/9163 + 2/539. Let u(x) = 3*x - 9. Let b be u(3). Suppose -2*p + 8*k - 3*k - 23 = b, -2*k + 7 = -3*p. Is q greater than or equal to p?
False
Let p = 142 - -138. Do p and 279 have different values?
True
Suppose f - k + 2 = 0, 25 + 0 = 5*k. Suppose -15 + 3 = f*r. Is -5 less than or equal to r?
True
Let r = 437.5 - 435. Let c = -0.3 - 3.7. Let g = r + c. Is g at least as big as 0?
False
Let n be 6/(-8) + (-1)/4. Let a = 15 + -18. Let x be a/15*(-35)/(-6). Which is bigger: x or n?
n
Let h = -74.979 + -0.021. Let t = h - -67. Which is greater: 6 or t?
6
Let c = -2.39 + 11.39. Which is greater: -10 or c?
c
Suppose 0 = 6*h - 4*h + 4*j - 264, 4*j = 2*h - 240. Let k be 40/(-12)*h/165. Which is smaller: k or -4?
-4
Let m = -8/37 + 205/777. Let z be 315/65 - 8/(-52). Suppose 3*b - z*b = 0. Which is bigger: m or b?
m
Let q be (-5)/(-40) + 5 + (-1298)/16. Which is greater: q or -75?
-75
Let w(r) = r**2 + 6*r - 64. Let m be w(-22). Is m < 284?
False
Let z(a) = a**3 - 12*a**2 + 3*a - 3. Let m(t) = t**3 - 13*t**2 + 2*t - 2. Let g(d) = 5*m(d) - 6*z(d). Let x be g(6). Is x less than or equal to -4?
True
Let z = -1.9 - 22.1. Let d = z - -28. Let n = 3 + d. Which is smaller: 0.2 or n?
0.2
Let b = 1.6 - 2. Let u = b - -0.04. Let k = u + -0.54. Which is smaller: 2/5 or k?
k
Let u(h) = -h + 120. Let b be u(0). Let v be (1 - b/117)*(5 + -7). Which is greater: v or 0?
v
Let b = 167824/19 - 8836. Are b and -4 equal?
False
Let n be 8/(-66) - 4/(-6). Suppose 3*q - 3*d + 15 = 0, -5*d + d = -q - 20. Is n greater than or equal to q?
True
Let i = -16 - -23. Let g be (-2 - 54)/(-4) + -1. Suppose -5*a + 19 + g = -n, -5*n = -5*a + 40. Is a at most as big as i?
True
Let h = -2601.81 + 2613. Which is bigger: h or -0.1?
h
Let u = 0.93 + -1.146. Let w = u + 0.135. Which is bigger: 1 or w?
1
Suppose -5*y - 9 = -4*q - 4*y, 0 = 5*q - 3*y - 20. Let m = -497/8 - -62. Which is smaller: q or m?
m
Let o be ((-153)/(-34))/((-3)/(-180)*2). Is 1/4 at least o?
False
Let s be 0*(-6 - (-69)/12). Which is smaller: s or 3/22?
s
Let w = 1478 - 1494. Is w at most 13?
True
Suppose 0 = -z - f + 62, -2*z + 79 = f - 42. Is 59 at most z?
True
Let q = 10.248 + -10. Let m = q + -0.018. Which is bigger: m or 0?
m
Let c = -2 + 3. Suppose -c = -4*o - 13. Let g be (o + (-192)/(-63))*-2. Which is smaller: g or 0?
g
Let o(k) = -6*k - 25. Let l be o(-4). Is -3/29 smaller than l?
False
Suppose -k = a + a + 20, k + 35 = -5*a. Is -29 < k?
True
Suppose -4 = -4*p + 8. Suppose 20 = 2*z + p*z. Let a(n) = -204*n + 2042. Let w be a(10). Which is smaller: w or z?
w
Let d be (-14)/(-6) + (2 - 6). Let o = d - -1/3. Which is smaller: -2 or o?
-2
Let p = 45 + -45.2. Let w = 5 - 3. Suppose -m - 6 = 2*c, -2*c = -2*m + w*c + 4. Which is greater: p or m?
p
Let w = 4148.76 - 4148.8. Let t = -0.1 - 0. Which is bigger: w or t?
w
Let n = 0.1593 - 0.0593. Is n not equal to -160?
True
Let d = -16 + 20. Suppose d*j - 8 + 0 = 0. Suppose j*o + 6 = -o. Is o smaller than -2?
False
Let d = -77 - -74. Are -9/5 and d nonequal?
True
Let a = -369.1 - -368. Which is smaller: -35 or a?
-35
Let m = -18744 - -18764. Let p be -86*(2/(-4))/1. Suppose p = 3*n - 20. Do n and m have different values?
True
Let s(l) = -15*l - 1. Let y be s(-1). Let p be -18 + 44 + -21 + 10*1. Is p <= y?
False
Let i = -39 