 m be 2/4*(-2 - -2). Which is greater: o or m?
m
Let k = 2 + -1. Suppose -2*v - 3*j + 25 = 2*j, -4*j = -4*v - 20. Suppose -5*f + 2*h = v, 2*f = 2*h + 2*h - 16. Is k < f?
True
Let s = 13/9 - 16/9. Let x be ((-1)/(-9) - 10/30) + 5/9. Which is greater: x or s?
x
Let p(l) = -9*l - 4. Let f be p(-3). Suppose 27*j - 25*j = 248. Let q = j + -100. Which is smaller: q or f?
f
Let v = -61982 + 13140225/212. Let y = v - -3/53. Let x = 17 + -17.9. Which is smaller: x or y?
x
Let i be (-2)/8*-82 - 1/(-2). Let y = i - -18. Is y != 39?
False
Let h = 1491752/335 - 4453. Is h less than 1?
True
Suppose -l - 38 = -3*o, 0 = -3*l + 2*o - 3*o - 74. Let d be 178/l - (-12)/(-78). Suppose 2*i - 3*i - 7 = 0. Is d equal to i?
True
Suppose -5*s - 2 = -3*q - 5, 0 = 3*q + 3*s + 27. Let l be q/24 + (-34)/(-8). Suppose f = 3*y - 0*f + l, 0 = -y + 2*f - 8. Which is smaller: 3 or y?
y
Let a = 17 - 15. Suppose i + 3*i - 48 = 2*w, a*i - 5*w = 16. Let j = -15 + i. Are j and -3/2 unequal?
True
Suppose -32 = 7*j + j. Let i be (j/(-12) - 0) + 70/(-174). Is -1 less than i?
True
Let f be 106 + (-2 - (-24)/6*-1). Is 98 greater than f?
False
Let d(s) = s**3 + 15*s**2 - 18*s - 250. Let a be d(-18). Is a at most -0.2?
True
Let p be 5/13*6*1/(-15). Suppose -w - w = -2. Which is smaller: w or p?
p
Suppose 2*b = -x + 4, 7*x + 4*b - 10 = 6*x. Is x equal to 1/24?
False
Suppose 3*k + 3152 = -403. Is k at least as big as -1185?
True
Let l be 20/(-25)*(-5)/2. Let u be (5 + 7)/(-4)*(1 + l). Is u > -9?
False
Let x = -0.044 + 6.044. Let d = 0.16 - -0.04. Which is bigger: x or d?
x
Let a = -56 - -33. Which is smaller: -27 or a?
-27
Let a be 20/(-2 + 7) + 81. Let h = a - 85. Which is bigger: 3/7 or h?
3/7
Suppose -k + 6*k + f - 79 = 0, -4*k - 3*f + 72 = 0. Suppose -k = -z + 3*o, 0 = -2*z - 5*o - 8 - 17. Which is bigger: z or -2/77?
z
Let k be (-46)/(-300) - 3/(-18). Let h be (-2)/5*(-342)/(-135). Let f = h - k. Which is smaller: f or 2?
f
Let k be (-5)/(-4) + 3/(-12). Let h be -1 + (1 - -1) - k. Let b be 2*-3*(-7 - (-1392)/198). Which is greater: b or h?
h
Suppose -2*f + 2*r = 26, 3*f + 79 = -r - 4*r. Let x be ((-48)/f)/(2/3). Let s(p) = p**3 - 5*p**2 + 3*p + 1. Let i be s(x). Are -5/3 and i non-equal?
True
Let i = -1.6 + 2.7. Let q = i + 1.9. Let l = 1 - q. Which is greater: 3 or l?
3
Let n = 4 - 8. Let v be 39/39 - 1/17*12. Let p = v + -185/51. Which is bigger: n or p?
p
Let y(m) = -m**2 + 7*m - 7. Let u be y(6). Let v be (u - 9)*(11 - 12). Let n = v - 11. Do n and -2 have different values?
True
Suppose -15*p - 10262 = -p. Is -733 smaller than p?
False
Let v = 222 - 222. Which is greater: v or -14/15?
v
Let l(r) = -r + 27. Let s = -10 - -21. Let i be l(s). Suppose i = x + 2*q + 3*q, -4*x + 3*q = 5. Which is smaller: x or 5/4?
x
Let v be (-9)/(-18)*(-10 + (4 - -6)). Let s = -853/44080 - 10/551. Which is smaller: v or s?
s
Let k = 19.7 + -42.7. Which is smaller: 9 or k?
k
Let d = -2554 + 1417. Which is smaller: -1138 or d?
-1138
Let c(x) be the first derivative of x**4/4 + 14*x**3/3 + 7*x**2 + 9*x - 21. Let h be c(-13). Is -5 >= h?
False
Suppose -26 = -h - h. Suppose 5*l = 4*l + h. Let z = l + 0. Which is smaller: 12 or z?
12
Let q = -75 - -109. Suppose -3*k + q = -k. Let t(a) = -a**2 + 18. Let s be t(0). Do k and s have different values?
True
Let t(b) = 62*b - 61. Let h be t(1). Which is greater: -5/18 or h?
h
Let x be 2/(-7) + (-21378)/(-49). Let w = x + -14390/33. Which is smaller: -0.1 or w?
-0.1
Let d(w) = -7 + 6 + 4*w - 18. Let h be d(6). Is h at most as big as 11/2?
True
Let o = -1153 + 1155. Is o at least as big as -32?
True
Let i be 50904/65 + 6/15. Let a = i - 784. Let c = 12 - 11. Which is bigger: c or a?
c
Let o be 105/150*4/88. Which is smaller: o or 0?
0
Let u = -37 + 40. Which is greater: u or 36/17?
u
Let p be (-77)/212 - 4/(-20 - -4). Which is smaller: -1 or p?
-1
Let o = 209/6 + -24023/690. Is o less than or equal to 0?
False
Let v(f) = f - 2. Let d = -3 - -5. Let j be v(d). Let u = 27.2 - 30.2. Which is smaller: u or j?
u
Suppose 77 + 130 = -3*i. Let a = i + 75. Is 6 <= a?
True
Let w = 0.03 + -14.13. Let s = -14 - w. Let a = 3 - 2. Is s bigger than a?
False
Suppose 2*v + 10 = -2*d, d + v + 11 = -3*d. Are -35 and d non-equal?
True
Let l = 1/144 - -199/2448. Which is smaller: l or -1?
-1
Let z be (0 + (-2)/(-1))*1. Are 8 and z unequal?
True
Let d = -1117 + 5548/5. Is -6 at least as big as d?
True
Let u be (-3)/12 + -4581*4/48. Which is bigger: -1142/3 or u?
-1142/3
Let s be (-5)/12*6/36. Let h be 73/(-18) - (-6 + (-3 - -5)). Let q = s + h. Which is smaller: 0 or q?
q
Suppose -2 = -m + 1. Let d be (-48)/20*(-1)/m. Let f(p) = -2*p. Let k be f(-1). Which is bigger: k or d?
k
Let c = 845 + -844.96. Is c at least as big as -1.8?
True
Let h = 1/773 + -17804/19325. Are -1 and h equal?
False
Let c be 330/(-8) - (77/28 + -3). Is -43 smaller than c?
True
Suppose -52 = -4*f + 3*y - 60, -2*f - y - 14 = 0. Suppose -5*z = -n - 43, z = -3*z + n + 35. Let t be 76/z*(-2)/5. Is t at least f?
True
Let c(t) = t**2 + t - 12. Let w be c(0). Let p = 12 - -48. Suppose 0 = -h - 4*h - p. Is h > w?
False
Let d = 192 + -202. Is -80/9 >= d?
True
Let d be 589/84 + 21*(-11)/33. Suppose 0 = 4*h + r + 7, -4 = 3*h + 4*r + 11. Which is greater: h or d?
d
Let d = 90 + 36. Let v = 127 - d. Let h = 215/777 + 1/111. Which is smaller: v or h?
h
Let f = 0 + 0. Suppose 7*q - 6*q = 5. Suppose -k + f*k - g - 7 = 0, -q*g + 5 = -3*k. Is -5 greater than or equal to k?
True
Let z be 0*(2 - -3)/(-10). Let l = -8 - z. Is -7 at least as big as l?
True
Let z be (-3)/(-15) - 274/(-5). Let h be (-33)/z + 6/10. Is h != -5/4?
True
Let y(x) = -x**3 - 7*x**2 + 10*x + 15. Let v be y(-9). Is v at most as big as 88?
True
Let d be (3 - 11)*(-4)/32. Let y(g) = -2*g - 7. Let v be y(d). Suppose 6*t + 27 = 3*t. Is t != v?
False
Let j = -277/4104 + -1/152. Which is smaller: 3/2 or j?
j
Let o = -6221/9 - -692. Let c = -19/36 + o. Which is bigger: c or 8?
8
Let x = 346/9 - 374/9. Which is smaller: x or -4?
-4
Let p = 78 - 78.6. Let k = -0.54 - p. Let s = 35/3 - 12. Is k greater than s?
True
Let w be 3/3 - (-8)/(-8). Are w and -3/386 unequal?
True
Let j = -553 - -593. Which is smaller: j or 43?
j
Let o = 0.143 + -0.044. Let u = -0.049 + o. Is u at least as big as 1/3?
False
Let c = -19 - -20. Let b be (-166)/(-60) + (8/(-12) - 0). Which is smaller: b or c?
c
Let z = 314 - 5653/18. Let s(t) = t**3 + 2*t**2 + t. Let l be s(-1). Which is smaller: z or l?
z
Suppose 15*g - 26 = -146. Which is smaller: g or 44?
g
Let a(h) = 2*h + 13. Let l be a(-6). Let s be (-115)/10 + 1 - (l - 1). Does -12 = s?
False
Suppose -4*b + 8 + 4 = 0. Suppose b*g + 3 = t, -2*t + 3*t - 4*g - 3 = 0. Suppose a - 2 = -t. Are a and 2/13 nonequal?
True
Suppose -5*x + 10*x = 15. Suppose -58 = -x*o + 86. Which is greater: o or 49?
49
Let w = 0.16 + -0.26. Which is greater: w or -26?
w
Let d be 46308/(-153) - (-15)/9. Is -302 <= d?
True
Let i = -1300 + 1298.7. Are 6 and i non-equal?
True
Let c = -255 - -171. Let s be (-14)/(-24) + 21/c. Which is smaller: s or -1?
-1
Let v be 2/7 + (-4071)/161. Let j be (-16)/v - (22/6 - 3). Which is bigger: -1 or j?
j
Suppose 0 = -u + 4, u - 40 = 4*k - u. Let j be k/(-40) + 1/(-5). Let n be (6/(-4))/(210/10). Is n > j?
False
Let c = 722 - 721.8. Which is smaller: 32/11 or c?
c
Suppose -1935 = -214*b + 229*b. Which is greater: -642/5 or b?
-642/5
Let g = -62/3 - -641/30. Are 0 and g equal?
False
Let p = 18 + -10. Let r be p/6*30/(-140). Which is bigger: r or 1?
1
Let z = 3.05 - 3.55. Are 0.08 and z nonequal?
True
Let w be (35/(-5) - -5)*8. Let m be -20 + 2/(-3)*-3. Which is bigger: w or m?
w
Let m(a) = 2*a**3 - 4*a**2 - 2*a - 7. Let z be m(5). Let j = z + -71. Is j greater than 61?
True
Let p be (-2)/1 - (5 + -9). Let z be (36/54)/(p*(-2)/6). Which is greater: -7/6 or z?
z
Let k be 72*(2 - (-4)/(-3)). Let m = k - 29. Let b = 21 - m. Is b equal to 1/7?
False
Suppose 28*n - 81 = 31*n. Which is smaller: -25 or n?
n
Let x = 0.606 - 0.631. Is 0.3 <= x?
False
Let c = -80 + 55. Let d = 30 + c. Is d equal to -0.1?
False
Let g = 17 + 8. Suppose -x - 10 = 5*l - 2*l, 5*l = -g. Suppose -3*v = -x*v - 12. Which is smaller: v or -0.1?
v
Let r = -13325/4 - -3315. Is r less than -15?
True
Let n(x) = x**3 + 5*x**2 + x - 2. Let r be n(-4). Which is smaller: 13 or r?
r
Let 