*l - 4*b = -42. Let d be 8/(-6) - (-6)/l. Let k be ((-2)/(-12))/(4/(-32)). Do d and k have the same value?
False
Let y = 71 - 65. Suppose -2*f = -10, 0 = -m - f + 48 + y. Which is smaller: m or 47?
47
Let l = -158 - -164. Let q(z) = -z**3 + 5*z**2 + 6*z - 2. Let b be q(6). Which is bigger: b or l?
l
Let z be 5 - (0 + (1 - (-1 - 2))). Let h be z*8/(440/(-105)). Which is greater: -3 or h?
h
Suppose -3*t - 2551 = -3*v - 238, 4*t + 3*v = -3084. Which is greater: 0.1 or t?
0.1
Let s = -134/39 - -6868/2067. Let l = s - -327/1484. Which is smaller: -1 or l?
-1
Suppose 99 - 104 = 5*i. Let k be (-4)/(-10) - 2/3. Is i less than or equal to k?
True
Let j = -18323/557931 - 1/4611. Is j less than -1?
False
Let n be ((-48)/(-15) - 2)/(6/220). Suppose 0 = -4*u + n - 48. Let f be (-58)/(-60) - (2 - 1). Which is bigger: u or f?
f
Suppose 0 = -7*l - 2*l + 54. Suppose 2*c = l - 138. Is -66 at least c?
True
Suppose -1185 = -4*k + 3*b, 651 = 4*k - 2*b - 531. Is 296 at most k?
False
Let j = -11.11 + -2.58. Let d = j - 0.31. Which is greater: d or 1?
1
Let y(i) be the third derivative of i**6/60 + 2*i**5/15 + 23*i**2. Let z be y(-4). Which is bigger: z or -1/48?
z
Let q = 11 + -11. Let n(l) be the first derivative of 3*l**2/2 - 2*l + 35. Let b be n(q). Which is smaller: b or -20/7?
-20/7
Let y be 5*(1 + 0 - 0). Let a be (2 - 0/(-1))/y. Let t = 44 + -46. Is a < t?
False
Let p = -0.999 - -1.199. Is -0.033 less than p?
True
Let w = 1063 - 657. Which is greater: w or 407?
407
Let u = 47.3 + -48.3. Let z = -1 - 7. Is z at most u?
True
Suppose -w - 3*l - 28 = 0, 17 = -w - 2*l - 6. Are -21 and w non-equal?
True
Let c = 0.111 + 0.022. Which is smaller: c or -1/3?
-1/3
Let w = 0.83 - 0.8. Let i = -0.15 + 0.13. Let g = w + i. Do g and -0.1 have different values?
True
Let g be ((-1)/3)/(32/(-3936)). Which is smaller: g or 39?
39
Suppose 352*n = 343*n + 8361. Is n smaller than 930?
True
Let n be ((-16)/12)/(5/(-540)). Which is smaller: n or 722/5?
n
Let g = 63 + 3. Let d = 64 - g. Which is smaller: d or 3/4?
d
Suppose 5*w - 5*y = -25, -15 = -2*y - 5. Let l(v) = -22*v**2 - v - 1. Let m be l(-1). Let d be (68/m + 2)/1. Which is greater: w or d?
w
Let o = 0.091 + -0.069. Let q = o + 46.978. Which is smaller: q or 0?
0
Suppose -22*k + 17*k = -115. Let s = 21 - k. Let g be s/(-10) + 6 + -6. Which is greater: g or -1?
g
Let g be (-4 + 5)*2/(-342). Which is bigger: -0.1 or g?
g
Let x = -0.7 + 3.5. Let i = x + -2.8. Is i bigger than 12?
False
Let b(z) = z**2 + 2*z + 8. Let q be b(-6). Let d = 36 - q. Let a be ((-5)/(-10)*d)/1. Is 1 >= a?
False
Let d be (23/8 - 3)/(-13 + 0). Which is smaller: 2 or d?
d
Suppose l = -4, -5*w + w + 4*l + 36 = 0. Let m(p) = -p + 9. Let a be m(w). Suppose -2*s - 15 = -7*s. Which is bigger: a or s?
a
Let b = 205 - 125. Let t = 8 - b. Let w be (-15)/t - (-2)/12. Which is smaller: 0 or w?
0
Let y be ((-10)/25)/(4/(-75)). Let u = 229/30 - y. Is 13 at most as big as u?
False
Let c = 8 + -6. Suppose -18 = -s - c*s. Let x be ((-105)/s)/7*-3. Which is smaller: x or 9?
x
Let t(g) = -g**2 + 11*g - 8. Let x be t(9). Let n be (20/8)/((-1)/x). Is n > -24?
False
Let p be 3/(-3)*-4*(88/(-8))/(-176). Let h = 27.6 - -5.4. Which is greater: p or h?
h
Suppose 13*t + 67*t = -80. Does 6/167 = t?
False
Let j(t) = -3*t**3 - t**2 - 2*t - 1. Let p be j(-1). Let s = -38 - -42. Suppose -h - i + 5 = -0*i, -s*i = 3*h - 18. Is p >= h?
True
Let n = 122937329122/189567 - 11024782/17. Let d = n + 2/413. Let q = -149 - -149. Is q at least d?
True
Let q = 44 + -41. Let c be -5*q*(-4)/(-30). Which is smaller: c or -3?
-3
Suppose 3*g = 7 + 2. Suppose -2*u - 2*b + 12 = -0, 4*b = -g*u + 13. Are u and 1 non-equal?
True
Let h be -11 + (-1 - 0)*1. Let c = -9 - h. Let u be -3 - (-2 - c) - 5. Is u at most as big as -3?
True
Let c be (-1)/(-21)*78*20/80. Is c >= 0?
True
Let i = -43 + 40.9. Let a = -2.3 - i. Which is bigger: a or 1/7?
1/7
Let k = -113525/6 + 19235. Let h = 312 - k. Are h and -1 nonequal?
True
Let z = -2 + 1. Let o = 6135/8 - 768. Is o at least z?
False
Let i be 2/4*(-5698)/(-539). Which is smaller: 6 or i?
i
Suppose -5*k = b + 3*b - 1, 2 = 2*b + 2*k. Suppose -6 = -5*h + 2*h. Let z = h - 0. Which is bigger: b or z?
b
Let r = 33 + -31.03. Let g = r + 0.13. Let z = -1.7 + g. Which is bigger: z or 0.2?
z
Let r = -100.2 - -91. Let c = r - -9. Let z = 0.8 - c. Is z < 1/11?
False
Let h = 96 - 184. Let r be (h/55)/((-1)/(-5)). Which is greater: -7 or r?
-7
Suppose 40 = -90*t + 89*t. Which is smaller: t or 0?
t
Let r(t) = -3*t**2 - t. Let z be r(1). Let v = -21 - z. Is -17 > v?
False
Let o = 2/349 + -55148/1047. Let t = 53 + o. Which is bigger: -1 or t?
t
Let r = 1 - 81. Let z = -1931 + 1850. Is z > r?
False
Let s = -0.1378 - -0.1378. Let k = 2 + -2. Let o = 0.08 - k. Does o = s?
False
Suppose 0 = -51*o - 47 - 4. Which is greater: -132 or o?
o
Suppose 4*q + 50 = 2*x, x - 71 = -x - 3*q. Is 221/7 at most x?
False
Suppose 5*l = -2*h + 8*l + 625, h - 5*l = 330. Is -2 < h?
True
Let t(m) = m + 7. Suppose 4*k - 20 = 0, -3*n + 3*k = 2*n + 40. Let j be t(n). Let y = -972 + 973. Which is bigger: y or j?
j
Let a = -19 + 9. Let j be 1/(4/(-12))*-10. Suppose 5*x - 4*o = 4*x - j, -40 = 2*x - 4*o. Is x >= a?
True
Let o = 6083683/743 + -8188. Let r = o - 14112/3715. Which is bigger: r or -5?
r
Suppose 42 - 50 = -4*f. Is f at least 9/14?
True
Let i = -22 + 63. Let g = i + -61. Is g at least -20?
True
Let a = -4/11 - -5/44. Suppose 2 + 5 = -s. Let j be -1*(4 + s - -3). Which is bigger: j or a?
j
Let v(b) = 5*b - 17. Let l be v(3). Let n be 1/(-2)*132/72. Which is greater: n or l?
n
Let q be 2/7 - ((-92)/(-14))/2. Let k be 0 + q/9 - (-21)/45. Which is smaller: 1 or k?
k
Let z be 21/12 + -2 - (-350)/(-8). Let o be ((-6)/24)/((-49)/z + -1). Which is bigger: -2 or o?
-2
Let r = -1 - -3. Let p be (2/r + -2)/1. Let t = 377/231 + -11/7. Is t greater than or equal to p?
True
Let g = 0.1162 + 13.2338. Is 0 smaller than g?
True
Let d be (6/(-2))/3 + 1. Let t be (-9)/6*8/(-6). Suppose d = -t*v - v - 9. Which is smaller: v or 0?
v
Let d be (-32)/6 - (-6)/(-9). Let t(i) = i**2 + 8*i + 4. Let n be t(d). Let m(x) = x**2 + 9*x + 26. Let f be m(n). Is f less than 18?
False
Let i = 0.3 - 0.3. Let a = i + -7. Let p = a - -7. Which is greater: p or -0.2?
p
Let i be ((-5)/((-180)/(-8)))/((-12)/(-63)). Which is greater: 0 or i?
0
Let z = -6 - -11. Suppose 2*g - z*x = 3*g - 18, -5*g - 4*x + 27 = 0. Suppose -g = -n + 4*n. Are n and -1/3 unequal?
True
Let u be (-5)/6*(-45)/100. Let l(v) = -2*v**2 + 7*v - 17. Let r(h) = -h**2 + 3*h - 9. Let c(w) = 3*l(w) - 5*r(w). Let n be c(5). Which is bigger: u or n?
u
Let f = -0.86 - -0.91. Let r be 5 + -2 - 2 - 137. Let v = 950/7 + r. Which is bigger: f or v?
f
Let h(d) = d**2 + 6*d. Let u be h(-6). Let b = 4 - 2. Let r be 69/(-63) - (b + -3). Is r <= u?
True
Suppose i - 5*i + 84 = 0. Let p = i - 41/2. Let a = 0.43 - 0.4. Which is greater: a or p?
p
Let x be 430/560 - (-2)/(-14). Which is smaller: x or -4?
-4
Let t = 231 + -9002/39. Which is smaller: 1 or t?
t
Suppose 0 = -20*k + 25*k + 440. Which is greater: -90 or k?
k
Let i be (18/54)/(3/((-36)/(-8))). Let y = -209 - -634/3. Which is smaller: y or i?
i
Let d = 0.0027 - 49.8027. Let b = 50 + d. Is b less than or equal to 0.05?
False
Let q = 587 + -2962/5. Is q equal to 2/15?
False
Suppose 3*w = d - 4 - 7, -1 = d + w. Suppose 3*g + 3*v = -66, 3*g - d*v = -2*g - 138. Which is smaller: -25 or g?
g
Let x = 652/4743 - 14/93. Suppose 4*l = -4*i - 8, 31*l - 26*l = -4*i - 8. Are l and x nonequal?
True
Let a be 340/55 - (-4)/(-22). Suppose -4*n - 2 + a = -g, -n + 22 = 5*g. Let q be g/(-48) - (-2)/6. Which is smaller: q or 1?
q
Let g(x) = -x**3 + 9*x**2 + x - 7. Let c be g(9). Let i(k) = -2*k + 2. Let w be i(c). Which is smaller: w or -4/7?
w
Suppose 2*y = o + 2632, 0 = -3*y + 8*o - 3*o + 3955. Which is smaller: y or 1316?
y
Let a = -2.7 + 3. Let n = a - 0.6. Let j = -0.5 - n. Which is smaller: j or 0?
j
Let z be 4 - (2 - (0 - -2)). Suppose z*c + 5 = f, c - 2*f = -f - 5. Which is smaller: -2/5 or c?
-2/5
Suppose 10*m - 4*m = 252. Let z be 62/m - (-1)/(-7). Let d = 1.1 + -1. Is z equal to d?
False
Let h = -216 - -229. Are 3 and h nonequal?
True
Let b(d) = 266*d - 10. Let g be b(-1). Which is smaller: g or 0.1?
g
Suppose -8 = 2*t - 6. Which is smaller: -2