 or z?
n
Let j be (-1)/(2 - (-51)/(-27)). Let m be -2*j/(-6) + 2. Let x be (m - 1) + 24/10. Is x at least as big as 0?
True
Let p = 0.81 - -0.19. Which is greater: p or 9?
9
Suppose 0 = 5*n, 7*w = 2*w - 2*n - 5. Let j be (-2 + (-11)/(-5))*1. Which is smaller: j or w?
w
Let i = -167/138 - -7/6. Suppose 8*b = 4*b + 4. Does i = b?
False
Let o be (-6)/(-4)*10/15. Let n be (-3 - -3)/((-3)/o). Suppose -x = 1 - 2. Is n less than x?
True
Let o be -2 + (1*-2 - -2). Let w = -3 - o. Let k = -14/5 - -12/5. Is w at most as big as k?
True
Let b = 2.33 - 0.33. Which is bigger: b or 5?
5
Let h = -5 + 5.1. Let y be -2 + (26/16)/1. Let v = 1/8 + y. Is h not equal to v?
True
Suppose -2*q = -3*q. Let j be (-104)/65 + (-3)/(-5). Does q = j?
False
Let o = -6 + 8. Suppose 44 = 2*k - 4*w, -68 = -4*k - o*w + 5*w. Let y = -41/3 + k. Which is greater: -1 or y?
y
Let d = 6 + -4. Suppose 3*g + 6*n - 2*n = 1, 2*g = -5*n - 4. Let c be (-1)/(-4) - (g + -3). Which is bigger: c or d?
d
Let k be (14 - 13) + ((-74)/10 - 0). Are -7 and k unequal?
True
Suppose -2*t + 4*t + 4*n + 2 = 0, 3*t = -3*n - 3. Let z be (-8)/6 + t/(-3). Is z equal to -1/2?
False
Let y(n) = -n + 9. Let p be y(7). Let w be 0 + ((-9)/(-5) - p). Which is greater: w or -1?
w
Let y be 10/(-15) + (-2)/3. Let l = -8 + 7. Is l less than y?
False
Suppose 0*a + 3*a - 5*b = 17, 0 = -4*a - 4*b - 20. Let f = 6 + -16. Let y be (-10)/(-25) + 6/f. Which is smaller: y or a?
a
Let g = -0.2 - -0.1. Let z = 0.2 - -0.3. Let p = -0.3 + z. Which is smaller: g or p?
g
Let g = -3.56 + 3.6. Are -1 and g nonequal?
True
Suppose 3*z - 5*n = 75, 5*z + n - 125 = 2*n. Let a = z + -18. Is a > 6?
True
Suppose 0 = 4*y + 3*b - 51, b - 3*b - 22 = -2*y. Suppose -12 = o - 4*o, 3*o = -z + y. Let x be 5/(-15)*3/(-2). Is z bigger than x?
False
Let c(o) = 2*o + 9. Let u be c(-6). Let y = 1 + -2. Which is smaller: u or y?
u
Let t be (-4)/(-10) - 27/5. Let s(b) = -b**2 - 5*b + 6. Let f be s(t). Suppose 15 = 3*w + 2*w, f = 4*h + 2*w. Is 2/11 at least h?
True
Let w be (-6)/10 - (-18)/(-45). Is -1 at most as big as w?
True
Let y = -10 - -6. Which is greater: -0.1 or y?
-0.1
Suppose 10 = 3*x + 4. Let v be (-4)/x + (-1)/2. Are -4 and v equal?
False
Let j(n) = n**3 + 3*n**2 - 6*n - 4. Let w be j(-4). Let q(i) = -2*i**2 - 14*i + 4. Let r be q(-7). Are w and r equal?
True
Suppose 3*a + a + 32 = 0. Which is greater: -7 or a?
-7
Let q = 20 + -19.9. Which is bigger: q or 0.2?
0.2
Let n = -14.4 - -1.4. Let x = 13 + n. Let v = -160/511 + 2/73. Which is smaller: v or x?
v
Let a = -10 + 16. Let x = a - 6. Do x and 1 have different values?
True
Let p = 5 + -4. Let n be (-1)/4 - (-2)/8. Let h be n/4*(-1)/2. Which is bigger: h or p?
p
Let h = -43 - -43.1. Let i = 0.7 - 1.3. Is i < h?
True
Let k be -4*(-3)/6 + 1. Let b = -5 - -10. Suppose 0*y - 1 = f + 5*y, -b*f - 5*y = -15. Which is bigger: f or k?
f
Let t be (1 - 2 - -1)/(-2). Which is bigger: -1/18 or t?
t
Let y = -92 - -92. Let a be 397/1827 - 2/9. Let f = a - -425/3857. Is f <= y?
False
Let a be (-2 + 3)*0/2. Suppose 2*i - i = a. Which is greater: i or -1/3?
i
Let z = -2878333/345 - -8343. Let k = -361/2760 + z. Suppose -15 = l - 4*v, -5*l = -4*l - 3*v + 11. Are k and l equal?
False
Suppose -w = 3*g - 33, 2*g + 3*w = -w + 12. Let t be (4/(-6))/((-2)/g). Suppose -t*l - 4*m = -0*l - 4, -5*l - 2*m = -11. Is l less than 2?
False
Suppose -12*w + 240 = -4*w. Is 29 at most as big as w?
True
Let s be (-1)/3 + 20/6. Let v(n) = -n**2 - 10*n - 7. Let l be v(-9). Suppose 5*q - l*q = -s. Is -2/7 greater than or equal to q?
True
Let t be ((-3)/2)/(48/1792). Is t less than 1?
True
Let u(i) = -i**2 + 7*i - 5. Let a be u(5). Let t be (3/15)/((-2)/a). Let k(b) = -b**3 - 3*b**2 - b. Let h be k(-2). Is h >= t?
False
Suppose -10*h - 904 = -174. Which is bigger: -72 or h?
-72
Let f = 1997 + -7949/4. Let b be 19*(-3)/264*-46. Let o = b - f. Which is bigger: o or 1?
1
Suppose -g + 5*g - 8 = 0. Suppose 7*r + g = 5*r. Is r less than or equal to -1/2?
True
Let c be 1*(-1 + 0)*0. Is c greater than or equal to -1/23?
True
Let k be (-4)/8 - (-27)/(-6). Which is smaller: -2 or k?
k
Suppose -g = g - 22. Let h = -8 + g. Is h != 2?
True
Let r = 18 - 10. Suppose 4*p - r*p = -8. Which is smaller: 4 or p?
p
Suppose 5*c - c = -44. Which is smaller: -57/5 or c?
-57/5
Let m = 9/17 + -197/51. Is -3 > m?
True
Suppose 3 = i - 1. Suppose -d + 3*d + i = 0. Are -1 and d equal?
False
Let r = -9/2 - -23/6. Suppose 2*h - 8 = 2*y, 4*h - 2*h = -3*y - 7. Let s be (h/2)/(1/(-2)). Which is greater: s or r?
r
Let a be (36/(-14))/(-3)*7. Suppose -a*f - 25 = -f. Which is smaller: f or -4?
f
Suppose f - 1 = -0*f. Which is greater: 1/8 or f?
f
Let k(j) = -j**3 + j + 1. Let s(t) = 3*t**3 + 4*t**2 + 4*t - 5. Let a(q) = -4*k(q) - s(q). Let n be a(5). Which is smaller: n or -13?
n
Let q = 0.25 - -0.05. Let a = 22.7 + -24. Let f = a + q. Is f < -2/7?
True
Let y(r) = -2*r + 14. Let d be y(7). Let f be 2 + (0 - d) + -9. Which is smaller: f or -6?
f
Let x be (-22)/(-55) - (-28)/5. Which is greater: x or 4?
x
Let o(m) = -m**2 - 8*m - 8. Let i be o(-6). Let y = 2 - i. Let v = -1 - y. Is -2/7 less than v?
True
Let i = -34 - -33. Is 16 at most as big as i?
False
Let w be 3/(-15)*(-2 + 1). Let x = 44 - 42. Which is smaller: w or x?
w
Let r = -0.05 + 0.12. Let g = -0.03 - r. Is g less than or equal to 0?
True
Let m(b) be the third derivative of b**5/60 + b**4/6 + 5*b**3/6 + 3*b**2. Let v be m(-4). Which is bigger: v or 1?
v
Let g be (64/28 + -2)/((-20)/28). Let l = 0 - 0. Is g smaller than l?
True
Let j = -0.7 + 0.6. Let y be 0/(0 + -1 - -2). Suppose 0 = -y*o + 2*o + 4. Is o not equal to j?
True
Let j = -41/65 - -16/13. Which is smaller: -7 or j?
-7
Let w(s) = -s**3 + s**2 + s + 11. Let y be w(0). Which is smaller: y or -2?
-2
Let c = 13 - -2. Suppose 0*i - 4 = i, 3*x + 2 = 4*i. Let w be (x/c)/((-9)/5). Is 2/7 less than w?
False
Suppose 3*u + 0*u - 18 = 0. Let i be (-2)/3*u/4. Does i = -1/2?
False
Let m = 29 + -28. Is 9/4 equal to m?
False
Let z = -1 - -2. Let w(t) = t**2 + 10*t + 9. Let l be w(-9). Let g be l - (-1 - (-9)/7). Is g <= z?
True
Let a be (-17)/3*(-42)/(-28). Is -10 bigger than a?
False
Let q = -5/6 - -7/12. Suppose -o = -4*z - 2, o - 6*o = -4*z + 6. Let p be o + 1 + 10/20. Which is smaller: q or p?
p
Let j be -2 - (-1 - 6/8). Let h = -0.02 - 0.98. Let g = h - -1. Is j not equal to g?
True
Let u = 13/6 - 11/3. Suppose -5*r + 10*w = 5*w - 5, 5*r + 2*w = -23. Is u bigger than r?
True
Let k(y) = -y**3 + y**2 - 2*y + 1. Let a be k(1). Let z be (0 - -2)/(14/(-105)). Let q = z - -61/4. Do q and a have different values?
True
Let k be 6/5*(-10)/(-4). Suppose 0 = -2*g + 4*r + 24, 7*g - 4*g - k*r = 21. Let d = g - 1. Is -1/5 smaller than d?
True
Let h = 18 + -27. Suppose -4*r - 28 - 8 = 0. Is h not equal to r?
False
Let c be ((-6)/5)/(2/(-5)). Suppose c - 24 = -3*b. Let q be ((-1)/(-7))/(2/b). Which is greater: q or 0?
q
Let y(o) = -2*o - 8. Let i be y(-6). Let d(q) = q**2 - 16*q - 4. Let t be d(16). Let k = t + i. Which is greater: -1/3 or k?
k
Suppose 0 = g + 3 - 7. Suppose -2 - g = q. Let u be q/(3*(-2)/(-4)). Which is bigger: -5 or u?
u
Let b = -2.3 + 5.3. Which is smaller: -3 or b?
-3
Suppose -15*t = -13*t + 42. Is t at least -22?
True
Let a be ((-6)/(-8))/((-21)/(-14)). Do 0 and a have the same value?
False
Let a(k) = 3*k + 10*k**2 + k**3 - 4*k**2 + 0*k - 6. Let r be a(-5). Let p be r/6 + (1 - 1). Is 1 greater than p?
True
Suppose 4*x - n = -11, 3 = -4*x + 4*n - 5. Do 1/6 and x have the same value?
False
Suppose 0 = 2*y - 3*y + 5. Suppose -y*t + 4 = -x - 0*x, -3*t = 3*x - 6. Which is smaller: 2 or x?
x
Let t be 2 + -1 + 144/(-28). Let j = 31/7 + t. Suppose 5*x - 5 = 5*n + 5, -4*n + 2*x = 6. Is j smaller than n?
False
Suppose -157*s - 171 = -154*s. Which is bigger: s or -58?
s
Suppose c = 4*u + 4, -3*c + 4*c - 1 = 5*u. Suppose -2*x - 4 - c = -4*y, -3*x - y = 16. Is -6 bigger than x?
False
Let y be (-6)/27 - (-118)/(-36). Let n = y - -29/10. Which is smaller: 0.2 or n?
n
Let x = -0.164 - 0.036. Is -11 greater than x?
False
Let p be 9/(-12)*((-452)/420 - -1). Let v = 0 + 0. Which is smaller: p or v?
v
Let t be (0 + (2 - 3))*8. Let z = 10 + t. Suppose z*d = -10 + 8. Is d bigger than 0.06?
False
Let z be (-24)/14*-1 - 2. Let j(w) = w**2 - 7*w - 7. Let x be j(7). Let q = -7 - x. 