*t + 259 - 263 = 0. Is t bigger than -3?
True
Let l(d) = -2*d - 7. Let a(p) = p**3 + 12*p**2 + 11*p - 3. Let q be a(-11). Let b be l(q). Let j = 383/10 + -77/2. Which is bigger: j or b?
j
Let b = -29/2 - -15. Is b < 1?
True
Let s = -10 - -9.3. Let z = -2 + 1.7. Let v = s + z. Which is greater: v or -0.2?
-0.2
Suppose -3 = -o + t + 1, 4*o - 2*t - 10 = 0. Which is bigger: -1/4 or o?
o
Let v(x) = -x**2 - 6*x - 7. Let s be v(-4). Which is greater: s or -13?
s
Suppose 20*l - 18*l = 0. Let m be (-10)/(-24) - (-2)/(-3). Which is greater: l or m?
l
Let m = -312 + 6550/21. Is 0 greater than or equal to m?
True
Let z be (-1)/(-2) - (-10)/(-12). Let a = -0.94 - -1.1. Let u = a + -0.06. Is u greater than or equal to z?
True
Suppose g = l - 3*g - 6, 5*l - g - 11 = 0. Suppose 2*q - 12 - 2 = -4*p, -2*p - 4*q + 22 = 0. Is p smaller than l?
True
Let c = 0 + 0.02. Let d = c - -1.98. Let j be 6*1*2/6. Are j and d nonequal?
False
Let y = -10 - 6. Is -18 at least y?
False
Suppose b + 228 = -4*k - 3*b, -k + 2*b = 66. Let z = -23 - 10. Let d be k/z + 2/11. Is d less than 2?
False
Let l be (2 + 29764/96)/(-1). Let j = 312 + l. Which is greater: j or 0?
0
Let n be -2 - 17/7 - -3. Which is smaller: -1 or n?
n
Let y be (1 + 0)*(1 - 2). Let f = 11527/21 - 549. Is y less than or equal to f?
True
Let x(k) = -k + 9. Let u(v) = -1. Let r(j) = -6*u(j) - x(j). Let y be r(5). Is y <= 5/2?
True
Suppose 0 = 4*x - 2*x - 2. Let q = 10 - 11. Let o = q + x. Which is smaller: o or 2?
o
Let m = 0.26 - 0. Let z = -60 + 61. Which is bigger: m or z?
z
Suppose -5*g = -g - 24. Let y = 8 - g. Let w be 2/(-4) - (-3)/y. Which is smaller: 2/13 or w?
2/13
Let u = 35/4 + -101/12. Let v(s) = -5*s**2 - s. Let k be v(-1). Let l = -5 - k. Is u less than or equal to l?
False
Suppose 0 = -4*d - 0*o + 5*o + 19, -d = -3*o - 10. Is -1/3 > d?
False
Suppose g - 5*g = -16. Let x = g - 1. Let d be 0/(-2) + 6/x. Is d less than 0?
False
Let z be ((-6)/63)/(7/21). Let x be 4 - 2 - (0 - -8). Let b(c) = -c - 5. Let m be b(x). Are m and z nonequal?
True
Let z = 2 - 13. Which is smaller: -10 or z?
z
Let r = 2.01 + -0.01. Let j = -2 - -2.4. Let l = j - 0.5. Which is bigger: l or r?
r
Let k = 1375/7 + -196. Suppose 3*m - 5 + 0 = 5*v, 3*m = 0. Which is greater: k or v?
k
Let g = -1/4 - -47/4. Which is greater: 11 or g?
g
Suppose -4*s = -5*h - 43, 0*h + h = -4*s + 1. Which is smaller: h or -10?
-10
Suppose b - 5 = -4*t, 2*b = -t - 9 - 9. Let p = 12 - 22. Which is greater: b or p?
p
Let y = 7/3 - 11/6. Which is smaller: y or 1?
y
Let r(a) = -a + 5. Let q be r(0). Suppose -j = -3 + q. Is 0 bigger than j?
True
Suppose 0 = -c - 0*c + 2. Let v be (0/(0 - c))/(-2). Let a(q) = 5*q + 74. Let m be a(-15). Which is smaller: m or v?
m
Let x = -4 + 6. Let u = -0.036 + -10.964. Which is smaller: x or u?
u
Let w = 77/621 + -1/27. Let t(r) = r + 1. Let l be t(-2). Which is bigger: l or w?
w
Let b(o) = -o**3 + 2*o**2 + 3*o + 2. Let g be b(4). Let u = g + 25. Which is smaller: u or 6?
6
Let d(l) = 9*l - 4. Let f be d(3). Does 23 = f?
True
Let g(c) be the first derivative of -c**3/3 + 3*c**2 - 5*c - 2. Let b be g(5). Is b bigger than 2/11?
False
Suppose 0*j - 3*c = 2*j - 17, -15 = 5*c. Suppose -j + 5 = -2*g, -5*p - 5*g + 25 = 0. Which is smaller: -1 or p?
-1
Let l be (-5)/3 - 4/(-6). Let s = -7/2 + 15/4. Which is smaller: l or s?
l
Let l be 1*-15*(-1)/3. Suppose 2*d - 5*b - 16 = -3, l*d + 2*b = -11. Is 0.2 bigger than d?
True
Let w(b) = b**3 - 6*b**2 + 6*b - 36. Let d be w(6). Let n be (-7)/3*(-6)/231. Is n at least as big as d?
True
Suppose 0*o - o + 3*p = -9, -2*p = -5*o - 7. Let n(w) = w**2 + 3*w - 2. Let x be n(o). Which is greater: -3 or x?
x
Let w = 0.07 + 1.93. Is w < -1?
False
Let b = -5.323 + 0.023. Let n = -5 - b. Let m = n - 0.2. Which is bigger: m or 2?
2
Suppose 0 = -4*m + m + p + 21, m - 14 = -2*p. Let t = m - 6. Suppose -2*l = 2*c - 10, 0 = -c + t*c + 5*l - 25. Which is smaller: -1 or c?
-1
Let g be 3/6 + 22/4. Suppose n - g*n = 0. Is n at least as big as 2/13?
False
Suppose 3*a + a = 2*m - 20, 4*a = -2*m - 20. Suppose 2*d + 0 = -2. Let v be (d/2)/(5/(-2)). Is m <= v?
True
Suppose 4*m + u + 4 = -11, -5*m + 2*u = 9. Is -3 != m?
False
Let i = 217/8 + -27. Which is smaller: 1 or i?
i
Suppose u + 4 = 1. Let q = u - -1. Let j = q - -1. Which is bigger: j or -2/7?
-2/7
Let l(t) = t**2 + 5*t + 4. Let v be l(-4). Suppose -5*u - 4*i = -44 + 14, -1 = -3*u + i. Suppose u*k + 2*k = v. Which is smaller: k or -2/7?
-2/7
Let j = 0.04 + -0.14. Let z = -1.2 - -1. Which is bigger: z or j?
j
Let f = -23 + 42. Let z = f - 22. Is z <= -4?
False
Suppose 7*w + 5 = 2*w. Which is greater: 1/4 or w?
1/4
Suppose 2*u + 33 = 3*u. Which is bigger: 34 or u?
34
Let g be (4/(-5))/((-16)/(-40)). Let s(w) = w. Let h(f) = 7*f + 6. Let b(p) = -h(p) + 6*s(p). Let k be b(-5). Is g at most as big as k?
True
Let j be 2/(-3) - 2/6. Let f be (1120/63)/(-8) - -2. Which is smaller: f or j?
j
Let w = -18/7 + 76/35. Which is greater: 0 or w?
0
Let n = 0.2 - 4.2. Let a = n - -3.9. Is a greater than 1?
False
Let m be 0 + (-1 - -4) + -5. Let u = -8461 - -25055/3. Let r = u + 108. Which is bigger: m or r?
r
Let p = -1471/5 - -293. Let y be -2 + 6 - 7 - -2. Which is smaller: p or y?
p
Let o = -0.78 + 0.58. Which is smaller: o or -5?
-5
Let x be -291*-2*1006/(-4368). Let o = x + 936/7. Let q = 1/13 + o. Is 1 > q?
True
Suppose 0 = -2*p - 0*p + 1644. Let n be -3 + 0 - p/(-148). Let g = n - 2/37. Is 4 > g?
True
Let a = -2.91 + 2.8. Let c = 1.11 + a. Let g = -164/5 - -33. Are g and c non-equal?
True
Let c be ((-3)/(-6))/((-5)/(-10)). Which is greater: -45 or c?
c
Let n = 0.14 + -0.24. Is 0.06 equal to n?
False
Suppose 4*p - 2*p = -4. Let o be (-185)/(-6) + p/(-4). Let c = o + -32. Which is smaller: c or -1?
-1
Let a = -7 - 3. Let f = 10 + a. Do 0 and f have the same value?
True
Let l = 19 + -19.09. Let p = l - -0.29. Is -1 greater than p?
False
Let d(a) = a + 6. Let w be d(-8). Which is bigger: -5/3 or w?
-5/3
Let j = -48 + 93. Suppose 7*d - 4*d = -j. Let v be 12/d*(1 - 6). Which is greater: v or -1?
v
Let g be 3 + (-14)/(-4)*36/(-56). Suppose 0 = -2*f - 5*q - 15, -f + 3 = -0*f - q. Do g and f have different values?
True
Let o(f) = f**2 + f - 4. Let z be o(-3). Let r = z + 2. Is r > 4?
False
Let r be 3/(-1) + -2 + 9. Suppose -5*v = -1 - r. Are v and 4/3 equal?
False
Suppose -1 + 7 = 2*n. Let v(u) = -4*u - 2. Let b be v(n). Let z be 4/b + (-27)/(-21). Which is bigger: 1/2 or z?
z
Let s(d) = -11*d + 1. Let u be s(1). Let n be (8/20)/(12/u). Which is smaller: n or -0.3?
n
Suppose 2*j = 6, 3*l + 27 = 3*j + 2*j. Is l less than 9?
True
Let t = 3 - -8. Which is smaller: 2 or t?
2
Let z be 3 - 5/2 - (-9)/(-22). Let j = -1 - -1.2. Is z at most as big as j?
True
Suppose -4*s + 0 = 4. Let u = -11/18 + 1/2. Which is smaller: u or s?
s
Let o(m) = -2*m + 4. Let q(s) = -s + 5. Let f(d) = -2*o(d) + 3*q(d). Let v be f(-7). Is -1/11 at least as big as v?
False
Suppose -b - 17 + 49 = -5*h, -3*h + 3*b - 24 = 0. Which is bigger: h or -4?
-4
Let z = -70/3 - -25. Which is smaller: 3 or z?
z
Let v = 43 + -56. Is -14 bigger than v?
False
Let l(s) = -s**3 + 9*s**2. Let v be l(9). Which is smaller: 68 or v?
v
Let u = -10 - -19. Let a be -3*(0 - 3/u). Which is bigger: a or 0?
a
Let q = -21 - -21. Does q = -0.4?
False
Let p = 2 - 1.1. Which is bigger: p or -2/3?
p
Let x be (-1 + 5 - 1)*1. Which is greater: -1/5 or x?
x
Let r(p) = -7*p**2 - p + p + 4 + 3*p**3 - 4*p**3. Let g be r(-7). Suppose 0*q - g = -4*q - 4*w, -q + w - 9 = 0. Is 0.1 at most q?
False
Let p be 1 + 0*(-1)/2. Let m be -1 + 1 + 1 - p. Let z = 0 + 0. Do z and m have different values?
False
Let r be ((-18)/28)/(54/63). Is -1 at least as big as r?
False
Let y be 10/15 - 1/3. Let p = 3.04 - 0.04. Is p > y?
True
Let f(t) = -3*t + 2*t + 2*t**2 + t**3 - 7*t**2 + 4. Let i be f(5). Suppose 5*l = -2*d + 7, -4*d + 5*d + 5*l = 6. Which is smaller: d or i?
i
Let q(v) = v**2 + 7*v - 6. Let i be q(-8). Is 1 <= i?
True
Let p(x) = -x + 1. Let c be p(0). Let d = 2 - 1.93. Let n = -0.93 - d. Is c smaller than n?
False
Let k = 7.6 + -1.6. Let q = k - 0. Let i = q + -5.9. Is 1 bigger than i?
True
Let a(n) = -n**2 + n. Let c = 13 - 13. Let k be a(c). Which is greater: k or 0.08?
0.08
Let w be 1/(1 - -1)*16. Let t(n) = n**3 + n**2 + n + 1. Let p be t(-2). Let 