5*z + 6 = -14. Suppose -4 = 2*x - 3*x. Let t = x - z. Do t and -3 have different values?
True
Let a be 4/(-10) + 22/55. Which is smaller: -0.1 or a?
-0.1
Let u be (-45)/(-378) + (-1)/(-6). Are -1 and u nonequal?
True
Let d = -1 - -1. Let c = -252 + 8063/32. Let k = c - -9/32. Is k at most as big as d?
False
Let o = 53 + -52. Is 2/451 not equal to o?
True
Suppose 4*x - 4 - 16 = 0. Let h(t) = -5 + 2*t**3 - t**3 - 7*t - x*t**2 + 14. Let r be h(6). Which is smaller: r or 2?
2
Suppose -2*h - 4 = -6*h. Is h less than or equal to 6?
True
Let m = -4 - -2. Let n be 4/(-62) + m + 2. Which is bigger: 0 or n?
0
Let s = 252 + -1770/7. Which is greater: 2 or s?
2
Let t = -105.5 + 105. Which is smaller: 1.6 or t?
t
Suppose 5*q + 20 = 5*s - 0*s, -q + 5*s = 0. Let t be (q/(-10))/(2/(-20)). Is t equal to -1/3?
False
Let c = 177 - 190.1. Let r = -13 - c. Is -0.08 < r?
True
Let l = -54/7 + 256/35. Let u be (-2)/9 - (-152)/36. Suppose 0*o = -u*o + 4. Is o greater than l?
True
Let r(q) = -q**3 - 8*q**2 + q + 10. Let t be r(-8). Suppose 2*w = 4*w - t. Which is smaller: w or 1/14?
1/14
Let r = -0.088 - 0.932. Let u = 0.02 + r. Which is smaller: -12 or u?
-12
Let x be ((-1)/(-2))/((-1)/(-59)). Let k = 28 - x. Let p(d) = d**2 + 14*d + 10. Let z be p(-13). Which is smaller: k or z?
z
Let a = 8 + -9. Is -4/3 >= a?
False
Let x(h) = h - 1. Let c be x(-6). Let j(w) = 13*w + 18. Let z(i) = -7*i - 9. Let f(q) = -6*j(q) - 11*z(q). Let m be f(c). Is m at most as big as -3?
False
Let t = -0.54 + -0.06. Let z = -0.6 - t. Is z greater than -0.1?
True
Let n = -7 + 1. Let k(l) = 7*l - 1. Let v(t) = -6*t. Let s(m) = 5*k(m) + 6*v(m). Let a be s(n). Is a at most as big as 1?
True
Suppose 2 = r + 4. Is r at least as big as -13/5?
True
Let u = 0.87 + -0.03. Let y = 0.16 + u. Is y greater than -1?
True
Let x = 133/20 - 32/5. Let y = -9.5 - -13. Let p = y - 0.5. Which is bigger: x or p?
p
Suppose 3*k = -0*k. Let i be (k + 3)*(-14)/(-6). Let s(f) = f + 3. Let n be s(3). Which is bigger: n or i?
i
Let x = -13 + 11. Which is bigger: -3 or x?
x
Let d be (-9)/70 - (-12)/60. Which is smaller: 1/4 or d?
d
Suppose -n - 2*n - 36 = -3*f, -5 = 5*f. Let g = 9 + n. Suppose 1 - 21 = 5*k. Is g <= k?
True
Suppose -5*u + 18 = 4*p - 3, u + 3*p = 13. Let q(x) = -x - 6. Let z be q(-3). Let f be (-8)/(-9) + 2/z. Which is smaller: f or u?
f
Let d = 1034/3 - 336. Which is smaller: 10 or d?
d
Let b = 7 - 13. Is 0 < b?
False
Let n be 2 - (2 - (-12)/(-3)). Let w = -9 + n. Is w > -4?
False
Suppose 0*h = 4*h - 12. Suppose 2*l - 6 = -h*x - x, l - 3*x + 2 = 0. Do l and 1 have different values?
False
Let i = -73.2 - -72. Which is greater: i or -3/8?
-3/8
Let t(y) = -y**2 + y + 14. Let s be t(5). Let m = s - -15. Is m at most 9?
True
Suppose 3*u - 4 = -2*m, 3*u - 12 = 3*m - 3. Let c(a) = -a**2 + 0*a**3 - 2 + 6*a**2 + 0*a**2 - a**3. Let z be c(5). Which is smaller: z or m?
z
Let j = -4 - -2. Let r = 56 - 113/2. Which is smaller: j or r?
j
Let o(z) = -2 + 0*z + 3*z - 2*z - 2 - z**2. Let g be o(0). Which is greater: -5 or g?
g
Let l = 27 - 6. Is l at least as big as 18?
True
Suppose -6*j = -2*j + 2*h + 10, -4*h = -j - 7. Let b = 3 + -4. Is b at least as big as j?
True
Let l = 24.6 - 0.6. Which is greater: l or -1/3?
l
Let m = -196 - -5680/29. Is m <= 1?
True
Let f be 9/(-5) - 4/(-10). Is f greater than 0?
False
Let q be 30/8 + (-2)/(-8). Suppose 35 + 21 = -q*v. Let d be 6/15 + v/60. Which is smaller: 0 or d?
0
Suppose 50 = 3*b + 2*b. Which is smaller: b or 11?
b
Let b = 0.04 + 1.96. Let q = -2.65 + 1.8. Let s = -0.15 + q. Which is bigger: s or b?
b
Let z = -0.06 + -2.94. Let p = -3 - z. Let v = -0.1 - p. Which is smaller: v or -2/5?
-2/5
Let r = -0.2 + 0.1. Let m = 2 + 7. Let p = m + -5. Which is bigger: r or p?
p
Suppose 0 = -h + 2*h + 1. Let x(j) = 2*j + 2. Let r be x(0). Suppose 8 = -3*k + r. Which is greater: k or h?
h
Let d be 1/((-10)/(-18)) - 2. Let x = -5 - -9. Let b be (-2)/x - (-4 + 4). Is d equal to b?
False
Let m = 24 - 8. Let o = m - 11. Is -1 less than o?
True
Let r = -28 - -31. Let m = 6 + -3. Let g be m/(-3)*(1 - 3). Which is greater: r or g?
r
Let i be -5*(-5)/((-25)/(-7)). Let z = i - 11. Is z greater than -4?
False
Let n = 0.069 - 0.069. Is -51 at least as big as n?
False
Let y = -1 + 3. Let t be (2/(-4))/(y + -1). Let l(q) = 3*q - 2. Let h be l(1). Which is smaller: t or h?
t
Let p be (-2)/(-1)*(5 + -4). Which is bigger: p or 1?
p
Let v = 168 - 236. Is 0 bigger than v?
True
Let u be 1/(-5) + (-2)/(-10). Which is smaller: u or -4/7?
-4/7
Let u be ((-3)/12)/(4/16). Let p = 0 - u. Do 1 and p have the same value?
True
Let l be 1*4/12*-21. Let x = l + 6. Let i be (-3)/(-3) - (-22)/(-26). Which is smaller: i or x?
x
Let z = 4 - 4. Suppose -2*d = -z*d. Let c be (-1)/((-8)/2 + 0). Which is greater: d or c?
c
Let d be ((-5)/(-2))/(9/(-18)). Are -11/3 and d equal?
False
Let i be 4/(-2)*6/(-4). Suppose -18 = i*x + 6. Is x at most as big as -9?
False
Let n = 2 + -5. Let i be n/12 - (-7)/(-4). Is 3 at least as big as i?
True
Let x(v) = v**2 + 10 - 4*v**2 + 9*v + 4*v**2. Let w be x(-8). Suppose 6*n = w*n + 12. Is n at most as big as 2?
False
Let p = 858/31 - 32/93. Is p bigger than 27?
True
Let a = 5 - 2. Suppose -f - 2*f = a. Is f > 1/4?
False
Let w = -63 + 58. Which is smaller: w or 0.1?
w
Suppose 0 = z - 5*w - 26, 4*z - 8 = 2*w + 24. Is 4 not equal to z?
True
Let g be (1/(-2))/((-5)/70). Is 7 smaller than g?
False
Suppose -p - 2*k = -4*p - 20, -p - 1 = 5*k. Which is greater: -1 or p?
-1
Let h(a) = a**3 - 6*a**2 + 7*a - 5. Let m be h(5). Let w be 2/m + 323/5. Let f be (-2)/5 + w/100. Is f less than or equal to 1?
True
Let v = -0.28 + 0.19. Let f = v + -0.01. Do -0.03 and f have the same value?
False
Let b = 22 + -16. Suppose -u = u + b. Are u and -4 equal?
False
Let r = -32 + 47. Which is smaller: 16 or r?
r
Let w(g) = 28 + 0*g**2 - 20 + g**3 - 12*g**2. Let i be w(12). Does 7 = i?
False
Let h(m) = m**3 - 3*m**2 - 6*m + 2. Let o be h(5). Let z = 23 - o. Are z and 1/4 equal?
False
Let r be 3/5 + (-1 - 0). Let x = 30 + -30. Which is smaller: r or x?
r
Let g = 2 - 2. Let a(m) = m**2 + m + 2. Let f be a(g). Let n = f + -2. Is -1/3 at most n?
True
Let o = 23 + -23.02. Let a = -0.08 + o. Are 2/3 and a unequal?
True
Let f = 11 + -7. Suppose 0 = -3*u + f*c - 2*c + 133, 3*u - 128 = c. Let a = -286/7 + u. Which is bigger: -1 or a?
a
Let u = -194/3 - -65. Do u and -15 have the same value?
False
Let s be -66*(1/(-2) + 1). Let b be s/(-3) + (-6)/3. Does b = 10?
False
Let u be 1/(-2)*(-6 + 2). Suppose 2*y + 5 = -3*y. Let z = y - -2. Is u bigger than z?
True
Let w = 16 - 14. Do -3/11 and w have different values?
True
Let t = -0.7 - -3.7. Let k = -3.1 + t. Let z = -0.1 + k. Is -1 at least z?
False
Let t = -13 - -13. Is t < 2/13?
True
Suppose 0 = -3*u + 16 + 2. Suppose -3*v + 4*c = -0*v + 8, 0 = 2*v - 3*c + u. Do 2 and v have different values?
True
Let g be 4/10*5*1. Suppose -5*h + 3*h + g = 0. Do h and -3/8 have the same value?
False
Suppose -5*u = 4*i - 35 + 4, -4*u - 4 = -4*i. Let y = 59/110 - 3/22. Is i less than y?
False
Let x(z) = -z**3 - 13*z**2 - 22*z + 5. Let i be x(-11). Is i > 12?
False
Suppose 3*q + 28 - 4 = 0. Is -8 less than or equal to q?
True
Let j be (3/6)/(10/(-16156)). Let f = j + 812. Let u = 152/35 - f. Are u and 0 equal?
False
Let o be (-38)/(-20) + 4/(-10). Let x(d) = -d**3 + 6*d**2 + d + 4. Let a be x(6). Let f = a - 9. Which is smaller: o or f?
f
Let h be (15/9 - 0) + -2. Let d be (-12)/(-15)*(-15)/6. Let x be 4 - (-6*1)/d. Which is greater: h or x?
x
Suppose -8*j = 7*j - 75. Which is smaller: 58/11 or j?
j
Let g = 0.16 + -0.16. Which is greater: g or 9?
9
Let k be -1 - 1 - 53/1. Let t = k + 221/4. Let d = -3 - -4. Is d not equal to t?
True
Let l(t) = -4*t + 10. Let v be l(-17). Which is smaller: 77 or v?
77
Suppose -3*k - k + 12 = 0. Suppose 3 = 2*c + 4*r + 25, -k*r - 17 = 2*c. Let i be (-6)/40 + c/4. Which is smaller: 1 or i?
i
Let m = 0.7 - 3.4. Let a = 8.69 + m. Let j = -6 + a. Is j less than 0?
True
Let h be 5 + -1 - 0/(-3). Let x = h + -6. Let g(p) = p**3 - 4*p**2 - 2*p + 5. Let q be g(4). Which is greater: q or x?
x
Suppose 2*a = l - 9, -2 = -2*l + 2*a + 8. Is l at most -2/5?
False
Let x = -724/3 - -3692/15. Is 5 at most x?
False
Let n = 7 + -8. Let p be (-2 - (n - 1)) + -1. Which is bigger: -4/11