-m + 3*c + 6 = c, 5*c = v*m - 16. Is 2 <= m?
True
Let w be (-24)/(-14) + (-1)/(28/(-8)). Let p = -3 - -3. Let d = p + 0.1. Is d equal to w?
False
Suppose -f = 3*v + 9, -3*f = -5*v + 2*f + 5. Suppose l + 11 = 3*q, -4*l + q + 20 = 5*q. Which is bigger: l or v?
l
Let l = 40 - 39.9. Which is bigger: -3/8 or l?
l
Suppose 5*f - 2*f = 3. Is f equal to 1/94?
False
Let n be (-5)/((-50)/(-36))*(-2)/(-3). Is -2 equal to n?
False
Let u be 3*(0 - 13)/(0 - 3). Is 9 < u?
True
Let o = -10 - -11. Is o smaller than -2/157?
False
Let g(a) = -a + 5. Let u be g(5). Suppose -3*q - q - 12 = u. Which is bigger: q or 0.1?
0.1
Let k = 1544/93 - 50/3. Let d(o) = 3*o - 29. Let s be d(10). Is s < k?
False
Let o = 6 - 9. Which is greater: o or -4?
o
Suppose -2*d + 4*d = 12. Suppose -2 = 4*j - d*j. Which is smaller: 1/13 or j?
1/13
Let y(w) = w**2 + 13*w + 40. Let d be y(-5). Is -75 less than or equal to d?
True
Let f = 20 + -4. Let v be 1*(f/(-18))/(-4). Let w = v + -23/63. Which is smaller: w or -1?
-1
Suppose -5*d - 6 = -b, 3*d + 0*b - 1 = -4*b. Let w = 271/752 - 14/47. Do d and w have the same value?
False
Let i = 0 - -1. Let n(j) = j**2 - 7*j + 3. Let f be n(6). Let r be 2/f - 8/(-3). Which is greater: i or r?
r
Suppose 3*y = 5*m - 0*y - 32, -36 = -4*m + 5*y. Let n(x) = -14*x - 2. Let s be n(-2). Suppose 0 = g - u - 10, -4*u - s = -m*g + 2*g. Which is bigger: -0.1 or g?
g
Let m(p) = 2*p**2 - 15*p + 9. Let g be ((-2)/(-3))/((-2)/(-21)). Let u be m(g). Do -1/5 and u have the same value?
False
Suppose -4*w = -6 - 10. Let h be 21/14*w/22. Which is greater: 0 or h?
h
Let u = 38.67 - 39. Is u at most as big as -2/5?
False
Let q be -1 + (-8)/4 + 3. Are 1/8 and q unequal?
True
Suppose -191 = -5*b + n, -3*b + 0*b + 3*n + 117 = 0. Is 36 greater than b?
False
Suppose 0 = -3*t + g + 2, 2*t - 4*t + 5*g + 10 = 0. Which is bigger: t or -2/53?
t
Let f = -135 + 150. Is 18 at least f?
True
Let p be -1*(-3)/((-1)/1). Suppose 0*j = -j. Let h = -4 + j. Is p > h?
True
Let w(d) = -d**2 + d + 36. Let n be w(7). Which is greater: n or -8?
n
Let g(t) = -1908*t**3 + 4*t**2 - t - 4. Let l be g(-4). Let x = l - 12095305/99. Let d = x + -12/11. Which is greater: d or 0?
d
Suppose p + 5*f = 6*p - 165, 2*f = -3*p + 89. Is 32 at least p?
True
Let n = 14 + -13. Which is smaller: 0.1 or n?
0.1
Let c = 5 - 1. Let w(p) = -p**2 + 5*p - 3. Let k be w(c). Let d be (2/(-8))/(6/8). Is k not equal to d?
True
Let x be (1/(-3))/((-2144)/48)*-12. Is 0 at most x?
False
Suppose l - 4*l = -45. Is l less than 0?
False
Let o = 4 - 4. Suppose 0 = -2*m + 2*r + 22, 0 = r + 2 - 1. Let w be 2/m*1/(-2). Is o smaller than w?
False
Let o = 3 - 2. Let d = -1.04 + 0.04. Let a = d + o. Which is greater: a or -1?
a
Let s = -4 + 12. Let p = -3 + s. Which is bigger: p or 0?
p
Let p = 82 + -58. Is -1/2 at most p?
True
Let m = -0.59 + 0.39. Is m != 1?
True
Suppose 4*m = -2*s - m - 20, -12 = 2*s + 3*m. Suppose s = 2*q + 3*q. Let c be (-3)/4 - (-9)/6. Which is greater: c or q?
c
Suppose 11 = k - 2*d - 1, 0 = 2*k + 2*d. Suppose 10 = -k*v - 2. Let x = 2 + v. Is -1 equal to x?
True
Let u be (-6)/(-4) + 135/(-150). Which is smaller: u or 0.1?
0.1
Let q = 9 + -39. Let c be 8/q*13/52. Are c and -1 unequal?
True
Suppose -3*d = -d + 14. Let p = 9 + d. Which is smaller: p or 1?
1
Suppose -r = -u + r - 4, 4*u + 2*r + 6 = 0. Are u and -1 equal?
False
Suppose -l - 4*l = -85. Let y = 18 - l. Which is smaller: y or -4/9?
-4/9
Let k = 4 - 3.99. Is 2 at most as big as k?
False
Let l be (-12)/33*(-17)/76. Let o = -5/19 + l. Suppose -2*k + 2 = -3*b, 0 = -5*b + 3*k - 2 - 1. Which is bigger: b or o?
b
Let q = 151 + -151.3. Let f be (-12)/(-314)*(-2)/3. Let h = f + 350/1413. Is q not equal to h?
True
Let q(z) = z**2 - z + 9. Let y be q(0). Let w(f) = f**3 - 9*f**2 + 2*f - 13. Let l be w(y). Suppose g = 2*n - 7, -13 = -l*n + 7. Which is smaller: -1/5 or g?
-1/5
Suppose 0 = 2*s - 5*l - 23, -8*s - 2*l = -3*s + 15. Let q be 0*s*(0 + -1). Suppose 2*v - 6*v = q. Is 0.2 at least as big as v?
True
Let g = 20 + -20.33. Is g not equal to 0.2?
True
Let k = -65.94 - -67. Let s = -0.06 + k. Which is greater: 1/4 or s?
s
Let h(a) = -a**3 + 14*a**2 - 12*a - 16. Let u be h(13). Let d be -10 - (0 - 1 - u). Which is smaller: -11 or d?
d
Let i = 4988/133 + -264/7. Suppose -3*q = -4*q - 1. Is i != q?
True
Let k(v) be the first derivative of -v**2/2 - 48*v + 1. Let d be k(0). Let p be (-2)/(-3) - d/(-45). Which is smaller: p or -2?
-2
Let u = 27 + -15. Let y = -10 + 22. Is y less than u?
False
Suppose 0 = -o - 0 + 3. Suppose -o*i + x = 2*x + 20, 3*i + 22 = x. Let g(c) = c**3 + 8*c**2 + 6*c - 7. Let b be g(i). Is -1 bigger than b?
False
Let w(i) = -i**2 - 6*i - 4. Suppose -z + 0*q + 2*q = -5, -4*q = -3*z + 5. Let c be w(z). Which is smaller: c or 0?
0
Let l = -2 + 6. Suppose -7*p = -3*p + l. Is p bigger than 1/6?
False
Let j be 5 - 1 - 396/102. Which is bigger: j or -3?
j
Let a be 1/(-4) - 5/(-4). Let v(x) be the first derivative of x**2/2 + 9*x + 1. Let i be v(-7). Which is bigger: i or a?
i
Let g = -137 - -137.08. Which is greater: g or -3?
g
Let f be 4*((-18)/8 + 1). Let x = f + 5. Let j be 2/(-6) + 3/9. Is x not equal to j?
False
Let w = 22.9 - 23. Which is smaller: w or -1.4?
-1.4
Let q = -0.38 - -0.08. Let g = 0 + q. Let l(i) = -i**3 + 6*i**2. Let s be l(6). Are s and g unequal?
True
Suppose -2*b = 2, -4*n + 31 = -2*b - 11. Suppose -2*z - 30 = 5*j - n*j, 2*j - 23 = 3*z. Is j smaller than 8?
True
Let i = -0.08 - -2.48. Let o = i - 0.2. Let x = o + -2. Is 0 bigger than x?
False
Let n be (2/(-124)*-1)/((-6)/(-36)). Which is greater: 0 or n?
n
Let l be -2*10/(-4) - 0. Suppose 10 = 5*i - l. Suppose 5*b = -15, 0 = o - i*b - 7 - 2. Is 0 less than or equal to o?
True
Let y = 4.96 + -5. Which is smaller: 3 or y?
y
Let c be (-138)/(-9) + (-3 - -1). Which is smaller: 13 or c?
13
Let n be (2/(-24))/(20/(-45)). Let z be (0/(-3 - -1))/(-2) - 1. Which is smaller: z or n?
z
Let f = -11.17 - -0.37. Let h = -11 - f. Is h smaller than 2/7?
True
Suppose -2*w + 2 = -4*p, 0 = 4*p - 2*w + 4*w - 2. Let s(y) = -3*y. Let d be s(-6). Let f be 22/18 + (-4)/d. Which is smaller: p or f?
p
Let h be ((-21)/11)/(((-63)/12)/7). Which is smaller: h or 4?
h
Let h = 3 + -23. Let x be h/90 - (-16)/45. Let b(s) = s**3 - 3*s**2 - 4*s + 1. Let t be b(4). Which is greater: x or t?
t
Let g = -83/2 + 42. Is g at least 1?
False
Let f be (-1 + 11)/(-1 - -3). Let q(r) = r - 8. Let i be q(f). Is -4 not equal to i?
True
Suppose -6*w = -w - 1695. Let c = w + -2377/7. Is c not equal to -1?
True
Suppose -3*z - 26 = -4*w, -1 = 3*z - w + 10. Let t be (2 + 15/(-6))/z. Let v = -4 - -4.2. Which is smaller: t or v?
v
Suppose -3*c + 27 = -0*c. Suppose -l + 1 - c = 0. Let w = l - -11. Is 3 at least w?
True
Let m(a) = -a - 7. Let j be m(-6). Let w = 1/175 + 333/2975. Is j < w?
True
Let y = 112 - 108. Which is bigger: 3 or y?
y
Suppose -2*y = 2*y + 40. Let p = 44 + -55. Which is smaller: y or p?
p
Let q be -4 + 38/9 - 1. Which is smaller: 0 or q?
q
Suppose 0 = 4*y - 12, 0*y = -5*l + 4*y + 8. Suppose g + 7 - 2 = -5*v, -l*g + 3 = -3*v. Is g greater than -2?
True
Suppose -2*f = 4, r + r = -3*f - 10. Let o be 8/r*7/14. Let u = 80/7 + -12. Which is smaller: u or o?
o
Let g = 5 - 2. Let p be 3 + 7/(-1) + g. Which is smaller: -3/4 or p?
p
Let r(k) = -k**2 + 8*k + 2. Let l be r(9). Which is greater: l or -10?
l
Let d = -34226 + 10096706/295. Let h = 2/177 + d. Which is smaller: 1 or h?
h
Let o = 144.2 - 144.2. Suppose -4*f + 3*f + 8 = d, 4*f = -3*d + 28. Suppose 6*u - 3*u = -2*h - d, -u - 2 = 0. Is h bigger than o?
True
Let h = 11 - 17. Let m be (-1 - 9/(-18))*(-1 + 1). Is m >= h?
True
Suppose -2*c = -5*c. Let s = -7 - -9. Suppose s = -x + 1. Which is bigger: x or c?
c
Let x be (6/(-4))/(1/2 + -2). Which is smaller: 4/15 or x?
4/15
Let q = 7 + -11. Let g = q + 3. Is g at least 5?
False
Let q be ((-3)/1098)/(0 + 3/12). Are 1 and q unequal?
True
Let p = -987/650 - -20/13. Which is bigger: 1 or p?
1
Let y = -56 + 51. Let l = -11 + 6. Is l at most as big as y?
True
Suppose x - 5 = 4*f - 6*f, -3*x + 7 = 2*f. Which is bigger: -2/325 or x?
x
Suppose 4*i = 5*i. Is 3/11 bigger than i?
True
Let z(q) = 2*q**2. Let v be z(-1). Suppose 4*d - v = 2. Let k be d - (-1)/2*-2. Is k > -1?
True
Let k be 38/(-42) + 0 - -1. Let m(o) = o**2 + 11*o - 43. Let j