5)/(2/905). Let u be x/(-9) + 6/(-27). Let m be (12/10)/(16/u). Which is bigger: 2 or m?
m
Let k = 625/3 + -644/3. Does -2/3 = k?
False
Let z = 90 - 81. Is -1 != z?
True
Suppose 4*d + 3*t - 24 = 0, 2*t - 13 = -3*d + 4. Let y be 9/d + (-34)/6. Which is smaller: -4 or y?
-4
Suppose 0 = -3*p + 4 + 2. Let x be 4*((-26)/(-8) - p). Suppose -2*m = m + 4*f + 14, -x*f - 6 = -2*m. Which is smaller: -2/5 or m?
m
Let z = -483 - -485.03. Let t = z - 2. Let l = t + 1.97. Is 5 != l?
True
Let h = 14 + -11. Suppose -g = -h*g. Is -1/12 >= g?
False
Let l = -1 + 1.2. Which is bigger: l or -2/11?
l
Let z = 79 - 71. Do z and 9 have different values?
True
Let p(v) = v**2 + 25*v + 20. Let w be p(-19). Is -94 not equal to w?
False
Suppose -3*s - s = 2*g + 12, -5*s + 5*g + 15 = 0. Let k = 8 - s. Which is smaller: 8 or k?
8
Let c = 1 + -0.6. Let d = c + 0.6. Is d >= -0.2?
True
Let b = -54/95 - -45/19. Is b greater than or equal to 2?
False
Let b be (4/(-3))/(1*-1). Let x be (-10)/(-8) - (-170)/(-136). Is b greater than or equal to x?
True
Let h = -1 - -5. Which is smaller: 1 or h?
1
Let o be (7/3 - 2)*3. Is 2 less than o?
False
Let p(b) = -b + 2. Let w(a) = a**2 - a. Let t be w(1). Let u be p(t). Is u at most 2?
True
Suppose 5*z - 77 = 3*p, 0 = -2*z - 4*p + 46 - 10. Let u = 19 - z. Which is smaller: 4 or u?
u
Suppose -3*f - 2 = -5. Let z be (14 - 7)*4/14. Is f smaller than z?
True
Let n be (-4)/(-42)*(-42)/(-36). Is 1 at most n?
False
Suppose 2*a - 4*w + 12 = 0, -4*a + 3*w - 23 = a. Let m be (15/(-10))/((-2)/a). Are m and -4 equal?
False
Let z = -1.4 - -4. Let q = -1.8 - -2.4. Let s = q - z. Which is bigger: s or 0?
0
Let x be 7/(-6) + (-3)/(-18). Are 1/37 and x unequal?
True
Suppose -b - 22 = -4*g, -5*b + 2 = -3*g + 27. Let z = -2.6 - -2. Let f = 0.8 + z. Is f <= b?
False
Let a = 1.4 + -1.37. Let k = a - -0.07. Which is smaller: -5 or k?
-5
Let d = 7 - 5. Suppose -d = 2*o - 0*o. Let m be 27/6 + o/(-2). Is 6 bigger than m?
True
Let t be 9/6*8/28. Is 2/7 greater than t?
False
Suppose -2*c - 3*c = 260. Let q = -34 - c. Suppose 0 = 7*p - 2*p - 3*v - 16, -4*p + 5*v + q = 0. Which is greater: 4/7 or p?
p
Let w be 0 + 2*(-3)/(-15). Let n = -1/10 - w. Which is bigger: -4/9 or n?
-4/9
Let s = 2 + 23. Suppose -5*i - 43 - 2 = -4*x, -3*x + 2*i = -s. Which is smaller: x or 1?
1
Let a = 11 + -7. Let u(s) = -s**3 - 3*s**2 + 3*s. Let b be u(-4). Is b at most as big as a?
True
Let u(p) = p**3 - 4*p**2 + 4*p - 4. Let z be u(4). Suppose 5*x = -3 - z. Is -3 >= x?
True
Let s = -1/12 - 19/60. Which is smaller: s or -2?
-2
Suppose -88 = -3*f + m, -4*m + 115 = 4*f + 19. Which is smaller: f or 29?
f
Let p = 76 - 297/4. Suppose -3*x - 2 = 1. Which is smaller: p or x?
x
Let f(z) = z - 6. Let v be f(3). Let m be v/6*-2 + 0. Let j = 0 - m. Which is greater: -0.3 or j?
-0.3
Let c be (-6)/4*(-2)/3. Let g = -367 + 2564/7. Which is smaller: c or g?
g
Let w = -5 + 4. Let a be (4/(-8))/(w/8). Suppose a*t = -t. Which is bigger: -1/9 or t?
t
Let h = -13.9 - -15. Let g = -1.8 - -0.9. Let m = h + g. Do -2/7 and m have different values?
True
Suppose 3*t + 10 = -d, -3*t + 2 = d - 3*d. Let h be 5*(2 - d/(-5)). Let x be 6/28 - h/(-21). Is 0 at least x?
False
Let c be 8/((1*-1)/(-4 - -3)). Do c and 8 have the same value?
True
Let q be (-44)/52 + (-4)/26. Which is smaller: q or 2?
q
Let n = -6 - 1. Let j = n - -5. Is j at least -14/9?
False
Let q(i) = 2*i + 29. Let v be q(-17). Which is smaller: v or -1?
v
Let p = -3 + -1. Let y be (-4 - p) + 3/(-9). Which is greater: y or -1?
y
Let z = 857/8778 + -1/418. Is z != 1?
True
Let c be -2 - -7 - 4/1. Is -4/21 > c?
False
Let m be (-5 + 8)*1/(-3). Which is bigger: 1 or m?
1
Let p = -4 - -3.9. Which is smaller: -13 or p?
-13
Let y be (15/6)/((-3)/(-36)). Let x be y/40*(-2)/(-6). Which is bigger: 1/9 or x?
x
Let j = -20 + 19.8. Is 1/9 > j?
True
Let g be (-3 + -3)/3*8. Let z be 10/g*3/(-1). Let u = 85/24 - z. Is u >= 1?
True
Let z be (-3 - -3 - 0)/1. Which is bigger: z or -13?
z
Let y = 2 + -3. Let l(g) = g**2 + 4*g - 4. Let o be l(-5). Suppose 5*d = -11 + o. Is y > d?
True
Suppose -7*q + 19 + 51 = 0. Which is smaller: 21/2 or q?
q
Let t = -781 - -780.7. Let v = 0 + -1. Which is smaller: v or t?
v
Let k = -354855418727/38 - -28015763392/3. Let g = k - 287302. Let y = g - 1/57. Which is bigger: y or 3?
3
Let g = 0.02 - -2.98. Let y = g + -2.9. Which is smaller: y or 2?
y
Let q = -19 - -13. Let o(v) = v**2 + 5*v - 2. Let c be o(q). Let h(f) = f**3 - 4*f**2 + 1. Let l be h(c). Which is smaller: l or -2/17?
-2/17
Let j be 1*(-1)/(-6) - (-1)/12. Which is bigger: j or -2?
j
Let p = -11/8 + 5/8. Which is smaller: p or -1?
-1
Suppose 0 = 4*a + 5 + 3. Let z = 1.7 + -1.6. Is a less than or equal to z?
True
Suppose -2*t = 4*c - 18, -2*c + 26 - 15 = 3*t. Let z(h) = h**2 + 4*h + 3. Let x be z(-3). Is t less than or equal to x?
False
Let t = -128 + 126. Which is greater: -0.08 or t?
-0.08
Let j = 2/9 - -4/9. Is -2 less than j?
True
Let w(n) = 2*n**2 - 6*n - 1. Let d be w(6). Suppose -5*z = -0*z - d. Let l = -4 + z. Is l <= 2?
False
Suppose -2*i - i + 60 = 0. Let x = i + -13. Is x >= 7?
True
Let k = 7 - 6. Let j be -1 - (9/(-12) - k). Is j equal to 1?
False
Let n(p) = -p**3 - 8*p**2 + 9*p + 1. Let y be n(-9). Let v be (y/2)/((-8)/32). Does -2 = v?
True
Let d = 33 + -17. Let q be d/(-24)*(-6)/8. Is -2 < q?
True
Let m(d) = -d**2 - 10*d - 10. Let w be m(-8). Suppose -w*x + x = -15. Let c be ((-2)/3)/(2/x). Is c less than or equal to -2?
False
Let n(s) = -s**2 + 14*s - 5 + 3 + 3 + 2*s. Let o be n(16). Which is greater: o or -2/5?
o
Suppose -b - 24 = 3*b. Is -8 equal to b?
False
Suppose 0 = 2*d - d. Let q = -1 - d. Are q and -1/2 equal?
False
Let f = 6.6 + -7.6. Is -18 at least f?
False
Let l(f) = 11*f**3 + f**2 + f + 1. Let n be l(-2). Which is bigger: n or -84?
-84
Let r = -11 - -7. Let w be (-13)/52*r*1. Which is greater: w or -19?
w
Let c(x) = x**3 + 3*x**2 - x - 3. Let h be c(-3). Let l be ((-46)/3)/(7/(-3)). Let z = l - 283/42. Is h <= z?
False
Let q be (-3)/14 - 2/7. Let d(t) = 2*t - 2*t + 5*t**2 + 3 + 2*t - 6*t**2. Let a be d(3). Which is greater: q or a?
a
Let x = -0.03 + -0.09. Is -2/3 at least x?
False
Let k be 27/2*(-5 + 3). Let v be 171/k + (-1)/(-3). Which is smaller: v or -8?
-8
Suppose -g - 4*g - r - 14 = 0, 0 = -g + 4*r + 14. Let v be g/(-8) - 3/(-4). Let t be (-21)/(-28) + 3/(-4). Which is smaller: t or v?
t
Let x = -17.037 - -0.037. Is 2/3 < x?
False
Suppose 8*z - 10 = 3*z + 2*i, 0 = -z + 4*i - 16. Suppose -5*s + 5 = -4*s. Which is bigger: s or z?
s
Suppose 0 = -4*c - 6 - 26. Is -10 > c?
False
Let f be (-2*(-2)/(-4))/(4 + -3). Is -1/38 at least f?
True
Suppose 0 = -u + f - 179, 6*u - 183 = 7*u - 3*f. Which is bigger: -178 or u?
u
Suppose 2*j - 2 = j. Suppose 0 = -3*v + 7*v - 3*z - 51, 4*v - 46 = j*z. Suppose 4*h + 18 = 2*u, h = -h - 5*u + v. Are -3 and h non-equal?
False
Let u be (6/36)/(2/136) + -1. Is 9 greater than or equal to u?
False
Let r = 23 - 24. Which is smaller: 16 or r?
r
Let s = 2 + 1. Let b(f) = 4*f**3 - 8*f**2 + f - 3. Let h be b(2). Which is smaller: h or s?
h
Let m(w) = -w**3 - 5*w**2 + 7*w. Let v be (4/5)/(2/(-15)). Let l be m(v). Let c be l/10 + 2/(-5). Which is greater: 0 or c?
0
Suppose 0 = -l + v + 9, -2*v + 7 = 3*l - 0*v. Suppose -5*y - n - 2*n = -28, y = l*n. Which is bigger: y or 3?
y
Suppose -8*i - 191 = 49. Is i smaller than -30?
False
Let u(p) = -p**3 - 5*p**2 - 3*p - 1. Let f be u(-4). Let k = -5 - f. Which is bigger: k or 2/13?
2/13
Let i be (-8296)/13013 - (-20)/70. Let m = 2/169 - i. Is 1 equal to m?
False
Suppose -5*v + 8*v - 3*r = 21, 2*r - 10 = -4*v. Are -3 and v equal?
False
Suppose 5*r = -f - 20, 2*r + 2*f - 5 = r. Let h = 3 + r. Let i(p) = -p**2 - 3*p. Let w be i(-3). Is w >= h?
True
Let y(w) = w**3 - 4*w**2 - 9*w + 23. Let j be y(5). Is 9/5 at least j?
False
Let s = 0.27 + -16.27. Let m = s + 11. Let u = -6 - m. Is u not equal to -3?
True
Let x(d) = -d**3 - 5*d**2 - d - 5. Let g = 4 + -9. Let m be x(g). Suppose 3*u = 5*s - 7, -s - 9 = u + u. Is s at most as big as m?
True
Let v(x) = x**2 - x + 1. Let m be v(1). Let r = 0.05 - -0.04. Let a = -0.01 - r. Which is greater: m or a?
m
Let c(s) = -s**3 - s**2 + s + 2. Let d be ((-8)/24)/(1/3). Let w be c(d). Is w less than -2/21?
False
Let h(l) = -l**2 + 6*l + 7. Let t be h(7). Which is s