 12 = 0. Suppose -5*m - k*x + 20 = 0, 0 = 3*m - x + 5*x - 23. Suppose 5*n - m - 4 = 0. Which is smaller: n or -4/7?
-4/7
Suppose 3*w + 4 = 2*w, -5*n + 5*w = -70. Let l(c) = -c**2 - 12*c - 2. Let s be l(-12). Let g be (-2)/n*0 + s. Which is greater: g or -4/7?
-4/7
Let c = -2079 + 72759/35. Let f be (106/5565)/((-13)/12). Let m = f - c. Which is greater: m or 1?
1
Suppose 0 = -22*l + 17*l + 15. Let f = -1 + l. Is 3/4 != f?
True
Let h = 3/796 + -41493/398. Let q = 17113/164 + h. Which is bigger: 1 or q?
1
Let b be -1 - -1 - 7710/(-234). Let z = b + -33. Let u = z + -35/78. Are u and 0 equal?
False
Let c be 79 + 3 - (1 + -1 - -5). Is 78 at most as big as c?
False
Let k = -6 + 5. Let r = -95036/79 - -1203. Is r < k?
False
Suppose -5*i - 5*u = 1 + 19, 5*i = -u. Let o(b) = 15*b. Let m be o(-7). Let w = -947/9 - m. Is w at least i?
False
Let r be (3/4)/(2/(-24)). Suppose 0 = -11*h + 62 + 37. Let f be (-1 - 0) + r/h. Is f at most -2?
True
Suppose 4*j = 174 - 306. Which is smaller: j or -30?
j
Let f be 1*(-4)/76*(-2)/(-1). Which is smaller: f or -0.2?
-0.2
Let u(t) = -4*t + 2. Let l(x) = 5*x - 48. Let r be l(11). Let d be u(r). Is d not equal to -26?
False
Let y be 16*(2/(-4))/(-1). Suppose -6*o + 8 = -u - 2*o, 4*o + y = 5*u. Suppose w = -2*n, -4*n - u*w = -n - 5. Is n at least 15?
False
Let l = -45 + 58. Let d(f) = 3*f - 2. Let p be d(-3). Let s = l + p. Are 5/2 and s equal?
False
Let r be -2 + (-63)/(-13) - 4/(-26). Let j = 0 - -6. Suppose r*h = j*h. Which is smaller: h or 1/8?
h
Suppose -4*l + 2*g = 6, 2*l - 3*g + 4*g + 1 = 0. Let j be 1 + 74*4/(-8). Let c be (-98)/522 - 8/j. Which is greater: l or c?
c
Let k be -2 + 5 + (-3)/(-1). Suppose -3*d - 2*j + k = -4, -4*d = j - 15. Suppose -s - s = -d. Are 3/4 and s non-equal?
True
Let h = -12.393 - 0.107. Let f = 13.5 + h. Let u = -8 + 6. Is f at least as big as u?
True
Suppose -g + 8 = -0. Suppose 2*x = 2*a - 2, 5 + g = -x + 4*a. Suppose -y + 6 = 3*n, 2*y + 59 = -5*n + 69. Is x bigger than n?
True
Suppose 0 = 32*s - 55*s - 437. Which is smaller: s or -72?
-72
Let z = -1486.4 + 1469. Are 1 and z equal?
False
Let y = -198654/19 + 10458. Which is smaller: y or -1/3?
-1/3
Let k = 8882 + -7380943/831. Do -1 and k have the same value?
False
Let j = 1.19 - 0.19. Is j at most as big as -42?
False
Let n = -0.0275 - -0.1025. Are 1/3 and n non-equal?
True
Let k be ((-9)/(-6))/3*0. Suppose -i = -k*i - 3. Let c(m) = -m**3 + 4*m**2 - 4*m. Let y be c(i). Is -10/3 less than or equal to y?
True
Let a(y) = y**2 + 9*y - 11. Let k(j) = -6*j - 3. Let w be k(-1). Suppose -10 = 4*v - w*v. Let p be a(v). Which is smaller: -1/8 or p?
p
Let a(x) = -x + 9. Let l be a(15). Let r(o) = -o**3 - 7*o**2 - 7*o - 7. Let m be r(l). Let s be 24/(-20)*4/6. Is m at most s?
True
Let v = 30 + -32. Let b be 1/(-9) + v/(-18). Suppose 3*u - 4*u - 5*x = -10, -x + 2 = -5*u. Is b less than or equal to u?
True
Suppose -2*b = -0*b + 20. Let y be b/(-10) - (0 - 0). Is 11/5 at most y?
False
Let y be 116/(-160)*-2 - 1. Is 1 < y?
False
Suppose -846 + 196 = 5*l. Let j be (-6 + l/(-25))*-5*6. Is j equal to 24?
True
Let m = 122.1 + -117. Let j = 6 - m. Which is greater: j or 0?
j
Let i be (-44)/(-6) + (-1 - (-20)/12). Let n be 2/(-4) + (-33)/(-6). Suppose r - 5 = -n*t, -r + t - i = -1. Which is smaller: -6 or r?
-6
Let l = 23097644/844563 - -4/19641. Let c = l - 82/3. Let p = c - 911/516. Are -3 and p non-equal?
True
Let g be (0 - 1)*45/(-240). Let l be 7 + (-2 + 0)*1. Suppose -3*y = -4*m + 2 - l, 5*m - 2*y = -2. Is m < g?
True
Let f(s) = -s**3 + 5*s**2 - 3*s + 2. Let z be f(2). Suppose -3*n = z + 4. Let q be -1 + 0 + (n - -3). Are q and -9 unequal?
True
Suppose -b - 4 = -3*k, -3*b + 4 = b - 2*k. Suppose -2*g + 8 = 5*x, 7 = 5*g + b*x - 13. Suppose -n + g = -3*v - 3, -2*v = -5*n + 22. Which is greater: v or -0.3?
-0.3
Suppose -r + 23 - 8 = 0. Suppose -3*o + a = -1 + 6, -o + 3*a - r = 0. Let m be 6/(-15) - (-4)/10. Are m and o equal?
True
Let u = 15 - -17. Let i = u + -59. Which is bigger: i or -0.1?
-0.1
Let a(b) = -6*b - 60. Let v be a(-10). Let j = 13417/13 + -1033. Which is greater: j or v?
v
Let b = 475 + -302. Let z = 687/4 - b. Let y(g) = g**3 - 5*g**2 - 16*g - 5. Let t be y(-2). Which is greater: z or t?
t
Let v = 46.3 - 7.3. Let q = -39.26 + v. Is q less than -2/7?
False
Let g be 8/(-8) + (-41 - 1). Let a = g + 44. Is 3/4 >= a?
False
Suppose 4*b = 3*h + 2924, 4*b - 2042 = 2*h + 878. Let z be (-10)/(-50) + 0 - b/(-10). Is 72 greater than z?
False
Let i(h) = h**3 - 15*h**2 - 12*h - 28. Let n(u) = -u**2 + 1. Let j(c) = -i(c) + 2*n(c). Let b be j(14). Which is smaller: 8/15 or b?
8/15
Suppose 20 = -5*x, -2*a - 8 = -4*a + x. Suppose -24 = 4*c + 5*l, a*c + 3*l - l = -10. Let p = 631/150 + -25/6. Are c and p equal?
False
Suppose 3*m - 40 = 2*n, -2*m - 3*n + 45 = m. Let l = m + 7. Let g be 5/(3/(9/l)). Which is smaller: g or 1?
g
Let i be 0 + 338/87 - (-20)/(-5). Is -1 less than i?
True
Let t = -319 - -1921/6. Let j = 20 + -24. Let v be (-1 + (1 - 1))*(j - -2). Are v and t unequal?
True
Suppose -5*o = -10 + 5. Let c be 1 - 1/3 - o. Let k be 22*(0 + -1) - -2. Which is bigger: c or k?
c
Suppose 2*s - 3 = 2*v - 1, v = -4*s + 9. Let g be (17 - 515/45) + 0 + -5. Which is greater: g or v?
v
Let a be (8/210)/(28/6*-1). Which is smaller: a or 0?
a
Let y = 334 + -2342/7. Is -4/13 >= y?
True
Let w be (2 - -3)*-1 + (-30921)/(-6193). Is 1 at most w?
False
Suppose -7*g + 242 = -9*g. Which is bigger: g or -119?
-119
Suppose -l - 14 = 3*t - 42, 2*l + 5*t = 54. Let u be l/(-8) - (-4)/2. Suppose o + 3 = -3*n, 1 + 1 = -4*n - 2*o. Is u < n?
False
Let s be ((-2)/7 + 357/1078)*46. Is s <= 1/4?
False
Let u = 1/2105 + -4213/6315. Is u greater than -0.0285?
False
Let a be -3 - (-140)/44 - (-911)/11. Which is greater: a or 1?
a
Let s(h) = -h + 12. Let a be s(12). Suppose a*i = -i. Suppose -2*k + 2 = -i. Is k < 0.1?
False
Let i = 0.1 + 0.4. Let j(w) = -w**2 - 6*w - 7. Let l be j(-5). Which is bigger: i or l?
i
Suppose s - 4*u + 8 = 0, -s - 4*u + 4 = -4. Suppose -o + s - 3 = 0, 4*o = t - 5. Let w be 3/2 - t/(-5). Are 0 and w nonequal?
True
Let j be (-1 - -5)*((-202)/(-8) - -2). Let h = -108 + j. Let r = 2874/7 + -409. Which is greater: r or h?
r
Let g(d) be the second derivative of 11*d**5/20 - d**4/6 + d**2 - 13*d. Let a be g(1). Is 12 greater than a?
True
Suppose -5*q + 3*u = 34, -5*q = -7*u + 2*u + 40. Is 1/17 at least as big as q?
True
Suppose 4*x - 1061 - 1112 = s, 3*x = -s + 1635. Which is smaller: x or 545?
x
Let o = 3 - 2. Let g(x) = x**3 + 8*x**2 - 9*x + 13. Let k be g(-9). Suppose -20 = -k*r + 6. Is r smaller than o?
False
Suppose 5*w - 49 = 3*b, 11*b - 6*b + 15 = 0. Is w <= 10?
True
Let q = -475 - -202. Let a = q - -826/3. Suppose -4*o + 6 = -o, 3*p = -3*o + 9. Which is bigger: p or a?
a
Let a = -0.27 - -1.27. Is a <= -160?
False
Suppose -o = 5*g + 98, -o + 3*g - 7*g = 97. Is o at most as big as -91?
True
Suppose 90 = 5*m + 5*q + 30, -3*m - 2*q = -35. Let n be (m/2 - 4)*2. Suppose -2*c = -5 + n. Does c = -16?
False
Let p = 0 - -0.2. Let v = 141 + -108. Suppose -8*c = -v - 71. Do p and c have the same value?
False
Let d(k) = -k - 2. Let a be d(-7). Suppose -a*i - 4*f + 0 = 13, 2*i = -f - 4. Let x be ((-16)/20)/((-108)/30). Is x bigger than i?
True
Suppose -98 = 10*b - 28. Do -6 and b have different values?
True
Suppose 0 = 3*f - 9, -5*y + 7*f - 119 = 4*f. Which is smaller: -3 or y?
y
Let t = 61/574 - -3/82. Let l = 9805.1 - 9805. Which is bigger: t or l?
t
Let p = 714/1067 - 12/97. Let m = 189 + -187. Which is bigger: m or p?
m
Let z be (36/(-27))/(1/(-18)). Let u be (-366)/z - 3/(-4). Are u and -14 non-equal?
True
Let l = -49 + 197/4. Let n(g) be the second derivative of g**3/6 - 4*g**2 + 2*g. Let o be n(8). Which is bigger: o or l?
l
Suppose 0 = -3*o + 19 + 5. Suppose 2*u + o = u + 5*m, 3*u = 2*m + 28. Let i = -5 + u. Do i and 25/4 have the same value?
False
Let v be 4/(-22) + 112/132. Let m be (-174)/319 + (-2 - -4) + -2. Which is smaller: m or v?
m
Let m = -2408 + 2364. Is m bigger than -23?
False
Let h be ((-6)/4)/(2465/136*-30). Which is greater: h or -0.1?
h
Let j = 2719/136 + -104/17. Is 15 less than or equal to j?
False
Let v(r) = -26*r + 61. Let k be v(5). Let p = 123 + k. Is p greater than 54?
False
Let n be 15/30*542/(-3) - -1. Which is smaller: -88 or n?
n
Le