Suppose d + 13 = -2*z, -5*z = -d + 3*d + 35. Are -7 and z unequal?
True
Let v = -1 + -0.9. Let y = v + -1.1. Do -3 and y have the same value?
True
Let o = -2 - 47. Does o = -49?
True
Let z be ((-2)/(-4))/(1/6). Let d be -1 + -1 + (-1 - -5). Which is smaller: z or d?
d
Let x = 23 - 32. Let y = -177 - -167. Are x and y equal?
False
Let k be (-5)/(-2) - (-2)/4. Suppose 2*a + 2*o - 9 = 1, -3*a - 1 = -5*o. Is a greater than k?
False
Suppose -s = -0*s. Is 0 greater than or equal to s?
True
Let s = 3.3 + -2.3. Is s >= -24?
True
Suppose 3*r - 2*r = 1. Is r less than or equal to -1?
False
Let v = 1.17 - 0.17. Let g = -0.3 - -0.1. Are v and g non-equal?
True
Let f be 2/8*16/14. Let z be 1 - (1 - 0)*0. Which is greater: z or f?
z
Let o = -4255 + 4135.97. Let d = o + 118. Let b = -0.03 - d. Which is bigger: 2/5 or b?
b
Let l = 3.4 - 4. Let a = 17.4 - 15. Let q = a - l. Is q equal to 0?
False
Let n be (-2)/2 - (-1 + -1). Let l be 3/(-15)*(-2 + 0). Is l >= n?
False
Let s be (2/(-30))/(6*2/36). Which is bigger: s or 1?
1
Let j be -3 - ((-7 - 0) + 1). Suppose 5*z - 13 = -o, -2*o = j*z - o - 9. Which is smaller: 5/3 or z?
5/3
Let a = 0.22 - 0.02. Let k = a - 0.4. Which is bigger: k or -0.1?
-0.1
Suppose -2*p = 3*y - 10 + 53, -5*y - 37 = 2*p. Which is smaller: p or -28?
-28
Suppose -3*h + 25 - 16 = 0. Are 3 and h equal?
True
Let l be 162/(-616) - 18/(-63). Is 0 less than l?
True
Let u be -4 + (-1 - (-3)/(-3)). Let d be (1/u)/((-8)/(-18)). Is d less than or equal to -1?
False
Let u(s) = s + 4. Let z be u(-4). Suppose z = w + w - 6. Suppose -4*d + 5 + w = 0. Which is smaller: 1/2 or d?
1/2
Suppose -4*f + 20 + 8 = 0. Let j be -3*(3 - 2 - f). Let m be 7/(21/j) - 2. Is m bigger than 3?
True
Let d be (2/3)/(8/84). Let q be ((-2)/(-3))/(1/3). Suppose -15 = -d*z + q*z. Is 2 at most z?
True
Let t(g) = g**2 + 7*g + 8. Let f be t(-6). Suppose -26 = -5*a - p, 5*a + f*p = 19 + 8. Is a at least as big as 5?
True
Let x = -24 + 13. Let r(d) = -5*d**2 - 4*d - 2. Let v(f) = 14*f**2 + 11*f + 5. Let a(z) = x*r(z) - 4*v(z). Let c be a(2). Is -1 > c?
True
Let v = -7 + 14. Let l = 3 - -1. Let h = v - l. Is h > 1?
True
Let c(o) = -o**3 - 13*o**2 - 10*o + 10. Let i be c(-12). Let q be -2 - (i/5)/2. Is q >= -2?
True
Suppose 0 = x + t - 6, 0 = -2*t + 4 + 2. Suppose 3*u + 26 = 3*d + 7*u, -4*d + x = -u. Let q be (2 + -3)*(d + -1). Is -2/5 != q?
True
Suppose -l + 4 = -3*l. Let u = -1 - 3. Let r be (4/(-6))/(u/(-6)). Which is smaller: r or l?
l
Let x = -1 + 3. Let s be (0 - 1) + 7 + x. Let j(d) = -d + 7. Let w be j(s). Is -5 >= w?
False
Let n be (-9 - -7)/((-4)/6). Let j be (-2)/2*1/(-1). Are j and n non-equal?
True
Let u = -126.1 + 126. Let z = 0.03 - 0.11. Which is bigger: u or z?
z
Let n be (-2)/(-1) - 14/(-7). Suppose -23 = -n*j + 25. Suppose -2*x = 4*b + 16, -5*x = 4*b + j + 4. Is -1 < x?
True
Let j be 12*10/105 - (-2)/(-14). Which is bigger: 5 or j?
5
Suppose 0 = m - 3*m. Let c(w) = w**3 - 5*w**2 - w + 5. Let a be c(5). Is a at least m?
True
Let x = 101/66 - 1/33. Let j(c) = -2*c - 3. Let d be j(-3). Suppose -d*t + t + 6 = 0. Which is smaller: x or t?
x
Let c be (2 - 1)*(-2 + 3). Are c and 4 non-equal?
True
Let h = -29 + 24. Which is greater: h or -3?
-3
Let r = -7 - -8. Let u be -1*1*(-65)/(-45). Let s = u - -61/36. Is r at least s?
True
Let m = -205/4 + 1829/36. Is -1 greater than or equal to m?
False
Let p = 57 + -173/3. Suppose -q + 4 = -2*q. Let r be 3/(-12) + 7/q. Do r and p have different values?
True
Let c be -2 + 0 + 1 + 4. Is 3 at least c?
True
Let y = 3011/248 - 97/8. Is y greater than or equal to 1?
False
Let o be (-4)/6*(-91)/(-49). Let l = o - -11/7. Let m = 0 + 1. Is l at most as big as m?
True
Let d be 1 - 11*(0 - 1). Let t = d - 23. Let c be (t/(-7) - 1)/2. Is -1 < c?
True
Let h be ((-51)/(-24)*2)/(2/8). Suppose 3*v = a + 51, 0 = 4*v + 2*a + 2*a - 84. Are h and v unequal?
True
Let l be ((-3)/6)/((-2)/(-24)). Let j be ((-16)/(-4))/(2/(-3)). Is j less than l?
False
Let w(k) = k**3 + 3*k**2 - k + 2. Let r be w(-2). Suppose s = 5*s - 2*a - r, -2*s - 4*a = 6. Are s and 1 nonequal?
False
Let a = -18 + 17.98. Which is bigger: 0.03 or a?
0.03
Let n be (-9 + (-5 - -11))*(-1)/(-1). Which is smaller: -40 or n?
-40
Suppose -4*k + 5*l + 47 = -k, -4*k - 5*l = -121. Which is bigger: 23 or k?
k
Let v be 4/(-6)*(-1)/(-2). Let a be -7*(-3 + 2)*-1. Let j be 21/(-28) + a/(-4). Which is bigger: j or v?
j
Suppose 3*d = -5*a - 27, -2*d + d + 25 = -4*a. Let s be ((-4)/(-6))/(a/(-9)). Let l be 6/4*2/(-6)*0. Is s != l?
True
Let c = 14/15 - 41/60. Let r = -14 - -12. Which is bigger: c or r?
c
Suppose 3 = -p - 4*i + 13, 1 = -i. Which is greater: 15 or p?
15
Let i(d) = d + 2. Let r(b) = b + 1. Let m(u) = -i(u) - 3*r(u). Let v(f) = -9*f - 10. Let z(x) = -7*m(x) + 3*v(x). Let c be z(0). Is c at least as big as 4?
True
Let x be (29/7)/(9/6 + -1). Is x greater than 9?
False
Suppose 2*a = -4, 2*b = -a - a. Suppose -b*j - j = -3. Does 2/5 = j?
False
Suppose 0 = 4*w - 9*w - 10. Which is greater: w or -11?
w
Let m = -2 - -17. Let f = -16 + m. Are f and -6 unequal?
True
Let g = 34/91 + -3/13. Let r = 0.46 - -0.04. Let z = r - 0.4. Is z less than g?
True
Suppose -r + 2*r = 0. Is 2/31 greater than or equal to r?
True
Let l = 20 + -20. Is l at most as big as 0?
True
Let d = -0.2 - 0.8. Which is greater: d or 5?
5
Let g be (1*(1 - 2))/(8 - 9). Let x = 53 + -1645/31. Which is bigger: g or x?
g
Let a = -0.024 - -4.024. Which is smaller: a or -1?
-1
Let o be (-6)/1*2/(-1). Let c = o + -13. Which is greater: 0.8 or c?
0.8
Let n = -3361/5 - -670. Is n < -1?
True
Let u = 0.01 + 1.99. Let t = 2 - -1. Let i = u - t. Which is bigger: 0 or i?
0
Let y = -8 + 10. Let j = -4 - y. Let r be 0 - (-3)/j*0. Is 1 at most r?
False
Let u be -1 + (3 - 0) + -2. Do 0 and u have different values?
False
Let t(i) = 3*i - i + 0*i. Let v be t(2). Let s = -6 - -10. Does s = v?
True
Suppose 0 = -5*k + 6*k. Suppose k = -5*u - 10. Let l be u/35*5/(-1). Is 0.2 at most l?
True
Let c = -32 + 32.5. Is c at least 1?
False
Let l be (-2)/(-5) - (-318)/30. Suppose g = 3*a + l, -4*g + 3*a + 8 = -0*g. Is 2/15 not equal to g?
True
Let m be (35/(-10))/(2/(-4)). Let p(b) = b**2 - 7*b - 2. Let l be p(m). Is l >= -3?
True
Suppose -5*y = -5 - 5. Let x = 15 + -14. Suppose -g = -y*g + x. Is 1 equal to g?
True
Suppose 0 + 6 = 2*c - 2*w, 2*c + w + 9 = 0. Let k be c - -14*(-1)/(-10). Which is greater: k or 0.1?
0.1
Suppose 0 = -0*t + 5*t + 4*p + 21, t + 6 = p. Let z = t - -2. Is z less than 3?
True
Suppose 24 = -6*c - 0*c. Is c less than or equal to -13/5?
True
Let o be (1 - 2) + 1070/70. Let y = o + -14. Is -4 at most as big as y?
True
Let j(r) = r - 4. Let k be j(5). Which is smaller: 3/5 or k?
3/5
Suppose 2*t - 3*v + 6 = 0, -4*v + v + 3 = -3*t. Let p be 7 - -2 - (t + -3). Which is smaller: 10 or p?
p
Let j = 0.3 - 0.2. Let o = 0.4 - 0.4. Let h = j + o. Which is smaller: -1/3 or h?
-1/3
Let g(h) = h**3 - 4*h**2 - 2*h + 2. Let q be g(4). Let i be 15/6*q/(-5). Suppose 3*o + 5*s + 20 = 2*o, 2*s + 8 = -i*o. Is o > 2/11?
False
Suppose -z - 3*z - 5*q - 42 = 0, 2*z = 5*q - 6. Is 0 >= z?
True
Let g be 2/5 - (-6)/(-5). Let b(o) = -o**2 - o + 6. Let f be b(0). Let l = -8 + f. Which is bigger: l or g?
g
Let g(a) = 3*a**3 - 25*a**2 - 21*a + 16. Let u(v) = -5*v**3 + 38*v**2 + 32*v - 24. Let t(n) = 8*g(n) + 5*u(n). Let y be t(-9). Is y at least as big as -4?
True
Let c = 9 - 4. Let k be ((-6)/(-15))/(7/c). Is k > 1?
False
Let q = 8.09 - 0.09. Let l = q + -8.2. Suppose 5*m = -0*m + 5. Which is smaller: m or l?
l
Let m = -278/3 - -94. Let v = 13 + -3. Let d = 12 - v. Which is bigger: d or m?
d
Let t = -20 + 19.89. Let h = t - -3.11. Which is bigger: h or -2/9?
h
Suppose -2*p - 133 = -5*n + 2*p, 4*p + 58 = 2*n. Do 25 and n have the same value?
True
Suppose -3*a + 0 - 4 = -5*l, -a = l - 12. Let v = -7 + a. Which is smaller: v or 1/6?
v
Let g be 6 - 5 - (27 - -2). Let a be (-9)/(-3) + 92/g. Is 12 smaller than a?
False
Let w = 49 + -48.9. Let h = 546140/9 - 60623. Let s = h - 59. Is s less than or equal to w?
False
Let u = -63 - -62.5. Is u not equal to 0.3?
True
Let i be -3 + 40 + (-1)/(-1). Is 36 >= i?
False
Let o(z) = -12*z**2 + z + 2. Let f be o(-2). Let v be 2/(-2) - f/(-12). Which is smaller: v or -2?
v
Let n be 3*(0 - 15/9). Let b be 20/n*10/8. Suppose -29 = 5*y + 1. I