-4
Let u = 6 - 0. Suppose -3*a - u = -a. Let j be (-1)/4 + (-42)/24. Do a and j have the same value?
False
Suppose s = 4*z - z - 1, -3*z - 3*s - 15 = 0. Let h be 2 + (-2 - z) - -2. Suppose l - h = 4*l. Is -2/11 at least l?
True
Let f = 8 + -10. Which is bigger: 2 or f?
2
Let l be 3*1/(-171)*-6. Is l less than 0.1?
False
Let p be (6 - 6) + (-23)/6. Let y = p + 7/2. Are 0.2 and y unequal?
True
Suppose -3*i = 2*d - 25, 5 = 5*d - 3*i - i. Is d at least as big as 6?
False
Suppose 2*w - 6*o + o = -12, -24 = 4*w + o. Suppose -2*h - 4 - 8 = 0. Is w > h?
False
Let p be 4/(-123)*(-6)/4. Let f be -3 - (-9 - -11)/((-4)/6). Which is greater: p or f?
p
Let t be (3 - 4)*2 + 3. Let l = -65 - -34. Let i = 91/3 + l. Which is bigger: i or t?
t
Suppose 3*t = 4*t. Let a be 9/7 - 4/14. Which is greater: a or t?
a
Let p = -3 + 7. Let s be (6/p)/(153/(-12)). Suppose 5*v + 1 = -4. Is v at most s?
True
Suppose 0 = -s - 11. Is -11 <= s?
True
Let i = -11.46 - -10.9. Which is smaller: -1 or i?
-1
Let q = -19 + 5. Let u be 3/(-4) + q/(-8). Let o be 0/(u - (2 + -2)). Is o smaller than -3/8?
False
Let k be ((-39)/6)/((-10)/4) - 3. Is 4/7 less than k?
False
Suppose 4*y + s = -0*s + 19, s = 2*y - 5. Let w = 0 + y. Which is greater: 3 or w?
w
Let d = 7 + -11. Let m be 4/14 - (-162)/21. Suppose 4*w + m = -8. Are w and d equal?
True
Suppose -3*m = -2*m. Is m at least 6/5?
False
Let y = -0.4 - -0.3. Suppose -7*r - 134 = -78. Is y >= r?
True
Let f(n) = 6*n - 12. Let h be f(0). Which is bigger: h or -11?
-11
Let q = 1.06 - 5.36. Let w = q + 0.3. Which is greater: 2/7 or w?
2/7
Let q be ((-2)/(-16))/((-3)/(-9)). Suppose -o = -0*o - 5. Suppose 0 = -0*g - o*g - 5. Which is bigger: q or g?
q
Suppose 0*p + 4*p = 0. Suppose -2*b + p*b = 10. Let f be (10/(-275))/(1/b). Which is smaller: f or 1?
f
Let d = -49/6 + 7. Is d at most -2?
False
Let t = 7 + -4. Let a(z) = z - 1. Let w be a(5). Which is smaller: t or w?
t
Suppose -2*s = -5*s - 21. Let v(j) = 2*j + 10. Let y be v(s). Is -4 greater than or equal to y?
True
Let w = -72/95 + 3/19. Suppose -4*t + 3*k - 8 = 2*k, t + 2 = 5*k. Which is bigger: t or w?
w
Let a = 693 - 463. Let r = -2532/11 + a. Which is smaller: r or -0.1?
r
Suppose -3*s - 1 - 26 = 0. Let x be (-5)/20 + s/(-4). Which is smaller: 1/3 or x?
1/3
Suppose 0 = 2*p + 4*a - 2, -2*p + p - 5*a + 1 = 0. Let m be 3/(-6)*(-3 + 3). Let j = p - m. Is j less than 3/8?
False
Let r = 1.3 - 1.6. Is r smaller than 2?
True
Suppose -22 + 94 = 4*l. Is l != 18?
False
Let k be 2/(-1)*6 + -3 + 1. Is -13 less than k?
False
Let n = -1 - -0.9. Let c = -2 - -2.2. Let h = 0.1 - c. Is n < h?
False
Let k = -5147/22 + 234. Which is greater: 1 or k?
1
Let o be 2/(-1 + 3 + 0). Let q(s) = 5*s**3 - 2*s**2 + 1. Let f be q(o). Which is greater: 6 or f?
6
Let h = -46 + 28. Let t = h - -13. Which is smaller: t or -0.1?
t
Let j(k) = 2*k + 1. Let r be j(1). Is -19 at most as big as r?
True
Suppose -2*g - 5*a + 11 = 0, -3*g - 19 = -8*g - 4*a. Suppose 0 = 3*r - g. Is r bigger than 1?
False
Suppose -44 = -5*x - 9. Suppose x*v = 4*v. Is 0 not equal to v?
False
Let a be (-80)/192 + (-1)/4. Which is greater: a or 3?
3
Suppose 0 = 4*k - 10 - 26. Is -1 greater than or equal to k?
False
Suppose 5*x = 4*n - 2*n - 9, -2*n = -2*x. Are x and -13/4 unequal?
True
Let v = -8.8 + 9. Which is smaller: v or 2/5?
v
Suppose 1 = -s - 1. Let w be s/(-3)*(5 - 2). Let z = -9/26 - 2/13. Is z smaller than w?
True
Let v(y) = 6*y + 3. Let c be v(-3). Let x = -17 - c. Do -4 and x have different values?
True
Suppose y + 9 = 4*y. Suppose i = 3*h + 8, -y*h = 2*h + 25. Let s be i/12 + 3/12. Does s = 1?
False
Suppose 0 = -5*m + 30 + 80. Let o = -83/4 + m. Which is greater: o or 2?
2
Suppose -5*i + 0*i = -3*k - 10, -5*i - 2*k + 10 = 0. Let z = -1 - -5. Do z and i have different values?
True
Let j = -2/71 - 136/213. Do j and -1 have the same value?
False
Let t be 4/(-16) + (-2)/(-8). Are -1/3 and t unequal?
True
Let t = -2.1 + 0.1. Let b(v) = -v - 15. Let a be b(-16). Are t and a non-equal?
True
Suppose -y = -2 + 4. Is y greater than or equal to -1?
False
Let n = -19 + 26. Suppose 0 = 5*k + p - n, 2*k - 3*p + 5 = k. Is 2/91 >= k?
False
Let x = 461 + -933. Let m be x/30 + 2/5. Let v = 15 + m. Which is smaller: -1 or v?
-1
Let b = -3/74 - -761/518. Suppose -4*q + 6 = 2*l, 2*q - 1 = -3*q + 4*l. Is b equal to q?
False
Suppose -2*h - 30 = -2*l, -2*h + l = 4*l + 15. Are -12 and h unequal?
False
Let f(m) = -m - 1. Let u be f(-1). Suppose -19*z + 21*z + 20 = u. Which is smaller: z or -9?
z
Suppose -3 = 2*h - 1. Let t be 76/90 - (-20)/(-50). Which is smaller: h or t?
h
Let b(q) = -q**3 - q**2 - q - 9. Let i be b(0). Let n(h) = 3*h**3 - 2*h**2 - h. Let k be n(2). Let a = i + k. Which is smaller: 6 or a?
a
Let s be (6/16)/((-9)/(-6)). Suppose o - 7*a - 16 = -3*a, -4*a - 16 = 3*o. Let i = -1 - o. Which is greater: i or s?
s
Suppose 4*p = -5*t + 3*p + 501, -3*t = -4*p - 296. Let b be (-30)/t*(-10)/54. Which is greater: 0 or b?
b
Let i(m) = -14*m - 1. Let j be i(1). Let x be ((-3)/j)/(1/5). Let w be -1 + (21/9 - 1). Is w at most as big as x?
True
Let t(n) = -n**2 + 18*n - 11. Let l be t(17). Is l at most 6?
True
Let v be 3 + -5 + (-3)/(-2). Are v and -1 non-equal?
True
Let m be -3*1 - (-2)/1. Let n(c) = -c**2 - c + 4*c**2 - 6*c**3 - 4*c**2 - 232 + 231. Let x be n(m). Are 5 and x non-equal?
False
Let m be (-2 - 0) + (-180)/(-91). Let s = -265/364 + m. Suppose -4*c - 5*k = 15, 4*c - k + 1 - 4 = 0. Is c at most as big as s?
False
Let r = -0.1 + 0.3. Let s = -1.1 - 2.9. Let q = s - -4.2. Is r bigger than q?
False
Let a = -8/15 - -2/3. Are 1 and a equal?
False
Let h = 4 - 7. Let p = -3 - 0. Let u = h - p. Which is smaller: -1 or u?
-1
Let k(g) = 4*g - 19. Let x be k(5). Which is greater: -1/41 or x?
x
Let u = -6 - -11. Suppose 31 - 11 = 4*c. Is c less than u?
False
Let d = -1 - 0. Is d bigger than 2?
False
Let d be (2/9*39)/((-24)/(-36)). Which is greater: 0.2 or d?
d
Let a be ((-10)/(-4))/(-1)*-2. Suppose -23 = -w + a*u, 5 = 3*w + u - 0. Suppose -3 = w*l - 4*l. Is l at most as big as 3?
True
Let b be (-2)/(-3) + (-4)/(-12). Is 0.14 at least b?
False
Let c = -12.4 + 1.4. Let k = 18 + c. Is -2/7 greater than k?
False
Let r(i) = -i**2 + 15*i + 2. Let b be r(14). Is 17 at least as big as b?
True
Suppose 5*w + 75 = -0*w. Let n = -10 - w. Do n and 6 have different values?
True
Suppose 0 = s - 2*b - 3, 11 = -3*s - 2*b - 4. Let l be 0 + 0 + 2/4. Is s at most l?
True
Let z = 0.06 - 0.09. Let p = -0.03 - z. Is p > 0.2?
False
Let n(q) = 9*q**2. Let t be n(-1). Let u be (t/(-21))/3*-3. Which is greater: u or 0.2?
u
Let z = -3.25 + 4. Let b = 0.15 - z. Which is bigger: -1/2 or b?
-1/2
Let d = 0.3 + -3.3. Let g = d - -4. Let y = 1/200 - 101/200. Are g and y equal?
False
Let n(r) = 2*r**3 - 6*r**2 - 5*r - 4. Let i(q) = -3*q**3 + 7*q**2 + 6*q + 5. Let x(m) = 3*i(m) + 4*n(m). Let z be x(-2). Is z <= -1/15?
True
Let i = -6543 - -91563/14. Let b = -30/7 - i. Let w = -4 + 2. Which is smaller: w or b?
w
Let c = -7.257 + -0.043. Which is greater: 2/3 or c?
2/3
Suppose -h = -5*h. Suppose h = -y - y + 30. Let a = y + -44/3. Does -1 = a?
False
Suppose 5*v = 25, -50 = -0*s - 5*s - 2*v. Suppose r = y - 2, 4*y - 4*r = 3*y + s. Which is greater: y or -2?
y
Let t(b) = -b**3 - 7*b**2 - 2*b + 26. Let i be t(-6). Which is smaller: i or 15/17?
15/17
Let p be (4/14)/((-18)/(-14)). Suppose 0*q - 6 = -h - 4*q, 4*q + 18 = 3*h. Let s = -5 + h. Is s smaller than p?
False
Let b be 272/(-144) + 2/9. Is b > -3?
True
Let t(r) = -r**3 - 4*r**2 + 4. Let b be t(-3). Which is smaller: b or -17/3?
-17/3
Let y(z) = z**3 - 11*z**2 + z + 10. Let o be y(11). Is o smaller than 22?
True
Suppose -2*l - 8 = -0*p - 2*p, -l = p + 4. Suppose -5*t - 112 = -12. Let m be ((-6)/l)/((-105)/t). Which is smaller: m or -0.1?
-0.1
Let x = -19 + 24. Suppose 3 = 3*o + 2*n - 0*n, -x*o = -3*n + 14. Does o = -2/3?
False
Suppose -3*w + 3*y = -4*w - 13, 5*w + 4*y = -21. Let a(m) = -m**3 - 4*m**2. Let c be a(-4). Are c and w non-equal?
True
Let r = -611/413 - -3/59. Which is bigger: -1 or r?
-1
Let d be (-4)/(-3)*((-1032)/(-112) - 3). Which is bigger: 9 or d?
9
Let v = -2 - 10. Let i be 9/(-12) + 15/v. Let f(g) = -g**2 + 4*g - 3. Let z be f(4). Are z and i unequal?
True
Let t be (22/10 - 0)/((-2)/(-4)). Which is greater: 5 or t?
5
Suppose 13