**3 - 7*d**2/2 - d + 65. Let m be h(x). Does m = -13?
False
Let r = 8.21 + -0.21. Let n = r + -8. Let s be (-3)/4 - (-5662)/(-152). Which is smaller: s or n?
s
Suppose -7*f - 8*f + 3075 = 0. Let n = -202 + f. Let g = -0.1 - 0.2. Which is greater: n or g?
n
Let w be (-1)/(1/5)*(-26)/65. Suppose -w*o - 4*m - 60 = 0, 5*m + 7 = -o - 32. Let g be (-4)/(-14) - o/14. Which is smaller: 4 or g?
g
Let d(l) = -10*l - 37. Let i be d(-4). Let f = 0 - 0. Suppose f*j = -i*j - 12. Which is greater: -3 or j?
-3
Suppose -15*o = -705 + 180. Let d be (29/9)/((o/12)/35). Is 40 < d?
False
Suppose -4 = 4*k, 0 = 2*f - 0*k + 3*k + 13. Let u be (4/f)/(2/6). Suppose -158 - 132 = 145*j. Which is greater: j or u?
j
Suppose y - 4*u - 234 = 3*y, 330 = -3*y + u. Let l = -66 - y. Let t = l + -44. Is t less than 1/17?
False
Let s = 1/343 + 1003/8918. Let i be (5/((-30)/(-4)))/(2/57). Suppose -2*k = 5*y + 15, k - i = -y + 5*k. Is s bigger than y?
True
Let u(c) = -79*c + 500. Let r be u(21). Is r at most -1159?
True
Suppose 0 = 82*w + 100199 - 18527. Is w smaller than -994?
True
Let v = 4.11 + -4.0584. Let l = 0.0516 - v. Which is smaller: l or 5/14?
l
Suppose 2*v - 5 = -y, 8 = v + v. Let q be (19/(-3) - (-19 - 11)/5)*9. Is y greater than q?
False
Let u = -0.2 + 0.2. Let v(k) = -k**2 - 20*k - 44. Let b be v(-17). Suppose -b*j - 110 = 23. Is u smaller than j?
False
Let x(d) = 2*d**3 + d**2. Let a be x(1). Let f be 98/21 - ((10 - a) + -4). Which is bigger: f or -5?
f
Let l be (6/(-30))/(3/(-30)). Suppose 0*z + 2*z - 36 = -l*a, -5*a + 4*z + 45 = 0. Let q = 23 - 9. Is q at most a?
False
Suppose -35*s = -43*s + 56. Suppose -s*v + 78 = -20. Is 16 equal to v?
False
Suppose -35*x = -13*x. Suppose -4*v = -5*c - 15, -5*v + c + 26 = 2*c. Let f be v/((-75)/(-9)) - 0. Are f and x unequal?
True
Let d = -482888231/129 + 3743366. Let v = -139/3 + d. Suppose 0 = -3*f - 2 - 1. Which is bigger: v or f?
v
Let j = -68489/49536 - -526/387. Suppose -6*w = -4*w - 2. Which is smaller: w or j?
j
Let o = -230.47 + 230.27. Is -10877 at least as big as o?
False
Let a = 2.78 - 3.29. Are a and -56 unequal?
True
Let b = -3850 + 7357/2. Let m = b + 170. Which is smaller: -31 or m?
-31
Suppose 1029*g - 399 = 1022*g. Is g > 7?
True
Let j = -15780 + 15079. Which is bigger: 2 or j?
2
Let f(q) = q - 11. Let i be f(15). Suppose 55 = i*u + u. Suppose -u = -5*w - 1. Are w and 8/3 unequal?
True
Let v be (-858)/30 - (-2 + 14/10). Let l be 4074/(-24) + (-49)/v. Which is smaller: -170 or l?
-170
Let z be 2 - 5 - (-7 - -2). Suppose -16 = -4*f + n + 3*n, -5*f - n + z = 0. Let m = 3/271 + -611/6233. Is f less than or equal to m?
False
Let s be 0 - (-37)/(-43) - -1. Let k be ((-2)/10)/((-20)/(-28)*1617/1650). Are k and s non-equal?
True
Let q = -203 + 132. Let t = -70 - q. Suppose 0 = 4*m + t + 127. Which is smaller: m or 1?
m
Let z = -74.2 - -83. Let d = z + -5. Let h = d - 4. Do h and -1 have different values?
True
Let q be 1 + 10/(-8) - 52/(-16). Suppose 5 = c - 0*c, 0 = -q*g - 3*c - 126. Let a = g - -25. Which is smaller: -23 or a?
-23
Let r = 16487 - 16487. Is r equal to 7565?
False
Let d be (-20)/(-2 - (-3 + 0)). Let o = d + 34. Let g be (-10)/(-6)*o/35. Is g at least 1?
False
Suppose 0 = 3*k - 15 + 27. Let w be (18/27)/((k/1362)/1). Let y = w - -151. Is -76 < y?
False
Let n = -8815602/82235 + 2/16447. Is n smaller than -107?
True
Let i be 59 - 64 - (-10376)/2074. Let x = i + -73642/5185. Which is smaller: x or -15?
-15
Suppose 3*y = 2*b + 31, -2*b - 4 = -0*b. Suppose y = 28*z + 9. Which is greater: z or 3?
3
Let g be ((-2)/(-48))/(4/18). Let p be ((-6)/378*36)/(1 - -1). Which is bigger: g or p?
g
Let u = 304 - 3641/12. Let k = 1309/1380 + -13/23. Let j = u - k. Is -2 greater than j?
False
Suppose -3 + 1 = -73*y - 2. Is 1/18169 != y?
True
Let k be 1*(-4)/(-26) + (-10)/(18200/6559). Is 1 not equal to k?
True
Let s = -221.089 + 221. Let q = -0.089 - s. Which is smaller: -3/14 or q?
-3/14
Suppose -3*t + 352 = t. Suppose 3*g + 2 = -t. Let v = -1053/35 - g. Which is smaller: v or -1?
-1
Let o be (-480)/(-64)*(0 + 24/(-20)). Let k = 1 + -1. Let g be k + 0 + (-7 - 3). Is g < o?
True
Let n(a) = 3*a**3 - 2*a**2 + 2*a + 3. Let h be n(2). Suppose -7*f - h - 222 = 0. Is f > -33?
False
Let z = 101834/545 + -28/545. Is 187 smaller than z?
False
Let d = -141492 - -141494. Let y be -4 + 2 - 58/(-14). Is d greater than or equal to y?
False
Let c = -39685 - -39037. Which is greater: c or -650?
c
Suppose b + b - 4 = 0. Let h be (-161)/b - -2 - (-144)/(-96). Which is greater: -82 or h?
h
Let s be (20/49675)/(0 + (-24)/15 + 2). Does s = 1?
False
Suppose 66*f = 57*f + 24876. Which is smaller: f or 2?
2
Let b = 1266.03 - -30.97. Which is bigger: b or 0.2?
b
Let b = 18.803 + -18.703. Which is smaller: 9754 or b?
b
Let s = -131 - 108. Let g = s - -240. Which is bigger: g or 2.8?
2.8
Let k be (44/9130)/(20/(-50)). Which is smaller: 91 or k?
k
Let o(q) = -q + 11. Let m(x) = x - 3. Let f(z) = -4*m(z) - o(z). Let y be f(0). Let v = 1999 - 277863/139. Which is greater: y or v?
y
Let h = -26 - -28. Let w(b) = b**2 - 3*b**2 + 2 - b**3 - b**h. Let l be w(-3). Do 1 and l have the same value?
False
Let s = 0.13725 - 0.07725. Is s greater than -5/11?
True
Suppose 5*s = -27*c + 22*c - 6530, -3*c - 2620 = 2*s. Are s and -11680/9 equal?
False
Let o = -7 - 31. Let a = 12052 - 12091. Which is bigger: a or o?
o
Let c(i) = -2*i**2 + 53*i - 131. Let r be c(11). Is 230 greater than r?
True
Let l = 3038 + -2970. Which is smaller: 66 or l?
66
Let n = -289 - -104. Let m = n + 123. Let t = -62.2 - m. Is t less than or equal to -10?
False
Let v be ((-2)/(-640))/(1/2). Suppose 18*l = 9*l + 36. Suppose w + 3*s - 17 = -3, -15 = -5*w - l*s. Which is bigger: w or v?
v
Let b = -2382.4 - -2343.4. Is b less than -125?
False
Let u be (0 + 1)*1/((-4)/(-20)). Suppose -3*x + 40 = u*x. Let m = x - 23/5. Which is bigger: m or 7?
7
Let f be (-9 - 2695/(-297))*(4 - 7). Is f >= -6/1429?
False
Let n be 6*2*33/4. Suppose 0*c + n = c. Let s be c/54 - (-1 - -1) - 2. Is s greater than -1/7?
False
Let u be (((-180)/(-80))/((-6)/(-8)))/(-1) + 1298. Do 1297 and u have the same value?
False
Let m = 7 - 15.3. Let s = m + 0.3. Let c = 106 - 209/2. Is s not equal to c?
True
Let g be (8/48)/(16/(-18)). Suppose -14 = 3*k - 8. Let m = k + 1. Is g equal to m?
False
Let z = -11761 + 16795. Are -0.1 and z equal?
False
Suppose -7*r - 20*r = 1035828. Let v be ((-10)/8 - -1)*138/r. Is 1 < v?
False
Let a = 85511/63 + -1357. Which is greater: 3 or a?
3
Suppose 112*t = 33*t + 5372. Is t smaller than 18?
False
Let a be ((-7)/(-3))/(1/6). Let u be a/(-20) - (-1)/(-2). Let p = -29333 + 29333. Which is bigger: u or p?
p
Let k = -18398 - -19325. Which is bigger: k or 930?
930
Let z = 151597/3 + -50080. Do z and 453 have different values?
True
Let v = -32.95 - -33. Let c = v - -0.95. Is -332 at most c?
True
Let o be 1/(2901/(-8694)) + 3. Which is smaller: o or 1?
o
Suppose -3*g - 12 = 0, 4*p + 0*p - 4*g - 152 = 0. Suppose -10 + p = -2*y. Let z(v) = v**2 + 6*v - 1. Let t be z(-3). Is t <= y?
False
Suppose -2*z = 10*z + 2*z. Suppose z = -114*w + 117*w + 456. Is -151 less than w?
False
Let u = -2 + 3. Let o(r) = r**2 - r - 41. Let m be o(7). Let w be ((-4)/230 - 0)/((-2)/m). Which is greater: u or w?
u
Suppose -5*i - 9 + 28 = -3*h, -2*h = -i + 1. Let w be h*6/6*(-22)/4. Which is smaller: w or -32/3?
w
Let z = -15.607 - -15.807. Is 14379 at most z?
False
Let a be ((-5)/(-22690))/(11/(-1188)). Is a at most 0?
True
Let h be (-165)/(13/(1287/(-27))). Is h greater than 606?
False
Let z be (1 + 772/(-770))*-3. Let x = -841678152751/6545 + 128598648. Let s = x + z. Which is greater: s or 0?
0
Let a(z) = 2*z**3 - 2*z**2 + 3*z + 3. Let d be a(-1). Suppose -70 = 9*n - 7*n. Let u = n - -28. Is d > u?
True
Let m = -1.8051 + 1.0051. Are 2/19 and m nonequal?
True
Suppose 0 = s + 2*s - 6. Let u be 81/27 - 7*1*1. Let q be -1 + -23*u/44. Which is greater: q or s?
s
Let s be 8/(-18) - 22/(-3)*(-1036)/(-56). Does 135 = s?
False
Let j = 5 + -3. Suppose -3*a = -3*u - 108, 5*u - j*a + 137 = -55. Let i be (-4)/(-10)*u/(-64). Is -2 smaller than i?
True
Suppose -2*y - 26 = -2*c, -2*y + c - 49 = -22. Is y greater than or equal to -335/26?
False
Let a = 0.055 - 48.055. Let v = -48.036 - a. Let w = v - 0.964. Which is smaller: w or 2/11?
w
L