*(0 + 4/10). Which is smaller: r or f?
r
Suppose -3*d - d = 0. Suppose d = -8*y + 10*y - 8. Let p = -8 + 5. Which is bigger: y or p?
y
Suppose -5*a + g = -121, 4*a = -3*g + 160 - 48. Is 25 >= a?
True
Let y = -30 + 27. Let p be 32/14 - (-4)/(-14). Suppose 0*d - 2 = -p*d. Is y >= d?
False
Let g be (2/(-34))/(10/8). Suppose 11*w + 12 = 6*w - 7*w. Is g at least as big as w?
True
Let u = -12672/13 + 974. Let g = -541 + 541. Which is greater: u or g?
g
Suppose 918 = 3*a - c - 35, 3*c = -6. Which is smaller: 318 or a?
a
Let j be 32/8 + -66 + 5. Which is smaller: 5 or j?
j
Suppose 0 = -4*n + 8*n + 2*q - 40, -32 = -5*n + 2*q. Is n at least as big as 17?
False
Let l(c) = c**3 - 17*c**2 + 16*c + 4. Let u be l(16). Suppose 0*p = -4*p - 2*z + 14, u*z = 4*p + 4. Is p at most -2?
False
Let m be (70/45 + -2)/(4/(-18)). Let c be 1 + -2 + m + 3 - 15. Is -13 < c?
True
Let l(g) = 3*g + 5. Let m be l(-2). Let f be -2 - (-1 + (-2 - m)). Suppose -6*a + 86 + 10 = f. Which is smaller: 15 or a?
15
Let i be ((-519)/(-12))/(35/(-28)) - 0. Which is smaller: -35 or i?
-35
Let f be (2*-1 - 2) + 1. Let l(s) = -s**3 + 15*s**2 + 13*s - 201. Let m be l(15). Which is smaller: f or m?
m
Let h be 94/((-10)/(-9)*6). Let q = h - 88/5. Let f = 68 - 72. Is f less than q?
True
Let y = 1.107 + -0.707. Is 61 at least as big as y?
True
Let q(n) = -n**3 + 7*n**2 - 7*n + 9. Let g be q(6). Suppose -4*f + 17 = -g*y, -2*f + y + 13 = 4*y. Suppose -4*v + f - 1 = 0. Is 1 < v?
False
Let n(d) = 15*d + 285. Let r be n(-19). Which is smaller: r or 5/88?
r
Let q = 10.987 + 0.113. Let n = -10.848 - 0.152. Let c = n + q. Which is greater: c or 5?
5
Suppose -5*v + 35 - 30 = 0. Let c be -1 + 9/(-1)*1. Is v greater than or equal to c?
True
Suppose 0 = f - w - w + 1, 0 = 4*f + 4*w + 4. Let a be (-12)/9*(-8 + -1). Let q be (11 + -9)*(-5)/a. Do q and f have the same value?
False
Let u = -1577 - -1569. Let o = 1 - -7. Suppose -5*i + 5 = 0, -o*i + 3*i + 50 = -5*m. Which is smaller: m or u?
m
Suppose 4 = -2*a + a, 0 = -4*c - 2*a - 96. Is -24 equal to c?
False
Suppose c = 5, -2*j - 19 = -4*j - 5*c. Which is bigger: -7 or j?
j
Let o be (0 - -2)/(-2)*(-150)/(-6). Let d = -25 - o. Is 3/38 bigger than d?
True
Let x(d) = 3*d. Let s be x(1). Let j(n) = -15*n + 0*n**2 + 5 - s*n**2 + 2*n**2. Let h be j(-14). Are h and 18 nonequal?
True
Let b(t) = -7*t - 16. Let o be b(-7). Let h be 1/6*(-6)/o. Which is bigger: 1 or h?
1
Let d be ((-3)/(-3)*-2)/1. Let l = 21 - 9. Let o be d*(l/(-9))/4. Is o equal to 0.04?
False
Suppose 2*d + 584 = 4*b, 38*b - 1160 = 4*d + 34*b. Is -288 > d?
False
Let a = -7 - -8.5. Suppose -2*r = -2*h + 14, -4*r = -9*h + 10*h + 3. Is r > a?
False
Let i = -8499/254 + -5/127. Which is greater: -33 or i?
-33
Suppose -4*a - 15 = 45. Let d be (-3)/(-4)*(-8)/a. Suppose 0 = -2*i + 16*i. Which is smaller: i or d?
i
Let n = -4/7517 - 2022053/37585. Let b = n - -54. Let u(f) = f + 8. Let d be u(-9). Which is greater: b or d?
b
Suppose -292 = 3*o - 2*m, 0 = -5*o - 0*m - 5*m - 470. Let g = -478/5 - o. Which is smaller: 3/16 or g?
3/16
Let n = -0.3 + 1.3. Let q = 0 + n. Let i = -1619.7 + 1620. Which is bigger: i or q?
q
Let w = 53698923/35 + -1534085. Let c = -170 + w. Let n = c + 113/140. Is n > 0?
True
Suppose -2*c + 5*c - 30 = 0. Let z be -12*(-5)/c*-31. Let j be z/(-38) - (-12)/114. Which is bigger: 2 or j?
j
Suppose -5*j = -531 - 524. Let u = -238492 - -3103136/13. Let b = u - j. Which is bigger: -1 or b?
b
Let o = 17.92 + -47.08. Let m = o - -29. Do m and 1/3 have different values?
True
Suppose 14 = -6*c - 10. Let h be (6/(-16))/((-66)/c). Is -1 != h?
True
Suppose 0 = 5*b + 5*c + 80, 0 = -5*b + 2*c - 3*c - 68. Let i be 20/76*(-3 - b/5). Do 1 and i have different values?
True
Let x = 229.1 - 229. Which is smaller: x or -257?
-257
Let o = 10 + 16. Let h = -30 + o. Let v be (h/10)/(2/10). Do -1/2 and v have the same value?
False
Let p = 843 + -2393/3. Is 45 at most as big as p?
True
Let v = -0.47 + 9.97. Let s = -9 + v. Let n = s - 0.6. Which is smaller: -3 or n?
-3
Let a be ((-2)/3)/(6/9). Let o = -2639/19 + 139. Which is smaller: o or a?
a
Suppose 0 = b + 5*k - 11, 3*k - 6 = -b - k. Suppose -2*m = -3*g - 0*g + 37, -4*g = 3*m + 30. Is m <= b?
True
Let r = -155 + 141. Let d(u) = -u**3 - 14*u**2 - 2*u - 2. Let s be d(r). Is s at most as big as 25?
False
Let o = 2/9491 - -28135/1603979. Is -1 equal to o?
False
Let o(n) = 19*n + 4. Let s be o(-4). Let d be (9198/(-252))/((-3)/(-6)). Which is bigger: d or s?
s
Suppose 5*m - m = -32. Which is smaller: m or 2/13?
m
Let g = 112 + -72. Let j = 39.83 - g. Which is greater: j or 2/3?
2/3
Let u be 27*(-3 + 6 + -1 - 5). Which is bigger: u or -82?
u
Let k = -9 - -12. Suppose -k*g - 5 = 5*r - 4, -2*g + r = 5. Let y be -2 - -2 - g/(-31). Which is smaller: 0 or y?
y
Let k = 317/87 + 2/87. Let z = k + -13/3. Suppose 12 = 5*r - 4*c, 0 = -0*r - 4*r - 5*c - 15. Is r <= z?
False
Let c be (84/(-18))/((-4)/6). Suppose -3*m + c - 32 = -x, -2*m = x - 5. Which is bigger: 12 or x?
x
Let q = -4 - -8. Suppose 0 = -5*z + 5*o - 15, 3*o - 3 = q*z + 4. Which is smaller: 11/4 or z?
z
Suppose 9 = -3*p, -v - 2*p = 6 - 12. Suppose -3*m + q - 6 = 0, m - 2*m - 2*q = -5. Let w be (m - (-80)/v) + -4. Is w equal to 3?
False
Let m = 49 + -82. Let f = m + 29. Is f less than -1/4?
True
Let v(z) = 6*z - 8. Let k be 7/(-7) + 6 + -2. Let y be v(k). Does y = 11?
False
Let h be (1/18)/((-12)/48). Let t be ((-4)/9 - -1) + 0. Let p = t + h. Is 6/7 equal to p?
False
Let d = 2524/29 - 87. Which is smaller: -1 or d?
-1
Suppose -2*f - 2*f = -l + 96, -5*l = 2*f - 524. Is 101 > l?
False
Let k(m) = -7*m + 3. Suppose 4*u = 5*g - 7 - 23, 0 = -4*g + 3*u + 23. Let j be k(g). Suppose -11*y - 33 = -8*y - 3*w, 5*w = 10. Is j != y?
True
Let l be 4 + ((-37)/(-111))/((-86)/1050). Which is smaller: 0 or l?
l
Let o(z) = z. Let l be o(1). Let a be 8 - (-7)/(770/(-930)). Which is greater: l or a?
l
Let z(g) = -g**3 - 12*g**2 - 13*g - 6. Let b(h) = -4*h**3 - 37*h**2 - 40*h - 17. Let v(w) = -2*b(w) + 7*z(w). Let q be v(11). Is -8 greater than q?
False
Suppose 3*z + 5*i - 4*i = 278, -4*i - 176 = -2*z. Which is bigger: z or 88?
z
Let a = -15 + 15.988. Let i = a + 0.012. Which is smaller: -7 or i?
-7
Let l = 8 + -7.7. Let y = 0.01 - -19.99. Let m = 18 - y. Which is smaller: l or m?
m
Let b be ((-14)/21)/((-2)/12). Suppose 5*g = -2*n + 3, n - b*n + 16 = -4*g. Suppose j + 2*j = 0. Are j and n unequal?
True
Let s(g) = g**2 - 7*g + 5. Let z be s(6). Let k be (0 - z)*(-3 - 1). Is k != 0.3?
True
Let d = 14 - 16. Let c be (d/10)/((-15)/525). Is 9 at most c?
False
Let h be 1 - (10/7 + 1). Suppose x + 3*x - 1 = l, -x - 5 = 5*l. Which is smaller: l or h?
h
Let t(g) = -2*g**2 + 4*g + 26. Let a be t(-9). Do -170 and a have the same value?
False
Let g = 23/2 - 12. Let h be -7 - (-10)/(-40)*-28. Which is smaller: g or h?
g
Suppose 3*k + 121 = 4*u, -107 = -3*u - k - 0*k. Let a = 24 - u. Let n be (-8)/a*(-21)/28. Are 2 and n non-equal?
True
Suppose -22 = 19*n - 8*n. Is 20/9 not equal to n?
True
Let r be (7/(-91))/((-2)/10). Let g = 51/65 - r. Is -22 < g?
True
Let y(w) = -w + 22. Let s be y(16). Let x be 30/40 - s/8. Which is smaller: 15/19 or x?
x
Suppose 18*s - 18 = 21*s. Which is bigger: 4 or s?
4
Let u be 986/10 + 12/30. Let b be ((-1583)/10)/((-8)/(-5)). Let w = b + u. Which is greater: w or -1?
w
Let x be 1/((-4 + 5)/((-7)/1)). Is x != -11?
True
Let b(y) = 4*y**2 + 7*y + 3. Let q(i) = -3*i**2 - 6*i - 4. Let p(w) = -4*b(w) - 5*q(w). Let z be p(4). Are z and -1 non-equal?
True
Let n = -0.2 + 0.7. Let u = 27.4 + 0.6. Let k = u - 27.8. Which is smaller: n or k?
k
Let v be ((-1)/(-3))/(4/96*4). Suppose 5*k = -3*p - 14, 3*k - v*k - 2 = p. Is p at least as big as -1?
False
Suppose 5*g - 26 = 4*h, -2*g - 2*g = 5*h + 12. Suppose -4*d - 5 - 27 = 0. Let m be (d + 2)*2/3. Is h at least m?
True
Let k be 7 + ((-38)/7)/2. Let c be (-10)/3*(-3)/2. Is c less than k?
False
Let j be (-30)/219*10/(-4). Let y = j + -1229/4015. Let k = -1 + 0. Which is smaller: k or y?
k
Let l be 55/6765*(-1)/((-2)/(-18)). Is -2 less than or equal to l?
True
Suppose -10*l + 1 = -12*l + g, -5*l + g = 10. Is l < 18?
True
Suppose 2*j = 7*j + 5. Let o be (-4)/(-84)*3 + j. Let b(t) = -t**3 - 4*t**2 - 3*t. Let p be b(-2). Which is bigger: p or o?
o
Suppose 0 = -1464*s + 1462*s - 42. Are -20 