et c = 130 - 123.9. Let q = 6 - c. Is q greater than 10?
False
Let c = -0.7 - -1.7. Is -2/19 != c?
True
Let a(d) = -2*d + 5. Let i be a(11). Let m = i - -16. Which is greater: m or -2/13?
-2/13
Let d = -77 + 51. Is -26 equal to d?
True
Let k = -575/1887 - -12/37. Which is smaller: k or 1?
k
Let o = 2 + -3. Let a be (-12)/8*20/6. Let d(r) = r + 5. Let b be d(a). Which is bigger: o or b?
b
Suppose 4*r + 3*b = -54, 3*r - b = -26 - 8. Let z be -2 + 1 + (-10)/r. Let d be 0*((-15)/(-6) + -2). Do z and d have the same value?
False
Suppose 15*i = 10*i. Let q = -86 - -51. Let x = q - -178/5. Which is bigger: i or x?
x
Let u = -355 - -357.99. Let s = -0.01 - u. Which is smaller: s or 2/7?
s
Let v = -1 - 2. Let r = v + 1. Do -0.3 and r have different values?
True
Suppose -1 - 3 = -4*b. Let g = 2/881 - -2621/9691. Which is bigger: g or b?
b
Let w = 0.094 - -0.906. Are -89 and w nonequal?
True
Let c(r) = r - 1. Suppose -2*t + 4*t = 4. Let x be c(t). Is x equal to 2/9?
False
Let x be 80/520 - -101*(-4)/598. Which is smaller: -1 or x?
-1
Let y(v) = 14*v + 7. Let s be y(-5). Do s and -63 have the same value?
True
Let n = 6 + -8. Let q be n/(-5) - 329/35. Is 0 greater than or equal to q?
True
Let o be (-12 + 2)*1/2. Let h = o + 17/3. Which is bigger: h or -0.3?
h
Let z be (0 - -1) + 0/(-2). Let i = z + -2. Let u = 1 + -2. Are u and i equal?
True
Let y be (2 + 0)/(-6 - -4). Let h be 8/(-60)*(-1)/(-10). Let c = 23/150 - h. Which is smaller: y or c?
y
Let g = 0.23 + -0.03. Which is smaller: -6 or g?
-6
Let s(n) = 2*n + 62. Let r be s(-18). Which is bigger: r or 28?
28
Suppose -4*k + k - 9 = 0. Which is bigger: -4 or k?
k
Let n = -2.46 + -1.94. Is n smaller than -2?
True
Let h = -801 - -4107/5. Suppose 2*u + 37 = -0*r - r, -106 = 5*u - 2*r. Let o = h + u. Does o = -0.5?
False
Suppose i + 4*h = -6 - 9, -2*i - h = 2. Is i greater than -0.06?
True
Let y = -0.1 + 0. Let l = -0.3 - 0. Let r = 0.7 - l. Are y and r equal?
False
Suppose 0 = i + g - 1, 2*i + 3*g - 7*g = -4. Suppose i*n = -2*n + 10. Suppose 3*c + c = -h + 6, n*c - 13 = -4*h. Do c and 1/3 have different values?
True
Let b(m) = m**3 - 6*m**2 - 8*m + 2. Let h be b(7). Is -9/2 < h?
False
Let n(h) = h + 11. Let d be n(-9). Let p(b) = -7*b + 2*b - b**2 - 1 + 0*b**d + 8*b. Let j be p(3). Do j and 2/25 have different values?
True
Let a = -56/11 + 313/55. Which is smaller: 2 or a?
a
Let j = -42 + -4. Let o be (j/(-21) - 2)*3. Let u be 4 + -5 - (-3)/1. Which is bigger: o or u?
u
Suppose -10 = -2*n + 2*o, 2*n - o = -6*o - 18. Which is smaller: n or -2/267?
-2/267
Let v be 32/12*(1 + 1/(-4)). Is 8/11 at most v?
True
Let u be 24/(-224) + (-2)/(-8). Are 0.1 and u non-equal?
True
Let h = 68 + -69. Which is greater: 0.012 or h?
0.012
Let y = 34 - 21. Let b = -6 + y. Let w = 5 - b. Is w < 1/4?
True
Let q be ((-6)/(-8))/((-6)/24). Let o be (-32)/17 + (-1 - q). Which is smaller: o or 0?
0
Let o be (-6)/44*216/(-18). Which is smaller: 1 or o?
1
Let f = -347 - -244. Which is smaller: f or -102?
f
Let i(k) = -5*k + 18*k + 0 - 2. Let d be i(-2). Let g be (-2)/(-5) + d/120. Are -1 and g equal?
False
Let s(b) = 2*b**2 + 4*b + 2. Let v be s(-2). Let n be 8/14*1/v. Which is greater: n or -1?
n
Let d be (15/(-2) + 6)*(-2)/(-6). Which is greater: d or -1?
d
Let v = 0.11 - -0.89. Let s = v + -1.2. Is s < 0.4?
True
Let z be (1/(-2))/((-2)/4). Let a = z + 0. Is 2 != a?
True
Let g(b) = -3*b - 29. Let u be g(-8). Suppose 0 = 4*a + 6 + 14. Is a <= u?
True
Let p = 0 + 4. Let l be (5/10)/((-2)/p). Let c be ((-10)/40)/((-1)/(-6)). Is c bigger than l?
False
Let b = 3.2 - 4. Let r = -5.2 + b. Let y = 4 + r. Are y and 1 equal?
False
Let z be (-10 - -2)*36/16. Let v = -9 - z. Is 0 at least v?
False
Suppose -5*z - 5 = -4*w - 2*z, 6 = -2*z. Let i be 1/((2/(-6))/w). Which is smaller: 4 or i?
i
Let c be 16/(-24) - 11/(-21). Does c = 0.1?
False
Let j = 0 - -0.01. Let g = 1.717 - -0.273. Let f = g + j. Which is smaller: -0.1 or f?
-0.1
Suppose 2*z = 3*z + 1. Suppose 3*p - 2*n - 6 = 0, 5*p - 2*n - 10 = -3*n. Is z smaller than p?
True
Let r = -9 - 15. Let g be (2/r)/(1/2). Which is bigger: 1 or g?
1
Suppose 4*m - c + 2 = 0, 5*m = -c - 1 + 3. Which is bigger: -3 or m?
m
Let r be (-6)/22*4/6. Let o(x) = 2*x - 5. Let k(i) = i - 3. Let z(t) = 5*k(t) - 3*o(t). Let q be z(-1). Which is greater: r or q?
q
Let i = -53/2 + 26. Is i at most as big as 0?
True
Let w = 105 - 189/2. Is 10 at most w?
True
Let j(p) be the third derivative of p**5/12 - p**3/6 - p**2. Let g be j(1). Suppose 0 = -4*m + 11 + 5. Is m less than g?
False
Let w = -483/62 + 5/124. Which is smaller: w or -8?
-8
Suppose 2*o + 2 = -4. Let q = 8 + -11. Are q and o nonequal?
False
Let x(o) = -o**2 - 2*o - 3. Let a be x(-1). Let c(r) = r**2 - r - 4. Let i be c(0). Which is bigger: i or a?
a
Suppose f + 20 = s - 23, -2*s - 5*f + 107 = 0. Which is greater: 45 or s?
s
Let u = 2 + 1. Suppose 3*w = -4*a + 24, -w = 2*a - u*w + 2. Let i = -14 + 16. Which is smaller: i or a?
i
Let j = -78 - -83. Are j and 3 equal?
False
Let o be 1*(321/159 - 2). Let z = 103/159 + o. Which is smaller: z or -1?
-1
Let f = 24 + -24. Which is smaller: f or -4/53?
-4/53
Suppose -2*a - h = 1 + 1, -4*a + 8 = -4*h. Is a smaller than -2?
False
Let r = -68/133 - 26461/532. Let c = -50 - r. Let v = 0.1 + 0. Which is smaller: c or v?
v
Let k be (0 - (-10)/4) + 2. Is 5 != k?
True
Let i = 32 - 6. Is i greater than 27?
False
Suppose -z - 5*s = -5*z + 17, 13 = 5*z + 2*s. Is z at least as big as -2?
True
Let q = 26 + -10. Suppose -5*h - q = -6. Which is smaller: h or -1/2?
h
Let n = -7 - -8. Are n and -1/42 equal?
False
Let u be (1 - 5/6)*4. Let o = 1.4 - 1.1. Are o and u non-equal?
True
Suppose q - 4*f = -10, 0 = -3*q - 2*q + 2*f - 86. Is -17 greater than q?
True
Let i(n) = n + 7. Let h be i(0). Let l(u) = -u**3 + 6*u**2 + 7*u + 3. Let s be l(h). Is 3 >= s?
True
Let c = 5 + -5. Which is bigger: c or -1?
c
Let d be 4 + (-1 - -2 - 3). Suppose -d*z = -7*z. Do 1 and z have the same value?
False
Let c be (0 + -6)/((-6)/4). Suppose 0 = -2*y + 18. Let g be 6/y + 14/6. Which is greater: g or c?
c
Let u = 0 + -2. Let q(m) = m + 1. Let z be q(u). Let v = 0.34 + -2.34. Do v and z have different values?
True
Let u be ((-2)/3)/((-140)/(-90)). Suppose 0 = -r + 2*r. Which is smaller: u or r?
u
Let f = 11/4 + -21/4. Let g be 0/(-1) + (-54)/20. Let z = f - g. Is 1/3 equal to z?
False
Suppose -l + 8 = 29. Let g = l + 20. Let k be (-2)/20*(-4)/(-2). Is g <= k?
True
Let v be ((-2380)/8)/(-7) + -2. Let m = v + -323/8. Which is smaller: 0 or m?
0
Suppose -5 = b - 2. Is b smaller than 2/5?
True
Suppose -4*h + 4*w = -20, h + 3*w = -h - 5. Suppose 2*v - 5*b - h = -17, b - 3 = 0. Let j be (-1 - v) + (-20)/(-16). Which is smaller: 1 or j?
j
Let q be (-34)/(-72) - 1/4. Suppose 2*w = -3*i - 1, -2*w + 4 + 16 = -4*i. Suppose -4*n + w + 0 = 0. Is q < n?
True
Let g(f) = -f + 14. Let h be g(0). Suppose 2*q = 2*t + h, 4*q = -3*t + 2*t + 3. Let b be 1 - 1 - 5*1. Are t and b nonequal?
False
Let v = 26 + -27.1. Let a = -4.1 + 4. Let f = v - a. Is f at most as big as -1?
True
Let m be 9/(-36) + 3/(-20). Is 2/5 greater than or equal to m?
True
Suppose 5*r - 5*w = -20, -r + w = -4*r. Let f be (r - 0/1)/(-5). Suppose -k - 2*k = 0. Are f and k equal?
False
Suppose -48 = -3*k + 6*k. Which is smaller: k or -15?
k
Let w(m) = m**2 + 9*m + 6. Let h(o) = -o**3 + o - 8. Let g be h(0). Let a be w(g). Let d be -1*(0 + (-1)/(-2)). Are a and d unequal?
True
Suppose 0 = q + 4*q - 2*s - 14, s + 5 = 2*q. Which is greater: q or 3?
q
Suppose 0 = 4*v - 2*o + o - 2, v + 5*o = 11. Let p be (-15)/6 + (-2)/4. Let t be p/(-1) + -2 + 0. Is t < v?
False
Suppose f + 13 = 3*g, 4*g + 4*f + 3 = 15. Suppose g*u - 3 = u. Which is greater: 1/2 or u?
u
Let q(k) = k**2 + 7*k - 9. Let t be q(-8). Which is smaller: t or -2/179?
t
Let i = -393565/597168 - -15/6032. Let f = -53/11 + 47/11. Let j = f - i. Which is smaller: -1 or j?
-1
Let g(w) = w**3 - 7*w**2 + 9*w + 3. Let q be g(5). Suppose -d = d + t - 5, 4*t = d + 20. Let j be -2 - (0 - d) - 1. Which is greater: q or j?
q
Let q = -3 + 14. Let h be -3 + (-3)/((-9)/q). Which is smaller: 0 or h?
0
Let l = 0.6 + -13.6. Let x = l - -13. Is -1 at least x?
False
Let n = -1332/7 + 190. Let m be (-3)/(-3) + 57/5. Let b = -652/55 + m. Is b < n?
False
Suppose 0 = -5*o - 5, q