. Is m at least -2?
False
Suppose 4*k + 5*l - 110 = -25, 2*l = 5*k - 98. Suppose k = 5*v + 5*p, -4*v - 1 = 3*p - 14. Let y = 1 - 1. Which is smaller: v or y?
y
Let t(o) = o**2 + 5*o - 6. Let b be t(-6). Which is bigger: b or -7/6?
b
Let m = 1889/5525 + 4/221. Is -1 greater than m?
False
Let n = -235/2 + 120. Let u = -3 + n. Let j be -1 - (1 + (1 - 1)). Is u at most j?
False
Let s = 1 + 4. Let o = s - 9. Let b = -3 - -2.8. Is o != b?
True
Suppose 43 = 5*g - 17. Let j be (-288)/(-27) - 1/(-3). Is g != j?
True
Let s = -0.003 - -0.103. Which is smaller: 0.19 or s?
s
Let o = -19 - -21. Is o at least as big as 2?
True
Suppose -a - 8 = -6. Which is smaller: a or -12/11?
a
Let f = -3 - -5. Let u = 0.08 - 0.04. Let v = u + -0.14. Which is smaller: f or v?
v
Let q(i) = i**3 - 3*i**2 - 4*i + 2. Let w be q(4). Suppose 5*k + 26 = 4*g, 2*g = -w*g - k + 14. Which is bigger: g or 3?
g
Suppose -5*r - 3*h = h + 22, -4*r - 5*h - 23 = 0. Let d = -62 - -2789/45. Let v = d - 259/495. Is r <= v?
True
Let k be (105/(-9))/(5/15). Is -34 <= k?
False
Suppose 5*p - 11 = 3*b + p, b + p - 8 = 0. Suppose -5*q - 22 = 2*r, -q + b*r + 23 = -6*q. Which is bigger: -3 or q?
-3
Let o = 27 + -26. Which is greater: -4/17 or o?
o
Let i be ((-14)/28)/((-3)/2). Is i <= 16?
True
Let x(m) = 3*m - 1. Let u be x(1). Let p = 13 + 3. Let k be u/5*(-4)/p. Is k at least -1?
True
Let w be (1 + -6 + 3)/7. Let p(o) = 4*o + 1. Let c be p(1). Suppose 25 = c*k, 15 = 3*y + 2*y + 3*k. Is y equal to w?
False
Let z be 15/(-2) + 2/(-4). Suppose 8*t + 39 = -4*m + 5*t, 2*m + 17 = t. Which is smaller: m or z?
m
Let l be 0 - (100/44 - 1). Let y = l - -53/33. Is y less than or equal to -1/3?
False
Suppose 5*a - 7*a = -5*s - 20, 5*s = -3*a + 5. Let r be ((-6)/(-8))/(3/24). Let k(l) = l - 7. Let n be k(r). Is s < n?
True
Let u be (-90)/(-21) - (-2)/(-7). Suppose 4*t = -2*k + 146, -u*k - 4*t = -3*t - 299. Let l = k - 451/6. Is l != 0?
True
Let r(b) = 0*b + b + 1 - 1 - 5. Let c be r(5). Let x = -1/125 - 119/750. Is c > x?
True
Let q(j) = -2*j**2 - 2*j - 5. Let w be q(-4). Let a = 146/5 + w. Which is bigger: a or -2?
a
Let p(l) = -7*l**2 - 4*l + 2. Let t be p(3). Let u be -1 + t/(-18) + -3. Is -1 at least as big as u?
False
Let d = -970 - -3019/3. Let a = d - 37. Suppose -v = -5*s - 39 + 14, -20 = v + 4*s. Is a at most v?
True
Let i be (0 - -1 - -2) + -5. Which is greater: i or -3/5?
-3/5
Let z = -33/238 - 5/34. Which is greater: 3/14 or z?
3/14
Let d be (0 - -1)*(-3 + 2). Let v(m) = 2*m - 12. Let x be v(6). Which is smaller: d or x?
d
Let d = -120 + 961/8. Let a = 222 - 224. Is d at least a?
True
Let t = -29 - -27. Which is greater: -5 or t?
t
Suppose 0*w - 3*w - 6 = 3*s, 4*w - 34 = 2*s. Let u = -6 - s. Which is smaller: u or -3/7?
-3/7
Let l be ((-588)/10)/((-5)/(-50)). Let k = l + 7638/13. Which is smaller: 0 or k?
k
Suppose 5*r = -38 + 8. Which is greater: r or -11?
r
Let r(x) = 3*x - 5. Let f be r(5). Let z(h) = -h**2 + 11*h - 12. Let b be z(f). Which is bigger: 1 or b?
1
Let c be -2*(-2 + 3)/(-2) - 70. Is -68 greater than or equal to c?
True
Suppose -9*p + 236 = 83. Is 33/2 at least p?
False
Let p be 2 + -8*8/30. Is p <= -12?
False
Let d = 0.05 - 0.25. Let z = 0 - -3. Suppose 0 = -z*u - 2*a - 3, -4*a + 2 = 2*u + 12. Which is smaller: d or u?
d
Let s = 751/36 + -208/9. Let y = s + 3/4. Suppose 0 = 4*u + 12, 0 = -2*d + 4*u - 0 + 6. Are y and d unequal?
True
Let j = -20 - -25. Suppose 5*h + j*u = 50, -4*h = -2*h - 2*u. Is 7 != h?
True
Let d be -15*(2 - (-32)/(-12)). Does d = 19/2?
False
Suppose 3*s = 3*u + 190 - 532, -3*u + 327 = 2*s. Let x be u/105 - 1/(-7). Which is bigger: x or 1?
x
Let r = -0.04 + 0.01. Let c = 0.23 - 0.3. Let v = c + r. Which is bigger: -7 or v?
v
Suppose 5*m = 2*m - 2*n - 11, 2*m - 3*n + 29 = 0. Is m < -8?
False
Let b be 1/(-3) - (-4)/3. Let h = -7/16 + 19/16. Is b >= h?
True
Suppose 0 = 5*a - 19 + 49. Let y = a + 5. Which is bigger: y or 1/4?
1/4
Let l = -3093 + 349507/113. Are l and -1 unequal?
True
Let u be (-1)/(-4) + 81/(-276). Which is greater: u or -1?
u
Let h(j) = j - 2. Suppose -2*s - d = -0*d - 8, -5*d = -5*s + 20. Let l be h(s). Suppose -2*m - m - w - 7 = 0, 0 = 3*m + l*w + 5. Is m less than -3?
False
Let k(m) = m + 8. Let s be k(-11). Let b = -1 - s. Suppose v + v + b = 0. Is -1/2 at most as big as v?
False
Suppose 0 = -3*u + 5*b + 18, 3*b + 8 = u - 2. Suppose -f + 0 - u = 0. Which is smaller: 0.1 or f?
f
Let p be -3*(2 - 1)*-69. Suppose 3*r + 39 = p. Suppose 4*u - r = 5*t, -t = -u - 0*t + 13. Do u and 10 have different values?
True
Let g be (-51)/6*-1*-2. Let y = 21 + g. Which is greater: 0 or y?
y
Let m = -58 + 59. Is m smaller than 5/14?
False
Let g = -12 + 11.95. Is g equal to 0?
False
Suppose -m + 30 = 2*n, n - 13 = -4*m + 9. Which is bigger: 16 or n?
16
Let c be 4 + -2 + (-1 - -3). Suppose 0 = -w - 3*s - 15, -c*s - 28 = -2*w + 6*w. Is w equal to 2/5?
False
Let y(x) = -4*x + 4. Let t be y(6). Let s = t + 22. Let a(n) = -n**3 + 3*n**2 - 1. Let z be a(1). Is z less than s?
True
Suppose d + 7 = -3*i - 0, -2*d - 5*i = 17. Is -17 < d?
True
Suppose -78*s = -77*s - 17. Is 17 > s?
False
Let j = -10 - -2. Let n be 18/(-27) + j/(-6). Which is bigger: n or 7?
7
Let c be ((2 - -1 - 4)*3)/(-1). Let r be 2/2*11 - 0. Suppose -c*v + r = -4*n, n = -4*v - 2*n - 27. Which is smaller: -2 or v?
v
Suppose 0 = -2*q + 10, 67 = 3*m - 0*m + 5*q. Let f = m - 6. Suppose 2*k = -2*k - f. Which is greater: 0 or k?
0
Let y = 0.44 + 0.06. Let q = 2.5 - y. Which is greater: q or -3?
q
Let x = -534/5 - -110. Let o = 23 + -20. Which is smaller: o or x?
o
Let r be 4/4 - (-10)/(-8). Suppose -3*m - 2*v - 10 = 0, -3*m = -0*m - 3*v + 15. Let w be m/(-10)*10/14. Which is bigger: w or r?
w
Let j = 26 + -12. Which is smaller: j or 13?
13
Suppose 6*w - 2*n + 47 = w, 0 = 5*w - 3*n + 43. Let l be 7/3 + (w - -9). Suppose 2*t = -0*t + 2. Is l at least as big as t?
False
Suppose 4*c - 3 = 7*c. Is 4/9 smaller than c?
False
Let j be ((-3)/(3/(-2)))/(42/(-12)). Which is smaller: 0 or j?
j
Let a = -66047/101780 - -155/727. Let f = 3/20 + a. Let n(i) = -i**2 + 8*i + 10. Let p be n(9). Does p = f?
False
Suppose -n - 96 = 2*n. Let r = n + 259/8. Which is greater: 0 or r?
r
Suppose -2*d - 2*b + 14 = 2*b, -5*d + 2*b = -23. Let g = d + -4. Suppose 4*j + 0 = 8. Is j != g?
True
Suppose 2*x + 0*x = -10. Let k be (-1)/(-5)*x/4. Is k bigger than -1?
True
Suppose 0 = -0*r - r - 6. Is r less than -6?
False
Let y = -8 + -2. Let g = 12 + y. Suppose -2*v + 6*v = 0. Is g > v?
True
Let n = -0.35 - 26.65. Let v = -25.05 - n. Let p = -0.05 - v. Which is smaller: p or 0.1?
p
Suppose p + 1 + 2 = 0, i + 5*p + 14 = 0. Let n be (-3 + i)*-1 + 1. Suppose 4*a + 0*j = -j - n, -5*a = -3*j + 25. Is a > -2?
False
Suppose 0*w = 2*w - 4. Let y = 8 + -6. Suppose y*u - 5 + 1 = 0. Is u at least w?
True
Let g = -52 + 33. Are -19 and g non-equal?
False
Let f be -2 - (2 - 8) - 2. Is f <= 1?
False
Let a(c) = -2*c + 9. Let x be a(-4). Which is bigger: x or 16?
x
Let f be 6/3 + (1 - -1). Let y = f - 2. Let h = 1 - 3/2. Which is smaller: y or h?
h
Let c be ((-2)/(-2))/(11/572). Which is bigger: 53 or c?
53
Suppose 0 = 4*d - 16, 2*z + 18 = d + 4*d. Let f(g) = -g**3 - 4*g**2 + 3*g - 1. Let m be f(-5). Let t be 12/m*z/(-4). Which is smaller: 0 or t?
t
Let r(k) = -k**2 + 12*k - 26. Let m be r(9). Suppose 3*g - 2*g = 4. Suppose -2*l = 2*l - g. Is m at most l?
True
Let s(p) = p**2 - 3*p - 8. Let u be s(6). Let z be u/(-5)*1/(-2). Let n be (-2)/(-3)*3/(-11). Which is greater: n or z?
z
Let n = 82832/55 + -1506. Which is smaller: n or -1?
-1
Suppose 2*f - 1500 = -3*f - 2*c, f = -5*c + 277. Let a = 896/3 - f. Which is bigger: -3 or a?
-3
Suppose -s = -4*y + 8, 6*s - s - 29 = -3*y. Suppose 2*b + 10 = -y*b. Let r be b - 1*(-3 - -2). Is r != 0.2?
True
Let a be -2 - -1 - (-72)/60. Suppose 2*w = w + 3. Suppose -3*m + 10 = -4*l, 3*l + 4*m = 2 + w. Does a = l?
False
Let f = 23 + -8. Let y = 16 - f. Are 2 and y nonequal?
True
Suppose d = -3*r - 7, 2*r = -2*d + 6*d - 14. Which is bigger: r or -4?
r
Let b = -56 + 396/7. Let o = 6/35 - b. Let g be 3*-1*2/6. Which is bigger: o or g?
o
Suppose 8 = d + 2*v, -2*d + 3*v - 12 = -0*d. Let i(k) = -26*k - 12. Let y be i(-12). Let r = y - 5102/17. Is r bigger than d?
False
Let m = 1 - 6. Is m greater than -3?
False
Let v = -4 + 2. Let x = -30