= m?
True
Let a be 1 - (0/5 + -4). Suppose -a*r = 4*v - 565, -3*v + 380 = 4*r - 9*r. Is v < 135?
False
Suppose 0 = a - 5, n - 5*a = -3*n - 37. Suppose -3*i = 35*i + 13*i + 459. Does i = n?
False
Let z(l) = l**2 + 12*l + 160. Let u be z(8). Which is smaller: u or 319?
319
Suppose -25 = -11*i + 19. Suppose 4 = -i*j - 0*j. Which is bigger: j or -2/85?
-2/85
Suppose 311*s = 31729 + 63437. Which is greater: 3381/11 or s?
3381/11
Let v be -1 + -6 - (-10835)/(-1550)*-1. Which is greater: 0 or v?
0
Let k be 3*(-1)/3 + -369. Let g = 311 + k. Which is smaller: -61 or g?
-61
Let h = -2/15 + 2/3. Let d = 269 + -156. Let y = d - 113. Is y > h?
False
Let r be 380/(-60) - 2/(-6). Let m be r + (-5)/((-175)/213). Is 0 != m?
True
Suppose -4*r - 32 = 20. Let d = 7 - r. Let a be (-2)/(-10) - (-6)/d. Is -2/15 less than a?
True
Let a be (-30)/(-8)*22776/1825. Let u(i) = 25*i - 2. Let n be u(2). Which is smaller: n or a?
a
Suppose 2*z = g + 9, -3*z - g - 20 = -21. Let j be 1/(-1) - (z - (8 + -8)). Which is smaller: j or 10?
j
Suppose 18*x + 31565 = 36*x - 1051. Is x not equal to 1811?
True
Let f(g) = -20*g**2 + 306*g - 923. Let d be f(3). Which is smaller: d or -183?
d
Suppose 36*l - 41*l - 275 = 0. Which is smaller: 2 or l?
l
Let f = -841 + 826. Let x = 20 + -2. Let b = f + x. Which is greater: -2.9 or b?
b
Let f = -102/95 - -106699/99465. Which is greater: f or 1?
1
Suppose -l + 155 = 5*i, 2*i - 49 = 167*l - 170*l. Is i less than -6?
False
Let g be (5294 - (16 + -9)) + -4 + -1. Suppose 42*s - 3496 = g. Is 210 bigger than s?
True
Let c = 0.92594 - -0.07406. Is c at most -0.0264?
False
Suppose 380*p - 15374 = -3*k + 376*p, 20516 = 4*k + p. Which is greater: 5128 or k?
k
Let x = 34 + -33.92. Let q be -3*6*(-5)/(-45). Let k be q - -3 - (-18)/(-14). Is x >= k?
True
Let q be (69/(-6))/(-3*75/(-5490)). Which is greater: -281 or q?
q
Let v = 24 - -246. Let c = -272 + v. Is c > -12.1?
True
Let c be (-472)/1089 - 160/(-360). Is 1 < c?
False
Let n(a) = a**3 - 6*a**2 - 8*a + 43. Let i be n(7). Suppose q = -5*b + 86, q + 4*b + i = 119. Is q not equal to 214/3?
True
Let d = -1499768731/9404 - -159482. Which is smaller: 1 or d?
d
Let y = 4 - -6. Let q = -33 - y. Let b = -63 - -20. Are q and b equal?
True
Let t be -28*(310/(-35))/((-12)/(-36)). Is 744 < t?
False
Let c(w) = -75*w - 8. Let j be c(3). Let l = j - -233. Is -1/423 equal to l?
False
Let y = -5248 + -1180. Which is greater: -6429 or y?
y
Let o(w) = 2*w**2 + 11*w - 311. Let q be o(10). Let n be 63/28*(-2)/24. Is n less than or equal to q?
False
Let w = -42.2 - -43.08. Let j = 16.12 + w. Which is smaller: j or 16?
16
Let y = -1130 - -1131. Is y greater than -14/535?
True
Suppose -3*d + 1241*f - 1238*f - 135 = 0, -3*d + 4*f - 130 = 0. Which is bigger: -134 or d?
d
Suppose 4*j + 3*t - 13 = 0, -j - j + t = 1. Let d be (j - 3/6) + (-164)/(-8). Suppose 2*c + 1 - d = 0. Is 37/4 < c?
True
Let v(d) = 465*d - 3786. Let t be v(6). Do -995 and t have different values?
True
Let s = 99.7 + -106. Let o = -1.3 - s. Let h = 266 + -265.96. Which is bigger: h or o?
o
Suppose -x + 3*x - 67 = 5*i, -x - i + 16 = 0. Let f be ((-112)/x)/((-2)/(-3)). Is f > -6?
False
Suppose -195*v = 27*v - 23*v - 65670. Is v bigger than 5614/17?
False
Let l = 1728 - 1675. Is 2/571 greater than l?
False
Let x(s) = 12*s + 4. Let f be x(-5). Let j = -55 - f. Suppose 5*t = -1 + 26. Are t and j non-equal?
True
Let u = 812.4 - -15.6. Let f = u - 828. Is 291 at least as big as f?
True
Let i(l) = l - 14. Let r be i(12). Let w be ((-6)/15 + r)*(-70)/7749. Let f = w - 2/369. Which is smaller: f or -1?
-1
Let u be (-60)/(-270)*(-9810)/(-20). Is u >= 158?
False
Let u be 13/((-234)/4) + 13/(5031/88). Which is greater: u or 0?
u
Suppose 16 = -l + 66. Let r be 2/(-4) + (-605)/l. Let b be (4/4)/(1 - (-65)/(-60)). Which is smaller: r or b?
r
Let x be (-8 + 0)/(1*869/99 - 9). Let l(s) = -s**3 - 4*s**2 - 4*s - 1. Let b be l(-3). Let g = b - 1. Is g equal to x?
False
Let o = -256 + 2045/8. Let t(b) = -b - 8. Let x be t(-10). Let w be (0/x)/((-21)/7). Does o = w?
False
Let a(k) = 2*k**3 + 12*k**2 - 5*k - 27. Let n be a(-6). Suppose 6*d + t + 1 = d, 0 = -n*d - 5*t + 17. Which is greater: 7/51 or d?
7/51
Let i be -15 - 272/(-18 - -1). Is i >= 31/106?
True
Let m = -78.7 - -3.7. Let x = -12018.97 - -12094. Let q = x + m. Which is bigger: -3 or q?
q
Let t = -120.98 + -6.02. Which is greater: -1 or t?
-1
Let s = 58.3 + -58.1496. Let j = 0.0904 - s. Are j and -2/11 unequal?
True
Let s = -0.6898 + 0.5898. Which is greater: 0.34 or s?
0.34
Let v = 27 + -42. Let u be (11/(-10))/((-42)/v). Let i = u + -209/252. Is 0 at least i?
True
Suppose -2*v = -d + 8, 14*v = -4*d + 3*v + 32. Which is bigger: d or 408/43?
408/43
Suppose 0 = 11*i + 6 + 38. Let c be 40/(-5) - (i + 3). Let a be (23/(-3))/((-4)/(-3)). Which is greater: a or c?
a
Let l be 2/(-12)*(-1323)/(-189). Which is smaller: l or 10/13?
l
Suppose 0 = -26*v + 7452 - 22402. Let l = v - -586. Let c = -56/3 - -19. Which is bigger: l or c?
l
Let b = -44366 + 44352. Suppose 2*f + 5*d - 32 = 5*f, -5*d - 52 = 3*f. Are f and b equal?
True
Let d be 40*15*(-12)/(-450). Is 3/22 less than d?
True
Let r(j) = -j**3 - 13*j**2 - 55*j - 1299. Let v be r(-15). Suppose -52 = 26*u - 22*u. Which is smaller: u or v?
v
Let u be 15/2*2/3. Let s be 4/(-102)*(-57264)/(-448) + u. Which is greater: -1 or s?
s
Suppose -5*b - 41 = -3*x, 2*b + 32 = 4*x + b. Let a(t) = -t**2 - 4*t - 2 + 38*t**3 - 49*t**3 + 2*t. Let r be a(-1). Is r bigger than x?
True
Suppose -3*r + 4*f = 2*r - 28168, 0 = 5*r + 2*f - 28216. Which is smaller: r or 5642?
r
Suppose 0 = -l + 3*i + 126 + 1274, 4*l - 2*i - 5590 = 0. Is l at most as big as 1398?
True
Let s(f) = -17*f + 29*f - 15 - 11*f. Let x be s(14). Does x = -1/3?
False
Suppose 167*l - 163*l + 5*h + 29 = 0, 0 = 3*h + 15. Are 3/3364 and l equal?
False
Let u = -28084479/994 + 28254. Which is smaller: 1 or u?
u
Let a = 41/2 - 201/10. Which is smaller: a or -355?
-355
Let o = 1771 + -1791. Which is smaller: o or -21/4?
o
Let t = -754 + 752. Let a(v) = v**2 - v + 1. Let o be a(-2). Let u = o - t. Which is smaller: u or 7?
7
Let n = 731 + -733. Which is smaller: n or -68?
-68
Let a(f) = -f - 2*f + 2*f. Let y be a(4). Let t be (-1)/(10/(-4) + 3). Is y greater than t?
False
Let y(g) = 12*g**3 + g - 1. Let o = 16 + -15. Let p be y(o). Let r be 2 + (-932)/p - 2/(-3). Which is bigger: -74 or r?
-74
Suppose 1453 = -18*l - 2435. Let s be (l/(-20))/(3/(30/34)). Which is greater: s or 4?
4
Let b(j) = 4*j**2 - 3*j - 2. Let u be b(4). Let y = -14276 + 14325. Which is greater: u or y?
u
Let l = -21535 - -21767.06. Let c = l - 232. Is c greater than 31?
False
Let g be (-980)/(-735)*210/3464. Which is bigger: 0 or g?
g
Let r = -183 - -293. Suppose 111*z - r*z = 148. Which is greater: -0.1 or z?
z
Let m be (-27)/17424*-11*2/(-135). Which is smaller: 0 or m?
m
Let v be ((-519)/45)/1 - 12/4. Let o = 16/5 + v. Which is smaller: o or -10?
o
Let c = 933 - 76507/82. Suppose -2 + 4 = x. Suppose -x*d = -6*d. Which is smaller: d or c?
c
Let h = 58 - 121.8. Let s = h - -5.8. Let k = s - -58.01. Is k at least 3?
False
Let k be ((-1810)/(-8))/((-26)/(-104)). Suppose -5*p = 5*l - k, -4*p + 308 = -5*l - 407. Is 179 != p?
True
Let y = -9.4 - -24.6. Let b = 9.2 - y. Let l = 2 - 1. Is l at least b?
True
Let a = 42 - 24. Let r = 24 - a. Let k be (2 - 2 - -2)*(-21)/r. Is k equal to -7?
True
Let c be ((12/(-8))/((-69)/(-184)))/((-20)/5286). Which is smaller: c or 1056?
1056
Let b = -1.2416 + -8.7584. Which is bigger: -5/111 or b?
-5/111
Suppose 5 = -m, 142 - 87 = 5*f - 3*m. Suppose -z = 3*z + 4. Which is smaller: z or f?
z
Let f = -940/3157 + -45/287. Is 17 < f?
False
Let h(f) = 391*f - 63170. Let p be h(162). Suppose -190 = -k - 18. Are p and k equal?
True
Suppose 3*a - 4*l = -15 - 25, l = a + 12. Let x be 1246/(-77) + (6/11)/3. Which is greater: a or x?
a
Let v = 0.2091 + -11.4811. Let n = -0.228 + v. Which is greater: 1 or n?
1
Suppose 3*c + 2 = -p, -2 = 5*c - 157*p + 160*p. Which is smaller: c or -20/1449?
c
Let w(v) = -10*v**3 + 8. Let x be w(5). Let s = -7375/6 - x. Is s at least -1/2?
True
Let o be (-8 - (-171)/36)*-4. Let c = -88 - -97. Is o at least c?
True
Let v(n) = n**2 - 3*n. Let a be v(3). Let u = -168 - -113. Let q = 55 + u. Is a <= q?
True
Let f = 0 + 1. Let n b