32. Let a be q(30). Which is smaller: a or i?
a
Suppose 0 = -18*f + 17*f - 86. Let z = -91 - -6. Which is smaller: f or z?
f
Let c = -5 - 16. Which is bigger: c or -46?
c
Let w be 37/5 + (-8 - -1). Is 110 less than or equal to w?
False
Let u = 1108/945 + -4/135. Let q(o) = o**2 - 4. Let x be q(3). Let c = -5 + x. Is u bigger than c?
True
Let t be (3/(-6))/((-4)/(-8)). Let h be 11/(-22) - 1541/(-4230). Let u = h - -1/423. Which is greater: u or t?
u
Let m = 349 - 349.12. Let c = -1/78 - -59/39. Are c and m unequal?
True
Let y = -45.6 - -44.6. Which is greater: y or -3.8?
y
Let o = -0.1409 - -0.0009. Which is greater: o or -1?
o
Suppose 4*o = -0*o - 12. Is o smaller than -30/13?
True
Let p = 11.3 + -2.3. Let a = -2870 + 2870.1. Which is greater: p or a?
p
Let l = -474.99 - -475. Do l and -12 have different values?
True
Suppose 26*q - 23425 = 51*q. Is q at least as big as -939?
True
Let g(m) = -2*m**2 - 17*m + 36. Let f be g(-13). Which is smaller: f or -159/2?
f
Let y be -25 - -23 - (1/(-1) - -58). Let q = y + 46. Is q < -47/4?
True
Let g = -211.7177 + -3.4923. Let p = -213 - g. Let n = p + -0.21. Which is smaller: n or -0.1?
-0.1
Let h = -1448 + 799. Is -650 at most h?
True
Let k = -5 + 3. Let p = 21.209 - 5.209. Are k and p unequal?
True
Suppose -u = p - 3, -3*p + 5 = 4*u - 3*u. Suppose -5*t + u*k = 2017, -1231 = 3*t - k + 5*k. Let w be (t/(-50))/(-9) - -1. Is 1 != w?
True
Let p = -0.6 - 4.3. Let t = p + -20.1. Is t at least -0.1?
False
Let w be (-1)/4 + ((-99)/44)/9. Is -6/19 at most w?
False
Suppose -4*w - 4*q = -86 - 1634, 3*w = 3*q + 1320. Which is greater: 436 or w?
436
Let z = -19735.01 + 19883. Let q = z - 148. Which is smaller: q or -1/2?
-1/2
Let c = 8.2 - -1.8. Let n = c + -2. Let m = -4 + n. Is m less than or equal to 0.1?
False
Let i = -238 - -235. Which is smaller: i or -1/18?
i
Let q be 6/10 - 336/(-15). Let y = q + -21. Suppose -8*p = -3*p - 10. Are y and p unequal?
False
Let l be ((-2)/6)/((-10)/(-12)). Let t be 7/3 - 4/(-6). Let v be 2*(-4)/(-24)*t. Which is smaller: v or l?
l
Let w be (2 + 0 - 55)*3. Let l = 481/3 + w. Suppose 7*a = 2*a + 5*s - 25, -3*s + 15 = 3*a. Which is bigger: l or a?
l
Let t = -15 - -27. Let h = 7.5 + 4.5. Let y = t - h. Which is greater: 0.2 or y?
0.2
Let z = -34 + 29. Let y be 8/(-20)*z/(-4). Do -0.09 and y have different values?
True
Suppose -5*t + 10*t = w - 24, -3*w + t + 2 = 0. Is 3/14 less than w?
False
Suppose -2*g + 12 = f, -g + 15 = -0*g - 4*f. Suppose -9 = 4*q + g. Let r be -4 + 4 + q/66. Which is bigger: r or -1?
r
Let o be (2 + -1)*(5 - 5). Suppose -3*n - 4*n - 210 = o. Let x be (-3)/(-9) - 2/n. Which is bigger: x or 0.2?
x
Let t = -956/9 + 106. Let d(b) = -b + 15. Let x be d(14). Let r be (x/(-2))/((-49)/(-14)). Does r = t?
False
Let n be 0 - (1 + -3 + 2). Suppose -5*j - 3*a + 2 = 0, -4*j - j - 5*a + 10 = n. Let s = -283/190 - 1/95. Which is smaller: j or s?
j
Let n(r) = -r**3 - 5*r**2 + 14*r - 14. Let o be n(-14). Let b be 804/o + 8/(-14). Suppose 6*v = 3*v. Which is smaller: v or b?
b
Let k be ((-34)/(-72))/(20/30). Which is bigger: 2 or k?
2
Let v(p) = 32*p + 575. Let x be v(-18). Let w be ((-1)/(-2))/(1/(-4)). Are x and w equal?
False
Suppose 0 = -3*i + 2*i + 17. Suppose -i*t = -16*t + 1. Which is smaller: t or -4/15?
t
Let u be (-55)/(-25)*3/11. Which is greater: -83 or u?
u
Let z be 4*(-8)/160 - 48/(-230). Let j = -356/1265 + z. Which is smaller: 1 or j?
j
Suppose 5*r - 84 = 2*r. Let x = 2 - -2. Suppose -4 + r = -x*h. Is -5 < h?
False
Suppose -4*s - 9*p = -5*p - 644, -318 = -2*s - 3*p. Is 164 > s?
False
Suppose 5*q = -2*h - 21, -6 = 2*q + 2*q - 2*h. Suppose -4*k - 21 + 1 = 0. Let a be -2 + k + 4 - q. Which is smaller: a or 4/3?
a
Suppose -3*f + 246 = 51. Let l be f/(-10) + (-3)/(-2). Let x = -9 - -4. Is x >= l?
True
Let i = 1150 + -2025. Which is greater: i or -1?
-1
Let r = -6341 + 367805/58. Is 0 greater than r?
False
Suppose 3*p - 18 = -3*p. Suppose 43 = p*b - 41. Do b and 27 have the same value?
False
Let q(s) = s - 2. Let y be q(-7). Let m = y + 10. Let j be m/3 - (1 + -1). Which is bigger: j or -5?
j
Let f be ((-37004)/(-33))/(8/6). Do 840 and f have different values?
True
Let g = 269 - 236. Which is greater: g or 30?
g
Let r = 0.9 - 0.902. Let v = 0.098 - r. Which is smaller: -2/13 or v?
-2/13
Let z be (-1)/9*-3 - 103/3. Let x = z + 35. Which is smaller: -3/82 or x?
-3/82
Let b be ((-3)/2)/(-6 - 39/(-6)). Which is smaller: b or -1/15?
b
Suppose 0 = 56*t - 58*t. Is t greater than 1/268?
False
Suppose 0 = -6*x + 8*x - 24. Let n be 4*((-1)/x)/((-5)/10). Is 4/7 less than n?
True
Suppose 188 = 3*q + 59. Which is bigger: 35 or q?
q
Let a be 27962/(-410) - (-33)/15. Let i(m) = -33*m - 1. Let u be i(2). Which is smaller: a or u?
u
Let i be -3 + (-2)/2*4. Let l be (7 + 13)/(-2 - 0). Which is greater: i or l?
i
Let u = -907/85 - -6/85. Let l = u - -11. Let m be ((-784)/192 + 3/36)/38. Is m >= l?
False
Let f = -1499/19 - -79. Let b = f - -11/76. Suppose 2*t - s + 4*s - 7 = 0, -2*s = -t - 7. Is t less than b?
True
Let b(r) = r. Let m be b(7). Let d = -947 - -945. Is d equal to m?
False
Let y be 120/(-175) + 46/161. Let i = 2.93 + 0.07. Let w = i + 9. Which is greater: w or y?
w
Let q(l) = l**2 + 8*l - 10. Let d be q(-10). Let c be 1 + 9 - 0/(-6). Let r = d - c. Which is smaller: r or 2/7?
r
Let f(b) = b**2 - 15*b + 22. Let a be f(-7). Is a smaller than 178?
True
Let i = -3/799 + 9657/18377. Let n = 128/69 - i. Let v be -1*(0/(-2) + -1). Which is greater: n or v?
n
Suppose -11*b = -98 - 34. Which is smaller: b or 43/4?
43/4
Suppose -432 = 10*c + 1858. Is c > -230?
True
Let j be (1 + (104 - 6))/(-1). Is j equal to -100?
False
Let g be 7/3 - (-6)/9. Let t(o) = -2*o + 3*o**g + 3*o**2 - 2*o**3 - o. Let l be t(-3). Which is bigger: 8 or l?
l
Suppose u + 3*p = -9, 4*u = -4*p + 6 - 2. Let q = 7 - 10. Which is smaller: q or u?
q
Suppose 83*t = 37*t + 92. Let f be (-12)/(-1) + -1 + 2. Suppose 0 = -5*p - 2*r + f, -p - 2*p - 4*r = -19. Which is smaller: p or t?
p
Let f = 26153 + -26207. Let g(u) = 13*u - 1. Let j be g(-4). Is j equal to f?
False
Let z(h) be the first derivative of -3*h**4 - h**3/3 + 5*h**2/2 - 3*h + 1. Let w be z(1). Which is bigger: -12 or w?
w
Let h be 54/(-72) + ((-14)/(-8) - 2). Which is smaller: h or -7/20?
h
Suppose 38*l - 3249 + 13889 = 0. Which is greater: -278 or l?
-278
Let v(q) = -q - 7. Let n be v(-5). Let d = -9 + 14. Suppose 0 = t - o + 4, -o - 3*o = 3*t + d. Which is smaller: n or t?
t
Let y(v) = v + 11. Let l be y(-8). Let g = -2 + l. Let u be 3/9 + (-10)/24. Which is bigger: u or g?
g
Let i = 47.84 + -47.8. Is i equal to -0.02?
False
Let p = -41 + 106. Let r = -65.2 + p. Is -1/4 < r?
True
Let u be (1/9)/(8/12*15). Let t = -7/18 - u. Which is smaller: t or 63?
t
Let m = 51.93 + -51.9. Do m and 0.82 have different values?
True
Let n = 3.1 + -2.5. Let y = n + -0.4. Is -0.05 at most y?
True
Let z = 9 - 11. Let q be (-1)/z*(-11 - -9). Let m be 27/(-6)*6/(-9) - 5. Is q at least m?
True
Let b(o) = o**3 + 6*o**2 - o - 2. Let a be b(-6). Let d be (10/a*4)/(-2). Let g(x) = -x**2 - 5*x - 2. Let i be g(d). Are -3 and i non-equal?
True
Let g be 1/(3/4) + 3/(-9). Is g greater than -2/39?
True
Let p(m) = m**3 + m**2 - m - 1. Let x(w) = -4*w**3 - 4*w**2 + 6*w + 5. Let t(n) = 6*p(n) + x(n). Let u be t(-1). Let g = 3388/15 + -226. Is u bigger than g?
False
Let q(b) = b + 2. Let o be q(-3). Suppose -9*f = -4*f + 30. Let u be ((-15)/9)/((-14)/f). Which is greater: u or o?
u
Let y = 2 - -1. Let f = 184/19 - 8585/912. Let w = f - 1/48. Is w bigger than y?
False
Let w = -1.4 + 0.4. Let f = -3.49 + 3.43. Which is smaller: w or f?
w
Suppose -50*c = -0*c - 13350. Is 265 at most as big as c?
True
Suppose 0 = -21*a + 17*a + 12. Suppose j + 111 = a*q + 4*j, -j - 3 = 0. Which is smaller: 39 or q?
39
Let g = 20 + -19. Let n be 4/(g + 3) - -2. Let l be 40/35 + n/(-21). Is -2/39 > l?
False
Let p be 1/(4/5) + 5/(-4). Which is smaller: 26/25 or p?
p
Let o(i) = -4*i + 7. Let c be o(5). Let k = 18 + c. Let f = k + -12. Is -7 >= f?
True
Let f = -3 - -64. Let b = 60 - f. Which is greater: b or -1/12?
-1/12
Suppose -8*l + 9*l + 117 = 0. Let f be ((-3)/l)/(-1 + 0). Is f greater than -1?
True
Suppose 0 = 4*b + q + 15, 5*b = -2*q + 5*q - 6. Let t be (319/(-106) - b)/((-2)/(-8)). Is 0 <= t?
False
Let u be