-1 + (-28)/(-9). Is d < -2?
False
Let i(t) = t - 4*t - 7 + 5*t. Let z(b) = -b. Let m(a) = -i(a) - 4*z(a). Let j be m(5). Does 18 = j?
False
Suppose -4*w - 44 = -4*f, 6*w - w = f - 51. Let y be ((-189)/35)/(3/w). Is y smaller than 71/4?
False
Suppose 7*f - 2*p = 10*f - 8, -4*f + 4 = p. Which is bigger: f or 2/391?
2/391
Let r = -57/196 - -1/196. Suppose 2*h = -5*n + 40, -8 = n - 2*n + h. Let t be n/(((-7)/(-21))/(1/3)). Do t and r have different values?
True
Let n = -4.607 + 0.607. Is 17/12 at least as big as n?
True
Let g = 307/296 - -105/37. Let m = 4 - g. Which is smaller: 0 or m?
0
Let y be 21 - 7 - 10 - 26/11. Are y and 2 equal?
False
Suppose 0 = -2*z - 5*h + 18, 2*h - h - 7 = 3*z. Let r = 1143.8 - 1143. Which is bigger: r or z?
r
Let w be (-7)/((-56)/96) + -10. Which is bigger: -66 or w?
w
Suppose -l + 5 + 6 = 4*z, 2 = 2*z. Suppose 0 = l*k - 6*k - 4. Suppose 3*q - 3*p - k = -13, 9 = 2*q + 3*p. Is -3/7 at most q?
True
Let t be 20/(-15)*(-12)/16. Which is greater: t or -3/241?
t
Suppose 0 = 5*s, -3*s = -3*z - 5*s. Suppose z = -8*d - 61 - 51. Let t = 7 + -22. Which is smaller: t or d?
t
Let j = 3159 - 4485. Let u be ((-340)/j)/((-2)/36). Which is bigger: 0 or u?
0
Suppose 0 = -5*t - 85*u + 82*u - 5, 0 = -5*t + 5*u + 35. Which is smaller: t or 155?
t
Let n = 1.9 + 0.1. Let z = 255.8 - 256. Is z not equal to n?
True
Let m = 0.73 + -12.73. Let h = 0.07 + -9.07. Let p = h - m. Which is smaller: -1/3 or p?
-1/3
Let x(d) = d**3 + 8*d**2 + 3*d + 11. Let l be x(-8). Let z = -23 - l. Let t be (-15)/10 + 38/(-4). Is z at most as big as t?
False
Suppose -b = -q + 466 - 1272, -5*q = -4*b + 4032. Which is smaller: -0.1 or q?
q
Let f(d) = -d - 7. Let g be f(-5). Let b be (-2)/g*1*-1. Let n = -5/796 + 2423/5572. Which is greater: n or b?
n
Let b be 11/(-33) - ((-482)/(-366) + -2). Let r = 1/61 - b. Let x = -0.3 - -0.27. Which is smaller: r or x?
r
Let a be (4 + (-2 - 2))*1. Let j(q) = 3*q**3 + 4*q**2 + 3*q + 1. Let s be j(-2). Let d = s + 9. Is d less than a?
True
Let r be 0 - (-4 - (-4 - 0))/1. Is 2/5435 != r?
True
Let h(t) = t**2 + 15*t + 46. Let d be h(-5). Is d at least as big as 3/10?
False
Let q be 32/(-14)*1 - -2. Let x be (-5)/(-20) - (-15)/(-12). Let a be (2/(-4))/(x/2). Are q and a equal?
False
Let m(v) = v + 4. Let u be (-270)/(-36)*(-4)/2. Let g be m(u). Let f = g - 1. Is f less than -13?
False
Let m = -1.11 - -0.31. Let u = -1 - m. Is -0.12 < u?
False
Let j be (-1*1/(-1))/(-1). Let n = 1797/4040 - 17/40. Do n and j have the same value?
False
Let b = 5 - -90. Let d = -136 + b. Let o = d - -40. Is o less than or equal to 0.23?
True
Suppose -5*q - 32 = -3*w, 5*q - 10*q - 5*w = 0. Suppose 10 = -m + 4*g, -5*m + 5*g - 3 - 2 = 0. Suppose -i - 8 = -m*d, -5*i = -i + 4*d + 8. Is q at most i?
True
Suppose 27*z + 5541 = -156. Which is smaller: z or -635/3?
-635/3
Let i = 8.108 + -0.108. Let w = i + -8.2. Is 2 != w?
True
Let a = 0.115 - 0.015. Let j = a + 0.2. Which is bigger: j or 0.14?
j
Let g be 2 - (2182/2736 - 6/(-27)). Let x = 2/19 - g. Which is bigger: -1 or x?
x
Suppose -5*x + 9*l - 685 = 4*l, -5*x - 680 = -4*l. Do x and -132 have the same value?
True
Let j = 609/10 + -61. Let t be 40/25 + 2/5. Let u = t - 1. Is u <= j?
False
Let w(c) = -c**2 - 20*c - 98. Let k be w(-11). Which is smaller: 268 or k?
k
Let y = 20105 + -59759/3. Is y at most 186?
True
Let s = -5 - 7. Let i = -88/7 - s. Let d = -269 - -268. Is d less than i?
True
Let n = 37 + -40.8. Let h = -0.2 + n. Is h >= 1/4?
False
Let n = -125/22 + 13/11. Which is smaller: -5 or n?
-5
Let h be ((3/1)/(-60))/((-2)/86). Let q = h + 1/10. Are q and 6 nonequal?
True
Suppose 0*j = j. Let a = -2 + j. Suppose -10*p = 3 + 7. Which is bigger: p or a?
p
Suppose -3*g - y = 1351, 12*y - 7*y + 2265 = -5*g. Is g < -450?
False
Let v be 1/4*26 - (-5)/(-10). Suppose 0 = v*b - 2 - 4. Let q = -3 - -4. Does q = b?
True
Let q = -28 - -33. Suppose -q*w + 2 = -7*w. Which is smaller: 3/8 or w?
w
Suppose x = 5*o + 4*x - 60, 20 = 4*x. Let w be 5 - o - (1 + -6). Let c be w/1 + (-10)/6. Do -0.5 and c have the same value?
False
Suppose -366 = -5*q - 4*v, q + v + 149 = 3*q. Let o = q - 75. Which is smaller: -1/60 or o?
o
Let k = 11 - 26. Let x be (k - -4 - -7)*1/(-582). Which is smaller: 0.1 or x?
x
Let o = 61/10 - 913/30. Let n = o + 24. Which is smaller: 3 or n?
n
Suppose -21 = h - 2*h. Suppose 0 = -5*t + c + 3*c + 40, c = 4*t - h. Which is smaller: 6 or t?
t
Let p be (-3 - (3 - (-15)/(-3)))*-12. Let l be (42/(-27) - -2)*p/(-8). Are 4 and l nonequal?
True
Let i = 952 + -2830/3. Which is greater: i or 9?
9
Suppose -4*d + d - 3 = 0. Let m be 10 + (1 - 3) + d. Suppose -4*f - m = -3. Is f < -1?
False
Let z be -2 - (-20)/7 - 1. Let a(h) = -5*h**2 + 3*h + 13. Let j be a(2). Which is bigger: j or z?
z
Let p = -1 - -1.1. Let c = 95 + -189. Let w = c - -89. Which is bigger: p or w?
p
Let u = 15563/11 + -1417. Let y = 20 + -21. Which is greater: y or u?
y
Let n = 0.1332 - 2.6732. Which is greater: n or -2?
-2
Let m be (3 - 5)/(-2)*533/52. Suppose 0*d = -4*d + 40. Is d greater than or equal to m?
False
Suppose -x - 7 + 2 = 0, 5*x = -b - 8. Let g = 47 - b. Let y be ((-12)/g)/(18/10). Which is greater: 0 or y?
0
Suppose 0 = 6*a + 88 + 74. Is -20 less than a?
False
Let t be 64890/546 + 2/13. Is 0.3 less than or equal to t?
True
Let d be -3*((-2)/7)/(165/77). Is 136 != d?
True
Let r = 6634 - 6634. Suppose c = 4*l - 2, -2*l + 1 = 2*c - 5. Which is smaller: r or l?
r
Let t(s) = s**3 + 9*s**2 - s - 10. Let f be t(-9). Let x be f + 0 + (-33)/(-12). Is 1 < x?
True
Let u = 0.098 + -43.098. Which is greater: -1 or u?
-1
Let p(h) = -12*h + 8. Let f be p(7). Let m = 41 + f. Let a be (-25)/m*(1 - 0). Is a >= 1?
False
Let n(x) = 24*x**2 - 17*x + 41. Let s be n(2). Which is smaller: s or 102?
102
Suppose -9*a - 35 = -35. Is a at least as big as 11?
False
Let z = -273.867 + 274. Let f = 0.033 - z. Which is greater: f or 13?
13
Let l(p) = 4*p + 4 + 2*p - 2*p - 5*p. Let h be l(6). Suppose -5*w + 20 = 0, 8*w - 3*w = -3*s + 17. Which is bigger: s or h?
s
Let g(d) = -2*d**2 - 5*d + 11. Let k be g(-7). Which is bigger: k or -50?
-50
Let r = 145 - 33. Suppose -q - 65 = 5*u + 195, 2*u + 2*q + r = 0. Is -51 at least as big as u?
True
Let b(f) = 7*f - 26. Suppose -6*j = -62 + 14. Let v be b(j). Is 2/3 greater than or equal to v?
False
Let x = 0.14 - -0.06. Let o = 15.7 - 16. Which is bigger: x or o?
x
Let b = 7.3 - -42.7. Let r = 42 - b. Which is greater: r or 0.4?
0.4
Let z be 1184/(-144) - (-13 + (6 - 1)). Let y = -10 + 7. Is z less than or equal to y?
False
Let a be (14/10)/(7/35). Suppose -18 = 235*d - 217*d. Which is smaller: d or a?
d
Suppose -2*i + 0*i + 216 = -5*m, -93 = 2*m - 3*i. Let k = 43 + m. Which is greater: k or -1/42?
k
Let g be (1/(-2))/(3/(-30)). Let a be (g + -6)/(-1 + 0). Are a and 5/21 nonequal?
True
Let v(p) = -p**3 - 7*p**2 + 3. Suppose -w = -5*w - 28. Let q be v(w). Let d be 0*3/(q + -9). Which is smaller: 1/22 or d?
d
Suppose -s = 2*c + 2*s - 373, -s = -2*c + 377. Let m be c/(-6) + (-2)/(-6). Is m at most as big as -32?
False
Let i = -34 - -38. Suppose 3*v = 5*r - 80, -2*v - i*r + r = 66. Let h = v + 39. Which is bigger: h or 2?
h
Let g = -113 + 260. Let k be ((-1)/(-7))/(2310/g). Which is smaller: k or -1?
-1
Let j = -2.63 - -3.01. Which is bigger: j or 1/2?
1/2
Let p = -534 - -537. Is 30/17 greater than or equal to p?
False
Let g = 115 + -93. Is 24 >= g?
True
Let y be (-27)/(-2) + (-1)/2. Let j(h) = h**2 - 34*h + 14. Let l be j(34). Which is smaller: y or l?
y
Let i be 12/((-3)/(-3)) + -2. Let l = i - 8. Suppose l*n = 4*n. Is n less than or equal to -2/7?
False
Suppose -2*n = -3*n - 6. Let x be (-104)/n - 2/(-3). Suppose 5*j - 4*s - 71 = -99, -5*j = -5*s + 35. Which is bigger: x or j?
x
Suppose u = 6*u - 180. Let l = u + -51. Is -16 at least l?
False
Let s = -30 - 1.4. Let o = s + 34. Let q = o - 3. Is 1/4 bigger than q?
True
Let m(w) = w - 2. Let v be m(-16). Let b be ((-3)/(-330))/((-3)/v). Let q = b - 4/33. Which is bigger: -1 or q?
q
Suppose g = -2*g. Suppose 5*x - 7 = -b - 57, x + 4*b + 10 = g. Let h = 8 + x. Which is smaller: -6/5 or h?
h
Let o be 161 - 156 - (1 + 1008/254). Which is bigger: 1 or o?
1
Let x be 222/152 + 5 + -6. Let i be ((-8)/(-19))/(4/(-2)). Let u = x + i. Is u smaller than -1?
False
Let k(r) = r**2 + 22*