9. Let g be n(-15). Is d equal to g?
False
Let j = -18 + 14.8. Let k = j + 4. Let y = -83.9 - -84. Which is greater: k or y?
k
Let l be ((-83)/48 - 1/(-2)) + 2. Let v = -7/16 + l. Let b be (1 - 1)/((-2)/(-1)). Is b at least v?
False
Let u = 5.52 + -4.52. Is u smaller than -7/2?
False
Let x(m) = m**2 - 15*m + 26. Let z be x(13). Let c be (-3)/(-6)*z/(-4). Is c at least -9/7?
True
Let j = -7.79 + 9.49. Is 5 less than j?
False
Let r = 45 - 72. Let s be r/36 + (-171)/(-276). Which is smaller: 0 or s?
s
Suppose y - 4*a = 3, -8*y - 4 = -6*y + 2*a. Which is greater: 8/35 or y?
8/35
Let i = 3 - 1. Let j = 12.958 + 0.042. Is j less than i?
False
Let w(u) = -2*u**2 - 28*u + 31. Let f be w(-15). Suppose -10*j - f = 9. Which is greater: 1/250 or j?
1/250
Let d(h) = 83*h - 67. Let n be d(2). Is n > 301/3?
False
Let m = -715 + 714. Let g = 0.03 + -0.03. Let c = 0.2 - g. Is m at least c?
False
Let q = -1425 + 1425.518. Which is greater: q or -3?
q
Let o(a) = -a**2 - 13*a + 18. Let m be o(-14). Suppose -r = -m*t + r - 6, -3*t = 5*r - 15. Let w be (-4)/(-42)*-3 - t. Is w at least as big as -0.2?
False
Let t = -2287 + 2286.9. Is t < -836?
False
Let q be -153 + -3*(-40)/(-15). Which is greater: q or -158?
-158
Let y(f) = f**3 - f**2 - 84. Let b be y(0). Let h = b + 230. Let p be h/12 + (-14)/84. Which is smaller: 11 or p?
11
Let g be 4/(-40) - (-121)/10. Let k be -11 + g + 19*(-2)/8. Is -4 at most as big as k?
True
Suppose 0 = -u - 3 + 8. Suppose -q + s + 23 = -2*s, u*q + 3*s - 79 = 0. Let b = 17 - q. Is b <= 4/5?
True
Let u = 3.88 - -0.12. Let z = u + -11. Are -1 and z unequal?
True
Suppose m = -4*l - 21, -2*l - 2*m + 8 = 26. Let j = l + 3. Let d be j/1*0/(-4). Which is bigger: -0.12 or d?
d
Let o = 17621236/37739 - 6070/13. Which is bigger: o or 0?
o
Let j = -0.68 + 46.58. Let g = j - 48. Let c = 2 + g. Do c and 3 have different values?
True
Suppose 10*n - 8*n = -88. Which is greater: n or -0.2?
-0.2
Suppose -5*y + 58 = -62. Suppose -2*a = -5*u + 26, 5*u = -4 + y. Let o = 7 - 11. Which is bigger: o or a?
a
Suppose -8*g = -7*g - 30. Let a be g/9 + 6/9. Suppose 0 = a*y - 2*y - 4. Is y not equal to 2?
False
Let k be (-2)/(-2*2/(-30)). Let m be (k/(-11))/(2/4). Is 3 less than or equal to m?
False
Let z = 43 - 43. Suppose -5*x + 4 + 31 = z. Is 9 greater than x?
True
Let q = -1056 + 1177. Which is smaller: -2 or q?
-2
Let f be -7*10/(-105) + -2. Is 33 equal to f?
False
Let y = -55 - -63. Suppose -j - j + y = 0. Let o = 1.97 - -0.03. Which is smaller: j or o?
o
Suppose -b - 3 + 8 = 0. Let g = -0.13 + 0.33. Which is bigger: b or g?
b
Suppose 10*t = 5*t + 20. Let l be 50/t*(-120)/(-50). Let a be 88/l + 2/3. Which is bigger: a or 3?
a
Suppose -4*w + 5*v - 86 + 288 = 0, 86 = 2*w + 5*v. Let o(l) = 2*l**2 - 4*l + 1. Let z be o(6). Is w at most z?
True
Suppose 4*h = -4*w + 1260, -2*h = 2*w + 3*w - 636. Which is greater: h or 314?
314
Let u be ((-24)/9)/(20/(-30)). Which is smaller: u or 2?
2
Let s = 27 - 1. Suppose -s = 4*k - 18. Which is smaller: k or -8/9?
k
Suppose -15 = 3*r - 8*r. Let s = -36 + 37. Is s at least as big as r?
False
Let v = 325/54 + -5/27. Which is smaller: v or 3/5?
3/5
Let l(f) = -f**3 + 4*f**2 - 4*f + 3. Let m be l(3). Suppose -4*a + 188 = 164. Let o be a/(-63)*3/(-8). Is o bigger than m?
True
Let t = -2.51 - -2.4. Let z = -0.36 - t. Which is greater: z or -1?
z
Let g = -5 + 9. Suppose -5*z - 18 + 7 = 2*f, z - 33 = g*f. Is -8 less than f?
False
Let m = 1/15212 + 29391/15713996. Let r = -2172/54749 + m. Let l(s) = s - 1. Let p be l(0). Which is bigger: r or p?
r
Let y be -7 + 11 - (-30)/3. Is -7 smaller than y?
True
Let c be 18/(-15) + (-1106)/(-805). Is c greater than 0?
True
Let q be 21/2*(-1 + -1). Let y = q + 27. Are 4 and y nonequal?
True
Suppose p + 2*b + 35 = 5*b, p + 2*b = -40. Let i = p - -39. Which is smaller: 15/8 or i?
i
Let v be 19/(-95) + -3 + 86/5. Let u = -2 - -4. Suppose -u*o + 31 = -0*l - l, -35 = -2*o + 5*l. Which is bigger: o or v?
o
Let j be ((-18)/2)/(2*2/8). Let f be (22 + -1 + 1)/(j/27). Which is smaller: -34 or f?
-34
Let o = 27.038 + -0.038. Let m = -26 + o. Is m < -6?
False
Suppose 0 = 5*t + 2*l - 889, -4*l - 291 = -5*t + 616. Which is smaller: t or 181?
t
Let q be 1/2 - 5348/8. Let k be q/(-816) - 2/(-4). Let o = k - -1/68. Which is greater: o or 1?
o
Let b = 8 - -3. Let w = -94 + 97. Suppose -w*v - b = 1. Which is bigger: -8/3 or v?
-8/3
Let r(t) = t**2 + 16*t + 2. Suppose d + 16 = -0. Let p be r(d). Let f = -7 + p. Do f and -4 have the same value?
False
Suppose -4*p = 4*u - 76, -2*u + 98 = -2*p + 7*p. Let o = p + -21. Is o smaller than -2/25?
True
Let k = 45 + -44. Which is smaller: 6/35 or k?
6/35
Let i = 69 - 72.5. Let o = 1.5 + i. Which is greater: -5 or o?
o
Let f = -13.8 - -57.8. Is f > 0?
True
Suppose 0 = 4*u - 13*f + 11*f - 122, -4*u - 5*f = -101. Is u not equal to 20?
True
Let p be 1 - -1 - (-3)/1. Suppose -5*v + 4*j + 37 = 0, 0 + 25 = 2*v - p*j. Let r = -3 - -4. Is r greater than or equal to v?
False
Let t be 1372/(-40) - (-65)/(-26). Is -37 at least as big as t?
False
Let j be (-1)/3 + 76/12. Let n = -36.82 - 0.18. Let f = -36 - n. Which is greater: j or f?
j
Let n = 724 + -732. Is n bigger than -21?
True
Let k = 38.3 - 0.3. Let l = k - 32. Which is bigger: 0.2 or l?
l
Let y(t) = t**3 - t**2 - 2*t - 2. Let o be y(-2). Let n = 40 - 49. Which is greater: n or o?
n
Let p be -2 + (-2 + -4)*3/(-6). Let j be 5/20*p/((-2)/98). Which is smaller: j or -12?
j
Let v = -150.1 + -12.9. Which is smaller: 2 or v?
v
Let m(w) = -2*w**3 - 33*w**2 - 2*w - 12. Let o be m(-16). Is -236 equal to o?
True
Suppose -8*w = -2*w + 384. Is w <= -64?
True
Let t be -5 + 2 + 7 - (3 - 1). Suppose 0 = -t*b - 1 - 53. Is -27 <= b?
True
Let b = 35.8 - 36. Let y = 50/3 - 151/9. Which is bigger: b or y?
y
Let x = 46 + -39. Let a = 695/3 - 2699/12. Are x and a nonequal?
True
Let b be 2/3 + 77/(-3). Suppose -18*a - 37 - 306 - 71 = 0. Is b less than or equal to a?
True
Let l = -8 - -6. Let d = 4762/7 - 680. Which is smaller: d or l?
l
Let p = -31 - -30. Which is bigger: p or -5/33?
-5/33
Let l be 2/(5046/24 - 6/(-8)). Which is greater: l or 0?
l
Suppose 4*t = -r - 98, -5*t = -2*r - 0*r + 116. Let j = t - -20. Let n be j - (-7)/((-196)/(-104)). Is -7 less than or equal to n?
True
Let i = -50 + 65. Let q be 3/(i/2)*(-5)/29. Is q at most as big as -1?
False
Let b = 133514/387 - 345. Is -1 at most as big as b?
True
Let n = -2/1943 - -73852/17487. Suppose -2 = -2*w + 4. Which is smaller: n or w?
w
Suppose 0 = -4*f - 20, -s - f = 4*s - 20. Suppose 0 = -2*l + 3*j + 5, l - 9 = -s*j - 0*j. Let t be (-13)/3 + -1 + l. Is t > 0.1?
False
Suppose 2 - 5 = -m. Suppose -2*a = 2*i - 9 - m, i = a - 2. Is 38/11 at most i?
False
Suppose -3*n - 586 = 5*m, -574 = 3*n + 8*m - 9*m. Does -192 = n?
True
Suppose 2*z + 12 = 2*k, k = -20*z + 15*z + 36. Which is bigger: 100/9 or k?
100/9
Suppose -19*n = -16*n - 24. Let c = -12 + n. Which is bigger: -7/2 or c?
-7/2
Let w = -36.963 + 37. Let b = w + -0.017. Is 4 less than b?
False
Let m = 21 + -36. Let i be ((-6)/(-16))/(m/(-1450)). Let t = i - 36. Is t greater than or equal to -0.2?
True
Let v(x) = 9*x**2 - 2*x - 599. Let s be v(0). Which is smaller: -598 or s?
s
Let h = 11.4 - 11.326. Let i = h - 2.074. Is i >= -13?
True
Suppose 0 = -2*w + 6*w - 20. Suppose -w*h - a + 19 = -3*h, 14 = h - a. Which is bigger: h or 12?
12
Let i = 81 + 60. Which is smaller: 144 or i?
i
Let z be 44/(2 + 2340/(-294) + 6). Is z greater than 1079?
False
Let g be (0 + 3 + -2)*1. Let u be (4/(-8))/g*0. Suppose 12 = -u*s - 2*s. Is s at most -6?
True
Let a be 6*(0 + (-3)/(-9)). Suppose 0*v + 8 = 4*v + 3*z, -5*v + a*z = -10. Let w be ((-5)/v)/(25/(-5)). Is 0.5 < w?
False
Let y(r) = -28*r**3 - r**2 + 3*r - 2. Let b be y(1). Let w = -38 - b. Is -12 at least as big as w?
False
Let a(u) = -u**3 - 2*u - 1. Let x be a(-1). Let c(k) = 2*k - 11. Let i be c(8). Suppose -z = -p + i, x*p = 3*z + 8 + 5. Is 1 at most as big as z?
False
Let k = -2978/265 - -56/5. Suppose -182 = 7*l + 91. Let a be 16/104 + 45/l. Which is bigger: k or a?
k
Let s = -1.61 - -0.31. Let g = 0.39 + -1.49. Let m = g - s. Which is greater: m or 2?
2
Let w be (-10)/(-25) - 3/(-5). Suppose -10 = -3*g - 2*b - 272, 5*g = b - 415. Let a be (-8)/g*(-3)/(-6). Which is bigger: w or a?
w
Suppose -k + 0 - 1 =