 + -6797. Which is bigger: f or u?
f
Let p be (550/(-132))/(-25)*4. Which is smaller: 2.117 or p?
p
Let o = -103 - -102.9. Let b = 0.143 + o. Is b greater than 0.2?
False
Suppose -7*w - 7 = -4*w + 2*s, 4*w - 4*s = 4. Let j = -236.09 - -1.09. Is w <= j?
False
Let k be (-8)/54*42/(-4). Suppose -10 = 175*x - 180*x. Which is bigger: x or k?
x
Let g(j) = -61*j + 457. Let y be g(2). Which is smaller: 1681/5 or y?
y
Let x be 9/(405/882) + (112/(-40) - -4). Is 20 at least as big as x?
False
Let i be 1/(((-745)/(-375))/(-1) + 2). Let n be 1 - i - (0 + (-1 - -5)). Is -76 > n?
True
Suppose 4*q - 3*q - 2*q = 0. Suppose -2*r - 2 = q, -i + 4 = -0*i + 4*r. Let v = -26 - i. Is -34 equal to v?
True
Let l = -203 - 150. Let u = 355 + l. Which is smaller: u or -25.5?
-25.5
Let v = -32 + 33. Let m = -86 - 56. Let p = 146 + m. Which is smaller: p or v?
v
Let x = 0.02983 + -0.02983. Is 2/57 less than x?
False
Suppose 4344 = -42*g - 2586. Let q(f) = f**3 - f**2 + f - 164. Let r be q(0). Which is bigger: g or r?
r
Suppose 5*q - 2*r = -93, 5*q + 11 = -r - 70. Let h(d) = d**3 + 17*d**2 - 4*d - 65. Let m be h(q). Is -45 at most m?
True
Let k be -3*(-1 - (-148)/(-6)). Let s be 4 + -8 + (-15)/42*-7. Is s less than k?
True
Let r = 3 - 6. Let l = 674/13 + -6092/117. Is l at most r?
False
Let g(f) = 501*f**2 + 40*f + 76. Let s be g(-2). Is 2000 at most as big as s?
True
Let p(u) = -u**2 - 8*u + 10. Let v be p(-9). Let s = 2483561/11851 + 10/1693. Let a = s - 209. Is v <= a?
False
Let a = -0.04 - -2.04. Let i = -4 + a. Let k be (-1)/(132/(-780)) - 7. Which is bigger: i or k?
k
Let s = -3586 + 10724/3. Which is bigger: s or -0.3?
-0.3
Let p be (-30)/((23/6)/23). Which is smaller: -12 or p?
p
Let p = 86 + 376. Suppose -15*u - 198 = p. Is -44 at least as big as u?
True
Let u = 0.7 - 0.677. Let l = u - 0.058. Let o = 0.265 - l. Which is bigger: o or -6/11?
o
Let d(k) be the first derivative of 15 - 1/2*k**2 + 1/3*k**3 - 17*k. Let v be d(-4). Is 3 equal to v?
True
Let u = -2 + 5. Suppose -d + u = 6. Suppose t = -5*g - 20, -4*g - 4*t = -0*t. Is d <= g?
False
Let d be (-7)/14*2/5*(21 - 28544/1360). Let j = -2 - -3. Is j > d?
True
Suppose -95*s - 66 = -98*s. Let b be 42/11 + -2 - (-4)/s. Suppose 4*t = -b*f, 0 = t - 5*t + 8. Which is smaller: -26/9 or f?
f
Let m be 24024/1540*10*(-5)/3. Is m smaller than -263?
False
Let y = 1203378493/137535 + -1310272/519. Let w = y - 6225. Which is smaller: -1 or w?
-1
Suppose -4*r = 20*f - 25*f + 31, -11 = -4*r - f. Is r greater than -35/376?
True
Let m(x) = 32*x**2 + 292*x + 35. Let u be m(-9). Which is smaller: -2/63549 or u?
u
Let m = 8574.074 - 8574. Is 3.1 bigger than m?
True
Let i be 217 - (14 - 23) - -5. Are 240 and i equal?
False
Let a = -39 - -11. Suppose -10*x = 163 + 127. Is x at least a?
False
Suppose -3*h + 22147 = 2*x, -3*x + 33212 = 3*h - 7*h. Let s be (1 + 9394/(-9367))*x/(-192). Let l = s - 5/29. Which is smaller: 0 or l?
l
Suppose -5*d = 5*b - 2*b + 4, -2*d - 13 = 5*b. Let r be ((-9)/12)/(1470/80). Are r and d equal?
False
Let h be 33/(-297) - 1/(-9). Suppose h = 17*t - 658 - 158. Is t not equal to 2?
True
Let m be (1*(-9)/15)/(1 + -4). Let j be (4*-3)/(-1) + -2. Let q be 4/j + 15/25. Which is smaller: m or q?
m
Let v = 3326 - 3324. Let f be (-18)/15*(-2)/3. Is v smaller than f?
False
Let w be (-14)/21 + -6 + 3/(63/(-4207)). Which is greater: -206 or w?
-206
Let r be ((-9)/2)/((-45)/4020). Let j = 401 - r. Which is bigger: 14/33 or j?
14/33
Let p(a) = 16*a + 13. Suppose 2*g + 53 = 3*m, 4*m + 4*g - 71 - 13 = 0. Let n be p(m). Suppose 2*u = 4*d - 98, 121 = 4*u + d + n. Are u and -49 equal?
True
Let i be (-5)/10 - 37/(-2). Let c = -34 - i. Let a be 2/(-1) - 100/c. Is a bigger than -1?
True
Let a = -754 + 1463. Let v = a - 447. Is v at least -2/5?
True
Suppose -3*d - 1778 + 2198 = -3870. Which is greater: 1427 or d?
d
Suppose -202*k + 192 = -208*k. Let q be k/(-8) + 201/(-60). Which is smaller: q or 0?
0
Let j = 349400/19 + -18344. Is j at most as big as 44?
False
Suppose -24 = -2*o + 2*s, -15 = 6*s - s. Suppose 3*n - 702 = -540. Suppose -5*f - 9 = 5*b - 69, -2*f + n = 5*b. Is b bigger than o?
True
Suppose -144 = -5*q + 4*n - 24, -2*n = 3*q - 50. Suppose 2*v = -3*o + 40, -v = -o - q - 10. Which is smaller: v or 4?
4
Suppose 8 = 2*b + 5*n - 8, 5*b - 40 = 3*n. Suppose -4 = -5*h + 4*z, 3*h = 6*z - 3*z. Suppose -f - h*f = -45. Which is smaller: f or b?
b
Let p = -1.4 + 3.9. Let o = 5.3 - p. Let h = 3.1 - o. Are h and -0.06 unequal?
True
Suppose -3*x + 4060 = -4*p + x, 5*p = -x - 5039. Which is greater: -0.2 or p?
-0.2
Let q = -19 - 95. Let r = 130 + q. Is 5 smaller than r?
True
Suppose 53*d + 25 = -32 + 110. Let n be (3 + 6)*(-1)/(-19). Which is bigger: n or d?
d
Let o be (-2)/(-9) + (-776)/(-234). Let i(k) = 166*k - 826. Let m be i(5). Which is smaller: o or m?
o
Let b = 534 - 966. Let h be 190/(-4)*b/270. Which is smaller: 74 or h?
74
Let o = -7584 + 7588. Suppose 2*z - y = -4*y + 41, -48 = -z + 4*y. Which is greater: z or o?
z
Let d(h) = h**3 + 5*h**2 - 13*h + 6. Let s be d(-7). Which is greater: 5/723 or s?
5/723
Let r = 6/4013 + -8068/28091. Let k be (-1)/((-38)/(-4) - 1). Is k >= r?
True
Suppose -3*p - 135 = -8*p + 3*z, 5*p - 135 = 2*z. Let b be (-4)/p*(-15)/10. Suppose -l - 5*m = 4 + 24, 4*m + 29 = -3*l. Is l >= b?
False
Let j = 5816 + -5828. Is j >= -171/16?
False
Suppose 9*h - 34*h = -8975. Suppose -103 = -16*k - h. Is 5 equal to k?
False
Let i = -23231/19 - -1223. Suppose 13*c = 8*c + 35. Let m = -8 + c. Which is greater: i or m?
i
Suppose 78 = 4*t + 2*x, 31*t + x = 28*t + 61. Let n be (3/9)/((-4)/(-258)). Is t greater than n?
True
Let m be (8/(-1588))/((-1377)/(-60822)) - 14/(-63). Is m at most as big as -1?
False
Let n(p) = -14*p - 6. Let h(r) = -13*r - 5. Let y(v) = 5*h(v) - 4*n(v). Let l be y(1). Let x = -44373 + 44373.1. Is x greater than l?
True
Let w = -268 + 207. Let k = w - -56. Is k greater than -14?
True
Let z = 10667/5 + -2134. Which is bigger: -1277 or z?
z
Let h = -31/51 + 512/833. Let c be ((2 - 2/1)*1)/1. Is c <= h?
True
Let u = -14 + 14. Suppose w - 26 + 23 = u. Let c be (-1)/w + 1/3. Are 0.02 and c unequal?
True
Let h(y) = -2*y - 1. Let o be h(-1). Let p = -1683890/9 - -187099. Is p < o?
True
Suppose -5 = -5*f, 4*n - f - 3 = 3*n. Let u be (2 - 10/4)*(-56)/n. Which is smaller: u or -0.06?
-0.06
Let i = -4512 - -4448. Which is smaller: -30 or i?
i
Let h = -0.13788 + 0.03788. Are 4216 and h equal?
False
Let h(d) = d**3 - 41*d**2 - 405*d + 2. Let g be h(49). Which is greater: -1901/3 or g?
-1901/3
Suppose 3*c = 7*c - 8. Suppose 0 = -4*s + 4*b - 5*b + 13, 8 = c*s + 2*b. Suppose w + 10 = 3*t - s, 19 = w + 5*t. Is w < -10?
False
Suppose -3 = -r - v, 3 = -4*r + 8*r + v. Let c = 2 + 1. Is r at most as big as c?
True
Let t = -125.8 + 5.8. Let y = -135 - t. Which is smaller: y or 3/5?
y
Let p = 560 + -554. Suppose 3 = -l, 2*k - 2*l + 0*l - 346 = 0. Let g be k/15*p/4. Which is smaller: 16 or g?
16
Suppose -4*y + 17 = -t, -10*y + 6*y + 18 = -2*t. Is -377 at least as big as t?
False
Suppose -2*c - 2625 = -5*c. Let b = c - 117251/134. Let t = 341/9782 + b. Which is greater: 1 or t?
1
Suppose -5*n + 2 = -3. Let k = -2676764/77 - -240154/7. Let s = 455 + k. Which is smaller: s or n?
s
Suppose -1242 = 3*z - 15*c + 17*c, 0 = z + 4*c + 424. Which is greater: -405 or z?
-405
Let s be -3 + 4 - 3877002/240170. Let c = 2/17155 - s. Let p(m) = -13*m**3 - m**2 + 28*m + 30. Let h be p(-1). Which is bigger: c or h?
c
Let b = -0.00143 + -27.99857. Is 2/161 < b?
False
Let h = 15479 + -20772817/1342. Let g(c) = 3*c**3 - 107*c**2 - 35*c - 35. Let k be g(36). Which is smaller: k or h?
h
Suppose -53*w + 8 = -51*w. Suppose w*t + 33 = t. Is t < -7?
True
Let b = 3745 + -3006. Is b not equal to 727?
True
Let w be 12/(-21) + 475/35. Let h(d) = 2*d**3 - 25*d**2 - 16*d + 29. Let q be h(w). Which is smaller: -62/7 or q?
q
Let g be (((-22)/(-33))/(16/4734))/((-21)/(-252)). Which is smaller: g or 2368?
g
Let s be ((3/(-2))/((-495)/660))/61. Let r = 1 - 1.5. Is r at least s?
False
Let t = 26 + -26. Let q(i) = 4*i - 4. Let b be q(9). Suppose 4*o = -5*k - b, t = -5*k + 5*o - 7 + 2. Is k less than or equal to -16/3?
False
Suppose -237 - 1843 = -26*c. Suppose -314 = -4*j + 2*s, 2*j + 4*s - 65 = j. Which is smaller: c or j?
j
Let h be (2/3)/((-21)/567). Le