 c(f) = f**2 - 23*f - 26. Let h be c(24). Which is smaller: 2 or h?
h
Suppose -v - 2*t = 3*v - 28, 5*v - 32 = -t. Let u(l) = -3*l**2 + 8*l - 5. Let f be u(2). Let b = f - v. Is b less than -7?
False
Suppose 0 = 4*d - 9 + 29. Let h = 5 + d. Let r = 5 - h. Which is bigger: 2 or r?
r
Let w = -2200/7 - -314. Is w at most as big as 1140?
True
Let u = -30 + 18. Let b = -11.98 - u. Let v = -0.22 + b. Do v and -1/2 have the same value?
False
Let k = -18 - -17. Let y be k*(3 + -4)/1. Which is smaller: 2/23 or y?
2/23
Suppose -4*v = -2*n - n - 12, -3*v + 38 = 5*n. Suppose -2*y + 2*s + 12 = 0, -v = 3*y - 2*s - 20. Let c be 1/y - 34/4. Is c equal to -9?
False
Suppose 0 = -20*d - 558 + 498. Let y = 88991383933/40022512362 - 55/8702438. Let v = 2/1533 - y. Which is smaller: d or v?
d
Let z be 339683/63 + (-2)/9. Let w = z + -5381. Which is smaller: w or 11?
w
Let a(m) = 10*m + 87. Let x be a(-9). Is -10/3 >= x?
False
Suppose -8*p = -3405 + 133. Is p bigger than 0.1?
True
Let u(t) = t**2 + 7*t - 1. Let q be u(-7). Let i(l) = l**2 - 11*l - 10. Let k be i(12). Suppose 4*f - 8 = -k*b, 4*f + 3*b = -b + 12. Which is smaller: f or q?
q
Let i(b) = 2*b + 12. Let p be i(-11). Let o = -28 - p. Let c be 3/14*8/o. Is c greater than or equal to 1?
False
Let k be (-110)/38 - (-16)/(-152). Which is smaller: -21/13 or k?
k
Suppose -8 = -2*h - 3*l + 31, 4*l = -5*h + 101. Suppose -3*m - h = m - s, 0 = 2*m - 2*s + 12. Let g be (-558)/135 - (m + 1). Is 0 <= g?
False
Suppose 41*g = 10121 - 38206. Is g <= -685?
True
Let v = 44201/7 - 6327. Which is smaller: v or -14?
-14
Suppose 2 + 28 = 5*x. Suppose -l = -14 + x. Let j = l - 7. Does -4/15 = j?
False
Let h(s) = -3*s**2 - 9*s + 4. Let n be h(-3). Suppose n*u - 1 = -b - 4, 4*u + 23 = 3*b. Is -1 less than or equal to u?
False
Let a = -42 + 62. Suppose -44*o - 154 = -51*o. Which is smaller: a or o?
a
Let k be (-14)/(5/(-1925)*-5). Which is smaller: k or -1077?
k
Let b(f) = -f**3 - 27*f**2 + 9*f + 79. Let n be b(-27). Is n < -651/4?
True
Let j be 45/(-30)*-2*1 - -72. Let z be (-110)/j + 3*3/9. Which is bigger: z or 1?
1
Let u(o) = o - 2. Let v be u(4). Let i be 138/630 + v/(-7). Which is smaller: -0.1 or i?
-0.1
Let d(x) = 5*x**2 - 14*x + 74. Let m be d(8). Which is bigger: 281 or m?
m
Let i = 3.71 + -3.81. Which is smaller: i or -114/11?
-114/11
Let i = -61 - -64. Suppose 53 = -t + i*a, 6*t + 180 = t - 2*a. Is -37 at least as big as t?
True
Let y = 46 + -40. Suppose y*d - 4 = 2*d, -i - 18 = d. Suppose n + 3*n + 72 = 0. Which is smaller: n or i?
i
Let t be ((-4)/(-10))/(10 + 528/(-55)). Let n = -88/39 + 7/3. Is t equal to n?
False
Suppose -2*g = 2*m - 216, 3*m - 316 = -5*g + 230. Is -2 bigger than g?
False
Suppose 3957 - 845 = -5*m - f, -1875 = 3*m - 2*f. Let v be 2/6 + m/42. Which is smaller: -14 or v?
v
Let b = -0.138 - -2.738. Which is smaller: b or 2/7?
2/7
Let f = 14.1 + -14. Let k = 0.3 - 21.3. Let j = 20.8 + k. Which is smaller: f or j?
j
Let p be (25 - 0)*48/324*9. Is 32 >= p?
False
Let f be -25 + 37 - 34/6. Suppose 17 = 2*y + 3. Which is smaller: y or f?
f
Suppose 3*t - 6 = 5*t, -57 = 3*i - t. Is i smaller than -20?
False
Let o = -17969/121 + 1/242. Let t = 1197/8 + o. Which is smaller: 0 or t?
0
Let q = -75 - -747/10. Let g = -1/10 + q. Which is smaller: g or 0.1?
g
Let n = -108 - -157. Let s = n - 31. Is s >= 17?
True
Let z = -1333811/11265 - -7/2253. Let c = -118 - z. Is c less than -11?
False
Suppose -17 + 5 = -3*a. Let i be (4/(-5))/((-168)/35 + 5). Let g be 5/i + (0 - -4). Which is greater: g or a?
a
Let h = -2/3 + 140/129. Which is greater: h or 0?
h
Let h = 0.1526 + -3.1526. Which is bigger: h or 1/81?
1/81
Let q = -234/5 + 47. Suppose 0 = -3*v + 2*v. Suppose v = -l + 3*l. Is l > q?
False
Suppose 3*d = -3*j - 138, 180*d - 177*d - 120 = 3*j. Are j and -37 equal?
False
Let k = 285 - 256. Are 29 and k unequal?
False
Let n = -10 - -8. Suppose 2*g - 4*g + 16 = 0. Suppose 5*k = g*k. Is k less than or equal to n?
False
Suppose 14 = -2*v - 3*g - 9, 36 = -4*v - 4*g. Suppose 5*t - t + 2*q = -300, -86 = t - 5*q. Let a be v/8 - 30/t. Which is bigger: a or -1?
a
Suppose 6249 = 5*g - 4*m, g + 2*m - 1244 = -3*m. Which is smaller: 1248 or g?
1248
Let h be (18/513)/((-5)/(-3)). Let v = -60 + 59. Which is smaller: v or h?
v
Suppose -11*l + 4553 = s, -l - 18*s = -20*s - 416. Are l and 411 nonequal?
True
Let h = -60 - -59.92. Let j = h + -2.92. Which is smaller: -3/7 or j?
j
Let k(d) = -3*d + 12. Let m be k(4). Let o be (-5 - m) + 3*3. Is 5 smaller than o?
False
Suppose 0 = d - 5*b + 54, -4*d - 2*b + 6*b = 184. Which is greater: d or -46?
d
Let p be -2*6/4 - 1. Let h(x) = x**3 - 3*x**2 - 6*x + 3. Let b be h(4). Let i = b - p. Do i and 9 have the same value?
False
Let b = -253 - -250. Is -16/7 greater than b?
True
Let o = -178993/7 + 25529. Let c(k) = -k**2 - 2*k + 6. Let h be c(6). Let p = h - o. Which is smaller: p or 0?
p
Let d = -9 + -2. Let k = -10 - d. Suppose -2*q - k = 13. Which is greater: q or -9?
q
Let g(t) = -t**3 - 5*t**2 + 5*t. Let k be g(-6). Let d be 7/3 + (-8)/k. Is -5/16 != d?
True
Let x = 1.48 - 1.46. Is x < 20?
True
Let s be ((-20)/(-6)*372/(-10))/(-2). Let i = s + -63. Is i less than or equal to -2/17?
True
Let f = 16/5 + -1083/340. Let r = -97 + 99. Suppose 5*g = 2*q - 7*q + 15, 0 = -r*g + 6. Is f at least as big as q?
True
Suppose -10*o + 12*o = -5*s + 42, 0 = 5*s - 5*o - 35. Let b be (-4 - -1)*(-6)/9. Suppose b*j - 16 = -0*j. Are s and j unequal?
False
Let d be 0/(-7 + 0 - -6). Is 2/281 > d?
True
Let m(o) = -o**3 - o**2 - 4*o + 2. Let u be m(2). Let a = -9 + 6. Let h be (-4)/a - 3/u. Is 2 > h?
True
Let r be 4/(-312)*1523/(-1). Let g = 26/283 - -33521/1698. Let x = r - g. Is 0 less than x?
False
Let m be (-5)/75*110/(-1089). Which is smaller: m or 0?
0
Let j(b) be the second derivative of -b**3/3 + 5*b**2/2 + b. Suppose 2*m - 5*u = 15, 0*m - 3*m + 17 = -2*u. Let z be j(m). Which is bigger: z or -6?
z
Let c = 90 - 150. Let k = c - -46. Which is bigger: -29/2 or k?
k
Suppose 34 = -4*q + 6. Let c(h) = h**2 + 9*h + 7. Let l be c(q). Let d be (-3)/l - 15/35. Is -4/3 less than or equal to d?
True
Let z be (-4)/(-6)*(396/129 + -3). Let m = 2 + -4. Let d be (1/m + 0)*-2. Which is smaller: z or d?
z
Suppose x - 5*i = 8, -i - 2 = 2*x - 7. Suppose -18 = -0*t + 2*t + 5*d, -x*d - 17 = -5*t. Let s be (t/(-2))/(1/4). Is -6 at most s?
True
Let o = 30 - 27. Suppose -f = o*k + 6, 3*f - 6*k + 2*k + 5 = 0. Let t(y) = y - 3. Let b be t(f). Which is bigger: -1 or b?
-1
Let s be (-1)/(-2)*(-5)/(-20)*-8. Which is greater: 3/100 or s?
3/100
Let h = 0.7 + 1.3. Let x = -2.5 + h. Let p = 3/52 + 9/13. Do p and x have the same value?
False
Let s be -5 - -6 - -1*1. Let p(f) = f**3 + 4*f**2 + f - 4. Let k be p(-3). Suppose 0 = c - k*c. Is s less than c?
False
Let n(y) = y**3 + 5*y**2 - 14*y + 6. Let d be n(-7). Suppose 7*m - d = 15. Which is bigger: m or 5/3?
m
Let q(i) = -i + 19. Suppose -4*d + 5*f = 5 - 67, 4*d - 4*f = 60. Let b be q(d). Let l(r) = r**3 - 7*r**2 + 4. Let m be l(7). Which is bigger: m or b?
b
Suppose 0 = 6*f - 3*f + 30. Let k be -4 - -4 - (-36)/(-3). Let g = k - f. Are -3/5 and g nonequal?
True
Let p be 4/(-14) + (-87)/(-84). Is p <= -5?
False
Let d = -765/2 - -382. Which is smaller: d or -765?
-765
Let z = 506 + -506.1. Is z > 5/107?
False
Let f be ((-13)/(65/30))/2. Let x be -2 - (f - 10)/(-1). Which is smaller: x or -2?
x
Let b = 151 - -50. Suppose 3 = -y, -5*w - 2*y + 0*y - b = 0. Are -40 and w non-equal?
True
Let s = 1 - 3. Let d = 1.9 + s. Let o be (-69)/(-138)*(-8)/14. Are d and o equal?
False
Let y = -33 - -33.5. Let s = 3.5 + y. Do 3 and s have different values?
True
Let h = 0.06 - 28.06. Let g = 27.4 + h. Is 0 bigger than g?
True
Suppose 0 = 69*x - 133*x + 63*x. Let b be 2/68*(-2 + 4). Which is smaller: b or x?
x
Let r be -2*1/(-8) + (-931)/(-56). Which is smaller: r or 18?
r
Let q be (222/72 + -3)/((-6)/(-24)). Let v(w) = -5*w**2 - 3*w. Let o be v(-2). Is q greater than o?
True
Let f be 4786/8631 - (0 - 0). Let o = f + 1/959. Suppose -4*u + 2*p + 4 = 0, 3 = 3*u - 2*p - 1. Which is bigger: o or u?
o
Suppose -2*q = -4*k + k + 72, -80 = 2*q + k. Are -39 and q equal?
True
Let k(y) = y**2 + 13*y + 32. Suppose g + 29 = 24. Let c be k(g). Is -6 greater than c?
True
Let u = 50/663 + 4/51. Which is bigger: u or 1?
1
Let n 