ler: o or w?
w
Let t = 29331 - 29324. Is t bigger than 2296?
False
Let m = -327660 + 327738. Let k be 0 + (-1)/(1/(-77)). Is k less than m?
True
Let s(m) = -4*m - 1. Let c be s(-3). Let g(x) = -x**3 + 11*x**2 + x - 12. Let r be g(c). Let d be 10/(-30) - 6/9. Is d equal to r?
True
Let x = -0.2095 - -0.0095. Which is bigger: 482 or x?
482
Let f = 691 - 691. Suppose 3*j + 1 - 17 = 5*z, j - z - 2 = f. Which is greater: 14 or j?
14
Let x = 988/796467 - 2/679. Which is smaller: 0 or x?
x
Let w(m) = -7*m**2 + 34*m + 8. Let u be w(5). Suppose 0 = -4*o - 3*n + 60, -u*o - 13 = n - 63. Is 204/11 > o?
True
Suppose -4*t + 2*t + 2 = 3*v, -2*t + 5*v - 14 = 0. Let u(i) = 3*i**2 - 10*i - 66. Let d be u(7). Let a be t - 1752/44 - 2/d. Is -42 equal to a?
True
Let p be (-124)/10 - (0 - (-6)/10). Let w be 2/(12 + p + (-45)/(-44)). Is w equal to 86?
False
Let f be 424/5 - 4/5. Let t be (-3 - f/(-20))*-15. Suppose -13*y - 95 = -8*y. Which is smaller: t or y?
y
Suppose 131014 + 75170 = -66*t. Is -3125 bigger than t?
False
Let d(k) = -3*k**3 - 35*k**2 - 5*k - 10. Let c = 44 + -39. Let n(p) = 2*p**3 + 18*p**2 + 3*p + 5. Let v(r) = c*n(r) + 3*d(r). Let s be v(15). Does -44/9 = s?
False
Let p = 514 - 513. Let r be (p/(-2))/((-54)/360). Is r bigger than 0.08?
True
Suppose -4*l = 3*b + 1692 + 2335, -2*l - 2003 = 3*b. Does -1015 = l?
False
Let h = -659 - -660. Let m be (-4 + h)/1 - (-3778)/1258. Is m at least as big as 1?
False
Let j = 2/67 - 452/1675. Let p = j + 143/700. Is p > 3/5?
False
Let y(b) = -b**3 - 17*b**2 - 39*b + 45. Let q be y(-14). Suppose 5*z + 1 = -q*m - 10, 4*z + 14 = -5*m. Which is smaller: 21.1 or m?
m
Suppose 2*n + 0*n - 8 = 0. Let x(z) be the third derivative of -z**5/60 + 5*z**4/24 - z**3/6 + 24*z**2 - 4. Let o be x(n). Is o less than -0.01?
False
Suppose 20 = 3*h + 17. Let v be 10038/(-12) - (-2)/(-4). Let x = -21765/26 - v. Is h greater than x?
True
Let y = -46 - -44. Let t(x) = -x**3 + 2*x**2 - 6. Let f be t(y). Let w be f/(-4) + 14/4. Which is bigger: w or 2/5?
w
Suppose 457*p = 387*p. Is p equal to 5/138?
False
Let x = 38 + -37. Let g be 6 + (x - 0 - 3). Let u be g/(-18) + (-24)/(-108). Which is smaller: 39 or u?
u
Let r = 8 + -13. Let h be (-2)/r*1 - 0. Let q = 2044 - 8177/4. Which is smaller: q or h?
q
Let o = -175.01 + 173.01. Is -435 smaller than o?
True
Let h = -40.038 - -40. Let a = 0.052 - h. Let q = -0.01 - a. Is q <= 2?
True
Suppose 5*n = -12 + 2. Suppose -3*b - b = 4*o - 16, o = -2*b + 6. Let h be -6 + o + (-5)/(-15) + 1. Is n != h?
True
Suppose 290*s + 4 = 292*s. Suppose 8 = s*i, 2*i - 3*i = -4*t - 180. Is -42 at least as big as t?
True
Let b be 4/5*(6 - 1). Suppose -200*m - 82*m - 656 = 46*m. Let d be 7/(-6) - m/b. Which is greater: d or -67?
d
Suppose -5*c + 5*w + 104 = -111, -w = 0. Is c less than 171/4?
False
Let n(b) = b**3 - 7*b**2 + 10*b - 30. Let z be n(7). Suppose -13*j = -12*j - z. Let r be 1 + (19/(-40) - 5/j). Which is greater: r or 36?
36
Let o = -478 - -508. Let k = 29 - o. Are 16/39 and k nonequal?
True
Let q = -164 + 180. Suppose w - 748 = 3*g, 3*w + 1228 = q*g - 21*g. Which is smaller: g or -247?
g
Let j = -1004 + 0. Let t be 2*3/18 + j/9. Let v = -111 - t. Is 1/2 greater than or equal to v?
True
Suppose -14*z + 7755 - 1903 = 0. Which is smaller: 426 or z?
z
Let n(k) = -2*k + 8 - 4 - 17 - 13. Let j be n(-15). Let r(p) = 2*p - 40. Let d be r(j). Is -33 < d?
True
Let a be (12/(-20))/(7055/25). Is a bigger than 1?
False
Let v be 93/33 + -3 - (-268)/22. Suppose v*x + 5 = 7*x. Let z be 13/6 - x - 8/(-24). Is 5 bigger than z?
True
Let w(d) = -d**2 + 157*d + 478. Let s be w(-3). Which is smaller: -0.775 or s?
s
Let h = -21869 - -240329/11. Do h and -0.1 have different values?
True
Let l = -0.0361 + 4.0361. Let j = 141.91 - 142. Which is smaller: j or l?
j
Let l = -21 - -32. Let q be (-357)/2387 + 2/l. Suppose -d = 6*j - j + 3, 2*d = 2*j - 6. Which is smaller: q or j?
j
Suppose 141*w - 292*w - 904 = -147*w. Which is smaller: -676/3 or w?
w
Let r be 182/(-6) - (-2)/6. Suppose 4*k = 5*z + 138, 3*z = -4*k + 146 - 24. Let u = r + k. Are -3/2 and u nonequal?
True
Suppose 0 = 173*b - 176*b + 4*a + 4395, -4*a = 5*b - 7293. Is 1460 at most b?
True
Let s = 327 + -308. Is s at least 2/113?
True
Let x = 2857 + -2847. Which is greater: 7 or x?
x
Let k = 523 - 524. Let u be ((-2)/8)/(1/(-12)). Suppose -j - 2*d + u = -9, -3*j + 3*d + 18 = 0. Is k bigger than j?
False
Let p(l) = -l**3 + 8*l**2 - 7*l + 3. Let d be p(7). Suppose -9 = 6*g - d. Let f be (-1)/((-8)/2 - g). Is 21 > f?
True
Let i = -93 - -52. Let p = i - 8. Let l be 0*(28/p - 6/14). Which is smaller: -2/3 or l?
-2/3
Suppose -656*c + 655*c + 5*a + 1474 = 0, -3*c + 2*a + 4435 = 0. Which is greater: c or 1?
c
Let w = -0.4 - -2.4. Suppose 0 = 5*h - 3*h - t + 10, 3*t = -4*h. Let m be 2/(-5)*((-54)/(-12) + h). Which is smaller: w or m?
m
Let a = 162 - 163. Let b = 43 - 40. Let i be (-5)/b*35/75. Is a bigger than i?
False
Suppose 0 = 5*f + 4*h - 19196 + 3954, -5*f = -4*h - 15218. Which is greater: f or 3045?
f
Let x be 864/144 - (1 - 1). Let d be (-4)/8 + 7/2. Which is greater: x or d?
x
Let p = -23037 + 23025. Which is smaller: -2 or p?
p
Let r be 27/(-2)*1*(-8)/12. Let s be (0/r + 6)*1/(-2). Which is smaller: s or -49/11?
-49/11
Suppose -4*a - 3*o = -1016, 4*a + 6*o - 4*o = 1012. Let w = a - 250. Which is smaller: -1/352 or w?
-1/352
Suppose -2*f - 5*h = -12, 10*h - 16 = 3*f + 9*h. Let t be f/(-10) - (-3232)/20. Is t bigger than 162?
False
Let m(q) = q**2 + 6*q - 2. Let h be m(-5). Suppose x = -4*r + 5, 2*r + 9*x = 4*x + 7. Let b be 4/(-8)*0/(-2) - r. Is h bigger than b?
False
Suppose -16*i + 2*k = -18*i - 668, -3*i - 5*k - 1016 = 0. Does i = -3598/11?
False
Let p be 1/2 - 4/8. Let d = -164/99 + 6/11. Does d = p?
False
Let r(k) be the first derivative of 6*k**2 + 14*k - 1/3*k**3 - 4. Let o be r(13). Is o smaller than 8/7?
True
Let y(p) = 4*p - 25. Let r be y(6). Let x be 4/1 + -19 + (1 - 4). Let j be (1 + r + 1)*x/105. Is j >= 1?
False
Let d = -126719 + 1016159663/8019. Which is bigger: d or 0?
d
Suppose 3*p - 4 = 7*p, -6 = -v + 5*p. Let y be 176 + -180 + 1 + ((-474)/(-93))/2. Is y less than or equal to v?
True
Suppose 48*x = 330 + 198. Which is greater: 428/35 or x?
428/35
Let s be (-750)/(-21) - 2/(-7). Let o = s - 16. Let u be ((-15)/o)/((-3)/(-2))*4. Does -5/8 = u?
False
Suppose 6 = 2*i, 4*d - d - 3*i = -3. Suppose 0 = -d*m - 4*t + 22, 2*m = -2*t + 5*t + 29. Is 11 > m?
False
Let z be (-143)/9*29/(-595). Let l = 2/595 + z. Let j = -31/36 + l. Which is greater: 1 or j?
1
Let k(q) = -q**2 - 7*q + 6. Let w be k(-7). Let s be (1 + -5)*15/w. Let n be 9/((-351)/455) - -1. Which is smaller: s or n?
n
Suppose -72 = -25*v + 3. Let d be v + 53 + (-4 - 3). Is d less than 49?
False
Let k = -165 + 345. Let h = k - 194. Is h bigger than -0.05?
False
Let o be -16 + 1336/84 - (-4)/126*3. Is 44/49 equal to o?
False
Let z = 5.99071 + 0.00929. Which is smaller: z or 0.01?
0.01
Suppose 4*k - 935 + 955 = -4*y, 3*y + 4*k = -21. Which is smaller: y or -1/2615?
-1/2615
Let q = -588 + 614. Let p(w) = -w**2 - w + 270. Let f be p(q). Which is greater: f or -433?
f
Let i = -6234 + 6235. Is i less than -26/107?
False
Suppose -4*y + 54 = 22. Suppose 218 = 5*l + k - 4*k, -2*k + 127 = 3*l. Let r = l - 38. Is y < r?
False
Let y = -1/8139 - -73274/187197. Are y and 1 non-equal?
True
Suppose -4*y + 36 = -58*k + 53*k, 0 = 2*k + y + 4. Let n be k/50*50/(-40). Is n <= 0?
False
Let c be 28/1106 + -6 + 6. Is c < -12?
False
Let v = 57/11 - 2377/66. Which is smaller: v or -31?
-31
Let g = 38 + -35. Which is smaller: -2/419 or g?
-2/419
Let j be ((-3)/4)/((-12)/16 - 0) + 3441. Which is smaller: 1 or j?
1
Suppose 2*v = -4*z + 1648, z + 5*v - 421 = -0*z. Let n be z/(-18) + 5/(-30). Which is bigger: n or -21?
-21
Let y be (81/12)/(5/220). Let a be -7 + y/36 - 1. Which is bigger: a or 0?
a
Let y be ((-6)/16)/(-2 - (-3145)/(-1140)). Let m = -1/70 + y. Is m >= 0?
True
Let r(l) = -l**2 - 8*l + 6. Let p be r(-8). Let o = 16/135 - -902/135. Which is bigger: o or p?
o
Let g be 3 + 0 + ((-12)/3 - -3). Suppose 4*m - h + 13 = -28, -5*h + 7 = g*m. Is m at most -9?
True
Let o = 106/115 - 12/23. Suppose 0 = 8*l - 9*l + 108. Suppose 10*s + l = -92. Is s smaller than o?
True
Let i = 12 - -436. Let a = i + -448.2. Which is greater: a or 25