. Let x be k(-12). Let t be i(x). Let d be 0/(-1*(t - -1)). Is d bigger than 2/15?
False
Let m = -7291202/735 - -9920. Let d = 3653/8085 - m. Is d smaller than 1?
True
Let l = 9.07 - 10.84. Are l and -0.3 non-equal?
True
Suppose 7*b = 28*b + 126. Let v(s) = s - 28. Let r be v(14). Which is smaller: b or r?
r
Let p(g) = g**3 + 4*g**2 + g + 1. Let z be p(-4). Let h(d) = d**2 + 8*d - 7. Let n be h(-9). Suppose 21 = -n*m + 13. Which is smaller: z or m?
m
Let h = -749 - -17215/23. Is h greater than or equal to 0?
False
Let s be (-4)/8 - (-13)/13. Are s and -2/9 non-equal?
True
Suppose -2*l - 3*l + 5*n - 15 = 0, -5*l + 4*n - 15 = 0. Let f be 1/(4 + 125/(-30)). Let b be (-2*3/f)/(-1). Which is smaller: b or l?
l
Suppose 2*y + 29 = -9. Let r = y + 59/3. Which is bigger: r or 2?
2
Suppose 4*x = x + 42. Let y be x/(-35) - (-96)/(-10). Suppose -2*j - 3 - 17 = 0. Is j bigger than y?
False
Let j = 0.48 - -31.52. Let a be 3 + (-4)/2 + 0. Is j at most as big as a?
False
Let c be (-1)/(681/(-234) - -2). Is c at most 0?
False
Let j = 17/23858 + 541874723/143148. Let o = -3789 + j. Let s = 7/2 + o. Is s equal to 0?
False
Let w(j) be the first derivative of -j**2/2 - 3. Let d be w(-2). Suppose d*q - 4*q = 0. Is q less than -2/5?
False
Let r(d) = 3*d**3 + 7. Let h(a) = 4*a**3 + 8. Let x(y) = -4*h(y) + 5*r(y). Let v be x(0). Let m = -2 + 6. Which is smaller: m or v?
v
Let b be (-2 - 3)/20*-1. Suppose 8*t - 18 = 6*t. Which is bigger: t or b?
t
Let g = -353 - -282. Are -348/5 and g non-equal?
True
Let n = 1.597 + -0.097. Are -1 and n nonequal?
True
Suppose -4 = 4*m - i, -2*m - 3*i = -3*m - 12. Let q = -22 + 22. Let v be q/(-2) - 2/76. Which is smaller: m or v?
v
Let l(b) = -b**2 - 3*b - 49. Let k be l(15). Which is bigger: k or 0?
0
Suppose -c - 118 = -5*r, 0 = -5*c - r + 126 - 638. Which is greater: -914/9 or c?
-914/9
Let a be (-8)/(-6)*81/(-7722). Let v = a + 21/572. Do 1 and v have different values?
True
Let s(h) = h**3 - 6*h**2 + 2*h - 9. Let j be (-8)/(-3)*(-90)/(-40). Let y be s(j). Suppose y*l + l = 4. Is l less than -2/83?
False
Suppose 32 = -5*c + 7*c. Let f be (2/(-11))/(c - 17). Is f at least -0.4?
True
Let s = 53/13 + -771/52. Which is bigger: -12 or s?
s
Let s be 2 + (-3 - (-3 + 3)). Let j be 4*s/(-4) + 1. Suppose -j*b + l + 3 = 0, 5*l + 4 = -1. Is b bigger than -2/7?
True
Let z(p) = -p**2 + 12*p - 1. Let m be z(4). Which is smaller: 125/4 or m?
m
Suppose 0 = -46*v - 61 + 15. Does 1/1862 = v?
False
Let q(n) = n**3 + 7*n**2 + 14*n + 10. Let g be q(-5). Which is smaller: g or -16?
-16
Let b = 0.37 - -0.73. Let n = -31/4 + 97/12. Which is smaller: b or n?
n
Let l = 36/221 + -3557/4199. Which is greater: 0 or l?
0
Let t be (-15272)/28980 - 4/(-7)*1. Which is bigger: t or 0.2?
0.2
Let g be ((-7)/14)/(2/20). Let y be (-9)/g*130/39. Which is smaller: 7 or y?
y
Let h be (-2 + (-60)/(-26))*8/400. Which is smaller: -1 or h?
-1
Let x = -1.56 - -1.66. Does x = -4/11?
False
Let v(d) be the first derivative of d**4/4 + 7*d**3/3 - 9*d**2/2 + d + 30. Let l be v(-8). Is l equal to 7?
False
Let n = 9 + -24. Let a = n + 20. Let d be (13/(-5) + 4)*a. Is d > 7?
False
Let t = 11 - 16. Which is smaller: 0.09 or t?
t
Suppose -1753 - 5195 = 9*m. Which is smaller: m or -773?
-773
Let t = 206 + -214. Let f = 2 - 7. Do f and t have different values?
True
Let o = -44 + 36. Is 0.2 bigger than o?
True
Let f(o) = -o**2 - 7*o - 9. Let w be f(-3). Suppose d = w*j - 6, 0*j - 8 = -4*j + d. Which is greater: 3/11 or j?
j
Suppose 368*k - 370*k - 2*h = 62, 5*k - h = -155. Suppose -2*z = 4*i + 78, -3*z = 5*i - 0*i + 113. Is z greater than k?
False
Let d = -0.0673 + -0.8327. Which is smaller: -26 or d?
-26
Let v = -7247/49362 - -17/114. Which is smaller: 1 or v?
v
Suppose -4*r = 0, -6*t = -2*t - 5*r. Suppose -y = 0, t*i = 5*i + 5*y + 250. Let z be 32/5 - (-20)/i. Which is smaller: z or 5?
5
Suppose -3*z + 6 = 0, -i + 6*i + 239 = -3*z. Let n = i + 344/7. Which is smaller: 0 or n?
0
Let j = 64 - 19. Let n = j + -43. Is n not equal to 0.02?
True
Suppose j = -3*m + 2, -3 = 5*m - 4*j + 5. Are m and 4/21 equal?
False
Let d be 2/(-9) + (-79)/9. Let m = -8 - d. Let z(t) = 3*t**2 + t - 2. Let b be z(m). Which is smaller: b or 1?
1
Suppose 31 = -6*s + 127. Let x be 11/(-9) - s/(-72). Which is bigger: 2/33 or x?
2/33
Let v be 0 - (-12)/(-3) - 54. Let l be 2/4*v/(-39). Let j = -937/1365 + l. Is 1 bigger than j?
True
Let a(n) = 3*n + 39. Let y be a(-17). Let r be 24/28*3/y. Do r and 1 have the same value?
False
Let b(w) = -2*w**2 - 6*w + 5. Let n = -24 + 18. Let p be b(n). Let x = p + 31. Which is bigger: x or -1/14?
x
Let x(t) = 48*t + 54. Let z be x(-1). Which is smaller: z or 87/16?
87/16
Let o be (-4)/(-5)*(-25)/(-10). Suppose -5 = x + c, -x + o*c - 5 = 6. Let q be 12/15*((-825)/10)/11. Which is smaller: q or x?
x
Suppose -5*u + 0*u - 55 = 0. Let b(m) = -9*m + 4. Let i(x) = 5*x - 2. Let p(n) = u*i(n) - 6*b(n). Let l be p(-4). Is 2 equal to l?
True
Suppose -12 = -3*w, -u + 61*w - 2 = 60*w. Suppose 0 = q + b + 101, 3 - 19 = 4*b. Let l = -481/5 - q. Is l >= u?
False
Let i(k) = 45*k + 7. Let q be i(-2). Let d = -337/4 - q. Which is bigger: d or -1?
-1
Let s be ((-256)/(-42) - 6)*(-6)/104. Which is smaller: 1 or s?
s
Suppose -2*o = -3*v + 27 + 13, 30 = -3*o - 3*v. Let p(n) = -n**3 - 15*n**2 - 20*n + 12. Let g be p(o). Which is bigger: g or 95?
g
Let f = 184/25 - 173194/23525. Which is bigger: -1 or f?
f
Suppose -26 = -41*z + 15*z. Which is smaller: z or -1/799?
-1/799
Let a = -1.1 - -0.1. Suppose -105 = 5*n + 3*g, 2*n = -4*g - 19 - 9. Let v be (-10)/35 + n/(-182). Is a greater than or equal to v?
False
Let q = -260 + 358. Are q and 98 nonequal?
False
Let n be ((-21)/8)/((-1848)/368 + 5). Which is smaller: 120 or n?
120
Let l(s) = 5*s + 131. Let m be l(-26). Which is bigger: m or -6?
m
Let k = -59 + 154. Let v be (-16)/50*k/(-38). Let q(i) = i**2 + 8*i + 2. Let z be q(-8). Is z less than or equal to v?
False
Let i = -0.18 + 0.19. Let b = 37.01 - i. Let m = -37 + b. Which is bigger: m or 18?
18
Let f = -35 + 42. Suppose 0 = -4*p + f + 5. Which is greater: 15/4 or p?
15/4
Let y(a) = 2*a + 16. Let d be y(-8). Suppose d = -0*x - x - 3. Which is greater: 0 or x?
0
Let f = 2.3 + 0.3. Let p = f - -1.9. Let y = p - 2.5. Which is smaller: 2/5 or y?
2/5
Suppose o = -4*y - 13, -y = -2*o - o. Let z be (-1 + (-21)/(-18))*o. Let k(v) = -2*v**2 - v. Let i be k(-1). Which is bigger: z or i?
z
Let h be -6*(847/280 - 3). Which is smaller: h or 1?
h
Let i(p) = -112*p**2 + 33*p - 34. Let o be i(1). Which is bigger: -115 or o?
o
Let p(h) = 7*h. Let o be p(-1). Suppose m + 2*l + 0*l - 22 = 0, 2*m = -5*l + 48. Let j = -19 + m. Is j < o?
False
Let d = -47/2 + 24. Let t be ((-3)/(-6))/(26/8 - 3). Which is smaller: t or d?
d
Let l = -0.1 + 0.2. Let s = 12.145 + -12.245. Which is smaller: s or l?
s
Suppose -5*l = 2*x + 15, -12 = x + 3*l + l. Which is smaller: x or -5/59?
-5/59
Let i = -313 - -313. Which is smaller: i or 2/127?
i
Suppose -b + 700 = 2*t + b, 0 = 3*t - 5*b - 1034. Let h be ((-1)/8)/((-6)/t). Which is smaller: h or 6?
6
Let x(j) = -j**2 + j + 2. Let k be x(-2). Let c be (-2)/((-126)/(-33) + k). Is c equal to 10?
False
Let h = -371 - -370. Is 2/259 greater than or equal to h?
True
Let a(t) be the second derivative of -t**5/20 - t**4/12 - t**3/6 + 3*t. Let o be a(-2). Let v be o/27 + 606/(-54). Which is smaller: -10 or v?
v
Suppose 3*p + 3 = 6*p. Let h(q) = q**2 + 9*q + 17. Let w be h(-7). Let t be w*-2*(-36)/(-54). Which is smaller: p or t?
t
Suppose 4*r - 2*d = -0*d + 138, 137 = 4*r - d. Let l be (r/51)/((-14)/3). Let c = 1/3 - 0. Which is smaller: l or c?
l
Let o(c) = c**3 - 3*c**2 + 5*c - 7. Let m be o(2). Which is greater: -6/209 or m?
-6/209
Let q(k) = k**3 + 4*k**2 + 2. Let a be q(-4). Let p be (-185)/(-30) - a/12. Suppose b + p = -2. Is b at least -8?
True
Let a = -15516 + 325982/21. Let u be (-1)/4 + 507/(-84). Let v = a + u. Which is greater: 2/7 or v?
v
Let b = -165 + 118. Suppose 12*o + 899 - 347 = 0. Which is smaller: o or b?
b
Let k = 1.5 - 0.9. Let n = k - 0.5. Is -0.45 bigger than n?
False
Let n(t) = 4*t - 23. Let w(k) = -9*k + 47. Let x(s) = -7*n(s) - 3*w(s). Let z be x(20). Is z < 33?
True
Let r = -2568650/393 - -6536. Do r and -1 have the same value?
False
Suppose -2*i = -5*b - 1 - 7, 5*i - 20 = 4*b