(m/30)/(2/10). Is -3 smaller than z?
False
Let b = 3 - 3. Is b < -0.1?
False
Suppose -5*u - 1 = -21. Let t(x) = -11*x - x**2 + 15 + x**2 + x**2. Let c be t(10). Which is smaller: c or u?
u
Let l(j) = 2*j + 2. Let a be l(9). Let z = a + -19. Is -2/17 < z?
True
Let b(g) be the first derivative of g**4/4 + 2*g**3/3 - g**2/2 - 2*g - 2. Let u be b(-2). Suppose 1 = -u*w + w. Which is greater: w or 2/13?
w
Let c = 43.24 + -44. Let u = 0.24 - c. Is 0.3 > u?
False
Let g = 136 - 201. Are -65 and g non-equal?
False
Let i be 4/(40/(-5)) - (-19)/14. Is 1 at least as big as i?
True
Let v be 12/(-9)*9/(-6). Suppose -v*g - 3*g + 30 = 0. Suppose -4*l - 1 = -5*r, -l - 5*r = -0*r - g. Which is greater: l or -1/6?
l
Suppose -l + w = 0, -w - 32 = 5*l + 2*w. Let t be 2*-2 + 2 - l. Let b = -1 - -3. Is t at least as big as b?
True
Suppose 0 = -g + 2*s - 13, 5*g - 3*s + 12 = 4*g. Which is bigger: 2 or g?
2
Let i be 4/10 + (-34)/10. Which is greater: 2 or i?
2
Suppose 4*x = 20*x. Is x less than or equal to -8/19?
False
Let b be ((-8)/6)/(2/(-3)). Let j = 0.39 + 2.71. Let n = 1.1 - j. Which is smaller: b or n?
n
Let k(x) = -x + 14. Let r be k(-16). Is 30 at most as big as r?
True
Suppose 42 = 4*o + u, -2*o + 3*u + 0*u = -14. Let g be (8/20)/((-2)/o). Are g and -1 non-equal?
True
Let p = 3 + -1. Let r be (0 - 5)*63/15. Let l be 82/42 + 6/r. Which is greater: l or p?
p
Let a be 7 + -2 - 0 - 1. Let n be (a/12)/((-1)/(-15)). Let y = -22 - -26. Which is greater: y or n?
n
Let n = -14 + 13. Which is smaller: n or 3?
n
Let s be 38/9 + 6/(-27). Let t = 6 - s. Which is smaller: t or 3?
t
Let c = 2/21 + -17/105. Suppose -3*z = -6*z + 3. Which is bigger: z or c?
z
Suppose -3*q = -41 + 8. Do 11 and q have the same value?
True
Let v be -1 + 1 + (-3)/(-60). Let y = v - -9/20. Let x = 2 + 0. Is x at least y?
True
Let b = 0.51 + -2.51. Let a = -1 - -1. Let n = a - -0.1. Which is bigger: n or b?
n
Let t = -28 + 32. Let a = -11 + 15. Suppose -3*k - 2*r + 8 = -0*r, 4*k - a*r = 24. Is t < k?
False
Let w be 5 - ((-1)/1 + 4). Suppose 4*c - 10 = -w. Is 4/5 >= c?
False
Let s = 647/9 - 72. Which is bigger: s or -1?
s
Let f = 49.96 - 50. Let t = 0.01 - 0.07. Let b = f + t. Which is bigger: 1 or b?
1
Let x = -133 + 133.2. Let n = 0.02 - 2.02. Is x less than or equal to n?
False
Let y = 2 + -1. Let d = -8.4 + 1.4. Let t = d - -6.9. Which is bigger: y or t?
y
Suppose 0*q = a + q - 4, -3*q + 18 = -3*a. Is a != 2/23?
True
Let q = 336 - 7726/23. Is q bigger than -1?
True
Suppose -l + n = -2, 5*n = l + n - 14. Is -4/3 at least l?
True
Suppose -3 = 2*n + u - 6, 4*n + 4*u = 16. Let k = 21 + -25.2. Let y = k - -4. Which is smaller: y or n?
n
Let k = 11.7 - 16.2. Is k at least 1?
False
Let p be (-6)/(18/39) - (-5 - -3). Which is smaller: p or -56/5?
-56/5
Suppose -l - 5 + 3 = 0. Let x be ((-1)/l)/(1/4). Let b be 0 + x - 6/5. Which is bigger: b or 2?
2
Let p(s) = 3*s - 3*s + s - 4. Let l be p(4). Which is bigger: l or 2/11?
2/11
Let u be -8 + 1 + 1 + 1. Let s = -17 - -12. Is s smaller than u?
False
Let b = -0.79 + -0.21. Which is smaller: b or -0.4?
b
Let v = -0.92 - 0.08. Which is greater: 9 or v?
9
Let p = -0.6 - 0.4. Let a = -0.8 - p. Is -0.2 greater than or equal to a?
False
Let z(n) = 4*n**2 - 1. Let b be z(-1). Suppose -46 = -3*y - 2*h + 3*h, 5*y + 3*h = 72. Suppose p = -4*l + 25, 3*l - b*p + 0*p = y. Is 6 not equal to l?
False
Suppose 0 = 5*t + 5*b + 15, 2*t + 3 = -t - b. Let o be 10 - t - (4 + -4). Suppose 0 = 5*j + 4*m - 11, 2*j - m + o = m. Are 0 and j non-equal?
True
Let z be -1 + -2 + 0 + 12. Let t(r) = r**3 + 6*r**2 + 4*r + 5. Let s be t(-5). Which is smaller: s or z?
z
Let k = -43 + 43. Which is bigger: k or -8/11?
k
Let w be 1 + (-2 - -2 - 5). Let j be (-66)/72 + w/(-6). Which is smaller: 0.4 or j?
j
Let p be ((-14)/6)/(2/(-6)). Let z be (-112)/(-49) + (-2)/p. Suppose -j = -z*q - 7, 5*q - 4*j + 25 = -0*j. Is q at least as big as -1/3?
False
Let k = 7 - 12. Let s = -4.8 - k. Let n = -2/9 + -5/18. Is n at least s?
False
Let y(n) = -n. Let h be y(-5). Is h at least 5?
True
Let r be (-2 - (-1 + -6)) + -5. Is r greater than or equal to -1/41?
True
Let f be (-25)/100*(1 + -1). Which is smaller: 3/13 or f?
f
Let p = -6 + -6. Let s be (-2 + 3)*(-3)/p. Let t = -2 - -1. Is t greater than s?
False
Suppose 0 = 3*a - 0*a + 6. Is -1 < a?
False
Let r be 3*4*1/2. Is 6 greater than r?
False
Suppose -5*p + h - 2 = 0, 0 = 5*h + 9 + 6. Let k be 2/((p + 2)*-1). Let x be k/11 + 72/154. Which is greater: x or 2?
2
Let t = 1.24 - -0.06. Let z = 1.1 - t. Is z less than -2/9?
False
Let d(v) = v**3 + 4*v**2 - 5*v. Suppose -s = -3*b + 5, b = -2*b. Let g be d(s). Which is greater: g or 2/21?
2/21
Let r(d) = 2*d. Let f(p) = p**2 - 10*p - 13. Let u be f(11). Let v be r(u). Are v and -4 nonequal?
False
Let k = 57/2 - 28. Suppose 4*h + 5*b + 29 = -3, -3*h = 5*b + 29. Let q = -2 - h. Is k at least as big as q?
False
Let s = -15 + 14. Let q = 15 + -31/2. Which is smaller: s or q?
s
Suppose 2*q = 18 - 6. Let v = 9 - q. Are v and 2/5 unequal?
True
Let f = 27 - 34. Is f > -7?
False
Let j = -0.42 + 0.22. Which is smaller: 0 or j?
j
Suppose 16*g - 1 = 15*g. Is g at most as big as 3?
True
Let s be -2 + 12/7 + (-152)/(-1120). Is s smaller than 0?
True
Suppose 105 = -0*z + 3*z. Let f be 10/(-2)*(-14)/z. Which is bigger: f or 5/6?
f
Let t = -4453/15 + 297. Are t and 0 non-equal?
True
Let v(w) = -4*w - 2. Let r be v(-2). Suppose 3*q = -4*j - 3, 2*j = r*j - 12. Which is bigger: 1/2 or q?
1/2
Let y(i) = -4*i**2 + i + 8. Let c be y(4). Is 1 < c?
False
Suppose 4 = 2*j - 0. Let u = -3 + 5. Is u <= j?
True
Let t be -3*(1 + 3 + -3). Are t and -2 equal?
False
Let d = -2616/11 - -238. Which is bigger: -1.1 or d?
d
Let d(k) = -k**2 + 6*k + 8. Let q = 3 + 3. Let a be d(q). Let t(i) = i**2 - 7*i - 7. Let h be t(a). Which is smaller: 3/4 or h?
3/4
Suppose 4*o + 2 = -2. Which is smaller: o or 1/4?
o
Let i = -0.226 + 0.137. Let o = i - -4.189. Let j = 4 - o. Is j greater than or equal to -0.1?
True
Let m = -46/45 + 4/5. Let y = 734/63 + -80/7. Which is smaller: y or m?
m
Suppose -5*n + 4*n = 0. Suppose 3*x + 2*x - 10 = n. Suppose -5*a - 4 - 21 = 0, -3*a - 30 = -5*s. Is x < s?
True
Let f be -1 + (4 + -1)/3. Let t(d) be the first derivative of -d**4/4 - 2*d**3 + d**2/2 + 6*d - 1. Let i be t(-6). Is f smaller than i?
False
Let z = -3 + 4. Let p = -132 - -1715/13. Which is bigger: p or z?
z
Let y = 0.09 - 0.99. Let o = y + 2.9. Is 1 < o?
True
Let r = -18 - -18. Let o = 4 + -7. Which is smaller: o or r?
o
Let w = -76 + 76.1. Which is bigger: -67 or w?
w
Suppose -2*g + 60 = 2*g. Suppose 0 = -3*k + 3*v - g, 4 = -4*k + v - 7. Are k and -2 nonequal?
False
Let d = 20 - 33/2. Let u = d + -4. Let x = 9 + -9. Do u and x have different values?
True
Let w = -469.94 - -478. Let l = 7.6 - -0.4. Let r = w - l. Which is greater: r or 1?
1
Let d(h) = h**3 + 11*h**2 - 15*h - 31. Let g be d(-12). Which is bigger: 31/6 or g?
31/6
Let m(r) = 2*r**2 + 21*r + 14. Let y be m(-9). Are -0.1 and y equal?
False
Let c = -20648/35 - -590. Is -1 >= c?
False
Let a(p) = p - 6. Let y be a(11). Suppose -2*t = -3*j - 5 + 2, -3*t = 5*j + y. Which is bigger: 3 or t?
3
Let g(n) = n**2 - 8*n - 3. Let m be g(9). Let w(k) = -k - 2. Let t be w(-8). Suppose -4*c - 3*p + t = 0, -5*p + m = -c - 4. Is c greater than or equal to -1?
True
Let p = -0.037 - 0.363. Which is smaller: p or -1?
-1
Let d be (-2 - 1)/(-3) + 7. Let x be d/36 + 46/36. Which is smaller: -1 or x?
-1
Let n = -3 - -4. Let i = 1 + n. Let y = -3 + 3. Which is bigger: i or y?
i
Let g be (2 + 24/(-9))*-15. Let c = g + -14. Let t = 6 + -10. Is c at most t?
True
Let m be -3*(6/81)/2. Is m < 1?
True
Let i be 72/(-10)*(-472)/12. Let m = 287 - i. Let t = -123/35 + m. Which is bigger: -1 or t?
t
Let n be (-4)/2 - 0/(-3). Let l be (-7)/1*(n - -1). Suppose -3*v - 12 = -l*v. Is 3 at least v?
True
Let m be 1/((-1)/(-6)*3). Suppose 0 = -m*a + 4*a + 3*q - 15, a + q = 6. Suppose 0 = i + a. Is i at least -3?
True
Let j(d) = d + 6. Let k be j(-2). Which is bigger: k or 0?
k
Let c = -30 - -32. Which is smaller: c or 1/3?
1/3
Let l = -1.93 - -2. Is l at most 0?
False
Let h be 0 + 4 - (-45)/(-11). Which is smaller: h or 0?
h
Let m = 8.495 - -0.105. Let x = m + -8. Let k = 0.6 - x. Is -1 at least k?
False
Let s = 11.1 + -2.1. Let g = 4 - s. Let b = -