
m
Let x = 16 + -10. Suppose -4*q - 23 = -3*y, -5*y + 8 = 3*q - 11. Is y less than x?
True
Let l = 25/7 + -1689/469. Which is greater: 0 or l?
0
Suppose -4 = 2*m - 5*x, 0*m = -2*m + 3*x - 4. Let d be (m/(-3))/(12/(-18)). Is d less than -2/19?
True
Let y = -297/2 + 164. Let k = -13 + y. Which is bigger: k or 3?
3
Suppose -12 = -5*g + i + 3*i, -g + 3*i = -9. Suppose -5*s = -4*s - 1. Let b be -1 - s/5 - -2. Which is greater: g or b?
b
Let h = -49/2 - -25. Let p = -0.03 + 0.63. Let r = p + -0.5. Is r < h?
True
Let j = -9 - -9. Let y = -0.07 + 0.37. Let d = y + -0.3. Is j >= d?
True
Suppose 0*l = 2*l + 20. Which is greater: -1 or l?
-1
Let d = 304 + -8206/27. Is d at least as big as 0?
True
Let v = 21 - 9. Suppose -u - 3 = 2*u + 3*l, -5*l - v = -2*u. Which is greater: 7/6 or u?
7/6
Suppose 9 - 99 = 5*b. Is -18 at most b?
True
Let q = 23726401 + -185777720341/7830. Let b = q + -1/270. Are b and -1 non-equal?
True
Let l = 39 + -37. Is l at least 0.05?
True
Let h = -2 + 4. Let r = 2 + h. Are 2 and r unequal?
True
Let y = -17 - -16. Which is smaller: 3 or y?
y
Let a = -2/721 + 14438/6489. Which is greater: 2 or a?
a
Let h(f) = f**2 - 10*f - 11. Let s = 18 + -7. Let u be h(s). Let v = -43 - -300/7. Is v greater than or equal to u?
False
Let u = -0.87 - -0.97. Is u smaller than 29?
True
Let z = 39 - 54. Which is bigger: -17 or z?
z
Let g(u) = -u**2 + 7*u - 29. Let m be g(6). Is -23 not equal to m?
False
Let i be (5 - 55/(-3)) + -5. Is i <= 17?
False
Let k be (-6)/3 + (-7)/(-1). Let x be ((-2)/2)/((-1)/k). Which is bigger: 4 or x?
x
Suppose -2*h + 12 = -4*f, 4*h - 17 = -3*f + 4*f. Suppose -4*o = 2*g + 10, -3*o - 3 - 1 = -2*g. Which is bigger: f or o?
f
Let x(v) = -v**3 - 18*v**2 - 2. Let j be x(-18). Which is bigger: -4 or j?
j
Let r be -3 - (-3)/(3 + 0). Let l be r*(3/6 + 3). Let g = l + 8. Which is greater: 3/4 or g?
g
Let s be (5/10)/(3/(-2)). Suppose 3*x + 1 = -2. Is s <= x?
False
Let g(b) = -3*b - 8. Let y be g(-3). Is y at most as big as -2?
False
Suppose 4*i + 16 = 4*x, -13 - 11 = -4*i - 4*x. Let g be i/2 + (12 - 11). Suppose v = 3*t - 8, t + 3*v + 9 = v. Which is bigger: g or t?
g
Let o = 4 - 2. Let w be (4/(-10))/o - -1. Which is smaller: w or 0?
0
Let w(f) = f**2 - 3*f - 8. Let l be w(-4). Which is smaller: 21 or l?
l
Let f(c) = -c**2 - 5*c - 2. Let a be f(-3). Which is greater: 1 or a?
a
Let n be (((-117)/3)/(-3))/5. Which is smaller: 4 or n?
n
Let k be ((-1)/((-24)/(-69)) + 3)/2. Is k bigger than 1?
False
Let g be 104/18 + (-4)/(-18). Suppose a + 1 = 5*u - 2, -2*a = -3*u + g. Let x = -1 - u. Is 1/4 bigger than x?
True
Suppose 24*t = 26*t - 14. Is 7 equal to t?
True
Suppose 4*o = 12, o - 13 = -5*j - 0*o. Suppose 2*z - j*w = -z, 3*z = -4*w. Let u = z + 1. Is 1 greater than u?
False
Let h be (-542)/356 + (-21)/(-14). Does -1 = h?
False
Let k(y) = -y**2 - 4*y + 2. Let s be k(-3). Suppose -s*w = -0*w. Let j be 1 + (2 - 18/5). Which is greater: j or w?
w
Let p = -2014/3 - -789. Let x = 120 - p. Which is smaller: x or 2?
2
Let v be 3 - ((-896)/36)/(-8). Let r = 0.01 + -0.01. Is r smaller than v?
False
Let z be 1*21/(-4)*-4. Suppose -2*f + 15 = d, 2*f - z = -5*d + 14. Let g(l) = -l**3 + 9*l**2 + l - 5. Let n be g(9). Which is smaller: n or d?
n
Suppose 2*h - 4 = -10. Suppose -y + 0*y = -3*q + 7, 3*y = -3*q + 3. Which is smaller: h or y?
h
Let v = 10 - 8. Suppose 0 = -d + s, -3*d - v*s + 2 = -7*d. Let o = -0.2 + 0.1. Is d equal to o?
False
Suppose 82 - 4 = 3*n. Let h = n + -36. Is h less than or equal to -9?
True
Suppose -9 = 11*t - 20*t. Which is greater: t or 2?
2
Let y be (-4)/12 - (-2)/2. Let n(w) = -w + 7. Let l be n(6). Let j = -1 + l. Which is greater: j or y?
y
Let f = 1.1 - 1. Let c = -0.13 + 6.33. Let b = c + -6. Which is greater: f or b?
b
Suppose 6*m = 2*m - 60. Is m at most as big as -17?
False
Let p be 7/((-420)/(-8))*20. Is 2 at most as big as p?
True
Let l be 6/(-18)*(-1 + 1). Is l equal to 9/7?
False
Let c = 6 - 7. Let g = -2 + 2. Which is bigger: g or c?
g
Let o = 224 - 140. Which is bigger: o or 85?
85
Suppose 7*u + 6 + 8 = 0. Which is bigger: 46 or u?
46
Let n be (6/60)/((135/(-24))/3). Which is greater: -1 or n?
n
Let m(h) = h**3 + 3*h**2 - 4*h + 1. Let f be 66/(-15) - 8/(-20). Let g be m(f). Which is greater: 2 or g?
2
Let j(n) = -n**3 - 7*n**2 - n - 2. Let l be j(-7). Which is smaller: l or 4?
4
Let f be -26 + -3 - 6/(-3). Let h be ((-4)/f)/(10/15). Which is bigger: h or -1?
h
Let f = -30 - -32. Which is smaller: -2/19 or f?
-2/19
Let x = 73 - 67. Let r = -15 + 8. Let o = x + r. Which is bigger: o or 0.1?
0.1
Suppose y = 6*y. Let a = y - 0. Is 0 at least as big as a?
True
Let c = 91/152 - 9/19. Is -1 < c?
True
Let w = 482 + -3380/7. Let n = 11/21 + w. Let t = -17 + 20. Which is smaller: t or n?
n
Suppose -3 = -3*u + 3. Let t = u + -2. Let r be -4 + t + (4 - 1). Which is smaller: 1/10 or r?
r
Let m = 55 - 176. Which is smaller: m or -122?
-122
Let o = -136 + 134. Is -26 > o?
False
Let q(c) = -5*c**3 + 6*c**2 - 2*c - 12. Let i(f) = 9*f**3 - 13*f**2 + 3*f + 24. Let n(r) = 4*i(r) + 7*q(r). Let d be n(10). Which is bigger: -9 or d?
d
Suppose -2 = 2*a + 14. Is -9 at least as big as a?
False
Let b = -5.614 - -0.014. Does b = 0.1?
False
Let z(s) be the first derivative of s**4/4 - s**3/3 - s**2/2 - s - 1. Let p(c) = -2*c - 2. Let q be p(-2). Let d be z(q). Is d greater than 1?
False
Suppose -3*w - 32 = -w + 2*g, -4*w = -3*g + 36. Do w and -0.3 have different values?
True
Let b be ((-5)/((-45)/6))/(20/(-6)). Is b at least as big as -1?
True
Let b(j) = -j**2 + 24. Let y be b(0). Suppose -4*l = 4*n - y, 2*n - 14 = -3*l - 0. Is l equal to 0?
False
Let z(s) = s**2 - 3*s - 9. Suppose -7 + 1 = -x. Let m be z(x). Is m > 10?
False
Suppose b - 12 = -2*b. Suppose -j + b*j = 9. Is 3 at least as big as j?
True
Let y = -29/66 - 5/22. Let u(x) = x**3 - 8*x**2 + 6*x + 7. Let c be u(7). Are c and y unequal?
True
Let v(o) = -o**3 - o**2 - 3. Let p be v(0). Let f be (p/12)/((-3)/(-8)). Which is smaller: -2 or f?
-2
Let v(f) = -f**2 - 8*f + 2. Suppose -5*w + 4*u - 41 = 0, -5*w + u = 25 + 19. Let h be v(w). Is -8 at least h?
False
Let q(o) = o**2 - 10*o + 24. Let l be q(7). Which is greater: l or -1?
l
Let u be (-4)/(8/(-6)) - -1. Suppose -23 = -4*k + 3*i, -u*k + 4*i + 33 = -i. Is 5 < k?
False
Let f = 131/3 + -46. Let o = f + 2. Is 0 not equal to o?
True
Let t = -56 + 56.03. Which is greater: -0.1 or t?
t
Let r = 17586/5 + -3534. Let q = 4203317/35 + -120111. Let l = r - q. Is l at least -1?
True
Suppose -7*j = -2*j - s - 19, 3*j - s - 11 = 0. Suppose -i + 6 = -r, -4*r + 2*i + 0*i = 14. Let y be (1 + -3)*r*3. Which is smaller: y or j?
j
Let v = 49 - 9. Let x be v/(-18) + (-14)/(-63). Is -4/5 less than x?
False
Let n = 487/7 + -69. Is -1 <= n?
True
Suppose k = 13*k + 48. Is k at most -0.2?
True
Let x(a) = 13*a - 11. Let l(g) = -6*g + 5. Let p(b) = 9*l(b) + 4*x(b). Let j be p(1). Let r = 893/11 + -81. Is r != j?
True
Let d = 23 + -25. Which is greater: d or -1?
-1
Suppose 3*s = -3*v + 2*s - 2, -2*s + 3 = -v. Is v < -6?
False
Let v be 5/9 + -1 + (-5)/(-10). Are 1 and v nonequal?
True
Let k = -306 - -3976/13. Let v = 0.09 - -0.11. Is v smaller than k?
False
Let b = 33.9 + -31.9. Let z = -0.1 - -0.1. Which is greater: b or z?
b
Suppose x + 0 = -3. Let i be (3/(-1))/x*-2. Let b be 0 - -3*2/(-9). Which is smaller: b or i?
i
Suppose 6*h - 5 = h. Let s = -13/2 + 123/14. Which is greater: h or s?
s
Let i be 1 + 2/(-2)*-2. Suppose 0 - 6 = -i*t. Which is bigger: 1/2 or t?
t
Let l be (8/(-20))/((-2)/10). Let j be (-1)/l*0/(-9). Which is bigger: j or 1?
1
Let r(y) = y - 5. Let m be r(0). Let d = m + 5. Which is bigger: d or -2/15?
d
Let f = 5 - 1. Suppose 0*w + 3*w = 2*h - f, -w = -h + 1. Let o = -1 + h. Are o and -2 equal?
True
Suppose -3*s - 123 = -4*z - 0*z, 3*z - 86 = -4*s. Let j be 3*-1*(-1)/(-3). Let r be j + (z/(-14))/(-3). Which is greater: r or -1?
r
Suppose -3*f + 116 = -1. Is f at most as big as 39?
True
Let f = 8 - 8.4. Is f at most as big as -0.2?
True
Let f = -19953/2 - -100431/10. Let o = -67 + f. Which is smaller: o or 1?
o
Let a(j) = -j**2 + 2*j. Let x be a(2). Let z(r) = 48*r + r**3 - 96*r + 6 + 48*r + r**2. Let b be z(x). Does 6 = b?
True
Suppose -8 - 16 = -4*g. Which is greater: 13/2 or g?
13/2
Suppose -4*f + 13 = 5*q, q - 2*q + 14 = -3*f. Let b =