 15 = -5*d, 4*d = -m + k*m - 2. Do m and 1 have the same value?
False
Let n be (-104)/(-60)*3099/4. Let l = -1344 + n. Let o = -119/90 - l. Is o > 0?
False
Suppose 3*c + 0 = -6. Let l(f) = 2*f**3 + 2*f**2 - f. Let a be l(c). Let t = 5 + a. Is -1 bigger than t?
False
Let r be ((-10)/(-25))/((-1)/5). Let p be ((-10)/4)/(r/4). Is p bigger than 4?
True
Let g be (18/(-2))/(-3) - 5. Is g at most as big as 0?
True
Let m be 0/(-2 - -3 - (0 + 0)). Which is smaller: -8/21 or m?
-8/21
Suppose -1 = -5*n - 2*o + 3, 6 = -3*n - 4*o. Is 13/5 greater than or equal to n?
True
Let f be (5 - 3)*-1 + 10. Suppose -9 - 23 = -4*y. Is f <= y?
True
Let l(b) = b**2 - 15*b - 26. Let q be l(17). Do q and 8 have different values?
False
Suppose -3*j + 5*j = 10. Let u = j + -6. Are u and -2 unequal?
True
Suppose 2*r - 1 = 1. Is -5 greater than r?
False
Suppose -4*p - 22 = -5*h, h - 23 = 3*p - 1. Let r = p + 7. Is r < -3?
False
Suppose 5*q - 20 = q. Suppose 3*u - 8*u + q = 0. Is u greater than or equal to 5/4?
False
Let o = 154.1 + -163. Let n = -9 - o. Is 1 greater than n?
True
Let p(j) = 2*j**2 + j. Let k be p(-1). Do k and 8 have the same value?
False
Let t = -19 - -38. Do 20 and t have the same value?
False
Let c be ((-15)/(-35))/(-1) - 4/7. Is -1/67 bigger than c?
True
Suppose 4 = -4*k + 8. Let y be (-6 - -5)/((-7)/2). Is y at least k?
False
Let b = 3.96 - 4. Let t = -0.46 + b. Let d = t - -0.6. Is 2 > d?
True
Suppose -g - 2*g - 26 = 2*c, 27 = -c - 5*g. Let t be (2/c)/((-9)/(-7)). Suppose 0 = k + k. Which is greater: t or k?
k
Suppose -2*j - 13 + 1 = 0. Let l be (4 + j)*(-6)/(-4). Which is greater: l or -5/2?
-5/2
Let l be -3*(-6)/9*1. Suppose 12 = -l*c + 6*c. Is c at least 4?
False
Let z = -4.4 - -4.4. Do 21 and z have different values?
True
Let g = 80 - 56. Which is smaller: 22 or g?
22
Let l be (((-4)/12)/((-1)/(-6)))/2. Which is smaller: -2/73 or l?
l
Let m = -3620/17 + 213. Suppose -25*i + 26*i = 0. Which is greater: i or m?
m
Let r = 0.15 - -4.35. Let k = r + 1.5. Let h = k + -7. Which is bigger: 0.1 or h?
0.1
Let h = -101.03 + 100. Let j = h + 0.03. Is j >= 3?
False
Let c be (-4)/(-6) + (-17)/39. Suppose 9 = -8*z + 17*z. Which is smaller: z or c?
c
Let b(z) = -z**2 - 5*z + 4. Let f be b(-6). Which is bigger: -5/3 or f?
-5/3
Let n = -1/14 - -9/14. Let p be -4*1/1 + -27 + 33. Are n and p equal?
False
Let d = -6.38 - -9.35. Let n = 0.03 + d. Which is greater: 1 or n?
n
Suppose 5*l - 13*l = 8. Is l at least -2/35?
False
Let a = 5 - 6. Is 4/39 at most a?
False
Let w be 2/5 + (-98)/(-5). Suppose -5*k + w = -0*k. Let m(j) = -j**2 - 3*j + 3. Let n be m(-3). Which is smaller: k or n?
n
Let u = 10 + -10. Suppose u = 2*i + 2*i. Which is smaller: i or -1/2?
-1/2
Let z = 18 + -13. Let d = -8 + 27. Suppose z*r + 4 = -4*l + d, -6 = -2*r - 5*l. Is r greater than 3/2?
True
Suppose 0*j - 75 = 5*j. Which is greater: j or -14?
-14
Suppose 249 = -4*b + 33. Are b and -55 nonequal?
True
Let p = 4 - 3.93. Let w = -0.07 + p. Does w = 1?
False
Let q = -7 + 7. Let y be q + 2/(2/(-1)). Which is bigger: y or -2/7?
-2/7
Let j = -1.2 - -2.1. Let o = 0.2 + -0.3. Let s = o - j. Is -0.2 greater than s?
True
Let g be (-8)/(-6) + (-6)/(-9). Let f be (-12)/10*90/(-72). Which is bigger: f or g?
g
Let f = -2.4 + 0.4. Let t = -9.6 + 1.6. Is f smaller than t?
False
Let b = 37 - 36.96. Which is smaller: 0.3 or b?
b
Let y = 6.9 - -24.1. Is 0.1 less than or equal to y?
True
Let r be (6/(-8))/((-6)/6). Is 2 != r?
True
Let y = 0.88 + 0.12. Which is greater: y or -4/7?
y
Let o(r) = -1. Let q(i) = i + 11. Let m(f) = -6*o(f) - q(f). Let s be m(-7). Let g be 1/3*(s - 4). Is g greater than -0.1?
False
Let o = 1.3 - 2. Let j = 0.14 + 0.06. Let w = j + o. Is w equal to 0.1?
False
Let m(h) = -5*h**2 - h + 4. Let a(f) = -9*f**2 - 3*f + 8. Let j(s) = 6*a(s) - 11*m(s). Let v be j(5). Let o be 1/(69/v*1). Which is bigger: 1 or o?
1
Let r be -184*(4 + (-22)/6). Let j = 62 + r. Which is greater: j or 2?
2
Let j = -6 + 8. Are 2 and j nonequal?
False
Let p(r) = -2*r - 36. Let b be p(0). Which is bigger: b or -37?
b
Suppose -7*i + 12*i + o = 21, 11 = 4*i - 5*o. Is i at least as big as 1?
True
Let k be 1*(3 - (26 - 4)). Which is smaller: -21 or k?
-21
Let n = 13 - 8. Suppose n = -2*d - 1. Do -4 and d have the same value?
False
Let t(r) = -r**3 - 10*r**2 - 12*r - 13. Suppose o - 3*x + 6 = 0, -4*x - 1 = 3. Let z be t(o). Let m be (z/18)/(-1) + 1. Which is smaller: 0.1 or m?
0.1
Let c be 12/(2 + 2) + -2. Let x = -2/35 - -9/35. Which is smaller: c or x?
x
Suppose -7*l + 65 - 23 = 0. Is l greater than 6?
False
Let n be ((-4)/6)/((-2)/(-6)). Let g(l) = -l - 1. Let s be g(n). Suppose 3*i + 4 = 1. Which is greater: s or i?
s
Let r = -31 + 36. Which is bigger: 6 or r?
6
Let n = 2/11 - -34/55. Is -2 <= n?
True
Let b = -53 + 1327/25. Do b and -2 have different values?
True
Let a be 1 + 17*(-13)/231. Let l = 8/33 + a. Is l < -0.3?
False
Let i = -52 - -369/7. Is 1 at least as big as i?
True
Suppose -10 = -c + 3*z, -5*z = 2*c - 4*z - 6. Suppose 4*p + c = -8. Is -2 >= p?
True
Let x be 1/(2 + -2 - 4). Suppose -2*w + 5*k + 29 = 0, 3*k + 18 - 3 = 0. Let q = w + -2. Which is greater: x or q?
q
Suppose 5*s = r - 3, 0*s - 2*s - 4*r = -12. Let d = -10 + 9. Which is smaller: d or s?
d
Let y(b) = -b**2 - 13*b - 6. Let f = 13 + -26. Let k be y(f). Which is bigger: k or -2?
-2
Let x = 0.1 - 0.21. Let s = x + 0.01. Does -2/19 = s?
False
Let f = 17 + -18. Let g = f + 27/25. Let x(j) = j**3 - 3*j**2 + j + 2. Let s be x(2). Are g and s unequal?
True
Let z(c) = 15*c + 4. Let n be z(3). Suppose 189 = -5*v + n. Let d be 6/(-21) + 13/v. Which is smaller: -1 or d?
-1
Let b(x) = -1. Let i(y) = y + 5. Let k(f) = 6*b(f) + i(f). Let z be k(2). Which is smaller: 0.07 or z?
0.07
Let y = -2 + -24. Let d = 14 + y. Let p be 2*3*8/d. Is -5 greater than p?
False
Let x = 14 + -3. Let u(i) = i**2 - 11*i + 1. Let q be u(x). Is q at most as big as -1?
False
Let t be 38/5 - (-2)/5. Suppose 3*n + n = t. Let s = 19 + -37/2. Which is bigger: s or n?
n
Let q = 13 + -8. Suppose -4*a + 5*a = -q. Are -7/2 and a equal?
False
Suppose -4*x = -5*d - 11, -d - 3 = -3*x + d. Which is smaller: 4/39 or x?
x
Let z be 1/(-5) + (-1380)/100. Is z at least -15?
True
Let v be (-2)/12 - 2254/(-1428). Let q be (-3)/(-153)*(-2196)/(-22). Let c = q - v. Does 1 = c?
False
Let c be 2 - (1 - 6/(-3)) - -3. Suppose -5*q = 5*b - 10, -q + 5*b = 5 - 1. Which is smaller: c or q?
q
Suppose -2*r - 3*i = -31 - 137, -336 = -4*r + 4*i. Is 85 <= r?
False
Let q = 19 + -7. Which is smaller: q or 1?
1
Let i = 35/31 - -592/217. Which is smaller: i or 3?
3
Let o = 9 + -13. Let x(v) = -v**2 - 4*v - 3. Let k be x(o). Let s be -2 - (k + (-2)/(-1)). Which is bigger: s or -1/3?
-1/3
Suppose -4*i - 183 = 5*q, -2*q - 18 = -5*i + 75. Suppose 4*a = -l - 7, 2*l - 4*a - a = 12. Let d be q/(-9) - l/3. Which is smaller: d or 2?
2
Let f be 56/(-273)*3/(-4). Which is greater: 1/3 or f?
1/3
Let b be (16/40)/(1/(-20)). Is b at least as big as -9?
True
Let t(h) = h**2 - 6*h + 2. Let a be t(5). Let y be (-10)/15 + (-2)/a. Let c be 7/(-4) - (-2 + y). Which is smaller: c or -2/3?
-2/3
Let c = 0 + 4. Does 3 = c?
False
Let w = -1054 - -5287/5. Is 2 less than or equal to w?
True
Suppose -x - 4*h - 18 = 0, 3*x - 21 = h + 2*h. Which is smaller: 1 or x?
1
Let d be 48/(-16) + 1*2. Which is bigger: d or -7/16?
-7/16
Let i(s) = -s**3 + 5. Let v be i(0). Suppose -v*c + 10*c + 2 = -b, -3*c - 6 = 3*b. Let g = -1 + c. Which is smaller: g or 1/9?
g
Suppose 4*y + 9 = 1, -4*l - 28 = -2*y. Let b be (l/(-10))/(3/(-5)). Which is greater: -1 or b?
-1
Let w be 160/(-24) + (-1)/3. Suppose 35 = 2*v + 3*v. Let j = v + w. Which is greater: -2 or j?
j
Suppose -8*y + 51 = 163. Is y less than 3/2?
True
Let c = 68604/7 + -9869. Let p = -81 - -149. Let q = p + c. Which is smaller: 0 or q?
q
Let w be (-4)/(-2) - 1/(-1). Suppose -2*l = -5*p + l - 2, w*p + 4*l - 22 = 0. Suppose -p*n + 2 = -5*v, -5*n = -4 - 1. Which is bigger: v or -0.2?
v
Let i = 5 - 5. Let q(x) = 2*x**2 + x. Let y(s) = s**2 - 4*s - 6. Let c be y(5). Let l be q(c). Is i bigger than l?
False
Let k be ((-144)/54)/((-4)/(-6)). Let o(a) = -a**2 + 5*a - 6. Let c be o(4). Which is bigger: c or k?
c
Let b = 79 + -79. Is b > -2/41?
True
Let a(s) = -2*s**2 + 2*s + 1. Suppose x = 2*y - 3, -4*x + 5*y = 4*y + 5. Le