 + x = t, 0*d + d - x = 6. Do 2 and d have the same value?
False
Let d(x) = -x**2 - 3*x + 4. Let y be d(-3). Suppose -23 = -5*h + j, -h + 0*j = -y*j - 16. Suppose -1 = 5*k + 4*w, -5*k + 2*w = -3*w + 10. Is k greater than h?
False
Suppose 0 = -4*g - v + 2, -4*g = 5*v - 10 - 0. Suppose -q + 4*q - 3 = g. Let d be ((-8)/(-12))/(-1*q). Is d greater than -2?
True
Let l(d) = -d - 4. Let y be l(-8). Suppose y = -2*h + 12. Which is smaller: 5 or h?
h
Let z = 7 - 5.8. Let y = -0.2 + z. Let w = y + 0. Which is bigger: -0.1 or w?
w
Suppose -3*g + 36 = -0*g. Suppose p + 3*p + 2 = 2*s, 0 = -2*s - 3*p - g. Suppose 5*b + 4 = -11. Is b at least s?
True
Let g be -1*44/(-8)*-2. Is -13 > g?
False
Suppose 0 = -32*d + 30*d + 4. Suppose -2*x - 2*x - 3*f = -5, 4*x - 3*f = 11. Are d and x non-equal?
False
Let b be -3 - (51/84 - 2). Let g = b - -13/7. Which is smaller: g or 2?
g
Suppose -5*b + 25 = -5*s, 3*s + 2*b - b = 5. Suppose 3*r - 8 = r. Let m be r/(-14) - 51/(-105). Is s at least as big as m?
False
Let w = 7 - 19. Let c(f) = f**3 + 13*f**2 + 13*f + 12. Let h be c(w). Is h at most 3/5?
True
Let c(k) = -5*k**3 - 6*k**2 - 6*k + 26. Let t(o) = -o**3 - o**2 - o + 5. Let h(p) = -2*c(p) + 11*t(p). Let n be h(0). Which is smaller: n or 1?
1
Let l(s) = s**3 - 3*s**2 - 5*s + 2. Let b be l(4). Let k be 8*(2 - (-15)/(-6)). Let m be k*3/(-24)*-4. Is b less than or equal to m?
True
Let l = 414671459/3053 - 12097223/142. Let o = l - 50632. Let v = o + -2/43. Which is smaller: -2 or v?
-2
Let b be (-2)/4 - (-13)/22. Suppose -5*d = -9*d. Which is smaller: b or d?
d
Suppose 2*x + 1 = -17. Let d(n) = n**3 + 16*n**2 + 2*n + 22. Let a be d(-16). Which is smaller: x or a?
a
Let h = 1 + 0. Let l = -246/1357 + 3/23. Let b = -85/649 + l. Which is greater: h or b?
h
Let j be ((-3)/(-9))/(1/(-21)). Is j > -8?
True
Let z = 101/306 + -7/18. Which is smaller: 1 or z?
z
Suppose -5*z = -3 + 8. Let n be -3*2*z/(-2). Suppose 5*a = -5*r - 65 + 15, -2*r = 4*a + 30. Is r bigger than n?
False
Suppose -r = k - 2*r - 7, -4*k + 16 = 2*r. Let t = 5 - k. Which is smaller: -1 or t?
-1
Suppose r + s = -59 - 17, 5*s = 5*r + 400. Is -79 smaller than r?
True
Suppose 5*y - 3*r + 42 = 0, 3*y + 3*r + r + 31 = 0. Which is greater: y or 2?
2
Suppose 8 = -5*z - 3*o - 2, -18 = -3*z + 3*o. Let j be (-47)/(-91) - 4/14. Let r = j - -1/52. Is z > r?
True
Let c = -0.2 + 0.1. Let a = -0.413 - -10.413. Is a less than c?
False
Let c = 1 + 4. Suppose 4*k + 3*p - 8*p = -1, -c*p + 2 = -3*k. Let t be 0 + (-1 - 13/(-15)). Which is bigger: t or k?
k
Let i(c) = c**3 - 8*c**2 + 9*c - 6. Let l be i(7). Let b be 2/l + 6/8. Is b greater than 4/11?
True
Let x = 113/5 + -25. Does x = -2?
False
Let r be (-2 - 48/(-21))*7. Let o = 5 + r. Let b = -11 + o. Are b and -4 non-equal?
False
Let f be (-15)/(-2)*(4 - (-12)/(-5)). Do f and 12 have different values?
False
Let j(b) = 2*b - 4*b - 1 - 1 - 2*b. Let s be j(-2). Is s not equal to 7?
True
Let u = -72 - -71. Is -0.03 <= u?
False
Let i = 7721/39 + -198. Let n = i - 115/78. Is -3 <= n?
True
Let z be -1 + (-3)/(4 - 1). Suppose 0*y - 4*y - 24 = 0. Let i(f) = f**3 + 7*f**2 + 7*f + 5. Let a be i(y). Do z and a have the same value?
False
Let i(f) = 7*f + 101. Let d be i(-19). Is 1/3 greater than d?
True
Let r = -4 + 3.66. Let n = -0.4 - r. Which is bigger: n or -1?
n
Suppose -5*r = 25, j + 4 = -r - 5. Let o = -5 - j. Which is smaller: o or 2/21?
o
Suppose 2*x = 3*v - v - 12, 0 = -4*x - 20. Let n(g) = -3*g**2 - g - 2. Let j be n(2). Let h = j + 18. Which is bigger: v or h?
h
Suppose 6*x + 146 = 38. Which is bigger: -17 or x?
-17
Let q be ((-1)/24)/(3/(-4)). Is 1 greater than or equal to q?
True
Let t = 114 - 115. Is -17/10 smaller than t?
True
Let u = -3 + 1. Let n = -2 - u. Suppose -4*q + 5 = -9*q. Is n bigger than q?
True
Let n be -2 + 2 + 366/(-1272). Let c = n - -2/53. Let u = -0.01 + 2.01. Is u != c?
True
Let m(k) = -k**2 + k. Let a(t) = 4*t**2 - t - 3. Let h(y) = a(y) + 5*m(y). Let x be h(3). Is x not equal to 0?
False
Let w(u) = 5*u**3 - 1. Let l be w(1). Suppose 5*c - c + f = 9, -2*f = 4*c - 6. Suppose l*t = 3*s - 2, s - 2*t - 3*t = -c. Which is bigger: 3/5 or s?
s
Let r = 0.1 + -0.2. Let x = 0.01 + 0.59. Let v = x - 0.4. Which is bigger: r or v?
v
Suppose -5*m = -5*d - 20, 4*d = 5*m + 15 - 35. Which is smaller: d or 4/37?
d
Suppose -3*t + 0*t + 24 = 0. Let x = t - 13. Which is smaller: -4 or x?
x
Let r(y) = -y**3 + 4*y**2 + y - 1. Let f be r(4). Suppose -7 = s + 4*k, -f*s - k - 1 = -2. Are -1 and s equal?
False
Suppose 3*p - 4*p + 1 = 0. Suppose 0 = 6*c - 3*c + 120. Let q be c/(-96) - (-3)/(-4). Which is greater: q or p?
p
Let t(c) = -c**3 + 2*c**2 + 3*c. Let d be t(3). Let y be d/(-2) - (-2 - 2). Let m be ((-9)/12)/(-3)*y. Is -1/12 > m?
False
Suppose -5*h = -20, 4*h = -m + 12 + 3. Let z be (0/m - 2) + 1. Let t = 9 + -8. Is z <= t?
True
Let s = -0.06 + 0.11. Let c = 1.05 + -1. Let m = s - c. Which is smaller: -1 or m?
-1
Let p be (-3)/(-29)*4/(-6). Let r be -2*(2/(-2))/2. Is p less than r?
True
Let d = -25 + 88. Let u be (-18)/d + (-2)/(-56). Which is smaller: -0.9 or u?
-0.9
Suppose 0 = 2*m + 4 + 4. Let x(k) = -k**3 + 4*k**2 + 4*k + 1. Let d be x(5). Let u = d - m. Do -2/13 and u have different values?
True
Let v = -12 + 8. Let q = v - -3.9. Is q bigger than -1/5?
True
Let t(q) = -q + 7. Let o be t(-7). Let g = o - 27/2. Which is smaller: 0 or g?
0
Let k be (-40)/84 + (-1)/(-3). Is k > -1?
True
Let p(m) = m**3 + 3*m**2 + 3*m + 5. Let z(b) = 3*b**3 + 7*b**2 + 7*b + 10. Let f(u) = 5*p(u) - 2*z(u). Let w be f(0). Which is smaller: w or 6?
w
Let q = 2650801/15 + -176567. Let k = -153 + q. Is 0 smaller than k?
True
Suppose -3*z = 15 + 3. Which is smaller: -4 or z?
z
Let n be (-1)/5 + (-18)/(-15). Let x(t) = 7*t + 5. Let w be x(4). Let k be 0 - 1 - w/(-27). Do n and k have different values?
True
Let r = 4 - 3. Let h = -0.33 + -0.07. Let g = -1.4 - h. Which is smaller: r or g?
g
Let w be ((-84)/(-10))/((-7)/(-35)). Let f be (2 + -1)/(w/(-4)). Which is greater: 1 or f?
1
Suppose -12*l + 8*l = -20. Which is smaller: l or -2/5?
-2/5
Suppose 0 = -4*h - a - 5, h = 3*a - 2*a. Let b be (-2 + 1)*(2/2)/(-4). Is b greater than h?
True
Let u be (2 - 1)/((-3)/9). Let x = -3 - u. Which is greater: x or -2/5?
x
Let j be 0 + 3 - 115/35. Is j at least 1?
False
Let l(t) = t + 21. Let k be l(-15). Is 1 at most as big as k?
True
Suppose -2*h - 3*h = -15. Let y be (2 + -2)/(h + -1). Suppose 3*o = -y*o. Which is greater: o or -1?
o
Let l(q) = q**3 - 12*q**2 - 11*q - 39. Let d be l(13). Is d smaller than 0.05?
True
Let b = -0.13 - -5.13. Let w = -4.96 + b. Let z = 0.14 - w. Which is bigger: -0.1 or z?
z
Let u be 10/(-21)*(-18)/5. Which is greater: u or 2?
2
Suppose 3*d - 5 - 28 = 0. Which is smaller: 8 or d?
8
Let n = 89/18 + -44/9. Let v be (1 - 2/(-1)) + -2. Which is bigger: v or n?
v
Suppose 5*x = -a - 7, -5 = -3*a - x - x. Suppose a*k - 13 = -4, -3*c + 4*k - 15 = 0. Which is greater: c or -2?
c
Let b(z) = -z**3 - z**2. Let h be b(-1). Let n be h + 2/1 + -1. Which is smaller: -1/2 or n?
-1/2
Let o = 123 + -231. Does -109 = o?
False
Let d = -121/3 - -40. Let k be -2 + (-15)/5 - -5. Do d and k have different values?
True
Let p = 0.13 + -0.13. Let w = -0.13 + -6.87. Is w < p?
True
Let d = 12 + -13. Do d and -1/3 have the same value?
False
Let t(v) = -v**3 + v - 3. Let w be t(0). Let i(j) = j - 1. Let l be i(1). Which is greater: l or w?
l
Suppose 5*m - 2 = -j, 1 = 3*j - 5*m - 5. Suppose -4*a - 13 = -h - 2*h, -j*a = h - 1. Suppose 2*u + 2*u = -8. Which is bigger: u or a?
a
Suppose r - 5*s = 3, r - 4*s - 2 = 1. Is r less than 26/9?
False
Let t be 1/((-4)/3)*(-12 - 2). Is t != 11?
True
Let i = 16 + -15. Is i >= 8?
False
Let m be -2 - 1/((-704)/3260). Let d = m - 45/16. Is d at least as big as 2/21?
False
Let n be (-1 + 1)*(-1 - -2). Suppose n = 3*c - 2*c + 6. Let y = 5 + c. Is y < -1?
False
Let w be ((-4)/10)/(21/30). Let b = -22/63 - w. Is b at least 1?
False
Let t(s) be the second derivative of -s**4/12 - 2*s**3/3 - 3*s**2/2 + s. Let r be t(-3). Which is smaller: r or 4?
r
Suppose -15 = -13*b + 8*b. Let c(s) = s**2 + 6*s + 4. Let o be c(-5). Let g be ((-8)/6)/(o/3). Which is bigger: g or b?
g
Suppose j + 4*j = 0. Suppose -t - 4*q + 6 = j, -t - 4*t - 45 = -5*q. Which is smaller: -5 or t?
t
Let w = -18.2 + 18. Whic