0. Let d = -1/45 + p. Suppose -3*t + 5*r = -22, 5*t = 3*t + 4*r + 18. Do t and d have different values?
True
Let y = 157 - 1725/11. Which is greater: 1 or y?
1
Suppose -2*d + 5*a + 3 = -3, 33 = d + 5*a. Is d at most 12?
False
Let l = -1.1 + 0.1. Is 0 smaller than l?
False
Let t be (-49407)/(-19371) + -4 + 2. Let s = t + -3/587. Which is greater: s or 1?
1
Let s = 115 - 121. Is -1 >= s?
True
Let p = -3 + 2. Let k = p - -1. Let g = 0 + 1. Which is bigger: g or k?
g
Let v(i) = -i + 0*i - 1 - i + i. Let j be v(5). Which is greater: -4 or j?
-4
Let r be ((-2)/4)/((-2)/4). Are r and 9/4 non-equal?
True
Suppose 4*r + 21 = 5*k + 7, 6 = 4*k + 2*r. Let u be 12/(-42) + k/56. Is u at least as big as 0.6?
False
Suppose 0*x + 4*d = -3*x + 230, -d + 233 = 3*x. Let c be x*(-3)/((-144)/69). Let b = c - 112. Which is greater: b or -1?
b
Let d be 6*((-24)/(-9))/(-2). Suppose -20 = 2*b - 4. Is d <= b?
True
Let i(v) = v - 5. Let g be i(7). Let a be (3*1)/(g - 1). Let x be ((-8)/(-20))/(a/10). Is 0 less than or equal to x?
True
Let j = 47 - 45. Which is smaller: j or 1?
1
Let a = 46 + -233/5. Which is greater: -1 or a?
a
Let t be 53/60 + 9/(-12). Suppose -4*j + 6*j = 0. Is t equal to j?
False
Let i be (-6)/27 - 35158/(-99). Let c = 356 - i. Is 1 < c?
True
Suppose -2*s = -17 + 5. Let n = 0 - -1. Suppose -n + s = -5*o. Which is bigger: o or 2/11?
2/11
Let n = 6.006 + -0.006. Is 1/3 <= n?
True
Suppose 0 = -4*c + 2*i + 20, -5*c - 8*i + 19 = -12*i. Suppose -3*a + 4 + 2 = 0. Let m be (-1)/(a/(-14)*1). Is m not equal to c?
False
Let h = -1 + 1. Suppose -3*m - 2*m - 45 = h. Let y be m/(-60)*(-4 + 0). Which is bigger: -2/5 or y?
-2/5
Let y = -23 - -158/7. Is y at most as big as 4?
True
Suppose -15 = -3*h + 5*u - 0, 4*h - 3 = u. Suppose 9 = 4*n - 47. Let a be n/(-21)*(-1)/(-6). Which is smaller: a or h?
a
Let d(p) = -2*p + 8. Let z = -9 - -13. Let y be d(z). Is 8/7 > y?
True
Let g = -21 + 11. Let p be 26/g - (-9)/3. Is 1 greater than p?
True
Let b be ((-3)/9 + -2)*-6. Suppose -5*j = -b - 11. Let h(a) = -a**3 + 6*a**2 - 5*a - 1. Let u be h(j). Is u < -1?
False
Suppose 0 = -4*q - 10*p + 15*p + 29, -3*p + 9 = 0. Let t(f) = -f**3 - 2*f**2 + 4*f - 5. Let n be t(-4). Is q equal to n?
True
Let g = 9 - 23. Is g less than 1?
True
Suppose -n - 3*u = -29, 0 = 5*n - u - 36 - 61. Let c be 14/21 + n/6. Which is smaller: 5 or c?
c
Let m = 15 - 10. Let j = -13 + 19. Let t = j - m. Is -0.2 not equal to t?
True
Suppose 4 = -4*t - 0. Let i be 13611/(-99) - t/(-3). Let y = 138 + i. Do 1 and y have different values?
True
Suppose 2*z - 4*z - 12 = 0. Let o = -3 - z. Suppose 3*m = 7*q - 2*q + 20, m - o*q - 12 = 0. Which is smaller: m or 3/8?
m
Suppose 4*d = 5*w - 57, 0*d + 6 = -d + 4*w. Let g = d - -26. Suppose 4*c - 6 = 3*h + g, -4*h = c + 25. Is -6 < h?
False
Let i = -6.1 + 6. Is i > -1?
True
Let r be (2/62)/(((-10)/15)/2). Is r bigger than 1?
False
Let b(y) = y**2 - 8*y - 4. Let h be b(9). Suppose -5*n - 8 = h*i + 37, -12 = 3*i. Which is bigger: 1/3 or n?
1/3
Let g(y) = y**3 - 2*y**2 + y + 1. Let f = -1 - -3. Let c be g(f). Which is bigger: c or 1/4?
c
Suppose 0*w - 2*f - 42 = -5*w, -15 = -2*w - f. Let q = w + -7. Is 1 > q?
False
Let n = 18 - 18.1. Let l = 2.8 - 3. Let k = l - n. Is k less than -0.1?
False
Let g be (-4)/(-84) - (-1)/(-3). Suppose 5*u + 10 = -0*u. Let y(k) = k**2 + k - 1. Let j be y(u). Which is smaller: j or g?
g
Let j = 0.11 - 0.01. Let t = -3.1 + 3. Let f = t + j. Which is bigger: 1 or f?
1
Suppose 2*t - 32 = -4*x, -4*t = -x + 5*x - 64. Is 16 < t?
False
Let r = 6 - 22. Which is greater: r or -15?
-15
Let d be ((-2)/(-12))/((-1)/4). Suppose 3*p - 2*p + 4 = u, -2*p = -5*u + 20. Let b(m) = m. Let h be b(p). Which is greater: h or d?
h
Suppose -3*w + 3 = 3*l, 0*w - l = -3*w + 7. Let j = w + -2. Which is smaller: j or -2?
-2
Let y = -4.9 - -5.9. Let t = 2.04 - 2. Is y at least t?
True
Let j = -0.6 + -0.4. Let x = 5 + j. Let w = x + -5. Are -1 and w equal?
True
Let x = -79 - -78.94. Which is greater: x or 5?
5
Let k be -10*2/8*-6. Let g be (-8)/12 - (-16)/k. Is -1 smaller than g?
True
Let o be (2 - (-10)/(-4))*8. Which is smaller: o or -8?
-8
Suppose 2*x = -2*q + 4, -q + 6*q + 3*x - 8 = 0. Suppose -3*c = 2*g + g - 9, q = g. Which is smaller: c or 1/2?
1/2
Let a = -13.82 - -14. Let y = 0.2 - a. Which is greater: y or -1/3?
y
Let a = 13 + -119/9. Let d be (0/(-1))/(0 + -1). Which is greater: a or d?
d
Let h = -28 - -19. Which is bigger: -2 or h?
-2
Suppose 3*q + 2*q = -15. Let k = 7.5 - 7.3. Is q less than or equal to k?
True
Let z be (6/4)/((-12)/(-56)). Is z < 49/6?
True
Suppose 237 = -8*i + 957. Is 91 <= i?
False
Let q(t) = t**3 - 7*t**2 + 6*t + 1. Let o be q(6). Let u be 0*-1*o/3. Which is greater: -1 or u?
u
Let x = 82 - 2. Suppose -x = 3*p - 20. Let b be 2/p*(-75)/(-10). Which is smaller: b or -1?
-1
Let d be -2*(-1)/4*8. Suppose 0 = d*y - 3*v + 1, 0 = y - 6*y - v + 13. Is y less than or equal to 3?
True
Let s be (24/(-20))/(3/75). Let h be s/(-12) - (2 + 1). Is 5/3 less than h?
False
Suppose 2*d + j = 3*j + 4, 0 = 3*d + j - 14. Let b be (-2)/12 - d/12. Let m = 1 + -1. Which is smaller: m or b?
b
Let g(f) = -f**3 - 3*f**2 + 3*f - 2. Let q be g(-4). Let c be q/3 - 64/132. Is c > 0?
True
Let s = -91 + 83. Suppose 0 = 5*g - 8 + 43. Let t = g - s. Do -0.2 and t have different values?
True
Let f(m) = -m**2 + m - 4. Let a be f(3). Let i be -1*(1 - a/(-8)). Let n = 8/15 - 17/60. Is n less than or equal to i?
True
Let j be 2/2 + (-1 - 0). Suppose -84 = -5*i - 474. Let p be i/24 + (0 - -3). Which is smaller: j or p?
p
Suppose -3*j + 6 + 0 = 0. Let p(n) = -2*n + 4*n - 5 - n + j. Let w be p(4). Is w equal to -2?
False
Let k = -628/5 + 127. Do 1 and k have different values?
True
Suppose -84 = -17*g + 103. Let m be 2/7 + (-246)/(-21). Do m and g have the same value?
False
Let w be (3/(-20))/(4/10). Let g = -7.9 + 6.9. Is g smaller than w?
True
Let w = 8/15 + 1/20. Which is greater: 2 or w?
2
Let x(l) be the second derivative of l**5/20 + l**4/12 - l**3/3 - l. Let f be x(-2). Let y be (-64)/(-112) - 4/7. Is f <= y?
True
Let u = -9 - -8. Let x = u + 0.8. Is x greater than or equal to 5?
False
Let r(t) = 3*t**3 - 4*t + 1. Let j be r(-3). Let w = j - -472/7. Are -1 and w nonequal?
True
Let t = -0.2 - -2.2. Let u(d) = -d**3 - 2*d**2 + 3*d + 3. Let w be u(-2). Which is smaller: w or t?
w
Suppose 2*o - 4*o - 59 = 5*x, -4*o = -12. Are -12 and x equal?
False
Suppose -6*n + 4*n = 4. Let o = n - -1. Let f be 16/(-6) - (-8)/12. Which is smaller: f or o?
f
Let v = 1273362545456815963/563940 + -2257975219800. Let m = v + 2/15665. Let n = m + -19/4. Which is smaller: 1 or n?
n
Suppose 3*q = 11 - 5. Suppose 5*k - q*k + 3 = 0. Is 2/7 at most k?
False
Let i be -2 - (226/(-10) + 1). Let w = i + -20. Which is bigger: w or -1?
w
Suppose l - 2*j = 21, -2*l - 5*j = -49 + 7. Let n = 41/2 - l. Is n less than or equal to -1?
False
Let y(g) = 9*g**2 - 2*g + 1. Let c be y(1). Is c <= 7?
False
Let q be (-10)/15 - 433/3. Let v = -1018/7 - q. Is v less than 0?
True
Suppose 2*u = 5*u - 6. Let w(r) = -r + 8. Let t be w(12). Let h be 5/t - (-3 - -1). Which is bigger: h or u?
u
Let n(k) = k - 8. Let s be n(7). Which is smaller: -7 or s?
-7
Let u(i) = i**3 + 1. Let r be u(0). Are -3 and r equal?
False
Let b = 0.2212 - 0.0212. Suppose 5*i + d + 74 = 0, -2*i + 0*d = -3*d + 33. Let p be (-4)/(-18) + i/27. Is b >= p?
True
Let l = 6 - 15.1. Let o = -9 - l. Is 1 != o?
True
Let d = 288/5 + -3203/55. Which is greater: -2 or d?
d
Suppose -6*t + 52 = -7*t. Let f = t + 36. Let c = f - -10. Which is smaller: c or -5?
c
Suppose g = -2*f - 20, -f - 3*f - 16 = 0. Is -25/2 at most g?
True
Suppose -2*w - 5*q = 20, -3*w - 23 = 2*w - q. Is w >= -5?
True
Let f = 71597/6 + -11869. Let d = 64 - f. Are d and 0 non-equal?
True
Let w = -163313/1022 + 444/511. Let y = w + 319/2. Is y bigger than -1/5?
True
Let k(l) = -l + 5. Let v be k(5). Let h = v - 1. Let r = -3/2 + 7/6. Is r at most h?
False
Let u = 69 + -46. Is -0.1 <= u?
True
Let w be (-1*16)/(-2)*1. Let f = w + -11. Let a be f/(-3)*(-1 - -2). Is a smaller than -1/5?
False
Suppose -3*r = -5*a + 23, -a + 4*a - 3*r = 15. Let h be (0 + 4)*(-3)/a. Let z = -4 - h. Is 0 less than or equal to z?
False
Let u be (-5 + 3)/(2/(-4)). Let a be (u - 6) + (-4)/(-2). Let z = 336/13 - 26. Is a greater than o