8880704/2971 + 6355. Which is greater: -1 or m?
m
Let u = -182 + -271. Are -455 and u unequal?
True
Let i = -178 + 181. Let t be (-1)/(-3) + (-4)/3. Which is bigger: i or t?
i
Let a = -1945 + 1908. Which is greater: a or -33?
-33
Suppose 109*q - 105*q = -2368. Let i = q + 589. Which is greater: i or 12?
12
Let m(p) = p**2 + 8*p + 18. Let z be m(-5). Let s be (-21)/(-4) + z*(-5)/60. Let l = -25 + s. Is l < -20?
False
Suppose 58 = -4*l + 74. Suppose -l*r - 6*r = 0. Is -6/155 at least r?
False
Let d = -170 + 169. Let v be (-2 + d)/3 + 2. Let c = 8/3 + -191/75. Does v = c?
False
Suppose 14*g - 10*g - 40 = 0. Suppose -19*k = -13*k - g*k. Let x be 2 - 2 - (-8)/11. Is k greater than or equal to x?
False
Let b be 3*7 - (17 + -17). Let v be -3*(-10)/3*(-36)/b. Which is bigger: -17 or v?
-17
Let y(a) be the third derivative of a**6/720 + a**5/12 + 7*a**4/8 - 13*a**2. Let r(z) be the second derivative of y(z). Let b be r(-8). Are 3 and b equal?
False
Let m = -48 + 0. Let y = m - -52. Let q(d) = -2*d + 4. Let r be q(y). Which is bigger: -3 or r?
-3
Let v = 21 + -8. Suppose 53*c = 4*d + 55*c - 52, -2*d + 3*c = -10. Let r be 408/(-1870) + (-2)/d. Is v smaller than r?
False
Let w = 625.9505 - 626. Which is smaller: w or -3?
-3
Let g = 300 - 490. Let k = g + 191. Is 3/22 less than k?
True
Let w be 10/140 + 98888/112 + 3. Is w bigger than 886?
False
Let b be (-5)/((-15)/(-2))*(-966)/644. Which is smaller: b or 1/240?
1/240
Let f be 1/((130/(-15))/13 - (-813)/1220). Is f <= -3659?
True
Let d(w) = 2*w**3 + 22*w**2 - 166*w + 12. Let k be d(-16). Is 533/5 at most as big as k?
True
Suppose -t - 3*c = -1, 0 = -4*t + t + 5*c - 25. Let f = t - -6. Let q be (-2 + -1 - 3) + (-126)/(-22). Which is smaller: f or q?
q
Let f(q) = q**2 + 32*q + 84. Let u be f(-29). Let y = -23/5 + 93/20. Do u and y have the same value?
False
Suppose 1828*f - 1869*f = 41. Which is greater: f or 3/518?
3/518
Suppose 0 = 4*w - 5*r - 29, 12*w - 13*w - 4*r = 19. Is 5/137 smaller than w?
True
Let n = -127.59 + -2.41. Let c = 78 + n. Let m = 51.4 + c. Do -8 and m have the same value?
False
Let t = 197584 - 197584.265. Let n = 0 + -0.2. Which is smaller: t or n?
t
Let k(q) = -83*q**2 + 1. Let p be k(1). Let c = -161122 - -161120. Which is greater: p or c?
c
Suppose 14*t + 2472 + 2484 = 5040. Is t at least -585?
True
Let y = -4 + 6. Let q = 0.1694 - 312.9694. Let f = q - -313. Are y and f unequal?
True
Let i(k) = k - 149. Let l(f) = -3*f + 299. Let v(c) = -5*i(c) - 3*l(c). Let w be v(35). Let m = -9 + -1. Which is bigger: m or w?
m
Let p = -3.497 - -3.5. Let o = p + -3.403. Let b = o - -3.3. Which is smaller: b or -0.2?
-0.2
Let h = 5 + -8. Let w = -13.62 - -29.43. Let i = w + -6.81. Is h <= i?
True
Let a(q) be the first derivative of 3*q**2/2 + 24*q + 213. Let k be a(6). Is k != -0.02?
True
Let r be (0 + 2)*(-2)/4. Let a = -994 + 368773/371. Which is smaller: r or a?
r
Suppose 0 = 24*x - 20*x - 5*j - 57, 3*x + 5*j = -1. Suppose 2*n = 5*b + 1327, -7*n = 2*b - x*n + 531. Which is smaller: -267 or b?
-267
Let g = -2433 - -2426. Which is smaller: -65/8 or g?
-65/8
Suppose 14*b - 53 - 31 = 0. Suppose -2*k = -3*g - 7, g - b*g = -5*k + 15. Let v be (-141)/(-6) - k/4. Which is smaller: v or 47/2?
v
Let q = 0.4326 + -0.369. Let d = -0.0636 + q. Is -0.002 < d?
True
Let i be (1/12)/(((-949)/156)/(-73)). Which is smaller: -1/9920 or i?
-1/9920
Suppose 70*n - 333*n = -89 + 22707. Which is greater: 55 or n?
55
Suppose -11*x - 15*x = 18*x + 1540. Which is greater: x or -181/5?
x
Let t = 0.02 - 0.02. Let y = 270 - 388. Let w = -117.98 - y. Which is smaller: t or w?
t
Suppose 3*y + 151 + 63 = -575. Which is greater: y or -254?
-254
Let u be (3 + 240/(-84))*28. Let y = -1459/7 - -211. Which is smaller: y or u?
y
Let z = 0.57 - 42.57. Let f = 3324179/9 - 370152. Let t = f + 799. Is z greater than t?
False
Let j(p) = p**3 + 18*p**2 + 16*p - 4. Let r be j(-17). Let o = r - 15. Let t be (7/(-7)*0/1)/o. Which is smaller: t or 2/41?
t
Let b(q) = 8*q + 38. Let r be b(-9). Let a = r + 39. Suppose -36 = -a*m - 2*w + 23, -2*m + 4*w = -38. Is m != 7?
True
Suppose 0 = k - 6*k - c + 211, -k - c + 43 = 0. Let v = 98 - k. Suppose 5*y = -571*m + 569*m + 62, -7*m + 432 = -4*y. Do m and v have the same value?
True
Let y be 410 - 0 - (-784)/(-112). Which is smaller: 406 or y?
y
Let s = 37 + -42. Let q = 14040/7 - 182947/91. Is s smaller than q?
True
Let d be ((-4)/(-60))/((4/(-18))/((-128)/192)). Do -398 and d have different values?
True
Let u be (-140)/99 + 2/1. Let s be (-8)/54*-24*2/176. Let n = u - s. Which is bigger: 2 or n?
2
Let k = -823 - -823. Are -690 and k nonequal?
True
Let i = 2 + 0. Suppose 3*q = -i*q - 5. Let t be (-12)/105*(-80)/(-224). Is q < t?
True
Let c = 849 - 812. Suppose -205 + c = 12*r. Is r > -1/17?
False
Let m = 8793 + -8742.89. Let d = m - 50. Let f = -0.12 + d. Is f greater than or equal to 0?
False
Let a be 1*(-5)/(-45)*0. Suppose l - 9 + 4 = a. Is 34 >= l?
True
Let s = 503 - 502.9732. Let y = s - 2.0268. Is -229 at most as big as y?
True
Suppose 157 = -71*m + 15. Does -54/23 = m?
False
Let k be 1/(1 - 2 - -2). Let q be 30990/(-3260) + 9 - (-3 + 25/10). Does k = q?
False
Let y be (-30)/12 - 29/(-2). Let b be 2/(-44)*y*4/(-6). Let t be 2/5 + 6/10. Which is smaller: t or b?
b
Let c = 333 + 982. Let d = c - 1322. Let h be 1/((-1)/(16/2)). Which is bigger: h or d?
d
Suppose -5*m = -3*c + c + 10, -m + c = 2. Let n(f) = f**3 + f**2 - f + 2. Let w be n(m). Which is smaller: w or 3/20?
w
Suppose -2 = -3*r + 5*i - 3*i, 16 = 5*r + 3*i. Suppose r*l - 99 = -3*l + y, 16 = -4*y. Suppose 5*k - 2*f = -3*f - l, -8 = -4*k + 5*f. Is k > 0?
False
Let q = -0.673 - 371.327. Let w = q + 330. Which is greater: -2 or w?
-2
Suppose -2*z = z - 3. Suppose 6275687 = 63*m + 6275687. Which is smaller: m or z?
m
Let d be ((-6)/(-76))/(33/154). Let q = 378 - 378. Is d <= q?
False
Let l be ((-4)/(-14))/((-6)/(-2) + 3576/(-1188)). Suppose w = -2*j - 62, 4*j - 5*w + 108 = -3*w. Does j = l?
False
Let k be 4/((-4)/(-6)*-1). Let a be 12 + k/(-3) + -3. Let x be (-16)/6*9/(-2). Which is greater: x or a?
x
Let f be (28/(-10))/(12/(-120)). Let o = 161 + -159. Suppose 5*p - 3*s - 2*s = 120, o*s - 6 = 0. Is f greater than or equal to p?
True
Let t be 2 - (35 + -13 - 11) - (-1 - -107). Is t greater than or equal to -123?
True
Let i = 7686/29 - 11198792/42253. Which is smaller: 0 or i?
i
Let a = 319 - 217. Let f be (-914)/10 + 1 - a/170. Which is bigger: f or -90?
-90
Let h = -182 + 82. Let u = -498/5 - h. Let c(j) = -j**2 + 1. Let s be c(0). Which is bigger: u or s?
s
Let k(d) = -d**3 + 92*d**2 + 4*d - 180. Let z be k(92). Which is smaller: z or 11?
11
Let j = -4142 - -3404. Is j less than -739?
False
Let m be ((-641)/178839)/(1 - 31/12). Is m < 1?
True
Let r be ((-336)/70)/(14/35). Let a be (-2)/(((-16)/46)/(-2)). Let z = a - r. Are -0.011 and z equal?
False
Let r be (-1 + (-88)/(-56))/((-15)/(-147)). Let q(o) be the first derivative of -o**3/3 + 5*o**2 - 14*o - 12. Let j be q(7). Which is smaller: j or r?
r
Let x = -67 - -79. Let b be (10/x)/(10/3). Which is bigger: b or -168?
b
Let b be ((-2)/6)/(56/(-140952)). Which is greater: 837 or b?
b
Let t(j) = 42*j - 1093. Let g be t(26). Which is smaller: g or 0.0332?
g
Let y be (-668)/(-1620) - 2/5. Let o = -406263 - -65814847/162. Let v = o + y. Which is bigger: v or 3?
3
Let m be 99*2/(-4) + (-45)/(-195) + 132/104. Let i = -35 + -13. Is i at least as big as m?
True
Let c be (-1 + 1)*(50 + -49). Suppose 6*u - 14 - 88 = c. Which is greater: u or -0.5?
u
Let z = 44/9 - 5342/1089. Let n(x) = x**2 - 12*x + 1. Let c be n(12). Which is greater: z or c?
c
Suppose -1787 = -x - 7093. Is -5307 <= x?
True
Let h be -3*2/1 - -808. Which is greater: 799 or h?
h
Let r be (1 - 0)*(-2 + -7 + 3). Let o(l) = l**3 - 7*l**2 - 8*l - 8. Let d be o(8). Let c(s) = 2*s + 10. Let k be c(d). Is k less than r?
False
Suppose -8*c + 57*c - 35 = 14*c. Is -14/57 greater than c?
False
Suppose -2*a + 3*a + 5 = 0. Let c be -5 + (10/6)/(2/6). Suppose 3*k + 90 - 63 = c. Is a at least k?
True
Suppose -194 = s - 248. Suppose 46*t = s*t + 256. Are -32 and t equal?
True
Let i = -1937.26 - -1937.5. Which is bigger: -0.17 or i?
i
Let o(g) = g**3 - 19*g**2 - 6*g + 157. Let i be o(18). Do i and -294 have the same value?
False
Let r = -9 - -10. L