Suppose -4*n - g - 13 = 0, n + 4*n = 4*g - 11. Which is smaller: n or z?
n
Let o be (42304/(-132))/(-4) + 12/22. Which is smaller: o or 80?
80
Let b = -77 + 69. Suppose f + x = -4, f + 2*x = -4 + 1. Is f smaller than b?
False
Let z = 4 - 7. Let x(p) = -p**2 - 2*p + 1. Let n be x(z). Suppose 0 = 5*j + 16 - 1. Which is smaller: n or j?
j
Let h = 333/5 - 67. Let y = -3 + 12. Let a be (6/y)/(4/(-6)). Is a smaller than h?
True
Let p(k) = -2*k - 20. Suppose -u + 6 = -2*u - t, -4*u = -5*t + 60. Let w be p(u). Let n = -247 + 17045/69. Which is greater: w or n?
n
Let b(h) = -h**2 + h + 2. Let a be b(-1). Suppose a*p + 30 = 5*p. Suppose 2*m = -p*m - 8. Which is smaller: -9 or m?
-9
Suppose 0 = -20*n + 75 - 95. Which is smaller: n or -3/104?
n
Let r be 2 - ((-8)/(-10))/((-6)/(-15)). Let g(z) = z**3 - 2*z**2 + 2. Let p be g(r). Is p != -5?
True
Let i be 38/10 + ((-12)/(-15))/4. Let k be 4/(-22) - -10*i/(-264). Is k smaller than -2?
False
Let x be (-18420)/(-75)*(-25)/6 - -3. Let f = 1011 + x. Which is smaller: f or 0?
f
Let j = 35 + -29. Let r(k) = k**2 + 3*k - 3. Let g be r(-5). Is g greater than j?
True
Suppose -119 = 5*x - 4. Suppose 19 = 2*b - 65. Let r = b + x. Is r <= -1?
False
Let h = -674 - -651. Suppose l = 3*w + 29, -w + 5*l + 8 - 27 = 0. Let y = w - h. Is 13 bigger than y?
False
Suppose -z + 3*z = 4. Let f = 415/88 - 37/8. Let j = 58/33 - f. Is z at least as big as j?
True
Let g = -27.3 - -26. Which is smaller: g or -1?
g
Suppose -34 = -4*j - 3*w, -2*w - 6 = w. Let h be ((-6)/(-14))/(j/(-35)). Is h equal to -1?
False
Let p(m) = m. Let k be p(-3). Suppose -11*t = -7*t - 2*l + 8, 0 = 3*t - 3*l. Which is greater: t or k?
k
Suppose -1 = 5*k + r, 0 = -5*k - r + 5*r - 21. Let p be 3 + (-96)/20 - -1. Which is bigger: p or k?
p
Let l(g) = g**2 + 5*g + 113. Let t be l(0). Are 112 and t unequal?
True
Let m(h) = 21*h + 165. Let y be m(-14). Do y and -130 have the same value?
False
Let p = 51 + -96. Let j = p + 48. Suppose -4 = -q - 5. Which is smaller: j or q?
q
Let f be 6 + 15*(-4)/(-12). Suppose -9*b - f = -2. Which is greater: b or -2/15?
-2/15
Let g = -47 + 52. Suppose -65 = -15*v - g. Is v < -3?
False
Let l(p) = -6*p**2 - 5*p. Let m be l(-1). Which is smaller: 3/37 or m?
m
Let x(d) = 18*d - 14. Let i be x(9). Is i not equal to 150?
True
Suppose -2*j + 6 = 5*h, 13*h - 3*j + 9 = 9*h. Which is smaller: h or 1/74?
h
Let y be -4 - (1 + -8) - (-517 + 2). Is y != 517?
True
Let l be (-2)/(-5) + 564/(-1485). Let b = 115/792 - l. Suppose 2 = -3*s - 4*g + 1, -g - 5 = -4*s. Is s bigger than b?
True
Let c be ((-11)/((-33)/12) + 111)*2. Which is bigger: c or 0?
c
Let r be 3/(-2)*2*(-5)/(-10). Let o = r + 1/6. Let s = 0.4 + -0.3. Which is smaller: s or o?
o
Let y be (-198)/(-30) + -7 - 129/15. Do -14 and y have different values?
True
Let a be (-13 + 19)*(-2)/(-6). Let r be a + (-2 - -1)*2. Let n = -96 + 1251/13. Which is smaller: r or n?
r
Let l(n) = 4*n - 97. Let k be l(0). Let b = k + 874/9. Which is bigger: b or 0?
b
Let v = -8 - -31. Let r = 20 - v. Let m be ((-6)/(-72))/(r/6). Which is smaller: 0 or m?
m
Let k(z) = 12*z + 3*z**2 - 7*z**2 + 5*z**2 - 4. Let f be k(-12). Let m be 2 + 16*f/36. Which is smaller: 0 or m?
0
Let t(y) = -y + 1. Let c be t(-5). Let g(a) = a**2 + 16*a - 123. Let f be g(-22). Which is smaller: c or f?
c
Let u(j) = -258*j**3 + 2*j**2 + 6*j + 4. Let b be u(-1). Is 258 less than or equal to b?
True
Let s = -44916523582 - -8399243010113/187. Let r = s + 785563. Let d = r - 54/17. Does d = -2/11?
True
Suppose -3*a - 3296 = 29*a. Is -104 smaller than a?
True
Suppose -92*l + 109*l = 17. Is l smaller than 4/43?
False
Suppose -58*w = -3*w - 5115. Which is smaller: 90 or w?
90
Let v be (-20)/(-6)*(-45)/(-75). Which is greater: 38 or v?
38
Let r be (3/(-2))/(155/(-170)). Let j = -15/217 - r. Which is smaller: j or -3?
-3
Let i be 145*7/77 - (-2)/(-11). Suppose -h = i*h + 14. Which is greater: h or 2/19?
2/19
Let g be (6/(-1))/((-27)/144). Let q be 231*-2*(-4)/g. Let f = q + -1149/20. Which is greater: 1 or f?
1
Let o(h) = -13*h + 4*h**2 + h**2 + 8*h**2 - h**3 + 12. Let d be o(12). Is d != -1?
True
Suppose -5*d = q + 409, 13 - 3 = 5*d. Let c = q - -711. Let a be (c/72 - 4)*16. Is a at least 0?
True
Let u = -12 - -13. Let c = -1 - u. Let l = -1 - c. Which is smaller: l or -5?
-5
Let t = 4/58643385 - 19653353837/10907669610. Let r = 1/558 + t. Is -3 at least r?
False
Let n be ((-11)/(-3))/((12/(-9))/(-4)). Suppose 5*m + n = -6*m. Is m at most as big as -51?
False
Suppose 4*f = -6*f - 310. Is f at most as big as -31?
True
Let t = -3437/207 - -115/9. Which is bigger: -2 or t?
-2
Let r = -0.0596 + -6.7604. Let f = r + -0.18. Let l = f - -7.1. Is l greater than or equal to 11?
False
Suppose -2*q = -l - 3*l - 80, 0 = -l - 4*q - 2. Suppose 0 = -2*y - z - 29, -z - 52 = -5*y - 142. Let v = l - y. Are -7/5 and v unequal?
True
Let h be 40/(-144) + 1/(-2). Which is greater: h or 4?
4
Let m = 7793 - 272731/35. Which is smaller: m or 2?
m
Let q be -7*1 - 522/(-72). Which is greater: q or 0.68?
0.68
Let o be (-6)/(-10) + 24/(-40). Let h = o - -2. Suppose -5*z + 3*z - h = 0. Which is smaller: z or -2/35?
z
Suppose -7*k + 2*k - c + 228 = 0, 5*k - c = 222. Which is smaller: k or 46?
k
Let r be -6*3/(-6) - (3 + -1). Let u = -15 - -2. Which is bigger: r or u?
r
Suppose -4*x = -4*s + 9*s - 173, -4*x + 166 = -2*s. Which is smaller: x or 3?
3
Let n = 1574 + -1573. Let c = -133003/113 - -1177. Which is greater: n or c?
n
Let g be -3 + 0 - 205*(-10)/(-50). Which is bigger: -47 or g?
g
Let j(m) = m**3 - 25*m**2 + m - 25. Let q be j(25). Suppose -4*z + 3 = -z. Let b be z/(-2) + 26/44. Is b at least q?
True
Suppose -h = 2*v + 2*v + 298, 3*v - 4*h = -214. Let x = -5879 + 5804. Is v equal to x?
False
Let k = -40.7 + 30. Let i = 10 + k. Do i and -0.2 have the same value?
False
Let s(r) = 4*r - 33. Let d be s(8). Let h be (3/129)/(0 + d + 2). Which is smaller: -1 or h?
-1
Let z = -75 + 13. Let h = z + 62. Which is smaller: h or 3?
h
Suppose -6*p + 2*p = 5*z - 35, p = -4*z + 6. Suppose -3*i + 24 = -0*d + 2*d, 5*d + 15 = 0. Are p and i unequal?
False
Let a be (-1)/(-2)*(-72)/4. Let i = 3 - a. Let k be 4/i - (-14)/(-15). Does k = -0.1?
False
Let h = -12/1111 + 3221/401071. Is -1 >= h?
False
Let z = 416/5 - 12971/155. Let b = -249/899 - z. Which is smaller: b or -1?
-1
Let q be (4/8 - -1)/((-66)/8). Let x be -1 + 2 + 1*-1. Is x less than q?
False
Suppose -25*p + 15*p + 470 = 0. Is 49 < p?
False
Let d be (1330/63)/(-5)*4. Which is greater: d or -16?
-16
Let j(h) = h**2 + 22*h + 64. Let a be j(-19). Is 10 smaller than a?
False
Let v be 120/190 + 2 + -2. Let s = -274/133 + v. Let y(p) = -p - 3. Let f be y(-3). Is s >= f?
False
Let j be (42/(-4))/((1 - 5)/8). Suppose -5*x = -3*o - 24, 0*o = 3*x - 4*o - j. Is 4 not equal to x?
True
Let o(b) = b + 3. Let h be o(2). Suppose 8*l - 3*l + 2*z = -9, -2*l = h*z + 12. Is -1/58 not equal to l?
True
Let n be (3 + 0)/1 + -6. Let b be n*(-2)/3 + -3. Which is smaller: b or 1/19?
b
Let w = 10 + -5. Suppose 4*o - 56 = 6*c - 10*c, -w*o + 36 = 3*c. Let i be 17 + -1 - (-2 - 0). Is c at most as big as i?
True
Let j = -43 + 51. Let s be (j/(-16))/((-21)/6). Which is smaller: 1 or s?
s
Suppose 7*s - 9*s - 82 = -3*t, -24 = -t + 4*s. Which is bigger: 0.6 or t?
t
Let b = 3.09 - 0.09. Let x = b + -9. Let w = -2 - x. Which is smaller: w or 0.1?
0.1
Let k = -32/701 - 26088/42761. Are -1 and k nonequal?
True
Let t be (11/5 + -3)/(10/25). Are t and 5/4 equal?
False
Let b = 657 - 410. Let g = -5929/24 + b. Let x = -17/24 - g. Which is smaller: x or -2?
-2
Suppose 3*m + 31 - 58 = 0. Let c be (2/(-3))/((-105)/m). Do 0 and c have the same value?
False
Let m be 9/(-21) - (-6)/14. Suppose z = -m*z - x + 2, z + 2*x - 3 = 0. Which is greater: z or 2?
2
Suppose 60 = 8*m - 4*m. Suppose 0 = q - 6*q - m. Let x(z) = -z**2 - 6*z + 4. Let s be x(-7). Is s < q?
False
Let z(x) = -2*x**3 - x + 3. Let s be z(0). Suppose 0 = -2*b + 1 - s. Is b at most as big as 3/8?
True
Let m be (8/(-12))/((-901)/303 - -3). Which is smaller: -24 or m?
m
Let x = 4.6 + 6.4. Let g = x - 10.6. Suppose -n = 3*n - 4. Is n less than or equal to g?
False
Suppose 0 = 4*h - a - 29, -2*h - a = 2*a + 3. Let w be 12/(-10)*15/h. Let u be w/(-3)*(-3 + 4). Which is bigger: 8/9 or u?
u
Let a = -25.62 + 0.62. Let r = 