i. Which is bigger: -2 or u?
u
Suppose 5*p + 3*v + 9358 = 1180, -5*v = -5*p - 8130. Is -1631 smaller than p?
False
Let n = -5549 - -5724. Which is bigger: n or 20?
n
Let h be -2 + (0 - (-1038)/352). Let n = -25/22 + h. Let m(t) = t**3 + t**2 - 73*t - 259. Let c be m(-6). Which is greater: n or c?
n
Suppose 105*n = 5309 + 827 + 2264. Let g = 204 - 124. Are n and g non-equal?
False
Suppose 7*v - 5*r = 2*v - 395, 3*r = -3*v - 261. Let u be 7 + (-9 - -7) - 88. Is u at most v?
True
Suppose -21*u + 12*u = 49*u - 351190. Are u and 0.1 non-equal?
True
Suppose 188 = -226*d - 264. Are 7881 and d unequal?
True
Let h(s) = 4*s + 4*s**2 - 4 - 4*s + 2*s**3 - 3*s + 5*s. Let o be h(-2). Let k be 4/(o/(-2))*(-2)/2. Which is smaller: k or 3/17?
k
Let t = 663 - 997. Which is bigger: 0.3 or t?
0.3
Suppose 3*b + 108*a + 13 = 113*a, 0 = 2*b + 2*a - 2. Let i be ((-5)/(-15))/(10/6). Is b <= i?
True
Let v be (-2)/(-1) + ((-2)/(-15))/(144/(-2240)). Let k(a) = -2*a - 2. Let h be k(-1). Which is smaller: h or v?
v
Let q = -22972241/18 + 1278569. Let k = q + -17612/9. Which is bigger: 378 or k?
378
Suppose 534 = 46*w - 1122. Suppose -16*g - w*g = -29588. Are 568 and g nonequal?
True
Let q(i) be the second derivative of -i**4/3 + 2*i**3 + i**2/2 - 4*i. Let p be q(3). Which is smaller: p or -4.7?
-4.7
Suppose -2*c + 10 = -l, 4*l + 30 = -l + 5*c. Let t be ((-1403)/69)/(1 - (-8)/(-6)). Let b = t + -62. Is l bigger than b?
False
Suppose 5*t + 385 = 6*t. Let i = 769/2 - t. Is -0.0488 at most as big as i?
False
Suppose 9*s - 18*s + 130746 = -75*s. Are s and -1980 unequal?
True
Let g be 4*((-77)/21)/(20/(-15)). Are g and 32 non-equal?
True
Let c = 68.3 - 67.3. Which is smaller: c or 8071?
c
Let r(u) = -u**3 - 8*u**2 + 13*u - 8. Let x be r(-11). Let w be -1*3/(-15) + x/340. Which is greater: 0 or w?
w
Let j = 4.4 + -4.44. Let a = 77.4 - -18.6. Let n = -91 + a. Which is smaller: n or j?
j
Let k = -1556 + 1949. Is 2 less than or equal to k?
True
Let h be (2750/99 - -22) + 6. Is h <= 56?
True
Let l = -0.0066 - 1436.9934. Is -0.1 smaller than l?
False
Let o(p) = -p + 5. Let u be o(3). Suppose -m = -u*m + 24. Let l = 2.877 - 2.777. Is m greater than l?
True
Let x = -5 + 4. Let u = -96905 - -217164103/2241. Which is greater: u or x?
u
Let h be (-3)/2 + 9/(-6). Let k be 316/24*h*(3 - 1). Suppose 393 = -5*w - z, -5*w = 5*z + 210 + 175. Is w greater than or equal to k?
True
Let f(u) be the second derivative of -7*u**3/6 - 11*u**2 - 2*u + 22. Let g be f(-3). Let p = 38.9 - 39. Do g and p have the same value?
False
Let s be 5 - 7 - 1/(-2)*2. Let o be -9*((-1 - (-161)/21) + -7). Which is greater: s or o?
o
Suppose 2*c + 2 + 0 = -2*m, -5*c - 5 = 0. Let x(f) = f**2 + 4*f + 1. Let u be x(m). Let i = -2/535 + 593/15515. Which is bigger: i or u?
u
Let j = -10 - -22. Let d = j + -18. Let b = -50.4 - -50. Which is greater: d or b?
b
Let g be 30/8*(475068/33935 + -14). Is 1 != g?
True
Let s = -0.4302 + -95.5698. Which is greater: -1/26 or s?
-1/26
Let d = -39 + 57. Let v(r) = -r**3 + 17*r**2 + 19*r - 18. Let c be v(d). Which is bigger: -7/24 or c?
c
Let p be ((-3)/42)/(42385/21190 + -2). Let t = -303 - p. Which is smaller: t or -12?
-12
Let x = 1012.315 + -1012. Let l = x - 0.63. Which is bigger: 1 or l?
1
Let l(n) = -3*n**3 + 6*n**2 - 8*n + 5. Let t be l(5). Suppose -1441*g + 545 = -1443*g + 5*r, -r + 265 = -g. Is g less than t?
False
Let q(b) = 4*b**2 + 28 - 43*b + 50 - 18*b**2. Let w(i) = 5*i**2 + 14*i - 26. Let t(h) = 6*q(h) + 17*w(h). Let m be t(19). Which is greater: 8 or m?
8
Let f be (70/25 - 5) + 4*9/30. Let z be -1*1 - 183/(-201). Are z and f equal?
False
Let f = -9076/5807739 - 2/5579. Is f < 1?
True
Suppose 2*v - 5*o = 26, 3*v + 5*o + 2 = 2*v. Suppose -5*x + 12 = -v*x. Let c be (0 - x/(-56))*-4. Which is smaller: c or -10?
-10
Suppose -3*b + 68 = 59. Let q be 2686/(-2765)*b/(3/5). Which is bigger: q or -1/2?
-1/2
Let r = 13/5152 - -137945/15456. Which is smaller: r or 10?
r
Suppose -5*m + 0 = 2*l - 12, 3*m - 12 = 0. Let o be (18/5)/((-14)/(-35)). Suppose -11 = 5*f + o. Is l smaller than f?
False
Let l(z) be the first derivative of z**3/3 - 11*z - 15. Let o be l(6). Suppose -4*f = 5*i + o, 9 + 16 = -f - 5*i. Is -8/15 at most as big as f?
True
Let o(t) = -t**2 + 17*t + 1. Let x be o(0). Is 2/22711 at most x?
True
Suppose -4*n - 3*v + 419 = 0, -n + 3*v + 52 = -64. Let t be (-32)/752*(-1)/n. Let r = -70424/45261 + t. Which is bigger: r or -2?
r
Suppose 5*k = -5*y + 3900, 3*y - 2350 = 6*k - 7*k. Suppose 2001 = 2*f + y. Is f >= 608?
True
Let g be (28/10)/(2/140). Let k = -7066 + 7262. Is k greater than g?
False
Let a = -2665 - -1905. Is a equal to -5312/7?
False
Let j(p) = 7*p - 16. Let f be j(-7). Let m = -797 - -3659/5. Let v = f - m. Which is smaller: v or 1?
v
Let p(t) = -10 - 10 + 5 + 1 - 15*t + t**2. Let q be p(16). Suppose 3*x + 28 + q = 0. Is -10 greater than or equal to x?
True
Let p = 1138754/2211 + -16996/33. Suppose 3*f = 4*f + 4. Let h be (f/6)/(2/3). Which is bigger: h or p?
p
Let m(t) = 9*t - 59. Let j be m(7). Suppose -j*z = -6 + 6. Which is greater: z or 9.9?
9.9
Let u = 0.084 - -0.044. Let m = 218 + -220. Is m at most u?
True
Let j = 0.36 + -0.39. Let y = -2.53 - j. Let l = 0.2 + y. Which is greater: 1 or l?
1
Let f = -61.9 + -8.1. Let m be 1/(-5)*(-235)/141. Which is smaller: f or m?
f
Let x be (-510)/153*5/(75/(-18)). Suppose 13 = a - x*s, 2*s - 32 = 4*a + 7*s. Which is bigger: a or -4.1?
a
Let f(u) = -u + 23. Let y be f(17). Suppose 0*g - g + y*g = 0. Suppose -5*s + 3*i + 175 = 0, g*i + 70 = 2*s + 4*i. Which is bigger: 37 or s?
37
Suppose -4*b = -329 + 57. Let o = b - 67. Which is smaller: o or -3/178?
-3/178
Let d = 1956630 - 581118466/297. Let k = d + -34/27. Is k >= -2/5?
True
Let i = -1746 + 1746.3. Is i not equal to 169?
True
Let h = 3425 - 3425.098. Which is greater: h or -5/6?
h
Let i(d) = d**2 - 5*d + 1. Suppose -3*o = 3*n + 2 - 26, 5*n = -2*o + 25. Let r be i(o). Let v = -388 - -4264/11. Which is smaller: r or v?
v
Suppose 0 = 31*d - 87 - 68. Suppose 1 = -z - d*m, -2*z = -107*m + 108*m + 2. Which is smaller: -3/319 or z?
z
Suppose -117*n + 119*n + 8 = 0, -3*n = p - 573. Is 590 > p?
True
Let o = 1644 - 1722. Which is greater: o or -84?
o
Let g = -441360 - -441355. Let r = -2 - -2. Suppose 0 = -r*x - 4*x + 4. Which is bigger: g or x?
x
Suppose -553*t + 418128 = -181*t. Which is greater: 1130 or t?
1130
Let u = -12957 + 13052. Is u <= 103?
True
Let p = -1355 + 1279. Which is bigger: p or 24?
24
Let f = -100 + 47. Let b(m) = -1636*m + 3219. Let l be b(2). Is l at least as big as f?
True
Suppose 0 = 537*u + 6785 + 3418. Do -455/23 and u have different values?
True
Suppose 1538*x = 1543*x - 4*d + 120, 3*x - 4*d = -80. Which is smaller: -581/31 or x?
x
Suppose 2*k = 741 + 669. Let s = k + -3491/5. Suppose 3*z = 7*z - 32. Is z less than s?
False
Suppose 3*l = -44135 - 33562. Let p be 0/(-11) - l/46. Let h = p - 563. Is h at most 0?
False
Let t = -26 + 20. Let u(a) = -8*a + 17. Let k(l) = 17*l - 33. Let n(x) = t*k(x) - 13*u(x). Let f be n(11). Which is smaller: 32 or f?
f
Suppose -4*f + 5*z - 168 - 305 = 0, -5*f = -5*z + 585. Let r = -0.0286571 - 1.9713429. Is f > r?
False
Let t be -1 + 0 - (-19)/21. Let i(q) = 14*q + 154. Let m be i(-11). Let b be (0 + m + -1)*12/12. Is b equal to t?
False
Let f = -1316 + 3808. Suppose -8*r + 7*r - f = 0. Let g be (r/12)/7 + 2. Which is greater: g or -28?
g
Suppose -19*x = -20*x + 28. Let m be 0 - (7/(x/(-104)) + 2). Suppose 4*g = g + m. Are 13/2 and g nonequal?
True
Suppose -15 = -4*v - 2*h + 27, -3*h + 39 = 3*v. Suppose -4*c - v*j = -3*j - 264, 4*c - j = 264. Which is greater: 64 or c?
c
Let j be (91 - 84) + 3/(-3)*(1 - -4). Which is smaller: j or 108/139?
108/139
Let k be (-279)/(-651) - (-6)/(-28)*2. Is k <= -8/389?
False
Let y = -168.19 - -168.14. Does 260 = y?
False
Let p = 93 - 88. Suppose 0 = 5*r + p, -3*n + r + 0*r - 41 = 0. Let y(w) = w**2 + 13*w + 19. Let l be y(n). Do 33 and l have the same value?
True
Let l = 4/1349 - 86364/9443. Let j = 165 - 175. Is l greater than j?
True
Let y be (-796)/(-1990) + -35889*(2 - (-19)/(-10)). Which is smaller: y or -3589?
-3589
Let n = 2172 + -2611. Is -439 smaller than n?
False
Suppose -2*v + 4*i = -7*v - 196, -5*v - 3*i - 197 = 0. Let f be -1 - ((-1632)/v + (-1)/(-5)). Let h = -43 - f. Do