(-25)/x. Let o = 2 + -2. Which is smaller: u or o?
o
Suppose 0 = 3*m - 3*j + 7*j - 14, 4*m = -2*j + 22. Suppose m*u + 21 = 57. Which is bigger: 7 or u?
7
Let k be (-11)/1 + 2 + 2. Let d(z) = -2*z - 12. Let p be d(k). Is 16/9 < p?
True
Let w = 18 - 16. Is -1 at most as big as w?
True
Let a = -7 - -8. Suppose 0 = 4*y - 2*y - 24. Let d be (-3)/y*(0 + -2). Do d and a have different values?
True
Let g(v) = 5*v**2 + 11*v - 103. Let f be g(-12). Which is greater: f or 486?
486
Let v be (-20)/3*180/(-100). Suppose 0 = 8*s + 4 - v. Which is bigger: -4/29 or s?
s
Let v be 8/4 + (-3)/(-1). Suppose -4*u + 27 = -u. Let a = u - v. Which is greater: a or 5?
5
Let b(d) = -2*d**2 + 15*d - 18. Let w be b(5). Let v(p) = p**2 - 2*p + 2. Let y be v(3). Is y less than w?
True
Let l be 10/55 + (-2)/11. Let x(z) = -z**3 + z**2 - z. Let b be x(l). Which is bigger: 7.8 or b?
7.8
Let d be (-32)/48 + 46*(-4)/(-273). Is -1 greater than d?
False
Let x(l) = -l**3 - 11*l**2 + 13*l + 9. Let y be x(-12). Let c be (15/(-2))/(y*(-6)/(-36)). Which is smaller: c or 16?
c
Suppose -5*f + 13975 = 5*m, 0*f = f + 4*m - 2804. Let b = 8540/3 - f. Let o = b - 53. Is o > 1?
True
Suppose -1006*k + 16 = -1002*k. Which is smaller: k or -2/41?
-2/41
Let y be (-6)/12 + (-21)/(-70). Is -4/3 less than y?
True
Let r(c) = 17*c**2 - c + 7. Let z(v) = v**2 - v - 2. Let u(b) = -r(b) - 6*z(b). Let j be u(-1). Is -23 >= j?
True
Let c be 6*(-2 - (-27)/6). Let z be 65/c - 2/6. Suppose -h = -2*f + z*f + 4, 0 = 2*h. Is -5/8 smaller than f?
False
Suppose 3*w - 3 = 18. Suppose 6*m = w*m - 5. Suppose -2*l = -r + 9, -5*l - 36 = m*r - 3*r. Is l greater than -7?
True
Let w be 3*8/(-36)*3. Let l be (-1)/(4 + w)*0. Is l equal to 0.66?
False
Let a = -75 - -72. Let o be (-3 - a)/(-4) - 5. Which is smaller: 5 or o?
o
Suppose h - 8 = -7. Suppose -71 = 4*b + 3*f, 2*f = 5 + h. Which is smaller: -21 or b?
-21
Suppose 5*d = m - 5*m + 446, m + 1 = 0. Suppose f + 4*f = -3*z - d, 3*f = 2*z - 73. Which is bigger: -20 or f?
-20
Let w = -3 + 21. Suppose 3*n - 5*t = -w, -11 = -n - 0*t - 4*t. Let q be (-15)/3 - 147/(-29). Which is bigger: q or n?
q
Suppose -2*h + 0*h + 4 = 0, 2*s = 5*h. Suppose -2*p - 1 + 7 = 0. Suppose p*l + s = 38. Is l < 11?
False
Let x be ((-6)/40)/((-2)/(-76)). Do x and -7 have the same value?
False
Let c(x) = x**3 - 10*x**2 + 6*x - 11. Let i be c(9). Let w = i + 9. Is -28 greater than w?
True
Let k(u) = -u**3 + u**2 + 11. Let m(v) = -v**3 + 5*v**2 - 5*v. Let h be m(3). Let f be k(h). Is -4 greater than f?
True
Let q(s) = 2*s**2 - 26*s + 12. Let r be q(13). Is r bigger than 90/7?
False
Let g = 404 - 403.1. Which is greater: g or -10?
g
Let d(o) be the third derivative of -o**6/120 - o**3/6 - 12*o**2. Let z be d(-3). Which is greater: z or 25?
z
Let a = -37.19 + -33.81. Let z be ((-1)/3*1)/1. Which is bigger: a or z?
z
Let r(l) = 2*l**2 - 16*l - 16. Let z be r(17). Which is greater: z or 289?
z
Let g = -16732665/566 - -29563. Is g at most 0?
True
Let h = -0.205 - 1.795. Is h <= -27?
False
Let d = -76 - -84. Is d less than or equal to 8?
True
Let w(h) = -h**2 - 11 - h**3 + 10 + 3*h + 0*h**2. Let y be w(-3). Let p be 6*(20/y)/5. Which is greater: p or 4?
4
Let u = 24.845 - -0.055. Let p = 12.8 - u. Let m = -12 - p. Is 5 at least m?
True
Let x = 0.29 - 45.29. Which is greater: x or -1?
-1
Let f be (-2)/1 + (4 - 4). Let z be (f - (3 + -4))/1. Let g = 6/83 + -291/581. Do z and g have the same value?
False
Let w be (-2)/5 + (-1082)/10. Let m = w + 109. Is m at most -1/4?
False
Let x = -37 - -1259/34. Let c = 86983 + -20701893/238. Let q = x + c. Is 1 < q?
False
Let u = -0.308 - 0.692. Is -18/31 at least as big as u?
True
Let h(j) = 2*j + 28. Let p be h(-11). Suppose -15*b = -62 - 13. Which is greater: b or p?
p
Suppose 0 = g - 2*g - 9. Let b(q) = -24*q + 17. Let n be b(1). Which is greater: g or n?
n
Suppose 13*h - 3 - 23 = 0. Do -1 and h have different values?
True
Let d be 8/(-4)*(-4)/8. Suppose -v + 9 = 3*a, a - 3 = -0*a. Suppose 2*p + 1 = -u, -2*u - 2*p = -v*u. Is u less than d?
False
Let y(u) = -12*u**3 - u**2 + 2*u - 1. Suppose 3*k = -2 - 10. Let m be 21/14 + 2/k. Let q be y(m). Is q less than or equal to -13?
False
Let c be (-96)/(-252)*(-75)/(-10). Suppose 3 + 1 = r. Which is smaller: r or c?
c
Let m(p) = -p - 9. Let k be m(-9). Let w(d) = 3*d**2 - 3*d - 3*d + d**3 + d**2 + k*d**3 - 6. Let x be w(-5). Is x equal to -1?
True
Let h = 2.68 - -14.32. Which is smaller: h or 0.1?
0.1
Suppose 10 = -4*y - 2*a, 2*y - 3*a = -a + 10. Suppose 0 = 3*t - t + 5*q + 15, 4*t = -5*q - 5. Suppose y = b - 3 + t. Is -2 at least as big as b?
True
Let g be 1/3 - 6/(-9). Let y be (6818/(-3732) - -2) + (-1)/6. Let d = y - -293/2799. Which is greater: g or d?
g
Suppose 0 = -3*y - 3*w - 39, -5*w - 29 = 2*y - 6. Let l be (-19)/(-133) + 408/y. Let n = l - -31. Is -12 at most as big as n?
True
Suppose -306 = 11*k + 200. Does k = -45?
False
Suppose -4*k + 656 = 4*q - 5*k, 3*q + 2*k - 492 = 0. Is 165 at least q?
True
Let m be (-30 + -2)/(-244 - -26). Is 1 at least m?
True
Let w be (0 - (5 + -2)) + (-78)/(-13). Is w >= 2/21?
True
Suppose 4*g - 9 = -3*r, 3*g - 9 = -3*r + 3. Suppose r = -9*x + 16. Is 2/55 < x?
True
Let f(c) = -5*c + 5. Let i be f(8). Suppose 7*k + 28 = -h + 4*k, 4*h + 5*k = -126. Which is bigger: i or h?
h
Let n(a) be the third derivative of a**5/60 - a**4/8 + a**3/6 - 6*a**2. Let c be n(4). Suppose -c + 33 = -2*b. Which is smaller: b or 2/3?
b
Let f(i) = i**2 + 3*i - 2. Let u be f(-4). Suppose -6 = 3*l + k - u, 0 = 3*l - k + 2. Let d = -7/171 - -569/1368. Is l > d?
False
Let s(k) = -25*k - 3. Let j be s(2). Let h be j/(-7) + (-16)/28. Suppose 1 = 3*w - l, h*l = 4*w + 3*l - 4. Is w > 6/11?
False
Let b be 4 - -41 - (-2 + -1). Suppose 2*a - 12 = b. Which is greater: 29 or a?
a
Let r(a) = 17*a - 3. Let p be r(5). Suppose p = 5*s - 2183. Let i = 12233/27 - s. Are i and 0 nonequal?
True
Suppose 647 = -4*v + 1911. Which is bigger: v or 317?
317
Suppose 2*m - 8 = -2*t - 0*t, -3*m + 5*t + 44 = 0. Suppose -2*o + m - 2 = 0. Is 4 <= o?
False
Suppose -22 - 23 = -9*i. Suppose -4*o + 28 = 4*s, -3*o = s - i*s - 7. Is 22/9 > s?
True
Let d = 27 - 28. Let v be -1*(1 + -3 - d). Which is smaller: 4/25 or v?
4/25
Let t = -74 + 148. Let z = t - 76. Which is bigger: z or 1/3?
1/3
Let w = -0.012 + 28.012. Let c = w - 28.2. Let g be (-10)/(-35) - 52/133. Are c and g nonequal?
True
Let w be ((-11)/77)/((-2 + -1)/(-36)). Which is smaller: -2 or w?
-2
Let c = 1135/2886 + 41/78. Which is bigger: 0 or c?
c
Let x = -5/4 - 5/12. Let m be 4/10 - (-22)/(-5). Let h be ((-4)/6)/(m/(-18)). Which is bigger: h or x?
x
Let n = -1059/17 - -62. Let p = -2880 + 2881. Which is greater: n or p?
p
Suppose 0 = 4*o - 4 - 4. Suppose 2*g = -o*g + 104. Is g at most 27?
True
Let b = 0.0049 - -0.3451. Which is bigger: -4 or b?
b
Let t(p) = p**3 - 5*p**2 - 4*p - 1. Let d be t(6). Suppose 6*h - 20 = d*h. Which is bigger: -5 or h?
h
Let y = 2351/13 + -181. Which is smaller: y or -2/5?
-2/5
Let h = 3.9 - 3.88. Let x = -0.7 - -1. Is h <= x?
True
Let c be 2 + (-24)/(-32)*-4*1. Let l(w) = -w**2 + 4*w**2 + w**2. Let z be l(c). Which is smaller: z or 3?
3
Suppose -15 = -5*u + 2*k + 9, -5*u + 3*k = -26. Let h = 33 - 13. Let i be (h/(-5))/(u/6). Which is smaller: -7 or i?
-7
Suppose -70 = -5*q + 7*q. Is q greater than -109/3?
True
Let h(o) = o**2 - 18*o + 6. Let j be h(18). Let x be (j/4)/((-3)/(-20)). Let l be -2 + x + 4 + -2. Does -1/2 = l?
False
Let j = -0.73 - -0.46. Let c = -207.73 - -208. Let a = c + j. Which is greater: 18 or a?
18
Let u = -1/317 + -629/1585. Is -1/15 <= u?
False
Suppose -25 = 5*r, -p - 23 = 3*r - 4. Suppose -3*d - 5*b + 24 = 7, 11 = d + 3*b. Which is greater: d or p?
d
Let l = 377/14 + -27. Suppose -2*q + 5 = o, -3*o = o + 2*q - 26. Let t = 6 - o. Is t > l?
False
Suppose -4*h = 5*d - 392, 5 = 5*h - 10. Is d at least 74?
True
Let d be (-2)/5*(-25)/20. Is -4/7 greater than d?
False
Let a = 3.9 - 4. Let l = -4999.2 - -5000. Is l less than a?
False
Let l be (-376)/(-47) + (-158)/5. Is l <= -25?
False
Suppose 4*j - 3 = -3*y, 2*j + 3*y = 6*j + 3. Suppose 2*k = 2*w + 54, j*w - 3*w + 5*k - 73 = 0. Is w smaller than -32?
False
Suppose 0 = h - 74 + 5. Let g = 208/3 - h. Which is greater: -1 or g?
g
Let q be (-1)/(-15) - (2 + -2). Suppose o = 6*o - 10. Suppose 5 = -5*t 