. Which is smaller: 12 or m?
m
Let y = 115/6 - 5464/285. Which is bigger: -1 or y?
y
Let d = 113.036 + -113. Let v = 0.136 - d. Which is bigger: -9 or v?
v
Let a = 463 + -222. Let h = a + -254.3. Let l = -1.3 - h. Is l <= -0.1?
False
Let k = -17/14 - -305/182. Let r = 290.9 + -291. Is r >= k?
False
Let f = -13 - -7. Let a = 6.9 + f. Let r = a - 0.8. Is -0.04 <= r?
True
Let f(l) = 3724*l**2 - 3725*l**2 + 7 + l + 5. Let u be f(4). Let r be (-24)/(-14) + 2/7. Is u at least as big as r?
False
Let r be (-4 + (-3864)/(-976))*4. Is r at most as big as -0.1?
True
Suppose 0 = -2*l - 4*v + 37 + 9, 0 = -3*l + 3*v + 33. Let d = -13 + l. Suppose 0 = d*r + 5*o + 25, o = r + 6*o + 20. Is r greater than -4?
False
Let s(v) = v**3 - 8*v**2 + 4*v + 10. Let z be s(5). Let k = -58 - z. Suppose 56 = -4*i - 0*i. Is i < k?
True
Let l be 23*5 + -37 + 39. Is l at most as big as -3?
False
Let v = -28 + 27.83. Let j = -0.26 - v. Let i be (-42)/280 + (-4)/(-10). Is j <= i?
True
Let f = 830563/83 - 10007. Which is greater: 0 or f?
0
Let u be 14/49*(-14)/(-10). Let d = -316 + 315. Is u at least as big as d?
True
Let m be -2*1 + 180/93. Suppose w - 2 = 4. Let k = -6 + w. Are m and k equal?
False
Let w(t) = -3*t - 74 - 7*t + 13*t**2 + 58 - t**3. Let q be w(12). Is 0 greater than q?
False
Let y be (2/(-3))/((-4)/12). Let t = 0.6 - -12.4. Let z = t - 15. Is z smaller than y?
True
Suppose -5*n + 2*s + 19 = -s, 6 = -2*s. Suppose -5*i + n*i = -48. Is i != 18?
True
Let w = -0.1 - -1.1. Let s(q) = -q**3 + 8*q**2 + 2. Let k be s(8). Suppose 0 = -k*b + 3 + 1. Is w smaller than b?
True
Let r = 10 - 9.67. Let j = 0.56 - r. Let p = 0.03 - j. Is 1 bigger than p?
True
Let o = 4.163 - 0.163. Let p = 66 - 525/8. Does p = o?
False
Let h be (-4)/16 - (-322)/8. Let r be (h/(-70))/(4/(-14)). Suppose -r*v = -0*v. Do v and -5/8 have the same value?
False
Let p be (3 - (0 - 3))*(-143)/33. Do p and -27 have the same value?
False
Let x(g) = 3*g - 15. Suppose 17 = 4*y - 5*t, -5*y + 17 = -5*t + 3*t. Suppose -3*k + 7 + 14 = y*d, -2*d + 14 = -k. Let i be x(d). Which is greater: 4 or i?
i
Let r(x) = -3*x - 2. Let j be r(-2). Suppose -2*y + 22 = -5*q - j*y, -q + 5*y - 26 = 0. Let g be 5/(-10)*(10 + 0). Are q and g equal?
False
Let d = -4 - 0. Suppose -7*i + 2*i = -75. Suppose o - c - 2*c = -i, 0 = -o - c + 1. Is o not equal to d?
True
Let n be (-1 + (-18)/(-12))*-1. Which is smaller: n or -0.3?
n
Let o = -358 + -243. Do o and -601 have the same value?
True
Let t(n) = n**3 - 3*n**2 + 12*n - 19. Let f be t(2). Is -2/697 bigger than f?
False
Let x = 48.92 - 49. Which is smaller: x or 0.1?
x
Let a = 27.98 - 0.98. Let f = a - 59. Are -1/4 and f equal?
False
Let y = -25 + 106. Let w(s) = 13*s**2 + 2. Let v be w(-2). Let b = v - y. Is -27 >= b?
True
Let y be ((-384)/54)/(-4) - 2/(-9). Suppose 5*h + 65 = 4*b, -y*h - 3*b = -5*h - 42. Is 0 less than or equal to h?
False
Let w = -119601/86 - -2783/2. Which is bigger: 1 or w?
1
Let q(r) = -r + 7. Suppose -2*h + h = -8. Let a be q(h). Are a and -1 nonequal?
False
Let m = 14 + 14. Suppose 2*n + 6 - m = 0. Let z be n/(-77) + 73/(-28). Which is bigger: -2 or z?
-2
Suppose -47 = 43*n - 90. Is n greater than or equal to -199?
True
Let q = 2353/216 + -87/8. Suppose 3*m - j = 16, m - 5 - 11 = 3*j. Suppose 0 = 3*z - 3*p - 3, 0*p = 4*z + 3*p - m. Which is bigger: z or q?
z
Let b = 28 + -20. Suppose -4*s - 5*i = -50, 5*s - i = 38 + 10. Which is greater: b or s?
s
Let f = 4 - 8. Let w = -0.022 + -0.278. Which is smaller: f or w?
f
Let i(v) = -55*v**2 - 14*v - 26. Let c be i(-4). Is -851 > c?
False
Let o = 0 + -0.2. Let u = -4.933 - 0.005. Let z = -0.062 + u. Which is smaller: o or z?
z
Let a(c) = c**2 - 4*c - 4. Let r(w) = 3*w + 5. Let l be r(0). Let g be a(l). Suppose 2*n + 1 + g = 0. Which is smaller: n or 3?
n
Let l = -0.048 + -71.952. Let o = l + 71.8. Which is smaller: o or -0.4?
-0.4
Let n(z) = -z**3 + 2*z**2 - z + 2. Let m be n(2). Let h(s) = s**2 + 2*s - 5. Let j = 7 - 11. Let f be h(j). Is m not equal to f?
True
Let f = 2579 + -2579. Is -596 at least f?
False
Let i be (-165)/2255*2/(-30)*2. Which is greater: 0 or i?
i
Let w = 2.853 - 0.853. Is 1 > w?
False
Let o(r) = 2*r + 0*r + 1 + 0*r + 20*r**2 - 4*r. Let h be o(1). Are h and 19 equal?
True
Let m = -1371075/193 - -7104. Which is smaller: 1 or m?
m
Let k = 1 - 2. Let w = 17 - 4. Let c = -11 + w. Is k > c?
False
Let y = 114023/8 - 14305. Let s = y + 371/8. Let k = s + 6. Which is bigger: 0.4 or k?
0.4
Let o be -2 + 2 - (1 - 111). Suppose -3*i - 2*i = -o. Let b be 42*(5 + (-27)/6). Do i and b have the same value?
False
Suppose -7*k = -3*k - 40. Let g(f) = -14*f + k*f + 5*f. Let p be g(-1). Is p < -1?
False
Let m = 12 + -14. Let a be (-1 - -1)/(0 - m). Which is smaller: a or 1/8?
a
Let b(p) = p**3 + 6*p**2 - 5*p + 17. Let m be b(-7). Let k be (-100)/(-45) + (1 - m). Is k > -11?
True
Let k = -428 + 631. Which is smaller: 201 or k?
201
Let h = -235 - -235.1. Which is smaller: -55 or h?
-55
Let x = -68.8 + -21.2. Let u = x - -89.82. Which is smaller: 0.2 or u?
u
Let j(x) = 94*x + 564. Let n be j(-6). Which is smaller: 1/891 or n?
n
Let d(h) = -3 - 8*h + 27*h**2 + h**3 + 10 - 19*h**2. Let a be d(-9). Is -4 at least a?
False
Let y = -6742/145 - -233/5. Suppose -2*w - 5 = 5. Let t be -1 + -1*(w + 4). Which is bigger: y or t?
y
Let m = -1.02 + 0.26. Let w = -0.04 + m. Let r = 0.81 + w. Is r at least as big as -1?
True
Let v = -517 + 521. Is 7/6 at most as big as v?
True
Let l = -223 - -279. Is 57 != l?
True
Let x = -0.09 - -0.2. Let k = -0.11 + x. Let j = 24.78 + -25. Do j and k have the same value?
False
Let r = -0.358 + 7.358. Do -5/9 and r have the same value?
False
Let j be 0 - -1*1*(17 + -13). Is -1/42 less than or equal to j?
True
Let q(h) = -3*h - 27. Let i be q(-9). Which is smaller: i or 2/1207?
i
Let y(x) = 2. Let g(s) = 5*s - 70. Let i(k) = 2*g(k) + 50*y(k). Let c be i(-17). Let a be (-4)/30 + 392/c. Which is smaller: a or -3?
-3
Let u be (-44)/(-120) + (-1)/2. Suppose -c = -5*a + 30, -4*a + 3*a = 5*c - 32. Let j be a/(7/3) - 4. Which is bigger: u or j?
u
Let b = -3.13 + 3. Let t = 188.67 + -197.8. Let s = b - t. Which is bigger: s or 2?
s
Let o = 23434 + -118018/5. Which is smaller: o or -171?
-171
Let d = -4.009 - -0.009. Let i = 4.48 + d. Is -1 < i?
True
Let r = -141.943 - -142. Let s = 2.943 + r. Are -1/32 and s non-equal?
True
Let l be 40/30*-3 - (-1221)/24. Are l and 46 unequal?
True
Let a(b) = -b**2 + 6*b - 3. Let j be a(5). Let u = 220 - 218. Suppose 5*m - u*y = -y, -3*m = j*y. Is -4/3 equal to m?
False
Suppose -22*n = -19*n + 837. Let d be (1 - -1) + n/72. Which is smaller: -1 or d?
d
Let g = 1.084 - 0.084. Is g greater than 2?
False
Let l be -4 + 5/((-20)/(-32)). Suppose l*x - b = 34, 2*x + x - 25 = b. Which is smaller: x or 35/4?
35/4
Let d = 51/2896 - -944839/286704. Let h = d - 34/11. Suppose 5*z - 16 = a, 3*a + 5*z = a + 13. Which is smaller: h or a?
a
Suppose 0 = 3*l - l - 2. Let b = l - -8. Is 9 at least as big as b?
True
Let y be ((-12)/(-8))/((-168)/32). Which is smaller: y or 37?
y
Suppose -4 = -a - 6. Let j be 5*(-2 - 1/(-1)). Let t be a + 4 - j/(-3). Which is smaller: 7 or t?
t
Suppose h - 5 = -0*w + w, -17 = -3*w - 5*h. Which is bigger: 38 or w?
38
Let a = -16.83 + 17. Let r = a + -11.17. Let c = r - -12. Which is smaller: -1/2 or c?
-1/2
Let z = 2 + -4. Let k = 904 + -2719/3. Which is smaller: k or z?
k
Let b = -0.00739 + -7.99261. Let g = 1.8 - 2. Which is greater: b or g?
g
Let a be (4/(-10))/(4/(-10)). Let q be (2/(-4))/(a/1). Let u = q + 3/4. Is u < 3?
True
Let u(i) = 8*i. Let k be u(4). Let y = k + -9. Let t = -1.8 - -1.7. Is t < y?
True
Let s(v) = v**2 + 19*v - 16. Let m be s(-20). Suppose -4*f - m = -i + 9, -5*f = -4*i + 30. Do -17/6 and f have the same value?
False
Let v(m) = m**3 - 3*m**2 - 29*m + 14. Let n be v(7). Is n at most as big as 8?
True
Suppose -22*f + 112 = 134. Let v = -1.9 + 2. Let o = -0.2 + v. Does f = o?
False
Let w be 63/(-1 + -2 - -2). Let u = 89 + w. Suppose -u = 3*y + 1. Is y at least -9?
True
Suppose -4*d - 66 + 2 = 0. Let q(p) = 19 + 8*p + 25*p + 2*p**2 - 14*p. Let u be q(-7). Is u less than d?
False
Let j = 0.051 + 0.749. Let z = 1 - j. Which is greater: 9 or z?
9
Let h be (14 - 8) + (-7 - 1). Are h and -5 unequal?
True
Let r = -3.36 - 2.44. Which is bigger: r